Related papers: Formalization of QFT
In the recent years, we have linked a large corpus of formal mathematics with automated theorem proving (ATP) tools, and started to develop combined AI/ATP systems working in this setting. In this paper we first relate this project to the…
We show that QFT (as well as QM) is not a complete physical theory. We constructed a classical statistical model inducing quantum field averages. The phase space consists of square integrable functions, $f(\phi),$ of the classical bosonic…
Free scalar field theory on 2 dimensional flat spacetime, cast in diffeomorphism invariant guise by treating the inertial coordinates of the spacetime as dynamical variables, is quantized using LQG type `polymer' representations for the…
The quantization rules recently proposed by M. Navarro (and independently I.V. Kanatchikov) for a finite-dimensional formulation of quantum field theory are applied to the Klein-Gordon and the Dirac fields to obtain the quantum equations of…
Recent progress in formal theorem proving has benefited from large-scale proof generation and verifier-aware training, but agentic proving is rarely integrated into prover training, appearing only at inference time. We present OProver, a…
We construct a classical field theory action which upon quantization via the functional integral approach, gives rise to a consistent Dirac-string independent quantum field theory. The approach entails a systematic derivation of the…
Quantum field theory (QFT) for interacting many-electron systems is fundamental to condensed matter physics, yet achieving accurate solutions confronts computational challenges in managing the combinatorial complexity of Feynman diagrams,…
We give a proof of Kontsevich's formality theorem for a general manifold using Fedosov resolutions of algebras of polydifferential operators and polyvector fields. The main advantage of our construction of the formality quasi-isomorphism is…
This thesis is devoted to the study of Quantum Field Theories (QFT) on fuzzy spaces. Fuzzy spaces are approximations to the algebra of functions of a continuous space by a finite matrix algebra. In the limit of infinitely large matrices the…
This thesis is devoted to the first-quantized approach to quantum field theory, commonly known as the 'Worldline Formalism'. It collects most of the works completed by the author during the PhD, illustrating the versatility and efficiency…
Chemical theory can be made more rigorous using the Lean theorem prover, an interactive theorem prover for complex mathematics. We formalize the Langmuir and BET theories of adsorption, making each scientific premise clear and every step of…
We construct bosonic and fermionic locally covariant quantum field theories on curved backgrounds for large classes of fields. We investigate the quantum field and n-point functions induced by suitable states.
Algebraic quantum field theory is a general mathematical framework for relativistic quantum physics, based on the theory of operator algebras. It comprises all observable and operational aspects of a theory. In its framework the entire…
We consider the construction of operator bases for massless, relativistic quantum field theories, and show this is equivalent to obtaining the harmonic modes of a physical manifold (the kinematic Grassmannian), upon which observables have…
Quantum field theories are the cornerstones of modern physics, providing relativistic and quantum mechanical descriptions of physical systems at the most fundamental level. Simulating real-time dynamics within these theories remains elusive…
Simulating the real-time dynamics of quantum field theories (QFTs) is one of the most promising applications of quantum simulators. Regularizing a bosonic QFT for quantum simulation purposes typically involves a truncation in Hilbert space…
Interacting fields can be constructed as formal power series in the framework of causal perturbation theory. The local field algebra $\tilde {\cal F}({\cal O})$ is obtained without performing the adiabatic limit; the (usually bad) infrared…
We provide a rather extended introduction to the group field theory approach to quantum gravity, and the main ideas behind it. We present in some detail the GFT quantization of 3d Riemannian gravity, and discuss briefly the current status…
Proof assistants are software-based tools that are used in the mechanization of proof construction and validation in mathematics and computer science, and also in certified program development. Different tools are being increasingly used in…
Relativistic quantum field theory (QFT) is commonly formulated in terms of operators, asymptotic states, and covariant amplitudes, a perspective that tends to obscure the real-time origin of field dynamics and correlations. Here we…