REVIEW 3 major objections 5 minor 50 references
Growth gaps and exponential genericity in acylindrically hyperbolic groups
T0 review · 3 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read The paper proves that in any finitely generated acylindrically hyperbolic group, WPD elements are exponentially generic with respect to every finite generating set, and derives growth and cogrowth tightness.
desk verdict Strong counting paper with a real two-to-three WPD gap; the genericity theorem is likely true but the proof as written assumes what it needs to prove. 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 projection complex P_K(F), a quasi-tree whose vertices are the G-invariant translates of finitely many strongly contracting WPD axes. Standard paths in this complex order the axes that any long word geodesic must coarsely visit. The argument is carried by three pieces: an anchored length estimate (standard-path length through chosen anchor points is at most the unanchored length plus a small error linear in the number of anchors), an insertion map that splices long WPD pieces into geodesic words at anchor positions with controlled multiplicity, and a guard decomposition of long word geodesics whose good blocks force coarse returns to WPD axes. Together they show tha
What would settle it
Examine the first paragraph of Section 4 and the remark following Lemma 2.33: the proof uses a three-element set F, while Theorem A assumes only two. To settle whether the result is true as stated, either construct a third independent WPD element from two, or find an action on a geodesic metric space with exactly two independent strongly contracting WPD elements and test whether the proportion of WPD elements in balls still tends to 1 exponentially.
Extended reading notes
Core claim
The central claim is Theorem A: if a finitely generated group acts by isometries on a geodesic metric space and the action admits two independent strongly contracting WPD elements, then for every finite symmetric generating set S, μ_n({strongly contracting WPD elements}) ≥ 1 − C λ^n for some C>0 and 0<λ<1. The proof in fact establishes a stable-length large deviation (Theorem B): generic elements have stable length at least (1−ε) times their word-length displacement, both in the word metric and in the auxiliary space. The supporting dichotomy is that a generic element either has long displacement in the projection complex and is therefore WPD, or admits a conjugacy shortening; the latter set
Load-bearing premise
The load-bearing premise is that two independent strongly contracting WPD elements can be used where the proof fixes a set of three pairwise independent ones; Section 4 begins with 'Let F ⊂ G be a set consisting of three pairwise independent strongly contracting WPD elements' and the remark after Lemma 2.33 notes that the extension lemma requests three, but no argument supplies the third from the two assumed in Theorem A.
Editorial extensions
If this is right
- For every finite symmetric generating set of an acylindrically hyperbolic group, WPD elements are exponentially generic; consequently Morse elements (elements with coarsely geodesic cyclic subgroups) are exponentially generic as well.
- Generic elements have almost maximal stable length: τ_S(g) ≥ (1−ε)|g|_S and τ_X(g) ≥ (1−ε)d(o,go), so the average stable word length over spheres tends to 1.
- Every finitely generated acylindrically hyperbolic group is growth tight: for every infinite normal subgroup H, the quotient growth rate ω(G/H, S̄) is strictly smaller than ω(G,S).
- Combined with the growth–cogrowth inequality of the companion paper, every infinite normal subgroup satisfies ω(H,S) > ½ ω(G,S), i.e. cogrowth tightness.
- In mapping class groups and Out(F_n), pseudo-Anosov and fully irreducible elements are exponentially generic for every finite generating set, resolving previously open questions.
Reading between the lines
- The counting analogue of linear progress developed here should transfer to other counting problems in acylindrically hyperbolic groups, such as conjugacy growth or statistics of translation lengths, where random-walk results are already known.
- The proof's three-element assumption suggests a concrete test: if two independent strongly contracting WPD elements can always be promoted to three pairwise independent ones, the theorem follows as written; if not, either a different argument is needed or the hypothesis of Theorem A must be strengthened.
- The uniform growth gap for confined subgroups with a fixed confining set may extend beyond normal subgroups, giving control of Schreier graph growth for non-normal subgroups with the same confining data.
- A natural next step is to make the constants C and λ explicit or to show they can be chosen uniformly over a family of generating sets; the current proof establishes existence only.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims three main results. First, Theorem A: if a finitely generated group admits an action by isometries on a geodesic metric space with two independent strongly contracting WPD elements, then strongly contracting WPD elements are exponentially generic in word-metric balls for every finite generating set. Second, Theorem B: generic elements have almost maximal stable word length and stable length in the auxiliary space. Third, Theorems D and E: a growth gap for short displacement holds, and finitely generated acylindrically hyperbolic groups are growth tight; Corollary 1.5 adds cogrowth tightness. The proof strategy is to build a projection complex on the axes of a finite set F of WPD elements, prove an anchored length estimate for word geodesics (Proposition 3.4), use an insertion-counting argument to get a growth gap for short projection-complex displacement (Theorem 4.1), and then use a guard-decomposition dichotomy to show that non-WPD elements are either short-displacement or conjugate to a shorter word (Lemma 5.9). Section 7 adapts an insertion argument from the companion paper [DY24] to prove uniform growth tightness for confined subgroups.
Significance. If the proof is completed, this is a substantial advance: exponential genericity of WPD elements in word-metric balls had been open for arbitrary finite generating sets in important settings such as mapping class groups and Out(F_n), and the anchored length estimate is a genuine counting analogue of linear progress. The main technical body, Sections 3–6, is detailed, carefully structured, and largely internally consistent: Proposition 3.4, Lemma 4.9, Lemma 5.9, and the stable-length arguments in Section 6 are nontrivial and appear to check out. The paper makes good use of existing projection-complex machinery (BBF15, BBFS19) and WPD divergence. However, the proof of the central Theorem A has a load-bearing gap in its stated hypotheses, and the growth-tightness section depends on companion-paper results in ways that are not fully verified in the text. These issues are likely repairable, but they must be fixed before the paper can be accepted.
major comments (3)
- [Section 4 and Theorem A] Theorem A assumes only two independent strongly contracting WPD elements, but the proof of Theorem A begins in Section 4 by fixing 'a set F ⊂ G consisting of three pairwise independent strongly contracting WPD elements.' The Extension Lemma 2.33, the insertion map in Definition 4.4, and the multiplicity bound in Lemma 4.9 all require a three-element F. The paper never justifies the passage from two to three. This is not a cosmetic gap: the natural candidate h2 h1 h2^{-1} is conjugate to h1 and is therefore not independent of h1. A correct construction, for example using sufficiently high powers of h1 h2 to produce a third element independent of both, must be stated and proved. As written, the proof of Theorem A does not apply to the stated hypothesis.
- [Section 7, Theorem 7.10 and Corollary 1.5] The proof of growth tightness for acylindrically hyperbolic groups is not self-contained in the present manuscript. Lemma 7.12(ii) is only sketched and refers to [DY24, Lemma 4.8] for the complete argument; Lemma 7.13 is explicitly described as 'an abridged version of [DY24, Lemma 4.10]'; and Corollary 1.5 relies on Theorem 7.4 cited from the companion paper [DY26]. Since Theorem E and Corollary 1.5 are advertised applications, the referee cannot verify the key growth-tightness and cogrowth-tightness claims from the text alone. The authors should either include the missing arguments or clearly state that these results are conditional on the companion papers.
- [Section 5, Lemma 5.8] The proof of Lemma 5.8, which produces a bi-infinite standard path for a loxodromic element in P_K(F), relies on Lemma 5.7(2). The statement and proof of Lemma 5.7(2) are quite compressed and the notation u∈F_K(x,y), v∈F_K(y,z) is confusing; the proof of the concatenation property 'F_K[x,z]=F_K[x,y]·F_K[y,z]' appears to need a more careful verification. Since Theorem A uses Lemma 5.8 to identify WPD elements, this step is load-bearing. A fuller proof or a precise reference is needed.
minor comments (5)
- [Notation throughout] The letter o is used both for the basepoint in X and for the base vertex (the axis Ax(f0)) in P_K(F). The proof of Theorem D passes between the two via the map Φ without explicitly managing this overload; the intended identification should be flagged.
- [Corollaries 1.1 and 1.2] The displayed inequalities contain unnamed constants C and c; in particular the C in Corollary 1.1 is not used in the displayed bound. The statements should specify that the error term is C λ^n.
- [Section 7 text] The subsection heading 'Defining the insertion map' refers to '§4.4', but the insertion map for the projection complex is introduced in Section 4.1 of the present paper; this cross-reference is inaccurate.
- [References] The paper cites [DY24] and [DY26] as preprints. If the companion papers are not yet published, the dependence should be made explicit in a footnote or introduction; otherwise the reader cannot evaluate the status of the cited lemmas.
- [Section 2.1 and elsewhere] Several displayed arrows are corrupted (e.g., the definition of the orbital map in Section 2.1), making the text difficult to read. This is presumably a typesetting issue but should be corrected.
Circularity Check
No circular reduction in the main counting/genericity argument; the central proof is self-contained apart from a two-to-three WPD-element gap that is an incompleteness, not circularity. Some application-level dependence on companion papers is present but does not make the derivation circular.
full rationale
The central derivation of Theorem A does not assume its own conclusion. The counting machinery (anchored length, insertion map, kernel estimate, guard decomposition) is built from external tools (BBF15, BBFS19, Yan14, Sis16, GS23) and from the paper's own projection-complex construction; the genericity conclusion is not used as an input. The only potentially circular-looking steps are self-citations, but they are not circular under the stated rules: (i) Theorem E's growth tightness is proved by adapting the insertion argument of [DY24] and using the confined extension lemma from [CGY24]/[DY26]; these are cited theorems with stated hypotheses not containing the target result, so they count as independent support even though authors overlap. (ii) Corollary 1.5 is literally obtained by combining Theorem E with [DY26, Theorem D]: the text says 'In [DY26] we prove that ... We therefore obtain the following corollary by Theorem E.' This is an application-level self-citation, but it is a logical combination of external theorems, not a reduction of the paper's conclusion to itself. A genuine and load-bearing gap, unrelated to circularity, is the passage from two independent strongly contracting WPD elements in Theorem A to the set F of three pairwise independent such elements used in Section 4. The paper explicitly notes: 'We remark that Lemma 2.33 requests F to contain three independent elements,' and Section 4 begins 'Let F ⊂ G be a set consisting of three pairwise independent strongly contracting WPD elements.' Theorem A assumes only two, and the paper never proves or cites the two-to-three passage. This is an omitted justification/incomplete proof, not a circular one: the argument does not assume the theorem's conclusion, it works from a stronger hypothesis than stated. I therefore keep the circularity score low but flag this gap for verification.
Assumptions & free parameters
free parameters (4)
- K (projection complex constant) =
K > max{4θ+β+5C, N+4θ} (Eq. 3.1)
- ε (Theorem 4.1 displacement threshold) =
1/(4|S|^l M)
- δ and m (exponential decay rate) =
δ = min{1/100, ε/E}, m = δn
- R (bad-block radius) =
R chosen so that κ(r)ε > 1 (Lemma 5.5)
assumptions (6)
- standard math Projection complex theory: P_K(F) is a quasi-tree, standard paths have bottleneck and almost-tripod properties, and G acts acylindrically on P_K(F) (BBF15, BBFS19).
- standard math Admissible path fellow-travel: every (L,τ)-admissible path with long local pieces is a uniform quasi-geodesic with the fellow-travel property (Yan14, Proposition 2.10).
- domain assumption Strongly contracting WPD elements are (κ,N)-divergent in the word metric (Lemma 2.32, via BBFS19/GS23).
- standard math Sisto's theorem: strongly contracting WPD elements are Morse in the word metric (Lemma 2.29(3)).
- domain assumption Insertion map injectivity/imaging lemmas from companion paper [DY24] (Lemmas 4.4, 4.8, 4.10).
- domain assumption Growth-cogrowth inequality ω(H,S)+1/2ω(G/H,S̄) ≥ ω(G,S) from companion paper [DY26, Theorem D].
Cite this review
Pith. "Pith review of Growth gaps and exponential genericity in acylindrically hyperbolic groups." pith.science (2026). https://pith.science/paper/4Z6HXIEG
@misc{pith2026260725578,
author = {Pith},
title = {Pith review of: Growth gaps and exponential genericity in acylindrically hyperbolic groups},
year = {2026},
howpublished = {\url{https://pith.science/paper/4Z6HXIEG}},
note = {Machine review of arXiv:2607.25578}
}
read the original abstract
We prove that, for every finite generating set of an acylindrically hyperbolic group, the set of non-WPD elements has strictly smaller exponential growth rate. Equivalently, WPD elements are exponentially generic. As applications, we prove growth tightness and cogrowth tightness for acylindrically hyperbolic groups.
Reference graph
Works this paper leans on
-
[1]
Arzhantseva and C
G. Arzhantseva and C. Cashen. Cogrowth for group actions with strongly contracting elements. Ergodic Theory Dynam. Systems , 40(7):1738--1754, 2020
2020
-
[2]
Arzhantseva, Christopher H
Goulnara N. Arzhantseva, Christopher H. Cashen, Dominik Gruber, and David Hume. Negative curvature in graphical small cancellation groups. Groups Geom. Dyn. , 13(2):579--632, 2019
2019
-
[3]
Arzhantseva, C
G. Arzhantseva, C. Cashen, and J. Tao. Growth tight actions. Pacific Journal of Mathematics , 278:1--49, 2015
2015
-
[4]
Arzhantseva and I
G. Arzhantseva and I. Lysenok. Growth tightness for word hyperbolic groups. Math. Z. , 241(3):597--611, 2002
2002
-
[5]
M. Bestvina, K. Bromberg, and K. Fujiwara. Constructing group actions on quasi-trees and applications to mapping class groups. Publications math\'ematiques de l'IH\'ES , 122(1):1--64, 2015. arXiv:1006.1939
arXiv 2015
-
[6]
Bestvina, K
M. Bestvina, K. Bromberg, K. Fujiwara, and A. Sisto. Acylindrical actions on projection complexes. Enseign. Math. , 65(1-2):1--32, 2019
2019
-
[7]
Behrstock
J. Behrstock. Asymptotic geometry of the mapping class group and T eichm\" u ller space. Geom. Topol. , 10:1523--1578, 2006
2006
-
[8]
M. Bestvina and K. Fujiwara. A characterization of higher rank symmetric spaces via bounded cohomology. Geometric and Functional Analysis , 19(1):11--40, 2009. arXiv:math/0702274
arXiv 2009
Show all 50 references
-
[9]
Hyperbolicity of the complex of free factors
Mladen Bestvina and Mark Feighn. Hyperbolicity of the complex of free factors. Adv. Math. , 256:104--155, 2014
2014
-
[10]
Large deviations for random walks on G romov-hyperbolic spaces
Adrien Boulanger, Pierre Mathieu, Cagri Sert, and Alessandro Sisto. Large deviations for random walks on G romov-hyperbolic spaces. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , 56(3):885--944, 2023
2023
-
[11]
Confined subgroups in groups with contracting elements, 2024
Inhyeok Choi, Ilya Gekhtman, and Wenyuan Yang. Confined subgroups in groups with contracting elements, 2024
2024
-
[12]
Pseudo- A nosovs are exponentially generic in mapping class groups
Inhyeok Choi. Pseudo- A nosovs are exponentially generic in mapping class groups. Geometry & Topology , 28:1923--1955, 2024
1923
-
[13]
Acylindrically hyperbolic groups and counting problems, 2025
Inhyeok Choi. Acylindrically hyperbolic groups and counting problems, 2025
2025
-
[14]
Counting pseudo- A nosovs as weakly contracting isometries
Inhyeok Choi. Counting pseudo- A nosovs as weakly contracting isometries. Invent. Math. , 242(1):337--386, 2025
2025
-
[15]
Random walks and contracting elements II : T ranslation length and quasi-isometric embedding
Inhyeok Choi. Random walks and contracting elements II : T ranslation length and quasi-isometric embedding. Groups Geom. Dyn. , 19(4):1373--1423, 2025
2025
-
[16]
Statistics and compression of scl
Danny Calegari and Joseph Maher. Statistics and compression of scl. Ergodic Theory Dynam. Systems , 35(1):64--110, 2015
2015
-
[17]
R. Coulon. Patterson- S ullivan theory for groups with a strongly contracting element. preprint, arXiv:2206.07361
-
[18]
Acylindrical hyperbolicity and A rtin- T its groups of spherical type
Matthieu Calvez and Bert Wiest. Acylindrical hyperbolicity and A rtin- T its groups of spherical type. Geom. Dedicata , 191:199--215, 2017
2017
-
[19]
Curve graphs and G arside groups
Matthieu Calvez and Bert Wiest. Curve graphs and G arside groups. Geom. Dedicata , 188:195--213, 2017
2017
-
[20]
Dahmani, V
F. Dahmani, V. Guirardel, and D. Osin. Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces. Mem. Amer. Math. Soc. , 245(1156):v+152, 2017
2017
-
[21]
Growth tightness and genericity for word metrics from injective spaces, 2024
Lihuang Ding, D \'i dac Mart \'i nez-Granado, and Abdul Zalloum. Growth tightness and genericity for word metrics from injective spaces, 2024. Accepted for publication in Compositio Mathematica
2024
-
[22]
Dal'bo, M
F. Dal'bo, M. Peign\'e, J.C. Picaud, and A. Sambusetti. On the growth of quotients of K leinian groups. Ergodic Theory and Dynamical Systems , 31(3):835--851, 2011
2011
-
[23]
Ding and W
L. Ding and W. Yang. Growth tightness of quotients by confined subgroups. arXiv , 2024
2024
-
[24]
Ding and W.Y
L.H. Ding and W.Y. Yang. Sublinearly projection tracking in acylindrically hyperbolic groups, 2026
2026
-
[25]
Grigorchuk and P
R. Grigorchuk and P. de la Harpe. On problems related to growth, entropy and spectrum in group theory. J. Dyn. Control Syst. , 3(1):51 -- 89, 1997
1997
-
[26]
Exponential bounds for random walks on hyperbolic spaces without moment conditions
S\'ebastien Gou\"ezel. Exponential bounds for random walks on hyperbolic spaces without moment conditions. Tunis. J. Math. , 4(4):635--671, 2022
2022
-
[27]
R. I. Grigorchuk. Symmetric random walks on discrete groups. Uspehi Mat. Nauk , 32(6(198)):217--218, 1977
1977
-
[28]
Markov chains on hyperbolic-like groups and quasi-isometries
Antoine Goldsborough and Alessandro Sisto. Markov chains on hyperbolic-like groups and quasi-isometries. arXiv:2111.09837, accepted to Crelle's journal, 2022
2022 arXiv
-
[29]
Random divergence of groups
Antoine Goldsborough and Alessandro Sisto. Random divergence of groups. arXiv:2303.09943, 2023
2023 arXiv
-
[30]
Taylor, and Giulio Tiozzo
Ilya Gekhtman, Samuel J. Taylor, and Giulio Tiozzo. Counting loxodromics for hyperbolic actions. J. Topol. , 11(2):379--419, 2018
2018
-
[31]
Taylor, and Giulio Tiozzo
Ilya Gekhtman, Samuel J. Taylor, and Giulio Tiozzo. Counting problems in graph products and relatively hyperbolic groups. Israel J. Math. , 237(1):311--371, 2020
2020
-
[32]
Gekhtman and W.Y
I. Gekhtman and W.Y. Yang. Counting conjugacy classes in groups with contracting elements. J. Topol. , 15(2):620--665, 2022
2022
-
[33]
Large quotients of group actions with a contracting element
Zunwu He, Jinsong Liu, and Wenyuan Yang. Large quotients of group actions with a contracting element. In Proceedings of the I nternational C onsortium of C hinese M athematicians 2017 , pages 319--338. Int. Press, Boston, MA, [2020] 2020
2017
-
[34]
Ilya Kapovich, Joseph Maher, Catherine Pfaff, and Samuel J. Taylor. Random outer automorphisms of free groups: attracting trees and their singularity structures. Trans. Amer. Math. Soc. , 375(1):525--557, 2022
2022
-
[35]
J. Maher. Random walks on the mapping class group. Duke Math. J. , 156(3):429--468, 2011
2011
-
[36]
Mathieu and A
P. Mathieu and A. Sisto. Deviation inequalities for random walks. Duke Math. J. , 169(5):961--1036, 2020
2020
-
[37]
Maher and G
J. Maher and G. Tiozzo. Random walks on weakly hyperbolic groups. J. Reine Angew. Math. , 742:187--239, 2018
2018
-
[38]
Matsuzaki, Y
K. Matsuzaki, Y. Yabuki, and J. Jaerisch. Normalizer, divergence type, and P atterson measure for discrete groups of the G romov hyperbolic space. Groups Geom. Dyn. , 14(2):369--411, 2020
2020
-
[39]
D. Osin. Acylindrically hyperbolic groups. Trans. Amer. Math. Soc. , 368(2):851--888, 2016
2016
-
[40]
Denis V. Osin. Groups acting acylindrically on hyperbolic spaces. In Proceedings of the I nternational C ongress of M athematicians--- R io de J aneiro 2018. V ol. II . I nvited lectures , pages 919--939. World Sci. Publ., Hackensack, NJ, 2018
2018
-
[41]
I. Rivin. Walks on groups, counting reducible matrices, polynomials, and surface and free group automorphisms. Duke Math. J. , 142(2):353--379, 2008
2008
-
[42]
Geodesics in the mapping class group
Kasra Rafi and Yvon Verberne. Geodesics in the mapping class group. Algebr. Geom. Topol. , 21(6):2995--3017, 2021
2021
-
[43]
Sambusetti
A. Sambusetti. Growth tightness of free and amalgamated products. Ann. Sci. \'Ecole Norm. Sup. , s\'erie 35(4):477 -- 488, 2002
2002
-
[44]
Quasi-convexity of hyperbolically embedded subgroups
Alessandro Sisto. Quasi-convexity of hyperbolically embedded subgroups. Math. Z. , 283(3-4):649--658, 2016
2016
-
[45]
Contracting elements and random walks
Alessandro Sisto. Contracting elements and random walks. J. Reine Angew. Math. , 742:79--114, 2018
2018
-
[46]
On the genericity of loxodromic actions
Bert Wiest. On the genericity of loxodromic actions. Israel J. Math. , 220(2):559--582, 2017
2017
-
[47]
Growth tightness for groups with contracting elements
Wenyuan Yang. Growth tightness for groups with contracting elements. Math. Proc. Cambridge Philos. Soc , 157:297 -- 319, 2014
2014
-
[48]
W. Y. Yang. Statistically convex-cocompact actions of groups with contracting elements. Int. Math. Res. Not. IMRN , (23):7259--7323, 2019
2019
-
[49]
W. Y. Yang. Genericity of contracting elements in groups. Math. Ann. , 376(3-4):823--861, 2020
2020
-
[50]
Conformal dynamics at infinity for groups with contracting elements
Wenyuan Yang. Conformal dynamics at infinity for groups with contracting elements. arXiv: 2208.04861, 2023
2023 arXiv
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.