{"id":"778d1b34-8443-45a7-bbd5-b337ceb446ec","arxiv_id":"2607.08314","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":2,"one_line_summary":"A new family of left-invariant Gaussian random fields on the Heisenberg group is constructed as generalized eigenfunctions of the sub-Laplacian via unitary representation theory.","lead":"The paper builds Gaussian random fields on the Heisenberg group that act as generalized eigenfunctions of the sub-Laplacian, the sub-Riemannian analog of Berry's monochromatic waves. This opens a path to study nodal geometry and spectral statistics in non-Euclidean, non-Riemannian geometries that appear in quantum control and hypoelliptic analysis.","discovery_kind":"new_application","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The central claim of Theorem 3.6 is fully supported by the explicit spectral analysis of the radial sub-Laplacian and by the classical Yaglom decomposition for type-I groups. The only potential incompleteness (extra radial eigenfunctions) is ruled out by the ODE analysis itself: the Laguerre equation forces the discrete spectrum |μ|=α/(2k+1). All other steps—existence via the concrete POVM (3.8)–(3.9), positivity of the ck by Bochner, path regularity by Kolmogorov–Chentsov, and the representation (3.3)—are standard and correctly executed. No hidden assumption, circularity, or technical gap appears. The reader's ACCEPT verdict with high confidence is therefore unchanged.","tokens_in":30142,"tokens_out":566,"duration_ms":5657,"concrete_test":"Independently re-solve the radial ODE (3.5) for a generic μ not equal to 0 or ±α/(2k+1) and confirm that the only L^∞ solution is identically zero; if a non-trivial bounded solution appears, uniqueness fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's weakest assumption (completeness of the radial solutions of Lf=-αf with f(e)=2) is correctly identified but is not a soft spot: the proof of Theorem 3.6 reduces the radial equation via Fourier transform in t to a family of ODEs (3.5)–(3.6). For μ=0 one recovers the Bessel equation whose unique bounded solution with g0(0)=2 is 2J0(√α r). For μ\neq0 the change of variables produces a Laguerre equation that admits bounded solutions if and only if |μ|=α/(2k+1) for k∈N0, in which case the solution is uniquely the corresponding Laguerre polynomial. Thus every smooth radial solution is precisely a convex combination of the countable family {φ^k_α} together with the Bessel term; no additional independent radial solutions exist. The remainder of the argument (Yaglom representation, positivity of the coefficients ck via Bochner, a.s. smoothness via Kolmogorov–Chentsov on the Carnot–Carathéodory metric, and the spectral representation (3.3)) is standard and free of gaps.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","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.","tokens_in":30382,"tokens_out":918,"duration_ms":39376,"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.","major_comments":[],"minor_comments":[{"comment":"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.","section":null},{"comment":"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.","section":null},{"comment":"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.","section":null},{"comment":"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”.","section":null},{"comment":"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.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is a solid, self-contained construction paper that fits well in a probability or geometric-analysis journal. No novelty or citation concerns; the authors correctly position the work as a first step and leave nodal geometry for future work. I see no reason to delay acceptance."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The punchline is simple: Carfagnini and Todino give an explicit, unique (in law) family of left-invariant complex Gaussian fields on the Heisenberg group whose sample paths are a.s. smooth generalized eigenfunctions of the sub-Laplacian. That object did not exist before.\n\nWhat is new is the handling of the infinite-dimensional Schrödinger representations. On R^n the unitary dual is just characters and the radial Helmholtz equation has a unique smooth solution; here the dual is R^2 ⊔ R* and the radial sub-Laplacian admits a countable family of independent solutions (the Laguerre-type functions φ_k^α plus the Bessel term). They parameterize the mixture by a probability vector c in the simplex O1, prove existence via Yaglom’s representation for type-I groups, and obtain uniqueness under left-invariance plus invariance under the isometries fixing the identity (Theorem 3.6). The series representation (3.3) and the two comparison propositions (high-k limit recovers the horizontal Berry wave; finite superpositions of eigenfunctions converge to the field) are clean and useful.\n\nThe math is solid. The radial ODE analysis (Fourier in t, then Laguerre) shows there are no extra independent radial solutions, so the uniqueness claim is not resting on an unproved completeness assumption. Smoothness follows from a Kolmogorov–Chentsov argument on the Carnot–Carathéodory metric; positivity of the weights follows from Bochner. Citations are appropriate (Berry, Yaglom, Thangavelu, Stone–von Neumann). No circularity, no free parameters that are fitted rather than declared.\n\nSoft spots are minor and correctly flagged by the authors themselves: this is only the construction, not yet nodal geometry or high-energy asymptotics, and the group-Fourier approach is left for later. Those are natural next steps, not gaps in the present argument.\n\nThis is for people who work on random waves, spectral geometry on nilpotent groups, or hypoelliptic analysis. It deserves a serious referee. I would accept it for peer review without hesitation and would cite the existence/uniqueness theorem if I needed a model random eigenfunction on H.","headline":"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.","tokens_in":30992,"tokens_out":544,"would_cite":true,"duration_ms":6316,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60G60","53C17","22D10"],"pacs":[],"model":"grok-4.5","headline":"A unique family of monochromatic random waves is constructed on the Heisenberg group as generalized eigenfunctions of the sub-Laplacian.","keywords":["Berry random waves","Heisenberg group","random eigenfunctions","sub-Laplacians","left-invariant Gaussian fields","Stone-von Neumann theorem","Yaglom representation"],"falsifier":"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|).","tokens_in":31015,"feed_emoji":"∿️","tokens_out":732,"duration_ms":6609,"temperature":0.7,"pith_summary":"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.","feed_headline":"Random monochromatic waves built on the Heisenberg group","feed_subtitle":"Representation theory yields unique sub-Riemannian Berry fields for every energy and weight vector.","key_machinery":"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_α).","core_discovery":"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.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Berry-type random waves on the Heisenberg group","Sub-Laplacian eigenfields unique for every energy on H","Left-invariant Gaussian waves from Heisenberg representations","Monochromatic random fields as Heisenberg Berry model","Unique sub-Riemannian Berry waves for each weight vector"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Berry-type random waves on the Heisenberg group","Sub-Laplacian eigenfields unique for every energy on H","Left-invariant Gaussian waves from Heisenberg representations","Monochromatic random fields as Heisenberg Berry model","Unique sub-Riemannian Berry waves for each weight vector"]},"model":"grok-4.5","effort":"low","cost_usd":0.00421,"raw_usage":{"total_tokens":1195,"prompt_tokens":644,"num_sources_used":0,"completion_tokens":75,"cost_in_usd_ticks":42100000,"prompt_tokens_details":{"text_tokens":644,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":476,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":644,"tokens_out":75,"duration_ms":4454,"temperature":1.0,"reasoning_tokens":476,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-10T09:32:33.031897+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"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|).","supporting_citations":[],"review_version":1}