Convergence towards Ideal Poisson--Voronoi tessellations with a focus on Diestel--Leader graphs
Pith reviewed 2026-06-30 04:33 UTC · model grok-4.3
The pith
Necessary and sufficient conditions ensure convergence to a unique ideal Poisson-Voronoi tessellation on any proper pointed measured metric space.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
On any proper pointed measured metric space, convergence toward a unique ideal Poisson-Voronoi tessellation holds if and only if the volume function composed with log is regularly varying and the uniform probability measure on large balls admits a limit in the horocompactification. The same criterion is used to resolve convergence for higher-rank symmetric spaces and to establish that the IPVT on Diestel-Leader graphs has distinguishable cells.
What carries the argument
The two conditions of regular variation of the log-volume function together with existence of the horocompactification limit of uniform ball measures, which together characterize uniqueness and convergence of the ideal Poisson-Voronoi tessellation.
If this is right
- Convergence to a unique IPVT holds for all higher-rank symmetric spaces.
- The IPVT on graphs is independent of the parameter ξ in a specific sense under mild assumptions.
- Diestel-Leader graphs give the first Cayley graph whose IPVT cells are distinguishable.
- The theorem extends to edge-measured graphs with the same independence property.
Where Pith is reading between the lines
- The same pair of conditions may be verifiable on additional spaces with regular volume growth to obtain further convergence results.
- Distinguishability of cells on Diestel-Leader graphs could permit finer statistical analysis of the random tessellation.
- Parameter independence suggests the limiting tessellation is stable across different natural choices of discretization.
Load-bearing premise
The uniform probability measure on large balls must converge to some limit in the horocompactification.
What would settle it
A proper pointed measured metric space in which the uniform ball measures fail to converge in the horocompactification yet the tessellations still converge to a unique IPVT would falsify necessity of the second condition.
Figures
read the original abstract
We provide necessary and sufficient conditions for convergence towards a unique IPVT on any proper pointed measured metric space. The conditions are that the volume function, when composed with $\log$, is regularly varying and that the limit of the uniform probability measure on a large ball exists in the horocompactification. As an application we prove convergence towards a unique IPVT for higher rank symmetric spaces, which solves an open problem of \cite{MiMe23}. Versions of this theorem are provided for graphs and edge-measured graphs, where a natural parameter $\xi$ appears. We prove independence on $\xi$ in a specific sense under mild assumptions, which answers an open problem of~\cite{IPVT}. As a main example, we show that the latter holds for the IPVT of Diestel-Leader graphs. We also focus on further properties of this example, in particular, that its IPVT cells are distinguishable, providing the first Cayley graph with this property.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript establishes necessary and sufficient conditions for convergence of a Poisson point process toward a unique ideal Poisson-Voronoi tessellation (IPVT) on any proper pointed measured metric space: the composition of the volume function with log must be regularly varying, and the uniform probability measures on large balls must converge in the horocompactification. Versions are given for graphs and edge-measured graphs. Applications prove the convergence for higher-rank symmetric spaces (resolving an open problem of MiMe23) and for Diestel-Leader graphs, where independence on the parameter ξ holds under mild assumptions (resolving an open problem of IPVT) and the cells are distinguishable (first such Cayley graph).
Significance. The general necessary-and-sufficient criterion on arbitrary proper pointed measured metric spaces is a strong structural result. If the verifications of the horocompactification limit are complete, the applications resolve two stated open problems and supply the first Cayley-graph example with distinguishable IPVT cells. The graph-theoretic versions and the independence-on-ξ statement add concrete value for discrete settings.
major comments (2)
- [§4] §4 (higher-rank symmetric spaces): the argument establishing existence of the horocompactification limit (condition (ii)) for these spaces is load-bearing for the claimed resolution of MiMe23. The passage from regular variation of vol ∘ log to the existence of the limit must be spelled out explicitly; it is not immediate that the same compactness or continuity properties used in rank 1 extend without additional justification.
- [§5] §5 (Diestel-Leader graphs): the proof that the horocompactification limit exists and is independent of ξ (used for both the convergence theorem and the distinguishability claim) must verify that the limit measure does not depend on the choice of basepoint or on the edge-measure parameter. The current sketch appears to invoke regular variation directly; an explicit construction of the limit measure or a reference to a prior compactness result in the horocompactification topology is needed.
minor comments (2)
- [§2] The definition and topology of the horocompactification should be recalled in §2 before the statement of the main theorem, rather than deferred to an appendix.
- [Notation throughout] Notation for the uniform probability measure on the ball of radius r should be introduced once and used consistently; the transition between continuous and discrete (graph) versions is occasionally unclear.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for highlighting the significance of the general criterion and the resolutions of the open problems. We address the two major comments below and will revise the manuscript to strengthen the explicitness of the arguments in §§4 and 5.
read point-by-point responses
-
Referee: [§4] §4 (higher-rank symmetric spaces): the argument establishing existence of the horocompactification limit (condition (ii)) for these spaces is load-bearing for the claimed resolution of MiMe23. The passage from regular variation of vol ∘ log to the existence of the limit must be spelled out explicitly; it is not immediate that the same compactness or continuity properties used in rank 1 extend without additional justification.
Authors: We agree that the transition from regular variation of vol ∘ log to the horocompactification limit in higher-rank symmetric spaces needs to be made fully explicit. In the revised version we will expand the relevant paragraph in §4, detailing the extension of the compactness and continuity arguments via the root-space decomposition and the action on the Furstenberg boundary, thereby confirming that condition (ii) holds independently of the rank-1 case. revision: yes
-
Referee: [§5] §5 (Diestel-Leader graphs): the proof that the horocompactification limit exists and is independent of ξ (used for both the convergence theorem and the distinguishability claim) must verify that the limit measure does not depend on the choice of basepoint or on the edge-measure parameter. The current sketch appears to invoke regular variation directly; an explicit construction of the limit measure or a reference to a prior compactness result in the horocompactification topology is needed.
Authors: We accept that the independence statement in §5 requires a more detailed verification. The revision will include either an explicit construction of the limiting measure on the horocompactification (showing invariance under basepoint change and under the edge-measure parameter ξ) or a direct citation of the relevant compactness theorem in the horocompactification topology, thereby confirming that the limit is well-defined under the stated mild assumptions. revision: yes
Circularity Check
No circularity: conditions are external and independent of IPVT
full rationale
The paper states necessary and sufficient conditions (regular variation of vol ∘ log, plus existence of uniform ball measure limit in horocompactification) for convergence to a unique IPVT on any proper pointed measured metric space. These inputs are defined independently of the target IPVT and are not obtained by fitting, self-definition, or renaming. Applications to symmetric spaces and Diestel-Leader graphs consist of verifying the stated external conditions rather than reducing the conclusion to a parameter fit or self-citation chain. No load-bearing self-citation or ansatz smuggling is exhibited in the derivation chain.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The underlying space is a proper pointed measured metric space
- standard math Standard properties of horocompactification and regular variation hold
Reference graph
Works this paper leans on
-
[1]
2005 , publisher=
Gradient flows: in metric spaces and in the space of probability measures , author=. 2005 , publisher=
2005
-
[2]
2014 , publisher=
Ambrosio, Luigi and Rajala, Tapio , journal=. 2014 , publisher=
2014
-
[3]
Aizenman, Michael and Warzel, Simone , TITLE =. Math. Phys. Anal. Geom. , FJOURNAL =. 2006 , NUMBER =. doi:10.1007/s11040-007-9018-3 , URL =
-
[4]
Aldous, D. and Steele, J. M. , TITLE =. Probability on discrete structures , SERIES =. 2004 , MRCLASS =. doi:10.1007/978-3-662-09444-0_1 , URL =
-
[5]
Aldous, David and Lyons, Russell , TITLE =. Electron. J. Probab. , FJOURNAL =. 2007 , PAGES =. doi:10.1214/EJP.v12-463 , URL =
-
[6]
Eternal family trees and dynamics on unimodular random graphs , BOOKTITLE =
Baccelli, Fran. Eternal family trees and dynamics on unimodular random graphs , BOOKTITLE =. 2018 , MRCLASS =. doi:10.1090/conm/719/14471 , URL =
-
[7]
and Haji-Mirsadeghi, M.-O
Baccelli, F. and Haji-Mirsadeghi, M.-O. and Khezeli, A. , journal=. Unimodular
-
[8]
and Haji-Mirsadeghi, M.-O
Baccelli, F. and Haji-Mirsadeghi, M.-O. and Khezeli, A. , journal=. On the Dimension of Unimodular Discrete Spaces, Part
-
[9]
Barlow, M. T. and Taylor, S. J. , TITLE =. Proc. London Math. Soc. (3) , FJOURNAL =. 1992 , NUMBER =. doi:10.1112/plms/s3-64.1.125 , URL =
-
[10]
Benjamini, I. and Kesten, H. and Peres, Y. and Schramm, O. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2004 , NUMBER =. doi:10.4007/annals.2004.160.465 , URL =
-
[11]
Benjamini, Itai and Lyons, Russell and Peres, Yuval and Schramm, Oded , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 1999 , NUMBER =. doi:10.1007/s000390050080 , URL =
-
[12]
Benjamini, Itai and Lyons, Russell and Schramm, Oded , TITLE =. Ergodic Theory Dynam. Systems , FJOURNAL =. 2015 , NUMBER =. doi:10.1017/etds.2013.56 , URL =
-
[13]
Benjamini, I. and Schramm, O. , TITLE =. Electron. J. Probab. , FJOURNAL =. 2001 , PAGES =. doi:10.1214/EJP.v6-96 , URL =
-
[14]
Bishop, C. J. and Peres, Y. , TITLE =. 2017 , PAGES =. doi:10.1017/9781316460238 , URL =
-
[15]
Chung, F. R. K. and Yau, S.-T. , TITLE =. Combin. Probab. Comput. , FJOURNAL =. 1995 , NUMBER =. doi:10.1017/S0963548300001449 , URL =
-
[16]
arXiv preprint arXiv:1710.03137 , year=
Geometric and spectral properties of causal maps , author=. arXiv preprint arXiv:1710.03137 , year=
-
[17]
Daley, D. J. and Vere-Jones, D. , TITLE =. 2003 , PAGES =
2003
-
[18]
Daley, D. J. and Vere-Jones, D. , TITLE =. 2008 , PAGES =. doi:10.1007/978-0-387-49835-5 , URL =
-
[19]
Feldman, J. and Moore, C. C. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1977 , NUMBER =. doi:10.2307/1997924 , URL =
-
[20]
1957 , publisher=
Studies of longitudinal stream profiles in Virginia and Maryland , author=. 1957 , publisher=
1957
-
[21]
, TITLE =
Feller, W. , TITLE =. 1966 , PAGES =
1966
-
[22]
H\"aggstr\"om, O. , TITLE =. Ann. Probab. , FJOURNAL =. 1997 , NUMBER =. doi:10.1214/aop/1024404518 , URL =
-
[23]
Kallenberg, O. , TITLE =. Probab. Theory Related Fields , FJOURNAL =. 2007 , NUMBER =. doi:10.1007/s00440-006-0053-y , URL =
-
[24]
and Ney, P
Kesten, H. and Ney, P. and Spitzer, F. , TITLE =. Teor. Verojatnost. i Primenen. , FJOURNAL =. 1966 , PAGES =
1966
-
[25]
To appear in the special issue of Contemporary Mathematics on Unimodularity in Randomly Generated Graphs , year=
Shift-Coupling of Random Rooted Graphs and Networks , author=. To appear in the special issue of Contemporary Mathematics on Unimodularity in Randomly Generated Graphs , year=
-
[26]
Lyons, Russell and Peres, Yuval , TITLE =. 2016 , PAGES =. doi:10.1017/9781316672815 , URL =
-
[27]
Nguyen, B. G. , TITLE =. J. Appl. Probab. , FJOURNAL =. 1990 , NUMBER =
1990
-
[28]
Roy, R. and Saha, K. and Sarkar, A. , TITLE =. Ann. Appl. Probab. , FJOURNAL =. 2016 , NUMBER =. doi:10.1214/15-AAP1134 , URL =
-
[29]
Schneider, Rolf and Weil, Wolfgang , TITLE =. 2008 , PAGES =. doi:10.1007/978-3-540-78859-1 , URL =
-
[30]
Last, G. and Thorisson, H. , TITLE =. Ann. Probab. , FJOURNAL =. 2009 , NUMBER =. doi:10.1214/08-AOP420 , URL =
-
[31]
Baum, L. E. and Katz, M. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1965 , PAGES =. doi:10.2307/1994170 , URL =
-
[32]
, TITLE =
Gromov, M. , TITLE =. Inst. Hautes \'Etudes Sci. Publ. Math. , FJOURNAL =. 1981 , PAGES =
1981
-
[33]
Bass, H. , TITLE =. Proc. London Math. Soc. (3) , FJOURNAL =. 1972 , PAGES =. doi:10.1112/plms/s3-25.4.603 , URL =
-
[34]
van den Dries, L. and Wilkie, A. J. , TITLE =. J. Algebra , FJOURNAL =. 1984 , NUMBER =. doi:10.1016/0021-8693(84)90223-0 , URL =
-
[35]
Kesten, H. and Stigum, B. P. , TITLE =. Ann. Math. Statist. , FJOURNAL =. 1966 , PAGES =. doi:10.1214/aoms/1177699266 , URL =
-
[36]
Hawkes, J. , TITLE =. J. London Math. Soc. (2) , FJOURNAL =. 1981 , NUMBER =. doi:10.1112/jlms/s2-24.2.373 , URL =
-
[37]
Ford, Jr., L. R. and Fulkerson, D. R. , TITLE =. 1962 , PAGES =
1962
-
[38]
, TITLE =
Rudin, W. , TITLE =. 1973 , PAGES =
1973
-
[39]
Strassen, V. , TITLE =. Ann. Math. Statist. , FJOURNAL =. 1965 , PAGES =. doi:10.1214/aoms/1177700153 , URL =
-
[40]
Addario-Berry, L. and Broutin, N. and Goldschmidt, C. and Miermont, G. , TITLE =. Ann. Probab. , FJOURNAL =. 2017 , NUMBER =. doi:10.1214/16-AOP1132 , URL =
-
[41]
Burago, D. and Burago, Y. and Ivanov, S. , TITLE =. 2001 , PAGES =. doi:10.1090/gsm/033 , URL =
-
[42]
Abraham, R. and Delmas, J. F. and Hoscheit, P. , TITLE =. Electron. J. Probab. , FJOURNAL =. 2013 , PAGES =. doi:10.1214/EJP.v18-2116 , URL =
-
[43]
1997 , publisher=
Foundations of modern probability , author=. 1997 , publisher=
1997
-
[44]
Villani, C. , TITLE =. 2009 , PAGES =. doi:10.1007/978-3-540-71050-9 , URL =
-
[45]
Athreya, S. and L\"ohr, W. and Winter, A. , TITLE =. Stochastic Process. Appl. , FJOURNAL =. 2016 , NUMBER =. doi:10.1016/j.spa.2016.02.009 , URL =
-
[46]
Billingsley, P. , TITLE =. 1999 , PAGES =. doi:10.1002/9780470316962 , URL =
-
[47]
Gwynne, E. and Miller, J. , TITLE =. Electron. J. Probab. , FJOURNAL =. 2017 , PAGES =. doi:10.1214/17-EJP102 , URL =
-
[48]
Greven, A. and Pfaffelhuber, P. and Winter, A. , TITLE =. Probab. Theory Related Fields , FJOURNAL =. 2009 , NUMBER =. doi:10.1007/s00440-008-0169-3 , URL =
-
[49]
Kaimanovich, V. A. and Sobieczky, F. , TITLE =. Probabilistic approach to geometry , SERIES =. 2010 , MRCLASS =
2010
-
[50]
Dudley, R. M. , TITLE =. 2002 , PAGES =. doi:10.1017/CBO9780511755347 , URL =
-
[51]
, TITLE =
Kallenberg, O. , TITLE =. 1997 , PAGES =
1997
-
[52]
Miermont, G. , TITLE =. Ann. Sci. \'. 2009 , NUMBER =. doi:10.24033/asens.2108 , URL =
-
[53]
Thorisson, H. , TITLE =. Ann. Probab. , FJOURNAL =. 1996 , NUMBER =. doi:10.1214/aop/1041903217 , URL =
-
[54]
Kallenberg, O. , TITLE =. 2017 , PAGES =. doi:10.1007/978-3-319-41598-7 , URL =
-
[55]
, TITLE =
Aldous, D. , TITLE =. Ann. Probab. , FJOURNAL =. 1991 , NUMBER =
1991
-
[56]
Le Gall, J. F. , TITLE =. Ann. Fac. Sci. Toulouse Math. (6) , FJOURNAL =. 2006 , NUMBER =
2006
-
[57]
Evans, S. N. and Pitman, J. and Winter, A. , TITLE =. Probab. Theory Related Fields , FJOURNAL =. 2006 , NUMBER =. doi:10.1007/s00440-004-0411-6 , URL =
-
[58]
, TITLE =
Gromov, M. , TITLE =. 1999 , PAGES =
1999
-
[59]
Prokhorov, Yu. V. , TITLE =. Teor. Veroyatnost. i Primenen. , FJOURNAL =. 1956 , PAGES =
1956
-
[60]
Fontes, L. R. G. and Isopi, M. and Newman, C. M. and Ravishankar, K. , TITLE =. Ann. Probab. , FJOURNAL =. 2004 , NUMBER =. doi:10.1214/009117904000000568 , URL =
-
[61]
Freudenthal, H. , TITLE =. Math. Z. , FJOURNAL =. 1931 , NUMBER =. doi:10.1007/BF01174375 , URL =
-
[62]
Duquesne, T. and Le Gall, J. F. , TITLE =. Probab. Theory Related Fields , FJOURNAL =. 2005 , NUMBER =. doi:10.1007/s00440-004-0385-4 , URL =
-
[63]
Croydon, D. A. and Hambly, B. M. and Kumagai, T. , TITLE =. Electron. J. Probab. , FJOURNAL =. 2012 , PAGES =. doi:10.1214/EJP.v17-1705 , URL =
-
[64]
Barlow, M. T. and Croydon, D. A. and Kumagai, T. , TITLE =. Ann. Probab. , FJOURNAL =. 2017 , NUMBER =. doi:10.1214/15-AOP1030 , URL =
-
[65]
2020 , publisher=
Khezeli, Ali , journal=. 2020 , publisher=
2020
-
[66]
2023 , publisher=
Khezeli, Ali , journal=. 2023 , publisher=
2023
-
[67]
arXiv preprint arXiv:1805.00853 , year=
Convergence of metric two-level measure spaces , author=. arXiv preprint arXiv:1805.00853 , year=
-
[68]
arXiv preprint arXiv:1910.01614 , year=
Invariant embeddings of unimodular random planar graphs , author=. arXiv preprint arXiv:1910.01614 , year=
arXiv 1910
-
[69]
Angel, O. and Hutchcroft, T. and Nachmias, A. and Ray, G. , TITLE =. Invent. Math. , FJOURNAL =. 2016 , NUMBER =. doi:10.1007/s00222-016-0653-9 , URL =
-
[70]
Aldous, David , TITLE =. Ann. Appl. Probab. , FJOURNAL =. 1991 , NUMBER =
1991
-
[71]
Angel, O. and Hutchcroft, T. and Nachmias, A. and Ray, G. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2018 , NUMBER =. doi:10.1007/s00039-018-0446-y , URL =
-
[72]
Hennion, H. , TITLE =. Ann. Probab. , FJOURNAL =. 1997 , NUMBER =. doi:10.1214/aop/1023481103 , URL =
-
[73]
1979 , publisher=
The geometry and topology of three-manifolds , author=. 1979 , publisher=
1979
-
[74]
He, Z. and Schramm, O. , TITLE =. Discrete Comput. Geom. , FJOURNAL =. 1995 , NUMBER =. doi:10.1007/BF02570699 , URL =
-
[75]
He, Z. and Schramm, O. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1993 , NUMBER =. doi:10.2307/2946541 , URL =
-
[76]
Angel, O. and Schramm, O. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2003 , NUMBER =. doi:10.1007/978-1-4419-9675-6_16 , URL =
-
[77]
Gurel-Gurevich, O. and Nachmias, A. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2013 , NUMBER =. doi:10.4007/annals.2013.177.2.10 , URL =
-
[78]
arXiv preprint arXiv:1910.01307 , year=
Unimodular random planar graphs are sofic , author=. arXiv preprint arXiv:1910.01307 , year=
arXiv 1910
-
[79]
The American Mathematical Monthly , volume=
Triangulating the circle, at random , author=. The American Mathematical Monthly , volume=. 1994 , publisher=
1994
-
[80]
and Kortchemski, I
Curien, N. and Kortchemski, I. , journal=. 2014 , publisher=
2014
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.