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

At least 9 years old · documented by

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.

References

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.

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.