Nearly linear lattice coverings of arbitrary convex bodies
Does there exist an absolute constant such that, for every positive integer and every -dimensional convex body , the lattice covering density satisfies
References
Primary source
Progress summary
A 2026 paper shows the worst-case covering density grows almost linearly with dimension, but the exact logarithmic factors are still unknown.
The problem asks for the smallest universal order of lattice-covering density for every convex body in . Heng Li and Xizhi Liu’s paper determines the optimal polynomial growth exponent, but not the sharp order including subpolynomial factors.
Known results
- Coxeter, Few, and Rogers: Euclidean balls have density at least .
- Ordentlich, Regev, and Weiss, 2021: every convex body has lattice-covering density .
- Schymura, Wang, and Xue conjectured a universal bound .
- For Euclidean balls, the previous bound was .
July 2026 near-linear bound
Li and Liu prove, for every sufficiently large and every -dimensional convex body ,
Combined with the ball lower bound, this gives and confirms the conjecture at polynomial scale. The exact smallest order remains open.
Current status (as of July 2026): The optimal polynomial exponent is settled at , while the sharp universal order and logarithmic factors remain open.
Solutions 2
RemarkAI-assistedClaimed by OpenAI. The manuscript claims an absolute-constant single-lattice covering-density bound Cnlog(n) for every convex body in dimension n >= 2, without symmetry or regularity assumptions. This is stronger than the displayed logarithmic-power upper bound in that range. Dimension one, where the page’s logarithmic factor vanishes, is excluded from this comparison.See full solution
Claimed by OpenAI. The manuscript claims an absolute-constant single-lattice covering-density bound Cnlog(n) for every convex body in dimension n >= 2, without symmetry or regularity assumptions. This is stronger than the displayed logarithmic-power upper bound in that range. Dimension one, where the page’s logarithmic factor vanishes, is excluded from this comparison.
GitHub repository: https://github.com/openai/math
- OpenAI-092-01-A-single-lattice-covering-bound-of-order-n-log-n.pdfOpen
RemarkAI-assistedClaimed by OpenAI. For every sufficiently large dimension, the manuscript claims a centrally symmetric convex body with translative covering density at least cnlog(n), for an absolute c > 0. Lattice coverings are a subclass, so the same lower obstruction applies to them. This is complementary lower-bound progress; it does not contradict the page’s larger logarithmic-power upper bound.See full solution
Claimed by OpenAI. For every sufficiently large dimension, the manuscript claims a centrally symmetric convex body with translative covering density at least cnlog(n), for an absolute c > 0. Lattice coverings are a subclass, so the same lower obstruction applies to them. This is complementary lower-bound progress; it does not contradict the page’s larger logarithmic-power upper bound.
GitHub repository: https://github.com/openai/math
- OpenAI-092-02-Translative-covering-densities-of-order-n-log-n.pdfOpen