An Approach to Quantum Mechanics via Conditional Probabilities

The well-known proposal to consider the Lüders-von Neumann measurement as a non-classical extension of probability conditionalization is further developed. The major results include some new concepts like the different grades of compatibility, the objective conditional probabilities which are independent of the underlying state and stem from a certain purely algebraic relation between the events, and an axiomatic approach to quantum mechanics. The main axioms are certain postulates concerning the conditional probabilities and own intrinsic probabilistic interpretations from the very beginning. A Jordan product is derived for the observables, and the consideration of composite systems leads to operator algebras on the Hilbert space over the complex numbers, which is the standard model of quantum mechanics. The paper gives an expository overview of the results presented in a series of recent papers by the author. For the first time, the complete approach is presented as a whole in a single paper. Moreover, since the mathematical proofs are already available in the original papers, the present paper can dispense with the mathematical details and maximum generality, thus addressing a wider audience of physicists, philosophers or quantum computer scientists.     

Conditional Probabilities and Density Operators in Quantum Modeling

Motivated by a recent proof of free choices in linking equations to the experiments they describe, I clarify some relations among purely mathematical entities featured in quantum mechanics (probabilities, density operators, partial traces, and operator-valued measures), thereby allowing applications of these entities to the modeling of a wider variety of physical situations. I relate conditional probabilities associated with projection-valued measures to conditional density operators identical, in some cases but not in others, to the usual reduced density operators. While a fatal obstacle precludes associating conditional density operators with general non-projective measures, tensor products of general positive operator-valued measures (POVMs) are associated with conditional density operators. This association together with the free choice of probe particles allows a postulate of state reductions to be replaced by a theorem. An application shows an equivalence between one form of quantum key distribution and another with respect to certain eavesdropping attacks.     

Towards Loophole-Free Optical Bell Test of CHSH Inequality

Bell test had been suggested to end the long-standing debate on the EPR paradox, while the imperfections of experimental devices induce some loopholes in Bell test experiments and hence the assumption of local reality by EPR cannot be excluded with current experimental results. In optical Bell test experiments, the locality loophole can be closed easily, while the attempt of closing detection loophole requires very high efficiency of single photon detectors. Previous studies showed that the violation of Clauser-Horne-Shimony-Holt (CHSH) inequality with maximally entangled states requires the detection efficiency to be higher than 82.8 %. In this paper, we raise a modified CHSH inequality that covers all measurement events including the efficient and inefficient detections in the Bell test and prove that all local hidden models can be excluded when the inequality is violated. We find that, when non-maximally entangled states are applied to the Bell test, the lowest detection efficiency for violation of the present inequality is 66.7 %. This makes it feasible to close the detection loophole and the locality loophole simultaneously in optical Bell test of CHSH inequality.     

A Hierarchy of Compatibility and Comeasurability Levels in Quantum Logics with Unique Conditional Probabilities

In the quantum mechanical Hilbert space formalism, the probabilistic interpretation is a later ad-hoc add-on, more or less enforced by the experimental evidence, but not motivated by the mathematical model itself. A model involving a clear probabilistic interpretation from the very beginning is provided by the quantum logics with unique conditional probabilities. It includes the projection lattices in von Neumann algebras and here probability conditionalization becomes identical with the state transition of the Lueders-von Neumann measurement process. This motivates the definition of a hierarchy of five compatibility and comeasurability levels in the abstract setting of the quantum logics with unique conditional probabilities. Their meanings are： the absence of quantum interference or influence, the existence of a joint distribution, simultaneous measurability, and the independence of the final state after two successive measurements from the sequential order of these two measurements. A further level means that two elements of the quantum logic （events） belong to the same Boolean subalgebra. In the general case, the five compatibility and comeasurability levels appear to differ, but they all coincide in the common Hilbert space formalism of quantum mechanics, in von Neumann algebras, and in some other cases.     

A Hierarchy of Compatibility and Comeasurability Levels in Quantum Logics with Unique Conditional Probabilities

In the quantum mechanical Hilbert space formalism, the probabilisticinterpretation is a later ad-hoc add-on, more or less enforced by theexperimental evidence, but not motivated by the mathematical model itself. Amodel involving a clear probabilistic interpretation from the very beginningis provided by the quantum logics with unique conditional probabilities. Itincludes the projection lattices in von Neumann algebras and hereprobability conditionalization becomes identical with the state transitionof the Lüders - von Neumann measurement process. This motivates thedefinition of a hierarchy of five compatibility and comeasurability levelsin the abstract setting of the quantum logics with unique conditionalprobabilities. Their meanings are: the absence of quantum interference orinfluence, the existence of a joint distribution, simultaneous measurability, and the independence of the final state after two successive measurements from the sequential order of these two measurements. A further level means that two elements of the quantum logic (events) belong to the same Boolean subalgebra. In the general case, the five compatibility and comeasurability levels appear to differ, but they all coincide in the common Hilbert space formalism of quantum mechanics, in von Neumann algebras, and in some other cases.     

Information Invariance and Quantum Probabilities

We consider probabilistic theories in which the most elementary system, a two-dimensional system, contains one bit of information. The bit is assumed to be contained in any complete set of mutually complementary measurements. The requirement of invariance of the information under a continuous change of the set of mutually complementary measurements uniquely singles out a measure of information, which is quadratic in probabilities. The assumption which gives the same scaling of the number of degrees of freedom with the dimension as in quantum theory follows essentially from the assumption that all physical states of a higher dimensional system are those and only those from which one can post-select physical states of two-dimensional systems. The requirement that no more than one bit of information (as quantified by the quadratic measure) is contained in all possible post-selected two-dimensional systems is equivalent to the positivity of density operator in quantum theory. This article is dedicated to Pekka Lahti on the occasion of his 60th birthday.     

God Plays Coins or Superposition Principle for Classical Probabilities in Quantum Suprematism Representation of Qubit States

We construct the quantum density matrix of a spin-1/2 state for three given probability distributions describing positions of three classical coins and associate its matrix elements with the Triada of Malevich’s squares. We present the superposition principle of spin-1/2 states in the form of a nonlinear addition rule for these classical coin probabilities. We illustrate the obtained formulas by the statement “God does not play dice – God plays coins.”     

Extended Quantum Conditional Entropy and Quantum Uncertainty Inequalities

Quantum states can be subjected to classical measurements, whose incompatibility, or uncertainty, can be quantified by a comparison of certain entropies. There is a long history of such entropy inequalities between position and momentum. Recently these inequalities have been generalized to the tensor product of several Hilbert spaces and we show here how their derivations can be shortened to a few lines and how they can be generalized. Our proofs utilize the technique of the original derivation of strong subadditivity of the von Neumann entropy.     

Quantum and Classical Brackets

We describe p-mechanical (Kisil, V. V. (1996). Journal of Natural Geometry 9(1), 1–14; Kisil, V. V. (1999). Advances in Mathematics 147(1), 35–73; Prezhdo, O. V. and Kisil, V. V. (1997). Physical Review A 56(1), 162–175) brackets that generate quantum (commutator) and classical (Poisson) brackets in corresponding representations of the Heisenberg group. We do not use any kind of semiclassical approximation or limiting procedure for 0     

Arbiter as the Third Man in Classical and Quantum Games

We study the possible influence of a not necessarily sincere arbiter on the course of classical and quantum 2×2 games and we show that this influence in the quantum case is much bigger than in the classical case. Extreme sensitivity of quantum games on initial states of quantum objects used as carriers of information in a game shows that a quantum game, contrary to a classical game, is not defined by a payoff matrix alone but also by an initial state of objects used to play a game. Therefore, two quantum games that have the same payoff matrices but begin with different initial states should be considered as different games.     

Classical and Quantum Coherent States

p-Mechanics is a consistent physical theory which describes both quantum and classical mechanics simultaneously (V. V. Kisil, p-Mechanics as a physical theory. An Introduction, E-print:arXiv:quant-ph/0212101, 2002; International Journal of Theoretical Physics 41(1), 63–77, 2002). We continue the development of p-mechanics by introducing the concept of states. The set of coherent states we introduce allows us to evaluate classical observables at any point of phase space and simultaneously to evaluate quantum probability amplitudes. The example of the forced harmonic oscillator is used to demonstrate these concepts.     

Classical Concepts in Quantum Programming

The rapid progress of computer technology has been accompanied by a corresponding evolution of software development, from hardwired components and binary machine code to high level programming languages, which allowed to master the increasing hardware complexity and fully exploit its potential. This paper investigates, how classical concepts like hardware abstraction, hierarchical programs, data types, memory management, flow of control, and structured programming can be used in quantum computing. The experimental language QCL will be introduced as an example, how elements like irreversible functions, local variables, and conditional branching, which have no direct quantum counterparts, can be implemented, and how nonclassical features like the reversibility of unitary transformation or the nonobservability of quantum states can be accounted for within the framework of a procedural programming language.     

Fisher Information of Wavefunctions： Classical and Quantum

A parametric quantum mechanical wavefunction naturally induces parametric probability distributions by taking absolute square, and we can consider its classical Fisher information. On the other hand, it also induces parametric rank-one projections which may be viewed as density operators, and we can talk about its quantum Fisher information. Among many versions of quantum Fisher information, there are two prominent ones. The first, defined via a quantum score function, was introduced by Helstrom in 1967 and is well known. The second, defined via the square root of the density operator, has its origin in the skew information introduced by Wigner and Yanase in 1963 and remains relatively unnoticed. This study is devoted to investigating the relationships between the classical Fisher information and these two versions of quantum Fisher information for wavefunctions. It is shown that the two versions of quantum Fisher information differ by a factor 2 and that they dominate the classical Fisher information. The non-coincidence of these two versions of quantum Fisher information may be interpreted as a manifestation of quantum discord. We further calculate the difference between the Helstrom quantum Fisher information and the classical Fisher information, and show that it is precisely the instantaneous phase fluctuation of the wavefunctions.     

Separating Classical and Quantum Correlations

We examine to what extent the correlation between two quantum observables at a mixed state can be separated into a classical and a quantum term. The nonunique decomposition of quantum mixed states into pure states makes such a separation ambiguous. We outline this fact by a simple example, which also shows that classical and quantum correlations may cancel each other out.     

Limit of Classical Projections of Quantum Mechanics as ℏ → 0

The convergence of the Hamiltonians of classicalprojections to the Hamiltonian of the classical limit isinvestigated. The convergence of dynamics is shown forHamiltonians generated by a certain class of functions, in particular by functions fromthe Schwartz space.