pith. sign in

arxiv: 2604.22567 · v2 · pith:DBJEK7WBnew · submitted 2026-04-24 · 🧮 math.PR · math-ph· math.MP

Sign-balance of random Laplace eigenfunctions

Stephen Muirhead , Igor Wigman This is my paper

Pith reviewed 2026-05-22 10:17 UTC · model grok-4.3

classification 🧮 math.PR math-phmath.MP
keywords sign-balanceLaplace eigenfunctionsrandom spherical harmonicsGaussian random fieldsband-limited random wavesvolume balancenodal setsspectral projector
0
0 comments X

The pith

Random eigenfunctions are sign-balanced above a precisely determined scale with near-certainty.

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

The paper introduces a strong notion of sign-balance that quantifies how evenly positive and negative regions are distributed in small regions. It proves that random Laplace eigenfunctions, modeled as Gaussian fields, satisfy this balance above a specific scale tied to the eigenvalue, and that this holds with probability tending to one. The scale is shown to be optimal except possibly for a logarithmic correction in the energy. The same conclusion applies to random spherical harmonics and to band-limited random waves on general smooth manifolds, and the result extends to volume balance around any fixed non-zero level.

Core claim

We prove that random eigenfunctions are sign-balanced above a precisely determined scale with almost full probability. The scale is proven to be optimal up to a logarithmic power of the energy. Our results include the important case of random spherical harmonics, as well as more general band-limited random waves on smooth Riemannian manifolds. Extending the notion of balance to arbitrary levels, we determine the precise optimum scale above which random eigenfunctions are volume-balanced with respect to non-zero levels.

What carries the argument

The strong notion of sign-balance, which requires that the positive and negative volumes inside a small ball centered at a typical point differ by a small relative factor when the ball radius exceeds the critical scale.

If this is right

  • Random spherical harmonics on the sphere are sign-balanced above the identified scale with probability approaching one.
  • Band-limited random waves on any smooth Riemannian manifold obey the same sign-balance property at the same scale.
  • The same Gaussian model yields an explicit optimal scale for volume balance around every fixed non-zero level.
  • The logarithmic gap in optimality supplies a concrete benchmark that any proof for deterministic eigenfunctions must match or improve.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The random-model results suggest a natural conjecture that deterministic eigenfunctions should also be sign-balanced at comparable scales.
  • Numerical experiments on the sphere could directly test whether the logarithmic factor in the scale is necessary or can be removed.
  • The volume-balance statement for non-zero levels may link to questions about the distribution of level sets and their geometry.
  • Analogous sign-balance questions could be posed for random fields arising from other elliptic operators or on manifolds with boundary.

Load-bearing premise

Laplace eigenfunctions behave statistically like Gaussian random fields whose covariance kernel is exactly the spectral projector onto the eigenspace at the given energy.

What would settle it

An explicit probability calculation or numerical sampling for random spherical harmonics showing that the chance of sign imbalance remains bounded away from zero in balls whose radius is a fixed negative power of the eigenvalue smaller than the predicted threshold.

read the original abstract

Motivated by the problem of the small-scale sign distribution of Laplace eigenfunctions, we introduce a strong notion of sign-balance for (eigen)functions, and prove that random eigenfunctions are sign-balanced above a precisely determined scale with almost full probability. The scale is proven to be optimal up to a logarithmic power of the energy. Our results include the important case of random spherical harmonics, as well as more general band-limited random waves on smooth Riemannian manifolds. Extending the notion of balance to arbitrary levels, we determine the precise optimum scale above which random eigenfunctions are volume-balanced with respect to non-zero levels. Beyond their intrinsic interest, our results serve as a model for a natural conjecture on the optimal scale at which deterministic Laplace eigenfunctions are sign-balanced.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper introduces a strong notion of sign-balance for eigenfunctions on Riemannian manifolds and proves that random eigenfunctions, modeled as Gaussian random fields whose covariance is the spectral projector onto the eigenspace, are sign-balanced above a scale of order wavelength times a logarithmic power of the eigenvalue, with probability 1-o(1). The scale is shown to be optimal up to logarithmic factors. The results apply to random spherical harmonics and band-limited random waves on smooth compact manifolds, and are extended to volume-balance with respect to non-zero levels. These findings are presented as a probabilistic model for a natural conjecture on the optimal scale for sign-balance of deterministic Laplace eigenfunctions.

Significance. If the central claims hold, the work is significant because it delivers sharp, optimal-scale results for the sign distribution of random eigenfunctions using standard Gaussian process tail estimates and covering arguments. This provides a rigorous benchmark that can inform conjectures in the deterministic setting, and the extension to volume-balance at non-zero levels broadens the contribution. The modeling choice and internal consistency on manifolds including the sphere are strengths.

minor comments (3)
  1. [Abstract and §1] The abstract and introduction could more explicitly state the precise form of the logarithmic power in the scale (e.g., (log lambda)^c for which c) to make the optimality claim immediately clear to readers.
  2. [Theorem 1.1 and Theorem 1.3] In the statement of the main theorems, the dependence on the manifold's curvature or injectivity radius should be made explicit if it enters the constants, even if only logarithmically.
  3. [§1.3] A short remark on why the Gaussian modeling is expected to capture the essential features of deterministic eigenfunctions at the relevant scales would strengthen the discussion of the conjecture.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our manuscript, as well as for the recommendation of minor revision. We appreciate the recognition of the significance of the results on sign-balance for random eigenfunctions and the extension to volume-balance at non-zero levels.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper derives sign-balance and volume-balance results for random Laplace eigenfunctions (modeled as Gaussian fields with spectral projector covariance) via direct probabilistic tail estimates, covering arguments, and manifold geometry. These steps rely on standard Gaussian process theory and explicit assumptions rather than self-definitions, fitted inputs renamed as predictions, or load-bearing self-citations. The scale optimality (up to log factors) follows from matching upper/lower bounds constructed independently of the target claims. No reduction of the central theorem to its inputs by construction is present.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the standard modeling of random eigenfunctions as centered Gaussian fields with covariance given by the spectral projector; this is a domain assumption from prior random wave literature rather than derived here. No free parameters or invented entities are indicated in the abstract.

axioms (1)
  • domain assumption Random eigenfunctions behave as Gaussian random fields whose two-point correlation is the spectral projector onto the relevant eigenspace.
    This is the standard probabilistic model for random Laplace eigenfunctions and band-limited waves; invoked implicitly to obtain almost-sure statements.

pith-pipeline@v0.9.0 · 5646 in / 1324 out tokens · 44445 ms · 2026-05-22T10:17:55.204349+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages · 1 internal anchor

  1. [1]

    and Wigman, I

    Beliaev, D. and Wigman, I. V olume distribution of nodal domains of random band-limited functions. Probab. Theory Related Fields 172, pp.453–492 (2018)

    work page 2018

  2. [2]

    Statistics of nodal lines and points in chaotic quantum billiards: perimeter corrections, fluctuations, curvature

    Berry, M.V . Statistics of nodal lines and points in chaotic quantum billiards: perimeter corrections, fluctuations, curvature. J. Phys. A: Math. Gen. 35(13), p.3025 (2002)

    work page 2002

  3. [3]

    Regular and irregular semiclassical wavefunctions

    Berry, M.V . Regular and irregular semiclassical wavefunctions. J. Phys. A: Math. Gen.10(12), p.2083 (1977)

    work page 2083

  4. [4]

    and Smilansky, U

    Blum, G., Gnutzmann, S. and Smilansky, U. Nodal domains statistics: A criterion for quantum chaos. Phys. Rev. Lett. 88(11), p.114101 (2002)

    work page 2002

  5. [5]

    Small-scale equidistribution for random spherical harmonics

    de Courcy-Ireland, M. Small-scale equidistribution for random spherical harmonics. arXiv preprint arXiv:1711.01317 (2017)

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  6. [6]

    Shrinking scale equidistribution for monochromatic random waves on compact manifolds

    de Courcy-Ireland, M. Shrinking scale equidistribution for monochromatic random waves on compact manifolds. Int. Math. Res. Not. 2021(4), pp.3021–3055 (2021)

    work page 2021

  7. [7]

    and Fefferman, C

    Donnelly, H. and Fefferman, C. Nodal sets of eigenfunctions on Riemannian manifolds. Invent. Math., 93(1), pp.161–183 (1988)

    work page 1988

  8. [8]

    and Wigman, I

    Granville, A. and Wigman, I. Planck-scale mass equidistribution of toral Laplace eigenfunctions. Commun. Math. Phys. 355(2), pp.767–802 (2017)

    work page 2017

  9. [9]

    and Tacy, M

    Han, X. and Tacy, M. Equidistribution of random waves on small balls. Commun. Math. Phys. 376, pp.2351–2377 (2020)

    work page 2020

  10. [10]

    The defect of toral Laplace eigenfunctions and arithmetic random waves

    Kurlberg, P., Wigman I., and Yesha, N. The defect of toral Laplace eigenfunctions and arithmetic random waves. Nonlinear. 34, pp.6651–6684 (2021)

    work page 2021

  11. [11]

    and Rudnick, Z

    Lester, S. and Rudnick, Z. Small scale equidistribution of eigenfunctions on the torus. Commun. Math. Phys. 350(1), pp.279–300 (2017)

    work page 2017

  12. [12]

    Isoperimetry and Gaussian analysis

    Ledoux, M. Isoperimetry and Gaussian analysis. In Lectures on Probability Theory and Statistics: Ecole d’Et ´e de Probabilit´es de Saint-Flour XXIV—1994 (pp.165–294). Berlin, Heidelberg: Springer Berlin Heidelberg (2006)

    work page 1994

  13. [13]

    and Nazarov, F

    Logunov, A. and Nazarov, F. To appear

    work page

  14. [14]

    and Rossi, M

    Marinucci, D. and Rossi, M. Stein–Malliavin approximations for nonlinear functionals of random eigenfunctions on Sd. J. Func. Anal. 268(8), pp.2379–2420 (2015)

    work page 2015

  15. [15]

    and Wigman, I

    Marinucci, D. and Wigman, I. On the area of excursion sets of spherical Gaussian eigenfunctions. J. Math. Phys. 52, p.093301 (2011)

    work page 2011

  16. [16]

    and Wigman, I

    Marinucci, D. and Wigman, I. The defect variance of random spherical harmonics. J. Phys. A: Math. Theo. 44(35), p.355206 (2011)

    work page 2011

  17. [17]

    and Wigman, I On nonlinear functionals of random spherical eigenfunctions

    Marinucci, D. and Wigman, I On nonlinear functionals of random spherical eigenfunctions. Commun. Math. Phys. 327(3), pp.849–872 (2014)

    work page 2014

  18. [18]

    A sprinkled decoupling inequality for Gaussian processes and applications

    Muirhead, S. A sprinkled decoupling inequality for Gaussian processes and applications. Electron. J. Probab. 28, pp.1–25 (2023)

    work page 2023

  19. [19]

    and Sodin, M

    Nazarov, F. and Sodin, M. On the number of nodal domains of random spherical harmonics. Amer. J. Math., 131(5), pp.1337–1357 (2009)

    work page 2009

  20. [20]

    and Sodin, M

    Nazarov, F., Polterovich, L. and Sodin, M. Sign and area in nodal geometry of Laplace eigenfunctions. Amer. J. Math. 127(4), pp.879–910 (2005)

    work page 2005

  21. [21]

    Private communication

    Sartori, A. Private communication

    work page

  22. [22]

    and Wigman, I

    Sarnak, P. and Wigman, I. Topologies of nodal sets of random band-limited functions. Comm. Pure Appl. Math. 72(2), pp.275–342 (2019)

    work page 2019

  23. [23]

    Sogge, C. D. LocalizedL p-estimates of eigenfunctions: A note on an article of Hezari and Rivi`ere. Adv. Math. 289, pp.384–396 (2016)

    work page 2016

  24. [24]

    Lectures on random nodal portraits

    Sodin, M. Lectures on random nodal portraits. Probability and statistical physics in St. Petersburg, 91, pp.395–422 (2016)

    work page 2016

  25. [25]

    American Mathematical Society Colloquium Publications V olume XXIII

    Szeg ˝o, G.Orthogonal Polynomials. American Mathematical Society Colloquium Publications V olume XXIII. Amer- ican Mathematical Society, fourth edition (1975)

    work page 1975

  26. [26]

    Fluctuations of the nodal length of random spherical harmonics

    Wigman, I. Fluctuations of the nodal length of random spherical harmonics. Commun. Math. Phys. 298(3), pp.787– 831 (2010)

    work page 2010