Related papers: Undecidable problems in quantum field theory
One of quantum theory's salient features is its apparent indeterminism, i.e. measurement outcomes are typically probabilistic. We formally define and address whether this uncertainty is unavoidable or whether post-quantum theories can offer…
A noncommutative and non-anticommutative quantum field theory is formulated in a superspace, in which the superspace coordinates satisfy noncommutative and non-anticommutative relations. A perturbative scalar field theory is investigated in…
Particle aspects of two-dimensional conformal field theories are investigated, using methods from algebraic quantum field theory. The results include asymptotic completeness in terms of (counterparts of) Wigner particles in any vacuum…
It is well known that the emptiness problem for binary probabilistic automata and so for quantum automata is undecidable. We present the current status of the emptiness problems for unary probabilistic and quantum automata with connections…
Quantum superposition states are behind many of the curious phenomena exhibited by quantum systems, including Bell non-locality, quantum interference, quantum computational speed-up, and the measurement problem. At the same time, many…
A field $K$ in a ring language $\mathcal{L}$ is finitely undecidable if $\mbox{Cons}(\Sigma)$ is undecidable for every nonempty finite $\Sigma \subseteq \mbox{Th}(K; \mathcal{L})$. We extend a construction of Ziegler and (among other…
In the present paper, the decision problem of the Schr\"odinger equation (asking whether or not a given Hamiltonian operator has the nonempty solution set) is represented as a logical statement. As it is shown in the paper, the law of…
We show that the problem `whether a finite set of regular-linear axioms defines a rigid theory' is undecidable.
In this article we survey recent progress in the algorithmic theory of matrix semigroups. The main objective in this area of study is to construct algorithms that decide various properties of finitely generated subsemigroups of an infinite…
We investigate the interplay between (-1)-form symmetries and their quantum-dual (d-1)-form counterparts within the framework of Symmetry Topological Field Theories (SymTFTs). In this framework the phenomenon of decomposition -- a…
Various topics concerning the entanglement of composite quantum systems are considered with particular emphasis concerning the strict relations of such a problem with the one of attributing objective properties to the constituents. Most of…
This work presents a sample constructions of two algebras both with the ideal of relations defined by a finite Gr\"obner basis. For the first algebra the question whether a given element is nilpotent is algorithmically unsolvable, for the…
A Lagrangian formulation is given extending to N = 1 supersymmetry the motion of a charged point particle with spin in a non-abelian external field. The classical formulation is constructed for any external static non-abelian SU(N) gauge…
In the context of a physical theory, two devices, A and B, described by the theory are called incompatible if the theory does not allow the existence of a third device C that would have both A and B as its components. Incompatibility is a…
Quantum mechanics---the theory describing the fundamental workings of nature---is famously counterintuitive: it predicts that a particle can be in two places at the same time, and that two remote particles can be inextricably and…
It is usually accepted that General Relativity is the only consistent theory which can be obtained starting from the linear Fiertz-Pauli Lagrangian. It is the aim of the present paper to study whether, under certain requirements, a…
Quantum mechanics with a generalized uncertainty principle arises through a representation of the commutator $[\hat{x}, \hat{p}] = i f(\hat{p})$. We apply this deformed quantization to free scalar field theory for $f_\pm =1\pm \beta p^2$.…
For any sufficiently strong theory of arithmetic, the set of Diophantine equations provably unsolvable in the theory is algorithmically undecidable, as a consequence of the MRDP theorem. In contrast, we show decidability of Diophantine…
We establish the existence of an infinite-dimensional fermionic symmetry in four-dimensional supersymmetric gauge theories by analyzing semiclassical photino dynamics in abelian ${\cal N}=1$ theories with charged matter. The symmetry is…
Invariance principles determine many key properties in quantum field theory, including, in particular, the appropriate form of the boundary conditions. A crucial consistency check is the proof that the resulting boundary-value problem is…