geometry-topology / Discrete and convex geometry; translative and lattice coverings

Is the worst-case translative covering density of convex bodies linear in the dimension?

Translative paper, Theorem 1.1: for absolute c>0c>0 and all large nn there is a centrally symmetric convex body (even a rational polytope) with θT(Kn)>cnlog⁡n\theta_T(K_n)>cn\log n, so no universal linear bound exists; with Rogers' bound the worst-case order is nlog⁡nn\log n. It extends the lattice lower bound of Li and Liu (2026) to arbitrary translative coverings. The companion proves every convex body has a single-lattice covering of density at most Cnlog⁡nCn\log n, removing the (log⁡log⁡n)O(1)(\log\log n)^{O(1)} loss of Li-Liu, so the lattice supremum also has order nlog⁡nn\log n. Constants are not optimized; Euclidean balls are not treated.

30Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologySep 23, 2026Significance 30/100Registry: lean checked

Is the worst-case translative covering density of convex bodies linear in the dimension?

Prior state unknown→disproved

Translative paper, Theorem 1.1: for absolute c>0c>0 and all large nn there is a centrally symmetric convex body (even a rational polytope) with θT(Kn)>cnlog⁡n\theta_T(K_n)>cn\log n, so no universal linear bound exists; with Rogers' bound the worst-case order is nlog⁡nn\log n. It extends the lattice lower bound of Li and Liu (2026) to arbitrary translative coverings. The companion proves every convex body has a single-lattice coveri…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Translative paper, Theorem 1.1: for absolute c>0c>0 and all large nn there is a centrally symmetric convex body (even a rational polytope) with θT(Kn)>cnlog⁡n\theta_T(K_n)>cn\log n, so no universal linear bound exists; with Rogers' bound the worst-case order is nlog⁡nn\log n. It extends the lattice lower bound of Li and Liu (2026) to arbitrary translative coverings. The companion proves every convex body has a single-lattice covering of density at most Cnlog⁡nCn\log n, removing the (log⁡log⁡n)O(1)(\log\log n)^{O(1)} loss of Li-Liu, so the lattice supremum also has order nlog⁡nn\log n. Constants are not optimized; Euclidean balls are not treated.

Translative paper, Theorem 1.1: for absolute c>0c>0 and all large nn there is a centrally symmetric convex body (even a rational polytope) with θT(Kn)>cnlog⁡n\theta_T(K_n)>cn\log n, so no universal linear bound exists; with Rogers' bound the worst-case order is nlog⁡nn\log n. It extends the lattice lower bound of Li and Liu (2026) to arbitrary translative coverings. The companion proves every convex body has a single-lattice covering of density at most Cnlog⁡nCn\log n, removing the (log⁡log⁡n)O(1)(\log\log n)^{O(1)} loss of Li-Liu, so the lattice supremum also has order nlog⁡nn\log n. Constants are not optimized; Euclidean balls are not treated.

Recorded attempts

Evidence graph

Connected research record