We replace trees by multi-indices as an index set of the abstract model space to tackle quasi-linear singular stochastic partial differential equations. We show that this approach is consistent with the postulates of regularity structures when it comes to the structure group, which arises from a Hopf algebra and a comodule. Our approach, where the dual of the abstract model space naturally embeds into a formal power series algebra, allows to interpret the structure group as a Lie group arising from a Lie algebra consisting of derivations on this power series algebra. These derivations in turn are the infinitesimal generators of two actions on the space of pairs (non-linearities, functions of space-time mod constants). We also argue that there exist pre-Lie algebra and Hopf algebra morphisms between our structure and the tree-based one in the cases of branched rough paths (Grossman-Larson, Connes-Kreimer) and of the stochastic heat equation.

In this paper, we explore the version of Hairer’s regularity structures based on a greedier index set than trees, as introduced in (Otto et al. in A priori bounds for quasi-linear SPDEs in the full sub-critical regime, 2021, arXiv:2103.11039) and algebraically characterized in (Linares et al. in Comm. Am. Math. Soc. 3:1–64, 2023). More precisely, we construct and stochastically estimate the renormalized model postulated in (Otto et al. in A priori bounds for quasi-linear SPDEs in the full sub-critical regime, 2021, arXiv:2103.11039), avoiding the use of Feynman diagrams but still in a fully automated, i. e. inductive way. This is carried out for a class of quasi-linear parabolic PDEs driven by noise in the full singular but renormalizable range. We assume a spectral gap inequality on the (not necessarily Gaussian) noise ensemble. The resulting control on the variance of the model naturally complements its vanishing expectation arising from the BPHZ-choice of renormalization. We capture the gain in regularity on the level of the Malliavin derivative of the model by describing it as a modelled distribution. Symmetry is an important guiding principle and built-in on the level of the renormalization Ansatz. Our approach is analytic and top-down rather than combinatorial and bottom-up.

This paper is concerned with quasi-linear parabolic equations driven by an additive forcing \xi \in C^{\alpha-2} , in the full subcritical regime \alpha \in (0,1) . We are inspired by Hairer’s regularity structures, however we work with a more parsimonious model indexed by multi-indices rather than trees. This allows us to capture additional symmetries which play a crucial role in our analysis. Assuming bounds on this model, which is modified in agreement with the concept of algebraic renormalization, we prove local a priori estimates on solutions to the quasi-linear equations modified by the corresponding counter-terms.