REVIEW 2 major objections 5 minor 57 references
Universal topological statistics on triangulated singular spaces
T0 review · 2 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read Random persistence statistics on curved and singular spaces converge to the same universal limit as in Euclidean space.
desk verdict A serious, original extension of persistence-ratio universality to curved and singular triangulable spaces, but Theorem 3.3 as stated is missing an atomlessness condition on the Euclidean limit and an explicit boundedness assumption on the density. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing device is the geometric transfer method. The space M is triangulated, then repeatedly subdivided by the Freudenthal–Kuhn (edgewise) subdivision, which—unlike barycentric subdivision—keeps a positive lower bound on simplex quality. Each subdivision is rectified via its secant map, yielding a piecewise-linear metric on the complex that distorts the intrinsic metric of M by at most a factor of 1 + γ/ℓ (Proposition 3.7). Meanwhile the strata separation angle Θ_φ controls how close points on two different simplices can be: if they are close, both must lie near the skeleton, whose tube volume is only O(r) in the d-dimensional Hausdorff measure (Propositions 3.5 and Lemma 3.6). Tog
What would settle it
Compute or bound the Euclidean limit measure Π*_{k,F,d}: if it has an atom at any α > 1, then Lemma 4.6's error term E(t) fails to vanish at that α, and the transfer argument in Theorem 3.3 does not cover that threshold. Alternatively, simulate Poisson processes with matched intensity on a curved surface (e.g., a 2-sphere) and on a flat rectangle and compare (1/n)Π_{k,F}(nf)([α,∞)) for fixed α: a non-vanishing difference would contradict the claimed universality.
Extended reading notes
Core claim
The central claim is Theorem 3.3: for an admissibly triangulable space M—compact, C^2-triangulable, purely d-dimensional, with a positive angle between normal cones of adjacent simplices—and a good density f, the normalized expected persistence-ratio measure satisfies lim_{n→∞} (1/n)Π_{k,F}(nf) = Π*_{k,F,d}, the same universal limit as in Euclidean space, for both Rips and Čech filtrations. A broader theorem (3.4) extends this to any scale-invariant functional satisfying rigidity, homogeneity, continuity, and simplex additivity. The proof divides M into simplices, shows that points lying on two distinct simplices must stay near the singular skeleton, and approximates each curved simplex by a
Load-bearing premise
The proof of the metric-stability step assumes that the already-proven Euclidean universal limit distribution Π*_k has no atom at the threshold α where the comparison is made; the paper states full convergence without proving this continuity, and if Π* jumps there, the transfer from curved to flat simplices fails at that scale.
Editorial extensions
If this is right
- Data sampled from compact smooth manifolds, algebraic varieties, semialgebraic sets, and Whitney stratified spaces can be analyzed with the same universal null distribution for persistence ratios already used in Euclidean topological data analysis.
- The universality extends to a general class of scale-invariant functionals, so other stabilizing geometric statistics on such spaces will also have space-independent limits.
- The geometric transfer framework—FK subdivision plus rectification plus singular-strata control—provides explicit metric-distortion bounds, making it a reusable tool for transferring Euclidean stochastic-geometry results to triangulable spaces.
- Under the (assumed) continuity of the universal limit, small metric perturbations change expected persistence ratios by an amount controlled by the metric distortion and by the mass the universal limit assigns to the intervening interval.
- The results are stated for Poisson point processes; the paper notes that an analogue for binomial processes is a technical step away.
Reading between the lines
- If the universal limit Π* is in fact atom-free, a corollary not spelled out in the paper is that one can build bootstrap or subsampling inference for topological statistics on arbitrary such spaces using a single tabulated null distribution.
- The transfer idea suggests testable extensions to non-compact or unbounded-curvature settings: whether the admissibility condition (positive strata separation angle) can be relaxed to allow cusp singularities, or whether universality survives at all, is a natural numerical experiment.
- Since the proof only requires metric stability and simplex additivity, other functionals—such as intrinsic-dimension estimators or stabilization-based geometric statistics—should inherit the same universality; verifying this would generalize the framework.
- The paper leaves open the regularity of Π*; settling whether the limiting measure is continuous would turn the metric-stability assumption into a theorem and likely sharpen the radius-cutoff conditions.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper extends the Euclidean universality theorem for persistence ratios [8] to compact, purely d-dimensional, C^2-triangulable subspaces of R^D with a positive strata-separation angle (admissible triangulable spaces). Theorem 3.3 states that for a good density f on such an M, the expected persistence ratio measure for either the Vietoris–Rips or Čech filtration of a Poisson point process with intensity nf converges, after division by n, to the same universal limit Π*_{k,F,d} that appears in the Euclidean theorem, independently of M and f. Theorem 3.4 states the analogous result for general scale-invariant functionals satisfying conditions (1)–(7), including simplex additivity and metric stability. The proof proceeds by transferring the Euclidean result through a sequence of Freudenthal–Kuhn subdivisions and rectified triangulations, with control on interference across singular strata. The paper also provides detailed geometric estimates, an appendix on FK subdivisions, and a discussion of the necessity of vertex ordering and simplex quality.
Significance. If correct, the result is a substantial extension of a striking universality phenomenon from Euclidean space to manifolds and singular spaces, including semialgebraic and Whitney stratified sets. The geometric transfer framework — FK subdivision, rectification, skeleton interference control — is a useful contribution in its own right and appears to be carefully developed, with explicit constants and a self-contained appendix. The paper is not circular: it relies on the independently established Euclidean universality theorem [8]. However, the proof as written depends on an unstated regularity property of the Euclidean limit measure, and one step in the general-functional proof needs an additional normalization argument; both are local and repairable, but they affect the central claims.
major comments (2)
- [Lemma 4.6, Eq. (4.11)] The proof of metric stability for the persistence functional assumes that the Euclidean universal limit measure Π*_k is continuous at α. Equation (4.11) defines E(t)=2Π*_k([(1+t)^{-2}α,(1+t)^2α]) and asserts lim_{t↓0}E(t)=0 because Π*_k is continuous at α. The paper neither proves nor cites this atomlessness. If Π*_k({α})>0, then lim E(t)=2Π*_k({α})>0, and no δ>0 can satisfy E(3δ)≤ε/3, which is the condition used in the proof of Theorem 3.4. Since Lemma 4.6 is precisely the verification of condition (7) for the persistence functional, Theorem 3.3 as stated — for every α∈(1,∞) — is not established at atomic thresholds. This is a load-bearing gap. The fix is either to prove the atomlessness of Π*_k (or cite a proof if it is known), or to add it as an explicit hypothesis and restrict Theorem 3.3 to continuity points of Π*_k, adjusting the measure-convergence statement accordingly.
- [Proof of Theorem 3.4, Eq. (4.5)] The step labeled "By the universality theorem for the Euclidean space case (Theorem 3.2)" is not a direct application as printed. The density \hat f_σ has total mass |σ|, not 1, so H_n(n\hat f_σ) is an expectation under intensity n|σ| times the probability density g_σ=\hat f_σ/|σ|. To justify (4.5), one must apply Theorem 3.2 to g_σ at control parameter m=n|σ|, obtaining (1/(n|σ|))H_{n|σ|}(n|σ|g_σ)→H*, and then use condition (2) with m=n|σ| and c=1/|σ| to replace H_{n|σ|}(n|σ|g_σ) by H_n(n|σ|g_σ). This gives (1/n)H_n(n\hat f_σ)→|σ|H*, and summing yields (4.5). The authors should spell out this normalization/homogeneity argument; as written, the proof skips a load-bearing step.
minor comments (5)
- [Section 3.2, Theorem 3.3] The good-density condition is defined in the Euclidean setting; for f on a triangulable space M it should be made explicit that the condition is applied to the pullback of f under an admissible triangulation, or defined with respect to the d-dimensional Hausdorff measure on M.
- [Lemma 4.3] The proof uses f_max, but the quantity is not defined in the statement of the lemma. It follows from the good-density condition that f is bounded, but this should be stated and f_max should be introduced explicitly.
- [Proof of Theorem 3.4, around (4.2)] The bound (1+δ)^2 ≤ 1+3δ uses δ≤1. This assumption is present earlier in the proof, but it would help to restate it immediately before (4.2) to avoid ambiguity.
- [Appendix C] After Lemma C.2, it would be helpful to state explicitly that the global vertex order chosen in Definition B.8 avoids the incompatibility exhibited in Lemma C.2, since the induced order on a shared face is then the same from both adjacent simplices.
- [General] There are a few typographical issues, for example in Lemma 5.2 footnotes 8–10 are informal proof aids; these could be integrated into the proof. The phrase "in [8, 29] it is shown" in the remark after Theorem 3.3 is slightly vague about which claim is established where.
Circularity Check
No circularity: the triangulable-space universality theorem is derived from the independent Euclidean universality theorem [8] via new geometric transfer estimates, not by defining the target limit in terms of itself.
full rationale
The proof chain is self-contained relative to the stated input Theorem 3.1/3.2 from [8]. Theorem 3.3 is a new statement for admissibly triangulable spaces, proved by checking conditions (6) and (7) for the persistence functional and then applying the abstract Euclidean universality theorem simplex-by-simplex after FK subdivision and rectification. The Euclidean theorem is an external published result by two of the same authors, but it is not assumed to prove itself: it is a parameter-free theorem about Euclidean Poisson processes, and the new paper's contribution is the geometric transfer (simplex additivity, metric stability, Proposition 3.7). Lemma 4.6's use of Theorem 3.1 to define E(t) and control metric perturbation is a legitimate application, not a reduction of the target statement to its own input. The one flagged weakness is that Lemma 4.6 is explicitly conditional on continuity of the Euclidean universal limit measure Pi*_k at alpha; Theorem 3.3 states convergence for every alpha without stating or proving that continuity. This is a correctness gap (a missing hypothesis), not a circular step: it does not make the theorem's conclusion equal to its assumptions by construction. No fitted parameter is renamed as a prediction, and no uniqueness theorem is imported from the authors' prior work to force the choice. Hence no significant circularity.
Assumptions & free parameters
assumptions (6)
- domain assumption M admits an admissible C^2 triangulation φ:K→M with positive strata separation angle Θ_φ>0 (3.2).
- domain assumption f is a good density: compact support plus either positive infimum or two-sided power-law behavior near the support boundary.
- domain assumption The radius cutoff satisfies nρ_n^d→∞ and nρ_n^d=o(n^{1/(d^2+d+1)}).
- ad hoc to paper The Euclidean universal limit measure Π*_{k,F,d} has no atoms at the threshold α.
- ad hoc to paper The density f is globally bounded above.
- standard math Standard background: persistence-module decomposition/stability, Federer area formula, tubular neighbourhood theorem, reach/geodesic controls (Lemma 2.1), and FK/edgewise subdivision quality bounds.
Cite this review
Pith. "Pith review of Universal topological statistics on triangulated singular spaces." pith.science (2026). https://pith.science/paper/MXNOKHTM
@misc{pith2026260727535,
author = {Pith},
title = {Pith review of: Universal topological statistics on triangulated singular spaces},
year = {2026},
howpublished = {\url{https://pith.science/paper/MXNOKHTM}},
note = {Machine review of arXiv:2607.27535}
}
abstract
We prove a universality theorem for random persistent homology over a class of triangulable spaces. More precisely, let $M \subset \mathbb{R}^D$ be a compact $C^2$-triangulable space satisfying a geometric quality condition and let $f: M \to \mathbb{R}$ be a probability density. Then the expected persistence ratio measure computed from the \v{C}ech or Vietoris-Rips complex of a Poisson point process with intensity $nf$ has a universal limit independent of $(M, f)$. Since smooth manifolds, algebraic varieties, semialgebraic sets and Whitney stratified spaces are all triangulable spaces, our theorem applies to a large class of non-Euclidean spaces. Beyond persistent homology, our proof covers a general class of scale-invariant functionals. It relies on a geometric transfer method that adapts constructions in Euclidean space to triangulable spaces through successive approximations by Freudenthal-Kuhn triangulations, and control of interference across singular strata.
Reference graph
Works this paper leans on
-
[8]
,Universality in random persistent homology and scale-invariant functionals, Communications of the AMS 6(2026), 378–423
2026
-
[1]
Selman Akbulut and John D McCarthy,Casson’s invariant for oriented homology 3-spheres, volume 36 of, Math- ematical Notes (1990), 217–231
1990
-
[2]
Randolph E Bank, Andrew H Sherman, and Alan Weiser,Some refinement algorithms and data structures for regular local mesh refinement, Scientific Computing, Applications of Mathematics and Computing to the Physical Sciences1(1983), 3–17
1983
-
[3]
Ulrich Bauer and Michael Lesnick,Induced matchings of barcodes and the algebraic stability of persistence, Pro- ceedings of the thirtieth annual symposium on Computational geometry, 2014, pp. 355–364
2014
-
[4]
8018, 943–949
Katherine Benjamin, Aneesha Bhandari, Jessica D Kepple, Rui Qi, Zhouchun Shang, Yanan Xing, Yanru An, Nannan Zhang, Yong Hou, Tanya L Crockford, et al.,Multiscale topology classifies cells in subcellular spatial transcriptomics, Nature630(2024), no. 8018, 943–949
2024
-
[5]
Pavel Bleher and Alexander Its,Semiclassical asymptotics of orthogonal polynomials, riemann-hilbert problem, and universality in the matrix model, Annals of Mathematics (1999), 185–266
1999
-
[6]
3, 331–364
Omer Bobrowski and Matthew Kahle,Topology of random geometric complexes: a survey, Journal of applied and Computational Topology1(2018), no. 3, 331–364
2018
-
[7]
1, 12274
Omer Bobrowski and Primoz Skraba,A universal null-distribution for topological data analysis, Scientific reports 13(2023), no. 1, 12274
2023
Show all 57 references
-
[9]
1, 156–191
Jean-Daniel Boissonnat, Ramsay Dyer, Arijit Ghosh, and Mathijs Wintraecken,Local criteria for triangulating general manifolds, Discrete & Computational Geometry69(2023), no. 1, 156–191
2023
-
[10]
Jean-Daniel Boissonnat, Siargey Kachanovich, and Mathijs Wintraecken,Tracing isomanifolds in rd in time polynomial in d using coxeter-freudenthal-kuhn triangulations, SoCG 2021-37th Symposium on Computational Geometry, 2021
2021
-
[11]
Bradley CA Brown, Anthony L Caterini, Brendan Leigh Ross, Jesse C Cresswell, and Gabriel Loaiza-Ganem, Verifying the union of manifolds hypothesis for image data, The Eleventh International Conference on Learning Representations
-
[12]
8, 549–552
SS Cairns,Triangulation of the manifold of class one, Bulletin of the American Mathematical Society41(1935), no. 8, 549–552
1935
-
[13]
Gunnar Carlsson and Mikael Vejdemo-Johansson,Topological data analysis with applications, Cambridge Univer- sity Press, 2021
2021
-
[14]
Frédéric Chazal and Bertrand Michel,An introduction to topological data analysis: fundamental and practical aspects for data scientists, Frontiers in artificial intelligence4(2021), 667963
2021
-
[15]
1, 141–176
Aruni Choudhary, Siargey Kachanovich, and Mathijs Wintraecken,Coxeter triangulations have good quality, Mathematics in Computer Science14(2020), no. 1, 141–176
2020
-
[16]
3, 230–239
Ivan Corwin,Kardar-parisi-zhang universality, Notices of the AMS63(2016), no. 3, 230–239
2016
-
[17]
05, 1550066
William Crawley-Boevey,Decomposition of pointwise finite-dimensional persistence modules, Journal of Algebra and its Applications14(2015), no. 05, 1550066. 32
2015
-
[18]
Xavier Crean, Jeffrey Giansiracusa, and Biagio Lucini,Simplicity of confinement in su(3) yang-mills theory, arXiv preprint arXiv:2602.10088 (2026)
2026
-
[19]
Justin Curry and Alberto Speranzon,Stratifying reinforcement learning with signal temporal logic, arXiv preprint arXiv:2604.04923 (2026)
2026 arXiv
-
[20]
B DELAUNAY,Sur la sphere vide, Bulletin of the Academy of Sciences of the USSR Classe des Sciences Math- ematiques et Naturelles7(1934), 793–800
1934
-
[21]
3, 249–283
Vincent Divol and Wolfgang Polonik,On the choice of weight functions for linear representations of persistence diagrams, Journal of Applied and Computational Topology3(2019), no. 3, 249–283
2019
-
[22]
1, 91–138
Ramsay Dyer, Gert Vegter, and Mathijs Wintraecken,Riemannian simplices and triangulations, Geometriae Dedicata179(2015), no. 1, 91–138
2015
-
[23]
Herbert Edelsbrunner and Daniel R Grayson,Edgewise subdivision of a simplex, Proceedings of the fifteenth annual symposium on Computational geometry, 1999, pp. 24–30
1999
-
[24]
1, 75–119
László Erdős, Benjamin Schlein, and Horng-Tzer Yau,Universality of random matrices and local relaxation flow, Inventiones mathematicae185(2011), no. 1, 75–119
2011
-
[25]
Herbert Federer,Geometric measure theory, Springer, 2014
2014
-
[26]
3, 580–582
Hans Freudenthal,Simplizialzerlegungen von beschränkter flachheit, Annals of Mathematics43(1942), no. 3, 580–582
1942
-
[27]
7895, 123–128
RichardJGardner, ErikHermansen, MariusPachitariu, YoramBurak, NilsABaas, BenjaminADunn, May-Britt Moser, and Edvard I Moser,Toroidal topology of population activity in grid cells, Nature602(2022), no. 7895, 123–128
2022
-
[28]
R Mark Goresky,Triangulation of stratified objects, Proceedings of the American Mathematical Society (1978), 193–200
1978
-
[29]
5, 2740–2780
Yasuaki Hiraoka, Tomoyuki Shirai, and Khanh Duy Trinh,Limit theorems for persistence diagrams, The Annals of Applied Probability28(2018), no. 5, 2740–2780
2018
-
[30]
29, Amer- ican Mathematical Society, 1975, pp
Heisuke Hironaka,Triangulations of algebraic sets, Proceedings of Symposia in Pure Mathematics, vol. 29, Amer- ican Mathematical Society, 1975, pp. 165–185
1975
-
[31]
Matthew Kahle,Topology of random simplicial complexes: a survey, arXiv preprint arXiv:1301.7165 (2013)
2013 arXiv
-
[32]
RC Kirby and LC Siebenmann,On the triangulation of manifolds and the hauptvermutung, Bull. Amer. Math. Soc.75(1969), no. 5, 742–749
1969
-
[33]
2, 492–523
Johannes Krebs and Wolfgang Polonik,On the asymptotic normality of persistent betti numbers, Advances in Applied Probability57(2025), no. 2, 492–523
2025
-
[34]
thesis, University of Oxford, 2023
Sung Hyun Lim,Geometric and topological inference from random samples, Ph.D. thesis, University of Oxford, 2023
2023
-
[35]
4, 1882–1903
Uzu Lim, Harald Oberhauser, and Vidit Nanda,Hades: Fast singularity detection with local measure comparison, SIAM Journal on Mathematics of Data Science7(2025), no. 4, 1882–1903
2025
-
[36]
1, 147–176
Ciprian Manolescu,Pin (2)-equivariant seiberg-witten floer homology and the triangulation conjecture, Journal of the American Mathematical Society29(2016), no. 1, 147–176
2016
-
[37]
James R Munkres,Elementary differential topology, (1961). 33
1961
-
[38]
1, 419–441
ParthaNiyogi, StephenSmale, andShmuelWeinberger,Finding the homology of submanifolds with high confidence from random samples, Discrete & Computational Geometry39(2008), no. 1, 419–441
2008
-
[39]
Eng-Jon Ong, Omer Bobrowski, Gesine Reinert, and Primoz Skraba,A universal nearest-neighbor estimator for intrinsic dimensionality, arXiv preprint arXiv:2603.10493 (2026)
2026
-
[40]
3, 2275–2310
Takashi Owada and Omer Bobrowski,Convergence of persistence diagrams for topological crackle, Bernoulli26 (2020), no. 3, 2275–2310
2020
-
[41]
elegans embryogenesis at single-cell resolution, Science365(2019), no
Jonathan S Packer, Qin Zhu, Chau Huynh, Priya Sivaramakrishnan, Elicia Preston, Hannah Dueck, Derek Ste- fanik, Kai Tan, Cole Trapnell, Junhyong Kim, et al.,A lineage-resolved molecular atlas of c. elegans embryogenesis at single-cell resolution, Science365(2019), no. 6459, eaax1971
2019
-
[42]
1, 277–303
Mathew D Penrose and Joseph E Yukich,Weak laws of large numbers in geometric probability, The Annals of Applied Probability13(2003), no. 1, 277–303
2003
-
[43]
,Limit theory for point processes in manifolds, The Annals of Applied Probability (2013), 2161–2211
2013
-
[44]
Michael Robinson, Sourya Dey, and Tony Chiang,Token embeddings violate the manifold hypothesis, Advances in Neural Information Processing Systems38(2026), 147340–147376
2026
-
[45]
3, 034501
Nicholas Sale, Biagio Lucini, and Jeffrey Giansiracusa,Probing center vortices and deconfinement in su(2) lattice gauge theory with persistent homology, Physical Review D107(2023), no. 3, 034501
2023
-
[46]
3, 775–839
Egor Shelukhin,On the hofer-zehnder conjecture, Annals of Mathematics195(2022), no. 3, 775–839
2022
-
[47]
1, 321–373
,Viterbo conjecture for zoll symmetric spaces, Inventiones mathematicae230(2022), no. 1, 321–373
2022
-
[48]
Tomoyuki Shirai and Kiyotaka Suzaki,A limit theorem for persistence diagrams of random filtered complexes built over marked point processes, Modern Stochastics: Theory and Applications10(2022), no. 1, 1–18
2022
-
[49]
3, 243–245
Robin Sibson,Locally equiangular triangulations, The computer journal21(1978), no. 3, 243–245
1978
-
[50]
04, 931–967
Primoz Skraba and D Yogeshwaran,Central limit theorem for euclidean minimal spanning acycles, Journal of Topology and Analysis17(2025), no. 04, 931–967
2025
-
[51]
33, 19664–19669
Bernadette J Stolz, Jared Tanner, Heather A Harrington, and Vidit Nanda,Geometric anomaly detection in data, Proceedings of the national academy of sciences117(2020), no. 33, 19664–19669
2020
-
[52]
2, 549–572
Terence Tao and Van Vu,Random matrices: Universality of local eigenvalue statistics up to the edge, Communi- cations in Mathematical Physics298(2010), no. 2, 549–572
2010
-
[53]
41, e2102166118
Oliver Vipond, Joshua A Bull, Philip S Macklin, Ulrike Tillmann, Christopher W Pugh, Helen M Byrne, and Heather A Harrington,Multiparameter persistent homology landscapes identify immune cell spatial patterns in tumors, Proceedings of the National Academy of Sciences118(2021),...
2021
-
[54]
35175–35197
Julius Von Rohrscheidt and Bastian Rieck,Topological singularity detection at multiple scales, International Conference on Machine Learning, PMLR, 2023, pp. 35175–35197
2023
-
[55]
2018, 501–532
Larry Wasserman,Topological data analysis, Annual review of statistics and its application5(2018), no. 2018, 501–532
2018
-
[56]
4, 809–824
John Henry C Whitehead,On c1-complexes, Annals of Mathematics41(1940), no. 4, 809–824
1940
-
[57]
34 AppendixA.Notations We summarize the notations and conventions used in this article
Yuxing Jared Yao and Iris HR Yoon,Topological decoding of grid cell activity via path lifting to covering spaces, arXiv preprint arXiv:2510.16216 (2025). 34 AppendixA.Notations We summarize the notations and conventions used in this article. Symbol Description X,Y Set of point...
2025 arXiv
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.