A general paracontrolled ansatz for singular SPDEs

Nicolas Moench; Yvain Bruned

REVIEW 2 major objections 4 minor 56 references

A general paracontrolled ansatz for singular SPDEs

T0 review · 2 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A recursive ansatz encoded by decorated trees provides a general paracontrolled solution theory for a large class of singular SPDEs, with mollifier-independent convergence of the renormalised stochastic data.

desk verdict A strong, genuinely general paracontrolled framework, but the leading existence theorem is overclaimed: the proof needs a positive regularity margin on the data that is not stated. read the letter →

arxiv 2608.09700 v1 pith:5ZC5HD3F submitted 2026-08-10 math.PR math.APmath.RA

Yvain Bruned , Nicolas Moench This is my paper · ORCID

classification math.PRmath.APmath.RA MSC 60H1735R6060H0746E3516T05

keywords paracontrolledcalculussingularSPDEsregularitystructuresdecoratedtreesrenormalisationBPHZspectralgapinequalityBesovspaces

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper claims that the paracontrolled approach to singular stochastic PDEs can be organised once and for all rather than equation by equation: every solution is written in a universal recursive form, a sum of paraproducts of explicit coefficient functions with stochastic reference distributions indexed by decorated trees, plus a smooth remainder. It proves that for a large class of subcritical parabolic equations this ansatz is closed under the solution map, giving local existence, uniqueness, and continuous dependence on the initial condition and the stochastic data. It also proves that the BPHZ-renormalised stochastic data converge in L^q independently of the mollifier. A sympathetic reader would care because this turns a powerful but bespoke technique into a systematic theory whose algebraic structure is fixed by decorated trees.

What carries the argument

The load-bearing object is the generalised Hairer-Kelly map Ψ, a recursive map defined from the coaction on decorated trees that sends each tree τ to a linear combination of decorated words ⟨τ1,…,τn⟩^k_ℓ X^r; on these words one builds the regularity structure of iterated paraproducts, with model Π^Z⟨τ1,…,τn⟩ = P_ℓ(Z_{τ1},…,Z_{τn}). This map carries the argument because it converts paralinearisation into a reconstruction problem: the modified model (eΠ, eg) of a tree equals the word model applied to Ψ, so the paracontrolled representation of any modelled distribution follows from the reconstruction theorem. The convergence proof runs on a second structure, a regularity-integrability structure over words, together with the identity δbZτ = $Y^{{bZ}}$_{j*Ψ(DΞτ)} that links the Malliavin derivative of the renormalised stochastic data to the word model.

What would settle it

A concrete check is to compute the BPHZ limit of the reference distribution for a borderline tree such as Ξℓ I(Ξℓ) in a near-critical example; if the limit belongs to $C^{{|τ|}}$ but not to $C^{{|τ|+ε}}$ for any ε > 0, then the estimate (6.3) has ε0 = 0 and the contraction of Proposition 6.3 is no longer guaranteed.

Watch

Extended reading notes

Core claim

The central discovery is that the entire paracontrolled expansion can be generated from two ingredients: a generalised Hairer-Kelly map Ψ that sends decorated trees into decorated words, and recursive definitions that build the reference distributions Zτ from convolutions with the kernel, pointwise products with the noises, and iterated paraproducts of strictly smaller trees. The paper establishes that these Zτ form an admissible stochastic data set, that the paracontrolled ansatz is equivalent to a full paracontrolled system, and that the BPHZ-renormalised data converge in L^q independently of the mollifier (Theorem 1.2). In particular, Theorem 1.1 provides a unique local solution of the regularised renormalised equation whose paracontrolled expansion has remainder in C^γ and depends continuously on the initial condition and the stochastic data.

Load-bearing premise

The contraction argument in Section 6 needs the stochastic data to be a little more regular than their natural Hölder degree; if that extra margin vanishes, the fixed-point map is not shown to contract.

Editorial extensions

If this is right

For every subcritical parabolic equation in the class, the local solution has the same structural description: a finite paracontrolled expansion with coefficients given by elementary differentials and a C^γ remainder.
The BPHZ-renormalised stochastic data converge in L^q for every q ≥ 1 and the limit is independent of the mollifier, so the renormalised objects can be defined canonically.
The fixed-point construction gives continuity of the solution and its paracontrolled remainder with respect to both the initial condition and the stochastic data.
The general ansatz specialises to the known paracontrolled treatments of gPAM and Φ4_3 and recovers their standard enhanced noise sets.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Beyond the paper, the same word structure could serve as a dictionary between paracontrolled models and regularity-structure models, since Ψ identifies the algebraic skeleton shared by both expansions.
The recursive combinatorics appears independent of the smoothing gain β, so adapting the ansatz to dispersive equations would mainly require replacing the convolution and paraproduct estimates, a step the paper suggests but does not carry out.
A testable consequence of Theorem 1.2 is that any two mollifiers produce the same renormalised solution limit; comparing the BPHZ data numerically for a concrete model would check this directly.
If the extra-regularity margin needed for the fixed point is supplied by the BPHZ regularity gain, the ansatz could be applied to global-in-time constructions across the full subcritical regime, extending the global results known for particular models.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Dear [Colleague],

The paper delivers on its headline: it gives a general paracontrolled ansatz that, for the first time, has scope comparable to regularity structures in the subcritical parabolic regime. The construction is genuinely new and technically rich. The stochastic data are built recursively via a word-based encoding, using a generalized Hairer-Kelly map (Def 3.8) that sends decorated trees to words of iterated paraproducts. The paralinearisation (Thm 5.11) and the equivalence with a paracontrolled system (Prop 5.13) are the heart of the paper and they look correct. The renormalisation section (preparation maps, Prop 7.8) and the BPHZ convergence via the spectral gap (Thm 8.5, adapted from Bailleul-Hoshino) are carefully done; the key identity δ bZ_τ = Y^{bZ}_{j*Ψ(D_Ξτ)} is new and the proof outline is plausible. That the framework recovers gPAM and Φ4_3 is a reassuring sanity check.

The main problem is a genuine statement-proof mismatch in Section 6. The fixed-point argument that proves Prop 6.3 (and hence Theorem 1.1) requires the stochastic data to be slightly more regular than their natural Hölder degree. Section 6 says exactly this: it introduces a modified degree |·|' with ε0>0 and uses estimate (6.3) to make the map Λ^{k,α} a contraction. Proposition 6.2 states that hypothesis. But Theorem 1.1 and Prop 6.3 are stated for arbitrary admissible stochastic data in C^{|τ|}, with no mention of the extra margin. For data only known in C^{|τ|}, the truncated objects Z^{>a}_τ do not decay in the C^{|τ|} norm, so the contraction estimate does not follow. This is not a cosmetic gap in the write-up; as stated, the existence theorem is not established by the given proof.

The fix is straightforward: either add the extra regularity as an explicit hypothesis in Theorem 1.1/Prop 6.3 (e.g., data in C^{|τ|'} for some ε0>0), or state that the theorem applies to the BPHZ-renormalized data, whose convergence is proved in Section 8 with a small positive margin (Prop 8.13 gives convergence in B^{|τ|(κ)} for small κ). Since the modified degree is already introduced in Section 6, this is a matter of quantifying the theorem correctly.

Two further points. The paper leans heavily on the unpublished-to-appear work [18] by one of the authors for the local expansion theory of iterated paraproducts. That is not circular, but it means part of the proof cannot be fully checked from the present text. And the notation is dense, even by the standards of this field. But the algebraic structure is coherent, the derivations are parameter-free, and the examples match known results.

The paper is for specialists in singular SPDEs, particularly those working on paracontrolled calculus and global existence. I would bring it to the reading group, and I would cite it. It deserves a serious referee; the fixed-point issue is checkable and patchable, and the rest of the framework is worth careful scrutiny. Send it to review.

Referee Report

2 major / 4 minor

Summary. The paper develops a general paracontrolled ansatz for a large class of subcritical parabolic singular SPDEs. The solution is expanded as a sum of paraproducts of coefficient functions (elementary differentials) with stochastic reference distributions indexed by decorated trees. The stochastic data are constructed recursively via a new word-based regularity structure and a generalized Hairer–Kelly map. The paper also provides a fixed-point argument for local well-posedness, a renormalization scheme via preparation maps, and a BPHZ convergence result for the renormalized stochastic data using a spectral gap inequality. The two main theorems are Theorem 1.1 (local existence, uniqueness, and continuity for the paracontrolled expansion) and Theorem 1.2 (L^q convergence of BPHZ-renormalized stochastic data, independent of the mollifier).

Significance. If the results are correct, this is a substantial contribution: it gives the first general paracontrolled solution theory with a scope comparable to the decorated-tree ansatz in regularity structures, and it includes a systematic algebraic framework for stochastic data, renormalization, and convergence. The paper contains detailed, parameter-free algebraic derivations, two worked examples (gPAM and Phi^4_3), and a useful symbolic index. No machine-checked proofs are provided, but the arguments are explicit and largely self-contained apart from the cited 'to appear' works. However, as detailed below, the local well-posedness theorem currently has an unstated extra-regularity hypothesis, and the proof of the convergence theorem has a gap in the treatment of expectations.

major comments (2)

[Section 6 (Eq. (6.3), Propositions 6.2 and 6.3; Theorem 1.1)] Theorem 1.1 and Proposition 6.3 are stated for arbitrary admissible stochastic data with Z_tau in C^{|tau|}, but the fixed-point construction in Proposition 6.2 explicitly assumes the stronger regularity Z_tau in C^{|tau|'} with |tau|' > |tau| and uses the estimate (6.3), ||Z_tau^{>a}||_{C^{|tau|}} <= C 2^{-a epsilon_0} ||Z_tau||_{C^{|tau|'}}. The text in Section 6 acknowledges this: 'we will have to suppose that the stochastic objects (Z_I(tau))_tau are slightly more regular than the regularity given by their degree |I(tau)|.' No argument is given that all admissible data satisfy (6.3); Theorem 1.2 provides an extra margin only for the BPHZ-renormalised data under the spectral gap assumption, not for the arbitrary data quantified in Theorem 1.1. Therefore the local well-posedness claim is not proved as stated. The statement of Theorem 1.1 (and Proposition 6.3) must be revised to include the extra-regularity hypothesis, or a proof that admissible data automatically carry such a margin must be supplied.
[Section 8.5 (Proposition 8.13, Theorem 1.2)] The proof of Proposition 8.13 establishes convergence of the differences bZ^m1_tau - bZ^m2_tau via Lemma 8.10 and Lemma 8.12, but the treatment of the expectation term is only sketched. The assertion that |E[bZ^m1_tau - bZ^m2_tau]| tends to zero is justified by saying that bZ^m_tau = bPi^m_tau + F(bZ^m_sigma, sigma in T cup T^+) and that F is continuous in the bZ^m_sigma for smaller sigma; the functional form of F and its Lipschitz continuity are not spelled out. Since Theorem 1.2 asserts convergence in L^q for all q, the convergence of the first moment is load-bearing and should be proved explicitly, including the independence of the mollifier.

minor comments (4)

[Abstract and Section 5 heading] Please correct the typos 'renormsalition' in the abstract and 'paraliearisation' in the Section 5 heading; the spelling of 'renormalised/renormalization' is also inconsistent throughout.
[Reference [18]] The proofs of Theorem 3.12, Proposition 8.2, and several propositions in Section 5 rely on [18, Theorem 1] and its variants, but [18] is listed as 'to appear'. Please state the precise results used or include them in an appendix so that the paper is self-contained.
[Section 6 (Proposition 6.2)] In the contraction proof, the choices of a and R are described as 'big enough' without explicit quantitative conditions; making the dependence of the contraction constant on epsilon_0, R, and the stochastic data explicit would improve readability.
[Definition 4.2] The definition of admissibility refers to equations (4.2) and (4.7), but (4.2) was introduced for tau in T^+; please clarify the domain of the condition for tau in T.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity found; the ansatz is constructed inductively, and the heavy self-citations (notably [18]) are independent parameter-free prior results rather than reductions of the target theorem.

full rationale

The derivation chain is not circular in the sense prohibited by the review rules. The stochastic data Z_tau are constructed recursively in (4.1)-(4.2) from strictly smaller trees, and the tree-to-word identities (Lemma 3.14, Propositions 4.9, 4.10) translate algebraic identities rather than presupposing the claimed regularity or existence. The key regularities Y_tau in C^{|tau|} are quoted from [18, Theorem 1], a parameter-free prior result by Bailleul and Moench whose assumptions concern local expansion properties of iterated paraproducts and do not include the present existence theorem; under the stated rules this is independent support, not a self-citation loop. Similarly, the BPHZ convergence proof is an induction on tree size using the spectral gap inequality, not a fit-then-predict procedure. The main internal concern is a statement-proof mismatch, which I flag but do not count as circularity: Section 6 introduces a modified degree |.|' with |Xi_l|' > |Xi_l| and uses the dyadic truncation estimate (6.3), ||Z_tau^{>a}||_{C^{|tau|}} <= C 2^{-a epsilon_0} ||Z_tau||_{C^{|tau|'}}, while Theorem 1.1 is stated for arbitrary admissible stochastic data bZ_<gamma in C^{|tau|}. This is a correctness gap, not a reduction of the conclusion to an input by construction. The paper also openly notes scope limitations in Remarks 1.5 and 1.6. No self-definitional, fitted-input, imported-uniqueness, ansatz-smuggling, or renaming circularity is exhibited.

Assumptions & free parameters 2 free parameters · 5 assumptions · 1 invented entities

The central claim depends on the subcriticality and spectral gap assumptions, on Assumption 1 excluding integer degree sums, and on the black-box use of the reconstruction theorem. The most fragile item is the unstated extra regularity margin in Section 6, which is required for the fixed point argument.

free parameters (2)

B (Littlewood-Paley cut-off)
Integer B chosen with B > max gamma_l in Section 2.4; any sufficiently large integer works, so it is a technical parameter rather than a fitted constant.
epsilon_0 (extra regularity margin) = >0, small
Introduced in Section 6 via modified degree |.|' with |Xi_l|' > |Xi_l|; needed for the fixed-point truncation estimate (6.3) but not stated in Theorems 1.1 or 6.3.

assumptions (5)

domain assumption Subcriticality condition (2.14)-(2.15)
Restricts the class of equations; ensures the set of relevant decorated trees is finite and gives positive margins kappa, gamma_0.
domain assumption Assumption 1: sums of degrees of non-polynomial symbols are never integers
Imposed in Section 3 to make the algebraic identities for D^n and down arrow^n valid and to use results from [12,13,18].
domain assumption Assumption 2: spectral gap inequality with centered and space-invariant noises
Needed for Theorem 1.2, the L^q convergence of the BPHZ-renormalised stochastic data.
standard math Reconstruction theorem and model bounds from Hairer's theory of regularity structures
Used as a black box to bound generalised Littlewood-Paley blocks and to lift paracontrolled systems to modelled distributions.
ad hoc to paper Extra regularity of stochastic data via modified degree |.|' (Section 6)
The contraction map Gamma in Proposition 6.2 requires epsilon_0 > 0 in (6.3); this is an assumption not included in the theorem statements.

invented entities (1)

Malliavin derivative symbols \dot{\Xi}_\ell and \dot{\Xi}^0_\ell
purpose: Encode the Malliavin derivative \delta\xi_\ell in the spectral gap proof of convergence
Formal algebraic bookkeeping devices; they carry no physical prediction outside the paper.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A general paracontrolled ansatz for singular SPDEs." pith.science (2026). https://pith.science/paper/5ZC5HD3F

@misc{pith2026260809700,
  author       = {Pith},
  title        = {Pith review of: A general paracontrolled ansatz for singular SPDEs},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5ZC5HD3F}},
  note         = {Machine review of arXiv:2608.09700}
}

read the original abstract

We provide a general ansatz for the paracontrolled approach introduced by Gubinelli, Imkeller, Perkowski for treating singular SPDEs. The ansatz proposed covers a large class of equations. It is described via decorated trees that encode its coefficients and its stochastic data. The main novelty is the recursive definition of the paracontrolled stochastic iterated integrals that involve a well-chosen combinatorial set of words. The paralinearisation is performed via a lift of iterated paraproducts to modelled distributions and the reconstruction theorem coming from Regularity Structures. We also provide a fixed point argument and the renormalised equation with this ansatz when one uses the preparation map formalism that encompasses the BPHZ renormsalition. The last main result is the convergence of the renormalised stochastic data via the BPHZ renormalisation via an adaptation of the spectral gap approach. One obtains in the end a general solution theory for parabolic singular SPDEs via the paracontrolled approach.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

56 extracted references · 22 canonical work pages

[18]

Local expansion properties of paracontrolled systems

I. Bailleul, N. Moench.Local expansion properties of paracontrolled systems.To appear in J. Math. Soc. Japan .arXiv:2412.12670

work page Pith review arXiv
[1]

Allez, K

R. Allez, K. Chouk.The continuous Anderson hamiltonian in dimension two. arXiv:1511.02718

arXiv
[2]

Bailleul, F

I. Bailleul, F. Bernicot.Heat semigroup and singular PDEs.J. Funct. Anal.270, no. 9, (2016), 3344–3452.doi:10.1016/j.jfa.2016.02.012

doi:10.1016/j.jfa.2016.02.012 2016
[3]

Bailleul, F

I. Bailleul, F. Bernicot.High order paracontrolled calculus. Forum Math. Sigma,7, e44, (2019), 1–94.doi:10.1017/fms.2019.44

doi:10.1017/fms.2019.44 2019
[4]

Bailleul, F

I. Bailleul, F. Bernicot, D. Frey.Space-time paraproducts for paracontrolled calculus, 3D-PAM and multiplicative Burgers equations.Ann. Sci. ´Ec. Norm. Sup´er.5, no. 6, (2018), 1399–1456.doi:10.24033/asens.2378

work page doi:10.24033/asens.2378 2018
[5]

Bailleul, Y

I. Bailleul, Y. Bruned.Locality for singular stochastic PDEs. Ann. Probab.54, no. 2, (2026), 768-795.doi:10.1214/25-AOP1778

work page doi:10.1214/25-aop1778 2026
[6]

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
[7]

Bruned, C

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

doi:10.1112/blms.12305 2020

Show all 56 references

[8]

Bringmann, S

B. Bringmann, S. Cao.A para-controlled approach to the stochastic Yang-Mills equation in two dimensions. To appear in Mem. Amer. Math. Soc. arXiv:2305. 07197
[9]

Bailleul, N

I. Bailleul, N. V. Dang, L. Ferdinand, T. D. Tˆo.Global harmonic analysis for on closed Riemannian manifolds.arXiv:2306.07757

arXiv
[10]

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

2024 doi
[11]

Barashkov, M

N. Barashkov, M. Gubinelli.A variational method for Φ4 3.Duke Math. J.169, no. 17, (2020), 3339-3415.doi:10.1215/00127094-2020-0029

2020 doi
[12]

Bailleul, M

I. Bailleul, M. Hoshino.Paracontrolled calculus and regularity structures I.J. Math. Soc. Japan73, no. 2, (2021), 553–595.doi:10.2969/jmsj/81878187

2021
[13]

Bailleul, M

I. Bailleul, M. Hoshino.Paracontrolled calculus and regularity structures. II.J. ´Ec. Polytech. Math.8, 1275–1328.doi:10.5802/jep.172

doi
[14]

Bailleul, M

I. Bailleul, M. HoshinoRandom models on regularity-integrability structures. arXiv:2310.10202. Local developments on Besov spaces104

arXiv
[15]

Bailleul, M

I. Bailleul, M. Hoshino.A tourist’s guide to regularity structures and singular stochastic PDEs.EMS Surv. Math. Sci.13, no. 1, (2026), 215-354. doi:10.4171/ EMSS/87

2026
[16]

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

2019
[17]

Bailleul, N

I. Bailleul, N. Moench.Mean field singular stochastic PDEs.To appear in J. ´Ec. Polytech. Math.arXiv:2305.02603

arXiv
[19]

Bruned, A

Y. Bruned, A. Minguella.Renormalisation in the flow approach for singular SPDEs. To appear in Ann. Probab.arXiv:2504.04885

arXiv
[20]

Bruned, A

Y. Bruned, A. Minguella.Recentering with Malliavin derivative. arXiv:2603. 03261
[21]

Bailleul, A

I. Bailleul, A. Mouzard.Paracontrolled calculus for quasilinear singular PDEs. Stoch. Partial Differ. Equ., Anal. Comput.11, no. 2, (2023), 599–650. doi: 10.1007/s40072-022-00239-9

2023 doi
[22]

Bruned, U

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

2024
[23]

Bony.Calcul symbolique et propagation des singularit ´es pour les ´equations aux d´eriv´ees partielles non lin´eaires.Ann

J.-M. Bony.Calcul symbolique et propagation des singularit ´es pour les ´equations aux d´eriv´ees partielles non lin´eaires.Ann. Sci. Ec. Norm. Sup ´er.14, no. 4, (1981), 209–246.doi:10.24033/asens.1404

1981 doi
[24]

N. N. Bogoliubow, O. S. Parasiuk. ¨Uber die Multiplikation der Kausalfunktionen in der Quantentheorie der Felder.Acta Math.97, (1957), 227–266. doi:10.1007/ BF02392399

1957
[25]

Bruned.Recursive formulae in regularity structures.Stoch

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

2018
[26]

Catellier, K

R. Catellier, K. Chouk.Paracontrolled distributions and the 3-dimensional stochastic quantization equation.Ann. Probab.46, no. 5, (2018), 2621–2679. doi:10.1214/17-AOP1235

2018 doi
[27]

Chandra, M

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

arXiv
[28]

Duch.Flow equation approach to singular stochastic PDEs

P. Duch.Flow equation approach to singular stochastic PDEs. Probab. and Math. Phys.6, no. 2, (2025), 327–437. Tdoi:10.2140/pmp.2025.6.327

2025 doi
[29]

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

2022 doi
[30]

Y. Deng, A. R. Nahmod, H. Yue.Invariant Gibbs measures and global strong solutions for nonlinear Schr ¨odinger equations in dimension two. Ann. of Math.200, no. 2, (2024), 399–486.doi:/10.4007/annals.2024.200.2.1

2024 doi
[31]

P. K. Friz, M. Hairer.A Course on Rough Paths. Springer International Publishing, 2020.doi:10.1007/978-3-030-41556-3. Local developments on Besov spaces105

2020 doi
[32]

Gubinelli, M

M. Gubinelli, M. Hofmanova.Global Solutions to Elliptic and Parabolic Models in Euclidean Space.Commun. Math. Phys.368, (2019), 1201-1266. doi:10.1007/ s00220-019-03398-4

2019
[33]

Gubinelli, P

M. Gubinelli, P. Imkeller, N. Perkowski.Paracontrolled distributions and singular PDEs. Forum Math. Pi,3, e6, (2015), 1–75.doi:10.1017/fmp.2015.2

2015 doi
[34]

Gubinelli, H

M. Gubinelli, H. Koch, T. Oh.Paracontrolled approach to the three-dimensional stochastic nonlinear wave equation with quadratic nonlinearity.J. Eur. Math. Soc. 26, no. 3, (2024), 817–874.doi:10.4171/JEMS/1294

2024 doi
[35]

Gubinelli, N

M. Gubinelli, N. Perkowski.KPZ reloaded.Commun. Math. Phys.349, no. 1, (2017), 165–269.doi:10.1007/s00220-016-2788-3

2017 doi
[36]

Gubinelli.Controlling rough paths

M. Gubinelli.Controlling rough paths. J. Funct. Anal.216, no. 1, (2004), 86 – 140. doi:10.1016/j.jfa.2004.01.002

2004 doi
[37]

Hairer.A theory of regularity structures.Invent

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

2014 doi
[38]

Hoshino.A semigroup approach to reconstruction theorems and multilevel Schauder estimates.Ann

M. Hoshino.A semigroup approach to reconstruction theorems and multilevel Schauder estimates.Ann. Henri Lebesgue8, (2025), 151–180. doi:10.5802/ahl. 232

2025 doi
[39]

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

2015 doi
[40]

Hepp.On the equivalence of additive and analytic renormalization

K. Hepp.On the equivalence of additive and analytic renormalization. Comm. Math. Phys.14, (1969), 67–69.doi:10.1007/BF01645456

1969 doi
[41]

Hoshino.Commutator estimates from a viewpoint of regularity structures.RIMS Kˆokyˆuroku BessatsuB79, (2020), 179–197.arXiv:1903.00623

M. Hoshino.Commutator estimates from a viewpoint of regularity structures.RIMS Kˆokyˆuroku BessatsuB79, (2020), 179–197.arXiv:1903.00623

2020 arXiv
[42]

Hoshino.Iterated paraproducts and iterated commutator estimates in Besov spaces.Adv

M. Hoshino.Iterated paraproducts and iterated commutator estimates in Besov spaces.Adv. Stud. Pure Math.87, (2021), 239–259. doi:10.2969/aspm/ 08710239

2021 doi
[43]

Hoshino.A note on the Taylor estimates of iterated paraproducts.RIMS Kˆokyˆuroku BessatsuB95, (2024), 37–51.arXiv:2409.10817

M. Hoshino.A note on the Taylor estimates of iterated paraproducts.RIMS Kˆokyˆuroku BessatsuB95, (2024), 37–51.arXiv:2409.10817

2024 arXiv
[44]

Hairer, T

M. Hairer, T. Rosati.Global existence for perturbations of the 2D stochastic Navier–Stokes equations with space-time white noise.Ann. PDE10, no. 3, (2024). doi:10.1007/s40818-023-00165-6

2024 doi
[45]

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

2024
[46]

Jagannath, N

A. Jagannath, N. Perkowski.A simple construction of the dynamical Φ4 3 model. Trans. Amer. Math. Soc.376, (2023), 1507-1522.doi:10.1090/tran/8724

2023 doi
[47]

Kupiainen.Renormalization group and stochastic PDEs

A. Kupiainen.Renormalization group and stochastic PDEs. Ann. Henri. Poincar ´e, 17, no. 3, (2016), 497–535.doi:10.1007/s00023-015-0408-y

2016 doi
[48]

Linares, F

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

2024 doi
[49]

Linares, F

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

2023 doi
[50]

Mourrat, H

J.-C. Mourrat, H. Weber.The Dynamic Φ4 3 Model Comes Down from Infinity. Com- mun. Math. Phys.356, (2017), 673–753.doi:10.1007/s00220-017-2997-4

2017 doi
[51]

Mourrat, H

J.-C. Mourrat, H. Weber, W. XuConstruction of Φ4 3 Diagrams for Pedes- trians. From Particle Systems to Partial Differential Equations. PSPDE 2015. Springer Proceedings in Mathematics & Statistics, vol. 209, (2017). doi: 10.1007/978-3-319-66839-0_1

2017 doi
[52]

F. Otto, J. Sauer, S. Smith, H. Weber.A priori bounds for quasi-linear SPDEs in the full sub-critical regime. J. Eur. Math. Soc. (JEMS)27, no. 1, (2025), 71–118. doi:10.4171/JEMS/1574

2025 doi
[53]

Polchinski,Renormalization and effective lagrangians

J. Polchinski,Renormalization and effective lagrangians. Nucl. Phys. B,231, no. 2, (1984) 269–295.doi:10.1016/0550-3213(84)90287-6

1984 doi
[54]

H. Shen, R. Zhu, X. Zhu.Global well-posedness for 2D generalized parabolic Anderson model via paracontrolled calculus. Stoch. PDE: Anal. Comp.14, (2026), 133–160.doi:10.1007/s40072-025-00358-z

2026 doi
[55]

Zimmermann.Convergence of Bogoliubov’s method of renormalization in momentum space.Comm

W. Zimmermann.Convergence of Bogoliubov’s method of renormalization in momentum space.Comm. Math. Phys.15, (1969), 208–234. doi:10.1007/ BF01645676

1969
[56]

R. Zhu, X. Zhu.Lattice approximation to the dynamical Φ4 3 model.Ann. Probab. 46, no. 1, (2018), 397-455.doi:10.1214/17-AOP1188

2018 doi

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.

[1] [18]

Local expansion properties of paracontrolled systems

I. Bailleul, N. Moench.Local expansion properties of paracontrolled systems.To appear in J. Math. Soc. Japan .arXiv:2412.12670

work page Pith review arXiv

[2] [1]

Allez, K

R. Allez, K. Chouk.The continuous Anderson hamiltonian in dimension two. arXiv:1511.02718

arXiv

[3] [2]

Bailleul, F

I. Bailleul, F. Bernicot.Heat semigroup and singular PDEs.J. Funct. Anal.270, no. 9, (2016), 3344–3452.doi:10.1016/j.jfa.2016.02.012

doi:10.1016/j.jfa.2016.02.012 2016

[4] [3]

Bailleul, F

I. Bailleul, F. Bernicot.High order paracontrolled calculus. Forum Math. Sigma,7, e44, (2019), 1–94.doi:10.1017/fms.2019.44

doi:10.1017/fms.2019.44 2019

[5] [4]

Bailleul, F

I. Bailleul, F. Bernicot, D. Frey.Space-time paraproducts for paracontrolled calculus, 3D-PAM and multiplicative Burgers equations.Ann. Sci. ´Ec. Norm. Sup´er.5, no. 6, (2018), 1399–1456.doi:10.24033/asens.2378

work page doi:10.24033/asens.2378 2018

[6] [5]

Bailleul, Y

I. Bailleul, Y. Bruned.Locality for singular stochastic PDEs. Ann. Probab.54, no. 2, (2026), 768-795.doi:10.1214/25-AOP1778

work page doi:10.1214/25-aop1778 2026

[7] [6]

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

[8] [7]

Bruned, C

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

doi:10.1112/blms.12305 2020