Quadratic differentials and random walks on the dual graph of a pants decomposition
Pith reviewed 2026-05-10 15:13 UTC · model grok-4.3
The pith
The geodesic flow on an infinite Riemann surface with a bounded pants decomposition is ergodic if and only if the random walk on its dual graph is recurrent.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper proves that for an infinite Riemann surface X admitting an upper-bounded geodesic pants decomposition with dual graph G (vertices as pants, edges as cuffs with conductance equal to length), the geodesic flow on X is ergodic if and only if the random walk on G is recurrent. This is achieved by characterizing the measured geodesic laminations on X that come from straightened horizontal foliations of finite-area holomorphic quadratic differentials, and translating those conditions into the existence of square-summable flow functions on G.
What carries the argument
The dual graph G of the pants decomposition with edge conductances given by cuff lengths, whose random walk recurrence is equivalent to the existence of square-summable flow functions arising from finite-area holomorphic quadratic differentials via their straightened horizontal foliations.
If this is right
- Explicit criteria in terms of cuff length growth determine whether the geodesic flow is ergodic.
- New concrete families of Riemann surfaces exhibit phase transitions between recurrent and non-recurrent geodesic flows.
- Rough isometry between surfaces does not necessarily preserve ergodicity of the geodesic flow, whereas rough isometry between their dual graphs does preserve it.
Where Pith is reading between the lines
- The equivalence suggests graph recurrence can proxy for complex-analytic ergodicity on a broader class of surfaces by approximation with bounded pants decompositions.
- Similar translations between quadratic differentials and graph flows may apply to other dynamical properties such as mixing rates on infinite surfaces.
- The distinction in behavior under rough isometry points to the graph as a discrete skeleton that captures the essential recurrence features independent of the surface embedding.
Load-bearing premise
The infinite Riemann surface admits a geodesic pants decomposition in which all cuff lengths are bounded above.
What would settle it
An explicit infinite Riemann surface with an upper-bounded pants decomposition where the geodesic flow is ergodic but the random walk on the dual graph is transient (or the reverse).
Figures
read the original abstract
Let X be an infinite Riemann surface with an upper-bounded geodesic pants decomposition. The vertices of the corresponding dual graph G are pairs of pants and edges are cuffs with conductances equal to their lengths. We prove that the geodesic flow on X is ergodic if and only if the random walk on G is recurrent. This yields explicit criteria for deciding, in terms of cuff-length growth, whether the geodesic flow is ergodic. We provide concrete and new families of Riemann surfaces with an explicit understanding of the phase transitions from recurrent to non-recurrent geodesic flows. In addition, we show that rough isometry of surfaces does not preserve the ergodicity of the geodesic flow while rough isometry of their dual graphs does. The above equivalence result uses a characterization of the measured geodesic laminations on X that arise as straightened horizontal foliations of finite-area holomorphic quadratic differentials. The conditions on the measured laminations are translated into the conditions on the existence of a square summable flow function on G.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that for an infinite Riemann surface X admitting an upper-bounded geodesic pants decomposition, the geodesic flow on X is ergodic if and only if the random walk on the dual graph G (vertices are pants, edges are cuffs with conductances equal to lengths) is recurrent. The proof relies on a characterization of measured geodesic laminations arising as straightened horizontal foliations of finite-area holomorphic quadratic differentials, which is then translated into the existence of square-summable flow functions on G. Additional results include explicit families of surfaces exhibiting phase transitions between recurrent and non-recurrent geodesic flows, as well as a demonstration that rough isometry preserves recurrence on the graphs but not ergodicity on the surfaces.
Significance. If the central equivalence holds, the work provides a concrete bridge between the ergodic theory of geodesic flows on infinite Riemann surfaces and recurrence criteria for random walks on graphs with length-based conductances. This yields explicit, growth-rate-based tests for ergodicity and new families of surfaces with controlled phase transitions. The distinction regarding rough isometries and the use of measured-lamination characterizations to derive analytic flow conditions are notable strengths that could influence further work at the interface of Teichmüller theory and probabilistic dynamics.
major comments (2)
- [Proof of the main equivalence (via lamination characterization)] The central iff statement rests on translating the geometric conditions on measured geodesic laminations (arising from finite-area quadratic differentials) into the existence of square-summable flow functions on G. The abstract outlines this strategy, but the full derivation and verification of the square-summable flow step must be explicitly checked in the body of the manuscript to confirm support for the equivalence.
- [Assumptions and main theorem statement] The standing assumption that X admits an upper-bounded geodesic pants decomposition is load-bearing for the translation step; the manuscript should clarify whether this boundedness is essential to the lamination characterization or whether the equivalence can be extended or localized when lengths are unbounded.
minor comments (2)
- The definition and precise properties of a 'square summable flow function' on G should be stated explicitly at the first point of use, with a reference to the relevant conductance assignment.
- Notation for the dual graph G, its vertices, and edge conductances could be introduced in a dedicated preliminary section or diagram to improve readability before the main arguments.
Simulated Author's Rebuttal
We thank the referee for their careful reading, positive assessment of the significance, and constructive comments. We address the major comments point by point below. Revisions have been made to improve explicitness and clarify assumptions.
read point-by-point responses
-
Referee: [Proof of the main equivalence (via lamination characterization)] The central iff statement rests on translating the geometric conditions on measured geodesic laminations (arising from finite-area quadratic differentials) into the existence of square-summable flow functions on G. The abstract outlines this strategy, but the full derivation and verification of the square-summable flow step must be explicitly checked in the body of the manuscript to confirm support for the equivalence.
Authors: The full derivation of the translation from the lamination characterization to square-summable flows on G is already present in the body: Theorem 4.1 recalls the relevant characterization of measured geodesic laminations arising from finite-area quadratic differentials, while the proof of Theorem 5.1 (in Section 5) carries out the translation step by step, showing equivalence to the existence of a square-summable flow function via the conductance-weighted edges. To make the verification more explicit as requested, we have inserted a new paragraph immediately after the statement of Theorem 5.1 that isolates the key estimates and checks each direction of the implication. We believe this addresses the concern without altering the original argument. revision: yes
-
Referee: [Assumptions and main theorem statement] The standing assumption that X admits an upper-bounded geodesic pants decomposition is load-bearing for the translation step; the manuscript should clarify whether this boundedness is essential to the lamination characterization or whether the equivalence can be extended or localized when lengths are unbounded.
Authors: The upper-boundedness of the pants decomposition is essential to the lamination characterization employed in the proof. It guarantees that the total transverse measure remains finite precisely when the corresponding flow function on G is square-summable, because unbounded cuff lengths permit laminations whose transverse measures accumulate without bound in a manner incompatible with finite-area quadratic differentials. We have added an explicit statement to this effect in the paragraph following Theorem 1.1 and a new Remark 2.4 that explains why the boundedness cannot be removed without losing the correspondence. Extensions or localizations to unbounded-length decompositions lie outside the scope of the present work and would require a separate analysis of infinite-measure laminations. revision: yes
Circularity Check
No significant circularity identified
full rationale
The paper derives the equivalence between ergodicity of the geodesic flow on X and recurrence of the random walk on the dual graph G by characterizing measured geodesic laminations from finite-area holomorphic quadratic differentials and directly translating those into the existence of square-summable flow functions on G (with conductances from cuff lengths). Under the explicit standing assumption of an upper-bounded geodesic pants decomposition, this yields recurrence criteria in terms of cuff-length growth. No step reduces by construction to its inputs, fitted parameters renamed as predictions, or load-bearing self-citations; the translation is independent and self-contained against external geometric and analytic benchmarks. Additional claims on rough isometries and explicit phase-transition families follow from the same non-circular reduction.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Holomorphic quadratic differentials on Riemann surfaces admit horizontal foliations that straighten to measured geodesic laminations.
- domain assumption The surface X admits a geodesic pants decomposition with cuff lengths bounded above.
Reference graph
Works this paper leans on
-
[1]
L. V. Ahlfors,Conformal invariants: topics in geometric function theory, McGraw-Hill Series in Higher Mathematics. McGraw-Hill Book Co., New York-D¨ usseldorf-Johannesburg, 1973
work page 1973
-
[2]
L. V. Ahlfors and L. Sario,Riemann surfaces, Princeton Mathematical Series, No. 26 Princeton University Press, Princeton, N.J. 1960
work page 1960
-
[3]
D. Alessandrini, L. Liu, A. Papadopoulos and W. Su,On local comparison between various metrics on Teichm¨ uller spaces, Geom. Dedicata 157 (2012), 91-110
work page 2012
-
[4]
V. Alvarez and J.M. Rodriguez,Structure Theorems for Riemann and topological surfaces, J. London Math. Soc. (2) 69 (2004), 153-168
work page 2004
-
[5]
K. Astala and M. Zinsmeister,Mostow rigidity and Fuchsian groups.C. R. Acad. Sci. Paris S´ er. I Math. 311 (1990), no. 6, 301-306
work page 1990
-
[6]
Basmajian,Hyperbolic structures for surfaces of infinite type, Trans
A. Basmajian,Hyperbolic structures for surfaces of infinite type, Trans. Amer. Math. Soc. 336, no. 1, March 1993, 421-444
work page 1993
-
[7]
A. Basmajian, H. Hakobyan and D. ˇSari´ c,The type problem for Riemann surfaces via Fenchel-Nielsen parameters.Proc. Lond. Math. Soc. (3) 125 (2022), no. 3, 568-625
work page 2022
-
[8]
A. Basmajian and D. ˇSari´ c,Geodesically complete hyperbolic structures, Math. Proc. Cambridge Philos. Soc. 166 (2019), no. 2, 219-242
work page 2019
-
[9]
Beardon,The geometry of discrete groups, Graduate Texts in Mathematics, 91
A. Beardon,The geometry of discrete groups, Graduate Texts in Mathematics, 91. Springer-Verlag, New York, 1983
work page 1983
-
[10]
Bishop, C.,Divergence groups have the Bowen property, Ann. of Math. (2) 154 (2001), no. 1, 205-217
work page 2001
-
[11]
Bonahon,Closed curves on surfaces, manuscript
F. Bonahon,Closed curves on surfaces, manuscript. 48 CHARLES BORDENAVE, XINLONG DONG AND DRAGOMIR ˇSARI´C
-
[12]
Buser,Geometry and spectra of compact Riemann surfaces, Progress in Mathematics, 106
P. Buser,Geometry and spectra of compact Riemann surfaces, Progress in Mathematics, 106. Birkhuser Boston, Inc., Boston, MA, 1992
work page 1992
- [13]
-
[14]
Translated from the 1979 French original by Djun M
Fathi, Albert; Laudenbach, Fran¸ cois; Po´ enaru, ValentinThurston’s work on surfaces. Translated from the 1979 French original by Djun M. Kim and Dan Margalit.Mathematical Notes, 48. Princeton University Press, Princeton, NJ, 2012
work page 1979
-
[15]
Feller, W.An introduction to probability theory and its applications. I. Third edition.New York-London- Sydney: John Wiley and Sons, Inc. XVIII, 509 p. (1968)
work page 1968
-
[16]
J. L. Fern´ andez and M. V. Meli´ an,Escaping geodesics of Riemannian surfaces.Acta Math. 187 (2001), no. 2, 213-236
work page 2001
-
[17]
F. Gardiner and N. Lakic,Quasiconformal Teichm¨ uller theory, Mathematical Surveys and Monographs, 76. American Mathematical Society, Providence, RI, 2000
work page 2000
-
[18]
J. Garnett and D. Marshall,Harmonic measure.Reprint of the 2005 original. New Mathematical Monographs,
work page 2005
-
[19]
Cambridge University Press, Cambridge, 2008
work page 2008
-
[20]
H. Hakobyan, M. Pandazis and D. ˇSari´ c,Inducing recurrent flows by twisting on infinite surfaces with unbounded cuffs, arXiv:2410.10057 [math.DS]
-
[21]
H. Hakobyan and D. ˇSari´ c,Vertical limits of graph domains.Proc. Amer. Math. Soc. 144 (2016), no. 3, 1223-1234
work page 2016
-
[22]
J. Hubbard and H. Masur,Quadratic differentials and foliations, Acta Math. 142 (1979), no. 3-4, 221-274
work page 1979
-
[23]
J. A. Jenkins,On the existence of certain general extremal metrics, Ann. of Math., 66 (1957), 440-453
work page 1957
-
[24]
Kanai,Rough isometries and the parabolicity of riemannian manifolds, J
M. Kanai,Rough isometries and the parabolicity of riemannian manifolds, J. Math. Soc. Japan, Vol. 38, No. 2, 227-238, 1986
work page 1986
-
[25]
K´ er´ ekj´ arto,Vorlesungen ¨ uber TopologieI, Springer, Berlin, 1923
B. K´ er´ ekj´ arto,Vorlesungen ¨ uber TopologieI, Springer, Berlin, 1923
work page 1923
-
[26]
Levitt,Foliations and laminations on hyperbolic surfaces.Topology 22 (1983), no
G. Levitt,Foliations and laminations on hyperbolic surfaces.Topology 22 (1983), no. 2, 119-135
work page 1983
-
[27]
R. Lyons and Y. Peres,Probability on trees and networks. Cambridge: Cambridge University Press (2016)
work page 2016
-
[28]
LyonsA Simple Criterion for Transience of a Reversible Markov Chain.Ann
T. LyonsA Simple Criterion for Transience of a Reversible Markov Chain.Ann. Probab. 11 (2) 393 - 402, May, 1983
work page 1983
-
[29]
T. Lyons and D. Sullivan,Function theory, random paths and covering spaces.J. Differential Geom. 19 (1984), no. 2, 299-323
work page 1984
-
[30]
A. Marden and K. Strebel,The heights theorem for quadratic differentials on Riemann surfaces, Acta Math. 153 (1984), no. 3-4, 153-211
work page 1984
-
[31]
Markovic,Biholomorphic maps between Teichm¨ uller spaces, Duke Math
V. Markovic,Biholomorphic maps between Teichm¨ uller spaces, Duke Math. J. 120 (2003), no. 2, 405-431
work page 2003
-
[32]
Maskit,Comparison of hyperbolic and extremal lengths, Ann
B. Maskit,Comparison of hyperbolic and extremal lengths, Ann. Acad. Sci. Fenn. Ser. A I Math. 10 (1985), 381-386
work page 1985
-
[33]
McMullen,Hausdorff dimension and conformal dynamics
C. McMullen,Hausdorff dimension and conformal dynamics. III. Computation of dimension, Amer. J. Math. 120 (1998), no. 4, 691-721
work page 1998
-
[34]
Nicholls,The ergodic theory of discrete groups, London Mathematical Society Lecture Note Series, 143
P. Nicholls,The ergodic theory of discrete groups, London Mathematical Society Lecture Note Series, 143. Cambridge University Press, Cambridge, 1989
work page 1989
-
[35]
Pandazis,Nonergodicity of the geodesic flow on a special class of Cantor tree surfaces.Proc
M. Pandazis,Nonergodicity of the geodesic flow on a special class of Cantor tree surfaces.Proc. Amer. Math. Soc. Ser. B 11 (2024), 315–329
work page 2024
-
[36]
Sagman, NathanielMinimal diffeomorphisms withL 1 Hopf differentials.Int. Math. Res. Not. IMRN 2024, no. 13, 10088-10103
work page 2024
-
[37]
ˇSari´ c,Train tracks and measured laminations on infinite surfaces
D. ˇSari´ c,Train tracks and measured laminations on infinite surfaces. Trans. Amer. Math. Soc. 374 (2021), no. 12, 8903-8947
work page 2021
-
[38]
ˇSari´ c,The heights theorem for infinite Riemann surfaces, Geom
D. ˇSari´ c,The heights theorem for infinite Riemann surfaces, Geom. Dedicata 216 (2022), no. 3, Paper No. 33, 23 pp. QUADRATIC DIFFERENTIALS AND THE DUAL PANTS GRAPH 49
work page 2022
-
[39]
ˇSari´ c,Quadratic differentials and foliations on infinite Riemann surfaces, Duke Math
D. ˇSari´ c,Quadratic differentials and foliations on infinite Riemann surfaces, Duke Math. J. 173 (2024), no. 10, 1883–1930
work page 2024
-
[40]
ˇSari´ c,Quadratic differentials and function theory on Riemann surfaces, arXiv:2407.16333v1
D. ˇSari´ c,Quadratic differentials and function theory on Riemann surfaces, arXiv:2407.16333v1
-
[41]
Shiga,On a distance defined by the length spectrum of Teichm¨ uller space, Ann
H. Shiga,On a distance defined by the length spectrum of Teichm¨ uller space, Ann. Acad. Sci. Fenn. Math. 28 (2003), no. 2, 315-326
work page 2003
-
[42]
K. Strebel,Quadratic differentials, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Math- ematics and Related Areas (3)], 5. Springer-Verlag, Berlin, 1984
work page 1984
-
[43]
D. Sullivan,On the ergodic theory at infinity of an arbitrary discrete group of hyperbolic motions.Riemann surfaces and related topics: Proceedings of the 1978 Stony Brook Conference (State Univ. New York, Stony Brook, N.Y., 1978), pp. 465-496, Ann. of Math. Stud., 97, Princeton Univ. Press, Princeton, N.J., 1981
work page 1978
-
[44]
Chelsea Publishing Co., New York, 1975
Tsuji, M.Potential theory in modern function theory.Reprinting of the 1959 original. Chelsea Publishing Co., New York, 1975
work page 1959
-
[45]
Varopoulos, Nicolas Th.Brownian motion and random walks on manifolds.Ann. Inst. Fourier (Grenoble) 34 (1984), no. 2, 243-269
work page 1984
-
[46]
Woess,Random walks on infinite graphs and groups.Cambridge Tracts in Mathematics, 138
W. Woess,Random walks on infinite graphs and groups.Cambridge Tracts in Mathematics, 138. Cambridge University Press, Cambridge, 2000
work page 2000
-
[47]
Wolf, MOn realizing measured foliations via quadratic differentials of harmonic maps to R-trees.J. Anal. Math. 68, 107-120 (1996). Charles Bordenave, Institut de Math´ ematiques de Marseille, CNRS & Aix-Marseille Universit´ e, charles.bordenave@cnrs.fr Xinlong Dong, Department of Mathematics, Kingsborough Community College, CUNY,Xin- long.Dong@kbcc.cuny.e...
work page 1996
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.