Related papers: Dynamic Logic of Quantum Field Theory
We analyze the logical foundations of quantum mechanics (QM) by stressing non-objectivity of quantum observables which is a consequence of the absence of logical atoms in QM. We argue that the matter of quantum non-objectivity is that, on…
We survey dynamic logics for specifying and verifying properties of dynamical systems, including hybrid systems, distributed hybrid systems, and stochastic hybrid systems. A dynamic logic is a first-order modal logic with a pair of…
We point out a possible complementation of the basic equations of quantum mechanics in the presence of gravity. This complementation is suggested by the well-known fact that quantum mechanics can be equivalently formulated in the position…
A theory of transformation is presented for the diagonalization of a Hamiltonian that is quadratic in creation and annihilation operators or in coordinates and momenta. It is the systemization and theorization of Dirac and…
Quantum dynamics of coherent states is studied within quantum field theory using two complementary methods: by organizing the evolution as a Taylor series in elapsed time and by perturbative expansion in coupling within the…
In quantum field theory (QFT), the vacuum expectation value of a normal product of creation and annihilation operators is always zero. This simple property paves the way to the classical treatment of perturbative QFT. This is no longer the…
This article outlines a novel interpretation of quantum theory: the Q-based interpretation. The core idea underlying this interpretation, recently suggested for quantum field theories by Drummond and Reid [2020], is to interpret the phase…
To understand the foundations of quantum mechanics, we have to think carefully about how theoretical concepts are rooted in -- and limited by -- the nature of experience, as Bohr attempted to show. Geometrical pictures of physical phenomena…
A quantum field theory is described which is a supersymmetric classical model. -- Supersymmetry generators of the system are used to split its Liouville operator into two contributions, with positive and negative spectrum, respectively. The…
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 employ quantum circuit learning to simulate quantum field theories (QFTs). Typically, when simulating QFTs with quantum computers, we encounter significant challenges due to the technical limitations of quantum devices when implementing…
A dynamic logic ${\mathbf B}$ can be assigned to every automaton ${\mathcal A}$ without regard if ${\mathcal A}$ is deterministic or nondeterministic. This logic enables us to formulate observations on ${\mathcal A}$ in the form of composed…
Two different strategies of the relativistic quantum theory construction are considered and evaluated. The first strategy is the conventional strategy, based on application of the quantum mechanics technique to relativistic systems. This…
We discuss a recently proposed extension of Bohmian mechanics to quantum field theory. For more or less any regularized quantum field theory there is a corresponding theory of particle motion, which in particular ascribes trajectories to…
Quantum logic has been introduced by Birkhoff and von Neumann as an attempt to base the logical primitives, the propositions and the relations and operations among them, on quantum theoretical entities, and thus on the related empirical…
In this paper, a functional model of interactions in quantum theory (QT) is proposed. A functional model describes the dynamic evolution of a physical system in terms of process steps and intermediate states. That is, it describes how…
The aim of the paper is to derive essential elements of quantum mechanics from a parametric structure extending that of traditional mathematical statistics. The main extensions, which also can be motivated from an applied statistics point…
In Newtonian mechanics, inertial pseudoforces - or fictitious forces - appear in systems studied in non-Galilean reference frames; e.g., a centrifugal force seems to arise if the dynamics is analyzed in a rotating reference frame. The…
Collider experiments offer a unique opportunity to explore the Standard Model (SM), and to search for new physics, new interactions, and new principles of nature. The theoretical abstraction of a collider, namely the study of correlations…
We present a comprehensive theoretical investigation on the dynamic electronic response of a noninteracting quantum dot system to various forms of time-dependent voltage applied to the single contact lead. Numerical simulations are carried…