arxiv: 2604.27475 · v1 · submitted 2026-04-30 · 🧮 math.OA

Recognition: unknown

Gromov-Hausdorff Convergence of Spectral Truncations for Quantum Groups

Qin Wang, Xintao Peng

Pith reviewed 2026-05-07 08:31 UTC · model grok-4.3

classification 🧮 math.OA

keywords quantum groupsGromov-Hausdorff convergencespectral truncationsDirac operatorcompact quantum groupsdiscrete quantum groupsnoncommutative geometry

0 comments

The pith

Spectral truncations of quantum groups converge in the quantum Gromov-Hausdorff distance when defined from proper length functions.

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

The paper aims to show that spectral truncations, obtained by cutting off the spectrum of a Dirac operator derived from a length function, converge to the original quantum group in the Gromov-Hausdorff sense. This extends earlier work on ordinary tori to a wide range of quantum groups, both compact and discrete. A reader would care because it offers a concrete way to approximate noncommutative spaces by finite-dimensional ones while preserving metric information. The results cover examples such as the quantum SU(N) and SO(N) groups as well as discrete quantum groups that grow polynomially.

Core claim

Using a proper length function, we define a Dirac operator and the associated spectral truncations. This work extends the previous convergence results for tori to a broad class of quantum groups, and provides the first Gromov-Hausdorff convergence result for spectral truncations on quantum groups, encompassing both compact and discrete quantum groups. Our results are applicable to SU(N), SO(N) and discrete quantum groups with strong polynomial growth.

What carries the argument

The Dirac operator induced by a proper length function on the quantum group, which generates the spectral truncations for the convergence argument.

If this is right

The convergence holds for the quantum special unitary groups SU(N) and special orthogonal groups SO(N).
Discrete quantum groups with strong polynomial growth also admit such convergent spectral truncations.
Finite spectral truncations serve as metric approximations to the full quantum group structure.
The approach recovers and generalizes the known convergence for classical tori as a special case.

Where Pith is reading between the lines

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

Different choices of length function on the same quantum group could be compared to find ones that give faster convergence.
The finite truncations might be used to compute approximate geometric invariants numerically for specific quantum groups.
The technique could be tested on other classes of quantum homogeneous spaces not covered in the current results.

Load-bearing premise

There exists a proper length function on the quantum group that induces a Dirac operator whose spectral truncations satisfy the required convergence estimates.

What would settle it

For the quantum group SU(2) with a standard length function, compute the quantum Gromov-Hausdorff distance between the full group and its spectral truncations at successively higher levels and check whether the distance tends to zero.

read the original abstract

We study the quantum Gromov-Hausdorff convergence of spectral truncations for compact quantum groups. Using a proper length function, we define a Dirac operator and the associated spectral truncations. This work extends the previous convergence results for tori (Leimbach-van Suijlekom) to a broad class of quantum groups, and provides the first Gromov-Hausdorff convergence result for spectral truncations on quantum groups, encompassing both compact and discrete quantum groups. Our results are applicable to $SU(N)$,$SO(N)$ and discrete quantum groups with strong polynomial growth.

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.

Desk Editor's Note private letter to a colleague

This extends spectral truncation convergence from tori to quantum groups but the discrete polynomial-growth case rests on estimates that are not yet visible.

read the letter

The paper claims the first Gromov-Hausdorff convergence result for spectral truncations on quantum groups, covering SU(N), SO(N), and discrete quantum groups with strong polynomial growth. It builds a Dirac operator from a proper length function and shows that the truncations converge in the quantum Gromov-Hausdorff metric, extending the torus work of Leimbach and van Suijlekom. That extension is the actual new content. The abstract states the result cleanly and identifies the groups where the construction applies, which is useful for anyone tracking metric structures in noncommutative geometry. The compact cases look plausible because those groups already have standard length functions and known spectral properties. The discrete case is the part that needs checking. Polynomial growth controls the spectrum, but the quantum Gromov-Hausdorff distance also requires uniform bounds on the noncommutative Lipschitz seminorms and the embedding of the truncated algebras into the Lipschitz algebra. If those commutator estimates are not uniform, the distance need not go to zero. The stress-test concern lands here: the abstract asserts applicability without showing the extra control that the torus proof used. Since only the abstract is in front of me, I cannot verify whether the paper supplies those bounds or just assumes they carry over. This work is aimed at specialists in operator algebras and noncommutative geometry who already know the torus results and want to see the next examples. A reader outside that circle will find the motivation thin. The paper is coherent on its own terms and engages the right literature, so it deserves a serious referee to examine the length-function estimates and the discrete-case arguments. I would send it to peer review rather than desk-reject it.

Referee Report

2 major / 2 minor

Summary. The paper proves quantum Gromov-Hausdorff convergence of spectral truncations associated to Dirac operators constructed from proper length functions on compact quantum groups. It extends the torus results of Leimbach-van Suijlekom to a general class of compact quantum groups (including SU(N) and SO(N)) and claims the first such result that also covers discrete quantum groups with strong polynomial growth.

Significance. If the central claims hold, the work supplies the first general convergence result for spectral truncations on quantum groups, furnishing a concrete approximation scheme for the quantum metric spaces arising from both compact and discrete quantum groups. This would strengthen the link between noncommutative geometry and finite-dimensional truncations, with potential utility for numerical and computational aspects of quantum symmetry.

major comments (2)

[§4] §4 (discrete case): The proof that the truncation error vanishes in the quantum Gromov-Hausdorff distance for discrete quantum groups with strong polynomial growth relies on the length function controlling the noncommutative Lipschitz seminorm. However, the estimates provided appear to bound only the spectrum of the Dirac operator; it is not shown that the commutator bounds [D,a] for a in the dense *-subalgebra remain controlled uniformly under truncation, which is required for the embedding into the Lipschitz algebra to yield vanishing distance (cf. the torus argument in Leimbach-van Suijlekom). This is load-bearing for the discrete extension.
[Definition 3.2 and Theorem 3.5] Definition 3.2 and Theorem 3.5: The construction of the Dirac operator from an arbitrary proper length function is stated to induce a quantum metric space, but the verification that the resulting seminorm satisfies the Lipschitz condition needed for the quantum GH distance is only sketched for the compact case and not carried out explicitly for the discrete case.

minor comments (2)

[§2] The notation for the quantum Gromov-Hausdorff distance is introduced in §2 without an explicit reference to the original definition by Rieffel or the quantum version used in the torus paper; adding a short recall would improve readability.
[Theorem 4.1] In the statement of the main theorem for discrete groups, the growth condition is called 'strong polynomial growth' but the precise relation to the Haagerup property or the length function is not restated; a one-sentence reminder would help.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough reading and insightful comments on our manuscript. The suggestions help clarify the presentation of the discrete case. We address each major comment below and indicate where revisions will be made to strengthen the arguments without altering the main theorems.

read point-by-point responses

Referee: [§4] §4 (discrete case): The proof that the truncation error vanishes in the quantum Gromov-Hausdorff distance for discrete quantum groups with strong polynomial growth relies on the length function controlling the noncommutative Lipschitz seminorm. However, the estimates provided appear to bound only the spectrum of the Dirac operator; it is not shown that the commutator bounds [D,a] for a in the dense *-subalgebra remain controlled uniformly under truncation, which is required for the embedding into the Lipschitz algebra to yield vanishing distance (cf. the torus argument in Leimbach-van Suijlekom). This is load-bearing for the discrete extension.

Authors: We agree that the uniform control of the commutator bounds under truncation requires more explicit treatment in the discrete setting. In the current manuscript, the strong polynomial growth of the length function is used to control the spectrum of D and the tail estimates for the spectral projections, but the passage from spectral bounds to uniform Lipschitz seminorm control for the truncated operators is only implicit via the definition of the length function. To make this rigorous and parallel to the torus case, we will insert a new auxiliary result (Lemma 4.3) proving that ||[D_N, a]|| ≤ C ||[D, a]|| for the truncated Dirac operators D_N, with C independent of N, using the polynomial growth to bound the off-diagonal terms. This will be added in §4, and the proof of the vanishing quantum GH distance will cite it explicitly. revision_made = 'yes' revision: yes
Referee: [Definition 3.2 and Theorem 3.5] Definition 3.2 and Theorem 3.5: The construction of the Dirac operator from an arbitrary proper length function is stated to induce a quantum metric space, but the verification that the resulting seminorm satisfies the Lipschitz condition needed for the quantum GH distance is only sketched for the compact case and not carried out explicitly for the discrete case.

Authors: We acknowledge that the verification in Theorem 3.5 is more detailed for the compact case. Definition 3.2 applies uniformly to both compact and discrete quantum groups via the same proper length function, and the resulting seminorm L(a) = ||[D, a]|| is asserted to satisfy the quantum metric space axioms. However, the explicit check that L separates points in the dense subalgebra and induces the correct topology (via lower semicontinuity) for discrete quantum groups is indeed only sketched by appealing to the properness of the length function. We will expand the proof of Theorem 3.5 with a dedicated paragraph (or short subsection) that carries out this verification explicitly for the discrete case, using the strong polynomial growth to ensure the seminorm is finite on the dense algebra and that the induced distance recovers the original topology. No change to the statements of Definition 3.2 or Theorem 3.5 is required. revision_made = 'yes' revision: yes

Circularity Check

0 steps flagged

No significant circularity; extension relies on external prior results

full rationale

The paper defines a Dirac operator from a proper length function on quantum groups and claims Gromov-Hausdorff convergence of its spectral truncations by extending the torus results of Leimbach-van Suijlekom. No equations or steps in the provided abstract or context reduce a prediction to a fitted parameter by construction, invoke self-citations as load-bearing uniqueness theorems, or smuggle ansatzes via author-overlapping citations. The central claim is framed as an independent extension applicable to SU(N), SO(N), and discrete quantum groups with polynomial growth, with the derivation chain self-contained against the cited external benchmarks rather than self-referential.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the existence of a proper length function that defines a Dirac operator whose truncations converge; this is a domain assumption rather than a derived property.

axioms (1)

domain assumption Existence of a proper length function on the given quantum group that induces a suitable Dirac operator
Invoked to define the spectral truncations whose convergence is asserted.

pith-pipeline@v0.9.0 · 5384 in / 1105 out tokens · 72874 ms · 2026-05-07T08:31:48.896004+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

28 extracted references · 1 canonical work pages

[1]

van Suijlekom, Spectral truncations in noncommutative geometry and operator systems, Commun

Alain Connes, Walter D. van Suijlekom, Spectral truncations in noncommutative geometry and operator systems, Commun. Math. Phys. 383 (3) (2021) 2021–2067

2021
[2]

Guixiang Hong, Simeng Wang, Xumin Wang, Pointwise convergence of noncommutative Fourier series, Mem. Am. Math. Soc. 302 (1520) (2024), v+86

2024
[3]

David Kyed, L2-Betti numbers of coamenable quantum groups, M¨ unster J. Math. 1 (2008) 143–179

2008
[4]

van Suijlekom, Gromov-Hausdorff convergence of spectral truncations for tori, Adv

Malte Leimbach, Walter D. van Suijlekom, Gromov-Hausdorff convergence of spectral truncations for tori, Adv. Math. 439 (2024) 109496

2024
[5]

van Suijlekom, Gromov-Hausdorff convergence of state spaces for spectral trunca- tions, J

Walter D. van Suijlekom, Gromov-Hausdorff convergence of state spaces for spectral trunca- tions, J. Geom. Phys. 162 (2021) 104075

2021
[6]

Malte Leimbach, Convergence of Peter–Weyl truncations of compact quantum groups, Preprint, arXiv:2409.16698, 2024

work page arXiv 2024
[7]

van Suijlekom, Convergence of spectral truncations for compact metric groups, Int

Yvann Gaudillot-Estrada, Walter D. van Suijlekom, Convergence of spectral truncations for compact metric groups, Int. Math. Res. Not. (13) (2025) rnaf197

2025
[8]

Hanfeng Li, Compact quantum metric spaces and ergodic actions of compact quantum groups, J. Funct. Anal. 256 (10) (2009) 3368–3408

2009
[9]

Rieffel, Gromov-Hausdorff distance for quantum metric spaces, Mem

Marc A. Rieffel, Gromov-Hausdorff distance for quantum metric spaces, Mem. Am. Math. Soc. 168 (796) (2004) 1–65. Appendix 1 by Hanfeng Li

2004
[10]

Rieffel, Matrix algebras converge to the sphere for quantum Gromov-Hausdorff distance, Mem

Marc A. Rieffel, Matrix algebras converge to the sphere for quantum Gromov-Hausdorff distance, Mem. Am. Math. Soc. 168 (796) (2004) 67–91

2004
[11]

Rieffel, Convergence of Fourier truncations for compact quantum groups and finitely generated groups, J

Marc A. Rieffel, Convergence of Fourier truncations for compact quantum groups and finitely generated groups, J. Geom. Phys. 192 (2023) 104921

2023
[12]

Woronowicz, Compact quantum groups, in: Sym´ etries Quantiques, Les Houches, 1995, North-Holland, Amsterdam, 1998, pp

Stanis law L. Woronowicz, Compact quantum groups, in: Sym´ etries Quantiques, Les Houches, 1995, North-Holland, Amsterdam, 1998, pp. 845–884

1995
[13]

Burago, Y

D. Burago, Y. Burago, and S. Ivanov. A course in metric geometry, volume 33 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2001

2001
[14]

Amenability and strong amenability for fusion algebras with appliations to subfator theory

Fumio Hiai and Masaki Izumi. Amenability and strong amenability for fusion algebras with appliations to subfator theory. Internat. J. Math., 9(6):669 722, 1998

1998
[15]

Rieffel, Group C*-algebras as compact quantum metric spaces, Doc

Marc A. Rieffel, Group C*-algebras as compact quantum metric spaces, Doc. Math. 7 (2002) 605–651

2002
[16]

Are Austad and David Kyed.Quantum metrics from length function on quantum groups,J. Funct. Anal.290(2026)111256

2026
[17]

Teo Banica,Introduction to Quantum Groups,Springer,Cham,2022

2022
[18]

Rieffel, Hyperbolic group C*-algebras and free-product C*- algebras as compact quantum metric spaces, Can

Narutaka Ozawa, Marc A. Rieffel, Hyperbolic group C*-algebras and free-product C*- algebras as compact quantum metric spaces, Can. J. Math. 57 (5) (2005) 1056–1079

2005
[19]

Simeng Wang, Lacunary Fourier series for compact quantum groups, Commun. Math. Phys. 349 (3) (2017) 895–945

2017
[20]

Vergnioux, Roland,The property of rapid decay for discrete quantum groups. J. Operator Theory 57 (2007), no. 2, 303–324

2007
[21]

Metrics on group C*-algebras and a non commu- tative Arzel’a-Ascoli theorem

Cristina Antonescu and Erik Christensen. Metrics on group C*-algebras and a non commu- tative Arzel’a-Ascoli theorem. J. Funct. Anal., 214(2):247-259, 2004

2004
[22]

Rieffel, Compact quantum metric spaces, in: Operator Algebras, Quantization, and Non commutative Geometry, in: Contemp

Marc A. Rieffel, Compact quantum metric spaces, in: Operator Algebras, Quantization, and Non commutative Geometry, in: Contemp. Math., vol. 365, Amer. Math. Soc., Providence, RI, 2004, pp. 315–330. GH CONVERGENCE OF SPECTRAL TRUNCATION FOR QUANTUM GROUPS 27

2004
[23]

Noncommut

Jyotishman Bhowmick, Christian Voigt, Joachim Zacharias, Compact quantum metric spaces from quantum groups of rapid decay, J. Noncommut. Geom. 9 (4) (2015) 1175–1200

2015
[24]

Compact metric spaces, Fredholm modules, and hyperfiniteness

Alain Connes. Compact metric spaces, Fredholm modules, and hyperfiniteness. Ergodic Theory and Dynamical Systems, 9(2):207-220, 1989

1989
[25]

Nilpotent group C*algebras as compact quantum metric spaces

Michael Christ and Marc A Rieffel. Nilpotent group C*algebras as compact quantum metric spaces. Canadian Mathematical Bulletin, 60(1):77-94, 2017

2017
[26]

From Hopf algebras to multiplicative unitaries and beyond

Thomas Timmermann, An Invitation to Quantum Groups and Duality, EMS Textbooks in Mathematics, European Mathematical Society (EMS), Z¨ urich, 2008. From Hopf algebras to multiplicative unitaries and beyond

2008
[27]

Jens Kaad, External products of spectral metric spaces, Pure Appl. Funct. Anal. 9 (5) (2024) 1175–1211

2024
[28]

Roland Vergnioux, The property of rapid decay for discrete quantum groups, J. Oper. Theory 57 (2) (2007) 303–324

2007