Discrete signature tensors for persistence landscapes
Extracted source text · arXiv 2505.02800
\documentclass[12pt]{article}
\usepackage[a4paper, top=1.2in, bottom=1.5in, left=1.2in, right=1.1in]{geometry}
\usepackage{graphicx, amsthm, amsfonts , amssymb, amsmath, bbold,xcolor}
\usepackage{mathrsfs}
\usepackage{quiver}
\usepackage[style=alphabetic,sorting=nyt,maxbibnames=9,url=false]{biblatex}
% \bibliographystyle{alpha}
\addbibresource{paper_signatures.bib}
\renewcommand*{\bibfont}{\small}
\usepackage{hyperref}
\usepackage{comment}
\usepackage{float}
\usepackage{hyperref}
\numberwithin{equation}{section}
\numberwithin{figure}{section}
% Define Operators
\newcommand{\Top}{\text{\textbf{Top}}}
\newcommand{\Met}{\text{\textbf{Met}}}
\newcommand{\Ban}{\text{\textbf{Ban}}}
\newcommand{\T}{\mathbb{T}} % tensor algebra
\DeclareMathOperator{\BBar}{\text{\textbf{\bf Bar}}}
\DeclareMathOperator{\bfT}{\text{\textbf{T}}} %transposing matrices or vectors
\DeclareMathOperator{\BV}{\text{\textbf{\bf BV}}} % paths of bounded variation
\DeclareMathOperator{\B}{\text{\textbf{\bf B}}}
\newcommand{\RR}{\mathbb R}
\newcommand{\CC}{\mathbb C}
\newcommand{\GL}{\text{GL}}
\newcommand{\im}{\text{im}}
\newcommand{\rk}{\text{rk}}
\newcommand{\LS}{\rm{LS}}
\newcommand{\iLS}{\rm{iLS}}
\DeclareMathOperator{\TS}{\text{\textbf{\bf TS}}}
\DeclareMathOperator{\dist}{dist}
\newcommand{\norm}[1]{\left \lVert #1 \right \rVert}
% Define the theorem environment
\newtheorem{theorem}{Theorem}[section] % Numbering within sections
% Define the claim environment using the same counter as theorem
\newtheorem{claim}[theorem]{Claim}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{question}[theorem]{Question}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem*{theorem_intro}{Theorem}
\newtheorem*{proposition_intro}{Proposition}
\theoremstyle{definition}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{example}[theorem]{Example}
\newtheorem{definition}[theorem]{Definition}
% Define a custom dark teal color
\definecolor{darkteal}{RGB}{0, 128, 128} % RGB values for dark teal
% Define the \Daniel command with the custom color
\newcommand{\Daniel}[1]{{\color{darkteal}{\bf DT}: #1}}
\newcommand{\vingal}[1]{{\color{olive}{\bf VG}: #1}}
\newcommand{\Heather}[1]{{\color{orange}{\bf HH}: #1}}
\title{Discrete signature tensors for persistence landscapes} %with applications to time-series vectorisations}
\author{\textsc{\small Vincenzo Galgano, Heather A. Harrington, Daniel Tolosa}}
\AtEndDocument{
\hrule
\vspace{2mm}
\indent {\small (V. Galgano)} \textsc{\footnotesize Max-Planck Institute of Molecular Cell Biology and Genetics, Dresden, Germany; Centre for Systems Biology Dresden, Dresden, Germany; Faculty of Mathematics, Technische Universität Dresden, Dresden, Germany}; {\small \textit{E-mail address:} {galgano@mpi-cbg.de}; ORCID: \texttt{0000-0001-8778-575X}}\\
\indent {\small (H. A. Harrington)} \textsc{\footnotesize Max-Planck Institute of Molecular Cell Biology and Genetics, Dresden, Germany; Centre for Systems Biology Dresden, Dresden, Germany; Faculty of Mathematics and Physics of Life, Technische Universität Dresden, Dresden, Germany; Mathematical Institute, University of Oxford, Oxford, UK}; {\small \textit{E-mail address}: {harrington@mpi-cbg.de}; ORCID: \texttt{ 0000-0002-1705-7869 }}\\
\indent {\small (D. Tolosa)} \textsc{\footnotesize School of Mathematical and Statistical Sciences, Arizona State University, Tempe, AZ, United States of America}; {\small \textit{E-mail address}: {dtolosav@asu.edu }; ORCID: \texttt{ 0000-0003-0586-9808 } }
}
\date{}
\begin{document}
\maketitle
\begin{abstract}
\noindent Signature tensors of paths are a versatile tool for data analysis and machine learning. Recently, they have been applied to persistent homology, by embedding barcodes into spaces of paths. Among the different path embeddings, the persistence landscape embedding is injective and stable, however it loses injectivity when composed with the signature map. Here we address this by proposing a discrete alternative. The critical points of a persistence landscape form a time-series, of which we compute the discrete signature. We call this association the {\em discrete landscape feature map} (DLFM). We give results on the injectivity, stability and computability of the DLFM. We apply it to a knotted protein dataset, capturing sequence similarity and knot depth with statistical significance.
\hfill\break
\noindent {\bf Keywords:} persistent homology, barcodes, persistence landscapes, feature maps, time-series, time warping, path signatures, tensors, knotted proteins, vectorisation. \\
\noindent {\bf MSC2020 codes:} 55N31, 68T09, 46B85.
\end{abstract}
%\tableofcontents
\paragraph*{Acknowledgements.} We thank Agnese Barbensi, Darrick Lee, Vidit Nanda and Leon Renkin for helpful discussions. We also thank MPI-MiS Leipzig for hosting the conference \textquotedblleft MEGA 2024\textquotedblright, which informed this research and led to new connections with Francesco Galuppi and Pierpaola Santarsiero. We are
grateful to MPI-CBG Dresden and CSBD for the excellent working conditions. HAH gratefully acknowledges funding from the Royal Society RGF/EA/201074, UF150238 and EPSRC EP/R018472/1, EP/Y028872/1 and EP/Z531224/1. VG is member of the Italian national group GNSAGA-INdAM.
\paragraph*{Open Access policy.} The authors have applied a CC-BY public copyright license to any Author Accepted Manuscript (AAM) version arising from this submission.
\section*{Introduction}
As the scale and complexity of biological data increases, problems such as interpretation, classification and quantification require advanced mathematical methods for investigation. Applying persistent homology from topological data analysis to biological data provides a geometric interpretation of the shapes of data. Here, we propose an alternative approach combining persistent homology and nonlinear algebra. \\
\hfill\break
\indent Persistent homology provides a multiscale geometric descriptor of data that is functorial, stable to perturbations and interpretable: it takes in a filtered simplicial complex that describes the shape of data, and then outputs a persistence module that can be visualised as a {\em barcode}, i.e. a multiset of intervals. Persistent homology has been applied to complex datasets (e.g. neuroscience and biomedicine \cite{gardner2022toroidal,lee2017quantifying,miller2015fruit,benjamin2024multiscale,rabadan2019topological}). In addition to its stability and interpretability, vectorising barcodes is crucial for machine learning integration \cite{ali2023survey}. Some approaches consist of studying the analytical and topological properties of certain continuous paths (e.g. landscape embedding, integrated landscape embedding, Betti curves) associated to landscapes (or barcodes) \cite{Bubenik_2020, Chevyrev_2020, giusti2025topological}. For instance, unlike Betti curves, the (integrated) landscape embedding has been proven to be stable and more meaningful, but still computationally inefficient. \\
\indent In \cite{Chevyrev_2020} the authors proposed a new approach to vectorisation in topological data analysis, leading to {\em feature maps} which associate barcodes to the signature tensors of the aforementioned paths. More precisely, a feature map $\Phi_\bullet$
\[
\Phi_\bullet : \BBar \xrightarrow{\iota_\bullet} \BV(V) \xrightarrow{\sigma} \T((V))
\]
is given by the composition of a chosen \textit{path embedding} $\iota_\bullet: \BBar \rightarrow \BV(V)$ from barcodes to bounded-variation paths, with the {\em Chen signature map} $\sigma: \BV(V)\rightarrow \T((V))$ associating to a path its signature tensor. {\em Signature tensors} are an algebraic tool firstly introduced by \cite{chen1954iterated} with a rich algebraic and combinatorial structure based on Hopf algebras. A more geometrical approach to signature tensors was firstly proposed in \cite{amendola19}, focusing on related algebraic varieties. Since then, the topic has increasingly attracted the interest of algebraic geometers \cite{amendola2023decomposingtensorspacespath, galuppi2024ranksymmetriessignaturetensors}. A discrete version of signature tensors was introduced by \cite{diehl2020iteratedsumsignature, diehl2020timewarping}, called {\em discrete signature tensor} (or also iterated sum signature in opposition to Chen's iterated integral signature). It associates tensors to time-series, and its combinatorics is ruled by quasi-Hopf algebras. First results on the geometry of discrete signature tensors appear in \cite{bellingeri2023discrete}.
Our work is inspired by both feature maps from persistent homology and the discrete signature tensors. Among the feature maps proposed in \cite{Chevyrev_2020} the \textit{landscape} and \textit{integrated landscape} path embeddings satisfy desirable stability properties. We take a closer look at these two feature maps and at their images in $\T((V))$. In particular, we focus on the varieties of signature matrices of (integrated) landscape paths. However, the description we give is only partial, and intended more as invitation to algebraic geometers for further study. For instance, since persistence landscape paths are piecewise linear loops, we first describe the signature matrices for loops.
\begin{proposition_intro}[cf.\ Prop.\ \ref{prop:landscape_loops}, Cor.\ \ref{cor:loop_variety}]
A piecewise linear path is a loop if and only its signature matrix coincides with its log-signature matrix. In particular, the variety of signature matrices of piecewise linear loops in $\mathbb R^d$ with $m$ maximal segments coincides with the secant variety $\sigma_{\lfloor \frac{m}{2}\rfloor}(Gr(2,d))$ of the Grassmannian of planes in $\mathbb R^d$.
\end{proposition_intro}
\indent The main theoretical contribution of this work is a discrete approach to feature maps as an alternative for vectorisation. We introduce the {\em discrete landscape feature map} (DLFM)
\[ \begin{matrix} \Phi_{I} : & \BBar & \stackrel{\iota_{\LS}}{\rightarrow} & \BV(V) & \rightarrow & \TS(V) & \stackrel{\Sigma}{\rightarrow} & \T((\mathscr{V})) \\
& B & \mapsto & \lambda^B & \mapsto & \underline{\bold{x}}^B & \mapsto & \Sigma(\underline{\bold{x}}^B) \end{matrix} \]
which first associates to a barcode $B \in \BBar$ the time-series $\underline{\bold{x}}^B=\{\bold{x}_1,\ldots, \bold{x}_n\} \in \TS(V)$ of critical points of the persistence landscape $\lambda^B \in \BV(V)$ of the barcode, and then the discrete signature tensor $\Sigma(\underline{\bold{x}}^B)\in \T((\mathscr{V}))$ of the time-series (cf. Sec.\ \ref{sec:discrete section} for precise definitions). The map $\BV(V)\rightarrow \TS(V)$ restricted to persistence landscapes is \textquotedblleft canonical\textquotedblright, since persistence landscapes are completely determined by their critical points. Of course, this method may generalise to other path embeddings.\\
\indent We choose the landscape embedding and the discrete signature due to their {\em stability} properties and their {\em discriminative} powers. Indeed, the landscape embedding $\iota_{\LS}$ is stable, unlike other embeddings, and injective (cf.\ \cite[Sec.\ 3.4]{Chevyrev_2020}). However, the discriminative power of $\iota_{\LS}$ gets lost in the feature map $\Phi_{\LS}$, since Chen signature tensors are invariant under tree-like equivalence of paths. We address this by taking a discrete approach, given the discrete nature of the output of persistent homology, and the availability of the software FRUITS (Feature Extraction Using Iterated Sums) proposed in \cite{diehl2024fruits} for efficiently implementing discrete signatures. We show that discrete signature tensors distinguish among tree-like equivalent landscapes, implying that the DLFM $\Phi_I$ is more descriptive than $\Phi_{\LS}$. Alternatively, one may solve the non-injectivity of $\Phi_{\LS}$ by adding a time parameter to $\iota_{\LS}$, but we expect this would have computational limitations. \\
\indent We start our analysis of the discrete feature map $\Phi_I$ by first studying the injectivity of the discrete signature map $\Sigma: \TS(V)\rightarrow \T((\mathscr{V}))$. Such a map is a monoid homomorphism with respect to the shifted-concatenation (cf.\ equation \eqref{def:concatenation time-series}) of time-series, and the tensor product of discrete signature tensors. The discrete signature map is known \cite{diehl2020timewarping} to be invariant under time-warping and time-translation equivalence $\sim_{twt}$. We prove that this equivalence uniquely determines the (monoidal) kernel of $\Sigma$.
\begin{theorem_intro}[cf.\ Theorem \ref{thm:uniqueness up to time-warping}]
Any two time-series $\underline{\bold{x}},\underline{\bold{y}} \in \TS(V)$ have the same discrete signature $\Sigma(\underline{\bold{x}}) = \Sigma(\underline{\bold{y}})$ if and only if $\underline{\bold{x}} \sim_{twt} \underline{\bold{y}}$. In particular, the quotient map $\TS(V)/_{\sim_{twt}} \hookrightarrow \T((\mathscr{V}))$ is injective.
\end{theorem_intro}
\noindent We also propose a description of time-warping and time-translation in terms of matrices (cf.\ Remark \ref{rmk:matrix time-warping}).\\
\indent Next, we address the problem of the stability of the discrete feature map $\Phi_{I}$.
We note that it is not continuous on the whole domain $\BBar$, since the discrete signature map is not invariant under time-series refinements. We overcome this obstacle by restricting to consider a finite set of barcodes $D\subset \BBar$, and consider the union of the critical points of all landscapes arising from $D$. This results in the {\em specialised discrete landscape feature map} $\Phi_{I_D}$. Such an assumption is reasonable considering that most experiments generate finite datasets.
Moreover, we restrict the image of $\Phi_{I_D}$ to the subspace $\T^{\leq k}((\mathscr{V}))$ of discrete signature tensors truncated up to weight $k$. Again, this restriction is quite natural for applications.\\
\indent The feature map $\Phi_{I_D}$ has desirable continuity properties. Indeed, albeit not being stable in the sense of $1$-Lipschitz, we show that $\Phi_{I_D}$ is uniformly continuous. Here, the metrics involved are the {\em bottleneck distance} on the space of barcodes $\BBar$ (introduced by \cite{cohen2007stability} and further investigated by \cite{bubenik2015statistical}) and the {\em Bombieri-Weyl distance} on the space of discrete signature tensors $\T((\mathscr{V}))$, naturally induced from the standard scalar product on $\mathbb R^d\simeq V$.
\begin{theorem_intro}[cf.\ Theorem \ref{thm:uniform continuity}]
Given $D\subset \BBar$ a finite set of barcodes, the specialised discrete landscape feature map
\[ \Phi_{I_D}^{\leq k}: \BBar \rightarrow \T^{\leq k}((\mathscr{V})) \]
is uniformly continuous with respect to the bottleneck distance on $\BBar$ and the Bombieri-Weyl distance on $\T^{\leq k}((\mathscr{V}))$.
\end{theorem_intro}
\indent We complement the theoretical study by showcasing the DLFM on a knotted protein dataset previously analysed with persistence landscapes in \cite{benjamin2023homology}. We use the software FRUITS (Feature Extraction Using Iterated Sums) proposed in \cite{diehl2024fruits} for implementing discrete signatures. We show that discrete signatures and structure representative classes (in the sense of amino-acid sequence similarity) are strongly correlated with very high {\em Adjusted Rand Index} (ARI) and {\em Normalised Mutual Information} (NMI) scores. We validate the statistical significance of such correlation by running permutation tests. We also show correlation between discrete signature and knot depth via two statistical methods, and we visualise it by applying Principal Component Analysis (PCA). In our analysis we maintain the labeling of representatives analogous to the one in \cite{benjamin2023homology} to allow comparisons. We explain our analysis in a way intended to be accessible to a broad audience.\\
\hfill\break
\indent This work is organised as follows. Sec.\ \ref{sec:preliminaries} contains the preliminary notions and already known results about signature tensors and persistence feature maps. In Sec.\ \ref{sec:signature for landscapes} we give partial descriptions of the signature matrices of piecewise linear loops, landscapes and integrated landscapes. Sec.\ \ref{sec:discrete section} represents the theoretical core of the manuscript, and contains all constructions and results about the discrete landscape feature map. Sec.\ \ref{sec:application} highlights the utility of the signature-based analysis of biological structures of knotted proteins with respect to both sequence similarity and knot depth.
\section{Preliminaries}\label{sec:preliminaries}
\subsection{Signature tensors and their varieties}\label{subsec:prelim_signatures}
Our main references for notions and result appearing in the following are \cite{amendola19, amendola2023decomposingtensorspacespath}. We fix a vector space $V$ over $\mathbb R$ of dimension $d$ and a basis $(e_1,\ldots, e_d)$.
\paragraph{Power series tensor algebra.} Given a vector space $V$, let $\T((V)):= \prod_{k\geq 0}V^{\otimes k}$ be the {\em power series tensor algebra} over $V$, whose elements are sequences of tensors $\mathcal T=\big( T^{(k)} \big)_k$ such that $T^{(k)} \in V^{\otimes k}$, and whose inner product is given by the tensor product $\mathcal T \otimes \mathcal T' = \big(\sum_{i+j=k}T^{(i)} \otimes (T')^{(j)}\big)_k$. Equivalently, by looking at elements as power series $\mathcal T=\sum_{k\geq 0}T^{(k)}$, the inner product is the multiplication of power series. For any $k$ we write $T^{(k)}_{i_1,\ldots, i_k} \in \mathbb C$ for the $(i_1,\ldots, i_k)$-th entry of the tensor $T^{(k)}$ with respect to the fixed basis of $V$, so that $T^{(k)}=\sum_{I \in [n]^k} T^{(k)}_{i_1,\ldots, i_k}e_{i_1}\otimes \ldots \otimes e_{i_k}$. We denote the multiplicative subgroup of $\T((V))$ of power series with degree--$0$ term equal to $1$ by
\begin{align*}
\T_1((V)) & := \{ \mathcal T \in \T((V)) \ | \ T^{(0)}=1 \} \ .
\end{align*}
\paragraph{Path signature.} Let $\BV([0,1],V)$ be the set of bounded-variation continuous paths $\gamma: [0,1]\rightarrow V$. The {\em path signature} is the map
\begin{equation}\label{eq:signature path}
\begin{matrix}
\sigma : & \BV([0,1],V) & \longrightarrow & \T_1((V)) \\
& \gamma & \mapsto & \sigma(\gamma) = \left(\sigma^{(k)}(\gamma)\right)_k
\end{matrix}\end{equation}
such that $\sigma^{(0)}(\gamma)=1$ by convention, and $\sigma^{(k)}(\gamma):=\int_{\Delta_k}d\gamma^{\otimes k}$ is the Riemann-Stieltjes integral of $d\gamma^{\otimes k}:= d\gamma(t_1)\otimes \ldots \otimes d\gamma(t_k)$ over the $k$--dimensional standard simplex $\Delta_k$. More practically, the coefficient of $e_{i_1}\otimes \ldots \otimes e_{i_k}$ in the tensor $\sigma^{(k)}(\gamma) \in V^{\otimes k}$ is (cf.\ \cite[Secc.\ 2,3]{chen1954iterated})
\begin{equation}\label{eq:def signature}
\sigma^{(k)}(\gamma)_{i_1,\ldots, i_k} = \int_{0}^1 \int_{0}^{t_k} \cdots \int_{0}^{t_2}\dot\gamma_{i_1}(t_1)\cdots \dot\gamma_{i_k}(t_k) dt_1\cdots dt_k \ .
\end{equation}
The sequence $\sigma(\gamma)\in \T((V))$ is the {\em signature tensor} of $\gamma$, and its $k$--th entry $\sigma^{(k)}(\gamma) \in V^{\otimes k}$ is the {\em order-$k$ signature tensor} of $\gamma$. \\
\indent The path signature $\sigma$ is a multiplicative homomorphism with respect to the concatenation of paths in $\BV([0,1],V)$ (which we denote by $\ast$) and the tensor product in $\T_1((V))$. This is a consequence of the Chen relation \cite[Theorem 3.1]{chen1954iterated}
\begin{equation}\label{eq:chen relation}
\sigma(\gamma_1 \ast \gamma_2)=\sigma(\gamma_1)\otimes \sigma(\gamma_2) \ .
\end{equation}
\noindent Moreover, $\sigma$ quotients to an injective homomorphism
\begin{equation}\label{eq:injective up to tree-like}
\sigma: \ \BV([0,1],V)/\sim_{tl} \ \hookrightarrow \ \T((V))
\end{equation}
with respect to the {\em tree-like equivalence}, for whose definition we refer to \cite[Sec.\ 4]{Chevyrev_2020}. However, \cite[Corollary 1.5]{Hambly_2010} shows that one can take $\gamma_1 \sim_{tl} \gamma_2 \iff \sigma(\gamma_1\ast \gamma_2^{-1})=(1,\mathbf{0},\ldots)$ as definition.
\begin{remark}
The name {\em tree-like} equivalence comes from the fact that in a tree (say, path of segments without loops) one can always iteratively retract leaves up to a point, giving a trivial signature.
\end{remark}
\begin{remark}\label{remark:group invariance}
The natural action of $\GL(V)$ on $V$ induces an entry-wise action on each $V^{\otimes k}$, hence on $\T_1((V))$, as well as on $\BV([0,1],V)$ where $(g \cdot \gamma)(t)= g \cdot (\gamma(t))$. In particular, the path signature map $\sigma$ is $\GL(V)$--equivariant, that is $g \cdot \sigma(\gamma) = \sigma(g \cdot \gamma)$. Finally, signatures are invariant under translations and reparametrisations of paths. We will therefore always consider paths based at the origin, i.e. $\gamma(0)=\bold{0}\in V$.
\end{remark}
\paragraph*{Varieties of signature matrices.} From the point of view of algebraic geometry, it is standard and often convenient to work over $\mathbb{C}$ and therefore consider the signature tensors as elements in the complexification of $\T((V))$, for which we use the same notation. We are interested in algebro-geometric relations among signature tensors, which naturally lead us to study algebraic varieties defined by the path signature map. For any $k\geq 1$, consider the composition of the path signature with the projection of the tensor algebra on its $k$--th graded component
\[ \begin{matrix}
\sigma^{(k)} : & \BV([0,L],V) & \longrightarrow & V^{\otimes k} \\
& \gamma & \mapsto & \sigma^{(k)}(\gamma)
\end{matrix}\]
assigning to each path its order--$k$ signature tensor. The {\em $k$--th universal signature variety} $\mathcal{U}_{d,k}$ is the Zariski closure of the (projectivisation) of the image of $\sigma^{(k)}$ inside $\mathbb P(V^{\otimes k})$ (cf.\ \cite[Sec.\ 4.3]{amendola19}). \\
\indent We focus on the case $k=2$, namely {\em varieties of signature matrices}. By construction, these lie in the universal signature varieties $\mathcal{U}_{d,2}$. Given $\gamma \in \BV([0,L],V)$, from \eqref{eq:def signature} one has that $\sigma^{(2)}(\gamma)\in \mathbb R^{d\times d}$ is a matrix whose $ij$ entry is
\begin{equation}\label{eq:entry signature matrix}
\sigma_{ij}^{(2)}(\gamma) = \int_{0}^L \gamma_i(s)\dot{\gamma}_j(s)ds \ .
\end{equation}
We denote the symmetric and skew-symmetric part of $\sigma^{(2)}$ by $\sigma^{(2)}_{\rm{sym}}:=\frac{1}{2}(\sigma^{(2)}+(\sigma^{(2)})^{\bfT})$ and $\sigma^{(2)}_{\rm{skew}}:=\frac{1}{2}(\sigma^{(2)}-(\sigma^{(2)})^{\bfT})$ respectively. Applying integration by parts to \eqref{eq:entry signature matrix} leads to
\begin{equation}\label{eq:sym part}
2 \sigma^{(2)}_{\rm{sym}} = \gamma(L)^{\otimes 2} \ .
\end{equation}
In fact, signature matrices are precisely those matrices with rank-$1$ symmetric part \cite[Secc.\ 2,3]{amendola19}, that is
\begin{equation}\label{eq:universal signature matrix}
\mathcal{U}_{d,2} = \left\{ v\otimes v + Q \ | \ v \in V, \ Q \in \bigwedge^2V \right\} \ .
\end{equation}
\paragraph*{Signatures of PWL paths.} We refer to {\em piecewise linear} (PWL) paths as continuous paths $\gamma: [0,L] \rightarrow V$ which are concatenation of finitely many segments $\gamma= \alpha_1 \ast \ldots \ast \alpha_m$, where $\alpha_j(t)=\bold{a}_j \cdot t$ for certain $\bold{a}_j \in V$. The partition $\gamma=\alpha_1\ast \ldots \ast \alpha_m$ is unique if we require that the segments $\alpha_1, \ldots, \alpha_m$ have maximal length possible, or equivalently that $m$ is minimal.
\begin{definition}\label{def:minimal segment decomp}
We refer to such partition as the \textit{minimal segment decomposition} (MSD) of the path, and we say that the path $\gamma$ is $m$-piecewise linear ($m$--PWL).
\end{definition}
\indent Signatures of PWL paths have a particularly nice expression in terms of their segment decomposition. The $k$--th signature tensor of a segment path $\alpha(t)=\bold{a}\cdot t$ for $\bold{a}\in V$ is always the symmetric rank--$1$ tensor determined by $\bold{a}$, that is \[\sigma(\alpha) = \left(1, L\bold{a}, \frac{L^2}{2}\bold{a}^{\otimes 2}, \ldots, \frac{L^k}{k!}\bold{a}^{\otimes k}, \ldots \right) = \exp(L\bold{a}).\] In fact, segments (up to tree-like equivalence) are the only paths with rank $1$ signature. Then by Chen's relation \eqref{eq:chen relation} the signature tensor of a $m$--PWL path $\gamma= \alpha_1\ast \ldots \ast \alpha_m$ is
\begin{equation}\label{eq:Chen on PWL paths}
\sigma(\gamma) = \exp(\bold{a}_1) \otimes \ldots \otimes \exp(\bold{a}_m) \ .
\end{equation}
\indent Let $\mathcal{M}_{d,m}$ be the variety of signature matrices of $m$--PWL paths in $V$. Then for any $m$
\begin{equation}\label{eq:variety signature matrices}
\mathcal{M}_{d,m} = \left\{ v \otimes v + Q \ | \ v \in V, \ \rk[v\otimes v | Q]\leq m \right\} \ ,
\end{equation}
where $[v\otimes v | Q]$ is the matrix obtained by attaching the rank-$1$ matrix $v\otimes v$ and the matrix $Q$. The varieties $\mathcal{M}_{d,m}$ define a filtration starting at the Veronese variety $\nu_{2}(\mathbb P^{d-1})$ and stabilizing at the universal variety of signature matrices \cite[Theorem 3.4, Example 4.12]{amendola19}
\[ \nu_2(\mathbb P^{d-1}) = \mathcal{M}_{d,1} \subset \mathcal{M}_{d,2} \subset \ldots \subset \mathcal{M}_{d,d}=\mathcal{U}_{d,2} \subset \mathbb P(V^{\otimes 2}) \ .\]
\subsection{Persistence feature maps}\label{subsec:preliminaries landscapes}
A \textit{barcode} is a multiset of intervals of the form $B:=\{ [b_1,d_1), ... , [b_n,d_n)\}$,
where $b_i\leq d_i$ are non-negative real numbers called {\em birth} and {\em death}. Barcodes, or equivalently persistence diagrams, are the standard output of persistent homology, the flagship method in topological data analysis. We refer to \cite{Otter2017Roadmap} for a basic introduction to the topic. In this paper, we will assume barcodes to be {\em tame}, that is they have only finitely many intervals, and all intervals are contained in a certain $[0,L]$. \\
\indent From \cite{bubenik2015statistical} we recall that any barcode $B$ defines a family of continuous functions $\lambda_k^B: \mathbb{R}\rightarrow \mathbb{R}$ such that
\[
\lambda_k^B(t) := \sup \{ s\geq0 \,\vert\, \beta^{t-s,t+s} \geq k \},
\]
where $\beta^{t-s,t+s}$ is the number of intervals in $B$ that contain $[t-s,t+s]$, and where one sets $\lambda_k^B(t) = 0$ whenever the supremum is taken over the empty set (cf.\ \cite[Definition 3.2]{Chevyrev_2020}). The function $\lambda_k^B(t)$ is called the \textit{$k$--th landscape} of the barcode $B$ \cite{Bubenik_2020_landscapes}, or {\em $k$--th level} of $B$.
\begin{remark}
A graphical construction of the landscape of a barcode is as follows. Let $B$ be a barcode with bars $(B_1,\ldots ,B_n)$. For any $i \in [n]$, consider the birth-death point $P_i:=(a_i,b_i)\in \mathbb R^2$ such that $B_i$ is supported on $[a_i,b_i]$. By definition, each birth-death point lies above the diagonal in $\mathbb R^2$, and defines a right triangle whose hypotenus lies on the diagonal and whose catheti meet in the point itself. After isometries of the plane, one consider all these hypotenuses lying on the interval $[0,L]$ along the $x$--axis. The persistence landscape of $B$ is the union of the sides of such triangles.
\end{remark}
\noindent By construction, levels of a landscape $\lambda^B$ are PWL paths $\lambda_j^B:[0,L]\rightarrow \mathbb R$, such that
\begin{itemize}
\item they are loops: $\lambda_j^B(0)=\lambda_j^B(L)=0$;
\item higher levels dominate lower levels: $\lambda_i^B(t)\geq \lambda_j^B(t)$ for any $t \in [0,L]$ and $i \leq j$;
\item for any $j \in [d]$ the segments of $\lambda_j^B$ have slope in $\{0, \pm 1\}$.
\end{itemize}
\noindent We write $\lambda^B=(\lambda_1, \ldots, \lambda_d)$ by non specifying $B$ at each level when it is clear.
\begin{figure}[H]
\begin{center}
\begin{tikzpicture}[scale=1, every node/.style={font=\small}]
% Axes
% \draw[->] (0, 0) -- (6, 0) node[below right] {x}; % x-axis
% \draw[->] (0, 0) -- (0, 3.5) node[left] {y}; % y-axis
% Level 1 (Red)
\draw[thick, black] (0, 0) -- (2.5, 2.5) -- (4,1) -- (5,2)-- (5.75 ,1.25) -- (7,2.5) -- (9.5,0);
% Level 2 (Blue)
\draw[dashed,thick, blue] (0, 0) -- (3,0) -- (4,1) -- (4.75,0.25) -- (5.75,1.25) -- (7,0) -- (9.5,0);
% Level 3 (Green)
\draw[dotted,thick, red] (0, 0) -- (4.5, 0) -- (4.75, 0.25) -- (5,0) -- (9.5 , 0);
% Labels
% \node[red] at (2, 1.2) {Level 1};
% \node[blue] at (2.5, 1.2) {Level 2};
% \node[green] at (3, 1.2) {Level 3};
% Grid (optional)
% \draw[help lines, dashed] (0, 0) grid (10, 3);
% Legend
% \draw[black, thick] (5.2, 3.2) -- (5.7, 3.2) node[right, black] {$\lambda_1$};
% \draw[blue, thick] (5.2, 2.8) -- (5.7, 2.8) node[right, black] {$\lambda_2$};
% \draw[red, thick] (5.2, 2.4) -- (5.7, 2.4) node[right, black] {$\lambda_3$};
\end{tikzpicture}
\caption{{\footnotesize Landscape with $3$ levels: $\lambda_1$ in black, $\lambda_2$ in blue, $\lambda_3$ in red.}}
\end{center}
\end{figure}
\indent In the need of vectorising barcodes, several ways of associating paths in a vector space to barcodes have been introduced under the name of {\em embeddings}. Moreover, in order to obtain a more informative vectorisation, in \cite{Chevyrev_2020} the authors composed such embeddings with the Chen signature map \eqref{eq:signature path}: an embedding $\iota_\bullet : \BBar \rightarrow \BV([0,L],\mathbb R^d)$ defines the {\em feature map}
\[ \Phi_\bullet : \BBar \stackrel{\iota_\bullet}{\longrightarrow} \BV([0,L],\mathbb R^d) \stackrel{\sigma}{\longrightarrow} \T_1((\mathbb R^d)) \ . \]
\noindent Note that the feature map $\Phi_\bullet$ quotients to an injective map under the tree-like equivalence. In the following we focus on two feature maps, but we refer to \cite{Chevyrev_2020} for a more complete overview.\\
\indent The \textit{landscape embedding} is the map associating to each barcode $B$ (with at most $d$ levels) a path $\lambda^B$ in $\mathbb R^d$ whose $k$--entry is the $k$--th level of $B$, namely
\begin{equation}\label{eq:landscape embedding}
\begin{matrix}
\iota_{\LS} : & \BBar & \longrightarrow & \BV([0,L],\mathbb R^d) \\
& B & \mapsto & \lambda^B(t) & = \scriptsize{\begin{bmatrix} \lambda_1^B(t) \\ \vdots \\ \lambda_d^B(t) \end{bmatrix}}
\end{matrix} \ .
\end{equation}
\noindent Such vectorisation is not as descriptive as one would desire. The tree-like equivalence of paths makes impossible to distinguish large classes of landscapes. For example, the empty barcode, a singleton barcode $\{ [b,d) \}$ and any barcode $\{ [b_1,d_1),...,[b_n,d_n) \}$ such that $b_i > d_{i-1}$, $i=2,...,n$, define tree-like paths. Hence, the feature map $\Phi_{\LS}$ maps each of them to the trivial signature $(1,\bold{0}, \ldots)$.
\begin{figure}[H]
\centering
\includegraphics[width=0.25\linewidth]{fig/two_spheres.jpg}%
\hspace{1.5cm}
\begin{tikzpicture}[scale=1]
\draw[thick, blue] (0,0) -- (1,1) -- (2,0) -- (3,0) -- (5,2) -- (7,0) ;
\end{tikzpicture}
\caption{{\footnotesize Uniform sampling, called {\em Fibonacci sampling}, of two spheres (left) has a one-dimensional associated persistence landscape (right) with trivial Chen signature.}}
\label{fig:two_spheres}
\end{figure}
A more descriptive embedding is given by a cumulative version of $\iota_{\LS}$, which distinguishes more features of barcodes at the cost of an additional integration step. The {\em integrated landscape embedding} is the map
\begin{equation}\label{eq:integrated landscape embedding}
\begin{matrix}
\iota_{\iLS} : & \BBar & \longrightarrow & \BV([0,L],\mathbb R^d) \\
& B & \mapsto & F^{\lambda^B}(t) & := \small{\begin{bmatrix} \int_0^t\lambda_1^B(s)ds \\ \vdots \\ \int_0^t\lambda_d^B(s)ds \end{bmatrix}}
\end{matrix} \ .
\end{equation}
The key property of the resulting feature map $\Phi_{i\LS}$ is its stability (under perturbations of the barcodes). However, the extra integration step makes it computationally inefficient.\\
\indent Some initial work has been done to describe invariants of signature tensors \cite{galuppi2024ranksymmetriessignaturetensors,amendola2023decomposingtensorspacespath} and it would be interesting to relate these invariants to the topology of barcodes via the feature maps. For instance, the only rank--$1$ signature tensors are signatures of segments \cite[Corollary 7.3]{amendola2023decomposingtensorspacespath}. In the case of the landscape feature map $\iota_{\LS}$, the latter result leads to the following.
\begin{proposition}\label{prop:landscape_rank1}
Given a barcode $B$, the signature tensor $\Phi_{\LS}(B)=\sigma(\lambda^B)$ (resp. $\Phi_{i\LS}(B)=F^{\lambda}$) has rank $1$ ---i.e. for any $k\geq 0$ the $k$--th signature $\sigma^{(k)}(\lambda^B)$ has tensor-rank $1$ in $V^{\otimes k}$--- if and only if the barcode $B$ is trivial ---i.e. it consists of diagonal birth-death points $[a_i,a_i]$.
\end{proposition}
\section{Signature tensors of persistence landscapes}\label{sec:signature for landscapes}
This section is devoted to partial results on the Chen signature tensors of persistence landscape paths. It would be worth investigating more the geometry of such signature tensors in order to deduce algebraic-geometric descriptions of barcodes. However, this goes beyond our current scope, and we leave it for future work.
\paragraph{Signature tensors of PWL loops.} Since landscapes are piecewise linear (PWL) loops, it is quite natural to first describe the signature varieties of such larger class of paths. Since signature tensors are invariant under translation, we consider loops starting and ending at $\bold{0}\in \mathbb R^d$. \\
\indent We show that PWL loops are characterised by a precise behaviour of their signature matrices. In the following, we denote by $\operatorname{log\sigma}(\lambda)$ the {\em log-signature} of $\lambda$, a sequence of tensors defined by the property that $\sigma(\lambda)=\exp(\operatorname{log\sigma}(\lambda))$, and by $\operatorname{log\sigma}^{(k)}(\lambda)$ its $k$-th entry. We refer to \cite{siegal2024rectifiable} for properties of the log-signature. Note that, by definition of the exponential map, the following truncations hold:
{\small \begin{align*}
\sigma^{(1)}(\lambda) & = \operatorname{log\sigma}^{(1)}(\lambda) \ , \\
\sigma^{(2)}(\lambda) & = \operatorname{log\sigma}^{(2)}(\lambda) + \frac{1}{2}\left(\operatorname{log\sigma}^{(1)}(\lambda)\right)^2 \ , \\
\sigma^{(3)}(\lambda) & = \operatorname{log\sigma}^{(3)}(\lambda) + \frac{1}{2}\left(\operatorname{log\sigma}^{(1)}(\lambda)\operatorname{log\sigma}^{(2)}(\lambda) + \operatorname{log\sigma}^{(2)}(\lambda)\operatorname{log\sigma}^{(1)}(\lambda)\right) + \frac{1}{6} \left( \operatorname{log\sigma}^{(1)}(\lambda) \right)^3 \ .
\end{align*} }
Each tensor space $(\mathbb{R}^d)^{\otimes k}$ admits a decomposition as direct sum in Thrall modules, for whose definition we refer to \cite[Sec.\ 3]{amendola2023decomposingtensorspacespath}. Each summand in the right-hand sides of the above equations belongs to a different Thrall module, so all summands are linearly independent.
\begin{proposition}\label{prop:landscape_loops}
Let $\lambda$ be a PWL path with MSD $\alpha_1 \ast \cdots \ast \alpha_m$ where $\alpha_j(t)=\bold{a}_j t + c_j$ for $\bold{a}_j \in \mathbb R^d$ and suitable $c_j$ in order to make the path conjuction continuous. The following facts are equivalent:
\begin{enumerate}
\item $\lambda$ is a loop;
\item $\sigma^{(1)}(\lambda) = \operatorname{log\sigma}^{(1)}(\lambda) = 0$;
\item $\sigma^{(2)}(\lambda) = \operatorname{log\sigma}^{(2)}(\lambda) = \frac{1}{2}\sum\limits_{i<j} \bold{a}_i \wedge \bold{a}_j$;
\item $\sigma^{(3)}(\lambda) = \operatorname{log\sigma}^{(3)}(\lambda)$.
\end{enumerate}
\end{proposition}
\begin{proof}
In the above notation, the first signature of the $m$-PWL path $\lambda$ is $\sigma^{(1)}(\lambda)=\bold{a}_1 + \ldots + \bold{a}_m$. The latter sum being the zero vector is equivalent to $\lambda$ being a loop. Moreover, the first signature always coincides with the first log-signature, hence $(1)\iff (2)$.\\
The second equality in $(3)$ always holds (cf.\ \cite[Example 7.3]{siegal2024rectifiable}). If the first log-signature is zero, then $\sigma^{(2)}(\lambda)=\operatorname{log\sigma}^{(2)}(\lambda)$. On the contrary, if the first equality in $(3)$ holds, then $(\operatorname{log\sigma}^{(1)}(\lambda))^{2} =\bold{0}$ (as matrices) implies $\operatorname{log\sigma}^{(1)}(\lambda)=\bold{0}$ (as vectors). This proves $(2)\iff (3)$.\\
Finally, the equivalence $(2) \iff (4)$ follows from the linear independence among summands lying in different Thrall modules.
\end{proof}
\indent The above characterisations of PWL loops in terms of their signature matrices allow to describe the corresponding varieties. We denote the variety of signature matrices for $m$--PWL loops in $\mathbb R^d$ by
\[\mathcal{M}_{d,m}^{\circlearrowright} := \overline{\left\{ \sigma^{(2)}(\lambda) \ | \ \lambda \ \text{$m$-PWL loop in} \ \mathbb R^d \right\}} \subset \mathcal{M}_{d,m} \subset \mathbb P(\mathbb R^{d\times d}) \ , \]
and the variety of signature matrices of loops in $\mathbb R^d$ (not necessarily PWL) by
\[ \mathcal{U}^{\circlearrowright}_{d,2}:= \overline{\left\{ \sigma^{(2)}(\lambda) \ | \ \lambda \ \text{loop in} \ \mathbb R^d \right\}} \subset \mathcal{U}_{d,2} \ . \]
Let $Gr(2,d)$ the Grassmannian of planes in $\mathbb R^d$, corresponding to $d\times d$ skew-symmetric matrices of rank $2$, and let $\sigma_r(Gr(2,d))$ be the $r$--th secant variety of $Gr(2,d)$, corresponding to $d\times d$ skew-symmetric matrices of rank at most $2r$.
\begin{corollary}\label{cor:loop_variety}
In the above notation, it holds:
\begin{enumerate}
\item $\mathcal{U}^{\circlearrowright}_{d,2}= \mathbb P(\bigwedge^2V)$;
\item $\mathcal{M}_{d,m}^{\circlearrowright} = \sigma_{\lfloor \frac{m}{2}\rfloor}(Gr(2,d))$, for any $m\leq d$.
\end{enumerate}
In particular, $\mathcal{M}_{d,d+h}^{\circlearrowright}=\mathcal{U}^{\circlearrowright}_{d,2}=\mathbb P(\bigwedge^2V)$ for any $h\geq 0$.
\end{corollary}
\begin{proof}
Up to translation, a loop $\lambda:[0,L]\rightarrow \mathbb R^d$ is such that $\lambda(0)=\lambda(L)=\bold{0}$, hence the signature matrix of $\lambda$ has symmetric part $\sigma^{(2)}_{\rm{sym}}(\lambda)=\frac{1}{2}(\lambda(L)-\lambda(0))^{\otimes 2}=\bold{0}^{\otimes 2}$. This also follows from Proposition \ref{prop:landscape_loops}. Then the two theses follow straightforward from the definitions \eqref{eq:universal signature matrix} and \eqref{eq:variety signature matrices} by cutting the varieties $\mathcal{M}_{d,m}\subset \mathcal{U}_{d,2}\subset \mathbb P(V^{\otimes d})$ by $\mathbb P(\bigwedge^{d}V)$.
\end{proof}
\paragraph{Signature tensors of landscapes.} By construction, the number $m$ of segments in the MSD of a landscape with $d$ levels (i.e. a landscape path in $\mathbb R^d$) is {\em strictly lower bounded} by $d$, that is $d \lneq m$. Thus it makes sense to consider the (universal) variety of signature matrices of landscapes in $\mathbb R^d$ regardless of the number of linear pieces in the MSD. We denote such variety by
\[ \mathcal{M}_{d,2}^{\LS} := \overline{\left\{ \sigma^{(2)}(\lambda) \ | \ \lambda \ \text{landscape path in} \ \mathbb R^d \right\}} \subset \mathcal{M}_{d,2}^\circlearrowright=\mathbb P\left(\bigwedge^2\mathbb R^d\right) \ . \]
\indent Consider a landscape path $\lambda^B(t)=(\lambda_1(t),\ldots, \lambda_d(t))\subset \mathbb R^d$ with MSD $\lambda^B=\alpha_1\ast \cdots \ast \alpha_m$ defined on the partition $[0,t_1]\cup [t_1,t_2] \cup \ldots \cup [t_{m-1},L]$ such that each segment $\alpha_j:[t_{j-1},t_j]\rightarrow \mathbb R^d$ is defined as
\[ \alpha_j(t)=\bold{a}_j\cdot t + \alpha_{j-1}(t_{j-1}) \]
for a suitable $\bold{a}_j=(a_{1j} , \ldots , a_{dj})^{\bfT}\in \{-1,0,1\}^d$. Then each $\lambda^B$ defines a $d\times m$ matrix
\[ X_\lambda := [\bold{a}_1 | \cdots | \bold{a}_m] \ . \]
The conditions on the levels of a landscape (cf.\ Sec.\ \ref{subsec:preliminaries landscapes}) impose some semialgebraic conditions, besides the algebraic condition of being a loop: clearly, $\mathcal{M}_{d,2}^{\LS} \subseteq \mathcal{M}_{d,2}^\circlearrowright =\mathbb P\left(\bigwedge^2\mathbb R^d \right)$. For instance, the non-negativity of sums over each row implies $\bold{a}_1+\ldots + \bold{a}_k\geq 0$ for any $k\leq m$, while the dominance of higher levels is equivalent to $\sum_{j=1}^k a_{ij} \geq \sum_{j=1}^k a_{i+1 \, j}$. But there are also non semi-algebraic relations, such as the one on the modulus of the entries. We leave the study of the variety $\mathcal{M}_{d,2}^{\LS}$ for future work. Observe that the orbit argument in \cite[Example 2.3]{amendola19} does not apply since the number of segments $m$ is greater than $d$.
\begin{conjecture}
The variety of signature matrices of landscapes coincides with the variety of signature matrices of loops, that is $\mathbb P(\bigwedge^2\mathbb R^d)$.
\end{conjecture}
\paragraph{Signature tensors of integrated landscapes.} Since integrated landscapes are defined by integrals of non-negative functions, it is straightforward that the image of the integrated landscape embedding $\Phi_{i\LS}$ consists of tensors with non-negative coefficients.
\begin{proposition}\label{prop:integrated_entries}
For any barcode $B$, the $k$--th signature tensor of $F^{\lambda^B}$ is non-negative:
\[ \sigma^{(k)}_{i_1\cdots i_k}(F^{\lambda^B})\geq 0 \ \ \ \ \ , \ \forall k \geq 0 \ , \forall (i_1,\ldots, i_k)\in [d]^k \ . \]
\end{proposition}
\noindent Note that the signature matrices of (non-integrated) landscapes can have negative coefficients: $\sigma_{ij}^{(2)}(\lambda)=\int_{0}^L\lambda_i(s)\dot{\lambda_j}(s)ds$ can be negative. On the other hand, integrated landscapes $F^\lambda: [0,L]\rightarrow \mathbb R^d$ are not loops, and their first signature is $\sigma^{(1)}(F^{\lambda})=F^{\lambda}(L)\neq 0$. Moreover, accordingly to the characterisation of the universal variety of signature matrix $\mathcal{U}_{d,2}$ \eqref{eq:universal signature matrix}, their signature matrices are of the form $\sigma^{(2)}(F^{\lambda})= \frac{1}{2}F^{\lambda}(L)^{\otimes 2} + Q$ for certain skew-symmetric matrices $Q\in \bigwedge^2\mathbb R^d$: in particular, the symmetric part is non-zero, so the variety $\mathcal{M}_{d,2}^{i\LS}$ does not lie in $\mathbb P(\bigwedge^2\mathbb R^d)$.\\
\indent Despites the fact that the geometry of signature matrices of integrated landscapes seems richer, adding an integration step makes their computation heavier: indeed, for integrated landscapes one looses the piecewise-linearity which simplifies computations in the case of (non-integrated) landscapes.
\section{Discrete feature maps}\label{sec:discrete section}
A discrete version of signature tensors, replacing paths with time-series, was introduced in \cite{diehl2020timewarping}, and first glimpses of the related geometry appear in \cite{bellingeri2023discrete}. Before applying such discrete approach to persistent homology, in the following we recall definitions and we prove that discrete signatures recover time-series {\em uniquely up to} time-warping and time-translation.
\subsection{Discrete signatures of time-series}\label{subsec:discrete signatures}
We start by recalling the definition of discrete signature tensors as introduced in \cite{diehl2020iteratedsumsignature, diehl2020timewarping}. Then we propose a matrix description of the equivalence relation for time-warping and time-translation. Finally, we restate the problem of determining when two time-series have the same discrete signature in terms of the monoidal kernel, and we prove that discrete signatures recover the time-series uniquely only up to time-warping and time-translation.\\
\hfill\break
\indent Given the polynomial ring $\mathbb R [\bold{Z}]=\mathbb R[Z_1,\ldots, Z_d]$, consider its quotient by the constant polynomials
\[ \mathscr{V}_d = {\mathbb{R}[Z_1,\ldots, Z_d]}/{\mathbb R} \ . \]
As (infinite dimensional) vector subspace, $\mathscr{V}_d$ is generated by all possible monomials in the $d$ variables. We consider the tensor algebra $\T(\mathscr{V}_d)$ and the power series tensor algebra $\T((\mathscr{V}_d))$: note that $\T((\mathscr{V}_d))$ can be identified to the dual space $\T(\mathscr{V}_d)^\vee$.\\
\indent Let $\underline{\bold{x}}=(\bold{x}_1,\ldots , \bold{x}_n)$ be a time-series of $n\geq 1$ vectors (we say, length $n$) in $\mathbb{R}^d$. We denote the set of all time-series (of any positive length) in $\mathbb{R}^d$ by $\TS(\mathbb R^d)$. The {\em discrete signature map} is the map
\begin{equation}\label{eq:discrete signature map}
\begin{matrix}
\Sigma : & \TS(\mathbb R^d) & \longrightarrow & \T((\mathscr{V}_d))\\
& \underline{\bold{x}} & \mapsto & \Sigma(\underline{\bold{x}})
\end{matrix}
\end{equation}
such that, for any time-series $\underline{\bold{x}}=(\bold{x}_1,\ldots, \bold{x}_n)$ of length $n$, the {\em discrete signature} $\Sigma(\underline{\bold{x}})$ is the element of the tensor algebra $\T((\mathscr{V}_d))$ defined as follows: for any $\ell \geq 0$ and any family of monomials $p_1,...,p_\ell \in \mathscr{V}_d$, the coefficient of $p_1\otimes \ldots \otimes p_\ell$ in $\Sigma(\underline{\bold{x}})$ is
\begin{equation}\label{eq:discrete signature}
\langle \Sigma(\underline{\bold{x}}), p_1 \otimes \cdots \otimes p_\ell \rangle = \begin{cases}
\sum\limits_{1\leq i_1<...<i_\ell\lneq n} p_1(\bold{x}_{i_1+1}-\bold{x}_{i_1}) \cdots p_\ell(\bold{x}_{i_\ell+1}-\bold{x}_{i_\ell}) & \ell \leq n - 1 \\
0 & \ell \geq n
\end{cases}
\end{equation}
\noindent and $\langle \Sigma(\underline{\bold{x}}), \epsilon \rangle = 1$ where $\epsilon$ corresponds to the empty word. The above expression is a generalisation of the notion of quasi-symmetric polynomials \cite[Remark 3.5]{diehl2020timewarping}. For simplicity, we fix the notation
\[ C_{p_1\otimes \ldots \otimes p_\ell}^{\underline{\bold{x}}} \ := \ \langle \Sigma(\underline{\bold{x}}), p_1\otimes \ldots \otimes p_\ell\rangle \ \in \mathbb R \ . \]
\noindent The {\em weight} of an element $p_1\otimes \ldots \otimes p_\ell$ is the sum of the degrees of the monomials $p_1,\ldots,p_\ell$, that is
\begin{equation}\label{eq:weight}
weight(p_1\otimes \ldots \otimes p_\ell) := \deg(p_1)+\ldots + \deg(p_\ell) \ .
\end{equation}
\noindent The truncation {\em up to weight $h$} of the discrete signature $\Sigma(\underline{\bold{x}})$ is
\[ \Sigma^{\leq h}(\underline{\bold{x}}) := \sum_{weight(p_1\otimes \ldots \otimes p_\ell)\leq h} C_{p_1\otimes \ldots \otimes p_\ell}^{\underline{\bold{x}}}p_1\otimes \ldots \otimes p_\ell \ . \]
\indent An important feature of the (standard) signature map is being invariant under time alteration (i.e. reparametrisation of the curve). By definition, the discrete signature carries a similar property, known as {\em time-warping invariance} \cite{diehl2020timewarping}: it is invariant under {\em consecutive} time-point repetitions, that is
\[ \Sigma((\bold{x}_1, \ldots, \bold{x}_{j-1}, \bold{x}_j, \bold{x}_j , \bold{x}_{j+1}, \ldots, \bold{x}_n)) = \Sigma((\bold{x}_1, \ldots, \bold{x}_{j-1}, \bold{x}_j, \bold{x}_{j+1}, \ldots, \bold{x}_n)) \ . \]
\noindent We say that a time-series is {\em time-warping reduced} (TWR) if it does not present consecutive repetitions. It is clear from the definition that any time-series has a unique associated TWR series so that their signatures coincide.\\
\indent As the signature path \eqref{eq:signature path} is injective modulo tree-like equivalence of paths, it is quite natural to ask under which equivalence relation the discrete signature \eqref{eq:discrete signature map} is injective as well. From the above, we know that time-warping is an invariant property. Moreover, again by definition \eqref{eq:discrete signature}, the discrete signature is also invariant under {\em time-translation}:
\[ \Sigma((\bold{x}_1, \ldots, \bold{x}_n)) = \Sigma((\bold{x}_1 - \bold{y}, \bold{x}_2-\bold{y}, \ldots, \bold{x}_n - \bold{y})) \ \ \ \ \ , \ \forall \bold{y}\in \mathbb R^d \ . \]
\indent Let $\sim_{twt}$ be the equivalence relation on $\TS(\mathbb R^d)$ defined by time-warping and time-translation. Let $\{\bold{0}\}$ be the time-series of length $1$ given by the zero vector in $\mathbb R^d$. Then
\[ \underline{\bold{y}} \sim_{twt} \{\bold{0}\} \ \iff \ \underline{\bold{y}} = \{ \bold{y}_1, \ldots, \bold{y}_1\} \ . \]
\noindent Clearly, all the above time-series have trivial discrete signature
\begin{equation}\label{eq:monoid homomorphism}
\Sigma(\{\bold{0}\})=\epsilon \ .
\end{equation}
\begin{remark}[Matrix description of $\sim_{twt}$]\label{rmk:matrix time-warping}
To a time-series $\underline{\bold{x}}=\{\bold{x}_1,\ldots, \bold{x}_n\}\in \TS(\mathbb R^d)$ we associate the matrix $\bold{X}=(x_{ij})=\left[ \bold{x}_1 | \cdots | \bold{x}_n \right]\in \mathbb R^{d\times n}$. The time-translation $\underline{\bold{x}} \mapsto \{ \bold{0}, \bold{x}_2 - \bold{x}_1, \ldots, \bold{x}_n - \bold{x}_1\}$ corresponds to the right-multiplication below:
\begin{equation}\label{eq:matrix time-translation}
\bold{X}\cdot {\scriptsize{\begin{bmatrix}
0 & -1 & \cdots & -1 \\
& 1 \\
& & \ddots \\
& & & 1
\end{bmatrix}_{n\times n}}} = \bigg[ \bold{0} \ \big| \ \bold{x}_2 - \bold{x}_1 \ \big| \ \ldots \ \big| \ \bold{x}_n - \bold{x}_1 \bigg] \ .
\end{equation}
On the other hand, time-warping extensions and contractions are described as follows:
\begin{equation}\label{eq:matrix time-warping extension}
\bigg[ \bold{x}_1 \big| \cdots \big| \bold{x}_n \bigg] \cdot {\scriptsize{\begin{bmatrix}
1 & \\
& 1 & 1 \\
& & & 1 \\
& & & & \ddots \\
& & & & & 1
\end{bmatrix}_{n \times (n+1)}}} = \bigg[ \bold{x}_1 \big| \bold{x}_2 \big| \bold{x}_2 \big| \bold{x}_3 \big| \cdots \big| \bold{x}_n \bigg]
\end{equation}
\begin{equation}\label{eq:matrix time-warping contraction}
\bigg[ \bold{x}_1 \big| \bold{x}_2 \big| \bold{x}_2 \big| \bold{x}_3 \big| \cdots \big| \bold{x}_n \bigg] \cdot {\scriptsize{\begin{bmatrix}
1 & \\
& 1 & -1 \\
& & 1 \\
& & 1 \\
& & & \ddots \\
& & & & 1
\end{bmatrix}_{(n+1)\times n}}} = \bigg[ \bold{x}_1 \big| \bold{x}_2 \big| \bold{x}_3 \big| \cdots \big| \bold{x}_n \bigg] \ .
\end{equation}
Finally, the time-series of consecutive differences $\Delta\underline{\bold{x}}$ is obtained by:
\begin{equation}\label{eq:matrix delta}
\bold{X}\cdot {\scriptsize{\begin{bmatrix}
-1 \\
1 & -1 \\
& 1 & \ddots \\
& & \ddots & -1 \\
& & & 1
\end{bmatrix}_{n\times (n-1)}}} = \bigg[ \bold{x}_2 - \bold{x}_1 \ \big| \ \ldots \ \big| \ \bold{x}_n - \bold{x}_{n-1} \bigg] \ .
\end{equation}
\end{remark}
\indent Similarly to concatenation of paths, one can consider a {\em shifted} concatenation of time-series: for any two time-series $\underline{\bold{x}}=\{\bold{x}_1,\ldots, \bold{x}_n\}$ and $\underline{\bold{y}}=\{\bold{y}_1,\ldots , \bold{y}_m\}$ in $\mathbb R^d$, their (shifted) {\em concatenation} is the time-series of length $n+m$
\begin{align}\label{def:concatenation time-series}
\{\underline{\bold{x}}|\underline{\bold{y}}\} & := \begin{cases}
\bold{x}_k & k \in [n] \\
\bold{y}_{k-n}-\bold{y}_1 + \bold{x}_n & k \in [n+m]\setminus [n]
\end{cases} \\
& = \{ \bold{x}_1, \ldots, \bold{x}_n , \bold{x}_n , \bold{y}_2-\bold{y}_1+\bold{x}_n , \ldots, \bold{y}_m - \bold{y}_1 + \bold{x}_n \} \nonumber
\end{align}
\noindent The shift in the formula \eqref{def:concatenation time-series} is motivated by the need of emulating the Chen relation \eqref{eq:chen relation}. Indeed, for discrete signatures of time-series the following {\em discrete Chen relation} holds (cf. \cite[Theorem 3.6]{bellingeri2023discrete}):
\begin{equation}\label{eq:discrete Chen relation}
\Sigma(\{\underline{\bold{x}}|\underline{\bold{y}}\}) = \Sigma(\underline{\bold{x}})\otimes \Sigma(\underline{\bold{y}}) \ .
\end{equation}
\noindent Note that the shifted concatenation of time-series is coherent with the time-warping-translation equivalence. Moreover, the class $\{\bold{0}\}$ (modulo $\sim_{twt}$) is the identity element in $\TS(\mathbb R^d)$ for the shifted concatenation:
\[ \{\{\bold{0}\}|\underline{\bold{x}}\} = \{ \underline{\bold{x}}|\{\bold{0}\} \} = \underline{\bold{x}} \ . \]
Finally, $\TS(\mathbb R^d)$ is a {\em monoid} with respect to the shift concatenation with identity element $\{\bold{0}\}$, and the discrete signature map \eqref{eq:discrete signature map} is a {\em monoid homomorphism} (in light of \eqref{eq:discrete Chen relation} and \eqref{eq:monoid homomorphism}). Now, determining when two time-series have the same discrete signature is equivalent to determine the kernel of the monoid homomorphism $\Sigma$
\[ \ker(\Sigma):=\left\{ (\underline{\bold{x}},\underline{\bold{y}}) \in \TS(\mathbb R^d)^2 \ | \ \Sigma(\underline{\bold{x}})=\Sigma(\underline{\bold{y}}) \right\} \ . \]
\noindent Note that this is different from determining which time-series have trivial discrete signature $\epsilon$. We claim that $\ker(\Sigma)$ corresponds to the diagonal in $(\TS(\mathbb R^d)/_{\sim_{twt}})^2$, and hence the (quotient) discrete signature map $\TS(\mathbb R^d)/_{\sim_{twt}} \rightarrow \T((\mathscr{V}_d))$ is injective. \\
\hfill\break
\indent In the case of the classical Chen signatures, the bijection between tree-like equivalence for paths and the Chen signatures is obtained by exploiting the group structure of paths and the Chen relation \eqref{eq:chen relation} making the signature path map \eqref{eq:signature path} a group homomorphism. For discrete signature we just have a monoid structure, so determining the (monoidal) kernel $\ker(\Sigma)$ requires a different approach. First, we observe that TWR time-series with same discrete signatures must have the same length.\\
\indent Given a time-series $\underline{\bold{x}}=\{\bold{x}_1,\ldots, \bold{x}_n\}\in \TS(\mathbb{R}^d)$ we call {\em difference time-series} the time-series of consecutive differences
\[ \Delta\underline{\bold{x}}:=(\Delta \bold{x}_1, \ldots , \Delta \bold{x}_{n-1}) \ \ \ \text{where} \ \Delta \bold{x}_j:= \bold{x}_{j+1}-\bold{x}_j \ . \]
\begin{lemma}\label{lemma:same_sig_same_length}
Let $\underline{\bold{x}},\underline{\bold{y}} \in \TS(\mathbb R^d)$ be two TWR time-series of lengths $n$ and $m$, respectively. If $\Sigma(\underline{\bold{x}})=\Sigma(\underline{\bold{y}})$, then $n=m$.
\end{lemma}
\begin{proof}
Assume, by contradiction, that $m<n$ (similar argument applies to $n<m$). We extend $\underline{\bold{y}}$ to its time-warped equivalent time-series $\underline{\bold{y}}=\{\bold{y}_1, \ldots, \bold{y}_m, \bold{y}_m, \ldots, \bold{y}_m\}$ of length $n$. We identify $\underline{\bold{x}}$ and $\underline{\bold{y}}$ with the $d\times (n-1)$ matrices $(\Delta x_{ij})= (x_{i{j+1}}-x_{ij})$ and $(\Delta y_{ij})= (y_{i{j+1}}-y_{ij})$: note that the last $m-n-1$ columns of $(\Delta y_{ij})$ are zero. Since $\underline{\bold{x}}$ is TWR, $(\Delta x_{ij})$ doesn't have a zero column, so there exists a sequence $(i_1,\ldots, i_n)\subset [d]^n$ such that $\Delta x_{i_1 1}, \Delta x_{i_2 2}, ..., \Delta x_{i_n n}$ are nonzero entries. In particular, it holds
\[ C^{\underline{\bold{x}}}_{Z_{i_1}\otimes Z_{i_2} \otimes \cdots \otimes Z_{i_n}} = \Delta x_{i_1 1} \cdot \Delta x_{i_2 2} \cdots \Delta x_{i_n n} \neq 0 .
\]
On the other hand, by construction $\Delta y_{i_n n}= 0$, so $C^{\underline{\bold{y}}}_{Z_{i_1}\otimes Z_{i_2} \otimes \cdots \otimes Z_{i_n}}=0$. This contradicts the hypothesis $\Sigma(\underline{\bold{x}})=\Sigma(\underline{\bold{y}})$.
\end{proof}
\begin{lemma}\label{lemma:1-dim time-warping injectivity}
For any two one-dimensional time-series ${\bold{x}},{\bold{y}} \in \TS(\mathbb R)$ it holds
\[ \Sigma({\bold{x}}) = \Sigma({\bold{y}}) \ \iff \ {\bold{x}} \sim_{twt} {\bold{y}} \ . \]
In particular, the quotient map $\TS(\mathbb R)/_{\sim_{twt}} \hookrightarrow \T((\mathscr{V}_1))$ is injective.
\end{lemma}
\begin{proof}
Let ${\bold{x}}=(x_1,\ldots, x_n)$ and ${\bold{y}}=(y_1,\ldots, y_m)$ be $1$--dimensional time-series in $\TS(\mathbb R)$ such that $\Sigma(\bold{x})=\Sigma(\bold{y})$. Since the discrete signature is time-warping invariant, we may assume them to be TWR. From Lemma \ref{lemma:same_sig_same_length}, we know that $n=m$. By TWR assumption, there are no zeros in the corresponding time-series of consecutive differences $\Delta\bold{x}=(\Delta x_j)=(x_{j+1}-x_j)$ and $\Delta\bold{y}=(\Delta y_j)=(y_{j+1}-y_j)$. We assume that $\Sigma({\bold{x}})=\Sigma({\bold{y}})$, and show that it has to hold ${\bold{x}}={\bold{y}}$. Let $Z^{\otimes h}:= Z\otimes \ldots \otimes Z$ the tensor product of $h$ copies of the monomial $Z \in \mathbb R[Z]$. \\
\hfill\break
{\em Claim 1: $\Delta \bold{x}$ and $\Delta \bold{y}$ coincide up to permutation of their time-points.} Since $\Sigma(\bold{x})=\Sigma(\bold{y})$, for any $h \in [n-1]$ it holds
\[ C^{\bold{x}}_{Z^{\otimes h}} = C^{\bold{y}}_{Z^{\otimes h}} \ . \]
These are all the elementary symmetric functions in $\Delta \bold{x}$ and $\Delta \bold{y}$ respectively. It follows that they define the same univariate monic polynomial
\[ f_{\Delta \bold{x}} := T^n + \sum_{h=1}^{n-1}(-1)^{h}C^{\bold{x}}_{Z^{\otimes h}}T^{n-h} \ = \ T^n + \sum_{k=1}^{n-1}(-1)^{k}C^{\bold{y}}_{Z^{\otimes k}}T^{n-k} =: f_{\Delta\bold{y}} \ . \]
In particular, the set of roots $\Delta \bold{x}$ and $\Delta\bold{y}$ coincide (as unordered sets), hence $\Delta \bold{x}$ and $\Delta \bold{y}$ coincide up to permutation as ordered sets.\\
\hfill\break
{\em Claim 2: $\bold{x}= \bold{y}$ as time-series.} For simplicity, and in light of Claim 1, we write $\Delta \bold{x}=(p_1,\ldots, p_{n-1})$ and $\Delta \bold{y}=(p_{\sigma(1)}, \ldots, p_{\sigma(n-1)})$ for a certain permutation $\sigma \in \mathfrak{S}_{n-1}$. For any $j \in [n-1]$ we consider the element $\mathcal{Z}_j:=Z^{\otimes (j-1)}\otimes Z^2 \otimes Z^{\otimes (n-1-j)} \in \mathbb T((\mathscr{V_1}))$ (with $n-1$ tensor entries). The hypothesis $\Sigma(\bold{x})=\Sigma(\bold{y})$ implies
\[ p_1\cdots p_{j-1} p_j^2 p_{j+1}\cdots p_{n-1} = C^{\bold{x}}_{\mathcal{Z}} = C^{\bold{y}}_{\mathcal{Z}} = p_{\sigma(1)}\cdots p_{\sigma(j)}^2\cdots p_{\sigma(n-1)} \ . \]
Since $\bold{x}$ and $\bold{y}$ are TWR, each $p_i$ is non-zero, and the above equality implies $p_j^2p_{\sigma(j)}=p_{j}p_{\sigma(j)}^2$, hence $p_j=p_{\sigma(j)}$. This holds for any $j\in [n-1]$, that is $\Delta \bold{x} = \Delta \bold{y}$ as ordered sets. We conclude $\bold{x}=\bold{y} + \{a,\ldots, a\}$ for a certain $a\in \mathbb R$.
\end{proof}
\begin{theorem}\label{thm:uniqueness up to time-warping}
For any two time-series $\underline{\bold{x}},\underline{\bold{y}} \in \TS(\mathbb R^d)$ it holds
\[ \Sigma(\underline{\bold{x}}) = \Sigma(\underline{\bold{y}}) \ \iff \ \underline{\bold{x}} \sim_{twt} \underline{\bold{y}} \ . \]
In particular, the quotient map $\TS(\mathbb R^d)/_{\sim_{twt}} \hookrightarrow \T((\mathscr{V}_d))$ is injective.
\end{theorem}
\begin{remark}
The above theorem was already proved in \cite[Theorem 3.15]{diehl2022tropical} in a more general setting. However, we proved it independently and became aware of the aforementioned reference only after a discussion with Diehl, Ebrahimi-Fard and Tapia, whom we thank.
\end{remark}
\begin{proof}
Let $\underline{\bold{x}},\underline{\bold{y}} \in \TS(\mathbb R^d)$ be such that $\Sigma(\underline{\bold{x}})=\Sigma(\underline{\bold{y}})$. By invariance of the discrete signature under time-warping, we may assume them to be TWR. From Lemma \ref{lemma:same_sig_same_length} we know that $\underline{\bold{x}}$ and $\underline{\bold{y}}$ must have same length $n$. Let $\underline{\bold{x}}=\{\bold{x}_1,\ldots, \bold{x}_n\}$ and $\underline{\bold{y}}=\{\bold{y}_1,\ldots , \bold{y}_n\}$.\\
\indent For every $i \in [d]$ consider the one-dimensional time-series $\underline{\bold{x}}^i:=\{x_{i1}, \ldots, x_{in}\}$ and $\underline{\bold{y}}^i:=\{y_{i1}, \ldots , y_{in}\}$ of the $i$--th vector entries. Observe that they may not be TWR, even if the $d$-dimensional time-series are so. Since $\langle \Sigma(\underline{\bold{x}}), p_1(Z_i)\otimes \ldots \otimes p_\ell(Z_i)\rangle = \langle \Sigma(\underline{\bold{x}}^i), p_1(Z_i)\otimes \ldots \otimes p_\ell(Z_i)\rangle$ (and similar for $\underline{\bold{y}}$), it holds $\Sigma(\underline{\bold{x}}^i)=\Sigma(\underline{\bold{y}}^i)$ (these are discrete signatures of one-dimensional time-series). Then from Lemma \ref{lemma:1-dim time-warping injectivity} we get $\underline{\bold{x}}^i \sim_{twt} \underline{\bold{y}}^i$. However, this is not enough for concluding that $\underline{\bold{x}}$ and $\underline{\bold{y}}$ are equivalent. We still need to prove two facts. First, as $i\in [d]$ varies, $\underline{\bold{x}}^i$ and $\underline{\bold{y}}^i$ must admit time-warping contractions along the same entries. Second, $\underline{\bold{x}}^i$ and $\underline{\bold{y}}^i$ must be time-translated with respect to the same scalar for all $i\in[d]$. \\
\indent For any $i\in [d]$ consider the difference time-series $\Delta\underline{\bold{x}}^i$ and $\Delta \underline{\bold{y}}^i$. Since $\underline{\bold{x}}^i$ and $\underline{\bold{y}}^i$ are not necessarily TWR, their difference time-series may contain zeros. However, {\em Claim 1} in the proof of Lemma \ref{lemma:1-dim time-warping injectivity} still applies, so that $\Delta \underline{{\bold{x}}}^i$ is a permutation of $\Delta\underline{\bold{y}}^i$. In particular, they contain the same number of zeros. Moreover, applying {\em Claim 2} (from the same proof) to their time-warping reductions implies that non-zero values in $\Delta\underline{\bold{x}}^i$ and $\underline{\bold{y}}^i$ appear in the same order in both difference time-series. It follows that $\underline{\bold{x}}^i$ and $\underline{\bold{y}}^i$ may differ only in the order of appearance of the zeros.\\
\indent For the same argument in Lemma \ref{lemma:same_sig_same_length}, since the $d$-dimensional time-series $\underline{\bold{x}}$ is TWR, the difference time-series $\Delta\underline{\bold{x}}$ doesn't have zero-columns, hence there exists $(i_1,\ldots, i_n)\subset [d]^n$ such that $C^{\underline{\bold{x}}}_{Z_{i_1}\otimes \ldots \otimes Z_{i_n}}= \Delta x_{i_1 1}\cdots \Delta x_{i_n n}\neq 0$ (in particular, each $\Delta x_{i_j j}\neq 0$). Since the time-series have the same discrete signatures, it follows $C_{Z_{i_1}\otimes \ldots \otimes Z_{i_n}}^{\underline{\bold{y}}} = \Delta y_{i_1 1}\cdots \Delta y_{i_n n}$ is non-zero too, as well as each $\Delta y_{i_j j}$. Now, pick $(\bar{i}, \bar{j}) \in [d]\times n$ such that $\Delta x_{\bar{i} \bar{j}}=0$ and substitute in the above tensor-monomials $Z_{i_{\bar{j}} \bar{j}}$ with $Z_{\bar{i} \bar{j}}$: one gets
\begin{align*}
0 & = \Delta x_{i_1 1} \cdots \Delta x_{i_{\bar{j}-1} \, \bar{j}-1} \cdot \Delta x_{\bar{i} \bar{j}} \cdot \Delta x_{i_{\bar{j}+1} \, \bar{j}} \cdots \Delta x_{i_n n}\\
& = \underbrace{\Delta y_{i_1 1} \cdots \Delta y_{i_{\bar{j}-1} \, \bar{j}-1}}_{\neq 0} \cdot \Delta y_{\bar{i} \bar{j}} \cdot \underbrace{\Delta y_{i_{\bar{j}+1} \, \bar{j}} \cdots \Delta y_{i_n n}}_{\neq 0}
\end{align*}
implying $\Delta y_{\bar{i} \bar{j}}=0$. This shows that the one-dimensional difference time-series $\Delta \underline{\bold{x}}^i$ and $\Delta \underline{\bold{y}}^i$ have zeros in the same entries, hence they coincide. We conclude that $\Delta \underline{\bold{x}}=\Delta \underline{\bold{y}}$, that is $\underline{\bold{x}}\sim_{twt} \underline{\bold{y}}$.
\end{proof}
\begin{remark}[Refinement of segment decomposition]\label{rmk:refinement}
For data applications, unlike the classical signature of paths, the discrete signature is not invariant under \textquotedblleft refinement of segment decomposition\textquotedblright, which would correspond to an expansion of the time-series: an evidence is given by the discrete Chen relation \eqref{eq:discrete Chen relation}. However, the two signatures are interrelated \cite[Proposition 5.5]{diehl2020timewarping}: given a bounded variation path $\gamma:[0,1]\rightarrow \mathbb R^d$, the limit ---over finite partitions $\pi=\{ 0 < t_1 < \ldots < t_n <1\}$ --- of the discrete signatures of the time-series $\underline{\bold{x}}^\pi:=\{ \gamma(0), \gamma (t_1),\ldots, \gamma(t_n),\gamma(1)\}$ converges to the Chen signature of $\gamma$.
\end{remark}
\subsection{The discrete landscape feature map}\label{subsec:dis_sig_land}
The discrete signature is a well-defined and meaningful descriptor for persistence landscapes (and in general, of PWL paths). Indeed, persistence landscapes come with a \textquotedblleft canonical\textquotedblright \space time-series associated to them, namely the {\em minimal segment decomposition} (cf.\ Definition \ref{def:minimal segment decomp}). \\
\indent Each level $\lambda_k(t)$ of a persistence landscape $\lambda$ is a piecewise linear function with slope $1,-1,$ or $0$. The \textit{critical points} of $\lambda_k$ are the values of $t$ at which the slope changes, and the \textit{critical points} of the landscape $\lambda$ is the union of all the critical points for each $\lambda_k$. A persistence landscape is completely determined by its critical points. In fact, the standard implementation of landscape methods keeps track of the critical points rather than the landscape as a function \cite{bubenik2017persistence}. One can list the critical points of a landscape in terms of the corresponding barcode as follows.
\begin{lemma}[\cite{Bubenik_2020_landscapes}, Lemma 5.8]
Given a barcode $B=\{ (b_i,d_i) \}$, the critical points in the corresponding landscape $\lambda^B$ consist of
\begin{enumerate}
\item the left endpoints $b_i$,
\item the right endpoints $d_i$,
\item the midpoints $\frac{b_i+d_i}{2}$,
\item the midpoints $\frac{b_i + b_j}{2}$ of pairs of bars where $b_k < b_i <d_j<d_i$.
\end{enumerate}
\end{lemma}
Evaluating a landscape at all of its critical points, i.e. computing the critical values of $\lambda = (\lambda_1,...\lambda_d)$, produces a times-series $\underline{\boldsymbol{\lambda}} \in \TS(\mathbb R^d)$ whose length is given by the number of critical points.
\begin{remark}\label{rmk:fix number of levels}
In practice, we will work with landscapes with a fixed number of levels, say $d$, where we truncate levels, or extend levels that are identically zero as necessary to reach $d$ levels.
\end{remark}
The assumption in the above remark allows us to associate a time-series to a landscape (hence to a barcode) in a canonical way. We call this \textit{discrete landscape embedding} and denote it by
\begin{equation}\label{eq:discrete embedding}
I: \BBar \rightarrow \TS(\mathbb R^d)
\end{equation}
Analogous to the feature maps in Subsection \ref{subsec:preliminaries landscapes}, we define the \textit{discrete landscape feature map} as the composition of the discrete signature and the discrete landscape embedding:
\begin{equation}\label{eq:discrete feature map}
\Phi_I: \BBar \xrightarrow{I} \TS(\mathbb R^d) \xrightarrow{\Sigma} \T((\mathscr{V}_d)).
\end{equation}
The following naive example illustrates how the discrete feature map distinguish between landscapes that are tree-like equivalent.
\begin{example}
Consider the singleton barcode $B = \{ (b,d) \}$. Then $I(B)=\left(0,\frac{ d-b}{{2}},0\right)$ is a one-dimensional time-series of length $3$ whose discrete signature up to weight $3$ is
\begin{align*}
&\langle \Phi_I(B), Z \rangle = 0\\
& \langle \Phi_I(B), Z^2 \rangle = \frac{(d-b)^2}{2}\\
&\langle \Phi_I(B), Z \otimes Z \rangle = - \frac{(d-b)^2}{2^2}\\
&\langle\Phi_I(B), Z^3\rangle = 0\\
&\langle\Phi_I(B), Z^2 \otimes Z\rangle = - \frac{(d-b)^3}{2^{3}}\\
&\langle\Phi_I(B), Z\otimes Z^2\rangle = \frac{(d-b)^3}{2^{3}}\\
&\langle\Phi_I(B), Z\otimes Z \otimes Z\rangle = 0 \ .
\end{align*}
Now consider a barcode $C = \{ (b,d),(b',d') \}$ where $b' > d$ (similar to Figure \ref{fig:two_spheres}). Then, up to $twt$--equivalence,
\[I(C) = \left( 0, \frac{d-b}{{2}},0, \frac{d'-b'}{{2}} ,0 \right) \]
is a one-dimensional time-series of length $5$ whose signature up to weight 3 is
\begin{align*}
&\langle\Phi_I(C), Z\rangle = 0\\
&\langle\Phi_I(C), Z^2\rangle = \frac{1}{2}\left((d-b)^2 + (d'-b')^2\right) \\
&\langle\Phi_I(C), Z \otimes Z\rangle = -\frac{1}{2^2}\left( (d-b)^2 + (d'-b')^2 \right)\\
&\langle\Phi_I(C), Z^3\rangle = 0\\
&\langle\Phi_I(C), Z^2 \otimes Z\rangle = -\frac{1}{2^3}\left( (d-b)^3 + (d'-b')^3 \right)\\
&\langle\Phi_I(C), Z\otimes Z^2\rangle = \frac{1}{2^3}\left( (d-b)^3 + (d'-b')^3 \right)\\
&\langle\Phi_I(C), Z\otimes Z \otimes Z\rangle = 0 \ .
\end{align*}
\end{example}
In slightly more generality, whenever a barcode $B$ has a landscape $\lambda^B$ with a single level, the discrete signature captures persistence, but does not capture additional information beyond it.
\begin{lemma}\label{lemma:1_level_sigs}
The signature of a barcode $B$ defining a single-level landscape $\lambda^B$ is completely determined by the persistence of the bars in $B$.
\end{lemma}
\begin{proof}
If $\lambda^B$ has a single level then there exists a total ordering $\prec$ of $B$ so that $d \leq b'$ whenever $(d,b) \prec (d',b')$, since otherwise there would be a second level. Label the barcodes in such a way that $(b_1,d_1)<(b_2,d_2) < ... < (b_{|B|},d_{|B|}))$, with $d_i<b_j$ if $i<j$. Then the time-series of differences has the form
{\small \[
\Delta I(B) = \left(\frac{(d_1-b_1)}{{2}}, \frac{-(d_1-b_1)}{{2}},\frac{(d_2-b_2)}{{2}},\frac{-(d_2-b_2)}{{2}},..., \frac{(d_{|B|}-b_{|B|})}{{2}},\frac{-(d_{|B|}-b_{|B|})}{{2}} \right).
\] }
Since the signature is obtained by evaluation of polynomials on the time-series of differences, the lemma follows.
\end{proof}
\begin{corollary}
The coefficients corresponding to univariate polynomials $p \in \mathbb{R}[Z_i]$ are determined by the persistence.
\end{corollary}
\indent One can derive some explicit signature coefficients in terms of persistence for single-level landscapes. For example, straightforward computations with the difference time-series in the proof above give
\[ \langle\Phi_I(B), Z^{\otimes n} \rangle = 0 \hspace{23mm} \text{if } n \equiv 1 \ (mod \ 2) \]
\[ \langle\Phi_I(B), Z^n \rangle = \begin{cases}
0 & \text{if } n \equiv 1 \ (mod \ 2) \\
\sum\limits_{\beta \in B} \frac{(d_\beta-b_\beta)^{n}}{2^{n-1}} & \text{if } n \equiv 0 \ (mod \ 2)
\end{cases} \ .
\]
\begin{remark}
The latter equation can be interpreted as a list of even moments of the time-series, so that standard statistical descriptors of time-series are naturally captured by the discrete signature. In particular, going back to the example in Figure \ref{fig:two_spheres}, the above observation shows that the discrete signature encodes information about the persistence of the spheres, which is determined by their radii, whereas the Chen signature is trivial.
\end{remark}
\indent The dependence of the signature on persistence alone is specific to one-level landscapes. For landscapes with more levels the signature encodes additional information related to relative distances between bars, and this is picked up already at weight 2.
\begin{example}
Consider the time-series
\[ \underline{\bold{x}} = \left(
\begin{pmatrix}
0 \\ 0
\end{pmatrix},
\begin{pmatrix}
1 \\ 0
\end{pmatrix},
\begin{pmatrix}
1/2 \\ 1/2
\end{pmatrix},
\begin{pmatrix}
1 \\ 0
\end{pmatrix},
\begin{pmatrix}
3 \\ 0
\end{pmatrix},
\begin{pmatrix}
0 \\ 0
\end{pmatrix}
\right) \]
corresponding to the landscape
\begin{center}
\begin{tikzpicture}[scale=0.6]
% Axes
% \draw[->] (0,0) -- (6,0) node[right] {$x$}; % x-axis
% \draw[->] (0,-1) -- (0,4) node[above] {$y$}; % y-axis
% Level 1
\draw[thick, blue] (0,0) -- (1,1) -- (1.5,0.5)--(4,3) -- (7,0);
% Level 2
\draw[thick, red] (0,0)--(1,0)-- (1.5,0.5) -- (2,0) -- (7,0);
% Marking peaks
\fill[blue] (1,1) circle[radius=2pt] node[above left] {$(1,1)$};
\fill[blue] (4,3) circle[radius=2pt] node[above right] {$(4,3)$};
\end{tikzpicture}
\end{center}
\noindent The discrete signature of $\underline{\bold{x}}$ up to weight $2$ is
\begin{align*}
&\langle\Sigma(\underline{\bold{x}}), Z_1\rangle = \langle\Sigma(\underline{\bold{x}}), Z_2\rangle = 0\\
&\langle\Sigma(\underline{\bold{x}}), Z_1^2\rangle = \frac{29}{2} \\
&\langle\Sigma(\underline{\bold{x}}), Z_1 Z_2\rangle = - \frac{1}{2} \\
&\langle\Sigma(\underline{\bold{x}}), Z_2^2\rangle = \frac{1}{2}\\
&\langle\Sigma(\underline{\bold{x}}), Z_1\otimes Z_1\rangle =-\frac{29}{4} \\
&\langle\Sigma(\underline{\bold{x}}), Z_1 \otimes Z_2\rangle = \frac{1}{4}\\
&\langle\Sigma(\underline{\bold{x}}), Z_2\otimes Z_2\rangle = -\frac{1}{4} \ .
\end{align*}
\end{example}
\subsection{Continuity of the discrete landscape feature map}
The discrete signature, being a component-wise polynomial map, is continuous. However, the discrete landscape embedding is not, hence the discrete landscape feature map is not continuous either. The key obstruction is illustrated in the following example.
\begin{example}
Let $B =\{ (b,d)\}$, with $d>b$, and $B' = \{(b,d),(\frac{d-b}{4}, \frac{d-b}{4} \delta)\}$ for some $0< \delta << d-b$. Their bottleneck distance (cf.\ Section \ref{subsec:restricted}) is $\dist_{\B}(B,B')= \frac{\delta}{\sqrt{2}}$, and the corresponding persistence landscapes are
\begin{figure}[H]
\centering
\begin{tikzpicture}[scale=0.3]
\draw[thick, blue] (0,0) -- (4,4) -- (8,0);
\draw[thick, blue] (11,0) -- (15,4) -- (19,0);
\draw[thick, red] (11,0) -- (13,0) -- (13.3,0.3) -- (13.6,0) -- (19,0);
\node at (4,-1) {$B$};
\node at (15,-1) {$B'$};
\end{tikzpicture}
\end{figure}
\noindent Some coefficients in the discrete signatures are such that no choice of $\delta$ will make their difference small. For instance,
\begin{align*}
\langle \Phi_I(B) , Z_1 \otimes Z_1 \otimes Z_1 \rangle & = 0 \\
\langle \Phi_I(B') , Z_1 \otimes Z_1 \otimes Z_1 \rangle & = -\frac{(d-b)^3}{2^5} + o(\delta) \ .
\end{align*}
\end{example}
The heart of the issue with continuity is the poor behaviour of the discrete signature under refinement of segment decomposition (cf.\ Remark \ref{rmk:refinement}). Indeed, in the above example, the inclusion of a bar with arbitrarily small persistence, which produces a barcode that is close in bottleneck distance, forces a refinement of segment decomposition, whence the discontinuity.
\subsection{The specialised discrete landscape feature map}\label{subsec:restricted}
For applications, one may want to compare barcodes using signatures as input for machine learning methods \cite{lyons2025signaturemethodsmachinelearning}. In light of this, it makes sense to consider a finite subset $D \subset \BBar$. Then we can modify the discrete embedding map $I: \BBar \rightarrow \TS(\mathbb R^d)$ \eqref{eq:discrete embedding} as follows. Consider the union of all critical points of the landscapes arising from the domain $D$
\[ C_D := \{ c_1,c_2,...,c_N \} =\{ c \ | \ c \ \text{critical point of} \ \lambda^B \text{ for some } B \in D \} \ , \]
and define the {\em specialised discrete embedding map}
\begin{equation}\label{eq:restricted discrete embedding}
\begin{matrix}
I_D: & D & \rightarrow & \BV([0,L],\mathbb R^d) & \rightarrow & \TS(\mathbb R^d) \\
& B & \mapsto & \lambda^B & \mapsto & (\lambda^B (c_1), \lambda^B(c_2),..., \lambda^B(c_N))
\end{matrix} \ .
\end{equation}
This restriction allows us to have a consistent segment subdivision of the landscapes across all barcodes in $D$, which then guarantees continuity of the {\em specialised discrete landscape feature map}
\begin{equation}\label{eq:restricted discrteet feature map}
\Phi_{I_D}^{\leq k}: D \xrightarrow{I_D} \TS(\mathbb R^d) \xrightarrow{\Sigma^{\leq k}} \T^{\leq k}((\mathscr{V}_d))
\end{equation}
where $\T^{\leq k}((\mathscr{V}_d))$ denotes the space of discrete signature tensors truncated at weight $k$. \\
\indent For practical pourposes, a particularly desiderable property of a feature map would be stability, or equivalently being $1$-Lipschitz. A weaker but still desirable condition is uniform continuity. We aim that the specialised discrete landscape feature map $\Phi^{\leq k}_{I_D}$ is uniformly continuous. Before proving this, we describes explicitly the metrics on all the involved spaces, that is $\BBar$, $\BV([0,L],\mathbb R^d)$, $\TS(\mathbb R^d)$ and $\T^{\leq k}((\mathscr{V}_d))$.
\paragraph{Bottleneck distance.} The {\em bottleneck distance} was classically introduced for persistence diagrams in \cite[Sec.\ 3]{cohen2007stability}, and it translates in the following distance between barcodes:
\[ \dist_{\B}(B,B') := \inf_{\sigma:B\stackrel{1:1}{\rightarrow} B'} \sup_{B_i \in B} \norm{ B_i - \sigma(B_i)}_\infty \ . \]
\noindent The distance between landscapes is the $\infty$--norm $\norm{\cdot}_{\infty}$, as considered in \cite[Sec.\ 5]{bubenik2015statistical}:
\[ \dist_{\infty}(\lambda^B , \lambda^{B'}) := \norm{\lambda^B - \lambda^{B'}}_\infty = \sup_{t} \left\{ \norm{\lambda^B(t)-\lambda^{B'}(t)}_2 \right\} \ . \]
\noindent Finally, given two time-series in $\mathbb R^d$ of the same length $n$, the distance between them that we consider is
\[ \dist_{\TS}(\underline{\bold{x}}, \underline{\bold{y}}) = \max \left\{ \norm{\bold{x}_i-\bold{y}_i}_2 \ | \ i \in [n] \right\} \ . \]
\paragraph{Bombieri-Weyl product.} The (non-degenerate) scalar product $\langle \cdot , \cdot \rangle$ on $\mathbb R^d$ defining the $2$--norm $\norm{\cdot}_2$ naturally induces a scalar product on $\T^{\leq k}((\mathscr{V}_d))$, called {\em Bombieri-Weyl product}. Fix an orthonormal basis $(e_1,\ldots , e_d)$ of $\mathbb R^d$. Let $Sym^\bullet \mathbb R^d$ be the graded symmetric algebra over $\mathbb R^d$, which is isomorphic (as graded algebras) to the polynomial ring $\mathbb R[Z_1,\ldots, Z_d]$: one identifies the basis vector $e_i$ with the variable $Z_i$. In particular, the isomorphism restricts to each graded component, so that $Sym^h\mathbb R^d$ is isomorphic to the vector space $\mathbb R[Z_1,\ldots, Z_d]_h$ of homogeneous polynomials in $d$ variables of degree $h$. For any $h\geq 0$, the scalar product $\langle \cdot ,\cdot \rangle$ extends to a scalar product, called {\em Bombieri-Weyl product} (BW-product), on $\mathbb R[Z_1,\ldots, Z_d]_h$ defined on the monomials (and extended by linearity) by
\[ \langle Z_1^{\alpha_1}\cdots Z_d^{\alpha_d} , Z_1^{\beta_1}\cdots Z_d^{\beta_d}\rangle_{sym} = \binom{h}{\boldsymbol{\alpha}}^{-1}\delta_{\boldsymbol{\alpha}\boldsymbol{\beta}} \ , \]
where $\binom{h}{\boldsymbol{\alpha}}=\frac{h!}{\alpha_1! \cdots \alpha_d!}$ and the latter symbol is the Kronecker symbol. The BW-product on $Sym^h\mathbb R^d$ induces the Bombieri-Weyl norm, also known as {\em Kostlan norm}: for any degree--$h$ monomial $\bold{Z}^{\boldsymbol{\alpha}}:=Z_1^{\alpha_1}\cdots Z_d^{\alpha_d}$ it holds
\[ \norm{\bold{Z}^{\boldsymbol{\alpha}}}_{sym}^2 = \binom{h}{\boldsymbol{\alpha}}^{-1} \ .\]
One extends the BW-product to the whole algebra $Sym^\bullet\mathbb R^d\simeq \mathbb R[Z_1, \ldots , Z_d]$ by imposing orthogonality between monomials with different grades. This defines a scalar product on $\mathscr{V}_d$. Again, this extends to any tensor-power of $\mathscr{V}_d^{\otimes \ell}$, resulting in the following norm: given $\ell$ monomials $\bold{Z}^{\boldsymbol{\alpha}_1}, \ldots, \bold{Z}^{\boldsymbol{\alpha}_\ell}$ in $\mathscr{V}_d$ such that each $\boldsymbol{\alpha}_i=(\alpha_{i,1}, \ldots, \alpha_{i,d})\in \mathbb N^d$ is a partition of the degree $|\boldsymbol{\alpha}_i|=\alpha_{i,1}+\ldots + \alpha_{i,d}$, it holds
\[ \norm{\bold{Z}^{\boldsymbol{\alpha}_1}\otimes \ldots \otimes \bold{Z}^{\boldsymbol{\alpha}_\ell}}_{BW}^2 = \norm{\bold{Z}^{\boldsymbol{\alpha}_1}}_{sym}^2\cdots \norm{\bold{Z}^{\boldsymbol{\alpha}_\ell}}_{sym}^2 = \binom{|\boldsymbol{\alpha}_1|}{\boldsymbol{\alpha}_1}^{-1}\cdots \binom{|\boldsymbol{\alpha}_\ell|}{\boldsymbol{\alpha}_{\ell}}^{-1} \ . \]
Analogously, one extends the scalar product to $\T^{\leq k}((\mathscr{V}_d))$ by imposing orthogonality between tensor-products of different order. In particular, the BW-norm on $\T^{\leq k}((\mathscr{V}_d))$ is
{\footnotesize \[ \norm{\sum_{|\boldsymbol{\alpha}_1|+\ldots + |\boldsymbol{\alpha}_\ell|\leq k} C_{\boldsymbol{\alpha}_1, \ldots, \boldsymbol{\alpha}_\ell}\bold{Z}^{\boldsymbol{\alpha}_1}\otimes \ldots \otimes \bold{Z}^{\boldsymbol{\alpha}_\ell} }_{BW}^2 = \sum_{|\boldsymbol{\alpha}_1|+\ldots + |\boldsymbol{\alpha}_\ell|\leq k} C_{\boldsymbol{\alpha}_1, \ldots, \boldsymbol{\alpha}_\ell}^2 \binom{|\boldsymbol{\alpha}_1|}{\boldsymbol{\alpha}_1}^{-1}\cdots \binom{|\boldsymbol{\alpha}_\ell|}{\boldsymbol{\alpha}_{\ell}}^{-1} \ . \]}
This allows to define the following {\em Bombieri-Weyl distance} on $\T^{\leq k}((\mathscr{V}_d))$: given two elements $f,g\in \T^{\leq k}((\mathscr{V}_d))$ with coefficients $C^f_{\boldsymbol{\alpha}_1, \ldots, \boldsymbol{\alpha}_\ell}$ and $C^g_{\boldsymbol{\alpha}_1, \ldots, \boldsymbol{\alpha}_\ell}$ respectively, it holds
\begin{align}\label{eq:BW norm}
\dist_{BW}(f,g) & = \norm{\sum_{|\boldsymbol{\alpha}_1|+\ldots + |\boldsymbol{\alpha}_\ell|\leq k} \left( C^f_{\boldsymbol{\alpha}_1, \ldots, \boldsymbol{\alpha}_\ell} - C^g_{\boldsymbol{\alpha}_1, \ldots, \boldsymbol{\alpha}_\ell} \right)\bold{Z}^{\boldsymbol{\alpha}_1}\otimes \ldots \otimes \bold{Z}^{\boldsymbol{\alpha}_\ell} }_{BW}^2 \nonumber \\
& = \sum_{|\boldsymbol{\alpha}_1|+\ldots + |\boldsymbol{\alpha}_\ell|\leq k} \left( C^f_{\boldsymbol{\alpha}_1, \ldots, \boldsymbol{\alpha}_\ell} - C^g_{\boldsymbol{\alpha}_1, \ldots, \boldsymbol{\alpha}_\ell} \right)^2 \binom{|\boldsymbol{\alpha}_1|}{\boldsymbol{\alpha}_1}^{-1}\cdots \binom{|\boldsymbol{\alpha}_\ell|}{\boldsymbol{\alpha}_{\ell}}^{-1}
\end{align}
\paragraph{Uniform continuity.} In our case we start from the standard scalar product $\langle \bold{u},\bold{w}\rangle = \sum u_iw_i$ on $\mathbb{R}^d$, defining the $2$--norm $\norm{\cdot}_2$.
\begin{theorem}\label{thm:uniform continuity}
Given $D\subset \BBar$ a finite set of barcodes, the specialised discrete landscape feature map $\Phi_{I_D}^{\leq k}$ \eqref{eq:restricted discrteet feature map} is uniformly continuous with respect to the bottleneck distance on $\BBar$ and the Bombieri-Weyl distance on $\T^{\leq k}((\mathscr{V}_d))$.
\end{theorem}
\begin{proof}
We divide the proof in more steps, showing that each map involved in $\Phi_{I_D}^{\leq k}$ is uniformly continous.\\
\hfill\break
\indent {\em Claim 1: The discrete embedding $I_D$ is uniformly continuous.} The map $I_D$ can be factored as $I_d = \mathbf{ev} \circ \lambda$ where $\lambda: D \rightarrow \BV(\mathbb R^d)$ is the persistence landscape map restricted to $D$, and $\mathbf{ev}$ is evaluation at all the points in $C_D$. \\
In \cite[Theorem 2.4]{Bubenik_2020_landscapes}, it was shown that $\lambda$ is stable, meaning $1$-Lipschitz where $\BV(\mathbb R^d)$ has the $\infty$--norm: in particular, $\lambda$ is uniformly continuous. On the other hand, the evaluation map $\mathbf{ev}$ is evaluation of persistence landscapes (which are piecewise linear functions) at a fixed set of points, so it is also $1$-Lipschitz, hence uniformly continuous.\\
\hfill\break
\indent {\em Claim 2: The discrete signature $\Sigma$ is uniformly continuous.} We need to prove that for any $\epsilon>0$ there exists $\gamma>0$ such that
\[ \dist_{\TS}(\underline{\bold{x}},\underline{\bold{y}})<\gamma \ \implies \norm{\Sigma^{\leq k}(\underline{\bold{x}}) - \Sigma^{\leq k}(\underline{\bold{y}})}_{BW}< \epsilon \ . \]
From \eqref{eq:BW norm}, and since we are working with a truncation of the discrete signature, it is enough to show the statement for any coefficient $| C^{\underline{\bold{x}}}_{\boldsymbol{\alpha}_1, \ldots, \boldsymbol{\alpha}_\ell} - C^{\underline{\bold{y}}}_{\boldsymbol{\alpha}_1, \ldots, \boldsymbol{\alpha}_\ell} |$. \\
Given $\underline{\bold{x}}, \underline{\bold{y}}\in \TS(\mathbb R^d)$ of length $n$, consider their difference time-series $\Delta \underline{\bold{x}}, \Delta \underline{\bold{y}}$ of length $n-1$. Flatten them in the vectors $\boldsymbol{\Delta_x}:=(\Delta \bold{x}_1,\ldots, \Delta \bold{x}_{n-1})$ and $\boldsymbol{\Delta_y}:=(\Delta \bold{y}_1,\ldots, \Delta \bold{y}_{n-1})$ of length $d(n-1)$. In the polynomial ring $\mathbb R[T_{11} , \ldots ,T_{1d}, T_{21}, \ldots , T_{n-1 \, d}]$ consider the polynomial
\[ P(\bold{T}) := \sum_{1 \leq i_1 \lneq \ldots \lneq i_{\ell} < n} p_1(T_{i_1 \, 1}, \ldots , T_{i_1 \, d})\cdots p_\ell(T_{i_\ell \, 1}, \ldots, T_{i_\ell \, d}) \ . \]
\noindent Then it holds
\[ P(\boldsymbol{\Delta_x}) = \sum_{1 \leq i_1 \lneq \ldots \lneq i_{\ell} < n} p_1(\Delta \bold{x}_{i_1})\cdots p_\ell(\Delta \bold{x}_{i_\ell}) = C^{\underline{\bold{x}}}_{p_1\otimes \ldots \otimes p_\ell} \ . \]
\noindent But polynomials (on a compact domain) are uniformly continuous, hence for any $\epsilon >0$ there exists $\delta >0$ such that
\[ \norm{\boldsymbol{\Delta_x} - \boldsymbol{\Delta_y}}_2 < \delta \ \implies \ \big| C^{\underline{\bold{x}}}_{p_1\otimes \ldots \otimes p_\ell} - C^{\underline{\bold{y}}}_{p_1\otimes \ldots \otimes p_{\ell}} \big|= \big| P(\boldsymbol{\Delta_x})-P(\boldsymbol{\Delta_y}) \big| < \epsilon \ . \]
\noindent Now, if
\[ \dist_{\TS}(\underline{\bold{x}}, \underline{\bold{y}}) := \max \left\{ \norm{\bold{x}_i-\bold{y}_i}_2 \ | \ i \in [n] \right\} \leq \frac{\delta}{2(n-1)} \ , \]
\noindent one gets
\[ \norm{\Delta \bold{x}_{i+1} - \Delta \bold{y}_{i+1}}_2 =\norm{\bold{x}_{i+1}-\bold{x}_{i}-\bold{y}_{i+1}+\bold{y}_i}_2 \leq \norm{\bold{x}_{i+1}-\bold{y}_{i+1}}_2 + \norm{\bold{x}_i - \bold{y}_i}_2 \leq \frac{\delta}{n-1} \]
implying that on the flattenings it holds
\[ \norm{\boldsymbol{\Delta_x} - \boldsymbol{\Delta_y}}_2 \leq \sum_{j \in [n-1]} \norm{\Delta \bold{x}_{j} - \Delta \bold{y}_j}_2 \leq \delta \ . \]
We conclude that it is enough to take $\gamma := \frac{\delta}{2(n-1)}$ so that the hypothesis $\dist_{\TS}(\underline{\bold{x}},\underline{\bold{y}})<\gamma$ implies $|C^{\underline{\bold{x}}}_{\boldsymbol{\alpha}_1, \ldots, \boldsymbol{\alpha}_\ell} - C^{\underline{\bold{y}}}_{\boldsymbol{\alpha}_1, \ldots, \boldsymbol{\alpha}_\ell}| < \epsilon$. This proves that the truncated discrete signature map is uniformly continuous.
\end{proof}
We remark that discrete signatures characterise landscapes, hence barcodes, up to translating nonzero sections of a landscape along regions of the domain where the landscape is identically zero. Indeed, identically zero regions of the landscape produce consecutive zero vectors in the time-series of the critical points, and these can be contracted to a unique zero vector by time-warping.
\section{Application to knotted proteins}\label{sec:application}
\noindent In this section we apply discrete signatures on a dataset of knotted proteins that were analysed with persistence landscapes in \cite{benjamin2023homology}.
The three-dimensional coordinates of the carbon (C-alpha) atoms of the protein (whose backbone forms an open-ended positive trefoil knot) form a point cloud, and serve as the input data for persistent homology. The proteins are categorised into structural classes based on amino-acid {\em sequence similarity} of the protein: proteins with sufficiently similar sequences of amino-acids are highly likely to have similar 3D structures. We adopt the same convention as \cite{benjamin2023homology} and label the class by a representative protein of the class, or \textquotedblleft other\textquotedblright \space whenever there were insufficient similar sequences to define additional classes. The proteins were also labelled with a separate classification, either deeply or shallow knotted or \textquotedblleft neither\textquotedblright \space when the protein was not classified as shallow or deeply knotted \cite{benjamin2023homology}. We refer the reader to \cite{benjamin2023homology} for more details.
\indent In \cite{benjamin2023homology} the authors compute the persistence landscapes of these proteins and show that the $L_1$-landscape and Wasserstein distances separate the proteins into nine structural classes labelled by representative (see legend in Figure \ref{fig:histogram}). \\
\indent Here, we used the software FRUITS ({\em Feature Extraction Using Iterated Sums}) \cite{diehl2024fruits} for implementation of the discrete signature of a time-series. The corresponding code for this section is publicly available at \href{https://github.com/dtolosav/discrete-sig-for-landscapes}{https://github.com/dtolosav/discrete-sig-for-landscapes}. We opted for a straightforward implementation of the DLFM in this work. Note that both path signatures and discrete signatures are amenable to kernelization \cite{kiraly_kernels_2016, lee_signature_2023}, which has the potential to significantly improve computational aspects while preserving desirable properties.
\paragraph{Correlation between discrete signature and sequence similarity.} Using discrete signatures with Euclidean distance (i.e. Bombieri-Weyl distance), we implement an unsupervised approach, in the sense that we assume no information about structural class. We use k-means clustering for three parameters: truncation of levels in the landscapes, truncation by weight (as defined in \eqref{eq:weight}) 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 {\em Adjusted Rand Index} (ARI) and {\em Normalised Mutual Information} (NMI) (see Figure \ref{fig:ARI_NMI_table}). Proteins in the dataset whose structural class were labelled \textquotedblleft other\textquotedblright \space were not considered in this analysis.
\begin{figure}[H]
\centering
\includegraphics[width=0.7\linewidth]{fig/master_results_comparison_kmeans_sig_V_representatives_x1_dropOther.png}
\caption{{\footnotesize Correlations (via ARI and NMI) between the signature-based clusters and the labeling determined by 9 structural class representative. The first row highlights a significantly high correlation after truncating the landscape at the first $15$ levels, the discrete signature at weight $3$ and imposing $9$ clusters.}}
\label{fig:ARI_NMI_table}
\end{figure}
The metrics in Figure \ref{fig:ARI_NMI_table} show high similarity between the clustering based on the $9$ structural class representatives, and the k-means clustering using the first $15$ levels of landscapes, discrete signatures up to weight $3$, and $9$ clusters, with ARI of $0.958$ and NMI of $0.895$. We find it remarkable that such a high accuracy is already reached by truncating the discrete signature up to weight $3$. We will work with these parameters in the remainder of the section. \\
\indent The above ARI and NMI scores outperform the alternative k-means clustering algorithm that uses $L_1$ distance on the landscapes directly, which gives ARI $0.88$ of and NMI of $0.83$. Furthermore, the dimension of feature vectors produced by our (more descriptive) discrete signature method is significantly lower than the ones by directly using landscapes.\\
\indent We can visualise the results of Figure \ref{fig:ARI_NMI_table} in Figure \ref{fig:histogram}: the signature-based clustering separates all structural class representatives except 3ZNC (in orange -- not dominant in any cluster) and 1FUG (in mauve -- dominant in two clusters). However, these exceptions are acceptable and justified by some particular features of the protein dataset considered in \cite{benjamin2023homology}. Indeed, the protein class 3ZNC (orange) is broken, presenting missing parts in the amino-acids chain, and it has a similar structure chain to 4QEF (navy blue), as they are both carbamoyltransferases.
\begin{figure}[H]
\centering
\includegraphics[width=0.6\linewidth]{fig/hplot_cluster_v_rep_x1_L15_W3_thresh_0_Clusters_9_30May2025.png}
\caption{{\footnotesize k-means clustering using $15$ levels, weight $\leq 3$, and $9$ clusters as parameters.}}
\label{fig:histogram}
\end{figure}
\paragraph{Validation of the correlation test.} {\em A priori} the above high accuracy can just be a coincidence, in which case our test would be unreliable. Therefore, we also performed a permutation test {\em} (see Figure \ref{fig:permuation_test}), and obtained p-values $\leq 0.001$ for ARI and NMI, showing statistical significance of the scores obtained in Figure \ref{fig:ARI_NMI_table}.
\begin{figure}[H]
\centering
\includegraphics[width=0.9\linewidth]{fig/perm_test_30May2025.png}
\caption{{\footnotesize Permutation test for ARI and NMI (p-value $0.001$), with parameters as in Figure \ref{fig:histogram}.}}
\label{fig:permuation_test}
\end{figure}
\noindent The vertical bars in Figure \ref{fig:permuation_test} represent the score (ARI or NMI) obtained with random inputs, while the dashed red line represents the score observed by running the test with the chosen protein dataset. The fact that the score we obtain is far from the \textquotedblleft random\textquotedblright \space scores validates our test as reliable for protein datasets.\\
\indent We further investigate how well the discrete signature captures structural classes by running a {\em centroid-based permutation test with separation ratio}: we compute the {\em average signature} within each structural class, and we compute the {\em separation ratio}, i.e. between-class/within-class distances. This is analogous to the test used in \cite{benjamin2023homology} using average landscapes. We obtain a separation ratio of $2.49$ with a p-value $< 0.001$ (cf.\ Figure \ref{fig:separation_ratio}). This test is independent of the k-means clustering.
\begin{figure}[H]
\centering
\includegraphics[width=0.6\linewidth]{fig/separation_test_30May2025.png}
\caption{{\footnotesize Centroid-based permutation test using separation ratio with average signatures.}}
\label{fig:separation_ratio}
\end{figure}
A large ratio means that different classes have different discrete signatures; equivalently, signatures separate structural classes. Figure \ref{fig:separation_ratio} shows that signatures do not separate random classes, for which the ratio is $< 0.5$ (dashed blue line), in contrast to the ratio of $2.49$ (dashed red line) obtained with the protein dataset. Again, this test validates a strong correlation between discrete signatures and clustering of structural classes.
\paragraph{Correlation between discrete signature and knot depth.} The previous analysis confirms that the discrete signature distinguishes structural representative classes. Now, we look into a different feature of interest, namely the \textit{knot depth} (see \cite{barbensi_f_2021} for a precise definition). Here, we consider the entire dataset, including proteins with structural class representative listed as \textquotedblleft other\textquotedblright. We quantify the correlation between discrete signatures and knot depth via two standard methods. The {\bf Spearman Correlation} method returns a depth-signature distance correlation of $0.647$ with p-value $<0.001$, showing correlation with statistical significance. The method {\bf Random forest for predictive power} gives a $R^2$ score for depth prediction of $0.866 \pm 0.048$. Here, values close to $1$ indicate strong predictive performance, hence the model explains the $86.6\%$ of the variance in knot depth using the discrete signature. Again, we refer to \href{https://github.com/dtolosav/discrete-sig-for-landscapes}{https://github.com/dtolosav/discrete-sig-for-landscapes} for a more detailed analysis and code.
\paragraph{Signature-knot depth correlation via PCA.} We visualise the signature-knot depth correlation via principal component analysis (PCA).
Figure \ref{fig:PCA 3D} is obtained by considering the first three principal components. Following \cite{benjamin2023homology}, we label our proteins as {\em deep} whenever $depth > 0.05$, {\em shallow} whevener $depth < 0.005$, and {\em neither} for intermediate values. Be aware that the top plot (colored by representative classes) does not include the representative class labeled as \textquotedblleft other\textquotedblright, while the bottom plot (colored by depth classes) does. The clusterings obtained via PCA in Figure \ref{fig:PCA 3D} are finer than the ones obtained via ISOMAP in \cite[Figure 2(b)]{benjamin2023homology}. Further visualisations, including some via ISOMAP, are available in \href{https://github.com/dtolosav/discrete-sig-for-landscapes}{https://github.com/dtolosav/discrete-sig-for-landscapes}.
.
\begin{figure}
\centering
\includegraphics[width=1\textwidth]{fig/pca_3PC_both_plots_L15_W3_30May2025.png}
\caption{{\footnotesize 3-dimensional PCA colored by structural class representative (left) and by knot depth classification (right).} }
\label{fig:PCA 3D}
\end{figure}
{\scriptsize
\printbibliography
}
\end{document}
% $ biblatex auxiliary file $
% $ biblatex bbl format version 3.2 $
% Do not modify the above lines!
%
% This is an auxiliary file used by the 'biblatex' package.
% This file may safely be deleted. It will be recreated by
% biber as required.
%
\begingroup
\makeatletter
\@ifundefined{ver@biblatex.sty}
{\@latex@error
{Missing 'biblatex' package}
{The bibliography requires the 'biblatex' package.}
\aftergroup\endinput}
{}
\endgroup
\refsection{0}
\datalist[entry]{nyt/global//global/global}
\entry{ali2023survey}{article}{}
\name{author}{6}{}{%
{{hash=b60f6d6ca26124263e6b5a87e675e1fd}{%
family={Ali},
familyi={A\bibinitperiod},
given={D.},
giveni={D\bibinitperiod}}}%
{{hash=31578f549556f1f0311084888bbffe5b}{%
family={Asaad},
familyi={A\bibinitperiod},
given={A.},
giveni={A\bibinitperiod}}}%
{{hash=901ace88e3ec94340e8d2344e6fed8a6}{%
family={Jimenez},
familyi={J\bibinitperiod},
given={M.J.},
giveni={M\bibinitperiod}}}%
{{hash=344b87237c645e94bcb61b7b81c45448}{%
family={Nanda},
familyi={N\bibinitperiod},
given={V.},
giveni={V\bibinitperiod}}}%
{{hash=229402384959b77243f9d06b5457b437}{%
family={Paluzo-Hidalgo},
familyi={P\bibinithyphendelim H\bibinitperiod},
given={E.},
giveni={E\bibinitperiod}}}%
{{hash=e8bd45a0c63ec6595c997473fcf5ffd5}{%
family={Soriano-Trigueros},
familyi={S\bibinithyphendelim T\bibinitperiod},
given={M.},
giveni={M\bibinitperiod}}}%
}
\list{publisher}{1}{%
{IEEE}%
}
\strng{namehash}{63790c84759dec121de43e6e7945abf2}
\strng{fullhash}{4f2cb570b78679f0eef5556166e3d265}
\strng{bibnamehash}{4f2cb570b78679f0eef5556166e3d265}
\strng{authorbibnamehash}{4f2cb570b78679f0eef5556166e3d265}
\strng{authornamehash}{63790c84759dec121de43e6e7945abf2}
\strng{authorfullhash}{4f2cb570b78679f0eef5556166e3d265}
\field{labelalpha}{Ali+23}
\field{sortinit}{A}
\field{sortinithash}{2f401846e2029bad6b3ecc16d50031e2}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{IEEE Transactions on Pattern Analysis and Machine Intelligence}
\field{number}{12}
\field{title}{A survey of vectorization methods in topological data analysis}
\field{volume}{45}
\field{year}{2023}
\field{pages}{14069\bibrangedash 14080}
\range{pages}{12}
\endentry
\entry{amendola19}{article}{}
\name{author}{3}{}{%
{{hash=ba9a7c4bb6ebb3453bac87c108bc6813}{%
family={Améndola},
familyi={A\bibinitperiod},
given={C.},
giveni={C\bibinitperiod}}}%
{{hash=450efa620cc09e9ee543dc7b76cde226}{%
family={Friz},
familyi={F\bibinitperiod},
given={P.},
giveni={P\bibinitperiod}}}%
{{hash=4767af7f6eeeec255c51780b7200e14b}{%
family={Sturmfels},
familyi={S\bibinitperiod},
given={B.},
giveni={B\bibinitperiod}}}%
}
\strng{namehash}{d7d6d9af75caa018c8e0f613f593339d}
\strng{fullhash}{d7d6d9af75caa018c8e0f613f593339d}
\strng{bibnamehash}{d7d6d9af75caa018c8e0f613f593339d}
\strng{authorbibnamehash}{d7d6d9af75caa018c8e0f613f593339d}
\strng{authornamehash}{d7d6d9af75caa018c8e0f613f593339d}
\strng{authorfullhash}{d7d6d9af75caa018c8e0f613f593339d}
\field{labelalpha}{AFS19}
\field{sortinit}{A}
\field{sortinithash}{2f401846e2029bad6b3ecc16d50031e2}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{2050-5094}
\field{journaltitle}{Forum Math. Sigma}
\field{title}{Varieties of signature tensors}
\field{volume}{7}
\field{year}{2019}
\field{pages}{Paper No. e10\bibrangessep 54}
\range{pages}{-1}
\verb{doi}
\verb 10.1017/fms.2019.3
\endverb
\endentry
\entry{amendola2023decomposingtensorspacespath}{article}{}
\name{author}{5}{}{%
{{hash=ba9a7c4bb6ebb3453bac87c108bc6813}{%
family={Améndola},
familyi={A\bibinitperiod},
given={C.},
giveni={C\bibinitperiod}}}%
{{hash=e574b59cda613c32db7060f687742c10}{%
family={Galuppi},
familyi={G\bibinitperiod},
given={F.},
giveni={F\bibinitperiod}}}%
{{hash=e0a36a953ea3c10d9477443735b76c13}{%
family={Ortiz},
familyi={O\bibinitperiod},
given={Á.D.\bibnamedelimi Ríos},
giveni={Á\bibinitperiod\bibinitdelim R\bibinitperiod}}}%
{{hash=62a6680f63338f351197affa6327c5af}{%
family={Santarsiero},
familyi={S\bibinitperiod},
given={P.},
giveni={P\bibinitperiod}}}%
{{hash=faa901eb224c6ea283470f7bcd1b0748}{%
family={Seynnaeve},
familyi={S\bibinitperiod},
given={T.},
giveni={T\bibinitperiod}}}%
}
\strng{namehash}{c472f3890a9e2c6ab6dd29d9629bf523}
\strng{fullhash}{11fda135afe8c27468bfe374968460d7}
\strng{bibnamehash}{11fda135afe8c27468bfe374968460d7}
\strng{authorbibnamehash}{11fda135afe8c27468bfe374968460d7}
\strng{authornamehash}{c472f3890a9e2c6ab6dd29d9629bf523}
\strng{authorfullhash}{11fda135afe8c27468bfe374968460d7}
\field{labelalpha}{Amé+25}
\field{sortinit}{A}
\field{sortinithash}{2f401846e2029bad6b3ecc16d50031e2}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Journal of Pure and Applied Algebra}
\field{number}{1}
\field{title}{Decomposing Tensor Spaces via Path Signatures}
\field{volume}{229}
\field{year}{2025}
\verb{doi}
\verb 10.1016/j.jpaa.2024.107807
\endverb
\endentry
\entry{barbensi_f_2021}{article}{}
\name{author}{2}{}{%
{{hash=2ce3776eafc2195e6ebc5b4cdd9bcf04}{%
family={Barbensi},
familyi={B\bibinitperiod},
given={A.},
giveni={A\bibinitperiod}}}%
{{hash=5389df2d782735193dce3e3364d882cd}{%
family={Goundaroulis},
familyi={G\bibinitperiod},
given={D.},
giveni={D\bibinitperiod}}}%
}
\strng{namehash}{a3bb90ebdaaa77da5c6d235975123da2}
\strng{fullhash}{a3bb90ebdaaa77da5c6d235975123da2}
\strng{bibnamehash}{a3bb90ebdaaa77da5c6d235975123da2}
\strng{authorbibnamehash}{a3bb90ebdaaa77da5c6d235975123da2}
\strng{authornamehash}{a3bb90ebdaaa77da5c6d235975123da2}
\strng{authorfullhash}{a3bb90ebdaaa77da5c6d235975123da2}
\field{labelalpha}{BG21}
\field{sortinit}{B}
\field{sortinithash}{d7095fff47cda75ca2589920aae98399}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Proceedings of the Royal Society A}
\field{title}{f-distance of knotoids and protein structure}
\field{year}{2021}
\verb{doi}
\verb 10.1098/rspa.2020.0898
\endverb
\verb{urlraw}
\verb https://royalsocietypublishing.org/doi/10.1098/rspa.2020.0898
\endverb
\verb{url}
\verb https://royalsocietypublishing.org/doi/10.1098/rspa.2020.0898
\endverb
\endentry
\entry{bellingeri2023discrete}{article}{}
\name{author}{2}{}{%
{{hash=2092daa4607589e8fbb18e55b823b5d4}{%
family={Bellingeri},
familyi={B\bibinitperiod},
given={C.},
giveni={C\bibinitperiod}}}%
{{hash=8ed232f79df4dbf71e463db32844eab6}{%
family={Penaguiao},
familyi={P\bibinitperiod},
given={R.},
giveni={R\bibinitperiod}}}%
}
\strng{namehash}{9ae80b3ba68fcead46c1284d7540ac67}
\strng{fullhash}{9ae80b3ba68fcead46c1284d7540ac67}
\strng{bibnamehash}{9ae80b3ba68fcead46c1284d7540ac67}
\strng{authorbibnamehash}{9ae80b3ba68fcead46c1284d7540ac67}
\strng{authornamehash}{9ae80b3ba68fcead46c1284d7540ac67}
\strng{authorfullhash}{9ae80b3ba68fcead46c1284d7540ac67}
\field{labelalpha}{BP23}
\field{sortinit}{B}
\field{sortinithash}{d7095fff47cda75ca2589920aae98399}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{arXiv preprint arXiv:2303.13377}
\field{title}{Discrete signature varieties}
\field{year}{2023}
\endentry
\entry{benjamin2023homology}{article}{}
\name{author}{7}{}{%
{{hash=3e3078998a72a796e5441bcddd0d64d6}{%
family={Benjamin},
familyi={B\bibinitperiod},
given={K.},
giveni={K\bibinitperiod}}}%
{{hash=cf69bc7b1b7b6e696d944d0da3d2debf}{%
family={Mukta},
familyi={M\bibinitperiod},
given={L.},
giveni={L\bibinitperiod}}}%
{{hash=ca587af3af8b0493cf79f2bfd8abbde3}{%
family={Moryoussef},
familyi={M\bibinitperiod},
given={G.},
giveni={G\bibinitperiod}}}%
{{hash=c0557c4a260c0289e462cb6c98107fc3}{%
family={Uren},
familyi={U\bibinitperiod},
given={C.},
giveni={C\bibinitperiod}}}%
{{hash=e1c7f8a2471897f53f136a0f294d374c}{%
family={Harrington},
familyi={H\bibinitperiod},
given={H.A},
giveni={H\bibinitperiod}}}%
{{hash=ea68bc3e3c2e57232d1f128c5d10a494}{%
family={Tillmann},
familyi={T\bibinitperiod},
given={U.},
giveni={U\bibinitperiod}}}%
{{hash=2ce3776eafc2195e6ebc5b4cdd9bcf04}{%
family={Barbensi},
familyi={B\bibinitperiod},
given={A.},
giveni={A\bibinitperiod}}}%
}
\list{publisher}{1}{%
{The Royal Society}%
}
\strng{namehash}{c9fa262c9b555a42bf296c9d46548493}
\strng{fullhash}{a27c13d86f6b9a814a383f601da8e00c}
\strng{bibnamehash}{a27c13d86f6b9a814a383f601da8e00c}
\strng{authorbibnamehash}{a27c13d86f6b9a814a383f601da8e00c}
\strng{authornamehash}{c9fa262c9b555a42bf296c9d46548493}
\strng{authorfullhash}{a27c13d86f6b9a814a383f601da8e00c}
\field{extraname}{1}
\field{labelalpha}{Ben+23}
\field{sortinit}{B}
\field{sortinithash}{d7095fff47cda75ca2589920aae98399}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Journal of the Royal Society Interface}
\field{number}{201}
\field{title}{Homology of homologous knotted proteins}
\field{volume}{20}
\field{year}{2023}
\field{pages}{20220727}
\range{pages}{1}
\endentry
\entry{benjamin2024multiscale}{article}{}
\true{moreauthor}
\true{morelabelname}
\name{author}{10}{}{%
{{hash=3e3078998a72a796e5441bcddd0d64d6}{%
family={Benjamin},
familyi={B\bibinitperiod},
given={K.},
giveni={K\bibinitperiod}}}%
{{hash=2ef4cf74514c48437ec4977234d3154a}{%
family={Bhandari},
familyi={B\bibinitperiod},
given={A.},
giveni={A\bibinitperiod}}}%
{{hash=955f5525d433b351095dc25f182be01f}{%
family={Kepple},
familyi={K\bibinitperiod},
given={J.D},
giveni={J\bibinitperiod}}}%
{{hash=5b486cf336bdf199c982b90d41b12cab}{%
family={Qi},
familyi={Q\bibinitperiod},
given={R.},
giveni={R\bibinitperiod}}}%
{{hash=12173cf35ee9e0358714a3fa8fe5ca94}{%
family={Shang},
familyi={S\bibinitperiod},
given={Z.},
giveni={Z\bibinitperiod}}}%
{{hash=d0ae0ea51e06a197c667ee6e5ebf7fe8}{%
family={Xing},
familyi={X\bibinitperiod},
given={Y.},
giveni={Y\bibinitperiod}}}%
{{hash=b01515dee98fbb7a3fa0a9b3049d0202}{%
family={An},
familyi={A\bibinitperiod},
given={Y.},
giveni={Y\bibinitperiod}}}%
{{hash=b16d827b3a41183aa1cc8aaf33509ff2}{%
family={Zhang},
familyi={Z\bibinitperiod},
given={N.},
giveni={N\bibinitperiod}}}%
{{hash=8105bc402aeb6a8aad48c14037aee967}{%
family={Hou},
familyi={H\bibinitperiod},
given={Y.},
giveni={Y\bibinitperiod}}}%
{{hash=dcb866270cbe48403da30d1d4e46daed}{%
family={Crockford},
familyi={C\bibinitperiod},
given={T.L},
giveni={T\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Nature Publishing Group UK London}%
}
\strng{namehash}{c9fa262c9b555a42bf296c9d46548493}
\strng{fullhash}{fd5075b8482ce8214a604613e2505601}
\strng{bibnamehash}{c9fa262c9b555a42bf296c9d46548493}
\strng{authorbibnamehash}{c9fa262c9b555a42bf296c9d46548493}
\strng{authornamehash}{c9fa262c9b555a42bf296c9d46548493}
\strng{authorfullhash}{fd5075b8482ce8214a604613e2505601}
\field{extraname}{2}
\field{labelalpha}{Ben+24}
\field{sortinit}{B}
\field{sortinithash}{d7095fff47cda75ca2589920aae98399}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Nature}
\field{title}{Multiscale topology classifies cells in subcellular spatial transcriptomics}
\field{year}{2024}
\field{pages}{1\bibrangedash 7}
\range{pages}{7}
\endentry
\entry{bubenik2015statistical}{article}{}
\name{author}{1}{}{%
{{hash=02363be9fc32f129a21c712e66aed26e}{%
family={Bubenik},
familyi={B\bibinitperiod},
given={P.},
giveni={P\bibinitperiod}}}%
}
\strng{namehash}{02363be9fc32f129a21c712e66aed26e}
\strng{fullhash}{02363be9fc32f129a21c712e66aed26e}
\strng{bibnamehash}{02363be9fc32f129a21c712e66aed26e}
\strng{authorbibnamehash}{02363be9fc32f129a21c712e66aed26e}
\strng{authornamehash}{02363be9fc32f129a21c712e66aed26e}
\strng{authorfullhash}{02363be9fc32f129a21c712e66aed26e}
\field{extraname}{1}
\field{labelalpha}{Bub15}
\field{sortinit}{B}
\field{sortinithash}{d7095fff47cda75ca2589920aae98399}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{J. Mach. Learn. Res.}
\field{number}{1}
\field{title}{Statistical topological data analysis using persistence landscapes.}
\field{volume}{16}
\field{year}{2015}
\field{pages}{77\bibrangedash 102}
\range{pages}{26}
\endentry
\entry{Bubenik_2020_landscapes}{inbook}{}
\name{author}{1}{}{%
{{hash=02363be9fc32f129a21c712e66aed26e}{%
family={Bubenik},
familyi={B\bibinitperiod},
given={P.},
giveni={P\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Springer International Publishing}%
}
\strng{namehash}{02363be9fc32f129a21c712e66aed26e}
\strng{fullhash}{02363be9fc32f129a21c712e66aed26e}
\strng{bibnamehash}{02363be9fc32f129a21c712e66aed26e}
\strng{authorbibnamehash}{02363be9fc32f129a21c712e66aed26e}
\strng{authornamehash}{02363be9fc32f129a21c712e66aed26e}
\strng{authorfullhash}{02363be9fc32f129a21c712e66aed26e}
\field{extraname}{2}
\field{labelalpha}{Bub20}
\field{sortinit}{B}
\field{sortinithash}{d7095fff47cda75ca2589920aae98399}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{booktitle}{Topological Data Analysis}
\field{isbn}{9783030434083}
\field{title}{The Persistence Landscape and Some of Its Properties}
\field{year}{2020}
\field{pages}{97\bibrangedash 117}
\range{pages}{21}
\verb{doi}
\verb 10.1007/978-3-030-43408-3_4
\endverb
\endentry
\entry{bubenik2017persistence}{article}{}
\name{author}{2}{}{%
{{hash=02363be9fc32f129a21c712e66aed26e}{%
family={Bubenik},
familyi={B\bibinitperiod},
given={P.},
giveni={P\bibinitperiod}}}%
{{hash=17f82060caf0e518fadc4eb046afe6fb}{%
family={Dlotko},
familyi={D\bibinitperiod},
given={P.},
giveni={P\bibinitperiod}}}%
}
\strng{namehash}{c8b07ee5fcb4709fd532b10a87d0ee04}
\strng{fullhash}{c8b07ee5fcb4709fd532b10a87d0ee04}
\strng{bibnamehash}{c8b07ee5fcb4709fd532b10a87d0ee04}
\strng{authorbibnamehash}{c8b07ee5fcb4709fd532b10a87d0ee04}
\strng{authornamehash}{c8b07ee5fcb4709fd532b10a87d0ee04}
\strng{authorfullhash}{c8b07ee5fcb4709fd532b10a87d0ee04}
\field{labelalpha}{BD17}
\field{sortinit}{B}
\field{sortinithash}{d7095fff47cda75ca2589920aae98399}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Journal of Symbolic Computation}
\field{title}{A persistence landscapes toolbox for topological statistics}
\field{volume}{78}
\field{year}{2017}
\field{pages}{91\bibrangedash 114}
\range{pages}{24}
\verb{doi}
\verb 10.1016/j.jsc.2016.03.009
\endverb
\endentry
\entry{Bubenik_2020}{article}{}
\name{author}{4}{}{%
{{hash=02363be9fc32f129a21c712e66aed26e}{%
family={Bubenik},
familyi={B\bibinitperiod},
given={P.},
giveni={P\bibinitperiod}}}%
{{hash=92a037d813d95ab5315c574db441cef5}{%
family={Hull},
familyi={H\bibinitperiod},
given={M.},
giveni={M\bibinitperiod}}}%
{{hash=6ec89cc1b0c7a6f049720256a639a4b1}{%
family={Patel},
familyi={P\bibinitperiod},
given={D.},
giveni={D\bibinitperiod}}}%
{{hash=c8c2deef386ee29965ccb2b9f72a5240}{%
family={Whittle},
familyi={W\bibinitperiod},
given={B.},
giveni={B\bibinitperiod}}}%
}
\list{publisher}{1}{%
{IOP Publishing}%
}
\strng{namehash}{3eaef537fbcb92df23a608c9e4799e20}
\strng{fullhash}{ea95c5c0c7dba2a085f6bb4e3842d7dc}
\strng{bibnamehash}{ea95c5c0c7dba2a085f6bb4e3842d7dc}
\strng{authorbibnamehash}{ea95c5c0c7dba2a085f6bb4e3842d7dc}
\strng{authornamehash}{3eaef537fbcb92df23a608c9e4799e20}
\strng{authorfullhash}{ea95c5c0c7dba2a085f6bb4e3842d7dc}
\field{labelalpha}{Bub+20}
\field{sortinit}{B}
\field{sortinithash}{d7095fff47cda75ca2589920aae98399}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Inverse Problems}
\field{number}{2}
\field{title}{Persistent homology detects curvature}
\field{volume}{36}
\field{year}{2020}
\field{pages}{025008}
\range{pages}{1}
\verb{doi}
\verb 10.1088/1361-6420/ab4ac0
\endverb
\endentry
\entry{chen1954iterated}{article}{}
\name{author}{1}{}{%
{{hash=de48476499f89d41d3b58996b67e4128}{%
family={Chen},
familyi={C\bibinitperiod},
given={K.T.},
giveni={K\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Oxford University Press}%
}
\strng{namehash}{de48476499f89d41d3b58996b67e4128}
\strng{fullhash}{de48476499f89d41d3b58996b67e4128}
\strng{bibnamehash}{de48476499f89d41d3b58996b67e4128}
\strng{authorbibnamehash}{de48476499f89d41d3b58996b67e4128}
\strng{authornamehash}{de48476499f89d41d3b58996b67e4128}
\strng{authorfullhash}{de48476499f89d41d3b58996b67e4128}
\field{labelalpha}{Che54}
\field{sortinit}{C}
\field{sortinithash}{4d103a86280481745c9c897c925753c0}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Proceedings of the London Mathematical Society}
\field{number}{1}
\field{title}{Iterated integrals and exponential homomorphisms}
\field{volume}{3}
\field{year}{1954}
\field{pages}{502\bibrangedash 512}
\range{pages}{11}
\endentry
\entry{Chevyrev_2020}{article}{}
\name{author}{3}{}{%
{{hash=c2659c6ad1d94d1589f29181020fd369}{%
family={Chevyrev},
familyi={C\bibinitperiod},
given={I.},
giveni={I\bibinitperiod}}}%
{{hash=344b87237c645e94bcb61b7b81c45448}{%
family={Nanda},
familyi={N\bibinitperiod},
given={V.},
giveni={V\bibinitperiod}}}%
{{hash=251ecaa07124fc608176b1dae6b5318a}{%
family={Oberhauser},
familyi={O\bibinitperiod},
given={H.},
giveni={H\bibinitperiod}}}%
}
\list{publisher}{2}{%
{Institute of Electrical}%
{Electronics Engineers (IEEE)}%
}
\strng{namehash}{9745a4207ed135a19b993cfb593a5b7d}
\strng{fullhash}{9745a4207ed135a19b993cfb593a5b7d}
\strng{bibnamehash}{9745a4207ed135a19b993cfb593a5b7d}
\strng{authorbibnamehash}{9745a4207ed135a19b993cfb593a5b7d}
\strng{authornamehash}{9745a4207ed135a19b993cfb593a5b7d}
\strng{authorfullhash}{9745a4207ed135a19b993cfb593a5b7d}
\field{labelalpha}{CNO20}
\field{sortinit}{C}
\field{sortinithash}{4d103a86280481745c9c897c925753c0}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{IEEE Transactions on Pattern Analysis and Machine Intelligence}
\field{month}{1}
\field{number}{1}
\field{title}{Persistence Paths and Signature Features in Topological Data Analysis}
\field{volume}{42}
\field{year}{2020}
\field{pages}{192\bibrangedash 202}
\range{pages}{11}
\verb{doi}
\verb 10.1109/tpami.2018.2885516
\endverb
\endentry
\entry{cohen2007stability}{article}{}
\name{author}{3}{}{%
{{hash=43b412cf20444511c08b4fadc4eadf13}{%
family={Cohen-Steiner},
familyi={C\bibinithyphendelim S\bibinitperiod},
given={D.},
giveni={D\bibinitperiod}}}%
{{hash=26f13db8a1a81aaf51c17219b2c10928}{%
family={Edelsbrunner},
familyi={E\bibinitperiod},
given={H.},
giveni={H\bibinitperiod}}}%
{{hash=b1e689a1235c59bcd132b875c14f8a01}{%
family={Harer},
familyi={H\bibinitperiod},
given={J.},
giveni={J\bibinitperiod}}}%
}
\strng{namehash}{00ecaa94d3a17b34cfab50cbb208f2b5}
\strng{fullhash}{00ecaa94d3a17b34cfab50cbb208f2b5}
\strng{bibnamehash}{00ecaa94d3a17b34cfab50cbb208f2b5}
\strng{authorbibnamehash}{00ecaa94d3a17b34cfab50cbb208f2b5}
\strng{authornamehash}{00ecaa94d3a17b34cfab50cbb208f2b5}
\strng{authorfullhash}{00ecaa94d3a17b34cfab50cbb208f2b5}
\field{labelalpha}{CEH07}
\field{sortinit}{C}
\field{sortinithash}{4d103a86280481745c9c897c925753c0}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Discrete Comput. Geom.}
\field{number}{1}
\field{title}{Stability of persistence diagrams}
\field{volume}{37}
\field{year}{2007}
\field{pages}{103\bibrangedash 120}
\range{pages}{18}
\endentry
\entry{diehl2020iteratedsumsignature}{article}{}
\name{author}{3}{}{%
{{hash=fe5e7a2b085405a73309ed1d00b5bb3a}{%
family={Diehl},
familyi={D\bibinitperiod},
given={J.},
giveni={J\bibinitperiod}}}%
{{hash=8e562b56a7a5fc8d39ae328ff9c72177}{%
family={Ebrahimi-Fard},
familyi={E\bibinithyphendelim F\bibinitperiod},
given={K.},
giveni={K\bibinitperiod}}}%
{{hash=608b17ea8574fac1e2f08e2c66c07f66}{%
family={Tapia},
familyi={T\bibinitperiod},
given={N.},
giveni={N\bibinitperiod}}}%
}
\strng{namehash}{a7e188ac3fe2b003172966630d31556e}
\strng{fullhash}{a7e188ac3fe2b003172966630d31556e}
\strng{bibnamehash}{a7e188ac3fe2b003172966630d31556e}
\strng{authorbibnamehash}{a7e188ac3fe2b003172966630d31556e}
\strng{authornamehash}{a7e188ac3fe2b003172966630d31556e}
\strng{authorfullhash}{a7e188ac3fe2b003172966630d31556e}
\field{extraname}{1}
\field{labelalpha}{DET20}
\field{sortinit}{D}
\field{sortinithash}{6f385f66841fb5e82009dc833c761848}
\field{extraalpha}{1}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Sém. Lothar. Combin.}
\field{title}{Iterated-sums signature, quasi-symmetric functions and time series analysis}
\field{year}{2020}
\verb{doi}
\verb 10.34657/8424
\endverb
\endentry
\entry{diehl2020timewarping}{article}{}
\name{author}{3}{}{%
{{hash=fe5e7a2b085405a73309ed1d00b5bb3a}{%
family={Diehl},
familyi={D\bibinitperiod},
given={J.},
giveni={J\bibinitperiod}}}%
{{hash=8e562b56a7a5fc8d39ae328ff9c72177}{%
family={Ebrahimi-Fard},
familyi={E\bibinithyphendelim F\bibinitperiod},
given={K.},
giveni={K\bibinitperiod}}}%
{{hash=608b17ea8574fac1e2f08e2c66c07f66}{%
family={Tapia},
familyi={T\bibinitperiod},
given={N.},
giveni={N\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Springer}%
}
\strng{namehash}{a7e188ac3fe2b003172966630d31556e}
\strng{fullhash}{a7e188ac3fe2b003172966630d31556e}
\strng{bibnamehash}{a7e188ac3fe2b003172966630d31556e}
\strng{authorbibnamehash}{a7e188ac3fe2b003172966630d31556e}
\strng{authornamehash}{a7e188ac3fe2b003172966630d31556e}
\strng{authorfullhash}{a7e188ac3fe2b003172966630d31556e}
\field{extraname}{2}
\field{labelalpha}{DET20}
\field{sortinit}{D}
\field{sortinithash}{6f385f66841fb5e82009dc833c761848}
\field{extraalpha}{2}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Acta Applicandae Mathematicae}
\field{number}{1}
\field{title}{Time-warping invariants of multidimensional time series}
\field{volume}{170}
\field{year}{2020}
\field{pages}{265\bibrangedash 290}
\range{pages}{26}
\verb{doi}
\verb 10.1007/s10440-020-00333-x
\endverb
\endentry
\entry{diehl2022tropical}{article}{}
\name{author}{3}{}{%
{{hash=fe5e7a2b085405a73309ed1d00b5bb3a}{%
family={Diehl},
familyi={D\bibinitperiod},
given={J.},
giveni={J\bibinitperiod}}}%
{{hash=8e562b56a7a5fc8d39ae328ff9c72177}{%
family={Ebrahimi-Fard},
familyi={E\bibinithyphendelim F\bibinitperiod},
given={K.},
giveni={K\bibinitperiod}}}%
{{hash=608b17ea8574fac1e2f08e2c66c07f66}{%
family={Tapia},
familyi={T\bibinitperiod},
given={N.},
giveni={N\bibinitperiod}}}%
}
\strng{namehash}{a7e188ac3fe2b003172966630d31556e}
\strng{fullhash}{a7e188ac3fe2b003172966630d31556e}
\strng{bibnamehash}{a7e188ac3fe2b003172966630d31556e}
\strng{authorbibnamehash}{a7e188ac3fe2b003172966630d31556e}
\strng{authornamehash}{a7e188ac3fe2b003172966630d31556e}
\strng{authorfullhash}{a7e188ac3fe2b003172966630d31556e}
\field{extraname}{3}
\field{labelalpha}{DET22}
\field{sortinit}{D}
\field{sortinithash}{6f385f66841fb5e82009dc833c761848}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{SIAM Journal on Applied Algebra and Geometry}
\field{number}{4}
\field{title}{Tropical Time Series, Iterated-Sums Signatures, and Quasisymmetric Functions}
\field{volume}{6}
\field{year}{2022}
\field{pages}{563\bibrangedash 599}
\range{pages}{37}
\verb{doi}
\verb 10.1137/20M1380041
\endverb
\endentry
\entry{diehl2024fruits}{article}{}
\name{author}{2}{}{%
{{hash=fe5e7a2b085405a73309ed1d00b5bb3a}{%
family={Diehl},
familyi={D\bibinitperiod},
given={J.},
giveni={J\bibinitperiod}}}%
{{hash=f44a44372a15df8355486a5d7c287d15}{%
family={Krieg},
familyi={K\bibinitperiod},
given={R.},
giveni={R\bibinitperiod}}}%
}
\strng{namehash}{7fb212f6087ad9e9b30c894b26298a2a}
\strng{fullhash}{7fb212f6087ad9e9b30c894b26298a2a}
\strng{bibnamehash}{7fb212f6087ad9e9b30c894b26298a2a}
\strng{authorbibnamehash}{7fb212f6087ad9e9b30c894b26298a2a}
\strng{authornamehash}{7fb212f6087ad9e9b30c894b26298a2a}
\strng{authorfullhash}{7fb212f6087ad9e9b30c894b26298a2a}
\field{labelalpha}{DK24}
\field{sortinit}{D}
\field{sortinithash}{6f385f66841fb5e82009dc833c761848}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Data Min Knowl Disc}
\field{title}{FRUITS: feature extraction using iterated sums for time series classification}
\field{volume}{38}
\field{year}{2024}
\field{pages}{4122\bibrangedash 4156}
\range{pages}{35}
\verb{doi}
\verb 10.1007/s10618-024-01068-1
\endverb
\endentry
\entry{siegal2024rectifiable}{article}{}
\name{author}{3}{}{%
{{hash=450efa620cc09e9ee543dc7b76cde226}{%
family={Friz},
familyi={F\bibinitperiod},
given={P.},
giveni={P\bibinitperiod}}}%
{{hash=7b8449c3e24d235550a751eb22f8a0ea}{%
family={Lyons},
familyi={L\bibinitperiod},
given={T.},
giveni={T\bibinitperiod}}}%
{{hash=40b678b0eb6b5d1020f7788817ea21b0}{%
family={Seigal},
familyi={S\bibinitperiod},
given={A.},
giveni={A\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Wiley Online Library}%
}
\strng{namehash}{32956fda124728c45def3c198fd5f22e}
\strng{fullhash}{32956fda124728c45def3c198fd5f22e}
\strng{bibnamehash}{32956fda124728c45def3c198fd5f22e}
\strng{authorbibnamehash}{32956fda124728c45def3c198fd5f22e}
\strng{authornamehash}{32956fda124728c45def3c198fd5f22e}
\strng{authorfullhash}{32956fda124728c45def3c198fd5f22e}
\field{labelalpha}{FLS24}
\field{sortinit}{F}
\field{sortinithash}{2638baaa20439f1b5a8f80c6c08a13b4}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Bulletin of the London Mathematical Society}
\field{number}{9}
\field{title}{Rectifiable paths with polynomial log-signature are straight lines}
\field{volume}{56}
\field{year}{2024}
\field{pages}{2922\bibrangedash 2934}
\range{pages}{13}
\endentry
\entry{galuppi2024ranksymmetriessignaturetensors}{misc}{}
\name{author}{2}{}{%
{{hash=e574b59cda613c32db7060f687742c10}{%
family={Galuppi},
familyi={G\bibinitperiod},
given={F.},
giveni={F\bibinitperiod}}}%
{{hash=62a6680f63338f351197affa6327c5af}{%
family={Santarsiero},
familyi={S\bibinitperiod},
given={P.},
giveni={P\bibinitperiod}}}%
}
\strng{namehash}{7ec670b4ca77d2e3defeb479bf1754c5}
\strng{fullhash}{7ec670b4ca77d2e3defeb479bf1754c5}
\strng{bibnamehash}{7ec670b4ca77d2e3defeb479bf1754c5}
\strng{authorbibnamehash}{7ec670b4ca77d2e3defeb479bf1754c5}
\strng{authornamehash}{7ec670b4ca77d2e3defeb479bf1754c5}
\strng{authorfullhash}{7ec670b4ca77d2e3defeb479bf1754c5}
\field{labelalpha}{GS24}
\field{sortinit}{G}
\field{sortinithash}{32d67eca0634bf53703493fb1090a2e8}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{eprintclass}{math.AG}
\field{eprinttype}{arXiv}
\field{title}{Rank and symmetries of signature tensors}
\field{year}{2024}
\verb{eprint}
\verb 2407.20405
\endverb
\endentry
\entry{gardner2022toroidal}{article}{}
\name{author}{8}{}{%
{{hash=de8e3119be399b03e2327814fb23dad7}{%
family={Gardner},
familyi={G\bibinitperiod},
given={R.J},
giveni={R\bibinitperiod}}}%
{{hash=6d7c67b1b622c5c6e3753c5434f85db1}{%
family={Hermansen},
familyi={H\bibinitperiod},
given={E.},
giveni={E\bibinitperiod}}}%
{{hash=c6dc3de0e6740fa7f743e3a94156e1b7}{%
family={Pachitariu},
familyi={P\bibinitperiod},
given={M.},
giveni={M\bibinitperiod}}}%
{{hash=8d1d730070560e1d509b5df7ab7e32a1}{%
family={Burak},
familyi={B\bibinitperiod},
given={Y.},
giveni={Y\bibinitperiod}}}%
{{hash=8a7247df3a576a8dfe015ab6e6da5ed7}{%
family={Baas},
familyi={B\bibinitperiod},
given={N.\bibnamedelimi A},
giveni={N\bibinitperiod\bibinitdelim A\bibinitperiod}}}%
{{hash=6e709b11247e844761da21aac0848136}{%
family={Dunn},
familyi={D\bibinitperiod},
given={B.A},
giveni={B\bibinitperiod}}}%
{{hash=a00b380f430d29744433e9adc96f5045}{%
family={Moser},
familyi={M\bibinitperiod},
given={M-B.},
giveni={M\bibinithyphendelim B\bibinitperiod}}}%
{{hash=c932a1ac65bceab2ce0f31b4a313d9b3}{%
family={Moser},
familyi={M\bibinitperiod},
given={E.I},
giveni={E\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Nature Publishing Group UK London}%
}
\strng{namehash}{ebac383e42a6b06a1d0c1be705912edc}
\strng{fullhash}{187259ff47ff38bc193dfe9611b9549e}
\strng{bibnamehash}{187259ff47ff38bc193dfe9611b9549e}
\strng{authorbibnamehash}{187259ff47ff38bc193dfe9611b9549e}
\strng{authornamehash}{ebac383e42a6b06a1d0c1be705912edc}
\strng{authorfullhash}{187259ff47ff38bc193dfe9611b9549e}
\field{labelalpha}{Gar+22}
\field{sortinit}{G}
\field{sortinithash}{32d67eca0634bf53703493fb1090a2e8}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Nature}
\field{number}{7895}
\field{title}{Toroidal topology of population activity in grid cells}
\field{volume}{602}
\field{year}{2022}
\field{pages}{123\bibrangedash 128}
\range{pages}{6}
\endentry
\entry{giusti2025topological}{article}{}
\name{author}{4}{}{%
{{hash=28b27273d26b5536431bdc245c93f884}{%
family={Giusti},
familyi={G\bibinitperiod},
given={C.},
giveni={C\bibinitperiod}}}%
{{hash=98056d9ddecda0076a31a183e3e69326}{%
family={Lee},
familyi={L\bibinitperiod},
given={D.},
giveni={D\bibinitperiod}}}%
{{hash=344b87237c645e94bcb61b7b81c45448}{%
family={Nanda},
familyi={N\bibinitperiod},
given={V.},
giveni={V\bibinitperiod}}}%
{{hash=251ecaa07124fc608176b1dae6b5318a}{%
family={Oberhauser},
familyi={O\bibinitperiod},
given={H.},
giveni={H\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Elsevier}%
}
\strng{namehash}{7bd027c193666b80e1dddc80793e4ff1}
\strng{fullhash}{24bb3dc57f9c5ed4c6bdcaa89962e214}
\strng{bibnamehash}{24bb3dc57f9c5ed4c6bdcaa89962e214}
\strng{authorbibnamehash}{24bb3dc57f9c5ed4c6bdcaa89962e214}
\strng{authornamehash}{7bd027c193666b80e1dddc80793e4ff1}
\strng{authorfullhash}{24bb3dc57f9c5ed4c6bdcaa89962e214}
\field{labelalpha}{Giu+25}
\field{sortinit}{G}
\field{sortinithash}{32d67eca0634bf53703493fb1090a2e8}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Advances in Applied Mathematics}
\field{title}{A topological approach to mapping space signatures}
\field{volume}{163}
\field{year}{2025}
\field{pages}{102787}
\range{pages}{1}
\endentry
\entry{Hambly_2010}{article}{}
\name{author}{2}{}{%
{{hash=49bf8fc56854bf0c0902b1d7af12f355}{%
family={Hambly},
familyi={H\bibinitperiod},
given={B.},
giveni={B\bibinitperiod}}}%
{{hash=7b8449c3e24d235550a751eb22f8a0ea}{%
family={Lyons},
familyi={L\bibinitperiod},
given={T.},
giveni={T\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Annals of Mathematics}%
}
\strng{namehash}{29e410c2d83b8af85c6cfa0480db4481}
\strng{fullhash}{29e410c2d83b8af85c6cfa0480db4481}
\strng{bibnamehash}{29e410c2d83b8af85c6cfa0480db4481}
\strng{authorbibnamehash}{29e410c2d83b8af85c6cfa0480db4481}
\strng{authornamehash}{29e410c2d83b8af85c6cfa0480db4481}
\strng{authorfullhash}{29e410c2d83b8af85c6cfa0480db4481}
\field{labelalpha}{HL10}
\field{sortinit}{H}
\field{sortinithash}{23a3aa7c24e56cfa16945d55545109b5}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Annals of Mathematics}
\field{month}{3}
\field{number}{1}
\field{title}{Uniqueness for the signature of a path of bounded variation and the reduced path group}
\field{volume}{171}
\field{year}{2010}
\field{pages}{109\bibrangedash 167}
\range{pages}{59}
\verb{doi}
\verb 10.4007/annals.2010.171.109
\endverb
\endentry
\entry{kiraly_kernels_2016}{misc}{}
\name{author}{2}{}{%
{{hash=69269883dbf34d69d29831b2ed492000}{%
family={Király},
familyi={K\bibinitperiod},
given={F.J.},
giveni={F\bibinitperiod}}}%
{{hash=251ecaa07124fc608176b1dae6b5318a}{%
family={Oberhauser},
familyi={O\bibinitperiod},
given={H.},
giveni={H\bibinitperiod}}}%
}
\list{publisher}{1}{%
{arXiv}%
}
\strng{namehash}{137f5140e853e2cb79957dc143507e5b}
\strng{fullhash}{137f5140e853e2cb79957dc143507e5b}
\strng{bibnamehash}{137f5140e853e2cb79957dc143507e5b}
\strng{authorbibnamehash}{137f5140e853e2cb79957dc143507e5b}
\strng{authornamehash}{137f5140e853e2cb79957dc143507e5b}
\strng{authorfullhash}{137f5140e853e2cb79957dc143507e5b}
\field{labelalpha}{KO16}
\field{sortinit}{K}
\field{sortinithash}{c02bf6bff1c488450c352b40f5d853ab}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{abstract}{We present a novel framework for kernel learning with sequential data of any kind, such as time series, sequences of graphs, or strings. Our approach is based on signature features which can be seen as an ordered variant of sample (cross-)moments; it allows to obtain a "sequentialized" version of any static kernel. The sequential kernels are efficiently computable for discrete sequences and are shown to approximate a continuous moment form in a sampling sense. A number of known kernels for sequences arise as "sequentializations" of suitable static kernels: string kernels may be obtained as a special case, and alignment kernels are closely related up to a modification that resolves their open non-definiteness issue. Our experiments indicate that our signature-based sequential kernel framework may be a promising approach to learning with sequential data, such as time series, that allows to avoid extensive manual pre-processing.}
\field{month}{1}
\field{note}{arXiv:1601.08169 [stat]}
\field{title}{Kernels for sequentially ordered data}
\field{urlday}{26}
\field{urlmonth}{5}
\field{urlyear}{2025}
\field{year}{2016}
\field{urldateera}{ce}
\verb{doi}
\verb 10.48550/arXiv.1601.08169
\endverb
\verb{file}
\verb Preprint PDF:C\:\\Users\\tolos\\Zotero\\storage\\S5LWZC3M\\Király and Oberhauser - 2016 - Kernels for sequentially ordered data.pdf:application/pdf;Snapshot:C\:\\Users\\tolos\\Zotero\\storage\\KJCJGZ4C\\1601.html:text/html
\endverb
\verb{urlraw}
\verb http://arxiv.org/abs/1601.08169
\endverb
\verb{url}
\verb http://arxiv.org/abs/1601.08169
\endverb
\keyw{Statistics - Machine Learning,Computer Science - Machine Learning,Mathematics - Statistics Theory,Statistics - Methodology,Statistics - Statistics Theory,Computer Science - Discrete Mathematics}
\endentry
\entry{lee_signature_2023}{misc}{}
\name{author}{2}{}{%
{{hash=98056d9ddecda0076a31a183e3e69326}{%
family={Lee},
familyi={L\bibinitperiod},
given={D.},
giveni={D\bibinitperiod}}}%
{{hash=251ecaa07124fc608176b1dae6b5318a}{%
family={Oberhauser},
familyi={O\bibinitperiod},
given={H.},
giveni={H\bibinitperiod}}}%
}
\list{publisher}{1}{%
{arXiv}%
}
\strng{namehash}{d76b99c23c02dda7a960474afd7beb08}
\strng{fullhash}{d76b99c23c02dda7a960474afd7beb08}
\strng{bibnamehash}{d76b99c23c02dda7a960474afd7beb08}
\strng{authorbibnamehash}{d76b99c23c02dda7a960474afd7beb08}
\strng{authornamehash}{d76b99c23c02dda7a960474afd7beb08}
\strng{authorfullhash}{d76b99c23c02dda7a960474afd7beb08}
\field{labelalpha}{LO23}
\field{sortinit}{L}
\field{sortinithash}{7c47d417cecb1f4bd38d1825c427a61a}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{abstract}{The signature kernel is a positive definite kernel for sequential data. It inherits theoretical guarantees from stochastic analysis, has efficient algorithms for computation, and shows strong empirical performance. In this short survey paper for a forthcoming Springer handbook, we give an elementary introduction to the signature kernel and highlight these theoretical and computational properties.}
\field{annotation}{Comment: 31 pages, 2 figures}
\field{month}{5}
\field{note}{arXiv:2305.04625 [math]}
\field{title}{The {Signature} {Kernel}}
\field{urlday}{26}
\field{urlmonth}{5}
\field{urlyear}{2025}
\field{year}{2023}
\field{urldateera}{ce}
\verb{doi}
\verb 10.48550/arXiv.2305.04625
\endverb
\verb{file}
\verb Preprint PDF:C\:\\Users\\tolos\\Zotero\\storage\\NPJDLQWR\\Lee and Oberhauser - 2023 - The Signature Kernel.pdf:application/pdf;Snapshot:C\:\\Users\\tolos\\Zotero\\storage\\ZPZ27WRY\\2305.html:text/html
\endverb
\verb{urlraw}
\verb http://arxiv.org/abs/2305.04625
\endverb
\verb{url}
\verb http://arxiv.org/abs/2305.04625
\endverb
\keyw{Statistics - Machine Learning,Computer Science - Machine Learning,Mathematics - Probability}
\endentry
\entry{lee2017quantifying}{article}{}
\name{author}{6}{}{%
{{hash=1d50c5d908fe9ead398d6448f784be74}{%
family={Lee},
familyi={L\bibinitperiod},
given={Y.},
giveni={Y\bibinitperiod}}}%
{{hash=019844ac1b3af4bf3467785db77cf633}{%
family={Barthel},
familyi={B\bibinitperiod},
given={S.D},
giveni={S\bibinitperiod}}}%
{{hash=7732b77656f8bf0912b82cde786f243c}{%
family={D{ł}otko},
familyi={D\bibinitperiod},
given={P.},
giveni={P\bibinitperiod}}}%
{{hash=1e9f9d5a2167628ff37c4806d92986d0}{%
family={Moosavi},
familyi={M\bibinitperiod},
given={S.M.},
giveni={S\bibinitperiod}}}%
{{hash=c92a5f548493867b8e28c488c480e6c0}{%
family={Hess},
familyi={H\bibinitperiod},
given={K.},
giveni={K\bibinitperiod}}}%
{{hash=b0b78a99edd52ea789f5872a5b4bb576}{%
family={Smit},
familyi={S\bibinitperiod},
given={B.},
giveni={B\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Nature Publishing Group}%
}
\strng{namehash}{b6c9eda55130ade2984346048cb7a8a3}
\strng{fullhash}{50705d0666d3d252bea76649126e1794}
\strng{bibnamehash}{50705d0666d3d252bea76649126e1794}
\strng{authorbibnamehash}{50705d0666d3d252bea76649126e1794}
\strng{authornamehash}{b6c9eda55130ade2984346048cb7a8a3}
\strng{authorfullhash}{50705d0666d3d252bea76649126e1794}
\field{labelalpha}{Lee+17}
\field{sortinit}{L}
\field{sortinithash}{7c47d417cecb1f4bd38d1825c427a61a}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Nature communications}
\field{number}{1}
\field{title}{Quantifying similarity of pore-geometry in nanoporous materials}
\field{volume}{8}
\field{year}{2017}
\field{pages}{1\bibrangedash 8}
\range{pages}{8}
\endentry
\entry{lyons2025signaturemethodsmachinelearning}{misc}{}
\name{author}{2}{}{%
{{hash=7b8449c3e24d235550a751eb22f8a0ea}{%
family={Lyons},
familyi={L\bibinitperiod},
given={T.},
giveni={T\bibinitperiod}}}%
{{hash=4be31a172720bc8ed7a8ecede29c704b}{%
family={McLeod},
familyi={M\bibinitperiod},
given={A.D},
giveni={A\bibinitperiod}}}%
}
\strng{namehash}{119f88a502b99f128b9b1aa9fc31281f}
\strng{fullhash}{119f88a502b99f128b9b1aa9fc31281f}
\strng{bibnamehash}{119f88a502b99f128b9b1aa9fc31281f}
\strng{authorbibnamehash}{119f88a502b99f128b9b1aa9fc31281f}
\strng{authornamehash}{119f88a502b99f128b9b1aa9fc31281f}
\strng{authorfullhash}{119f88a502b99f128b9b1aa9fc31281f}
\field{labelalpha}{LM25}
\field{sortinit}{L}
\field{sortinithash}{7c47d417cecb1f4bd38d1825c427a61a}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{eprintclass}{stat.ML}
\field{eprinttype}{arXiv}
\field{title}{Signature Methods in Machine Learning}
\field{year}{2025}
\verb{eprint}
\verb 2206.14674
\endverb
\verb{urlraw}
\verb https://arxiv.org/abs/2206.14674
\endverb
\verb{url}
\verb https://arxiv.org/abs/2206.14674
\endverb
\endentry
\entry{miller2015fruit}{article}{}
\name{author}{1}{}{%
{{hash=812e858469002fc6e85e5b4be41e6960}{%
family={Miller},
familyi={M\bibinitperiod},
given={E.},
giveni={E\bibinitperiod}}}%
}
\strng{namehash}{812e858469002fc6e85e5b4be41e6960}
\strng{fullhash}{812e858469002fc6e85e5b4be41e6960}
\strng{bibnamehash}{812e858469002fc6e85e5b4be41e6960}
\strng{authorbibnamehash}{812e858469002fc6e85e5b4be41e6960}
\strng{authornamehash}{812e858469002fc6e85e5b4be41e6960}
\strng{authorfullhash}{812e858469002fc6e85e5b4be41e6960}
\field{labelalpha}{Mil15}
\field{sortinit}{M}
\field{sortinithash}{4625c616857f13d17ce56f7d4f97d451}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{Notices of the AMS}
\field{number}{10}
\field{title}{Fruit flies and moduli: interactions between biology and mathematics}
\field{volume}{62}
\field{year}{2015}
\field{pages}{1178\bibrangedash 1184}
\range{pages}{7}
\endentry
\entry{Otter2017Roadmap}{article}{}
\name{author}{5}{}{%
{{hash=a52ace4d2d0db8f288358a4da2e4f774}{%
family={Otter},
familyi={O\bibinitperiod},
given={N.},
giveni={N\bibinitperiod}}}%
{{hash=1cee10c2b32270a0d1d05cbd52f8cc9d}{%
family={Porter},
familyi={P\bibinitperiod},
given={M.A.},
giveni={M\bibinitperiod}}}%
{{hash=ea68bc3e3c2e57232d1f128c5d10a494}{%
family={Tillmann},
familyi={T\bibinitperiod},
given={U.},
giveni={U\bibinitperiod}}}%
{{hash=96205eff5d6b34ced83a4e9a6cd85d20}{%
family={Grindrod},
familyi={G\bibinitperiod},
given={P.},
giveni={P\bibinitperiod}}}%
{{hash=e1c7f8a2471897f53f136a0f294d374c}{%
family={Harrington},
familyi={H\bibinitperiod},
given={H.A.},
giveni={H\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Springer}%
}
\strng{namehash}{28d9c48c7ed87a28f804099556167b29}
\strng{fullhash}{f55b14da14c6b2cd7acb4d9520014fe2}
\strng{bibnamehash}{f55b14da14c6b2cd7acb4d9520014fe2}
\strng{authorbibnamehash}{f55b14da14c6b2cd7acb4d9520014fe2}
\strng{authornamehash}{28d9c48c7ed87a28f804099556167b29}
\strng{authorfullhash}{f55b14da14c6b2cd7acb4d9520014fe2}
\field{labelalpha}{Ott+17}
\field{sortinit}{O}
\field{sortinithash}{2cd7140a07aea5341f9e2771efe90aae}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{EPJ Data Science}
\field{number}{1}
\field{title}{A roadmap for the computation of persistent homology}
\field{volume}{6}
\field{year}{2017}
\field{pages}{17}
\range{pages}{1}
\verb{doi}
\verb 10.1140/epjds/s13688-017-0109-5
\endverb
\verb{urlraw}
\verb https://doi.org/10.1140/epjds/s13688-017-0109-5
\endverb
\verb{url}
\verb https://doi.org/10.1140/epjds/s13688-017-0109-5
\endverb
\endentry
\entry{rabadan2019topological}{book}{}
\name{author}{2}{}{%
{{hash=7b3c19e4fbf6a24e909f0939242327bb}{%
family={Rabadán},
familyi={R\bibinitperiod},
given={R.},
giveni={R\bibinitperiod}}}%
{{hash=5674acb0c315518305060a93c14d9bd7}{%
family={Blumberg},
familyi={B\bibinitperiod},
given={A.J},
giveni={A\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Cambridge University Press}%
}
\strng{namehash}{662676d00509c31bea72e22ccfaf8b0a}
\strng{fullhash}{662676d00509c31bea72e22ccfaf8b0a}
\strng{bibnamehash}{662676d00509c31bea72e22ccfaf8b0a}
\strng{authorbibnamehash}{662676d00509c31bea72e22ccfaf8b0a}
\strng{authornamehash}{662676d00509c31bea72e22ccfaf8b0a}
\strng{authorfullhash}{662676d00509c31bea72e22ccfaf8b0a}
\field{labelalpha}{RB19}
\field{sortinit}{R}
\field{sortinithash}{5e1c39a9d46ffb6bebd8f801023a9486}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{title}{Topological data analysis for genomics and evolution: topology in biology}
\field{year}{2019}
\endentry
\enddatalist
\endrefsection
\endinput