pith. sign in

arxiv: 2607.02168 · v1 · pith:NRLY4DH3new · submitted 2026-07-02 · 🧮 math.DG · math.PR

The total mass of Brownian loop measure of Riemann surfaces for large genus

Jiankun Hou , Yunhui Wu This is my paper

Pith reviewed 2026-07-03 06:10 UTC · model grok-4.3

classification 🧮 math.DG math.PR
keywords Brownian loop measuremoduli space of hyperbolic surfaceslarge genus asymptoticskilling ratenon-peripheral homotopy classessimple closed geodesicsexpected mass
0
0 comments X

The pith

Under |L|^2 = o(g) as g → ∞, the expected total mass of the Brownian loop measure on non-peripheral homotopy classes converges to an explicit function of κ that diverges as log(1/κ) for κ > 0 and equals (1/2) log g for κ = 0.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper studies the expected total mass of the Brownian loop measure, viewed as a random variable on the moduli space of genus-g hyperbolic surfaces with n ends of widths L. Under the growth restriction |L|^2 = o(g), it shows that this expectation, restricted to non-peripheral homotopy classes, approaches a concrete function of the killing rate κ whose leading behavior is logarithmic in 1/κ. When the killing rate vanishes, the same expectation restricted to iterates of non-peripheral simple closed geodesics grows like half the logarithm of the genus. A reader cares because the result gives a precise asymptotic description of how much random looping is typically present on a randomly chosen high-genus hyperbolic surface.

Core claim

We regard the total mass |μ_X^κ| of the Brownian loop measure with the killing rate κ as a random variable on M_{g,n}(L). Under the condition |L|^2 = o(g) as g → ∞, for any κ > 0 the expected value of |μ_X^κ| on all non-peripheral homotopy classes over M_{g,n}(L) converges to an explicit function of κ which blows up at rate log(1/κ) as κ → 0^+, and for κ=0 the expected value on homotopy classes of iterates of all non-peripheral simple closed geodesics is asymptotically (1/2) log g.

What carries the argument

The total mass |μ_X^κ| of the Brownian loop measure with killing rate κ, integrated over non-peripheral homotopy classes and regarded as a random variable on the moduli space M_{g,n}(L).

If this is right

  • For each fixed κ > 0 the expectation converges to a specific function of κ.
  • That limiting function diverges at rate log(1/κ) as κ approaches zero from above.
  • When κ = 0 the expectation restricted to iterates of simple closed geodesics grows asymptotically as (1/2) log g.
  • All stated limits require the end-length condition |L|^2 = o(g).

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same logarithmic growth may appear in other integrated geometric quantities on the same moduli space.
  • The result supplies a benchmark that could be checked by sampling Weil-Petersson random surfaces at moderate genus.
  • Peripheral classes are excluded from the main statements, so their contribution to the total mass may be analyzed separately.
  • The explicit κ-dependent limit might serve as a model for loop statistics in other random geometries with a killing parameter.

Load-bearing premise

The square of the total end lengths must remain little-o of the genus as the genus tends to infinity.

What would settle it

An explicit computation or numerical sampling of the expectation for surfaces where |L|^2 grows linearly with g, checking whether the stated convergence to the explicit function of κ or the (1/2) log g growth still holds.

Figures

Figures reproduced from arXiv: 2607.02168 by Jiankun Hou, Yunhui Wu.

Figure 1
Figure 1. Figure 1: Attaching funnels to X. LHS : X; RHS : X¯. Choose X ∈ Mg,n(L). It is known from [WX25a] of Wang-Xue and [LW26] of Lemonde-Wang that the Brownian loop measure µ κ X¯ of the set Cα of all oriented closed curves homotopic to a given loop α ⊂ X depends only on the length of the corresponding unique closed geodesic in X. In particular, if α is a closed geodesic on the boundary of X, then µ κ X¯ (Cα) depends sol… view at source ↗
Figure 2
Figure 2. Figure 2: Examples of the filling construction We note, as in [WX22], that if two components of Nε(γ) deform to the same simple closed geodesic, they are not glued together, i.e. X(γ) is re￾garded as an open subsurface of X. By construction, γ is filling in X(γ), and ℓ(∂X(γ)) ≤ 2ℓ(γ). The stan￾dard isoperimetric inequality then implies that Area(X(γ)) ≤ 4ℓ(γ) (see also [WX22, Proposition 7]). For T > 0, let SubT (X)… view at source ↗
Figure 3
Figure 3. Figure 3: Examples: simple separating geodesics (γsep), simple non-separating geodesics (γnsep) and nonsimple geodesics (γns) in X. Clearly, we have the disjoint union P(X) = P s sep(X) ∪ Ps nsep(X) ∪ Pns(X). Recall that X¯ is obtained by attaching funnels to X (when needed) to form a complete hyperbolic surface. We classify all the non-peripheral loops on X¯ into three cases: (1) C s sep(X¯) = {loops homotopic to γ… view at source ↗
read the original abstract

Let $\mathcal{M}_{g,n}(\mathbf{L})$ be the moduli space of hyperbolic surfaces of genus $g$ with $n \geq 0$ hyperbolic ends of widths $\mathbf{L} \in \mathbb{R}_{\geq 0}^n$. We regard the total mass $|\mu_X^\kappa|$ of the Brownian loop measure with the killing rate $\kappa$ as a random variable on $\mathcal{M}_{g,n}(\mathbf{L})$. Under the condition $|\mathbf{L}|^2 =o(g)$ as $g \to \infty$, we obtain the following two main results: $(1)$ For any $\kappa > 0$, the expected value of $|\mu_X^\kappa|$ on all non-peripheral homotopy classes over $\mathcal{M}_{g,n}(\mathbf{L})$ converges to an explicit function of $\kappa$, which blows up at the rate $ \log \left(\frac{1}{\kappa}\right)$ as $\kappa \to 0^+$. $(2)$ For $\kappa=0$, over $\mathcal{M}_{g,n}(\mathbf{L})$ the expected value of $|\mu_X|$ on homotopy classes of (iterates of) all non-peripheral simple closed geodesics is asymptotically $\frac{1}{2} \log g$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript studies the total mass |μ_X^κ| of the Brownian loop measure with killing rate κ as a random variable on the moduli space M_{g,n}(L) of hyperbolic surfaces of genus g with n ends of lengths L. Under the growth condition |L|^2 = o(g) as g → ∞, it claims two main results: (1) for any fixed κ > 0 the expected mass on all non-peripheral homotopy classes converges to an explicit function of κ that diverges as log(1/κ) when κ → 0^+, and (2) when κ = 0 the expected mass on homotopy classes of iterates of non-peripheral simple closed geodesics is asymptotically (1/2) log g.

Significance. If the derivations hold, the results supply explicit asymptotic control on the total mass of killed Brownian loop measures over high-genus hyperbolic surfaces in a controlled cusp-length regime. The explicit κ-dependent limit and the clean (1/2) log g growth for the simple-geodesic case are potentially useful for questions in random hyperbolic geometry and Teichmüller theory. The paper does not appear to rely on machine-checked proofs or fully parameter-free derivations, but the stated growth restriction is presented as necessary rather than ad-hoc.

minor comments (3)
  1. [§1] §1 (Introduction): the precise definition of the total mass |μ_X^κ| restricted to non-peripheral classes should be stated explicitly before the main theorems, including how peripheral curves are excluded.
  2. The convergence statement in Theorem 1.1 (or equivalent) would benefit from a brief remark on whether the explicit function of κ is obtained by direct integration against the Weil-Petersson measure or via some other reduction.
  3. Notation for the homotopy-class summation and the distinction between simple closed geodesics and their iterates should be made uniform across the statements of the two main results.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the accurate summary of our results and the recommendation of minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper derives asymptotic limits for the expected total mass of the Brownian loop measure on moduli spaces M_{g,n}(L) under the growth condition |L|^2 = o(g). These limits are stated as convergence results to explicit functions of κ (or (1/2)log g for κ=0), obtained from the geometry of hyperbolic surfaces and standard properties of killed Brownian loop measures. No self-definitional steps, fitted inputs called predictions, load-bearing self-citations, or other enumerated circular patterns are present; the central claims remain independent of the inputs by construction and are self-contained against external benchmarks in hyperbolic geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Only the abstract is available, so the ledger is necessarily incomplete; the claims rest on the standard definitions of the moduli space of hyperbolic surfaces, the Brownian loop measure with killing, and the notion of non-peripheral homotopy classes, all of which are domain assumptions from prior literature.

axioms (2)
  • domain assumption The Brownian loop measure μ_X^κ is a well-defined random variable on the moduli space M_{g,n}(L) for each hyperbolic surface X.
    Invoked when the total mass |μ_X^κ| is treated as a random variable whose expectation is taken over the moduli space.
  • domain assumption Hyperbolic surfaces of genus g with n ends exist and form a moduli space whose geometry is compatible with the large-genus limit under |L|^2 = o(g).
    Required for the statement of convergence as g → ∞.

pith-pipeline@v0.9.1-grok · 5753 in / 1740 out tokens · 31800 ms · 2026-07-03T06:10:35.038655+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

32 extracted references · 8 canonical work pages

  1. [2]

    Sur la distribution des longueurs des g\'

    Guillop\'. Sur la distribution des longueurs des g\'. Duke Mathematical Journal , VOLUME =. 1986 , NUMBER =

    1986

  2. [3]

    2011 , PAGES =

    Le Jan, Yves , TITLE =. 2011 , PAGES =

    2011

  3. [4]

    Borthwick, David , TITLE =

  4. [6]

    Annals of Probability , volume =

    Ang, Morris and Park, Minjae and Pfeffer, Joshua and Sheffield, Scott , title =. Annals of Probability , volume =

  5. [7]

    Inventiones mathematicae , volume=

    Simple geodesics and Weil-Petersson volumes of moduli spaces of bordered Riemann surfaces , author=. Inventiones mathematicae , volume=. 2007 , publisher=

    2007

  6. [8]

    Journal of Differential Geometry , volume=

    Growth of Weil-Petersson volumes and random hyperbolic surface of large genus , author=. Journal of Differential Geometry , volume=. 2013 , publisher=

    2013

  7. [9]

    Lengths of closed geodesics on random surfaces of large genus , volume=

    Mirzakhani, Maryam and Petri, Bram , year=. Lengths of closed geodesics on random surfaces of large genus , volume=. Commentarii Mathematici Helvetici , publisher=. doi:10.4171/cmh/477 , number=

    work page doi:10.4171/cmh/477

  8. [10]

    Large genus asymptotics for lengths of separating closed geodesics on random surfaces , volume=

    Nie, Xin and Wu, Yunhui and Xue, Yuhao , year=. Large genus asymptotics for lengths of separating closed geodesics on random surfaces , volume=. Journal of Topology , publisher=. doi:10.1112/topo.12276 , number=

    work page doi:10.1112/topo.12276

  9. [11]

    Journal of the European Mathematical Society , year=

    Prime geodesic theorem and closed geodesics for large genus , author=. Journal of the European Mathematical Society , year=

  10. [12]

    Conformal restriction: The chordal case , volume=

    Lawler, Gregory and Schramm, Oded and Werner, Wendelin , year=. Conformal restriction: The chordal case , volume=. Journal of the American Mathematical Society , publisher=. doi:10.1090/s0894-0347-03-00430-2 , number=

    work page doi:10.1090/s0894-0347-03-00430-2

  11. [13]

    2010 , publisher=

    Geometry and spectra of compact Riemann surfaces , author=. 2010 , publisher=

    2010

  12. [14]

    Probability Theory and Related Fields , VOLUME =

    Lawler, Gregory and Werner, Wendelin , TITLE =. Probability Theory and Related Fields , VOLUME =. 2004 , NUMBER =

    2004

  13. [15]

    Journal of the American Mathematical Society , VOLUME =

    Werner, Wendelin , TITLE =. Journal of the American Mathematical Society , VOLUME =. 2008 , NUMBER =

    2008

  14. [16]

    Random hyperbolic surfaces of large genus have first eigenvalues greater than

    Wu, Yunhui and Xue, Yuhao , year=. Random hyperbolic surfaces of large genus have first eigenvalues greater than. Geometric and Functional Analysis , publisher=. doi:10.1007/s00039-022-00595-7 , number=

    work page doi:10.1007/s00039-022-00595-7

  15. [17]

    The Brownian loop measure on Riemann surfaces and applications to length spectra , volume=

    Wang, Yilin and Xue, Yuhao , year=. The Brownian loop measure on Riemann surfaces and applications to length spectra , volume=. Communications on Pure and Applied Mathematics , publisher=. doi:10.1002/cpa.70003 , number=

    work page doi:10.1002/cpa.70003

  16. [18]

    4, 1322--1358

    Morris Ang, Minjae Park, Joshua Pfeffer, and Scott Sheffield, Brownian loops and the central charge of a L iouville random surface , Annals of Probability 50 (2022), no. 4, 1322--1358

    2022

  17. [19]

    David Borthwick, Spectral theory of infinite-area hyperbolic surfaces, Progress in Mathematics, Birkhäuser Cham, 2016

    2016

  18. [20]

    Peter Buser, Geometry and spectra of compact riemann surfaces, Springer Science & Business Media, 2010

    2010

  19. [21]

    3, 827--848

    Laurent Guillop\' e , Sur la distribution des longueurs des g\' e od\' e siques ferm\' e es d'une surface compacte \`a bord totalement g\' e od\' e sique , Duke Mathematical Journal 53 (1986), no. 3, 827--848

    1986

  20. [22]

    Yuxin He, Yunhui Wu, and Yuhao Xue, Uniform spectral gaps for random hyperbolic surfaces with not many cusps, arXiv preprint arXiv: 2602.08352 (2026)

    work page arXiv 2026

  21. [23]

    Yves Le Jan, Markov paths, loops and fields, École d'Été de Probabilités de Saint-Flour XXXVIII – 2008, Springer Berlin, Heidelberg, 2011

    2008

  22. [24]

    4, 917–955

    Gregory Lawler, Oded Schramm, and Wendelin Werner, Conformal restriction: The chordal case, Journal of the American Mathematical Society 16 (2003), no. 4, 917–955

    2003

  23. [25]

    4, 565--588

    Gregory Lawler and Wendelin Werner, The B rownian loop soup , Probability Theory and Related Fields 128 (2004), no. 4, 565--588

    2004

  24. [26]

    Roman Lemonde and Jian Wang, Brownian loops and the selberg zeta function, arXiv preprint arXiv: 2601.13086 (2026)

    work page arXiv 2026

  25. [27]

    1, 179--222

    Maryam Mirzakhani, Simple geodesics and weil-petersson volumes of moduli spaces of bordered riemann surfaces, Inventiones mathematicae 167 (2007), no. 1, 179--222

    2007

  26. [28]

    2, 267--300

    , Growth of weil-petersson volumes and random hyperbolic surface of large genus, Journal of Differential Geometry 94 (2013), no. 2, 267--300

    2013

  27. [29]

    4, 869–889

    Maryam Mirzakhani and Bram Petri, Lengths of closed geodesics on random surfaces of large genus, Commentarii Mathematici Helvetici 94 (2019), no. 4, 869–889

    2019

  28. [30]

    1, 106–175

    Xin Nie, Yunhui Wu, and Yuhao Xue, Large genus asymptotics for lengths of separating closed geodesics on random surfaces, Journal of Topology 16 (2023), no. 1, 106–175

    2023

  29. [31]

    1, 137--169

    Wendelin Werner, The conformally invariant measure on self-avoiding loops, Journal of the American Mathematical Society 21 (2008), no. 1, 137--169

    2008

  30. [32]

    2, 340–410

    Yunhui Wu and Yuhao Xue, Random hyperbolic surfaces of large genus have first eigenvalues greater than 3 16 - , Geometric and Functional Analysis 32 (2022), no. 2, 340–410

    2022

  31. [33]

    11, 2123–2148

    Yilin Wang and Yuhao Xue, The brownian loop measure on riemann surfaces and applications to length spectra, Communications on Pure and Applied Mathematics 78 (2025), no. 11, 2123–2148

    2025

  32. [34]

    Yunhui Wu and Yuhao Xue, Prime geodesic theorem and closed geodesics for large genus, Journal of the European Mathematical Society (2025), DOI 10.4171/JEMS/1653

    work page doi:10.4171/jems/1653 2025