pith. sign in

arxiv: 2605.25591 · v1 · pith:LPWPKERLnew · submitted 2026-05-25 · 🧮 math.OA · math.FA· math.SP

Nonclassical Weyl laws and Connes' Integration for weak Lorentz ideals, I

Pith reviewed 2026-06-29 19:29 UTC · model grok-4.3

classification 🧮 math.OA math.FAmath.SP
keywords Dixmier tracesweak Lorentz idealsmeasurable operatorseigenvalue asymptoticsWeyl operatorsnoncommutative integrationregularly varying functionsperturbation theory
0
0 comments X

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.

The paper develops a systematic theory of Dixmier traces and Connes' noncommutative integration for weak Lorentz ideals associated with regularly varying functions. It establishes an asymptotic additivity property for eigenvalue partial sums by combining Karamata's theorem with results of Kalton and Lord-Sukochev-Zanin. This property allows the traces to be built directly from eigenvalue sequences and supplies a complete spectral characterization of measurable operators, answering a question of Connes. The results extend Birman-Solomyak perturbation theory, show that Weyl operators form a closed subset stable under compact perturbations, prove every Weyl operator is strongly measurable, and apply the framework to operators from several nonclassical Weyl laws.

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.

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

3 major / 3 minor

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)
  1. [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.
  2. [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.
  3. [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)
  1. Provide a self-contained definition of the weak Lorentz ideal associated to a regularly varying function at the beginning of the technical development.
  2. Ensure all external results (Karamata, Birman-Solomyak, Kalton et al.) receive complete bibliographic citations in the reference list.
  3. Clarify the distinction between spectral measurability and strong measurability in the statement of the main theorems.

Simulated Author's Rebuttal

3 responses · 0 unresolved

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
  1. 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

  2. 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

  3. 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

0 steps flagged

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

0 free parameters · 2 axioms · 0 invented entities

The theory rests on standard results from real analysis and prior work on Dixmier traces and eigenvalue asymptotics; no free parameters or new postulated entities are indicated in the abstract.

axioms (2)
  • standard math Karamata's theorem for regularly varying functions
    Invoked to establish the asymptotic additivity property for eigenvalue partial sums.
  • standard math Results of Kalton and Lord-Sukochev-Zanin on eigenvalue sums
    Combined with Karamata's theorem to obtain the key additivity property.

pith-pipeline@v0.9.1-grok · 5838 in / 1330 out tokens · 30057 ms · 2026-06-29T19:29:45.502053+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

69 extracted references · 2 canonical work pages

  1. [1]

    Hokkaido Math

    Aramaki, J.:On an extension of the Ikehara Tauberian theorem. Hokkaido Math. J.12(1983), 93–103

  2. [2]

    Hokkaido Math

    Aramaki, J.:On an extension of the Ikehara Tauberian theorem II. Hokkaido Math. J.25(1996), 257–276

  3. [3]

    Battisti, U.:Wodzicki residue of pseudodifferential operators on torus bundles over compact manifolds. Math. Z.271(2012), 971–1027

  4. [4]

    Battisti, U.; Berger, T.; Coriasco, S.:Weyl law on asymptotically Euclidean manifolds. Ann. di Matematica Pura ed Applicata195(2016), 1519–1548

  5. [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

  6. [6]

    Birman, M.S.; Solomyak, M.Z.:Remarks on the spectral shift function. J. Soviet Math.3(1975), 408–419

  7. [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)

  8. [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)

  9. [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

  10. [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

  11. [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

  12. [12]

    Oxford University Press, Oxford, 2000

    Boos, J.; Cass, P.:Classical and Modern Methods in Summability. Oxford University Press, Oxford, 2000

  13. [13]

    Universitext, Springer, New York, 2011

    Brezis, H.:Functional analysis, Sobolev spaces and partial differential equations. Universitext, Springer, New York, 2011

  14. [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

  15. [15]

    Camus, B.; Rautenberg, N.:Higher dimensional nonclassical eigenvalue asymptotics. J. Math. Phys.56 (2015), no. 2, 14 pp

  16. [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

  17. [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

  18. [18]

    Colin de Verdi` ere, L

    Colin de Verdi` ere, Y.; Hillairet, L.; Tr´ elat, E.:Spectral asymptotics for sub-Riemannian Laplacians. Preprint arXiv:2212.02920, 98 pp

  19. [19]

    Connes, A.:The action functional in non-commutative geometry. Comm. Math. Phys.117(1988), 673–683

  20. [20]

    Academic Press, Inc., San Diego, CA, 1994

    Connes, A.:Noncommutative geometry. Academic Press, Inc., San Diego, CA, 1994

  21. [21]

    Connes, A.:Heat expansion and zeta function. Ann. Funct. Anal.15(2024), no. 3, Paper No. 59, 13 pp

  22. [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

  23. [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

  24. [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)

  25. [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

  26. [26]

    Delange, H.:G´ en´ eralization du th´ eor` eme de Ikehara.Ann. Sci. Ecole Norm. Sup. (3)71(1954), 213–242

  27. [27]

    Dixmier, J.:Existence de traces non normales. C. R. Acad. Sci. Paris S´ er. A-B262(1966), A1107–A1108

  28. [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

  29. [29]

    Dykema, K; Figiel, T.; Weiss, G.; Wodzicki, M.:Commutator structure of operator ideals. Adv. Math.185 (2004), 1–79

  30. [30]

    Dykema, K; Kalton, N.:Spectral characterization of sums of commutators. II. J. Reine Angew. Math.504 (1998), 127–137,

  31. [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

  32. [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

  33. [33]

    B.:Real Analysis(2nd ed.), John Wiley, New York, 1999

    Folland, G. B.:Real Analysis(2nd ed.), John Wiley, New York, 1999

  34. [34]

    Gayral, V.; Sukochev, F.:Dixmier traces and extrapolation description of noncommutative Lorentz spaces. J. Funct. Anal.266(10) (2014) 6256–6317. 37

  35. [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

  36. [36]

    Goffeng, M.; Usachev, A.:Dixmier traces and residues on weak operator ideals.J. Math. Anal. Appl. 488(2020), no. 2, 124045, 52 pp

  37. [37]

    Acta Math.121(1968), 193–218

    H¨ ormander, L.:The spectral function of an elliptic operator. Acta Math.121(1968), 193–218

  38. [38]

    Kalton, N.:Spectral characterization of sums of commutators I. J. Reine Angew. Math.504(1998), 115–125

  39. [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

  40. [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

  41. [41]

    Lesch, M.; Peyerimhoff, N.:On index formulas for manifolds with metric horns. Comm. Partial Diff. Equ. 23(1998), 649–684

  42. [42]

    Levitina, G.; Usachev, A.:Symmetric functionals on simply generated symmetric spaces. J. Math. Anal. Appl.546:1 (2025)

  43. [43]

    Volume 1 Theory

    Lord, S.; Sukochev, F.; Zanin, D.:Singular traces. Volume 1 Theory. Berlin, Boston: De Gruyter, 2021, 2nd Edition

  44. [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)

  45. [45]

    Moroianu, S.:Weyl laws on open manifolds. Math. Ann.340(2008), 1–21

  46. [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

  47. [47]

    Pietsch, A.:More about singular traces on simply generated operator ideals. Arch. Math.115(2020) 299–308

  48. [48]

    Podle` s, P.:Quantum Spheres. Lett. Math. Phys.14(1987), 193–202

  49. [49]

    Ponge, R.:Semiclassical Weyl’s laws and noncommutative geometry. J. Noncomm. Geom.17(2023), I 719– 767

  50. [50]

    Preprint, arXiv, March 2026, 115 pages

    Ponge, R.:Noncommutative geometry, spectral asymptotics, and semiclassical analysis. Preprint, arXiv, March 2026, 115 pages

  51. [51]

    Preprint

    Ponge, R.; Tian, Y.:Hypermeasurability, Pietsch’s Correspondence, and Nonclassical Weyl Laws for Weak Lorentz Ideals. Preprint

  52. [52]

    Reed, M.; Simon, B.:Methods of modern mathematical physics. I. Functional analysis.Second edition. Academic Press, Inc., New York, 1980. xv+400 pp

  53. [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

  54. [54]

    Schwinger, J.:On the bound states of a given potential. Proc. Nat. Acad. Sci. U.S.A.47(1961), 122–129

  55. [55]

    Sedaev, A.; Sukochev, F.: Dixmier measurability in Marcinkiewicz spaces and applications. J. Funct. Anal. 265(2013), 3053–3066

  56. [56]

    Semenov, E.; Sukochev, F.; Usachev, A.; Zanin, D.:Banach limits and traces onL 1,∞. Adv. Math.285 (2015), 568–628

  57. [57]

    Springer, Berlin, 2001

    Shubin, M.A.:Pseudodifferential operators and spectral theory, 2nd edition. Springer, Berlin, 2001

  58. [58]

    Simon, B.:Some quantum operators with discrete spectrum but classically continuous spectrum. Ann. Physics 146(1983), no. 1, 209–220

  59. [59]

    Simon, B.:Nonclassical eigenvalue asymptotics. J. Funct. Anal.53(1983), no. 1, 84–98

  60. [60]

    Second edition

    Simon, B.:Trace ideals and their applications. Second edition. Mathematical Surveys and Monographs, 120. American Mathematical Society, Providence, RI, 2005

  61. [61]

    Sucheston, L.:Banach limits, Amer. Math. Monthly74(1967), 308–311

  62. [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

  63. [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

  64. [64]

    Math.252(2014), 406–428

    Sukochev, F.; Zanin, D.:Which traces are spectral?Adv. Math.252(2014), 406–428

  65. [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)

  66. [66]

    PreprintarXiv:2407.05296

    Tian, Y.; Usachev, A.:Extended zeta-function residues and singular traces. PreprintarXiv:2407.05296

  67. [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

  68. [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

  69. [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