Jump to content

Zero-sum problem

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Deltahedron (talk | contribs) at 18:50, 24 June 2012 (Cauchy-Davenport theorem). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In number theory, zero-sum problems are a certain class of combinatorial questions. In general, a finite abelian group G is considered. The zero-sum problem for the integer n is the following: Find the smallest integer k such that every sequence of elements of G with length contains n terms that sum to 0.

In 1961 Paul Erdős, Abraham Ginzburg, and Abraham Ziv proved the general result for (the integers mod n) that[1]

Explicitly this says that any multiset of 2n − 1 integers has a subset of size n the sum of whose elements is a multiple of n. This result is known as the Erdős–Ginzburg–Ziv theorem after its discoverers: it may be deduced from the Cauchy-Davenport theorem.[2]

More general results than this theorem exist, such as Olson's theorem, Kemnitz's conjecture (proved by Christian Reiher in 2003[3]), and the weighted EGZ theorem (proved by David J. Grynkiewicz in 2005[4]).

References

  1. ^ Erdős, Paul; Ginzburg, A.; Ziv, A. (1961). "A theorem in additive number theory". Bull. Res. Council Israel. 10F: 41–43. Zbl 0063.00009.
  2. ^ Nathanson (1996) p.48
  3. ^ Reiher, Christian (2007), "On Kemnitz' conjecture concerning lattice-points in the plane", The Ramanujan Journal, 13 (1–3): 333–337, doi:10.1007/s11139-006-0256-y, Zbl 1126.11011.
  4. ^ Grynkiewicz, D. J. (2006), "A Weighted Erdős-Ginzburg-Ziv Theorem", Combinatorica, 26 (4): 445–453, doi:10.1007/s00493-006-0025-y, Zbl 1121.11018.