Free Structures and Operadic Symmetries for Rough Paths

Definitions and mathematical statement

The supplied record presents a research programme concerning algebraic structures used in rough-path analysis, rather than a single conjecture with fully specified hypotheses.

For clarity, once an algebraic category $\mathcal A$, its underlying-set functor $U$, and a set $S$ of generators have been specified, a free structure on $S$ means an object $F_{\mathcal A}(S)$ with a map $\iota:S\to U(F_{\mathcal A}(S))$ such that, for every $B\in\mathcal A$ and every map $f:S\to U(B)$, there exists a unique morphism $\widehat f:F_{\mathcal A}(S)\to B$ satisfying \[ U(\widehat f)\circ\iota=f. \] This explains the term "free structure" schematically; the supplied passage does not specify the category, generators, base ring or field, or defining identities needed to instantiate it here.

Subject to those unresolved choices, the source asks for the following developments:

1. Find other combinatorial sets and associated free algebraic structures relevant to rough paths, different from the multi-index and decorated-tree constructions mentioned in the source.
2. Develop an operadic perspective on these constructions, continuing the approach attributed in the passage to reference [14], and recovering the multi-Novikov algebra as an example.
3. Study symmetries in the multi-index setting, such as the chain rule or Itô isometry, by defining maps from the free Novikov structure.

The distinction between the multi-Novikov algebra in the second task and the free Novikov structure in the third is retained. The source does not specify their identities or their relationship. It also does not specify the domains and codomains of the proposed maps, what properties those maps must preserve, or the equations expressing the proposed symmetries. In particular, no probability space, stochastic integrator, integrability assumptions, rough-path regularity, or notion of solution is supplied. Thus the mention of Itô isometry does not determine a particular stochastic identity under stated hypotheses.

The opening phrase of the original passage refers to "such a result", but that antecedent is absent from the supplied record; reference [14] is likewise unidentified. Consequently, these tasks preserve the supplied mathematical targets but cannot yet be read as a fully quantified conjecture or existence theorem. No classification requirement or claim of mathematical resolution is added.

Short English statement

Find combinatorial free structures for rough paths beyond the cited multi-index and decorated-tree constructions, develop an operadic account recovering a multi-Novikov example, and study chain-rule or Itô-isometry symmetries using maps from a free Novikov structure. The supplied passage leaves essential algebraic and analytic hypotheses unspecified, so this remains a research programme requiring clarification.

Sources

• Supplied local UnsolvedMath registry record, permanent ID $30005692$, title "Free Structures and Operadic Symmetries for Rough Paths", exact source problem code catalogue entry. No individual proposer is identified. The registry lists proposed year 2023.
• Supplied report citation: Mini-Workshop: Combinatorial and Algebraic Structures in Rough Analysis and Related Fields (2024), Oberwolfach Reports, pp. 3063--3102, DOI 10.4171/owr/2023/54. https://doi.org/10.4171/owr/2023/54. The supplied background attributes the passage to workshop open-problem discussions. The citation's 2024 date and the registry's 2023 proposed year are retained without resolving their relationship.
• Supplied literature source labelled "Bruned--Dotsenko": https://arxiv.org/abs/2403.17066. The record supplies no title or specific theorem connecting this reference to each requested development.
• Literature assessment dated exactly 2026-08-22: the supplied curation labels the problem open, reports subsequent development of multi-index and chain-rule machinery, and states that no complete classification of the other free structures or general operadic symmetry theory requested here was located. This is supplied dated curation, not an independently verified literature assessment or proof that the targets remain unresolved. Both links above are included among the supplied sources checked.
• The registry labels the statement corrected_verified and reports that the official report was checked directly. Those are supplied provenance claims; no source visit or independent verification is asserted here. The passage's internal reference [14] and the result preceding "such a result" are not identified in the supplied material.