Related papers: Digitalizing Wick's theorem
In this work we present (and encourage the use of) the Williamson theorem and its consequences in several contexts in physics. We demonstrate this theorem using only basic concepts of linear algebra and symplectic matrices. As an immediate…
Quantum information theory is the study of the achievable limits of information processing within quantum mechanics. Many different types of information can be accommodated within quantum mechanics, including classical information, coherent…
We develop a quantization scheme for the quantum theory of a real scalar field on a class of non-commutative spacetime models collectively known as T-Minkowski. Requiring the theory to be covariant under T-Poincar\'e transformations, we…
The ring of Witt vectors $\mathbb{W} R$ over a base ring $R$ is an important tool in algebraic number theory and lies at the foundations of modern $p$-adic Hodge theory. $\mathbb{W} R$ has the interesting property that it constructs a ring…
We present the theory for connecting quantum Markov components into a network with quantum input processes in a Gaussian state (including thermal and squeezed), not necessarily vacuum fields.One would expect on physical grounds that the…
By repeated trials, one can determine the fairness of a classical coin with a confidence which grows with the number of trials. A quantum coin can be in a superposition of heads and tails and its state is most generally a density matrix.…
We present a formalization, in the theorem prover Lean, of the classification of solvable Lie algebras of dimension at most three over arbitrary fields. Lie algebras are algebraic objects which encode infinitesimal symmetries, and as such…
We present an extension to the $\mathtt{mathlib}$ library of the Lean theorem prover formalizing the foundations of computability theory. We use primitive recursive functions and partial recursive functions as the main objects of study, and…
We discuss the application of the deformation quantization approach to perturbative quantum field theory. We show that the various forms of Wick's theorem are a direct consequence of the structure of the star products. We derive the…
This paper reports three almost trivial theorems that nevertheless appear to have significant import for quantum foundations studies. 1) A Gleason-like derivation of the quantum probability law, but based on the positive operator-valued…
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…
This report presents a formalization of May's theorem in the proof assistant Coq. It describes how the theorem statement is first translated into Coq definitions, and how it is subsequently proved. Various aspects of the proof and related…
At the primary level of reality as described by quantum field theory, a fundamental particle like an electron represents a stable, discrete, propagating excited state of its underlying quantum field. QFT also tells us that the lowest vacuum…
We present a derivation of the effect of the classical field configuration to the diffusion equations. Using the formalism of the thermo field dynamics we propose a systematic and consistent way to treat the classical background and to…
Quantum information theory is used to analize various non-linear operations on quantum states. The universal disentanglement machine is shown to be impossible, and partial (negative) results are obtained in the state-dependent case. The…
The loop quantization of Brans-Dicke theory (with coupling parameter $\omega\neq-3/2$) is studied. In the geometry-dynamical formalism, the canonical structure and constraint algebra of this theory are similar to those of general relativity…
We show that Coecke's compositionality theorem for quantum information flow follows by the universal property of tensor products from the case in which all relevant states are totally disentangled, for which the proof is almost trivial.…
The aim of this paper is to give a simple, geometric proof of Wigner's theorem on the realization of symmetries in quantum mechanics that clarifies its relation to projective geometry. Although several proofs exist already, it seems that…
Digitization provides a sound and complete method to reduce the problem of verifying whether a real-time system satisfies a property under dense-time semantics to whether the same real-time system satisfies the property over discrete-time.…
Dimensional analysis is fundamental to the formulation and validation of physical laws, ensuring that equations are dimensionally homogeneous and scientifically meaningful. In this work, we use Lean 4 to formalize the mathematics of…