Topological data analysis

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Topological data analysis (TDA) is a new and vastly growing branch of applied mathematics.

Data analysis is of extreme importance in almost all areas of modern applied science. However, to extract information from real data which are usually large, high-dimensional, incomplete and noisy is challenging. TDA provides a general framework to analyze data, being successful in coordinate-freeness, insensitive to particular metric, dimension reduction and robustness to noise. Beyond, it inherits functorality, one of the keys to the modern mathematics, from its topological nature, which makes it adaptive to new tools from mathematics.

The initial motivation is to study the shape of data. TDA has combined algebraic topology and other tools from pure mathematics to give mathematically strict and quantitative study of "shape". The main tool is persistent homology, a modified concept of homology group. Nowadays, this area has been proven to be successful in practice. It has been applied to many types of data input, and different data resource and numerous fields. Moreover, its mathematical foundation is also of theoretical importance to mathematics itself. Its unique features makes it a promising bridge between topology and geometry.

Basic theory[edit]

Basic concepts and theoretical results in TDA will be introduced. Specially, the focus would be on the standard paradigm, namely the barcode of point clouds. These results are widely used in applications. For the basic concepts of algebraic topology, please refer to section 2 of Carlsson[1] for a short introduction, or to the standard textbooks, such as Hatcher.[2]


The intuition is that shape matters. Real data in high dimension is always sparse, and has some relevant low dimensional features. The task of TDA is to precisely characterize this observation. One illustrative example is a predator-prey system governed by a Lotka-Volterra equation.[3] One can easily observe that data forms a closed circle, which is intuitively the shape of this data. TDA provides tools to detect such recurrent movement.[4]

Lacking prior knowledge, selection of the threshold of a parameter is blind. The main insight of persistent homology is to grab all the information obtained from all values of a parameter. Of course this insight alone is easy to make; the hard part is encoding this huge amount of information into an understandable and easy-to-represent way. With TDA, there is a mathematical interpretation when the information is a homology group.

A common belief in this community is that true features would last longer (hence the meaning of "persistent"). Short persistence is nothing but noise, though no mathematical justification is made.[5] The topological information can be inferred from the selected long-lasting features.

Early History[edit]

The idea of persistence emerged independently in three groups.[6] Patrizio introduced size function, which is equivalent to the 0th persistent homology.[7] Vanessa Robins studied the images of homomorphisms induced by inclusion.[8]

Edelsbunnar et al. introduced persistent homology together with a efficient algorithm and the presentation as persistent diagram.[9] Carlsson et al. reformulated their definition of persistent homology and gave an equivalent visualization method called persistent barcodes.[10] Carlsson has interpreted it into the language of commutative algebra.[11]


Some widely-used concepts are introduced below. Note that some definitions may vary from author to author.

Point cloud is defined as a finite set of points in some Euclidean space.

Čech complex is defined as the nerve of the cover of balls of a fixed radius around each point in the point cloud.

Persistence module \mathbb{U} indexed by \mathbb{Z} is defined as: a vector space U_t for each t \in \mathrm{Z}, and a linear map u_t^s: U_s \to U_t whenever s \leq t, such that u_t^t=1 for all t and u_t^su_s^r=u_s^r whenever r \leq s \leq t.[12]

Persistence homology group PH is defined as PH_k(X)= \prod H_k(X_r), where X_r is the Čech complex of radius r of the point cloud X and H_k is the homology group.

Persistence barcodes is a multiset of intervals in \mathbb{R}, and persistence diagram is points in \Delta(:= \{(u,v) \in \mathbb{R}^2| u,v \geq 0, u \leq v\}) (if two points happen to the same, the node denoting that points would be bigger).

Wasserstein distance between two persistent diagram X and Y is defined as {\displaystyle W_p[L_q](X,Y):= \inf_{\phi: X \to Y} [\sum_{x \in X} \Vert x-\phi(x)\Vert _q]^{\frac{1}{p}}}where 1 \leq p,q \leq \infty and \phi ranges over bijections between X and Y. Please refer to figure 3.1 in Munch [13] for illustration.

Bottleneck distance is defined as {\displaystyle W_{\infty}[L_q](X,Y):= \inf_{\phi: X \to Y} \sup_{x \in X} \Vert x-\phi(x)\Vert _q}which clearly is a special case when p=\infty in Wasserstein distance.

Basic Property[edit]

Structure theorem[edit]

The first form of classification theorem for persistent homology appeared in 2005:[11] for a finitely generated persistent module C with field F coefficients, {\displaystyle H(C;F) \simeq  \oplus_i x^{t_i} \cdot F[x] \oplus (\oplus_j x^{r_j} \cdot (F[x]/(x^{s_j}\cdot F[x])))}This theorem also has an intuitive explanation. The free parts correspond to the homology generators appear at radius t_i and never disappear, while the torsion parts correspond to those appear at radius r_j and last for s_j (equivalently, disappear at radius s_j+r_j).

Its visualization is through barcode or diagram. Please refer to the further reading for illustrations, due to issue of copyrights. Barcode also has its root in mathematics, though not at first sight; essentially, the derived category of chain complexes over a field is equivalent to the graded category of vector spaces.[14]


The interpretation of the mathematical concept stability in data analysis is robustness against noise. It has been that if X be any space which is homeomorphic to a simplicial complex, and suppose f,g:X\to \mathbb{R} are continuous tame functions, then the persistence vector spaces \{H_k(f^{-1}([0,r])\} and \{H_k(g^{-1}([0,r])\} are finitely presented, and W_{\infty}(D(f),D(g)) \leq \lVert f-g \rVert_{\infty}.[15]


The basic workflow in TDA is:[16]

point cloud \to nested complexes \to persistent module \to barcode or diagram
  1. Let X be a point cloud, replace a point cloud with a nested family of simplicial complexes(such as Čech complex) , indexed by a parameter. This process converts the point cloud into a persistent module{\displaystyle H_i(X_{r_0})\to H_i(X_{r_1}) \to H_i(X_{r_2}) \to ...}
  2. Apply the structure theorem to provide a parameterized version of Betti number, persistence diagram, or equivalently, barcode.

Graphically speaking,

A usual use of persistence in TDA [17]


The applied mathematics has to face the issue of computational complexity.[6] The first algorithm of persistent homology over F_2 is given by Edelsbrunnar et al.[9] Carlsson et al. gives the first practical algorithm to compute the persistent homology over all fields.[11] Edelsbrunner and Harer's book serves as a great general guidance on computational topology.[18]

One issue concerning computation is the choice of complex. Čech complex and Vietoris-Rips complex are most natural at first glance, however, the computation complexity would be same as matrix multiplication. It is straightforward that Vietoris-Rips complex is preferred over Čech complex by their definitions, and Čech complex does require some efforts to make a general definition in metric space. Efficient ways to lower the computational cost have been studied. For example, α-complex and witness complex are invented to reduce the dimension of complexes.[19]

Two methods of theoretical novelty appeared recently. Discrete morse theory has shown its potential in the computation because it may reduce a given complex to a much smaller cellular complex which is homotopic to the original one.[20] The basic idea of another algorithm is to ignore the homology classes of low persistence.[21]

Various software packages are available, such as javaPlex, Dionysus, Perseus, PHAT, and Gudhi. A comparison between these tool is done by Otter et al.[22] Also, an R package TDA is capable of calculating recently invented concepts like landscape and kernel distance estimator.[23]


High-dimensional data is impossible to visualize directly. Many methods have been invented to extract a low-dimensional structure from the data set, such as principal component analysis and multidimensional scaling.[24] However, it is important to note that the very question is ill-posed, since different topological features can be found in the same data set. Thus, this technique is of central importance to TDA, although it doesn't involve the use of persistent homology(though attempts have been made on this direction).[25]

Carlsson et al. have proposed a general method called MAPPER.[26] It inherits the idea of Serré that covering homotopy.[27] A generalized definition of MAPPER is that

Let X and Z be topological spaces and let f:X\to Z be a continuous map. Let \mathbb{U} = \{U_{\alpha}\}_{\alpha \in A} be a finite open covering of Z. The mapper is defined as the nerve of the pullback cover {\textstyle M(\mathbb{U},f):=N(f^{-1}(\mathbb{U}))}.[25] This is a very general concept, which Reeb graph and merge trees are special cases.

Note that this is not that original definition.[26] Carlsson et al. choose Z as \mathbb{R} or \mathbb{R}^2, and covers it with at most two would intersect.[5] By doing so, the mapper would be in the form of a complex network. Because the samples would be finite, some clustering methods, for example, single linkage clustering(this clustering scheme is fairly interesting in mathematical viewpoint[28][29]) , are required to form components of the inverse map of a single cover, which is similar to the connected components of f^{-1}(U_{\alpha}).

Mathematically speaking, this is a variation of Reeb graph. A mathematical jurisdiction[30] is that if the {\textstyle M(\mathbb{U},f)} is at most one dimensional, then for each i \geq 0, {\displaystyle H_i(X) \simeq H_0(N(\mathbb{U});\hat{F}_i)   \oplus H_1(N(\mathbb{U});\hat{F}_{i-1})}The flexibility also has disadvantages. One problem is instability, that some change of the choice of the cover can lead to major change of the mapper.[31] Some works are devoted to overcome this problem.[25]

Three successful applications of MAPPER can be found in Carlsson et al.[32] A comment of these applications on this paper by J. Curry is that "a common feature of interest in applications is the presence of flares or tendrils."[33]

A good software of MAPPER is free available online written by Daniel Müllner and Aravindakshan Babu.

Mathematical Foundation[edit]

Although persistent homology is a "21st child of algebraic homology", its mathematical foundation has been vastly developed. An incomplete list of active mathematicians working on this field may include leading figures Gunnar Carlsson, Herbert Edelsbrunner, Vin De Silva, Peter Bubenik, Frédéric Chazal,Robert Ghrist, and rising scholars such as Micheal Lesnick, Justin Curry, Jonathan Scott.

Multidimensional Persistence[edit]

Without exaggeration, multidimensional persistence is of the utmost importance to TDA. It naturally arise from both theory and practice. The first investigation of multidimensional persistence was at the very easy stage of TDA,[34] and is considered in one of the founding paper of modern TDA.[11] Its first application appeared in literature is also on shape comparison, similar to the invention of TDA.[35]

Definition of an n-dimensional persistence module in \mathbb{R}^n is[33]

  • vector space V_s is assigned to each point in s=(s_1,...,s_n)
  • map \rho_s^t:V_s \to V_t is assigned if s\leq t(s_i \leq t_i, i=1,...,n)
  • maps satisfy \rho_r^t=\rho_s^t \circ \rho_r^s for all r \leq s \leq t

It might be worth noting that there are controversies on the definition of multidimensional persistence.[33]

One of the advantages of 1-dim persistence is its representability, namely diagram or barcode. However, it has been proved that discrete complete invariants don't exist.[36] The main argument is that, the collection of isomorphism classes of the indecomposables are extremely complicated by Gabriel's theorem in the theory of quiver representations,[37] although a finitely n-dim persistence module can be uniquely decomposed into a direct sum of indecomposables due to the Kull-Schmidt theorem.[38]

Nonetheless, many results have been established. Carlsson et al. introduced the rank invariant \rho_M(u,v), defined as the \rho_M(u,v)=\mathrm{rank}(x^{u-v}:M_u\to M_v), in which M is a finitely generated n-graded module. In 1-D, it is equivalent to the barcode. In literature, it is often referred as PBNs(persistent Betti numbers).[18] In many theoretical works, authors would use more restricted definition, an analogue from the sublevel persistence. Specifically, PBNs (the persistence Betti numbers) of function f:X\to \mathrm{R}^k is the function \beta_f: \Delta^{+} \to \mathrm{N}, taking each (u,v) \in \Delta^{+} to \beta_f(u,v):= \mathrm{rank} (H(X(f\leq u)\to H(X(f\leq v))), where \Delta^{+} := \{(u,v)\in \mathbb{R}\times\mathbb{R}:u\leq v\} and X(f\leq u):=\{x\in X:f(x)\leq u\}.

Some basic properties include monotony and diagonal jump.[39] PBNs will be finite if X is assumed to be a compact and locally contractible subspace of \mathbb{R}^n.[40]

Based on a so-called foliation method, the k-dim PBNs can be decomposed into a family of 1-dim PBNs by dimensionality deduction.[41] This method has also led to prove the stability of multi-dim PBNs are stable.[42] the discontinuities of PBNs only occur in point (u,v) (u\leq v) if either u is a discontinuous point of \rho_M (\star,v) or v is a discontinuous point of \rho (u,\star) under the assumption that f\in C^0(X,\mathrm{R}^k) and X is a compact, triangulable topological space.[43]

Persistent space, a generalization of persistent diagram, is defined as multiset of all points with multiplicity larger than 0 and the diagonal.[44] It provides a stable and complete representation of PBNs. An ongoing work by Carlsson et al. is trying to give geometric interpretation of persistent homology, which might provide insights on how to combine machine learning theory with TDA.[45]

The first practical algorithm to compute multidimensional persistence was invented very early.[46] After then, many works have been laid, such as discrete morse theory,[47] finite sample estimating.[48]

Other Persistences[edit]

The standard paradigm in TDA is often referred as sublevel persistence. Apart from multidimensional persistence, many works have been done to extend this special case.

Zigzag Persistence[edit]

The nonzero maps in persistence module are restricted by the preorder relationship in the category. However, mathematicians have found that the unanimousness of direction is not essential to many results. "The philosophical point is that the decomposition theory of graph representations is somewhat independent of the orientation of the graph edges".[49] Zigzag persistence is important to the theoretical side. The examples given in Carlsson's review paper to illustrate the importance of functorality all share some of its features.[5]

Extended Persistence and Levelset Persistence[edit]

Some attempts is to lose the stricter restriction of the function.[50] Please refer to the section of Categorization and Cosheaf and the section of Impact on Mathematics for more information.

It's natural to extend persistence homology to other basic concepts in algebraic topology, such as cohomology and relative homology/cohomology.[51] An interesting theoretical application is to produce the circular coordinates via the first persistent cohomology group.[52]

Circular Persistence[edit]

Normal persistence homology studies real-valued functions. The circle-valued map might be useful, "persistence theory for circle-valued maps promises to play the role for some vector fields as does the standard persistence theory for scalar fields", as commented in D. Burghelea et al.[53] The main difference is that Jordan cells(very similar in format to the ones in linear algebra) are nontrivial in circle-valued functions, which would be zero in real-valued case, and combing with barcodes give the invariants of a tame map, under moderate conditions.[53]

Two techniques they use are More-Novikov theory[54] and graph representation theory.[55] More recent results can be found in D. Burghelea et al.[56] For example, the tameness requirement can be replaced by the much weaker condition, continuous.

Persistence with Torsion[edit]

The proof of the structure theorem relies on the base domain being field, so not many attempts have been made on persistence homology with torsion. Frosini defined a pseudometric on this specific module and proved its stability.[57] One of its novelty is that it doesn't depend on some classification theory to define the metric.[58]

Categorization and Cosheaf[edit]

One advantage of category theory is that the truth can be elevated to a formal point. It usually provides a general platform to treat results that are seemingly unrelated. Bubenik et al.[59] offers a short introduction of category theory fitted for TDA; and for general techniques please refer to the standard textbook.[60]

Category is the language of modern algebra, and has been widely used in the study of algebraic geometry and topology. It has been noted that "the key observation of [11] is that the persistence diagram produced by [9] depends only on the algebraic structure carried by this diagram."[61] The use of category theory in TDA has proved to be fruitful.[59][61]

Following the notations made in Bubenik et al.,[61] the indexing category {\textstyle P} is any preordered set (instead of the normally used \mathbb{N} or \mathbb{R}), the target category D is any category (instead of the commonly used {\textstyle \mathrm{Vect}_{\mathbb{F}}}), and functors {\textstyle P \to D} are called generalized persistence modules, in D, over {\textstyle P}.

One nice thing of the introduction of category into TDA is to have a much more clarity understanding of concepts and find the similarity between many seemingly-unrelated proofs. Take two examples for illustration. The understanding of the correspondence between interleaving and matching is of huge importance, since matching has been the method used in the beginning (modified from Morse theory). A summary of works can be found in Vin de Silva et al.[62] Many theorems can be proved much easier in an intuitive setting.[58] Another example is on the relationships between different complexes constructions. It has long been noticed that Čech and Vietoris-Rips complexes are related. Specifically, V_r(X) \subset C_{\sqrt{2}r}(X) \subset V_{2r}(X).[63] The essential relationship between Cech and Rips complexes can be seen in much clarity in category language.[62] Many similar other examples will be discussed in the following sections.

Another great thing is to put results under the language accepted by the mathematical society. Bottleneck distance is widely used in TDA because of the first stability theorem and other results on stability.[12][15] A mathematical jurisdiction is that the interleaving distance(refer to the section of stability for definition) is the terminal object in a poset category of stable metrics on multidimensional persistence modules in a prime field.[58][64]

Sheaf, a central concept in modern algebraic geometry, is intrinsically related to category theory. Roughly speaking, sheaf is the mathematical tool to view how local information determines the global. Justin Curry regards level set persistence as the study of fibers of continuous functions. The objects that he studies are very similar to those by MAPPER (the one extended definition in the section of Visualization), but he has laid sheaf theory as the theoretical foundation.[33] Although no groundbreaking in the theory of TDA has used this technique, it is promising since there are tons of beautiful theorems in algebraic geometry relating to sheaf theory. For example, A natural theoretical question is that whether filtration methods result the same out-coming.[65]


Stability is of central importance to data analysis, since real data carry noises. By usage of category theory, Bubenik et al. have distinguished between soft and hard stability theorems, and proved that soft cases are formal.[61] Specifically, general workflow of TDA is

data \stackrel{F}{\longrightarrow} generalized persistence module \stackrel{H}{\longrightarrow} generalize persistence module \stackrel{J}{\longrightarrow} discrete invariant

Soft stability theorem asserts that HF is Lipschitz, and hard stability theorem asserts that J is Lipschitz.

Bottleneck distance is widely used in TDA. The isometry theorem asserts that the interleaving distance d_I is equal to the bottleneck distance.[58] Bubenik et al. have abstracted the definition to that between functors F,G: P\to D when {\textstyle P} is equipped with a sublinear projection or superlinear family, in which still remains a pseudometric.[61] Considering the magnificent characters of interleaving distance,[66] here we introduce the general definition of interleaving distance(instead of the first introduced one):[12] Let \Gamma, K \in \mathrm{Trans_P}\Gamma, K \in \mathrm{Tran_P}(a function from {\textstyle P} to {\textstyle P} which is monotone and satisfies x \leq \Gamma(x) for all {\textstyle x\in P}). A (\Gamma, K)-interleaving between F and F consists of natural transformations \varphi: F \Rightarrow G\Gamma and \psi: G \Rightarrow FK, such that (\psi\Gamma)\varphi=F\eta_{K\Gamma} and (\varphi\Gamma)=\psi G\eta_{\Gamma K}.

The two main results are[61]

  • Let {\textstyle P} be a preordered set with a sublinear projection or superlinear family. Let {\textstyle H:D \to E} be a functor between arbitrary categories {\textstyle D,E}. Then for any two functors {\textstyle F,G:P\to D}, we have {\textstyle d_I(HF,HG) \leq d_I(F,G)}.
  • Let {\textstyle P} be a poset of a metric space {\textstyle Y} , {\textstyle X} be a topological space. And let{\textstyle f,g:X\to Y} (not necessarily continuous) be functions, and {\textstyle F,G} to be the corresponding persistence diagram. Then d_I(F,G) \leq d_{\infty}(f,g):=\sup_{x\in X}d_Y(f(x),g(x)).

These two results summarize many results on stability of different models of persistence.

For the stability theorem of multidimensional persistence, please refer to the subsection of persistence.

Structure Theorem[edit]

The structure theorem is of central importance to TDA; as commented by G. Carlsson, "what makes homology useful as a discriminator between topological spaces is the fact that there is a classification theorem for finitely generated abelian groups."[5]

The main argument used in the proof of the original structure theorem is the standard classification theorem for finitely generated modules over a principal ideal domain.[11] However, this argument fails in (\mathbb{R},\leq) since \mathbb{R} is not a PID. Carlsson gave a detailed discussion in the most influential review paper in TDA.[5]

In general, not every persistence module can be decomposed into intervals.[67] Many attempts have been made loosing the assumptions. The case for pointwise dimensional persistence modules indexed by a locally finite subset of \mathbb{R} is solved based on the work of Webb.[68] The most notable result is done by Crawley-Boevey, which solved the case of \mathbb{R}. Crawley-Boevey's theorem states that any pointwise finite-dimensional persistence module is a direct sum of interval modules.[69]

To understand the definition of his theorem, some concepts need introducing. An interval in (\mathbb{R},\leq) is defined as a subset I \subset \mathbb{R} having the property that if r, t \in I and if there is an s \in \mathbb{R} such that r \leq s \leq t, then s\in I as well. An interval module k_I assigns to each element s\in I the vector space k and assigns the zero vector space to elements in \mathbb{R} / I. All maps \rho_s^t are the zero map, unless s,t \in I and s\leq t, in which case \rho_s^t is the identity map.[33] Interval modules are indecomposable.[70]

Although this is a very powerful theorem, it still doesn't extend to the q-tame case.[67] A persistence module is q-tame if the rank(\rho_s^t) is finite for all s\leq t. There are examples that q-tame persistence module fails to be pointwise finite.[71] However, it turns out that similar structure theorem still exists if the features that exist only at one index value are removed.[70] Actually, the infinite dimension wouldn't persist.[72] Specifically, the observable category \mathrm{Ob} is defined as \mathrm{Pers}/\mathrm{Eph}, in which \mathrm{Eph} denotes the full subcategory of \mathrm{Pers} whose objects are the ephemeral modules(\rho^t_s=0 whenever s < t).[70]

Note that all these extended results listed here don't apply to the zigzag persistence. There is some work on the stability of zigzag persistence.[73]


Real data is always finite, thus the study of it is stochastic in essence. To distinguish between true nature and artifacts is the power of statistics. Note that persistent homology has no mechanism to distinguish between low-probability features and high-probability features. An interesting comment cited in R. Adler is "I can think of no two topics in mathematics further away from one another than probability and algebraic topology. There is probably no way to connect them."[74]

One way of statistics is to study statistical properties of summaries on topological features of point cloud. A reference of the works done on "the study of random abstract simplicial complexes generated from stochastic processes and non-asymptotic bounds on the convergence or consistency of topological summaries as the number of points increase" can be found in K. Turner et al.[75]

Another way, and also the more important one, is to study the probability distribution on the persistence space. The persistence space B_{\infty} is the \coprod_n B_{n}/ \backsim, where B_{n} are all the barcodes containing exactly n intervals and the equivalences are\{[x_1,y_1],[x_2,y_2],...,[x_n,y_n]\} \backsim \{[x_1,y_1],[x_2,y_2],...,[x_{n-1},y_{n-1}]\} if that x_n = y_n .[1] This space is fairly complicated, for example, not complete endowed with the bottleneck metric. The first attempt made on is by Y. Mileyko et al.[76] The space of persistence diagrams D_p in their paper is defined as {\displaystyle D_p := \{d|\sum_{x\in d}(2\inf_{y \in \Delta}\lVert x-y \rVert)^p\}}where \Delta is the diagonal line in \mathbb{R}^2. A very nice property is that D_p is complete and separable in the Wasserstein metricW_p(u,v)=(\inf_{\gamma\in \Gamma(u,v)}\int_{\mathbb{X}\times \mathbb{X}} \rho^p(x,y)\mathrm{d}\gamma(x,y))^{\frac{1}{p}}. Expectation and variance and conditional probability, three basic concepts in probability theory, can be defined in the Fréchet sense. Since then, many statistical tools are converted into TDA. Works on null hypothesis significance test,[77] confidence interval,[78] and robust estimate[79] are notable steps.

An interesting concept, persistent landscape, invented by Peter Bubenik, has led another direction, namely the different representation of barcode.[80] The persistent landscape over a persistent module M is defined as a function \lambda:\mathbb{N}\times\mathbb{R}\to \bar{\mathbb{R}}, \lambda(k,t):=\sup(m\geq 0|\beta^{t-m,t-m}\geq k), where \bar{\mathbb{R}} denotes the extended real line and \beta^{a,b}=\mathrm{dim}(\mathrm{im}(M(a\leq b))). While it inherits all good properties of barcode representation (stability, easy representation, etc.), its space is very nice: not only statistical inferences can be defined, some problems in Y. Mileyko et al.'s work , such as the expectation is not necessarily unique,[76] can be overcome. Effective algorithm is available.[81] Another approach is to use revised persistence, which is Image, kernel and cokernel persistence.[82]



More than one way exist to classify the library of applications by TDA. Perhaps the most natural way is by its filed. A very incomplete list of successful applications includes shape study,[83][84][85] [86] image analysis, [87][88] material,[89] progression analysis of disease,[90][91] sensor network,[63] signal analysis,[92] cosmic web,[93] complex network,[94][95][96][97] fractal geometry,[98] viral evolution.[99]

Another way is by distinguishing the techniques by G. Carlsson,[1]

one being the study of homological invariants of data one individual data sets, and the other is the use of homological invariants in the study of databases where the data points themselves have geometric structure.


TDA has also made huge impact on the industry. Cofounded by many leading scholars in TDA, Ayasdi is a data analysis company relying heavily on TDA. There are several notable interesting features of the recent applications of TDA:

  1. Combining tools from all main branches of mathematics. Besides obvious need for algebra and topology, PDE,[100] algebraic geometry,[36] presentation theory,[49] statistics, combination, Riemannian geometry[72] are all applied. Utilizing so many tools is rare in applied mathematics.
  2. Quantitative analysis. Topology is considered to be very soft since many concepts are invariant under homotopy. However, persistent topology is able to record the birth(appearance) and death(disappearance) of topological feature, thus extra geometric information is embedded in it. One evidence in theory is a partially positive result on the uniqueness of reconstruction of curves;[101] two in application are on the quantitative analysis of Fullerene stability and quantitative analysis of self-similarity, separately.[98][102]
  3. The role of short persistence. Short persistence has also been found useful, against the common belief that noise is the cause of the phenomena.[103] This is interesting to the mathematical theory.

One of the mainstreams of data analysis today is machine learning. Some examples of how it is possible can be found in Adcock et al.[104] A conference is dedicated to the link between TDA and machine learning. organized by leading characters of TDA. In order to apply tools from machine leaning, the information should be represented in vector form. An ongoing and promising attempt is by persistence landscape, which has been discussed in the section of Statistics. Another attempt is by persistence images.[105] However, one problem of this method is the loss of stability, since the hard stability depends on the representation, as noted in the section of stability.

Impact on Mathematics[edit]

As for its impact on pure mathematics, one is on Morse theory. Morse theory has played a very important role in the theory of TDA, including on computation(mentioned above). Many works mentioned in the section of Mathematical Foundation extend results extend Morse function to tame function or, even more general, to continuous function. A forgotten effort done by R, Deheuvels long before the invention of persistent homology is to extent morse theory to all continuous functions which appeared in the top journal of pure mathematics, Annals of Mathematics.[106]

One recent work proves that the category of Reeb graphs is equivalent to a particular class of cosheaf.[107] Note that nontrivial equivalence between different categories is always precious. This is motivated by the theoretical works in TDA, considering the importance of Reeb graph in TDA (Reeb graph is related to Morse theory and MAPPER is modified from it) and the proof of this theorem rely on the interleaving distance.

There are two areas that the future studies might shed light on. It is evident to mathematicians that persistence homology is highly related to spectral sequence.[108] The zigzag persistence might be of theoretical importance to spectral sequence. As for the second and the third features mention in the section of Features, it is promising that more works on narrowing the gap between geometry and topology are going to appear.

See also[edit]


  1. ^ a b c Carlsson, Gunnar (2014-05-01). "Topological pattern recognition for point cloud data". Acta Numerica 23: 289–368. doi:10.1017/S0962492914000051. ISSN 1474-0508. 
  2. ^ Hatcher, Allen (2002-01-01). Algebraic Topology. Cambridge University Press. ISBN 9780521795401. 
  3. ^ Epstein, Charles; Carlsson, Gunnar; Edelsbrunner, Herbert (2011-12-01). "Topological data analysis". Inverse Problems 27 (12). doi:10.1088/0266-5611/27/12/120201. 
  4. ^ "". Retrieved 2015-11-05. 
  5. ^ a b c d e Carlsson, Gunnar (2009-01-01). "Topology and data". Bulletin of the American Mathematical Society 46 (2): 255–308. doi:10.1090/S0273-0979-09-01249-X. ISSN 0273-0979. 
  6. ^ a b Edelsbrunner H. Persistent homology: theory and practice[J]. 2014.
  7. ^ Frosini, Patrizio (1990-12-01). "A distance for similarity classes of submanifolds of a Euclidean space". Bulletin of the Australian Mathematical Society 42 (03): 407–415. doi:10.1017/S0004972700028574. ISSN 1755-1633. 
  8. ^ Robins V. Towards computing homology from finite approximations[C]//Topology proceedings. 1999, 24(1): 503-532.
  9. ^ a b c "Topological Persistence and Simplification". Discrete & Computational Geometry 28 (4): 511–533. 2002-11-01. doi:10.1007/s00454-002-2885-2. ISSN 0179-5376. 
  10. ^ Carlsson, Gunnar; Zomorodian, Afra; Collins, Anne; Guibas, Leonidas J. (2005-12-01). "Persistence barcodes for shapes". International Journal of Shape Modeling 11 (02): 149–187. doi:10.1142/S0218654305000761. ISSN 0218-6543. 
  11. ^ a b c d e f Zomorodian, Afra; Carlsson, Gunnar (2004-11-19). "Computing Persistent Homology". Discrete & Computational Geometry 33 (2): 249–274. doi:10.1007/s00454-004-1146-y. ISSN 0179-5376. 
  12. ^ a b c Chazal, Frédéric; Cohen-Steiner, David; Glisse, Marc; Guibas, Leonidas J.; Oudot, Steve Y. (2009-01-01). "Proximity of Persistence Modules and Their Diagrams". Proceedings of the Twenty-fifth Annual Symposium on Computational Geometry. SCG '09 (New York, NY, USA: ACM): 237–246. doi:10.1145/1542362.1542407. ISBN 978-1-60558-501-7. 
  13. ^ Munch E. Applications of persistent homology to time varying systems[D]. Duke University, 2013.
  14. ^ Weibel, Charles A. (1995-10-27). An Introduction to Homological Algebra. Cambridge University Press. ISBN 9780521559874. 
  15. ^ a b Cohen-Steiner, David; Edelsbrunner, Herbert; Harer, John (2006-12-12). "Stability of Persistence Diagrams". Discrete & Computational Geometry 37 (1): 103–120. doi:10.1007/s00454-006-1276-5. ISSN 0179-5376. 
  16. ^ Ghrist, Robert (2008-01-01). "Barcodes: The persistent topology of data". Bulletin of the American Mathematical Society 45 (1): 61–75. doi:10.1090/S0273-0979-07-01191-3. ISSN 0273-0979. 
  17. ^ Chazal, Frédéric; Glisse, Marc; Labruère, Catherine; Michel, Bertrand (2013-05-27). "Optimal rates of convergence for persistence diagrams in Topological Data Analysis". arXiv:1305.6239 [cs, math, stat]. 
  18. ^ a b Edelsbrunner, Herbert; Harer, John (2010-01-01). Computational Topology: An Introduction. American Mathematical Soc. ISBN 9780821849255. 
  19. ^ De Silva, Vin; Carlsson, Gunnar (2004-01-01). "Topological Estimation Using Witness Complexes". Proceedings of the First Eurographics Conference on Point-Based Graphics. SPBG'04 (Aire-la-Ville, Switzerland, Switzerland: Eurographics Association): 157–166. doi:10.2312/SPBG/SPBG04/157-166. ISBN 3-905673-09-6. 
  20. ^ Mischaikow, Konstantin; Nanda, Vidit (2013-07-27). "Morse Theory for Filtrations and Efficient Computation of Persistent Homology". Discrete & Computational Geometry 50 (2): 330–353. doi:10.1007/s00454-013-9529-6. ISSN 0179-5376. 
  21. ^ Chen, Chao; Kerber, Michael (2013-05-01). "An output-sensitive algorithm for persistent homology". Computational Geometry. 27th Annual Symposium on Computational Geometry (SoCG 2011) 46 (4): 435–447. doi:10.1016/j.comgeo.2012.02.010. 
  22. ^ Otter, Nina; Porter, Mason A.; Tillmann, Ulrike; Grindrod, Peter; Harrington, Heather A. (2015-06-29). "A roadmap for the computation of persistent homology". arXiv:1506.08903 [physics, q-bio]. 
  23. ^ Fasy, Brittany Terese; Kim, Jisu; Lecci, Fabrizio; Maria, Clément (2014-11-07). "Introduction to the R package TDA". arXiv:1411.1830 [cs, stat]. 
  24. ^ Liu S, Maljovec D, Wang B, et al. Visualizing High-Dimensional Data: Advances in the Past Decade[J].
  25. ^ a b c Dey, Tamal K.; Memoli, Facundo; Wang, Yusu (2015-04-14). "Mutiscale Mapper: A Framework for Topological Summarization of Data and Maps". arXiv:1504.03763 [cs, math]. 
  26. ^ a b "Download Limit Exceeded". Retrieved 2015-11-02. 
  27. ^ Bott, Raoul; Tu, Loring W. (2013-04-17). Differential Forms in Algebraic Topology. Springer Science & Business Media. ISBN 9781475739510. 
  28. ^ Carlsson, Gunnar; Mémoli, Facundo (2013-01-09). "Classifying Clustering Schemes". Foundations of Computational Mathematics 13 (2): 221–252. doi:10.1007/s10208-012-9141-9. ISSN 1615-3375. 
  29. ^ Carlsson, G.; Memoli, F.; Ribeiro, A.; Segarra, S. (2013-05-01). "Axiomatic construction of hierarchical clustering in asymmetric networks". 2013 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP): 5219–5223. doi:10.1109/ICASSP.2013.6638658. 
  30. ^ Curry, Justin (2013-03-13). "Sheaves, Cosheaves and Applications". arXiv:1303.3255 [math]. 
  31. ^ Liu, Xu; Xie, Zheng; Yi, Dongyun (2012-01-01). "A fast algorithm for constructing topological structure in large data". Homology, Homotopy and Applications 14 (1): 221–238. ISSN 1532-0073. 
  32. ^ Lum, P. Y.; Singh, G.; Lehman, A.; Ishkanov, T.; Vejdemo-Johansson, M.; Alagappan, M.; Carlsson, J.; Carlsson, G. (2013-02-07). "Extracting insights from the shape of complex data using topology". Scientific Reports 3. doi:10.1038/srep01236. PMC 3566620. PMID 23393618. 
  33. ^ a b c d e Curry, Justin (2014-11-03). "Topological Data Analysis and Cosheaves". arXiv:1411.0613 [math]. 
  34. ^ Frosini P, Mulazzani M. Size homotopy groups for computation of natural size distances[J]. Bulletin of the Belgian Mathematical Society Simon Stevin, 1999, 6(3): 455-464.
  35. ^ Biasotti, S.; Cerri, A.; Frosini, P.; Giorgi, D.; Landi, C. (2008-05-17). "Multidimensional Size Functions for Shape Comparison". Journal of Mathematical Imaging and Vision 32 (2): 161–179. doi:10.1007/s10851-008-0096-z. ISSN 0924-9907. 
  36. ^ a b Carlsson, Gunnar; Zomorodian, Afra (2009-04-24). "The Theory of Multidimensional Persistence". Discrete & Computational Geometry 42 (1): 71–93. doi:10.1007/s00454-009-9176-0. ISSN 0179-5376. 
  37. ^ Derksen H, Weyman J. Quiver representations[J]. Notices of the AMS, 2005, 52(2): 200-206.
  38. ^ Atiyah M F. On the Krull-Schmidt theorem with application to sheaves[J]. Bulletin de la Société Mathématique de France, 1956, 84: 307-317.
  39. ^ Cerri A, Di Fabio B, Ferri M, et al. Multidimensional persistent homology is stable[J]. arXiv preprint arXiv:0908.0064, 2009.
  40. ^ Cagliari, Francesca; Landi, Claudia (2011-04-01). "Finiteness of rank invariants of multidimensional persistent homology groups". Applied Mathematics Letters 24 (4): 516–518. doi:10.1016/j.aml.2010.11.004. 
  41. ^ Cagliari, Francesca; Di Fabio, Barbara; Ferri, Massimo (2010-01-01). "One-dimensional reduction of multidimensional persistent homology". Proceedings of the American Mathematical Society 138 (8): 3003–3017. doi:10.1090/S0002-9939-10-10312-8. ISSN 0002-9939. 
  42. ^ Cerri, Andrea; Fabio, Barbara Di; Ferri, Massimo; Frosini, Patrizio; Landi, Claudia (2013-08-01). "Betti numbers in multidimensional persistent homology are stable functions". Mathematical Methods in the Applied Sciences 36 (12): 1543–1557. doi:10.1002/mma.2704. ISSN 1099-1476. 
  43. ^ Cerri, Andrea; Frosini, Patrizio (2015-03-15). "Necessary conditions for discontinuities of multidimensional persistent Betti numbers". Mathematical Methods in the Applied Sciences 38 (4): 617–629. doi:10.1002/mma.3093. ISSN 1099-1476. 
  44. ^ Cerri, Andrea; Landi, Claudia (2013-03-20). Gonzalez-Diaz, Rocio; Jimenez, Maria-Jose; Medrano, Belen, eds. The Persistence Space in Multidimensional Persistent Homology. Lecture Notes in Computer Science. Springer Berlin Heidelberg. pp. 180–191. doi:10.1007/978-3-642-37067-0_16. ISBN 978-3-642-37066-3. 
  45. ^ Skryzalin, Jacek; Carlsson, Gunnar (2014-11-14). "Numeric Invariants from Multidimensional Persistence". arXiv:1411.4022 [cs]. 
  46. ^ Carlsson, Gunnar; Singh, Gurjeet; Zomorodian, Afra (2009-12-16). Dong, Yingfei; Du, Ding-Zhu; Ibarra, Oscar, eds. Computing Multidimensional Persistence. Lecture Notes in Computer Science. Springer Berlin Heidelberg. pp. 730–739. doi:10.1007/978-3-642-10631-6_74. ISBN 978-3-642-10630-9. 
  47. ^ Allili, Madjid; Kaczynski, Tomasz; Landi, Claudia (2013-10-30). "Reducing complexes in multidimensional persistent homology theory". arXiv:1310.8089 [cs]. 
  48. ^ Cavazza N, Ferri M, Landi C. Estimating multidimensional persistent homology through a finite sampling[J]. 2010.
  49. ^ a b Carlsson, Gunnar; Silva, Vin de (2010-04-21). "Zigzag Persistence". Foundations of Computational Mathematics 10 (4): 367–405. doi:10.1007/s10208-010-9066-0. ISSN 1615-3375. 
  50. ^ Cohen-Steiner, David; Edelsbrunner, Herbert; Harer, John (2008-04-04). "Extending Persistence Using Poincaré and Lefschetz Duality". Foundations of Computational Mathematics 9 (1): 79–103. doi:10.1007/s10208-008-9027-z. ISSN 1615-3375. 
  51. ^ de Silva, Vin; Morozov, Dmitriy; Vejdemo-Johansson, Mikael. "Dualities in persistent (co)homology". Inverse Problems 27 (12). doi:10.1088/0266-5611/27/12/124003. 
  52. ^ Silva, Vin de; Morozov, Dmitriy; Vejdemo-Johansson, Mikael (2011-03-30). "Persistent Cohomology and Circular Coordinates". Discrete & Computational Geometry 45 (4): 737–759. doi:10.1007/s00454-011-9344-x. ISSN 0179-5376. 
  53. ^ a b Burghelea, Dan; Dey, Tamal K. (2013-04-09). "Topological Persistence for Circle-Valued Maps". Discrete & Computational Geometry 50 (1): 69–98. doi:10.1007/s00454-013-9497-x. ISSN 0179-5376. 
  54. ^ Novikov S P. Quasiperiodic structures in topology[C]//Topological methods in modern mathematics, Proceedings of the symposium in honor of John Milnor’s sixtieth birthday held at the State University of New York, Stony Brook, New York. 1991: 223-233.
  55. ^ Gross, Jonathan L.; Yellen, Jay (2004-06-02). Handbook of Graph Theory. CRC Press. ISBN 9780203490204. 
  56. ^ Burghelea, Dan; Haller, Stefan (2015-06-04). "Topology of angle valued maps, bar codes and Jordan blocks". arXiv:1303.4328 [math]. 
  57. ^ Frosini, Patrizio (2012-06-23). "Stable Comparison of Multidimensional Persistent Homology Groups with Torsion". Acta Applicandae Mathematicae 124 (1): 43–54. doi:10.1007/s10440-012-9769-0. ISSN 0167-8019. 
  58. ^ a b c d Lesnick, Michael (2015-03-24). "The Theory of the Interleaving Distance on Multidimensional Persistence Modules". Foundations of Computational Mathematics 15 (3): 613–650. doi:10.1007/s10208-015-9255-y. ISSN 1615-3375. 
  59. ^ a b Bubenik, Peter; Scott, Jonathan A. (2014-01-28). "Categorification of Persistent Homology". Discrete & Computational Geometry 51 (3): 600–627. doi:10.1007/s00454-014-9573-x. ISSN 0179-5376. 
  60. ^ Lane, Saunders Mac (1978-01-01). Categories for the Working Mathematician. Springer Science & Business Media. ISBN 9781475747218. 
  61. ^ a b c d e f Bubenik, Peter; Silva, Vin de; Scott, Jonathan (2014-10-09). "Metrics for Generalized Persistence Modules". Foundations of Computational Mathematics 15 (6): 1501–1531. doi:10.1007/s10208-014-9229-5. ISSN 1615-3375. 
  62. ^ a b de Silva, Vin; Nanda, Vidit (2013-01-01). "Geometry in the Space of Persistence Modules". Proceedings of the Twenty-ninth Annual Symposium on Computational Geometry. SoCG '13 (New York, NY, USA: ACM): 397–404. doi:10.1145/2462356.2462402. ISBN 978-1-4503-2031-3. 
  63. ^ a b De Silva V, Ghrist R. Coverage in sensor networks via persistent homology[J]. Algebraic & Geometric Topology, 2007, 7(1): 339-358.
  64. ^ d’Amico, Michele; Frosini, Patrizio; Landi, Claudia (2008-10-14). "Natural Pseudo-Distance and Optimal Matching between Reduced Size Functions". Acta Applicandae Mathematicae 109 (2): 527–554. doi:10.1007/s10440-008-9332-1. ISSN 0167-8019. 
  65. ^ Di Fabio, B.; Frosini, P. (2013-08-01). "Filtrations induced by continuous functions". Topology and its Applications 160 (12): 1413–1422. doi:10.1016/j.topol.2013.05.013. 
  66. ^ Lesnick, Michael (2012-06-06). "Multidimensional Interleavings and Applications to Topological Inference". arXiv:1206.1365 [cs, math, stat]. 
  67. ^ a b Chazal, Frederic; de Silva, Vin; Glisse, Marc; Oudot, Steve (2012-07-16). "The structure and stability of persistence modules". arXiv:1207.3674 [cs, math]. 
  68. ^ Webb, Cary (1985-01-01). "Decomposition of graded modules". Proceedings of the American Mathematical Society 94 (4): 565–571. doi:10.1090/S0002-9939-1985-0792261-6. ISSN 0002-9939. 
  69. ^ Crawley-Boevey, William. "Decomposition of pointwise finite-dimensional persistence modules". Journal of Algebra and Its Applications 14 (05). doi:10.1142/s0219498815500668. 
  70. ^ a b c Chazal, Frederic; Crawley-Boevey, William; de Silva, Vin (2014-05-22). "The observable structure of persistence modules". arXiv:1405.5644 [math]. 
  71. ^ Droz, Jean-Marie (2012-10-15). "A subset of Euclidean space with large Vietoris-Rips homology". arXiv:1210.4097 [math]. 
  72. ^ a b Weinberger S. What is... persistent homology?[J]. Notices of the AMS, 2011, 58(1): 36-39.
  73. ^
  74. ^ "Adler, Bobrowski, Borman, Subag, Weinberger: Persistent homology for random fields and complexes". Retrieved 2015-11-06. 
  75. ^ Turner, Katharine; Mileyko, Yuriy; Mukherjee, Sayan; Harer, John (2014-07-12). "Fréchet Means for Distributions of Persistence Diagrams". Discrete & Computational Geometry 52 (1): 44–70. doi:10.1007/s00454-014-9604-7. ISSN 0179-5376. 
  76. ^ a b Mileyko, Yuriy; Mukherjee, Sayan; Harer, John (2011-11-10). "Probability measures on the space of persistence diagrams". Inverse Problems 27 (12): 124007. doi:10.1088/0266-5611/27/12/124007. ISSN 0266-5611. 
  77. ^ Robinson, Andrew; Turner, Katharine (2013-10-28). "Hypothesis Testing for Topological Data Analysis". arXiv:1310.7467 [cs, math, stat]. 
  78. ^ Fasy, Brittany Terese; Lecci, Fabrizio; Rinaldo, Alessandro; Wasserman, Larry; Balakrishnan, Sivaraman; Singh, Aarti (2014-12-01). "Confidence sets for persistence diagrams". The Annals of Statistics 42 (6): 2301–2339. doi:10.1214/14-AOS1252. ISSN 0090-5364. 
  79. ^ Blumberg, Andrew J.; Gal, Itamar; Mandell, Michael A.; Pancia, Matthew (2014-05-15). "Robust Statistics, Hypothesis Testing, and Confidence Intervals for Persistent Homology on Metric Measure Spaces". Foundations of Computational Mathematics 14 (4): 745–789. doi:10.1007/s10208-014-9201-4. ISSN 1615-3375. 
  80. ^ Bubenik, Peter (2012-07-26). "Statistical topological data analysis using persistence landscapes". arXiv:1207.6437 [cs, math, stat]. 
  81. ^ Bubenik, Peter; Dlotko, Pawel (2014-12-31). "A persistence landscapes toolbox for topological statistics". arXiv:1501.00179 [cs, math, stat]. 
  82. ^ Cohen-Steiner, David; Edelsbrunner, Herbert; Harer, John; Morozov, Dmitriy. Persistent Homology for Kernels, Images, and Cokernels. pp. 1011–1020. doi:10.1137/1.9781611973068.110. 
  83. ^ Cerri, A.; Ferri, M.; Giorgi, D. (2006-09-01). "Retrieval of trademark images by means of size functions". Graphical Models. Special Issue on the Vision, Video and Graphics Conference 2005 68 (5–6): 451–471. doi:10.1016/j.gmod.2006.07.001. 
  84. ^ Chazal, Frédéric; Cohen-Steiner, David; Guibas, Leonidas J.; Mémoli, Facundo; Oudot, Steve Y. (2009-07-01). "Gromov-Hausdorff Stable Signatures for Shapes using Persistence". Computer Graphics Forum 28 (5): 1393–1403. doi:10.1111/j.1467-8659.2009.01516.x. ISSN 1467-8659. 
  85. ^ Biasotti, S.; Giorgi, D.; Spagnuolo, M.; Falcidieno, B. (2008-09-01). "Size functions for comparing 3D models". Pattern Recognition 41 (9): 2855–2873. doi:10.1016/j.patcog.2008.02.003. 
  86. ^ Li, C.; Ovsjanikov, M.; Chazal, F. (2014). "Persistence-based Structural Recognition" (PDF). IEEE Conference on Computer Vision and Pattern Recognition (CVPR). 
  87. ^ Bendich, P.; Edelsbrunner, H.; Kerber, M. (2010-11-01). "Computing Robustness and Persistence for Images". IEEE Transactions on Visualization and Computer Graphics 16 (6): 1251–1260. doi:10.1109/TVCG.2010.139. ISSN 1077-2626. 
  88. ^ Carlsson, Gunnar; Ishkhanov, Tigran; Silva, Vin de; Zomorodian, Afra (2007-06-30). "On the Local Behavior of Spaces of Natural Images". International Journal of Computer Vision 76 (1): 1–12. doi:10.1007/s11263-007-0056-x. ISSN 0920-5691. 
  89. ^ Nakamura, Takenobu; Hiraoka, Yasuaki; Hirata, Akihiko; Escolar, Emerson G.; Nishiura, Yasumasa (2015-02-26). "Persistent Homology and Many-Body Atomic Structure for Medium-Range Order in the Glass". arXiv:1502.07445 [cond-mat]. 
  90. ^ Nicolau, Monica; Levine, Arnold J.; Carlsson, Gunnar (2011-04-26). "Topology based data analysis identifies a subgroup of breast cancers with a unique mutational profile and excellent survival". Proceedings of the National Academy of Sciences 108 (17): 7265–7270. doi:10.1073/pnas.1102826108. ISSN 0027-8424. PMC 3084136. PMID 21482760. 
  91. ^ Schmidt, Stephan; Post, Teun M.; Boroujerdi, Massoud A.; Kesteren, Charlotte van; Ploeger, Bart A.; Pasqua, Oscar E. Della; Danhof, Meindert (2011-01-01). Kimko, Holly H. C.; Peck, Carl C., eds. Disease Progression Analysis: Towards Mechanism-Based Models. AAPS Advances in the Pharmaceutical Sciences Series. Springer New York. pp. 433–455. ISBN 978-1-4419-7414-3. 
  92. ^ Perea, Jose A.; Harer, John (2014-05-29). "Sliding Windows and Persistence: An Application of Topological Methods to Signal Analysis". Foundations of Computational Mathematics 15 (3): 799–838. doi:10.1007/s10208-014-9206-z. ISSN 1615-3375. 
  93. ^ van de Weygaert, Rien; Vegter, Gert; Edelsbrunner, Herbert; Jones, Bernard J. T.; Pranav, Pratyush; Park, Changbom; Hellwing, Wojciech A.; Eldering, Bob; Kruithof, Nico (2011-01-01). Gavrilova, Marina L.; Tan, C. Kenneth; Mostafavi, Mir Abolfazl, eds. Transactions on Computational Science XIV. Berlin, Heidelberg: Springer-Verlag. pp. 60–101. ISBN 978-3-642-25248-8. 
  94. ^ Horak, Danijela; Maletić, Slobodan; Rajković, Milan (2009-03-01). "Persistent homology of complex networks - IOPscience". doi:10.1088/1742-5468/2009/03/p03034/meta; 
  95. ^ Carstens, C. J.; Horadam, K. J. (2013-06-04). "Persistent Homology of Collaboration Networks". Mathematical Problems in Engineering 2013: 1–7. doi:10.1155/2013/815035. 
  96. ^ Lee, Hyekyoung; Kang, Hyejin; Chung, M.K.; Kim, Bung-Nyun; Lee, Dong Soo (2012-12-01). "Persistent Brain Network Homology From the Perspective of Dendrogram". IEEE Transactions on Medical Imaging 31 (12): 2267–2277. doi:10.1109/TMI.2012.2219590. ISSN 0278-0062. 
  97. ^ Petri, G.; Expert, P.; Turkheimer, F.; Carhart-Harris, R.; Nutt, D.; Hellyer, P. J.; Vaccarino, F. (2014-12-06). "Homological scaffolds of brain functional networks". Journal of The Royal Society Interface 11 (101): 20140873. doi:10.1098/rsif.2014.0873. ISSN 1742-5689. PMC 4223908. PMID 25401177. 
  98. ^ a b MacPherson, Robert; Schweinhart, Benjamin (2012-07-01). "Measuring shape with topology". Journal of Mathematical Physics 53 (7): 073516. doi:10.1063/1.4737391. ISSN 0022-2488. 
  99. ^ Chan, Joseph Minhow; Carlsson, Gunnar; Rabadan, Raul (2013-11-12). "Topology of viral evolution". Proceedings of the National Academy of Sciences 110 (46): 18566–18571. doi:10.1073/pnas.1313480110. ISSN 0027-8424. PMC 3831954. PMID 24170857. 
  100. ^ Wang, Bao; Wei, Guo-Wei (2014-12-07). "Objective-oriented Persistent Homology". arXiv:1412.2368 [q-bio]. 
  101. ^ ";". doi:10.1088/0266-5611/27/12/124005/meta; 
  102. ^ Xia, Kelin; Feng, Xin; Tong, Yiying; Wei, Guo Wei (2015-03-05). "Persistent homology for the quantitative prediction of fullerene stability". Journal of Computational Chemistry 36 (6): 408–422. doi:10.1002/jcc.23816. ISSN 1096-987X. PMC 4324100. PMID 25523342. 
  103. ^ Xia, Kelin; Wei, Guo-Wei (2014-08-01). "Persistent homology analysis of protein structure, flexibility, and folding". International Journal for Numerical Methods in Biomedical Engineering 30 (8): 814–844. doi:10.1002/cnm.2655. ISSN 2040-7947. PMC 4131872. PMID 24902720. 
  104. ^ Adcock, Aaron; Carlsson, Erik; Carlsson, Gunnar (2013-04-02). "The Ring of Algebraic Functions on Persistence Bar Codes". arXiv:1304.0530 [math]. 
  105. ^ Chepushtanova, Sofya; Emerson, Tegan; Hanson, Eric; Kirby, Michael; Motta, Francis; Neville, Rachel; Peterson, Chris; Shipman, Patrick; Ziegelmeier, Lori (2015-07-22). "Persistence Images: An Alternative Persistent Homology Representation". arXiv:1507.06217 [cs, math, stat]. 
  106. ^ Deheuvels, Rene (1955-01-01). "Topologie D'Une Fonctionnelle". Annals of Mathematics. Second Series 61 (1): 13–72. doi:10.2307/1969619. 
  107. ^ de Silva V, Munch E, Patel A. Categorified reeb graphs[J]. arXiv preprint arXiv:1501.04147, 2015.
  108. ^ Goodman, Jacob E. (2008-01-01). Surveys on Discrete and Computational Geometry: Twenty Years Later : AMS-IMS-SIAM Joint Summer Research Conference, June 18-22, 2006, Snowbird, Utah. American Mathematical Soc. ISBN 9780821842393. 

Further reading[edit]

Brief Introduction

Video Lecture

Textbook on Topology

Other Resources of TDA