请输入您要查询的百科知识：

　

词条 Topological data analysis
释义

  1. Basic theory

      Intuition    Early history    Concepts    Basic property    Structure theorem    Stability    Workflow  

  2. Computation

  3. Visualization

      Multidimensional persistence    Other persistences    Zigzag persistence    Extended persistence and levelset persistence    Circular persistence    Persistence with torsion    Categorification and cosheaves    Stability    Structure theorem    Statistics  

  4. Applications

      Classification of applications    Characteristics of TDA in applications    Impact on mathematics  

  5. See also

  6. References

  7. Further reading

{{short description|Analysis of datasets using techniques from topology}}

In applied mathematics, topological data analysis (TDA) is an approach to the analysis of datasets using techniques from topology. Extraction of information from datasets that are high-dimensional, incomplete and noisy is generally challenging. TDA provides a general framework to analyze such data in a manner that is insensitive to the particular metric chosen and provides dimensionality reduction and robustness to noise. Beyond this, it inherits functoriality, a fundamental concept of modern mathematics, from its topological nature, which allows it to adapt to new mathematical tools.

The initial motivation is to study the shape of data. TDA has combined algebraic topology and other tools from pure mathematics to allow mathematically rigorous study of "shape". The main tool is persistent homology, an adaptation of homology to point cloud data. Persistent homology has been applied to many types of data across many fields. Moreover, its mathematical foundation is also of theoretical importance. The unique features of TDA make it a promising bridge between topology and geometry.

Basic theory

Intuition

{{tone|date=January 2019}}

The premise underlying TDA is that shape matters. Real data in high dimensions is nearly always sparse, and tends to have relevant low dimensional features. One task of TDA is to provide a precise characterization of this fact. An illustrative example is a simple predator-prey system governed by the Lotka–Volterra equations.[1] One can easily observe that the trajectory of the system forms a closed circle in state space. TDA provides tools to detect and quantify such recurrent motion.[2]

Many algorithms for data analysis, including those used in TDA, require the choice of various parameters. Without prior domain knowledge, the correct collection of parameters for a data set is difficult to choose. The main insight of persistent homology is that we can use 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 form. With TDA, there is a mathematical interpretation when the information is a homology group. In general, the assumption is that features that persist for a wide range of parameters are "true" features. Features persisting for only a narrow range of parameters are presumed to be noise, although the theoretical justification for this is unclear.[3]

Early history

Precursors to the full concept of persistent homology appeared gradually over time.[3] In 1990, Patrizio Frosini introduced the size function, which is equivalent to the 0th persistent homology.[4] Nearly a decade later, Vanessa Robins studied the images of homomorphisms induced by inclusion.[5] Finally, shortly thereafter, Edelsbrunner et al. introduced the concept of persistent homology together with an efficient algorithm and its visualization as a persistence diagram.[6] Carlsson et al. reformulated the initial definition and gave an equivalent visualization method called persistence barcodes,[7] interpreting persistence in the language of commutative algebra.[9]

In algebraic topology the persistent homology has emerged through the work of Barannikov on Morse theory. The set of critical values of smooth Morse function was canonically partitioned into pairs "birth-death", filtered complexes were classified and the visualization of their invariants, equivalent to persistence diagram and persistence barcodes, was given in 1994 by Barannikov's canonical form.[8]

Concepts

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

A point cloud is often defined as a finite set of points in some Euclidean space, but may be taken to be any finite metric space.

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

A persistence module indexed by is a vector space for each , and a linear map whenever , such that for all and whenever [9] An equivalent definition is a functor from considered as a partially ordered set to the category of vector spaces.

The persistent homology group of a point cloud is the persistence module defined as , where is the Čech complex of radius of the point cloud and is the homology group.

A persistence barcode is a multiset of intervals in , and a persistence diagram is a multiset of points in ().

The Wasserstein distance between two persistence diagrams and is defined as where and ranges over bijections between and . Please refer to figure 3.1 in Munch [10] for illustration.

The bottleneck distance between and is This is a special case of Wasserstein distance, letting .

Basic property

Structure theorem

The first classification theorem for persistent homology appeared in 1994[8] via Barannikov's canonical forms. The classification theorem interpreting persistence in the language of commutative algebra appeared in 2005:[11] for a finitely generated persistence module with field coefficients,

Intuitively, the free parts correspond to the homology generators that appear at filtration level and never disappear, while the torsion parts correspond to those that appear at filtration level and last for steps of the filtration (or equivalently, disappear at filtration level ).[8]

Persistent homology is visualized through a barcode or persistence diagram. The barcode has its root in abstract 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.[12]

Stability

Stability is desirable because it provides robustness against noise. If is any space which is homeomorphic to a simplicial complex, and are continuous tame[13] functions, then the persistence vector spaces and are finitely presented, and , where refers to the bottleneck distance[14] and is the map taking a continuous tame function to the persistence diagram of its -th homology.

Workflow

The basic workflow in TDA is:[15]

point cloudnested complexespersistence modulebarcode or diagram
  1. If is a point cloud, replace with a nested family of simplicial complexes (such as the Čech or Vietoris-Rips complex). This process converts the point cloud into a filtration of simplicial complexes. Taking the homology of each complex in this filtration gives a persistence module
  2. Apply the structure theorem to provide a parameterized version of Betti number, persistence diagram, or equivalently, barcode.

Graphically speaking,

Computation

The first algorithm over all fields for persistent homology in algebraic topology setting was described by Barannikov[8] through reduction to the canonical form by upper-triangular matrices. The first algorithm for persistent homology over was given by Edelsbrunner et al.[6] Zomorodian and Carlsson gave the first practical algorithm to compute persistent homology over all fields.[11] Edelsbrunner and Harer's book gives general guidance on computational topology.[17]

One issue that arises in computation is the choice of complex. The Čech complex and Vietoris–Rips complex are most natural at first glance; however, their size grows rapidly with the number of data points. The Vietoris–Rips complex is preferred over Čech complex because its definition is simpler and the Čech complex requires extra effort to define in a general finite metric space. Efficient ways to lower the computational cost of homology have been studied. For example, the α-complex and witness complex are used to reduce the dimension and size of complexes.[18]

Recently, Discrete Morse theory has shown promise for computational homology because it can reduce a given simplicial complex to a much smaller cellular complex which is homotopic to the original one.[19] This reduction can in fact be performed as the complex is constructed by using matroid theory, leading to further performance increases.[20] Another recent algorithm saves time by ignoring the homology classes with low persistence.[21]

Various software packages are available, such as [https://code.google.com/p/javaplex/ javaPlex], Dionysus, Perseus, PHAT, [https://github.com/DIPHA/dipha/ DIPHA], [https://project.inria.fr/gudhi/software/ Gudhi], [https://github.com/Ripser/ripser Ripser], and [https://CRAN.R-project.org/package=TDAstats TDAstats]. A comparison between these tools is done by Otter et al.[22] An R package [https://cran.r-project.org/web/packages/TDA/index.html TDA] is capable of calculating recently invented concepts like landscape and the kernel distance estimator.[23] The [https://topology-tool-kit.github.io/ Topology ToolKit] is specialized for continuous data defined on manifolds of low dimension (1, 2 or 3), as typically found in scientific visualization. Another R package, [https://CRAN.R-project.org/package=TDAstats TDAstats], implements the fast C++ Ripser library to calculate persistent homology.[24] It also uses the ubiquitous [https://CRAN.R-project.org/package=ggplot2 ggplot2] package to generate reproducible, customizable, publication-quality visualizations of persistent homology, specifically topological barcodes and persistence diagrams. The sample code below gives an example of how the R programming language can be used to compute persistent homology.

  1. install package from CRAN and load datasets

install.packages("TDAstats")

library("TDAstats")

data("unif2d")

data("circle2d")

  1. calculate persistent homology for both datasets

unif.phom <- calculate_homology(unif2d)

circ.phom <- calculate_homology(circle2d)

  1. plot uniformly distributed point cloud as persistence diagram

plot_persist(unif.phom)

  1. plot circle point cloud as topological barcode
  2. we see a single persistent bar, as expected for a circle (single 1-cycle/loop)

plot_barcode(circ.phom)

Visualization

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.[25] However, it is important to note that the problem itself is ill-posed, since many different topological features can be found in the same data set. Thus, the study of visualization of high-dimensional spaces is of central importance to TDA, although it does not necessarily involve the use of persistent homology. However, recent attempts have been made to use persistent homology in data visualization.[33]

Carlsson et al. have proposed a general method called MAPPER.[26] It inherits the idea of Serre that a covering preserves homotopy.[27] A generalized formulation of MAPPER is as follows:

Let and be topological spaces and let be a continuous map. Let be a finite open covering of . The output of MAPPER is the nerve of the pullback cover , where each preimage is split into its connected components.[28] This is a very general concept, of which the Reeb graph and merge trees are special cases.

This is not quite the original definition.[26] Carlsson et al. choose to be or , and cover it with open sets such that at most two intersect.[3] This restriction means that the output is in the form of a complex network. Because the topology of a finite point cloud is trivial, clustering methods (such as single linkage) are used to produce the analogue of connected sets in the preimage when MAPPER is applied to actual data.

Mathematically speaking, MAPPER is a variation of the Reeb graph. If the is at most one dimensional, then for each , [29] The added flexibility also has disadvantages. One problem is instability, in that some change of the choice of the cover can lead to major change of the output of the algorithm.[30] Work has been done to overcome this problem.[28]

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

A free implementation of MAPPER is available online written by Daniel Müllner and Aravindakshan Babu. MAPPER also forms the basis of Ayasdi's AI platform.

Multidimensional persistence

Multidimensional persistence is important to TDA. The concept arises in both theory and practice. The first investigation of multidimensional persistence was early in the development of TDA,[33] and is one of the founding papers of TDA.[11] The first application to appear in the literature is a method for shape comparison, similar to the invention of TDA.[34]

The definition of an n-dimensional persistence module in is[32]

  • vector space is assigned to each point in
  • map is assigned if (
  • maps satisfy for all

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

One of the advantages of one-dimensional persistence is its representability by a diagram or barcode. However, discrete complete invariants of multidimensional persistence modules do not exist.[35] The main reason for this is that the structure of the collection of indecomposables is extremely complicated by Gabriel's theorem in the theory of quiver representations,[36] although a finitely n-dim persistence module can be uniquely decomposed into a direct sum of indecomposables due to the Krull-Schmidt theorem.[37]

Nonetheless, many results have been established. Carlsson and Zomorodian introduced the rank invariant , defined as the , in which is a finitely generated n-graded module. In one dimension, it is equivalent to the barcode. In the literature, the rank invariant is often referred as the persistent Betti numbers (PBNs).[17] In many theoretical works, authors have used a more restricted definition, an analogue from sublevel set persistence. Specifically, the persistence Betti numbers of a function are given by the function , taking each to , where and .

Some basic properties include monotonicity and diagonal jump.[38] Persistent Betti numbers will be finite if is a compact and locally contractible subspace of .[39]

Using a foliation method, the k-dim PBNs can be decomposed into a family of 1-dim PBNs by dimensionality deduction.[40] This method has also led to a proof that multi-dim PBNs are stable.[41] The discontinuities of PBNs only occur at points where either is a discontinuous point of or is a discontinuous point of under the assumption that and is a compact, triangulable topological space.[42]

Persistent space, a generalization of persistent diagram, is defined as the multiset of all points with multiplicity larger than 0 and the diagonal.[43] 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 topological data analysis.[44]

The first practical algorithm to compute multidimensional persistence was invented very early.[45] After then, many other algorithms have been proposed, based on such concepts as discrete morse theory[46] and finite sample estimating.[47]

Other persistences

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

The nonzero maps in persistence module are restricted by the preorder relationship in the category. However, mathematicians have found that the unanimity 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".[48] 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.[3]

Extended persistence and levelset persistence

Some attempts is to lose the stricter restriction of the function.[49] Please refer to the Categorification and cosheaf and Impact on mathematics sections for more information.

It's natural to extend persistence homology to other basic concepts in algebraic topology, such as cohomology and relative homology/cohomology.[50] An interesting application is the computation of circular coordinates for a data set via the first persistent cohomology group.[51]

Circular persistence

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.[52] 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.[52]

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

Persistence with torsion

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.[56] One of its novelty is that it doesn't depend on some classification theory to define the metric.[74]

Categorification and cosheaves

One advantage of category theory is its ability to lift concrete results to a higher level, showing relationships between seemingly unconnected objects. Bubenik et al.[57] offers a short introduction of category theory fitted for TDA.

Category theory 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 [6] depends only on the algebraic structure carried by this diagram."[58] The use of category theory in TDA has proved to be fruitful.[57][58]

Following the notations made in Bubenik et al.,[58] the indexing category is any preordered set (not necessarily or ), the target category is any category (instead of the commonly used ), and functors are called generalized persistence modules in , over .

One advantage of using category theory in TDA is a clearer understanding of concepts and the discovery of new relationships between 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.[59] Many theorems can be proved much more easily in a more intuitive setting.[74] Another example is the relationship between the construction of different complexes from point clouds. It has long been noticed that Čech and Vietoris-Rips complexes are related. Specifically, .[84] The essential relationship between Cech and Rips complexes can be seen much more clearly in categorical language.[59]

The language of category theory also helps cast results in terms recognizable to the broader mathematical community. Bottleneck distance is widely used in TDA because of the results on stability with respect to the bottleneck distance.[9][14] In fact, the interleaving distance is the terminal object in a poset category of stable metrics on multidimensional persistence modules in a prime field.[60][61]

Sheaves, a central concept in modern algebraic geometry, are intrinsically related to category theory. Roughly speaking, sheaves are the mathematical tool for understanding how local information determines global information. 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, but with sheaf theory as the theoretical foundation.[32] Although no breakthrough in the theory of TDA has yet used sheaf theory, it is promising since there are many beautiful theorems in algebraic geometry relating to sheaf theory. For example, a natural theoretical question is whether different filtration methods result in the same output.[62]

Stability

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.[58] Specifically, general workflow of TDA is

datatopological persistence modulealgebraic persistence modulediscrete invariant

The soft stability theorem asserts that is Lipschitz continuous, and the hard stability theorem asserts that is Lipschitz continuous.

Bottleneck distance is widely used in TDA. The isometry theorem asserts that the interleaving distance is equal to the bottleneck distance.[60] Bubenik et al. have abstracted the definition to that between functors when is equipped with a sublinear projection or superlinear family, in which still remains a pseudometric.[58] Considering the magnificent characters of interleaving distance,[63] here we introduce the general definition of interleaving distance(instead of the first introduced one):[9] Let (a function from to which is monotone and satisfies for all ). A -interleaving between F and G consists of natural transformations and , such that and .

The two main results are[58]

  • Let be a preordered set with a sublinear projection or superlinear family. Let be a functor between arbitrary categories . Then for any two functors , we have .
  • Let be a poset of a metric space , be a topological space. And let (not necessarily continuous) be functions, and to be the corresponding persistence diagram. Then .

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

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."[64] (see the fundamental theorem of finitely generated abelian groups).

The main argument used in the proof of the original structure theorem is the standard structure theorem for finitely generated modules over a principal ideal domain.[11] However, this argument fails if the indexing set is .[64]

In general, not every persistence module can be decomposed into intervals.[65] Many attempts have been made at relaxing the restrictions of the original structure theorem.{{Clarify|date=December 2015}} The case for pointwise finite-dimensional persistence modules indexed by a locally finite subset of is solved based on the work of Webb.[66] The most notable result is done by Crawley-Boevey, which solved the case of . Crawley-Boevey's theorem states that any pointwise finite-dimensional persistence module is a direct sum of interval modules.[67]

To understand the definition of his theorem, some concepts need introducing. An interval in is defined as a subset having the property that if and if there is an such that , then as well. An interval module assigns to each element the vector space and assigns the zero vector space to elements in . All maps are the zero map, unless and , in which case is the identity map.[32] Interval modules are indecomposable.[68]

Although the result of Crawley-Boevey is a very powerful theorem, it still doesn't extend to the q-tame case.[65] A persistence module is q-tame if the rank of is finite for all . There are examples of q-tame persistence modules that fail to be pointwise finite.[69] However, it turns out that a similar structure theorem still holds if the features that exist only at one index value are removed.[68] This holds because the infinite dimensional parts at each index value do not persist, due to the finite-rank condition.[70] Formally, the observable category is defined as , in which denotes the full subcategory of whose objects are the ephemeral modules ( whenever ).[68]

Note that the extended results listed here do not apply to zigzag persistence, since the analogue of a zigzag persistence module over is not immediately obvious.

Statistics

Real data is always finite, and so its study requires us to take stochasticity into account. Statistical analysis gives us the ability to separate true features of the data from artifacts introduced by random noise. Persistent homology has no inherent mechanism to distinguish between low-probability features and high-probability features.

One way to apply statistics to topological data analysis is to study the statistical properties of topological features of point clouds. The study of random simplicial complexes offers some insight into statistical topology. K. Turner et al.[71] offers a summary of work in this vein.

Another way is to study probability distributions on the persistence space. The persistence space is , where is the space of all barcodes containing exactly intervals and the equivalences are if .[72] This space is fairly complicated; for example, it is not complete under the bottleneck metric. The first attempt made to study it is by Y. Mileyko et al.[73] The space of persistence diagrams in their paper is defined as where is the diagonal line in . A nice property is that is complete and separable in the Wasserstein metric . Expectation, variance, and conditional probability can be defined in the Fréchet sense. This allows many statistical tools to be ported to TDA. Works on null hypothesis significance test,[74] confidence intervals,[75] and robust estimates[76] are notable steps.

Persistence landscapes, introduced by Peter Bubenik, are a different way to represent of barcodes, more amenable to statistical analysis.[77] The persistence landscape of a persistent module is defined as a function , , where denotes the extended real line and . The space of persistence landscapes is very nice: it inherits all good properties of barcode representation (stability, easy representation, etc.), but statistical quantities can be readily defined, and some problems in Y. Mileyko et al.'s work, such as the non-uniqueness of expectations,[73] can be overcome. Effective algorithms for computation with persistence landscapes are available.[78] Another approach is to use revised persistence, which is image, kernel and cokernel persistence.[79]

Applications

Classification of applications

More than one way exists to classify the applications of TDA. Perhaps the most natural way is by field. A very incomplete list of successful applications includes [80] data skeletonization,[81] shape study,[82] graph reconstruction,[83][84][85]

[86]

image analysis,

[87][88] material,[89] progression analysis of disease,[90][91] sensor network,[92] signal analysis,[93] cosmic web,[94] complex network,[95][96][97][98] fractal geometry,[99] viral evolution,[100] propagation of contagions on networks

,[101] bacteria classification using molecular spectroscopy,[102] hyperspectral imaging in physical-chemistry [103] and remote sensing.[104]

Another way is by distinguishing the techniques by G. Carlsson,[72]{{Quote|text = 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.|sign = |source = }}

Characteristics of TDA in applications

Ayasdi is a data analysis company relying heavily on TDA, cofounded by a number of leading researchers in the field. There are several notable interesting features of the recent applications of TDA:

  1. Combining tools from several branches of mathematics. Besides the obvious need for algebra and topology, partial differential equations,&91;105&93; algebraic geometry,&91;35&93; presentation theory,&91;48&93; statistics, combinatorics, and Riemannian geometry&91;70&93; have all found use in TDA.
  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 features, thus extra geometric information is embedded in it. One evidence in theory is a partially positive result on the uniqueness of reconstruction of curves;&91;106&93; two in application are on the quantitative analysis of Fullerene stability and quantitative analysis of self-similarity, separately.&91;99&93;&91;107&93;
  3. The role of short persistence. Short persistence has also been found to be useful, despite the common belief that noise is the cause of the phenomena.&91;108&93; This is interesting to the mathematical theory.

One of the main fields of data analysis today is machine learning. Some examples of machine learning in TDA can be found in Adcock et al.[109] A conference is dedicated to the link between TDA and machine learning. In order to apply tools from machine learning, the information obtained from TDA should be represented in vector form. An ongoing and promising attempt is the persistence landscape discussed above. Another attempt uses the concept of persistence images.[110] However, one problem of this method is the loss of stability, since the hard stability theorem depends on the barcode representation.

Impact on mathematics

Topological data analysis and persistent homology have had impacts on Morse theory. Morse theory has played a very important role in the theory of TDA, including on computation. Some work in persistent homology has extended results about Morse functions to tame functions or, even to continuous functions. A forgotten result of R. Deheuvels long before the invention of persistent homology extends Morse theory to all continuous functions.[111]

One recent result is that the category of Reeb graphs is equivalent to a particular class of cosheaf.[112] This is motivated by theoretical work in TDA, since the Reeb graph is related to Morse theory and MAPPER is derived from it. The proof of this theorem relies on the interleaving distance.

It is evident to mathematicians that persistent homology is closely related to spectral sequences.[113] Zigzag persistence may turn out to be of theoretical importance to spectral sequences.

See also

  • Dimensionality reduction
  • Data mining
  • Computer vision
  • Computational topology
  • Discrete Morse theory
  • Shape analysis (digital geometry)
  • Size theory
  • Algebraic topology

References

1. ^{{Cite journal|title = Topological data analysis|journal = Inverse Problems|date = 2011-12-01|volume = 27|issue = 12|doi = 10.1088/0266-5611/27/12/120201|first = Charles|last = Epstein|author1-link=Charles Epstein|first2 = Gunnar|last2 = Carlsson|author2-link=Gunnar Carlsson|first3 = Herbert|last3 = Edelsbrunner|author3-link=Herbert Edelsbrunner|pages=120201|arxiv = 1609.08227|bibcode = 2011InvPr..27a0101E}}
2. ^{{Cite web|title=diva-portal.org/smash/record.jsf?pid=diva2%253A575329&dswid=4297 |url=http://www.diva-portal.org/smash/record.jsf?pid=diva2%253A575329&dswid=4297 |website=www.diva-portal.org |accessdate=2015-11-05 |deadurl=yes |archiveurl=https://web.archive.org/web/20151119021029/http://www.diva-portal.org/smash/record.jsf?pid=diva2%3A575329 |archivedate=November 19, 2015 }}
3. ^Edelsbrunner H. Persistent homology: theory and practice[J]. 2014.
4. ^{{Cite journal|title = A distance for similarity classes of submanifolds of a Euclidean space|url = http://journals.cambridge.org/article_S0004972700028574|journal = Bulletin of the Australian Mathematical Society|date = 1990-12-01|issn = 1755-1633|pages = 407–415|volume = 42|issue = 3|doi = 10.1017/S0004972700028574|first = Patrizio|last = Frosini}}
5. ^Robins V. Towards computing homology from finite approximations[C]//Topology proceedings. 1999, 24(1): 503-532.
6. ^1 2 {{Cite journal|title = Topological Persistence and Simplification|journal = Discrete & Computational Geometry|date = 2002-11-01|issn = 0179-5376|pages = 511–533|volume = 28|issue = 4|doi = 10.1007/s00454-002-2885-2|last1 = Edelsbrunner|last2 = Letscher|last3 = Zomorodian}}
7. ^{{Cite journal|title = Persistence barcodes for shapes|journal = International Journal of Shape Modeling|date = 2005-12-01|issn = 0218-6543|pages = 149–187|volume = 11|issue = 2|doi = 10.1142/S0218654305000761|first = Gunnar|last = Carlsson|first2 = Afra|last2 = Zomorodian|first3 = Anne|last3 = Collins|first4 = Leonidas J.|last4 = Guibas|citeseerx = 10.1.1.5.2718}}
8. ^1 2 3 {{Cite journal|title = Framed Morse complex and its invariants |url = https://www.researchgate.net/publication/267672645 |journal = Advances in Soviet Mathematics | date = 1994|pages = 93–115|volume = 21|first = Sergey|last = Barannikov}}
9. ^1 2 {{Cite book|title = Proximity of Persistence Modules and Their Diagrams|publisher = ACM|journal = Proceedings of the Twenty-fifth Annual Symposium on Computational Geometry|date = 2009-01-01|location = New York, NY, USA|isbn = 978-1-60558-501-7|pages = 237–246|series = SCG '09|doi = 10.1145/1542362.1542407|first = Frédéric|last = Chazal|first2 = David|last2 = Cohen-Steiner|first3 = Marc|last3 = Glisse|first4 = Leonidas J.|last4 = Guibas|first5 = Steve Y.|last5 = Oudot|citeseerx = 10.1.1.473.2112}}
10. ^Munch E. Applications of persistent homology to time varying systems[D]. Duke University, 2013.
11. ^1 2 3 4 5 {{Cite journal|title = Computing Persistent Homology|journal = Discrete & Computational Geometry|date = 2004-11-19|issn = 0179-5376|pages = 249–274|volume = 33|issue = 2|doi = 10.1007/s00454-004-1146-y|first = Afra|last = Zomorodian|first2 = Gunnar|last2 = Carlsson}}
12. ^{{Cite book|title = An Introduction to Homological Algebra|url = https://books.google.com/?id=flm-dBXfZ_gC&pg=PR11&dq=weibel+homological#v=onepage&q=weibel%2520homological&f=false|publisher = Cambridge University Press|date = 1995-10-27|isbn = 9780521559874|first = Charles A.|last = Weibel}}
13. ^{{cite book|last1=Shikhman|first1=Vladimir|title=Topological Aspects of Nonsmooth Optimization|date=2011|publisher=Springer Science & Business Media|isbn=9781461418979|pages=169–170|url=https://books.google.com/?id=_D4FL3i4vIQC&pg=PA169&lpg=PA169&dq=%22tame+set%22+semialgebraic#v=onepage&q=%22tame%20set%22%20semialgebraic&f=false|accessdate=22 November 2017|language=en}}
14. ^1 {{Cite journal|title = Stability of Persistence Diagrams|journal = Discrete & Computational Geometry|date = 2006-12-12|issn = 0179-5376|pages = 103–120|volume = 37|issue = 1|doi = 10.1007/s00454-006-1276-5|first = David|last = Cohen-Steiner|first2 = Herbert|last2 = Edelsbrunner|first3 = John|last3 = Harer}}
15. ^{{Cite journal|title = Barcodes: The persistent topology of data|url = http://www.ams.org/bull/2008-45-01/S0273-0979-07-01191-3/|journal = Bulletin of the American Mathematical Society|date = 2008-01-01|issn = 0273-0979|pages = 61–75|volume = 45|issue = 1|doi = 10.1090/S0273-0979-07-01191-3|first = Robert|last = Ghrist}}
16. ^{{cite arXiv|title = Optimal rates of convergence for persistence diagrams in Topological Data Analysis|eprint= 1305.6239|date = 2013-05-27|first = Frédéric|last = Chazal|first2 = Marc|last2 = Glisse|first3 = Catherine|last3 = Labruère|first4 = Bertrand|last4 = Michel|class= math.ST}}
17. ^1 {{Cite book|title = Computational Topology: An Introduction|url = https://books.google.com/books?id=MDXa6gFRZuIC|publisher = American Mathematical Soc.|date = 2010-01-01|isbn = 9780821849255|first = Herbert|last = Edelsbrunner|first2 = John|last2 = Harer}}
18. ^{{Cite book|title = Topological Estimation Using Witness Complexes|publisher = Eurographics Association|journal = Proceedings of the First Eurographics Conference on Point-Based Graphics|date = 2004-01-01|location = Aire-la-Ville, Switzerland, Switzerland|isbn = 978-3-905673-09-8|pages = 157–166|series = SPBG'04|doi = 10.2312/SPBG/SPBG04/157-166|first = Vin|last = De Silva|first2 = Gunnar|last2 = Carlsson}}
19. ^{{Cite journal|title = Morse Theory for Filtrations and Efficient Computation of Persistent Homology|journal = Discrete & Computational Geometry|date = 2013-07-27|issn = 0179-5376|pages = 330–353|volume = 50|issue = 2|doi = 10.1007/s00454-013-9529-6|first = Konstantin|last = Mischaikow|first2 = Vidit|last2 = Nanda}}
20. ^{{cite journal|last1=Henselman|first1=Gregory|last2=Ghrist|first2=Robert|title=Matroid Filtrations and Computational Persistent Homology|date=1 Jun 2016|arxiv=1606.00199|bibcode=2016arXiv160600199H}}
21. ^{{Cite journal|title = An output-sensitive algorithm for persistent homology|url = http://www.sciencedirect.com/science/article/pii/S0925772112001435|journal = Computational Geometry|date = 2013-05-01|pages = 435–447|volume = 46|series = 27th Annual Symposium on Computational Geometry (SoCG 2011)|issue = 4|doi = 10.1016/j.comgeo.2012.02.010|first = Chao|last = Chen|first2 = Michael|last2 = Kerber}}
22. ^{{cite journal|title = A roadmap for the computation of persistent homology|journal= EPJ Data Science|volume= 6|arxiv= 1506.08903|date = 2015-06-29|first = Nina|last = Otter|first2 = Mason A.|last2 = Porter|first3 = Ulrike|last3 = Tillmann|first4 = Peter|last4 = Grindrod|first5 = Heather A.|last5 = Harrington|author5-link=Heather Harrington|doi= 10.1140/epjds/s13688-017-0109-5}}
23. ^{{cite arXiv|title = Introduction to the R package TDA|eprint= 1411.1830|date = 2014-11-07|first = Brittany Terese|last = Fasy|first2 = Jisu|last2 = Kim|first3 = Fabrizio|last3 = Lecci|first4 = Clément|last4 = Maria|class= cs.MS}}
24. ^{{Cite journal|title = TDAstats: R pipeline for computing persistent homology in topological data analysis|journal = Journal of Open Source Software|date = 2018|pages=860|volume = 3|issue = 28|doi = 10.21105/joss.00860|first = Raoul|last = Wadhwa|first2 = Drew|last2 = Williamson|first3 = Andrew|last3 = Dhawan|first4 = Jacob|last4 = Scott}}
25. ^Liu S, Maljovec D, Wang B, et al. Visualizing High-Dimensional Data: Advances in the Past Decade[J].
26. ^1 {{Cite journal|title = Download Limit Exceeded|citeseerx = 10.1.1.161.8956}}
27. ^{{Cite book|title = Differential Forms in Algebraic Topology|url = https://books.google.com/books?id=COuPBAAAQBAJ|publisher = Springer Science & Business Media|date = 2013-04-17|isbn = 9781475739510|first = Raoul|last = Bott|first2 = Loring W.|last2 = Tu}}
28. ^1 2 {{cite arXiv|title = Mutiscale Mapper: A Framework for Topological Summarization of Data and Maps|eprint= 1504.03763|date = 2015-04-14|first = Tamal K.|last = Dey|author1-link=Tamal Dey|first2 = Facundo|last2 = Memoli|first3 = Yusu|last3 = Wang|author3-link= Yusu Wang |class= cs.CG}}
29. ^{{cite arXiv|title = Sheaves, Cosheaves and Applications|eprint= 1303.3255|date = 2013-03-13|first = Justin|last = Curry|class= math.AT}}
30. ^{{Cite journal|title = A fast algorithm for constructing topological structure in large data|url = http://projecteuclid.org/euclid.hha/1355321072|journal = Homology, Homotopy and Applications|date = 2012-01-01|issn = 1532-0073|pages = 221–238|volume = 14|issue = 1|first = Xu|last = Liu|first2 = Zheng|last2 = Xie|first3 = Dongyun|last3 = Yi|doi=10.4310/hha.2012.v14.n1.a11}}
31. ^{{Cite journal|title = Extracting insights from the shape of complex data using topology|url = http://www.nature.com/articles/srep01236?message-global=remove&WT.ec_id=SREP-639-20130301|journal = Scientific Reports|date = 2013-02-07|pmc = 3566620|pmid = 23393618|volume = 3|pages = 1236|doi = 10.1038/srep01236|first = P. Y.|last = Lum|first2 = G.|last2 = Singh|first3 = A.|last3 = Lehman|first4 = T.|last4 = Ishkanov|first5 = M.|last5 = Vejdemo-Johansson|first6 = M.|last6 = Alagappan|first7 = J.|last7 = Carlsson|first8 = G.|last8 = Carlsson|bibcode = 2013NatSR...3E1236L}}
32. ^1 2 3 4 {{cite arXiv|title = Topological Data Analysis and Cosheaves|eprint= 1411.0613|date = 2014-11-03|first = Justin|last = Curry|class= math.AT}}
33. ^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.
34. ^{{Cite journal|title = Multidimensional Size Functions for Shape Comparison|journal = Journal of Mathematical Imaging and Vision|date = 2008-05-17|issn = 0924-9907|pages = 161–179|volume = 32|issue = 2|doi = 10.1007/s10851-008-0096-z|first = S.|last = Biasotti|first2 = A.|last2 = Cerri|first3 = P.|last3 = Frosini|first4 = D.|last4 = Giorgi|first5 = C.|last5 = Landi}}
35. ^1 {{Cite journal|title = The Theory of Multidimensional Persistence|journal = Discrete & Computational Geometry|date = 2009-04-24|issn = 0179-5376|pages = 71–93|volume = 42|issue = 1|doi = 10.1007/s00454-009-9176-0|first = Gunnar|last = Carlsson|first2 = Afra|last2 = Zomorodian}}
36. ^Derksen H, Weyman J. Quiver representations[J]. Notices of the AMS, 2005, 52(2): 200-206.
37. ^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.
38. ^Cerri A, Di Fabio B, Ferri M, et al. Multidimensional persistent homology is stable[J]. {{arxiv|0908.0064}}, 2009.
39. ^{{Cite journal|title = Finiteness of rank invariants of multidimensional persistent homology groups|url = http://www.sciencedirect.com/science/article/pii/S0893965910004118|journal = Applied Mathematics Letters|date = 2011-04-01|pages = 516–518|volume = 24|issue = 4|doi = 10.1016/j.aml.2010.11.004|first = Francesca|last = Cagliari|first2 = Claudia|last2 = Landi|arxiv = 1001.0358}}
40. ^{{Cite journal|title = One-dimensional reduction of multidimensional persistent homology|url = http://www.ams.org/proc/2010-138-08/S0002-9939-10-10312-8/|journal = Proceedings of the American Mathematical Society|date = 2010-01-01|issn = 0002-9939|pages = 3003–3017|volume = 138|issue = 8|doi = 10.1090/S0002-9939-10-10312-8|first = Francesca|last = Cagliari|first2 = Barbara|last2 = Di Fabio|first3 = Massimo|last3 = Ferri|arxiv = math/0702713}}
41. ^{{Cite journal|title = Betti numbers in multidimensional persistent homology are stable functions|journal = Mathematical Methods in the Applied Sciences|date = 2013-08-01|issn = 1099-1476|pages = 1543–1557|volume = 36|issue = 12|doi = 10.1002/mma.2704|first = Andrea|last = Cerri|first2 = Barbara Di|last2 = Fabio|first3 = Massimo|last3 = Ferri|first4 = Patrizio|last4 = Frosini|first5 = Claudia|last5 = Landi|bibcode = 2013MMAS...36.1543C|url = http://amsacta.unibo.it/2923/}}
42. ^{{Cite journal|title = Necessary conditions for discontinuities of multidimensional persistent Betti numbers|journal = Mathematical Methods in the Applied Sciences|date = 2015-03-15|issn = 1099-1476|pages = 617–629|volume = 38|issue = 4|doi = 10.1002/mma.3093|first = Andrea|last = Cerri|first2 = Patrizio|last2 = Frosini|bibcode = 2015MMAS...38..617C}}
43. ^{{Cite book|title = The Persistence Space in Multidimensional Persistent Homology|publisher = Springer Berlin Heidelberg|date = 2013-03-20|isbn = 978-3-642-37066-3|pages = 180–191|series = Lecture Notes in Computer Science|doi = 10.1007/978-3-642-37067-0_16|first = Andrea|last = Cerri|first2 = Claudia|last2 = Landi|editor-first = Rocio|editor-last = Gonzalez-Diaz|editor-first2 = Maria-Jose|editor-last2 = Jimenez|editor-first3 = Belen|editor-last3 = Medrano}}
44. ^{{cite arXiv|title = Numeric Invariants from Multidimensional Persistence|eprint= 1411.4022|date = 2014-11-14|first = Jacek|last = Skryzalin|first2 = Gunnar|last2 = Carlsson|class= cs.CG}}
45. ^{{Cite book|title = Computing Multidimensional Persistence|publisher = Springer Berlin Heidelberg|date = 2009-12-16|isbn = 978-3-642-10630-9|pages = 730–739|series = Lecture Notes in Computer Science|doi = 10.1007/978-3-642-10631-6_74|first = Gunnar|last = Carlsson|first2 = Gurjeet|last2 = Singh|first3 = Afra|last3 = Zomorodian|editor-first = Yingfei|editor-last = Dong|editor-first2 = Ding-Zhu|editor-last2 = Du|editor-first3 = Oscar|editor-last3 = Ibarra|citeseerx = 10.1.1.313.7004}}
46. ^{{cite arXiv|title = Reducing complexes in multidimensional persistent homology theory|eprint= 1310.8089|date = 2013-10-30|first = Madjid|last = Allili|first2 = Tomasz|last2 = Kaczynski|first3 = Claudia|last3 = Landi|class= cs.CG}}
47. ^Cavazza N, Ferri M, Landi C. Estimating multidimensional persistent homology through a finite sampling[J]. 2010.
48. ^1 {{Cite journal|title = Zigzag Persistence|journal = Foundations of Computational Mathematics|date = 2010-04-21|issn = 1615-3375|pages = 367–405|volume = 10|issue = 4|doi = 10.1007/s10208-010-9066-0|first = Gunnar|last = Carlsson|first2 = Vin de|last2 = Silva}}
49. ^{{Cite journal|title = Extending Persistence Using Poincaré and Lefschetz Duality|journal = Foundations of Computational Mathematics|date = 2008-04-04|issn = 1615-3375|pages = 79–103|volume = 9|issue = 1|doi = 10.1007/s10208-008-9027-z|first = David|last = Cohen-Steiner|first2 = Herbert|last2 = Edelsbrunner|first3 = John|last3 = Harer}}
50. ^{{Cite journal|title = Dualities in persistent (co)homology|journal = Inverse Problems|volume = 27|issue = 12|doi = 10.1088/0266-5611/27/12/124003|first = Vin|last = de Silva|first2 = Dmitriy|last2 = Morozov|first3 = Mikael|last3 = Vejdemo-Johansson|pages=124003|arxiv = 1107.5665|bibcode = 2011InvPr..27l4003D|year = 2011}}
51. ^{{Cite journal|title = Persistent Cohomology and Circular Coordinates|journal = Discrete & Computational Geometry|date = 2011-03-30|issn = 0179-5376|pages = 737–759|volume = 45|issue = 4|doi = 10.1007/s00454-011-9344-x|first = Vin de|last = Silva|first2 = Dmitriy|last2 = Morozov|first3 = Mikael|last3 = Vejdemo-Johansson}}
52. ^1 {{Cite journal|title = Topological Persistence for Circle-Valued Maps|journal = Discrete & Computational Geometry|date = 2013-04-09|issn = 0179-5376|pages = 69–98|volume = 50|issue = 1|doi = 10.1007/s00454-013-9497-x|first = Dan|last = Burghelea|first2 = Tamal K.|last2 = Dey}}
53. ^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.
54. ^{{Cite book|title = Handbook of Graph Theory|url = https://books.google.com/books?id=mKkIGIea_BkC|publisher = CRC Press|date = 2004-06-02|isbn = 9780203490204|first = Jonathan L.|last = Gross|first2 = Jay|last2 = Yellen}}
55. ^{{cite arXiv|title = Topology of angle valued maps, bar codes and Jordan blocks|eprint= 1303.4328|date = 2015-06-04|first = Dan|last = Burghelea|first2 = Stefan|last2 = Haller|class= math.AT}}
56. ^{{Cite journal|title = Stable Comparison of Multidimensional Persistent Homology Groups with Torsion|journal = Acta Applicandae Mathematicae|date = 2012-06-23|issn = 0167-8019|pages = 43–54|volume = 124|issue = 1|doi = 10.1007/s10440-012-9769-0|first = Patrizio|last = Frosini|arxiv = 1012.4169}}
57. ^1 {{Cite journal|title = Categorification of Persistent Homology|journal = Discrete & Computational Geometry|date = 2014-01-28|issn = 0179-5376|pages = 600–627|volume = 51|issue = 3|doi = 10.1007/s00454-014-9573-x|first = Peter|last = Bubenik|first2 = Jonathan A.|last2 = Scott}}
58. ^1 2 3 4 5 {{Cite journal|title = Metrics for Generalized Persistence Modules|journal = Foundations of Computational Mathematics|date = 2014-10-09|issn = 1615-3375|pages = 1501–1531|volume = 15|issue = 6|doi = 10.1007/s10208-014-9229-5|first = Peter|last = Bubenik|first2 = Vin de|last2 = Silva|first3 = Jonathan|last3 = Scott|citeseerx = 10.1.1.748.3101}}
59. ^1 {{Cite book|title = Geometry in the Space of Persistence Modules|publisher = ACM|journal = Proceedings of the Twenty-ninth Annual Symposium on Computational Geometry|date = 2013-01-01|location = New York, NY, USA|isbn = 978-1-4503-2031-3|pages = 397–404|series = SoCG '13|doi = 10.1145/2462356.2462402|first = Vin|last = de Silva|first2 = Vidit|last2 = Nanda}}
60. ^1 2 3 {{Cite journal|title = The Theory of the Interleaving Distance on Multidimensional Persistence Modules|journal = Foundations of Computational Mathematics|date = 2015-03-24|issn = 1615-3375|pages = 613–650|volume = 15|issue = 3|doi = 10.1007/s10208-015-9255-y|first = Michael|last = Lesnick|arxiv = 1106.5305}}
61. ^{{Cite journal|title = Natural Pseudo-Distance and Optimal Matching between Reduced Size Functions|journal = Acta Applicandae Mathematicae|date = 2008-10-14|issn = 0167-8019|pages = 527–554|volume = 109|issue = 2|doi = 10.1007/s10440-008-9332-1|first = Michele|last = d’Amico|first2 = Patrizio|last2 = Frosini|first3 = Claudia|last3 = Landi|arxiv = 0804.3500}}
62. ^{{Cite journal|title = Filtrations induced by continuous functions|url = http://www.sciencedirect.com/science/article/pii/S0166864113001892|journal = Topology and its Applications|date = 2013-08-01|pages = 1413–1422|volume = 160|issue = 12|doi = 10.1016/j.topol.2013.05.013|first = B.|last = Di Fabio|first2 = P.|last2 = Frosini}}
63. ^{{cite arXiv|title = Multidimensional Interleavings and Applications to Topological Inference|eprint= 1206.1365|date = 2012-06-06|first = Michael|last = Lesnick|class= math.AT}}
64. ^1 2 3 4 {{Cite journal|title = Topology and data|url = http://www.ams.org/bull/2009-46-02/S0273-0979-09-01249-X/|journal = Bulletin of the American Mathematical Society|date = 2009-01-01|issn = 0273-0979|pages = 255–308|volume = 46|issue = 2|doi = 10.1090/S0273-0979-09-01249-X|first = Gunnar|last = Carlsson}}
65. ^1 {{cite arXiv|title = The structure and stability of persistence modules|eprint= 1207.3674|date = 2012-07-16|first = Frederic|last = Chazal|first2 = Vin|last2 = de Silva|first3 = Marc|last3 = Glisse|first4 = Steve|last4 = Oudot|class= math.AT}}
66. ^{{Cite journal|title = Decomposition of graded modules|url = http://www.ams.org/proc/1985-094-04/S0002-9939-1985-0792261-6/|journal = Proceedings of the American Mathematical Society|date = 1985-01-01|issn = 0002-9939|pages = 565–571|volume = 94|issue = 4|doi = 10.1090/S0002-9939-1985-0792261-6|first = Cary|last = Webb}}
67. ^{{Cite journal|title = Decomposition of pointwise finite-dimensional persistence modules|journal = Journal of Algebra and its Applications|volume = 14|issue = 5|doi = 10.1142/s0219498815500668|first = William|last = Crawley-Boevey|pages=1550066|year = 2015|arxiv = 1210.0819}}
68. ^1 2 {{cite arXiv|title = The observable structure of persistence modules|eprint= 1405.5644|date = 2014-05-22|first = Frederic|last = Chazal|first2 = William|last2 = Crawley-Boevey|first3 = Vin|last3 = de Silva|class= math.RT}}
69. ^{{cite arXiv|title = A subset of Euclidean space with large Vietoris-Rips homology|eprint= 1210.4097|date = 2012-10-15|first = Jean-Marie|last = Droz|class= math.GT}}
70. ^1 Weinberger S. What is... persistent homology?[J]. Notices of the AMS, 2011, 58(1): 36-39.
71. ^{{Cite journal|title = Fréchet Means for Distributions of Persistence Diagrams|journal = Discrete & Computational Geometry|date = 2014-07-12|issn = 0179-5376|pages = 44–70|volume = 52|issue = 1|doi = 10.1007/s00454-014-9604-7|first = Katharine|last = Turner|first2 = Yuriy|last2 = Mileyko|first3 = Sayan|last3 = Mukherjee|first4 = John|last4 = Harer}}
72. ^1 {{Cite journal|title = Topological pattern recognition for point cloud data|url = http://journals.cambridge.org/article_S0962492914000051|journal = Acta Numerica|date = 2014-05-01|issn = 1474-0508|pages = 289–368|volume = 23|doi = 10.1017/S0962492914000051|first = Gunnar|last = Carlsson}}
73. ^1 {{Cite journal|title = Probability measures on the space of persistence diagrams|journal = Inverse Problems|date = 2011-11-10|issn = 0266-5611|pages = 124007|volume = 27|issue = 12|doi = 10.1088/0266-5611/27/12/124007|first = Yuriy|last = Mileyko|first2 = Sayan|last2 = Mukherjee|first3 = John|last3 = Harer|bibcode = 2011InvPr..27l4007M}}
74. ^{{cite arXiv|title = Hypothesis Testing for Topological Data Analysis|eprint= 1310.7467|date = 2013-10-28|first = Andrew|last = Robinson|first2 = Katharine|last2 = Turner|class= stat.AP}}
75. ^{{Cite journal|title = Confidence sets for persistence diagrams|url = http://projecteuclid.org/euclid.aos/1413810729|journal = The Annals of Statistics|date = 2014-12-01|issn = 0090-5364|pages = 2301–2339|volume = 42|issue = 6|doi = 10.1214/14-AOS1252|first = Brittany Terese|last = Fasy|first2 = Fabrizio|last2 = Lecci|first3 = Alessandro|last3 = Rinaldo|first4 = Larry|last4 = Wasserman|first5 = Sivaraman|last5 = Balakrishnan|first6 = Aarti|last6 = Singh}}
76. ^{{Cite journal|title = Robust Statistics, Hypothesis Testing, and Confidence Intervals for Persistent Homology on Metric Measure Spaces|journal = Foundations of Computational Mathematics|date = 2014-05-15|issn = 1615-3375|pages = 745–789|volume = 14|issue = 4|doi = 10.1007/s10208-014-9201-4|first = Andrew J.|last = Blumberg|first2 = Itamar|last2 = Gal|first3 = Michael A.|last3 = Mandell|first4 = Matthew|last4 = Pancia|arxiv = 1206.4581}}
77. ^{{cite arXiv|title = Statistical topological data analysis using persistence landscapes|eprint= 1207.6437|date = 2012-07-26|first = Peter|last = Bubenik|class= math.AT}}
78. ^{{cite journal|title = A persistence landscapes toolbox for topological statistics|arxiv= 1501.00179|date = 2014-12-31|first = Peter|last = Bubenik|first2 = Pawel|last2 = Dlotko|doi=10.1016/j.jsc.2016.03.009|volume=78|journal=Journal of Symbolic Computation|pages=91–114}}
79. ^{{Cite book|pages = 1011–1020|doi = 10.1137/1.9781611973068.110|first = David|last = Cohen-Steiner|first2 = Herbert|last2 = Edelsbrunner|first3 = John|last3 = Harer|first4 = Dmitriy|last4 = Morozov|title = Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms|year = 2009|isbn = 978-0-89871-680-1|citeseerx = 10.1.1.179.3236}}
80. ^{{Cite journal | title = A one-dimensional Homologically Persistent Skeleton of an unstructured point cloud in any metric space | url = http://kurlin.org/projects/persistent-skeleton.pdf|journal = Computer Graphics Forum (CGF) | volume = 34 | issue = 5 | pages = 253–262 | date = 2015 | doi = 10.1111/cgf.12713 | first = V. | last = Kurlin}}
81. ^{{Cite book|title = A fast and robust algorithm to count topologically persistent holes in noisy clouds |url = http://kurlin.org/projects/counting-holes-in-noisy-clouds.pdf|journal = IEEE Conference on Computer Vision and Pattern Recognition |pages = 1458–1463| date = 2014 | doi = 10.1109/CVPR.2014.189 | first = V. | last = Kurlin |isbn = 978-1-4799-5118-5|arxiv = 1312.1492}}
82. ^{{Cite book | title = A Homologically Persistent Skeleton is a fast and robust descriptor of interest points in 2D images | url = http://kurlin.org/projects/persistent-skeleton-dim2.pdf | journal = Lecture Notes in Computer Science (Proceedings of CAIP: Computer Analysis of Images and Patterns) | volume = 9256 | pages = 606–617 | date = 2015 | doi = 10.1007/978-3-319-23192-1_51 | first = V. | last = Kurlin | series = Lecture Notes in Computer Science | isbn = 978-3-319-23191-4 }}
83. ^{{Cite journal|title = Retrieval of trademark images by means of size functions|url = http://www.sciencedirect.com/science/article/pii/S1524070306000592|journal = Graphical Models|date = 2006-09-01|pages = 451–471|volume = 68|series = Special Issue on the Vision, Video and Graphics Conference 2005|issue = 5–6|doi = 10.1016/j.gmod.2006.07.001|first = A.|last = Cerri|first2 = M.|last2 = Ferri|first3 = D.|last3 = Giorgi}}
84. ^{{Cite journal|title = Gromov-Hausdorff Stable Signatures for Shapes using Persistence|journal = Computer Graphics Forum|date = 2009-07-01|issn = 1467-8659|pages = 1393–1403|volume = 28|issue = 5|doi = 10.1111/j.1467-8659.2009.01516.x|first = Frédéric|last = Chazal|first2 = David|last2 = Cohen-Steiner|first3 = Leonidas J.|last3 = Guibas|first4 = Facundo|last4 = Mémoli|first5 = Steve Y.|last5 = Oudot|citeseerx = 10.1.1.161.9103}}
85. ^{{Cite journal|title = Size functions for comparing 3D models|url = http://www.sciencedirect.com/science/article/pii/S0031320308000733|journal = Pattern Recognition|date = 2008-09-01|pages = 2855–2873|volume = 41|issue = 9|doi = 10.1016/j.patcog.2008.02.003|first = S.|last = Biasotti|first2 = D.|last2 = Giorgi|first3 = M.|last3 = Spagnuolo|first4 = B.|last4 = Falcidieno}}
86. ^{{Cite journal|title = Persistence-based Structural Recognition|url = http://www.lix.polytechnique.fr/~maks/papers/li-CVPR-14.pdf|journal = IEEE Conference on Computer Vision and Pattern Recognition |date = 2014|first = C.|last = Li|first2 = M.|last2 = Ovsjanikov |first3 = F.|last3 = Chazal}}
87. ^{{Cite journal|title = Computing Robustness and Persistence for Images|url = http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=5613465&url=http%253A%252F%252Fieeexplore.ieee.org%252Fxpls%252Fabs_all.jsp%253Farnumber%253D5613465|journal = IEEE Transactions on Visualization and Computer Graphics|date = 2010-11-01|issn = 1077-2626|pages = 1251–1260|volume = 16|issue = 6|doi = 10.1109/TVCG.2010.139|pmid = 20975165|first = P.|last = Bendich|first2 = H.|last2 = Edelsbrunner|first3 = M.|last3 = Kerber|citeseerx = 10.1.1.185.523}}
88. ^{{Cite journal|title = On the Local Behavior of Spaces of Natural Images|journal = International Journal of Computer Vision|date = 2007-06-30|issn = 0920-5691|pages = 1–12|volume = 76|issue = 1|doi = 10.1007/s11263-007-0056-x|first = Gunnar|last = Carlsson|first2 = Tigran|last2 = Ishkhanov|first3 = Vin de|last3 = Silva|first4 = Afra|last4 = Zomorodian|citeseerx = 10.1.1.463.7101}}
89. ^{{cite arXiv|title = Persistent Homology and Many-Body Atomic Structure for Medium-Range Order in the Glass|eprint= 1502.07445|date = 2015-02-26|first = Takenobu|last = Nakamura|first2 = Yasuaki|last2 = Hiraoka|first3 = Akihiko|last3 = Hirata|first4 = Emerson G.|last4 = Escolar|first5 = Yasumasa|last5 = Nishiura|class= cond-mat.soft}}
90. ^{{Cite journal|title = Topology based data analysis identifies a subgroup of breast cancers with a unique mutational profile and excellent survival|url = http://www.pnas.org/content/108/17/7265|journal = Proceedings of the National Academy of Sciences|date = 2011-04-26|issn = 0027-8424|pmc = 3084136|pmid = 21482760|pages = 7265–7270|volume = 108|issue = 17|doi = 10.1073/pnas.1102826108|first = Monica|last = Nicolau|first2 = Arnold J.|last2 = Levine|first3 = Gunnar|last3 = Carlsson|bibcode = 2011PNAS..108.7265N}}
91. ^{{Cite book|title = Disease Progression Analysis: Towards Mechanism-Based Models|publisher = Springer New York|date = 2011-01-01|isbn = 978-1-4419-7414-3|pages = 433–455|series = AAPS Advances in the Pharmaceutical Sciences Series|first = Stephan|last = Schmidt|first2 = Teun M.|last2 = Post|first3 = Massoud A.|last3 = Boroujerdi|first4 = Charlotte van|last4 = Kesteren|first5 = Bart A.|last5 = Ploeger|first6 = Oscar E. Della|last6 = Pasqua|first7 = Meindert|last7 = Danhof|editor-first = Holly H. C.|editor-last = Kimko|editor-first2 = Carl C.|editor-last2 = Peck|doi = 10.1007/978-1-4419-7415-0_19}}
92. ^1 De Silva V, Ghrist R. Coverage in sensor networks via persistent homology[J]. Algebraic & Geometric Topology, 2007, 7(1): 339-358.
93. ^{{Cite journal|title = Sliding Windows and Persistence: An Application of Topological Methods to Signal Analysis|journal = Foundations of Computational Mathematics|date = 2014-05-29|issn = 1615-3375|pages = 799–838|volume = 15|issue = 3|doi = 10.1007/s10208-014-9206-z|first = Jose A.|last = Perea|first2 = John|last2 = Harer|citeseerx = 10.1.1.357.6648}}
94. ^{{Cite book|title = Transactions on Computational Science XIV|url = http://dl.acm.org/citation.cfm?id=2172419.2172422|publisher = Springer-Verlag|date = 2011-01-01|location = Berlin, Heidelberg|isbn = 978-3-642-25248-8|pages = 60–101|first = Rien|last = van de Weygaert|first2 = Gert|last2 = Vegter|first3 = Herbert|last3 = Edelsbrunner|first4 = Bernard J. T.|last4 = Jones|first5 = Pratyush|last5 = Pranav|first6 = Changbom|last6 = Park|first7 = Wojciech A.|last7 = Hellwing|first8 = Bob|last8 = Eldering|first9 = Nico|last9 = Kruithof|editor-first = Marina L.|editor-last = Gavrilova|editor-first2 = C. Kenneth|editor-last2 = Tan|editor-first3 = Mir Abolfazl|editor-last3 = Mostafavi}}
95. ^{{Cite journal|title = Persistent homology of complex networks - IOPscience|date = 2009-03-01|doi = 10.1088/1742-5468/2009/03/p03034 |first = Danijela|last = Horak|first2 = Slobodan|last2 = Maletić|first3 = Milan|last3 = Rajković|volume=2009|issue = 3|journal=Journal of Statistical Mechanics: Theory and Experiment|pages=P03034|arxiv = 0811.2203|bibcode = 2009JSMTE..03..034H}}
96. ^{{Cite journal|title = Persistent Homology of Collaboration Networks|url = http://www.hindawi.com/journals/mpe/2013/815035/abs/|journal = Mathematical Problems in Engineering|date = 2013-06-04|pages = 1–7|volume = 2013|doi = 10.1155/2013/815035|first = C. J.|last = Carstens|first2 = K. J.|last2 = Horadam}}
97. ^{{Cite journal|title = Persistent Brain Network Homology From the Perspective of Dendrogram|url = http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=6307875&url=http%253A%252F%252Fieeexplore.ieee.org%252Fxpls%252Fabs_all.jsp%253Farnumber%253D6307875|journal = IEEE Transactions on Medical Imaging|date = 2012-12-01|issn = 0278-0062|pages = 2267–2277|volume = 31|issue = 12|doi = 10.1109/TMI.2012.2219590|pmid = 23008247|first = Hyekyoung|last = Lee|first2 = Hyejin|last2 = Kang|first3 = M.K.|last3 = Chung|first4 = Bung-Nyun|last4 = Kim|first5 = Dong Soo|last5 = Lee|citeseerx = 10.1.1.259.2692}}
98. ^{{Cite journal|title = Homological scaffolds of brain functional networks|url = http://rsif.royalsocietypublishing.org/content/11/101/20140873|journal = Journal of the Royal Society Interface|date = 2014-12-06|issn = 1742-5689|pmc = 4223908|pmid = 25401177|pages = 20140873|volume = 11|issue = 101|doi = 10.1098/rsif.2014.0873|first = G.|last = Petri|first2 = P.|last2 = Expert|first3 = F.|last3 = Turkheimer|first4 = R.|last4 = Carhart-Harris|first5 = D.|last5 = Nutt|first6 = P. J.|last6 = Hellyer|first7 = F.|last7 = Vaccarino}}
99. ^1 {{Cite journal|title = Measuring shape with topology|journal = Journal of Mathematical Physics|date = 2012-07-01|issn = 0022-2488|pages = 073516|volume = 53|issue = 7|doi = 10.1063/1.4737391|first = Robert|last = MacPherson|first2 = Benjamin|last2 = Schweinhart|bibcode = 2012JMP....53g3516M|arxiv = 1011.2258}}
100. ^{{Cite journal|title = Topology of viral evolution|url = http://www.pnas.org/content/110/46/18566|journal = Proceedings of the National Academy of Sciences|date = 2013-11-12|issn = 0027-8424|pmc = 3831954|pmid = 24170857|pages = 18566–18571|volume = 110|issue = 46|doi = 10.1073/pnas.1313480110|first = Joseph Minhow|last = Chan|first2 = Gunnar|last2 = Carlsson|first3 = Raul|last3 = Rabadan|bibcode = 2013PNAS..11018566C}}
101. ^{{Cite journal|title = Topological data analysis of contagion maps for examining spreading processes on networks|journal = Nature Communications|date = 2015-08-21|issn = 2041-1723 |pages = 7723|issue = 6|doi = 10.1038/ncomms8723|pmid = 26194875|first = D.|last = Taylor|first2 = et.|last2 = al|volume=6|arxiv = 1408.1168|bibcode = 2015NatCo...6E7723T}}
102. ^{{Cite journal | title = Topological data analysis: A promising big data exploration tool in biology, analytical chemistry and physical chemistry | journal = Analytica Chimica Acta | volume = 910 | pages = 1–11 | date = 2016 | doi = 10.1016/j.aca.2015.12.037 | pmid = 26873463 | first = M. | last = Offroy}}
103. ^{{Cite journal | title = Exploring hyperspectral imaging data sets with topological data analysis | journal = Analytica Chimica Acta | volume = 1000 | pages = 123–131 | date = 2018 | doi = 10.1016/j.aca.2017.11.029 | pmid = 29289301 | first = L. | last = Duponchel}}
104. ^{{Cite journal | title = When remote sensing meets topological data analysis | journal = Journal of Spectral Imaging | volume = 7 | pages = a1 | date = 2018 | doi = 10.1255/jsi.2018.a1 | first = L. | last = Duponchel}}
105. ^{{cite arXiv|title = Objective-oriented Persistent Homology|eprint= 1412.2368|date = 2014-12-07|first = Bao|last = Wang|first2 = Guo-Wei|last2 = Wei|class= q-bio.BM}}
106. ^{{Cite journal|title = Uniqueness of models in persistent homology: the case of curves|doi = 10.1088/0266-5611/27/12/124005 | volume=27|issue = 12|journal=Inverse Problems|pages=124005|first = Patrizio|last = Frosini|first2 = Claudia|last2 = Landi|arxiv=1012.5783|bibcode=2011InvPr..27l4005F|year = 2011 }}
107. ^{{Cite journal|title = Persistent homology for the quantitative prediction of fullerene stability|journal = Journal of Computational Chemistry|date = 2015-03-05|issn = 1096-987X|pmc = 4324100|pmid = 25523342|pages = 408–422|volume = 36|issue = 6|doi = 10.1002/jcc.23816|first = Kelin|last = Xia|first2 = Xin|last2 = Feng|first3 = Yiying|last3 = Tong|first4 = Guo Wei|last4 = Wei}}
108. ^{{Cite journal|title = Persistent homology analysis of protein structure, flexibility, and folding|journal = International Journal for Numerical Methods in Biomedical Engineering|date = 2014-08-01|issn = 2040-7947|pmc = 4131872|pmid = 24902720|pages = 814–844|volume = 30|issue = 8|doi = 10.1002/cnm.2655|first = Kelin|last = Xia|first2 = Guo-Wei|last2 = Wei}}
109. ^{{Cite journal|title = The ring of algebraic functions on persistence bar codes|url = http://intlpress.com/site/pub/files/_fulltext/journals/hha/2016/0018/0001/HHA-2016-0018-0001-a021.pdf|journal=Homology, Homotopy, and Applications|date = 2016-05-31|pages = 381–402|volume = 18|issue = 1|doi = 10.4310/hha.2016.v18.n1.a21|first = Aaron|last = Adcock|first2 = Erik|last2 = Carlsson|first3 = Gunnar|last3=Carlsson}}
110. ^{{cite arXiv|title = Persistence Images: An Alternative Persistent Homology Representation|eprint= 1507.06217|date = 2015-07-22|first = Sofya|last = Chepushtanova|first2 = Tegan|last2 = Emerson|first3 = Eric|last3 = Hanson|first4 = Michael|last4 = Kirby|first5 = Francis|last5 = Motta|first6 = Rachel|last6 = Neville|first7 = Chris|last7 = Peterson|first8 = Patrick|last8 = Shipman|first9 = Lori|last9 = Ziegelmeier|class= cs.CG}}
111. ^{{Cite journal|title = Topologie D'Une Fonctionnelle|journal = Annals of Mathematics|date = 1955-01-01|pages = 13–72|volume = 61|series = Second Series|issue = 1|doi = 10.2307/1969619|first = Rene|last = Deheuvels|jstor=1969619}}
112. ^{{Cite journal|title = Categorified Reeb graphs|journal=Discrete and Computational Geometry|volume=55|issue=4|pages=854–906|first=Vin|last=de Silva|first2=Elizabeth|last2=Munch|first3=Amit|last3 = Patel|doi=10.1007/s00454-016-9763-9|date=2016-04-13|arxiv=1501.04147}}
113. ^{{Cite book|title = Surveys on Discrete and Computational Geometry: Twenty Years Later : AMS-IMS-SIAM Joint Summer Research Conference, June 18-22, 2006, Snowbird, Utah|url = https://books.google.com/books?id=ecUbCAAAQBAJ|publisher = American Mathematical Soc.|date = 2008-01-01|isbn = 9780821842393|first = Jacob E.|last = Goodman}}

Further reading

Brief Introduction

  • [https://www.ias.edu/about/publications/ias-letter/articles/2013-summer/lesnick-topological-data-analysis Studying the Shape of Data Using Topology], by Michael Lesnick
  • Why Topological Data Analysis Works, by Gunnar Carlsson
  • Deep Dive: Topological Data Analysis, by Ayasdi Company
  • Source Material for Topological Data Analysis by Mikael Vejdemo-Johansson

Monograph

  • [https://books.google.com/books?id=if8dCwAAQBAJ Persistence Theory: From Quiver Representations to Data Analysis], by Steve Oudot

Video Lecture

  • [https://www.youtube.com/watch?v=2PSqWBIrn90 Introduction to Persistent Homology] and [https://www.youtube.com/watch?v=fUvl-B2lx5Q Topology for Data Analysis], by Matthew Wright
  • [https://www.youtube.com/watch?v=iOxLgbnl1u4 The Shape of Data], by Gunnar Carlsson

Textbook on Topology

  • [https://www.math.cornell.edu/~hatcher/AT/ATpage.html Algebraic Topology], by Allen Hatcher
  • [https://books.google.com/books?id=MDXa6gFRZuIC Computational Topology: An Introduction], by Herbert Edelsbrunner and John L. Harer
  • Elementary Applied Topology, by Robert Ghrist

Other Resources of TDA

  • Blog of Ayasdi
  • Applied Topology, by Stanford
  • [https://www.ima.umn.edu/topology/ Applied algebraic topology research network] , by the Institute for Mathematics and its Applications
  • Topological Kernel Learning: Discrete Morse Theory is used to connect kernel machine learning with topological data analysis. https://www.researchgate.net/publication/327427685_Topological_Kernel_Learning
{{DEFAULTSORT:Topological Data Analysis}}

4 : Computational topology|Data analysis|Homology theory|Applied mathematics
随便看

　

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。

　

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间：2024/9/23 14:23:00