pith. sign in

arxiv: 2410.00834 · v3 · submitted 2024-10-01 · 🧮 math.PR · math.AP· math.RA

Symmetries for the gKPZ equation via multi-indices

Carlo Bellingeri , Yvain Bruned This is my paper

Pith reviewed 2026-05-23 20:06 UTC · model grok-4.3

classification 🧮 math.PR math.APmath.RA
keywords generalised KPZ equationmulti-indiceschain ruleIto isometryrenormalisationsymmetriesstochastic partial differential equations
0
0 comments X

The pith

Multi-indices compute the exact dimensions of the two symmetry spaces for the generalised KPZ equation by avoiding over-parametrization of renormalised terms.

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

The paper establishes that multi-indices provide a simplified way to study the chain rule and Itô isometry symmetries of the one-dimensional generalised KPZ equation in full-subcritical regimes. By avoiding over-parametrization in the renormalised equation, these multi-indices enable direct calculation of the dimensions of the associated symmetry spaces. A sympathetic reader would care because this approach offers an elementary proof that completes earlier work on the chain rule and demonstrates advantages over methods using decorated trees. This matters for understanding the structure of solutions to stochastic PDEs like the gKPZ equation under renormalisation.

Core claim

We consider the equation in the full-subcritical regimes and use multi-indices that avoid an over-parametrization of the renormalised equation to compute the dimension of the two spaces associated with these two symmetries. Our proof is quite elementary and shows that multi-indices provide in this case a simplification in comparison to the results obtained via decorated trees. It also completes the program on the study of the chain rule initiated in earlier works.

What carries the argument

Multi-indices that label renormalized terms of the gKPZ equation without over-parametrization, used to count dimensions of symmetry spaces for the chain rule and Itô isometry.

Load-bearing premise

Multi-indices can be defined and manipulated to label renormalized terms without introducing over-parametrization.

What would settle it

An independent calculation of the dimensions of the two symmetry spaces that produces different numbers from those obtained via the multi-index method.

read the original abstract

In this work, we study the two main symmetries for the one-dimensional generalised KPZ equation (gKPZ): the chain rule and the It\^o Isometry. We consider the equation in the full-subcritical regimes and use multi-indices that avoid an over-parametrization of the renormalised equation to compute the dimension of the two spaces associated with these two symmetries. Our proof is quite elementary and shows that multi-indices provide in this case a simplification in comparison to the results obtained via decorated trees. It also completes the program on the study of the chain rule initiated in arxiv:1902.02884 and continued in arxiv:2403.17066.

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.

Referee Report

3 major / 2 minor

Summary. The paper studies the chain rule and Itô isometry symmetries of the one-dimensional generalized KPZ equation in the full subcritical regime. It introduces a multi-index formalism that avoids over-parametrization of the renormalized equation, uses this to compute the dimensions of the two associated symmetry spaces, and presents an elementary proof that this approach simplifies the corresponding computations previously obtained via decorated trees. The work is positioned as completing the program initiated in arXiv:1902.02884 and continued in arXiv:2403.17066.

Significance. If the multi-index construction is shown to be in bijection with the space of renormalized terms obtained from decorated trees, the result supplies an algebraic simplification for dimension counts of symmetry spaces in singular SPDEs. This would strengthen the toolkit for analyzing invariances under the chain rule and Itô corrections without requiring the full machinery of decorated trees, and would directly fulfill the stated program on the chain rule.

major comments (3)
  1. [§3] §3 (multi-index construction): the claim that the chosen multi-indices label exactly the renormalized terms without over-parametrization requires an explicit bijection or injection argument with the decorated-tree basis used in the referenced works; without this, the dimension counts for the two symmetry spaces rest on an unverified identification.
  2. [§4] §4 (dimension computation for chain-rule space): the elementary counting argument must be checked against the explicit basis elements; if any multi-index is omitted or duplicated relative to the tree-based count, the reported dimension changes and the simplification claim is affected.
  3. [§5] §5 (Itô-isometry space): the same verification of cardinality is needed; the paper states the dimensions match the expected structure, but the proof sketch in the abstract does not yet display the error estimates or explicit enumeration that would confirm the count is independent of the choice of multi-index representatives.
minor comments (2)
  1. Notation for multi-indices should be compared side-by-side with the decorated-tree notation from arXiv:2403.17066 to make the claimed simplification immediately visible.
  2. The abstract asserts an 'elementary proof'; the introduction should state the precise algebraic steps that replace the tree-based recursion, so readers can assess the simplification without reading the full derivation.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting points that will improve the clarity of the relation between our multi-index approach and prior decorated-tree constructions. We address each major comment below and indicate the revisions we will make.

read point-by-point responses

  1. Referee: [§3] §3 (multi-index construction): the claim that the chosen multi-indices label exactly the renormalized terms without over-parametrization requires an explicit bijection or injection argument with the decorated-tree basis used in the referenced works; without this, the dimension counts for the two symmetry spaces rest on an unverified identification.

    Authors: We agree that an explicit correspondence strengthens the presentation. The multi-index formalism is constructed precisely so that each admissible multi-index corresponds to a unique renormalized monomial without the redundancies that appear in the tree representation. In the revised version we will add a short subsection in §3 that defines an explicit injection from the multi-index space into the space of decorated trees used in arXiv:1902.02884 and arXiv:2403.17066, showing that the image consists exactly of the terms that survive renormalization. This will make the identification rigorous while preserving the elementary character of the dimension counts. revision: yes

  2. Referee: [§4] §4 (dimension computation for chain-rule space): the elementary counting argument must be checked against the explicit basis elements; if any multi-index is omitted or duplicated relative to the tree-based count, the reported dimension changes and the simplification claim is affected.

    Authors: The counting in §4 enumerates multi-indices satisfying the subcriticality and symmetry conditions directly. To address the verification request we will include, in the revision, an explicit low-order enumeration (up to the first few degrees where the dimension stabilizes) that lists each multi-index and confirms it matches the corresponding tree basis element one-to-one. No omissions or duplications arise because the multi-index rules already encode the necessary cancellations that the tree formalism obtains via combinatorial identities. revision: partial

  3. Referee: [§5] §5 (Itô-isometry space): the same verification of cardinality is needed; the paper states the dimensions match the expected structure, but the proof sketch in the abstract does not yet display the error estimates or explicit enumeration that would confirm the count is independent of the choice of multi-index representatives.

    Authors: The dimension count for the Itô-isometry space follows from the same multi-index enumeration, now restricted to the additional quadratic constraints coming from the isometry. In the revision we will add a short appendix that performs the explicit enumeration for the relevant degrees and verifies that the cardinality is indeed independent of representative choice. Because the multi-index rules are canonical, the count does not rely on error estimates beyond the algebraic definition; we will nevertheless record the first few explicit basis elements to make this transparent. revision: yes

Circularity Check

0 steps flagged

No significant circularity; dimension count is direct algebraic computation from multi-index definition

full rationale

The paper defines multi-indices specifically to label renormalized terms of the gKPZ equation without over-parametrization in the full-subcritical regime, then performs an elementary count of the resulting basis elements to obtain the dimensions of the two symmetry spaces (chain rule and Itô isometry). This count is a direct enumeration from the chosen multi-index set and does not reduce by construction to a fitted parameter, a prior result, or a self-citation. Prior works (arXiv:1902.02884, arXiv:2403.17066) are cited only to situate the program being completed; the current proof supplies an independent simplification over decorated trees and does not rely on those citations for its validity. No step equates a prediction or uniqueness claim to its own input.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review performed on abstract only; no explicit free parameters, invented entities, or non-standard axioms are visible.

axioms (1)
  • domain assumption Multi-indices can be chosen to label renormalized terms without over-parametrization in the gKPZ setting.
    This is the central modeling choice that enables the dimension count.

pith-pipeline@v0.9.0 · 5641 in / 1290 out tokens · 23486 ms · 2026-05-23T20:06:16.395570+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Cancellations for dispersive PDEs with random initial data

    math.AP 2024-12 unverdicted novelty 7.0

    Develops an arborification map on decorated trees to compute cancellations in random-data dispersive PDEs, enabling results on wave turbulence and 3D cubic wave equation Gibbs measure invariance.

Reference graph

Works this paper leans on

42 extracted references · 42 canonical work pages · cited by 1 Pith paper · 3 internal anchors

  1. [1]

    Bailleul, Y

    I. Bailleul, Y. Bruned Locality for singular stochastic PDEs. arXiv:2109.00399

    work page arXiv

  2. [2]

    Bailleul, Y

    I. Bailleul, Y. Bruned Random models for singular SPDEs. arXiv:2301.09596

    work page arXiv

  3. [3]

    Bellingeri An Itˆo type formula for the additive stochastic heat equation

    C. Bellingeri An Itˆo type formula for the additive stochastic heat equation. Electron. J. Probab. 25, (2020), 1-52. doi:10.1214/19-EJP404/25. Symmetries of the multi-indices space 31

    work page doi:10.1214/19-ejp404/25 2020

  4. [4]

    Bruned, A

    Y. Bruned, A. Chandra, I. Chevyrev, M. Hairer. Renormalising SPDEs in regularity structures. J. Eur. Math. Soc. (JEMS), 23, no. 3, (2021), 869-947. doi:10.4171/ JEMS/1025

    work page 2021

  5. [5]

    Bruned, V

    Y. Bruned, V. Dotsenko. Novikov algebras and multi-indices in regularity structures arXiv:2311.09091

    work page arXiv

  6. [6]

    Bruned, V

    Y. Bruned, V. Dotsenko. Chain rule symmetry for singular SPDEs arXiv:2403. 17066

    work page

  7. [7]

    Bruned, K

    Y. Bruned, K. Ebrahimi-Fard, Y. Hou Multi-indice B-series arXiv:2402.13971

    work page arXiv

  8. [8]

    Bruned, F

    Y. Bruned, F. Gabriel, M. Hairer, L. Zambotti, Geometric stochastic heat equations. J. Amer. Math. Soc. (JAMS) 35, no. 1, (2022), 1-80. doi:10.1090/jams/977

    work page doi:10.1090/jams/977 2022

  9. [9]

    Bruned, M

    Y. Bruned, M. Gerencs ´er, U. Nadeem. Quasi-generalised KPZ equation. arXiv: 2401.13620

    work page arXiv

  10. [10]

    A tourist’s guide to regular ity structures

    I. Bailleul, M. HoshinoA tourist’s guide to regularity structures and singular stochastic PDEs. arXiv:2006.03524

    work page arXiv 2006

  11. [11]

    Bailleul and M

    I. Bailleul, M. Hoshino Random models on regularity-integrability structures. arXiv: 2310.10202

    work page arXiv

  12. [12]

    Bruned, Y

    Y. Bruned, Y. Hou. Multi-indices coproducts from ODEs to singular SPDEs. arXiv: 2405.11314

    work page arXiv

  13. [13]

    [BL23] Y

    Y. Bruned, M. Hairer, L. Zambotti. Algebraic renormalisation of regularity structures. Invent. Math. 215, no. 3, (2019), 1039–1156. doi:10.1007/s00222-018-0841-x

    work page doi:10.1007/s00222-018-0841-x 2019

  14. [14]

    Bruned, F

    Y. Bruned, F. Katsetsiadis. Post-Lie algebras in Regularity Structures . Forum of Mathematics, Sigma 11, e98, (2023), 1–20. doi:10.1017/fms.2023.93

    work page doi:10.1017/fms.2023.93 2023

  15. [15]

    [BOTT23] L

    Y. Bruned, P. Linares.A top-down approach to algebraic renormalization in regularity structures based on multi-indices. To appear in Arch. Ration. Mech. Anal. (2024). arXiv:2307.03036

    work page arXiv 2024

  16. [16]

    Bruned, D

    Y. Bruned, D. Manchon. Algebraic deformation for (S)PDEs. J. Math. Soc. Japan. 75, no. 2, (2023), 485–526. doi:10.2969/jmsj/88028802

    work page doi:10.2969/jmsj/88028802 2023

  17. [17]

    Bruned, U

    Y. Bruned, U. Nadeem, Diagram-free approach for convergence of tree-based models in Regularity Structures. J. Math. Soc. Japan, (2024), 31 pages. doi:10.2969/jmsj/ 91129112

    work page doi:10.2969/jmsj/ 2024

  18. [18]

    Broux, F

    L. Broux, F. Otto, M. Tempelmayr. Lecture notes on Malliavin calculus in regularity structures arXiv:2401.05935

    work page arXiv

  19. [19]

    Y. Bruned. Singular KPZ Type Equations . 205 pages, PhD thesis, Universit ´e Pierre et Marie Curie - Paris VI, 2015. https://tel.archives-ouvertes.fr/ tel-01306427

    work page 2015

  20. [20]

    Y. Bruned. Recursive formulae in regularity structures. Stoch. Partial Differ. Equ. Anal. and Comput. 6, no. 4, (2018), 525–564. doi:10.1007/s40072-018-0115-z

    work page doi:10.1007/s40072-018-0115-z 2018

  21. [21]

    An analytic BPHZ theorem for regularity structures

    A. Chandra, M. Hairer. An analytic BPHZ theorem for Regularity Structures. arXiv: 1612.08138v5

    work page internal anchor Pith review Pith/arXiv arXiv

  22. [22]

    Chapoton, M

    F. Chapoton, M. Livernet.Pre-Lie algebras and the rooted trees operad.Internat. Math. Res. Notices. 2001, no. 8, (2001), 395–408. doi:10.1155/S1073792801000198

    work page doi:10.1155/s1073792801000198 2001

  23. [23]

    Dzhumadil’daev, C

    A. Dzhumadil’daev, C. L¨ofwall. Trees, free right-symmetric algebras, free Novikov algebras and identities. Homology Homotopy Appl. 4, no. 2, (2002), 165–190. Symmetries of the multi-indices space 32

    work page 2002

  24. [24]

    P. K. Friz, M. Hairer. A Course on Rough Paths. Springer International Publishing,

    work page

  25. [25]

    doi:10.1007/978-3-030-41556-3

    work page doi:10.1007/978-3-030-41556-3

  26. [26]

    T. Funaki. A stochastic partial differential equation with values in a manifold. J. Funct. Anal. 109, (1992), 257–288

    work page 1992

  27. [27]

    [GG20] B

    M. Gerencs´er. Nondivergence form quasilinear heat equations driven by space-time white noise. Annales de l’Institut Henri Poincar ´e, Analyse non lin ´eaire 37, no. 3. (2020), 663–682 doi:10.1016/j.anihpc.2020.01.003

    work page doi:10.1016/j.anihpc.2020.01.003 2020

  28. [28]

    [GIP15] M

    M. Gerencs´er, M. Hairer. A solution theory for quasilinear singular SPDEs. Comm. Pure Appl. Math. 72, no. 9, (2019), 1983–2005. doi:10.1002/cpa.21816

    work page doi:10.1002/cpa.21816 2019

  29. [29]

    X. Gao, D. Manchon, Z. Zhu.Free Novikov algebras and the Hopf algebra of decorated multi-indices. arXiv:2404.09899

    work page arXiv

  30. [30]

    R. S. Gvalani, M. Tempelmayr. Stochastic estimates for the thin-film equation with thermal noise. arXiv:2309.15829

    work page internal anchor Pith review Pith/arXiv arXiv

  31. [31]

    M. Hairer. A theory of regularity structures. Invent. Math.198, no. 2, (2014), 269–504. doi:10.1007/s00222-014-0505-4

    work page doi:10.1007/s00222-014-0505-4 2014

  32. [32]

    M. Hairer. The motion of a random string. arXiv:1605.02192

    work page internal anchor Pith review Pith/arXiv arXiv

  33. [33]

    Hairer, ´E

    M. Hairer, ´E. Pardoux. A Wong-Zakai theorem for stochastic PDEs. J. Math. Soc. Japan 67, no. 4, (2015), 1551–1604. doi:10.2969/jmsj/06741551

    work page doi:10.2969/jmsj/06741551 2015

  34. [34]

    Hairer, R

    M. Hairer, R. Steele. The BPHZ Theorem for Regularity Structures via the Spectral Gap Inequality. Arch. Ration. Mech. Anal. 248, no. 9, (2024), 1–81. doi:10.1007/ s00205-023-01946-w

    work page 2024

  35. [35]

    Jacques, L

    J.-D. Jacques, L. Zambotti. Post-Lie algebras of derivations and regularity structures. arXiv:2306.02484

    work page arXiv

  36. [36]

    P. Linares. Insertion pre-Lie products and translation of rough paths based on multi-indices. arXiv:2307.06769

    work page arXiv

  37. [37]

    Linares, F

    P. Linares, F. Otto, M. Tempelmayr.The structure group for quasi-linear equations via universal enveloping algebras. Comm. Amer. Math. 3, (2023), 1–64. doi:10.1090/ cams/16

    work page 2023

  38. [38]

    [LOT23] P

    P. Linares F. Otto. A tree-free approach to regularity structures: The regular case for quasi-linear equations. arXiv:2207.10627

    work page arXiv

  39. [39]

    Linares, F

    P. Linares, F. Otto, M. Tempelmayr, P. Tsatsoulis A diagram-free approach to the stochastic estimates in regularity structures.Invent. Math. 237, (2024), 1469–1565. doi:10.1007/s00222-024-01275-z

    work page doi:10.1007/s00222-024-01275-z 2024

  40. [40]

    Munthe-Kaas, O

    H. Munthe-Kaas, O. Verdier. Aromatic Butcher Series. Found. Comput. Math. 16, (2016), 183–215. doi:10.1007/s10208-015-9245-0

    work page doi:10.1007/s10208-015-9245-0 2016

  41. [41]

    F. Otto, J. Sauer, S. Smith, H. Weber. A priori bounds for quasi-linear SPDEs in the full sub-critical regime. arXiv:2103.11039

    work page arXiv

  42. [42]

    F. Otto, K. Seong, M. Tempelmayr.Lecture notes on tree-free regularity structures. Mat. Contemp. 58, (2023), 150–196. doi:10.21711/231766362023/rmc584

    work page doi:10.21711/231766362023/rmc584 2023