Persistent homology and geometry : doctoral thesis

Lemež, Boštjan (author), Virk, Žiga (mentor), Repovš, Dušan (comentor)

In this thesis we introduce a novel simplicial complex assigned to a decreasing sequence of scales, called the selective Rips complex. It is a generalization of the Vietoris-Rips complex, where a sequence of scales is used instead of a single scale. A simpler version of the selective Rips complexes was previously designed to detect more geometric features than their Rips counterparts. We study the properties of selective Rips complexes and generalize the theory of Vietoris-Rips complexes. We prove the Stability Theorem for selective Rips complexes. The main contributions of this dissertation are various reconstruction results up to the homotopy type using selective Rips complexes. First, we prove that the selective Rips complex of a closed Riemannian manifold \(X\) is homotopy equivalent to \(X\) for appropriately small scales. When restricted to Vietoris-Rips complexes, we provide a novel proof of the Hausmann's reconstruction result. Next, we present finite reconstruction results with selective Rips complexes and intrinsic Čech complexes. We prove that if a metric space \(S\) is close enough to a closed Riemannian manifold \(X\) in the Gromov-Hausdorff distance, the selective Rips complex (and also the intrinsic Čech complex) of \(S\) is homotopy equivalent to \(X\) for appropriately small scales. As a special case, we provide a novel proof of the Latschev's reconstruction result. Finally, we classify the one-dimensional persistence of geodesic spaces arising from selective Rips complexes. We prove that 1-dimensional persistence of Rips and selective Rips complexes are isomorphic up to reparametrization.

• Language: English
• Keywords: computational topology, homotopy reconstruction, Vietoris-Rips complex, selective Rips complex, Riemannian manifold, nerve theorem, geodesic space
• Work type: Doctoral dissertation
• Typology: 2.08 - Doctoral Dissertation
• Organization: FMF - Faculty of Mathematics and Physics
• Year: 2022
• PID: 20.500.12556/RUL-142912
• UDC: 515.1
• COBISS.SI-ID: 132132355
• Publication date in RUL: 02.12.2022

Secondary language

• Language: Slovenian
• Title: Vztrajna homologija in geometrija

Abstract

V tej disertaciji vpeljemo nov simplicialni kompleks imenovan selektivni Ripsov kompleks. Ta kompleks je posplošitev Vietoris-Ripsovega kompleksa, kjer uporabimo zaporedje radijev namesto enega radija. Prvotna verzija selektivnega Ripsovega kompleksa je bila vpeljana z namenom, da zazna več geometrijskih lastnosti kot pripadajoči Ripsov kompleks. S proučevanjem lastnosti selektivnega Ripsovega kompleksa posplošimo že znano teorijo Vietoris-Ripsovih kompleksov. Dokažemo pripadajoč izrek o stabilnosti za selektivne Ripsove komplekse. Najpomembnejši doprinos te disertacije so različni rekonstrukcijski rezultati do homotopskega tipa z uporabo selektivnega Ripsovega kompleksa. Najprej pokažemo, da je selektivni Ripsov kompleks sklenjene Riemannove mnogoterosti \(X\) homotopsko ekvivalenten prostoru \(X\) za primerno majhne parametre. Ker je Vietoris-Ripsov kompleks poseben primer selektivnega Ripsovega kompleksa, s tem podamo nov dokaz Hausmannovega rekonstrukcijskega rezultata. Nadalje pokažemo končna rekonstrukcijska rezultata z uporabo selektivnega Ripsovega kompleksa in intrinzičnega Čechovega kompleksa: če je metričen prostor \(S\) dovolj blizu sklenjeni Riemannovi mnogoterosti \(X\) glede na Gromov-Hausdorffovo razdaljo, tedaj je selektivni Ripsov kompleks (oz. intrinzičen Čechov kompleks) na \(S\) homotopsko ekvivalenten celotnemu prostoru \(X\). Kot poseben primer s tem podamo nov dokaz Latschevega rekonstrukcijskega rezultata. Nazadnje klasificiramo eno-dimenzionalno vztrajnost geodetskih prostorov porojeno s selektivnimi Ripsovimi kompleksi. Pokažemo, da sta 1-dimenzionalni vztrajnosti Vietoris-Ripsovih in selektivnih Ripsovih kompleksov do reparametirizacije izomorfni.

• Keywords: računska topologija, homotopska rekonstukcija, Vietoris-Ripsov kompleks, selektivni Ripsov kompleks, Riemannova mnogoterost, izrek o živcu, geodetski prostor