Equilibria of Inverse-Square Repulsion on the Line Are Arithmetic Progressions
Abstract
Benjamini asked whether every configuration of points on the real line that is in equilibrium under the inverse-square repulsive force must be an arithmetic progression. Georgakopoulos and Kolountzakis proved this when some gap between consecutive points has maximal or minimal length, and described the general (aperiodic) case as open. We show that the answer is yes. More generally, let 1<s≤2, and let X⊂ℝ be a locally finite set with at least two points such that, for every x∈ X, the total force ∑y∈ X∖{x}|y−x|−s is finite and the net force ∑y∈ X∖{x}sgn(y−x) |y−x|−s is zero. Then X is an arithmetic progression. No a priori assumption on the gaps is needed. Subtracting the equilibrium equations of two consecutive points shows that the gaps gn form a positive harmonic function for an explicit reversible random walk on ℤ with long-range jumps. Equilibrium also bounds the ratio of consecutive gaps, by 1.5386… when s=2. With this bound, an energy estimate shows that the Doob transform of the walk by g is recurrent. Since 1/g is a positive harmonic function of the transformed walk, it is constant.
Related
- Hitting Arithmetic Progressions at the Square-Root Scale
- Triple divisor type functions in arithmetic progressions to prime power moduli
- Average twin prime conjecture for elliptic curves in arithmetic progressions
- Smooth numbers in simultaneous arithmetic progressions
- Cyclicity of Drinfeld modules modulo primes in arithmetic progressions
BibTeX
@misc{ferudun2026equilibria,
title = {{Equilibria of Inverse-Square Repulsion on the Line Are Arithmetic Progressions}},
author = {Alper Ferudun},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.06944},
eprint = {2610.06944},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.06944},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Equilibria of Inverse-Square Repulsion on the Line Are Arithmetic Progressions
AU - Alper Ferudun
PY - 2026
DA - 2026/10/03
PB - arXiv
DO - 10.48550/arxiv.2610.06944
UR - https://arxiv.org/abs/2610.06944
AB - Benjamini asked whether every configuration of points on the real line that is in equilibrium under the inverse-square repulsive force must be an arithmetic progression. Georgakopoulos and Kolountzakis proved this when some gap between consecutive points has maximal or minimal length, and described the general (aperiodic) case as open. We show that the answer is yes. More generally, let 1<s≤2, and let X⊂ℝ be a locally finite set with at least two points such that, for every x∈ X, the total force ∑_y∈ X∖{x}|y−x|^−s is finite and the net force ∑_y∈ X∖{x}sgn(y−x) |y−x|^−s is zero. Then X is an arithmetic progression. No a priori assumption on the gaps is needed. Subtracting the equilibrium equations of two consecutive points shows that the gaps g_n form a positive harmonic function for an explicit reversible random walk on ℤ with long-range jumps. Equilibrium also bounds the ratio of consecutive gaps, by 1.5386… when s=2. With this bound, an energy estimate shows that the Doob transform of the walk by g is recurrent. Since 1/g is a positive harmonic function of the transformed walk, it is constant.
ER -