pith. sign in

arxiv: 1907.09223 · v1 · pith:73EULOVDnew · submitted 2019-07-22 · 🧮 math.NT

Restriction of 3D arithmetic Laplace eigenfunctions to a plane

Riccardo Walter Maffucci This is my paper

Pith reviewed 2026-05-24 18:12 UTC · model grok-4.3

classification 🧮 math.NT
keywords lengthplanearithmeticbounddimensionaleigenfunctionslaplacenodal
0
0 comments X

The pith

Expected nodal intersection length of random 3D toral eigenfunctions with a plane is proportional to area times wavenumber, with variance upper-bounded via lattice-point estimates on spheres.

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

This work looks at random waves on a three-dimensional torus that solve the Laplace equation. It measures the total length of the curves where these waves cross zero inside a flat surface. The average length turns out to depend only on the surface area and the wave frequency, not on other geometric details. When the surface lies in a plane, the paper also bounds how much this length can vary from one random wave to another, using number-theoretic estimates on how lattice points sit inside certain regions of a sphere.

Core claim

The expected length is universally proportional to the area of the reference surface, times the wavenumber, independent of the geometry.

Load-bearing premise

The random Gaussian ensemble of Laplace eigenfunctions on the 3D torus is well-defined and the variance bound for planar surfaces follows from lattice-point estimates in specific spherical regions.

read the original abstract

We consider a random Gaussian ensemble of Laplace eigenfunctions on the 3D torus, and investigate the 1-dimensional Hausdorff measure (`length') of nodal intersections against a smooth 2-dimensional toral sub-manifold (`surface'). The expected length is universally proportional to the area of the reference surface, times the wavenumber, independent of the geometry. For surfaces contained in a plane, we give an upper bound for the nodal intersection length variance, depending on the arithmetic properties of the plane. The bound is established via estimates on the number of lattice points in specific regions of the sphere.

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 / 2 minor

Summary. The manuscript considers a random Gaussian ensemble of Laplace eigenfunctions on the 3D torus and investigates the 1-dimensional Hausdorff measure of nodal intersections with a smooth 2-dimensional toral submanifold. It claims that the expected length is universally proportional to the area of the reference surface times the wavenumber, independent of the geometry. For surfaces contained in a plane, an upper bound on the variance of the nodal intersection length is derived, depending on the arithmetic properties of the plane via lattice-point estimates in specific spherical regions.

Significance. If the central claims hold, the work establishes a geometry-independent expected nodal length that follows directly from stationarity (Var(f)=1) and the exact isotropy of the gradient covariance under the signed permutation group action on the frequency lattice, reducing the Kac-Rice one-point statistics to a universal constant times area(S) * sqrt(n). The variance bound for planar surfaces connects nodal geometry to arithmetic lattice-point problems on spheres, providing a concrete arithmetic refinement in the 3D toral setting. The parameter-free nature of the expectation and the use of standard Gaussian ensemble properties are strengths.

minor comments (2)
  1. [Abstract] Abstract: the phrase 'specific regions of the sphere' is used without a forward reference or brief definition; adding a parenthetical pointer to the relevant lattice-point region (e.g., the annular or conical regions appearing in the variance proof) would improve readability.
  2. [Introduction] The manuscript would benefit from an explicit statement, early in the introduction, of the precise form of the Kac-Rice formula employed for the length expectation, including the constant factor arising from the tangential gradient covariance.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment and recommendation of minor revision. The report accurately summarizes the universal expectation for nodal intersection length (arising from stationarity and isotropy of the gradient covariance) and the arithmetic nature of the variance bound for planar surfaces. No specific major comments were provided for point-by-point response.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The claimed universal expectation for nodal length follows directly from the Kac-Rice formula applied to a stationary, isotropic Gaussian random field whose covariance is fixed by the arithmetic structure of the 3D torus (Var(f) ≡ 1 and the gradient covariance matrix is a scalar multiple of the identity by exact invariance of the frequency lattice under the signed permutation group). This is a direct computation from the definition of the ensemble and does not reduce to any fitted parameter or self-referential definition. The variance upper bound for planar sections is obtained from standard lattice-point estimates in spherical caps and is independent of the length expectation. No load-bearing step invokes a self-citation chain, an ansatz smuggled via prior work, or a renaming of a known result; the derivation remains self-contained against external number-theoretic and probabilistic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Central claims rest on the definition of the random Gaussian ensemble of eigenfunctions on the 3D torus and standard properties of the Laplace operator; no free parameters, invented entities, or non-standard axioms are mentioned in the abstract.

axioms (2)
  • domain assumption Existence and properties of a random Gaussian ensemble of Laplace eigenfunctions on the 3D torus
    Invoked to define the random waves whose nodal intersections are studied.
  • domain assumption Lattice-point counting estimates in specific regions of the sphere control the variance for planar surfaces
    Used to establish the upper bound on nodal intersection length variance.

pith-pipeline@v0.9.0 · 5614 in / 1209 out tokens · 18492 ms · 2026-05-24T18:12:38.630937+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes
    ?
    echoes

    ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

    the frequency lattice is invariant under the signed permutation group, so sum_{|k|^2=n} k_i k_j = (n/3) r(n) delta_ij exactly. Consequently the tangential gradient on any tangent plane has the same covariance

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

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

  1. [1]

    Level sets and extrema of ran- dom processes and fields

    Jean-Marc Aza ¨ ıs and Mario Wschebor. Level sets and extrema of ran- dom processes and fields . John Wiley & Sons, Inc., Hoboken, NJ, 2009

    work page 2009

  2. [2]

    Jacques Benatar and Riccardo W. Maffucci. Random waves on T3: Nodal area variance and lattice point correlations. International Math- ematics Research Notices , to appear

    work page

  3. [3]

    On the nodal sets of tora l eigenfunc- tions

    Jean Bourgain and Ze´ ev Rudnick. On the nodal sets of tora l eigenfunc- tions. Invent. Math. , 185(1):199–237, 2011

    work page 2011

  4. [4]

    Restriction of toral ei genfunctions to hypersurfaces and nodal sets

    Jean Bourgain and Ze´ ev Rudnick. Restriction of toral ei genfunctions to hypersurfaces and nodal sets. Geom. Funct. Anal. , 22(4):878–937, 2012. 21

    work page 2012

  5. [5]

    Spatial statistics for lattice points on the sphere I: Individual results

    Jean Bourgain, Ze´ ev Rudnick, and Peter Sarnak. Spatial statistics for lattice points on the sphere i: Individual results. arXiv preprint arXiv:1606.05880, 2016

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  6. [6]

    Local st atistics of lattice points on the sphere

    Jean Bourgain, Peter Sarnak, and Ze´ ev Rudnick. Local st atistics of lattice points on the sphere. Modern Trends in Constructive Function Theory, Contemp. Math , 661:269–282, 2012

    work page 2012

  7. [7]

    Nodal area distribution for arith metic random waves

    Valentina Cammarota. Nodal area distribution for arith metic random waves. Transactions of the American Mathematical Society , 2019

    work page 2019

  8. [8]

    Nodal sets of Schr¨ odinger eigenfunc- tions in forbidden regions

    Yaiza Canzani and John A Toth. Nodal sets of Schr¨ odinger eigenfunc- tions in forbidden regions. Annales Henri Poincar´ e, 17(11):3063–3087, 2016

    work page 2016

  9. [9]

    Eigenfunctions and nodal sets

    Shiu-Yuen Cheng. Eigenfunctions and nodal sets. Commentarii Math- ematici Helvetici , 51(1):43–55, 1976

    work page 1976

  10. [10]

    The higher arithmetic: an introduction to the theory of numbers

    Harold Davenport. The higher arithmetic: an introduction to the theory of numbers . Cambridge University Press, 1999

    work page 1999

  11. [11]

    do Carmo

    Manfredo P. do Carmo. Differential geometry of curves and surfaces . Prentice-Hall, Inc., Englewood Cliffs, N.J., 1976. Translat ed from the Portuguese

    work page 1976

  12. [12]

    Hyperbolic distribution problems and ha lf-integral weight maass forms

    William Duke. Hyperbolic distribution problems and ha lf-integral weight maass forms. Inventiones mathematicae, 92(1):73–90, 1988

    work page 1988

  13. [13]

    Representati on of integers by positive ternary quadratic forms and equidistribution of l attice points on ellipsoids

    William Duke and Rainer Schulze-Pillot. Representati on of integers by positive ternary quadratic forms and equidistribution of l attice points on ellipsoids. Inventiones Mathematicae, 99(1):49–57, 1990

    work page 1990

  14. [14]

    Intersection bounds for n odal sets of planar Neumann eigenfunctions with interior analytic curv es

    Layan El-Hajj and John A Toth. Intersection bounds for n odal sets of planar Neumann eigenfunctions with interior analytic curv es. Journal of Differential Geometry , 100(1):1–53, 2015

    work page 2015

  15. [15]

    Asymp- totic distribution of integral points on the three-dimensi onal sphere

    Elena Petrovna Golubeva and Oleg Mstislavovich Fomenk o. Asymp- totic distribution of integral points on the three-dimensi onal sphere. Zapiski Nauchnykh Seminarov POMI , 160:54–71, 1987

    work page 1987

  16. [16]

    G. H. Hardy and E. M. Wright. An introduction to the theory of num- bers. The Clarendon Press, Oxford University Press, New York, fif th edition, 1979. 22

    work page 1979

  17. [17]

    Vojtˇ ech Jarn ´ ık.¨Uber die Gitterpunkte auf konvexen Kurven. Math. Z., 24(1):500–518, 1926

    work page 1926

  18. [18]

    Nodal length fluctuations for arithmetic random waves

    Manjunath Krishnapur, P¨ ar Kurlberg, and Igor Wigman. Nodal length fluctuations for arithmetic random waves. Ann. of Math. (2) , 177(2):699–737, 2013

    work page 2013

  19. [19]

    The statistical anal ysis of a random, moving surface

    Michael Selwyn Longuet-Higgins. The statistical anal ysis of a random, moving surface. Philosophical Transactions of the Royal Society of Lon- don. Series A, Mathematical and Physical Sciences , 249(966):321–387, 1957

    work page 1957

  20. [20]

    Riccardo W. Maffucci. Nodal intersections for random wav es against a segment on the 3-dimensional torus. Journal of Functional Analysis , 272(12):5218–5254, 2017

    work page 2017

  21. [21]

    Riccardo W. Maffucci. Nodal intersections of random eige nfunctions against a segment on the 2-dimensional torus. Monatshefte f¨ ur Mathe- matik, 183(2):311–328, 2017

    work page 2017

  22. [22]

    Nodal intersections for arith metic random waves against a surface

    Riccardo Walter Maffucci. Nodal intersections for arith metic random waves against a surface. arXiv preprint arXiv:1805.08471 , 2018

    work page arXiv 2018

  23. [23]

    The Leray measure of nodal sets for random eigenfunctions on the torus

    Ferenc Oravecz, Ze´ ev Rudnick, and Igor Wigman. The Leray measure of nodal sets for random eigenfunctions on the torus. Annales de l’Institut Fourier, 58(1):299–335, 2008

    work page 2008

  24. [24]

    Mathematical analysis of random noise

    Stephen O Rice. Mathematical analysis of random noise. Bell System Technical Journal, 23(3):282–332, 1944

    work page 1944

  25. [25]

    Asymptotic distributi on of nodal intersections for arithmetic random waves

    Maurizia Rossi and Igor Wigman. Asymptotic distributi on of nodal intersections for arithmetic random waves. Nonlinearity, 31(10):4472, 2018

    work page 2018

  26. [26]

    On the volume of nodal set s for eigen- functions of the Laplacian on the torus

    Ze´ ev Rudnick and Igor Wigman. On the volume of nodal set s for eigen- functions of the Laplacian on the torus. Ann. Henri Poincar´ e, 9(1):109– 130, 2008

    work page 2008

  27. [27]

    Nodal intersections for random eigen- functions on the torus

    Ze´ ev Rudnick and Igor Wigman. Nodal intersections for random eigen- functions on the torus. Amer. J. Math. , 138(6):1605–1644, 2016

    work page 2016

  28. [28]

    Nodal inte rsections for random waves on the 3-dimensional torus

    Ze´ ev Rudnick, Igor Wigman, and Nadav Yesha. Nodal inte rsections for random waves on the 3-dimensional torus. Ann. Inst. Fourier (Greno- ble), 66(6):2455–2484, 2016. 23

    work page 2016

  29. [29]

    Statistical properties of the contour s of random sur- faces

    Peter Swerling. Statistical properties of the contour s of random sur- faces. IRE Transactions on Information Theory , 8(4):315–321, 1962

    work page 1962

  30. [30]

    Toth and Steve Zelditch

    John A. Toth and Steve Zelditch. Counting nodal lines wh ich touch the boundary of an analytic domain. J. Differential Geom. , 81(3):649–686, 2009

    work page 2009

  31. [31]

    Eigenfunction statistics for a point scat terer on a three- dimensional torus

    Nadav Yesha. Eigenfunction statistics for a point scat terer on a three- dimensional torus. Annales Henri Poincar´ e, 14(7):1801–1836, 2013. R.W. Maffucci, Mathematical Institute, University of Oxford, Woodstock Road Oxford OX2 6GG, UK riccardo.maffucci@maths.ox.ac.uk 24

    work page 2013