Dice Question Streamline Icon: https://streamlinehq.com

Extend Theorem 1.2 to all origin-symmetric convex bodies of volume c n^2

Establish that for every dimension n ≥ 2 and every origin-symmetric convex body K ⊂ ℝ^n with Vol_n(K) = c n^2 for some universal constant c > 0, there exists a full-rank lattice L ⊂ ℝ^n of covolume one such that L ∩ K = {0}.

Information Square Streamline Icon: https://streamlinehq.com

Background

Theorem 1.2 of the paper proves the existence of a lattice L of covolume one that avoids the origin-centered Euclidean ball K of volume c n2 (i.e., L ∩ K = {0}). The authors then observe that this implies the existence of an origin-symmetric ellipsoid of volume c n2 containing no nonzero points of ℤn.

They conjecture that this lattice-avoidance conclusion should hold for any origin-symmetric convex body K satisfying the same volume constraint Vol_n(K) = c n2, not just for Euclidean balls or ellipsoids. Schmidt previously established a related statement under a stronger small-volume assumption Vol_n(K) ≤ c n, leaving the c n2 threshold open in the general convex-body setting.

References

We conjecture that the conclusion of Theorem 1.2 holds true for any origin-symmetric convex body K C R™ satisfying (2), and not just for Euclidean balls and ellipsoids.

Lattice packing of spheres in high dimensions using a stochastically evolving ellipsoid (2504.05042 - Klartag, 7 Apr 2025) in Section 1 (Introduction)