Abstract
We compute the Wiener chaos decomposition of the signature for a class of Gaussian processes, which contains fractional Brownian motion (fBm) with Hurst parameter \(H \in (1/4,1)\). At level 0, our result yields an expression for the expected signature of such processes, which determines their law (Chevyrev and Lyons in Ann Probab 44(6):4049–4082, 2016). In particular, this formula simultaneously extends both the one for \(1/2 < H\)-fBm (Baudoin and Coutin in Stochast Process Appl 117(5):550–574, 2007) and the one for Brownian motion (\(H = 1/2\)) (Fawcett 2003), to the general case \(H > 1/4\), thereby resolving an established open problem. Other processes studied include continuous and centred Gaussian semimartingales.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The signature of a path \(X :[0,T] \rightarrow {\mathbb {R}}^d\),
is a series of tensors which, up to “retracings”, determines the image of X [6, 22]. The probabilistic counterpart to this result states that, in many cases of interest, the law of a stochastic process is determined by its expected signature [13], which is therefore seen to play a role for processes analogous to that of moments for random variables.
The best-known example of an explicit formula for the expected signature of a stochastic process occurs in the case of Brownian motion: calling \(\{e_1,\ldots ,e_d\}\) the canonical basis of \({\mathbb {R}}^d\), we have
This identity was first shown by [16, 31], and later proved in a variety of different ways [2, 20]. The expected signature of Brownian motion has also been studied in the case in which the process is stopped upon hitting the boundary of a domain [5, 27, 29].
In [3] the authors derive an integral expression for the expected signature of fractional Brownian motion (fBm) with Hurst parameter \(H \in (1/2,1)\). This result was extended in [4, 7] to a more general class of Gaussian Volterra processes with sample paths that are more regular than Brownian motion, with the formula for the expected signature written in terms of the Volterra kernel. The method used involves a piecewise-linear interpolation of the paths of the process X, which reduces the calculation to that of a sum of mixed Gaussian moments, to which Wick’s theorem applies, followed by a convergence argument. The expression in [3] does not, however, yield the correct prediction for the case of Brownian motion \(H = 1/2\). When \(H < 1/2\) it involves integrals that do not converge at all, and new ideas are needed to obtain a formula. On a technical level, the reason for these differences can be seen by considering the expression for the expected signature of a scalar \(1/2 < H\)-fBm X at level 2: calling \(R(s,t) {:}{=}{\mathbb {E}}[X_sX_t]\) the covariance function of X, the formula states that
Integrating either of the two variables generates an evaluation \((v-u)^{2H-1}|_{u = v}\), which is only finite when \(H > 1/2\) and indeterminate when \(H = 1/2\). In fact, approximating X with a sequence of piecewise linear processes \((X^\ell )_{\ell \in {\mathbb {N}}}\) one obtains a sequence of integrals (actually finite sums) \(\int _{s< u< v < t} {\mathbb {E}}[\dot{X}_u^\ell \dot{X}^\ell _v] \text {d}u \text {d}v\) which converges to the above double integral when \(H > 1/2\), to \((t-s)/2\) when \(H = 1/2\) (as predicted by (2)), and continues to converge to \((t-s)^{2H}/2\) for \(1/4 < H \le 1/2\). When \(H \le 1/4\) the iterated integrals (in particular the Lévy area) of smooth approximations of X do not converge in mean square, and other techniques (e.g. [36]) must be relied upon to define a rough path, and hence a signature. These rough paths present a number of differences with the canonical one defined for \(H > 1/4\), and are therefore not considered in this paper.
Here we compare the two behaviours, corresponding to \(H >1/2\) and \(H<1/2\), of \(\int _{0< u< v < 1} {\mathbb {E}}[\dot{X}_u^\ell \dot{X}^\ell _v] \text {d}u \text {d}v\) with \(X^\ell \) the sequence piecewise linear interpolations of X on a partition. On the left we have chosen \(H = 2/3\), and the sequence of integrals converges to a finite improper integral, whereas on the right \(H = 1/3\) and the on- and off-diagonal contributions diverge to opposite infinities. (The plots are oriented in different ways and the z-axis is rescaled, both for improved visibility.) This graphic has been created using Wolfram Mathematica
What is needed to obtain a formula for the expected signature that also works in the case of negatively-correlated increments \(1/4< H < 1/2\) is a way of expressing the indeterminacy “\(\infty - \infty \)” explained in Fig. 1. The trick for doing this is simple to describe: integrate out the first variable in (3) and, calling \(R(t) {:}{=}R(t,t)\) the variance function of X, note that for \(H > 1/2\) we have
We have replaced \(\partial _2 R(v, v)\) with \(\frac{1}{2} R'(v)\), which can be done by symmetry of R:
This is relevant to the case of \((1/4,1/2) \ni H\)-fBm since, while \(\partial _2 R(v,v)\) or \(\partial _1 R(v,v)\) is the infinite evaluation discussed earlier, the last integral in (4) is perfectly well defined. These integrands can be chained together on simplices, e.g. \(\int _{s< u< v < t} [\tfrac{1}{2} R'(u) - \partial _2 R(s,u)][\tfrac{1}{2} R'(v) - \partial _2 R(u,v)] \text {d}u \text {d}v\), and combined with the other types of integrand \(\partial _{12} R(w, z)\), to yield a formula that is very similar to that of [3], but continues to be convergent for \(1/4< H < 1/2\) and agrees with (2) for \(H = 1/2\).
Showing that the formula obtained by such substitution actually coincides with the expected signature for X in a broad class of Gaussian processes—essentially those Gaussian rough paths introduced in [15, 19, 30] with the imposition of a few additional smoothness and regularity requirements on the (co)variance function—is the main focus of this paper. In fact, our main result will prove a formula for the full Wiener chaos expansion of \(\mathcal {S}(X)\), the 0th level of which is the expectation. As far as we know, the expression for the positive chaos projections of the signature is not to be found in the literature even in the classical case of Brownian motion. While the expression of the positive levels of Wiener chaos is very similar in spirit to that of the 0th, it requires us to use some Malliavin calculus in the setting of 1-parameter Gaussian processes, and results in technical complications in the proof of convergence. The main additional ingredients needed are Stroock’s formula for the m-th Wiener chaos projection and a novel definition of multiple Wiener integral of a function. For the latter, it should be noted that while multivariate, deterministic integrands for Gaussian noise naturally live in a certain Hilbert space (which for fBm can be identified with a Sobolev space), we are interested in integrating functions of multiple times, i.e. \(\int _{[0,T]^m} f(t_1,\ldots ,t_m) \text {d}X^{\gamma _1}_{t_1} \cdots \text {d}X^{\gamma _m}_{t_m}\) in a Skorokhod-type sense: this is achieved by approximating f with elementary integrands, and showing independence of the approximation. Computing the Wiener chaos projections of the signature of a Gaussian process X has the benefit of expressing \(\mathcal {S}(X)\) as a sum of terms that are orthogonal in \(L^2\), something that has the potential to be used for various types of numerical calculations, e.g. estimates of Euler expansions for Gaussian rough differential equations. It should be mentioned that, while (in the cases considered) the expected signature already determines the law of X and therefore that of the Wiener chaos projections of \(\mathcal {S}(X)\), it does not appear obvious how one may obtain the latter from the former directly. While fBm is the main example of a process for which our calculation is novel, we briefly also consider centred, continuous Gaussian semimartingales, such as the Brownian bridge returning to the origin and centred Ornstein–Uhlenbeck processes with deterministic initial condition.
As in the main reference article [3], the technique that underlies our proof is piecewise-linear approximation of X. The arguments needed to prove the result are however much more involved, for three essential reasons. First is the fact that we must perform and justify the substitution (4), which requires novel arguments for convergence; even proving finiteness of the integrals in the main formula requires more sophisticated bounds in the \(1/4< H < 1/2\) case than it does in the \(H > 1/2\) case (see Fig. 2 for the simplest example of an observation that must be made when \(H < 1/2\)). Second is that Malliavin derivatives are involved for positive levels of the Wiener chaos and third is that our arguments must accommodate a wider class of Gaussian processes.
A graphic representing the contour plot of \((t-s)^{2H-2}\) on \(\{0< s< t < 1\}\) (on the left) and \(\{0< s< u< t < 1\}\) with \(u \in [0,1]\) fixed (on the right): the integral of the former is improper on the whole diagonal, while that of the later only at a point: when \(0< H < 1/2\), only the latter converges. This graphic has been created using Wolfram Mathematica
While the substitution (4) may seem very natural, it does not emerge obviously from the proof that we have given here, and must instead be guessed in advance. Indeed, it is worth mentioning that the way in which we first derived the statement of the main result involved an entirely different approach, which made use of the Skorokhod-rough integral conversion formula [10, 11], applied recursively to the RDE for the signature. The outline of this proof can be found in the second named author’s PhD thesis [17, Ch. 5]. While this approach has the drawback of generating further technical problems, reason for which it is not the one presented here, it has the advantage of leading up constructively to the main formula.
This paper is organised as follows: in Sect. 1 we briefly introduce the class of Gaussian processes considered and the Malliavin calculus framework for them; we then use this language to identify functions as multiple Wiener integrands. In Sect. 2 we state the main result Theorem 2.3 and discuss a few consequences and examples that follow; in Sect. 3 we prove the main result; in Conclusions and further directions we outline some aspects that could be tackled in further research. Finally, it should be mentioned that in [3], in addition to the expected signature of \(1/2 < H\)-fBm, the authors also compute the expected signature at levels 2 and 4 for \(1/4 < H\)-fBm in a manner that does not obviously generalise to different processes or higher levels; while not necessary in our proofs, it is sensible to verify that our main result agrees with this calculation: this check is performed in “Appendix A”.
2 Background on Malliavin calculus for Gaussian processes
In this section we introduce the class of Gaussian processes to which this paper applies, establish some notation, and give a brief overview of the tools of Malliavin calculus that are necessary in the proof of the main result. We follow [34, 35] for the general Malliavin calculus framework, [23] for its aspects that pertain to Gaussian processes indexed by a time parameter, and [9,10,11] for aspects regarding the rough path lifts of such processes.
Throughout this paper we will be working with a Gaussian process with i.i.d. components \(X :\Omega \times [0,T] \rightarrow {\mathbb {R}}^d\) where \(\Omega = C([0,T],{\mathbb {R}}^d)\), \(X_t(\omega ) {:}{=}\omega (t)\), \({\mathcal {F}}_t {:}{=}\sigma (X_{s}: 0 \le s \le t)\). We assume X to be centred, i.e. \({\mathbb {E}} X \equiv 0\), and for it to have deterministic initial condition \(X_0 = 0\). We will write \(X_{st} {:}{=}X_t - X_s\) for the increments of X. By Gaussianity, the probability measure \({\mathbb {P}}\) on \(\Omega \) is characterised by the covariance function of X
We will denote \(R(\,\cdot \,)\) the variance function of X, i.e. \(R(t) {:}{=}R(t,t)\). The independence hypothesis implies that R is a diagonal matrix \(R^{\alpha \beta } = \updelta ^{\alpha \beta } R^{\alpha \alpha }\), and the fact that they are identically distributed, \(R^{\alpha \beta } = \updelta ^{\alpha \beta }R^{11}\) will be determined by a single scalar function, which by abuse of notation we will also call R. Although our results can be conjectured to continue to hold in the case in which the components are not identically distributed, our proof will make essential use of this assumption. We define
for \(u,v,s,t \in [0,T]\). Note that \(R(\Delta (s,t)) \ne R(\Delta (s,t),\Delta (s,t))\).
We assume X and R satisfy the conditions that make it possible to consider the signature of X, \(\mathcal {S}(X)\), defined by the limit in \(L^2\) of Stieltjes iterated integrals of smooth or piecewise-linear approximations of X, and carry out Malliavin calculus: these are existence of rough path lift and complementary Cameron-Martin regularity [9, Conditions 2] and non-degeneracy of R [9, Conditions 3]. More elementary conditions that imply these may be found, for instance, in [10, 11]. The expected signatures of such processes characterise their law, i.e. if Y is any other process with a well-defined signature \(\mathcal {S}(Y)_{0T}\) (as a \(\mathcal {G}({\mathbb {R}}^d)\)-valued random variable) and \({\mathbb {E}} \mathcal {S}(X)_{0T} = {\mathbb {E}}\mathcal {S}(Y)_{0T}\), then X and Y are equal in law: see [13, Example 6.7], a consequence, among other things, of the greedy estimate [12]. We refer the reader to [14] for a treatment of the theory in the case of more general processes, whose expected signatures may not directly characterise the law of the process.
We will denote \(\mathcal {S}^N(X)\) the signature of X truncated at level N (i.e. its projection onto \(\bigoplus _{n = 0}^N ({\mathbb {R}}^d)^{\otimes n}\)) and \(\mathcal {S}(X)^{(n)}\) the n-th level of the signature (i.e. its projection onto \(({\mathbb {R}}^d)^{\otimes n}\)). The signature of a process, as that of a path, satisfies two important algebraic relations. The first is the Chen identity, namely that \(\mathcal {S}(X)_{su} \otimes \mathcal {S}(X)_{ut} = \mathcal {S}(X)_{st}\). The second is the shuffle identity: letting \(\{e_1,\ldots ,e_d\}\) denote the canonical basis of \({\mathbb {R}}^d\), and using coordinate notation, i.e. \(S^{\gamma _1\ldots \gamma _n} {:}{=}\langle e_{\gamma _1} \otimes \cdots \otimes e_{\gamma _n}, S\rangle \) for \(S \in T(\!({\mathbb {R}}^d)\!)\) and \(\gamma _1,\ldots ,\gamma _n \in [d] {:}{=}\{1,\ldots ,d\}\) (and extending linearly), for \(0 \le s \le t \le T\) it holds that
![](http://media.springernature.com/lw308/springer-static/image/art%3A10.1007%2Fs00440-023-01255-z/MediaObjects/440_2023_1255_Equ8_HTML.png)
where denotes “shuffling” the tuples \(\alpha _1\ldots \alpha _m\) and \(\beta _1\ldots \beta _n\), i.e. summing over all ways of permuting their concatenation \(\alpha _1\ldots \alpha _m\beta _1\ldots \beta _n\) whilst preserving the order of each. For further details see, for example, [28].
In addition to the standard conditions on R, we will have to assume a certain amount of smoothness of R together with bounds on its derivatives; the reasons for such hypotheses will be made clear in due course. We assume \(R(\,\cdot ,\,\cdot \,)\) is \(C^2\) on the open simplex \(\Delta [s,t] {:}{=}\{0< s< t < T\}\) and continuous on \([0,T]^2\), and that \(R(\,\cdot \,)\) is \(C^1\) on (0, T). The lack of smoothness assumptions of \(R(\,\cdot ,\,\cdot \,)\) on the diagonal \(\{s = t\}\) is crucial for the inclusion of \((1/4,1/2] \ni H\)-fBm, which does not even have first partial derivatives on it. Furthermore, we assume there exists an \(H \in (0,1)\) with the property that the sample paths of X are either H-Hölder, or are K-Hölder for all \(K < H\); for fBm H will coincide with the Hurst parameter, but the letter H will be used for more general processes to denote the Hölder exponent/supremum of exponents. This the rough path above X will be of finite 1/H-variation or of finite p-variation for all \(p> 1/H\).
We also need some quantitative estimates on the derivatives of R. Here and throughout the paper, the constant of proportionality implied by the use of \(\lesssim \) may only depend on T, H and other general characteristics of the process X. We require
where \(\partial _2\) denotes partial differentiation w.r.t. the second component and \(\partial _{12}\) denotes second-order mixed partial differentiation. Since R is not smooth on the diagonal, the following estimate for on-diagonal square increments of the covariance function, which already appeared in [15], must be required separately:
We move onto the treatment of Malliavin calculus for X. We let \({\mathcal {H}}\) be the Hilbert space given by the completion of the following \({\mathbb {R}}\)-linear span of elementary functions \([0,T] \rightarrow {\mathbb {R}}^d\), or equivalently \([0,T] \times [d] \rightarrow {\mathbb {R}}\):
w.r.t. the inner product
Because of independence of components, \({\mathcal {H}}\) is equal to an orthogonal direct sum \({\mathcal {H}}^1 \oplus \ldots \oplus {\mathcal {H}}^d\), and because of equal distribution the direct summands are all equal. Elements of \({\mathcal {H}}\) should be viewed as admissible deterministic integrands for \(\text {d}X\), which are represented as Cauchy sequences of elementary integrands in \({\mathcal {E}}\). This framework allows us to view the process as an isometry
often called an isonormal Gaussian process.
The multiple Wiener integral
is the operator defined by the adjoint property (which more generally characterises the divergence operator, when required on random arguments f)
where
is the mth Malliavin derivative, defined as
for \(f \in C^\infty ({\mathbb {R}}^n)\) with derivatives (including the 0th) of polynomial growth, and extended as a closed operator to a certain domain \({\mathbb {D}}^{m,2}\). \({\mathcal {H}}^{\odot m}\) denotes the subspace of \({\mathcal {H}}^{\otimes m}\) (the tensor product taken in the category of Hilbert spaces) of symmetric tensors. \(\mathcal {D}^m\) takes a square-integrable random variable and returns a random element of \({\mathcal {H}}^{\odot m}\), which in case of membership to \({\mathcal {E}}^{\odot m}\) (or otherwise a function member of \({\mathcal {H}}^{\odot m}\) in the sense of Definition 1.1 below) will be a function of m (time, index) pairs. Note that, while \(\delta \) is symmetric in the sense that it is left invariant by permuting (time, index) jointly, it is not symmetric if only time variables or indices are permuted (e.g. it is possible to use \(\delta \) to define a Lévy area—see Example 2.6 below). When \(\mathcal {D}^mZ\) is a function, as in the case (19), we denote its evaluation on m (time, index) pairs \(\mathcal {D}_{(u_1,\gamma _1),\ldots ,(u_m,\gamma _m)}Z\); occasionally it may make more sense to suppress the indices in the notation, in which case we can just write \(\mathcal {D}_{u_1,\ldots ,u_m}Z\). We may extend \(\delta \) to a map \(\delta ^m {:}{=}{\mathcal {H}}^{\otimes m} \rightarrow L^2\Omega \) by pre-composing with symmetrisation, and we have for \(f,g \in {\mathcal {H}}^{\otimes m}\)
This implies that multiple Wiener integration defines an isometry
where the source is given the degree-wise rescaled inner product \((f,g) \mapsto m!\langle f,g \rangle _{{\mathcal {H}}^{\otimes m}}\) for f, g of the same degree and zero otherwise, and \(\Omega \) is endowed with the sigma algebra generated by the process \(X_{t \in [0,T]}\). The image of the m-th Wiener integral operator, the space of the random variables \(\delta ^m(f)\) with f ranging in \({\mathcal {H}}^{\odot m}\), is called the m-th Wiener chaos of X. We denote it \({\mathscr {W}}^m\) and the m-th Wiener chaos projection \({\mathcalligra{w}}^m :L^2 \Omega \twoheadrightarrow {\mathscr {W}}^m\). Note that \({\mathcalligra{w}}^0 = {\mathbb {E}}\) with values in \({\mathscr {W}}^0 = {\mathbb {R}}\), while \({\mathscr {W}}^1\) is given by linear functionals of X. We thus have the Wiener chaos decomposition \(L^2 \Omega = \bigoplus _{m = 0}^\infty {\mathscr {W}}^m\) which means it is possible to represent any random variable in \(L^2\Omega \) (measurable w.r.t. to the sigma-algebra generated by X) as an \(L^2\)-absolutely convergent series
where \(f^m = (\delta ^m)^{-1} \circ {\mathcalligra{w}}^m (Z)\). The map \((\delta ^m)^{-1} \circ {\mathcalligra{w}}^m\) admits an expression in terms of the Malliavin derivative: this is Stroock’s formula, which states that for \(Z \in {\mathbb {D}}^{m,2}\)
As a consequence, if \(Z \in {\mathbb {D}}^{\infty ,2} {:}{=}\bigcap _{m = 0}^\infty {\mathbb {D}}^{m,2}\) we can write its Wiener chaos decomposition as the series
We continue calling elements of \({\mathcal {E}}^{\otimes m}\) elementary functions, in light of the fact that they can be identified with functions \(([0,T] \times [d])^m \rightarrow {\mathbb {R}}\) by the mapping
This is the map given by the product of the Kronecker deltas \(\updelta ^{\gamma _1}_\cdot \cdots \updelta ^{\gamma _m}_\cdot \) and the indicator function on the m-cube \([0,t_1) \times \cdots \times [0,t_m)\), each \(\updelta \) paired with the respective time variable. Since \({\mathcal {E}}^{\otimes m}\) is dense in \({\mathcal {H}}^{\otimes m}\), elements of the latter may be identified as equivalence classes of Cauchy sequences in \({\mathcal {E}}^{\otimes m}\). While \({\mathcal {H}}^{\otimes m}\) is not, in general, a space of functions, it is possible to uniquely associate elements of \({\mathcal {H}}^{\otimes m}\) to certain measurable functions \(([0,T] \times [d])^m \rightarrow {\mathbb {R}}\) as follows:
Definition 1.1
(Functions as elements of \({\mathcal {H}}^{\otimes m}\)). For a function \(f :([0,T] \times [d])^m \rightarrow {\mathbb {R}}\) we will write \(f \in {\mathcal {H}}^{\otimes m}\) if there exist a Cauchy sequence \((f_n)_n \subset {\mathcal {E}}^{\otimes m}\), uniformly bounded as a sequence of functions (according to the identification (25)), with \(f_n \rightarrow f\) a.e. In this case we will say that f represents \(\lim f_n \in {\mathcal {H}}^{\otimes m}\). If f represents \(\phi , \psi \in {\mathcal {H}}^{\otimes m}\) then \(\phi = \psi \): this is an immediate consequence of the following
Lemma 1.2
Let \((f_n)_n\) be as in the above definition with \(f = 0\). Then \(f_n \rightarrow 0\) in \({\mathcal {H}}^{\otimes m}\).
Proof
Let
with \(f_{n;\gamma _1,\ldots ,\gamma _m} :[0,T]^m \rightarrow {\mathbb {R}}\). Then \(f_n \rightarrow 0\) a.e. if and only if \(f_{n;\gamma _1,\ldots ,\gamma _m} \rightarrow 0\) a.e. for each \((\gamma _1,\ldots ,\gamma _m) \in [d]^m\). Keeping in mind that \({\mathcal {H}} \cong ({\mathcal {H}}^1)^{\bigoplus d}\) we may therefore assume \(d = 1\) and suppress indices. Following [23, p. 588], we test the sequence with elementary functions: letting \(f_n = \sum _{s^n_1,\ldots ,s^n_m} f_n^{s^n_1,\ldots ,s^n_m}\mathbb {1}_{[0,s^n_1)\times \ldots \times [0,s^n_m)}\) and \({\mathcal {E}}^{\otimes m} \ni g = \sum _{t_1,\ldots ,t_m} g^{t_1,\ldots ,t_m}\mathbb {1}_{[0,t_1)\times \ldots \times [0,t_m)}\) with \(f_n^{s^n_1,\ldots ,s^n_m}, g^{t_1,\ldots ,t_m} \in {\mathbb {R}}\) uniformly bounded (and the sums finite) we have that
(10) and (11) imply that the integrands are absolutely and uniformly bounded by \( [|t_1-s_1|^{2\,H-1} \vee s_1^{2\,H-1}] \cdots [|t_m-s_m|^{2\,H-1} \vee s_m^{2\,H-1}]\) (up to a constant), which is integrable on \(((0,T] {\setminus } \{t_1\}) \times \cdots \times ((0,T] {\setminus } \{t_m\})\). By dominated convergence \(\langle \phi , g \rangle _{{\mathcal {H}}^{\otimes m}} = \lim \langle f_n, g \rangle _{{\mathcal {H}}^{\otimes m}} = 0\), where \(\phi {:}{=}\lim f_n\) in \({\mathcal {H}}^{\otimes m}\), and \(\phi = 0\) follows from the fact that g ranges in a dense set. \(\square \)
In light of the aforementioned non-degeneracy condition on X, we also expect the converse to hold: if \(\phi \in {\mathcal {H}}^{\otimes m}\) is represented by the functions f, g in the above sense, then \(f = g\) a.e. An example of a degenerate stochastic process, for which this property would not hold, is given by taking any process X and concatenating it with itself path by path; the resulting covariance function R would be invariant under transposing the intervals [0, T) and [T, 2T). We also note that, in specific cases, it is possible to describe \({\mathcal {H}}\) explicitly: if X is a fractional Brownian motion with Hurst parameter \(H \in (0,1)\), the identity on \({\mathcal {E}}\) induces an isomorphism between \({\mathcal {H}}\) and the Sobolev space \(W^{1/2-H, 2}\) [24], which is a space of functions for \(H \in (0,1/2]\) but not for \(H \in (1/2,1)\).
We will mostly be considering Wiener integrals on simplices, which has the effect of quotienting out symmetry of the operator \(\delta ^m\). We will often resort to integral notation, e.g. if \(\mathbb {1}^{\alpha \beta }_{\Delta [s,t]} \in {\mathcal {H}}^{\otimes 2}\) (the function that maps \(((u,\gamma ),(v,\delta )) \mapsto \updelta ^{\alpha \gamma }\updelta ^{\beta \delta } \mathbb {1}_{s< u< v < t}\)) in the sense of Definition 1.1, we will write \(\delta ^2(\mathbb {1}^{\alpha \beta }_{\Delta [s,t]}) {=}{:}\int _{s< u< v < t} \delta X_u^\alpha \delta X^\beta _v\) to be the limit in \(L^2\) of \(\delta ^2(f_n)\). Wiener integrals of elements of \({\mathcal {E}}^{\otimes m}\), on the other hand, can be computed explicitly by using the adjoint property (17): for example, it can be checked that
The more general formula involves multivariate analogues of the Hermite polynomials (see [34, §2.7.2] and [17, p.244]). When X is a Gaussian martingale (but not necessarily if it is only a semimartingale), multiple Wiener integration on the simplex coincides with iterated Wiener-Itô integration.
3 The main result, some consequences
We begin this section with some more notation. We denote \([n] {:}{=}\{1,\ldots ,n\}\) the set with n elements. We will be concerned with iterated integrals on the n-simplex \(\Delta ^n[s,t] {:}{=}\{(u_1,\ldots ,u_n) \mid s< u_1< \ldots< u_n < t \}\). Because such integrals will involve the covariance function, integration variables will sometimes come in pairs. For \(m, n \in {\mathbb {N}}\) we denote \({\mathcal {P}}^n_m\) the collection of partitions of subsets of [n] of cardinality \(n-m\) into sets of cardinality 2. Note that this means \({\mathcal {P}}^n_m = \varnothing \) whenever \(n \ne m \ (\text {mod} \ 2)\) or \(m > n\), but \({\mathcal {P}}^n_n\) has precisely one element, \(\varnothing \): the empty set admits the empty collection of subsets as a partition, which vacuously belongs to \({\mathcal {P}}^n_n\). For example, \(Q {:}{=}\{\{1,4\},\{3,8\},\{5,6\}\} \in {\mathcal {P}}^8_2\) viewed as a partition of the set \(\{1,3,4,5,6,8\} \subseteq [8]\). For \(P \in {\mathcal {P}}^n_m\) we will denote \({\overline{P}} {:}{=}[n] {\setminus } \cup P\) (in the partition of the above example, \({\overline{Q}} = \{2,7\}\)).
It will convenient to use graphical notation to denote such objects, and for reasons that will become apparent shortly, for a pair \(\{i,j\}\) with \(i \le j\) we will distinguish between the consecutive case \(j = i+1\) and the non-consecutive one \(j > i+1\). The partition \(Q \in {\mathcal {P}}^8_2\) above is represented by
![](http://media.springernature.com/lw140/springer-static/image/art%3A10.1007%2Fs00440-023-01255-z/MediaObjects/440_2023_1255_Equ26_HTML.png)
We will refer to such graphics as diagrams. We have drawn one node for each \(i \in [n]\) that is not paired with a consecutive integer, and one node for each consecutive pair (in this case only \(\{5,6\}\)); when counting nodes, a node corresponding to such a pair should be thought as having double weight. In our example, the 5th node actually counts for positions 5 and 6. With this convention, for each non-consecutive pair \(\{i,j\}\) we have drawn an arc connecting the two nodes of positions i and j, and for each node corresponding to a consecutive pair we have drawn a line going upwards. Nodes that do not have a line or arc entering them correspond to elements of \({\overline{P}}\), and we will call them single. Note that, by construction, there is never an arc between two consecutive nodes: this will be critical for convergence of the associated integrals described below. In the next section, we will be particularly concerned with maximal sequences of consecutive pairings, i.e. collections of pairings \(\{k,k+1\},\ldots ,\{k+l,k+l+1\} \in P\) with \(l \ge 0\) and s.t. \(\{k-2,k-1\},\{k+l+2,k+l+3\} \not \in P\).
Now, given \(P \in {\mathcal {P}}^n_m\), \(0 \le s \le t \le T\) and \(\gamma _1,\ldots ,\gamma _n \in [d]\) we associate to it a continuous function \(P_{st}^{\gamma _1,\ldots ,\gamma _n} :\Delta ^m[s,t] \times [d]^m \rightarrow {\mathbb {R}}\) by integrating over as many variables as there are non-single nodes in the diagram that represents P: call this number, which equals twice the number of non-consecutive pairs in P plus the number of consecutive ones, \(\#P\). This explains our choice for the above notation: each node either corresponds to an integration variable or to a free variable, i.e. a variable of which \(P_{st}^{\gamma _1,\ldots ,\gamma _n}\) is a function. We use the shorthands
and the former will only be used when \(j > i+1\). Crucially, we are defining the second case as \(\frac{1}{2} R(\text {d}u_{h+1}) - R(u_{h-1},\text {d}u_{h+1})\), not as \(R(u_{h+1},\text {d}u_{h+1}) - R(u_{h-1},\text {d}u_{h+1})\), since this would be ill-defined in many cases (including \(1/2>H\)-fBm) because \(R(\,\cdot , \,\cdot \,)\) may not admit partial derivatives on the diagonal. On the other hand, we are assuming that the variance function \(R(\,\cdot \,)\) is differentiable.
Definition 2.1
(\(P^{\gamma _1,\ldots ,\gamma _n}_{st}\)) For \(\gamma _1,\ldots ,\gamma _n \in [d]\), \(0 \le s \le t \le T\) and \(P \in {\mathcal {P}}^n_m\) define
as a function \(([0,T] \times [d])^m \rightarrow {\mathbb {R}}\) extended with the value 0 outside \(\Delta ^m[s,t]\).
The variables \(u_k\) with \(k \in {\overline{P}}\) are supplied as arguments, so in fact this is an integral over a disjoint union of up to \(m+1\) simplices (fewer if some of the elements of \({\overline{P}}\) are consecutive). The kth index in \([d]^n\) is given as argument to \(\mathbb {1}^{\gamma _k}\) as a Kronecker delta: this means that \(P_{st}^{\gamma _1,\ldots ,\gamma _n}\) vanishes on all but one element of \([d]^m\). The reason why we still consider \(P_{st}^{\gamma _1,\ldots ,\gamma _n}\) as a function on \([d]^m\) is that this is necessary to view it as an element of \({\mathcal {H}}^{\otimes m}\); nevertheless, when the indices are fixed it will sometimes be convenient to just think of it as a function of m times. If \(m = 0\), \(P^{\gamma _1,\ldots ,\gamma _n}_{st}\) is just a real number.
Remark 2.2
The presence of the second type of integrand in Definition 2.1 is the reason for the smoothness assumptions on the variance and covariance functions, which are not to be found in most of the literature on these topics: this is because it would be difficult to define integrals such as \(\int _{s< u< v < t} \big [\tfrac{1}{2} R(\text {d}u) - R(s,\text {d}u)\big ]\big [\tfrac{1}{2} R(\text {d}v) - R(u,\text {d}v)\big ]\) as iterated Young integrals, without taking derivatives, since the variable u in its undifferentiated form appears after the integrator \(\frac{1}{2} R(\text {d}u) - R(s,\text {d}u)\); this of course is no longer an issue under our smoothness hypotheses, thanks to which the above integral is defined as the Lebesgue integral on the simplex \(\int _{s< u< v < t} \big [\tfrac{1}{2} R'(u) - \partial _2 R(s,u)\big ]\big [\tfrac{1}{2} R'(v) - \partial _2 R(u,v)\big ] \text {d}u \text {d}v\).
When P is represented by a diagram, we will decorate the nodes with labels. For example, the integral associated to (26) with labelling \(\alpha ,\ldots ,\vartheta \) is given by
![](http://media.springernature.com/lw657/springer-static/image/art%3A10.1007%2Fs00440-023-01255-z/MediaObjects/440_2023_1255_Equ104_HTML.png)
This is viewed as a function of the variables \(u_2,u_6\) ranging on the simplex \(\Delta ^2[s,t]\), each paired with an index variable, which must respectively be equal to \(\beta \), \(\eta \) for the expression not to vanish. The variable \(u_5\) has been skipped, since it is the first term in the consecutive pair \(\{5,6\}\). We will show that integrals defined in this fashion are a.e. limits of Cauchy sequences in \({\mathcal {E}}^{\otimes m}\), which therefore uniquely represent elements of \({\mathcal {H}}^{\otimes m}\) according to Definition 1.1. When taking multiple Wiener integrals of them, the indices corresponding to the nodes that represent free variables will become the coordinate processes that are being integrated against, e.g.
![](http://media.springernature.com/lw732/springer-static/image/art%3A10.1007%2Fs00440-023-01255-z/MediaObjects/440_2023_1255_Equ105_HTML.png)
We are now ready to state the main theorem.
Theorem 2.3
(Wiener chaos expansion of the signature of a Gaussian process). Given \(m,n \in {\mathbb {N}}\), \(P \in {\mathcal {P}}^n_m\), \(\gamma _1,\ldots ,\gamma _n \in [d]\), \(0 \le s \le t \le T\), it holds that \(P^{\gamma _1,\ldots ,\gamma _n}_{st} \in {\mathcal {H}}^{\otimes m}\) in the sense of Definition 1.1, and the mth Wiener chaos projection of the signature of X is given by
In particular, notice that \({\mathcalligra{w}}^m \mathcal {S}(X)^{\gamma _1,\ldots ,\gamma _n}_{st}\) can only be non-zero when \(m \le n\) and \(m \equiv n \ (\text { mod \ 2})\). The most important case of this result is when \(m = 0\):
Corollary 2.4
(Expected signature of a Gaussian process). With notation as above, we have
Remark 2.5
(Eliminating variables). While convergence rules out always considering integrands of the first type in (27) (which would mean allowing diagrams with arcs between consecutive nodes), one may wonder whether it is possible to only consider integrands of the second type, i.e. by integrating out one variable per pair and thus simplifying the presentation of the formula. This, however, is not possible in general, because of the additional constraint that requires two consecutive variables not to be both integrated out (for the expression to make sense as an integral). It is not difficult to see, for example, that in the following diagram
![](http://media.springernature.com/lw189/springer-static/image/art%3A10.1007%2Fs00440-023-01255-z/MediaObjects/440_2023_1255_Equ106_HTML.png)
at most two variables can be integrated out (unless the remaining integral can be solved or simplified analytically). Luckily, the only case in which it is necessary for convergence to integrate out certain variables (as specified in the second case of (27)), is when there are consecutive pairs: this is always possible, even when more than one pair in a row is consecutive, since we may always pick the first variable to integrate out (as done here—one could equivalently have chosen the second). Of course, there is always some number of additional variables that can be eliminated, but we do not immediately see a way of doing this in a maximal way that is canonical.
Example 2.6
(The Wiener chaos decomposition of \(\mathcal {S}^3(X)_{st}\)). We give the explicit expression for the Wiener chaos expansion of the signature truncated at level 3. These terms are especially significant, considering that they are the ones that define the rough path when \(1/4 < H \le 1/3\): higher signature terms can be derived in a pathwise fashion by Lyons’s extension theorem without involving probability. We represent each signature term as a sum of their Wiener chaos projections in ascending order; in particular the sum of all non-random terms constitutes the expectation of the left hand side.
![](http://media.springernature.com/lw489/springer-static/image/art%3A10.1007%2Fs00440-023-01255-z/MediaObjects/440_2023_1255_Equ107_HTML.png)
In particular, notice how the expected signature of level 2 is given by the difference between the average of the variances and the covariance:
and that the statement that “the Itô and Stratonovich Lévy areas are equal” carries over to the Gaussian Wiener-rough setting, in the sense that
by symmetry of the covariance function.
Example 2.7
(\({\mathbb {E}}\mathcal {S}(X)^{(4)}\)). Corollary 2.4 at level 4 is given by
![](http://media.springernature.com/lw515/springer-static/image/art%3A10.1007%2Fs00440-023-01255-z/MediaObjects/440_2023_1255_Equ33_HTML.png)
Using a clever transformation, [3, Theorem 34] are able to compute \({\mathbb {E}}\mathcal {S}(X)^{(2)}_{01}\) and \({\mathbb {E}}\mathcal {S}(X)^{(4)}_{01}\) for \(1/4<H\)-fBm. Their formulae are specific to the cases \(n = 2,4\) and X a fBm, and are quite different to those given by Theorem 2.3. That the two coincide is immediate at level 2 by (31), and in “Appendix A” we perform this check at level 4.
The following example shows how Theorem 2.3 has the potential to generate insight into numerics of numerical schemes for rough differential equations driven by Gaussian signals.
Example 2.8
(Itô–Taylor expansions for solutions to RDEs driven by Gaussian signals). Assume
is an RDE (rough differential equation) driven by the Gaussian rough path \(\varvec{X}\) (defined by the first 1, 2 or 3 levels of \(\mathcal {S}(X)\), depending on how rough X is). Proceeding formally, and denoting by \(V_{\gamma _1} \cdots V_{\gamma _n}\) composition of vector fields (and using Einstein notation), we can then expand the solution Y as
The expansion on the first line can be viewed as the extension to the Gaussian case of Stratonovich–Taylor series, the one on the last line can be viewed as that of Itô–Taylor series [25]. The latter has the advantage that its terms fit in well with the Wiener chaos decomposition of \(Y_t\), although it should be observed that \({\mathcalligra{w}}^m Y_t\) is represented as an infinite series, namely the second sum in the last line above. Also, this expansion cannot be expected to coincide with the Wiener chaos decomposition of \(Y_t\) if it is performed at times other than 0, with \(Y_0 = y_0\) deterministic. This is because, unless X is a martingale, the Wiener chaos isometries will not hold conditionally on \({\mathcal {F}}_s\).
Remark 2.9
(Stationarity and joint stationarity of increments). X is stationary if and only if we may write
for some function \({\overline{R}} :[0,T] \rightarrow {\mathbb {R}}^{d\times d}\). In this case we have
An example of a centred stationary Gaussian process is the stationary Ornstein–Uhlenbeck process \(e^{-t/2}W_{e^t}\) where W is a Brownian motion and \(t \in [0,T]\): its covariance function is \(R(s,t) = e^{-(t-s)/2}\) for \(s \le t\). This process however, strictly speaking, is not among those considered here, as it has random initial condition.
There is a much weaker property that results in a similar simplification. We will say that a stochastic process X has jointly stationary increments if for all \(s_1 \le t_1, \ldots , s_n \le t_n \) the distribution of the random vector of increments \((X_{s_1t_1},\ldots ,X_{s_nt_n})\) only depends on the differences \(t_1-s_1,\ldots ,t_n-s_n\) and \(s_2-s_1,\ldots , s_n-s_{n-1}\) (if \(n = 1\) the latter condition vanishes, and ordinary stationarity of increments is recovered). If X is Gaussian this need only be required for \(n = 2\), and if it holds we may write
for some function \({\widehat{R}} :[0,T]^3 \rightarrow {\mathbb {R}}^{d\times d}\). This property is satisfied by fBm, since if H is the Hurst parameter we have
If X has jointly stationary increments
Although similar simplifications are not available for \(\partial _2 R(s, t)\) and \(R'( t)\) individually (as they are in the stationary case), they are for their difference: indeed, using that \(R(\,\cdot ,0) \equiv 0\), we have
which implies
We therefore conclude that joint stationarity of increments, though a much more general property than stationarity, results in the same simplifications that are of relevance to Theorem 2.3, namely that \(\partial _{12}R( s, t)\) and \(\tfrac{1}{2} R'(t) - \partial _2R(s,t)\) only depend on \(t-s\). This can be of aid in simplifying the expression of the integrals in the formula for \({\mathcalligra{w}}^m \mathcal {S}(X)\), since it is possible to perform substitutions of the form \(v_{ij} = u_j - u_i\). It does not, however, guarantee that these integrals become analytically solvable, as simple examples show (e.g. the integral \(\int _0^1 v^{2\,H-1}(1-v)^{2\,H-1} \text {d}v\) appearing in “Appendix A”).
We now consider a few examples of Gaussian processes to which our results apply; in all cases, X will have i.i.d. components, and we will use R to denote the scalar covariance function of each component. Arguably the most important example of a stochastic process for which the signature has not yet been computed is fractional Brownian motion in the regime of negatively-correlated increments:
Example 2.10
(\((1/4,1/2) \ni H\)-fBm). Fractional Brownian motion with Hurst parameter \(H \in (0,1)\) (H-fBm), introduced in [32], is a scalar centred Gaussian process with covariance function
It is not a semimartingale unless \(H = 1/2\), in which case it is Brownian motion. Here we consider the case \(H \in (1/4,1/2)\): this is well known to satisfy the preliminary hypotheses required in Sect. 1, and the smoothness conditions and bounds are simple to verify. Indeed, the integrands of interest for the formula of Theorem 2.3 are given by (\(s \le t\))
As predicted by Remark 2.9, these both are functions of \(t-s\).
Remark 2.11
(\((1/2,1) \ni H\)-fBm, [3]). If \(R(\,\cdot ,\,\cdot \,)\) is once differentiable on the diagonal, then
and we have
By performing this substitution in Corollary 2.4 for the case of \(1/2 < H\)-fBm (this means always applying the first case in (27), i.e. allowing arcs between consecutive nodes, which replace lines), we recover the formula of [3, Theorem 31] (note that the symmetry factor—meant to factor out permutations of pairings and transpositions within each pair—is not present in our case, since we are summing over pairings and not permutations). Other examples of processes in a similar regularity regime are those Gaussian Volterra processes with strictly regular kernels considered in [7].
The following is another example of a fractional, non-semimartingale process.
Example 2.12
(The Riemann–Liouville process). Another centred continuous Gaussian process, originally introduced in [26] and subsequently in [32], is the Riemann–Liouville process with Hurst parameter \(H \in (0,1)\) (sometimes called “type-II fBm”), is a centred Gaussian process with covariance function [33, pp. 116–117]
Like fBm, this process specifies to Brownian motion when \(H = 1/2\) and is otherwise not a semimartingale. Their main difference between the two is that fBm has jointly stationary increments while for the Riemann–Liouville process not even single increments are stationary. We were not able to find a satisfactory expression for the derivatives of the covariance function of this process, and thus were not able to determine whether (for \(H > 1/4\)) it satisfies the conditions necessary for applying Theorem 2.3. However, we believe that examples such as this provide strong motivation for not confining our study to fBm and to allow for more general processes.
Another important restriction of the main result is the following case:
Remark 2.13
(Gaussian martingales, [16]). When X is a continuous Gaussian martingale, its quadratic variation coincides with its variance function (as can be seen by the fact that \(X_t^2 - R(t)\) is a martingale). The Dubins-Schwarz theorem then implies that X can be represented as the deterministically-reparametrised Brownian motion \(W_{R(t)}\). Assuming equal distribution of components, we can use this and the formula for the expected signature of Brownian motion (2) to compute
Since by martingality \(\partial _{12}R(s,t) = 0 = \partial _2R(s,t)\) on \(s < t\), Theorem 2.3 reduces to a sum of iterated integrals that only involve \(\frac{1}{2} R'\), which coincides with the above formula.
We conclude with two examples of centred, continuous Gaussian semimartingales which are not martingales and do not have stationary increments.
Example 2.14
(Brownian bridge returning to the origin). The Brownian Bridge returning to the origin at time T is a process whose law is given by disintegrating the Wiener measure on the event \(W_T = 0\), where W is a d-dimensional Brownian motion starting at the origin. It can be written either as
or adaptedly as
(and \(X_T = 0\)). Its covariance function is given by
and the integrands of interest are thus
It should be mentioned that X, as a process defined on [0, T], fails the non-degeneracy condition [9, p.2125]. This is, however, not a problem, as we can view it as defined on the interval \([0,T-\varepsilon \)] and obtain the signature terms \(\mathcal {S}(X)_{sT}\) through a limiting argument. The bounds of (9), which in this example and the one below only involve linear terms, are easily checked (and indeed the first is not even sharp). Note that the iterated integrals of (43) can all be solved explicitly as polynomials.
Example 2.15
(Centred Ornstein–Uhlenbeck processes started at 0). We consider an Ornstein–Uhlenbeck process with zero mean and deterministic initial condition, given by the Wiener-Itô integral
with \(\sigma ,\theta \in (0,+\infty )\). Its covariance function is given by
and \(\partial _{12}R(\text {d}s, \text {d}t)\), \(\tfrac{1}{2} R'(t) - \partial _2R(s,t)\) can be computed directly. Once again, all conditions are satisfied (see [9, p2138]).
4 Proof of the main result
Recall that we are using \(\lesssim \) to denote inequalities whose constant of proportionality may only depend on T, H and other properties of a fixed process X. Since most of the arguments presented in this section only concern bounds and convergence, we will suppress indices (i.e. treat the scalar case) most of the time, so as not to clutter the notation. Given \(P \in {\mathcal {P}}^n_m\), denote \(|P|_{st}\) the function \(\Delta ^m[s,t] \rightarrow {\mathbb {R}}\) defined analogously to Definition 2.1, but replacing each integrand \(\partial _{12}R(u,v)\) with \((v-u)^{2\,H-2}\) and each integrand \(\frac{1}{2} R'(v) - \partial _2 R(u,v)\) with \((v-u)^{2H-1}\). For example, if Q is the diagram of (26)
The following proposition guarantees that all the integrals considered in the main theorem are convergent.
Proposition 3.1
(Finite improper integrals). For \(m \le n\) and \(P \in {\mathcal {P}}^n_m\)
uniformly over \(\Delta ^m[s,t]\).
Proof
We proceed by induction on \(n-m\). When P only has single nodes (\(m = n\)) the statement is trivial. We will proceed by considering several cases for the last node in P; the simplest of these occurs when it is single: the statement follows immediately from the inductive hypothesis. For the next case, we will need the following bound:
For a diagram C whose last node is the right endpoint of an arc, using the bound above we have
![](http://media.springernature.com/lw506/springer-static/image/art%3A10.1007%2Fs00440-023-01255-z/MediaObjects/440_2023_1255_Equ108_HTML.png)
where \(|C|_{su_0}'\) equals the integral representing \(|C|_{su_0}\) with the only difference that we are not integrating w.r.t. the variable \(u_0\) in \((u_0-r)^{2\,H-2}\), which represents the arc that terminates at the last node of C. Similarly, if the last node in C is single, we have
![](http://media.springernature.com/lw449/springer-static/image/art%3A10.1007%2Fs00440-023-01255-z/MediaObjects/440_2023_1255_Equ109_HTML.png)
where C is not differentiated since it terminates in a node representing a free variable, \(u_0\). We now consider arcs: assume there are i arcs/lines within A, j within B, and that there are k arcs between nodes in A and nodes in B (collectively represented below by the dashed arc). Let \(A^\circ \) and \(B^\circ \) denote the diagrams given by eliminating such arcs from A and B: the nodes that have become single as a result now represent free variables, which we call \(w_1,\ldots ,w_k\), \(z_1,\ldots ,z_k\). We first consider the case in which \(j>0\):
![](http://media.springernature.com/lw703/springer-static/image/art%3A10.1007%2Fs00440-023-01255-z/MediaObjects/440_2023_1255_Equ110_HTML.png)
where we have used \(2H(j+1)-1 \ge 4H-1 >0\) since \(H >1/4\). Note that the absolute values in the third-last expression can be removed by separately considering the cases \(H >1/2\) and \(H < 1/2\). Assume instead \(j=0\): this means B must contain at least one node that is either single or paired with a node in A; it cannot be that \(B = \varnothing \) or the diagram would contain an arc between two consecutive nodes, which is ruled out. The case in which there is a node in B which is single (see Fig. 2) does not require \(H > 1/4\): letting r denote the free variable represented by such a node, and proceeding similarly to the above, we have
![](http://media.springernature.com/lw615/springer-static/image/art%3A10.1007%2Fs00440-023-01255-z/MediaObjects/440_2023_1255_Equ111_HTML.png)
Finally, consider the case in which \(j = 0\) and \(k > 0\) (and B may have no single nodes):
![](http://media.springernature.com/lw676/springer-static/image/art%3A10.1007%2Fs00440-023-01255-z/MediaObjects/440_2023_1255_Equ112_HTML.png)
Once again, the absolute values distinguish between \(H \lessgtr 1/2\). Expanding the product, we observe that three of the integrals feature products of different terms, each to the power of \(2H-1\): in these, at least one of \(z_k\) or u only appears once, which means this variable may be integrated out and the resulting term bounded (up to a constant) by \((t-s)^{2H}\), with the remaining integral solved similarly. The fourth integral instead is \(\int _{s< u< z < t} (z-u)^{4\,H-2} \text {d}u \text {d}z\) which is finite again thanks to \(H > 1/4\). This shows that we have \(\lesssim (t-s)^{2(i+k+1)H}\) in the above expression and concludes the proof. \(\square \)
Remark 3.2
(Modified |P|). We have stated the previous proposition under in the most natural manner; in particular note how, in the prototypical case of fBm, the integrals \(|P|_{st}\) are multiples of \(P_{st}\). We will, however, additionally need a slightly modified version of this result, in which the definition of |P| is changed as follows: maximal sequences
occurring in the middle of the expression for |P|, are replaced with their bound \((v-u)^{2kH}\), and each integrand \((v-u)^{2H-2}\) is replaced with \(((v-u) \wedge 1/2)^{2H-2}\). That the statement continues despite these modifications to hold is obvious for the first, and for the second it follows from the facts that all integrals are still convergent (by the same proof) and the 1/2 can be replaced with \(1/2 \wedge T\) and absorbed in the constant of proportionality.
Just like in [3], we approximate X piecewise linearly. Let \(X^\ell \) be a sequence of piecewise linear approximations of X along partitions \(\pi _\ell \) on [0, T] with step size that vanishes as \(\ell \rightarrow \infty \). It will be helpful to assume that the intervals in the mesh \(\pi _\ell \) all have the same length \(\varrho _\ell \); this simplifying assumption can be made because it is only necessary to show convergence along a sequence of such approximations, since it is known that the limit does not depend on the particular choice of \(\pi _\ell \) (or indeed on the type of piecewise smooth approximation in a broad class of these) [21, Ch. 15]. For \(t \in [0,T]\) we will write \(t_\ell ^-\) and \(t_\ell ^+\) to respectively denote the endpoints a and b of the interval of \(\pi _\ell \) s.t. \(t \in [a,b)\). Explicitly, \(X^\ell \) and its piecewise-defined derivative are given by
where, as usual, \(X_{ab} {:}{=}X_b - X_a\) denotes the increment. In order to use Stroock’s formula (23), we will be considering Malliavin derivatives of the signature of the piecewise-linear interpolations of X,
which in turn requires us to consider those of the single factors:
For \(P \in {\mathcal {P}}^n_m\), we provide a discretised analogue to Definition 2.1:
Definition 3.3
(\(P^{\ell ;\gamma _1,\ldots ,\gamma _n}_{st}\)). For \(\gamma _1,\ldots ,\gamma _n \in [d]\), \(0 \le s \le t \le T\) and \(P \in {\mathcal {P}}^n_m\) define
as an element of \({\mathcal {E}}^{\otimes m}\), whose arguments are given to the functions \(\mathbb {1}^{\gamma _k}_{[u^-_{k;\ell }u^+_{k;\ell })}\) with \(k \in {\overline{P}}\).
Note how the above definition, unlike Definition 2.1 does not distinguish between consecutive and non-consecutive pairings: this will only become important in the limit. Moreover, we are integrating over all n variables, including the \(u_k\) with \(k \in {\overline{P}}\): this is because the time arguments of the function, \(v_k\), are supplied separately, with the respective index variables supplied as arguments to \(\updelta _{\gamma _k}\), \(k \in {\overline{P}}\). The functions \(P^\ell _{st}\) are summands in the expression of which we want to compute the limit:
Lemma 3.4
(Expected Malliavin derivatives of signature approximations).
Proof
This is a consequence of (46), (47), the (iterated) Leibniz rule for the Malliavin derivative and Wick’s formula for the mixed moments of a Gaussian vector (as it was already used in [2, Theorem 31]). The details are a matter of simple combinatorics; in particular note how, instead of summing over m! terms corresponding to the ways of permuting the m derivatives (for a fixed \(P \in {\mathcal {P}}^n_m\)), we are only including the term corresponding to the identity permutation and multiplying by m!, which identifies the same element of \({\mathcal {E}}^{\otimes m}\) up to symmetry. \(\square \)
In order to prove convergence, it is unfortunately not possible to argue by dominated convergence applied to Definition 3.3: this is because the factors in the integrand given by consecutive pairings \({\mathbb {E}}[\dot{X}^{\ell ;\gamma _i}_{u_i} \dot{X}^{\ell ;\gamma _{i+1}}_{u_{i+1}}]\) converge to non-integrable functions (e.g. \((v-u)^{2H-2}\) on \(\Delta ^2[s,t]\) for fBm) and the ones corresponding to Malliavin derivatives \(\varrho _\ell ^{-1} \mathbb {1}^{\gamma _k}_{[v^-_{k;\ell }v^+_{k;\ell })}(u_k)\text {d}u_k\) do not converge at all (in fact they converge, as distributions, to Dirac deltas \(\updelta _{v_k}\)). The reason that convergence holds is that all these quantities are integrated. To successfully exploit this, we will write each integral \(P^\ell _{st}\) as a nested integral, distinguishing between the three types of integrands:
The outer integral contains the product of all terms \({\mathbb {E}}[\dot{X}^{\ell ;\gamma _i}_{u_i} \dot{X}^{\ell ;\gamma _j}_{u_j}]\) with \(|j-i| > 1\). These are multiplied with the second integral, which integrates all factors coming from Malliavin derivatives. Finally, we partition the remaining integrands \({\mathbb {E}}[\dot{X}^{\ell ;\gamma _h}_{u_h} \dot{X}^{\ell ;\gamma _{h+1}}_{u_{h+1}}]\) into maximal sequences and integrate each individually: these integrals are integrands in the second integral, alongside the Malliavin derivatives. The operations of exchanging the order of integrals are all justified by Fubini’s theorem, considering that all integrals are actually finite sums. We illustrate all of this with a simple example: consider the diagram (suppressing indices)
![](http://media.springernature.com/lw136/springer-static/image/art%3A10.1007%2Fs00440-023-01255-z/MediaObjects/440_2023_1255_Equ113_HTML.png)
According to Definition 3.3, we have
Re-organising this expression as described in (50) we obtain
Note that the domain of integration of the innermost integral can be described in terms of variables of the two outer integrals: this extends to the case in which there is more than one maximal sequence, by maximality, and is crucial for the factorisation into integrals over maximal sequences to be possible.
The reason for the nested rewriting of (50) is that it will be possible to show convergence of the integrals over maximal sequences, then by a separate argument infer the convergence of the middle integral, and finally by dominated convergence conclude that the outer integrals converge. We preface the proof of convergence with a few lemmas; the first of these considers the case of a single consecutive pairing, and will form the base case of an induction that handles maximal sequences of arbitrary length.
Lemma 3.5
(One consecutive pairing).
and the convergents are uniformly bounded by \(\lesssim (t-s)^{2H}\).
Proof
Considering that \(\dot{X}^\ell \) is a piecewise-constant, and that the integral on the right is therefore a finite sum, we can write
where we have used that \((X^\ell _{st})^2 \xrightarrow {\ell \rightarrow \infty } X_{st}^2\) in \(L^2\). For the second statement, we rely on the first two identities above and distinguish between the cases \(s^-_\ell = t^-_\ell \) and \(s^-_\ell < t^-_\ell \): in the former we have, using (12)
since
by \(H < 1\) and \(t-s \le \varrho _\ell \). Let now \(s^-_\ell < t^-_\ell \):
by \({\mathcalligra{l}}^2\)-Jensen’s inequality, the previous case, and again (12). \(\square \)
The case of several consecutive pairings is more difficult to handle, and in Proposition 3.9 convergence of these terms will be bootstrapped from terms that only contain shorter sequences of consecutive pairings, and the above single case, by means of an inductive argument. It is worth remarking that the plausible strategy of handling these integrands together with the others by integrating only one of the variables fails:
Remark 3.6
(Lack of convergence of \({\mathbb {E}}[X_{uv}^\ell \dot{X}_v^\ell {]}\)). One way of dealing with sequences of consecutive pairings is by rewriting them as
This has the benefit of expressing the convergents as integrals over n, and not 2n, variables. The problem with this strategy is that it does not hold that \({\mathbb {E}}[X_{uv}^\ell \dot{X}_v^\ell ] \xrightarrow {\ell \rightarrow \infty } \frac{1}{2} R'(v) - \partial _2R(u,v)\): a simple calculation reveals
While the second term converges to \(\partial _2R(u,v)\) (e.g. by the intermediate value theorem applied on the interval \([v^-_\ell ,v^+_\ell ]\)), the first does not converge in general. To see why, it suffices to take X to be Brownian motion and \(\pi _\ell \) to by a diadic sequence: the first term on the right above is then equal to \(\varrho ^{-1}_\ell (v-v^-_\ell )\) which is indeterminate in view of the fact that for v in a set of full Lebesgue measure its decimal expansion contains infinitely many 00’s and 11’s. The fractional case with \(H < 1/2\) appears even worse behaved, i.e. divergent in a possibly indeterminate fashion.
We now move outward in (50) and prove a lemma that will guarantee convergence of the middle integral, conditional on the convergence of the inner ones.
Lemma 3.7
Let \(f_\ell :[0,T]^m \rightarrow {\mathbb {R}}\) be a uniformly bounded sequence of functions that are continuous and piecewise smooth on the mesh \(\pi _\ell \). Assume that \(f_\ell \) converges to \(f :[0,T]^m \rightarrow {\mathbb {R}}\) uniformly. Then
where the convergence is a.e. in the variables \((v_1,\ldots ,v_m) \in [0,T]^m\). Moreover, the convergents are uniformly bounded by \(\sup _\ell \Vert f_\ell \Vert _\infty \).
Proof
The second statement holds by uniform boundedness of \(f_\ell \) and the fact that
We will prove pointwise convergence on the subset
of \([0,T]^m\) of full Lebesgue measure. For \((v_1,\ldots ,v_m) \in [0,T]^m_*\), we may, without loss of generality, start the sequence when \(\ell \) is already large enough so that \([v^-_{i;\ell },v^+_{i;\ell }) \cap [v^-_{j;\ell },v^+_{j;\ell }) = \varnothing \) for \(i \ne j\), where we are including \(v_0 {:}{=}s\) and \(v_{m+1} {:}{=}t\) in this requirement. By the mean value theorem applied individually to each \(u_k\), there exist \(w_{k;\ell } \in (v^-_{k;\ell },v^+_{k;\ell })\) s.t.
and
where \(\omega ^f_{(v_1,\ldots ,v_m)}\) is the modulus of continuity of f at the point \((v_1,\ldots ,v_m)\). Both summands on the right hand side above vanish in the limit of \(\ell \rightarrow \infty \), the first by uniform convergence and the second by continuity of the uniform limit of continuous functions. \(\square \)
The next two results constitute the core of our argument. They both rely on the same induction used to reduce the length of consecutive pairings, the base case of which is provided by Lemma 3.5. To illustrate it at level 4, letting Y be a stochastic process (which below will be taken to be \(X^\ell \) and X) we have for \(\alpha \ne \beta \)
by the shuffle property (8), using identical distribution of components to group together \(2{\mathbb {E}} \mathcal {S}(Y)^{\alpha \alpha \beta \beta }_{st} = {\mathbb {E}} \mathcal {S}(Y)^{\alpha \alpha \beta \beta }_{st} + {\mathbb {E}} \mathcal {S}(Y)^{\beta \beta \alpha \alpha }_{st}\) (and similar on the right hand side), and using independence of components to write \({\mathbb {E}}[\mathcal {S}(Y)_{st}^{\alpha \alpha }\mathcal {S}(Y)_{st}^{\beta \beta }] = {\mathbb {E}}\mathcal {S}(Y)^{\alpha \alpha }_{st} \cdot {\mathbb {E}} \mathcal {S}(Y)^{\beta \beta }_{st}\). While the left hand side contains a sequence of two consecutive pairs, only sequences of consecutive pairs of length one appear on the right.
Lemma 3.8
(Dominating function). For \(P \in {\mathcal {P}}^n_m\) it holds that the integrand of the outermost integral of \(P^\ell _{st}\) expressed in the nested form (50), is absolutely bounded by an integrable function, uniformly in \(\ell \) and on \(\Delta ^m[s,t]\), so that \(|P^\ell _{st}|\lesssim (t-s)^{2(n-m)H'}\) for any \(1/4< H' < H\).
Proof
We begin by bounding expectations corresponding to non-consecutive pairings. As done in the proof of [3, Theorem 31], we now consider the terms
in three different cases: for \(u^-_\ell = v^-_\ell \)
By Cauchy-Schwarz the same estimate as above holds in the case \(u^+_\ell = v^-_\ell \), with a constant in the second inequality given by the fact that \(v-u \le 2\varrho _\ell \). Let \(u^+_\ell < v^-_\ell \): we have, by (9) and for any \(H'\) as in the statement
In the second-last inequality we have used that there exists some L s.t. for all \(\ell \ge L\)
for all \(\vartheta \in [\varrho _\ell , 1/2]\).
We now consider terms corresponding to maximal sequences of consecutive pairings, i.e.
It is always possible (e.g. by Kolmogorov’s extension theorem) to add independent components to X. With this in mind, by Wick’s theorem we may write the above integral as \({\mathbb {E}}\mathcal {S}(X^\ell )_{st}^{\alpha _1 \alpha _1 \ldots \alpha _k \alpha _k}\) with \(\alpha _i \ne \alpha _j\) for all \(i \ne j\). By the shuffle identity (8) we have
When shuffling we have separated the cases in which all \(\alpha _h \alpha _h\) and \(\beta \beta \) occur as consecutive pairs, from those in which at least one such pair is separated. We now take expectations: note that both independence and equal distribution of components are used.
where we are summing over a finite number of diagrams Q whose longest sequence of consecutive pairings contains k pairs or fewer.
We now prove the statement in the case in which P has no single nodes, by induction on n. For \(n = 0\), \(P^\ell _{st} = \varnothing ^\ell _{st} \equiv 1\) there is nothing to show. Let \(n \ge 1\), and assume we have rewritten the integral according to (50) (where the middle integral may be skipped, since there are no Malliavin derivatives). If P is not given by a sequence of n/2 consecutive pairs, all maximal sequences of consecutive pairs in P consist of fewer than n pairs, and that thus the inductive hypothesis applies to them: this means that for each such sequence Q with k pairs, \(|Q^\ell _{uv}| \lesssim (v-u)^{2kH'}\). Using the bounds for the first two types of integrand derived in the first part of this proof, the statement for P then follows from Proposition 3.1 applied in the modified case of Remark 3.2 and with exponent \(H'\). Assume now \(n = 2(k+1)\) and let P be given by the diagram consisting of \(k+1\) consecutive pairs: the only thing needed to conclude the induction is the bound. This follows from (54) thanks to the inductive hypothesis and the boundedness statement of Lemma 3.5.
Finally, we consider the general case in which P may have single nodes. This follows again by writing \(P^\ell _{st}\) in nested form, bounding terms corresponding to non-consecutive pairings as done above, and bounding the middle integral in (50) thanks to the boundedness statement of Lemma 3.7. When invoking this lemma, \(f_\ell \) is going to be a product of terms of the form (52) (with the extrema s and t replaced with variables \(u_i\) and \(u_j\) already integrated in the outer or middle integral), which as already proved is bounded by \(\lesssim (t-s)^{2H'k}\): this yields the required bound overall. \(\square \)
Proposition 3.9
(Convergence). The functions \([0,T]^m \rightarrow {\mathbb {R}}\) of Definition 3.3 individually converge a.e. to those of Definition 2.1: for \(P \in {\mathcal {P}}^n_m\) it holds that
Moreover \(|P_{st}| \lesssim |P|_{st}\) (the integrals of Proposition 3.1) uniformly on \(\Delta ^m[s,t]\).
Proof
The inequality is an absolute estimate of \(P_{st}\) using (9) and (10). The structure of the proof of the first statement closely mirrors that of the previous lemma: we first consider the case in which P does not have single nodes. For \(u^-_\ell < v^-_\ell \)
for some \({\overline{u}} \in (u^-_\ell ,u^+_\ell )\), \({\overline{v}} \in (v^-_\ell ,v^+_\ell )\), by the intermediate value theorem applied twice. Pointwise convergence \({\mathbb {E}}[\dot{X}_u^\ell \dot{X}^\ell _v] \rightarrow \partial _{12}R(u,v)\) then holds by continuity of \(\partial _{12}R\) and thanks to the fact that for any \(u < v\) there exists L s.t. \(u^-_\ell < v^-_\ell \) for all \(\ell \ge L\). This takes care of convergence of terms corresponding to non-consecutive pairings (of course, the same holds for consecutive pairings, but is not useful since \(\partial _{12}R(u,v)\) may not be integrable in this case).
We now proceed by induction on n. For \(n = 0\) there is nothing to prove, so let \(n \ge 1\) and first consider the case in which P is not given by a sequence of n/2 consecutive pairs: the statement follows by dominated convergence applied to the outer integral in (50), by the above and the inductive hypothesis applied to sequences of consecutive nodes of length less than n, in conjunction with Lemma 3.8. Let now \(n = 2(k+1)\) and let P be given by the diagram consisting of \(k+1\) consecutive pairs: recalling the argument (and indexing notation) of the previous proof, we have \(P_{st}^\ell = {\mathbb {E}}\mathcal {S}(X^\ell )_{st}^{\alpha _1 \alpha _1 \ldots \alpha _k \alpha _k \beta \beta }\), which is convergent since \(\mathcal {S}(X^\ell )_{st} \rightarrow \mathcal {S}(X)_{st}\) in \(L^2\). By the same calculation of (53) applied to X instead of to \(X^\ell \), and taking expectations
We now expand the product: by the inductive hypothesis and Lemma 3.5, and using Fubini’s theorem we have (setting \(u_0 =s = w_0\))
Note that the use of Fubini’s theorem is justified in view of (10) applied to absolutely bound each integral above, and Proposition 3.1. Writing
we expand each summand:
![](http://media.springernature.com/lw626/springer-static/image/art%3A10.1007%2Fs00440-023-01255-z/MediaObjects/440_2023_1255_Equ114_HTML.png)
It now follows by substitution into the sum \(\sum _{j = 0}^k\) and simplifying in (56) that \(\lim _\ell P^\ell _{st} = P_{st}\).
Finally, we consider diagrams that contain single nodes. In order to invoke Lemma 3.7 we must argue that \(f_\ell \rightarrow f\) uniformly (uniform boundedness holds by the previous lemma). This again follows from the fact that \(f_\ell \) can be written as a product of expected signatures of \(X^\ell \), each of which converges uniformly in \(\ell \) as a function of its extrema: recalling the notations for truncation and projection introduced in Sect. 1 and the definition of inhomogeneous p-variation distance [21, §8.1.2], we have
![](http://media.springernature.com/lw413/springer-static/image/art%3A10.1007%2Fs00440-023-01255-z/MediaObjects/440_2023_1255_Equ115_HTML.png)
for \(p > (1/H) \vee n\), where we have used [18, Theorem 1]. The statement now follows once again by dominated convergence and Fubini’s theorem. \(\square \)
We are ready to put it all together:
Proof of Theorem 2.3
In (57) we have used Stroock’s formula (23), which is possible since \(\mathcal {S}(X)_{st}^{\gamma _1,\ldots ,\gamma _n} \in {\mathbb {D}}^{\infty ,2}\): this is because \(\mathcal {S}(X^\ell )_{st} \rightarrow \mathcal {S}(X)_{st}\) in \(\bigoplus _{k \le n}{\mathscr {W}}^k\) which is closed in \(L^2 \Omega \). In (58) we have used that convergence of \(\mathcal {S}(X^\ell )_{st}\) actually holds in \({\mathbb {D}}^{\infty ,2}\), since the norm of \({\mathbb {D}}^{\infty ,2}\) is dominated by the \(L^2\) norm in bounded Wiener chaos [35, Proposition 1.2.2]. (59) uses Lemma 3.4 and (60) is just the statement (required by our definition of membership of a function to \({\mathcal {H}}^{\otimes m}\) Definition 1.1) that \(P_{st}^{\ell ;\gamma _1,\ldots ,\gamma _n}\) converges a.e. boundedly to \(P^\ell _{st}\), which holds by Proposition 3.9 and Lemma 3.8. As argued in the previous two proofs, \(P_{st}^{\gamma _1,\ldots ,\gamma _n}\) can always be expressed as the expected signature evaluated on a word, up to augmenting X with independent copies of itself: this can be used to infer that each \(P_{st}^{\gamma _1,\ldots ,\gamma _n}\)—not just their sum—belongs to \({\mathbb {D}}^{\infty ,2}({\mathcal {H}}^{\otimes m})\). This concludes the proof of the main result. \(\square \)
5 Conclusions and further directions
By providing a single formula for the expected signature of fractional Brownian motion that holds for any Hurst parameter \(H \in (1/4,1)\), this article closes a gap in the literature left open by [3]. Along the way, we have had opportunity to consider numerous other aspects of our computation, such as similar formulae for higher levels of the Wiener chaos expansion of the signature, and other examples of Gaussian processes.
We believe this work recommends a variety of applications and further investigations. First and foremost, it would be interesting to write stochastic Taylor expansions as suggested by Example 2.8, under precise conditions on the vector fields, and by providing bounds on the mean square error. Making this calculation rigorous and providing precise asymptotic estimates such as those in [37] would be an interesting result, which could be applied to approximation problems for Gaussian RDEs on manifolds such as those considered in [1] for SDEs (although for this precise problem, the joint signature \(\mathcal {S}(X,t)\) would have to be considered). A further step would involve proving conditional versions of the results in this paper, which would make it possible to estimate the error generated by multiple steps in an Euler scheme.
The fact that (e.g. for fBm) the integral \({\mathbb {E}}\mathcal {S}(X)^{\alpha _1\alpha _1 \cdots \alpha _k\alpha _k}_{st}\) with \(\alpha _i \ne \alpha _j\) is actually convergent for any \(H > 0\) raises the question of whether something can be said about the sequence \(\mathcal {S}(X^\ell )^{\alpha _1\alpha _1 \cdots \alpha _k\alpha _k}_{st}\), i.e. by considering the particular word on which \(\mathcal {S}(X^\ell )\), which is not convergent in probability for \(H \le 1/4\), is evaluated.
It would be interesting to express the expected signature of a Gaussian process as the exponential of a formal series of tensors, thus computing its signature cumulants [8]: this is how the expected signature of Brownian motion (2) is usually presented (with the series a finite sum), but the analogous formulation for Gaussian processes that are not martingales appears more difficult to write down.
A more computational goal, though not one that appears trivial, is to explicitly compute Theorem 2.3 for certain semimartingales, such as the Brownian bridge, for which the integrals are all analytically solvable. An interesting question is how the relationship between Brownian motion and Brownian bridge is reflected by their expected signatures. It would also be helpful to see whether similar formulae to ours can be made available for non-centred Gaussian processes, e.g. general Ornstein–Uhlenbeck processes. Finally, it would be interesting to try to apply the main theorem to the Riemann–Liouville process Example 2.12.
Data availability
The research presented in this manuscript is theoretical in nature and does not refer to empirical data. All necessary information is contained in the cited references.
References
Armstrong, J., Brigo, D., Rossi Ferrucci, E.: Optimal approximation of SDEs on submanifolds: the Itô-vector and Itô-jet projections. Proc. Lond. Math. Soc. (3) 119(1), 176–213 (2019)
Baudoin, F.: An Introduction to the Geometry of Stochastic Flows. Published by Imperial College Press and distributed by World Scientific Publishing Co. (2004)
Baudoin, F., Coutin, L.: Operators associated with a stochastic differential equation driven by fractional Brownian motions. Stochast. Process. Appl. 117(5), 550–574 (2007)
Boedihardjo, H.: Signatures of Gaussian Processes and SLE Curves. Ph.D. thesis, University of Oxford (2014)
Boedihardjo, H., Diehl, J., Mezzarobba, M., Ni, H.: The expected signature of brownian motion stopped on the boundary of a circle has finite radius of convergence. Bull. Lond. Math. Soc. 53(1), 285–299 (2021)
Boedihardjo, H., Geng, X., Lyons, T., Yang, D.: The signature of a rough path: Uniqueness. In: Advances in Mathematics (New York, 1965), vol. 293, pp. 720–737 (2016)
Boedihardjo, H., Papavasiliou, A., Qian, Z.: Expected signature of gaussian processes with strictly regular kernels. arXiv:1304.4930 (2013)
Bonnier, P., Oberhauser, H.: Signature cumulants, ordered partitions, and independence of stochastic processes. Bernoulli 26(4), 2727–2757 (2020)
Cass, T., Friz, P.: Densities for rough differential equations under Hörmander’s condition. Ann. Math. (2) 171(3), 2115–2141 (2010)
Cass, T., Lim, N.: A Stratonovich-Skorohod integral formula for Gaussian rough paths. Ann. Probab. 47(1), 1–60 (2019)
Cass, T., Lim, N.: Skorohod and rough integration for stochastic differential equations driven by Volterra processes. L’Institut Henri Poincare, Annales B: Probabilites et Statistiques (2021)
Cass, T., Litterer, C., Lyons, T.: Integrability and tail estimates for Gaussian rough differential equations. Ann. Probab. 41(4), 3026–3050 (2013)
Chevyrev, I., Lyons, T.: Characteristic functions of measures on geometric rough paths. Ann. Probab. 44(6), 4049–4082 (2016)
Chevyrev, I., Oberhauser, H.: Signature moments to characterize laws of stochastic processes. J. Mach. Learn. Res. 23, 1–42 (2022)
Coutin, L., Qian, Z.: Stochastic analysis, rough path analysis and fractional Brownian motions. Probab. Theory Relat. Fields 122(1), 108–140 (2002)
Fawcett, T.: Problems in stochastic analysis: connections between rough paths and non-commutative harmonic analysis. Ph.D. thesis, University of Oxford (2003)
Ferrucci, E.R.: Rough path perspectives on the Itô-Stratonovich dilemma. Ph.D. thesis, Imperial College London (2022). https://spiral.imperial.ac.uk/handle/10044/1/96036
Friz, P., Riedel, S.: Convergence rates for the full Gaussian rough paths. Ann. Inst. Henri Poincaré Probab. Stat. 50(1), 154–194 (2014)
Friz, P., Victoir, N.: Differential equations driven by Gaussian signals. Ann. Inst. Henri Poincaré Probab. Stat. 46(2), 369–413 (2010)
Friz, P.K., Shekhar, A.: General rough integration, Lévy rough paths and a Lév-Kintchine-type formula. Ann. Probab. 45(4), 2707–2765 (2017)
Friz, P.K., Victoir, N.B.: Multidimensional stochastic processes as rough paths, volume 120 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (2010). Theory and applications
Hambly, B., Lyons, T.: Uniqueness for the signature of a path of bounded variation and the reduced path group. Ann. Math. 171(1), 109–167 (2010)
Huang, S.T., Cambanis, S.: Stochastic and multiple wiener integrals for gaussian processes. Ann. Probab. 6(4), 585–614 (1978)
Jolis, M.: On the Wiener integral with respect to the fractional Brownian motion on an interval. J. Math. Anal. Appl. 330(2), 1115–1127 (2007)
Kloeden, P.E., Platen, E.: Numerical Solution of Stochastic Differential Equations. Applications of Mathematics (New York), vol. 23. Springer, Berlin (1992)
Lévy, P.: Random Functions: General Theory with Special Reference to Laplacian Random Functions. University of California Publications in Statistics. University of California Press, Berkeley (1953)
Li, S., Ni, H.: Expected signature of stopped Brownian motion on \(d\)-dimensional \({C}^{2,\alpha }\)-domains has finite radius of convergence everywhere: \(2 \le d \le 8\). J. Funct. Anal. 282(12), 109447 (2022)
Lyons, T., Caruana, M., Lévy, T.: Differential equations driven by rough paths Ecole d’ de Probabilités de Saint-Flour XXXIV-2004 (2007)
Lyons, T., Ni, H.: Expected signature of Brownian motion up to the first exit time from a bounded domain. Ann. Probab. 43(5), 2729–2762 (2015)
Lyons, T., Qian, Z.: System Control and Rough Paths. Oxford Mathematical Monographs. Clarendon Press, Oxford (2002)
Lyons, T., Victoir, N.: Cubature on Wiener space, vol. 460, pp. 169–198 (2004). Stochastic analysis with applications to mathematical finance
Mandelbrot, B.B., Ness, J.W.V.: Fractional Brownian motions, fractional noises and applications. SIAM Rev. 10(4), 422–437 (1968)
Marinucci, D., Robinson, P.M.: Alternative forms of fractional Brownian motion. J. Stat. Plan. Inference 80(1), 111–122 (1999)
Nourdin, I., Peccati, G.: Normal Approximations with Malliavin Calculus: From Stein’s Method to Universality. Cambridge Tracts in mathematics; 192. Cambridge University Press, Cambridge (2012)
Nualart, D.: The Malliavin Calculus and Related Topics. Probability and Its Applications, 2nd edn (2006)
Nualart, D., Tindel, S.: A construction of the rough path above fractional Brownian motion using Volterra’s representation. Ann. Probab. 39(3), 1061–1096 (2011)
Passeggeri, R.: On the signature and cubature of the fractional Brownian motion for h\(>\)12. Stochast. Process. Appl. 130(3), 1226–1257 (2020)
Acknowledgements
The research of both authors is currently supported by EPSRC Programme Grant EP/S026347/1. The research of Emilio Ferrucci, while at Imperial College London, was supported by the Centre for Doctoral Training in Financial Computing & Analytics EP/L015129/1 and later by the Strategic Project Grant EP/W522673/1.
Author information
Authors and Affiliations
Contributions
Thomas Cass and Emilio Ferrucci are both authors of this paper. Emilio Ferrucci is the corresponding author.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no conflicts of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
A Equivalence with [3] for the expected signature of fBm at level 4
A Equivalence with [3] for the expected signature of fBm at level 4
In [3, Theorem 34] the authors check that the explicit integral expressions for \({\mathbb {E}} \mathcal {S}(X)^{(n)}_{01}\) with \(n = 2,4\), previously derived for X a fractional Brownian motion of Hurst parameter \(H \in (1/2, 1)\), continue to be valid for \(H \in (1/4, 1)\). This is done by performing transformations on \({\mathbb {E}} \mathcal {S}(X^\ell )_{01}\) before passing to the limit. This calculation is specific to levels 2 and 4 and to fBm, and for this reason the expression for the expected signature is not immediately comparable to that obtained as a special case of Theorem 2.3. We devote this appendix to checking that the two agree.
Level 2 is easy to check, since (31) reduces to \({\updelta }^{\alpha \beta }/2\). Referring to Example 2.7, we consider level 4 using (39): starting with the first integral above, we have
where the last identity can be verified by showing that the difference of the two integrands is odd about the point \(u = 1/2\), which in turn is seen by observing that
has zero derivative and vanishes at \(u = 1/2\). This shows equality with [3, coefficient of the first term of \(\Gamma ^2_H\) in Corollary 33]. We proceed with the second integral in Example 2.7:
For the third integral we have
In the integration by parts we have used that \(\lim _{z\rightarrow v^+} (z^{2\,H} - v^{2\,H})(z-v)^{2\,H-1} = 0\) which can be shown by using that for \(1/4< H < 1/2\)
since \(z^{2\,H}-v^{2\,H} < (z-v)^{2\,H}\) for \(0< v < z\) and \(H < 1/2\). In the last identity we have used a similar symmetry argument as the one used in the first calculation, solved trivial integrals and rearranged terms. Note how this calculation would have been simpler if \(H \ge 1/2\) since it would not have been necessary to integrate by parts to avoid integrating \((z-v)^{2H-2}\) (cf. [3, Lemma 32]).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Cass, T., Ferrucci, E. On the Wiener chaos expansion of the signature of a Gaussian process. Probab. Theory Relat. Fields 189, 909–947 (2024). https://doi.org/10.1007/s00440-023-01255-z
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00440-023-01255-z