REVIEW 2 major objections 5 minor 9 references
Discrete signature tensors for persistence landscapes
T0 review · 2 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read Two time-series have the same discrete signature if and only if they are equivalent under time-warping and time-translation, and the paper uses this to build a discriminative feature map for persistence landscapes that separates barcodes…
desk verdict The DLFM is a sensible idea, but the critical-point lemma that defines the time-series omits actual crossing points of overlapping intervals, so the construction is not faithful as stated, and the advertised stability theorem is vacuous. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the discrete signature tensor $\Sigma(x)$ of a time-series $x=(x_1,\ldots,x_n)\in \mathbb{R}^d$, whose coefficient for $p_1\otimes\cdots\otimes p_\ell$ is the sum of $\prod_j p_j(x_{i_j+1}-x_{i_j})$ over strictly increasing indices $i_1<\cdots<i_\ell$. This tensor is invariant under time-warping and time-translation, and under the shifted concatenation $\{x|y\}$ it satisfies the discrete Chen relation $\Sigma(\{x|y\})=\Sigma(x)\otimes\Sigma(y)$, making the discrete signature a monoid homomorphism. The paper proves that the kernel of this homomorphism is exactly the equivalence $\sim_{\mathrm{twt}}$, which is what makes the DLFM discriminative. For barcodes, the input time-series is obtained by evaluating the persistence landscape at the critical points listed in Lemma 3.7, a canonical description of the landscape by its breakpoints.
What would settle it
Compute the full discrete signatures of two time-warping-reduced time-series $x,y$ that are not related by $\sim_{\mathrm{twt}}$; Theorem 3.4 predicts no such pair exists, so any computed counterexample would refute the injectivity claim. In one dimension, such a pair would have to share all elementary symmetric functions and all mixed power-sum-like coefficients of their consecutive differences while differing in their order.
Extended reading notes
Core claim
The core result (Theorem 3.4) is that any two time-series in $\mathbb{R}^d$ have the same discrete signature if and only if one is obtained from the other by time-warping (inserting or deleting repeated consecutive points) and time-translation (adding a constant vector). In particular, the quotient map $\mathrm{TS}(\mathbb{R}^d)/\sim_{\mathrm{twt}}\hookrightarrow T((V_d))$ is injective. The proof first reduces to time-warping-reduced series, shows equal signatures force equal length, then in one dimension reads signature coefficients as elementary symmetric functions in the consecutive differences, and finally uses mixed monomial coefficients to align the permutation across coordinates. The paper notes the same theorem was proved independently in a more general setting in [DET22]. For barcodes, the input series is the list of landscape critical points given by Lemma 3.7 from [Bub20], so the DLFM inherits the injectivity statement; the authors emphasize that this distinguishes landscapes whose continuous signatures are tree-like equivalent.
Load-bearing premise
The construction assumes that a persistence landscape is completely determined by the time-series of its critical values at a fixed number of levels $d$; if critical points were omitted, or if truncating to $d$ levels discarded informative structure, the DLFM would be less descriptive than claimed.
Editorial extensions
If this is right
- Because the DLFM quotients injectively on time-series modulo $\sim_{\mathrm{twt}}$, it separates barcodes whose landscapes the ordinary continuous signature conflates: singleton barcodes and separated multi-bar barcodes have different discrete signatures.
- For a finite set of barcodes, the specialised map $\Phi^{\leq k}_{I_D}$ is uniformly continuous, so small bottleneck perturbations produce small Bombieri-Weyl changes in the signature; the map can be used as a stable input feature for classifiers on a fixed dataset.
- For single-level landscapes the discrete signature is determined entirely by the persistence of the bars, so the DLFM recovers persistence information exactly in that case.
- On knotted proteins, k-means on weight-3 signatures with 15 landscape levels reproduces the nine structural classes with ARI 0.958 and NMI 0.895, and the signature correlates with knot depth (Spearman 0.647, random-forest R2 0.866), both with permutation-test p-values below 0.001.
Reading between the lines
- If the injectivity theorem holds, the DLFM becomes a faithful vectorisation: differences between discrete signature tensors can be interpreted as genuine geometric differences between barcodes, up to the arbitrary choice of level truncation.
- Because the discrete signature is polynomial in consecutive differences, the DLFM invites kernel-based methods for barcodes; the paper mentions kernelisation as a future direction, and a natural next experiment is whether raising the truncation weight beyond 3 improves classification or merely adds noise.
- The level count $d=15$ is chosen by hand for the protein dataset; a testable extension is adaptive level selection, for example adding levels until the discrete signature stabilises, which would make the representation comparable across datasets.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a vectorisation of persistence barcodes called the discrete landscape feature map (DLFM), which sends a barcode to its persistence landscape, samples the landscape at its critical points to form a time-series, and then applies the discrete signature tensor map. The main theoretical results are: (Theorem 3.4) the discrete signature determines time-series up to time-warping and time-translation, with the authors noting in Remark 3.5 that this was already proved by Diehl, Ebrahimi-Fard and Tapia in greater generality; (Theorem 3.15) a uniform-continuity statement for a version of the DLFM specialised to a finite set of barcodes; and several partial results on signature matrices of piecewise-linear loops and landscapes. The paper also reports an application to knotted proteins, showing correlation between discrete-signature features and structural classes as well as knot depth, with permutation tests and publicly available code.
Significance. If the construction were fully justified, the DLFM would be a genuinely useful, computable and discriminative feature map for barcodes, and the protein experiments are encouraging: the authors provide code, explicit parameter choices, and statistical validation. The proof of Theorem 3.4 is self-contained and appears correct, and Remark 3.5 is an appropriate disclosure of overlap with the existing literature. However, the advertised stability theorem is vacuous as stated because the map is formulated on a finite domain, and the critical-point lemma on which the entire DLFM construction rests is mis-stated. These are load-bearing issues for the paper's central claims, although both appear fixable by a corrected lemma and a carefully stated stability theorem.
major comments (2)
- [§3.4, Eq. (3.14), Theorem 3.15] The advertised stability result is vacuous as stated. The map Φ^{≤k}_{ID} is defined on the finite set D⊂Bar in Eq. (3.14), and every function on a finite metric space is uniformly continuous. Thus Theorem 3.15 gives no quantitative control and does not support the paper's claim that the DLFM has desirable continuity properties. If the intended statement is that the map on all of Bar obtained by evaluating landscapes on the fixed finite grid C_D is uniformly continuous, then Eq. (3.14) and the proof must be corrected, since Claim 1 of the proof explicitly restricts the landscape map to D. Please clarify the domain and either prove a non-vacuous stability statement or remove the continuity claim.
- [§3.2, Lemma 3.7] The critical-point list in Lemma 3.7 is incorrect and misses crossing points of overlapping intervals. For B={[0,4],[2,6]}, the first landscape is λ_1(t)=max(min(t,4−t), min(t−2,6−t)), whose slope changes at t=0,2,3,4,6; the point t=3 is a crossing of the right slope of the first tent and the left slope of the second, and equals (d_1+b_2)/2, not (b_1+b_2)/2. Since the time-series I(B) in (3.11) is obtained by evaluating the landscape at the lemma's critical points, the DLFM may miss genuine breakpoints and therefore may not faithfully represent the landscape. The lemma (or its citation) should be corrected and the computations and protein experiments in Section 4 should be re-run with the corrected time-series.
minor comments (5)
- [§3.2, Lemma 3.7] In item 4 of the lemma, the symbols b_k and d_k are not introduced and the condition 'b_k < b_i < d_j < d_i' is unclear; after the formula is corrected, please define all indices and state exactly which pairs of bars are considered.
- [§3.2, Eq. (3.11)] The map I(B) requires a well-defined ordering of the critical points; please specify that the critical points are sorted in increasing order, with a tie-breaking rule, before forming the time-series.
- [§3.4, proof of Theorem 3.15] The uniform-continuity argument for the discrete signature in Claim 2 assumes two time-series of the same length; this is guaranteed only after the domain of I_D is clarified, so the proof should state the length assumption explicitly.
- [§4, Figures 4.1–4.5] The parameters in the application (15 landscape levels, signature weight ≤ 3, 9 k-means clusters) are hand-picked; please report how sensitive the ARI/NMI results are to neighbouring parameter choices, since the method is otherwise parameter-free only within a fixed grid.
- [§3.4 and §4] There are minor typos: 'pourposes' in §3.4 and 'whevener' in §4 should be 'purposes' and 'whenever'.
Circularity Check
The mathematical core is independent, but the empirical validation of the DLFM on knotted proteins is circular: the three free parameters are selected to maximize the same ARI/NMI scores that are then reported as evidence.
-
fitted input called prediction
[Sec. 4, 'Correlation between discrete signature and sequence similarity' (Figure 4.1 and surrounding text).]
"We use k-means clustering for three parameters: truncation of levels in the landscapes, truncation by weight (as defined in (3.3)) of the discrete signatures, and number of clusters for k-means. We quantify the correlation between signature-based clusters and the labelling determined by structural class representative using the Adjusted Rand Index (ARI) and Normalised Mutual Information (NMI) ... The metrics in Figure 4.1 show high similarity between the clustering ..."
The hyperparameters d=15, k=3, and the number of clusters are chosen by scanning the ARI/NMI grid on the same protein dataset. The reported ARI=0.958 and NMI=0.895 are the values for the selected parameter combination, i.e. the outcome of the optimization used to pick those parameters, rather than an independent evaluation on held-out data. The permutation test is then run at these already-selected parameters and does not account for the preceding selection, so the 'statistical significance' is evaluated on the same data that determined the configuration. This is a fitted input presented as validation of the feature map's discriminative power.
full rationale
The theoretical derivation is not circular. Theorem 3.4 is proved directly from the definition of discrete signatures and symmetric functions (Lemmas 3.2, 3.3 and the proof of Theorem 3.4), and the overlap with [DET22] is disclosed in Remark 3.5; [DET22] is not a self-citation and is not used as an unproved premise. The uniform-continuity theorem legitimately uses Bubenik's external stability lemma as an input. The DLFM's use of landscape critical points from [Bub20, Lemma 5.8] is an external mathematical input; even if the skeptically noted omission of crossing points makes that lemma's list incomplete for interleaved bars, that is a correctness risk about faithfulness of the time-series, not a circular reduction. The one real circular element is in the application section: the free parameters are tuned to maximize the same ARI/NMI scores that are then reported and validated by a permutation test that does not correct for the tuning. This affects the strength of the empirical claims, but the paper's main mathematical results remain independently established, so the overall circularity score is 4 rather than higher.
Assumptions & free parameters
free parameters (3)
- number of landscape levels d =
15
- signature truncation weight k =
3
- number of k-means clusters =
9
assumptions (8)
- domain assumption Persistence landscapes are determined by their critical points (Lemma 3.7 from [Bub20])
- domain assumption The landscape map is 1-Lipschitz stable (Bub20, Theorem 2.4)
- domain assumption Discrete signature coefficients are defined by the iterated-sum formula (3.2) and satisfy the discrete Chen relation (3.10)
- domain assumption Barcodes are tame, with finitely many intervals contained in [0,L]
- standard math The ground field is R
- standard math A univariate monic polynomial is determined by its elementary symmetric functions
- domain assumption The FRUITS software computes discrete signatures correctly
- domain assumption The knotted-protein dataset and its structural class and knot-depth labels from [Ben+23] are reliable
Cite this review
Pith. "Pith review of Discrete signature tensors for persistence landscapes." pith.science (2026). https://pith.science/paper/L7GFUIVC
@misc{pith2026250502800,
author = {Pith},
title = {Pith review of: Discrete signature tensors for persistence landscapes},
year = {2026},
howpublished = {\url{https://pith.science/paper/L7GFUIVC}},
note = {Machine review of arXiv:2505.02800}
}
read the original abstract
Signature tensors of paths are a versatile tool for mathematical data analysis. Recently, they have been applied in the context of vectorisation of persistent homology: after a choice of embedding of barcodes into a space of paths on a vector space, one applies the path signature map, resulting in tensors amenable to statistical and machine-learning methods. Among the different path embeddings, the persistence landscape embedding (PLE) is injective and stable, but PLE is composed with the signature map loses injectivity. Therefore, we address this by proposing a discrete alternative. Persistence landscapes are determined by the time-series of their critical points, of which we compute the discrete signature. We call this composition the {\em discrete landscape feature map} (DLFM), and give results on its injectivity, stability and computability. When studying the injectivity, we complete the proof of a general result due to Diehl, Ebrahimi-Fard and Tapia in the higher-dimensional setting. We showcase the DLFM on a knotted protein dataset, capturing sequence similarity and knot depth with statistical significance. We include an appendix with a preliminary study of Chen signatures of persistence landscapes from the point of view of algebraic geometry.
Figures
Figures from the paper (4 more)
Reference graph
Works this paper leans on
-
[1]
A survey of vectorization methods in topological data analysis
[Ali+23] D. Ali, A. Asaad, M.J. Jimenez, V. Nanda, E. Paluzo-Hidalgo, and M. Soriano- Trigueros. “A survey of vectorization methods in topological data analysis”. In: IEEE Transactions on Pattern Analysis and Machine Intelligence 45.12 (2023), pp. 14069–14080. [AFS19] C. Am´ endola, P. Friz, and B. Sturmfels. “Varieties of signature tensors”. In: Forum Ma...
work page 2023
-
[10]
Decomposing Tensor Spaces via Path Signatures
1017/fms.2019.3. [Am´ e+25] C. Am´ endola, F. Galuppi,´A.D. R´ ıos Ortiz, P. Santarsiero, and T. Seynnaeve. “Decomposing Tensor Spaces via Path Signatures”. In: Journal of Pure and Applied Algebra 229.1 (2025). doi: 10.1016/j.jpaa.2024.107807. [BG21] A. Barbensi and D. Goundaroulis. “f-distance of knotoids and protein struc- ture”. In: Proceedings of the ...
arXiv 2025
-
[17]
doi: 10.1140/epjds/s13688-017-0109-5. [RB19] R. Rabad´ an and A.J Blumberg. Topological data analysis for genomics and evolution: topology in biology . Cambridge University Press,
-
[54]
issn: 2050-5094. doi:
-
[117]
A persistence landscapes toolbox for topological statistics
isbn: 9783030434083. doi: 10.1007/978-3-030-43408-3_4 . [BD17] P. Bubenik and P. Dlotko. “A persistence landscapes toolbox for topological statistics”. In: Journal of Symbolic Computation 78 (2017), pp. 91–114. doi: 10.1016/j.jsc.2016.03.009. [Bub+20] P. Bubenik, M. Hull, D. Patel, and B. Whittle. “Persistent homology detects curvature”. In: Inverse Probl...
arXiv 2017
-
[2016]
doi: 10.48550/arXiv.1601.08169. [LO23] D. Lee and H. Oberhauser. The Signature Kernel . arXiv:2305.04625 [math]. May
-
[2023]
Quan- tifying similarity of pore-geometry in nanoporous materials
doi: 10.48550/arXiv.2305.04625. [Lee+17] Y. Lee, S.D Barthel, P. D lotko, S.M. Moosavi, K. Hess, and B. Smit. “Quan- tifying similarity of pore-geometry in nanoporous materials”. In: Nature com- munications 8.1 (2017), pp. 1–8. [LM25] T. Lyons and A.D McLeod. Signature Methods in Machine Learning
-
[2024]
Toroidal topology of population activity in grid cells
arXiv: 2407.20405 [math.AG]. [Gar+22] R.J Gardner, E. Hermansen, M. Pachitariu, Y. Burak, N. A Baas, B.A Dunn, M-B. Moser, and E.I Moser. “Toroidal topology of population activity in grid cells”. In: Nature 602.7895 (2022), pp. 123–128. 30 [Giu+25] C. Giusti, D. Lee, V. Nanda, and H. Oberhauser. “A topological approach to mapping space signatures”. In: Ad...
arXiv 2022
Show all 9 references
-
[2025]
Fruit flies and moduli: interactions between biology and mathemat- ics
arXiv: 2206.14674 [stat.ML]. [Mil15] E. Miller. “Fruit flies and moduli: interactions between biology and mathemat- ics”. In: Notices of the AMS 62.10 (2015), pp. 1178–1184. [Ott+17] N. Otter, M.A. Porter, U. Tillmann, P. Grindrod, and H.A. Harrington. “A roadmap for the compu...
2015 arXiv
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.