1: \begin{abstract}

2: Given a finite set in a metric space, the topological analysis generalizes hierarchical clustering using a 1-parameter

3: family of homology groups to quantify connectivity in all dimensions. 

4: The connectivity is compactly described by the persistence diagram. One limitation of the current framework is the reliance on 

5: metric distances, whereas in many practical applications objects are compared by non-metric dissimilarity

6:  measures. 

7: Examples are the Kullback--Leibler divergence, which is commonly used for comparing text and images,

8: and the Itakura--Saito divergence, popular for speech and sound. These are two members of the broad family of dissimilarities called Bregman divergences.

9: 

10: We show that the framework of topological data analysis can be extended to general Bregman divergences, widening the scope of possible applications. In particular, we prove that appropriately generalized \v{C}ech and Delaunay (alpha) complexes capture the correct homotopy type, namely that of the corresponding union of Bregman balls. Consequently, their filtrations give the correct persistence diagram, namely the one generated by the uniformly growing Bregman balls. 

11: Moreover, we show that unlike the metric setting, the filtration of Vietoris-Rips complexes 

12: may fail to approximate the persistence diagram. We propose algorithms to compute the thus generalized \v{C}ech, Vietoris-Rips and Delaunay complexes and experimentally test their efficiency. 

13: Lastly, we explain their surprisingly good performance by making a connection with discrete Morse theory.

14: 

15: \end{abstract}

16: