Nearly linear lattice coverings of arbitrary convex bodies

At least 3 years old · documented by

Does there exist an absolute constant C>0C>0 such that, for every positive integer nn and every nn-dimensional convex body KK, the lattice covering density satisfies

θL(K)≤Cn(log⁡n)1+log⁡2e?\theta_L(K)\le Cn(\log n)^{1+\log_2 e}?
References

Progress summary

Refreshed
Claimed progress

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 Rn\mathbb{R}^n. 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 (e−3/2+o(1))n(e^{-3/2}+o(1))n.
  • Ordentlich, Regev, and Weiss, 2021: every convex body has lattice-covering density O(n2)O(n^2).
  • Schymura, Wang, and Xue conjectured a universal bound Cn(log⁡n)1+log⁡2eCn(\log n)^{1+\log_2 e}.
  • For Euclidean balls, the previous bound was O(n(log⁡n)1.85837…)O(n(\log n)^{1.85837\ldots}).

July 2026 near-linear bound

Li and Liu prove, for every sufficiently large nn and every nn-dimensional convex body KK,

θL(K)≤Cnlog⁡n (log⁡log⁡n)10/3+o(1).\theta_L(K)\leq Cn\log n\,(\log\log n)^{10/3+o(1)}.

Combined with the ball lower bound, this gives Θnconv=n1+o(1)\Theta_n^{\rm conv}=n^{1+o(1)} 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 11, while the sharp universal order and logarithmic factors remain open.

Sources

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 solutionHide 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

Manuscript: https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/A-single-lattice-covering-bound-of-order-n-log-n-September-23-2026/paper.pdf

  • OpenAI-092-01-A-single-lattice-covering-bound-of-order-n-log-n.pdf448,381 bytesOpen
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 solutionHide 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

Manuscript: https://github.com/openai/math/blob/adc7f1241b42e322a6451854ab7e4b4c146bf78a/preprints/Translative-covering-densities-of-order-n-log-n-September-23-2026/paper.pdf

  • OpenAI-092-02-Translative-covering-densities-of-order-n-log-n.pdf468,659 bytesOpen