Zero-sum Ramsey theory explained

A ), one seeks for conditions that guarantee the existence of certain substructure whose weights of its elements sum up to zero (in A ). It combines tools from number theory, algebra, linear algebra, graph theory, discrete analysis, and other branches of mathematics.

The classic result in this area is the 1961 theorem of Paul Erdős, Abraham Ginzburg, and Abraham Ziv:^[1] for any

2 m - 1 elements of Z _{m} , there is a subset of size m that sums to zero.^[2] (This bound is tight, as a sequence of m - 1 zeroes and m - 1 ones cannot have any subset of size m summing to zero.) There are known proofs of this result using the Cauchy-Davenport theorem, Fermat's little theorem, or the Chevalley–Warning theorem.

Generalizing this result, one can define for any abelian group G the minimum quantity

EGZ(G) of elements of G such that there must be a subsequence of o(G) elements (where o(G) is the order of the group) which adds to zero. It is known that EGZ(G)\leq 2 o(G) - 1 , and that this bound is strict if and only if G = Z _{m} .

See also

• Zero-sum problem

Further reading

• Zero-sum problems - A survey (open-access journal article)
• Zero-Sum Ramsey Theory: Graphs, Sequences and More (workshop homepage)
• Arie Bialostocki, "Zero-sum trees: a survey of results and open problems" N.W. Sauer (ed.) R.E. Woodrow (ed.) B. Sands (ed.), Finite and Infinite Combinatorics in Sets and Logic, Nato ASI Ser., Kluwer Acad. Publ. (1993) pp. 19–29
• Y. Caro, "Zero-sum problems: a survey" Discrete Math., 152 (1996) pp. 93–113

Notes and References

1. 0063.00009 . Erdős . Paul . Ginzburg . A. . Ziv . A. . Theorem in the additive number theory . Bull. Res. Council Israel . 10F . 41–43 . 1961 .
2. Web site: Erdös-Ginzburg-Ziv theorem - Encyclopedia of Mathematics . 2023-05-22 . encyclopediaofmath.org.