Locality of rough path lifts
Pith reviewed 2026-06-26 13:47 UTC · model grok-4.3
The pith
No local homogeneous rough path lift exists for all γ-Hölder paths with γ ≤ 1/2.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Every Hölder continuous path admits a geometric rough path lift, yet no local homogeneous lift can be defined on the space of all γ-Hölder paths for γ ≤ 1/2. Equivalently, no Lévy area exists that is simultaneously bounded, free of further regularity assumptions, and either local and homogeneous or time translation invariant. An unbounded local time translation invariant bilinear Lévy area can nevertheless be constructed on every continuous path. For fractional Brownian motion, local square-integrable lifts exist only when H > 1/4 and are then stochastic translations of the canonical lift; under additional invariance requirements only the canonical lift survives except at H = 1/3.
What carries the argument
The locality condition on a rough path lift, which forces the lifted increment over [s,t] to be determined solely by the path increments inside [s,t], together with the structural requirements of homogeneity or time translation invariance.
If this is right
- Any attempt to lift several paths simultaneously while preserving locality must either drop homogeneity or accept unbounded lifts.
- For fractional Brownian motion with Hurst index H ≤ 1/4 no local square-integrable rough path lift exists at all.
- When H > 1/4 every local square-integrable lift is a stochastic translation of the canonical rough path.
- Imposing invariance under time translation, scaling and coordinate permutation selects only the canonical lift except at H = 1/3, where a one-parameter family remains.
- Boundedness is essential for the negative results; without it a local time translation invariant Lévy area exists on all continuous paths.
Where Pith is reading between the lines
- Removing the homogeneity assumption permits local but necessarily unbounded Lévy areas on every continuous path.
- Applications that demand locality for physical or modeling reasons may have to tolerate either unbounded lifts or the loss of homogeneity.
- The same locality-homogeneity tension is likely to appear for other stochastic processes whose sample paths are rougher than Brownian motion.
- The classification for fractional Brownian motion suggests that very rough paths cannot admit local integrable lifts without additional randomness that breaks homogeneity.
Load-bearing premise
The lift or Lévy area must remain homogeneous or time translation invariant in addition to being local and bounded.
What would settle it
Exhibiting one bounded local homogeneous Lévy area defined on the space of all continuous paths would disprove the main non-existence theorem.
Figures
read the original abstract
Every H\"older continuous path $X$ admits a geometric rough path lift $\boldsymbol{X}$ by the Lyons-Victoir extension theorem. A natural question that emerges when lifting more than one path at once is that of locality, namely whether the lift $\boldsymbol{X}_{s,t}$ only depends on the increments $X_{s,u}$, $u \in [s,t]$. We investigate the locality of rough path lifts in deterministic and stochastic settings. On the deterministic side, we show that no local, homogeneous rough path lift can be defined on $\gamma$-H\"older paths for all $\gamma\leq 1/2$. More strongly, we show that no L\'evy area can be defined which is at the same time bounded, with no further regularity assumptions, and either local and homogeneous or time translation-invariant. We moreover show that the boundedness requirement is sharp: an unbounded, local, time translation-invariant, and bilinear L\'evy area can be defined on all continuous paths. On the stochastic side, we classify all local, square-integrable rough path lifts of multi-dimensional fractional Brownian motion with Hurst parameter $H \in (0,1/2]$. For $H \leq 1/4$, we show that no such lifts exist, while for $H>1/4$, we show that all such lifts are stochastic translations of the canonical rough path. We further refine the classification by requiring invariance in law under time translation, scaling, and coordinate permutation, and show that only the canonical lift satisfies these constraints except at $H=1/3$, for which there is a one-parameter family of lifts.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that no local, homogeneous rough path lift can be defined on γ-Hölder paths for all γ ≤ 1/2. More strongly, no bounded Lévy area exists that is bounded with no further regularity assumptions and is either local and homogeneous or time translation-invariant. An unbounded, local, time translation-invariant, and bilinear Lévy area is constructed on all continuous paths. For multi-dimensional fractional Brownian motion with Hurst parameter H ∈ (0,1/2], all local square-integrable rough path lifts are classified: none exist for H ≤ 1/4, while for H > 1/4 all such lifts are stochastic translations of the canonical rough path. Under additional invariance in law under time translation, scaling, and coordinate permutation, only the canonical lift satisfies the constraints except at H=1/3, where a one-parameter family exists.
Significance. If the results hold, this work is significant for rough path theory by establishing fundamental obstructions to constructing local lifts under homogeneity or time-translation invariance for paths of low regularity (γ ≤ 1/2). The explicit separation of the homogeneous case from the merely local/time-invariant case, together with the concrete unbounded counter-example when homogeneity is dropped, demonstrates sharpness of the boundedness requirement. The complete classification of local square-integrable lifts for fBM, including the refinement under symmetry constraints, provides a precise picture that can inform applications in stochastic analysis. The paper explicitly credits the structural assumptions and exhibits the counter-example as a strength.
minor comments (3)
- [Introduction] The introduction could briefly recall the definition of a geometric rough path lift and the Lyons-Victoir theorem to make the locality question more self-contained for readers outside the immediate subfield.
- [Stochastic classification section] In the stochastic classification, the one-parameter family at H=1/3 is stated to exist but an explicit parametrization (e.g., via a scalar multiplier on the Lévy area) would improve readability.
- Notation for the Lévy area (e.g., the antisymmetric part of the second-level increment) is used without a dedicated preliminary subsection; a short display equation defining it would aid clarity.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript and the recommendation of minor revision. The provided summary accurately reflects the main results on the non-existence of local homogeneous lifts for γ-Hölder paths with γ ≤ 1/2, the sharpness via the unbounded counter-example, and the classification of local square-integrable lifts for fractional Brownian motion. We appreciate the recognition of the work's significance for rough path theory.
Circularity Check
No significant circularity
full rationale
The paper presents deterministic non-existence theorems for bounded local homogeneous (or time-translation-invariant) Lévy areas on γ-Hölder paths with γ ≤ 1/2, together with a stochastic classification for fBM lifts. These are established via explicit mathematical arguments that separate the homogeneous case from the merely local case and exhibit an unbounded counter-example when homogeneity is dropped. No self-definitional reductions, fitted inputs renamed as predictions, load-bearing self-citations, or ansatzes imported via citation appear in the derivation chain. The results are self-contained against external mathematical benchmarks and do not reduce to their own inputs by construction.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Lyons-Victoir extension theorem provides at least one geometric rough path lift for Hölder paths
- domain assumption Fractional Brownian motion is a centered Gaussian process with covariance determined by Hurst parameter H
Reference graph
Works this paper leans on
-
[1]
The Annals of Probability , number =
Terry Lyons and Hao Ni , title =. The Annals of Probability , number =. 2015 , doi =
2015
-
[2]
and Seiringer, Robert , title =
Frank, Rupert L. and Seiringer, Robert , title =. Around the research of Vladimir Maz'ya. I. Function spaces , isbn =. 2010 , publisher =. doi:10.1007/978-1-4419-1341-8_6 , keywords =
-
[3]
Lyons, Terry , title =. Proc. R. Soc. Lond., Ser. A , issn =. 1991 , language =. doi:10.1098/rspa.1991.0017 , keywords =
-
[4]
1938 , language =
Levy, Paul , title =. 1938 , language =
1938
-
[5]
Hairer, M. , title =. Invent. Math. , issn =. 2014 , language =. doi:10.1007/s00222-014-0505-4 , keywords =
-
[6]
Baker, Charles R. , title =. Trans. Am. Math. Soc. , issn =. 1974 , language =. doi:10.2307/1996567 , keywords =
-
[7]
1988 , publisher =
Barnsley, Michael , title =. 1988 , publisher =
1988
-
[8]
Faber, G. , title =. Math. Ann. , issn =. 1910 , language =. doi:10.1007/BF01456327 , url =
-
[9]
Fonctions continues sans d
Ces. Fonctions continues sans d. Arch. der Math. u. Phys. (3) , volume =. 1906 , language =
1906
-
[10]
Hairer, Martin , title =. Ann. Probab. , issn =. 2025 , language =. doi:10.1214/24-AOP1756 , keywords =
-
[11]
Bruned, Y. and Chevyrev, I. and Friz, P. K. and Prei. A rough path perspective on renormalization , fjournal =. J. Funct. Anal. , issn =. 2019 , language =. doi:10.1016/j.jfa.2019.108283 , keywords =
-
[12]
Chandra, Ajay and Chevyrev, Ilya and Hairer, Martin and Shen, Hao , TITLE =. Publ. Math. Inst. Hautes \'. 2022 , PAGES =. doi:10.1007/s10240-022-00132-0 , URL =
-
[13]
Lyons, Terry and Victoir, Nicolas , TITLE =. Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. , FJOURNAL =. 2004 , NUMBER =. doi:10.1098/rspa.2003.1239 , URL =
-
[14]
Signature moments to characterize laws of stochastic processes , year =
Chevyrev, Ilya and Oberhauser, Harald , copyright =. Signature moments to characterize laws of stochastic processes , year =
-
[15]
Hu, Yaozhong and Lu, Fei and Nualart, David , TITLE =. J. Funct. Anal. , FJOURNAL =. 2014 , NUMBER =. doi:10.1016/j.jfa.2013.09.024 , URL =
-
[16]
and Shepp, L
Hoffmann-J rgensen, J. and Shepp, L. A. and Dudley, R. M. , TITLE =. Ann. Probab. , FJOURNAL =. 1979 , NUMBER =
1979
-
[17]
Broux, Lucas and Zambotti, Lorenzo , TITLE =. J. Funct. Anal. , FJOURNAL =. 2022 , NUMBER =. doi:10.1016/j.jfa.2022.109644 , URL =
-
[18]
Signature cumulants, ordered partitions, and independence of stochastic processes , year =
Bonnier, Patric and Oberhauser, Harald , copyright =. Signature cumulants, ordered partitions, and independence of stochastic processes , year =
-
[19]
Norros, Ilkka and Saksman, Eero , title =. Stochastic Processes Appl. , issn =. 2009 , language =. doi:10.1016/j.spa.2009.05.004 , keywords =
-
[20]
Fermeture en probabilité de certains sous-espaces d’un espace L^2 : Application aux chaos de Wiener , author =. 1969 , journal =. doi:10.1007/bf00534116 , issn =
-
[21]
Bulletin of the London Mathematical Society , volume =
Boedihardjo, Horatio and Diehl, Joscha and Mezzarobba, Marc and Ni, Hao , title =. Bulletin of the London Mathematical Society , volume =. doi:https://doi.org/10.1112/blms.12420 , url =. https://londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/blms.12420 , year =
-
[22]
Expected signature of stopped Brownian motion on d -dimensional
Siran Li and Hao Ni , keywords =. Expected signature of stopped Brownian motion on d -dimensional. Journal of Functional Analysis , volume =. 2022 , issn =. doi:https://doi.org/10.1016/j.jfa.2022.109447 , url =
-
[23]
The Annals of Probability , number =
Elisa Alòs and Olivier Mazet and David Nualart , title =. The Annals of Probability , number =. 2001 , doi =
2001
-
[24]
Jolis, Maria , TITLE =. J. Math. Anal. Appl. , FJOURNAL =. 2007 , NUMBER =. doi:10.1016/j.jmaa.2006.07.100 , URL =
-
[25]
Annales de l'Institut Henri Poincaré, Probabilités et Statistiques , number =
Peter Friz and Sebastian Riedel , title =. Annales de l'Institut Henri Poincaré, Probabilités et Statistiques , number =. 2014 , doi =
2014
-
[26]
Towghi, Nasser , TITLE =. JIPAM. J. Inequal. Pure Appl. Math. , FJOURNAL =. 2002 , NUMBER =
2002
-
[27]
INTEGRABILITY AND TAIL ESTIMATES FOR GAUSSIAN ROUGH DIFFERENTIAL EQUATIONS , volume =
Cass, Thomas and Litterer, Christian and Lyons, Terry , address =. INTEGRABILITY AND TAIL ESTIMATES FOR GAUSSIAN ROUGH DIFFERENTIAL EQUATIONS , volume =. The Annals of probability , keywords =
-
[28]
Nagoya mathematical journal , keywords =
Stochastic Differential Equations in a Differentiable Manifold , volume =. Nagoya mathematical journal , keywords =. 1950 , author =
1950
-
[29]
Problems in non-linear analysis , pages =
Wiener integration on certain manifolds , year =. Problems in non-linear analysis , pages =
-
[30]
Uniqueness for the signature of a path of bounded variation and the reduced path group , volume =
Hambly, Ben and Lyons, Terry , address =. Uniqueness for the signature of a path of bounded variation and the reduced path group , volume =. Annals of mathematics , language =
-
[31]
Friz and Atul Shekhar , title =
Peter K. Friz and Atul Shekhar , title =. The Annals of Probability , number =. 2017 , doi =
2017
-
[32]
The signature of a rough path: Uniqueness , volume =
Boedihardjo, Horatio and Geng, Xi and Lyons, Terry and Yang, Danyu , copyright =. The signature of a rough path: Uniqueness , volume =. Advances in mathematics (New York. 1965) , keywords =
1965
-
[33]
and Geddes, John R
Perez Arribas, Imanol and Goodwin, Guy M. and Geddes, John R. and Lyons, Terry and Saunders, Kate E. A. , address =. A signature-based machine learning model for distinguishing bipolar disorder and borderline personality disorder , volume =. Translational psychiatry , language =
-
[34]
Bulletin of the American Mathematical Society , number =
Kuo-Tsai Chen , title =. Bulletin of the American Mathematical Society , number =. 1977 , doi =
1977
-
[35]
Young , title =
Laurence C. Young , title =. Acta Mathematica , number =. 1936 , doi =
1936
-
[36]
Calcul d'Ito sans probabilités , url =
F. Calcul d'Ito sans probabilités , url =. Séminaire de probabilités de Strasbourg , keywords =
-
[37]
Proceedings of the Imperial Academy , number =
Kiyosi It. Proceedings of the Imperial Academy , number =. 1944 , doi =
1944
-
[38]
Proceedings of the Japan Academy , number =
Kiyosi It. Proceedings of the Japan Academy , number =. 1946 , doi =
1946
-
[39]
Nagoya Mathematical Journal , number =
Kiyosi It. Nagoya Mathematical Journal , number =. 1951 , doi =
1951
-
[40]
The Annals of Mathematical Statistics , number =
Eugene Wong and Moshe Zakai , title =. The Annals of Mathematical Statistics , number =. 1965 , doi =
1965
-
[41]
On the relation between ordinary and stochastic differential equations , journal =. 1965 , issn =. doi:https://doi.org/10.1016/0020-7225(65)90045-5 , url =
-
[42]
SIAM journal on control , language =
A New Representation for Stochastic Integrals and Equations , volume =. SIAM journal on control , language =. 1966 , author =
1966
-
[43]
Signatures of Gaussian processes and SLE curves , year =
Boedihardjo, Horatio , school =. Signatures of Gaussian processes and SLE curves , year =
-
[44]
Quasi-martingales and stochastic integrals , school =
Donald Fisk , year =. Quasi-martingales and stochastic integrals , school =
-
[45]
Rough path perspectives on the
Emilio Rossi Ferrucci , year =. Rough path perspectives on the
-
[46]
2002 , PAGES =
Hatcher, Allen , TITLE =. 2002 , PAGES =
2002
-
[47]
Applications of Mathematics, vol
Protter, Philip E. , TITLE =. 2005 , PAGES =. doi:10.1007/978-3-662-10061-5 , URL =
-
[48]
Friz, Peter K. and Victoir, Nicolas B. , TITLE =. 2010 , PAGES =. doi:10.1017/CBO9780511845079 , URL =
-
[49]
Annales de l'Institut Henri Poincaré, Probabilités et Statistiques , number =
Peter Friz and Nicolas Victoir , title =. Annales de l'Institut Henri Poincaré, Probabilités et Statistiques , number =. 2010 , doi =
2010
-
[50]
and Hairer, Martin , TITLE =
Friz, Peter K. and Hairer, Martin , TITLE =. 2014 , PAGES =
2014
-
[51]
Proceedings of the
Malliavin, Paul , TITLE =. Proceedings of the. 1978 , MRCLASS =
1978
-
[52]
Hypoelliptic second order differential equations , volume =
H. Hypoelliptic second order differential equations , JOURNAL =. 1967 , PAGES =. doi:10.1007/BF02392081 , URL =
-
[53]
Hairer, Martin , TITLE =. Bull. Sci. Math. , FJOURNAL =. 2011 , NUMBER =. doi:10.1016/j.bulsci.2011.07.007 , URL =
-
[54]
Gangolli, Ramesh , TITLE =. Z. Wahrscheinlichkeitstheorie und Verw. Gebiete , VOLUME =. 1964 , PAGES =. doi:10.1007/BF00533608 , URL =
-
[55]
Florchinger, Patrick , TITLE =. Probab. Theory Related Fields , FJOURNAL =. 1990 , NUMBER =. doi:10.1007/BF01474642 , URL =
-
[56]
, TITLE =
Ramanan, S. , TITLE =. 2005 , PAGES =
2005
-
[57]
Belopolskaya, Ya. I. and Dalecky, Yu. L. , Publisher =. Stochastic Equations and Differential Geometry , Year =
-
[58]
, Publisher =
Gliklikh, Yuri E. , Publisher =. Global and Stochastic Analysis with Applications to Mathematical Physics , Year =
-
[59]
Armstrong, John and Brigo, Damiano , Date-Added =
-
[60]
Optimal Approximation of
Armstrong, John and Brigo, Damiano , Note =. Optimal Approximation of
-
[61]
Expected signature of Gaussian processes with strictly regular kernels , Volume =
Boedihardjo, Horatio and Papavasiliou, Anastasia and Qian, Zhongmin , Note =. Expected signature of Gaussian processes with strictly regular kernels , Volume =
-
[62]
Nicolaescu, Liviu , Note =. Random
-
[63]
Riemannian geometry and geometric analysis , Year =
Jost, J\"urgen , Edition =. Riemannian geometry and geometric analysis , Year =
-
[64]
Lee, John M. , Doi =. Riemannian manifolds , Url =. 1997 , Bdsk-Url-1 =
1997
-
[65]
Stochastic calculus in manifolds , Url =
\'Emery, Michel , Doi =. Stochastic calculus in manifolds , Url =. 1989 , Bdsk-Url-1 =
1989
-
[66]
and Litterer, Christian , Doi =
Cass, Thomas and Driver, Bruce K. and Litterer, Christian , Doi =. Constrained rough paths , Url =. Proc. Lond. Math. Soc. (3) , Mrclass =. 2015 , Bdsk-Url-1 =
2015
-
[67]
Rogers, L. C. G. and Williams, David , Doi =. Diffusions,. 2000 , Bdsk-Url-1 =
2000
-
[68]
and Platen, Eckhard , Doi =
Kloeden, Peter E. and Platen, Eckhard , Doi =. Numerical solution of stochastic differential equations , Url =. 1992 , Bdsk-Url-1 =
1992
-
[69]
Intrinsic stochastic differential equations as jets , Url =
Armstrong, John and Brigo, Damiano , Doi =. Intrinsic stochastic differential equations as jets , Url =. Proceedings of the Royal Society of London A: Mathematical, Physical and Engineering Sciences , Number =. 2018 , Bdsk-Url-1 =. http://rspa.royalsocietypublishing.org/content/474/2210/20170559.full.pdf , Issn =
2018
-
[70]
Riemannian geometry , Volume =
Petersen, Peter , Edition =. Riemannian geometry , Volume =
-
[71]
Interest rate dynamics and consistent forward rate curves , Url =
Bj\"ork, Tomas and Christensen, Bent Jesper , Doi =. Interest rate dynamics and consistent forward rate curves , Url =. Math. Finance , Mrclass =. 1999 , Bdsk-Url-1 =
1999
-
[72]
Probability theory and related fields , language =
A version of Hörmander’s theorem for the fractional Brownian motion , volume =. Probability theory and related fields , language =. 2007 , author =
2007
-
[73]
Calin, Ovidiu and Chang, Der-Chen , TITLE =. 2009 , PAGES =. doi:10.1017/CBO9781139195966 , URL =
-
[74]
Gubinelli, Massimiliano , TITLE =. J. Differential Equations , FJOURNAL =. 2010 , NUMBER =. doi:10.1016/j.jde.2009.11.015 , URL =
-
[75]
Carbery, Anthony and Wright, James , title =. Math. Res. Lett. , issn =. 2001 , language =. doi:10.4310/MRL.2001.v8.n3.a1 , keywords =
-
[76]
Nourdin, Ivan and Nualart, David and Poly, Guillaume , title =. Electron. J. Probab. , issn =. 2013 , language =. doi:10.1214/EJP.v18-2181 , keywords =
-
[77]
Bellingeri, Carlo and Friz, Peter K. and Paycha, Sylvie and Prei. Smooth rough paths, their geometry and algebraic renormalization , fjournal =. Vietnam J. Math. , issn =. 2022 , language =. doi:10.1007/s10013-022-00570-7 , keywords =
-
[78]
Diehl, Joscha and Reizenstein, Jeremy , title =. Acta Appl. Math. , issn =. 2019 , language =. doi:10.1007/s10440-018-00227-z , keywords =
-
[79]
Friz, Peter and Gassiat, Paul and Lyons, Terry , title =. Trans. Am. Math. Soc. , issn =. 2015 , language =. doi:10.1090/S0002-9947-2015-06272-2 , keywords =
-
[80]
Cass, Thomas and Friz, Peter , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2010 , NUMBER =. doi:10.4007/annals.2010.171.2115 , URL =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.