Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2603.20269 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918405696651264 |
|---|---|
| author | Aoki, Toshitaka |
| author_facet | Aoki, Toshitaka |
| contents | Interleaving distances provide a fundamental tool for comparing persistence modules and have been widely used in topological data analysis. Their definitions are typically based on translation structures (shift operations) on the indexing poset, but on general posets such structures can be scarce, making this framework restrictive. In this paper, we introduce a new interleaving-type distance for functor categories over arbitrary posets, induced by a height-difference function $ρ$. The key idea is to associate to $ρ$ an $\mathbb{R}_{\geq 0}$-indexed family of adjoint endofunctors on $\mathrm{Fun}(P,\mathcal{C})$, which play the role of generalized translations and allow us to formulate interleavings in a purely categorical manner and define the distance $d_ρ$, called the height-interleaving distance. In particular, any height function (i.e., a real-valued order-preserving map) canonically induces such a height-difference function, so our framework remains useful on finite posets. Moreover, when $P=\mathbb{R}^d$ and $ρ=ρ_{\mathrm{diag}}$, the resulting distance coincides with the classical interleaving distance for multiparameter persistence modules. However, in general, $d_ρ$ need not satisfy the triangle inequality. Under suitable hypotheses (e.g. CIP for $(P,ρ)$; this condition is automatic when $P$ is a tree poset), we prove a triangle inequality up to an additive defect bounded by a constant $c(ρ)$; in particular, when $c(ρ)=0$ this yields an extended pseudo-distance. We also establish a stability property with respect to perturbations of height-difference functions: small changes in $ρ$ induce small changes in the associated height-interleaving distance. Finally, we study an analogue of the erosion-type constructions from classical interleavings within our framework. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_20269 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Interleaving distances from height-difference functions on posets Aoki, Toshitaka Algebraic Topology Category Theory Representation Theory Primary 55N31, Secondary 16G20, 18A40 Interleaving distances provide a fundamental tool for comparing persistence modules and have been widely used in topological data analysis. Their definitions are typically based on translation structures (shift operations) on the indexing poset, but on general posets such structures can be scarce, making this framework restrictive. In this paper, we introduce a new interleaving-type distance for functor categories over arbitrary posets, induced by a height-difference function $ρ$. The key idea is to associate to $ρ$ an $\mathbb{R}_{\geq 0}$-indexed family of adjoint endofunctors on $\mathrm{Fun}(P,\mathcal{C})$, which play the role of generalized translations and allow us to formulate interleavings in a purely categorical manner and define the distance $d_ρ$, called the height-interleaving distance. In particular, any height function (i.e., a real-valued order-preserving map) canonically induces such a height-difference function, so our framework remains useful on finite posets. Moreover, when $P=\mathbb{R}^d$ and $ρ=ρ_{\mathrm{diag}}$, the resulting distance coincides with the classical interleaving distance for multiparameter persistence modules. However, in general, $d_ρ$ need not satisfy the triangle inequality. Under suitable hypotheses (e.g. CIP for $(P,ρ)$; this condition is automatic when $P$ is a tree poset), we prove a triangle inequality up to an additive defect bounded by a constant $c(ρ)$; in particular, when $c(ρ)=0$ this yields an extended pseudo-distance. We also establish a stability property with respect to perturbations of height-difference functions: small changes in $ρ$ induce small changes in the associated height-interleaving distance. Finally, we study an analogue of the erosion-type constructions from classical interleavings within our framework. |
| title | Interleaving distances from height-difference functions on posets |
| topic | Algebraic Topology Category Theory Representation Theory Primary 55N31, Secondary 16G20, 18A40 |
| url | https://arxiv.org/abs/2603.20269 |