arXiv research

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

Stochastic cutting planes improve data-driven optimization speed.

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

Generalizes neural network verification by adding arbitrary cutting planes.

We consider the Lie group PSL(2) (the group of orientation preserving isometries of the hyperbolic plane) and a left-invariant Riemannian metric on this group with two equal eigenvalues that correspond to space-like eigenvectors (with respect to the Killing form). For such metrics we find a parametrization of geodesics…

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…

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 …

We give a uniform and elementary treatment of many classical and new triply periodic minimal surfaces in Euclidean space, based on a Schwarz-Christoffel formula for periodic polygons in the plane. Our surfaces share the property that vertical symmetry planes cut them into simply connected pieces.

Improved cutting plane method for convex optimization and games.

Kirigami-inspired math reveals shortest paths and ultimate shapes of cut paper.

Book covers tools for zeroth-order convex optimisation.

Study pentagon growth with laser-cut models.

New algorithms solve convex optimization problems with limited memory.

This dissertation uses ILP to learn Bayesian network structures efficiently.

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., $A_n$, $D_n$, $E_6$, $E_7$ and $E_8$…

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 …

New memory-query tradeoffs for convex optimization algorithms.

Memory-constrained algorithms need superlinear memory for efficient convex optimization.

MOSS optimizes decision rules for accuracy and stability.

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…

Financial portfolios are often optimized for maximum profit while subject to a constraint formulated in terms of the Conditional Value-at-Risk (CVaR). This amounts to solving a linear problem. However, in its original formulation this linear problem has a very large number of linear constraints, too many to be enforced…

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…

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…

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…

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…

We show how 'test' vector fields may be used to give lower bounds for the Cheeger constant of a Euclidean domain (or Riemannian manifold with boundary), and hence for the lowest eigenvalue of the Dirichlet Laplacian on the domain. Also, we show that a continuous version of the classical Max Flow Min Cut Theorem for net…

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…

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…

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 …

We present and analyze a central cutting surface algorithm for general semi-infinite convex optimization problems, and use it to develop a novel algorithm for distributionally robust optimization problems in which the uncertainty set consists of probability distributions with given bounds on their moments. Moments of a…

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…

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…

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

We study projectional properties of Poisson cut-out sets $E$ 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)$ (projection along the center of the Heisenberg group) almost surely equals $\min\{2,dim_H(E)\}$ and …

The classical Whitney formula relates the number of times an oriented plane curve cuts itself to its rotation number and the index of a base point. In this paper we generalize Whitney's formula to curves on an oriented punctured surface. To define analogs of the rotation number and the index of a base point of a curve,…

New method solves complex optimization problems faster.

Let $X$ be a connected non-compact $2$-dimensional manifold possibly with boundary and $Δ$ be a foliation on $X$ such that each leaf $ω\inΔ$ is homeomorphic to $\mathbb{R}$ and has a trivially foliated neighborhood. Such foliations on the plane were studied by W. Kaplan who also gave their topological classification. H…

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

We study a cutting-plane method for semidefinite optimization problems (SDOs), and supply a proof of the method's convergence, under a boundedness assumption. By relating the method's rate of convergence to an initial outer approximation's diameter, we argue that the method performs well when initialized with a second-…

We explore the perspective of a bug living on the two-dimensional surface of a polyhedron. Images of various kinds of effects like lensing and cloaking are shown via color pictures of three viewpoints: the first person perspective of the bug, a map of the bug's viewpoint, and a look at the bug on the embedded polyhedro…

A new framework for sparse regression models with slow variations.

Origami patterns are classified based on their symmetry groups.

We use PDE methods as developed for the Liouville equation to study the existence of conformal metrics with prescribed singularities on surfaces with boundary, the boundary condition being constant geodesic curvature. Our first result shows that a disk with two corners admits a conformal metric with constant Gauss curv…

New method characterizes surface quadrilateral layouts as special immersions.

Novel method for bilevel optimization with convex lower-level problem.

The paper proves a conjecture about the shape of floating bodies.

New algorithm for online portfolio selection with reduced runtime.

New methods optimize complex optimization problems with improved efficiency.