Linear Bounds for Differentiable Limits of Weak Pair Correlation Functions
Pith reviewed 2026-05-08 01:44 UTC · model grok-4.3
The pith
Under assumptions that the limit exists and is differentiable near zero, the weak pair correlation limit f_β(s) obeys 2s ≤ f_β(s) ≤ f'_β(0) s.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Assuming that the limit f_β(s) = lim_{N→∞} f_{N,β}(s) exists for all s ≥ 0 and that this limiting function is differentiable in a neighborhood of the origin, the paper proves that 2s ≤ f_β(s) ≤ f'_β(0) s holds in that neighborhood.
What carries the argument
The assumed limiting weak pair correlation function f_β(s), with the derived linear inequalities that bound it from below by twice s and from above by its derivative at zero times s.
If this is right
- Any such limiting function must grow at least linearly with slope 2 near the origin.
- The value of the derivative at zero upper-bounds the possible growth rate of the function.
- These bounds apply to all sequences whose weak pair correlations satisfy the existence and differentiability conditions.
- The limiting function remains non-decreasing with f_β(0) = 0.
Where Pith is reading between the lines
- These bounds could rule out the existence of differentiable limits for certain sequences by showing that their computed correlations would violate the inequalities.
- One might check equality cases for specific sequences such as equidistributed points from irrational rotations.
- The result may connect to broader questions in uniform distribution theory about possible asymptotic densities of pair distances.
Load-bearing premise
The limit f_β(s) exists for all s ≥ 0 and the limiting function is differentiable in a neighborhood of the origin.
What would settle it
A counterexample sequence in [0,1] for which the weak pair correlation limit exists and is differentiable near zero, yet for some small s the inequality 2s ≤ f_β(s) fails or the upper bound is violated.
read the original abstract
For $s \geq 0$ and a parameter $0 < \beta < 1$, the weak pair correlation function $f_{N,\beta}(s)$ for the first $N \in \mathbb{N}$ elements of a sequence $(x_n)_{n \in \mathbb{N}} \subset[0,1]$ is evidently non-decreasing in $s$. Moreover, it satisfies $\lim_{N \to \infty} f_{N,\beta}(0) = 0$ if the elements of $(x_n)_{n \in \mathbb{N}}$ are distinct. Beyond these basic observations, little is known in general about the behavior of the limiting function. In this note, we investigate the situation in which the limit $f_\beta(s)=\lim_{N\to\infty} f_{N,\beta}(s)$ exists for all $s\ge 0$ and is differentiable in a neighborhood of the origin. Under these assumptions, we establish the bounds $2s \le f_\beta(s) \le f'_\beta(0)\, s,$ thereby providing general constraints on the limiting function.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript assumes that the weak pair correlation function f_{N,β}(s) for the first N terms of a sequence in [0,1] admits a pointwise limit f_β(s) as N→∞ for every s≥0, and that this limit is differentiable in a neighborhood of the origin. Under these assumptions, it derives the linear bounds 2s ≤ f_β(s) ≤ f'_β(0) s.
Significance. If corrected, the result would supply simple, assumption-minimal constraints on limiting pair-correlation functions whenever the limit exists and is differentiable near zero. The derivation uses only the given existence, local differentiability, and the monotonicity of the finite-N functions, without fitted parameters or additional structure; this directness is a strength for applications in uniform distribution theory.
major comments (1)
- [Abstract] Abstract (and the central claim): the inequalities 2s ≤ f_β(s) ≤ f'_β(0) s are stated for all s ≥ 0. However, each f_{N,β}(s) is non-decreasing and equals a constant for all s ≥ 1 (all pairs satisfy the distance condition). Thus the limit f_β(s) is constant for s ≥ 1, so the lower bound 2s ≤ f_β(s) fails for any s > f_β(1)/2. Differentiability is assumed only locally near the origin, therefore the claimed bounds must be restricted to a sufficiently small interval [0, δ). This is load-bearing for the paper's main result.
minor comments (1)
- [Introduction] The explicit definition of the weak pair correlation function f_{N,β}(s) (including the role of β) should be recalled in the introduction for self-contained reading, even if standard in the literature.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and for identifying the important issue with the stated range of the bounds. We agree that the inequalities cannot hold for all s ≥ 0 and will revise the abstract and main statements accordingly.
read point-by-point responses
-
Referee: [Abstract] Abstract (and the central claim): the inequalities 2s ≤ f_β(s) ≤ f'_β(0) s are stated for all s ≥ 0. However, each f_{N,β}(s) is non-decreasing and equals a constant for all s ≥ 1 (all pairs satisfy the distance condition). Thus the limit f_β(s) is constant for s ≥ 1, so the lower bound 2s ≤ f_β(s) fails for any s > f_β(1)/2. Differentiability is assumed only locally near the origin, therefore the claimed bounds must be restricted to a sufficiently small interval [0, δ). This is load-bearing for the paper's main result.
Authors: We agree with the referee's observation. The functions f_{N,β}(s) are indeed non-decreasing and constant for s ≥ 1, so their pointwise limit f_β(s) is likewise constant on [1, ∞). Consequently the lower bound 2s ≤ f_β(s) cannot hold once 2s exceeds this constant value. Because differentiability is assumed only in a neighborhood of the origin, the upper bound derived from f'_β(0) is likewise intended to apply only locally. We will revise the abstract, the statement of the main theorem, and the surrounding discussion to restrict the inequalities to an interval [0, δ) on which the local differentiability and the monotonicity properties suffice to establish the bounds. The proof will be updated to make the dependence on δ explicit. revision: yes
Circularity Check
No significant circularity; derivation is self-contained from stated assumptions
full rationale
The paper assumes existence of the limit f_β(s) for all s ≥ 0 and differentiability near the origin, then derives the linear bounds 2s ≤ f_β(s) ≤ f'_β(0) s directly from these plus basic properties (non-decreasing, f(0) = 0). No self-definitional steps, no parameters fitted then relabeled as predictions, and no load-bearing self-citations or imported uniqueness theorems are present in the provided text. The central claim reduces to standard analysis (e.g., mean-value or monotonicity arguments) rather than tautological re-expression of inputs. The skeptic's range objection concerns correctness of the stated domain, not circularity in the derivation chain.
Axiom & Free-Parameter Ledger
axioms (3)
- domain assumption f_{N,β}(s) is non-decreasing in s for each fixed N and β
- domain assumption lim_{N→∞} f_{N,β}(0) = 0 whenever the sequence elements are distinct
- ad hoc to paper The pointwise limit f_β(s) exists for every s ≥ 0 and is differentiable near s = 0
Reference graph
Works this paper leans on
-
[1]
C. Aistleitner, T. Lachmann, and F. Pausinger. Pair correlations and equidistribution. Journal of Number Theory , 182:206--220, 2018
work page 2018
-
[2]
J. Fiedler and C. Wei . On the pair correlation statistic of sequences with the finite gap property. Archiv der Mathematik , 125 (1):107--113, 2025
work page 2025
-
[3]
M. Hauke and A. Zafeiropoulos. Weak P oissonian correlations. Annali di Matematica Pura ed Applicata , 203:2711--2740, 2024
work page 2024
- [4]
-
[5]
C. Lutsko. Directions in orbits of geometrically finite hyperbolic subgroups. Mathematical Proceedings of the Cambridge Philosophical Society , 171 (2):277--316, 2020
work page 2020
-
[6]
J. Marklof and A. Str\"ombergsson. Gaps between logs. Bulletin of the London Mathematical Society , 45 (6):1267--1280, 2013
work page 2013
- [7]
-
[8]
C. Wei . Some connections between discrepancy, finite gap properties and pair correlations. Monatshefte f\"ur Mathematik , 199:909--927, 2022
work page 2022
- [9]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.