Approximate Transitivity of Young Translation on Rough Paths

Carlo Bellingeri; Hugo Nouaille; Paul Gassiat

arxiv: 2605.30869 · v1 · pith:7GR2BBJInew · submitted 2026-05-29 · 🧮 math.PR

Approximate Transitivity of Young Translation on Rough Paths

Carlo Bellingeri , Paul Gassiat , Hugo Nouaille This is my paper

Pith reviewed 2026-06-28 21:31 UTC · model grok-4.3

classification 🧮 math.PR

keywords rough pathsYoung translationgeometric rough pathsdense orbitsfractional Brownian motionGaussian processessupport criteria

0 comments

The pith

Young translation by smooth paths has dense orbits in the space of geometric rough paths.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that for any two geometric rough paths, a sequence of smooth paths exists such that Young translation of the first by those smooth paths converges to the second in the rough path topology. This establishes that the orbits under Young translation are dense. A reader would care because the result connects any starting rough path to any target via successive smooth adjustments, without requiring the paths to share the same driving signal. The density property is then used to obtain full-support criteria for rough paths constructed from random series and from Gaussian processes.

Core claim

We show that Young translation has dense orbits in the space of rough paths: for any two geometric rough paths, one can translate the first by a sequence of smooth paths so that it converges to the second in rough path topology. As applications, we obtain full-support criteria for rough paths arising from random series and Gaussian processes, including non-centered fractional Brownian rough paths.

What carries the argument

The Young translation operator that adds the lift of a smooth path to a given geometric rough path, acting on the space equipped with rough path topology.

If this is right

Full support holds for rough paths constructed from random series.
Full support holds for rough paths driven by Gaussian processes.
Full support holds for non-centered fractional Brownian rough paths.
The density result applies uniformly across the entire space of geometric rough paths.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The density implies that any two geometric rough paths can be connected by a chain of smooth adjustments without leaving the geometric setting.
This may allow approximation arguments in which one replaces an arbitrary driving signal by a sequence of smooth controls while preserving the rough path limit.
The result extends previous support statements by removing the centering requirement on the underlying Gaussian process.

Load-bearing premise

The result assumes the standard definition and topology on the space of geometric rough paths together with the well-definedness of Young translation by smooth paths.

What would settle it

A concrete pair of geometric rough paths X and Y such that no sequence of smooth paths h_n satisfies that the Young translation of X by h_n converges to Y in rough path topology.

read the original abstract

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper establishes density of Young translation orbits in geometric rough paths and derives support theorems for non-centered Gaussians from it.

read the letter

The main takeaway is that Young translation by smooth paths has dense orbits in the geometric rough path space. For any two geometric rough paths you can find a sequence of smooth translators that make the first converge to the second in rough path topology. This directly yields full support criteria for rough paths coming from random series and from Gaussian processes, including non-centered fractional Brownian motion.

What is new is the density statement itself. The abstract presents it as the primary result, and the applications to non-centered cases follow once density is in hand. The work sits on the standard definition of geometric rough paths as the closure of smooth paths and on the continuity of the translation map via the Chen-Strichartz formula; both are already in the literature, so the paper is not inventing new foundations.

The argument appears internally consistent. The stress-test note confirms there is no hidden boundedness assumption or failure of continuity in the relevant p-range, and the reduction to perturbing the driving signal by smooth paths while staying in the support is straightforward. No circularity shows up.

A minor soft spot is that the full proof details are not visible in the abstract alone, so one would want to check the approximation steps for edge cases when p is close to 2 or when the paths have low regularity. That said, nothing in the given material suggests a load-bearing flaw.

This paper is for specialists in rough path theory who need support theorems. A reader already comfortable with the geometric rough path metric and Young integration will get the most out of it. It is worth sending to a serious referee because the central claim is cleanly stated and the applications are direct consequences.

Referee Report

0 major / 2 minor

Summary. The paper establishes that Young translation by smooth paths has dense orbits in the space of geometric rough paths: for any two geometric rough paths X and Y, there exists a sequence of smooth paths (h_n) such that the translated rough path X^{h_n} converges to Y in the p-variation rough path metric. Applications include full-support criteria for rough paths arising from random series and (non-centered) Gaussian processes, including fractional Brownian rough paths.

Significance. If the density result holds, it supplies a direct tool for removing centering assumptions in support theorems for Gaussian rough paths and for random series, extending existing results that rely on centered processes. The argument rests on the standard definition of geometric rough paths as the closure of smooth paths and on the continuity of the Young translation map, both of which are internally consistent with the Chen–Strichartz formula.

minor comments (2)

The abstract refers to 'rough path topology' without specifying the precise p-variation metric or the range of p; a brief parenthetical in the introduction would clarify the setting for readers outside the immediate subfield.
In the applications section, the statement of the full-support criterion for non-centered fractional Brownian rough paths would benefit from an explicit reference to the precise Hurst-parameter range under which the driving process remains a geometric rough path.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending acceptance. The report correctly identifies the main result on dense orbits under Young translation and its applications to support theorems for non-centered processes.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper establishes a density theorem for orbits under Young translation in the space of geometric rough paths. The central argument relies on the standard definition of geometric rough paths as the closure of smooth paths in p-variation rough path topology together with continuity of the translation map (X, h) ↦ X^h, both of which are taken from the pre-existing rough path literature (Chen–Strichartz formula and related continuity results) and are independent of the present work. No derivation step reduces by construction to a self-definition, fitted input renamed as prediction, or load-bearing self-citation chain; the result is a direct proof rather than a renaming or ansatz smuggling. Applications to full support for Gaussian rough paths follow immediately once density is shown.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the claim rests on standard background definitions of geometric rough paths and Young translation from the existing literature.

pith-pipeline@v0.9.1-grok · 5571 in / 974 out tokens · 25469 ms · 2026-06-28T21:31:33.519100+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

2 extracted references · 1 canonical work pages

[1]

An introduction to stochastic PDEs.Preprint arXiv arXiv:0907.4178,

[Hai09] Martin Hairer. An introduction to stochastic PDEs.Preprint arXiv arXiv:0907.4178,

work page arXiv
[2]

Mishura.Stochastic Calculus for Fractional Brownian Motion and Related Processes, volume 1929 ofLecture Notes in Mathematics

[Mis08] Yuliya S. Mishura.Stochastic Calculus for Fractional Brownian Motion and Related Processes, volume 1929 ofLecture Notes in Mathematics. Springer, Berlin / Heidelberg,

1929

[1] [1]

An introduction to stochastic PDEs.Preprint arXiv arXiv:0907.4178,

[Hai09] Martin Hairer. An introduction to stochastic PDEs.Preprint arXiv arXiv:0907.4178,

work page arXiv

[2] [2]

Mishura.Stochastic Calculus for Fractional Brownian Motion and Related Processes, volume 1929 ofLecture Notes in Mathematics

[Mis08] Yuliya S. Mishura.Stochastic Calculus for Fractional Brownian Motion and Related Processes, volume 1929 ofLecture Notes in Mathematics. Springer, Berlin / Heidelberg,

1929