Related papers: Formalization of QFT
In this article we present an ongoing effort to formalise quantum algorithms and results in quantum information theory using the proof assistant Isabelle/HOL. Formal methods being critical for the safety and security of algorithms and…
We introduce the group field theory (GFT) formalism for non-perturbative quantum gravity, and present it as a potential unifying framework for several other quantum gravity approaches, i.e. loop quantum gravity and simplicial quantum…
Hilbert spaces of states can be constructed in standard quantum field theory only for infinitely extended spacelike hypersurfaces, precluding a more local notion of state. In fact, the Reeh-Schlieder Theorem prohibits the localization of…
We formulate a quantum formalism for the statistical mechanical models of discretized field theories on lattices and then show that the discrete version of $\phi^4$ theory on 2D square lattice is complete in the sense that the partition…
We address the problem of translating informal mathematical proofs expressed in natural language into formal proofs in Lean4 under a constrained computational budget. Our approach is grounded in two key insights. First, informal proofs tend…
These notes were inspired by the course ''Quantum Field Theory from a Functional Integral Point of View'' given at the University of Zurich in Spring 2017 by Santosh Kandel. We describe Feynman's path integral approach to quantum mechanics…
The electromagnetic characteristics of the fractional quantum Hall states are studied by formulating an effective vector-field theory that takes into account projection to the exact Landau levels from the beginning. The effective theory is…
We present a formally verified framework for patent analysis as a hybrid AI + Lean 4 pipeline. The DAG-coverage core (Algorithm 1b) is fully machine-verified once bounded match scores are fixed. Freedom-to-operate, claim-construction…
For linear bose field theories, I show that if a classical Hamiltonian function is strictly positive, then there is a canonical transformation making the evolution orthogonal. This structure theorem is used to analyze the corresponding…
We introduce a formalism for constructing cohomological field theories (CohFT) out of nonlinear PDEs based on the first author's previous work (arXiv:2202.12425). We apply the formalism to the generalized Seiberg-Witten equations and show…
Quantum de Sitter geometry is discussed using elementary field operator algebras in Krein space quantization from an observer-independent point of view, {\it i.e.} ambient space formalism. In quantum geometry, the conformal sector of the…
In this note we describe a simple and intriguing observation: the quantum Fourier transform (QFT) over $Z_q$, which is considered the most ``quantum'' part of Shor's algorithm, can in fact be simulated efficiently by classical computers.…
Successful applications of a conceptually novel setup of Quantum Field Theory, that accounts for all subtheories of the Standard Model (QED, Electroweak Interaction and Higgs, Yang-Mills and QCD) and beyond (Helicity 2), call for a…
While large language models (LLMs) have shown progress in mathematical reasoning, they still face challenges in formalizing theorems that arise from instantiating abstract structures in concrete settings. With the goal of auto-formalizing…
We give a relativistically covariant, wave-functional formulation of Bohm's quantum field theory for the scalar field based on a general foliation of space-time by space-like hypersurfaces. The wave functional, which guides the evolution of…
We present a survey of rigourous quantization results obtained in recent works on quantum free fields in de Sitter space. For the "massive'' cases which are associated to principal series representations of the de Sitter group SO\_0(1,4),…
The basic principles of the quantum mechanics in the K-field formalism are stated in the paper. The basic distinction of this theory arises from that the quantum theory equations (including well-known Schrodinger, Klein-Gordon and quadratic…
We develop an action formulation of stochastic dynamics in the Hilbert space. By generalizing the Wiener process into 1+3-dimensional spacetime, we define a Lorentz-invariant random field. By coupling the random to quantum fields, we obtain…
Quantum Field Theory (QFT) makes predictions by combining assumptions about (1) quantum dynamics, typically a Schrodinger or Liouville equation; (2) quantum measurement, usually via a collapse formalism. Here I define a "classical density…
I describe a constructive foundation for Quantum Mechanics, based on the discreteness of the degrees of freedom of quantum objects and on the Principle of Relativity. Taking Einstein's historical construction of Special Relativity as a…