Related papers: Digitalizing Wick's theorem
The transition to Euclidean space and the discretization of quantum field theories on spatial or space-time lattices opens up the opportunity to investigate probabilistic machine learning within quantum field theory. Here, we will discuss…
The general-purpose interactive theorem-proving assistant called Prove-It was used to verify the Quantum Phase Estimation (QPE) algorithm, specifically claims about its outcome probabilities. Prove-It is unique in its ability to express…
In the paper we begin a description of functional methods of quantum field theory for systems of interacting q-particles. These particles obey exotic statistics and are the q-generalization of the colored particles which appear in many…
We theoretically study the dynamical phase diagram of the Dicke model in both classical and quantum limits using large, experimentally relevant system sizes. Our analysis elucidates that the model features dynamical critical points that are…
Discrete wavelet-based methods promise to emerge as an excellent framework for the non-perturbative analysis of quantum field theories. In this work, we investigate aspects of renormalization in theories analyzed using wavelet-based…
Quantum computers that process information by harnessing the remarkable power of quantum mechanics are increasingly being put to practical use. In the future, their impact will be felt in numerous fields, including in online casino games.…
It is an old speculation in physics that, once the gravitational field is successfully quantized, it should serve as the natural regulator of infrared and ultraviolet singularities that plague quantum field theories in a background metric.…
Conformal truncation is a powerful numerical method for solving generic strongly-coupled quantum field theories based on purely field-theoretic technics without introducing lattice regularization. We discuss possible speedups for performing…
Verifying mathematical proofs is difficult, but can be automated with the assistance of a computer. Autoformalization is the task of automatically translating natural language mathematics into a formal language that can be verified by a…
An interpretation and re-formulation of modern physics which removes the presumption of the space-time continuum, and bases physical theory on a small number of rational and empirical principles. After briefly describing the philosophical…
Some recent investigations of the thermal equilibrium properties of kinks in a $1+1$-dimensional, classical $\Phi^4$ field theory are reviewed. The distribution function, kink density, correlation function, and certain thermodynamic…
This paper studies a generalization of the Curie-Weiss model (the Ising model on a complete graph) to quantum mechanics. Using a natural probabilistic representation of this model, we give a complete picture of the phase diagram of the…
We study classical simulation of quantum computation, taking the Gottesman-Knill theorem as a starting point. We show how each Clifford circuit can be reduced to an equivalent, manifestly simulatable circuit (normal form). This provides a…
The question of whether gravity is fundamentally quantum remains one of the most profound open problems in modern physics. A recently explored approach consists in testing gravity's ability to entangle quantum systems, which requires…
In previous papers, we have investigated the classical theory of Barut and Zanghi (BZ) for the electron spin [which interpreted the Zitterbewegung (zbw) motion as an internal motion along helical paths], and its "quantum" version, by using…
We introduce a group-theoretical extension of the Dicke model which describes an ensemble of two-level atoms interacting with a finite radiation field. The latter is described by a spin model whose main feature is that it possesses a…
Weighted model counting (WMC) has proven effective at a range of tasks within computer science, physics, and beyond. However, existing approaches for using WMC in quantum physics only target specific problem instances, lacking a general…
The main goal of this paper is to give a pedagogical introduction to Quantum Information Theory-to do this in a new way, using network diagrams called Quantum Bayesian Nets. A lesser goal of the paper is to propose a few new ideas, such as…
In this paper we will attempt to show that the Dirac theory lends itself to an interpretation in terms of a unified sub-quantum mechanical field theory where, the fundamental force fields are weak electric and weak magnetic fields. We…
We formalize a complete proof of the regular case of Fermat's Last Theorem in the Lean4 theorem prover. Our formalization includes a proof of Kummer's lemma, that is the main obstruction to Fermat's Last Theorem for regular primes. Rather…