---
title: 'Interleaving Distance: Metrics & Applications'
url: https://www.emergentmind.com/topics/interleaving-distance
type: topic
---

# Interleaving Distance: Metrics & Applications

Searching arXiv for the foundational paper and closely related work on interleaving distance.
Interleaving distance is a family of comparison distances that originated in Topological Data Analysis as a metric on persistence modules and was later generalized to functor categories, categories with a flow, sheaf-theoretic settings, merge trees, mapper graphs, and related categorical structures. In its classical form, an $\varepsilon$-interleaving compares two objects after shifting one by $\varepsilon$ and requiring coherence of the resulting comparison maps; the interleaving distance is the infimum of such $\varepsilon$ [1706.04095]. In the framework of categories with a flow, interleaving distance is defined on arbitrary categories equipped with a lax monoidal action of $([0,\infty),+,0)$, and the resulting object class carries the structure of a Lawvere metric space [1706.04095]. This perspective unifies classical persistence-theoretic interleavings, generalized persistence on posets, and several familiar metrics, including the Hausdorff distance and the $L^\infty$-norm, as instances of interleaving distances [1706.04095].

## 1. Origins and classical formulation

The interleaving distance was originally defined in the field of Topological Data Analysis by Chazal et al. as a metric on the class of persistence modules parametrized over the real line [1706.04095]. A persistence module is a functor
$$
F:(\mathbb{R},\le)\to \mathrm{Vect}_k.
$$
For $\varepsilon\ge 0$, the translation functor $T_\varepsilon:(\mathbb{R},\le)\to(\mathbb{R},\le)$ is defined by $T_\varepsilon(t)=t+\varepsilon$, together with the unit natural transformation $\eta_\varepsilon:\mathrm{Id}\Rightarrow T_\varepsilon$ [1706.04095].

An $\varepsilon$-interleaving between persistence modules $F$ and $G$ is a pair of natural transformations
$$
\varphi: F \Rightarrow G \circ T_\varepsilon,\qquad
\psi: G \Rightarrow F \circ T_\varepsilon
$$
whose composites agree with the canonical “$2\varepsilon$-step” maps [1706.04095]. The interleaving distance is then
$$
d_I(F,G):=\inf\{\varepsilon\ge 0\mid \text{there exists an }\varepsilon\text{-interleaving between }F\text{ and }G\},
$$
with the convention $d_I(F,G)=\infty$ if no $\varepsilon$-interleaving exists [1706.04095].

In the one-parameter setting, the interleaving distance is an extended pseudometric, and in standard finiteness regimes it coincides with the bottleneck distance on barcodes [1811.09165]. The same basic pattern extends to modules indexed by $(\mathbb{R}^n,\le)$ with product order, where an $\varepsilon$-interleaving is given by morphisms
$$
f:M\to N(\varepsilon),\qquad g:N\to M(\varepsilon)
$$
such that
$$
g(\varepsilon)\circ f=\phi_M^{2\varepsilon},\qquad
f(\varepsilon)\circ g=\phi_N^{2\varepsilon},
$$
and
$$
d_I(M,N):=\inf\{\|\varepsilon\|_\infty\mid \text{there exists an }\varepsilon\text{-interleaving}\}
$$
[1811.09165].

This classical formulation underlies “soft stability” proofs: constructions from data to persistence modules are $1$-Lipschitz for this distance [1706.04095]. A plausible implication is that interleaving distance is best understood not merely as a metric on outputs, but as a structural device for proving non-expansiveness of entire TDA pipelines.

## 2. Categories with a flow and Lawvere metric structure

A major abstraction replaces translations on a poset by a flow on an arbitrary category. Let $([0,\infty),+,0)$ be viewed as a strict monoidal category. A flow on a category $\mathcal{C}$ is a lax monoidal functor
$$
\Phi:([0,\infty),+,0)\longrightarrow \mathrm{End}(\mathcal{C}),
$$
consisting of endofunctors $\Phi_\varepsilon:\mathcal{C}\to\mathcal{C}$, multiplication natural transformations
$$
\mu_{\varepsilon,\delta}:\Phi_\varepsilon\circ \Phi_\delta\Rightarrow \Phi_{\varepsilon+\delta},
$$
and a unit natural transformation
$$
\eta:\mathrm{Id}_{\mathcal C}\Rightarrow \Phi_0,
$$
satisfying the usual lax monoidal coherence axioms [1706.04095].

Given a category with a flow $(\mathcal{C},\Phi)$, an $\varepsilon$-interleaving between $X,Y\in\mathcal{C}$ is a pair of morphisms
$$
f:X\to \Phi_\varepsilon(Y),\qquad g:Y\to \Phi_\varepsilon(X),
$$
such that the composites
$$
X\xrightarrow{f}\Phi_\varepsilon(Y)\xrightarrow{\Phi_\varepsilon(g)}\Phi_\varepsilon\Phi_\varepsilon(X)\xrightarrow{\mu_{\varepsilon,\varepsilon}}\Phi_{2\varepsilon}(X)
$$
and
$$
Y\xrightarrow{g}\Phi_\varepsilon(X)\xrightarrow{\Phi_\varepsilon(f)}\Phi_\varepsilon\Phi_\varepsilon(Y)\xrightarrow{\mu_{\varepsilon,\varepsilon}}\Phi_{2\varepsilon}(Y)
$$
agree with the canonical maps $\eta_X^{(2\varepsilon)}:X\to\Phi_{2\varepsilon}(X)$ and $\eta_Y^{(2\varepsilon)}:Y\to\Phi_{2\varepsilon}(Y)$, where
$$
\eta^{(2\varepsilon)}:=\Phi_{(0\le 2\varepsilon)}\circ\eta:\mathrm{Id}_{\mathcal C}\Rightarrow \Phi_{2\varepsilon}
$$
[1706.04095].

The resulting interleaving distance
$$
d_I(X,Y):=\inf\{\varepsilon\ge 0\mid \text{there exists an }\varepsilon\text{-interleaving between }X\text{ and }Y\}
$$
satisfies reflexivity, symmetry, and the triangle inequality [1706.04095]. Thus $(\mathrm{Ob}(\mathcal{C}),d_I)$ is a symmetric extended pseudometric; equivalently, if one ignores symmetry, it is a Lawvere metric space [1706.04095].

The same paper proves a functoriality statement: the construction
$$
(\mathcal{C},\Phi)\mapsto (\mathrm{Ob}(\mathcal{C}),d_I)
$$
is functorial from the metacategory of flows and colax equivariant functors to the metacategory of Lawvere metric spaces and $1$-Lipschitz maps [1706.04095]. Later work further generalizes this perspective using monoidal actions and $2$-categories, defining three increasingly general interleaving distances and proving that the resulting infima define extended pseudometrics [2311.11936].

## 3. Generalizations beyond classical persistence

Bubenik et al. extended the definition from $\mathbb{R}$-indexed persistence modules to categories of functors on a poset, whose objects may be regarded as generalized persistence modules [1706.04095]. For a poset $P$ and category $\mathcal{D}$, generalized persistence modules are functors $F:P\to\mathcal{D}$. A chosen “superlinear family of translations” $\Omega_\varepsilon:P\to P$ yields an interleaving distance on $\mathcal{D}^P$ [1706.04095]. In the flow formalism, a superlinear family of translations on a poset is precisely a flow $\Omega$ on $P$, and the induced flow on $\mathcal{D}^P$ is given by precomposition $\Phi_\varepsilon=-\circ \Omega_\varepsilon$ [1706.04095].

This subsumes many TDA settings, including merge trees and Reeb graphs, beyond the original $(\mathbb{R},\le)$ [1706.04095]. For strict flows on $P$, the categorical-flow interleaving distance agrees with the generalized interleaving distance of Bubenik–Scott–de Silva–Wagner; for lax flows, the flow-based distance is no larger:
$$
d_{(\mathcal{D}^P,\,-\circ \Omega)}(F,G)\le d_\Omega(F,G)
$$
[1706.04095].

A separate line of work addresses posets that do not admit interesting translations. The relative theory of interleavings defines shifts on a poset $P$ relative to a map $f:P\to Q$, where $Q$ carries a superlinear family of translations [2004.14286]. Using Kan extensions, the relative $\varepsilon$-shift is
$$
(M)^{P}_\varepsilon:=f^*T_\varepsilon^*f_*M,
$$
and the relative weak interleaving distance satisfies the extend–restrict isometry
$$
d_P(M,N)=d_Q(f_*M,f_*N)
$$
[2004.14286]. This framework applies to zig-zag posets, face relation posets of cell complexes, down-set lattices, and grid structures for cosheaves over Euclidean space [2004.14286].

A more recent generalization replaces translation structures by a height-difference function $\rho$ on an arbitrary poset. Given $\rho$, one defines $r$-latching and $r$-matching endofunctors
$$
L_r^{\rho}M(a):=\operatorname{colim}(M|_{a^{\downarrow_r}}),\qquad
R_r^{\rho}M(a):=\operatorname{lim}(M|_{a^{\uparrow_r}})
$$
with adjunction $L_r^{\rho}\dashv R_r^{\rho}$, and then defines the height-interleaving distance $d_\rho$ [2603.20269]. When $P=\mathbb{R}^d$ and $\rho=\rho_{\mathrm{diag}}$, this recovers the classical multiparameter interleaving distance [2603.20269]. However, in general $d_\rho$ need not satisfy the triangle inequality; under the connected intersections property and with additive defect $c(\rho)$, one has
$$
d_\rho(M,N)\le d_\rho(M,X)+d_\rho(X,N)+c(\rho)
$$
[2603.20269]. This suggests that the classical translation-based theory is a particularly rigid case of a broader interleaving-type paradigm.

## 4. Realizations as classical metrics and stability mechanisms

One of the most consequential observations in the flow framework is that several standard metrics arise as interleaving distances. If $(M,d)$ is a metric space and $S(M)$ denotes the poset of nonempty subsets ordered by inclusion, the flow
$$
\Phi_\varepsilon(A):=A^\varepsilon:=\{x\in M\mid d(x,A)\le \varepsilon\}
$$
induces an interleaving distance equal to the Hausdorff distance:
$$
d_I(A,B)=\inf\{\varepsilon\mid A\subseteq B^\varepsilon,\ B\subseteq A^\varepsilon\}=d_H(A,B)
$$
[1706.04095].

Likewise, if $\mathbb{R}^n$ is viewed as the poset $(\mathbb{R}^n,\le)$ with coordinatewise order and one defines the strict flow $\Phi_\varepsilon(a)=a+(\varepsilon,\ldots,\varepsilon)$, then
$$
d_I(a,b)=\inf\{\varepsilon\mid a\le b+\varepsilon\text{ and }b\le a+\varepsilon\}
=\max_i|a_i-b_i|=\|a-b\|_\infty
$$
[1706.04095].

For functions, one may work in the slice category $(\mathrm{Top}\downarrow \mathbb{R})$. The flow
$$
\Phi_\varepsilon(X,f):=\bigl(X\times[-\varepsilon,\varepsilon],\, f_\varepsilon(x,t)=f(x)+t\bigr)
$$
recovers the $L^\infty$ distance on functions up to homeomorphism:
$$
d_I\big((X,f),(Y,g)\big)
=
\inf_{\Phi\text{ homeo}}\sup_{x\in X}|f(x)-g(\Phi(x))|
$$
[1706.04095]. The same construction extends to $(\mathrm{Top}\downarrow M)$ for any metric space $(M,d)$ using graph thickening [1706.04095].

These identifications clarify why interleavings are so effective in stability theory. If $F:(\mathcal{C},\Phi)\to(\mathcal{D},\Psi)$ is colax $[0,\infty)$-equivariant, with natural transformations
$$
\theta_\varepsilon:F\circ\Phi_\varepsilon\Rightarrow \Psi_\varepsilon\circ F,
$$
then $F$ is $1$-Lipschitz:
$$
d_I^{\mathcal{D}}(F(X),F(Y))\le d_I^{\mathcal{C}}(X,Y)
$$
[1706.04095]. This yields concise “soft stability” proofs by verifying colax equivariance of each pipeline component [1706.04095]. Later formulations in weighted $2$-categories prove analogous stability theorems for Lipschitz $2$-functors [2311.11936].

In sheaf theory, the interleaving/convolution pseudo-distance is defined using kernels $k_{\Delta_\varepsilon}$ and thickening functors
$$
\Phi_\varepsilon(F):=F\star k_{\Delta_\varepsilon}
$$
on $D^b(k_X)$ [2108.13018]. Under good geometric hypotheses and constructibility assumptions, distance zero implies isomorphism:
if $F,G\in D^b_{\mathrm{Rc}}(k\mathfrak{X})$ and $d(F,G)=0$, then $F\simeq G$ [2108.13018]. This answers, in that setting, the separation question for the sheaf-theoretic interleaving distance [2108.13018].

## 5. Merge trees, ordered variants, and geometric reinterpretations

Merge trees constitute one of the most extensively studied non-linear settings for interleaving distance. A merge tree is a pair $(T,f)$, where $T$ is a rooted tree and $f:T\to \mathbb{R}\cup\{\infty\}$ is a continuous height function strictly increasing toward the root, with $f(\mathrm{root})=\infty$ [2312.11113]. For merge trees $(T,f)$ and $(T',f')$, a pair of maps $\alpha:T\to T'$ and $\beta:T'\to T$ is a $\delta$-interleaving if for all $x\in T$ and $y\in T'$,
$$
f'(\alpha(x))=f(x)+\delta,\qquad \beta(\alpha(x))=x^{2\delta},
$$
$$
f(\beta(y))=f'(y)+\delta,\qquad \alpha(\beta(y))=y^{2\delta}
$$
[2312.11113]. The induced distance is
$$
d_I\big((T,f),(T',f')\big)=\inf\{\delta\ge 0\mid \text{a }\delta\text{-interleaving exists}\}
$$
[2312.11113].

Equivalent formulations are available through $\delta$-good maps and label-based constructions. For labelled merge trees $(T,f,\pi)$, the induced matrix
$$
M_{i,j}=f(\operatorname{lca}(\pi(i),\pi(j)))
$$
yields a label distance
$$
L\big((T,f,\pi),(T',f',\pi')\big)=\|M-M'\|_\infty,
$$
and one has
$$
d_I=d_{IG}=d_{IL}
$$
[2312.11113]. The intrinsic property of interleaving distance on spaces of labelled and unlabelled merge trees was established later: in the labelled setting, geodesics arise by linear interpolation of cophenetic matrices, and the distance is strictly intrinsic; in the unlabelled setting, interleaving distance is intrinsic as well [1908.00063].

Ordered merge trees strengthen the model by equipping each level set with a consistent total order [2312.11113]. The monotone interleaving distance $d_{mI}$ requires interleaving maps to be order-preserving, and satisfies
$$
d_{mI}=d_{mIG}=d_{mIL}
$$
[2312.11113]. The paper "Relating Interleaving and Fréchet Distances via Ordered Merge Trees" shows that for ordered merge trees, if $P$ and $Q$ are the induced $1$D curves obtained from in-order traversals, then
$$
d_{mI}(T,T')=d_F(P,Q)
$$
[2312.11113]. As a consequence, the monotone interleaving distance can be computed exactly in near-quadratic time in the complexity of the trees [2312.11113]. By contrast, the classical interleaving distance for merge trees is NP-hard to compute [2312.11113].

Recent work extends merge-tree interleaving in two directions. One line defines average merge trees: if $d_I(T_1^f,T_2^g)\le \varepsilon$, a constructed representative average merge tree $T_3^k$ satisfies
$$
d_I(T_1^f,T_3^k)\le \varepsilon/2,\qquad d_I(T_2^g,T_3^k)\le \varepsilon/2
$$
[2603.00783]. Another line develops heuristic polynomial-time algorithms for labelled and partially labelled merge trees, using leaf-based assignments and induced matrices to approximate interleaving distance in difficult regimes [2509.15687]. Exact computation remains NP-hard, but improved fixed-parameter algorithms based on $\varepsilon$-good maps and path-preserving maps yield substantially better parameter dependence than earlier approaches [2602.12028].

## 6. Computation, hardness, and approximation

The computational status of interleaving distance is sharply stratified. In one parameter, interleaving distance is computable in polynomial time because it coincides with bottleneck distance on barcodes [1811.09165]. In multiple parameters, computing the interleaving distance is NP-hard [1811.09165]. More precisely, deciding whether two bigraded persistence modules are $1$-interleaved is NP-complete, already for bigraded, interval-decomposable modules, and approximation within any factor smaller than $3$ is NP-hard [1811.09165].

The underlying reduction uses constrained matrix invertibility: given zero patterns $P,Q\subseteq[n]\times[n]$, one constructs bigraded modules $M,N$ such that
$$
d_I(M,N)=1 \quad\text{if the CI instance is satisfiable,}
$$
$$
d_I(M,N)=3 \quad\text{otherwise}
$$
[1811.09165]. The same hardness persists for indecomposable modules and for one-sided stability problems such as deciding existence of injections or surjections between persistence modules [1811.09165]. Earlier work had already shown CI-hardness for $\mathbb{Z}^2$-indexed vector-space-valued modules and GI-completeness for isomorphism of $\mathbb{Z}^2$-indexed set-valued modules, including Reeb-graph isomorphism [1712.04281].

For merge trees, the classical interleaving distance is NP-hard [2312.11113]. For mapper graphs, the interleaving distance arising from discretizations of graph-with-function data is also NP-hard to compute [2504.03865; 2307.15130]. Recent work therefore emphasizes computable upper bounds rather than exact values. A general loss-function framework on concrete categories defines “assignments” that need not commute and measures their failure via a loss $L(\eta,\psi)$. For a $T_\varepsilon$-assignment, one obtains the upper bound
$$
d_I(F,G)\le \varepsilon+L(\eta,\psi)
$$
[2601.09034]. In finite and vector-space-valued settings, the loss is computable in polynomial time, including for certain $k$-parameter persistence modules [2601.09034].

For mapper graphs specifically, the analogous loss on basis assignments gives
$$
d_I(F,G)\le n+L_B(\alpha,\beta),
$$
and the loss can be optimized as an integer linear program [2504.03865]. On small examples where the true interleaving distance is known, the optimized upper bound matches the interleaving distance [2504.03865]. This suggests that, in some structured settings, exact computation may be effectively replaced by optimization over assignment spaces, even though the general decision problem remains intractable.

A recurring misconception is that barcode-style combinatorial summaries should suffice for all interleaving computations. The multi-parameter hardness results, the dependence on field characteristic for interval-decomposable modules, and the divergence between interleaving and bottleneck-type distances in higher-dimensional settings all indicate otherwise [1811.09165; 1712.04281]. A plausible implication is that interleaving distance should be regarded less as a uniformly computable invariant and more as a structurally canonical metric whose exact algorithmics depend heavily on the indexing category and the chosen representation class.

## 7. Broader interpretations and current directions

Interleaving distance has gradually shifted from a persistence-specific construction to a general mechanism for comparing functorial objects under controlled transformations. One categorical route interprets interleavings of functors with common codomain as solutions to an extension problem, leading to categorical analogues of Hausdorff distance and Gromov–Hausdorff distance [1707.06288]. In that framework, the interleaving distance between functors is defined by minimizing Hausdorff distance over weighted pairwise embeddings that admit a common extension [1707.06288]. This recovers shift equivalence of discrete dynamical systems as a particular interleaving notion [1707.06288].

Another route uses monoidal actions and $2$-categories. For a strict monoidal functor
$$
T:G\to \mathrm{End}(X)
$$
with monoidal weight $W$, the actegory interleaving distance
$$
d_{T,W}(X,Y):=\inf\{\max\{W(g),W(h)\}\mid (\phi,\psi,\alpha,\beta)\text{ exist}\}
$$
defines an extended pseudometric [2311.11936]. The resulting theory recovers classical categories-with-a-flow, locally persistent categories, and generalized persistence modules, while connecting interleavings to group-action distances from statistical shape analysis and diffeomorphism-invariant constructions [2311.11936].

A further recent development reformulates the interleaving distance itself as an edit distance on finitely presented single- and multi-parameter persistence modules. Using graded free presentations, Galois connections, and a path metric built from poset morphisms with adjoints, one proves
$$
d_I(M,N)=d^E(M,N)
$$
for suitable edit categories $E\in\{J_d,G_d\}$ [2509.24233]. This recasts interleavings as controlled edits of generators and relations and suggests new routes for proving stability of multiparameter invariants [2509.24233].

Across these variants, several themes recur. Interleaving distances quantify approximate equivalence after a prescribed family of shifts, thickenings, or actions; they tend to induce extended pseudometrics or Lawvere metrics; and stability is usually obtained by functoriality or equivariance rather than by direct estimation. At the same time, separation, triangle inequalities, and algorithmic tractability become subtle outside the classical one-parameter setting. The sheaf-theoretic separation theorem [2108.13018], the relaxed triangle inequalities for height-interleavings [2603.20269], and the widespread NP-hardness phenomena [1811.09165; 1712.04281] show that “interleaving distance” is not a single metric formula but a broad family of categorical constructions whose exact properties depend on the ambient indexing and action structure.

In that sense, the modern theory of interleaving distance is both unifying and diagnostic. It unifies persistent homology, merge trees, mapper graphs, sheaves, and acted-on categories within a common language of controlled comparison; and it diagnoses which aspects of those objects are stable, computable, or intrinsically resistant to simplification.

Source: https://www.emergentmind.com/topics/interleaving-distance