792 research outputs found
On the complexity of nonlinear mixed-integer optimization
This is a survey on the computational complexity of nonlinear mixed-integer
optimization. It highlights a selection of important topics, ranging from
incomputability results that arise from number theory and logic, to recently
obtained fully polynomial time approximation schemes in fixed dimension, and to
strongly polynomial-time algorithms for special cases.Comment: 26 pages, 5 figures; to appear in: Mixed-Integer Nonlinear
Optimization, IMA Volumes, Springer-Verla
Sheaves on singular varieties
We prove existence of reflexive sheaves on singular surfaces and threefolds
with prescribed numerical invariants and study their moduli.Comment: 11 pages, to appear in Proc. Singularities in Aahrus, in honor of
Andrew du Plessi
Computing parametric rational generating functions with a primal Barvinok algorithm
Computations with Barvinok's short rational generating functions are
traditionally being performed in the dual space, to avoid the combinatorial
complexity of inclusion--exclusion formulas for the intersecting proper faces
of cones. We prove that, on the level of indicator functions of polyhedra,
there is no need for using inclusion--exclusion formulas to account for
boundary effects: All linear identities in the space of indicator functions can
be purely expressed using half-open variants of the full-dimensional polyhedra
in the identity. This gives rise to a practically efficient, parametric
Barvinok algorithm in the primal space.Comment: 16 pages, 1 figure; v2: Minor corrections, new example and summary of
algorithm; submitted to journa
New computer-based search strategies for extreme functions of the Gomory--Johnson infinite group problem
We describe new computer-based search strategies for extreme functions for
the Gomory--Johnson infinite group problem. They lead to the discovery of new
extreme functions, whose existence settles several open questions.Comment: 54 pages, many figure
A primal Barvinok algorithm based on irrational decompositions
We introduce variants of Barvinok's algorithm for counting lattice points in
polyhedra. The new algorithms are based on irrational signed decomposition in
the primal space and the construction of rational generating functions for
cones with low index. We give computational results that show that the new
algorithms are faster than the existing algorithms by a large factor.Comment: v3: New all-primal algorithm. v4: Extended introduction, updated
computational results. To appear in SIAM Journal on Discrete Mathematic
Structure and Interpretation of Dual-Feasible Functions
We study two techniques to obtain new families of classical and general
Dual-Feasible Functions: A conversion from minimal Gomory--Johnson functions;
and computer-based search using polyhedral computation and an automatic
maximality and extremality test.Comment: 6 pages extended abstract to appear in Proc. LAGOS 2017, with 21
pages of appendi
Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem. VII. Inverse semigroup theory, closures, decomposition of perturbations
In this self-contained paper, we present a theory of the piecewise linear
minimal valid functions for the 1-row Gomory-Johnson infinite group problem.
The non-extreme minimal valid functions are those that admit effective
perturbations. We give a precise description of the space of these
perturbations as a direct sum of certain finite- and infinite-dimensional
subspaces. The infinite-dimensional subspaces have partial symmetries; to
describe them, we develop a theory of inverse semigroups of partial bijections,
interacting with the functional equations satisfied by the perturbations. Our
paper provides the foundation for grid-free algorithms for the Gomory-Johnson
model, in particular for testing extremality of piecewise linear functions
whose breakpoints are rational numbers with huge denominators.Comment: 67 pages, 21 figures; v2: changes to sections 10.2-10.3, improved
figures; v3: additional figures and minor updates, add reference to IPCO
abstract. CC-BY-S
Local holomorphic Euler characteristic and instanton decay
We study the local holomorphic Euler characteristic of
sheaves near a surface singularity obtained from contracting a line
inside a smooth surface . We prove non-existence of sheaves with certain
prescribed numerical invariants. Non-existence of instantons on with
certain charges follows, and we conclude that poses an obstruction to
instanton decay. A Macaulay 2 algorithm to compute is made available at
http://www.maths.ed.ac.uk/~s0571100/Instanton/Comment: 15 pages. Revision history: v1: Original. v2: minor corrections, as
publishe
- …