Homological reconstruction and simplification in R3

We consider the problem of deciding whether the persistent homology group of a simplicial pair (K,L) can be realized as the homology of some complex H*(X) with L ⊂ X ⊂ K. We show that this problem is NP-complete even if K is embedded in R3. As a consequence, we show that it is NP-hard to simplify level and sublevel sets of scalar functions on S3 within a given tolerance constraint. This problem has relevance to the visualization of medical images by isosurfaces. We also show an implication to the theory of well groups of scalar functions: not every well group can be realized by some level set, and deciding whether a well group can be realized is NP-hard.

[1]  André Lieutier,et al.  Vietoris-rips complexes also provide topologically correct reconstructions of sampled shapes , 2011, SoCG '11.

[2]  Stephen Smale,et al.  Finding the Homology of Submanifolds with High Confidence from Random Samples , 2008, Discret. Comput. Geom..

[3]  Gunnar E. Carlsson,et al.  Topological estimation using witness complexes , 2004, PBG.

[4]  Herbert Edelsbrunner,et al.  Alexander duality for functions: the persistent behavior of land and water and shore , 2011, SoCG '12.

[5]  H. Edelsbrunner.  Alpha Shapes — a Survey , 2009 .

[6]  André Lieutier,et al.  Optimal Reconstruction Might be Hard , 2010, SCG.

[7]  Wolfgang Kühnel,et al.  TRIANGULATIONS OF MANIFOLDS WITH FEW VERTICES , 1990 .

[8]  Herbert Edelsbrunner,et al.  Topological Persistence and Simplification , 2000, Proceedings 41st Annual Symposium on Foundations of Computer Science.

[9]  Ulrich Bauer,et al.  Optimal Topological Simplification of Discrete Functions on Surfaces , 2012, Discret. Comput. Geom..

[10]  Herbert Edelsbrunner,et al.  Quantifying Transversality by Measuring the Robustness of Intersections , 2009, Found. Comput. Math..

[11]  David Cohen-Steiner,et al.  Extending Persistence Using Poincaré and Lefschetz Duality , 2009, Found. Comput. Math..

[12]  David Cohen-Steiner,et al.  Extending Persistence Using Poincaré and Lefschetz Duality , 2009, Found. Comput. Math..

[13]  David Cohen-Steiner,et al.  Stability of Persistence Diagrams , 2005, Discret. Comput. Geom..

[14]  R. Ho.  Algebraic Topology , 2022 .

[15]  David Cohen-Steiner,et al.  Vines and vineyards by updating persistence in linear time , 2006, SCG '06.

[16]  Frédéric Chazal,et al.  Stability and Computation of Topological Invariants of Solids in ${\Bbb R}^n$ , 2007, Discret. Comput. Geom..

[17]  Frédéric Chazal,et al.  Smooth manifold reconstruction from noisy and non-uniform approximation with guarantees , 2008, Comput. Geom..

[18]  Primoz Skraba,et al.  Zigzag persistent homology in matrix multiplication time , 2011, SoCG '11.

[19]  Herbert Edelsbrunner,et al.  Homology and Robustness of Level and Interlevel Sets , 2011, ArXiv.

[20]  Frédéric Chazal,et al.  A Sampling Theory for Compact Sets in Euclidean Space , 2006, SCG '06.

[21]  Peter Bubenik,et al.  Categorification of Persistent Homology , 2012, Discret. Comput. Geom..

[22]  H. Edelsbrunner,et al.  Homological illusions of persistence and stability , 2008 .