Related papers: Computability in Basic Quantum Mechanics
We show that QM can be represented as a natural projection of a classical statistical model on the phase space $\Omega= H\times H,$ where $H$ is the real Hilbert space. Statistical states are given by Gaussian measures on $\Omega$ having…
The TTE computability notion in effective metric spaces is usually defined by using Cauchy representations. Under some weak assumptions, we characterize this notion in a way which avoids using the representations.
The theory of quantum mechanics is examined using non-standard real numbers, called quantum real numbers (qr-numbers), that are constructed from standard Hilbert space entities. Our goal is to resolve some of the paradoxical features of the…
We explore in the framework of Quantum Computation the notion of {\em Computability}, which holds a central position in Mathematics and Theoretical Computer Science. A quantum algorithm for Hilbert's tenth problem, which is equivalent to…
Quantum theory does not only predict probabilities, but also relative phases for any experiment, that involves measurements of an ensemble of systems at different moments of time. We argue, that any operational formulation of quantum theory…
In this paper, we present a general theory of finite quantum measurements, for which we assume that the state space of the measured system is a finite dimensional Hilbert space and that the possible outcomes of a measurement is a finite set…
In the book [4] the general problem of reconstructing the Hilbert space formulation in quantum theory is discussed from the point of view of what I called conceptual variables, any variables defined by a person or by a group of persons.…
The central idea of this work is the concept of prespace, a hypothetical structure that is postulated to underlie the fabric of space or space-time. I consider how such a structure could relate to space and space-time, and the implications…
In analogy with conventional quantum mechanics, non-commutative quantum mechanics is formulated as a quantum system on the Hilbert space of Hilbert-Schmidt operators acting on non-commutative configuration space. It is argued that the…
Choosing an encoding over binary strings for input/output to/by a Turing Machine is usually straightforward and/or inessential for discrete data (like graphs), but delicate -- heavily affecting computability and even more computational…
Qubits are a great way to build a quantum computer, but a limited way to program one. We replace the usual "states and gates" formalism with a "props and ops" (propositions and operators) model in which (a) the C*-algebra of observables…
According to mathematical constructivism, a mathematical object can exist only if there is a way to compute (or "construct") it; so, what is non-computable is non-constructive. In the example of the quantum model, whose Fock states are…
We introduce a construction that turns a category of pure state spaces and operators into a category of observable algebras and superoperators. For example, it turns the category of finite-dimensional Hilbert spaces into the category of…
This paper provides a systematic study of the operational idea that a quantum ``state'' is only defined up to what can be distinguished by a chosen family of observables. Concretely, any von Neumann algebra of observables $\mathscr{M}$…
In this paper we give a method to associate a graph with an arbitrary density matrix referred to a standard orthonormal basis in the Hilbert space of a finite dimensional quantum system. We study the related issues like classification of…
The quantum mechanical formalism for position and momentum of a particle in a one dimensional cyclic lattice is constructively developed. Some mathematical features characteristic of the finite dimensional Hilbert space are compared with…
Given the algebra of observables of a quantum system subject to selection rules, a state can be represented by different density matrices. As a result, different von Neumann entropies can be associated with the same state. Motivated by a…
Complex numbers appear in the Hilbert space formulation of quantum mechanics, but not in the formulation in phase space. Quantum symmetries are described by complex, unitary or antiunitary operators defining ray representations in Hilbert…
Quantum mechanics in the Rigged Hilbert Space formulation describes quasistationary phenomena mathematically rigorously in terms of Gamow vectors. We show that these vectors exhibit microphysical irreversibility, related to an intrinsic…
We consider the issue of computability at the most fundamental level of physical reality: the Planck scale. To this aim, we consider the theoretical model of a quantum computer on a non commutative space background, which is a computational…