REVIEW 3 minor 45 references
Quasi-local Algebras and Asymptotic Expanders
T0 review · 0 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read A uniform quasi-local algebra is nuclear precisely when its metric space has Property A, and the averaging projection detects a new class of 'asymptotic expanders'.
desk verdict Solid paper: Theorem 5.5 closes nuclearity as a separator between uniform quasi-local and uniform Roe algebras, and the asymptotic expander notion is a genuinely useful new tool; the only real gap is an unproved but standard lemma. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing objects are the uniform quasi-local algebra $C^*_{uq}(X)$, the $C^*$-algebra of all operators on $\ell^2(X)$ whose matrix entries decay uniformly with distance between their indices, and the averaging projection $P_X$ onto the span of the constant functions on each piece $X_n$. The mechanism connecting them is the norm identity $\|\chi_A P_F \chi_B\| = \sqrt{|A||B|}/\sqrt{|F|}$, which turns quasi-locality of $P_X$ into a statement about products of sizes of far-apart subsets. The proof of the nuclearity converse relies on an auxiliary characterization of Property A, Lemma 5.3, in which the usual uniformly bounded supports of Property A vectors are replaced by strong summability at infinity; quasi-locality of the approximating operators supplies exactly that summability.
What would settle it
Find a bounded-geometry metric space $X$ that satisfies the strong-summability condition of Lemma 5.3(2) but fails Property A; then the unproved lemma is false and the proof of Theorem 5.5 loses its converse. Alternatively, compute the limit $\sup_{A,B \subseteq X_n,\ d(A,B) \ge R} |A||B|/|X_n|^2$ for a concrete candidate sequence: if Theorem 3.11 is right, this limit vanishes exactly when every $\alpha$-sized subset has $|\partial_R A| > c|A|$ for some $c,R$ independent of $n$.
Extended reading notes
Core claim
The central discovery is a pair of equivalences. On the geometric side, for a coarse disjoint union $X = \bigsqcup_n X_n$ of finite metric spaces, the averaging projection $P_X$ is quasi-local if and only if $\{X_n\}$ is a sequence of asymptotic expanders, meaning that for every $\alpha > 0$ there are $c \in (0,1)$ and $R > 0$ such that every subset $A$ of size between $\alpha |X_n|$ and $|X_n|/2$ satisfies $|\partial_R A| > c|A|$. On the $C^*$-algebraic side, for a bounded-geometry metric space $X$, the uniform quasi-local algebra $C^*_{uq}(X)$ is nuclear if and only if $X$ has Property A; the same equivalence holds for nuclearity of the inclusion $C^*_u(X) \hookrightarrow C^*_{uq}(X)$, for compactness of all ghost operators in $C^*_{uq}(X)$, and for $\ell^\infty(X)$ separating ideals. Consequently nuclearity cannot distinguish $C^*_{uq}(X)$ from $C^*_u(X)$. Being a sequence of asymptotic expanders is also a coarse property when the pieces are sufficiently connected, and any coarse disjoint union of asymptotic expanders fails uniform local amenability and hence Property A.
Load-bearing premise
The converse direction of the nuclearity theorem rests on an unproved characterization of Property A, Lemma 5.3, which replaces uniformly bounded supports with a strong-summability condition at infinity; if that characterization is false, the argument collapses.
Editorial extensions
If this is right
- If $X$ has Property A, then $C^*_u(X) = C^*_{uq}(X)$, so the two algebras are identical and nuclearity is the same property for both.
- A coarse disjoint union of asymptotic expanders is never uniformly locally amenable, and in particular never has Property A.
- If an asymptotic expander sequence coarsely embeds into Hilbert space, its averaging projection would be quasi-local but outside $C^*_u(X)$, giving the first strict inclusion $C^*_u(X) \subsetneq C^*_{uq}(X)$ and answering the corresponding open question from the quasi-locality literature.
- Every expander sequence is an asymptotic expander sequence, but the converse is false: the deformed expander sequence of Example 3.7 is asymptotic yet not an expander sequence.
- Under a piece-respecting coarse equivalence, which is automatic for $D$-connected pieces such as connected graphs, the asymptotic expander property is preserved.
Reading between the lines
- If Lemma 5.3 turns out to fail, the present proof of the converse in Theorem 5.5 would need a different route, although the theorem itself could still be true.
- The quasi-locality criterion for $P_X$ is a finite, checkable condition on boundary growth; it could be used computationally to test random graph sequences for this weak form of expansion.
- One might expect a coarse embedding obstruction: if asymptotic expanders are eventually shown to be non-embeddable in Hilbert space, then Proposition 7.4 would force $C^*_u(X) = C^*_{uq}(X)$ for all such spaces, aligning them with ordinary expanders.
- The strong-summability form of Property A in Lemma 5.3 suggests a possible bridge to metric sparsification and operator norm localization, where similar decay conditions replace uniform support bounds.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a weakening of expanders called asymptotic expanders, shows that the averaging projection on a coarse disjoint union of finite metric spaces is quasi-local if and only if the sequence is a sequence of asymptotic expanders (Theorem 3.11), proves that this property is preserved under piece-preserving coarse equivalences and under coarse equivalence of D-connected pieces (Theorem 3.15 and Corollary 3.16), and shows that a coarse disjoint union of asymptotic expanders is not uniformly locally amenable (Theorem 4.4). The main result, Theorem 5.5, states that for a metric space X of bounded geometry the following are equivalent: X has Property A; the uniform quasi-local algebra C*_uq(X) is nuclear; the inclusion C*_u(X) → C*_uq(X) is nuclear; all ghost operators in C*_uq(X) are compact; and ℓ∞(X) separates ideals of C*_uq(X). The paper also gives a Cartan subalgebra characterization of the equality C*_u(X)=C*_uq(X) (Proposition 6.1) and discusses open questions.
Significance. If the results hold, they provide a new and sharp geometric test for the difference between uniform Roe algebras and uniform quasi-local algebras, and a new characterization of Property A. The notion of asymptotic expanders is natural and likely to be useful. The proofs of the main theorems are detailed and internally consistent, and the paper is careful with hypotheses. The central theorem is shown to reduce to an elementary (but omitted) reformulation of Property A in Lemma 5.3, which the authors state is standard; this is the only point requiring attention. The paper also gives credit to related work and clearly states remaining open questions.
minor comments (3)
- [Section 5, Lemma 5.3] Lemma 5.3 is stated without proof. Since it is used in the proof of Theorem 5.5(3)⇒(1), the authors should include the short proof (truncation and renormalization) or provide a reference.
- [Section 3.3, Corollary 3.16] In the proof of Corollary 3.16, the adaptation of [16, Lemma 1] from connected graphs to D-connected metric spaces is only sketched; please add a brief justification.
- [Section 5, Lemma 5.4 and Section 3.2, Lemma 3.18] There are minor typos: in Lemma 5.4, 'Cauchy-Schwartz' should be 'Cauchy-Schwarz'; in the statement of Lemma 3.18, the displayed inequality appears to have a missing fraction bar and should be formatted as 1 - N_Y(D)·|∂_D(B)|/|B| ≥ 1/2.
Circularity Check
No significant circularity: the asymptotic-expander characterization is a genuine isoperimetric equivalence, and the nuclearity theorem rests on external benchmarks plus a routine (though unproved) truncation lemma.
full rationale
The derivation chain is not circular. Theorem 3.11 proves, via an explicit epsilon-delta argument, that quasi-locality of the averaging projection is equivalent to the combinatorial isoperimetric condition (3); Definition 3.12 then names that condition 'asymptotic expanders'. The definition is therefore not used as an input to prove Theorem 3.11, nor is quasi-locality renamed: condition (3) is an independent graph-theoretic property and the equivalence is established by contradiction and induction. Theorem 4.4 similarly derives non-uniform local amenability from asymptotic expanders using Proposition 3.9 and a sparsification lemma, not by definitional fiat. For the main nuclearity theorem, the forward direction uses Proposition 5.2 ([30], uniform Roe algebra nuclear iff Property A) and Proposition 2.4 ([34], C*_u=C*_uq under Property A); [34] is a prior theorem by two of the authors, but it is cited with stated assumptions that do not include the target nuclearity result, so it is independent support rather than a self-citation chain. The converse (3)=>(1) constructs Property-A vectors and invokes Lemma 5.3. Flag: Lemma 5.3 is asserted without proof ('The proof is elementary, hence we leave it to the readers'), so the converse has an omitted-proof gap; however the stated equivalence is the standard truncation/renormalization of supported Property-A vectors, and the constructed vectors satisfy the strong-summability condition (c) directly from quasi-locality. Missing proof is a rigor concern, not circularity. No fitted parameter is renamed as a prediction, and no equation reduces by construction to its own input.
Assumptions & free parameters
assumptions (6)
- domain assumption X has bounded geometry throughout (Section 2).
- standard math Known theorem: X has Property A iff C*_u(X) is nuclear ([30, Theorem 5.3]).
- standard math Known theorem: if X has Property A then C*_u(X) equals C*_uq(X) ([34, Theorem 3.3]).
- standard math Known characterization: Property A iff all ghost operators in C*_u(X) are compact ([38, Theorem 1.2.4], [26, Theorem 1.3]).
- standard math Known result: a space coarsely embeddable into Hilbert space has no non-compact ghost projections in its Roe algebra ([11, Proposition 35], [45, Theorem 1.1]).
- ad hoc to paper Lemma 5.3: a slight modification of the Property A characterization with condition (c) (strong summability) is equivalent; proof omitted, claimed elementary.
Cite this review
Pith. "Pith review of Quasi-local Algebras and Asymptotic Expanders." pith.science (2026). https://pith.science/paper/Y2DPYVC5
@misc{pith2026190807814,
author = {Pith},
title = {Pith review of: Quasi-local Algebras and Asymptotic Expanders},
year = {2026},
howpublished = {\url{https://pith.science/paper/Y2DPYVC5}},
note = {Machine review of arXiv:1908.07814}
}
abstract
In this paper, we study the relation between the uniform Roe algebra and the uniform quasi-local algebra associated to a metric space of bounded geometry. In the process, we introduce a weakening of the notion of expanders, called asymptotic expanders. We show that being a sequence of asymptotic expanders is a coarse property under certain connectedness condition, and it implies non-uniformly local amenability. Moreover, we also analyse some $C^*$-algebraic properties of uniform quasi-local algebras. In particular, we show that a uniform quasi-local algebra is nuclear if and only if the underlying metric space has Property A.
Reference graph
Works this paper leans on
-
[34]
J´ anˇSpakula and Jiawen Zhang. Quasi-locality and Property A. Journal of Functional Analysis, 278(1):108299, 2020
work page 2020
-
[1]
Amenability and uniform Roe algebras
Pere Ara, Kang Li, Fernando Lled´ o, and Jianchao Wu. Amenability and uniform Roe algebras. Journal of Mathematical Analysis and Applications , 459(2):686–716, 2018
work page 2018
-
[2]
Ideal structure and pure infinite ness of ample groupoid C∗ - algebras
Christian B¨ onicke and Kang Li. Ideal structure and pure infinite ness of ample groupoid C∗ - algebras. Ergodic Theory Dynam. Systems , 40(1):34–63, 2020
work page 2020
-
[3]
Niblo, J´ an ˇSpakula, Rufus Willett, and Nick Wright
Jacek Brodzki, Graham A. Niblo, J´ an ˇSpakula, Rufus Willett, and Nick Wright. Uniform local amenability. J. Noncommut. Geom. , 7(2):583–603, 2013
work page 2013
-
[4]
Jacek Brodzki, Graham A. Niblo, and Nick J. Wright. Property A, p artial translation struc- tures, and uniform embeddings in groups. J. Lond. Math. Soc. (2) , 76(2):479–497, 2007
work page 2007
-
[5]
Nathanial P. Brown and Narutaka Ozawa. C ∗ -algebras and finite-dimensional approximations , volume 88 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2008
work page 2008
-
[6]
Met ric sparsification and operator norm localization
Xiaoman Chen, Romain Tessera, Xianjin Wang, and Guoliang Yu. Met ric sparsification and operator norm localization. Adv. Math., 218(5):1496–1511, 2008
work page 2008
-
[7]
Ideal structure of uniform Roe algeb ras of coarse spaces
Xiaoman Chen and Qin Wang. Ideal structure of uniform Roe algeb ras of coarse spaces. Journal of Functional Analysis , 216(1):191 – 211, 2004
work page 2004
Show all 45 references
-
[8]
Structure and K-theory of ℓp-uniform Roe algebras
Yeong Chyuan Chung and Kang Li. Structure and K-theory of ℓp-uniform Roe algebras. arXiv:1904.07050, to appear in Journal of Noncommutative G eometry, 2019
1904 arXiv
-
[9]
Elementary number theory, group theory, and Ramanujan graphs , volume 55 of London Mathematical Society Student Texts
Giuliana Davidoff, Peter Sarnak, and Alain Valette. Elementary number theory, group theory, and Ramanujan graphs , volume 55 of London Mathematical Society Student Texts . Cambridge University Press, Cambridge, 2003
2003
-
[10]
Rough index theory on spaces of polynomial gr owth and contractibility
Alexander Engel. Rough index theory on spaces of polynomial gr owth and contractibility. J. Noncommut. Geom., 13(2):617–666, 2019
2019
-
[11]
Fibred coarse embeddings, a-T-menability and t he coarse analogue of the Novikov conjecture
Martin Finn-Sell. Fibred coarse embeddings, a-T-menability and t he coarse analogue of the Novikov conjecture. J. Funct. Anal. , 267(10):3758–3782, 2014
2014
-
[12]
Some topics in the dynamics of group actio ns on rooted trees
Rostislav Grigorchuk. Some topics in the dynamics of group actio ns on rooted trees. Proceed- ings of the Steklov Institute of Mathematics , 273:64–175, 2011
2011
-
[13]
Exactness and the Noviko v conjecture
Erik Guentner and Jerome Kaminker. Exactness and the Noviko v conjecture. Topology, 41(2):411–418, 2002. QUASI-LOCAL ALGEBRAS AND ASYMPTOTIC EXPANDERS 21
2002
-
[14]
Counterexamples to the coarse Baum-Connes co njecture
Nigel Higson. Counterexamples to the coarse Baum-Connes co njecture. Available on the au- thor’s website, 1999
1999
-
[15]
Count erexamples to the Baum- Connes conjecture
Nigel Higson, Vincent Lafforgue, and Georges Skandalis. Count erexamples to the Baum- Connes conjecture. Geom. Funct. Anal. , 12(2):330–354, 2002
2002
-
[16]
Expanders and box spaces
Ana Khukhro and Alain Valette. Expanders and box spaces. Adv. Math. , 314:806–834, 2017
2017
-
[17]
Classification of uniform Roe algeb ras of locally finite groups
Kang Li and Hung-Chang Liao. Classification of uniform Roe algeb ras of locally finite groups. J. Operator Theory , 80(1):25–46, 2018
2018
-
[18]
Low-dimensional properties of unifor m Roe algebras
Kang Li and Rufus Willett. Low-dimensional properties of unifor m Roe algebras. Journal of the London Mathematical Society , 97(1):98–124, 2018
2018
-
[19]
G. A. Margulis. Explicit constructions of expanders. Problemy Peredaˇ ci Informacii, 9(4):71– 80, 1973
1973
-
[20]
Nowak and Guoliang Yu
Piotr W. Nowak and Guoliang Yu. Large scale geometry . EMS Textbooks in Mathematics. European Mathematical Society (EMS), Z¨ urich, 2012
2012
-
[21]
Amenable actions and exactness for discret e groups
Narutaka Ozawa. Amenable actions and exactness for discret e groups. C. R. Acad. Sci. Paris S´ er. I Math., 330(8):691–695, 2000
2000
-
[22]
Cartan subalgebras in C∗ -algebras
Jean Renault. Cartan subalgebras in C∗ -algebras. Irish Math. Soc. Bull. , (61):29–63, 2008
2008
-
[23]
An index theorem on open manifolds
John Roe. An index theorem on open manifolds. I, II. J. Differential Geom. , 27(1):87–113, 115–136, 1988
1988
-
[24]
Index theory, coarse geometry, and topology of manifolds , volume 90 of CBMS Regional Conference Series in Mathematics
John Roe. Index theory, coarse geometry, and topology of manifolds , volume 90 of CBMS Regional Conference Series in Mathematics . Published for the Conference Board of the Math- ematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 1996
1996
-
[25]
Lectures on coarse geometry , volume 31 of University Lecture Series
John Roe. Lectures on coarse geometry , volume 31 of University Lecture Series . American Mathematical Society, Providence, RI, 2003
2003
-
[26]
Ghostbusting and property A
John Roe and Rufus Willett. Ghostbusting and property A. J. Funct. Anal., 266(3):1674–1684, 2014
2014
-
[27]
A generalization of expander graphs and local refl exivity of uniform Roe algebras
Hiroki Sako. A generalization of expander graphs and local refl exivity of uniform Roe algebras. J. Funct. Anal. , 265(7):1367–1391, 2013
2013
-
[28]
Finite dimensional approximation properties for un iform Roe algebras
Hiroki Sako. Finite dimensional approximation properties for un iform Roe algebras. arXiv preprint arXiv:1212.5900v3, 2019
2019 arXiv
-
[29]
Super-expanders and warped cones
Damian Sawicki. Super-expanders and warped cones. to appear in Annales de l’Institut Fourier, 2017
2017
-
[30]
The coarse Baum-Connes conjecture and groupoids
Georges Skandalis, Jean-Louis Tu, and Guoliang Yu. The coarse Baum-Connes conjecture and groupoids. Topology, 41(4):807–834, 2002
2002
-
[31]
Geometry of actions, expanders and warped cones
Federico Vigolo. Geometry of actions, expanders and warped cones . PhD thesis, University of Oxford, 2018
2018
-
[32]
Uniform K-homology theory
J´ anˇSpakula. Uniform K-homology theory. J. Funct. Anal. , 257(1):88–121, 2009
2009
-
[33]
Relative commutant pictures of Roe algeb ras
J´ anˇSpakula and Aaron Tikuisis. Relative commutant pictures of Roe algeb ras. Comm. Math. Phys., 365(3):1019–1048, 2019
2019
-
[35]
Remarks on ghost projections and ideals in the Roe alge bras of expander sequences
Qin Wang. Remarks on ghost projections and ideals in the Roe alge bras of expander sequences. Arch. Math. (Basel) , 89(5):459–465, 2007
2007
-
[36]
On the quasidiagonality of Roe algebras
ShuYun Wei. On the quasidiagonality of Roe algebras. Sci. China Math. , 54(5):1011–1018, 2011
2011
-
[37]
Cartan subalgebras in uniform Ro e algebras
Stuart White and Rufus Willett. Cartan subalgebras in uniform Ro e algebras. arXiv:1808.04410, to appear in Groups, Geometry, and Dynam ics, 2018
2018 arXiv
-
[38]
Some notes on property A
Rufus Willett. Some notes on property A. In Limits of graphs in group theory and computer science, pages 191–281. EPFL Press, Lausanne, 2009
2009
-
[39]
Higher index theory for certain exp anders and Gromov mon- ster groups, I
Rufus Willett and Guoliang Yu. Higher index theory for certain exp anders and Gromov mon- ster groups, I. Adv. Math. , 229(3):1380–1416, 2012
2012
-
[40]
The nuclear dimension of C∗ -algebras
Wilhelm Winter and Joachim Zacharias. The nuclear dimension of C∗ -algebras. Adv. Math. , 224(2):461–498, 2010
2010
-
[41]
Coarse Baum-Connes conjecture
Guoliang Yu. Coarse Baum-Connes conjecture. K-Theory, 9(3):199–221, 1995
1995
-
[42]
Localization algebras and the coarse Baum-Connes conjecture
Guoliang Yu. Localization algebras and the coarse Baum-Connes conjecture. K-Theory, 11(4):307–318, 1997. 22 KANG LI, PIOTR NOW AK, J ´AN ˇSPAKULA AND JIA WEN ZHANG
1997
-
[43]
Zero-in-the-spectrum conjecture, positive sca lar curvature and asymptotic di- mension
Guoliang Yu. Zero-in-the-spectrum conjecture, positive sca lar curvature and asymptotic di- mension. Invent. Math. , 127(1):99–126, 1997
1997
-
[44]
The Novikov conjecture for groups with finite asym ptotic dimension
Guoliang Yu. The Novikov conjecture for groups with finite asym ptotic dimension. Ann. of Math. (2) , 147(2):325–355, 1998
1998
-
[45]
The coarse Baum-Connes conjecture for spaces which admit a uniform embed- ding into Hilbert space
Guoliang Yu. The coarse Baum-Connes conjecture for spaces which admit a uniform embed- ding into Hilbert space. Invent. Math. , 139(1):201–240, 2000. (K. Li) Institute of Mathematics of the Polish Academy of Sciences, ´Sniadeckich 8, 00-656 W arsaw, Poland. E-mail address : kl...
2000
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.