Nonclassical Weyl laws and Connes' Integration for weak Lorentz ideals, I
Pith reviewed 2026-06-29 19:29 UTC · model grok-4.3
The pith
Dixmier traces on weak Lorentz ideals are constructed directly from eigenvalue sequences, giving a full spectral characterization of measurable operators.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For weak Lorentz ideals associated with regularly varying functions, Dixmier traces admit a direct construction in terms of eigenvalue sequences. This yields a complete spectral characterization of measurable operators, answering a question of Connes. Weyl operators, those with precise asymptotic limits for rescaled eigenvalue sequences, form a closed subset of the ideal that remains stable under compact perturbations. Every Weyl operator is strongly measurable, so spectral measurability implies strong measurability. The theory applies to operators linked to the Riemann hypothesis (assuming RH), Schrödinger operators with anisotropic potentials, Dirichlet Laplacians on infinite-volume domain
What carries the argument
The asymptotic additivity property for eigenvalue partial sums, derived by combining Karamata's theorem with results of Kalton and Lord-Sukochev-Zanin, which enables the direct construction of Dixmier traces from eigenvalue sequences.
Load-bearing premise
The eigenvalue partial sums satisfy an asymptotic additivity property for the weak Lorentz ideals tied to regularly varying functions.
What would settle it
An operator belonging to such a weak Lorentz ideal for which the Dixmier trace cannot be recovered as a limit involving the rescaled partial sums of its eigenvalues would show the direct construction fails.
read the original abstract
Motivated by nonclassical Weyl laws arising in various contexts (including Connes' approach to the Riemann Hypothesis), we develop a systematic theory of Dixmier traces and Connes' noncommutative integration for weak Lorentz ideals associated with regularly varying functions. A key ingredient is an asymptotic additivity property for eigenvalue partial sums, obtained by combining Karamata's theorem with results of Kalton and Lord-Sukochev-Zanin. This yields a direct construction of Dixmier traces in terms of eigenvalue sequences and a complete spectral characterization of measurable operators, answering a question of Connes in this general setting. We also extend to weak Lorentz ideals the Birman-Solomyak perturbation theory for eigenvalue and singular-value asymptotics. Weyl operators (those admitting precise asymptotic limits for their rescaled eigenvalue sequences) are shown to form a closed subset of the ideal, stable under compact perturbations, extending classical results of Weyl and Birman-Solomyak. We further study strong measurability (measurability with respect to all positive normalized traces). We prove that every Weyl operator is strongly measurable, so spectral measurability implies strong measurability. The converse does not hold in general; a spectral characterization via Pietsch's correspondence is obtained in the forthcoming companion pape. Finally, as an application, we establish spectral measurability for operators arising from nonclassical Weyl laws: operators associated with the Riemann Hypothesis (assuming RH); Schr\"odinger operators with anisotropic potentials and Dirichlet Laplacians on infinite-volume domains; Dirac operators on open spin manifolds with conformally cusp metrics; and the operator formed by the Dirac operator of the Podle\`s quantum sphere and the Laplacian on the 2-torus.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops a systematic theory of Dixmier traces and Connes' noncommutative integration for weak Lorentz ideals associated with regularly varying functions. A central step is an asymptotic additivity property for eigenvalue partial sums, derived by combining Karamata's theorem with results of Kalton, Lord-Sukochev-Zanin and Birman-Solomyak. This yields a direct construction of Dixmier traces from eigenvalue sequences, a complete spectral characterization of measurable operators (addressing a question of Connes), an extension of Birman-Solomyak perturbation theory, and results showing that Weyl operators form a closed subset of the ideal that is stable under compact perturbations. The paper further proves that every Weyl operator is strongly measurable (so spectral measurability implies strong measurability) and applies the theory to operators arising from nonclassical Weyl laws, including those linked to the Riemann Hypothesis (under RH), Schrödinger operators, Dirac operators on manifolds with cusp metrics, and operators on the Podleś quantum sphere.
Significance. If the derivations hold, the work supplies a general framework for noncommutative integration beyond the classical Schatten and weak-L^p settings, with direct eigenvalue-based constructions and spectral characterizations that extend classical results of Weyl and Birman-Solomyak. The applications to concrete operators from nonclassical Weyl laws illustrate relevance to spectral geometry and quantum spaces. Reliance on established theorems (Karamata, Kalton et al.) rather than ad-hoc parameters is a methodological strength.
major comments (3)
- [Abstract / Introduction] The abstract states that the construction answers 'a question of Connes'; the manuscript should identify the precise question (with citation) and indicate the section or theorem that supplies the answer.
- [Section on asymptotic additivity (likely §3 or §4)] The key asymptotic additivity property is obtained by combining Karamata's theorem with Kalton-Lord-Sukochev-Zanin results; the text must verify that the regularly varying functions defining the weak Lorentz ideals satisfy all hypotheses of the cited theorems without additional regularity assumptions.
- [Section on Weyl operators] The claim that Weyl operators form a closed subset stable under compact perturbations extends classical results; the proof should explicitly address whether the regularly varying function introduces any obstruction to the usual perturbation estimates.
minor comments (3)
- Provide a self-contained definition of the weak Lorentz ideal associated to a regularly varying function at the beginning of the technical development.
- Ensure all external results (Karamata, Birman-Solomyak, Kalton et al.) receive complete bibliographic citations in the reference list.
- Clarify the distinction between spectral measurability and strong measurability in the statement of the main theorems.
Simulated Author's Rebuttal
We thank the referee for the careful reading, positive assessment, and recommendation of minor revision. We respond point-by-point to the major comments and indicate the changes to be made in the revised manuscript.
read point-by-point responses
-
Referee: [Abstract / Introduction] The abstract states that the construction answers 'a question of Connes'; the manuscript should identify the precise question (with citation) and indicate the section or theorem that supplies the answer.
Authors: We agree that explicit identification improves clarity. The question of Connes concerns the existence of a spectral characterization of measurable operators with respect to Dixmier traces. We will revise the abstract and introduction to cite the relevant statement from Connes and indicate the theorem (in the section on spectral characterization of measurable operators) that supplies the answer for weak Lorentz ideals. revision: yes
-
Referee: [Section on asymptotic additivity (likely §3 or §4)] The key asymptotic additivity property is obtained by combining Karamata's theorem with Kalton-Lord-Sukochev-Zanin results; the text must verify that the regularly varying functions defining the weak Lorentz ideals satisfy all hypotheses of the cited theorems without additional regularity assumptions.
Authors: The regularly varying functions used in the definition of the weak Lorentz ideals are taken to satisfy the standard conditions (including the index of regular variation) required by Karamata's theorem and the cited results of Kalton-Lord-Sukochev-Zanin. We will insert a short verification paragraph or remark in the relevant section to confirm explicitly that the hypotheses hold under our standing assumptions and that no additional regularity is imposed. revision: yes
-
Referee: [Section on Weyl operators] The claim that Weyl operators form a closed subset stable under compact perturbations extends classical results; the proof should explicitly address whether the regularly varying function introduces any obstruction to the usual perturbation estimates.
Authors: The proof adapts the classical Birman-Solomyak estimates using the asymptotic properties of regularly varying functions, which are preserved under the relevant operations. We will expand the argument in the section on Weyl operators to include an explicit paragraph confirming that the regular variation introduces no obstruction to the perturbation estimates, thereby extending the classical results without additional restrictions. revision: yes
Circularity Check
No significant circularity
full rationale
The paper's central construction of Dixmier traces and spectral characterization relies on an asymptotic additivity property derived by combining Karamata's theorem with external results from Kalton, Lord-Sukochev-Zanin, and Birman-Solomyak. These are independent, standard theorems not originating from the authors' prior work in a load-bearing self-citation chain. No self-definitional steps, fitted inputs renamed as predictions, or ansatzes smuggled via self-citation are present in the described derivation. The paper is self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Karamata's theorem for regularly varying functions
- standard math Results of Kalton and Lord-Sukochev-Zanin on eigenvalue sums
Reference graph
Works this paper leans on
-
[1]
Hokkaido Math
Aramaki, J.:On an extension of the Ikehara Tauberian theorem. Hokkaido Math. J.12(1983), 93–103
1983
-
[2]
Hokkaido Math
Aramaki, J.:On an extension of the Ikehara Tauberian theorem II. Hokkaido Math. J.25(1996), 257–276
1996
-
[3]
Battisti, U.:Wodzicki residue of pseudodifferential operators on torus bundles over compact manifolds. Math. Z.271(2012), 971–1027
2012
-
[4]
Battisti, U.; Berger, T.; Coriasco, S.:Weyl law on asymptotically Euclidean manifolds. Ann. di Matematica Pura ed Applicata195(2016), 1519–1548
2016
-
[5]
H.; Goldie, C.M.; Teugels, J.L.:Regular Variation
Bingham, N. H.; Goldie, C.M.; Teugels, J.L.:Regular Variation. Encyclopedia of Mathematics and its Appli- cations 27, Cambridge Univ. Press, Cambridge, 1987
1987
-
[6]
Birman, M.S.; Solomyak, M.Z.:Remarks on the spectral shift function. J. Soviet Math.3(1975), 408–419
1975
-
[7]
Vestnik Leningrad
Birman, M.S.; Solomyak, M.Z.:Asymptotic behavior of the spectrum of pseudodifferential operators with anisotropically homogeneous symbols. Vestnik Leningrad. Univ. Mat. Mekh. Astronom. 13, no. 3 (1977), 13– 21 (Russian). Vestn. Leningr. Univ., Math.10(1982), 237–247 (English)
1977
-
[8]
Birman, M.S.; Solomyak, M.Z.:Asymptotic behavior of the spectrum of pseudodifferential operators with anisotropically homogeneous symbols. II. Vestnik Leningrad. Univ. Mat. Mekh. Astronom. 13, no. 3 (1979), 5–10 (Russian). Vestn. Leningr. Univ., Math.12(1980), 155–161 (English)
1979
-
[9]
Birman, M.S., Solomyak, M.Z.:Asymptotics of the spectrum of variational problems on solutions of elliptic equations. Sib. Math J.20(1979), 1–15
1979
-
[10]
Reidel, Boston, MA, 1987
Birman, M.S.; Solomyak, M.Z.:Spectral theory of self-adjoint operators in Hilbert space, D. Reidel, Boston, MA, 1987
1987
-
[11]
Estimates for number of bound states as function- theoretical problem.Spectral theory of operators (Novgorod, 1989), 1–54
Birman, M.Sh., Solomyak, M.Z.:Schr¨ odinger operator. Estimates for number of bound states as function- theoretical problem.Spectral theory of operators (Novgorod, 1989), 1–54. Amer. Math. Soc. Transl. Ser. 2, 150, Amer. Math. Soc., Providence, RI, 1992
1989
-
[12]
Oxford University Press, Oxford, 2000
Boos, J.; Cass, P.:Classical and Modern Methods in Summability. Oxford University Press, Oxford, 2000
2000
-
[13]
Universitext, Springer, New York, 2011
Brezis, H.:Functional analysis, Sobolev spaces and partial differential equations. Universitext, Springer, New York, 2011
2011
-
[14]
Buldygin, V.V.; Indlekofer, K.-H.; Klesov, O.I.; Steinebach, J.G.:Pseudo-Regularly Varying Functions and Generalized Renewal Processes. Probab. Theory Stochastic Modelling 91, Springer: Cham, Switzerland, 2018
2018
-
[15]
Camus, B.; Rautenberg, N.:Higher dimensional nonclassical eigenvalue asymptotics. J. Math. Phys.56 (2015), no. 2, 14 pp
2015
-
[16]
Carey, A.; Rennie, A.; Sukochev, F.; Zanin, D.:Universal measurability and the Hochschild class of the Chern character, J. Spec. Theory,6(2016), 1–41
2016
-
[17]
Cheeger, J.:On the Hodge theory of Riemannian pseudomanifolds. Proc. Sympos. Pure Math., Vol. 36, pp. 91–146, Amer. Math. Soc., Providence, RI, 1980
1980
-
[18]
Colin de Verdi` ere, Y.; Hillairet, L.; Tr´ elat, E.:Spectral asymptotics for sub-Riemannian Laplacians. Preprint arXiv:2212.02920, 98 pp
-
[19]
Connes, A.:The action functional in non-commutative geometry. Comm. Math. Phys.117(1988), 673–683
1988
-
[20]
Academic Press, Inc., San Diego, CA, 1994
Connes, A.:Noncommutative geometry. Academic Press, Inc., San Diego, CA, 1994
1994
-
[21]
Connes, A.:Heat expansion and zeta function. Ann. Funct. Anal.15(2024), no. 3, Paper No. 59, 13 pp
2024
-
[22]
Connes, A.; Moscovici, H.:The UV prolate spectrum matches the zeros of zeta. Proc. Nat. Acad. Sci. USA 119(2022), no. 22, 7 pages
2022
-
[23]
Graduate Texts in Mathematics, Vol
Conway, J.B.:A Course in Functional Analysis. Graduate Texts in Mathematics, Vol. 96, Springer, New-York, NY, 2010, 2nd Edition
2010
-
[24]
In: Noncommutative Geometry and Quantum Groups
Dabrowski, L.; Sitarz, A.:Dirac operator on the standard Podle` s quantum sphere. In: Noncommutative Geometry and Quantum Groups. Banach Center Publications, Vol. 61, pp. 49–58. PAN, Warsaw (2003)
2003
-
[25]
Pseudodifferential Operators (Oberwolfach, 1986), Lecture Notes in Math., vol
Dauge, M.; Robert, D.:Weyl’s formula for a class of pseudodifferential operators with negative order on L2(Rn). Pseudodifferential Operators (Oberwolfach, 1986), Lecture Notes in Math., vol. 1256, Springer-Verlag, 1987, pp. 91–122
1986
-
[26]
Delange, H.:G´ en´ eralization du th´ eor` eme de Ikehara.Ann. Sci. Ecole Norm. Sup. (3)71(1954), 213–242
1954
-
[27]
Dixmier, J.:Existence de traces non normales. C. R. Acad. Sci. Paris S´ er. A-B262(1966), A1107–A1108
1966
-
[28]
Positivity 2(1) (1998), 47–75
Dodds, P., de Pagter, B., Semenov, E., Sukochev, F.:Symmetric functionals and singular traces. Positivity 2(1) (1998), 47–75
1998
-
[29]
Dykema, K; Figiel, T.; Weiss, G.; Wodzicki, M.:Commutator structure of operator ideals. Adv. Math.185 (2004), 1–79
2004
-
[30]
Dykema, K; Kalton, N.:Spectral characterization of sums of commutators. II. J. Reine Angew. Math.504 (1998), 127–137,
1998
-
[31]
Eckstein, M.,; Iochum, B.; Sitarz:A heat trace and spectral action on the standard Podle` s sphere. Comm. Math. Phys.332(2014), 627–668
2014
-
[32]
Fan, K.:Maximum properties and inequalities for the eigenvalues of completely continuous operators. Proc. Nat. Acad. Sci. U.S.A.37(1951), 760–766
1951
-
[33]
B.:Real Analysis(2nd ed.), John Wiley, New York, 1999
Folland, G. B.:Real Analysis(2nd ed.), John Wiley, New York, 1999
1999
-
[34]
Gayral, V.; Sukochev, F.:Dixmier traces and extrapolation description of noncommutative Lorentz spaces. J. Funct. Anal.266(10) (2014) 6256–6317. 37
2014
-
[35]
Translations of Mathematical Monographs, Vol
Gohberg, I.C.; Krein, M.G.:Introduction to the theory of linear nonselfadjoint operators. Translations of Mathematical Monographs, Vol. 18. American Mathematical Society, Providence, R.I., 1969
1969
-
[36]
Goffeng, M.; Usachev, A.:Dixmier traces and residues on weak operator ideals.J. Math. Anal. Appl. 488(2020), no. 2, 124045, 52 pp
2020
-
[37]
Acta Math.121(1968), 193–218
H¨ ormander, L.:The spectral function of an elliptic operator. Acta Math.121(1968), 193–218
1968
-
[38]
Kalton, N.:Spectral characterization of sums of commutators I. J. Reine Angew. Math.504(1998), 115–125
1998
-
[39]
London Math
Kalton, N.J.; Peck, N.T.; Roberts, W.:AnF-space sampler. London Math. Soc., Lecture Note Series 89, Cambridge University Press, 1984
1984
-
[40]
Grundlehren der Mathematischen Wis- senschaften (Funda- mental Principles of Mathematical Sciences), vol
Korevaar, J.:Tauberian Theory: A Century of Developments. Grundlehren der Mathematischen Wis- senschaften (Funda- mental Principles of Mathematical Sciences), vol. 329, Springer-Verlag, Berlin, 2004
2004
-
[41]
Lesch, M.; Peyerimhoff, N.:On index formulas for manifolds with metric horns. Comm. Partial Diff. Equ. 23(1998), 649–684
1998
-
[42]
Levitina, G.; Usachev, A.:Symmetric functionals on simply generated symmetric spaces. J. Math. Anal. Appl.546:1 (2025)
2025
-
[43]
Volume 1 Theory
Lord, S.; Sukochev, F.; Zanin, D.:Singular traces. Volume 1 Theory. Berlin, Boston: De Gruyter, 2021, 2nd Edition
2021
-
[44]
Research Notes in Mathematics 4, A.K
Melrose, R.B.:The Atiyah-Patodi-Singer index theorem. Research Notes in Mathematics 4, A.K. Peters, Wellesley (1993)
1993
-
[45]
Moroianu, S.:Weyl laws on open manifolds. Math. Ann.340(2008), 1–21
2008
-
[46]
Integral Equ
Pietsch, A.:A New Approach to operator ideals on Hilbert space and their traces. Integral Equ. Oper. Theory 89(2017), 595–606
2017
-
[47]
Pietsch, A.:More about singular traces on simply generated operator ideals. Arch. Math.115(2020) 299–308
2020
-
[48]
Podle` s, P.:Quantum Spheres. Lett. Math. Phys.14(1987), 193–202
1987
-
[49]
Ponge, R.:Semiclassical Weyl’s laws and noncommutative geometry. J. Noncomm. Geom.17(2023), I 719– 767
2023
-
[50]
Preprint, arXiv, March 2026, 115 pages
Ponge, R.:Noncommutative geometry, spectral asymptotics, and semiclassical analysis. Preprint, arXiv, March 2026, 115 pages
2026
-
[51]
Preprint
Ponge, R.; Tian, Y.:Hypermeasurability, Pietsch’s Correspondence, and Nonclassical Weyl Laws for Weak Lorentz Ideals. Preprint
-
[52]
Reed, M.; Simon, B.:Methods of modern mathematical physics. I. Functional analysis.Second edition. Academic Press, Inc., New York, 1980. xv+400 pp
1980
-
[53]
Springer, Dordrecht, 2012
Schm¨ udgen, K.:Unbounded self-adjoint operators on Hilbert space.Graduate Texts in Mathematics, 265. Springer, Dordrecht, 2012. xx+432 pp
2012
-
[54]
Schwinger, J.:On the bound states of a given potential. Proc. Nat. Acad. Sci. U.S.A.47(1961), 122–129
1961
-
[55]
Sedaev, A.; Sukochev, F.: Dixmier measurability in Marcinkiewicz spaces and applications. J. Funct. Anal. 265(2013), 3053–3066
2013
-
[56]
Semenov, E.; Sukochev, F.; Usachev, A.; Zanin, D.:Banach limits and traces onL 1,∞. Adv. Math.285 (2015), 568–628
2015
-
[57]
Springer, Berlin, 2001
Shubin, M.A.:Pseudodifferential operators and spectral theory, 2nd edition. Springer, Berlin, 2001
2001
-
[58]
Simon, B.:Some quantum operators with discrete spectrum but classically continuous spectrum. Ann. Physics 146(1983), no. 1, 209–220
1983
-
[59]
Simon, B.:Nonclassical eigenvalue asymptotics. J. Funct. Anal.53(1983), no. 1, 84–98
1983
-
[60]
Second edition
Simon, B.:Trace ideals and their applications. Second edition. Mathematical Surveys and Monographs, 120. American Mathematical Society, Providence, RI, 2005
2005
-
[61]
Sucheston, L.:Banach limits, Amer. Math. Monthly74(1967), 308–311
1967
-
[62]
Lectures at CIMPA SchoolNon- commutative Geometry and Applications to Quantum Physics, Quy Nhon, Vietnam, July 12–22, 2017
Sukochev, F.:Introduction to Noncommutative Analysis and Integration. Lectures at CIMPA SchoolNon- commutative Geometry and Applications to Quantum Physics, Quy Nhon, Vietnam, July 12–22, 2017
2017
-
[63]
Sukochev, F.; Xiong, X.; Zanin, D.:Asymptotics of singular values for quantised derivatives on noncommu- tative tori. J. Funct. Anal.285(2023), Paper No. 110021, 42 pp
2023
-
[64]
Math.252(2014), 406–428
Sukochev, F.; Zanin, D.:Which traces are spectral?Adv. Math.252(2014), 406–428
2014
-
[65]
Ast´ erisque, no
Sukochev, F.; Zanin, D.:The Connes character formula for locally compact spectral triples. Ast´ erisque, no. 445, viii+150 pp. (2023)
2023
-
[66]
Tian, Y.; Usachev, A.:Extended zeta-function residues and singular traces. PreprintarXiv:2407.05296
-
[67]
C.:The Theory of the Riemann Zeta-Function
Titchmarsh, E. C.:The Theory of the Riemann Zeta-Function. Oxford Univ. Press, London and New York, 1951
1951
-
[68]
Studia Math.258, 1 (2021), 71–85
Usachev, A.:A direct approach to positive normalised traces on simply generated ideals. Studia Math.258, 1 (2021), 71–85
2021
-
[69]
Weyl, H.: ¨Uber die asymptotische Verteilung der Eigenwerte. Nachr. Ges. Wiss. Goett., Math.-Phys. Kl., 1911:110–117, 1911. 38 Department of Mathematics and Statistics, University of Ottawa, Canada Email address:ponge.math@icloud.com School of Mathematics and Statistics, Central South University, Changsha, China Email address:tianyongqiang@csu.edu.cn 39
1911
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.