Research
On-device research index

arXiv research

A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.

168,695 papers · 148 categories

Trend · papers per month

226452678904 · Jun 202019922001200920172026
48 results for cutting plane algorithm

Differentiable cutting-plane layers solve parametric mixed-integer linear optimization problems.

problem Solving parametric mixed-integer linear optimization problems with changing data.
method Introducing cutting-plane layers (CPLs) for differentiable cutting-plane generation.
result The algorithm computes solutions with low integrality gaps and generalizes to unseen instances.

Integer programming (IP) is a general optimization framework widely applicable to a variety of unstructured and structured problems arising in, e.g., scheduling, production planning, and graph optimization. As IP models many provably hard to solve problems, modern IP solvers rely on many heuristics. These heuristics ar…

2019-06-11abs ↗pdf ↗

NeuralCut learns to select cutting planes by looking ahead, outperforming traditional methods.

problem Selecting effective cutting planes for MILP optimization.
method Imitation learning on a lookahead expert to train a neural network for cut selection.
result NeuralCut outperforms standard baselines in cut selection for MILP benchmarks.

Generalizes neural network verification by adding arbitrary cutting planes.

problem Handling general cutting plane constraints in neural network verification.
method Generalized bound propagation method (GCP-CROWN) that allows arbitrary cutting plane constraints.
result GCP-CROWN significantly improves neural network verification performance.

Improved cutting plane method for convex optimization and games.

problem Efficiently finding points in convex sets or proving they do not contain balls.
method Optimal cutting plane algorithm using leverage scores and advanced data structures.
result Significant improvement in time complexity for convex optimization and games.

This dissertation uses ILP to learn Bayesian network structures efficiently.

problem Learning the structure of Bayesian networks from data.
method Integer Linear Programming formulation with cluster constraints and cutting planes.
result The approach finds feasible solutions for Bayesian network structures efficiently.

A Support Vector Method for multivariate performance measures was recently introduced by Joachims (2005). The underlying optimization problem is currently solved using cutting plane methods such as SVM-Perf and BMRM. One can show that these algorithms converge to an eta accurate solution in O(1/Lambda*e) iterations, wh…

2012-02-14abs ↗pdf ↗

We define spin-c prequantization of a symplectic manifold to be a spin-c structure and a connection which are compatible with the symplectic form. We describe the cutting of an S^1-equivariant spin-c prequantization. The cutting process involves a choice of a spin-c prequantization for the complex plane. We prove that …

2007-10-23abs ↗pdf ↗

We consider the problem of classifying data manifolds where each manifold represents invariances that are parameterized by continuous degrees of freedom. Conventional data augmentation methods rely upon sampling large numbers of training examples from these manifolds; instead, we propose an iterative algorithm called M…

2017-05-28abs ↗pdf ↗

A biclustering algorithm finds dense disjoint subgraphs in weighted bipartite graphs.

problem Finding dense disjoint bicliques in a weighted bipartite graph.
method Semidefinite programming-based branch-and-cut algorithm with upper and lower bounds.
result The algorithm can solve much larger instances than general-purpose solvers.

Space partitioning methods such as random forests and the Mondrian process are powerful machine learning methods for multi-dimensional and relational data, and are based on recursively cutting a domain. The flexibility of these methods is often limited by the requirement that the cuts be axis aligned. The Ostomachion p…

2019-06-13abs ↗pdf ↗

Among all torus links, we characterise those arising as links of simple plane curve singularities by the property that their fibre surfaces admit only a finite number of cutting arcs that preserve fibredness. The same property allows a characterisation of Coxeter-Dynkin trees (i.e., AnA_n, DnD_n, E6E_6, E7E_7 and E8E_8

2014-09-02abs ↗pdf ↗

We give a criterion when a planar tree-like curve, i.e. a generic immersed plane curve each double point of which cuts it into two disjoint parts, can be send by a diffeomorphism of the plane onto a curve with no inflection points. We also present some upper and lower bounds for the minimal number of inflection points …

1997-08-12abs ↗pdf ↗

A new framework for sparse regression models with slow variations.

problem Parameter estimation for sparse regression models with slow variations.
method Formulated as a mixed-integer optimization problem, then reformulated as a binary convex optimization problem with a novel relaxation technique.
result Efficiently solves the problem to provable optimality using a cutting plane-type algorithm.

We prove: If a complete connected smooth surface M in euclidean 3-space has general position, intersects some plane along a clean figure-8 (a loop with total curvature zero) and all compact intersections with planes have central symmetry, then M is a (geometric) cylinder over some central figure-8. On the way, we estab…

2015-09-16abs ↗pdf ↗

Paper proposes a robust method for inferring parameters in multiobjective optimization.

problem Uncertainty in hypothetical decision-making problem, data quality, and parameter space.
method Wasserstein distributionally robust approach for inverse multiobjective optimization.
result WRO-IMOP minimizes worst-case expected loss over a Wasserstein ball of distributions.

Quantum algorithm speeds up MIP solving by a near-quadratic factor.

problem Solving Mixed Integer Programs (MIPs) efficiently.
method Incremental-Quantum-Branch-and-Bound algorithm combining quantum speedup with classical search heuristics.
result Universal near-quadratic speedup over classical Branch-and-Bound algorithms.

In this brief sequel to a previous article, we recall the notion of a cut cellular surface (CCS), being a surface with boundary, which is cut in a specified way to be represented in the plane, and is composed of 0-, 1- and 2-cells. We obtain invariants of CCS's under Pachner-like moves on the cellular structure, by cou…

2017-10-04abs ↗pdf ↗

We introduce the notion of a cut cellular surface (CCS), being a surface with boundary, which is cut in a specified way to be represented in the plane, and is composed of 0-, 1- and 2-cells. We obtain invariants of CCS's under Pachner-like moves on the cellular structure, by counting colourings of the 1-cells with elem…

2015-12-22abs ↗pdf ↗

Learning with non-modular losses is an important problem when sets of predictions are made simultaneously. The main tools for constructing convex surrogate loss functions for set prediction are margin rescaling and slack rescaling. In this work, we show that these strategies lead to tight convex surrogates iff the unde…

2015-12-24abs ↗pdf ↗

We consider the nilpotent left-invariant sub-Riemannian structure on the Engel group. This structure gives a fundamental local approximation of a generic rank 2 sub-Riemannian structure on a 4-manifold near a generic point (in particular, of the kinematic models of a car with a trailer). On the other hand, this is the …

2017-09-30abs ↗pdf ↗

We introduce an efficient method for training the linear ranking support vector machine. The method combines cutting plane optimization with red-black tree based approach to subgradient calculations, and has O(m*s+m*log(m)) time complexity, where m is the number of training examples, and s the average number of non-zer…

2010-05-06abs ↗pdf ↗

New Karger-like algorithms solve graph cuts, useful for image segmentation.

problem Finding minimum cuts in graphs and graph-based semi-supervised learning.
method Extensions of Karger's contraction algorithm for ss-tt-mincut and normalized cut problems.
result Simple new algorithm based on Karger's original, yields linear runtime and interpretable potential.

The primary objects of study in the ``knot theory of complex plane curves'' are C-links: links (or knots) cut out of a 3-sphere in the complex plane by complex plane transverse and totally tangential. Transverse C-links are naturally oriented. There are many natural classes of examples: links of singularities; links at…

2004-11-05abs ↗pdf ↗

Algorithms based on spectral graph cut objectives such as normalized cuts, ratio cuts and ratio association have become popular in recent years because they are widely applicable and simple to implement via standard eigenvector computations. Despite strong performance for a number of clustering tasks, spectral graph cu…

2014-10-29abs ↗pdf ↗

The low velocity dynamic of a doubly periodic monopole, also called a monopole wall or monowall for short, is described by geodesic motion on its moduli space. This moduli space is hyperkaehler and non-compact. We establish a relation between the Kaehler potential of this moduli space and the volume of a region in Eucl…

2019-06-11abs ↗pdf ↗

Paper connects probability density cuts to graph theory eigenfunctions.

problem Developing sparse cuts for probability densities.
method Defines sparse cuts and principal eigenfunctions for probability densities, proving Cheeger and Buser inequalities.
result No such inequalities hold for prior definitions, proving new inequalities for probability densities.

A new reinforcement learning method improves Max-Cut solutions without needing training data.

problem Max-Cut problem is NP-hard, and existing methods struggle with generalizability and scalability.
method Training-data-free reinforcement learning approach to hyperplane rounding for Max-Cut optimization.
result Our method consistently achieves better Max-Cut solutions across various graph types.

A novel hypergraph partitioning method using tensor eigenvalue decomposition captures super-dyadic interactions.

problem Capturing super-dyadic interactions in k-uniform hypergraphs.
method Tensor-based representation and tensor eigenvalue decomposition for capturing interactions.
result Improved min-cut solution on 2-uniform hypergraphs (graphs) compared to standard spectral partitioning.

We study projectional properties of Poisson cut-out sets EE in non-Euclidean spaces. In the first Heisenbeg group, endowed with the Korányi metric, we show that the Hausdorff dimension of the vertical projection π(E)π(E) (projection along the center of the Heisenberg group) almost surely equals min{2,dimH(E)}\min\{2,dim_H(E)\} and …

2018-12-03abs ↗pdf ↗

We propose a new method to model multi-way similarities into hypergraphs for clustering.

problem Clustering real-valued data using hypergraphs with multi-way similarities.
method Formulate multi-way similarities using kernel functions, establish connections to hypergraph cut, and develop a fast spectral clustering algorithm.
result Our method outperforms existing graph and heuristic modeling methods in clustering performance.