How Many Directions Determine a Shape and other Sufficiency Results for Two Topological Transforms

Curry, Justin; Mukherjee, Sayan; Turner, Katharine

doi:10.1090/btran/122

How Many Directions Determine a Shape and other Sufficiency Results for Two Topological Transforms
HTML articles powered by AMS MathViewer

by Justin Curry, Sayan Mukherjee and Katharine Turner HTML | PDF

Trans. Amer. Math. Soc. Ser. B 9 (2022), 1006-1043

Abstract:

In this paper we consider two topological transforms that are popular in applied topology: the Persistent Homology Transform and the Euler Characteristic Transform. Both of these transforms are of interest for their mathematical properties as well as their applications to science and engineering, because they provide a way of summarizing shapes in a topological, yet quantitative, way. Both transforms take a shape, viewed as a tame subset $M$ of $\mathbb { R}^d$, and associates to each direction $v\in S^{d-1}$ a shape summary obtained by scanning $M$ in the direction $v$. These shape summaries are either persistence diagrams or piecewise constant integer-valued functions called Euler curves. By using an inversion theorem of Schapira, we show that both transforms are injective on the space of shapes, i.e. each shape has a unique transform. Moreover, we prove that these transforms determine continuous maps from the sphere to the space of persistence diagrams, equipped with any Wasserstein $p$-distance, or the space of Euler curves, equipped with certain $L^p$ norms. By making use of a stratified space structure on the sphere, induced by hyperplane divisions, we prove additional uniqueness results in terms of distributions on the space of Euler curves. Finally, our main result proves that any shape in a certain uncountable space of PL embedded shapes with plausible geometric bounds can be uniquely determined using only finitely many directions.

References

Pankaj K. Agarwal, Herbert Edelsbrunner, John Harer, and Yusu Wang, Extreme elevation on a 2-manifold, Discrete Comput. Geom. 36 (2006), no. 4, 553–572. MR 2267546, DOI 10.1007/s00454-006-1265-8
N. Alon, D. Haussler, and E. Welzl, Partitioning and geometric embedding of range spaces of finite Vapnik-Chervonenkis dimension, Proceedings of Symposium on Computational Geometry, pp. 331–340, 1987.
Mladen Bestvina and Noel Brady, Morse theory and finiteness properties of groups, Invent. Math. 129 (1997), no. 3, 445–470. MR 1465330, DOI 10.1007/s002220050168
D. M. Boyer, J. Puente, J. T. Gladman, C. Glynn, S. Mukherjee, G. S. Yapuncich, and I. Daubechies, A new fully automated approach for aligning and comparing Shapes, The Ana. Rec. 258, no. 1 https://doi.org/10.1002/ar.23084, 2015.
P. Bubenik, J. Scott, and D. Stanley, “An algebraic Wasserstein distance for generalized persistence modules,” arXiv preprint https://arxiv.org/abs/1809.09654.
David Cohen-Steiner, Herbert Edelsbrunner, and John Harer, Stability of persistence diagrams, Discrete Comput. Geom. 37 (2007), no. 1, 103–120. MR 2279866, DOI 10.1007/s00454-006-1276-5
David Cohen-Steiner, Herbert Edelsbrunner, John Harer, and Yuriy Mileyko, Lipschitz functions have $L_p$-stable persistence, Found. Comput. Math. 10 (2010), no. 2, 127–139. MR 2594441, DOI 10.1007/s10208-010-9060-6
Lorin Crawford, Anthea Monod, Andrew X. Chen, Sayan Mukherjee, and Raúl Rabadán, Predicting clinical outcomes in gioblastoma: An application of topological and functional data analysis, J. Am. Stat. Assoc. 115 (2020), no. 531, 1139-1150., DOI 10.1080/01621459.2019.1671198
Justin Michael Curry, Topological data analysis and cosheaves, Jpn. J. Ind. Appl. Math. 32 (2015), no. 2, 333–371. MR 3373695, DOI 10.1007/s13160-015-0173-9
Justin Curry, Robert Ghrist, and Michael Robinson, Euler calculus with applications to signals and sensing, Advances in applied and computational topology, Proc. Sympos. Appl. Math., vol. 70, Amer. Math. Soc., Providence, RI, 2012, pp. 75–145. MR 2963602, DOI 10.1090/psapm/070/589
Justin Michael Curry, Sheaves, cosheaves and applications, ProQuest LLC, Ann Arbor, MI, 2014. Thesis (Ph.D.)–University of Pennsylvania. MR 3259939
Robert Ghrist, Rachel Levanger, and Huy Mai, Persistent homology and Euler integral transforms, J. Appl. Comput. Topol. 2 (2018), no. 1-2, 55–60. MR 3873179, DOI 10.1007/s41468-018-0017-1
Herbert Edelsbrunner and John L. Harer, Computational topology, American Mathematical Society, Providence, RI, 2010. An introduction. MR 2572029, DOI 10.1090/mbk/069
Dejan Govc, On the definition of the homological critical value, J. Homotopy Relat. Struct. 11 (2016), no. 1, 143–151. MR 3462103, DOI 10.1007/s40062-015-0101-3
Greg Friedman, Singular intersection homology, New Mathematical Monographs, vol. 33, Cambridge University Press, Cambridge, 2020. MR 4406774, DOI 10.1017/9781316584446
Ta Lê Loi, Lecture 2: Stratifications in o-minimal structures, The Japanese-Australian Workshop on Real and Complex Singularities—JARCS III, Proc. Centre Math. Appl. Austral. Nat. Univ., vol. 43, Austral. Nat. Univ., Canberra, 2010, pp. 31–39. MR 2763234
Pierre Schapira, Operations on constructible functions, J. Pure Appl. Algebra 72 (1991), no. 1, 83–93. MR 1115569, DOI 10.1016/0022-4049(91)90131-K
P. Schapira, Tomography of constructible functions, Applied algebra, algebraic algorithms and error-correcting codes (Paris, 1995) Lecture Notes in Comput. Sci., vol. 948, Springer, Berlin, 1995, pp. 427–435. MR 1448182, DOI 10.1007/3-540-60114-7_{3}3
P. Skraba and K. Turner, Wasserstein stability for persistence diagrams, Preprint arXiv:2006.16824, 2020.
Katharine Turner, Sayan Mukherjee, and Doug M. Boyer, Persistent homology transform for modeling shapes and surfaces, Inf. Inference 3 (2014), no. 4, 310–344. MR 3311455, DOI 10.1093/imaiai/iau011
Katharine Turner, Medians of populations of persistence diagrams, Homology Homotopy Appl. 22 (2020), no. 1, 255–282. MR 4042792, DOI 10.4310/hha.2020.v22.n1.a15
Lou van den Dries, Tame topology and o-minimal structures, London Mathematical Society Lecture Note Series, vol. 248, Cambridge University Press, Cambridge, 1998. MR 1633348, DOI 10.1017/CBO9780511525919
V. N. Vapnik and A. Ja. Červonenkis, The uniform convergence of frequencies of the appearance of events to their probabilities, Teor. Verojatnost. i Primenen. 16 (1971), 264–279 (Russian, with English summary). MR 0288823
Roman Vershynin, Introduction to the non-asymptotic analysis of random matrices, Compressed sensing, Cambridge Univ. Press, Cambridge, 2012, pp. 210–268. MR 2963170
S. T. Wai, G. M. da Silva, H. Kirveslahti, E. Skeens, B. Feng, T. Sudijono, K. K. Yang, S. Mukherjee, B. Rubenstein, and L. Crawford, A topological data analytic approach for discovering biophysical signatures in protein dynamics, Preprint arXiv:2021.07.28.454240, 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, Ann. Appl. Stat. 15 (2021), no. 2, 638–661. MR 4298966, DOI 10.1214/20-aoas1430
Hassler Whitney, Local properties of analytic varieties, Differential and Combinatorial Topology (A Symposium in Honor of Marston Morse), Princeton Univ. Press, Princeton, N.J., 1965, pp. 205–244. MR 0188486
A. J. Wilkie, Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function, J. Amer. Math. Soc. 9 (1996), no. 4, 1051–1094. MR 1398816, DOI 10.1090/S0894-0347-96-00216-0