Derived Interleaving Metric conjecture

Let PP be a poset and let MM and NN be persistence modules over PP. Let dI(M,N)d_I(M,N) denote their interleaving distance, and let dDG(M,N)d_{DG}(M,N) denote the derived convolution metric on the derived category, defined by the minimal thickening of the support needed for MM and NN to become isomorphic after convolution with a suitable kernel supported near the diagonal. Derived Interleaving Metric conjecture. There exist constants C1,C2>0C_1,C_2>0, independent of MM and NN, such that

C1dDG(M,N)dI(M,N)C2dDG(M,N).C_1d_{DG}(M,N)\leq d_I(M,N)\leq C_2d_{DG}(M,N).

Thus the classical interleaving distance and the derived metric are bilipschitz equivalent. This proposes a quantitative comparison between abelian-category stability and derived deformation-theoretic stability; the source provides no proof or status evidence beyond presenting it as a conjecture.

Sources & referencesView supporting material

Primary source

Mauricio Angel, “Deformations, Derived Categories, and Multiparameter Persistence: A Theoretical Framework”, arXiv:2604.10361 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.