REVIEW 2 major objections 6 minor 31 references
Topological expanders, coarse geometry and thick embeddings of complexes
T0 review · 2 major / 6 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read This paper defines topological overlap profiles for bounded-degree complexes, proves they are monotone under regular maps, and uses them to obstruct regular maps from horocyclic products of trees into hyperbolic products and lower-corank…
desk verdict New coarse invariants with real content: the overlap profiles are worth taking seriously, and the Euclidean calculation plus the graph-expander containment are the payoffs. 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 central object is the topological overlap profile: $sTO^q_X(r)$ is the maximal, over subcomplexes $Z$ of $X$ with at most $r$ vertices, of the minimal possible value of the largest number of simplices of $Z$ whose images under a map $Z \to \mathbb{R}^q$ meet a common point; the metric version $TO^q_X(r)$ counts covering balls of radius 1 instead of simplices. The main proof mechanism is a connect-the-dots lemma, cited from a standard geometric group theory text, which turns a regular map between 0-skeleta into a continuous map between the complexes with uniformly bounded simplex images whenever the target is uniformly $k$-connected for all $k$ up to the source dimension. Lower bounds are produced by coarse constructions, continuous maps that send skeleta to skeleta with uniformly bounded preimages of simplices, whose volume into the horocyclic product of trees is controlled by $r\ln(1+r)^q$.
What would settle it
Construct a bounded-degree, uniformly $k$-connected simplicial complex $Y$ and a regular map from the 0-skeleton of some bounded-degree complex $X$ into $Y^0$ such that no continuous extension maps each simplex of $X$ into a uniformly bounded subset of $Y$; this would break Theorem 1.2. Alternatively, exhibit a regular map from the 0-skeleton of the $k$-fold horocyclic product of 3-regular trees into a product $(\mathbb{H}^2)^{k-2}\times H\times D$ with $H$ hyperbolic bounded degree and $D$ doubling, which would falsify Theorem 1.19.
Extended reading notes
Core claim
The central claim is that topological expansion of bounded-degree complexes can be quantified by the profiles $sTO^q_X(r)$ and $TO^q_X(r)$, and that these profiles behave like the separation profile: they are monotone under regular maps between complexes with uniform connectivity up to the source dimension, and they are explicitly computable in key cases. Specifically, the paper claims $TO^q_{\mathbb{R}^n}(r) \simeq r^{1-q/n}$ for $1 \le q < n$ and bounded for $q \ge n$, that $sTO^1$ coincides up to constants with the cutwidth profile, and that a 1-dimensional bounded-degree topological expander necessarily contains a graphical expander. For the horocyclic product $H^{d+1}$ of $d+1$ copies of the 3-regular tree, it claims $sTO^q_{H^{d+1}}(r) \gtrsim r/\ln(1+r)^q$ for $q \le d$, and consequently that there is no regular map from its 0-skeleton to any product $H \times (\mathbb{H}^2)^{d-1} \times D$ with $H$ a bounded-degree hyperbolic graph and $D$ doubling, nor to any symmetric space whose non-compact factor has corank strictly less than $d$.
Load-bearing premise
The monotonicity theorem depends on a cited extension lemma asserting that a regular map between 0-skeleta extends to a continuous map between complexes with each simplex mapped into a uniformly bounded ball, provided the target is uniformly $k$-connected up to the source dimension; the paper cites this lemma rather than proving it in the bounded-degree, not necessarily locally finite setting.
Editorial extensions
If this is right
- Regular-map monotonicity makes $sTO^q$ and $TO^q$ genuine coarse invariants: any lower bound on the source profile rules out the existence of a regular map into a target with a smaller profile.
- The Euclidean computation $TO^q_{\mathbb{R}^n}(r) \simeq r^{1-q/n}$ gives a sharp quantitative form of waist- and width-volume-type inequalities for maps to $\mathbb{R}^q$.
- Dimension-one equivalence with cutwidth means all known cutwidth and separation profile bounds for graphs transfer directly to topological overlap.
- Every bounded-degree one-dimensional topological expander contains a graphical expander, so the two notions of expansion are not independent in dimension one.
- The non-existence of regular maps from horocyclic tree products into hyperbolic products and lower-corank symmetric spaces provides a new family of coarse non-embeddability results.
Reading between the lines
- A natural extension of the monotonicity theorem would be to quasi-isometries under the same connectivity hypotheses, a step the paper does not take.
- The Euclidean calculation suggests a testable recipe for other nilpotent groups: project a ball onto a low-dimensional factor along cosets and compare covering volumes, as the paper does for Heisenberg groups.
- The coarse-construction lower bound for tree products may adapt to other buildings and to groups acting cocompactly on them, yielding rigid-rank obstructions beyond symmetric spaces.
- The paper leaves open whether topological overlap profiles are determined by the $q$-skeleton for $q \ge 3$; a positive or negative answer would clarify how much of the phenomenon is purely combinatorial.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces two families of coarse invariants for bounded-degree simplicial complexes and, more generally, bounded-geometry metric spaces: the simplicial topological overlap profiles sTO^q_X(r) and the metric topological overlap profiles TO^q_X(r). It proves that these profiles are monotone under regular maps between complexes with suitable uniform connectivity, that they recover the cutwidth profile in dimension 1, and that dimension-1 topological expanders contain graphical expanders. In higher dimensions it computes TO^q(R^n) up to equivalence, gives product and fibration upper bounds, and obtains lower bounds for horocyclic products of trees and for symmetric spaces. The main advertised application is an obstruction to regular maps from horocyclic products of trees into products of hyperbolic graphs and doubling spaces, and into symmetric spaces of small corank.
Significance. If the main results stand, the paper introduces a useful quantitative coarse analogue of higher-dimensional topological expansion, with several natural and nontrivial calculations. The monotonicity theorem under regular maps is a genuine higher-dimensional extension of the separation-profile philosophy, and the Euclidean calculations and the horocyclic-product lower bounds are substantive. The paper also connects topological overlap to coarse constructions and thick embeddings, extending earlier work of Barrett and Hume. The proofs of the central monotonicity, Euclidean upper bound, and coarse-construction theorems are given in detail, and the main applications do not depend on fitting parameters or on circular assumptions. However, the statement and proof of Theorem 1.1(i) have a gap, and the abstract and Theorem 1.19 use inconsistent indexing for the corank obstruction; these issues need to be resolved before the paper is fully reliable.
major comments (2)
- [§3.1, proof of Theorem 1.1(i)] The proof does not establish that the subcomplexes Z_r produced from the liminf condition have dimension at most q, yet Definition 3.4 defines a q-dimensional topological expander as a family of finite q-dimensional complexes. The proof only shows that |Z_r| is unbounded and that sTO^q(Z_r) is linear in |Z_r|; if dim(Z_r) > q, these complexes are not q-dimensional topological expanders in the stated sense. The paper itself leaves open the analogous skeleton-reduction question for q ≥ 3 after Proposition 3.16 and in Question 1.26. Therefore Theorem 1.1(i) is not proved as stated unless one assumes dim(X) ≤ q or changes the definition of q-dimensional expander to allow higher-dimensional complexes.
- [Abstract and §1.7/§6.3, Theorem 1.19] The corank indexing in the abstract is inconsistent with Theorem 1.19 and with its proof. Theorem 1.19 states, for the horocyclic product H^{d+1} of d+1 trees, that there is no regular map to a symmetric space of corank strictly less than d, and the proof uses the lower bound on TO^d together with the Corollary 1.15 upper bound that requires corank + 1 ≤ d. The abstract instead says that for every k ≥ 2 there is no regular map from the k-fold horocyclic product to any symmetric space of corank strictly less than k. If k = d+1, the abstract requires corank < d+1, which is weaker than the theorem; if k denotes the number of trees, then for k=2 the abstract would assert that the 2-fold horocyclic product (which is quasi-isometric to the real hyperbolic plane) admits no regular map to H^2, a symmetric space of corank 1, which is false. The indexing in the abstract and introduction should be corrected to match Theorem 1.19.
minor comments (6)
- [§5.1.1, Corollary 5.2 and preceding paragraph] The arrow directions and composition order for the rescaled projection π_R are written incorrectly: the text says π_R : R D^k → R S^k, but the subsequent preimage argument requires π_R : R S^k → R D^k and the definition in the proof of Corollary 5.2 should be F = G ∘ π_R rather than F = π_R ∘ G. This is local and correctable but should be fixed for readability.
- [§6.3, proof of Theorem 1.19] The display 'TO^d_{H^{d+1}}(r) ≳ r/log(1+r)^q' uses an undefined q and should presumably be r/log(1+r)^d, matching Theorem 1.18.
- [§5.2, proof of Theorem 1.8] In the proof, the functions f and g are chosen with Ov(f) ≤ sTO^q_X(r) and Ov(g) ≤ sTO^{q'}_X(r); these should be TO^q_X(r) and TO^{q'}_Y(r), respectively.
- [§3.1, proof of Theorem 1.1(i)] There is a typo in the sentence 'there is some Z_r ≤ I': it should be Z_r ≤ X. The same typo appears in the proof of Corollary 4.6, where 'Z_r ≤ I' should be 'Z_r ≤ X'.
- [§1.8, Proposition 1.20 and Theorem 1.21] These two results are stated without proof and are not used in the main obstruction theorem. If they are intended as contributions, proofs or a precise reference to a sequel are needed; otherwise they should be presented clearly as announced results rather than as proposition/theorem statements.
- [§6.2, Step 3 of Theorem 6.4] The uniformity argument bounding the number of source simplices mapping to a given target simplex is terse: after choosing a vertex (ω_0,...,ω_d) of σ, the sentence 'the number of simplices in S containing n_j is at most 2 deg S, and σ′ must be one of these' is ambiguous because σ′ is not defined in that paragraph. Please clarify that this bounds the number of possible source simplices A, independent of the chosen vertex and of the target simplex.
Circularity Check
No substantive circularity: the only near-tautological step is Theorem 1.1(i), which restates the defining quantifiers of sTO and topological expanders; the main monotonicity and obstruction theorems are derived from independent lemmas and in-paper proofs.
-
self definitional
[Theorem 1.1(i) and its proof, Section 1 / Section 3.1 (Definitions 3.2 and 3.4)]
"lim inf_{r→∞} 1/r sTO^q_X(r) ≠ 0 if and only if X contains a q-dimensional topological expander; ... Unpacking Definition 3.1, this means that for every r ∈ I, there is some Z_r ≤ X such that sTO^q(Z_r) ≥ εr ≥ ε|Z_r|."
Definition 3.2 defines sTO^q_X(r) as the maximum of sTO^q(Z) over subcomplexes Z ≤ X with |Z| ≤ r, while Definition 3.4 defines a topological expander as a bounded-degree family with sTO^q(Z_n) ≥ ε|Z_n|. Both directions of Theorem 1.1(i) are therefore the same quantifier unpacking: linear growth of the profile and the existence of subcomplexes of linear overlap are the same condition by construction. The result is transparently definitional rather than a derived prediction, and it is not load-bearing for the paper's central regular-map obstructions, which rest on Theorem 1.2, Theorem 1.18 and Theorem 1.24.
full rationale
The derivation chain for the paper's main claims is self-contained and non-circular. Theorem 1.2 (monotonicity under regular maps) is proved from Proposition 3.11 plus the external connect-the-dots lemma [DK18, Proposition 9.48], whose hypotheses (uniform k-connectivity, bounded degree, finite dimensionality) are matched; a textbook citation is independent support, not a self-citation. The dimension-1 recovery of the cutwidth profile (Theorem 1.4) is proved directly via Lemma 4.2, and the subsequent use of [HHKL], [HMT20], [HMT22] and [Hum17] is as external published benchmarks, not as assumptions of the conclusions. The Euclidean-space calculation (Theorem 1.7) uses Gromov's waist inequality and Guth's width-volume argument as external inputs, with the upper bound proved in detail in the paper. The lower bounds for horocyclic products (Theorem 1.18) are derived from the in-paper coarse-construction Theorem 1.24, not from an unproved citation; [BH24] is used only as an analogue or model. Theorem 1.19 combines these lower bounds with the monotonicity theorem and with standard Bonk–Schramm/Assouad embeddings and product upper bounds, so the obstruction does not reduce to any fitted parameter or assumed conclusion. The unproved Proposition 1.20 and Theorem 1.21 are explicitly stated as not the main focus and are not used in the central obstruction; they therefore do not introduce circularity, only an acknowledged omitted proof. The only step close to tautological is Theorem 1.1(i), whose proof is a direct unpacking of Definitions 3.2 and 3.4; it is a minor definitional observation, not a load-bearing prediction, so the overall circularity score is 1 rather than 0.
Assumptions & free parameters
assumptions (5)
- standard math Gromov waist inequality on spheres
- standard math Cannon-Conner-Zastrow theorem that planar sets are aspherical
- domain assumption Bonk-Schramm embedding of hyperbolic graphs and Assouad embedding of doubling spaces
- domain assumption Iwasawa decomposition and proper left-invariant metrics on AN for symmetric spaces
- standard math Known cutwidth and separation profile results from HHKL, HMT20, HMT22
Cite this review
Pith. "Pith review of Topological expanders, coarse geometry and thick embeddings of complexes." pith.science (2026). https://pith.science/paper/MS76GAC7
@misc{pith2026241113294,
author = {Pith},
title = {Pith review of: Topological expanders, coarse geometry and thick embeddings of complexes},
year = {2026},
howpublished = {\url{https://pith.science/paper/MS76GAC7}},
note = {Machine review of arXiv:2411.13294}
}
abstract
We quantify the topological expansion properties of bounded degree simplicial complexes in terms of a family of sublinear functions, in analogy with the separation profile of Benjamini-Schramm-Tim\'ar for classical expansion of bounded degree graphs. We prove that, like the separation profile, these new invariants are monotone under regular maps between complexes satisfying appropriate higher connectivity assumptions. In the dimension $1$ case, we recover the cutwidth profile of Huang-Hume-Kelly-Lam. We also prove the seemingly new result that any $1$-dimensional topological expander necessarily contains a graphical expander. In higher dimensions, we give full calculations of these new invariants for Euclidean spaces, which are natural analogues of waist and width-volume inequalities due to Gromov and Guth respectively. We present several other methods of obtaining upper bounds including na\"ive (yet useful) direct product and fibring theorems, and show how lower bounds can be obtained via thick embeddings of complexes, in analogy with previous work of Barrett-Hume. Using this, we find lower bounds for $k$-expansion of $(k+1)$-fold horocyclic products of trees, and for rank $k$ symmetric spaces of non-compact type. As a further application, we prove that for every $k\geq 2$ there is no coarse embedding (and more generally, no regular map) from the $k$-fold horocyclic product of $3$-regular trees to either any product $(\mathbb{H}^2)^{k-2}\times H \times D$ where $\mathbb{H}^2$ is the real hyperbolic plane, $H$ is a bounded degree hyperbolic graph and $D$ is a doubling metric space, or to any symmetric space whose non-compact factor has corank (dimension minus rank) is strictly less than $k$.
Reference graph
Works this paper leans on
-
[1]
P. Assouad. Plongements lipschitziens dans R n . Bull. Soc. Math. France , 111(4):429--448, 1983
work page 1983
-
[2]
Nikolas P. Breuckmann and Jens N. Eberhardt. Balanced product quantum codes. IEEE Trans. Inf. Theor. , 67(10):6653–6674, oct 2021
work page 2021
-
[3]
M. R. Bridson and A. Haefliger. Metric spaces of non-positive curvature , volume 319 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer-Verlag, Berlin, 1999
work page 1999
-
[4]
Thick embeddings of graphs into symmetric spaces via coarse geometry
Benjamin Barrett and David Hume. Thick embeddings of graphs into symmetric spaces via coarse geometry. To appear in Trans AMS , 2024. With an appendix by Larry Guth and Elia Portnoy
work page 2024
-
[5]
Embedding products of trees into higher rank
Oussama Bensaid and Thang Nguyen. Embedding products of trees into higher rank. Available from arXiv:2405.02226, 2024
work page Pith review arXiv 2024
-
[6]
Bonk and O
M. Bonk and O. Schramm. Embeddings of G romov hyperbolic spaces. Geom. Funct. Anal. , 10(2):266--306, 2000
2000
-
[7]
On the separation profile of infinite graphs
Itai Benjamini, Oded Schramm, and \'A dam Tim \'a r. On the separation profile of infinite graphs. Groups Geom. Dyn. , 6(4):639--658, 2012
2012
-
[8]
James W. Cannon, Gregory R. Conner, and Andreas Zastrow. One-dimensional sets and planar sets are aspherical. Topology and its Applications , 120:23--45, 2002
work page 2002
Show all 31 references
-
[9]
Separation profiles, isoperimetry, growth and compression
Corentin Le Coz and Antoine Gournay. Separation profiles, isoperimetry, growth and compression. Available from arXiv:1910.11733, 2019
1910 arXiv
-
[10]
Polynomial time algorithms for the min cut problem on degree restricted trees
Moon-Jung Chung, Fillia Makedon, Ivan Hal Sudborough, and Jonathan Turner. Polynomial time algorithms for the min cut problem on degree restricted trees. SIAM Journal on Computing , 14(1):158--177, 1985
1985
-
[11]
Locally testable codes with constant rate, distance, and locality
Irit Dinur, Shai Evra, Ron Livne, Alexander Lubotzky, and Shahar Mozes. Locally testable codes with constant rate, distance, and locality. In Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing , STOC 2022, page 357–374, New York, NY, USA, 2022. Associat...
2022
-
[12]
Dru t u and M
C. Dru t u and M. Kapovich. Geometric Group Theory . Colloquium Publications. American Mathematical Society, 2018
2018
-
[13]
Djidjev and Imrich Vrto
Hristo N. Djidjev and Imrich Vrto. Crossing numbers and cutwidths. J. Graph Algorithms Appl. , 7:245--251, 2003
2003
-
[14]
Bounded degree cosystolic expanders of every dimension
Shai Evra and Tali Kaufman. Bounded degree cosystolic expanders of every dimension. Proceedings of the forty-eighth annual ACM symposium on Theory of Computing , 2015
2015
-
[15]
Quasi-isometric embeddings of symmetric spaces
David Fisher and Kevin Whyte. Quasi-isometric embeddings of symmetric spaces. Geometry & Topology , 2014
2014
-
[16]
Filling riemannian manifolds
Mikhael Gromov. Filling riemannian manifolds. Journal of Differential Geometry , 18:1--147, 1983
1983
-
[17]
M. Gromov. Asymptotic invariants of infinite groups. In Geometric group theory, V ol.\ 2 ( S ussex, 1991) , volume 182 of London Math. Soc. Lecture Note Ser. , pages 1--295. Cambridge Univ. Press, Cambridge, 1993
1991
-
[18]
Singularities, expanders and topology of maps
Misha Gromov. Singularities, expanders and topology of maps. part 2: from combinatorics to topology via algebraic isoperimetry. Geometric and Functional Analysis , 20:416--526, 2010
2010
-
[19]
The width-volume inequality
Larry Guth. The width-volume inequality. Geometric and Functional Analysis , 17:1139--1179, 2006
2006
-
[20]
The waist inequality in Gromov's work
Larry Guth. The waist inequality in Gromov's work. The Abel Prize 2008-2012. Edited by Helge Holden and Ragni Piene, Springer, Berlin. 181--195, 2014
2008
-
[21]
A coarse geometric approach to graph layout problems
Wanjing Huang, David Hume, Samuel Kelly, and Ryan Lam. A coarse geometric approach to graph layout problems. Available from arXiv:2312.07105
-
[22]
Expander graphs and their applications
Shlomo Hoory, Nathan Linial, and Avi Wigderson. Expander graphs and their applications. Bull. Amer. Math. Soc. , 43(04):439–562, August 2006
2006
-
[23]
Mackay, and Romain Tessera
David Hume, John M. Mackay, and Romain Tessera. Poincar\' e profiles of groups and spaces. Rev. Mat. Iberoam. , 36(6):1835--1886, 2020
2020
-
[24]
Mackay, and Romain Tessera
David Hume, John M. Mackay, and Romain Tessera. Poincar\'e profiles of L ie groups and a coarse geometric dichotomy. Geom. Funct. Anal. , 32:1063--1133, 2022
2022
-
[25]
A continuum of expanders
David Hume. A continuum of expanders. Fund. Math. , 238:143--152, 2017
2017
-
[26]
Isoperimetric inequalities for ramanujan complexes and topological expanders
Tali Kaufman, David Kazhdan, and Alexander Lubotzky. Isoperimetric inequalities for ramanujan complexes and topological expanders. Geometric and Functional Analysis , 26:250--287, 2014
2014
-
[27]
Anthony W. Knapp. Lie groups beyond an introduction. 1988
1988
-
[28]
Leiserson
Charles E. Leiserson. Area-efficient graph layouts (for vlsi). In IEEE Annual Symposium on Foundations of Computer Science , 1980
1980
-
[29]
Expander graphs in pure and applied mathematics
Alexander Lubotzky. Expander graphs in pure and applied mathematics. Bulletin of the American Mathematical Society , 49:113--162, 2011
2011
-
[30]
High dimensional expanders
Alexander Lubotzky. High dimensional expanders. Proc.\ ICM 2018 , pages 705--730, 2018
2018
-
[31]
Wood and Jan Arne Telle
David R. Wood and Jan Arne Telle. Planar decompositions and the crossing number of graphs with an excluded minor. In Michael Kaufmann and Dorothea Wagner, editors, Graph Drawing , pages 150--161, Berlin, Heidelberg, 2007. Springer Berlin Heidelberg
2007
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.