pith. machine review for the scientific record. sign in

arxiv: 2605.09306 · v1 · submitted 2026-05-10 · 🧮 math.FA · math.OA· math.SP

Recognition: 2 theorem links

· Lean Theorem

Weyl asymptotic formulas in the nilpotent Lie group setting

Dmitriy Zanin, Edward McDonald, Fedor Sukochev, Shiqi Liu

Pith reviewed 2026-05-12 02:15 UTC · model grok-4.3

classification 🧮 math.FA math.OAmath.SP
keywords Weyl asymptoticshypoelliptic operatorsgraded Lie groupsnilpotent Lie groupsspectral asymptoticssingular value estimatesanisotropic homogeneity
0
0 comments X

The pith

Negative fractional powers of hypoelliptic operators on graded Lie groups obey a Weyl spectral asymptotic.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper derives a spectral asymptotic formula for the negative fractional powers of hypoelliptic operators on graded Lie groups. These operators have principal symbols that are homogeneous with respect to a non-isotropic dilation structure. The work shows how to extend such formulas from the constant-coefficient setting to operators whose coefficients vary smoothly. A sympathetic reader cares because the leading term of the asymptotic encodes the volume of the unit ball in the symbol space and therefore determines the distribution of eigenvalues or singular values for these operators.

Core claim

We derive a spectral asymptotic formula for the negative fractional powers of hypoelliptic operators on graded Lie groups. Such operators have anisotropically homogeneous principal symbols. Our methods allow extension from constant-coefficient operators to those with smoothly varying coefficients. The principal technique is adaptation of singular-value perturbation arguments to the setting of nilpotent Lie groups, using a decomposition of graded Lie groups into homogeneous layers.

What carries the argument

Adaptation of singular-value perturbation arguments to nilpotent Lie groups equipped with a graded decomposition that respects the anisotropic homogeneity of the principal symbols.

If this is right

  • The eigenvalue or singular-value distribution of negative fractional powers is governed by the volume of the unit ball in the principal-symbol space.
  • The asymptotic extends to hypoelliptic operators whose coefficients are no longer constant.
  • A corresponding integration formula holds for traces of these operators on graded Lie groups.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same volume-based leading term may be used to define a noncommutative integral on the algebra generated by the operator.
  • The result suggests that spectral asymptotics can be obtained on other nilpotent groups once a suitable homogeneous decomposition is identified.
  • Numerical verification on low-dimensional examples such as the Heisenberg group would test the error-term control.

Load-bearing premise

The singular-value estimates that hold for constant-coefficient operators continue to hold for variable-coefficient operators on graded Lie groups without introducing new error terms that change the leading asymptotic.

What would settle it

An explicit computation of the eigenvalue counting function for a model hypoelliptic operator such as a sub-Laplacian on the three-dimensional Heisenberg group, compared against the volume predicted by the symbol.

read the original abstract

The asymptotic properties of negative order pseudo-differential operators have been an important part of the spectral theory since H.Weyl's classical results. In this paper, we derive a spectral asymptotic formula for the negative fractional powers of hypoelliptic operators on graded Lie groups. Such operators have anisotropically homogeneous principal symbols; for these, our results generalize known results of Birman and Solomyak from 1977. Additionally, our work implies a version of Connes' integration formula for hypoelliptic operators on graded Lie groups. Our methods allow us to extend results from constant-coefficient operators to those with smoothly varying coefficients. The principal technique is to adapt the singular value perturbation arguments of Birman and Solomyak to the setting of nilpotent Lie groups. The decomposing of graded Lie groups is inspired by Folland and Stein in their development of harmonic analysis on homogeneous groups.

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

2 major / 2 minor

Summary. The paper derives spectral asymptotic formulas for negative fractional powers of hypoelliptic operators on graded nilpotent Lie groups. It adapts singular-value perturbation arguments from Birman-Solomyak (1977) to this non-commutative setting via a Folland-Stein style decomposition of the group, extends the results from constant-coefficient to variable-coefficient operators, and obtains a version of Connes' integration formula as a consequence.

Significance. If the adaptation is carried through with controlled error terms, the work would usefully extend classical Weyl asymptotics to anisotropic symbols on graded groups and provide a concrete link to Connes' formula in the hypoelliptic case. The manuscript appropriately credits the foundational references and focuses on a technically natural generalization.

major comments (2)
  1. The central technical step is the adaptation of the Birman-Solomyak singular-value perturbation argument. The manuscript must supply an explicit remainder estimate showing that commutators generated by the Baker-Campbell-Hausdorff formula on the graded group remain of strictly lower order than the leading Weyl coefficient when the principal symbol is only anisotropically homogeneous. Without this estimate the leading-term claim is not yet justified.
  2. The passage from the eigenvalue asymptotic to the stated version of Connes' integration formula requires a precise statement of the trace-class remainder and the precise range of fractional powers for which the formula holds; these details are not fully spelled out in the current argument.
minor comments (2)
  1. Abstract, line 3: 'the decomposing of graded Lie groups' should read 'the decomposition of graded Lie groups'.
  2. Notation for the homogeneous degrees and the anisotropic symbol classes should be introduced once and used consistently; several ad-hoc symbols appear without prior definition.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. We address the two major comments point by point below and will revise the manuscript to incorporate the requested clarifications.

read point-by-point responses
  1. Referee: The central technical step is the adaptation of the Birman-Solomyak singular-value perturbation argument. The manuscript must supply an explicit remainder estimate showing that commutators generated by the Baker-Campbell-Hausdorff formula on the graded group remain of strictly lower order than the leading Weyl coefficient when the principal symbol is only anisotropically homogeneous. Without this estimate the leading-term claim is not yet justified.

    Authors: We agree that an explicit remainder estimate is required to fully justify the leading term. The manuscript adapts the Birman-Solomyak argument in Section 3 using the Folland-Stein decomposition of the graded group, but the BCH commutator estimates are currently only indicated rather than stated as a separate lemma. In the revision we will add a precise lemma establishing that these commutators are of strictly lower anisotropic order than the principal symbol, thereby confirming that they do not affect the leading Weyl coefficient. revision: yes

  2. Referee: The passage from the eigenvalue asymptotic to the stated version of Connes' integration formula requires a precise statement of the trace-class remainder and the precise range of fractional powers for which the formula holds; these details are not fully spelled out in the current argument.

    Authors: We acknowledge that the derivation of the Connes-type formula needs greater precision. The asymptotic holds for negative fractional powers, but the manuscript does not isolate the trace-class remainder or specify the exact interval for the exponent. We will insert a dedicated corollary that states the formula for fractional powers -α with 0 < α < 1 (consistent with the hypoellipticity assumptions) and explicitly records that the remainder operator is trace-class. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation adapts external Birman-Solomyak 1977 perturbation arguments and Folland-Stein decomposition to graded groups

full rationale

The paper derives the Weyl-type asymptotic for negative fractional powers by adapting the singular-value perturbation technique of Birman-Solomyak (1977) to hypoelliptic operators with anisotropically homogeneous symbols on graded nilpotent Lie groups, using the Folland-Stein homogeneous decomposition. This is an extension from constant-coefficient to variable-coefficient cases and is presented as generalizing external prior results rather than reducing the leading coefficient or remainder to a self-defined fit, a renamed input, or a self-citation chain. No equations or steps in the provided abstract or description collapse the claimed asymptotic back onto the paper's own fitted quantities or prior self-referential theorems by construction. The central claim therefore remains independent of the inputs it starts from.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the existence of a suitable decomposition of graded Lie groups (inspired by Folland-Stein) and on the validity of singular-value perturbation estimates when transferred to the nilpotent setting; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • domain assumption Hypoelliptic operators on graded Lie groups admit anisotropically homogeneous principal symbols that allow a well-defined notion of negative fractional powers.
    Invoked in the first sentence of the abstract as the setting in which the asymptotics are derived.
  • ad hoc to paper The singular-value perturbation arguments of Birman and Solomyak extend to the nilpotent Lie group setting without destroying the leading asymptotic term.
    Stated as the principal technique; this is the load-bearing transfer step.

pith-pipeline@v0.9.0 · 5456 in / 1570 out tokens · 38051 ms · 2026-05-12T02:15:20.250685+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

Reference graph

Works this paper leans on

300 extracted references · 300 canonical work pages

  1. [1]

    Voiculescu, Dan , TITLE =. J. Operator Theory , FJOURNAL =. 1981 , NUMBER =

  2. [2]

    Fischer, V\'eronique and Mikkelsen, S ren , TITLE =. Anal. Math. Phys. , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s13324-025-01051-z , URL =

  3. [3]

    Ewert, Eske , TITLE =. Doc. Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.4171/dm/940 , URL =

  4. [4]

    Schwinger, Julian , TITLE =. Proc. Nat. Acad. Sci. U.S.A. , FJOURNAL =. 1961 , PAGES =. doi:10.1073/pnas.47.1.122 , URL =

  5. [5]

    On the number of eigenvalues in a quantum scattering problem , JOURNAL =

    Birman, M. On the number of eigenvalues in a quantum scattering problem , JOURNAL =. 1961 , NUMBER =

  6. [6]

    Simon, Barry , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1976 , NUMBER =. doi:10.2307/1997482 , URL =

  7. [7]

    Ewert, Eske , TITLE =. J. Noncommut. Geom. , FJOURNAL =. 2023 , NUMBER =. doi:10.4171/jncg/502 , URL =

  8. [8]

    Dave, Shantanu and Haller, Stefan , TITLE =. Ann. Global Anal. Geom. , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s10455-022-09870-0 , URL =

  9. [9]

    Dave, Shantanu and Haller, Stefan , TITLE =. J. Geom. Anal. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s12220-018-00137-4 , URL =

  10. [10]

    , TITLE =

    Abramowitz, Milton and Stegun, Irene A. , TITLE =. 1964 , PAGES =

  11. [11]

    Carey, Alan. L. and Gayral, Victor. and Rennie, Adam. and Sukochev, Fedor. A. , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2014 , NUMBER =

  12. [12]

    and Krygin, Andrei V

    Chilin, Vladimir I. and Krygin, Andrei V. and Sukochev, Pheodor A. , TITLE =. Integral Equations Operator Theory , FJOURNAL =. 1992 , NUMBER =. doi:10.1007/BF01204237 , URL =

  13. [13]

    and Zanin, D

    Sukochev, F. and Zanin, D. , TITLE =. J. Operator Theory , FJOURNAL =. 2018 , NUMBER =

  14. [14]

    2013 , PAGES =

    Lord, Steven and Sukochev, Fedor and Zanin, Dmitriy , TITLE =. 2013 , PAGES =

  15. [15]

    2010 , PAGES =

    Ruzhansky, Michael and Turunen, Ville , TITLE =. 2010 , PAGES =. doi:10.1007/978-3-7643-8514-9 , URL =

  16. [16]

    1971 , PAGES =

    Sakai, Sh\^oichir\^o , TITLE =. 1971 , PAGES =

  17. [17]

    , TITLE =

    Shilov, Georgi E. , TITLE =. 1977 , PAGES =

  18. [18]

    [2023] 2023 , PAGES =

    Lord, Steven and McDonald, Edward and Sukochev, Fedor and Zanin, Dmitriy , TITLE =. [2023] 2023 , PAGES =

  19. [19]

    and Zanin, D

    Sukochev, F. and Zanin, D. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2018 , NUMBER =. doi:10.1007/s00220-017-3008-5 , URL =

  20. [20]

    and Zanin, Dmitriy

    Sukochev, Fedor. and Zanin, Dmitriy. , TITLE =. J. Funct. Anal. , FJOURNAL =. 2017 , NUMBER =. doi:10.1016/j.jfa.2016.10.016 , URL =

  21. [21]

    Cordes, Heinrich. O. , TITLE =. 1979 , PAGES =

  22. [22]

    , TITLE =

    Chakraborty, Partha Sarathi and Goswami, Debashish and Sinha, Kalyan B. , TITLE =. J. Operator Theory , FJOURNAL =. 2003 , NUMBER =

  23. [23]

    K -Theory , FJOURNAL =

    Rennie, Adam , TITLE =. K -Theory , FJOURNAL =. 2004 , NUMBER =. doi:10.1023/B:KTHE.0000021311.27770.e8 , URL =

  24. [24]

    Connes, Alain , TITLE =. Comm. Math. Phys. , FJOURNAL =. 1988 , NUMBER =

  25. [25]

    Dutkay, Dorin Ervin and Jorgensen, Palle E. T. , TITLE =. Math. Z. , FJOURNAL =. 2007 , NUMBER =. doi:10.1007/s00209-007-0104-9 , URL =

  26. [26]

    2016 , Eprint =

    Dorin Dutkay and John Haussermann and Chun-Kit Lai , Title =. 2016 , Eprint =

  27. [27]

    1994 , PAGES =

    Connes, Alain , TITLE =. 1994 , PAGES =

  28. [28]

    Elements of noncommutative geometry , SERIES =

    Gracia-Bond\'. Elements of noncommutative geometry , SERIES =. 2001 , PAGES =. doi:10.1007/978-1-4612-0005-5 , URL =

  29. [29]

    , TITLE =

    Lapidus, Michel L. , TITLE =. Topol. Methods Nonlinear Anal. , FJOURNAL =. 1994 , NUMBER =

  30. [30]

    Lapidus, Michel and Sarhad, Jonathan , TITLE =. J. Noncommut. Geom. , FJOURNAL =. 2014 , NUMBER =. doi:10.4171/JNCG/174 , URL =

  31. [31]

    , TITLE =

    Christensen, Erik and Ivan, Cristina and Lapidus, Michel L. , TITLE =. Adv. Math. , FJOURNAL =. 2008 , NUMBER =. doi:10.1016/j.aim.2007.06.009 , URL =

  32. [32]

    Mathematical physics in mathematics and physics (

    Guido, Daniele and Isola, Tommaso , TITLE =. Mathematical physics in mathematics and physics (. 2001 , MRCLASS =

  33. [33]

    Cipriani, Fabio and Guido, Daniele and Isola, Tommaso and Sauvageot, Jean-Luc , TITLE =. J. Funct. Anal. , FJOURNAL =. 2014 , NUMBER =. doi:10.1016/j.jfa.2014.02.013 , URL =

  34. [34]

    Graczyk, Jacek and Smirnov, Stas , TITLE =. Invent. Math. , FJOURNAL =. 1998 , NUMBER =. doi:10.1007/s002220050239 , URL =

  35. [35]

    , TITLE =

    Duren, Peter L. , TITLE =. 1970 , PAGES =

  36. [36]

    , TITLE =

    Peller, Vladimir V. , TITLE =. 2003 , PAGES =. doi:10.1007/978-0-387-21681-2 , URL =

  37. [37]

    and Sukochev, F

    Connes, A. and Sukochev, F. A. and Zanin, D. V. , TITLE =. Mat. Sb. , FJOURNAL =. 2017 , NUMBER =. doi:10.4213/sm8794 , URL =

  38. [38]

    Jones, P. W. and Makarov, Nikolai G. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1995 , NUMBER =. doi:10.2307/2118551 , URL =

  39. [39]

    2010 , PAGES =

    Przytycki, Feliks and Urba\'nski, Mariusz , TITLE =. 2010 , PAGES =. doi:10.1017/CBO9781139193184 , URL =

  40. [40]

    Denker, Manfred and Urba\'nski, Mariusz , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1991 , NUMBER =. doi:10.2307/2001795 , URL =

  41. [41]

    2003 , PAGES =

    Falconer, Kenneth , TITLE =. 2003 , PAGES =. doi:10.1002/0470013850 , URL =

  42. [42]

    Urba\'nski, Mariusz , TITLE =. Bull. Amer. Math. Soc. (N.S.) , FJOURNAL =. 2003 , NUMBER =. doi:10.1090/S0273-0979-03-00985-6 , URL =

  43. [43]

    1987 , PAGES =

    Rudin, Walter , TITLE =. 1987 , PAGES =

  44. [44]

    and Marshall, Donald E

    Garnett, John B. and Marshall, Donald E. , TITLE =. 2005 , PAGES =. doi:10.1017/CBO9780511546617 , URL =

  45. [45]

    , TITLE =

    Carleson, Lennart and Gamelin, Theodore W. , TITLE =. 1993 , PAGES =. doi:10.1007/978-1-4612-4364-9 , URL =

  46. [46]

    oran and L\

    Bergh, J\"oran and L\"ofstr\"om, J\"orgen , TITLE =. 1976 , PAGES =

  47. [47]

    2000 , PAGES =

    Hedenmalm, Haakan and Korenblum, Boris and Zhu, Kehe , TITLE =. 2000 , PAGES =. doi:10.1007/978-1-4612-0497-8 , URL =

  48. [48]

    Zhu, Ke He , TITLE =. J. Math. Anal. Appl. , FJOURNAL =. 1991 , NUMBER =. doi:10.1016/0022-247X(91)90091-D , URL =

  49. [49]

    Geometric dynamics (

    Sullivan, Dennis , TITLE =. Geometric dynamics (. 1983 , MRCLASS =. doi:10.1007/BFb0061443 , URL =

  50. [50]

    Semenov, Evgeniy and Sukochev, Fedor and Usachev, Alexandr and Zanin, Dmitriy , TITLE =. Adv. Math. , FJOURNAL =. 2015 , PAGES =. doi:10.1016/j.aim.2015.08.010 , URL =

  51. [51]

    , TITLE =

    Stein, Elias M. , TITLE =. 1970 , PAGES =

  52. [52]

    Deformation theory and symplectic geometry (

    Connes, Alain , TITLE =. Deformation theory and symplectic geometry (. 1997 , MRCLASS =

  53. [53]

    Ast\'erisque , FJOURNAL =

    Connes, Alain , TITLE =. Ast\'erisque , FJOURNAL =. 1997 , PAGES =

  54. [54]

    1969 , PAGES =

    Federer, Herbert , TITLE =. 1969 , PAGES =

  55. [55]

    Duke Math

    Christ, Michael and Geller, Daryl and G owacki, Pawe and Polin, Larry , TITLE =. Duke Math. J. , FJOURNAL =. 1992 , NUMBER =. doi:10.1215/S0012-7094-92-06802-5 , URL =

  56. [56]

    2006 , PAGES =

    Milnor, John , TITLE =. 2006 , PAGES =

  57. [57]

    and Lapidus, Michel L

    He, Christina Q. and Lapidus, Michel L. , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 1997 , NUMBER =. doi:10.1090/memo/0608 , URL =

  58. [58]

    and Maligranda, L

    Kami\'nska, A. and Maligranda, L. and Persson, L. E. , TITLE =. Math. Scand. , FJOURNAL =. 2003 , NUMBER =. doi:10.7146/math.scand.a-14398 , URL =

  59. [59]

    1979 , PAGES =

    Lindenstrauss, Joram and Tzafriri, Lior , TITLE =. 1979 , PAGES =

  60. [60]

    , TITLE =

    Montgomery-Smith, Stephen J. , TITLE =. Interaction between functional analysis, harmonic analysis, and probability (. 1996 , MRCLASS =

  61. [61]

    Gheorghe, Liliana Gabriela , TITLE =. Ann. Mat. Pura Appl. (4) , FJOURNAL =. 2001 , NUMBER =. doi:10.1007/s10231-001-8202-5 , URL =

  62. [62]

    Gayral, Victor and Sukochev, Fedor , TITLE =. J. Funct. Anal. , FJOURNAL =. 2014 , NUMBER =. doi:10.1016/j.jfa.2014.02.036 , URL =

  63. [63]

    2010 , PAGES =

    M\"orters, Peter and Peres, Yuval , TITLE =. 2010 , PAGES =. doi:10.1017/CBO9780511750489 , URL =

  64. [64]

    Benameur, Moulay-Tahar and Fack, Thierry , TITLE =. Adv. Math. , FJOURNAL =. 2006 , NUMBER =

  65. [65]

    , TITLE =

    Bratteli, Ola and Robinson, Derek W. , TITLE =. 1987 , PAGES =

  66. [66]

    , TITLE =

    Bratteli, Ola and Robinson, Derek W. , TITLE =. 1997 , PAGES =

  67. [67]

    Carey, A. L. and Gayral, V. and Rennie, A. and Sukochev, F. A. , TITLE =. J. Funct. Anal. , FJOURNAL =. 2012 , NUMBER =

  68. [68]

    and Phillips, John and Rennie, Adam and Sukochev, Fyodor A

    Carey, Alan L. and Phillips, John and Rennie, Adam and Sukochev, Fyodor A. , TITLE =. J. Funct. Anal. , FJOURNAL =. 2004 , NUMBER =

  69. [69]

    and Rennie, Adam and Sukochev, Fedor and Zanin, Dmitriy , TITLE =

    Carey, Alan L. and Rennie, Adam and Sukochev, Fedor and Zanin, Dmitriy , TITLE =. J. Spectr. Theory , FJOURNAL =. 2016 , NUMBER =

  70. [70]

    , TITLE =

    Connes, A. , TITLE =. Nuclear Phys. B Proc. Suppl. , FJOURNAL =. 1988 , PAGES =

  71. [71]

    Connes, Alain , TITLE =. J. Noncommut. Geom. , FJOURNAL =. 2013 , NUMBER =

  72. [72]

    and Moscovici, H

    Connes, A. and Moscovici, H. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 1995 , NUMBER =

  73. [73]

    , TITLE =

    Chernoff, Paul R. , TITLE =. J. Functional Analysis , VOLUME =. 1973 , PAGES =

  74. [74]

    and Gracia-Bond\' a, J

    Gayral, V. and Gracia-Bond\' a, J. M. and Iochum, B. and Sch\"ucker, T. and V\'arilly, J. C. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2004 , NUMBER =

  75. [75]

    , TITLE =

    Gayral, Victor and Iochum, Bruno and V\'arilly, Joseph C. , TITLE =. J. Funct. Anal. , FJOURNAL =. 2006 , NUMBER =

  76. [76]

    Surveys in noncommutative geometry , SERIES =

    Higson, Nigel , TITLE =. Surveys in noncommutative geometry , SERIES =. 2006 , MRCLASS =

  77. [77]

    Dixmier, Jacques , TITLE =. C. R. Acad. Sci. Paris S\'er. A-B , VOLUME =. 1966 , PAGES =

  78. [78]

    , TITLE =

    Wodzicki, M. , TITLE =. Invent. Math. , FJOURNAL =. 1984 , NUMBER =. doi:10.1007/BF01403095 , URL =

  79. [79]

    Dykema, Ken and Figiel, Tadeusz and Weiss, Gary and Wodzicki, Mariusz , TITLE =. Adv. Math. , FJOURNAL =. 2004 , NUMBER =

  80. [80]

    Kalton, Nigel and Lord, Steven and Potapov, Denis and Sukochev, Fedor , TITLE =. Adv. Math. , FJOURNAL =. 2013 , PAGES =

Showing first 80 references.