Related papers: Formal Verification using Second-Quantized Horn Cl…
A central theme in current work in quantum information and quantum foundations is to see quantum mechanics as occupying one point in a space of possible theories, and to use this perspective to understand the special features and properties…
The non-classicality of single quantum systems can be formalised using the notion of contextuality. But can contextuality be convincingly demonstrated in an experiment, without reference to the quantum formalism? The operational approach to…
We argue that the complex numbers are an irreducible object of quantum probability. This can be seen in the measurements of geometric phases that have no classical probabilistic analogue. Having complex phases as primitive ingredient…
Observation of gravitationally induced quantum entanglement is often interpreted as a direct evidence of non-classical gravity. While the form and the degree of non-classicality have been rigorously studied from a foundational perspective,…
Dual Horn clauses mirror key properties of Horn clauses. This paper explores the ``other side of the looking glass'' to reveal some expected and unexpected symmetries and their practical uses. We revisit Dual Horn clauses as enablers of a…
We introduce higher order (polynomial) extensions of the unique (up to isomorphisms) non trivial central extension of the Heisenberg algebra. Using the boson representation of the latter, we construct the corresponding polynomial analogue…
Quantum real numbers are proposed by performing a quantum deformation of the standard real numbers $\R$. We start with the q-deformed Heisenberg algebra $\cLLq$ which is obtained by the Moyal $\ast$-deformation of the Heisenberg algebra…
Stochastic differential equations for processes with values in Hilbert spaces are now largely used in the quantum theory of open systems. In this work we present a class of such equations and discuss their main properties; moreover, we…
Quantum mechanics contains some strange unphysical concepts. Among these are complex numbers, Hilbert spaces with their unitary and self-adjoint operators, states represented by complex vectors, superpositions of states, collapse of wave…
We take up the idea of Nelson's stochastic processes, the aim of which was to deduce Schr\"odinger's equation. We make two major changes here. The first one is to consider deterministic processes which are pseudo-random but which have the…
Over the past decade classical optical systems with gain or loss, modelled by non-Hermitian parity-time symmetric Hamiltonians, have been deeply investigated. Yet, their applicability to the quantum domain with number-resolved photonic…
There are two well known systems formalizing total recursion beyond primitive recursion (\textbf{PR}), system \textbf{T} by G\"odel and system \textbf{F} by Girard and Reynolds. system \textbf{T} defines recursion on typed objects and can…
Experimental implementations of quantum computer architectures are now being investigated in many different physical settings. The full set of requirements that must be met to make quantum computing a reality in the laboratory [1] is…
Grover's algorithm relies on the superposition and interference of quantum mechanics, which is more efficient than classical computing in specific tasks such as searching an unsorted database. Due to the high complexity of quantum…
The basic idea of quantum computing is surprisingly similar to that of kernel methods in machine learning, namely to efficiently perform computations in an intractably large Hilbert space. In this paper we explore some theoretical…
We consider constrained Horn clause solving from the more general point of view of solving formula equations. Constrained Horn clauses correspond to the subclass of Horn formula equations. We state and prove a fixed-point theorem for Horn…
Using arbitrary symplectic structures and parametrization invariant actions, we develop a formalism, based on Dirac's quantization procedure, that allows us to consider theories with both space-space as well as space-time noncommutativity.…
Dissipative quantum systems are sometimes phenomenologically described in terms of a non-hermitian hamiltonian $H$, with different left and right eigenvectors forming a bi-orthogonal basis. It is shown that the dynamics of waves in open…
The article explores a new formalism for describing motion in quantum mechanics. The construction is based on generalized coherent states with evolving fiducial vector. Weyl-Heisenberg coherent states are utilised to split quantum systems…
A formalism for quantum error correction based on operator algebras was introduced in [1] via consideration of the Heisenberg picture for quantum dynamics. The resulting theory allows for the correction of hybrid quantum-classical…