Related papers: Undecidable problems in quantum field theory
We review a notion of completeness in QFT arising from the analysis of basic properties of the set of operator algebras attached to regions. In words, this completeness asserts that the physical observable algebras produced by local degrees…
This paper exposes a contradiction in the Zermelo-Fraenkel set theory with the axiom of choice (ZFC). While Godel's incompleteness theorems state that a consistent system cannot prove its consistency, they do not eliminate proofs using a…
I describe how integrable quantum field theories in 2 spacetime dimensions are characterized by infinite dimensional quantum group symmetries, namely the q-deformations of affine Lie algebras, and their Yangian limit. These symmetries can…
Quantum field theory has successfully generated a number of general conclusions. It seems meaningful to disclose the logical forms of these conclusions. The present paper reports two results. The first result shows the logic of local gauge…
Quantum theory is widely regarded as fundamentally indeterministic, yet classical frameworks can also exhibit indeterminism once infinite information is abandoned. At the same time, relativity is usually taken to forbid superluminal…
It is a widespread belief that results like G\"odel's incompleteness theorems or the intrinsic randomness of quantum mechanics represent fundamental limitations to humanity's strive for scientific knowledge. As the argument goes, there are…
We complete the first stage of constructing a theory of fields not investigated before; these fields transform according to Lorentz group representations decomposable into an infinite direct sum of finite-dimensional irreducible…
We show that the spectral gap problem is undecidable. Specifically, we construct families of translationally-invariant, nearest-neighbour Hamiltonians on a 2D square lattice of d-level quantum systems (d constant), for which determining…
This article describes a Turing machine which can solve for $\beta^{'}$ which is RE-complete. RE-complete problems are proven to be undecidable by Turing's accepted proof on the Entscheidungsproblem. Thus, constructing a machine which…
Quantum field theory offers physicists a tremendously wide range of application; it is both a language with which a vast variety of physical processes can be discussed and also it provides a model for fundamental physics, the so-called…
It is shown how the programme of decoherence can be applied in the context of quantum field theory. To illustrate the role of gauge invariance, we first discuss the charge superselection rule in quantum electrodynamics in some detail. We…
In fundamental theories that accounts for quantum gravitational effects, the spacetime causal structure is expected to be quantum uncertain. Previous studies of quantum causal structure focused on finite-dimensional systems. Here we present…
We introduce a first-order theory of finite full binary trees and then identify decidable and undecidable fragments of this theory. We show that the analogue of Hilbert`s 10th Problem is undecidable by constructing a many-to-one reduction…
We analyse in details the problems which one faces trying to quantize a scalar field on the spacelike cylinder being the simple example of a spacetime with closed timelike curves. Our analysis brings to light the fact that the usual set of…
In the following, we will review the fundamental problem that prevents a complete understanding of a theory of supersymmetrical field representations and describe its possible relation to a similar problem facing superstring/M-theory.
We introduce a framework for internal topological symmetries in quantum field theory, including "noninvertible symmetries" and "categorical symmetries". This leads to a calculus of topological defects which takes full advantage of…
The two ways of constrained systems quantization are considered from the point of view of their self-consistency at the quantum level. With a transparent example of a particle in the external electromagnetic field we demonstrate that the…
Generalised Probabilistic Theories (GPTs) provide a unifying framework encompassing classical theories, quantum theories, as well as hypothetical alternatives. We investigate the problem of extending a system with a finite set of…
3-dimensional gravity coupled to Maxwell (or Klein-Gordon) fields is exactly soluble under the assumption of axi-symmetry. The solution is used to probe several quantum gravity issues. In particular, it is shown that the quantum…
In general, the system of $2$nd-order partial differential equations made of the Euler-Lagrange equations of classical field theories are not compatible for singular Lagrangians. This is the so-called second-order problem. The first aim of…