Pith. sign in

REVIEW 1 major objections 3 minor 2 cited by

Finiteness of Bowen-Margulis-Sullivan Measure for Gromov-Patterson-Sullivan Systems

T0 review · 1 major / 3 minor · reviewed 2026-05-13 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗

Pith's one-line read Convergence groups with a strongly positive recurrent property admit finite Bowen-Margulis-Sullivan measures on flow spaces.

desk verdict The paper defines an SPR property for groups with continuous GPS systems and proves it yields finite BMS measure, extending beyond relatively Anosov examples. read the letter →

arxiv 2604.03982 v1 submitted 2026-04-05 math.DS math.DGmath.GT

Rou Wen This is my paper · ORCID
classification math.DSmath.DGmath.GT
keywords stronglypositiverecurrentBowen-Margulis-SullivanmeasureGromov-Patterson-SullivansystemconvergencegroupsflowspacescocompactactionhigherrankLie
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper defines a strongly positive recurrent property for convergence groups equipped with a continuous Gromov-Patterson-Sullivan system. It establishes that groups meeting this property carry a finite Bowen-Margulis-Sullivan measure on their associated flow spaces. The finiteness is equivalent to the groups admitting a cocompact action on those spaces. This approach produces new examples of subgroups inside higher-rank Lie groups that possess finite BMS measures, going beyond the relatively Anosov case.

What carries the argument

The strongly positive recurrent (SPR) property for convergence groups with continuous GPS systems, which guarantees the finiteness of the associated Bowen-Margulis-Sullivan measure.

What would settle it

An explicit example of a convergence group that satisfies the SPR condition and has a continuous GPS system, yet possesses an infinite BMS measure on the flow space, would disprove the main claim.

Watch

Extended reading notes

Core claim

SPR groups with continuous GPS systems admit a finite BMS measure on their flow spaces, which implies that they admit a cocompact action on these spaces. This notion extends the class of subgroups in higher rank Lie groups that have finite BMS measure beyond relatively Anosov groups.

Load-bearing premise

The groups must possess both a continuous Gromov-Patterson-Sullivan system and satisfy the newly defined strongly positive recurrent property.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 3 minor

Summary. The paper introduces a strongly positive recurrent (SPR) property for convergence groups equipped with a continuous Gromov-Patterson-Sullivan (GPS) system in the sense of Blayac-Canary-Zhang-Zimmer. It proves that groups satisfying SPR admit a finite Bowen-Margulis-Sullivan (BMS) measure on associated flow spaces, which implies that the groups admit cocompact actions on these spaces. The work also produces new examples of subgroups of higher-rank Lie groups with finite BMS measure that lie outside the class of relatively Anosov groups.

Significance. If the main result holds, the introduction of SPR enlarges the known class of groups admitting finite BMS measures and supplies a new criterion that may be applicable to rigidity questions and dynamics on homogeneous spaces. The explicit link to cocompact actions on flow spaces strengthens the dynamical consequences and could facilitate further constructions in geometric group theory.

major comments (1)
  1. §4, main theorem: the argument that the SPR condition forces the BMS measure to be finite must be checked for any implicit dependence on the continuity of the GPS system; if the finiteness step reduces to a standard estimate already available in the GPS literature, this should be stated explicitly rather than derived anew.
minor comments (3)
  1. Abstract: 'reccurent' should be corrected to 'recurrent'.
  2. §2: the definition of SPR should include a short comparison paragraph with the classical notion of positive recurrence for Kleinian groups to clarify the novelty.
  3. Notation: ensure that the flow space and the associated BMS measure are denoted consistently throughout (e.g., avoid switching between M and X without a clarifying sentence).

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback. We address the single major comment below and will incorporate the requested clarification in the revised version.

read point-by-point responses

  1. Referee: §4, main theorem: the argument that the SPR condition forces the BMS measure to be finite must be checked for any implicit dependence on the continuity of the GPS system; if the finiteness step reduces to a standard estimate already available in the GPS literature, this should be stated explicitly rather than derived anew.

    Authors: We have re-examined the proof of the main theorem in §4. The finiteness of the BMS measure under the SPR condition does use the continuity of the GPS system to control the relevant Patterson-Sullivan measures and to obtain the necessary integrability estimates. The core finiteness step, however, reduces to a standard estimate already available in the continuous GPS literature (specifically, the results of Blayac-Canary-Zhang-Zimmer on the existence and properties of the BMS measure for continuous systems). In the revised manuscript we will add an explicit remark at the beginning of §4 stating this dependence on continuity and citing the standard estimate from the GPS literature rather than re-deriving it in full. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity detected

full rationale

The paper defines the SPR property as a new condition on convergence groups that already possess a continuous GPS system from the external reference Blayac-Canary-Zhang-Zimmer. The finiteness of the BMS measure is then proved as a theorem from this definition together with the associated flow-space construction. No step reduces a prediction or central claim to a fitted parameter, self-citation chain, or ansatz imported from the authors' own prior work; the derivation remains independent of its own outputs and rests on externally supplied GPS data.

Assumptions & free parameters 0 free parameters · 1 assumptions · 1 invented entities

Review based on abstract only; full list of assumptions and derivations unavailable. Relies on standard background in convergence groups and prior GPS constructions.

assumptions (1)
  • domain assumption Existence of a continuous Gromov-Patterson-Sullivan system for the convergence group
    Invoked from prior work by Blayac-Canary-Zhang-Zimmer
invented entities (1)
  • Strongly positive recurrent (SPR) property
    purpose: Condition ensuring finiteness of the BMS measure
    New notion introduced in the paper to obtain the stated result

how reviews work

0 comments
Cite this review

Pith. "Pith review of Finiteness of Bowen-Margulis-Sullivan Measure for Gromov-Patterson-Sullivan Systems." pith.science (2026). https://pith.science/paper/2604.03982

@misc{pith2026260403982,
  author       = {Pith},
  title        = {Pith review of: Finiteness of Bowen-Margulis-Sullivan Measure for Gromov-Patterson-Sullivan Systems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2604.03982}},
  note         = {Machine review of arXiv:2604.03982}
}
read the original abstract

In this paper, we develop a notion of \emph{strongly positive reccurent} (SPR) property for a convergence group with a continuous Gromov-Patterson-Sullivan (GPS) system defined by Blayac-Canary-Zhang-Zimmer. We prove that these SPR groups admits a finite Bowen-Margulis-Sullivan (BMS) measure on some associated flow spaces, which means that dynamically they admit a cocompact action on the flow spaces. This notion of SPR groups gives rise to many new examples of subgroups in higher rank Lie group that admit finite BMS measure beyond relatively Anosov groups.

Discussion (0). Continue with ORCID to comment.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • Cost/FunctionalEquation washburn_uniqueness_aczel unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    We generalize the positive recurrence condition... into the higher rank setting... strongly positively recurrent if δ_∞(Γ)<δ_ϕ(Γ). ... If Γ is SPR, then m_BMS(Γ/Ω̃_Γ) is finite.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Strict concavity of the growth indicator function for relatively Anosov groups

    math.DG 2026-07 accept novelty 7.0 of 10

    Strict concavity of the growth indicator function is proved for Zariski dense relatively theta-Anosov groups by establishing C^1 regularity of the Manhattan hypersurface.

  2. Regularity of Manhattan manifolds and exact dimensionality for relatively Anosov groups

    math.GR 2026-07 conditional novelty 6.0 of 10

    Relatively Anosov groups have exact-dimensional Patterson–Sullivan measures and C1 Manhattan manifolds, yielding a strictly concave C1 growth indicator.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages · cited by 2 Pith papers

  1. [1]

    Counting, mixing and equidis- tribution for GPS systems with applications to relatively Anosov groups.arXiv e-prints, page arXiv:2404.09718, April 2024

    Pierre-Louis Blayac, Richard Canary, Feng Zhu, and Andrew Zimmer. Counting, mixing and equidis- tribution for GPS systems with applications to relatively Anosov groups.arXiv e-prints, page arXiv:2404.09718, April 2024

    work page arXiv 2024

  2. [2]

    Patterson-Sullivan theory for coarse cocycles.arXiv e-prints, page arXiv:2404.09713, April 2024

    Pierre-Louis Blayac, Richard Canary, Feng Zhu, and Andrew Zimmer. Patterson-Sullivan theory for coarse cocycles.arXiv e-prints, page arXiv:2404.09713, April 2024

    work page arXiv 2024

  3. [3]

    Ergodicity and equidistribution in Hilbert geometry

    Pierre-Louis Blayac and Feng Zhu. Ergodicity and equidistribution in Hilbert geometry.arXiv e-prints, page arXiv:2106.08079, June 2021. FINITENESS OF BMS MEASURE 31

    work page Pith review arXiv 2021

  4. [4]

    The bottom of the spectrum of a riemannian covering.Journal f¨ ur die reine und ange- wandte Mathematik, 357:101–114, 1985

    Robert Brooks. The bottom of the spectrum of a riemannian covering.Journal f¨ ur die reine und ange- wandte Mathematik, 357:101–114, 1985

    work page 1985

  5. [5]

    Patterson-Sullivan measures for transverse sub- groups.arXiv e-prints, page arXiv:2304.11515, April 2023

    Richard Canary, Tengren Zhang, and Andrew Zimmer. Patterson-Sullivan measures for transverse sub- groups.arXiv e-prints, page arXiv:2304.11515, April 2023

    work page arXiv 2023

  6. [6]

    Patterson-Sullivan measures for relatively Anosov groups.arXiv e-prints, page arXiv:2308.04023, August 2023

    Richard Canary, Andrew Zimmer, and Tengren Zhang. Patterson-Sullivan measures for relatively Anosov groups.arXiv e-prints, page arXiv:2308.04023, August 2023

    work page arXiv 2023

  7. [7]

    S´ eries de poincar´ e des groupes g´ eom´ etriquement finis.Israel Journal of Mathematics, 118:109–124, 04 2012

    Fran¸ coise Dal’bo, Jean-Pierre Otal, and Peign´ e Marc. S´ eries de poincar´ e des groupes g´ eom´ etriquement finis.Israel Journal of Mathematics, 118:109–124, 04 2012

    work page 2012

  8. [8]

    Combination theorems in convex projective geometry.arXiv e-prints, page arXiv:2407.09439, July 2024

    Jeffrey Danciger, Fran¸ cois Gu´ eritaud, and Fanny Kassel. Combination theorems in convex projective geometry.arXiv e-prints, page arXiv:2407.09439, July 2024

    work page arXiv 2024

Show all 29 references
  1. [9]

    Klein-Maskit combination theorem for Anosov subgroups: Amal- gams.arXiv e-prints, page arXiv:2301.02354, January 2023

    Subhadip Dey and Michael Kapovich. Klein-Maskit combination theorem for Anosov subgroups: Amal- gams.arXiv e-prints, page arXiv:2301.02354, January 2023

    2023

  2. [10]

    Critical exponents of normal subgroups, the spectrum of group extended transfer operators, and Kazhdan distance.arXiv e-prints, page arXiv:1702.06115, February 2017

    Rhiannon Dougall. Critical exponents of normal subgroups, the spectrum of group extended transfer operators, and Kazhdan distance.arXiv e-prints, page arXiv:1702.06115, February 2017

    2017

  3. [11]

    Dehn filling in relatively hyperbolic groups.arXiv Mathematics e-prints, page math/0601311, January 2006

    Daniel Groves and Jason Fox Manning. Dehn filling in relatively hyperbolic groups.arXiv Mathematics e-prints, page math/0601311, January 2006

    2006

  4. [12]

    Kim and Hee Oh

    Dongryul M. Kim and Hee Oh. Relatively anosov groups: finiteness, measure of maximal entropy, and reparameterization.Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal), 2025(826):91– 142, 2025

    2025

  5. [13]

    Margulis and Richard Sharp.On Some Aspects of the Theory of Anosov Systems : With a Survey by Richard Sharp: Periodic Orbits of Hyperbolic Flows / by Grigorii A

    Grigorii A. Margulis and Richard Sharp.On Some Aspects of the Theory of Anosov Systems : With a Survey by Richard Sharp: Periodic Orbits of Hyperbolic Flows / by Grigorii A. Margulis.Springer Monographs in Mathematics. Springer Berlin Heidelberg, Berlin, Heidelberg, 1st ed. 20...

    2004

  6. [14]

    On klein’s combination theorem.Transactions of the American Mathematical Society, 120(3):499–509, 1965

    Bernard Maskit. On klein’s combination theorem.Transactions of the American Mathematical Society, 120(3):499–509, 1965

    1965

  7. [15]

    S. J. Patterson. The limit set of a Fuchsian group.Acta Mathematica, 136(none):241 – 273, 1976

    1976

  8. [16]

    On the patterson-sullivan measure of some discrete group of isometries.Israel Journal of Mathematics, 133:77–88, 12 2003

    Marc Peign´ e. On the patterson-sullivan measure of some discrete group of isometries.Israel Journal of Mathematics, 133:77–88, 12 2003

    2003

  9. [17]

    J.-F. Quint. Mesures de Patterson—Sullivan en rang sup´ erieur.Geometric & Functional Analysis GAFA, 12(none):776 – 809, 2002

    2002

  10. [18]

    Flat strips, Bowen-Margulis measures, and mixing of the geodesic flow for rank one CAT(0) spaces.arXiv e-prints, page arXiv:1410.3921, October 2014

    Russell Ricks. Flat strips, Bowen-Margulis measures, and mixing of the geodesic flow for rank one CAT(0) spaces.arXiv e-prints, page arXiv:1410.3921, October 2014

    2014

  11. [19]

    T. Roblin. Un th´ eor` eme de Fatou pour les densit´ es conformes avec applications aux revˆ etements ga- loisiens en courbure n´ egative.Israel Journal of Mathematics, 147:333–358, 2005

    2005

  12. [20]

    Number 95 in M´ emoires de la Soci´ et´ e Math´ ematique de France

    Thomas Roblin.Ergodicit´ e et ´ equidistribution en courbure n´ egative. Number 95 in M´ emoires de la Soci´ et´ e Math´ ematique de France. Soci´ et´ e math´ ematique de France, 2003

    2003

  13. [21]

    Thermodynamic formalism for null recurrent potentials.Israel Journal of Mathematics, 121:285–311, 12 2001

    Omri Sarig. Thermodynamic formalism for null recurrent potentials.Israel Journal of Mathematics, 121:285–311, 12 2001

    2001

  14. [22]

    Omri M. Sarig. Thermodynamic formalism for countable markov shifts.Ergodic Theory and Dynamical Systems, 19(6):1565–1593, December 1999

    1999

  15. [23]

    Finiteness of gibbs measures on noncompact manifolds with pinched negative curvature.arXiv e-prints, page arXiv:1610.03255, October 2016

    Barbara Schapira and Vincent Pit. Finiteness of gibbs measures on noncompact manifolds with pinched negative curvature.arXiv e-prints, page arXiv:1610.03255, October 2016

    2016

  16. [24]

    Regularity of entropy, geodesic currents and entropy at infinity

    Barbara Schapira and Samuel Tapie. Regularity of entropy, geodesic currents and entropy at infinity. arXiv e-prints, page arXiv:1802.04991, February 2018

    2018

  17. [25]

    Entropy, Hausdorff measures old and new, and limit sets of geometrically finite Kleinian groups.Acta Mathematica, 153(none):259 – 277, 1984

    Dennis Sullivan. Entropy, Hausdorff measures old and new, and limit sets of geometrically finite Kleinian groups.Acta Mathematica, 153(none):259 – 277, 1984

    1984

  18. [26]

    Convergence groups and Gromov’s metric hyperbolic spaces.New Zealand Journal of Mathematics, 23 (2):157–187, 1994

    Pekka Tukia. Convergence groups and Gromov’s metric hyperbolic spaces.New Zealand Journal of Mathematics, 23 (2):157–187, 1994

    1994

  19. [27]

    Conical limit points and uniform convergence groups.Crelle’s Journal, 1998:71–98, 1998

    Pekka Tukia. Conical limit points and uniform convergence groups.Crelle’s Journal, 1998:71–98, 1998

    1998

  20. [28]

    Sublinearly Morseness in Higher Rank Symmetric Spaces.arXiv e-prints, page arXiv:2504.12448, April 2025

    Rou Wen. Sublinearly Morseness in Higher Rank Symmetric Spaces.arXiv e-prints, page arXiv:2504.12448, April 2025. 32 ROU WEN

    2025

  21. [29]

    Relatively Anosov representations via flows I: theory.arXiv e-prints, page arXiv:2207.14737, July 2022

    Feng Zhu and Andrew Zimmer. Relatively Anosov representations via flows I: theory.arXiv e-prints, page arXiv:2207.14737, July 2022. Department of Mathematics, University of Wisconsin, Madison Email address:rwen5@wisc.edu

    2022

Pith tools

Reviewed May 13, 2026 · model on record in the stance chip above.