arXiv++ Combinatorics

For an integer full column rank matrix $A$, we consider the lattice that consists of all integer combinations of columns of $A$. We prove that a shortest non-zero vector $Az$ has infinity norm equal to $1$ whenever the number of columns of $A$ is at least $Δ$, the largest absolute value of a full rank subdeterminant of $A$. This structural result allows us to design a fixed-parameter tractable algorithm in $Δ$ for computing a shortest lattice vector in the infinity norm. It also has several applications in integer optimization. In particular, for a polyhedron defined by $Ax\leq b$ with integer-valued $b$, an optimal integer solution lies on a face whose dimension is at most $Δ- 1$.

This paper deals with the following question: Suppose that there exist an integer or a non-negative integer solution $x$ to a system $Ax = b$, where the number of non-zero components of $x$ is $n$. The target is, for a given natural number $k < n$, to approximate $b$ with $Ay$ where $y$ is an integer or non-negative integer solution with at most $k$ non-zero components. We establish upper bounds for this question in general. In specific cases, these bounds are tight. If we view the approximation quality as a function of the parameter $k$, then the paper explains why the quality of the approximation increases exponentially as $k$ goes to $n$. This paper is a complete version of an extended abstract that appeared at the 26th International Conference on Integer Programming and Combinatorial Optimization (IPCO).

This paper introduces a framework to study discrete optimization problems which are parametric in the following sense: their constraint matrices correspond to matrices over the ring $\mathbb{Z}[x]$ of polynomials in one variable. We investigate in particular matrices whose subdeterminants all lie in a fixed set $S\subseteq\mathbb{Z}[x]$. Such matrices, which we call totally $S$-modular matrices, are closed with respect to taking submatrices, so it is natural to look at minimally non-totally $S$-modular matrices which we call forbidden minors for $S$. Among other results, we prove that if $S$ is finite, then the set of all determinants attained by a forbidden minor for $S$ is also finite. Specializing to the integers, we subsequently obtain the following positive complexity result: the recognition problem for totally $\pm\{0,1,a,a+1,2a+1\}$-modular matrices with $a\in\mathbb{Z}\backslash\{-3,-2,1,2\}$ and the integer linear optimization problem for totally $\pm\{ 0,a,a+1,2a+1\}$-modular matrices with $a\in\mathbb{Z}\backslash\{ -2,1\}$ can be solved in polynomial time.

The integer Carathéodory rank of a pointed rational cone $C$ is the smallest number $k$ such that every integer vector contained in $C$ is an integral non-negative combination of at most $k$ Hilbert basis elements. We investigate the integer Carathéodory rank of simplicial cones with respect to their multiplicity, i.e., the determinant of the integral generators of the cone. One of the main results states that simplicial cones with multiplicity bounded by five have the integral Carathéodory property, that is, the integer Carathéodory rank equals the dimension. Furthermore, we present a novel upper bound on the integer Carathéodory rank which depends on the dimension and the multiplicity. This bound improves upon the best known upper bound on the integer Carathéodory rank if the dimension exceeds the multiplicity. At last, we present special cones which have the integral Carathéodory property such as certain dual cones of Gorenstein cones.

Given a rational pointed $n$-dimensional cone $C$, we study the integer Carathéodory rank $\operatorname{CR}(C)$ and its asymptotic form $\operatorname{CR^{\rm a}}(C)$, where we consider ``most'' integer vectors in the cone. The main result significantly improves the previously known upper bound for $\operatorname{CR^{\rm a}}(C)$. We also study bounds on $\operatorname{CR}(C)$ in terms of $Δ$, the maximal absolute $n\times n$ minor of the matrix given in an integral polyhedral representation of $C$. If $Δ\in\lbrace 1,2\rbrace$, we show $\operatorname{CR}(C) = n$, and prove upper bounds for simplicial cones, improving the best known upper bound on $\operatorname{CR}(C)$ for $Δ\leq n$.

Consider a linear program of the form $\max\;c^{\top}x:Ax\leq b$, where $A$ is an $m\times n$ integral matrix. In 1986 Cook, Gerards, Schrijver, and Tardos proved that, given an optimal solution $x^{*}$, if an optimal integral solution $z^{*}$ exists, then it may be chosen such that $\left\Vert x^{*}-z^{*}\right\Vert _{\infty}<nΔ$, where $Δ$ is the largest magnitude of any subdeterminant of $A$. Since then an open question has been to improve this bound, assuming that $b$ is integral valued too. In this manuscript we show that $nΔ$ can be replaced with $\frac{n}{2}\cdotΔ$ whenever $n\geq2$. We also show that, in certain circumstances, the factor $n$ can be removed entirely.

We study the lattice width of lattice-free polyhedra given by $\mathbf{A}\mathbf{x}\leq\mathbf{b}$ in terms of $Δ(\mathbf{A})$, the maximal $n\times n$ minor in absolute value of $\mathbf{A}\in\mathbb{Z}^{m\times n}$. Our main contribution is to link the lattice width of lattice-free polyhedra to the height of Hilbert bases and to the diameter of finite abelian groups. This leads to a bound on the lattice width of lattice-free pyramids which solely depends on $Δ(\mathbf{A})$ provided a conjecture regarding the height of Hilbert bases holds. Further, we exploit a combination of techniques to obtain novel bounds on the lattice width of simplices. A second part of the paper is devoted to a study of the above mentioned Hilbert basis conjecture. We give a complete characterization of the Hilbert basis if $Δ(\mathbf{A}) = 2$ which implies the conjecture in that case and prove its validity for simplicial cones.