Pith. sign in

REVIEW 5 minor 50 references

Berry-Heisenberg Random Waves

T0 review · 0 major / 5 minor · reviewed 2026-07-10 · grok-4.5

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

Pith's one-line read A unique family of monochromatic random waves is constructed on the Heisenberg group as generalized eigenfunctions of the sub-Laplacian.

desk verdict Clean, rigorous construction of the first Berry-type random waves on the Heisenberg group; the uniqueness claim holds and the paper is ready for referees. read the letter →

arxiv 2607.08314 v1 pith:OLXMOQ5N submitted 2026-07-09 math.PR math-phmath.MP

Marco Carfagnini , Anna Paola Todino This is my paper · ORCID
classification math.PRmath-phmath.MP MSC 60G6053C1722D10
keywords BerryrandomwavesHeisenberggroupeigenfunctionssub-Laplaciansleft-invariantGaussianfieldsStone-vonNeumanntheoremYaglomrepresentation
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

This paper builds the first Berry-type random wave models on the Heisenberg group, the flat model space of sub-Riemannian geometry. For every energy level α and every probability weight vector c, the authors produce a left-invariant complex Gaussian field whose sample paths are almost surely smooth solutions of the Helmholtz equation for the sub-Laplacian, and whose law is invariant under the isometries that fix the identity. The construction uses the Stone–von Neumann classification of unitary representations: one-dimensional characters recover the classical planar Berry wave, while the infinite-dimensional Schrödinger representations produce a countable family of radial eigenfunctions built from Laguerre polynomials. The resulting covariance is a convex combination of those functions, and the field is unique among fields with these symmetry and spectral properties. The work supplies the Euclidean-style monochromatic random waves needed to study nodal geometry and quantum chaos in the sub-Riemannian setting.

What carries the argument

Yaglom’s spectral representation of left-stationary fields on type-I groups, specialised via the Stone–von Neumann theorem: the covariance is realised as a trace involving a positive operator-valued measure supported on characters (producing the Bessel term J0) and on Schrödinger representations (producing the Laguerre eigenfunctions φ^k_α).

What would settle it

Exhibit a smooth radial function f on the Heisenberg group that satisfies Lf = -α f, f(e) = 2, yet cannot be written as a convex combination of the functions φ^k_α and J0(√α |z|).

Watch

Extended reading notes

Core claim

For every α > 0 and every probability vector c in the simplex O1 there exists a unique (in law) left-invariant complex Gaussian field ξ_{α,c} on the Heisenberg group whose covariance is 2F^{(c)}_α, whose sample paths are almost surely smooth generalized eigenfunctions of the sub-Laplacian with eigenvalue α, and which is invariant under the isometries fixing the identity.

Load-bearing premise

Uniqueness rests on the claim that every smooth radial solution of the sub-Laplacian eigenvalue problem with value 2 at the identity is a convex combination of the countable Laguerre family and the single Bessel function; if other independent radial solutions exist, uniqueness fails.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 5 minor

Summary. The paper constructs a family of left-invariant complex Gaussian random fields on the Heisenberg group H, called (α,c)-Berry-Heisenberg random waves. For each eigenvalue α>0 and each probability vector c in the simplex O1, the field ξ_{α,c} has covariance 2F^{(c)}_α (a convex combination of the radial eigenfunctions φ^k_α arising from Schrödinger representations and the Bessel term J0 coming from characters), has almost surely smooth sample paths that are generalized eigenfunctions of the sub-Laplacian L with eigenvalue α, and is invariant under isometries fixing the identity. Existence, uniqueness in law, and an explicit spectral representation in terms of matrix coefficients of the unitary dual are proved by combining Yaglom’s theorem for type-I groups with the Stone–von Neumann classification and the radial spectral analysis of L. Connections to the classical Euclidean Berry model (horizontal projection limit and random-wave superpositions) are also established.

Significance. This is a clean and carefully executed first construction of monochromatic random waves in a genuinely sub-Riemannian setting. The Heisenberg group is the model space for sub-Riemannian geometry, so the result supplies the natural analogue of Berry’s monochromatic waves and of monochromatic random waves on Riemannian manifolds. The proofs rely on standard but non-trivial tools (Yaglom representation, direct integrals, explicit Laguerre matrix coefficients, Kolmogorov–Chentsov on the Carnot–Carathéodory metric) and are free of circularity: the mixture weights c are free parameters of the model, and the completeness of the radial solutions is derived from the radial ODE rather than assumed. The work opens a concrete programme for nodal geometry, excursion sets and quantum-chaos heuristics on sub-Riemannian manifolds; the explicit spectral representation (3.3) makes subsequent geometric analysis feasible.

minor comments (5)
  1. Throughout (e.g. Definition 3.1, (1.3), (2.10), Theorem 3.6) the complex covariance is written E[ξ(g)ξ(h)] without the conjugate. For proper complex Gaussians one expects E[ξ(g) conjugate(ξ(h))]; either insert the bars consistently or add a short remark that the fields are proper (pseudo-covariance vanishes) and that the notation is the usual abuse.
  2. Proof of Theorem 3.5, estimate (3.1): the global bound |e^{-s/2} L_k^{(n)}(s)| ≤ L_k^{(n)}(0) is invoked for all s ≥ 0. While the inequality is used only to control small distances (where Kolmogorov–Chentsov needs it), a parenthetical remark that the estimate is local, or a direct Taylor expansion on Carnot groups for small d_cc, would make the argument self-contained.
  3. Page 18, Definition 3.1 and the subsequent display of ξ^k_α: the factor π^{1/4} and the precise normalisation of the complex Gaussians a^{α,ε}_{kj} should be cross-checked against the factor √π appearing in (2.17) and (3.8) so that the variance of each component is exactly 2.
  4. Proposition 3.3: the limit is stated for finite-dimensional distributions; a one-line remark that the same argument yields convergence of the covariance functions uniformly on compact sets would strengthen the geometric interpretation as “Berry waves on the horizontal bundle”.
  5. A few typographical inconsistencies: “Schr¨ odinger” vs “Schrödinger”, “Carnot-Carath´ eodory” vs “Carnot–Carathéodory”, and the occasional missing space before citations. These are easily cleaned in copy-editing.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the covariance family and uniqueness are derived from the radial sub-Laplacian ODE plus Yaglom/Stone-von Neumann, not assumed or fitted.

full rationale

The paper constructs Berry-Heisenberg fields by mixing the known countable family of radial L-eigenfunctions φ^k_α (from Schrödinger matrix coefficients) with the character contribution J_0, using free mixture weights c ∈ O_1. Existence follows by feeding the corresponding operator-valued measures into Yaglom’s representation theorem for left-stationary fields on type-I groups; the resulting field is then shown to satisfy Lξ = -αξ a.s. by uniform L^2 convergence of finite spectral truncations and hypoellipticity. Uniqueness is obtained independently: any left-invariant, U(1)-invariant complex Gaussian field of variance 2 whose paths solve the Helmholtz equation must have radial covariance C(r,t); Fourier transform in t reduces the radial sub-Laplacian to a family of ODEs (Bessel for μ=0, Laguerre after change of variables for μ eq0) whose only bounded solutions with C(e)=2 are precisely the convex combinations that define F^{(c)}_α. Positivity of the coefficients follows from Bochner applied to the t-restriction. No parameters are fitted to data, no load-bearing uniqueness theorem is imported from the authors’ prior work, and the classical citations (Yaglom, Stone-von Neumann, Thangavelu) supply independent external machinery. The derivation is therefore self-contained against its own inputs.

Assumptions & free parameters 2 free parameters · 4 assumptions · 1 invented entities

The construction rests on standard representation theory of the Heisenberg group (Stone–von Neumann), Yaglom’s decomposition of positive-definite functions on type-I groups, and the known spectral theory of the sub-Laplacian. No free parameters are fitted to data; the mixture weights c are part of the model definition. No new physical entities are postulated.

free parameters (2)
  • mixture weights c = (c_k)_{k=-1}^∞ ∈ O1
    Free probability vector that selects the convex combination of radial eigenfunctions; not fitted to data but chosen by the modeller.
  • eigenvalue α > 0
    Spectral parameter of the model, analogous to the wavenumber in classical Berry waves; free choice.
assumptions (4)
  • standard math Stone–von Neumann theorem: every irreducible unitary representation of H is equivalent to a character or a Schrödinger representation π_λ.
    Invoked throughout §2.3 and in the proof of Theorem 3.6 to identify the unitary dual.
  • standard math Yaglom’s representation theorem for left-homogeneous fields on separable type-I groups (Theorem 2.3 / Appendix A).
    Used to write the covariance as a trace against a positive operator-valued measure on the dual.
  • domain assumption The sub-Laplacian L is hypoelliptic (Hörmander’s condition) and its radial eigenfunctions are known explicitly in terms of Laguerre polynomials.
    Cited from Thangavelu’s monograph; needed for smoothness of sample paths and for the form of φ^k_α.
  • domain assumption Every smooth radial solution of Lf = −αf with f(e)=2 is a convex combination of {φ^k_α} and J0(√α|z|).
    Derived in the proof of Theorem 3.6 from the radial ODE after Fourier transform in the t-variable; if false, uniqueness fails.
invented entities (1)
  • (α,c)-Berry-Heisenberg random wave ξ_{α,c}
    purpose: The random field whose existence and uniqueness constitute the main theorem.
    Defined by its covariance 2F^{(c)}_α and constructed via the spectral representation; no independent experimental handle is claimed.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Berry-Heisenberg Random Waves." pith.science (2026). https://pith.science/paper/OLXMOQ5N

@misc{pith2026260708314,
  author       = {Pith},
  title        = {Pith review of: Berry-Heisenberg Random Waves},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OLXMOQ5N}},
  note         = {Machine review of arXiv:2607.08314}
}
abstract

We construct a new family of random fields on the Heisenberg group $\mathbb{H}$, the sub-Riemannian analog of $\mathbb{R}^{n}$. These fields are generalized random eigenfunctions of the sub-Laplacian on $\mathbb{H}$, and can be viewed as the sub-Riemannian counterpart to the Berry random wave model in $\mathbb{R}^{n}$. The construction of such waves relies on the representation theory of $\mathbb{H}$, and differs from the Euclidean case because of the presence of infinite-dimensional unitary irreducible representations. This work represents a first step towards studying random waves and their geometry in sub-Riemannian spaces.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

50 extracted references · 50 canonical work pages

  1. [1]

    Abreu, Joao M

    Louis D. Abreu, Joao M. Pereira, Jose L. Romero, and Salvatore Torquato,The Weyl- Heisenberg ensemble: hyperuniformity and higher Landau levels, J. Stat. Mech. Theory Exp. (2017), no. 4, 043103, 16. MR 3652713 5

    work page 2017

  2. [2]

    Adler and Jonathan E

    Robert J. Adler and Jonathan E. Taylor,Random fields and geometry, Springer Monographs in Mathematics, Springer, New York, 2007. MR 2319516 2, 6, 7, 8

    work page 2007

  3. [3]

    Malva Asaad and Maria Gordina,Hypoelliptic heat kernels on nilpotent lie groups., Potential Analysis.45(2016), no. 2, 355. 5

    work page 2016

  4. [4]

    Appl.124(2014), no

    Paolo Baldi and Maurizia Rossi,Representation of Gaussian isotropic spin random fields, Stochastic Process. Appl.124(2014), no. 5, 1910–1941. MR 3170229 5

    work page 2014

  5. [5]

    Berry,Regular and irregular semiclassical wavefunctions, J

    Michael V. Berry,Regular and irregular semiclassical wavefunctions, J. Phys. A10(1977), no. 12, 2083–2091. MR 489542 1, 2, 3, 19

    work page 1977

  6. [6]

    ,Statistics of nodal lines and points in chaotic quantum billiards: perimeter corrections, fluctuations, curvature, J. Phys. A35(2002), no. 13, 3025–3038. MR 1913853 1

    work page 2002

  7. [7]

    Ann.108(1933), no

    Salomon Bochner,Monotone Funktionen, Stieltjessche Integrale und harmonische Analyse, Math. Ann.108(1933), no. 1, 378–410. MR 1512856 7

    work page 1933

  8. [8]

    MR 2363343 13, 23

    Andrea Bonfiglioli, Ermanno Lanconelli, and Francesco Uguzzoni,Stratified Lie groups and potential theory for their sub-Laplacians, Springer Monographs in Mathematics, Springer, Berlin, 2007. MR 2363343 13, 23

    work page 2007

Show all 50 references
  1. [9]

    5, 3539–3564

    Valentina Cammarota,Nodal area distribution for arithmetic random waves, Transactions of the American Mathematical Society372(2019), no. 5, 3539–3564. 3

    2019

  2. [10]

    Probab.46(2018), no

    Valentina Cammarota and Domenico Marinucci,A quantitative central limit theorem for the Euler-Poincar´ e characteristic of random spherical eigenfunctions, Ann. Probab.46(2018), no. 6, 3188–3228. MR 3857854 3

    2018

  3. [11]

    Yaiza Canzani,Monochromatic random waves for general Riemannian manifolds, Frontiers in analysis and probability—in the spirit of the Strasbourg-Z¨ urich meetings, Springer, Cham, [2020]©2020, pp. 1–20. MR 4264592 2

    2020

  4. [12]

    Yaiza Canzani and Boris Hanin,Local universality for zeros and critical points of monochro- matic random waves, Comm. Math. Phys.378(2020), no. 3, 1677–1712. MR 4150887 3 36 CARF AGNINI AND TODINO

    2020

  5. [13]

    Federico Dalmao, Anne Estrade, and Jos´ e Le´ on,On 3-dimensional berry’s model, Latin Amer- ican Journal of Probability and Mathematical Statistics18(2021), 377. 3

    2021

  6. [14]

    Gauthier Dierickx, Ivan Nourdin, Giovanni Peccati, and Maurizia Rossi,Small scale CLTs for the nodal length of monochromatic waves, Comm. Math. Phys.397(2023), no. 1, 1–36. MR 4538280 3

    2023

  7. [15]

    Folland,A course in abstract harmonic analysis, second ed., Textbooks in Mathe- matics, CRC Press, Boca Raton, FL, 2016

    Gerald B. Folland,A course in abstract harmonic analysis, second ed., Textbooks in Mathe- matics, CRC Press, Boca Raton, FL, 2016. MR 3444405 9, 10, 13, 30

    2016

  8. [16]

    Israel Gelfand and Dmitrii Raikov,Irreducible unitary representations of locally bicompact groups, Rec. Math. [Mat. Sbornik] N.S.13/55(1943), 301–316. MR 11308 11, 30, 32

    1943

  9. [17]

    Francesco Grotto, Leonardo Maini, and Anna Paola Todino,Fluctuations of polyspectra in spherical and Euclidean random wave models, Electron. Commun. Probab.29(2024), Paper No. 9, 12. MR 4715570 3

    2024

  10. [18]

    Francesco Grotto and Giovanni Peccati,Nonlinear functionals of hyperbolic random waves: the wiener chaos approach, arXiv preprint arXiv:2301.08315 (2023). 2, 3

    2023 arXiv

  11. [19]

    Alain Guichardet,Sur un probl` eme pos´ e par G. W. Mackey, C. R. Acad. Sci. Paris250(1960), 962–963. MR 110027 31

    1960

  12. [20]

    Antti Haimi, G¨ unther Koliander, and Jos´ e Luis Romero,Zeros of Gaussian Weyl-Heisenberg functions and hyperuniformity of charge, J. Stat. Phys.187(2022), no. 3, Paper No. 22, 41. MR 4408460 5

    2022

  13. [21]

    Isangulova,Sharp estimates for geometric rigidity of isometries on the first Heisen- berg group, Dokl

    Daria V. Isangulova,Sharp estimates for geometric rigidity of isometries on the first Heisen- berg group, Dokl. Math.100(2019), no. 2, 480–484, Translated from Dokl. Akad. Nauk488 (2019), No. 6. MR 4430464 16

    2019

  14. [22]

    Sudhir Ranjan Jain and Rhine Samajdar,Nodal portraits of quantum billiards: Domains, lines, and statistics, Rev. Mod. Phys.89(2017), 045005. 2

    2017

  15. [23]

    2, 719–762 (en)

    Blake Keeler,A logarithmic improvement in the two-point Weyl Law for manifolds without conjugate points, Annales de l’Institut Fourier74(2024), no. 2, 719–762 (en). 3

    2024

  16. [24]

    Kirillov,On unitary representation of nilpotent Lie groups, 108–110

    Alexandre A. Kirillov,On unitary representation of nilpotent Lie groups, 108–110. 5

  17. [25]

    Nauk17(1962), no

    ,Unitary representations of nilpotent Lie groups, Uspehi Mat. Nauk17(1962), no. 4(106), 57–110. MR 142001 5

    1962

  18. [26]

    64, American Mathematical Society, Providence, RI, 2004

    ,Lectures on the orbit method, Graduate Studies in Mathematics, vol. 64, American Mathematical Society, Providence, RI, 2004. MR 2069175 5

    2004

  19. [27]

    I, II (Turin/Milan, 1982), Ist

    Adam Kor´ anyi,Geometric aspects of analysis on the Heisenberg group, Topics in modern harmonic analysis, Vol. I, II (Turin/Milan, 1982), Ist. Naz. Alta Mat. Francesco Severi, Rome, 1983, pp. 209–258. MR 748865 16

    1982

  20. [28]

    Volker Kr¨ atschmer and Mikhail Urusov,A Kolmogorov-Chentsov type theorem on general metric spaces with applications to limit theorems for Banach-valued processes, J. Theoret. Probab.36(2023), no. 3, 1454–1486. MR 4621071 21, 23

    2023

  21. [29]

    Manjunath Krishnapur, P¨ ar Kurlberg, and Igor Wigman,Nodal length fluctuations for arith- metic random waves, Ann. of Math. (2)177(2013), no. 2, 699–737. MR 3010810 3

    2013

  22. [30]

    Mackey,Borel structure in groups and their duals, Trans

    George W. Mackey,Borel structure in groups and their duals, Trans. Amer. Math. Soc.85 (1957), 134–165. MR 89999 31

    1957

  23. [31]

    MR 2977490 11

    Anatoliy Malyarenko,Invariant random fields on spaces with a group action, Probability and its Applications (New York), Springer, Heidelberg, 2013, With a foreword by Nikolai Leonenko. MR 2977490 11

    2013

  24. [32]

    337–365, 2023

    Domenico Marinucci,Some recent developments on the geometry of random spherical eigen- functions, pp. 337–365, 2023. 3

    2023

  25. [33]

    389, Cambridge University Press, Cambridge, 2011

    Domenico Marinucci and Giovanni Peccati,Random fields on the sphere: Representation, limit theorems and cosmological applications, London Mathematical Society Lecture Note Series, vol. 389, Cambridge University Press, Cambridge, 2011. MR 2840154 3, 6 BERRY-HEISENBERG RANDOM W A VES 37

    2011

  26. [34]

    Domenico Marinucci, Giovanni Peccati, Maurizia Rossi, and Igor Wigman,Non-universality of nodal length distribution for arithmetic random waves, Geom. Funct. Anal.26(2016), no. 3, 926–960. MR 3540457 3

    2016

  27. [35]

    Domenico Marinucci and Maurizia Rossi,Stein-Malliavin approximations for nonlinear func- tionals of random eigenfunctions onS d, J. Funct. Anal.268(2015), no. 8, 2379–2420. MR 3318653 3

    2015

  28. [36]

    Domenico Marinucci, Maurizia Rossi, and Anna Paola Todino,Laguerre expansion for nodal volumes and applications, INdAM-Springer Volume, Analysis and Geometry of Random Field, in press (2026). 3

    2026

  29. [37]

    1, 374–390

    Domenico Marinucci, Maurizia Rossi, and Igor Wigman,The asymptotic equivalence of the sample trispectrum and the nodal length for random spherical harmonics, Annales de l’Institut Henri Poincar´ e Probabilit´ es et Statistiques56(2020), no. 1, 374–390. MR 4058991 3

    2020

  30. [38]

    M. A. Naimark,Normed rings, russian ed., P. Noordhoff N. V., Groningen, 1959. MR 110956 11, 30, 32

    1959

  31. [39]

    Massimo Notarnicola, Giovanni Peccati, and Anna Vidotto,Functional convergence of berry’s nodal lengths: Approximate tightness and total disorder, Journal of Statistical Physics190 (2023), 97. 3

    2023

  32. [40]

    Ivan Nourdin, Giovanni Peccati, and Maurizia Rossi,Nodal statistics of planar random waves, Comm. Math. Phys.369(2019), no. 1, 99–151. MR 3959555 3, 6

    2019

  33. [41]

    1, 109–130

    Ze´ ev Rudnick and Igor Wigman,On the volume of nodal sets for eigenfunctions of the laplacian on the torus, Annales Henri Poincare9(2008), no. 1, 109–130. 3

    2008

  34. [42]

    Michele Stecconi and Anna Paola Todino,Statistics on yau’s conjecture: Variance asymp- totics, in preparation (2026). 3

    2026

  35. [43]

    Strichartz,Harmonic analysis as spectral theory of Laplacians, J

    Robert S. Strichartz,Harmonic analysis as spectral theory of Laplacians, J. Funct. Anal.87 (1989), no. 1, 51–148. MR 1025883 15, 16

    1989

  36. [44]

    Gabor Szeg¨ o,Orthogonal Polynomials, American Mathematical Society Colloquium Publica- tions, vol. Vol. 23, American Mathematical Society, New York, 1939. MR 77 19

    1939

  37. [45]

    4, 7, 8, 14, 15, 16, 17, 18

    Sundaram Thangavelu,Harmonic analysis on the heisenberg group., Birkh¨ auser Boston, Inc., Boston, MA, 1998. 4, 7, 8, 14, 15, 16, 17, 18

    1998

  38. [46]

    Igor Wigman,Fluctuations of the nodal length of random spherical harmonics, Communica- tions in Mathematical Physics298(2010), no. 3, 787. 3

    2010

  39. [47]

    ,On the nodal structures of random fields: a decade of results, Journal of Applied and Computational Topology (2023), 1–43. 2, 3

    2023

  40. [48]

    Yaglom,Second-order homogeneous random fields, Proc

    Akiva M. Yaglom,Second-order homogeneous random fields, Proc. 4th Berkeley Sympos. Math. Statist. and Prob., Vol. II, Univ. California Press, Berkeley-Los Angeles, Calif., 1960, pp. 593–622. MR 146880 5, 7, 9, 11, 31, 34, 35

    1960

  41. [49]

    ,Correlation theory of stationary and related random functions. Vol. I, Springer Series in Statistics, Springer-Verlag, New York, 1987, Basic results. MR 893393 23

    1987

  42. [50]

    Math., vol

    Steve Zelditch,Real and complex zeros of Riemannian random waves, Spectral analysis in geometry and number theory, Contemp. Math., vol. 484, Amer. Math. Soc., Providence, RI, 2009, pp. 321–342. MR 1500155 3 School of Mathematics and Statistics, University of Melbourne, Parkvil...

    2009

Pith tools

Reviewed July 10, 2026 · model on record in the stance chip above.