Related papers: $\Phi^4$ theory is trivial

Parametricity allows the transfer of proofs between different implementations of the same data structure. The lambdaPi-calculus modulo theory is an extension of the lambda-calculus with dependent types and user-defined rewrite rules. It is…

Models can be simple for different reasons: because they yield a simple and computationally efficient interpretation of a generic dataset (e.g. in terms of pairwise dependences) - as in statistical learning - or because they capture the…

We argue that theories with fundamental fermions which undergo chiral symmetry breaking have several universal features which are qualitatively different than those of theories with fundamental scalars. Several bounds on the critical…

The geometry of graded principal bundles is discussed in the framework of graded manifold theory of Kostant-Berezin-Leites. In particular, we prove that a graded principal bundle is globally trivial if and only if it admits a global graded…

We obtain (small-parameter) well-posedness for the (space-time periodic) $\Phi^4$ equation in the full subcritical regime in the context of regularity structures based on multi-indices. As opposed to Hairer's more extrinsic tree-based…

We introduce a refined version of group cohomology and relate it to the space of polynomials on the group in question. We show that the polynomial cohomology with trivial coefficients admits a description in terms of ordinary cohomology…

We make the simple, and yet deep, observation that a regular conditional distribution (rcd) almost surely trivialises the conditioning $\sigma$-algebra if and only if there exists a "measurable selection" of regular conditional…

We present a new construction of the Euclidean $\Phi^4$ quantum field theory on $\mathbb{R}^3$ based on PDE arguments. More precisely, we consider an approximation of the stochastic quantization equation on $\mathbb{R}^3$ defined on a…

We give an arithmetical proof of the strong normalization of the $\lambda$-calculus (and also of the $\lambda\mu$-calculus) where the type system is the one of simple types with recursive equations on types. The proof using candidates of…

In this paper, we give a rigorous proof of the renormalizability of the massive $\phi_4^4$ theory on a half-space, using the renormalization group flow equations. We find that five counter-terms are needed to make the theory finite, namely…

We show that the mean-field time dependent equations in the Phi^4 theory can be put into a classical non-canonical hamiltonian framework with a Poisson structure which is a generalization of the standard Poisson bracket. The Heisenberg…

In Chapter 1 we fully characterise pairs of finite graphs which form a gap in the full homomorphism order. This leads to a simple proof of the existence of generalised duality pairs. We also discuss how such results can be carried to…

A variety is rationally connected if two general points can be joined by a rational curve. A higher version of this notion is rational simple connectedness, which requires suitable spaces of rational curves through two points to be…

Let P be a free Poisson algebra in two variables over a field of characteristic zero. We prove that the automorphisms of P are tame and that the locally nilpotent derivations of P are triangulable.

It is proved that any supersimple field has trivial Brauer group, and more generally that any supersimple division ring is commutative. As prerequisites we prove several results about generic types in groups and fields whose theory is…

In this article we define and quantize a truncated form of the nonassociative and noncommutative Snyder phi^4 field theory using the functional method in momentum space. More precisely, the action is approximated by expanding up to the…

In the present paper we shall prove that countable \omega-categorical simple CM-trivial theories and countable \omega-categorical simple theories with strong stable forking are low. In addition, we observe that simple theories of bounded…

Smooth real cubic surfaces are birationally trivial (over $\R$) if and only if their real locus is connected or, equivalently, if and only if they have two skew real lines or two skew complex conjugate lines. In such a case a…

Our starting point is Mumford's conjecture, on representations of Chevalley groups over fields, as it is phrased in the preface of "Geometric Invariant Theory". After extending the conjecture appropriately, we show that it holds over an…

When the cohomology ring of a generalized Bott manifold with $\mathbb{Q}$-coefficient is isomorphic to that of a product of complex projective spaces $\mathbb{C}P^{n_i}$, the generalized Bott manifold is said to be $\mathbb{Q}$-trivial. We…