Sumsets, Zero-Sums and Extremal Combinatorics

This thesis develops and applies a method of tackling zero-sum additive questions, especially those related to the Erdos-Ginzburg-Ziv Theorem (EGZ), through the use of partitioning sequences into sets, i.e., set partitions. Much of the research can alternatively be found in the literature spread across nine separate articles, but is here collected into one cohesive work augmented by additional exposition. Highlights include a new combinatorial proof of Kneser's Theorem (not currently located elsewhere); a proof of Caro's conjectured weighted Erdos-Ginzburg-Ziv Theorem; a partition analog of the Cauchy-Davenport Theorem that encompasses several results of Mann, Olson, Bollobas and Leader, and Hamidoune; a refinement of EGZ showing that an essentially dichromatic sequence of 2m-1 terms from an abelian group of order m contains a mostly monochromatic m-term zero-sum subsequence; an interpretation of Kemperman's Structure Theorem (KST) for critical pairs (i.e., those finite subsets A and B of an abelian group with |A+B|<|A|+|B|) through quasi-periodic decompositions, which establishes certain canonical aspects of KST and facilitates its use in practice; a draining theorem for set partitions showing that a set partition of large cardinality sumset can have several elements removed from its terms and still have the sumset remain of large cardinality; a proof of a subsequence sum conjecture of Hamidoune; the determination of the g(m,k) function introduced by Bialostocki and Lotspeich (defined as the least n so that a sequence of terms from Z/mZ of length n with at least k distinct terms must contain an m-term zero-sum subsequence) for m large with respect to k; the determination of g(m,5) for all m, including the details to the abbreviated proof found in the literature; various zero-sum results concerning modifications to the nondecreasing diameter problem of Bialostocki, Erdos, and Lefmann; an extension of EGZ to a class of hypergraphs; and a lower bound on the number of zero-sum m-term subsequences in a sequence of n terms from an abelian group of order m that establishes Bialostocki's conjectured value for small n<(19/3)m .

[1]  Carl R. Yerger.  Monochromatic and Zero-Sum Sets of Nondecreasing Diameter , 2005 .

[2]  Henry B. Mann,et al.  Addition Theorems: The Addition Theorems of Group Theory and Number Theory , 1976 .

[3]  Yahya Ould Hamidoune.  Some results in additive number theory I: The critical pair theory , 2000 .

[4]  Yair Caro,et al.  Zero-sum problems - A survey , 1996, Discret. Math..

[5]  M. Kneser,et al.  Abschätzung der asymptotischen Dichte von Summenmengen , 1953 .

[6]  Yahya Ould Hamidoune.  Subsequence Sums , 2003, Comb. Probab. Comput..

[7]  Yahya Ould Hamidoune.  On weighted sums in abelian groups , 1996, Discret. Math..

[8]  Weidong Gao.  Addition Theorems for Finite Abelian Groups , 1995 .

[9]  Henry B. Mann.  An Addition Theorem for Sets of Elements of Abelian Groups , 1953 .

[10]  David J. Grynkiewicz,et al.  Monochromatic and Zero-Sum Sets of Nondecreasing Modified Diameter , 2006, Electron. J. Comb..

[11]  David J. Grynkiewicz.  An extension of the Erdos-Ginzburg-Ziv Theorem to hypergraphs , 2005, Eur. J. Comb..

[12]  Xiang-dong Hou,et al.  A Generalization of an Addition Theorem of Kneser , 2002 .

[13]  Noga Alon,et al.  The Polynomial Method and Restricted Sums of Congruence Classes , 1996 .

[14]  Xin Jin,et al.  Weighted sums in finite cyclic groups , 2004, Discret. Math..

[15]  Melvyn B. Nathanson,et al.  Additive Number Theory: Inverse Problems and the Geometry of Sumsets , 1996 .

[16]  M. Kisin.  The number of zero sums modulo m in a sequence of length n , 1994 .

[17]  Weidong Gao,et al.  Zero Sums in Abelian Groups , 1998, Comb. Probab. Comput..

[18]  J. H. B. Kemperman,et al.  On small sumsets in an abelian group , 1960 .

[19]  Béla Bollobás,et al.  The Number of k-Sums Modulo k , 1999 .

[20]  Henry B. Mann.  Two addition theorems , 1967 .

[21]  John E. Olson.  An addition theorem for finite Abelian groups , 1977 .

[22]  J. Kemperman,et al.  On Complexes in a Semigroup , 1956 .

[23]  Harold Davenport,et al.  On the Addition of Residue Classes , 1935 .

[24]  David J. Grynkiewicz,et al.  On Four Colored Sets with Nondecreasing Diameter and the Erds-Ginzburg-Ziv Theorem , 2002, J. Comb. Theory, Ser. A.

[25]  David J. Grynkiewicz.  On a Conjecture of Hamidoune for Subsequence Sums , 2005 .

[26]  Yahya Ould Hamidoune,et al.  A note on the minimal polynomial of the Kronecker sum of two linear operators , 1990 .

[27]  M. Kneser,et al.  Ein Satz über abelsche Gruppen mit Anwendungen auf die Geometrie der Zahlen , 1954 .

[28]  David J. Grynkiewicz,et al.  On a partition analog of the Cauchy-Davenport theorem , 2005 .

[29]  Yahya Ould Hamidoune.  Subsets with a Small Sum II: the Critical Pair Problem , 2000, Eur. J. Comb..

[30]  Weidong Gao.  An addition theorem for finite cyclic groups , 1997, Discret. Math..

[31]  Arie Bialostocki,et al.  On the Erdös-Ginzburg-Ziv theorem and the Ramsey numbers for stars and matchings , 1992, Discret. Math..

[32]  A. Ziv,et al.  Theorem in the Additive Number Theory , 2022 .

[33]  David J. Grynkiewicz,et al.  Quasi-periodic decompositions and the Kemperman structure theorem , 2005, Eur. J. Comb..

[34]  David J. Grynkiewicz,et al.  On the number of $m$-term zero-sum subsequences , 2006 .

[35]  David J. Grynkiewicz,et al.  A Weighted Erdős-Ginzburg-Ziv Theorem , 2006, Comb..

[36]  Peter M. Neumann.  Two combinatorial problems in group theory , 1989 .

[37]  David J. Grynkiewicz,et al.  On some developments of the Erdős–Ginzburg–Ziv Theorem II , 2003 .

[38]  Luis H. Gallardo,et al.  On a variant of the Erdős-Ginzburg-Ziv problem , 1999 .

[39]  Yahya Ould Hamidoune.  Subsets with Small Sums in Abelian Groups' I: the Vosper Property , 1997, Eur. J. Comb..

[40]  Roger Crocker,et al.  A theorem in additive number theory , 1969 .

[41]  Weidong Gao,et al.  A Combinatorial Problem on Finite Abelian Groups , 1996 .

[42]  Yahya Ould Hamidoune.  On Weighted Sequence Sums , 1995, Comb. Probab. Comput..