Author:
Arya Shreya,Curry Justin,Mukherjee Sayan
Abstract
AbstractWe present a sheaf-theoretic construction of shape space—the space of all shapes. We do this by describing a homotopy sheaf on the poset category of constructible sets, where each set is mapped to its Persistent Homology Transforms (PHT). Recent results that build on fundamental work of Schapira have shown that this transform is injective, thus making the PHT a good summary object for each shape. Our homotopy sheaf result allows us to “glue” PHTs of different shapes together to build up the PHT of a larger shape. In the case where our shape is a polyhedron we prove a generalized nerve lemma for the PHT. Finally, by re-examining the sampling result of Smale-Niyogi-Weinberger, we show that we can reliably approximate the PHT of a manifold by a polyhedron up to arbitrary precision.
Funder
Max Planck Institute for Mathematics in the Sciences
Publisher
Springer Science and Business Media LLC
Reference81 articles.
1. S. Alesker. Introduction to the Theory of Valuations, volume 126. American Mathematical Soc., 2018.
2. J. Alexander. On the chains of a complex and their duals. Proceedings of the National Academy of Sciences, 21(8):509–511, 1935.
3. E. J. Amézquita, M. Y. Quigley, T. Ophelders, J. B. Landis, D. Koenig, E. Munch, and D. H. Chitwood. Measuring hidden phenotype: Quantifying the shape of barley seeds using the Euler Characteristic Transform. in silico Plants, 4(1):diab033, 2022.
4. S. Arguillere, E. Trélat, A. Trouvé, and L. Younes. Shape deformation analysis from the optimal control viewpoint. Journal de mathématiques pures et appliquées, 104(1):139–178, 2015.
5. M. Artin. Grothendieck topologies. Harvard Math. Dept. Lecture Notes, 1962.