---
title: Third-Order Signature Tensors
url: https://www.emergentmind.com/topics/third-order-signature-tensors
type: topic
---

# Third-Order Signature Tensors

A third-order signature tensor is a three-way array arising from the iterated integrals of paths in $\mathbb{R}^d$. These tensors encode the noncommutative geometric content of a path and serve as algebraic invariants for path reconstruction, stochastic analysis, and event shape identification. In various domains, third-order signature tensors play a central role in inverse problems, algebraic geometry, representation theory, and high-energy physics.

## 1. Definition and Fundamental Properties

Let $X: [0,1] \to \mathbb{R}^d$ be a path of bounded variation. The third-order signature tensor (denoted $S^{(3)}(X)$ or $\sigma^{(3)}(X)$) is defined by
\[
S_{ijk}^{(3)}(X) = \int_{0 \le t_1 \le t_2 \le t_3 \le 1} dX_i(t_1)\,dX_j(t_2)\,dX_k(t_3)
\]
for indices $1\le i,j,k\le d$. This order-3 tensor is multilinear in the increments of $X$ and summarizes all third-degree iterated integrals of the path. For $C^1$ paths, it can alternatively be written via nested integrals of the velocity:
\[
S_{ijk}^{(3)}(X) = \int_0^1\int_0^{t_3}\int_0^{t_2} \dot X_i(t_1)\,\dot X_j(t_2)\,\dot X_k(t_3)\,dt_1\,dt_2\,dt_3
\]
These tensors obey shuffle relations (quadratic identities) and possess a congruence equivariance under linear transformations: if $A\in GL_d$, then the action $X \mapsto A X$ induces
\[
\sigma^{(3)}(A X) = (A,A,A)\cdot \sigma^{(3)}(X)
\]
where the tensor product is mapped by the modewise action of $A$ on each slot [2512.14218][1809.01588].

## 2. Algebraic and Representation-Theoretic Structure

The space $(\mathbb{R}^d)^{\otimes 3}$ admits a natural decomposition into irreducible $GL(d)$-modules, often termed "Thrall modules":
\[
V^{\otimes 3} \cong W_{(1,1,1)} \oplus W_{(2,1)} \oplus W_{(3)}
\]
with the correspondences:
- $W_{(1,1,1)}$: the fully symmetric part ($v\otimes v\otimes v$),
- $W_{(2,1)}$: mixed symmetry (Lie commutators and symmetrized products),
- $W_{(3)}$: the free-Lie (alternating) component [2308.11571].

The explicit decomposition of the third signature tensor for a general $X$ in terms of the final increment $v$, a skew-symmetric matrix $A$, and the free-Lie component $L$, is given by
\[
S^{(3)}(X) = \frac{1}{6}v\otimes v\otimes v + \frac{1}{2}(A\otimes v + v \otimes A) + L
\]
This decomposition governs the algebraic appearance of symmetry and the possibility for certain invariants (such as the alternating volume form for $d=3$) [2308.11571][2407.20405].

Symmetry restrictions on $S^{(3)}$ are strict: there are no nonzero third-order signature tensors with full skew-symmetry, and the only nontrivial partial symmetry involves either swapping the first two or last two indices. Full symmetry characterizes signatures of straight-line paths [2407.20405].

## 3. Rank, Conciseness, and Algebraic Varieties

For paths made up of $m$ straight segments, the sharp upper bound on the rank is
\[
\operatorname{rank}(S^{(3)}(X)) \le 2m - 2
\]
and this is attained for generic choices of $m$ increments in $\mathbb{R}^d$ [2407.20405].

Signature tensors are non-concise (i.e., contained in $W^{\otimes 3}$ for a proper subspace $W$) if and only if the underlying path is confined to a hyperplane parallel to $W$. Thus, the non-conciseness is a direct geometric witness of path degeneracy [2407.20405].

The set of all third-order signature tensors of $m$-segment piecewise-linear paths in $\mathbb{R}^d$ forms an algebraic variety, denoted $\mathcal{L}_{d,3,m}$, whose dimension, degree, and defining equations (quadratics arising from shuffle identities and minors) are explicit for small $(d,m)$. The universal variety $\mathcal{U}_{d,3}$ comprises all third-order signatures for generic paths [1804.08325].

## 4. Inverse Problems and Identifiability

Given a third-order signature tensor $G$ (typically observed), the inverse problem is to recover the underlying path, up to tree-like equivalence or congruence class. For piecewise-linear paths with $d$ segments, this reduces to the problem: given $G = A * C$ for a known "core" tensor $C$ (e.g., axis path), find $A\in GL_d$. The system $G_{ijk} = \sum_{\alpha,\beta,\gamma} C_{\alpha\beta\gamma}A_{i\alpha}A_{j\beta}A_{k\gamma}$ is cubic in $A$ with $d^3$ equations in $d^2$ unknowns. Identifiability is generically guaranteed: for axis-path cores, the stabilizer is trivial and $A$ is uniquely recoverable [1809.01588][2512.14218].

Polynomial-path cores retain finite stabilizers up to moderate $m$; highly generic cores are also uniquely identifiable [1809.01588].

## 5. Computational Algorithms for Tensor Learning

Prior to 2025, recovery used polynomial system solving (often Gröbner-basis methods), which scale doubly-exponentially in $d$ and are infeasible for $d>6$ [2512.14218]. Recent advances provide symbolic, exact, non-iterative $O(d^4)$ algorithms based on multilinear algebra and congruence orbits. The main steps are:
- Modewise Gaussian-type updates (upper, lower, diagonal) to achieve canonical forms slice-by-slice,
- Exploiting stabilizer and orbit characterization to reduce dimensionality at each step,
- Randomized coordinate changes to sidestep degeneracy.

Empirical data shows that this approach solves generic instances up to $d=50$ in under a minute, while Gröbner-basis solvers fail at $d=7$. Implementations in OSCAR (Julia-based CAS) leverage efficient mode-multiplication and sparse linear algebra [2512.14218].

Optimization-based frameworks are also available: minimizing $\|S(X) - S_\text{obs}\|_F^2$ over $X$ via BFGS and trust-region Newton methods allows for robust handling of noise and the shortest-path constraints in overparameterized settings [1809.01588].

## 6. Applications and Physical Signatures

In particle physics, an analogous third-order normalized momentum tensor, constructed from event distributions in jet analyses, enables efficient signatures for three-jet topologies. Here, quadratic contractions of the rank-3 momentum tensor produce invariants whose eigenvalues, together with those from the rank-2 tensor, yield discriminants for event shape and jet counting. These methods are robust at high energy and do not require explicit jet clustering assignments [1102.4053].

In stochastic analysis, expected third-order signature tensors for Brownian motion encode high-order noncommutative moments, refining classical moment varieties. For mixtures of paths, these invariants populate secant varieties of the signature variety and are accessible through shuffle algebra [1804.08325].

## 7. Open Directions and Further Developments

Open questions remain for higher-level signatures (order $k>3$), paths with more segments than ambient dimension, and efficient inversion algorithms for streaming or approximate (noisy) data. Representation-theoretic understanding continues to reveal structural constraints on symmetries and rank, with direct computational implications for identifiability and complexity. Another promising direction is the extension of these algebraic geometric recipes to statistical learning, optimal transport, and noncommutative mixture models [2512.14218][1804.08325].

Source: https://www.emergentmind.com/topics/third-order-signature-tensors