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.
%0 Journal Article
%1 Arya2024-jx
%A Arya, Shreya
%A Curry, Justin
%A Mukherjee, Sayan
%D 2024
%I Springer Science and Business Media LLC
%J Found. Comut. Math.
%K sheaf-theoretic; construction; shape from:scadsfct space
%T A sheaf-theoretic construction of shape space
%X 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.
@article{Arya2024-jx,
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.},
added-at = {2024-11-12T13:03:52.000+0100},
author = {Arya, Shreya and Curry, Justin and Mukherjee, Sayan},
biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/23d348cd158ccf7838de6e3b91c6fcf3e/scads.ai},
copyright = {https://creativecommons.org/licenses/by/4.0},
interhash = {924ec7696a2b9aab6c6683924551e379},
intrahash = {3d348cd158ccf7838de6e3b91c6fcf3e},
journal = {Found. Comut. Math.},
keywords = {sheaf-theoretic; construction; shape from:scadsfct space},
language = {en},
month = may,
publisher = {Springer Science and Business Media LLC},
timestamp = {2024-11-12T13:03:52.000+0100},
title = {A sheaf-theoretic construction of shape space},
year = 2024
}