REVIEW 2 major objections 4 minor 24 references
On the Stability of the Euler Characteristic Transform for a Perturbed Embedding
T0 review · 2 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read For two embeddings of the same simplicial complex, the Euler Characteristic Transform distance is at most a constant times the total vertex displacement.
desk verdict The ECT Lipschitz bound is a clean, correct composition of existing theorems, but the SELECT bound is proven only for piecewise-constant fields and the paper's attempt to extend it to PL functions rests on a false homotopy-retraction claim. 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 machinery is a chain of Wasserstein comparisons. The paper builds the ECT distance as $\int_{S^{d-1}}\|\mathrm{ECC}_\nu(f(K))-\mathrm{ECC}_\nu(g(K))\|_1\,d\nu$, then bounds the integrand by $2W_{1,\infty}$ of the persistence diagrams of the two height filtrations, uses a known direction-integrated $W_{1,1}$ stability bound whose constants are $C_K$ (the maximum number of simplices incident to a vertex) and $C_d$ (a fixed sphere integral), and closes the chain with the inequality $W_{1,\infty}\le W_{1,1}$. For SELECT, the mechanism is that superlevel sets $K_t=\{x:\phi(x)\ge t\}$ of a simplex-wise monotone field are subcomplexes, so $\mathrm{SELECT}(\phi\circ f^{-1})(\nu,a,t)=\mathrm{ECC}_\nu(f(K_t),a)$, turning each fixed-$t$ slice into an ECT computation and leaving a single integral over $t\in[0,r_{\max}]$.
What would settle it
For the ECT bound, take the simplest nontrivial complex, a single edge in $\mathbb{R}^2$, fix embeddings $f$ and $g$ that differ by moving one endpoint a distance $\varepsilon$, and compute $d_{\mathrm{ECT}}$ exactly; the theorem fails if it exceeds $2C_KC_d\varepsilon$. For the SELECT bound, take a genuine piecewise-linear interpolation $\Phi$ of vertex weights on a triangle, move one vertex by $\varepsilon$, and compare $d_{\mathrm{SELECT}}(\Phi\circ f^{-1},\Phi\circ g^{-1})$ with $2r_{\max}C_KC_d\varepsilon$; exceeding that value would show the asserted replacement of PL fields by piecewise-constant fields does not preserve the bound.
Extended reading notes
Core claim
On its own terms, the central discovery is that the ECT and SELECT are Lipschitz functions of the vertex positions of a triangulation. Theorem 4.1 states that for two embeddings $f,g$ of the same abstract simplicial complex $K$ into $\mathbb{R}^d$, the distance $d_{\mathrm{ECT}}(\mathrm{ECT}(f(K)),\mathrm{ECT}(g(K)))$, defined by integrating the $L^1$ distance of Euler characteristic curves over all directions $\nu\in S^{d-1}$, satisfies $d_{\mathrm{ECT}}\le 2C_KC_d\sum_{v\in V(K)}\|f(v)-g(v)\|_2$, where $C_K$ counts the maximum number of simplices containing any vertex and $C_d$ is a constant depending only on $d$. The proof chains three existing inequalities: an Euler-characteristic-curve difference is bounded by a Wasserstein distance between persistence diagrams, that Wasserstein distance integrated over all directions is bounded by a constant times total vertex displacement, and the two Wasserstein metrics are comparable. Theorem 5.3 gives an analogous bound for SELECT: for a simplex-wise monotone vertex function $\phi$, the SELECT distance between $\mathrm{SELECT}(\phi\circ f^{-1})$ and $\mathrm{SELECT}(\phi\circ g^{-1})$ is at most $2r_{\max}C_KC_d\sum_{v}\|f(v)-g(v)\|_2$, by recognizing that SELECT at threshold $t$ is exactly the ECT of the superlevel subcomplex $K_t$ and integrating the ECT bound over $t$ up to $r_{\max}$.
Load-bearing premise
The SELECT result is proved only for step-like fields that are constant on each simplex; the paper's argument that this also covers ordinary piecewise-linear interpolation depends on an asserted homotopy equivalence between the PL superlevel sets and the simplicial superlevel sets, and the paper lists the PL case itself as future work.
Editorial extensions
If this is right
- If Theorem 4.1 is correct, the ECT is a Lipschitz map from the space of embeddings of a fixed abstract complex (metrized by total vertex displacement) to the space of transforms with the direction-integrated $L^1$ distance.
- Small geometric perturbation of a shape whose triangulation is unchanged changes the ECT by at most a constant times the sum of vertex movements, with the constant computable from the complex and the dimension.
- The SELECT bound extends the same guarantee to scalar fields: for step-like fields satisfying the simplex-wise monotone condition, moving the embedding changes SELECT by at most a constant times the total vertex displacement times the field range $r_{\max}$.
- Because all constants are explicit, a practitioner can predict the worst-case descriptor drift from a known mesh deformation before recomputing the transform.
Reading between the lines
- The same chain of inequalities would likely prove stability for any transform that controls its per-direction output by a Wasserstein distance between persistence diagrams; the authors do not state this general template.
- The ECT bound implies a statistical continuity the paper leaves implicit: if vertex positions are estimated with small registration error, empirical ECT-based summaries change by at most a fixed multiple of that error, so confidence statements about shape descriptors inherit continuity in the mesh.
- The factor $r_{\max}$ in the SELECT bound is plausibly loose, since $K_t$ shrinks as $t$ grows and $C_{K_t}$ decreases; a sharper bound integrating only over the actual spread of vertex values might be strictly smaller.
- A closed-form check on a single edge or triangle would calibrate how much slack the constants $C_K$ and $C_d$ carry, since the paper gives no optimality example.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies stability of the Euler characteristic transform (ECT) and its field-valued variant SELECT under perturbations of an embedding of a fixed abstract simplicial complex K into R^d. Theorem 4.1 bounds the integrated L1 distance between the ECTs of two embeddings by 2 C_K C_d Σ_v ||f(v)-g(v)||_2, chaining a bound of Dlotko and Gurnari with the Wasserstein stability theorem of Skraba and Turner. For SELECT, the paper assigns vertex values φ, forms superlevel subcomplexes K_t, and proves Theorem 5.3, an analogous bound with an extra factor 2 r_max obtained by integrating Theorem 4.1 over t. The paper also proves two metric lemmas and concludes with a discussion of limitations, including the fact that piecewise-linear interpolation is left to future work.
Significance. The ECT stability result is a clean and useful contribution: it provides an explicit Lipschitz-type bound with constants depending only on the complex and the dimension, and the proof is a transparent chain of published theorems. The SELECT result is also valuable for piecewise-constant, simplex-wise monotone fields, where Theorem 5.3 gives an explicit bound with a natural dependence on the field range. However, the paper's advertised scope is broader than what is proved: the bridge used to pass from PL interpolation to piecewise-constant superlevel sets is invalid for the halfspace-truncated sets that SELECT evaluates, so the SELECT contribution needs to be explicitly scoped before the claims in the abstract and Definition 5.2.
major comments (2)
- [Section 5, paragraph beginning 'However, since this idea...'] This paragraph asserts that a PL interpolation Φ of a simplex-wise monotone function has Φ^{-1}[t,∞) homotopy equivalent to K_t and therefore 'we are justified in using the piecewise constant function instead.' The equivalence is not enough: SELECT evaluates χ({x: ⟨x,ν⟩≤a, Φ(x)≥t}), and homotopy equivalence of the untruncated superlevel set does not survive intersection with the halfspace {⟨x,ν⟩≤a}. Concretely, take K to be the single triangle with vertices (0,0), (2,0), (2,2), φ(v1)=φ(v2)=1, φ(v3)=2, ν=(1,0), a=1.5, t=1.5. Then K_t={v3}, so the piecewise-constant replacement gives ECCν(f(K_t),1.5)=χ(∅)=0. The PL interpolation is Φ=1+λ_{v3}; its superlevel set {Φ≥1.5} is a subtriangle near v3, and its intersection with {x≤1.5} is nonempty and convex, so SELECT(Φ)(ν,a,t)=1. Hence Theorem 5.3 is not proved for PL fields. The theorem should be explicitly restricted to piecewise-constant/simplex-wise monotone fields, and the retraction paragraph should be repaired or removed; the Discussion already correctly lists PL interpolation as future work.
- [Theorem 5.3 and Definition 5.2] There is a domain mismatch in the statement of Theorem 5.3: SELECT is defined in Definition 5.2 only for PL functions, but φ∘f^{-1} is piecewise constant and generally discontinuous, so it is not an element of PL(R^d). In addition, f^{-1}(x) is not uniquely defined for points on shared faces of simplices, and the value of φbar can differ on a face and on a higher-dimensional coface. The theorem should define ef and eg directly from the superlevel subcomplexes, for example ef(ν,a,t)=ECCν(f(K_t),a), and describe the fields as piecewise-constant fields associated to φ rather than as SELECT of a PL function.
minor comments (4)
- [Proof of Theorem 4.1] The reference to 'Lemma 3.2' should be to Theorem 3.3, which is the inequality W_{1,∞}≤W_{1,1} used in that proof.
- [Section 5, definition of r_max] Since φ is defined on vertices, the quantity r_max should be defined as max_{σ∈K} min_{v∈σ} φ(v) (or as the maximum of the vertex values), rather than max_{σ∈K} φ(σ), to avoid a domain mismatch.
- [Section 5, text near Definition 5.2] There are several typos: 'continued' should be 'continuous', 'monoanalogous' should be 'monotone', and the definition 'ef:S^{d-1}×R×R' is missing its codomain.
- [Abstract and Section 6] After scoping Theorem 5.3, the phrases 'fields defined on embedded simplicial complexes' in the abstract and 'the use of a particular class of field-inducing functions' in the Discussion should be made precise by referring to piecewise-constant, simplex-wise monotone fields.
Circularity Check
No significant circularity: the ECT and SELECT bounds chain external published theorems and explicit constants, with no fitted inputs; the only self-citation is a non-load-bearing survey/figure source.
full rationale
Theorem 4.1 is not circular. Its proof chains Theorem 3.1 (Dlotko-Gurnari [6]), Theorem 3.2 (Skraba-Turner [19]), and Theorem 3.3 (Turner [21]) to relate the integrated L1 distance of ECCs to a Wasserstein bound depending on vertex displacement. These are external published results, and the constants C_K and C_d are explicit rather than fitted. Theorem 5.3 is derived from the paper's own Theorem 4.1 by rewriting the SELECT distance as an integral over t of ECT distances of the superlevel subcomplexes K_t; this is internal derivation, not circularity, and r_max, C_K, C_d are explicit constants with no parameter fitted to the quantity being predicted. The only author self-citation is Munch [15], used as a survey and figure source for Figures 2 and 3; it is not load-bearing mathematical support. The LECT/SELECT definitions are attributed to Kirveslahti-Mukherjee [11], which is not a self-citation of the current authors. The text's retraction argument for piecewise-linear fields ('we can retract Phi^{-1}[t,infinity) to K_t') is not shown to preserve the Euler characteristic of the halfspace-truncated intersections {<x,nu> <= a} that SELECT evaluates; however, this is a scope/correctness concern, not a self-referential reduction. The paper itself lists piecewise-linear interpolation as future work and explicitly scopes the SELECT theorem to simplex-wise monotone fields, so the honest limitation is stated rather than hidden. Accordingly, the derivation is self-contained against external benchmarks and no circular step is exhibited.
Assumptions & free parameters
assumptions (7)
- domain assumption All simplicial complexes are finite and can be assumed geometric; tame sets are replaced by their triangulations via the Triangulation Theorem (Theorem 2.2).
- domain assumption The two compared shapes are geometric embeddings f,g of the same abstract simplicial complex K with fixed vertex correspondence.
- domain assumption SELECT fields are piecewise-constant functions φ∘f^{-1} induced by a vertex function φ:V(K)→R_{>0} with superlevel sets K_t = ar φ^{-1}[t,∞) forming subcomplexes.
- standard math Dlotko-Gurnari Proposition 2: ||ECC_F(K1)-ECC_G(K2)||_1 ≤ 2 W_{1,∞}(Dgm(F),Dgm(G)).
- standard math Skraba-Turner Theorem 5.5: the integral of W_{1,1} between height-filtration persistence diagrams is bounded by C_K C_d times the sum of vertex displacements.
- standard math Turner's Theorem 3.3: W_{1,∞} ≤ W_{1,1} for persistence diagrams.
- ad hoc to paper For a piecewise-linear interpolation Φ, the superlevel set Φ^{-1}[t,∞) is homotopy equivalent to K_t and hence has the same Euler characteristic, so the piecewise-constant function can be used instead.
Cite this review
Pith. "Pith review of On the Stability of the Euler Characteristic Transform for a Perturbed Embedding." pith.science (2026). https://pith.science/paper/F3MJRZHM
@misc{pith2026250619991,
author = {Pith},
title = {Pith review of: On the Stability of the Euler Characteristic Transform for a Perturbed Embedding},
year = {2026},
howpublished = {\url{https://pith.science/paper/F3MJRZHM}},
note = {Machine review of arXiv:2506.19991}
}
read the original abstract
The Euler Characteristic Transform (ECT) is a robust method for shape classification. It takes an embedded shape and, for each direction, computes a piecewise constant function representing the Euler Characteristic of the shape's sublevel sets, which are defined by the height function in that direction. It has applications in TDA inverse problems, such as shape reconstruction, and is also employed with machine learning methodologies. In this paper, we define a distance between the ECTs of two distinct geometric embeddings of the same abstract simplicial complex and provide an upper bound for this distance. The Super Lifted Euler Characteristic Transform (SELECT), a related construction, extends the ECT to scalar fields defined on shapes. We establish a similar distance bound for SELECT, specifically when applied to fields defined on embedded simplicial complexes.
Figures
Reference graph
Works this paper leans on
-
[15]
An invitation to the Euler characteristic transform.arXiv preprint arXiv:2310.10395, 2023
Elizabeth Munch. An invitation to the Euler characteristic transform.arXiv preprint arXiv:2310.10395, 2023
arXiv 2023
-
[1]
Erik J Am´ ezquita, Michelle Y Quigley, Tim Ophelders, Jacob B Landis, Daniel Koenig, Elizabeth Munch, and Daniel H Chitwood. Measuring hidden phenotype: quantifying the shape of barley seeds using the Euler characteristic transform.in silico Plants, 4(1):diab033, 2022
work page 2022
-
[2]
Stability of persistence diagrams.Discrete & Computational Geometry, 37(1):103–120, Jan 2007
David Cohen-Steiner, Herbert Edelsbrunner, and John Harer. Stability of persistence diagrams.Discrete & Computational Geometry, 37(1):103–120, Jan 2007
work page 2007
-
[3]
Chen, Sayan Mukherjee, and Ra´ ul Rabad´ an
Lorin Crawford, Anthea Monod, Andrew X. Chen, Sayan Mukherjee, and Ra´ ul Rabad´ an. Predicting clinical outcomes in glioblastoma: An application of topological and functional data analysis.Journal of the American Statistical Association, 115(531):1139–1150, 2020. 14
work page 2020
-
[4]
Justin Curry, Sayan Mukherjee, and Katharine Turner. How many directions determine a shape and other sufficiency results for two topological transforms.Transactions of the American Mathematical Society, Series B, 9(32):1006–1043, 2022
2022
-
[5]
Cambridge University Press, 2022
Tamal Krishna Dey and Yusu Wang.Computational topology for data analysis. Cambridge University Press, 2022
2022
-
[6]
Pawe l D lotko and Davide Gurnari. Euler characteristic curves and profiles: a stable shape invariant for big data problems.GigaScience, 12:giad094, 2023
work page 2023
-
[7]
Persistent homology—a survey.Discrete & Com- putational Geometry - DCG, 453, 01 2008
Herbert Edelsbrunner and John Harer. Persistent homology—a survey.Discrete & Com- putational Geometry - DCG, 453, 01 2008
work page 2008
Show all 24 references
-
[8]
Amer- ican Mathematical Society, 2010
Herbert Edelsbrunner and John Harer.Computational Topology: An Introduction. Amer- ican Mathematical Society, 2010
2010
-
[9]
Confidence sets for persistence diagrams.The Annals of Statistics, 42(6):2301 – 2339, 2014
Brittany Terese Fasy, Fabrizio Lecci, Alessandro Rinaldo, Larry Wasserman, Sivaraman Balakrishnan, and Aarti Singh. Confidence sets for persistence diagrams.The Annals of Statistics, 42(6):2301 – 2339, 2014
2014
-
[10]
Euler characteristic tools for topological data analysis.J
Olympio Hacquard and Vadim Lebovici. Euler characteristic tools for topological data analysis.J. Mach. Learn. Res., 25(1), January 2024
2024
-
[11]
Representing fields without correspondences: the lifted Euler characteristic transform.Journal of Applied and Computational Topology, 8(1):1–34, 2024
Henry Kirveslahti and Sayan Mukherjee. Representing fields without correspondences: the lifted Euler characteristic transform.Journal of Applied and Computational Topology, 8(1):1–34, 2024
2024
-
[12]
Stability and inference of the Euler characteristic transform, 2023
Lewis Marsh and David Beers. Stability and inference of the Euler characteristic transform, 2023
2023
-
[13]
Detecting temporal shape changes with the Euler characteristic transform.Transactions of Mathematics and Its Applications, 8(2):tnae002, 07 2024
Lewis Marsh, Felix Y Zhou, Xiao Qin, Xin Lu, Helen M Byrne, and Heather A Harrington. Detecting temporal shape changes with the Euler characteristic transform.Transactions of Mathematics and Its Applications, 8(2):tnae002, 07 2024
2024
-
[14]
Filtered topology and persistence in stable homotopy, 2025
John Miller. Filtered topology and persistence in stable homotopy, 2025
2025
-
[16]
Euler characteristic transform based topological loss for reconstructing 3d images from single 2d slices
Kalyan Varma Nadimpalli, Amit Chattopadhyay, and Bastian Rieck. Euler characteristic transform based topological loss for reconstructing 3d images from single 2d slices. In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) Workshops, page...
2023
-
[17]
Euler and Betti curves are stable under wasserstein deformations of distri- butions of stochastic processes, 2022
Daniel Perez. Euler and Betti curves are stable under wasserstein deformations of distri- butions of stochastic processes, 2022
2022
-
[18]
Bootstrapping persistent Betti numbers and other stabilizing statistics.The Annals of Statistics, 51(4):1484 – 1509, 2023
Benjamin Roycraft, Johannes Krebs, and Wolfgang Polonik. Bootstrapping persistent Betti numbers and other stabilizing statistics.The Annals of Statistics, 51(4):1484 – 1509, 2023. 15
2023
-
[19]
Wasserstein stability for persistence diagrams.arXiv preprint arXiv:2006.16824, 2020
Primoz Skraba and Katharine Turner. Wasserstein stability for persistence diagrams.arXiv preprint arXiv:2006.16824, 2020
2006 arXiv
-
[20]
A topological data analytic approach for discovering biophysical signatures in protein dynamics.PLoS computational biology, 18(5):e1010045, 2022
Wai Shing Tang, Gabriel Monteiro da Silva, Henry Kirveslahti, Erin Skeens, Bibo Feng, Timothy Sudijono, Kevin K Yang, Sayan Mukherjee, Brenda Rubenstein, and Lorin Craw- ford. A topological data analytic approach for discovering biophysical signatures in protein dynamics.PLoS ...
2022
-
[21]
Medians of populations of persistence diagrams.Homology, Homotopy and Applications, 22(1):255–282, July 2020
Katharine Turner. Medians of populations of persistence diagrams.Homology, Homotopy and Applications, 22(1):255–282, July 2020
2020
-
[22]
Persistent homology transform for modeling shapes and surfaces.Information and Inference: A Journal of the IMA, 3(4):310–344, 2014
Katharine Turner, Sayan Mukherjee, and Doug M Boyer. Persistent homology transform for modeling shapes and surfaces.Information and Inference: A Journal of the IMA, 3(4):310–344, 2014
2014
-
[23]
Cambridge university press, 1998
Lou Van den Dries.Tame topology and o-minimal structures, volume 248. Cambridge university press, 1998
1998
-
[24]
A statistical pipeline for identifying physical features that differentiate classes of 3d shapes.The Annals of Applied Statistics, 15(2):638–661, 2021
Bruce Wang, Timothy Sudijono, Henry Kirveslahti, Tingran Gao, Douglas M Boyer, Sayan Mukherjee, and Lorin Crawford. A statistical pipeline for identifying physical features that differentiate classes of 3d shapes.The Annals of Applied Statistics, 15(2):638–661, 2021. 16
2021
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.