English

Computing $p$-presentation distances is hard

Computational Geometry 2025-06-09 v2 Computational Complexity Representation Theory

Abstract

Recently, pp-presentation distances for p[1,]p\in [1,\infty] were introduced for merge trees and multiparameter persistence modules as more sensitive variations of the respective interleaving distances (p=)p=\infty). It is well-known that computing the interleaving distance is NP-hard in both cases. We extend this result by showing that computing the pp-presentation distance is NP-hard for all p[1,)p\in [1,\infty) for both merge trees and tt-parameter persistence modules for any t2t\geq 2. Though the details differ, both proofs follow the same novel strategy, suggesting that our approach can be adapted to proving the NP-hardness of other distances based on sums or pp-norms.

Keywords

Cite

@article{arxiv.2403.07200,
  title  = {Computing $p$-presentation distances is hard},
  author = {Håvard Bakke Bjerkevik and Magnus Bakke Botnan},
  journal= {arXiv preprint arXiv:2403.07200},
  year   = {2025}
}

Comments

36 pages, 12 figures. Expanded after reviewer feedback

R2 v1 2026-06-28T15:16:32.462Z