Showing 1–48 of 48 results for author: Köppe, M

Facets, weak facets, and extreme functions of the Gomory-Johnson infinite group problem

Authors: Matthias Köppe, Yuan Zhou

Abstract: We investigate three competing notions that generalize the notion of a facet of finite-dimensional polyhedra to the infinite-dimensional Gomory-Johnson model. These notions were known to coincide for continuous piecewise linear functions with rational breakpoints. We show that two of the notions, extreme functions and facets, coincide for the case of continuous piecewise linear functions, removing… ▽ More We investigate three competing notions that generalize the notion of a facet of finite-dimensional polyhedra to the infinite-dimensional Gomory-Johnson model. These notions were known to coincide for continuous piecewise linear functions with rational breakpoints. We show that two of the notions, extreme functions and facets, coincide for the case of continuous piecewise linear functions, removing the hypothesis regarding rational breakpoints. We prove an if-and-only-if version of the Gomory-Johnson Facet Theorem. Finally, we separate the three notions using discontinuous examples. △ Less

Submitted 14 November, 2019; originally announced November 2019.

Comments: 25+32 pages, 5 figures. Journal version of published extended abstract arXiv:1611.06626

MSC Class: 90C10

Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem. VII. Inverse semigroup theory, closures, decomposition of perturbations

Authors: Robert Hildebrand, Matthias Köppe, Yuan Zhou

Abstract: 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 s… ▽ More 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. △ Less

Submitted 3 January, 2020; v1 submitted 15 November, 2018; originally announced November 2018.

Comments: 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-SA

MSC Class: 90C10 (Primary); 20M18; 39B62 (Secondary)

Journal ref: Open Journal of Mathematical Optimization, Volume 3 (2022), article no. 5, 44 p

All Cyclic Group Facets Inject

Authors: Matthias Köppe, Yuan Zhou

Abstract: We give a variant of Basu-Hildebrand-Molinaro's approximation theorem for continuous minimal valid functions for Gomory-Johnson's infinite group problem by piecewise linear two-slope extreme functions [Minimal cut-generating functions are nearly extreme, IPCO 2016]. Our theorem is for piecewise linear minimal valid functions that have only rational breakpoints (in $1/q\,\mathbb{Z}$ for some… ▽ More We give a variant of Basu-Hildebrand-Molinaro's approximation theorem for continuous minimal valid functions for Gomory-Johnson's infinite group problem by piecewise linear two-slope extreme functions [Minimal cut-generating functions are nearly extreme, IPCO 2016]. Our theorem is for piecewise linear minimal valid functions that have only rational breakpoints (in $1/q\,\mathbb{Z}$ for some $q\in \mathbb{N}$) and that take rational values at the breakpoints. In contrast to Basu et al.'s construction, our construction preserves all function values on $1/q\,\mathbb{Z}$. As a corollary, we obtain that every extreme function for the finite group problem on $1/q\,\mathbb{Z}$ is the restriction of a continuous piecewise linear two-slope extreme function for the infinite group problem with breakpoints on a refinement $1/(Mq)\,\mathbb{Z}$ for some $M\in \mathbb{N}$. In combination with Gomory's master theorem [Some Polyhedra related to Combinatorial Problems, Lin. Alg. Appl. 2 (1969), 451-558], this shows that the infinite group problem is the correct master problem for facets (extreme functions) of 1-row group relaxations. △ Less

Submitted 17 April, 2019; v1 submitted 24 July, 2018; originally announced July 2018.

Comments: 21 pages, 5 figures. Dedicated to Professor Ellis L. Johnson on the occasion of his eightieth birthday. v2 corrects a mistake in the subadditivity lemma (Lemma 4.4)

MSC Class: 90C10

Characterization and Approximation of Strong General Dual Feasible Functions

Authors: Matthias Köppe, Jiawei Wang

Abstract: Dual feasible functions (DFFs) have been used to provide bounds for standard packing problems and valid inequalities for integer optimization problems. In this paper, the connection between general DFFs and a particular family of cut-generating functions is explored. We find the characterization of (restricted/strongly) maximal general DFFs and prove a 2-slope theorem for extreme general DFFs. We… ▽ More Dual feasible functions (DFFs) have been used to provide bounds for standard packing problems and valid inequalities for integer optimization problems. In this paper, the connection between general DFFs and a particular family of cut-generating functions is explored. We find the characterization of (restricted/strongly) maximal general DFFs and prove a 2-slope theorem for extreme general DFFs. We show that any restricted maximal general DFF can be well approximated by an extreme general DFF. △ Less

Submitted 10 January, 2018; originally announced January 2018.

Comments: 23 pages

MSC Class: 90C10

Journal ref: Combinatorial Optimization, ISCO 2018 (Jon Lee, Giovanni Rinaldi, and A. Ridha Mahjoub, eds.), Lecture Notes in Computer Science, vol. 10856, Springer, 2018, pp. 265-276

Structure and Interpretation of Dual-Feasible Functions

Authors: Matthias Köppe, Jiawei Wang

Abstract: 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. 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. △ Less

Submitted 13 June, 2017; originally announced June 2017.

Comments: 6 pages extended abstract to appear in Proc. LAGOS 2017, with 21 pages of appendix

MSC Class: 90C10

Journal ref: Electronic Notes in Discrete Mathematics 62 (2017), 153-158, LAGOS '17 - IX Latin and American Algorithms, Graphs and Optimization

On the notions of facets, weak facets, and extreme functions of the Gomory-Johnson infinite group problem

Authors: Matthias Köppe, Yuan Zhou

Abstract: We investigate three competing notions that generalize the notion of a facet of finite-dimensional polyhedra to the infinite-dimensional Gomory-Johnson model. These notions were known to coincide for continuous piecewise linear functions with rational breakpoints. We show that two of the notions, extreme functions and facets, coincide for the case of continuous piecewise linear functions, removing… ▽ More We investigate three competing notions that generalize the notion of a facet of finite-dimensional polyhedra to the infinite-dimensional Gomory-Johnson model. These notions were known to coincide for continuous piecewise linear functions with rational breakpoints. We show that two of the notions, extreme functions and facets, coincide for the case of continuous piecewise linear functions, removing the hypothesis regarding rational breakpoints. We then separate the three notions using discontinuous examples. △ Less

Submitted 20 November, 2016; originally announced November 2016.

Comments: 18 pages, 2 figures

MSC Class: 90C10

Journal ref: Proc. IPCO 2017, LNCS 10328, pp. 330--342

Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem. V. Software for the continuous and discontinuous 1-row case

Authors: Chun Yu Hong, Matthias Köppe, Yuan Zhou

Abstract: We present software for investigations with cut-generating functions in the Gomory--Johnson model and extensions, implemented in the computer algebra system SageMath. We present software for investigations with cut-generating functions in the Gomory--Johnson model and extensions, implemented in the computer algebra system SageMath. △ Less

Submitted 12 July, 2017; v1 submitted 16 September, 2016; originally announced September 2016.

Comments: 24 pages; v2: expanded introduction, minor corrections

MSC Class: 90C10

Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem. VI. The curious case of two-sided discontinuous minimal valid functions

Authors: Matthias Köppe, Yuan Zhou

Abstract: We construct a two-sided discontinuous piecewise linear minimal valid function for the 1-row Gomory--Johnson model which is not extreme, but which is not a convex combination of other piecewise linear minimal valid functions. The new function only admits piecewise microperiodic perturbations. We present an algorithm for computations with a restricted class of such perturbations. We construct a two-sided discontinuous piecewise linear minimal valid function for the 1-row Gomory--Johnson model which is not extreme, but which is not a convex combination of other piecewise linear minimal valid functions. The new function only admits piecewise microperiodic perturbations. We present an algorithm for computations with a restricted class of such perturbations. △ Less

Submitted 4 February, 2018; v1 submitted 12 May, 2016; originally announced May 2016.

Comments: 28 pages, 5 figures. v3: corrected Thm. 3.1, lemma in App. B, and proof of Thm. 5.1

MSC Class: 90C10

Software for cut-generating functions in the Gomory--Johnson model and beyond

Authors: Chun Yu Hong, Matthias Köppe, Yuan Zhou

Abstract: We present software for investigations with cut generating functions in the Gomory-Johnson model and extensions, implemented in the computer algebra system SageMath. We present software for investigations with cut generating functions in the Gomory-Johnson model and extensions, implemented in the computer algebra system SageMath. △ Less

Submitted 30 April, 2016; originally announced May 2016.

Comments: 8 pages, 3 figures; to appear in Proc. International Congress on Mathematical Software 2016

MSC Class: 90C10

Journal ref: Mathematical Software - ICMS 2016, Proceedings, pp. 284-291

Toward computer-assisted discovery and automated proofs of cutting plane theorems

Authors: Matthias Köppe, Yuan Zhou

Abstract: Using a metaprogramming technique and semialgebraic computations, we provide computer-based proofs for old and new cutting-plane theorems in Gomory--Johnson's model of cut generating functions. Using a metaprogramming technique and semialgebraic computations, we provide computer-based proofs for old and new cutting-plane theorems in Gomory--Johnson's model of cut generating functions. △ Less

Submitted 13 April, 2016; originally announced April 2016.

Comments: 21 pages, 11 figures; to be presented at ISCO 2016

MSC Class: 90C10

Journal ref: Combinatorial Optimization: 4th International Symposium, ISCO 2016, pp. 332-344

Approximating the maximum of a polynomial over a polytope: Handelman decomposition and continuous generating functions

Authors: Jesús De Loera, Brandon Dutra, Matthias Köppe

Abstract: We investigate a way to approximate the maximum of a polynomial over a polytopal region by using Handelman's polynomial decomposition and continuous multivariate generating functions. The maximization problem is NP-hard, but our approximation methods will run in polynomial time when the dimension is fixed. We investigate a way to approximate the maximum of a polynomial over a polytopal region by using Handelman's polynomial decomposition and continuous multivariate generating functions. The maximization problem is NP-hard, but our approximation methods will run in polynomial time when the dimension is fixed. △ Less

Submitted 25 June, 2016; v1 submitted 15 January, 2016; originally announced January 2016.

Comments: version 2: improved the main proof and expanded the Handelman theory

Generating functions and triangulations for lecture hall cones

Authors: Matthias Beck, Benjamin Braun, Matthias Köppe, Carla D. Savage, Zafeirakis Zafeirakopoulos

Abstract: We investigate the arithmetic-geometric structure of the lecture hall cone \[ L_n \ := \ \left\{λ\in \mathbb{R}^n: \, 0\leq \frac{λ_1}{1}\leq \frac{λ_2}{2}\leq \frac{λ_3}{3}\leq \cdots \leq \frac{λ_n}{n}\right\} . \] We show that $L_n$ is isomorphic to the cone over the lattice pyramid of a reflexive simplex whose Ehrhart $h^*$-polynomial is given by the $(n-1)$st Eulerian polynomial, and prove th… ▽ More We investigate the arithmetic-geometric structure of the lecture hall cone \[ L_n \ := \ \left\{λ\in \mathbb{R}^n: \, 0\leq \frac{λ_1}{1}\leq \frac{λ_2}{2}\leq \frac{λ_3}{3}\leq \cdots \leq \frac{λ_n}{n}\right\} . \] We show that $L_n$ is isomorphic to the cone over the lattice pyramid of a reflexive simplex whose Ehrhart $h^*$-polynomial is given by the $(n-1)$st Eulerian polynomial, and prove that lecture hall cones admit regular, flag, unimodular triangulations. After explicitly describing the Hilbert basis for $L_n$, we conclude with observations and a conjecture regarding the structure of unimodular triangulations of $L_n$, including connections between enumerative and algebraic properties of $L_n$ and cones over unit cubes. △ Less

Submitted 29 October, 2017; v1 submitted 19 August, 2015; originally announced August 2015.

Journal ref: SIAM Journal on Discrete Mathematics 30 (2016), no. 3, 1470-1479

New computer-based search strategies for extreme functions of the Gomory--Johnson infinite group problem

Authors: Matthias Köppe, Yuan Zhou

Abstract: 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. 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. △ Less

Submitted 1 October, 2016; v1 submitted 29 May, 2015; originally announced June 2015.

Comments: 54 pages, many figures

MSC Class: 90C10

An Electronic Compendium of Extreme Functions for the Gomory--Johnson Infinite Group Problem

Authors: Matthias Köppe, Yuan Zhou

Abstract: In this note we announce the availability of an electronic compendium of extreme functions for Gomory--Johnson's infinite group problem. These functions serve as the strongest cut-generating functions for integer linear optimization problems. We also close several gaps in the literature. In this note we announce the availability of an electronic compendium of extreme functions for Gomory--Johnson's infinite group problem. These functions serve as the strongest cut-generating functions for integer linear optimization problems. We also close several gaps in the literature. △ Less

Submitted 22 December, 2019; v1 submitted 19 November, 2014; originally announced November 2014.

Comments: 15 pages, 4 figures. Post-print (accepted manuscript) version, CC-BY-NC-ND

Journal ref: Operations Research Letters 43 (2015), no. 4, 438-444

Three Ehrhart Quasi-polynomials

Authors: Velleda Baldoni, Nicole Berline, Jesús A. De Loera, Matthias Köppe, Michèle Vergne

Abstract: Let $P(b)\subset R^d$ be a semi-rational parametric polytope, where $b=(b_j)\in R^N$ is a real multi-parameter. We study intermediate sums of polynomial functions $h(x)$ on $P(b)$, $$ S^L (P(b),h)=\sum_{y}\int_{P(b)\cap (y+L)} h(x) \mathrm dx, $$ where we integrate over the intersections of $P(b)$ with the subspaces parallel to a fixed rational subspace $L$ through all lattice points, and sum th… ▽ More Let $P(b)\subset R^d$ be a semi-rational parametric polytope, where $b=(b_j)\in R^N$ is a real multi-parameter. We study intermediate sums of polynomial functions $h(x)$ on $P(b)$, $$ S^L (P(b),h)=\sum_{y}\int_{P(b)\cap (y+L)} h(x) \mathrm dx, $$ where we integrate over the intersections of $P(b)$ with the subspaces parallel to a fixed rational subspace $L$ through all lattice points, and sum the integrals. The purely discrete sum is of course a particular case ($L=0$), so $S^0(P(b), 1)$ counts the integer points in the parametric polytopes. The chambers are the open conical subsets of $R^N$ such that the shape of $P(b)$ does not change when $b$ runs over a chamber. We first prove that on every chamber of $R^N$, $S^L (P(b),h)$ is given by a quasi-polynomial function of $b\in R^N$. A key point of our paper is an analysis of the interplay between two notions of degree on quasi-polynomials: the usual polynomial degree and a filtration, called the local degree. Then, for a fixed $k\leq d$, we consider a particular linear combination of such intermediate weighted sums, which was introduced by Barvinok in order to compute efficiently the $k+1$ highest coefficients of the Ehrhart quasi-polynomial which gives the number of points of a dilated rational polytope. Thus, for each chamber, we obtain a quasi-polynomial function of $b$, which we call Barvinok's patched quasi-polynomial (at codimension level $k$). Finally, for each chamber, we introduce a new quasi-polynomial function of $b$, the cone-by-cone patched quasi-polynomial (at codimension level $k$), defined in a refined way by linear combinations of intermediate generating functions for the cones at vertices of $P(b)$. We prove that both patched quasi-polynomials agree with the discrete weighted sum $b\mapsto S^0(P(b),h)$ in the terms corresponding to the $k+1$ highest polynomial degrees. △ Less

Submitted 18 November, 2018; v1 submitted 31 October, 2014; originally announced October 2014.

Comments: 41 pages, 13 figures; v2: changes to introduction, new graphics; v3: add more detailed references, move example to introduction; v4: fix references

MSC Class: 05A15

Light on the Infinite Group Relaxation

Authors: Amitabh Basu, Robert Hildebrand, Matthias Köppe

Abstract: This is a survey on the infinite group problem, an infinite-dimensional relaxation of integer linear optimization problems introduced by Ralph Gomory and Ellis Johnson in their groundbreaking papers titled "Some continuous functions related to corner polyhedra I, II" [Math. Programming 3 (1972), 23-85, 359-389]. The survey presents the infinite group problem in the modern context of cut generati… ▽ More This is a survey on the infinite group problem, an infinite-dimensional relaxation of integer linear optimization problems introduced by Ralph Gomory and Ellis Johnson in their groundbreaking papers titled "Some continuous functions related to corner polyhedra I, II" [Math. Programming 3 (1972), 23-85, 359-389]. The survey presents the infinite group problem in the modern context of cut generating functions. It focuses on the recent developments, such as algorithms for testing extremality and breakthroughs for the k-row problem for general k >= 1 that extend previous work on the single-row and two-row problems. The survey also includes some previously unpublished results; among other things, it unveils piecewise linear extreme functions with more than four different slopes. An interactive companion program, implemented in the open-source computer algebra package Sage, provides an updated compendium of known extreme functions. △ Less

Submitted 24 March, 2015; v1 submitted 30 October, 2014; originally announced October 2014.

Comments: 45 pages

MSC Class: 90C10

Journal ref: 4OR 14 (2016), 1-40, 107-131

Intermediate Sums on Polyhedra II: Bidegree and Poisson Formula

Authors: Velleda Baldoni, Nicole Berline, Jesús A. De Loera, Matthias Köppe, Michèle Vergne

Abstract: We continue our study of intermediate sums over polyhedra, interpolating between integrals and discrete sums, which were introduced by A. Barvinok [Computing the Ehrhart quasi-polynomial of a rational simplex, Math. Comp. 75 (2006), 1449-1466]. By well-known decompositions, it is sufficient to consider the case of affine cones s+c, where s is an arbitrary real vertex and c is a rational polyhedral… ▽ More We continue our study of intermediate sums over polyhedra, interpolating between integrals and discrete sums, which were introduced by A. Barvinok [Computing the Ehrhart quasi-polynomial of a rational simplex, Math. Comp. 75 (2006), 1449-1466]. By well-known decompositions, it is sufficient to consider the case of affine cones s+c, where s is an arbitrary real vertex and c is a rational polyhedral cone. For a given rational subspace L, we integrate a given polynomial function h over all lattice slices of the affine cone s + c parallel to the subspace L and sum up the integrals. We study these intermediate sums by means of the intermediate generating functions $S^L(s+c)(ξ)$, and expose the bidegree structure in parameters s and $ξ$, which was implicitly used in the algorithms in our papers [Computation of the highest coefficients of weighted Ehrhart quasi-polynomials of rational polyhedra, Found. Comput. Math. 12 (2012), 435-469] and [Intermediate sums on polyhedra: Computation and real Ehrhart theory, Mathematika 59 (2013), 1-22]. The bidegree structure is key to a new proof for the Baldoni--Berline--Vergne approximation theorem for discrete generating functions [Local Euler--Maclaurin expansion of Barvinok valuations and Ehrhart coefficients of rational polytopes, Contemp. Math. 452 (2008), 15-33], using the Fourier analysis with respect to the parameter s and a continuity argument. Our study also enables a forthcoming paper, in which we study intermediate sums over multi-parameter families of polytopes. △ Less

Submitted 2 November, 2014; v1 submitted 31 March, 2014; originally announced April 2014.

Comments: 35 pages, 6 figures; v2 changes terminology regarding degrees, for consistency with arXiv:1410.8632

MSC Class: 05A15 (Primary); 52C07; 68R05; 68U05; 52B20 (Secondary)

Journal ref: Mathematika 62 (2016) 653-684

Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem. III. Foundations for the k-Dimensional Case with Applications to k=2

Authors: Amitabh Basu, Robert Hildebrand, Matthias Köppe

Abstract: We develop foundational tools for classifying the extreme valid functions for the k-dimensional infinite group problem. In particular, (1) we present the general regular solution to Cauchy's additive functional equation on bounded convex domains. This provides a k-dimensional generalization of the so-called interval lemma, allowing us to deduce affine properties of the function from certain additi… ▽ More We develop foundational tools for classifying the extreme valid functions for the k-dimensional infinite group problem. In particular, (1) we present the general regular solution to Cauchy's additive functional equation on bounded convex domains. This provides a k-dimensional generalization of the so-called interval lemma, allowing us to deduce affine properties of the function from certain additivity relations. (2) We study the discrete geometry of additivity domains of piecewise linear functions, providing a framework for finite tests of minimality and extremality. (3) We give a theory of non-extremality certificates in the form of perturbation functions. We apply these tools in the context of minimal valid functions for the two-dimensional infinite group problem that are piecewise linear on a standard triangulation of the plane, under the assumption of a regularity condition called diagonal constrainedness. We show that the extremality of a minimal valid function is equivalent to the extremality of its restriction to a certain finite two-dimensional group problem. This gives an algorithm for testing the extremality of a given minimal valid function. △ Less

Submitted 23 August, 2016; v1 submitted 18 March, 2014; originally announced March 2014.

Comments: 44 pages, 10 figures

MSC Class: 90C10

Coefficients of Sylvester's Denumerant

Authors: Velleda Baldoni, Nicole Berline, Jesús De Loera, Brandon Dutra, Matthias Köppe, Michèle Vergne

Abstract: For a given sequence $\mathbfα = [α_1,α_2,\dots,α_{N+1}]$ of $N+1$ positive integers, we consider the combinatorial function $E(\mathbfα)(t)$ that counts the nonnegative integer solutions of the equation $α_1x_1+α_2 x_2+\cdots+α_{N} x_{N}+α_{N+1}x_{N+1}=t$, where the right-hand side $t$ is a varying nonnegative integer. It is well-known that $E(\mathbfα)(t)$ is a quasi-polynomial function in the v… ▽ More For a given sequence $\mathbfα = [α_1,α_2,\dots,α_{N+1}]$ of $N+1$ positive integers, we consider the combinatorial function $E(\mathbfα)(t)$ that counts the nonnegative integer solutions of the equation $α_1x_1+α_2 x_2+\cdots+α_{N} x_{N}+α_{N+1}x_{N+1}=t$, where the right-hand side $t$ is a varying nonnegative integer. It is well-known that $E(\mathbfα)(t)$ is a quasi-polynomial function in the variable $t$ of degree $N$. In combinatorial number theory this function is known as Sylvester's denumerant. Our main result is a new algorithm that, for every fixed number $k$, computes in polynomial time the highest $k+1$ coefficients of the quasi-polynomial $E(\mathbfα)(t)$ as step polynomials of $t$ (a simpler and more explicit representation). Our algorithm is a consequence of a nice poset structure on the poles of the associated rational generating function for $E(\mathbfα)(t)$ and the geometric reinterpretation of some rational generating functions in terms of lattice points in polyhedral cones. Our algorithm also uses Barvinok's fundamental fast decomposition of a polyhedral cone into unimodular cones. This paper also presents a simple algorithm to predict the first non-constant coefficient and concludes with a report of several computational experiments using an implementation of our algorithm in LattE integrale. We compare it with various Maple programs for partial or full computation of the denumerant. △ Less

Submitted 14 November, 2014; v1 submitted 26 December, 2013; originally announced December 2013.

Comments: minor revision, 28 pages

Journal ref: INTEGERS, vol 15 (2005), A11

s-Lecture Hall Partitions, Self-Reciprocal Polynomials, and Gorenstein Cones

Authors: Matthias Beck, Benjamin Braun, Matthias Köppe, Carla Savage, Zafeirakis Zafeirakopoulos

Abstract: In 1997, Bousquet-Melou and Eriksson initiated the study of lecture hall partitions, a fascinating family of partitions that yield a finite version of Euler's celebrated odd/distinct partition theorem. In subsequent work on s-lecture hall partitions, they considered the self-reciprocal property for various associated generating functions, with the goal of characterizing those sequences s that give… ▽ More In 1997, Bousquet-Melou and Eriksson initiated the study of lecture hall partitions, a fascinating family of partitions that yield a finite version of Euler's celebrated odd/distinct partition theorem. In subsequent work on s-lecture hall partitions, they considered the self-reciprocal property for various associated generating functions, with the goal of characterizing those sequences s that give rise to generating functions of the form $((1-q^{e_1})(1-q^{e_2})...(1-q^{e_n}))^{-1}$. We continue this line of investigation, connecting their work to the more general context of Gorenstein cones. We focus on the Gorenstein condition for s-lecture hall cones when s is a positive integer sequence generated by a second-order homogeneous linear recurrence with initial values 0 and 1. Among such sequences s, we prove that the n-dimensional s-lecture hall cone is Gorenstein for all n greater than or equal to 1 if and only if s is an l-sequence. One consequence is that among such sequences s, unless s is an l-sequence, the generating function for the s-lecture hall partitions can have the form $((1-q^{e_1})(1-q^{e_2})...(1-q^{e_n}))^{-1}$ for at most finitely many n. We also apply the results to establish several conjectures by Pensyl and Savage regarding the symmetry of h*-vectors for s-lecture hall polytopes. We end with open questions and directions for further research. △ Less

Submitted 17 October, 2013; v1 submitted 1 November, 2012; originally announced November 2012.

MSC Class: 05A17; 05A19; 52B11; 13A02; 13H10

Journal ref: Ramanujan Journal 36 (2015), 123-147

Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem. II. The Unimodular Two-Dimensional Case

Authors: Amitabh Basu, Robert Hildebrand, Matthias Köppe

Abstract: We give an algorithm for testing the extremality of a large class of minimal valid functions for the two-dimensional infinite group problem. We give an algorithm for testing the extremality of a large class of minimal valid functions for the two-dimensional infinite group problem. △ Less

Submitted 27 October, 2012; v1 submitted 24 October, 2012; originally announced October 2012.

Comments: 23 pages. arXiv admin note: text overlap with arXiv:1206.2079

Journal ref: IPCO 2013, Lecture Notes in Computer Science, vol. 7801

Graver basis and proximity techniques for block-structured separable convex integer minimization problems

Authors: Raymond Hemmecke, Matthias Köppe, Robert Weismantel

Abstract: We consider N-fold 4-block decomposable integer programs, which simultaneously generalize N-fold integer programs and two-stage stochastic integer programs with N scenarios. In previous work [R. Hemmecke, M. Koeppe, R. Weismantel, A polynomial-time algorithm for optimizing over N-fold 4-block decomposable integer programs, Proc. IPCO 2010, Lecture Notes in Computer Science, vol. 6080, Springer, 20… ▽ More We consider N-fold 4-block decomposable integer programs, which simultaneously generalize N-fold integer programs and two-stage stochastic integer programs with N scenarios. In previous work [R. Hemmecke, M. Koeppe, R. Weismantel, A polynomial-time algorithm for optimizing over N-fold 4-block decomposable integer programs, Proc. IPCO 2010, Lecture Notes in Computer Science, vol. 6080, Springer, 2010, pp. 219--229], it was proved that for fixed blocks but variable N, these integer programs are polynomial-time solvable for any linear objective. We extend this result to the minimization of separable convex objective functions. Our algorithm combines Graver basis techniques with a proximity result [D.S. Hochbaum and J.G. Shanthikumar, Convex separable optimization is not much harder than linear optimization, J. ACM 37 (1990), 843--862], which allows us to use convex continuous optimization as a subroutine. △ Less

Submitted 4 July, 2012; originally announced July 2012.

Comments: 16 pages. arXiv admin note: substantial text overlap with arXiv:0911.4055

MSC Class: 90C10

Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem. I. The One-Dimensional Case

Authors: Amitabh Basu, Robert Hildebrand, Matthias Köppe

Abstract: We give an algorithm for testing the extremality of minimal valid functions for Gomory and Johnson's infinite group problem that are piecewise linear (possibly discontinuous) with rational breakpoints. This is the first set of necessary and sufficient conditions that can be tested algorithmically for deciding extremality in this important class of minimal valid functions. We also present an extrem… ▽ More We give an algorithm for testing the extremality of minimal valid functions for Gomory and Johnson's infinite group problem that are piecewise linear (possibly discontinuous) with rational breakpoints. This is the first set of necessary and sufficient conditions that can be tested algorithmically for deciding extremality in this important class of minimal valid functions. We also present an extreme function that is a piecewise linear function with some irrational breakpoints, whose extremality follows from a new principle. △ Less

Submitted 24 July, 2013; v1 submitted 10 June, 2012; originally announced June 2012.

Comments: 38 pages, 10 figures

MSC Class: 90C11; 90C34

Journal ref: Mathematics of Operations Research 40 (2014), no. 1, 105-129

The Triangle Closure is a Polyhedron

Authors: Amitabh Basu, Robert Hildebrand, Matthias Köppe

Abstract: Recently, cutting planes derived from maximal lattice-free convex sets have been studied intensively by the integer programming community. An important question in this research area has been to decide whether the closures associated with certain families of lattice-free sets are polyhedra. For a long time, the only result known was the celebrated theorem of Cook, Kannan and Schrijver who showed t… ▽ More Recently, cutting planes derived from maximal lattice-free convex sets have been studied intensively by the integer programming community. An important question in this research area has been to decide whether the closures associated with certain families of lattice-free sets are polyhedra. For a long time, the only result known was the celebrated theorem of Cook, Kannan and Schrijver who showed that the split closure is a polyhedron. Although some fairly general results were obtained by Andersen, Louveaux and Weismantel [ An analysis of mixed integer linear sets based on lattice point free convex sets, Math. Oper. Res. 35 (2010), 233--256] and Averkov [On finitely generated closures in the theory of cutting planes, Discrete Optimization 9 (2012), no. 4, 209--215], some basic questions have remained unresolved. For example, maximal lattice-free triangles are the natural family to study beyond the family of splits and it has been a standing open problem to decide whether the triangle closure is a polyhedron. In this paper, we show that when the number of integer variables $m=2$ the triangle closure is indeed a polyhedron and its number of facets can be bounded by a polynomial in the size of the input data. The techniques of this proof are also used to give a refinement of necessary conditions for valid inequalities being facet-defining due to Cornuéjols and Margot [On the facets of mixed integer programs with two integer variables and two constraints, Mathematical Programming 120 (2009), 429--456] and obtain polynomial complexity results about the mixed integer hull. △ Less

Submitted 8 January, 2013; v1 submitted 7 November, 2011; originally announced November 2011.

Comments: 39 pages; made self-contained by merging material from arXiv:1107.5068v1

MSC Class: 90C11

A (k+1)-Slope Theorem for the k-Dimensional Infinite Group Relaxation

Authors: Amitabh Basu, Robert Hildebrand, Matthias Köppe, Marco Molinaro

Abstract: We prove that any minimal valid function for the k-dimensional infinite group relaxation that is piecewise linear with at most k+1 slopes and does not factor through a linear map with non-trivial kernel is extreme. This generalizes a theorem of Gomory and Johnson for k=1, and Cornuejols and Molinaro for k=2. We prove that any minimal valid function for the k-dimensional infinite group relaxation that is piecewise linear with at most k+1 slopes and does not factor through a linear map with non-trivial kernel is extreme. This generalizes a theorem of Gomory and Johnson for k=1, and Cornuejols and Molinaro for k=2. △ Less

Submitted 19 September, 2011; originally announced September 2011.

Comments: 25 pages, 2 figures

MSC Class: 90C10; 90C11

Software for Exact Integration of Polynomials over Polyhedra

Authors: Jesus De Loera, Brandon Dutra, Matthias Koeppe, Stanislav Moreinis, Gregory Pinto, Jianqiu Wu

Abstract: We are interested in the fast computation of the exact value of integrals of polynomial functions over convex polyhedra. We present speed ups and extensions of the algorithms presented in previous work. We present the new software implementation and provide benchmark computations. The computation of integrals of polynomials over polyhedral regions has many applications; here we demonstrate our alg… ▽ More We are interested in the fast computation of the exact value of integrals of polynomial functions over convex polyhedra. We present speed ups and extensions of the algorithms presented in previous work. We present the new software implementation and provide benchmark computations. The computation of integrals of polynomials over polyhedral regions has many applications; here we demonstrate our algorithmic tools solving a challenge from combinatorial voting theory. △ Less

Submitted 1 April, 2012; v1 submitted 30 July, 2011; originally announced August 2011.

Comments: Major update

Journal ref: Comput. Geom., 46, 232-252

Algorithmic and Complexity Results for Cutting Planes Derived from Maximal Lattice-Free Convex Sets

Authors: Amitabh Basu, Robert Hildebrand, Matthias Köppe

Abstract: We study a mixed integer linear program with m integer variables and k non-negative continuous variables in the form of the relaxation of the corner polyhedron that was introduced by Andersen, Louveaux, Weismantel and Wolsey [Inequalities from two rows of a simplex tableau, Proc. IPCO 2007, LNCS, vol. 4513, Springer, pp. 1--15]. We describe the facets of this mixed integer linear program via the e… ▽ More We study a mixed integer linear program with m integer variables and k non-negative continuous variables in the form of the relaxation of the corner polyhedron that was introduced by Andersen, Louveaux, Weismantel and Wolsey [Inequalities from two rows of a simplex tableau, Proc. IPCO 2007, LNCS, vol. 4513, Springer, pp. 1--15]. We describe the facets of this mixed integer linear program via the extreme points of a well-defined polyhedron. We then utilize this description to give polynomial time algorithms to derive valid inequalities with optimal l_p norm for arbitrary, but fixed m. For the case of m=2, we give a refinement and a new proof of a characterization of the facets by Cornuejols and Margot [On the facets of mixed integer programs with two integer variables and two constraints, Math. Programming 120 (2009), 429--456]. The key point of our approach is that the conditions are much more explicit and can be tested in a more direct manner, removing the need for a reduction algorithm. These results allow us to show that the relaxed corner polyhedron has only polynomially many facets. △ Less

Submitted 25 July, 2011; originally announced July 2011.

Comments: 35 pages, 15 figures

MSC Class: 90C11

Unique Minimal Liftings for Simplicial Polytopes

Authors: Amitabh Basu, Gérard Cornuéjols, Matthias Köppe

Abstract: For a minimal inequality derived from a maximal lattice-free simplicial polytope in $\R^n$, we investigate the region where minimal liftings are uniquely defined, and we characterize when this region covers $\R^n$. We then use this characterization to show that a minimal inequality derived from a maximal lattice-free simplex in $\R^n$ with exactly one lattice point in the relative interior of each… ▽ More For a minimal inequality derived from a maximal lattice-free simplicial polytope in $\R^n$, we investigate the region where minimal liftings are uniquely defined, and we characterize when this region covers $\R^n$. We then use this characterization to show that a minimal inequality derived from a maximal lattice-free simplex in $\R^n$ with exactly one lattice point in the relative interior of each facet has a unique minimal lifting if and only if all the vertices of the simplex are lattice points. △ Less

Submitted 29 April, 2014; v1 submitted 21 March, 2011; originally announced March 2011.

Comments: 15 pages

Journal ref: Mathematics of Operations Research 37 (2012), no. 2, 346-355

Intermediate Sums on Polyhedra: Computation and Real Ehrhart Theory

Authors: Velleda Baldoni, Nicole Berline, Matthias Köppe, Michèle Vergne

Abstract: We study intermediate sums, interpolating between integrals and discrete sums, which were introduced by A. Barvinok [Computing the Ehrhart quasi-polynomial of a rational simplex, Math. Comp. 75 (2006), 1449--1466]. For a given semi-rational polytope P and a rational subspace L, we integrate a given polynomial function h over all lattice slices of the polytope P parallel to the subspace L and sum u… ▽ More We study intermediate sums, interpolating between integrals and discrete sums, which were introduced by A. Barvinok [Computing the Ehrhart quasi-polynomial of a rational simplex, Math. Comp. 75 (2006), 1449--1466]. For a given semi-rational polytope P and a rational subspace L, we integrate a given polynomial function h over all lattice slices of the polytope P parallel to the subspace L and sum up the integrals. We first develop an algorithmic theory of parametric intermediate generating functions. Then we study the Ehrhart theory of these intermediate sums, that is, the dependence of the result as a function of a dilation of the polytope. We provide an algorithm to compute the resulting Ehrhart quasi-polynomials in the form of explicit step polynomials. These formulas are naturally valid for real (not just integer) dilations and thus provide a direct approach to real Ehrhart theory. △ Less

Submitted 27 November, 2010; originally announced November 2010.

Comments: 24 pages, 3 figures

MSC Class: 05A15 (Primary); 52C07; 68R05; 68U05; 52B20 (Secondary)

Computation of the highest coefficients of weighted Ehrhart quasi-polynomials of rational polyhedra

Authors: Velleda Baldoni, Nicole Berline, Jesús A. De Loera, Matthias Köppe, Michèle Vergne

Abstract: This article concerns the computational problem of counting the lattice points inside convex polytopes, when each point must be counted with a weight associated to it. We describe an efficient algorithm for computing the highest degree coefficients of the weighted Ehrhart quasi-polynomial for a rational simple polytope in varying dimension, when the weights of the lattice points are given by a pol… ▽ More This article concerns the computational problem of counting the lattice points inside convex polytopes, when each point must be counted with a weight associated to it. We describe an efficient algorithm for computing the highest degree coefficients of the weighted Ehrhart quasi-polynomial for a rational simple polytope in varying dimension, when the weights of the lattice points are given by a polynomial function h. Our technique is based on a refinement of an algorithm of A. Barvinok [Computing the Ehrhart quasi-polynomial of a rational simplex, Math. Comp. 75 (2006), pp. 1449--1466] in the unweighted case (i.e., h = 1). In contrast to Barvinok's method, our method is local, obtains an approximation on the level of generating functions, handles the general weighted case, and provides the coefficients in closed form as step polynomials of the dilation. To demonstrate the practicality of our approach we report on computational experiments which show even our simple implementation can compete with state of the art software. △ Less

Submitted 6 November, 2010; originally announced November 2010.

Comments: 34 pages, 2 figures

MSC Class: 05A15 (Primary); 52C07; 68R05; 68U05; 52B20 (Secondary)

On the complexity of nonlinear mixed-integer optimization

Authors: Matthias Köppe

Abstract: 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. 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. △ Less

Submitted 24 June, 2010; originally announced June 2010.

Comments: 26 pages, 5 figures; to appear in: Mixed-Integer Nonlinear Optimization, IMA Volumes, Springer-Verlag

MSC Class: 90C10; 90C11; 90C25

A new Lenstra-type Algorithm for Quasiconvex Polynomial Integer Minimization with Complexity 2^O(n log n)

Authors: Robert Hildebrand, Matthias Köppe

Abstract: We study the integer minimization of a quasiconvex polynomial with quasiconvex polynomial constraints. We propose a new algorithm that is an improvement upon the best known algorithm due to Heinz (Journal of Complexity, 2005). This improvement is achieved by applying a new modern Lenstra-type algorithm, finding optimal ellipsoid roundings, and considering sparse encodings of polynomials. For the b… ▽ More We study the integer minimization of a quasiconvex polynomial with quasiconvex polynomial constraints. We propose a new algorithm that is an improvement upon the best known algorithm due to Heinz (Journal of Complexity, 2005). This improvement is achieved by applying a new modern Lenstra-type algorithm, finding optimal ellipsoid roundings, and considering sparse encodings of polynomials. For the bounded case, our algorithm attains a time-complexity of s (r l M d)^{O(1)} 2^{2n log_2(n) + O(n)} when M is a bound on the number of monomials in each polynomial and r is the binary encoding length of a bound on the feasible region. In the general case, s l^{O(1)} d^{O(n)} 2^{2n log_2(n) +O(n)}. In each we assume d>= 2 is a bound on the total degree of the polynomials and l bounds the maximum binary encoding size of the input. △ Less

Submitted 19 January, 2012; v1 submitted 23 June, 2010; originally announced June 2010.

Comments: 28 pages, 10 figures

MSC Class: 90C10; 90C25

Journal ref: Discrete Optimization 10 (2013), no. 1, 69-84

Challenging computations of Hilbert bases of cones associated with algebraic statistics

Authors: Winfried Bruns, Raymond Hemmecke, Bogdan Ichim, Matthias Koeppe, Christof Soeger

Abstract: In this paper we present two independent computational proofs that the monoid derived from $5\times 5\times 3$ contingency tables is normal, completing the classification by Hibi and Ohsugi. We show that Vlach's vector disproving normality for the monoid derived from $6\times 4\times 3$ contingency tables is the unique minimal such vector up to symmetry. Finally, we compute the full Hilbert basi… ▽ More In this paper we present two independent computational proofs that the monoid derived from $5\times 5\times 3$ contingency tables is normal, completing the classification by Hibi and Ohsugi. We show that Vlach's vector disproving normality for the monoid derived from $6\times 4\times 3$ contingency tables is the unique minimal such vector up to symmetry. Finally, we compute the full Hilbert basis of the cone associated with the non-normal monoid of the semi-graphoid for $|N|=5$. The computations are based on extensions of the packages LattE-4ti2 and Normaliz. △ Less

Submitted 23 January, 2010; originally announced January 2010.

Comments: 10 pages

MSC Class: 52B20; 13F20

A polynomial-time algorithm for optimizing over N-fold 4-block decomposable integer programs

Authors: Raymond Hemmecke, Matthias Köppe, Robert Weismantel

Abstract: In this paper we generalize N-fold integer programs and two-stage integer programs with N scenarios to N-fold 4-block decomposable integer programs. We show that for fixed blocks but variable N, these integer programs are polynomial-time solvable for any linear objective. Moreover, we present a polynomial-time computable optimality certificate for the case of fixed blocks, variable N and any con… ▽ More In this paper we generalize N-fold integer programs and two-stage integer programs with N scenarios to N-fold 4-block decomposable integer programs. We show that for fixed blocks but variable N, these integer programs are polynomial-time solvable for any linear objective. Moreover, we present a polynomial-time computable optimality certificate for the case of fixed blocks, variable N and any convex separable objective function. We conclude with two sample applications, stochastic integer programs with second-order dominance constraints and stochastic integer multi-commodity flows, which (for fixed blocks) can be solved in polynomial time in the number of scenarios and commodities and in the binary encoding length of the input data. In the proof of our main theorem we combine several non-trivial constructions from the theory of Graver bases. We are confident that our approach paves the way for further extensions. △ Less

Submitted 20 November, 2009; originally announced November 2009.

MSC Class: 90C10; 90C15; 90C27

A parametric integer programming algorithm for bilevel mixed integer programs

Authors: Matthias Köppe, Maurice Queyranne, Christopher Thomas Ryan

Abstract: We consider discrete bilevel optimization problems where the follower solves an integer program with a fixed number of variables. Using recent results in parametric integer programming, we present polynomial time algorithms for pure and mixed integer bilevel problems. For the mixed integer case where the leader's variables are continuous, our algorithm also detects whether the infimum cost fails… ▽ More We consider discrete bilevel optimization problems where the follower solves an integer program with a fixed number of variables. Using recent results in parametric integer programming, we present polynomial time algorithms for pure and mixed integer bilevel problems. For the mixed integer case where the leader's variables are continuous, our algorithm also detects whether the infimum cost fails to be attained, a difficulty that has been identified but not directly addressed in the literature. In this case it yields a ``better than fully polynomial time'' approximation scheme with running time polynomial in the logarithm of the relative precision. For the pure integer case where the leader's variables are integer, and hence optimal solutions are guaranteed to exist, we present two algorithms which run in polynomial time when the total number of variables is fixed. △ Less

Submitted 2 November, 2009; v1 submitted 7 July, 2009; originally announced July 2009.

Comments: 11 pages

Journal ref: Journal of Optimization Theory and Applications 146 (2010), 137-150

Nonlinear Integer Programming

Authors: Raymond Hemmecke, Matthias Köppe, Jon Lee, Robert Weismantel

Abstract: Research efforts of the past fifty years have led to a development of linear integer programming as a mature discipline of mathematical optimization. Such a level of maturity has not been reached when one considers nonlinear systems subject to integrality requirements for the variables. This chapter is dedicated to this topic. The primary goal is a study of a simple version of general nonlinea… ▽ More Research efforts of the past fifty years have led to a development of linear integer programming as a mature discipline of mathematical optimization. Such a level of maturity has not been reached when one considers nonlinear systems subject to integrality requirements for the variables. This chapter is dedicated to this topic. The primary goal is a study of a simple version of general nonlinear integer problems, where all constraints are still linear. Our focus is on the computational complexity of the problem, which varies significantly with the type of nonlinear objective function in combination with the underlying combinatorial structure. Numerous boundary cases of complexity emerge, which sometimes surprisingly lead even to polynomial time algorithms. We also cover recent successful approaches for more general classes of problems. Though no positive theoretical efficiency results are available, nor are they likely to ever be available, these seem to be the currently most successful and interesting approaches for solving practical problems. It is our belief that the study of algorithms motivated by theoretical considerations and those motivated by our desire to solve practical instances should and do inform one another. So it is with this viewpoint that we present the subject, and it is in this direction that we hope to spark further research. △ Less

Submitted 28 June, 2009; originally announced June 2009.

Comments: 57 pages. To appear in: M. Jünger, T. Liebling, D. Naddef, G. Nemhauser, W. Pulleyblank, G. Reinelt, G. Rinaldi, and L. Wolsey (eds.), 50 Years of Integer Programming 1958--2008: The Early Years and State-of-the-Art Surveys, Springer-Verlag, 2009, ISBN 3540682740

MSC Class: 90C10; 90C30; 90C11

How to Integrate a Polynomial over a Simplex

Authors: Velleda Baldoni, Nicole Berline, Jesus De Loera, Matthias Köppe, Michèle Vergne

Abstract: This paper settles the computational complexity of the problem of integrating a polynomial function f over a rational simplex. We prove that the problem is NP-hard for arbitrary polynomials via a generalization of a theorem of Motzkin and Straus. On the other hand, if the polynomial depends only on a fixed number of variables, while its degree and the dimension of the simplex are allowed to vary… ▽ More This paper settles the computational complexity of the problem of integrating a polynomial function f over a rational simplex. We prove that the problem is NP-hard for arbitrary polynomials via a generalization of a theorem of Motzkin and Straus. On the other hand, if the polynomial depends only on a fixed number of variables, while its degree and the dimension of the simplex are allowed to vary, we prove that integration can be done in polynomial time. As a consequence, for polynomials of fixed total degree, there is a polynomial time algorithm as well. We conclude the article with extensions to other polytopes, discussion of other available methods and experimental results. △ Less

Submitted 13 February, 2009; v1 submitted 11 September, 2008; originally announced September 2008.

Comments: Tables added with new experimental results. References added

Journal ref: Mathematics of Computation 80, 273 (2011) 297-325

Rational Generating Functions and Integer Programming Games

Authors: Matthias Köppe, Christopher Thomas Ryan, Maurice Queyranne

Abstract: We explore the computational complexity of computing pure Nash equilibria for a new class of strategic games called integer programming games with difference of piecewise linear convex payoffs. Integer programming games are games where players' action sets are integer points inside of polytopes. Using recent results from the study of short rational generating functions for encoding sets of integ… ▽ More We explore the computational complexity of computing pure Nash equilibria for a new class of strategic games called integer programming games with difference of piecewise linear convex payoffs. Integer programming games are games where players' action sets are integer points inside of polytopes. Using recent results from the study of short rational generating functions for encoding sets of integer points pioneered by Alexander Barvinok, we present efficient algorithms for enumerating all pure Nash equilibria, and other computations of interest, such as the pure price of anarchy, and pure threat point, when the dimension and number of "convex" linear pieces in the payoff functions are fixed. Sequential games where a leader is followed by competing followers (a Stackelberg--Nash setting) are also considered. △ Less

Submitted 3 September, 2008; originally announced September 2008.

Comments: 18 pages

Journal ref: Operations Research 59 (2011), no. 6, 1445-1460

Ehrhart polynomials of matroid polytopes and polymatroids

Authors: Jesús A. De Loera, David C. Haws, Matthias Köppe

Abstract: We investigate properties of Ehrhart polynomials for matroid polytopes, independence matroid polytopes, and polymatroids. In the first half of the paper we prove that for fixed rank their Ehrhart polynomials are computable in polynomial time. The proof relies on the geometry of these polytopes as well as a new refined analysis of the evaluation of Todd polynomials. In the second half we discuss… ▽ More We investigate properties of Ehrhart polynomials for matroid polytopes, independence matroid polytopes, and polymatroids. In the first half of the paper we prove that for fixed rank their Ehrhart polynomials are computable in polynomial time. The proof relies on the geometry of these polytopes as well as a new refined analysis of the evaluation of Todd polynomials. In the second half we discuss two conjectures about the h^*-vector and the coefficients of Ehrhart polynomials of matroid polytopes; we provide theoretical and computational evidence for their validity. △ Less

Submitted 23 October, 2007; originally announced October 2007.

Comments: 28 pages, 6 figures, submitted to Discrete and Computational Geometry

MSC Class: 05; 52B

Journal ref: Discrete Comput. Geom. 42 (2009), no. 4, 670-702

Pareto Optima of Multicriteria Integer Linear Programs

Authors: Jesús A. De Loera, Raymond Hemmecke, Matthias Köppe

Abstract: We settle the computational complexity of fundamental questions related to multicriteria integer linear programs, when the dimensions of the strategy space and of the outcome space are considered fixed constants. In particular we construct: 1. polynomial-time algorithms to exactly determine the number of Pareto optima and Pareto strategies; 2. a polynomial-space polynomial-delay prescribed-o… ▽ More We settle the computational complexity of fundamental questions related to multicriteria integer linear programs, when the dimensions of the strategy space and of the outcome space are considered fixed constants. In particular we construct: 1. polynomial-time algorithms to exactly determine the number of Pareto optima and Pareto strategies; 2. a polynomial-space polynomial-delay prescribed-order enumeration algorithm for arbitrary projections of the Pareto set; 3. an algorithm to minimize the distance of a Pareto optimum from a prescribed comparison point with respect to arbitrary polyhedral norms; 4. a fully polynomial-time approximation scheme for the problem of minimizing the distance of a Pareto optimum from a prescribed comparison point with respect to the Euclidean norm. △ Less

Submitted 9 July, 2007; originally announced July 2007.

Comments: 17 pages, 1 figure

MSC Class: 90C29; 90C10

Journal ref: INFORMS Journal on Computing 21 (2009), no. 1, 39-48

FPTAS for optimizing polynomials over the mixed-integer points of polytopes in fixed dimension

Authors: Jesús A. De Loera, Raymond Hemmecke, Matthias Köppe, Robert Weismantel

Abstract: We show the existence of a fully polynomial-time approximation scheme (FPTAS) for the problem of maximizing a non-negative polynomial over mixed-integer sets in convex polytopes, when the number of variables is fixed. Moreover, using a weaker notion of approximation, we show the existence of a fully polynomial-time approximation scheme for the problem of maximizing or minimizing an arbitrary pol… ▽ More We show the existence of a fully polynomial-time approximation scheme (FPTAS) for the problem of maximizing a non-negative polynomial over mixed-integer sets in convex polytopes, when the number of variables is fixed. Moreover, using a weaker notion of approximation, we show the existence of a fully polynomial-time approximation scheme for the problem of maximizing or minimizing an arbitrary polynomial over mixed-integer sets in convex polytopes, when the number of variables is fixed. △ Less

Submitted 15 June, 2007; originally announced June 2007.

Comments: 16 pages, 4 figures; to appear in Mathematical Programming

MSC Class: 90C11; 90C30; 90C60; 90C57

Journal ref: Mathematical Programming, Series A 118 (2008), 273-290

Computing parametric rational generating functions with a primal Barvinok algorithm

Authors: Matthias Köppe, Sven Verdoolaege

Abstract: 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… ▽ More 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. △ Less

Submitted 27 August, 2007; v1 submitted 24 May, 2007; originally announced May 2007.

Comments: 16 pages, 1 figure; v2: Minor corrections, new example and summary of algorithm; submitted to journal

MSC Class: 05A15; 52C07; 68W30

Journal ref: The Electronic Journal of Combinatorics 15 (2008), #R16

Computation of Atomic Fibers of Z-Linear Maps

Authors: Elke Eisenschmidt, Raymond Hemmecke, Matthias Köppe

Abstract: For given matrix $A\in\Z^{d\times n}$, the set $P_{b}=\{z:Az=b,z\in\Z^n_+\}$ describes the preimage or fiber of $b\in\Z^d$ under the $\Z$-linear map $f_A:\Z^n_+\to\Z^d$, $x\mapsto Ax$. The fiber $P_{b}$ is called atomic, if $P_{b}=P_{b_1}+P_{b_2}$ implies $b=b_1$ or $b=b_2$. In this paper we present a novel algorithm to compute such atomic fibers. An algorithmic solution to appearing subproblems… ▽ More For given matrix $A\in\Z^{d\times n}$, the set $P_{b}=\{z:Az=b,z\in\Z^n_+\}$ describes the preimage or fiber of $b\in\Z^d$ under the $\Z$-linear map $f_A:\Z^n_+\to\Z^d$, $x\mapsto Ax$. The fiber $P_{b}$ is called atomic, if $P_{b}=P_{b_1}+P_{b_2}$ implies $b=b_1$ or $b=b_2$. In this paper we present a novel algorithm to compute such atomic fibers. An algorithmic solution to appearing subproblems, computational examples and applications are included as well. △ Less

Submitted 20 April, 2007; originally announced April 2007.

Comments: 27 pages

MSC Class: 13P99; 68Q40; 52B20

Journal ref: Contributions to Discrete Mathematics 6 (2011), no. 2

Integer Minkowski Programs and the Design of Survivable Networks

Authors: Elke Eisenschmidt, Matthias Köppe, Alexandre Laugier

Abstract: We introduce a new class of optimization problems called integer Minkowski programs. The formulation of such problems involves finitely many integer variables and nonlinear constraints involving functionals defined on families of discrete or polyhedral sets. We show that, under certain assumptions, it is possible to reformulate them as integer linear programs, by making use of integral generatin… ▽ More We introduce a new class of optimization problems called integer Minkowski programs. The formulation of such problems involves finitely many integer variables and nonlinear constraints involving functionals defined on families of discrete or polyhedral sets. We show that, under certain assumptions, it is possible to reformulate them as integer linear programs, by making use of integral generating sets. We then apply this technique to the network design problem for fractional and integral flows subject to survivability constraints. △ Less

Submitted 27 October, 2006; originally announced October 2006.

Comments: 27 pages, 9 figures

MSC Class: 90B18; 68M10; 90C10; 90C11; 90C35

Intermediate integer programming representations using value disjunctions

Authors: Matthias Köppe, Quentin Louveaux, Robert Weismantel

Abstract: We introduce a general technique to create an extended formulation of a mixed-integer program. We classify the integer variables into blocks, each of which generates a finite set of vector values. The extended formulation is constructed by creating a new binary variable for each generated value. Initial experiments show that the extended formulation can have a more compact complete description t… ▽ More We introduce a general technique to create an extended formulation of a mixed-integer program. We classify the integer variables into blocks, each of which generates a finite set of vector values. The extended formulation is constructed by creating a new binary variable for each generated value. Initial experiments show that the extended formulation can have a more compact complete description than the original formulation. We prove that, using this reformulation technique, the facet description decomposes into one ``linking polyhedron'' per block and the ``aggregated polyhedron''. Each of these polyhedra can be analyzed separately. For the case of identical coefficients in a block, we provide a complete description of the linking polyhedron and a polynomial-time separation algorithm. Applied to the knapsack with a fixed number of distinct coefficients, this theorem provides a complete description in an extended space with a polynomial number of variables. △ Less

Submitted 13 March, 2006; originally announced March 2006.

Comments: 26 pages, 5 figures

MSC Class: 90C10; 90C57

Journal ref: Discrete Optimization 5 (2008), no. 2, 293-313

A primal Barvinok algorithm based on irrational decompositions

Authors: Matthias Köppe

Abstract: 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. 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. △ Less

Submitted 11 October, 2006; v1 submitted 13 March, 2006; originally announced March 2006.

Comments: v3: New all-primal algorithm. v4: Extended introduction, updated computational results. To appear in SIAM Journal on Discrete Mathematics

MSC Class: 05A15; 52C07; 68W30

Journal ref: SIAM Journal on Discrete Mathematics 21 (2007), no. 1, 220-236

FPTAS for mixed-integer polynomial optimization with a fixed number of variables

Authors: Jesús A. De Loera, Raymond Hemmecke, Matthias Köppe, Robert Weismantel

Abstract: We show the existence of an FPTAS for the problem of maximizing a non-negative polynomial over mixed-integer sets in convex polytopes, when the number of variables is fixed. We show the existence of an FPTAS for the problem of maximizing a non-negative polynomial over mixed-integer sets in convex polytopes, when the number of variables is fixed. △ Less

Submitted 31 May, 2005; originally announced May 2005.

Comments: 11 pages

MSC Class: 90C11; 90C30; 90C26; 68W25

Integer Polynomial Optimization in Fixed Dimension

Authors: Jesús A. De Loera, Raymond Hemmecke, Matthias Köppe, Robert Weismantel

Abstract: We classify, according to their computational complexity, integer optimization problems whose constraints and objective functions are polynomials with integer coefficients and the number of variables is fixed. For the optimization of an integer polynomial over the lattice points of a convex polytope, we show an algorithm to compute lower and upper bounds for the optimal value. For polynomials th… ▽ More We classify, according to their computational complexity, integer optimization problems whose constraints and objective functions are polynomials with integer coefficients and the number of variables is fixed. For the optimization of an integer polynomial over the lattice points of a convex polytope, we show an algorithm to compute lower and upper bounds for the optimal value. For polynomials that are non-negative over the polytope, these sequences of bounds lead to a fully polynomial-time approximation scheme for the optimization problem. △ Less

Submitted 31 May, 2005; v1 submitted 5 October, 2004; originally announced October 2004.

Comments: In this revised version we include a stronger complexity bound on our algorithm. Our algorithm is in fact an FPTAS (fully polynomial-time approximation scheme) to maximize a non-negative integer polynomial over the lattice points of a polytope

MSC Class: 90C10; 90C30; 90C60; 90C57

Journal ref: Mathematics of Operations Research 31 (2006), no. 1, 147-153