Related papers: Completeness of classical $\phi^4$ theory on 2D la…
We apply some tools developed in categorical logic to give an abstract description of constructions used to formalize constructive mathematics in foundations based on intensional type theory. The key concept we employ is that of a Lawvere…
In a series of papers, a many-minds interpretation of quantum theory has been developed. The aim in these papers is to present an explicit mathematical formalism which constitutes a complete theory compatible with relativistic quantum field…
The simulation of real-time dynamics in lattice gauge theories is particularly hard for classical computing due to the exponential scaling of the required resources. On the other hand, quantum algorithms can potentially perform the same…
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 notion of quantum-mechanical completeness is adapted to situations where the only adequate description is in terms of quantum field theory in curved space-times. It is then shown that Schwarzschild black holes, although geodesically…
We develop a novel formal theory of finite structures, based on a view of finite structures as a fundamental artifact of computing and programming, forming a common platform for computing both within particular finite structures, and in the…
We introduce a notion of quantum function, and develop a compositional framework for finite quantum set theory based on a 2-category of quantum sets and quantum functions. We use this framework to formulate a 2-categorical theory of quantum…
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the dynamics of such a system, the updates of that system…
We review some connections between quantum information and statistical mechanics. We focus on three sets of results for classical spin models. First, we show that the partition function of all classical spin models (including models in…
It is known from Grzegorczyk's paper \cite{grze-1951} that the lattice of real semi-algebraic closed subsets of ${\mathbb R}^n$ is undecidable for every integer $n\geq 2$. More generally, if $X$ is any definable set over a real or…
We study quartic matrix models with partition function Z[E,J]=\int dM \exp(trace(JM-EM^2-(\lambda/4)M^4)). The integral is over the space of Hermitean NxN-matrices, the external matrix E encodes the dynamics, \lambda>0 is a scalar coupling…
The laws of quantum-critical scaling theory of quantum fidelity, dependent on the underlying system dimensionality $D$, have so far been verified in exactly solvable $1D$ models, belonging to or equivalent to interacting, quadratic…
In the toy model ($ \phi^{4}$-interacting quantum field theory in one-dimensional "Euclidean" space-time) we prove that the functional integrals of the free field theory evaluated over the space of continuous functions are equal to the…
A simple probabilistic cellular automaton is shown to be equivalent to a relativistic fermionic quantum field theory with interactions. Occupation numbers for fermions are classical bits or Ising spins. The automaton acts deterministically…
Field theories are usually quantized by performing a path integral over configurations of classical fields. This is the case both in perturbation theory and in Wilson's nonperturbative lattice field theory. D-theory is an alternative…
The truncated 4-dimensional sphere $S^4$ and the action of the self-interacting scalar field on it are constructed. The path integral quantization is performed while simultaneously keeping the SO(5) symmetry and the finite number of degrees…
A mathematically rigorous Hamiltonian formulation for classical and quantum field theories is given. New results include clarifications of the structure of linear fields, and a plausible formulation for nonlinear fields. Many mathematical…
We demonstrate in detail how the space of two-dimensional quantum field theories can be parametrized by off-shell states of a free closed string moving in a flat background. The dynamic equation corresponding to the condition of conformal…
We study a lattice gauge theory in Wilson's Hamiltonian formalism. In view of the realization of a quantum simulator for QED in one dimension, we introduce an Abelian model with a discrete gauge symmetry $\mathbb{Z}_n$, approximating the…
A new approach is demonstrated that QFTs can be UV finite if they are viewed as the low energy effective theories of a fundamental underlying theory (that is complete and well-defined in all respects) according to the nowaday's standard…