Related papers: Formalization of QFT
Quantum field theory (QFT) describes nature using continuous fields, but physical properties of QFT are usually revealed in terms of measurements of observables at a finite resolution. We describe a multiscale representation of a free…
We describe a formal proof of the independence of the continuum hypothesis ($\mathsf{CH}$) in the Lean theorem prover. We use Boolean-valued models to give forcing arguments for both directions, using Cohen forcing for the consistency of…
We describe a formalization of forcing using Boolean-valued models in the Lean 3 theorem prover, including the fundamental theorem of forcing and a deep embedding of first-order logic with a Boolean-valued soundness theorem. As an…
Rapid developments of quantum information technology show promising opportunities for simulating quantum field theory in near-term quantum devices. In this work, we formulate the theory of (time-dependent) variational quantum simulation of…
This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures for instance the theory of real algebraic numbers, a decidable subset of real numbers with good algorithmic…
The unmodified Heisenberg-Pauli canonical formalism of quantum field theory applied to a self-interacting scalar boson field is shown to make sense mathematically in a framework of generalized functions adapted to nonlinear operations. The…
The spherical field formalism---a nonperturbative approach to quantum field theory---was recently introduced and applied to phi^4 theory in two dimensions. The spherical field method reduces a quantum field theory to a finite-dimensional…
Explicit realizations of quantum field theory (QFT) are admitted by a revision to the Wightman axioms for the vacuum expectation values (VEV) of fields. The technical development of QFT is expanded beyond positive functionals on *-algebras…
We present the case for a fundamentally discrete quantum spacetime and for Group Field Theories as a candidate consistent description of it, briefly reviewing the key properties of the GFT formalism. We then argue that the outstanding…
Algebraic quantum field theory provides a general, mathematically precise description of the structure of quantum field theories, and then draws out consequences of this structure by means of various mathematical tools -- the theory of…
We give a mathematical construction of Euclidean quantum field theory on certain curved backgrounds. We focus on generalizing Osterwalder-Schrader quantization, as these methods have proved useful to establish estimates for interacting…
We discuss quantum theory of fields \phi defined on (d+1)-dimensional manifold {\cal M} with a boundary {\cal B}. The free action W_{0}(\phi) which is a bilinear form in \phi defines the Gaussian measure with a covariance (Green function)…
A realistic axiomatic formulation of Galilean Quantum Field Theories is presented, from which the most important theorems of the theory can be deduced. In comparison with others formulations, the formal aspect has been improved by the use…
We advocate that the dual picture of spacetime noncommutativity , i.e. the existence of a curved momentum space, could be a way out to solve some of the open conceptual problems in the field, such as the basis dependence of observables. In…
The anti self-adjoint operators of imaginary coordinate and momentum, together with the self-adjoint operators of real coordinate, momentum, energy and time are used in construction of the quantum field theory in operator form. This…
Several related operator-algebraic constructions for quantum field theory models on Minkowski spacetime are reviewed. The common theme of these constructions is that of a Borchers triple, capturing the structure of observables localized in…
This note is an introduction to methods of construction for Hilbert space realizations of relativistic quantum physics. The realizations satisfy a revision to Wightman's functional analytic axioms and exhibit interaction in physical…
We analyze quantum field theories on spacetimes $M$ with timelike boundary from a model-independent perspective. We construct an adjunction which describes a universal extension to the whole spacetime $M$ of theories defined only on the…
First steps are taken in a project to construct a general class of conformal and perhaps, eventually, non-conformal quantum field theories of (n-1)-dimensional extended objects in a d=2n dimensional conformal space-time manifold M. The…
We construct a Topological Quantum Field Theory (in the sense of Atiyah) associated to the universal finite-type invariant of 3-dimensional manifolds, as a functor from the category of 3-dimensional manifolds with parametrized boundary,…