The asymptotic Davenport constant conjecture for Euclidean balls

About 1 year old · traced to

Let d≥2d\geq 2 be an integer, let Bm(d)\mathcal{B}^{(d)}_m denote the integer points in the dd-dimensional Euclidean ball of radius mm, and let D(d+1)(Bm(d))\mathsf{D}^{(d+1)}(\mathcal{B}^{(d)}_m) be the maximal length of a minimal zero-sum sequence over this set with support of size at most d+1d+1.

Asymptotic ball Davenport conjecture. For m≥dm\geq\sqrt d,

D(Bm(d))=D(d+1)(Bm(d))∼m→+∞((d+1)d+1dd)1/2md.\mathsf{D}(\mathcal{B}^{(d)}_m)=\mathsf{D}^{(d+1)}(\mathcal{B}^{(d)}_m)\underset{m\to+\infty}{\sim}\left(\frac{(d+1)^{d+1}}{d^d}\right)^{1/2}m^d.

The known two- and three-dimensional results motivate the assertion that extremal minimal zero-sum sequences in every dimension have support of size at most d+1d+1 and that their asymptotic size is governed by a regular simplex. The general statement remains open.

References

Primary source

Benjamin Girard and Alain Plagne, “The Davenport constant of balls and boxes”, arXiv:2510.20412 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.