# A Geometric Condition for Uniqueness of Fr'echet Means of Persistence Diagrams

arXiv: https://arxiv.org/abs/2207.03943 · HTML: https://mlsanity.com/paper/2207.03943/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 8 Jul 2022.

## Built on by (most cited first, 1 of 1)

- [Stability for Inference with Persistent Homology Rank Functions](https://mlsanity.com/paper/2307.02904/) (2023)

## Abstract (arXiv)

The Fr'echet mean is an important statistical summary and measure of centrality of data; it has been defined and studied for persistent homology captured by persistence diagrams. However, the complicated geometry of the space of persistence diagrams implies that the Fr'echet mean for a given set of persistence diagrams is not necessarily unique, which prohibits theoretical guarantees for empirical means with respect to population means. In this paper, we derive a variance expression for a set of persistence diagrams exhibiting a multi-matching between the persistence points known as a grouping. Moreover, we propose a condition for groupings, which we refer to as flatness; we prove that sets of persistence diagrams that exhibit flat groupings give rise to unique Fr'echet means. We derive a finite sample convergence result for general groupings, which results in convergence for Fr'echet means if the groupings are flat. We then interpret flat groupings in a recently-proposed general framework of Fr'echet means in Alexandrov geometry. Finally, we show that for manifold-valued data, the persistence diagrams can be truncated to construct flat groupings.