Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Statement

The paper closes with a section headed "SOME OPEN QUESTIONS" (printed pp. 34--36), twelve numbered items "related to complete sequences". Item 10 is the only statement in the paper on residues modulo a prime with distinct partial sums; ZpZ_p is the ring of residues modulo pp.

Question 10 (printed p. 36, quoted). "Let pp be a prime and suppose a1,…,aka_1,\ldots,a_k are distinct nonzero elements of ZpZ_p. Conjecture: There always exists an arrangement ai1,…,aika_{i_1},\ldots,a_{i_k} of the aia_i such that all partial sums ∑j=1taij\sum_{j=1}^ta_{i_j}, 1≤t≤k1\le t\le k, are distinct modulo pp."

This is the statement of Problem 475 word for word up to notation: the site's A⊆Fp∖{0}A\subseteq\mathbb F_p\setminus\{0\} with ∣A∣=t|A|=t is the paper's {a1,…,ak}\{a_1,\ldots,a_k\}, and only the partial sums with at least one term are compared. The paper labels the statement a conjecture, offers no argument for any case and does not mention the case k=p−1k=p-1; the attribution of that case to Graham on the problem page comes from Erdős's 1973 chapter, not from this paper. Question 11, printed directly below on the same page, is the companion conjecture the 1973 chapter also reports (quoted): "Let pp be a prime and suppose a1,…,ap∈Zpa_1,\ldots,a_p\in Z_p such that for some rr, ∑b∈B⊆Ab≡0(modp)\sum_{b\in B\subseteq A}b\equiv0\pmod p implies ∣B∣=r|B|=r. Conjecture: The aia_i assume at most 2 different values."

Source. R. L. Graham, On sums of integers taken from a fixed sequence, Proceedings of the Washington State University Conference on Number Theory (1971), 22--40; Questions 10 and 11 on printed p. 36 = PDF p. 15 of the author's publication-page scan, read on the page image (the scan has no text layer). The artifact is identified in the source digest.

Read depth. Claims checked: the two statements were read clause by clause on the page image on 2026-09-22. A conjecture; the paper proves nothing about it. Nothing here is independently reviewed.

Proof pointer

None. The paper states the conjecture and stops. Its later standing is recorded on the problem page: proved for all sufficiently large primes by four range results, and for every prime for k≤12k\le12 and for p−3≤k≤p−1p-3\le k\le p-1, with the qualifications stated there.

Dependencies

None.

Bears on

  • Problem 475: the problem's origin, in the wording the site's statement follows; the paper cited by Pham and Sauermann for the conjecture ("[7, p. 36]") and the monograph's "[Gr (71)]". Question 11 is the second problem of Graham that the page's origin paragraph, under Current assessment, reports from the 1973 chapter.