### Current browse context:

math.OC

### Change to browse by:

### References & Citations

# Mathematics > Optimization and Control

# Title: The Subspace Flatness Conjecture and Faster Integer Programming

(Submitted on 26 Mar 2023 (v1), last revised 24 Apr 2023 (this version, v2))

Abstract: In a seminal paper, Kannan and Lov\'asz (1988) considered a quantity $\mu_{KL}(\Lambda,K)$ which denotes the best volume-based lower bound on the covering radius $\mu(\Lambda,K)$ of a convex body $K$ with respect to a lattice $\Lambda$. Kannan and Lov\'asz proved that $\mu(\Lambda,K) \leq n \cdot \mu_{KL}(\Lambda,K)$ and the Subspace Flatness Conjecture by Dadush (2012) claims a $O(\log n)$ factor suffices, which would match the lower bound from the work of Kannan and Lov\'asz.

We settle this conjecture up to a constant in the exponent by proving that $\mu(\Lambda,K) \leq O(\log^{3}(n)) \cdot \mu_{KL} (\Lambda,K)$. Our proof is based on the Reverse Minkowski Theorem due to Regev and Stephens-Davidowitz (2017). Following the work of Dadush (2012, 2019), we obtain a $(\log n)^{O(n)}$-time randomized algorithm to solve integer programs in $n$ variables. Another implication of our main result is a near-optimal flatness constant of $O(n \log^{4}(n))$.

## Submission history

From: Victor Reis [view email]**[v1]**Sun, 26 Mar 2023 02:27:13 GMT (35kb)

**[v2]**Mon, 24 Apr 2023 23:56:06 GMT (364kb)

Link back to: arXiv, form interface, contact.