Pith. sign in

REVIEW 3 major objections 2 minor 45 references

From smooth to discontinuous kernels: a variance transfer principle for hyperuniform processes

T0 review · 3 major / 2 minor · reviewed 2026-06-26 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A transfer principle moves polynomial variance decay from smooth kernels to counting kernels for particle systems.

desk verdict The transfer principle is the actual new piece, but the Coulomb hyperuniformity claims rest on scale ranges that the abstract itself flags as possibly reduced. read the letter →

arxiv 2606.22940 v1 pith:OLI7OTXT submitted 2026-06-22 math.PR

Raphaël Lachièze-Rey (MAP5 - UMR 8145 , MATHNET) This is my paper · ORCID
classification math.PR
keywords variancetransferprinciplehyperuniformityCoulombgasesGirkomatricesnumberlinearstatisticsparticlesystemsrandom
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper develops a method to transfer variance bounds on linear statistics from smooth test functions to the discontinuous indicator functions that count particles inside regions. If the variance for smooth kernels decays polynomially with exponent a relative to the independent case, then the number variance over balls decays with exponent min(1,a), including a log factor when a is 1. This transfer applies to non-periodic systems over certain scale ranges and is used to establish hyperuniformity properties for random matrix eigenvalues and Coulomb gases. The results show optimal surface-order fluctuations in two dimensions and linear-order in three dimensions, which in turn imply finite interaction energy and controlled Wasserstein distance to the uniform measure.

What carries the argument

The variance transfer principle relating smooth kernel fluctuations to number variance for indicator functions over balls.

What would settle it

An explicit counterexample particle system where smooth kernel variance decays with exponent a greater than 1 but the number variance over balls decays slower than the surface area would disprove the transfer principle.

Watch

Extended reading notes

Core claim

We give a transfer principle for the fluctuations of linear statistics of finite particle systems around Lebesgue measure: if for a smooth kernel the variance decays polynomially with some exponent a compared to independent particles, then the number variance over balls centred at almost every point decays with exponent min(1,a) times a log term if a=1, over a possibly reduced range of scales for non-periodic systems. Applications yield that 2D-Coulomb gases are 2-hyperuniform and 3D ones are 1-hyperuniform.

Load-bearing premise

The base polynomial variance decay for smooth kernels is already known in the Girko matrix and Coulomb gas settings and transfers directly without further loss.

Editorial extensions

If this is right

  • Optimal perimeter-like number variance for eigenvalues of random Girko matrices on microscopic and some mesoscopic scales after local averaging.
  • 2D Coulomb gases exhibit surface order number variance, which is optimal.
  • 3D Coulomb gases exhibit linear order number variance.
  • In 2D, the hyperuniformity implies finite Coulomb energy and finite Wasserstein distance to Lebesgue measure.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The principle may extend to other models of interacting particles where smooth variance decay is established.
  • It could connect hyperuniformity results across different dimensions and interaction potentials.
  • Local averaging might be removable in periodic cases or with stronger assumptions.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 2 minor

Summary. The paper establishes a variance transfer principle for fluctuations of linear statistics in finite particle systems: polynomial variance decay of exponent a for smooth kernels implies number variance decay of exponent min(1,a) (with an extra log factor when a=1) for the discontinuous counting kernel, at almost every center and over a possibly reduced range of scales when the system is non-periodic. The principle is applied to Girko matrices (via Cipolloni et al.) to obtain optimal perimeter-like number variance on microscopic and some mesoscopic scales after local averaging, and to 2D/3D Coulomb gases (via Serfaty) to conclude that 2D gases are 2-hyperuniform (surface-order variance, optimal) and 3D gases are 1-hyperuniform; the 2D case is further used to deduce finite Coulomb energy and Wasserstein convergence to Lebesgue measure.

Significance. If the transfer holds with controlled scale loss, the principle supplies a systematic way to upgrade existing smooth-kernel variance bounds to hyperuniformity statements for counting statistics, directly yielding optimality results for Coulomb gases and their global consequences. The approach is independent of the base derivations and credits the external inputs from Cipolloni et al. and Serfaty explicitly.

major comments (3)
  1. [§3, §5] §3 (transfer principle statement) and §5 (Coulomb-gas application): the abstract and the optimality claims for 2-hyperuniformity assert surface-order number variance, yet the principle only guarantees the transferred exponent over a 'possibly reduced range of scales for non-periodic systems.' No explicit quantification of the reduced range appears, so it is unclear whether the mesoscopic window needed for the global consequences (finite Coulomb energy, Wasserstein distance) remains covered after transfer.
  2. [§4, §5] §4 (Girko application) and §5: the local-averaging step that restores the full microscopic-to-mesoscopic range for Girko matrices is not shown to carry over to the non-periodic Coulomb setting; if the averaging is unavailable there, the 1-hyperuniformity claim for 3D gases rests on an unverified scale interval.
  3. [Theorem 1.1] Theorem 1.1 (main transfer statement): the almost-everywhere centering and the precise dependence of the scale reduction on the modulus of continuity of the density are stated, but the proof sketch does not indicate how the reduction factor is bounded in terms of the base exponent a when a>1; this affects whether the min(1,a) exponent is achieved without further loss.
minor comments (2)
  1. [§2] Notation for the smooth kernel K_ε and the counting kernel 1_B is introduced without an explicit comparison table; a short display equating the two variance expressions would improve readability.
  2. [Theorem 1.1] The log factor when a=1 is mentioned in the abstract but its precise form (log N or log(1/r)) is not restated in the theorem statement; consistency would help.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. Below we respond point-by-point to the major comments and indicate the revisions we will make.

read point-by-point responses

  1. Referee: [§3, §5] §3 (transfer principle statement) and §5 (Coulomb-gas application): the abstract and the optimality claims for 2-hyperuniformity assert surface-order number variance, yet the principle only guarantees the transferred exponent over a 'possibly reduced range of scales for non-periodic systems.' No explicit quantification of the reduced range appears, so it is unclear whether the mesoscopic window needed for the global consequences (finite Coulomb energy, Wasserstein distance) remains covered after transfer.

    Authors: We agree that an explicit quantification of the scale reduction is needed for clarity. The reduction factor is controlled by the modulus of continuity of the limiting density and by the base exponent a; for the Coulomb-gas applications the input bounds of Serfaty extend over a range wide enough that the transferred scales still cover the mesoscopic window required for the global consequences. In the revision we will state the precise dependence of the reduction on the modulus of continuity inside Theorem 1.1 and add a remark in §5 confirming coverage of the needed scales. revision: yes

  2. Referee: [§4, §5] §4 (Girko application) and §5: the local-averaging step that restores the full microscopic-to-mesoscopic range for Girko matrices is not shown to carry over to the non-periodic Coulomb setting; if the averaging is unavailable there, the 1-hyperuniformity claim for 3D gases rests on an unverified scale interval.

    Authors: Local averaging is used only for the Girko matrices to recover the full range. For Coulomb gases we do not invoke averaging; the transfer is applied directly. The base smooth-kernel estimates of Serfaty are sufficiently uniform that the reduced interval still yields the claimed 1-hyperuniformity for 3D gases. We will add an explicit verification of the resulting scale interval in the revised §5. revision: yes

  3. Referee: [Theorem 1.1] Theorem 1.1 (main transfer statement): the almost-everywhere centering and the precise dependence of the scale reduction on the modulus of continuity of the density are stated, but the proof sketch does not indicate how the reduction factor is bounded in terms of the base exponent a when a>1; this affects whether the min(1,a) exponent is achieved without further loss.

    Authors: The full proof in §3 derives the bound on the reduction factor, which for a>1 is mild enough that the exponent min(1,a)=1 is attained without extra loss beyond the stated reduction. To make this transparent we will expand the proof sketch in the revision to display explicitly the dependence of the reduction on a when a>1. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: transfer principle is independently derived and applied to external results

full rationale

The paper's core contribution is a new transfer principle mapping smooth-kernel variance decay (exponent a) to counting-kernel number variance decay (min(1,a), with log for a=1) at a.e. centers, possibly over reduced scales for non-periodic systems. This principle is stated as proven in general and then applied to pre-existing external results (Cipolloni et al. for Girko matrices; Serfaty for Coulomb gases). No self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations appear. The derivation chain is self-contained against the cited external benchmarks, which are independent of the present work.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

The paper introduces no new free parameters or invented entities; it relies on standard mathematical assumptions about kernels, linear statistics, and the validity of the cited base-case variance decays.

assumptions (1)
  • domain assumption Polynomial variance decay holds for the smooth-kernel linear statistics in the Girko and Coulomb settings as established by the cited prior works.
    The transfer principle takes these decays as input and produces the discontinuous-kernel conclusions.

how reviews work

0 comments
Cite this review

Pith. "Pith review of From smooth to discontinuous kernels: a variance transfer principle for hyperuniform processes." pith.science (2026). https://pith.science/paper/OLI7OTXT

@misc{pith2026260622940,
  author       = {Pith},
  title        = {Pith review of: From smooth to discontinuous kernels: a variance transfer principle for hyperuniform processes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OLI7OTXT}},
  note         = {Machine review of arXiv:2606.22940}
}
read the original abstract

We give a transfer principle for the fluctuations of linear statistics of finite particle systems around Lebesgue measure: if for a smooth kernel the variance decays polynomially with some exponent a compared to independent (non-interacting) particles, then the number variance over balls centred at almost every point decays with exponent min(1,a) times a log term if a=1, over a possibly reduced range of scales for non-periodic systems. We apply this principle to eigenvalues of random N*N Girko matrices, leveraging results of Cipolloni et al., and obtain the optimal perimeter-like number variance, on the microscopic and some mesoscopic scales range, after local averaging. We also apply the results to Coulomb gases, by transferring the results of Serfaty: we prove that 2D-Coulomb gases are 2-hyperuniform, i.e. they have surface order number variance, which is optimal, and that 3D Coulomb gases are 1-hyperuniform. In 2D, it allows to prove finite Coulomb energy and Wasserstein distance to Lebesgue measure.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

45 extracted references · 9 canonical work pages

  1. [1]

    Anderson, A

    G. Anderson, A. Guionnet, and O. Zeitouni.An introduction to random matrices. Cambridge Studies in Advanced Mathematics, 2010

    2010

  2. [2]

    Armstrong and S

    S. Armstrong and S. Serfaty. Local laws and rigidity for coulomb gases at any temperature.Ann. Prob., 49(1), 2021

    2021

  3. [3]

    J. Beck. Irregularities of distribution. I.Acta Math., 159:1–49, 1987

    1987

  4. [4]

    Berg and G

    C. Berg and G. Forst.Potential Theory on Locally Compact Abelian Groups. Ergebnisse der Mathematik und ihrer Grenzgebiete. Springer-Verlag, 1975

    1975

  5. [5]

    Boursier

    J. Boursier. Optimal local laws and clt for the circular riesz gas.https://arxiv.org/abs/2112. 05881

  6. [6]

    Chatterjee

    S. Chatterjee. Rigidity of the three-dimensional hierarchical coulomb gas.Prob. Th. Rel. Fields, 175:1123–1176, 2019

    2019

  7. [7]

    Chhaibi and J

    R. Chhaibi and J. Najnudel. Rigidity of the Sineβprocess. Elec. Comm. Prob., 94:1–8, 2018

    2018

  8. [8]

    Cipolloni, L

    G. Cipolloni, L. Erdős, and O. Kolupaiev. The eigenvalues of i.i.d. matrices are hyperuniform, 2026

    2026

Show all 45 references
  1. [9]

    Cipolloni, L

    G. Cipolloni, L. Erdös, and D. Schröder. Mesoscopic central limit theorem for non-hermitian random matrices. Prob. Th. Rel. Fields, 188:1131–1182, 2023

    2023

  2. [10]

    Cohen and F

    A. Cohen and F. Hernandez. A simple bound on fluctuations in the 3d coulomb gas.https: //arxiv.org/abs/2510.27129

  3. [11]

    S. Coste. Order, fluctuations, rigidities. https://scoste.fr/assets/survey_hyperuniformity.pdf, 2021

    2021

  4. [12]

    D. J. Daley and D. Vere-Jones.An Introduction to the Theory of Point Processes, Volume I: Elementary Theory and Methods. Springer, Probability and its applications, 2003. 33

    2003

  5. [13]

    Dereudre.Introduction to the Theory of Gibbs PointProcesses

    D. Dereudre.Introduction to the Theory of Gibbs PointProcesses. Lecture notes on Mathematics, Springer, 2019

    2019

  6. [14]

    Dereudre, D

    D. Dereudre, D. Flimmel, T. Huessman, and T. Leblé. (Non)-hyperuniformity of perturbed lattices. https://arxiv.org/abs/2405.19881, 2024

    2024 arXiv

  7. [15]

    Dereudre, A

    D. Dereudre, A. Hardy, T. Leblé, and M. Maïda. DLR equations and rigidity for the sine-beta process. Comm. Pure Appl. Math., 74(1):172–222, 2020

    2020

  8. [16]

    Erbar, M

    M. Erbar, M. Huesmann, J. Jalowy, and B. Müller. Optimal transport of stationary point pro- cesses: Metric structure, gradient flow and convexity of the specific entropy.arXiv:2304.11145, 2023

    2023

  9. [17]

    P. J. Forrester.Log-gases and random matrices. London Mathematical Society Monographs. 2010

    2010

  10. [18]

    P. J. Forrester and G. Honner. Exact statistical properties of the zeros of complex random polynomials. J. Phys. A: Math. and General, 32(16):2961, 1999

    1999

  11. [19]

    Gabrielli, M

    A. Gabrielli, M. Joyce, and S. Torquato. Tilings of space and superhomogeneous point processes. Phys. Rev. E, 77:031125, 2008

    2008

  12. [20]

    Ghosh and J

    S. Ghosh and J. L. Lebowitz. Fluctuations, large deviations and rigidity in hyperuniform systems: a brief survey.Indian J. of Pure and Appl. Math., 48(4):609–631, 2017

    2017

  13. [21]

    Ghosh and Y

    S. Ghosh and Y. Peres. Rigidity and tolerance in point processes: Gaussian zeros and ginibre eigenvalues. Duke Math. J., 166(10):1789–1858, 2017

    2017

  14. [22]

    J. Ginibre. Statistical ensembles of complex, quaternion, and real matrices. J. Math. Phys., 6:440–449, 1965

    1965

  15. [23]

    Huesmann and T

    M. Huesmann and T. Leblé. The link between hyperuniformity, Coulomb energy, and Wasserstein distance to Lebesgue for two-dimensional point processes.Prob. Math. Phys., 7(1):123–173, 2026. https://arxiv.org/abs/2404.18588

    2026

  16. [24]

    Iosevich and E

    A. Iosevich and E. Liflyand.Decay of the Fourier Transform. Analytic and Geometric Aspects. 2014

    2014

  17. [25]

    Kallenberg

    O. Kallenberg. Foundationsof Modern Probability. Springer, New York, 2002. 2nd Edition

    2002

  18. [26]

    Lachièze-Rey

    R. Lachièze-Rey. Rigidity of random stationary measures and applications to point processes. https://arxiv.org/abs/2409.18519, 2024

    2024

  19. [27]

    Lachièze-Rey

    R. Lachièze-Rey. Hyperuniformity of random measures, transport and rigidity. preprint Hal, https://arxiv.org/abs/2510.18392, 2025

    2025

  20. [28]

    Lachièze-Rey and D

    R. Lachièze-Rey and D. Yogeshwaran. Hyperuniformity and optimal transport of point processes. arXiv, 2024

    2024

  21. [29]

    T. Leblé. The two-dimensional one-component plasma is hyperuniform. arXiv, to appear in Duke Math. J., 2023

    2023

  22. [30]

    T. Leblé. DLR equations, number-rigidity and translation-invariance for infinite-volume limit points of the 2docp.https://arxiv.org/pdf/2410.04958, 2024

    2024

  23. [31]

    Lebowitz

    J. Lebowitz. Charge fluctuations in coulomb systems.Phys. Rev. A, 27(3):1491, 1983

    1983

  24. [32]

    M. Lewin. Coulomb and Riesz gases: The known and the unknown.J. Math. Phys., 63(6):061101, https://doi.org/10.1063/5.0086835 2022. 34

    2022 doi

  25. [33]

    P. A. Martin and T. Yalcin. The charge fluctuations in classical Coulomb systems.Journal of Statistical Physics, 22:435–463, 1980

    1980

  26. [34]

    M. L. Mehta. Pure and applied mathematics. InRandom Matrices, volume 142. Academic Press, Elsevier, 2004

    2004

  27. [35]

    Nazarov, M

    F. Nazarov, M. Sodin, and A. Volberg. Transportation to random zeroes by the gradient flow. Geom. Funct.Anal, 17:887–935, 2007

    2007

  28. [36]

    M. N. R. Bauerschmidt, P. Bourgade and H. Yau. The two-dimensional coulomb plasma: quasi- free approximation and central limit theorem.Adv. Theor. Math. Phys., 23:841–1002, 2019

    2019

  29. [37]

    Rudin.Real and Complex Analysis

    W. Rudin.Real and Complex Analysis. McGraw-Hill, Inc., 1987

    1987

  30. [38]

    Rudin.FunctionalAnalysis

    W. Rudin.FunctionalAnalysis. McGraw-Hill, Inc., 1991

    1991

  31. [39]

    S. Serfaty. Gaussian fluctuations and free energy expansion for coulomb gases at any temperature. Ann. IHP B, 59(2):1074–1142, 2023

    2023

  32. [40]

    S. Serfaty. Lectures on Coulomb and Riesz gases.https://arxiv.org/abs/2407.21194, 2024

    2024

  33. [41]

    Sodin and B

    M. Sodin and B. Tsirelson. Random complex zeroes, II: Perturbed lattices. Israel Journal of Mathematics, 152:105–124, 2006

    2006

  34. [42]

    Sodin, A

    M. Sodin, A. Wennman, and O. Yakir. The random weierstrass zeta function i: Existence, uniqueness, fluctuations.J. Stat. Phys, 190(166), 2023

    2023

  35. [43]

    E. M. Stein and G. Weiss.Introduction to FourierAnalysis on Euclidean Spaces. Princeton, New Jersey, 1971

    1971

  36. [44]

    Torquato

    S. Torquato. Hyperuniform States of Matter.Physics Reports, 745:1–95, 2018

    2018

  37. [45]

    Torquato and F

    S. Torquato and F. H. Stillinger. Local Density Fluctuations, Hyperuniform Systems, and Order Metrics. Phys. Rev. E, 68(041113):1–25, 2003. 35

    2003

Pith tools

Reviewed June 26, 2026 · model on record in the stance chip above.