Shreya Arya, Barbara Giunti, Abigail Hickok, Lida Kanari, Sarah McGuire, Katharine Turner
In this paper, we study the geometric decomposition of the degree-$0$ Persistent Homology Transform (PHT) as viewed as a persistence diagram bundle. We focus on star-shaped objects as they can be segmented into smaller, simpler regions known as ``sectors''. Algebraically, we demonstrate that the degree-$0$ persistence diagram of a star-shaped object in $mathbb{R}^2$ can be derived from the degree-$0$ persistence diagrams of its sectors. Using this, we then establish sufficient conditions for star-shaped objects in $mathbb{R}^2$ so that they have ``trivial geometric monodromy''. Consequently, the PHT of such a shape can be decomposed as a union of curves parameterized by $S^1$, where the curves are given by the continuous movement of each point in the persistence diagrams that are parameterized by $S^{1}$. Finally, we discuss the current challenges of generalizing these results to higher dimensions.
{"title":"Decomposing the Persistent Homology Transform of Star-Shaped Objects","authors":"Shreya Arya, Barbara Giunti, Abigail Hickok, Lida Kanari, Sarah McGuire, Katharine Turner","doi":"arxiv-2408.14995","DOIUrl":"https://doi.org/arxiv-2408.14995","url":null,"abstract":"In this paper, we study the geometric decomposition of the degree-$0$\u0000Persistent Homology Transform (PHT) as viewed as a persistence diagram bundle.\u0000We focus on star-shaped objects as they can be segmented into smaller, simpler\u0000regions known as ``sectors''. Algebraically, we demonstrate that the degree-$0$\u0000persistence diagram of a star-shaped object in $mathbb{R}^2$ can be derived\u0000from the degree-$0$ persistence diagrams of its sectors. Using this, we then\u0000establish sufficient conditions for star-shaped objects in $mathbb{R}^2$ so\u0000that they have ``trivial geometric monodromy''. Consequently, the PHT of such a\u0000shape can be decomposed as a union of curves parameterized by $S^1$, where the\u0000curves are given by the continuous movement of each point in the persistence\u0000diagrams that are parameterized by $S^{1}$. Finally, we discuss the current\u0000challenges of generalizing these results to higher dimensions.","PeriodicalId":501119,"journal":{"name":"arXiv - MATH - Algebraic Topology","volume":"26 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142195576","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The Gromov--Hausdorff distance measures the similarity between two metric spaces by isometrically embedding them into an ambient metric space. In this work, we introduce an analogue of this distance for metric spaces endowed with directed structures. The directed Gromov--Hausdorff distance measures the distance between two new (extended) metric spaces, where the new metric, on the same underlying space, is induced from the length of the zigzag paths. This distance is then computed by isometrically embedding the directed spaces, endowed with the zigzag metric, into an ambient directed space with respect to such zigzag distance. Analogously to the standard Gromov--Hausdorff distance, we propose alternative definitions based on the distortion of d-maps and d-correspondences. Unlike the classical case, these directed distances are not equivalent.
格罗莫夫--豪斯多夫距离通过将两个度量空间等距嵌入一个环境度量空间来度量它们之间的相似性。在本研究中,我们为有向结构的度量空间引入了类似的距离。有向格罗莫夫--豪斯多夫距离测量两个新(扩展)度量空间之间的距离,其中相同底层空间上的新度量是由之字形路径的长度诱导出来的。然后,通过将赋予人字形度量的有向空间等距嵌入到环境有向空间中,就可以计算出这种人字形距离。与标准的格罗莫夫--豪斯多夫距离类似,我们提出了基于 d 映射和 d 对应关系变形的替代定义。与经典的情况不同,这些有向距离是等价的。
{"title":"Gromov--Hausdorff Distance for Directed Spaces","authors":"Lisbeth Fajstrup, Brittany Terese Fasy, Wenwen Li, Lydia Mezrag, Tatum Rask, Francesca Tombari, Živa Urbančič","doi":"arxiv-2408.14394","DOIUrl":"https://doi.org/arxiv-2408.14394","url":null,"abstract":"The Gromov--Hausdorff distance measures the similarity between two metric\u0000spaces by isometrically embedding them into an ambient metric space. In this\u0000work, we introduce an analogue of this distance for metric spaces endowed with\u0000directed structures. The directed Gromov--Hausdorff distance measures the\u0000distance between two new (extended) metric spaces, where the new metric, on the\u0000same underlying space, is induced from the length of the zigzag paths. This\u0000distance is then computed by isometrically embedding the directed spaces,\u0000endowed with the zigzag metric, into an ambient directed space with respect to\u0000such zigzag distance. Analogously to the standard Gromov--Hausdorff distance,\u0000we propose alternative definitions based on the distortion of d-maps and\u0000d-correspondences. Unlike the classical case, these directed distances are not\u0000equivalent.","PeriodicalId":501119,"journal":{"name":"arXiv - MATH - Algebraic Topology","volume":"65 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142195605","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Asao-Ivanov showed that magnitude homology is a Tor functor, hence we can compute it by giving a projective resolution of a certain module. In this article, we compute magnitude homology by constructing a minimal projective resolution. As a consequence, we determine magnitude homology of geodetic metric spaces. We show that it is a free $mathbb Z$-module, and give a recursive algorithm for constructing all cycles. As a corollary, we show that a finite geodetic metric space is diagonal if and only if it contains no 4-cuts. Moreover, we give explicit computations for cycle graphs, Petersen graph, Hoffman-Singleton graph, and a missing Moore graph. It includes another approach to the computation for cycle graphs, which has been studied by Hepworth--Willerton and Gu.
阿绍-伊万诺夫(Asao-Ivanov)证明了幅同调是一个 Tor 函数,因此我们可以通过给出某个模块的投影解析来计算幅同调。在本文中,我们通过构造最小投影解析来计算幅同调。因此,我们确定了大地测量空间的幅同调。我们证明了它是一个自由的 $mathbb Z$ 模块,并给出了构造所有循环的递归算法。此外,我们还给出了循环图、彼得森图、霍夫曼-辛格尔顿图和缺失摩尔图的显式计算。此外,我们还给出了循环图、彼得森图、霍夫曼-辛格尔顿图和缺失摩尔图的明确计算方法。
{"title":"Minimal projective resolution and magnitude homology of geodetic metric spaces","authors":"Yasuhiko Asao, Shun Wakatsuki","doi":"arxiv-2408.12147","DOIUrl":"https://doi.org/arxiv-2408.12147","url":null,"abstract":"Asao-Ivanov showed that magnitude homology is a Tor functor, hence we can\u0000compute it by giving a projective resolution of a certain module. In this\u0000article, we compute magnitude homology by constructing a minimal projective\u0000resolution. As a consequence, we determine magnitude homology of geodetic\u0000metric spaces. We show that it is a free $mathbb Z$-module, and give a\u0000recursive algorithm for constructing all cycles. As a corollary, we show that a\u0000finite geodetic metric space is diagonal if and only if it contains no 4-cuts.\u0000Moreover, we give explicit computations for cycle graphs, Petersen graph,\u0000Hoffman-Singleton graph, and a missing Moore graph. It includes another\u0000approach to the computation for cycle graphs, which has been studied by\u0000Hepworth--Willerton and Gu.","PeriodicalId":501119,"journal":{"name":"arXiv - MATH - Algebraic Topology","volume":"87 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142195577","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Mirjam Cvetič, Ron Donagi, Jonathan J. Heckman, Max Hübner, Ethan Torres
The symmetry data of a $d$-dimensional quantum field theory (QFT) can often be captured in terms of a higher-dimensional symmetry topological field theory (SymTFT). In top down (i.e., stringy) realizations of this structure, the QFT in question is localized in a higher-dimensional bulk. In many cases of interest, however, the associated $(d+1)$-dimensional bulk is not fully gapped and one must instead consider a filtration of theories to reach a gapped bulk in $D = d+m$ dimensions. Overall, this leads us to a nested structure of relative symmetry theories which descend to coupled edge modes, with the original QFT degrees of freedom localized at a corner of this $D$-dimensional bulk system. We present a bottom up characterization of this structure and also show how it naturally arises in a number of string-based constructions of QFTs with both finite and continuous symmetries.
{"title":"Cornering Relative Symmetry Theories","authors":"Mirjam Cvetič, Ron Donagi, Jonathan J. Heckman, Max Hübner, Ethan Torres","doi":"arxiv-2408.12600","DOIUrl":"https://doi.org/arxiv-2408.12600","url":null,"abstract":"The symmetry data of a $d$-dimensional quantum field theory (QFT) can often\u0000be captured in terms of a higher-dimensional symmetry topological field theory\u0000(SymTFT). In top down (i.e., stringy) realizations of this structure, the QFT\u0000in question is localized in a higher-dimensional bulk. In many cases of\u0000interest, however, the associated $(d+1)$-dimensional bulk is not fully gapped\u0000and one must instead consider a filtration of theories to reach a gapped bulk\u0000in $D = d+m$ dimensions. Overall, this leads us to a nested structure of\u0000relative symmetry theories which descend to coupled edge modes, with the\u0000original QFT degrees of freedom localized at a corner of this $D$-dimensional\u0000bulk system. We present a bottom up characterization of this structure and also\u0000show how it naturally arises in a number of string-based constructions of QFTs\u0000with both finite and continuous symmetries.","PeriodicalId":501119,"journal":{"name":"arXiv - MATH - Algebraic Topology","volume":"41 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142195579","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Persistent homology is one of the most popular methods in Topological Data Analysis. An initial step in any analysis with persistent homology involves constructing a nested sequence of simplicial complexes, called a filtration, from a point cloud. There is an abundance of different complexes to choose from, with Rips, Alpha, and witness complexes being popular choices. In this manuscript, we build a different type of a geometrically-informed simplicial complex, called an ellipsoid complex. This complex is based on the idea that ellipsoids aligned with tangent directions better approximate the data compared to conventional (Euclidean) balls centered at sample points that are used in the construction of Rips and Alpha complexes, for instance. We use Principal Component Analysis to estimate tangent spaces directly from samples and present algorithms as well as an implementation for computing ellipsoid barcodes, i.e., topological descriptors based on ellipsoid complexes. Furthermore, we conduct extensive experiments and compare ellipsoid barcodes with standard Rips barcodes. Our findings indicate that ellipsoid complexes are particularly effective for estimating homology of manifolds and spaces with bottlenecks from samples. In particular, the persistence intervals corresponding to a ground-truth topological feature are longer compared to the intervals obtained when using the Rips complex of the data. Furthermore, ellipsoid barcodes lead to better classification results in sparsely-sampled point clouds. Finally, we demonstrate that ellipsoid barcodes outperform Rips barcodes in classification tasks.
{"title":"Persistent Homology via Ellipsoids","authors":"Sara Kališnik, Bastian Rieck, Ana Žegarac","doi":"arxiv-2408.11450","DOIUrl":"https://doi.org/arxiv-2408.11450","url":null,"abstract":"Persistent homology is one of the most popular methods in Topological Data\u0000Analysis. An initial step in any analysis with persistent homology involves\u0000constructing a nested sequence of simplicial complexes, called a filtration,\u0000from a point cloud. There is an abundance of different complexes to choose\u0000from, with Rips, Alpha, and witness complexes being popular choices. In this\u0000manuscript, we build a different type of a geometrically-informed simplicial\u0000complex, called an ellipsoid complex. This complex is based on the idea that\u0000ellipsoids aligned with tangent directions better approximate the data compared\u0000to conventional (Euclidean) balls centered at sample points that are used in\u0000the construction of Rips and Alpha complexes, for instance. We use Principal\u0000Component Analysis to estimate tangent spaces directly from samples and present\u0000algorithms as well as an implementation for computing ellipsoid barcodes, i.e.,\u0000topological descriptors based on ellipsoid complexes. Furthermore, we conduct\u0000extensive experiments and compare ellipsoid barcodes with standard Rips\u0000barcodes. Our findings indicate that ellipsoid complexes are particularly\u0000effective for estimating homology of manifolds and spaces with bottlenecks from\u0000samples. In particular, the persistence intervals corresponding to a\u0000ground-truth topological feature are longer compared to the intervals obtained\u0000when using the Rips complex of the data. Furthermore, ellipsoid barcodes lead\u0000to better classification results in sparsely-sampled point clouds. Finally, we\u0000demonstrate that ellipsoid barcodes outperform Rips barcodes in classification\u0000tasks.","PeriodicalId":501119,"journal":{"name":"arXiv - MATH - Algebraic Topology","volume":"36 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-08-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142195580","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Enrique G Alvarado, Robin Belton, Kang-Ju Lee, Sourabh Palande, Sarah Percival, Emilie Purvine, Sarah Tymochko
The Mapper algorithm is a popular tool for visualization and data exploration in topological data analysis. We investigate an inverse problem for the Mapper algorithm: Given a dataset $X$ and a graph $G$, does there exist a set of Mapper parameters such that the output Mapper graph of $X$ is isomorphic to $G$? We provide constructions that affirmatively answer this question. Our results demonstrate that it is possible to engineer Mapper parameters to generate a desired graph.
{"title":"Any Graph is a Mapper Graph","authors":"Enrique G Alvarado, Robin Belton, Kang-Ju Lee, Sourabh Palande, Sarah Percival, Emilie Purvine, Sarah Tymochko","doi":"arxiv-2408.11180","DOIUrl":"https://doi.org/arxiv-2408.11180","url":null,"abstract":"The Mapper algorithm is a popular tool for visualization and data exploration\u0000in topological data analysis. We investigate an inverse problem for the Mapper\u0000algorithm: Given a dataset $X$ and a graph $G$, does there exist a set of\u0000Mapper parameters such that the output Mapper graph of $X$ is isomorphic to\u0000$G$? We provide constructions that affirmatively answer this question. Our\u0000results demonstrate that it is possible to engineer Mapper parameters to\u0000generate a desired graph.","PeriodicalId":501119,"journal":{"name":"arXiv - MATH - Algebraic Topology","volume":"169 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-08-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142195603","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We obtain several sufficient conditions for the distributional LS-category (dcat) of closed manifolds to be maximum, i.e., equal to their classical LS-category (cat). This gives us many new computations of dcat, especially for essential manifolds and (generalized) connected sums. In the process, we also determine the dcat of closed 3-manifolds having torsion-free fundamental groups and some closed geometrically decomposable 4-manifolds. Finally, we extend some of our results to closed Alexandrov spaces and discuss their cat and dcat in dimension 3.
{"title":"Distributional Lusternik-Schnirelmann category of manifolds","authors":"Ekansh Jauhari","doi":"arxiv-2408.11036","DOIUrl":"https://doi.org/arxiv-2408.11036","url":null,"abstract":"We obtain several sufficient conditions for the distributional LS-category\u0000(dcat) of closed manifolds to be maximum, i.e., equal to their classical\u0000LS-category (cat). This gives us many new computations of dcat, especially for\u0000essential manifolds and (generalized) connected sums. In the process, we also\u0000determine the dcat of closed 3-manifolds having torsion-free fundamental groups\u0000and some closed geometrically decomposable 4-manifolds. Finally, we extend some\u0000of our results to closed Alexandrov spaces and discuss their cat and dcat in\u0000dimension 3.","PeriodicalId":501119,"journal":{"name":"arXiv - MATH - Algebraic Topology","volume":"65 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-08-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142195597","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Let $X$ be an $(n-2)$-connected $2n$-dimensional Poincar'e complex with torsion-free homology, where $ngeq 4$. We prove that $X$ can be decomposed into a connected sum of two Poincar'e complexes: one being $(n-1)$-connected, while the other having trivial $n$th homology group. Under the additional assumption that $H_n(X)=0$ and $Sq^2:H^{n-1}(X;mathbb{Z}_2)to H^{n+1}(X;mathbb{Z}_2)$ is trivial, we can prove that $X$ can be further decomposed into connected sums of Poincar'e complexes whose $(n-1)$th homology is isomorphic to $mathbb{Z}$. As an application of this result, we classify the homotopy types of such $2$-connected $8$-dimensional Poincar'e complexes.
{"title":"On $(n-2)$-connected $2n$-dimensional Poincaré complexes with torsion-free homology","authors":"Xueqi Wang","doi":"arxiv-2408.09996","DOIUrl":"https://doi.org/arxiv-2408.09996","url":null,"abstract":"Let $X$ be an $(n-2)$-connected $2n$-dimensional Poincar'e complex with\u0000torsion-free homology, where $ngeq 4$. We prove that $X$ can be decomposed\u0000into a connected sum of two Poincar'e complexes: one being $(n-1)$-connected,\u0000while the other having trivial $n$th homology group. Under the additional\u0000assumption that $H_n(X)=0$ and $Sq^2:H^{n-1}(X;mathbb{Z}_2)to\u0000H^{n+1}(X;mathbb{Z}_2)$ is trivial, we can prove that $X$ can be further\u0000decomposed into connected sums of Poincar'e complexes whose $(n-1)$th homology\u0000is isomorphic to $mathbb{Z}$. As an application of this result, we classify\u0000the homotopy types of such $2$-connected $8$-dimensional Poincar'e complexes.","PeriodicalId":501119,"journal":{"name":"arXiv - MATH - Algebraic Topology","volume":"12 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142225158","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Whitehead products and natural infinite sums are prominent in the higher homotopy groups of the $n$-dimensional infinite earring space $mathbb{E}_n$ and other locally complicated Peano continua. In this paper, we derive general identities for how these operations interact with each other. As an application, we consider a shrinking-wedge $X$ of $(n-1)$-connected finite CW-complexes $X_1,X_2,X_3,dots$ and compute the infinite-sum closure $mathcal{W}_{2n-1}(X)$ of the set of Whitehead products $[alpha,beta]$ in $pi_{2n-1}left(Xright)$ where $alpha,betainpi_n(X)$ are represented in respective sub-wedges that meet only at the basepoint. In particular, we show that $mathcal{W}_{2n-1}(X)$ is canonically isomorphic to $prod_{j=1}^{infty}left(pi_{n}(X_j)otimes prod_{k>j}pi_n(X_k)right)$. The insight provided by this computation motivates a conjecture about the isomorphism type of the elusive groups $pi_{2n-1}(mathbb{E}_n)$, $ngeq 2$.
{"title":"Identities for Whitehead products and infinite sums","authors":"Jeremy Brazas","doi":"arxiv-2408.10430","DOIUrl":"https://doi.org/arxiv-2408.10430","url":null,"abstract":"Whitehead products and natural infinite sums are prominent in the higher\u0000homotopy groups of the $n$-dimensional infinite earring space $mathbb{E}_n$\u0000and other locally complicated Peano continua. In this paper, we derive general\u0000identities for how these operations interact with each other. As an\u0000application, we consider a shrinking-wedge $X$ of $(n-1)$-connected finite\u0000CW-complexes $X_1,X_2,X_3,dots$ and compute the infinite-sum closure\u0000$mathcal{W}_{2n-1}(X)$ of the set of Whitehead products $[alpha,beta]$ in\u0000$pi_{2n-1}left(Xright)$ where $alpha,betainpi_n(X)$ are represented in\u0000respective sub-wedges that meet only at the basepoint. In particular, we show\u0000that $mathcal{W}_{2n-1}(X)$ is canonically isomorphic to\u0000$prod_{j=1}^{infty}left(pi_{n}(X_j)otimes prod_{k>j}pi_n(X_k)right)$.\u0000The insight provided by this computation motivates a conjecture about the\u0000isomorphism type of the elusive groups $pi_{2n-1}(mathbb{E}_n)$, $ngeq 2$.","PeriodicalId":501119,"journal":{"name":"arXiv - MATH - Algebraic Topology","volume":"26 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142195598","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We discuss the algebra behind the matrix reduction algorithm for persistent homology, as presented in the paper ''Computing Persistent Homology'' by Afra Zomorodian and Gunnar Carlsson, in the lens of the more modern characterization of persistence modules as functors from a poset category to a category of vector spaces over a field adopted by authors such as Peter Bubenik, Frederik Chazal, and Ulrich Bauer.
{"title":"An Exposition on the Algebra and Computation of Persistent Homology","authors":"Jason Ranoa","doi":"arxiv-2408.07899","DOIUrl":"https://doi.org/arxiv-2408.07899","url":null,"abstract":"We discuss the algebra behind the matrix reduction algorithm for persistent\u0000homology, as presented in the paper ''Computing Persistent Homology'' by Afra\u0000Zomorodian and Gunnar Carlsson, in the lens of the more modern characterization\u0000of persistence modules as functors from a poset category to a category of\u0000vector spaces over a field adopted by authors such as Peter Bubenik, Frederik\u0000Chazal, and Ulrich Bauer.","PeriodicalId":501119,"journal":{"name":"arXiv - MATH - Algebraic Topology","volume":"12 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142227907","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}