Pith. sign in

REVIEW 2 major objections 7 minor 34 references

Pointwise Weyl Laws for Quantum Completely Integrable Systems

T0 review · 2 major / 7 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read This paper proves that microlocalized joint spectral projections of quantum completely integrable systems satisfy a pointwise Weyl law with the same sharp remainder order as the classical single-operator result.

desk verdict A genuine pointwise Weyl law for QCI systems with a mostly-sound proof; needs a filled-in clean-phase check and a parameter fix before acceptance. read the letter →

arxiv 2411.10401 v1 pith:VAV57CUN submitted 2024-11-15 math.AP math-phmath.MPmath.SP

Suresh Eswarathasan , Allan Greenleaf , Blake Keeler This is my paper · ORCID
classification math.APmath-phmath.MPmath.SP MSC 35P2058J40
keywords pointwiseWeyllawjointspectralprojectorquantumcompletelyintegrablesystemmicrolocalanalysisFourierintegraloperatorsTauberiantheoremfiberrankconditioneigenfunctions
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 establishes a pointwise, off-diagonal Weyl law for the joint spectral projections of a quantum completely integrable (QCI) system, meaning n commuting first-order pseudodifferential operators on a compact manifold. When the principal symbols satisfy a fiber rank condition, the microlocalized joint spectral kernel is written as an explicit oscillatory integral with remainder O($lambda^{{n-1}}$), the same order as in the classical single-operator Weyl law. This matters because joint spectral projections control counting and concentration of joint eigenfunctions, and previously only integrated counting laws were known for QCI systems. If correct, the result gives uniform near-diagonal control of joint eigenfunction sums and supplies a kernel description that could support nodal-domain statistics for random combinations of joint eigenfunctions.

What carries the argument

The central object is the quantized homogeneous Darboux normal form: a single pair of Fourier integral operators A and B that microlocally conjugates every operator P_i in the QCI system to the model operator D_{x_i} on R^n. This simultaneous conjugation lets the paper replace the difficult joint propagator $e^{{it_1 P_1}}$ ... $e^{{it_n P_n}}$ by the explicitly computable model $e^{{it_1 D_{x_1}}$} ... $e^{{it_n D_{x_n}}$}, with smooth errors. The composed model wave kernel is then shown to be a Lagrangian distribution with clean phase function x*xi + t*xi, and stationary phase applied to the smoothed spectral measure yields the explicit oscillatory representation and the O($lambda^{{n-1}}$) remainder.

What would settle it

Compute the microlocalized joint spectral kernel on a surface of revolution with P_1 = $\sqrt$(-$\Delta$) and P_2 = D_theta on a chart excluding the fiber-rank singular set, and check whether the sup-norm remainder over a fixed near-diagonal neighborhood is genuinely O($\lambda$) in dimension 2. A more direct check is the joint wave kernel of two commuting Hamiltonians whose joint flow is not transverse: verifying whether the phase x*xi + t*xi is clean and whether the error term in the joint propagator comparison is smooth would settle the central mechanism.

Watch

Extended reading notes

Core claim

Theorem 1 states that, after microlocalizing with a pseudodifferential cutoff Psi, the joint spectral projection kernel of a QCI system equals (2*pi)^{-n} times an integral, over the joint energy box intersected with the image of the moment map, of exp(i(S(x,xi)-S(y,xi))) times an amplitude b(x, grad_xi S(x,xi); xi) a(grad_xi S(y,xi), y; xi), plus a remainder uniformly O($lambda^{{n-1}}$) for points within a fixed distance. On the diagonal the amplitude reduces to |$\sigma$(Psi)(x,xi)|^2. The proof derives asymptotics for a smoothed joint spectral measure, reduces the joint propagator to the model operators D_{x_1},...,D_{x_n} on Euclidean space via a microlocal normal form, and then applies stationary phase and Tauberian arguments to pass from the smoothed measure to the sharp projector.

Load-bearing premise

Everything rests on the existence of a single microlocal conjugation that simultaneously turns all n commuting operators into the coordinate derivative operators D_{x_i}; if that normal form fails, or if the composed joint wave kernel is not in the claimed clean Lagrangian class, the explicit oscillatory formula and its O($lambda^{{n-1}}$) remainder do not follow.

Editorial extensions

If this is right

  • Microlocalized joint eigenfunctions of a QCI system satisfy L-infinity bounds of order O(1), improving on the general O(lambda^{1/2}) bound.
  • The explicit kernel gives a pointwise analogue of the integrated joint Weyl law for cones, with the same remainder order as the counting law.
  • For QCI Riemannian manifolds such as surfaces of revolution, the on-diagonal formula recovers a pointwise Weyl law with amplitude |sigma(Psi)|^2 for the Laplace-Beltrami operator.
  • The representation provides the kind of non-atomic spectral measure needed to apply Nazarov-Sodin-type criteria to random linear combinations of joint eigenfunctions sampled from the conic region.
  • When |x-y| is bounded by a constant multiple of 1/lambda, the phase linearizes and the theorem yields a corollary with phase (x-y)*grad_x S and the same O(lambda^{n-1}) remainder.

Reading between the lines

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

  • The paper leaves open whether the O(lambda^{n-1}) remainder is generically sharp for QCI systems; checking this on explicit examples, such as tori or ellipsoids, would clarify the extent of the analogy with the single-operator case.
  • The same microlocal normal-form route could plausibly yield L^p restriction estimates for joint eigenfunctions on submanifolds lying in the projection of the microlocal region, a direction the authors mention but do not develop.
  • A coordinate-free reformulation using a jointly generated Hamiltonian flow, analogous to the exponential map in the single-operator case, is stated as a natural future step and would remove the local-coordinate dependence of the main formula.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 7 minor

Summary. The paper proves a microlocalized pointwise Weyl law for the joint spectral projections of a quantum completely integrable (QCI) system, i.e., a commuting family P=(P_1,...,P_n) of first-order self-adjoint pseudodifferential operators satisfying a fiber-rank condition. Theorem 1 gives an explicit oscillatory-integral representation (1.9) for the Schwartz kernel of Ψ Π_{λ,c} Ψ^* near the diagonal, with a remainder uniformly O(λ^{n-1}), matching the remainder order in Hörmander's single-operator pointwise Weyl law. The proof combines Colin de Verdière's quantized homogeneous Darboux normal form, a comparison of the joint propagator with the model P^0=(D_{x_1},...,D_{x_n}), a stationary-phase computation for the model spectral measure, and a multi-parameter Tauberian argument. The paper also presents applications to flat tori, ellipsoids, surfaces of revolution, Liouville tori, and the quantum asymmetric top.

Significance. If the proof is completed, the result is a substantial and natural extension of Hörmander's pointwise Weyl law to joint spectral functions of commuting operators, with the same sharp remainder order as in the single-operator case. The asymptotic is explicit and coordinate-dependent in a controlled way, and no parameters are fitted, so the statement is falsifiable through the examples. The paper also recovers known L^∞ bounds for joint eigenfunctions under the fiber-rank condition and provides a concrete tool for studying joint eigenfunction concentration and, potentially, nodal statistics. The overall strategy is coherent: the quantized normal form is quoted from the literature, the model calculation is explicit, and the Tauberian step follows Sogge's single-operator framework. The weaknesses are localized to the FIO composition lemma and to the consistency of the time-support parameters, and they appear repairable.

major comments (2)
  1. [Lemma 5.3, Eq. (5.4)] The clean-intersection assertion for the n-fold composition is load-bearing and is left to the reader. The displayed canonical relation C_{P^0} states 'ξ=τ', but Lemma 5.2's convention is τ+p(x,ξ)=0, which for p^0_j=ξ_j gives τ=-ξ. Moreover, the phase (x-z)·ξ+t·ξ in (5.4) has ∂_ξφ=x-z+t, so it parametrizes the backward model flow x=z-t, while the forward flow used in (4.10) and Lemma 4.5 is x=z+t. These sign discrepancies may cancel in the symmetric t-integration, but as written the assertion that the composed kernel lies in the clean class I^{-n/4}(R^n×R^n×R^n,C'_{P^0}) is not established. Since Proposition 6.1 and hence the explicit kernel (1.9) depend on this FIO reduction, the sentence 'we leave it to the reader to verify...' must be replaced by a full verification of the clean condition (ideally with excess 0) and a consistent sign convention; otherwise the order -n/4 and the subsequent stationary-phase reduction are not justified.
  2. [Prop. 6.1 and Sec. 7.3] There is a support mismatch in the application of the microlocal normal form. Proposition 6.1 states the hypothesis supp ρhat ⊂ (-ε0,ε0), but its proof takes ρ as in Lemma 5.4 with ε=ε0/(n+1), and Lemma 4.5 is valid only for t∈J(ε0)=(-ε0/(n+1),ε0/(n+1))^n. In the Tauberian step, Section 7.3 sets δ0=3ε0/4, which is larger than ε0/(n+1) for every n≥1. Hence the smoothing ρ actually used in the proof of Theorem 1 has Fourier support outside the time box in which the joint propagator comparison has been justified; the conclusion of Corollary 7.4 and the O(λ^{n-1}) remainder do not follow from the written estimates. The gap is local and fixable: choose δ0<ε0/(n+1), or rescale ε0 throughout and restate Proposition 6.1 accordingly, but the choice must be made explicitly and consistently.
minor comments (7)
  1. [Lemma 5.4] In the statement of Lemma 5.4, the leading exponential is written as e^{iλ(x-y)·μ} with an undefined λ; from the proof it should be e^{i|μ|(x-y)·μ/|μ|}=e^{i(x-y)·μ}.
  2. [Eq. (7.6)] The displayed normalization in (7.6) appears to contain (2π)^{-2}, while the proof uses (2π)^{-1}; the constants should be reconciled.
  3. [Eq. (5.5)] The symbol expansion in (5.5) is garbled: the superscripts on ξ and the arguments of the q^{(0)}_j are not defined, so the claimed composition formula is difficult to verify from the text.
  4. [Sec. 7.3] The sentence 'Set δ0=3ε0/4 as in (6.3)' mis-cites: equation (6.3) defines the set Ω, not δ0. The relation between δ0 and the ε0 of Lemma 4.5 and Proposition 6.1 should be stated explicitly.
  5. [Throughout] The symbol ε0 is overloaded: it denotes the spatial distance scale in Theorem 1, the flow-time scale in (4.9), and the Fourier-support scale in Proposition 6.1. Distinct symbols or explicit identifications would prevent confusion.
  6. [Prop. 7.2, Cor. 7.4] The notation p(W) is used without definition; presumably it means the image of W under the moment map p, but this should be stated.
  7. [References] The reference [SarMor] has an incomplete URL; provide a full citation with the date and publisher or preprint number.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the joint Weyl law is derived from external normal forms and explicit model computations; the one self-citation is not load-bearing.

full rationale

The derivation of Theorem 1 does not assume its conclusion. The microlocalized joint spectral projection is expressed in Section 3 via Fourier inversion, then compared, in Lemma 4.5, to the model propagator e^{it·D_x} using the external quantized Darboux normal form (Prop. 4.2, after [CdV79] and [DH71]) and a reproof in the text. Section 5 computes the model propagator and Lemma 5.4 performs an explicit stationary-phase evaluation of the model smoothed spectral measure; Section 6 assembles the resulting oscillatory integral; Section 7 supplies a Tauberian step whose cluster bounds are verified from Prop. 6.1. No parameter is fitted from the quantity being predicted, and no remainder of order λ^{n−1} is inserted by hand. The only self-citation is methodological: Section 1.5 notes that the Sogge Tauberian strategy 'was used previously in the work of Keeler [Kee23]'; Prop. 7.2 is proved in full and rests on the external [Sog17] argument. The clean-intersection verification left to the reader in Lemma 5.3, the sign question around 'ξ=τ', and the δ0/ε0 support mismatch between Sections 6-7 are proof-completeness or correctness gaps, not circular reductions; a missing verification does not make the theorem's output equivalent to its hypotheses. Hence the circularity score is low.

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

The paper introduces no fitted parameters and no invented physical entities. Its central claim rests entirely on standard microlocal analysis plus explicit hypotheses (commuting operators, fiber rank condition, elliptic sum of squares). The only non-trivial imported machinery is the homogeneous Darboux/quantum normal form of Duistermaat-Hörmander and Colin de Verdière, and the FIO calculus; these are prior published theorems rather than assumptions tailored to this result.

assumptions (5)
  • standard math Hörmander's pseudodifferential and Fourier integral operator calculus, including Lagrangian distribution theory and clean composition of canonical relations.
    Used throughout Sections 4-6 to represent propagators and spectral measures; treated as established background.
  • domain assumption Homogeneous Darboux normal form (Duistermaat-Hörmander, Prop 4.1) and its quantization (Colin de Verdière, Prop 4.2), simultaneously straightening the commuting P_i to D_{x_i} modulo smooth errors.
    Invoked in Section 4 as the key reduction of the QCI system to the model system on R^n.
  • domain assumption Spectral theorem for commuting families of unbounded self-adjoint operators and discreteness of the joint spectrum under ellipticity of sum P_i^2.
    Used in Section 1.2, Eq. (1.5), to define joint eigenvalues, joint eigenfunctions, and the joint spectral projection.
  • domain assumption Fiber rank n condition on the conic set Omega (Def. 1.2) together with the nondegeneracy dp_1 wedge ... wedge dp_n nonzero.
    These are explicit hypotheses of Theorem 1 and are needed for the phase/symbol constructions in Prop. 5.1 and Prop. 6.1.
  • domain assumption Existence of the nested conic neighborhoods W_{j epsilon_0/(n+1)} and the small-time joint Hamiltonian flow property (4.9)-(4.10).
    Assumed to hold after choosing epsilon_0 small; it lets the joint propagator stay inside the normal-form neighborhood U for the relevant times.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Pointwise Weyl Laws for Quantum Completely Integrable Systems." pith.science (2026). https://pith.science/paper/VAV57CUN

@misc{pith2026241110401,
  author       = {Pith},
  title        = {Pith review of: Pointwise Weyl Laws for Quantum Completely Integrable Systems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VAV57CUN}},
  note         = {Machine review of arXiv:2411.10401}
}
abstract

The study of the asymptotics of the spectral function for self-adjoint, elliptic differential, or more generally pseudodifferential, operators on a compact manifold has a long history. The seminal 1968 paper of H\"ormander, following important prior contributions by G\"arding, Levitan, Avakumovi\'c, and Agmon-Kannai (to name only some), obtained pointwise asymptotics (or a "pointwise Weyl law") for a single elliptic, self-adjoint operator. Here, we establish a microlocalized pointwise Weyl law for the joint spectral functions of quantum completely integrable (QCI) systems, $\overline{P}=(P_1,P_2,\dots, P_n)$, where $P_i$ are first-order, classical, self-adjoint, pseudodifferential operators on a compact manifold $M^n$, with $\sum P_i^2$ elliptic and $[P_i,P_j]=0$ for $1\leq i,j\leq n$. A particularly important case is when $(M,g)$ is Riemannian and $P_1=(-\Delta)^\frac12$. We illustrate our result with several examples, including surfaces of revolution.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

34 extracted references · 23 canonical work pages

  1. [1]

    V. G. Avakumovi\' c . \" U ber die E igenfunktionen auf geschlossenen R iemannschen M annigfaltigkeiten. Math. Z. , 65:327--344, 1956. doi:10.1007/BF01473886

    doi:10.1007/bf01473886 1956

  2. [2]

    P. H. B \'e rard. On the wave equation on a compact R iemannian manifold without conjugate points. Mathematische Zeit. , 155(3):249--276, 1977. doi:10.1007/BF02028444

    doi:10.1007/bf02028444 1977

  3. [3]

    N. Burq, P. G\' e rard, and N. Tzvetkov. Restrictions of the Laplace-Beltrami eigenfunctions to submanifolds. Duke Math. Jour. , 136(1):445--486, 2007

    work page 2007

  4. [4]

    Bogomolny and C

    E. Bogomolny and C. Schmit. Random wavefunctions and percolation. J. Phys. A , 40(47):14033--14043, 2007. doi:10.1088/1751-8113/40/47/001

    work page doi:10.1088/1751-8113/40/47/001 2007

  5. [5]

    Colin de Verdi\`ere

    Y. Colin de Verdi\`ere. Spectre conjoint des op\'erateurs pseudo-differential qui commutent: Le case non-integrable. Duke Math. Jour. , 46(1):169--182, 1979

    work page 1979

  6. [6]

    Canzani and B

    Y. Canzani and B. Hanin. Scaling limit for the kernel of the spectral projector and remainder estimates in the pointwise Weyl law . Anal. PDE , 8(7):1707--1731, 2015. doi:10.2140/apde.2015.8.1707

    work page doi:10.2140/apde.2015.8.1707 2015

  7. [7]

    Canzani and B

    Y. Canzani and B. Hanin. C^ Scaling asymptotics for the spectral projector of the Laplacian . Jour. Geometric Analysis , 28(1):111--122, 2018. doi:10.1007/s12220-017-9812-5

    work page doi:10.1007/s12220-017-9812-5 2018

  8. [8]

    Duistermaat and V

    J. Duistermaat and V. Guillemin. The spectrum of positive elliptic operators and periodic bicharacteristics. Inventiones math. , 29:39--79, 1975. doi:10.1007/BF01405172

    doi:10.1007/bf01405172 1975

Show all 34 references
  1. [9]

    Duistermaat and L

    J. Duistermaat and L. H\"ormander. Fourier integral operators, ii. Acta mathematica , 128:183--269, 1971

    1971

  2. [10]

    J. J. Duistermaat. Oscillatory integrals, L agrange immersions and unfolding of singularities. Comm. Pure Appl. Math. , 27:207--281, 1974. doi:10.1002/cpa.3160270205

    1974 doi

  3. [11]

    Galkowski and J

    J. Galkowski and J. A. Toth. Pointwise bounds for joint eigenfunctions of quantum completely integrable systems. Comm. Math. Phys. , 375(2):915--947, 2020. doi:10.1007/s00220-020-03730-3

    2020 doi

  4. [12]

    H \"o rmander

    L. H \"o rmander. The spectral function of an elliptic operator. Acta math. , 121(1):193--218, 1968. doi:10.1007/BF02391913

    1968 doi

  5. [13]

    H\" o rmander

    L. H\" o rmander. Fourier integral operators. I . Acta Math. , 127(1-2):79--183, 1971. doi:10.1007/BF02392052

    1971 doi

  6. [15]

    H \"o rmander

    L. H \"o rmander. The Analysis of Linear Partial Differential Operators IV . Berlin: Springer-Verlag, 1985. doi:10.1007/978-3-540-49938-1

    1985 doi

  7. [16]

    R. Hu. L^p norm estimates of eigenfunctions restricted to submanifolds. Forum Math. , 21(6):1021--1052, 2009. doi:doi.org/10.1515/FORUM.2009.051

    2009 doi

  8. [17]

    B. Keeler . A logarithmic improvement in the two-point weyl law for manifolds without conjugate points. Annales de l'institut Fourier , march 2023. To appear. Available from: https://arxiv.org/abs/1905.05136 https://arxiv.org/abs/1905.05136

    2023 arXiv

  9. [18]

    B. M. Levitan. On the asymptotic behavior of the spectral function of a self-adjoint differential equation of the second order. Izv. Akad. Nauk SSSR. Ser. Mat. , 16(4):325--352, 1952

    1952

  10. [19]

    B. M. Levitan. On the asymptotic behavior of a spectral function and on expansion in eigenfunctions of a self-adjoint differential equation of second order. II . Izv. Akad. Nauk SSSR. Ser. Mat. , 19:33--58, 1955

    1955

  11. [20]

    Marshall

    S. Marshall. L^p norms of higher rank eigenfunctions and bounds for spherical functions. J. Eur. Math. Soc. (JEMS) , 18(7):1437--1493, 2016. doi:10.4171/JEMS/619

    2016 doi

  12. [21]

    ://mathoverflow.net/questions/242468/origin-of-the-name-momentum-map

    Mathoverflow: Origin of the name ``momentum map" . ://mathoverflow.net/questions/242468/origin-of-the-name-momentum-map

  13. [22]

    Nazarov and M

    F. Nazarov and M. Sodin. On the number of nodal domains of random spherical harmonics. Amer. J. Math. , 131(5):1337--1357, 2009. doi:10.1353/ajm.0.0070

    2009 doi

  14. [23]

    Nazarov and M

    F. Nazarov and M. Sodin. Asymptotic laws for the spatial distribution and the number of connected components of zero sets of G aussian random functions. J. Math. Phys. Anal. Geom. , 12(3):205--278, 2016. doi:10.15407/mag12.03.205

    2016 doi

  15. [24]

    Rozenshein

    Y. Rozenshein. The number of nodal components of arithmetic random waves. Int. Math. Res. Not. IMRN , (22):6990--7027, 2017. doi:10.1093/imrn/rnw226

    2017 doi

  16. [25]

    Y. G. Safarov. Asymptotics of a spectral function of a positive elliptic operator without a nontrapping condition. Funktsional. Anal. i Prilozhen. , 22(3):53--65, 96, 1988. doi:10.1007/BF01077627

    1988 doi

  17. [26]

    P. Sarnak. Letter to Morawetz . ://publications.ias.edu/sites/default/files/Sarnak_Letter_to_Morawetz.pdf

  18. [27]

    C. Sogge. Hangzhou Lectures on Eigenfunctions of the Laplacian (AM-188) . Princeton University Press, 2014. doi:10.1515/9781400850549

    2014 doi

  19. [28]

    C. Sogge. Fourier integrals in classical analysis , volume 210. Cambridge University Press, 2017. doi:10.1017/9781316341186

    2017 doi

  20. [29]

    Strichartz

    R. Strichartz. A functional calculus for elliptic pseudo-differential operators. American Journal of Mathematics , 94(3):711--722, 1972

    1972

  21. [30]

    Sogge and S

    C. Sogge and S. Zeldtich. Riemannian manifolds with maximal eigenfunction growth. Duke Math. J. , 114(3):387--437, 2002. doi:10.1215/S0012-7094-02-11431-8

    2002 doi

  22. [31]

    M. Tacy. L^p estimates for joint quasimodes of semiclassical pseudodifferential operators. Israel J. Math. , 232(1):401--425, 2019. doi:10.1007/s11856-019-1878-2

    2019 doi

  23. [32]

    J. Toth. Various quantum mechanical aspects of quadratic forms. Jour. Functional Analysis , 130:1--42, 1995

    1995

  24. [33]

    J. A. Toth. L^2 -restriction bounds for eigenfunctions along curves in the quantum completely integrable case. Comm. Math. Phys. , 288(1):379--401, 2009. doi:10.1007/s00220-009-0747-y

    2009 doi

  25. [34]

    J. A. Toth and S. Zelditch. Norms of modes and quasi-modes revisited. In Harmonic analysis at M ount H olyoke ( S outh H adley, MA , 2001) , volume 320 of Contemp. Math. , pages 435--458. Amer. Math. Soc., Providence, RI, 2003. doi:10.1090/conm/320/05622

    2001 doi

  26. [35]

    I. Wigman. Random wavefunctions and percolation. J Appl. and Comput. Topology , (47), 2023. doi:10.1007/s41468-023-00140-x

    2023 doi

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.