The Density of Cross-Persistence Diagrams and Its Applications
Authors: Alexander Mironenko, Evgeny. Burnaev, Serguei Barannikov
Organizations: Skolkovo Institute of Science and Technology, Moscow 121205, Russia · AIRI, Moscow 123317, Russia · CNRS, IMJ, Paris University, Paris 75205, France
Topological Data Analysis (TDA) provides powerful tools to explore the shape and structure of data through topological features such as clusters, loops, and voids. Persistence diagrams are a cornerstone of TDA, capturing the evolution of these features across scales. While effective for analyzing individual manifolds, persistence diagrams do not account for interactions between pairs of them. Cross-persistence diagrams (cross-barcodes), introduced recently, address this limitation by characterizing relationships between topological features of two point clouds. In this work, we present the first systematic study of the density of cross-persistence diagrams. We prove its existence, establish theoretical foundations for its statistical use, and design the first machine learning framework for predicting cross-persistence density directly from point cloud coordinates and distance matrices. Our statistical approach enables the distinction of point clouds sampled from different manifolds by leveraging the linear characteristics of cross-persistence diagrams. Interestingly, we find that introducing noise can enhance our ability to distinguish point clouds, uncovering its novel utility in TDA applications. We demonstrate the effectiveness of our methods through experiments on diverse datasets, where our approach consistently outperforms existing techniques in density prediction and achieves superior results in point cloud distinction tasks. Our findings contribute to a broader understanding of cross-persistence diagrams and open new avenues for their application in data analysis, including potential insights into time-series domain tasks and the geometry of AI-generated texts. Our code is publicly available at https://github.com/Verdangeta/TDA_experiments
Figures & tables
Fig. 1: Standard pipeline for Cross-barcode vectorization
Fig. 2: In these pictures, the density of MTD(Q1,Q1) is represented by dashed lines, and all other densities are represented by continuous lines. For each dataset, there is only one picture presented with one core cloud.
Fig. 3: Densities of MTD(Q1,Q1) (dashed) and MTD(Q1,Qs) (solid). As can be seen from these images, the probability that our approach suggests that the value of MTD(Q1,Qk) was sampled from the same distribution is greater than the classical significance threshold (0.05).
Fig. 4: Densities of MTD(Q1,Q1) (dashed) and MTD(Q1,Qs) (solid), where Gaussian noise is applied only to the right argument (i.e., MTD(Purei,Noisedi) ). From left to right, the relative noise norms ∣∣ξ∣∣/∣∣x∣∣ are [0%,25%,50%,75%] . As the noise intensity increases, the density of MTD(Q1,Q1) gradually shifts to the right and eventually merges with the others once the objects become indistinguishable.
Fig. 5: The process of adding Gaussian noise to COIL20 images. From left to right, the relative noise levels ∣∣ξ∣∣/∣∣x∣∣ are [0%,25%,50%,75%]
Fig. 6: Densities of MTD(Q1,Q1) (dashed) and MTD(Q1,Qs) (solid). The relative noise norm is ∣∣ξ∣∣/∣∣x∣∣=50% . These plots illustrate three regimes of point cloud comparison: without noise, with noise applied only to the right point cloud, and with noise applied to both.
Fig. 7: Densities of MTD(Q1,Q1) (dashed) and MTD(Q1,Qs) (solid), where Gaussian noise is applied only to the right argument (i.e., MTD(Purei,Noisedi) ). From left to right, the relative noise norms ∣∣ξ∣∣/∣∣x∣∣ are [0%,25%,50%,75%] . In this high-complexity regime, direct overlap comparison becomes less visually informative due to substantial distributional heterogeneity. However, the overlap values remain far from saturation, indicating persistent geometric discrepancy. The relative concentration (dispersion) of MTD(Q1,Q1) compared to MTD(Q1,Qs) provides additional descriptive insight into geometric variability. See Appendix C for discussion of this regime.
Fig. 8: Illustration of the proposed architectures. Let N and M denote the sizes of the input point clouds, and let W=N+M . The parameter K represents the output dimensionality of the dimension reduction method applied to the distance matrix, which contains zeros for all pairs of points within the right cloud. (a) RipsNet includes only the combined cloud block. (b) Cross-RipsNet includes all blocks except the distance features. (c) Cross-RipsNet with distance matrix incorporates all input blocks, including both point coordinates and distance-based features. See Appendix H for the ablation study of the inputs.
Model
Synthetic
3D shapes
Textual data
Symmetrical KL distance averaged among test data
RipsNet
2.60±0.10
0.69±0.01
0.90±0.03
Cross-RipsNet
2.34±0.05
0.52±0.01
0.62±0.03
Cross-RipsNet/PCA
2.40±0.04
0.57±0.01
0.66±0.02
Cross-RipsNet/MAX
2.38±0.04
0.54±0.02
0.66±0.05
Cross-RipsNet/Quantiles
2.05 ± 0.08
0.48 ± 0.03
0.56 ± 0.01
TABLE I: Comparison of methods for predicting the density of cross-persistence diagrams across three domains. The RipsNet and Cross−RipsNet models do not use the distance matrix as input, while the other methods reduce its dimensionality to K=60 using different approaches.
Fig. 9: Examples of densities and corresponding pairs of point clouds for the cross-persistence diagrams in the synthetic dataset. All plots share the same spatial boundaries.
Fig. 10: Results for the 3D shapes dataset. For each part of data, the left column shows the real persistence image, and the right column shows the predicted persistence image. Cross-RipsNet accurately predicts the center and shape of the density.
Fig. 11: Results for text data. For each part of data, the left column shows the real persistence image, and the right column shows the predicted persistence image. The Cross-RipsNet model captures the size and shape of the density accurately.
Fig. 12: Results for text data for zero-dimensional homology case. For each part of data, the left column shows the real persistence image, and the right column shows the predicted persistence image. Cross-RipsNet effectively learns the specificity of the data and achieves good results.
Domain
Cross-Barcodes
Training + Predicting
Time Gain
3D
2.60
0.40
6.5 ×
Text
3.00
0.74
4.0 ×
Synthetic
0.60
0.55
1.15 ×
TABLE II: Time comparison of cross-barcode density computation for each domain using classical methods versus Cross-RipsNet (trained on 80% of data, predicting 20% ). Times are reported in hours.
Fig. 13: Example of gravitational wave noise process. (a) Gravitational wave with noise. (b) Time-delay embedded gravitational wave visualized in 3D.
Model
Accuracy (train)
ROC (train)
Accuracy (valid)
ROC (valid)
Persistence Entropy (Giotto)
0.658±0.004
0.703±0.005
0.650±0.018
0.700±0.059
Cross-Entropies
0.666±0.001
0.720±0.004
0.700±0.030
0.747±0.040
MTDs
0.686±0.007
0.746±0.006
0.704±0.054
0.772±0.052
MTDs+Cross-Entropies
0.692 ± 0.004
0.776 ± 0.005
0.711 ± 0.040
0.783 ± 0.040
TABLE III: Results of experiments with gravitational waves. Best scores are shown in bold
Model
Worms
WormsTwoClass
Computers
Earthquakes
RefrigerationDevices
catch22
0.766±0.011
0.784±0.019
0.764±0.032
0.804±0.012
0.639±0.019
TopGen
0.701±0.010
0.728±0.017
0.657±0.017
0.816±0.019
0.494±0.016
FreshPrince
0.779±0.027
0.777±0.036
0.833 ± 0.024
0.821 ± 0.020
0.692 ± 0.020
catch22+TopGen
0.779 ± 0.024
0.784 ± 0.028
0.758±0.030
0.814 ± 0.020
0.661 ± 0.020
Fresh+TopGen
0.783 ± 0.026
0.784 ± 0.022
0.825±0.027
0.820±0.021
0.690±0.020
TABLE IV: Experimental results on UCR datasets. Best scores are shown in bold ; improved scores using TopGen features are underlined .
Figure 26Figure 27Figure 28
Appendix figures & tables8 assets
Supplementary material from the paper’s appendix.
Appendix
Fig. 14: Illustration of the overlap metric O(p,q) on four representative pairs of densities p and q .
Fig. 15: Comparison of cross-persistence diagram densities for different input combinations. A higher level of diversity is evident in the densities corresponding to human texts on the left side.
Fig. 16: Projections of cross-persistence densities onto a 2D space using different dimensionality reduction techniques. Human vs Any text densities (blue) and AI vs Any text densities (orange) exhibit partial separation, confirming their distinct characteristics.
Fig. 17: Projections of concatenated persistence images onto a 2D space using different dimensionality reduction techniques. It can be seen, that with usage of common persistence images, detection wether left cloud originates from AI or Human became much more harder, as support of Human points in this case are not localized.
Model
Accuracy (train)
ROC (train)
Accuracy (valid)
ROC (valid)
Wiki dataset (Wikipedia prompts)
Persistence Entropy (baseline)
0.839±0.003
0.942±0.001
0.841±0.027
0.945±0.007
Cross-Entropies
0.948±0.004
0.970±0.001
0.950±0.009
0.977±0.007
MTDs
0.955±0.001
0.975±0.001
0.960±0.007
0.980±0.006
MTDs + Cross-Entropies
0.958 ± 0.002
0.976 ± 0.001
0.966 ± 0.007
0.981 ± 0.006
Reddit dataset (question-based prompts)
Appendix
TABLE V: Results of AI vs. human text classification on Wiki and Reddit datasets. We report mean ± standard deviation over repeated runs. Wiki texts are generated using Wikipedia prompts, while Reddit texts are generated from question-based prompts following the experimental protocol of [ 8 ] . Best validation scores within each dataset block are shown in bold .
Fig. 18: Cross-RipsNet’s performance in predicting MTD density, for the synthetic dataset and two randomly chosen pairs of clouds from the test set.
Fig. 19: COIL20 sensitivity analysis: mean intersection between cross-persistence density estimates across all classes vs. noise level. Blue curve: pure vs. noise (only the right point cloud is noised). Orange curve: noise vs. noise (both point clouds are noised).
Fig. 20: Boxplot showing the distribution of KL divergence values for cross-persistence density prediction across multiple random seeds on the test set. The plot compares the original Cross-RipsNet model (using all inputs) with a modified version in which the input corresponding to the second point cloud has been removed.
Persistent entropy is the Shannon entropy of a persistence-based probability measure defined on a persistence diagram. However, its cross-entropy version is not naturally defined because two persistence diagrams generally have different event spaces. To bridge these event spaces, we combine a similarity function with persistence weighting to define an induced probability. The induced probability reflects information from one diagram on the event space of the other diagram and assigns unexplained probability mass to the unexplained event. Using the induced probability, we extend cross entropy to persistence diagrams, called persistent cross entropy (PCE). We establish the main properties of both the induced probability and PCE and prove stability theorems for both. Through three numerical studies, we show that PCE distinguishes diagrams with the same persistent entropy, separates causal directions in dynamical systems without constructing a joint persistent diagram, and can be used as a directional topology loss for knowledge distillation.
Sijin Yeom, Jae-Hun Jung
Artificial Intelligence Graduate School, Pohang University of Science and Technology, Pohang, Korea · Department of Mathematics, Pohang University of Science and Technology, Pohang, Korea
Persistence diagrams are common representations in topological data analysis, but they do not naturally live in a vector space, and the statistical tools developed for comparing them have largely evolved separately from those used for downstream prediction. We introduce STRAND (Survival Topological Representation ANalysis of Diagrams), which treats (collections of) PDs as survival data: each topological feature with persistence value p=d−b is a fully observed time-to-event, and the persistence survival function S(t)=P(p>t) is the central object for comparing diagrams. From this single representation we derive (i) a non-parametric two-sample test with calibrated Type I error and high power from a small number of diagrams; (ii) interpretable effect sizes; and (iii) a 1-Wasserstein-stable feature vector for downstream machine learning. We validate calibration and power on synthetic manifolds with controlled topology, demonstrate competitive vectorisation across 14 graph and 3D point cloud benchmarks, and apply the method to study functional brain connectivity in fMRI/neuroscience data. To our knowledge, STRAND is the first method to provide hypothesis testing and vectorisation for persistence diagrams from a single coherent and interpretable representation.
Persistence Diagram (PD) is known to capture point cloud topology effectively, but its computation has high time complexity. Expected Persistence Diagram (EPD) has been developed to reduce the time cost by studying the topology of multiple subsets of a point cloud and it serves as a distribution of topological features. Existing EPD vectorizations often rely on predefined point transformations, such as Gaussian or landscape functions. We study an alternative discretization based on Voronoi histograms, which trades smooth functional approximation for adaptive partition-based counting. We propose to use Voronoi Diagram-based histogram as the vectorization of EPD, without imposing an explicit smooth point transformation model. Under stated separation and normalization conditions, we establish stability bounds and characterize when the histogram representation preserves Wasserstein-scale variation. We demonstrate the effectiveness of our proposed representation on real-world datasets which have significant topological features for classification and dimensionality reduction tasks.
Kaifeng Zhang, Kai Ming Ting
School of Artificial Intelligence Nanjing University, China