pith. sign in

arxiv: 2606.02864 · v1 · pith:WDWNDMMRnew · submitted 2026-06-01 · 🧮 math.DS · math.GN· math.PR

Ends of stationary metric measure spaces

Arie Levit , Kfir Silman This is my paper

Pith reviewed 2026-06-28 12:09 UTC · model grok-4.3

classification 🧮 math.DS math.GNmath.PR
keywords stationary random metric measure spacesendsno geometric coreexpected return timesrandom graphsrandom manifoldssurface classification
0
0 comments X

The pith

Stationary random metric measure spaces have 0, 1, 2 or a Cantor space of ends.

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

The paper proves that stationary random metric measure spaces can only possess zero, one, two, or a Cantor set of ends. This class covers stationary random graphs, manifolds, and discrete subgroups. The result extends earlier classifications for unimodular Riemannian manifolds and supplies a complete homeomorphism-type list for the surface case. A reader cares because the restriction organizes how these random objects can extend to infinity in a uniform way.

Core claim

We prove that stationary random metric measure spaces have 0,1,2 or a Cantor space of ends. This notion includes stationary random graphs, manifolds and discrete subgroups. In the case of surfaces, we classify all possible homeomorphism types, in analogy with the work of Biringer and Raimbault on unimodular Riemannian manifolds. Our approach relies on a general "no geometric core" principle and an analysis of finite versus infinite expected return times.

What carries the argument

The no-geometric-core principle together with the separation of finite versus infinite expected return times, which partitions the admissible end counts.

If this is right

  • All stationary random surfaces fall into a finite list of homeomorphism types determined by their end count.
  • The same end restriction applies directly to stationary random graphs and to stationary discrete subgroups.
  • The finite/infinite return-time dichotomy fully accounts for the jump from at most two ends to a Cantor space of ends.

Where Pith is reading between the lines

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

  • The same return-time test may bound the ends of non-stationary but still ergodic random spaces.
  • The no-geometric-core principle could be applied to study ends in other measure-preserving actions on geometric objects.

Load-bearing premise

The no-geometric-core principle holds and the finite-versus-infinite distinction in expected return times determines which end counts are possible.

What would settle it

Exhibiting one stationary random metric measure space whose ends number exactly three would refute the classification.

read the original abstract

We prove that stationary random metric measure spaces have 0,1,2 or a Cantor space of ends. This notion includes stationary random graphs, manifolds and discrete subgroups. In the case of surfaces, we classify all possible homeomorphism types, in analogy with the work of Biringer and Raimbault on unimodular Riemannian manifolds. Our approach relies on a general "no geometric core" principle and an analysis of finite versus infinite expected return times.

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

1 major / 0 minor

Summary. The manuscript proves that stationary random metric measure spaces have 0, 1, 2 or a Cantor space of ends. This notion includes stationary random graphs, manifolds and discrete subgroups. In the case of surfaces, it classifies all possible homeomorphism types, in analogy with the work of Biringer and Raimbault on unimodular Riemannian manifolds. The approach relies on a general "no geometric core" principle and an analysis of finite versus infinite expected return times.

Significance. If the result holds, the classification of end counts under stationarity is a significant contribution to the study of random metric measure spaces, extending prior work on unimodular manifolds to a broader stationary setting and providing a topological restriction that applies across graphs, manifolds, and group actions.

major comments (1)
  1. [Abstract] Abstract: the claim that the result follows from the no-geometric-core principle combined with the finite/infinite expected return time dichotomy cannot be verified without the full derivation, error handling, and case distinctions in the body of the paper.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their summary and for recognizing the potential significance of the classification result for stationary random metric measure spaces. We address the single major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the claim that the result follows from the no-geometric-core principle combined with the finite/infinite expected return time dichotomy cannot be verified without the full derivation, error handling, and case distinctions in the body of the paper.

    Authors: The abstract is a high-level summary of the strategy. The full derivation of the no-geometric-core principle, the analysis of finite versus infinite expected return times, all error estimates, and the exhaustive case distinctions (including the handling of graphs, manifolds, and group actions) appear in Sections 3--6 of the manuscript. These sections contain the complete proofs and the necessary technical lemmas. revision: no

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's central claim rests on an external 'no geometric core' principle combined with return-time analysis under stationarity, neither of which is shown to be defined in terms of the end-count conclusion or fitted from the target data. The abstract and structure invoke these as independent inputs, with the surface classification presented as an application rather than a self-referential derivation. No self-citations, ansatzes, or renamings reduce the result to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so free parameters, axioms, and invented entities cannot be exhaustively identified beyond the general framework of stationary spaces and the no-geometric-core principle.

axioms (1)
  • domain assumption Stationary random metric measure spaces are well-defined objects that include graphs, manifolds, and discrete subgroups.
    The abstract treats this class as given and proceeds to prove properties for it.

pith-pipeline@v0.9.1-grok · 5589 in / 1043 out tokens · 38090 ms · 2026-06-28T12:09:55.608341+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

23 extracted references · 2 canonical work pages

  1. [1]

    Unimodular measures on the space of all R iemannian manifolds

    Mikl \'o s Ab \'e rt and Ian Biringer. Unimodular measures on the space of all R iemannian manifolds. Geometry & Topology , 26(5):2295--2404, 2022

    2022

  2. [2]

    The end sum of surfaces

    Liam Axon and Jack Calcut. The end sum of surfaces. Contemporary Mathematics , 812, 2025

    2025

  3. [3]

    Processes on unimodular random networks

    David Aldous and Russell Lyons. Processes on unimodular random networks. Electronic Communications in Probability [electronic only] , 12:1454--1508, 2007

    2007

  4. [4]

    Ergodic theory on stationary random graphs

    Itai Benjamini and Nicolas Curien. Ergodic theory on stationary random graphs. Electron. J. Probab , 17(93):1--20, 2012

    2012

  5. [5]

    Ends and end cohomology

    William Bass and Jack Calcut. Ends and end cohomology. Expositiones Mathematicae , page 125692, 2025

    2025

  6. [6]

    Metric spaces of non-positive curvature , volume 319

    Martin Bridson and Andr \'e Haefliger. Metric spaces of non-positive curvature , volume 319. Springer Science & Business Media, 2013

    2013

  7. [7]

    Cheeger constants and L^2 -betti numbers

    Lewis Bowen. Cheeger constants and L^2 -betti numbers. Duke Mathematical Journal , 164(3), February 2015

    2015

  8. [8]

    Ends of unimodular random manifolds

    Ian Biringer and Jean Raimbault. Ends of unimodular random manifolds. Proceedings of the American Mathematical Society , 145(9):4021--4029, 2017

    2017

  9. [9]

    Random graphs: the local convergence point of view

    Nicolas Curien. Random graphs: the local convergence point of view. Unpublished lecture notes. Available at https://www. math. u-psud. fr/\ curien/cours/cours-RG-V3. pdf , 2017

    2017

  10. [10]

    U ber die enden topologischer r \

    Hans Freudenthal. \"U ber die enden topologischer r \"a ume und gruppen. Mathematische Zeitschrift , 33(1):692--713, 1931

    1931

  11. [11]

    Topologie des feuilles g \'e n \'e riques

    \'E tienne Ghys. Topologie des feuilles g \'e n \'e riques. Annals of Mathematics , 141(2):387--422, 1995

    1995

  12. [12]

    arXiv preprint arXiv:2303.04237 , year=

    Ilya Gekhtman and Arie Levit. Stationary random subgroups in negative curvature. arXiv preprint arXiv:2303.04237 , 2023

    work page arXiv 2023

  13. [13]

    Ends, shapes, and boundaries in manifold topology and geometric group theory, 2021

    Craig Guilbault. Ends, shapes, and boundaries in manifold topology and geometric group theory, 2021

    2021

  14. [14]

    Cores in stationary actions and ends of stationary random subgroups

    Yair Hartman and Nadav Kalma. Cores in stationary actions and ends of stationary random subgroups. preprint , 2026

    2026

  15. [15]

    Ends of complexes

    Bruce Hughes and Andrew Ranicki. Ends of complexes . Number 123. Cambridge university press, 1996

    1996

  16. [16]

    Classical descriptive set theory

    Alexander Kechris. Classical descriptive set theory . Springer Science & Business Media, 2012

    2012

  17. [17]

    u ber topologie: I, fl \

    B v Ker \'e kj \'a rt \'o . Vorlesungen \"u ber topologie: I, fl \"a chentopologie. 1923

    1923

  18. [18]

    Unimodular random measured metric spaces and palm theory on them

    Ali Khezeli. Unimodular random measured metric spaces and palm theory on them. arXiv preprint arXiv:2304.02863 , 2023

    work page arXiv 2023

  19. [19]

    Markov chains and stochastic stability

    Sean Meyn and Richard Tweedie. Markov chains and stochastic stability . Springer Science & Business Media, 2012

    2012

  20. [20]

    The theory of ends

    Georg Peschke. The theory of ends. Nieuw Archief voor Wiskunde , 8:1--12, 1990

    1990

  21. [21]

    The end point compactification of manifolds

    Frank Raymond. The end point compactification of manifolds. Pacific Journal of Mathematics , 10(3):947--963, 1960

    1960

  22. [22]

    The obstruction to finding a boundary for an open manifold of dimension greater than five

    Laurence Siebenmann. The obstruction to finding a boundary for an open manifold of dimension greater than five. PhD thesis, Princeton., 1965

    1965

  23. [23]

    On torsion-free groups with infinitely many ends

    John Stallings. On torsion-free groups with infinitely many ends. Annals of Mathematics , 88(2):312--334, 1968

    1968