Related papers: A Coalgebraic Model of Quantum Bisimulation
According to a standard view, quantum mechanics (QM) is a contextual theory and quantum probability does not satisfy Kolmogorov's axioms. We show, by considering the macroscopic contexts associated with measurement procedures and the…
A C*-algebra formulation of Quantum Mechanics is derived from purely operational axioms in which the primary role is played by the "transformations" that the system undergoes in the course of an "experiment". The notion of the {\em adjoint}…
We review a recently developed theoretical approach to the experimental detection and quantification of bipartite quantum correlations between a qubit and a d dimensional system. Specifically, introducing a properly designed measure Q, the…
Quantum mechanics may be formulated as SENSIBLE QUANTUM MECHANICS (SQM) so that it contains nothing probabilistic, except, in a certain frequency sense, conscious perceptions. Sets of these perceptions can be deterministically realized with…
Common observations of the unpredictability of human behavior and the influence of one question on the answer to another suggest social science experiments are probabilistic and may be mutually incompatible with one another, characteristics…
Contextuality provides a unifying paradigm for nonclassical aspects of quantum probabilities and resources of quantum information. Unfortunately, most forms of quantum contextuality remain experimentally unexplored due to the difficulty of…
Is quantum mechanics about 'states'? Or is it basically another kind of probability theory? It is argued that the elementary formalism of quantum mechanics operates as a well-justified alternative to 'classical' instantiations of a…
This paper proposes a general quantum algorithm that can be applied to any classical computer program. Each computational step is written using reversible operators, but the operators remain classical in that the qubits take on values of…
Under which conditions do outcome probabilities of measurements possess a quantum-mechanical model? This kind of problem is solved here for the case of two dichotomic von Neumann measurements which can be applied repeatedly to a quantum…
The conditions under which an open quantum mechanical system may be described by mixed quantum-classical dynamics are investigated. Decoherence is studied using influence functional methods in a model composite quantum system comprising two…
From behavioral sciences to biology to quantum mechanics, one encounters situations where (i) a system outputs several random variables in response to several inputs, (ii) for each of these responses only some of the inputs may "directly"…
We present a comprehensive study of the behavioral theory of an untyped $\lambda$-calculus extended with the delimited-control operators shift and reset. To that end, we define a contextual equivalence for this calculus, that we then aim to…
For the model of probabilistic labelled transition systems that allow for the co-existence of nondeterminism and probabilities, we present two notions of bisimulation metrics: one is state-based and the other is distribution-based. We…
We consider the hypothesis that quantum mechanics is an approximation to another, cosmological theory, accurate only for the description of subsystems of the universe. Quantum theory is then to be derived from the cosmological theory by…
For the classical mind, quantum mechanics is boggling enough; nevertheless more bizarre behavior could be imagined, thereby concentrating on propositional structures (empirical logics) that transcend the quantum domain. One can also…
Starting from the famous Pauli problem on the possibility to associate quantum states with probabilities, the formulation of quantum mechanics in which quantum states are described by fair probability distributions (tomograms, i.e.…
We have executed for the first time an experiment on mental observables concluding that there exists equivalence (that is to say, quantum like behavior) between quantum and cognitive entities.Such result has enabled us to formulate an…
In previous articles we presented a derivation of Born's rule and unitary transforms in Quantum Mechanics (QM), from a simple set of axioms built upon a physical phenomenology of quantization. Physically, the structure of QM results of an…
Motivated by applications in modelling quantum systems using coalgebraic techniques, we introduce a fibred coalgebraic logic. Our approach extends the conventional predicate lifting semantics with additional modalities relating conditions…
Quantum computation has suggested new forms of quantum logic, called quantum computational logics. The basic semantic idea is the following: the meaning of a sentence is identified with a quregister, a system of qubits, representing a…