Word-Length Spectral Triples of $(\mathbb{Z}/2\mathbb{Z})\wr\mathbb{F}_{d}$ Are Not Metric

Mario Klisse

Word-Length Spectral Triples of $(\mathbb{Z}/2\mathbb{Z})\wr\mathbb{F}_{d}$ Are Not Metric

T0 review · 0 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For every integer d ≥ 2 and every finite symmetric generating set, the word-length spectral triple of the lamplighter group (Z/2Z)≀F_d is not a spectral metric space.

desk verdict First explicit counterexample to metric word-length spectral triples; proof is sound and self-contained, worth refereeing. read the letter →

arxiv 2608.12080 v1 pith:LZKMTVSS submitted 2026-08-12 math.OA math.FAmath.GRmath.MG

Mario Klisse This is my paper · ORCID

classification math.OAmath.FAmath.GRmath.MG MSC 46L8758B3446L8920F65

keywords Lamplightergroupspectraltriplecompactquantummetricspaceword-lengthfunctionfreenoncommutativegeometryLip-normstate

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 the first explicit family of counterexamples to a long-standing expectation in noncommutative metric geometry: word-length spectral triples need not be metric. For every $d\ge 2$, take the lamplighter group $G=(\mathbb{Z}/2\mathbb{Z})\wr\mathbb{F}_d$ and any finite symmetric generating set $S$; the diagonal operator $D_\ell$ on $\ell^2(G)$ whose eigenvalues are word lengths yields a spectral triple $(C[G],\ell^2(G),D_\ell)$. The theorem states that this triple is never a spectral metric space: the pseudometric it induces on the state space of the reduced group $C^*$-algebra does not recover the weak-$^*$ topology. The result matters because it closes a question that was explicitly open, showing that compact quantum metric spaces fail for a concrete, natural family of groups rather than only in hypothetical constructions.

What carries the argument

The load-bearing construction is the family $z_r=\frac{1}{\#S_r}\sum_{g\in S_r}\lambda(\chi_{\{g\}},e)$, the average of lamp toggles at all points of the radius-$r$ sphere in the Cayley tree of $\mathbb{F}_d$. Its bounded commutator rests on Proposition 2.3, a local perturbation estimate: adding a lamp at a point $x$ to a configuration $E$ changes word length by at most $C_S(1+d_T(x,H(E,g)))$, where $H(E,g)$ is the smallest subtree containing $E$, $e$, and $g$, and $C_S$ depends only on the generating set. This estimate lets the commutator $[D_\ell,z_r]$ be dominated by sums of operators $Q_{x,r}$ whose norms decay geometrically in the tree distance, giving a uniform bound independent of $r$. Separation comes from the abelian structure of the lamp subgroup: a multiplicative character on the lamp coordinates distinguishes $z_r$ and $z_{r'}$ by a fixed amount. Finally a total-boundedness criterion for compact quantum metric spaces converts the separated sequence into a proof that the triple is not metric.

What would settle it

Take $d=2$ with the standard generators of the free group and compute the operator norm of $[D_\ell,z_r]$ for growing $r$: Theorem A predicts a uniform upper bound, so any unbounded growth would disprove the main claim. Separately, one can hunt for a configuration $E,g,x\notin E$ where the left-hand side of Proposition 2.3 exceeds any constant multiple of $1+d_T(x,H(E,g))$; such a configuration would directly falsify the key estimate on which the proof rests.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem A: for every integer $d \ge 2$, if $G=(\mathbb{Z}/2\mathbb{Z})\wr\mathbb{F}_d$ and $S$ is any finite symmetric generating set with word-length function $\ell=\ell_S$, then the spectral triple $(C[G],\ell^2(G),D_\ell)$ is not a spectral metric space. The proof produces, for each radius $r$, an element $z_r$ in the group algebra obtained by averaging the lamp-toggling unitaries over the sphere of radius $r$ in the Cayley tree of $\mathbb{F}_d$. These elements have uniformly bounded commutator with $D_\ell$, so a suitable rescaling puts them all in the unit Lipschitz ball; yet they are mutually separated by a positive constant in norm, detected through a character (a multiplicative state) of the abelian lamp subgroup. Since a compact quantum metric space would force the unit Lipschitz ball to be totally bounded, the infinite separated sequence shows the metric property fails. The argument works uniformly in the generating set, so the counterexample is not tied to a special choice of word-length.

Load-bearing premise

The proof's load-bearing premise is the local estimate of Proposition 2.3, that toggling one lamp changes word length by at most a constant (depending on the generating set) times one plus the tree distance from the new lamp to the minimal subtree spanning the old configuration, the identity, and the base displacement; if that estimate failed for some finite symmetric generating set, the averaging elements would not be shown to lie in the unit Lipschitz ball and the separation argument would break down.

Editorial extensions

If this is right

For every finite symmetric generating set of $(\mathbb{Z}/2\mathbb{Z})\wr\mathbb{F}_d$, $d\ge2$, the word-length spectral triple fails to be a compact quantum metric space; the obstruction is intrinsic to the group and the word-length construction, not to one generating set.
The positive results known for polynomial-growth groups and word-hyperbolic groups cannot be extended to all finitely generated groups; the lamplighter groups form a concrete boundary case.
The unit Lipschitz ball contains an infinite, uniformly separated sequence, so the pseudometric induced on the state space cannot coincide with the weak-$^*$ topology for these triples.
This is the first explicit family of groups settling the previously open question of whether every word-length function induces a compact quantum metric space; the answer is no.

Reading between the lines

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

The same averaging-and-separation strategy may generalize to wreath products $\mathbb{Z}/2\mathbb{Z}\wr\Gamma$ with $\Gamma$ any non-elementary hyperbolic group, using hyperbolic geodesics in place of the tree; the paper states this as an open question rather than a claim.
Because the separation is detected by a single character of the abelian lamp subgroup, replacing the lamp group by any finite abelian group with a nontrivial character is a plausible route to further counterexamples; this is an extension the paper does not pursue.
The local perturbation estimate Proposition 2.3 is the natural place to probe the dividing line: if a group admits a length function with a finite-range-to-tree-distance bound and a spheres-indexed separated sequence, metricity fails; searching for such bounds may yield a criterion for metric spectral triples.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

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

Colleague,

Short version: this note delivers what it claims. For every d ≥ 2 and every finite symmetric generating set of the lamplighter group (Z/2Z)≀F_d, the canonical word-length spectral triple is not a spectral metric space. That is the first explicit family of groups for which a word-length spectral triple fails to be a compact quantum metric space, resolving an open problem that Austad's survey [2] explicitly flags as having no known example. I checked the proof chain and it holds.

What is new: the construction. The paper defines averaging operators z_r over the sphere of radius r in the tree, uses a local perturbation estimate (Proposition 2.3) to control the commutator [D, z_r] uniformly in r, and then separates the z_r via a character on the abelian lamp subgroup. The technical vehicle is not a routine transfer of earlier positive results; it is tailored to the wreath product structure. The proof is self-contained after the standard Ozawa–Rieffel characterization of Lip-norms.

The weakest step, as the reader also notes, is Proposition 2.3, which bounds word-length variation when toggling a lamp at distance r from the hull H(E,g). I went through it carefully. The upper bound (2.1) uses Lemma 2.1 to place the new lamp within R_S + J_S of a prefix base point; the lower bound (2.2) is even cheaper. The constant C_S = 2c_S(R_S+J_S+1)+d_S dominates both, and the application in Theorem 3.4 is exact because H_x(E△{x},g)=H_x(E,g). Proposition 3.3's norm bound for B_r via the Q_{x,r} is also sound; the decomposition into orthogonal pieces is clean.

Soft spots are minor. The paper is a short note, so it leaves broader questions open—e.g., whether the metric property depends on the generating set. That is not a flaw. The acknowledgement of GPT-5.6 Sol as an exploratory tool is transparent and does not affect the mathematics; the arguments are explicitly verified by the author. Citation pattern looks appropriate: the key external input is Ozawa–Rieffel, and the survey [2] is cited for the open problem. No fitted parameters, no hidden assumptions.

For whom: anyone working in non-commutative metric geometry or coarse geometry of groups. It is a clean counterexample that should be cited. I would send it to a serious referee. Given that the central proof is explicit and complete, my recommendation is accept after a routine check; nothing here warrants heavy revision.

Referee Report

0 major / 4 minor

Summary. The paper studies the canonical word-length spectral triple (C[G], ℓ²(G), D_ℓ) associated with a countable discrete group G and a proper length function, asking whether the Connes pseudo-metric metrizes the weak-∗ topology on the state space of the reduced group C∗-algebra, i.e., whether the triple is a compact quantum metric space in Rieffel's sense. The main result, Theorem A, asserts that for the lamplighter group G = (Z/2Z)≀F_d with d ≥ 2, equipped with the word-length ℓ_S coming from any finite symmetric generating set S, this spectral triple is not metric. The proof constructs elements z_r that average the lamp toggles over the sphere S_r of radius r in the Cayley tree of F_d, proves via a local perturbation inequality (Proposition 2.3) and an operator-norm estimate (Proposition 3.3) that the commutator seminorm of z_r is uniformly bounded in r, and then shows that the normalized elements form a uniformly separated sequence in the set {a ∈ C[G] : τ(a) = 0, ||[D_ℓ,a]|| ≤ 1}. By the Ozawa–Rieffel characterization (Proposition 1.3), total boundedness of this set is necessary for a compact quantum metric space, yielding the contradiction.

Significance. If correct, Theorem A provides the first explicit family of groups for which the canonical word-length spectral triple fails to be a compact quantum metric space, answering a question that the paper documents as open in the literature (see [2]). The proof is explicit and self-contained: Proposition 2.3 tracks all constants in terms of the generating set, Proposition 3.3 reduces the operator norm to a geometric-series computation, and the final separation uses a concrete character of the lamp subgroup. There are no fitted parameters, no hidden normalization choices, and no reliance on the author's earlier work. The result is likely to stimulate further investigation of generating-set independence for metric spectral triples and of wreath products over hyperbolic groups (Question 3.5). The paper is a clean, publishable contribution to noncommutative metric geometry.

minor comments (4)

[Section 2, Proposition 2.3] The proof says 'We may assume m ≥ 1' but does not explicitly handle the degenerate case m = 0, i.e., (χ_E,g) = e. In that case the claimed inequality reduces to ℓ_S(χ_{{x}},e) ≤ C_S(1+d_T(x,e)), which follows from the same estimates; please add a sentence covering this case.
[Section 3, Theorem A] When defining L1 and asserting that ilde z_r belongs to L1, the condition τ( ilde z_r) = 0 is not explicitly verified. It holds because each unitary λ_{(χ_{{g}},e)} with g ∈ S_r and r ≥ 1 has trivial trace; please spell this out for completeness.
[Section 3, Proposition 3.3] The identity B_r = (1/#S_r)Σ_{x∈S_r}λ(χ_{{x}},e) + (1/#S_r)Σ_{k=1}^r Σ_{x∈S_k} Q_{x,r} is stated without derivation. A short explanation that the coefficient of δ_{(χ_{E△{y}},g)} in the double sum equals Σ_{k=1}^r δ(g∉T_{v_k(y)})δ((E\{y})∩T_{v_k(y)}=∅), which by Lemma 3.1 coincides with d_T(y,H_y(E,g)), would improve readability.
[Section 2, Proposition 2.3] After combining (2.1) and (2.2), the text does not explicitly note that 2c_S R_S + d_S is bounded by C_S and that 2c_S(r+R_S+J_S)+d_S is bounded by C_S(1+d_T(x,H(E,g))); adding this one-line estimate would make the final constant C_S fully transparent.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the derivation is self-contained and uses no fitted inputs or author-imported uniqueness assumptions.

full rationale

The paper's central claim (Theorem A) is established by a direct chain of estimates that does not presuppose the conclusion. The only external result doing heavy lifting, Proposition 1.3 (the Ozawa–Rieffel total-boundedness characterization of compact quantum metric spaces), is a standard theorem cited from independent prior work and is not derived from the present paper's assumptions. The key local estimate, Proposition 2.3, is proved in full from the geometry of the Cayley tree and the finite generating set; it bounds the variation of word length under a single lamp toggle by C_S(1+d_T(x,H(E,g))), with the constant C_S = 2c_S(R_S+J_S+1)+d_S explicitly constructed from the generating set. No parameter is fitted to the target result, and the separated sequence in the proof of Theorem A is not used to define any of the constants or operators. The commutator bound in Theorem 3.4 is obtained from Proposition 2.3 and the operator norm bound in Proposition 3.3, both proved within the manuscript. The separation estimate for the z_r uses a character on the Abelian lamp subgroup; this is a genuine lower bound and does not assume failure of metrizability. The author's own prior works [11] and [12] appear only as background references for related constructions and are not load-bearing for the proof. The acknowledgment of AI assistance and the open questions in Section 3 are not used as inputs to the argument. Accordingly, the paper contains no circular step: no self-definition, no fitted input renamed as a prediction, and no self-citation chain supporting the main theorem.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

No free parameters fitted to data appear. The constants R_S, J_S, c_S, d_S, and C_S are explicit formulas in terms of the generating set S, not adjustable numbers chosen to make data fit. The operators z_r and B_r are constructed from group elements and estimates, not postulated entities; no new particles, forces, dimensions, or conserved quantities are introduced.

assumptions (3)

standard math Ozawa-Rieffel characterization: a non-degenerate spectral triple is a compact quantum metric space iff for every state φ the set {a : L_D(a)≤1, φ(a)=0} is totally bounded in A.
Proposition 1.3, cited to [15]. Used in proof of Theorem A to test total boundedness of L1; this is external standard machinery, not an input equivalent to the conclusion.
standard math The canonical word-length spectral triple (C[G],ℓ^2(G),D_ℓ) is a non-degenerate spectral triple for a countable discrete group with proper length function.
Standard construction from Connes [7]; used to set up the problem. The paper cites [7] and uses it without reproving.
standard math Characters of the abelian lamp subgroup B extend to states on C*_r(G), so they can be used to bound norms from below.
Standard Gelfand theory for abelian C*-algebras and Hahn-Banach extension of states; used in the separation step of Theorem A.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Word-Length Spectral Triples of $(\mathbb{Z}/2\mathbb{Z})\wr\mathbb{F}_{d}$ Are Not Metric." pith.science (2026). https://pith.science/paper/LZKMTVSS

@misc{pith2026260812080,
  author       = {Pith},
  title        = {Pith review of: Word-Length Spectral Triples of $(\mathbbZ/2\mathbbZ)\wr\mathbbF_d$ Are Not Metric},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LZKMTVSS}},
  note         = {Machine review of arXiv:2608.12080}
}

abstract

Given a countable discrete group equipped with a proper length function, one can construct a natural spectral triple on its reduced group C$^{\ast}$-algebra. A well-studied question in non-commutative metric geometry is whether the Connes pseudo-metric associated with such a triple recovers the weak$^{\ast}$-topology on the state space, thereby yielding a compact quantum metric space in the sense of Rieffel. While this metric property is known to hold for several classes of groups - including those of polynomial growth and word-hyperbolic groups - it was widely expected that not every word-length function induces a compact quantum metric space. Despite this, no explicit counterexample has been identified to date. In this note, we provide the first family of counterexamples by proving that for every integer $d \geq 2$ the canonical spectral triple of the Lamplighter group $(\mathbb{Z}/2\mathbb{Z})\wr\mathbb{F}_{d}$, equipped with the word-length function associated with a finite symmetric generating set, fails to be a spectral metric space.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 17 canonical work pages

[2]

Austad,Quantum metrics from length functions on ´ etale groupoids, arXiv preprint arXiv:2602.20032 (2026)

A. Austad,Quantum metrics from length functions on ´ etale groupoids, arXiv preprint arXiv:2602.20032 (2026)

arXiv 2026
[1]

Antonescu, E

C. Antonescu, E. Christensen,Metrics on group C ∗-algebras and a non-commutative Arzel` a–Ascoli theorem, J. Funct. Anal. 214 (2004), no. 2, 247–259

work page 2004
[3]

Austad, J

A. Austad, J. Kaad and D. Kyed,Quantum metrics on crossed products with groups of polynomial growth, Trans. Amer. Math. Soc. 378 (2025), no. 3, 1939–1973

work page 2025
[4]

Bellissard, M

J. Bellissard, M. Marcolli, K. Reihani,Dynamical systems on spectral metric spaces, arXiv preprint arXiv:1008.4617 (2010)

arXiv 2010
[5]

Bhowmick, C

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

work page 2015
[6]

Christ, M

M. Christ, M. A. Rieffel,Nilpotent group C ∗-algebras as compact quantum metric spaces, Canad. Math. Bull. 60 (2017), no. 1, 77–94

work page 2017
[7]

Connes,Compact metric spaces, Fredholm modules, and hyperfiniteness,Ergodic Theory Dynam

A. Connes,Compact metric spaces, Fredholm modules, and hyperfiniteness,Ergodic Theory Dynam. Systems 9 (1989), no. 2, 207–220

work page 1989
[8]

Hawkins, A

A. Hawkins, A. Skalski, S. White, J. Zacharias,On spectral triples on crossed products arising from equicon- tinuous actions, Math. Scand. 113 (2013), no. 2, 262–291

work page 2013

Show all 19 references

[9]

Farsi, T

C. Farsi, T. Landry, N. S. Larsen, J. Packer,Spectral triples for noncommutative solenoids and a Wiener’s lemma, J. Noncommut. Geom. 18 (2024), no. 4, 1415–1452

2024
[10]

J. Kaad, D. Kyed,Dynamics of compact quantum metric spaces, Ergodic Theory Dynam. Systems 41 (2021), no. 7, 2069–2109

2021
[11]

Klisse,Crossed products as compact quantum metric spaces, Canad

M. Klisse,Crossed products as compact quantum metric spaces, Canad. J. Math. 78 (2026), no. 1, 245–275. WORD-LENGTH SPECTRAL TRIPLES OF (Z/2Z)≀F d ARE NOT METRIC 11

2026
[12]

Klisse, H

M. Klisse, H. Perovi´ c,Quantum metric structures on Iwahori-Hecke algebras, arXiv preprint arXiv:2508.07857 (2025)

2025 arXiv
[13]

B. Long, W. Wu,Twisted group C ∗-algebras as compact quantum metric spaces, Results Math. 71 (2017), no. 3, 911–931

2017
[14]

B. Long, W. Wu,Twisted bounded-dilation group C ∗-algebras as C∗-metric algebras, Sci. China Math. 64 (2021), no. 3, 547–572

2021
[15]

Ozawa, M

N. Ozawa, M. Rieffel,Hyperbolic group C ∗-algebras and free-product C∗-algebras as compact quantum metric spaces, Canad. J. Math. 57 (2005), no. 5, 1056–1079

2005
[16]

Rieffel,Metrics on states from actions of compact groups, Doc

M. Rieffel,Metrics on states from actions of compact groups, Doc. Math. 3 (1998), 215–229

1998
[17]

Rieffel,Metrics on state spaces, Doc

M. Rieffel,Metrics on state spaces, Doc. Math. 4 (1999), 559–600

1999
[18]

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

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

2002
[19]

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

M. Rieffel,Gromov–Hausdorff distance for quantum metric spaces, Mem. Amer. Math. Soc. 168 (2004), no. 796, 1–65. CAU Kiel, Department of Mathematics, Heinrich-Hecht-Platz 6, 24118 Kiel, Germany Email address:klisse@math.uni-kiel.de

2004

Pith tools

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

[1] [2]

Austad,Quantum metrics from length functions on ´ etale groupoids, arXiv preprint arXiv:2602.20032 (2026)

A. Austad,Quantum metrics from length functions on ´ etale groupoids, arXiv preprint arXiv:2602.20032 (2026)

arXiv 2026

[2] [1]

Antonescu, E

C. Antonescu, E. Christensen,Metrics on group C ∗-algebras and a non-commutative Arzel` a–Ascoli theorem, J. Funct. Anal. 214 (2004), no. 2, 247–259

work page 2004

[3] [3]

Austad, J

A. Austad, J. Kaad and D. Kyed,Quantum metrics on crossed products with groups of polynomial growth, Trans. Amer. Math. Soc. 378 (2025), no. 3, 1939–1973

work page 2025

[4] [4]

Bellissard, M

J. Bellissard, M. Marcolli, K. Reihani,Dynamical systems on spectral metric spaces, arXiv preprint arXiv:1008.4617 (2010)

arXiv 2010

[5] [5]

Bhowmick, C

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

work page 2015

[6] [6]

Christ, M

M. Christ, M. A. Rieffel,Nilpotent group C ∗-algebras as compact quantum metric spaces, Canad. Math. Bull. 60 (2017), no. 1, 77–94

work page 2017

[7] [7]

Connes,Compact metric spaces, Fredholm modules, and hyperfiniteness,Ergodic Theory Dynam

A. Connes,Compact metric spaces, Fredholm modules, and hyperfiniteness,Ergodic Theory Dynam. Systems 9 (1989), no. 2, 207–220

work page 1989

[8] [8]

Hawkins, A

A. Hawkins, A. Skalski, S. White, J. Zacharias,On spectral triples on crossed products arising from equicon- tinuous actions, Math. Scand. 113 (2013), no. 2, 262–291

work page 2013