Study of structures where a subset must sum to zero
In mathematics, zero-sum Ramsey theory or zero-sum theory is a branch of combinatorics. It deals with problems of the following kind: given a combinatorial structure whose elements are assigned different weights (usually elements from an Abelian group
), one seeks for conditions that guarantee the existence of certain substructure whose weights of its elements sum up to zero (in
). 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
elements of
, there is a subset of size
that sums to zero.[2] (This bound is tight, as a sequence of
zeroes and
ones cannot have any subset of size
summing to zero.[2]) There are known proofs of this result using the Cauchy-Davenport theorem, Fermat's little theorem, or the Chevalley–Warning theorem.[2]
Generalizing this result, one can define for any abelian group G the minimum quantity
of elements of G such that there must be a subsequence of
elements (where
is the order of the group) which adds to zero. It is known that
, and that this bound is strict if and only if
.[2]
See also
References
Further reading