Related papers: $\Phi^4$ theory is trivial
Let $k$ be a field. In this paper we will show that any factorial $\mathbb{A}^1$-form $A$ over any $k$-algebra $R$ is trivial, if $A$ has a retraction to $R$.
We address the question of the bi-Lipschitz local triviality of a complex polynomial function over a complex value. Our main result state that a non constant complex polynomial admits a locally bi-Lipschitz trivial value if and only if it…
We prove that semisimple 4-dimensional oriented topological field theories lead to stable diffeomorphism invariants and can therefore not distinguish homeomorphic closed oriented smooth 4-manifolds and homotopy equivalent simply connected…
In this paper we construct the 2 dimensional Euclidean $\phi^4$ quantum field theory using the method of loop vertex expansion. We reproduce the results of standard constructive theory, for example the Borel summability of the Schwinger…
The classical Harer conjecture is about the stable homology triviality of the obvious embedding $\phi : B_{2g+2} \hookrightarrow \Gamma_{g}$, which was proved by Song and Tillmann. The main part of the proof is to show that $\B\phi^{+} : \B…
It is shown that the $F_4$ rational and trigonometric integrable systems are exactly-solvable for {\it arbitrary} values of the coupling constants. Their spectra are found explicitly while eigenfunctions by pure algebraic means. For both…
The temperature induced phase transition is investigated in the one-component scalar field \phi^4 model on the lattice. Using the GPU cluster a huge amount of Monte Carlo simulation data is collected for a wide interval of coupling values.…
Scalar field theories with quartic interactions are of central interest in the study of second-order phase transitions. For three-dimensional theories, numerous studies make use of the fixed-dimensional perturbative computation of [B.…
A careful analysis of differential renormalization shows that a distinguished choice of renormalization constants allows for a mathematically more fundamental interpretation of the scheme. With this set of a priori fixed integration…
We present a construction of the fractional $\Phi^4$ Euclidean quantum field theory on $\mathbb{R}^3$ in the full subcritical regime via parabolic stochastic quantisation. Our approach is based on the use of a truncated flow equation for…
We consider the untyped lambda calculus with constructors and recursively defined constants. We construct a domain-theoretic model such that any term not denoting bottom is strongly normalising provided all its `stratified approximations'…
There is strong evidence for the conjecture that the $\lambda \phi^4$ QFT- model on 4-dimensional non-commutative Moyal space can be non-perturbatively constructed. As preparation, in this paper we construct the 2-dimensional case with the…
We present an elementary proof of the fact that every torsor for an affine group scheme over an algebraically closed field is trivial. This is related to the uniqueness of fibre functors on neutral tannakian categories.
A compact K\"ahler manifold is shown to be simply-connected if its `symmetric cotangent algebra' is trivial. Conjecturally, such a manifold should even be rationally connected. The relative version is also shown: a proper surjective…
We study the positive theory of groups acting on trees and show that under the presence of weak small cancellation elements, the positive theory of the group is trivial, i.e. coincides with the positive theory of a non-abelian free group.…
A (left) quandle is connected if its left multiplication group acts transitively. In 2014, Eisermann introduced the concept of quandle coverings, corresponding to so-called constant quandle cocycles that form a subset of quandle cocycles. A…
Let X be a geometrically rational (or more generally, separably rationally connected) variety over a finite field K. We prove that if K is large enough then X contains many rational curves defined over K. As a consequence we prove that…
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calculus modulo. We show in this paper that this simple extension…
In quantum field theory the path integral is usually formulated in the wave picture, i.e., as a sum over field evolutions. This path integral is difficult to define rigorously because of analytic problems whose resolution may ultimately…
We introduce a simple extension of the $\lambda$-calculus with pairs---called the distributive $\lambda$-calculus---obtained by adding a computational interpretation of the valid distributivity isomorphism $A \Rightarrow (B\wedge C)\ \…