Related papers: Non-deterministic semantics for quantum states

One of the most central and controversial element of quantum mechanics is the use of non zero vectors of a Hilbert space (or, more generally, of one dimension subspaces) for representing the state of a quantum system. In particular, the…

If the block universe view is correct, the future and the past have similar status and one would expect physical theories to involve final as well as initial boundary conditions. A plausible consistency condition between the initial and…

The classical de Finetti theorem provides an operational definition of the concept of an unknown probability in Bayesian probability theory, where probabilities are taken to be degrees of belief instead of objective states of nature. In…

In this sequence of papers, noncommutative analysis is used to give a consistent axiomatic approach to a unified conceptual foundation of classical and quantum physics. The present Part I defines the concepts of observables, states and…

Contrary to the classical case, the relation between quantum programming languages and quantum Turing Machines (QTM) has not being fully investigated. In particular, there are features of QTMs that have not been exploited, a notable example…

We explain the quantum structure as due to the presence of two effects, (a) a real change of state of the entity under influence of the measurement and, (b) a lack of knowledge about a deeper deterministic reality of the measurement…

We present a general theoretical formalism to compute the fidelity of transformations of unknown quantum states. We then focus on the case of Gaussian transformations of continuous variable quantum systems, where, for the case of a Gaussian…

The new orthodoxy of quantum mechanics (QM) based on the decoherence approach requires many-worlds as an essential ingredient for logical consistency, and one may wonder what status to give to all these "other worlds". Here we advocate that…

In this paper are discussed some formal properties of quantum devices necessary for implementation of nondeterministic Turing machine.

We study a new proof principle in the context of constructive Zermelo-Fraenkel set theory based on what we will call "non-deterministic inductive definitions". We give applications to formal topology as well as a predicative justification…

These are the notes written for the talk given at the workshop Rethinking foundations of physics 2016. In section 2, a derivation of the the quantum formalism starting from propositional calculus (quantum logic) is reviewed, pointing out…

In this paper we discuss a formulation of relativistic quantum mechanics that uses Euclidean Green functions or generating functionals as input. This formalism has a close relation to quantum field theory, but as a theory of linear…

Recently, it has been argued that no extension of quantum theory can have improved predictive power under a strong assumption of free choice of the experimental settings and validity of quantum mechanics. Here, under a different free choice…

A physical theory consists of the mathematical formalism and an interpretation, which contains the definition of symbols, measurement assignments, concepts and principles, and an ontology. We present a scheme to classify these different…

The development of quantum information theory has renewed interest in the idea that the state vector does not represent the state of a quantum system, but rather the knowledge or information that we may have on the system. I argue that this…

According to quantum theory, pure physical states correspond to equivalence classes of state vectors, where any two members of one class differ by a complex factor. The point is that such a factor does not change the probability for the…

An attempt is made to formulate quantum mechanics (QM) in physical rather than in mathematical terms. It is argued that the appropriate conceptual framework for QM is "contextual objectivity", which includes an objective definition of the…

Essential elements of quantum theory are derived from an epistemic point of view, i.e., the viewpoint that thetheory has to do with what can be said about nature. This gives a relationship to statistical reasoning and to other areas of…

We report lowest-order series expansions for primary matrix functions of quantum states based on a perturbation theory for functions of linear operators. Our theory enables efficient computation of functions of perturbed quantum states that…

The preparation procedure, an undefined notion in quantum theory, has not had the relevance that it deserves in the interpretation of quantum mechanical formalism. Here we utilize the concepts of identical and similar preparation procedures…