pith. sign in

arxiv: 2412.17051 · v2 · pith:4DWIUMKFnew · submitted 2024-12-22 · 🧮 math.AP · math.PR· math.RA

Cancellations for dispersive PDEs with random initial data

Yvain Bruned , Leonardo Tolomeo This is my paper

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

classification 🧮 math.AP math.PRmath.RA
keywords arborification mapdecorated treescancellationsdispersive PDEsrandom initial dataGibbs measurewave turbulencecubic wave equation
0
0 comments X

The pith

An arborification map converts decorated trees into words to capture cancellations in dispersive PDEs with random initial data.

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

The paper develops a combinatorial formalism that uses an arborification map to convert iterated integrals encoded by decorated trees into words. This handles cancellations that arise in the analysis of dispersive partial differential equations driven by random initial data. The map supplies an alternative route to computing the effects of wave turbulence and thereby supports proofs that the Gibbs measure stays invariant under the flow of the three-dimensional cubic nonlinear wave equation. A reader would care because such cancellations control the long-time behavior of random nonlinear waves and the preservation of natural probability measures on the phase space.

Core claim

The authors establish that the arborification map transforms iterated integrals represented by decorated trees into words, thereby providing a combinatorial formalism for the cancellations that appear in dispersive PDEs with random initial data; this formalism is an alternative to the molecules construction and directly enables the computation of wave-turbulence cancellations needed to prove invariance of the Gibbs measure under the dynamics of the three-dimensional cubic wave equation.

What carries the argument

The arborification map, which encodes cancellations by converting decorated-tree integrals into words.

If this is right

  • The map computes the cancellations that arise from wave turbulence.
  • The map supports the proof that the Gibbs measure is invariant under the three-dimensional cubic wave equation flow.
  • The construction supplies a combinatorial alternative to the molecules formalism for the same class of cancellations.

Where Pith is reading between the lines

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

  • The tree-to-word conversion could be tested on other dispersive equations such as the nonlinear Schrödinger equation to see whether the same cancellations appear.
  • If the map is faithful, it may reduce the verification of higher-order cancellations to algebraic manipulations on words rather than on trees.
  • The formalism might extend to equations with different dispersion relations or to random data with non-Gaussian statistics, though the paper does not carry out such extensions.

Load-bearing premise

The arborification map must encode exactly the cancellations present in the iterated integrals of the decorated trees, without omissions or extraneous terms.

What would settle it

Applying the map to a concrete tree integral appearing in the 3D cubic wave equation and obtaining a result that does not match the known wave-turbulence cancellation would show the map fails to capture the cancellations accurately.

read the original abstract

In this work, we provide a combinatorial formalism for dealing with the cancellations that have appeared recently in the context of dispersive PDEs with random initial data. The main idea is to transform iterated integrals encoded by decorated trees into words via an arborification map. This provides a formalism alternative to the one of molecules introduced by Deng and Hani (2023). It allows us to compute the cancellations coming from Wave turbulence and the proof of the invariance of the Gibbs measure under the dynamics of the three-dimensional cubic wave equation.

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

2 major / 2 minor

Summary. The paper introduces a combinatorial formalism for cancellations in dispersive PDEs with random initial data. It defines an arborification map transforming decorated trees (encoding iterated integrals) into words, presented as an alternative to the molecule approach of Deng and Hani (2023). The formalism is used to compute wave-turbulence cancellations and to establish invariance of the Gibbs measure for the 3D cubic nonlinear wave equation.

Significance. If the arborification map is shown to be faithful and complete on the relevant class of decorated trees arising in Duhamel iterations, the work would supply a new systematic tool for organizing cancellations in random-data dispersive problems, potentially streamlining proofs of measure invariance that currently rely on ad-hoc combinatorial arguments.

major comments (2)
  1. [§3] §3 (definition of the arborification map): the manuscript must verify that the map is bijective (or at least faithful and surjective) onto the words that encode the exact cancellations appearing in the wave-turbulence expansion for the cubic nonlinearity; without an explicit check that no relevant tree is omitted and no extraneous word is introduced, the subsequent invariance argument rests on an unproven completeness assumption.
  2. [§5] §5 (application to Gibbs invariance): the reduction of the invariance proof to the arborification map requires a precise statement of which decorated trees appear in the Duhamel iteration for the 3D cubic wave equation and a demonstration that the map reproduces exactly the cancellations previously obtained by other methods; the current sketch does not supply this dictionary.
minor comments (2)
  1. [§2] Notation for decorated trees and the precise definition of the arborification map should be collected in a single preliminary section with a small table of examples.
  2. [Introduction] The comparison with the Deng-Hani molecule formalism would benefit from a side-by-side example showing how the same cancellation is encoded in both languages.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. The points raised about verifying the properties of the arborification map and supplying an explicit dictionary for the Duhamel trees are well-taken. We will revise the manuscript to incorporate the requested verifications and dictionary, thereby strengthening the completeness arguments. Point-by-point responses follow.

read point-by-point responses

  1. Referee: [§3] §3 (definition of the arborification map): the manuscript must verify that the map is bijective (or at least faithful and surjective) onto the words that encode the exact cancellations appearing in the wave-turbulence expansion for the cubic nonlinearity; without an explicit check that no relevant tree is omitted and no extraneous word is introduced, the subsequent invariance argument rests on an unproven completeness assumption.

    Authors: We agree that an explicit verification is required. In the revised manuscript we will insert a new proposition in §3 establishing that the arborification map is injective on the decorated trees generated by the Duhamel iteration for the cubic wave equation. The proof is by induction on tree depth: each word determines a unique parenthesization and decoration sequence, and the inverse construction recovers the original tree. Surjectivity onto the precise set of cancellation words arising in the wave-turbulence expansion will be shown by exhibiting the preimage for every such word. This removes any reliance on an unproven completeness assumption. revision: yes

  2. Referee: [§5] §5 (application to Gibbs invariance): the reduction of the invariance proof to the arborification map requires a precise statement of which decorated trees appear in the Duhamel iteration for the 3D cubic wave equation and a demonstration that the map reproduces exactly the cancellations previously obtained by other methods; the current sketch does not supply this dictionary.

    Authors: We accept that the present sketch in §5 is insufficient. The revised version will add a dedicated subsection (or short appendix) that (i) enumerates the decorated trees appearing in the first several Duhamel iterates for the 3D cubic NLW, (ii) records the image of each tree under the arborification map, and (iii) verifies term-by-term that the resulting cancellations coincide with those previously derived via the molecule formalism. This explicit dictionary will make the reduction to the arborification map fully rigorous. revision: yes

Circularity Check

0 steps flagged

Arborification map introduced as independent alternative formalism

full rationale

The abstract and provided context describe a new arborification map that transforms decorated trees into words, explicitly positioned as an alternative to the molecules formalism of Deng and Hani (2023). No equations or steps are shown that reduce the central claims (cancellations in wave turbulence or Gibbs measure invariance) to self-definitions, fitted parameters renamed as predictions, or load-bearing self-citations. The map is presented as a distinct combinatorial tool whose completeness is asserted by construction of the formalism itself, with no quoted reduction showing equivalence to inputs. This is a standard case of a self-contained new method building on but not collapsing into prior work.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the correctness of the introduced arborification map and its ability to capture cancellations; from the abstract alone, no free parameters, ad-hoc axioms, or invented entities are identifiable beyond standard combinatorial structures.

axioms (1)
  • standard math Standard combinatorial properties of decorated trees encoding iterated integrals in dispersive PDE analysis
    The formalism presupposes established tree-based representations common in the field.

pith-pipeline@v0.9.0 · 5605 in / 1060 out tokens · 48282 ms · 2026-05-23T06:32:21.391527+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages · 2 internal anchors

  1. [1]

    Alama Bronsard, Y

    Y. Alama Bronsard, Y. Bruned, K. Schratz.Approximations of Dispersive PDEs in the Presence of Low-Regularity Randomness. Found. Comput. Math. 24, (2024), 1819–1869. doi:10.1007/s10208-023-09625-8

    work page doi:10.1007/s10208-023-09625-8 2024

  2. [2]

    Symmetries for the gKPZ equation via multi-indices

    C. Bellingeri, Y. Bruned. Symmetries for the gKPZ equation via multi-indices arXiv:2410.00834

    work page internal anchor Pith review Pith/arXiv arXiv

  3. [3]

    [BDH19] I

    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 doi:10.4171/jems/1025 2021

  4. [4]

    Bruned, C

    Y. Bruned, C. Curry, K. Ebrahimi-Fard.Quasi-shuffle algebras and renormalisation of rough differential equations. B. Lond. Math. Soc. 52, no. 1, (2020), 43–63. doi:10.1112/blms.12305

    work page doi:10.1112/blms.12305 2020

  5. [5]

    Bringmann Y

    B. Bringmann Y. Deng, A. Nahmod, H. Yue . Invariant Gibbs measures for the three dimensional cubic nonlinear wave equation . Invent. Math. 236, (2024), 1133–1411. doi:10.1007/s00222-024-01254-4

    work page doi:10.1007/s00222-024-01254-4 2024

  6. [6]

    Bruned, V

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

    work page arXiv

  7. [7]

    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

  8. [8]

    Bruned, M

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

    work page arXiv

  9. [9]

    Bruned, M

    Y. Bruned, M. Hairer, L. Zambotti. Algebraic renormalisation of regular- ity structures. Invent. Math. 215, no. 3, (2019), 1039–1156. doi:10.1007/ s00222-018-0841-x . Three-dimensional cubic wave equation 24

    work page 2019

  10. [10]

    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

  11. [11]

    Y. Bruned. Derivation of normal forms for dispersive PDEs via arborification. arXiv:2409.03642

    work page arXiv

  12. [12]

    Bruned, K

    Y. Bruned, K. Schratz. Resonance based schemes for dispersive equations via decorated trees. Forum of Mathematics, Pi, 10, (2022), E2. doi:10.1017/fmp. 2021.13

    work page doi:10.1017/fmp 2022

  13. [13]

    J. C. Butcher. An algebraic theory of integration methods. Math. Comp. 26, (1972), 79–106. doi:10.2307/2004720

    work page doi:10.2307/2004720 1972

  14. [14]

    An analytic BPHZ theorem for regularity structures

    A. Chandra, M. Hairer. An analytic BPHZ theorem for regularity structures. arXiv:1612.08138

    work page internal anchor Pith review Pith/arXiv arXiv

  15. [15]

    Connes, D

    A. Connes, D. Kreimer. Hopf algebras, renormalization and noncommutative geometry. Comm. Math. Phys. 199, no. 1, (1998), 203–242. doi:10.1007/ s002200050499

    work page 1998

  16. [16]

    Connes, D

    A. Connes, D. Kreimer. Renormalization in quantum field theory and the Riemann- Hilbert problem I: the Hopf algebra structure of graphs and the main theorem. Comm. Math. Phys. 210, (2000), 249–73. doi:10.1007/s002200050779

    work page doi:10.1007/s002200050779 2000

  17. [17]

    Y. Deng, Z. Hani. Full derivation of the wave kinetic equation. Invent. math. 233, (2023), 543-724. doi:10.1007/s00222-023-01189-2

    work page doi:10.1007/s00222-023-01189-2 2023

  18. [18]

    Y. Deng, Z. Hani. Derivation of the wave kinetic equation: Full range of scaling laws. arXiv:2301.07063

    work page arXiv

  19. [20]

    Y. Deng, Z. Hani, X. Ma. Long time derivation of Boltzmann equation from hard sphere dynamics. arXiv:2408.07818

    work page arXiv

  20. [21]

    Deng, A.R

    Y. Deng, A.R. Nahmod, H. Yue. Random tensors, propagation of randomness, and nonlinear dispersive equations. Invent. math. 228, (2022), 539–686. doi: 10.1007/s00222-021-01084-8

    work page doi:10.1007/s00222-021-01084-8 2022

  21. [22]

    Ecalle, B

    J. Ecalle, B. Vallet. The arborification-coarborification transform: analytic, combinatorial, and algebraic aspects . Ann. Fac. Sci. Toulouse (6) 13, no. 3, (2004), 575–657

    work page 2004

  22. [23]

    Fauvet and F

    F. Fauvet and F. Menous,Ecalle’s arborification coarborification transforms and Connes Kreimer Hopf algebra, Annales Sc. de l’Ecole Normale Sup. 50, no. 1, (2017), 39-83. doi:10.24033/asens.2315

    work page doi:10.24033/asens.2315 2017

  23. [24]

    [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

  24. [25]

    Z. Guo, S. Kwon, T. Oh.Poincar´e-Dulac normal form reduction for unconditional well-posedness of the periodic cubic NLS. Comm. Math. Phys. 322, no. 1, (2013), 19–48. doi:10.1007/s00220-013-1755-5

    work page doi:10.1007/s00220-013-1755-5 2013

  25. [26]

    Gubinelli

    M. Gubinelli. Controlling rough paths. J. Funct. Anal. 216, no. 1, (2004), 86 –

    work page 2004

  26. [27]

    Three-dimensional cubic wave equation 25

    doi:10.1016/j.jfa.2004.01.002. Three-dimensional cubic wave equation 25

    work page doi:10.1016/j.jfa.2004.01.002 2004

  27. [28]

    Gubinelli

    M. Gubinelli. Ramification of rough paths. J. Differ. Equ. 248, no. 4, (2010), 693 –

    work page 2010

  28. [29]

    doi:10.1016/j.jde.2009.11.015

    work page doi:10.1016/j.jde.2009.11.015 2009

  29. [30]

    M. Hairer. Solving the KPZ equation. Ann. Math 178, no. 2, (2013), 559–664. doi:10.4007/annals.2013.178.2.4

    work page doi:10.4007/annals.2013.178.2.4 2013

  30. [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

  31. [32]

    Hairer, D

    M. Hairer, D. Kelly. Geometric versus non-geometric rough paths. Ann. Inst. H. Poincar´e Probab. Statist.51, no. 1, (2015), 207–251. doi:10.1214/13-AIHP564

    work page doi:10.1214/13-aihp564 2015

  32. [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

  33. [34]

    Hairer, J

    M. Hairer, J. Quastel. A class of growth models rescaling to KPZ . Forum of Mathematics, Pi, 6, (2018), E3. doi:10.1017/fmp.2018.2

    work page doi:10.1017/fmp.2018.2 2018

  34. [35]

    T. J. Lyons. Differential equations driven by rough signals. Rev. Mat. Iberoameri- cana 14, no. 2, (1998), 215–310. doi:10.4171/RMI/240

    work page doi:10.4171/rmi/240 1998

  35. [36]

    A. Murua. The Hopf Algebra of Rooted Trees, Free Lie Algebras, and Lie Series. Found. Comput. Math. 17, no. 6, (2006), 387–426. doi:10.1007/ s10208-003-0111-0

    work page 2006