Kneserized Anticoncentration and Reverse Absorption for Graham's Rearrangement Conjecture

Simone Costa, Stefano Della Fiore, Tao Feng, Hengrui Liu

Abstract

We establish a Kneser-based anticoncentration estimate for uniform subset sums in composite cyclic groups. The estimate contains a periodic loss and is weaker than its prime-modulus counterpart. Nevertheless, together with known small- and large-set results, it proves that, for every fixed $t\geq2$ such that $\mathbb{Z}_t$ is strongly sequenceable and every sufficiently large prime $p$, every subset of $\mathbb{Z}_{tp}\setminus\{0\}$ has a valid ordering, thus establishing the analogue of Graham's rearrangement conjecture for this family of composite cyclic groups. We then identify the structural source of this loss. An inverse theorem shows that failure of the stabilizer-free growth underlying prime-type anticoncentration forces almost all of the set into a proper subgroup or one of its cosets. We exploit this structure by reverse absorption. Iterating the resulting dichotomy between non-periodic anticoncentration and structured concentration proves that every subset of \[ \mathbb{Z}_k\setminus\{0\}, \qquad k=\prod_{i=1}^{s}p_i^{e_i}, \qquad \sum_{i=1}^{s}e_i\leq L, \qquad p_1<\cdots<p_s\leqγp_1, \] admits a valid ordering whenever $L$ and $γ$ are fixed and the primes $p_i$ are sufficiently large.

Disclosure

“nistic clock and local/remote bookkeeping of Section 7 suggest a plausible route, although carrying it out will require a separate argument. Statement on the use of generative AI. During the preparation of this manuscript, the authors used ChatGPT (OpenAI) for language editing and organization. It also played a substantial role as an interactive tool in developing and formalizing the proof of the layered local-repair lemma, in particular in organizing a version compatible with the b”

PDF page 61
Classification
Substantial proof generation
Multiplier
10
Verified

Structural counts

Pages 61 pdf
Theorems 10 source
Lemmas 20 source
Propositions 6 source
Corollaries 3 source
Definitions 2 source
Displayed equations 636 source
Bibliography entries 24 source
Appendix pages 0 estimated

Count notes

  • Source counts use the expanded primary TeX file Graham_ComparablePrimes_sub_final.tex.
  • Appendix pages include the first PDF page with an explicit Appendix heading through the final page.