Related papers: Formalization of QFT
Perturbative algebraic quantum field theory (pAQFT) is a mathematically rigorous framework that allows to construct models of quantum field theories on a general class of Lorentzian manifolds. Recently this idea has been applied also to…
We reexamine in detail a canonical quantization method a la Gupta-Bleuler in which the Fock space is built over a so-called Krein space. This method has already been successfully applied to the massless minimally coupled scalar field in de…
Algebraic quantum field theory, or AQFT for short, is a rigorous analysis of the structure of relativistic quantum mechanics. It is formulated in terms of a net of operator algebras indexed by regions of a Lorentzian manifold. In several…
Simulating out-of-equilibrium dynamics of quantum field theories in nature is challenging with classical methods, but is a promising application for quantum computers. Unfortunately, simulating interacting bosonic fields involves a high…
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…
In this article we study the quantization of a free real scalar field on a class of noncommutative manifolds, obtained via formal deformation quantization using triangular Drinfel'd twists. We construct deformed quadratic action functionals…
We construct and investigate quantum fields induced on a d-dimensional dissipationless defect by bulk fields propagating in a (d+1)-dimensional space. All interactions are localized on the defect. We derive a unitary non-canonical quantum…
In this work we introduce a phase-space description based on the positive P representation for bosonic fields interacting with a system of quantum emitters. The formalism is applicable to collective light-matter interactions and open…
We give a pedagogical introduction to algebraic quantum field theory (AQFT), with the aim of explaining its key structures and features. Topics covered include: algebraic formulations of quantum theory and the GNS representation theorem,…
A method is developed to construct a non-local massless scalar field theory in a flat quantised space-time generated by an operator algebra. Implicit in the operator algebra is a fundamental length scale of the space-time. The fundamental…
In a recent proposal we applied methods from constructive QFT to derive a Hamiltonian Renormalisation Group in order to employ it ultimately for canonical quantum gravity. The proposal was successfully tested for free scalar fields and thus…
This article sets out the framework of algebraic quantum field theory in curved spacetimes, based on the idea of local covariance. In this framework, a quantum field theory is modelled by a functor from a category of spacetimes to a…
We introduce regular stratified piecewise linear manifolds to describe lattices and investigate the lattice model approach to topological quantum field theory in all dimensions. We introduce the unitary $n+1$ alterfold TQFT and construct it…
The sheaf-theoretic structure is useful in classifying no-go theorems related to non-locality and contextuality. It provides a new point of view different from conventional formularization of quantum mechanics. First, we examine a…
It is shown how the theory of the fields can be constructed in a consistent way in quantized spaces. All constructions are connected with unitary irreducible representations of real forms of six dimensional rotation algebras O(1,5), O(2,4),…
Autoformalization involves automatically translating informal math into formal theorems and proofs that are machine-verifiable. Euclidean geometry provides an interesting and controllable domain for studying autoformalization. In this…
The problem of background independent quantum gravity is the problem of defining a quantum field theory of matter and gravity in the absence of an underlying background geometry. Loop quantum gravity (LQG) is a promising proposal for…
In this paper we relate two mathematical frameworks that make perturbative quantum field theory rigorous: perturbative algebraic quantum field theory (pAQFT) and the factorization algebras framework developed by Costello and Gwilliam. To…
We consider the problem of evolving a quantum field between any two (in general, curved) Cauchy surfaces. Classically, this dynamical evolution is represented by a canonical transformation on the phase space for the field theory. We show…
We announce results about the nonperturbative mathematically rigorous construction of the $:\!\phi^4_4\!:$ quantum field theory in four-dimensional space-time. The complex structure of solutions of the classical nonlinear (real-valued) wave…