Annales de l'Institut Henri Poincaré, Probabilités et Statistiques

An isomorphism between branched and geometric rough paths

Horatio Boedihardjo and Ilya Chevyrev

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

Abstract

We exhibit an explicit natural isomorphism between spaces of branched and geometric rough paths. This provides a multi-level generalisation of the isomorphism of Lejay–Victoir [J. Differential Equations 225 (2006) 103–133] as well as a canonical version of the Itô–Stratonovich correction formula of Hairer–Kelly [Ann. Inst. Henri Poincaré Probab. Stat. 51 (2015) 207–251]. Our construction is elementary and uses the property that the Grossman–Larson algebra is isomorphic to a tensor algebra.

We apply this isomorphism to study signatures of branched rough paths. Namely, we show that the signature of a branched rough path is trivial if and only if the path is tree-like, and construct a non-commutative Fourier transform for probability measures on signatures of branched rough paths. We use the latter to provide sufficient conditions for a random signature to be determined by its expected value, thus giving an answer to the uniqueness moment problem for branched rough paths.

Résumé

Nous explicitons un isomorphisme naturel entre les espaces de chemins rugueux branchants et géométriques. Ceci fournit une généralisation multi-échelle de l’isomorphisme de Lejay–Victoir [J. Differential Equations 225 (2006) 103–133], ainsi qu’une version canonique de la formule pour le terme correctif d’Itô–Stratonovich d’Hairer et Kelly [Ann. Inst. Henri Poincaré Probab. Stat. 51 (2015) 207–251]. Notre construction est élémentaire et utilise la propriété que l’algèbre de Grossman–Larson est isomorphe à une algèbre tensorielle.

Nous appliquons cet isomorphisme pour étudier la signature des chemins rugueux branchants. Plus précisément, nous montrons que la signature d’un chemin rugueux branchant est triviale si et seulement si le chemin a une structure arborescente, et nous construisons une transformée de Fourier non commutative pour les mesures de probabilités sur les signatures de chemins rugueux branchants. Nous utilisons cette dernière pour donner des conditions suffisantes pour qu’une signature aléatoire soit déterminée par sa valeur moyenne, fournissant ainsi une réponse au problème d’unicité des moments pour les chemins rugueux branchants.

Article information

Source
Ann. Inst. H. Poincaré Probab. Statist., Volume 55, Number 2 (2019), 1131-1148.

Dates
Received: 22 December 2017
Revised: 21 April 2018
Accepted: 24 April 2018
First available in Project Euclid: 14 May 2019

Permanent link to this document
https://projecteuclid.org/euclid.aihp/1557820845

Digital Object Identifier
doi:10.1214/18-AIHP912

Mathematical Reviews number (MathSciNet)
MR3949967

Zentralblatt MATH identifier
07097345

Subjects
Primary: 60H10: Stochastic ordinary differential equations [See also 34F05]
Secondary: 16T05: Hopf algebras and their applications [See also 16S40, 57T05] 60B15: Probability measures on groups or semigroups, Fourier transforms, factorization

Keywords
Branched rough paths Butcher group Signature Non-commutative Fourier transform

Citation

Boedihardjo, Horatio; Chevyrev, Ilya. An isomorphism between branched and geometric rough paths. Ann. Inst. H. Poincaré Probab. Statist. 55 (2019), no. 2, 1131--1148. doi:10.1214/18-AIHP912. https://projecteuclid.org/euclid.aihp/1557820845


Export citation

References

  • [1] A. A. Agračev and R. V. Gamkrelidze. Chronological algebras and nonstationary vector fields. In Problems in Geometry, Vol. 11 (Russian) 135–176, 243. Akad. Nauk SSSR, Vsesoyuz. Inst. Nauchn. i Tekhn. Informatsii, Moscow, 1980.
  • [2] G. B. Arous. Flots et séries de Taylor stochastiques. Probab. Theory Related Fields 81 (1) (1989) 29–77.
    Zentralblatt MATH: 0639.60062
    Digital Object Identifier: doi:10.1007/BF00343737
  • [3] R. Azencott. Formule de Taylor stochastique et développement asymptotique d’intégrales de Feynman. In Seminar on Probability, XVI, Supplement 237–285. Lecture Notes in Math. 921. Springer, Berlin-New York, 1982.
  • [4] C. Bayer, P. K. Friz, P. Gassiat, J. Martin and B. Stemper. A regularity structure for rough volatility. ArXiv e-prints, 2017.
  • [5] H. Boedihardjo. Decay rate of iterated integrals of branched rough paths. Ann. Inst. H. Poincaré Anal. Non Linéaire 35 (4) (2018) 945–969.
    Zentralblatt MATH: 1391.60122
    Digital Object Identifier: doi:10.1016/j.anihpc.2017.09.002
  • [6] H. Boedihardjo, X. Geng, T. Lyons and D. Yang. The signature of a rough path: Uniqueness. Adv. Math. 293 (2016) 720–737.
    Zentralblatt MATH: 1347.60094
    Digital Object Identifier: doi:10.1016/j.aim.2016.02.011
  • [7] Y. Bruned, A. Chandra, I. Chevyrev and M. Hairer. Renormalising SPDEs in regularity structures. ArXiv e-prints, 2017.
  • [8] Y. Bruned, I. Chevyrev, P. K. Friz and R. Preiss. A Rough Path Perspective on Renormalization. ArXiv e-prints, 2017.
  • [9] Y. Bruned, C. Curry and K. Ebrahimi-Fard. Quasi-shuffle algebras and renormalisation of rough differential equations. ArXiv e-prints, 2018.
  • [10] Y. Bruned, M. Hairer and L. Zambotti. Algebraic renormalisation of regularity structures. ArXiv e-prints, 2016.
  • [11] J. C. Butcher. Numerical Methods for Ordinary Differential Equations, 3rd edition. John Wiley & Sons, Ltd., Chichester, 2016. With a foreword by J. M. Sanz-Serna.
    Zentralblatt MATH: 1354.65004
  • [12] T. Cass, C. Litterer and T. Lyons. Integrability and tail estimates for Gaussian rough differential equations. Ann. Probab. 41 (4) (2013) 3026–3050.
    Zentralblatt MATH: 1278.60091
    Digital Object Identifier: doi:10.1214/12-AOP821
    Project Euclid: euclid.aop/1372859772
  • [13] T. Cass and M. Ogrodnik. Tail estimates for Markovian rough paths. Ann. Probab. 45 (4) (2017) 2477–2504.
    Zentralblatt MATH: 06786086
    Digital Object Identifier: doi:10.1214/16-AOP1117
    Project Euclid: euclid.aop/1502438432
  • [14] T. Cass and M. P. Weidner. Tree algebras over topological vector spaces in rough path theory. ArXiv e-prints, 2016.
  • [15] F. Chapoton. Free pre-Lie algebras are free as Lie algebras. Canad. Math. Bull. 53 (3) (2010) 425–437.
    Zentralblatt MATH: 1195.18002
    Digital Object Identifier: doi:10.4153/CMB-2010-063-2
  • [16] F. Chapoton and M. Livernet. Pre-Lie algebras and the rooted trees operad. Int. Math. Res. Not. 8 (2001) 395–408.
    Zentralblatt MATH: 1053.17001
    Digital Object Identifier: doi:10.1155/S1073792801000198
  • [17] K.-T. Chen. Integration of paths, geometric invariants and a generalized Baker–Hausdorff formula. Ann. of Math. (2) 65 (1957) 163–178.
  • [18] I. Chevyrev. Random walks and Lévy processes as rough paths. Probab. Theory Related Fields 170 (3–4) (2018) 891–932.
  • [19] I. Chevyrev and T. Lyons. Characteristic functions of measures on geometric rough paths. Ann. Probab. 44 (6) (2016) 4049–4082.
    Mathematical Reviews (MathSciNet): MR3572331
    Zentralblatt MATH: 1393.60008
    Digital Object Identifier: doi:10.1214/15-AOP1068
    Project Euclid: euclid.aop/1479114270
  • [20] C. Curry, K. Ebrahimi-Fard, S. J. A. Malham and A. Wiese. Lévy processes and quasi-shuffle algebras. Stochastics 86 (4) (2014) 632–642.
    Zentralblatt MATH: 1337.60152
    Digital Object Identifier: doi:10.1080/17442508.2013.865131
  • [21] K. Ebrahimi-Fard, S. J. A. Malham, F. Patras and A. Wiese. The exponential Lie series for continuous semimartingales. Proc. A 471 (2184) (2015) 20150429.
    Zentralblatt MATH: 1371.60113
  • [22] L. Foissy. Finite-dimensional comodules over the Hopf algebra of rooted trees. J. Algebra 255 (1) (2002) 89–120.
    Zentralblatt MATH: 1017.16031
    Digital Object Identifier: doi:10.1016/S0021-8693(02)00110-2
  • [23] G. B. Folland and E. M. Stein. Hardy Spaces on Homogeneous Groups. Mathematical Notes 28. Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1982.
    Zentralblatt MATH: 0508.42025
  • [24] P. Friz and A. Shekhar. General rough integration, Lévy rough paths and a Lévy–Kintchine type formula. Ann. Probab. 45 (4) (2017) 2707–2765.
    Zentralblatt MATH: 06786092
    Digital Object Identifier: doi:10.1214/16-AOP1123
    Project Euclid: euclid.aop/1502438438
  • [25] P. Friz and N. Victoir. Euler estimates for rough differential equations. J. Differential Equations 244 (2) (2008) 388–412.
    Zentralblatt MATH: 1140.60037
    Digital Object Identifier: doi:10.1016/j.jde.2007.10.008
  • [26] P. K. Friz, B. Gess, A. Gulisashvili and S. Riedel. The Jain–Monrad criterion for rough paths and applications to random Fourier series and non-Markovian Hörmander theory. Ann. Probab. 44 (1) (2016) 684–738.
    Zentralblatt MATH: 1347.60097
    Digital Object Identifier: doi:10.1214/14-AOP986
    Project Euclid: euclid.aop/1454423053
  • [27] P. K. Friz and N. B. Victoir. Multidimensional Stochastic Processes as Rough Paths. Cambridge Studies in Advanced Mathematics 120. Cambridge University Press, Cambridge, 2010.
    Zentralblatt MATH: 1193.60053
  • [28] L. Gergely Gyurkó. Numerical methods for approximating solutions to rough differential equations. PhD thesis, University of Oxford, 2008.
  • [29] L. Gergely Gyurkó. Differential equations driven by $\Pi$-rough paths. Proc. Edinb. Math. Soc. (2) 59 (3) (2016) 741–758.
  • [30] A. Giambruno and A. Valenti. On minimal $*$-identities of matrices. Linear Multilinear Algebra 39 (4) (1995) 309–323.
    Zentralblatt MATH: 0944.15013
    Digital Object Identifier: doi:10.1080/03081089508818405
  • [31] M. Gubinelli. Ramification of rough paths. J. Differential Equations 248 (4) (2010) 693–721.
    Zentralblatt MATH: 1315.60065
    Digital Object Identifier: doi:10.1016/j.jde.2009.11.015
  • [32] M. Hairer. A theory of regularity structures. Invent. Math. 198 (2) (2014) 269–504.
    Zentralblatt MATH: 1332.60093
    Digital Object Identifier: doi:10.1007/s00222-014-0505-4
  • [33] M. Hairer and D. Kelly. Geometric versus non-geometric rough paths. Ann. Inst. Henri Poincaré Probab. Stat. 51 (1) (2015) 207–251.
    Zentralblatt MATH: 1314.60115
    Digital Object Identifier: doi:10.1214/13-AIHP564
    Project Euclid: euclid.aihp/1421244404
  • [34] B. Hambly and T. Lyons. Uniqueness for the signature of a path of bounded variation and the reduced path group. Ann. of Math. (2) 171 (1) (2010) 109–167.
    Zentralblatt MATH: 1276.58012
    Digital Object Identifier: doi:10.4007/annals.2010.171.109
  • [35] W. Hebisch and A. Sikora. A smooth subadditive homogeneous norm on a homogeneous group. Studia Math. 96 (3) (1990) 231–236.
    Zentralblatt MATH: 0723.22007
    Digital Object Identifier: doi:10.4064/sm-96-3-231-236
  • [36] A. Lejay and N. Victoir. On $(p,q)$-rough paths. J. Differential Equations 225 (1) (2006) 103–133.
    Zentralblatt MATH: 1097.60048
    Digital Object Identifier: doi:10.1016/j.jde.2006.01.018
  • [37] T. Lyons and N. Victoir. Cubature on Wiener space. Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. 460 (2041) (2004) 169–198. Stochastic analysis with applications to mathematical finance.
    Zentralblatt MATH: 1055.60049
    Digital Object Identifier: doi:10.1098/rspa.2003.1239
  • [38] T. Lyons and N. Victoir. An extension theorem to rough paths. Ann. Inst. H. Poincaré Anal. Non Linéaire 24 (5) (2007) 835–847.
    Zentralblatt MATH: 1134.60047
    Digital Object Identifier: doi:10.1016/j.anihpc.2006.07.004
  • [39] T. J. Lyons. Differential equations driven by rough signals. Rev. Mat. Iberoam. 14 (2) (1998) 215–310.
    Zentralblatt MATH: 0923.34056
    Digital Object Identifier: doi:10.4171/RMI/240

Institut Henri Poincaré

Annales de l'Institut Henri Poincaré, Probabilités et Statistiques

New content alerts

Email RSS ToC RSS Article
  • You have access to this content.
  • You have partial access to this content.
  • You do not have access to this content.
Turn Off MathJax

What is MathJax?

More like this

+ See more