Gao's conjecture on the Erdős–Ginzburg–Ziv constant

From papers

Let GG be a finite abelian group. Write η(G)\eta(G) for the least length forcing a zero-sum subsequence of length at most exp(G)\exp(G), and s(G)\mathsf{s}(G) for the least length forcing a zero-sum subsequence of length exactly exp(G)\exp(G). Here exp(G)\exp(G) denotes the exponent of GG.

Gao's conjecture. For every finite abelian group GG, one has

s(G)=η(G)+exp(G)1.\mathsf{s}(G)=\eta(G)+\exp(G)-1.

This conjecture asserts equality in the general lower bound for the Erdős–Ginzburg–Ziv constant. It is a central question relating the two zero-sum invariants, and the source presents it as unresolved in general.

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 Sofia Zotova, “The Erdős-Ginzburg-Ziv constant of rank-two-like p-groups”, arXiv:2510.23543 (2025).

Additional references

7 papers in this index state this conjecture (2016–2025). The statement above is taken from the most recent of them; the others are arXiv:2506.21383, arXiv:2201.05579, arXiv:2108.00823, arXiv:1806.07636, arXiv:1701.07216, arXiv:1608.05157.

Solutions 0

No solutions have been posted yet.