Object-oriented persistent homology

Persistent homology provides a new approach for the topological simplification of big data via measuring the life time of intrinsic topological features in a filtration process and has found its success in scientific and engineering applications. However, such a success is essentially limited to qualitative data classification and analysis. Indeed, persistent homology has rarely been employed for quantitative modeling and prediction. Additionally, the present persistent homology is a passive tool, rather than a proactive technique, for classification and analysis. In this work, we outline a general protocol to construct object-oriented persistent homology methods. By means of differential geometry theory of surfaces, we construct an objective functional, namely, a surface free energy defined on the data of interest. The minimization of the objective functional leads to a Laplace-Beltrami operator which generates a multiscale representation of the initial data and offers an objective oriented filtration process. The resulting differential geometry based object-oriented persistent homology is able to preserve desirable geometric features in the evolutionary filtration and enhances the corresponding topological persistence. The cubical complex based homology algorithm is employed in the present work to be compatible with the Cartesian representation of the Laplace-Beltrami flow. The proposed Laplace-Beltrami flow based persistent homology method is extensively validated. The consistence between Laplace-Beltrami flow based filtration and Euclidean distance based filtration is confirmed on the Vietoris-Rips complex for a large amount of numerical tests. The convergence and reliability of the present Laplace-Beltrami flow based cubical complex filtration approach are analyzed over various spatial and temporal mesh sizes. The Laplace-Beltrami flow based persistent homology approach is utilized to study the intrinsic topology of proteins and fullerene molecules. Based on a quantitative model which correlates the topological persistence of fullerene central cavity with the total curvature energy of the fullerene structure, the proposed method is used for the prediction of fullerene isomer stability. The efficiency and robustness of the present method are verified by more than 500 fullerene molecules. It is shown that the proposed persistent homology based quantitative model offers good predictions of total curvature energies for ten types of fullerene isomers. The present work offers the first example to design object-oriented persistent homology to enhance or preserve desirable features in the original data during the filtration process and then automatically detect or extract the corresponding topological traits from the data.

[1]  Vijay S. Pande,et al.  Persistent Topology and Metastable State in Conformational Dynamics , 2013, PloS one.

[2]  Shulin Zhou,et al.  Existence and uniqueness of weak solutions for a fourth-order nonlinear parabolic equation , 2007 .

[3]  Vin de Silva,et al.  On the Local Behavior of Spaces of Natural Images , 2007, International Journal of Computer Vision.

[4]  Herbert Edelsbrunner,et al.  Computing Robustness and Persistence for Images , 2010, IEEE Transactions on Visualization and Computer Graphics.

[5]  Shan Zhao,et al.  Pseudo‐time‐coupled nonlinear models for biomolecular surface representation and solvation analysis , 2011 .

[6]  Yiying Tong,et al.  Multiscale geometric modeling of macromolecules I: Cartesian representation , 2014, J. Comput. Phys..

[7]  M. Gameiro,et al.  Topological Measurement of Protein Compressibility via Persistence Diagrams , 2012 .

[8]  Sunita Yadav,et al.  Thiamine Pyrophosphate Riboswitch in Some Representative Plant Species: A Bioinformatics Study , 2015, J. Comput. Biol..

[9]  David Cohen-Steiner,et al.  Computing geometry-aware handle and tunnel loops in 3D models , 2008, ACM Trans. Graph..

[10]  Yiying Tong,et al.  Multiscale geometric modeling of macromolecules II: Lagrangian representation , 2013, J. Comput. Chem..

[11]  Herbert Edelsbrunner,et al.  Topological persistence and simplification , 2000, Proceedings 41st Annual Symposium on Foundations of Computer Science.

[12]  Guo-Wei Wei,et al.  Poisson-Boltzmann-Nernst-Planck model. , 2011, The Journal of chemical physics.

[13]  Peter Smereka,et al.  Semi-Implicit Level Set Methods for Curvature and Surface Diffusion Motion , 2003, J. Sci. Comput..

[14]  Chao Chen,et al.  Efficient Computation of Persistent Homology for Cubical Data , 2012 .

[15]  D. Mumford,et al.  Optimal approximations by piecewise smooth functions and associated variational problems , 1989 .

[16]  Afra Zomorodian,et al.  Computing Persistent Homology , 2004, SCG '04.

[17]  Gunnar E. Carlsson,et al.  Topology and data , 2009 .

[18]  Guo-Wei Wei,et al.  Quantum dynamics in continuum for proton transport--generalized correlation. , 2012, The Journal of chemical physics.

[19]  Guo-Wei Wei,et al.  Mode Decomposition Evolution Equations , 2012, J. Sci. Comput..

[20]  Zhen Zhu,et al.  Local curvature and stability of two-dimensional systems , 2014 .

[21]  Guo-Wei Wei,et al.  Variational Multiscale Models for Charge Transport , 2012, SIAM Rev..

[22]  I. Holopainen.  Riemannian Geometry , 1927, Nature.

[23]  Afra Zomorodian,et al.  Localized Homology , 2007, IEEE International Conference on Shape Modeling and Applications 2007 (SMI '07).

[24]  J. Sethian.  Evolution, implementation, and application of level set and fast marching methods for advancing fronts , 2001 .

[25]  Guo-Wei Wei,et al.  Quantum dynamics in continuum for proton transport II: Variational solvent–solute interface , 2012, International journal for numerical methods in biomedical engineering.

[26]  P. Dlotko,et al.  The Efficiency of a Homology Algorithm based on Discrete Morse Theory and Coreductions , 2010 .

[27]  Kelin Xia,et al.  Fast and anisotropic flexibility-rigidity index for protein flexibility and fluctuation analysis. , 2014, The Journal of chemical physics.

[28]  Guo-Wei Wei,et al.  Selective Extraction of Entangled Textures via Adaptive PDE Transform , 2012, Int. J. Biomed. Imaging.

[29]  A. Bertozzi,et al.  $H^1$ Solutions of a class of fourth order nonlinear equations for image processing , 2003 .

[30]  Konstantin Mischaikow,et al.  Morse Theory for Filtrations and Efficient Computation of Persistent Homology , 2013, Discret. Comput. Geom..

[31]  Danijela Horak,et al.  Persistent homology of complex networks , 2008, 0811.2203.

[32]  Guo-Wei Wei,et al.  A molecular level prototype for mechanoelectrical transducer in mammalian hair cells , 2013, Journal of Computational Neuroscience.

[33]  Shan Zhao,et al.  Variational approach for nonpolar solvation analysis. , 2012, The Journal of chemical physics.

[34]  L. Rudin,et al.  Nonlinear total variation based noise removal algorithms , 1992 .

[35]  Shan Zhao,et al.  The minimal molecular surface , 2006, q-bio/0610038.

[36]  Shan Zhao,et al.  Geometric and potential driving formation and evolution of biomolecular surfaces , 2009, Journal of mathematical biology.

[37]  Zhengmeng Jin,et al.  Strong solutions for the generalized Perona–Malik equation for image restoration , 2010 .

[38]  Konstantin Mischaikow,et al.  Discrete Morse Theoretic Algorithms for Computing Homology of Complexes and Maps , 2014, Found. Comput. Math..

[39]  M. Gameiro,et al.  A topological measurement of protein compressibility , 2014, Japan Journal of Industrial and Applied Mathematics.

[40]  Abubakr Muhammad,et al.  Blind Swarms for Coverage in 2-D , 2005, Robotics: Science and Systems.

[41]  Andreas Prohl,et al.  Analysis of a fully discrete finite element method for the phase field model and approximation of its sharp interface limits , 2003, Math. Comput..

[42]  Zhan Chen,et al.  Differential geometry based solvation model II: Lagrangian formulation , 2011, Journal of mathematical biology.

[43]  Moo K. Chung,et al.  Topology-Based Kernels With Application to Inference Problems in Alzheimer's Disease , 2011, IEEE Transactions on Medical Imaging.

[44]  Yuri Dabaghian,et al.  A Topological Paradigm for Hippocampal Spatial Map Formation Using Persistent Homology , 2012, PLoS Comput. Biol..

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

[46]  Guo-Wei Wei,et al.  Multiresolution Topological Simplification , 2015, J. Comput. Biol..

[47]  Guo-Wei Wei,et al.  Differential geometry based solvation model. III. Quantum formulation. , 2011, The Journal of chemical physics.

[48]  Qiong Zheng,et al.  Biomolecular surface construction by PDE transform , 2012, International journal for numerical methods in biomedical engineering.

[49]  Guillermo Sapiro,et al.  Geodesic Active Contours , 1995, International Journal of Computer Vision.

[50]  Tony F. Chan,et al.  Color TV: total variation methods for restoration of vector-valued images , 1998, IEEE Trans. Image Process..

[51]  Guo-Wei Wei,et al.  Synchronization-based image edge detection , 2002 .

[52]  Patrizio Frosini,et al.  Size theory as a topological tool for computer vision , 1999 .

[53]  Lagrangian Representation.  Multiscale Geometric Modeling of Macromolecules II , 2013 .

[54]  S. Osher,et al.  Level set methods: an overview and some recent results , 2001 .

[55]  Mikael Vejdemo-Johansson,et al.  javaPlex: A Research Software Package for Persistent (Co)Homology , 2014, ICMS.

[56]  Joshua D. Reiss,et al.  Construction of symbolic dynamics from experimental time series , 1999 .

[57]  Kelin Xia,et al.  Persistent homology analysis of protein structure, flexibility, and folding , 2014, International journal for numerical methods in biomedical engineering.

[58]  Guo-Wei Wei,et al.  Partial differential equation transform—Variational formulation and Fourier analysis , 2011, International journal for numerical methods in biomedical engineering.

[59]  Shan Zhao,et al.  Operator splitting ADI schemes for pseudo-time coupled nonlinear solvation simulations , 2014, J. Comput. Phys..

[60]  Qiong Zheng,et al.  Second-order Poisson-Nernst-Planck solver for ion transport , 2011, J. Comput. Phys..

[61]  Herbert Edelsbrunner,et al.  Computational Topology - an Introduction , 2009 .

[62]  Hubert Mara,et al.  Multivariate Data Analysis Using Persistence-Based Filtering and Topological Signatures , 2012, IEEE Transactions on Visualization and Computer Graphics.

[63]  Alexander Tropsha,et al.  A topological characterization of protein structure , 2007 .

[64]  坂上 貴之.  書評 Computational Homology , 2005 .

[65]  Ron Kimmel,et al.  A general framework for low level vision , 1998, IEEE Trans. Image Process..

[66]  J. Sethian,et al.  Subjective surfaces: a geometric model for boundary completion , 2000 .

[67]  Peter Bubenik,et al.  A statistical approach to persistent homology , 2006, math/0607634.

[68]  G. Wei,et al.  Molecular multiresolution surfaces , 2005, math-ph/0511001.

[69]  Daniel Strömbom.  Persistent Homology in the Cubical Setting , 2007 .

[70]  Zeyun Yu,et al.  Computational Approaches for Automatic Structural Analysis of Large Biomolecular Complexes , 2008, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

[71]  Shan Zhao,et al.  Minimal molecular surfaces and their applications , 2008, J. Comput. Chem..

[72]  K. Mikula,et al.  A direct method for solving an anisotropic mean curvature flow of plane curves with an external force , 2004 .

[73]  Bung-Nyun Kim,et al.  Persistent Brain Network Homology From the Perspective of Dendrogram , 2012, IEEE Transactions on Medical Imaging.

[74]  Afra Zomorodian,et al.  Computing Persistent Homology , 2005, Discret. Comput. Geom..

[75]  Guo-Wei Wei,et al.  Multiscale Multiphysics and Multidomain Models I: Basic Theory. , 2013, Journal of theoretical & computational chemistry.

[76]  Nathan A. Baker,et al.  Differential geometry based solvation model I: Eulerian formulation , 2010, J. Comput. Phys..

[77]  J. Sethian,et al.  Fronts propagating with curvature-dependent speed: algorithms based on Hamilton-Jacobi formulations , 1988 .

[78]  Guo-Wei Wei,et al.  Multidimensional persistence in biomolecular data , 2014, J. Comput. Chem..

[79]  Yuying Li,et al.  A computational algorithm for minimizing total variation in image restoration , 1996, IEEE Trans. Image Process..

[80]  Tamal K. Dey,et al.  Reeb Graphs: Approximation and Persistence , 2011, SoCG '11.

[81]  L. Guibas,et al.  Topological methods for exploring low-density states in biomolecular folding pathways. , 2008, The Journal of chemical physics.

[82]  G. Wei.  Differential Geometry Based Multiscale Models , 2010, Bulletin of mathematical biology.

[83]  Valerio Pascucci,et al.  Branching and Circular Features in High Dimensional Data , 2011, IEEE Transactions on Visualization and Computer Graphics.

[84]  Patrizio Frosini,et al.  Persistent Betti numbers for a noise tolerant shape-based approach to image retrieval , 2011, Pattern Recognit. Lett..

[85]  R. Ghrist.  Barcodes: The persistent topology of data , 2007 .

[86]  Stephen Smale,et al.  A Topological View of Unsupervised Learning from Noisy Data , 2011, SIAM J. Comput..

[87]  Olivier D. Faugeras,et al.  Using the Vector Distance Functions to Evolve Manifolds of Arbitrary Codimension , 2001, Scale-Space.

[88]  Leonidas J. Guibas,et al.  BIOINFORMATICS ORIGINAL PAPER doi:10.1093/bioinformatics/btm250 Structural bioinformatics Persistent voids: a new structural metric for membrane fusion , 2022 .

[89]  G. W. Wei,et al.  Generalized Perona-Malik equation for image restoration , 1999, IEEE Signal Processing Letters.

[90]  Yiying Tong,et al.  Persistent homology for the quantitative prediction of fullerene stability , 2014, J. Comput. Chem..

[91]  Chandrajit L. Bajaj,et al.  Quality meshing of implicit solvation models of biomolecular structures , 2006, Comput. Aided Geom. Des..

[92]  Thomas C. Cecil,et al.  A numerical method for computing minimal surfaces in arbitrary dimension , 2005 .

[93]  John B. Greer,et al.  Traveling Wave Solutions of Fourth Order PDEs for Image Processing , 2004, SIAM J. Math. Anal..

[94]  D. Chopp.  Computing Minimal Surfaces via Level Set Curvature Flow , 1993 .

[95]  Kelin Xia,et al.  Persistent topology for cryo‐EM data analysis , 2014, International journal for numerical methods in biomedical engineering.

[96]  Claudia Landi,et al.  A Mayer–Vietoris Formula for Persistent Homology with an Application to Shape Recognition in the Presence of Occlusions , 2011, Found. Comput. Math..

[97]  X. Liu,et al.  A fast algorithm for constructing topological structure in large data , 2012 .

[98]  D. Ringach,et al.  Topological analysis of population activity in visual cortex. , 2008, Journal of vision.

[99]  Guillermo Sapiro,et al.  Anisotropic diffusion of multivalued images with applications to color filtering , 1996, IEEE Trans. Image Process..

[100]  L. Rudin,et al.  Feature-oriented image enhancement using shock filters , 1990 .

[101]  Li-Tien Cheng,et al.  Application of the level-set method to the implicit solvation of nonpolar molecules. , 2007, The Journal of chemical physics.