The asymptotic Davenport constant conjecture for Euclidean balls

From papers

Let d2d\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 mdm\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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.