Pith. sign in

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 →

arxiv 1908.07814 v3 pith:Y2DPYVC5 submitted 2019-08-21 math.OA math.COmath.FA

classification math.OAmath.COmath.FA MSC 46H3546L0520F6505C99
keywords quasi-localalgebrasuniformRoePropertyAasymptoticexpandersaveragingprojectionnuclearitycoarsegeometryexpandergraphs
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 tries to establish that the uniform quasi-local algebra $C^*_{uq}(X)$ of a bounded-geometry metric space is nuclear if and only if $X$ has Property A. It also introduces a weakening of expander graphs, called asymptotic expanders, and proves that the averaging projection over a coarse disjoint union is quasi-local precisely when the pieces form such a sequence. The point of the comparison is that quasi-locality is a proposed intrinsic test for membership in the uniform Roe algebra, and the paper shows that nuclearity cannot tell the two algebras apart. A sympathetic reader should care because the results convert a $C^*$-algebraic property, nuclearity, into a geometric one, Property A, and expose a concrete operator whose quasi-locality is a sharp geometric test.

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$.

Watch

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

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

  • 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.
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.

Referee Report

0 major / 3 minor

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)
  1. [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.
  2. [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.
  3. [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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 6 assumptions · 0 invented entities

The central claims rest on standard coarse geometry and operator algebra results, plus one unproved auxiliary lemma (Lemma 5.3) that is new to this paper. No free parameters or invented physical entities appear.

assumptions (6)
  • domain assumption X has bounded geometry throughout (Section 2).
    The uniform Roe algebra and quasi-local algebra are considered for bounded geometry metric spaces; the main theorems assume this.
  • standard math Known theorem: X has Property A iff C*_u(X) is nuclear ([30, Theorem 5.3]).
    Used to prove (1) implies (2) in Theorem 5.5.
  • standard math Known theorem: if X has Property A then C*_u(X) equals C*_uq(X) ([34, Theorem 3.3]).
    Used to show nuclearity of C*_uq(X) from Property A.
  • 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]).
    Used in Proposition 2.3 and the proof of Theorem 5.5.
  • 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]).
    Used in Proposition 7.4.
  • 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.
    Stated without proof; load-bearing for the converse of Theorem 5.5.

how reviews work

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

45 extracted references · 42 canonical work pages

  1. [34]

    Quasi-locality and Property A

    J´ anˇSpakula and Jiawen Zhang. Quasi-locality and Property A. Journal of Functional Analysis, 278(1):108299, 2020

  2. [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

  3. [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

  4. [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

  5. [4]

    Niblo, and Nick J

    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

  6. [5]

    Brown and Narutaka Ozawa

    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

  7. [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

  8. [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

Show all 45 references
  1. [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

  2. [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

  3. [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

  4. [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

  5. [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

  6. [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

  7. [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

  8. [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

  9. [16]

    Expanders and box spaces

    Ana Khukhro and Alain Valette. Expanders and box spaces. Adv. Math. , 314:806–834, 2017

  10. [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

  11. [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

  12. [19]

    G. A. Margulis. Explicit constructions of expanders. Problemy Peredaˇ ci Informacii, 9(4):71– 80, 1973

  13. [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

  14. [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

  15. [22]

    Cartan subalgebras in C∗ -algebras

    Jean Renault. Cartan subalgebras in C∗ -algebras. Irish Math. Soc. Bull. , (61):29–63, 2008

  16. [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

  17. [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

  18. [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

  19. [26]

    Ghostbusting and property A

    John Roe and Rufus Willett. Ghostbusting and property A. J. Funct. Anal., 266(3):1674–1684, 2014

  20. [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

  21. [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

  22. [29]

    Super-expanders and warped cones

    Damian Sawicki. Super-expanders and warped cones. to appear in Annales de l’Institut Fourier, 2017

  23. [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

  24. [31]

    Geometry of actions, expanders and warped cones

    Federico Vigolo. Geometry of actions, expanders and warped cones . PhD thesis, University of Oxford, 2018

  25. [32]

    Uniform K-homology theory

    J´ anˇSpakula. Uniform K-homology theory. J. Funct. Anal. , 257(1):88–121, 2009

  26. [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

  27. [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

  28. [36]

    On the quasidiagonality of Roe algebras

    ShuYun Wei. On the quasidiagonality of Roe algebras. Sci. China Math. , 54(5):1011–1018, 2011

  29. [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

  30. [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

  31. [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

  32. [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

  33. [41]

    Coarse Baum-Connes conjecture

    Guoliang Yu. Coarse Baum-Connes conjecture. K-Theory, 9(3):199–221, 1995

  34. [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

  35. [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

  36. [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

  37. [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...

Pith tools

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