Distinct Lengths Modular Zero-sum Subsequences: A Proof of Graham's Conjecture

Weidong Gao,Y. O. Hamidoune,Guoqing Wang
DOI: https://doi.org/10.48550/arXiv.0902.4758
2009-02-27
Abstract:Let $n$ be a positive integer and let $S$ be a sequence of $n$ integers in the interval $[0,n-1]$. If there is an $r$ such that any nonempty subsequence with sum $\equiv 0$ $\pmod n$ has length $=r,$ then $S$ has at most two distinct values. This proves a conjecture of R. L. Graham. A previous result of P. Erdős and E. Szemerédi shows the validity of this conjecture if $n$ is a large prime number.
Number Theory,Combinatorics
What problem does this paper attempt to address?
The paper attempts to solve a conjecture proposed by R. L. Graham, which is about the uniqueness of the length of modular zero - sum subsequences. Specifically, Graham's conjecture is stated as follows: Let \(p\) be a prime number, and \(a_1, a_2,\ldots, a_p\) be \(p\) non - zero residue classes (mod \(p\)). Suppose that for any \(\sum_{i = 1}^p\epsilon_i a_i\equiv0\ (\text{mod}\ p)\), where \(\epsilon_i = 0\) or \(1\) (not all \(\epsilon_i = 0\)), and the sum is a multiple of \(p\), then \(\sum_{i = 1}^p\epsilon_i\) is uniquely determined. Graham's conjecture points out that in this case, there are only two different values among these \(a_i\). The main contribution of this paper is to prove that this conjecture holds not only for large prime numbers \(p\), but also for any positive integer \(n\). Specifically, the authors prove the following theorem: **Theorem 1.1**: Let \(n\) be a positive integer, and \(S\) be a sequence consisting of \(n\) integers in the interval \([0, n - 1]\). If there exists an integer \(r\) such that the length of any non - empty subsequence whose sum \(\equiv0\ (\text{mod}\ n)\) is equal to \(r\), then there are at most two different values in \(S\). This result generalizes the previous results of Erdős and Szemerédi, who have already proved that the above conjecture holds when \(n\) is a sufficiently large prime number. Through this generalization, the authors solve a more general case and provide a broader theoretical framework for understanding the properties of modular zero - sum subsequences. ### Key points summary: 1. **Problem background**: Graham's conjecture involves the uniqueness of the length of modular zero - sum subsequences. 2. **Main achievements**: Prove that Graham's conjecture holds not only for large prime numbers, but also for any positive integer \(n\). 3. **Methodology**: Use tools in combinatorial mathematics and number theory, especially the theory of zero - sum sequences. Hope this helps you understand the core problem of the paper and its importance. If you have more questions or need further explanation, please feel free to ask!