A noncommutative integral on spectrally truncated spectral triples, and a link with quantum ergodicity

Edward A. McDonald; Eva-Maria Hekkelman

REVIEW 3 major objections 4 minor 30 references

A noncommutative integral on spectrally truncated spectral triples, and a link with quantum ergodicity

T0 review · 3 major / 4 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 Finite spectral truncations reproduce Connes' noncommutative integral under a Weyl law.

desk verdict A genuinely useful bridge between truncated spectral projections and Connes' noncommutative integral, conditional on a Weyl law and on cited internals. read the letter →

arxiv 2412.00628 v2 pith:LHMC64YH submitted 2024-12-01 math.OA math.FAmath.SP

Eva-Maria Hekkelman , Edward A. McDonald This is my paper · ORCID

classification math.OAmath.FAmath.SP MSC 46L8758B3435P20

keywords noncommutativeintegralspectraltripletruncationDixmiertraceWeyllawSzegőlimittheoremquantumergodicitydensityofstates

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

This paper proves that, on a spectral triple whose squared Dirac operator satisfies a Weyl law, the normalized finite-rank trace of a spectral truncation equals Connes' noncommutative integral after logarithmic averaging. The equality makes the noncommutative integral numerically and physically accessible, since only finite truncations can be computed or measured. A translation of a classical eigenvalue-limit theorem yields a Szegő limit formula for noncommutative geometry: the noncommutative integral of $f(A)$ is a logarithmic average of truncated traces of $f(P_\lambda A P_\lambda)$. The paper then defines classical ergodicity for a compact spectral triple as uniqueness of the invariant vector for a noncommutative geodesic flow, and shows that under local Weyl laws this implies quantum ergodicity of the Dirac operator. If the results hold, Connes' integration formula is not an abstract residue but the logarithmic limit point of concrete finite-dimensional data.

What carries the argument

The carrying object is the normalized Dixmier trace functional $a\mapsto \operatorname{Tr}_\omega(a\langle D\rangle^{-d})/\operatorname{Tr}_\omega(\langle D\rangle^{-d})$, Connes' noncommutative integral, compared against the finite-rank functionals $a\mapsto \operatorname{Tr}(P_\lambda aP_\lambda)/\operatorname{Tr}(P_\lambda)$. Three tools carry the proof: the Weyl law, which supplies eigenvalue growth $N(\lambda)\sim C\lambda^d$ and, through the Hardy–Littlewood Tauberian theorem, converts heat-trace asymptotics into Dixmier-trace coefficients; the logarithmic averaging operator $M$, which lets Cesàro means of diagonal matrix elements be exchanged with trace functionals and with subsequences of spectral projections; and the commutator estimate from [Wid79], which shows $\operatorname{Tr}(P_\lambda A(1-P_\lambda)BP_\lambda)/\operatorname{Tr}(P_\lambda)\to 0$ and opens the way to the Szegő limit theorem. In the ergodicity half, the noncommutative cotangent sphere $S^*A$ with its flow $G_t$ replaces the geodesic flow, and uniqueness of the vacuum state is the mechanism by which classical ergodicity implies quantum ergodicity.

What would settle it

Construct an operator $D$ with $\langle D\rangle^{-d}\in L^{1,\infty}$ but eigenvalue counting $N(\lambda)\sim C\lambda^d/\log\lambda$, and take $A$ with $\langle e_k,Ae_k\rangle=(-1)^k$. A direct calculation would settle the matter: if the logarithmic average of $\operatorname{Tr}(P_{\lambda_n}AP_{\lambda_n})/\operatorname{Tr}(P_{\lambda_n})$ still equals the Dixmier integral of $A$, the Weyl law is not actually necessary, whereas if they differ, the paper's stated regime is genuine.

Watch

Extended reading notes

Core claim

Let $D$ be closed self-adjoint with $\langle D\rangle^{-d}\in L^{1,\infty}$, let $\omega$ be an extended limit, and write $P_\lambda=\chi_{[-\lambda,\lambda]}(D)$. Assuming $D^2$ satisfies the Weyl law $\operatorname{Tr}(e^{-tD^2})\sim Ct^{-d/2}$, the paper proves for every $A\in B(H)$ that $$\frac{\operatorname{Tr}_\omega(A\langle D\$rangle^{{-d}}$)}{\operatorname{Tr}_\omega(\langle D\$rangle^{{-d}}$)} =(\omega\circ M)\left(\frac{\operatorname{Tr}(P_{\lambda_n}AP_{\lambda_n})}{\operatorname{Tr}(P_{\lambda_n})}\right),$$ where $M$ is logarithmic averaging over $n$. Thus the abstract Dixmier-trace integral is, in logarithmic average, the limit of concrete finite-dimensional normalized traces. The paper further proves the Szegő-type identity $$(\omega\circ M)\left(\frac{\operatorname{Tr}(f(P_{\lambda_n}AP_{\lambda_n}))}{\operatorname{Tr}(P_{\lambda_n})}\right) =\frac{\operatorname{Tr}_\omega(f(A)\langle D\$rangle^{{-d}}$)}{\operatorname{Tr}_\omega(\langle D\$rangle^{{-d}}$)}$$ for self-adjoint $A$ with bounded $[D,A]$ and $f\in C(\mathbb{R})$, $f(0)=0$. It closes with a noncommutative definition of ergodicity: a spectral triple is classically ergodic when the flow $G_t$ on $L^2(S^*A)$ has a unique invariant vector, and with local Weyl laws this property forces a density-one subsequence of eigenvectors along which diagonal matrix elements converge to the noncommutative integral.

Load-bearing premise

The argument rests on the spectrum of $D^2$ growing like a power of the eigenvalue — the Weyl law $\operatorname{Tr}(e^{-tD^2})\sim Ct^{-d/2}$, plus the same power-law growth for the localized variants $\operatorname{Tr}(ae^{-tD^2})$ — so that heat-trace coefficients and eigenvalue counting both align; without this, the equality between truncated traces and the noncommutative integral is not claimed.

Editorial extensions

If this is right

Whenever $D^2$ obeys the Weyl law and an operator $A$ has a convergent truncation sequence $\operatorname{Tr}(P_\lambda AP_\lambda)/\operatorname{Tr}(P_\lambda)$, the limit is forced to equal the noncommutative integral of $A$; if $A\langle D\rangle^{-d}$ is Dixmier measurable, logarithmic averaging can be replaced by an ordinary limit.
The Szegő limit theorem gives computable approximations of $\operatorname{Tr}_\omega(f(A)\langle D\rangle^{-d})$ from finite truncations $f(P_\lambda AP_\lambda)$, and genuine $\lambda\to\infty$ limits when the moments $\operatorname{Tr}(A^k e^{-tD^2})$ obey the same power law.
For discrete metric spaces whose ball sizes grow slowly enough, the density of states has a Dixmier-trace formula $\operatorname{Tr}_\omega(T M_w)=\omega\circ M(\operatorname{Tr}(T M_{\chi_{B(x_0,r_k)}})/|B(x_0,r_k)|)$, making the DOS a noncommutative-integral quantity.
Classical ergodicity of a spectral triple, defined as uniqueness of the $G_t$-invariant vector, implies quantum ergodicity: on a density-one subsequence, $\langle e_j,Ae_j\rangle$ converges to the noncommutative integral for all $A$ in the algebra.
Among standard examples, compact manifolds with ergodic geodesic flow and the Toeplitz spectral triple are classically ergodic, while almost-commutative manifolds and noncommutative tori are not because their symmetry produces many invariant vectors.

Reading between the lines

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

The equality in Theorem 3.2 suggests that classical Szegő-type determinant theorems can be read as computational recipes for Connes integrals: in any setting where a local Weyl law is verified, finite truncations give explicit numerical approximations to $\operatorname{Tr}_\omega(f(A)\langle D\rangle^{-d})$.
The definition of classical ergodicity opens a numerical route to quantum ergodicity in noncommutative examples: one can approximate $L^2(S^*A)$ and the $G_t$-invariant subspace at finite truncation and test whether its dimension collapses to one as the cutoff grows.
Where the Weyl law fails, the main identity is not claimed; the Fröhlich-functional section hints that finite-rank functionals may still track some thermodynamic limit through heat-kernel summability, but that would be a separate theorem rather than a corollary of this paper.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Gordon, if you only read one thing about this paper, read Theorem 2.7. It gives the clean statement that, whenever D² satisfies a Weyl law, the logarithmic average of the normalized trace on spectral projections agrees with Connes' noncommutative integral. That is exactly the bridge needed for truncated or numerical NCG, and it is new as far as I know. Proposition 2.1 is also sound; the non-positive case in the Tauberian step is handled by a shift. The paper does more: it translates Widom's Szegő limit theorem into a statement about spectral triples (Theorem 3.2), it gives a Dixmier trace formula for a density-of-states with an ω-independence criterion (Theorem 5.2, Proposition 5.1), and it proposes a definition of classical ergodicity for spectral triples (Section 6). The examples, especially the noncommutative torus, are concrete and convincing.

The main soft spot is conditionality from delegation. Lemma 3.1's reduction from [D,A] bounded to the commutator estimate is taken from the authors' preprint [HMN24]; Theorem 3.2's continuity extension is lifted from Widom; Theorem 6.11 is a direct consequence of Zelditch. None of these are demonstrated errors—my tracing of Sections 2 and 5 found the logic sound—but they mean the paper as written is not self-contained at three load-bearing hinges. The dependence on the authors' own corpus ([LSZ21], [Aza+22], [Hek25]) is heavy but not circular in the definitional sense; those are established or sibling results, and the paper says so. The quantum-ergodicity part is the least essential; it is more a translation than a new theorem, though it does correct a false claim in Zelditch (Example 6.12.2), which I appreciate.

One caveat to keep in mind: the Weyl-law assumption is the engine, and the paper honestly flags that it fails for some spectral triples ([HMN24, Ex 5.7]). That does not undercut the results; it just means the identification between truncated traces and the noncommutative integral is conditional, not unconditional.

Who should read this: anyone working in NCG with truncated spectral triples, and people in quantum ergodicity who wonder what Dixmier traces have to do with eigenfunction averages. It deserves a serious referee. I would accept it for review with the expectation that the referee checks the cited internals, especially [HMN24, Thm 6 & Prop 5.1] and [Zel96, Lemma 2.1]. My own verdict is conditional but leaning positive.

Referee Report

3 major / 4 minor

Summary. The paper proposes that the finite-rank normalized trace Tr(P_λ a P_λ)/Tr(P_λ) approximates Connes' noncommutative integral Tr_ω(a⟨D⟩^{-d})/Tr_ω(⟨D⟩^{-d}) for spectrally truncated spectral triples. Under a heat-kernel Weyl law and local Weyl laws it proves an equality after logarithmic averaging (Theorem 2.7), derives a Szegő limit theorem via Widom's commutator estimate (Theorem 3.2), relates the density of states to a Dixmier trace formula (Theorem 5.2), and proposes a notion of classical ergodicity for spectral triples (Definition 6.10) that yields a quantum-ergodicity theorem (Theorem 6.11). The main results are conditional on Weyl-law hypotheses and on several imported results, chiefly from [LSZ21], [Aza+22], and the authors' preprint [HMN24].

Significance. If the results are correct, this is a genuinely useful conceptual bridge: it identifies the truncated traces used in operator-system spectral triples with Connes' integral, and it gives a new interpretation of Szegő limit theorems as instances of noncommutative integration. I found no internal inconsistency in the central derivation of Theorem 2.7; the reader's strongest claim appears sound under the stated Weyl law, provided the imported lemmas are valid. Concrete strengths include the explicit and testable statement of Theorem 2.7, the sharp growth criterion in Proposition 5.1, the detailed descriptions of the noncommutative cotangent sphere in Example 6.9, and the corrections to earlier claims in [GL98, Lemma 2.2] and [Zel96, Corollary (3.1)]. The main weaknesses are that Proposition 2.1 as stated needs a positivity hypothesis for the Tauberian step, and that a load-bearing commutator estimate in Lemma 3.1 is delegated to an unpublished preprint.

major comments (3)

[Section 2, Proposition 2.1] The proof applies the Hardy–Littlewood Tauberian theorem from [Fel71, Theorem XII.5.2] to Tr(ae^{-tD²}) for arbitrary a∈B(H). In the standard form used there, the Laplace–Stieltjes transform must correspond to a positive or monotone measure; for non-positive a, the function λ↦Tr(P_λ a P_λ) is not monotone, so the second Tauberian conclusion is not justified as written. The proposition should be restricted to positive operators, or one should assume local Weyl laws for the positive and negative parts of a and decompose accordingly. This is load-bearing because Proposition 2.1 is used in the proof of Theorem 3.2(8) and in the proof of Theorem 6.11.
[Section 3, Lemma 3.1] The first paragraph of the proof imports the key implication '[D,A] bounded ⇒ [⟨D⟩^{1/2},A] bounded' from [HMN24, Theorem 6 and Proposition 5.1]. The subsequent Widom argument is standard, but this imported estimate is exactly what connects the commutator hypothesis to the Hilbert–Schmidt bound needed later in the proof. The manuscript should either state and prove this commutator estimate, or formulate Lemma 3.1 with [⟨D⟩^{1/2},A] bounded as an explicit hypothesis. As written, Theorem 3.2 rests on an unproved external result from a preprint.
[Section 6, Theorem 6.11] The hypotheses say only that the spectral triple has 'local Weyl laws', without specifying for which operators or with what uniformity. Proposition 2.1 gives full convergence only for those operators for which a local Weyl law is assumed. To obtain a single density-one subsequence that works for all A in the separable closure of A, one needs either pointwise convergence on a countable dense set together with a uniform approximation argument, or an explicit uniformity assumption. The statement should make this precise, since Theorem 6.11 is the main quantum-ergodicity conclusion.

minor comments (4)

[Section 2, proof of Theorem 2.7] In the justification of the third equality in equation (3), the text says 'the Weyl law gives that N(λ_n)/N(λ_{n+1})→1'. Since Lemma 2.6 is applied with ϕ(n)=n+1, the displayed condition should be (N(λ_n)+1)/(N(λ_{n+1})+1)→1; the abbreviation is harmless but should be corrected for consistency.
[Section 5, proof of Theorem 5.2] The final step, 'since we proved that λ_k∼k, it also follows that Tr_ω(M_w)=1', is too quick. One should display the ordered eigenvalues of M_w and note that they are asymptotic to 1/(k+1), so that the logarithmic partial sums converge to 1 for every extended limit.
[Section 6, Example 6.9(2)] The argument that |D|-|D_M|⊗1 is a negative-order pseudodifferential operator uses the notation op^{-1+ε}(|D_M|⊗1) from [HMN24] without definition. A one-sentence explanation, or a precise statement of the compactness result being used, would make the example substantially easier to verify.
[Section 2, Definition 2.3] The local Weyl law is stated for arbitrary operators a∈B(H) without any positivity condition. Given the fix needed in Proposition 2.1, it would be helpful to add a remark clarifying that in applications a is positive or decomposes into operators for which the local Weyl law is known.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the central identification is derived from explicit Weyl-law assumptions via cited or in-text lemmas; self-citations are not load-bearing.

full rationale

The paper's central claim (Theorem 2.7, eq. (3)) is an equality between the normalized Dixmier-trace functional and logarithmic averages of truncated normalized traces, proved under the explicit hypothesis that D^2 satisfies a Weyl law (Definition 2.3). The proof chain is transparent: Lemma 2.4 (quoted from LSZ21) gives the diagonal formula for the Dixmier trace under the Weyl law; Lemma 2.5 (proved in the text) rewrites the logarithmic mean as a logarithmic mean of Cesàro averages, i.e. block averages Tr(Q_n A Q_n)/Tr(Q_n); Lemma 2.6 (proved in the text, credited to Aza+22 in a weaker form) passes from Q_n to P_{\lambda_n}, using N(\lambda_{n+1})/N(\lambda_n)\to 1, which follows from the Weyl law. Each substantial step is either proven in the paper or cited to an external source; no step presupposes the equality being proved. The Weyl law is a stated assumption about the spectral density of D, not a re-labeling of the conclusion. Lemma 3.1, needed for the Szegő theorem, is proved in the text following Widom; the one external reduction, that [D,A] bounded implies [\langle D\rangle^{1/2},A] bounded, is supported by the alternative textbook reference GVF01, Lemma 10.13, and is a technical tool rather than a result equivalent to the target formula. Section 5 is an application of Theorem 2.7 to the operator M_w^{-1}; the statement Tr_\omega(M_w)=1 is derived from the proven eigenvalue asymptotic \lambda_k\sim k, with the Hek25 citation merely additional. Section 6 explicitly defines 'classically ergodic' and uses Zelditch's known theorem to conclude quantum ergodicity; this is a deliberate definitional bridge, not a derivation of a conclusion from a premise that already contains it. Self-citations to HMN24, Hek25, and Aza+22 occur, but the relevant results are either proved in the text, backed by alternative references, or used only in examples, so none is load-bearing. No circular step can be exhibited.

Assumptions & free parameters 0 free parameters · 8 assumptions · 2 invented entities

No physical constants are fitted: the paper is a pure operator-theoretic work with no numerical data. The extended limit ω is a chosen functional (a state on ℓ∞ vanishing on c₀), not a fitted parameter. The mathematical hypotheses (Weyl laws, Li1-summability, ball-growth, classical ergodicity) are stated domain assumptions that define the regime of validity; all constants in the identities (C, C(a), d) are determined by the asymptotics, not tuned to make the results true. The S*A construction itself is borrowed from Connes [Con95] and Golse-Leichtnam [GL98], not invented here.

assumptions (8)

domain assumption Weyl law: Tr(e^{-tD²}) ~ C t^{-d/2} as t→0, and local Weyl laws Tr(ae^{-tD²}) ~ C(a)t^{-d/2} for the operators under study
Assumed in Definition 2.3 and used in Proposition 2.1, Theorem 2.7, Theorem 3.2, Theorem 5.2 and Theorem 6.11. Genuinely restrictive; the paper cites [HMN24, Example 5.7] for spectral triples without it.
standard math Existence of an extended limit ω ∈ ℓ*_∞ (a state on ℓ∞ vanishing on c₀) and the Dixmier-trace calculus on L^{1,∞}
Definition 1.2 and throughout; relies on standard functional analysis (Hahn-Banach style choice) and the theory in [LSZ21] and [LMSZ23].
standard math Hardy's Tauberian theorems, including the Hardy-Littlewood theorem and Hardy's comparison theorems III.2 and III.5 in [Har49]
Used in Proposition 2.1 (eigenvalue asymptotics from heat trace) and Proposition 4.1 (equivalence of truncation and semigroup limits).
domain assumption Li1-summability for the Fröhlich functional section: Tr(e^{-t|D|}) < ∞ for t > β and lim_{t↘β} Tr(e^{-t|D|}) = ∞
Hypothesis of Section 4; the relation (11)-(12) is only claimed under this summability regime.
domain assumption Ball-growth condition |B(x0, r_{k+1})|/|B(x0, r_k)| → 1 on the discrete metric space
Proposition 5.1 shows this is equivalent to the Weyl law for M_w^{-1}; Theorem 5.2 and Corollary 5.3 assume it.
domain assumption Classical ergodicity of the spectral triple, i.e. the only G_t-invariant vectors in L²(S*A) are constants, together with separability of the closure of A and local Weyl laws
Definition 6.10 and Theorem 6.11; the quantum-ergodicity conclusion holds under these hypotheses.
domain assumption The commutator reduction [D,A] bounded implies [⟨D⟩^{1/2}, A] bounded, as stated in [HMN24, Theorem 6 and Proposition 5.1]
Load-bearing for Lemma 3.1 and hence Theorem 3.2; it is cited to the authors' own arXiv preprint (arXiv:2404.16338) and not proved in the text.
standard math On Zelditch's regularity: [Zel96, Lemma 2.1] and Widom's estimates [Wid79] hold as stated
Theorem 6.11 is proven by direct delegation to [Zel96, Lemma 2.1], and Theorem 3.2's continuity extension delegates to [Wid79, p. 144]; these are external published results.

invented entities (2)

classically ergodic spectral triple (Definition 6.10)
purpose: Proposed noncommutative analogue of 'ergodic geodesic flow' for a spectral triple: only constant G_t-invariant vectors in L²(S*A); feeds Theorem 6.11 (quantum ergodicity).
Definitional entity; its payoff is the implication in Theorem 6.11, which rests on [Zel96, Lemma 2.1], and the examples in 6.12, including the correction of [Zel96, Corollary (3.1)].
L²(S*A), the GNS-space noncommutative L² space of the noncommutative cotangent sphere S*A
purpose: Gives meaning to 'G_t-invariant vectors' so that classical ergodicity can be stated; also supports the L^p(S*A) spaces in Remark 6.16.
A standard GNS construction applied to Connes' S*A from [Con95]; introduced here as the arena for the ergodicity definition, not as a physical entity.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A noncommutative integral on spectrally truncated spectral triples, and a link with quantum ergodicity." pith.science (2026). https://pith.science/paper/LHMC64YH

@misc{pith2026241200628,
  author       = {Pith},
  title        = {Pith review of: A noncommutative integral on spectrally truncated spectral triples, and a link with quantum ergodicity},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LHMC64YH}},
  note         = {Machine review of arXiv:2412.00628}
}

abstract

We propose a simple approximation of the noncommutative integral in noncommutative geometry for the Connes--Van Suijlekom paradigm of spectrally truncated spectral triples. A close connection between this approximation and the field of quantum ergodicity and work by Widom in particular immediately provides a Szeg\H{o} limit formula for noncommutative geometry. We then make a connection to the density of states. Finally, we propose a definition for the ergodicity of geodesic flow for compact spectral triples. This definition is known in quantum ergodicity as uniqueness of the vacuum state for $C^*$-dynamical systems, and for spectral triples where local Weyl laws hold this implies that the Dirac operator of the spectral triple is quantum ergodic. This brings to light a close connection between quantum ergodicity and Connes' integral formula.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 28 canonical work pages

[1]

Azamov, E

[AMSZ20] N. Azamov, E. McDonald, F. Sukochev, and D. Zanin. A Dixmier trace formula for the density of states. Comm. Math. Phys. 377.3 (2020), pp. 2597–2628. [AW15] M. Aizenman and S. Warzel. Random operators: Disorder effects on quantum spectra and dynamics. Vol

work page 2020
[2]

Cor- rected reprint of the 1983 original

Cambridge Studies in Advanced Mathematics. Cor- rected reprint of the 1983 original. Cambridge University Press, Cambridge, 1989, pp. xii+329. [PF92] L. Pastur and A. Figotin. Spectra of random and almost-periodic operators. Vol

work page 1983
[4]

Second edition

C∗- and W∗-algebras, symmetry groups, decomposition of states. Second edition. Texts and Monographs in Physics. Springer-Verlag, New York, 1987, pp. xiv+505. [CFF93] A. H. Chamseddine, G. Felder, and J. Fröhlich. Gravity in noncommutative geometry. Comm. Math. Phys. 155.1 (1993), pp. 205–217. [CHT18] Y. Colin de Verdière, L. Hillairet, and E. Trélat. Spec...

work page 1993
[8]

Springer, Cham, 2018, pp

MA- TRIX Book Ser. Springer, Cham, 2018, pp. 183–201. [GRU19] M. Goffeng, A. Rennie, and A. Usachev. Constructing KMS states from infinite-dimensional spectral triples. J. Geom. Phys. 143 (2019), pp. 107–149. [GS20] L. Glaser and A. B. Stern. Understanding truncated non-commutative geometries through computer simulations. J. Math. Phys. 61.3 (2020), pp. 033507,

work page 2019
[11]

Glaser and A

[GS21] L. Glaser and A. B. Stern. Reconstructing manifolds from truncations of spectral triples. J. Geom. Phys. 159 (2021), Paper No. 103921,

work page 2021
[13]

Reed and B

[RS80] M. Reed and B. Simon. Methods of modern mathematical physics. I. Second edition. Func- tional analysis. Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York, 1980, pp. xv+400. [Shn74] A. I. Shnirelman. Ergodic properties of eigenfunctions. Uspehi Mat. Nauk 29.6(180) (1974), pp. 181–182. [Sim82] B. Simon. Schrödinger semigroups. Bu...

work page 1974
[17]

Gielen and W

[GS23] M. Gielen and W. D. van Suijlekom. Operator systems for tolerance relations on finite sets. Indag. Math. (N.S.) 34.3 (2023), pp. 606–621. 30 [GS95] G. Grubb and R. T. Seeley. Weakly parametric pseudodifferential operators and Atiyah- Patodi-Singer boundary problems. Invent. Math. 121.3 (1995), pp. 481–529. [Gui79] V . Guillemin. Some classical theo...

work page 2023
[20]

Second edition

Theory . Second edition. Vol. 46/1. De Gruyter Studies in Mathematics. De Gruyter, Berlin, 2021, pp. xxix+383. [MM24] M. Ma and Q. Ma. Semiclassical analysis, geometric representation and quantum er- godicity. Comm. Math. Phys. 405.11 (2024), Paper No. 259,

work page 2024

Show all 30 references

[21]

McDonald, F

[MSZ19] E. McDonald, F. Sukochev, and D. Zanin. A C∗-algebraic approach to the principal symbol II. Math. Ann. 374.1-2 (2019), pp. 273–322. [MSZ22] E. McDonald, F. Sukochev, and D. Zanin. A noncommutative Tauberian theorem and Weyl asymptotics in noncommutative geometry. Lett....

2019
[22]

Baaj and P

[BJ83] S. Baaj and P . Julg. Théorie bivariante de Kasparov et opérateurs non bornés dans les C∗-modules hilbertiens. C. R. Acad. Sci. Paris Sér. I Math. 296.21 (1983), pp. 875–878. [BR87] O. Bratteli and D. W. Robinson. Operator algebras and quantum statistical mechanics

1983
[26]

Laptev and Y

[LS96] A. Laptev and Y. Safarov. Szeg˝ o type limit theorems. J. Funct. Anal. 138.2 (1996), pp. 544–559. [LSZ21] S. Lord, F. Sukochev, and D. Zanin. Singular traces. Vol

1996
[28]

D’Andrea, F

[DLM14] F. D’Andrea, F. Lizzi, and P . Martinetti. Spectral geometry with a cut-off: topological and metric aspects. J. Geom. Phys. 82 (2014), pp. 18–45. [DS88] N. Dunford and J. T. Schwartz. Linear operators. Part I. Wiley Classics Library. General theory, With the assistance...

2014
[34]

Hekkelman, E

[HMN24] E.-M. Hekkelman, E. McDonald, and T. D. H. van Nuland. Multiple operator inte- grals, pseudodifferential calculus, and asymptotic expansions.arXiv preprint arXiv:2404.16338 (2024). [Kor05] Y. A. Kordyukov. Egorov’s theorem for transversally elliptic operators on foliat...

2024 arXiv
[36]

Lord and F

[LS11] S. Lord and F. A. Sukochev. Noncommutative residues and a characterisation of the noncommutative integral. Proc. Amer. Math. Soc. 139.1 (2011), pp. 243–257. 31 [LS24] M. Leimbach and W. D. van Suijlekom. Gromov-Hausdorff convergence of spectral truncations for tori. Adv...

2011
[44]

[Fel71] W. Feller. An introduction to probability theory and its applications. Vol. II. Second edition. John Wiley & Sons, Inc., New York-London-Sydney, 1971, pp. xxiv+669. [FGR98] J. Fröhlich, O. Grandjean, and A. Recknagel. Supersymmetric quantum theory, non- commutative geo...

1998
[45]

[Mur90] G. J. Murphy. C∗-algebras and operator theory. Academic Press, Inc., Boston, MA, 1990, pp. x+286. [Pet89] K. Petersen. Ergodic theory. Vol

1990
[73]

Hekkelman and E

[HM24] E.-M. Hekkelman and E. McDonald. A general Dixmier trace formula for the density of states on open manifolds. SIGMA Symmetry Integrability Geom. Methods Appl. 20 (2024), Paper No. 007,

2024
[74]

[HLP19b] H. Ha, G. Lee, and R. Ponge. Pseudodifferential calculus on noncommutative tori, II. Main properties. Internat. J. Math. 30.8 (2019), pp. 1950034,

2019
[91]

Ann. of Math. Stud. Princeton Univ. Press, Princeton, NJ, 1979, pp. 219–259. [GVF01] J. Gracia-Bondía, J. Várilly, and H. Figueroa. Elements of noncommutative geometry . Birkhäuser Advanced Texts: Basler Lehrbücher. [Birkhäuser Advanced Texts: Basel Textbooks]. Birkhäuser Bost...

2022
[125]

Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 2017, pp

CBMS Regional Conference Series in Mathematics. Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 2017, pp. xiv+394. [Zel87] S. Zelditch. Uniform distribution of eigenfunctions on compact hyperbolic surfaces. D...

1987
[138]

Ameri- can Mathematical Society, Providence, RI, 2012, pp

Graduate Studies in Mathematics. Ameri- can Mathematical Society, Providence, RI, 2012, pp. xii+431. 33

2012
[168]

American Mathematical Society, Providence, RI, 2015, pp

Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2015, pp. xiv+326. [Aza+22] N. Azamov, E.-M. Hekkelman, E. McDonald, F. Sukochev, and D. Zanin. An applica- tion of singular traces to crystals and percolation.J. Geom. Phys. 179 (2022), Paper No. 104608,

2022
[297]

Springer-Verlag, Berlin, 1992, pp

Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sci- ences]. Springer-Verlag, Berlin, 1992, pp. viii+587. [Pon23] R. Ponge. Connes’ integration and Weyl’s laws. J. Noncommut. Geom. 17.2 (2023), pp. 719–767. [Rie23] M. A. Rieffel. Convergen...

2023
[526]

[Ste19] A. B. Stern. Finite-rank approximations of spectral zeta residues. Lett. Math. Phys. 109.3 (2019), pp. 565–577. [Sui24a] W. D. van Suijlekom. A generalization of K-theory to operator systems. arXiv preprint arXiv:2409.02773 (2024). [Sui24b] W. D. van Suijlekom. Higher ...

2019 arXiv
[756]

Springer, Berlin, 1979, pp

Lecture Notes in Mathematics. Springer, Berlin, 1979, pp. vii+331. [CS21] A. Connes and W. D. van Suijlekom. Spectral truncations in noncommutative geom- etry and operator systems. Comm. Math. Phys. 383.3 (2021), pp. 2021–2067. [CS22] A. Connes and W. D. van Suijlekom. Toleran...

2021
[1917]

Springer-Verlag, Berlin, 2008, pp

Lecture Notes in Mathematics. Springer-Verlag, Berlin, 2008, pp. x+142. [Wid79] H. Widom. Eigenvalue distribution theorems for certain homogeneous spaces. J. Func- tional Analysis 32.2 (1979), pp. 139–147. [Zel10] S. Zelditch. Recent developments in mathematical quantum chaos....

1979
[2009]

Press, Somerville, MA, 2010, pp

Int. Press, Somerville, MA, 2010, pp. 115–204. [Zel17] S. Zelditch. Eigenfunctions of the Laplacian on a Riemannian manifold . Vol

2010
[2023]

[LPS10] S. Lord, D. Potapov, and F. Sukochev. Measures from Dixmier traces and zeta func- tions. J. Funct. Anal. 259.8 (2010), pp. 1915–1949. [LS10] S. Lord and F. Sukochev. Measure theory in noncommutative spaces. SIGMA Symme- try Integrability Geom. Methods Appl. 6 (2010), P...

2010
[2025]

[HLP19a] H. Ha, G. Lee, and R. Ponge. Pseudodifferential calculus on noncommutative tori, I. Oscillating integrals. Internat. J. Math. 30.8 (2019), pp. 1950033,

2019
[2359]

Springer, Cham, 2024, pp

Lecture Notes in Mathematics. Springer, Cham, 2024, pp. xiv+156. [LMSZ23] S. Lord, E. McDonald, F. Sukochev, and D. Zanin. Singular traces. Vol

2024

Pith tools

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

[1] [1]

Azamov, E

[AMSZ20] N. Azamov, E. McDonald, F. Sukochev, and D. Zanin. A Dixmier trace formula for the density of states. Comm. Math. Phys. 377.3 (2020), pp. 2597–2628. [AW15] M. Aizenman and S. Warzel. Random operators: Disorder effects on quantum spectra and dynamics. Vol

work page 2020

[2] [2]

Cor- rected reprint of the 1983 original

Cambridge Studies in Advanced Mathematics. Cor- rected reprint of the 1983 original. Cambridge University Press, Cambridge, 1989, pp. xii+329. [PF92] L. Pastur and A. Figotin. Spectra of random and almost-periodic operators. Vol

work page 1983

[3] [4]

Second edition

C∗- and W∗-algebras, symmetry groups, decomposition of states. Second edition. Texts and Monographs in Physics. Springer-Verlag, New York, 1987, pp. xiv+505. [CFF93] A. H. Chamseddine, G. Felder, and J. Fröhlich. Gravity in noncommutative geometry. Comm. Math. Phys. 155.1 (1993), pp. 205–217. [CHT18] Y. Colin de Verdière, L. Hillairet, and E. Trélat. Spec...

work page 1993

[4] [8]

Springer, Cham, 2018, pp

MA- TRIX Book Ser. Springer, Cham, 2018, pp. 183–201. [GRU19] M. Goffeng, A. Rennie, and A. Usachev. Constructing KMS states from infinite-dimensional spectral triples. J. Geom. Phys. 143 (2019), pp. 107–149. [GS20] L. Glaser and A. B. Stern. Understanding truncated non-commutative geometries through computer simulations. J. Math. Phys. 61.3 (2020), pp. 033507,

work page 2019

[5] [11]

Glaser and A

[GS21] L. Glaser and A. B. Stern. Reconstructing manifolds from truncations of spectral triples. J. Geom. Phys. 159 (2021), Paper No. 103921,

work page 2021

[6] [13]

Reed and B

[RS80] M. Reed and B. Simon. Methods of modern mathematical physics. I. Second edition. Func- tional analysis. Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York, 1980, pp. xv+400. [Shn74] A. I. Shnirelman. Ergodic properties of eigenfunctions. Uspehi Mat. Nauk 29.6(180) (1974), pp. 181–182. [Sim82] B. Simon. Schrödinger semigroups. Bu...

work page 1974

[7] [17]

Gielen and W

[GS23] M. Gielen and W. D. van Suijlekom. Operator systems for tolerance relations on finite sets. Indag. Math. (N.S.) 34.3 (2023), pp. 606–621. 30 [GS95] G. Grubb and R. T. Seeley. Weakly parametric pseudodifferential operators and Atiyah- Patodi-Singer boundary problems. Invent. Math. 121.3 (1995), pp. 481–529. [Gui79] V . Guillemin. Some classical theo...

work page 2023

[8] [20]

Second edition

Theory . Second edition. Vol. 46/1. De Gruyter Studies in Mathematics. De Gruyter, Berlin, 2021, pp. xxix+383. [MM24] M. Ma and Q. Ma. Semiclassical analysis, geometric representation and quantum er- godicity. Comm. Math. Phys. 405.11 (2024), Paper No. 259,

work page 2024