Geodesic Trees and Exceptional Directions in FPP on Hyperbolic Groups
Pith reviewed 2026-05-23 08:00 UTC · model grok-4.3
The pith
In first passage percolation on Gromov-hyperbolic groups, the exceptional directions where geodesics fail to coalesce or be unique almost surely form a set of strictly smaller Hausdorff dimension than the boundary.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Under mild conditions on the passage-time distribution, the set of exceptional directions almost surely has strictly smaller Hausdorff dimension than the boundary of G and therefore has Patterson-Sullivan measure zero. For groups that are not virtually free, exceptional directions exist almost surely and are dense in the boundary; when the topological dimension of the boundary is n greater than 1, there exist directions admitting at least n+1 disjoint geodesics, and when the dimension exceeds one there are uncountably many exceptional directions. These conclusions rest on the structure of two random geodesic trees: the tree of all geodesics emanating from a fixed base point and the tree of a
What carries the argument
The two random geodesic trees (one rooted at a fixed vertex, one consisting of all semi-infinite geodesics in a fixed direction) whose coalescence failures define the exceptional set on the boundary.
If this is right
- Exceptional directions carry Patterson-Sullivan measure zero.
- For non-virtually-free groups, exceptional directions exist almost surely and are dense in the boundary.
- When the topological dimension of the boundary exceeds one, there are uncountably many exceptional directions almost surely.
- When the topological dimension equals n, there exist directions admitting at least n+1 disjoint geodesics almost surely.
- An upper bound holds on the maximum number of disjoint geodesics sharing the same direction.
Where Pith is reading between the lines
- The same dimension-drop argument may apply to other coalescence questions on hyperbolic spaces once the relevant tree structure is established.
- In groups with boundary dimension one, the exceptional set could still be dense yet countable, consistent with the stated results.
- The upper bound on the number of disjoint geodesics supplies a uniform control that could be used to compare different passage-time distributions.
Load-bearing premise
Deep, unstated structural facts about Gromov-hyperbolic groups and their boundaries suffice to control the geometry of the random geodesic trees and the measures on the boundary.
What would settle it
A concrete passage-time distribution on a specific hyperbolic group for which the exceptional set has Hausdorff dimension equal to that of the boundary.
Figures
read the original abstract
We continue the study of the geometry of infinite geodesics in first passage percolation (FPP) on Gromov-hyperbolic groups G, initiated by Benjamini-Tessera and developed further by the authors. It was shown earlier by the authors that, given any fixed direction $\xi\in \partial G$, and under mild conditions on the passage time distribution, there exists almost surely a unique semi-infinite FPP geodesic from each $v\in G$ to $\xi$. Also, these geodesics coalesce to form a tree. Our main topic of study is the set of (random) exceptional directions for which uniqueness or coalescence fails. We study these directions in the context of two random geodesics trees: one formed by the union of all geodesics starting at a given base point, and the other formed by the union of all semi-infinite geodesics in a given direction $\xi\in \partial G$. We show that, under mild conditions, the set of exceptional directions almost surely has a strictly smaller Hausdorff dimension than the boundary, and hence has measure zero with respect to the Patterson-Sullivan measure. We also establish an upper bound on the maximum number of disjoint geodesics in the same direction. For groups that are not virtually free, we show that almost surely exceptional directions exist and are dense in $\partial G$. When the topological dimension of $\partial G$ is greater than one, we establish the existence of uncountably many exceptional directions. When the topological dimension of $\partial G$ is $n$, we prove the existence of directions $\xi$ with at least $(n+1)$ disjoint geodesics. Our results hinge on deep facts about hyperbolic groups. En route, we also establish facts about the structure of random bigeodesics that substantially strengthen prior results.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper continues the study of infinite geodesics in first-passage percolation on Gromov-hyperbolic groups. Building on prior results that unique semi-infinite geodesics exist to any fixed boundary point ξ and coalesce into a tree, it analyzes the random set of exceptional directions where uniqueness or coalescence fails. Using two random geodesic trees (one rooted at a basepoint and one consisting of all semi-infinite geodesics in a fixed direction), the authors claim that under mild conditions on the passage-time distribution this exceptional set has strictly smaller Hausdorff dimension than the boundary almost surely (hence Patterson-Sullivan measure zero), obtain an upper bound on the maximum number of disjoint geodesics sharing a direction, prove existence and density of exceptional directions when G is not virtually free, and establish multiplicity results when the topological dimension of ∂G exceeds 1. All results are stated to hinge on deep facts about hyperbolic groups and their boundaries; additional facts about random bigeodesics are obtained en route.
Significance. If the dimension-drop and multiplicity claims hold, the work supplies quantitative control on the 'bad' set of directions in FPP on hyperbolic groups, extending the authors' earlier uniqueness and coalescence theorems. The explicit dependence on the topological dimension of the boundary and the measure-zero conclusion with respect to the Patterson-Sullivan measure are potentially useful for further geometric-probabilistic analysis. The strengthening of bigeodesic results is a secondary contribution.
major comments (2)
- [Abstract] Abstract: the central claim that the exceptional set has strictly smaller Hausdorff dimension than ∂G (and is therefore Patterson-Sullivan null) is asserted to follow from 'deep facts about hyperbolic groups,' yet no specific theorems (e.g., on the geodesic flow, conformal measures, or boundary structure) are identified, nor is the reduction from the random trees to those facts supplied. This step is load-bearing for the dimension inequality and cannot be verified from the given statement.
- [Abstract] Abstract: the new dimension and multiplicity statements are described as building on the authors' prior papers, but the abstract gives no indication that the strict Hausdorff-dimension drop reduces to quantities already controlled in those works; without an explicit reduction the derivation risks circularity.
Simulated Author's Rebuttal
We thank the referee for their thorough review and for identifying points where the abstract could more clearly articulate the logical dependencies. We address each major comment below. Revisions will be made to the abstract to improve transparency without changing the paper's core arguments or results.
read point-by-point responses
-
Referee: [Abstract] Abstract: the central claim that the exceptional set has strictly smaller Hausdorff dimension than ∂G (and is therefore Patterson-Sullivan null) is asserted to follow from 'deep facts about hyperbolic groups,' yet no specific theorems (e.g., on the geodesic flow, conformal measures, or boundary structure) are identified, nor is the reduction from the random trees to those facts supplied. This step is load-bearing for the dimension inequality and cannot be verified from the given statement.
Authors: We agree that the abstract is too terse on this point. The dimension inequality is obtained in the body by combining the almost-sure tree structure and coalescence properties of the two random geodesic trees (from our prior uniqueness/coalescence theorems) with deterministic facts on hyperbolic boundaries: specifically, the Ahlfors regularity of the Patterson-Sullivan measure and the fact that certain subsets defined by multiple geodesics have strictly lower Hausdorff dimension. The reduction is therefore non-circular and rests on standard references (e.g., results on conformal measures and the geodesic flow). We will revise the abstract to name these facts explicitly and to indicate where the reduction occurs. revision: yes
-
Referee: [Abstract] Abstract: the new dimension and multiplicity statements are described as building on the authors' prior papers, but the abstract gives no indication that the strict Hausdorff-dimension drop reduces to quantities already controlled in those works; without an explicit reduction the derivation risks circularity.
Authors: The argument is not circular. The probabilistic control (uniqueness to each ξ, coalescence into trees, and the resulting exceptional set) is taken from our earlier papers. The strict Hausdorff-dimension drop is then a deterministic consequence of applying those controls to the boundary geometry of G (using that the boundary is Ahlfors regular and that the exceptional set is a countable union of lower-dimensional subsets). We will revise the abstract to state this separation of probabilistic and deterministic ingredients explicitly, thereby removing any appearance of circularity. revision: yes
Circularity Check
Minor self-citations to authors' prior results on geodesic uniqueness, but new Hausdorff dimension claims on exceptional directions do not reduce to those inputs.
specific steps
-
self citation load bearing
[Abstract]
"It was shown earlier by the authors that, given any fixed direction ξ∈∂G, and under mild conditions on the passage time distribution, there exists almost surely a unique semi-infinite FPP geodesic from each v∈G to ξ. Also, these geodesics coalesce to form a tree."
The uniqueness and tree formation for fixed directions are taken from the authors' own prior work; the new analysis of the random set of exceptional directions (where these fail) builds directly on this without an independent derivation of the dimension drop from first principles or external theorems alone.
full rationale
The paper explicitly continues prior work by the same authors on uniqueness and coalescence for fixed directions, citing those results as background. However, the central claims (strictly smaller Hausdorff dimension of the exceptional set, multiplicity bounds, density) are new and do not reduce by any stated equation or definition to quantities fitted or defined in the cited prior papers. The mention of 'deep facts about hyperbolic groups' is acknowledged as external input rather than a self-referential loop. This matches the pattern of normal continuation with one minor self-citation that is not load-bearing for the novel results.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Gromov-hyperbolic groups possess boundaries equipped with Patterson-Sullivan measures that control dimension and measure-zero sets
- domain assumption Mild conditions on the passage-time distribution guarantee existence and coalescence of semi-infinite geodesics to a fixed boundary point
Reference graph
Works this paper leans on
-
[1]
50 years of first-passage percolation , volume 68 of University Lecture Series
Antonio Auffinger, Michael Damron, and Jack Hanson. 50 years of first-passage percolation , volume 68 of University Lecture Series . American Mathematical Society, Providence, RI, 2017
work page 2017
-
[2]
Asymptotic shapes for stationary first passage percolation on virtually nilpotent groups
Antonio Auffinger and Christian Gorski. Asymptotic shapes for stationary first passage percolation on virtually nilpotent groups. Probability Theory and Related Fields , 186(1):285--326, 2023
work page 2023
-
[3]
Random coalescing geodesics in first-passage percolation
D. Ahlberg and C. Hoffman. Random coalescing geodesics in first-passage percolation. Preprint, arXiv:1609.02447
work page internal anchor Pith review Pith/arXiv arXiv
-
[4]
The number of geodesics in planar first-passage percolation grows sublinearly, 2022
Daniel Ahlberg, Jack Hanson, and Christopher Hoffman. The number of geodesics in planar first-passage percolation grows sublinearly, 2022
work page 2022
-
[5]
Existence and coexistence in first-passage percolation
Daniel Ahlberg. Existence and coexistence in first-passage percolation. In In and out of equilibrium 3. C elebrating V ladas S idoravicius , volume 77 of Progr. Probab. , pages 1--15. Birkh\" a user/Springer, Cham, [2021] 2021
work page 2021
-
[6]
Geodesic trees in last passage percolation and some related problems
M\'arton Bal\'azs, Riddhipratim Basu, and Sudeshna Bhattacharjee. Geodesic trees in last passage percolation and some related problems. arXiv preprint arXiv:2308.07312 , 2023
-
[7]
A new fractal dimension: the topological H ausdorff dimension
Rich\' a rd Balka, Zolt\' a n Buczolich, and M\' a rton Elekes. A new fractal dimension: the topological H ausdorff dimension. Adv. Math. , 274:881--927, 2015
work page 2015
-
[8]
M. Bestvina and M. Feighn. A C ombination theorem for N egatively C urved G roups. J. Diff. Geom., vol 35 , pages 85--101, 1992
work page 1992
-
[9]
Intertwining the busemann process of the directed polymer model, 2024
Erik Bates, Wai-Tong Louis Fan, and Timo Sepplinen. Intertwining the busemann process of the directed polymer model, 2024
work page 2024
-
[10]
Bridson and Andr\' e Haefliger
Martin R. Bridson and Andr\' e 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
-
[11]
Duality in the directed landscape and its applications to fractal geometry, 2024
Manan Bhatia. Duality in the directed landscape and its applications to fractal geometry, 2024
work page 2024
-
[12]
The boundary of negatively curved groups
Mladen Bestvina and Geoffrey Mess. The boundary of negatively curved groups. J. Amer. Math. Soc. , 4(3):469--481, 1991
work page 1991
-
[13]
First passage percolation on hyperbolic groups
Riddhipratim Basu and Mahan Mj. First passage percolation on hyperbolic groups. Adv. Math. , 408(part A):Paper No. 108599, 63, 2022
work page 2022
- [14]
-
[15]
Kenneth S. Brown. Cohomology of groups , volume 87 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1994. Corrected reprint of the 1982 original
work page 1994
-
[16]
The stationary horizon and semi-infinite geodesics in the directed landscape
Ofer Busani, Timo Sepp\" a l\" a inen, and Evan Sorensen. The stationary horizon and semi-infinite geodesics in the directed landscape. Ann. Probab. , 52(1):1--66, 2024
work page 2024
-
[17]
First passage percolation on nilpotent Cayley graphs and beyond
Itai Benjamini and Romain Tessera. First passage percolation on nilpotent Cayley graphs and beyond . Electronic Journal of Probability , 20(none):1 -- 20, 2015
work page 2015
-
[18]
First passage percolation on a hyperbolic graph admits bi-infinite geodesics
Itai Benjamini and Romain Tessera. First passage percolation on a hyperbolic graph admits bi-infinite geodesics. Electron. Commun. Probab. , 22:Paper No. 14, 8, 2017
work page 2017
-
[19]
Ofer Busani. Non-existence of three non-coalescing infinite geodesics with the same direction in the directed landscape. preprint, arxiv:2401.00513 , 2024
-
[20]
Tightness of fluctuations of first passage percolation on some large graphs
Itai Benjamini and Ofer Zeitouni. Tightness of fluctuations of first passage percolation on some large graphs. In Geometric aspects of functional analysis , volume 2050 of Lecture Notes in Math. , pages 127--132. Springer, Heidelberg, 2012
work page 2050
-
[21]
The ergodic theory of hyperbolic groups
Danny Calegari. The ergodic theory of hyperbolic groups. In Geometry and topology down under , volume 597 of Contemp. Math. , pages 15--52. Amer. Math. Soc., Providence, RI, 2013
work page 2013
-
[22]
Thick trace at infinity for the hyperbolic radial spanning tree, 2023
David Coupier, Lucas Flammant, and Viet Chi Tran. Thick trace at infinity for the hyperbolic radial spanning tree, 2023
work page 2023
-
[23]
Convergence groups and S eifert fibered 3 -manifolds
Andrew Casson and Douglas Jungreis. Convergence groups and S eifert fibered 3 -manifolds. Invent. Math. , 118(3):441--456, 1994
work page 1994
- [24]
-
[25]
The Kardar--Parisi--Zhang equation and universality class
Ivan Corwin. The Kardar--Parisi--Zhang equation and universality class. Random matrices: Theory and applications , 1(01):1130001, 2012
work page 2012
-
[26]
Multiple geodesics with the same direction
David Coupier. Multiple geodesics with the same direction. Electron. Commun. Probab. , 16:517--527, 2011
work page 2011
-
[27]
J. Cannon and W. P. Thurston. Group I nvariant P eano C urves. preprint, Princeton , 1985
work page 1985
-
[28]
J. Cannon and W. P. Thurston. Group I nvariant P eano C urves. Geom. Topol. 11 , pages 1315--1355, 2007
work page 2007
-
[29]
The 27 geodesic networks in the directed landscape, 2023
Duncan Dauvergne. The 27 geodesic networks in the directed landscape, 2023
work page 2023
-
[30]
Coalescence of geodesics and the BKS midpoint problem in planar first-passage percolation
Barbara Dembin, Dor Elboim, and Ron Peled. Coalescence of geodesics and the BKS midpoint problem in planar first-passage percolation. Geom. Funct. Anal. , 34(3):733--797, 2024
work page 2024
-
[31]
Busemann functions and infinite geodesics in two-dimensional first-passage percolation
Michael Damron and Jack Hanson. Busemann functions and infinite geodesics in two-dimensional first-passage percolation. Communications in Mathematical Physics , 325(3):917--963, 2014
work page 2014
-
[32]
Bigeodesics in first-passage percolation
Michael Damron and Jack Hanson. Bigeodesics in first-passage percolation. Communications in Mathematical Physics , 349(2):753--776, 2017
work page 2017
-
[33]
M. J. Dunwoody. The accessibility of finitely presented groups. Invent. Math. , 81(3):449--457, 1985
work page 1985
-
[34]
Anomalous geodesics in the inhomogeneous corner growth model
Elnur Emrah, Christopher Janjigian, and Timo Sepp \"a l \"a inen. Anomalous geodesics in the inhomogeneous corner growth model. arXiv preprint arXiv:2408.13382 , 2024
-
[35]
A. Eskin and C.T. McMullen. Mixing, counting, and equidistribution in lie groups. Duke Math. J. 71, no. 1 , pages 181--209, 1993
work page 1993
-
[36]
Dimension theory , volume 19 of North-Holland Mathematical Library
Ryszard Engelking. Dimension theory , volume 19 of North-Holland Mathematical Library . North-Holland Publishing Co., Amsterdam-Oxford-New York; PWN---Polish Scientific Publishers, Warsaw, 1978. Translated from the Polish and revised by the author
work page 1978
-
[37]
Pablo A. Ferrari, James B. Martin, and Leandro P. R. Pimentel. A phase transition for competition interfaces. Ann. Appl. Probab. , 19(1):281--317, 2009
work page 2009
-
[38]
Pablo A. Ferrari and Leandro P. R. Pimentel. Competition interfaces and second class particles. Ann. Probab. , 33(4):1235--1254, 2005
work page 2005
-
[39]
Convergence groups are F uchsian groups
David Gabai. Convergence groups are F uchsian groups. Ann. of Math. (2) , 136(3):447--510, 1992
work page 1992
-
[40]
E. Ghys and P. de la Harpe(eds.). Sur les groupes hyperboliques d'apres M ikhael G romov. Progress in Math. vol 83, Birkhauser, Boston Ma. , 1990
work page 1990
-
[41]
Strict monotonicity for first passage percolation on graphs of polynomial growth and quasi-trees
Christian Gorski. Strict monotonicity for first passage percolation on graphs of polynomial growth and quasi-trees . The Annals of Probability , 52(4):1487 -- 1537, 2024
work page 2024
-
[42]
C. Douglas Howard and Charles M. Newman. Euclidean models of first-passage percolation. Probability Theory and Related Fields , 108(2):153--170, 1997
work page 1997
-
[43]
C. Douglas Howard and Charles M. Newman. Special Invited Paper: Geodesics And Spanning Tees For Euclidean First-Passage Percolaton . The Annals of Probability , 29(2):577 -- 623, 2001
work page 2001
-
[44]
Coexistence for R ichardson type competing spatial growth models
Christopher Hoffman. Coexistence for R ichardson type competing spatial growth models. Ann. Appl. Probab. , 15(1B):739--747, 2005
work page 2005
-
[45]
Geodesics in first passage percolation
Christopher Hoffman. Geodesics in first passage percolation. Ann. Appl. Probab. , 18(5):1944--1969, 2008
work page 1944
-
[46]
Witold Hurewicz and Henry Wallman. Dimension T heory . Princeton Mathematical Series, vol. 4. Princeton University Press, Princeton, NJ, 1941
work page 1941
-
[47]
J. M. Hammersley and D. J. A. Welsh. First-passage percolation, subadditive processes, stochastic networks, and generalized renewal theory. In Proc. I nternat. R es. S emin., S tatist. L ab., U niv. C alifornia, B erkeley, C alif , pages 61--110. Springer-Verlag, New York, 1965
work page 1965
-
[48]
Busemann functions and Gibbs measures in directed polymer models on Z ^ 2
Christopher Janjigian and Firas Rassoul-Agha. Busemann functions and Gibbs measures in directed polymer models on Z ^ 2 . The Annals of Probability , 48(2):778 -- 816, 2020
work page 2020
-
[49]
Geometry of geodesics through B usemann measures in directed last-passage percolation
Christopher Janjigian, Firas Rassoul-Agha, and Timo Sepp\" a l\" a inen. Geometry of geodesics through B usemann measures in directed last-passage percolation. J. Eur. Math. Soc. (JEMS) , 25(7):2573--2639, 2023
work page 2023
-
[50]
Hyperbolic groups with low-dimensional boundary
Michael Kapovich and Bruce Kleiner. Hyperbolic groups with low-dimensional boundary. Ann. Sci. \' E cole Norm. Sup. (4) , 33(5):647--669, 2000
work page 2000
-
[51]
M. Mitra. Cannon- T hurston M aps for T rees of H yperbolic M etric S paces. Jour. Diff. Geom.48 , pages 135--164, 1998
work page 1998
-
[52]
M. Mj. Relative Rigidity, Quasiconvexity and C-Complexes . Algebraic and Geometric Topology 8 , pages 1691--1716, 2008
work page 2008
-
[53]
Pattern rigidity and the H ilbert- S mith conjecture
Mahan Mj. Pattern rigidity and the H ilbert- S mith conjecture. Geom. Topol. , 16(2):1205--1246, 2012
work page 2012
-
[54]
M. Mj. Ending Laminations and Cannon-Thurston Maps, with an appendix by S. Das and M. Mj . Geom. Funct. Anal. 24 , pages 297--321, 2014
work page 2014
-
[55]
Mahan Mj. Cannon- T hurston maps. In Proceedings of the I nternational C ongress of M athematicians--- R io de J aneiro 2018. V ol. II . I nvited lectures , pages 885--917. World Sci. Publ., Hackensack, NJ, 2018
work page 2018
- [56]
-
[57]
A surface view of first-passage percolation
Charles M Newman. A surface view of first-passage percolation. In Proceedings of the International Congress of Mathematicians , pages 1017--1023. Springer, 1995
work page 1995
-
[58]
E. Rips and Z. Sela. Structure and rigidity in hyperbolic groups. Geom. Funct. Anal. v.4 no.3 , pages 337--371, 1994
work page 1994
-
[59]
E. Rips and Z. Sela. Cyclic splittings of finitely presented groups and the canonical JSJ decomposition. Ann. of Math. (2) , 146(1):53--109, 1997
work page 1997
- [60]
-
[61]
P. Scott and C. T. C. Wall. Topological M ethods in G roup T heory. Homological group theory (C. T. C. Wall, ed.), London Math. Soc. Lecture Notes Series, vol. 36, Cambridge Univ. Press , 1979
work page 1979
-
[62]
G. A. Swarup. On the cut point conjecture. Electron. Res. Announc. Amer. Math. Soc. , 2(2):98--100, 1996
work page 1996
-
[63]
John J. Walsh. Dimension, cohomological dimension, and cell-like mappings. In Shape theory and geometric topology ( D ubrovnik, 1981) , volume 870 of Lecture Notes in Math. , pages 105--118. Springer, Berlin, 1981
work page 1981
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.