Residual Interleaving Distance

• Residual interleaving distance is a metric for merge trees that integrates global alignment with mandatory local constraints to identify fine-grained structural similarities.
• It interpolates between unconstrained bottleneck matching and fully-specified correspondences, offering a rigorous framework for stratified, locally optimal matchings.
• Dynamic programming techniques, enhanced from standard methods, efficiently compute this metric, making it valuable for applications like terrain evolution and hierarchical data analysis.

The residual interleaving distance is a generalization of the classical interleaving distance for merge trees, designed to capture not only global similarity but also the local fit between substructures. This metric quantifies the “slack” in an isomorphism between merge trees that respects both global alignment and imposed local constraints. By interpolating between unconstrained bottleneck matching and fully specified correspondences, the residual interleaving distance enables the detection of local similarities that the standard interleaving distance may obscure. Its formulation provides a rigorous foundation for stratified, locally optimal matchings critical for the comparative analysis of hierarchical structures in topological data analysis (Beurskens et al., 18 Dec 2025).

1. Merge Trees and Classical Interleaving Distance

A merge tree is a pair $(T, f)$, where $T$ is a finite rooted tree with unit-length edges, and $f: T \to \mathbb{R} \cup \{\infty\}$ is a continuous height function, strictly increasing from leaves toward the root, which is mapped to infinity. The shortest-path metric induces a natural notion of distance on $T$, and the ancestor relation $x \preceq y$ designates that $x$ is a descendant of $y$ along an $f$-monotone path.

The interleaving distance $d_I(T_1, T_2)$ measures similarity between two merge trees by the minimal vertical shift $\delta$ for which there exist two continuous, ancestry-preserving maps $T$0, $T$1 such that:

• $T$2 for all $T$3,
• $T$4 for $T$5,
• $T$6,
• $T$7,

where $T$8 denotes the ancestor of $T$9 at height $f: T \to \mathbb{R} \cup \{\infty\}$0.

$f: T \to \mathbb{R} \cup \{\infty\}$1 is realized as the smallest possible $f: T \to \mathbb{R} \cup \{\infty\}$2 for which such maps exist, and always lies in a finite set of critical values derived from the node heights of the input trees (Beurskens et al., 18 Dec 2025).

2. Motivation and Definition of Residual Interleaving Distance

While the classical interleaving distance minimizes the largest required shift between matched points—yielding a global bottleneck measure—it can exaggerate the required deformation away from locally similar substructures. To enable finer-grained analysis, additional constraints specifying mandatory matches between certain nodes are imposed.

Given such a set of constraints, formalized as a finite partial interleaving $f: T \to \mathbb{R} \cup \{\infty\}$3 (where $f: T \to \mathbb{R} \cup \{\infty\}$4, $f: T \to \mathbb{R} \cup \{\infty\}$5 for $f: T \to \mathbb{R} \cup \{\infty\}$6, $f: T \to \mathbb{R} \cup \{\infty\}$7), the residual interleaving distance $f: T \to \mathbb{R} \cup \{\infty\}$8 is the infimum of the maximal shift needed by any complete interleaving that extends $f: T \to \mathbb{R} \cup \{\infty\}$9. This construction interpolates between the unconstrained case ($T$0) and fully specified matchings (Beurskens et al., 18 Dec 2025).

For a complete interleaving $T$1 that extends $T$2, the $T$3-residual shift for an arrow $T$4 is:

• $T$5 if $T$6 is within the fan $T$7 of $T$8 (i.e., matches forced by ancestry),
• $T$9 otherwise.

The residual shift of $x \preceq y$0 is then $x \preceq y$1.

The residual interleaving distance is formally defined as:

$x \preceq y$2

3. Critical Values and Existence of Optimal Extensions

Just as in the classical case, $x \preceq y$3 always attains its value at a critical point derived from the node-set and constraints of the partial interleaving. The set of $x \preceq y$4-critical points includes all vertices of $x \preceq y$5 and $x \preceq y$6 involved in $x \preceq y$7, together with marked heights derived from candidate matches.

A finite set $x \preceq y$8, with $x \preceq y$9 and $x$0 the $x$1-critical node sets, together with the original $x$2 and $x$3 from the unconstrained measure, ensures $x$4. An optimal complete interleaving that realizes this infimum always exists (Beurskens et al., 18 Dec 2025).

4. Locally Correct Interleavings

A complete interleaving $x$5 is locally correct if for every restriction $x$6, the residual shift $x$7 coincides with the residual interleaving distance $x$8. This condition guarantees that any partial matching imposed by $x$9 cannot be improved without altering the rest of the correspondence, thus yielding a stratified, locally optimal match at every substructure.

A central existence theorem establishes that every pair of finite merge trees admits at least one locally correct interleaving. The constructive proof iteratively augments the set of forced matchings, always realizing residual distances at critical shifts, terminating with a complete interleaving that is locally optimal everywhere (Beurskens et al., 18 Dec 2025).

5. Properties and Theoretical Implications

Key properties of the residual interleaving distance include:

• If $y$0 is the empty set, $y$1 recovers the classical interleaving distance.
• For $y$2, monotonicity $y$3 holds.
• The residual interleaving distance is always realized at a finite critical value and by some extension achieving that value.
• Local optimality is precisely captured by the requirement that any restriction of a locally correct interleaving is itself optimally residual given its forced matching.

A plausible implication is that the residual interleaving distance enables not only summary metrics but also a stratified “shift profile” of matchings across the tree, reflecting intrinsic local correspondence patterns.

6. Algorithmic Computation of the Residual Interleaving Distance

To compute $y$4, standard dynamic programming techniques, such as those of Touli–Wang, can be extended. The state space is augmented to track matched points under $y$5, transitions are constrained to be consistent with the fans $y$6 and a target threshold $y$7, and binary search is performed over the discrete set of critical values computed above. Once an optimal extension is found, one can iterate the process—extracting bottleneck arrows, augmenting $y$8, and repeating—to construct a locally correct interleaving (Beurskens et al., 18 Dec 2025).

7. Illustrative Example and Applications

An illustrative example involves two merge trees, each with three leaves at heights $y$9 merging to a common root at $f$0. The classical interleaving distance might align disparate leaves globally with a shift of $f$1, neglecting tighter local correspondences. By incrementally fixing correspondences as constraints in $f$2 and recomputing $f$3, the shifts required for subtrees can be locally minimized, obtaining a matching where shifts $f$4 are used as needed, rather than a uniform bottleneck value. Such a matching accurately captures local similarity structure and constitutes a locally correct interleaving.

Residual interleaving distance thus enables deeper comparative analysis of hierarchical and topological structures, with particular relevance for studying temporal sequences of terrains and other evolving topological data (Beurskens et al., 18 Dec 2025).