434 research outputs found
Computing Bottleneck Distance for 2-D Interval Decomposable Modules
Computation of the interleaving distance between persistence modules is a central task in topological data analysis. For 1-D persistence modules, thanks to the isometry theorem, this can be done by computing the bottleneck distance with known efficient algorithms. The question is open for most n-D persistence modules, n>1, because of the well recognized complications of the indecomposables. Here, we consider a reasonably complicated class called 2-D interval decomposable modules whose indecomposables may have a description of non-constant complexity. We present a polynomial time algorithm to compute the bottleneck distance for these modules from indecomposables, which bounds the interleaving distance from above, and give another algorithm to compute a new distance called dimension distance that bounds it from below
Computational Complexity of the Interleaving Distance
The interleaving distance is arguably the most prominent distance measure in
topological data analysis. In this paper, we provide bounds on the
computational complexity of determining the interleaving distance in several
settings. We show that the interleaving distance is NP-hard to compute for
persistence modules valued in the category of vector spaces. In the specific
setting of multidimensional persistent homology we show that the problem is at
least as hard as a matrix invertibility problem. Furthermore, this allows us to
conclude that the interleaving distance of interval decomposable modules
depends on the characteristic of the field. Persistence modules valued in the
category of sets are also studied. As a corollary, we obtain that the
isomorphism problem for Reeb graphs is graph isomorphism complete.Comment: Discussion related to the characteristic of the field added. Paper
accepted to the 34th International Symposium on Computational Geometr
Computing the interleaving distance is NP-hard
We show that computing the interleaving distance between two multi-graded
persistence modules is NP-hard. More precisely, we show that deciding whether
two modules are -interleaved is NP-complete, already for bigraded, interval
decomposable modules. Our proof is based on previous work showing that a
constrained matrix invertibility problem can be reduced to the interleaving
distance computation of a special type of persistence modules. We show that
this matrix invertibility problem is NP-complete. We also give a slight
improvement of the above reduction, showing that also the approximation of the
interleaving distance is NP-hard for any approximation factor smaller than .
Additionally, we obtain corresponding hardness results for the case that the
modules are indecomposable, and in the setting of one-sided stability.
Furthermore, we show that checking for injections (resp. surjections) between
persistence modules is NP-hard. In conjunction with earlier results from
computational algebra this gives a complete characterization of the
computational complexity of one-sided stability. Lastly, we show that it is in
general NP-hard to approximate distances induced by noise systems within a
factor of 2.Comment: 25 pages. Several expository improvements and minor corrections. Also
added a section on noise system
The structure and stability of persistence modules
We give a self-contained treatment of the theory of persistence modules
indexed over the real line. We give new proofs of the standard results.
Persistence diagrams are constructed using measure theory. Linear algebra
lemmas are simplified using a new notation for calculations on quiver
representations. We show that the stringent finiteness conditions required by
traditional methods are not necessary to prove the existence and stability of
the persistence diagram. We introduce weaker hypotheses for taming persistence
modules, which are met in practice and are strong enough for the theory still
to work. The constructions and proofs enabled by our framework are, we claim,
cleaner and simpler.Comment: New version. We discuss in greater depth the interpolation lemma for
persistence module
Induced Matchings and the Algebraic Stability of Persistence Barcodes
We define a simple, explicit map sending a morphism of
pointwise finite dimensional persistence modules to a matching between the
barcodes of and . Our main result is that, in a precise sense, the
quality of this matching is tightly controlled by the lengths of the longest
intervals in the barcodes of and . As an
immediate corollary, we obtain a new proof of the algebraic stability of
persistence, a fundamental result in the theory of persistent homology. In
contrast to previous proofs, ours shows explicitly how a -interleaving
morphism between two persistence modules induces a -matching between
the barcodes of the two modules. Our main result also specializes to a
structure theorem for submodules and quotients of persistence modules, and
yields a novel "single-morphism" characterization of the interleaving relation
on persistence modules.Comment: Expanded journal version, to appear in Journal of Computational
Geometry. Includes a proof that no definition of induced matching can be
fully functorial (Proposition 5.10), and an extension of our single-morphism
characterization of the interleaving relation to multidimensional persistence
modules (Remark 6.7). Exposition is improved throughout. 11 Figures adde
The observable structure of persistence modules
In persistent topology, q-tame modules appear as a natural and large class of
persistence modules indexed over the real line for which a persistence diagram
is definable. However, unlike persistence modules indexed over a totally
ordered finite set or the natural numbers, such diagrams do not provide a
complete invariant of q-tame modules. The purpose of this paper is to show that
the category of persistence modules can be adjusted to overcome this issue. We
introduce the observable category of persistence modules: a localization of the
usual category, in which the classical properties of q-tame modules still hold
but where the persistence diagram is a complete isomorphism invariant and all
q-tame modules admit an interval decomposition
- …