Quantum indeterminacy

Abstract: THE paradox of Einstein, Podolsky and Rosen [1] was advanced as an argument that quantum mechanics could not be a complete theory but should be supplemented by additional variables These additional variables were to restore to the theory causality and locality [2] In this note that idea will be formulated mathematically and shown to be incompatible with the statistical predictions of quantum mechanics It is the requirement of locality, or more precisely that the result of a measurement on one system be unaffected by operations on a distant system with which it has interacted in the past, that creates the essential difficulty There have been attempts [3] to show that even without such a separability or locality requirement no "hidden variable" interpretation of quantum mechanics is possible These attempts have been examined elsewhere [4] and found wanting Moreover, a hidden variable interpretation of elementary quantum theory [5] has been explicitly constructed That particular interpretation has indeed a grossly nonlocal structure This is characteristic, according to the result to be proved here, of any such theory which reproduces exactly the quantum mechanical predictions

Abstract: Mathematical Foundations of Quantum Mechanics was a revolutionary book that caused a sea change in theoretical physics. Here, John von Neumann, one of the leading mathematicians of the twentieth century, shows that great insights in quantum physics can be obtained by exploring the mathematical structure of quantum mechanics. He begins by presenting the theory of Hermitean operators and Hilbert spaces. These provide the framework for transformation theory, which von Neumann regards as the definitive form of quantum mechanics. Using this theory, he attacks with mathematical rigor some of the general problems of quantum theory, such as quantum statistical mechanics as well as measurement processes. Regarded as a tour de force at the time of publication, this book is still indispensable for those interested in the fundamental issues of quantum mechanics.

Abstract: We examine the assertion that the "reduction of the wave packet," implicit in the quantum theory of measurement introduces into the foundations of quantum physics a time-asymmetric element, which in turn leads to irreversibility. We argue that this time assymmetry is actually related to the manner in which statistical ensembles are constructed. If we construct an ensemble time symmetrically by using both initial and final states of the system to delimit the sample, then the resulting probability distribution turns out to be time symmetric as well. The conventional expressions for prediction as well as those for "retrodiction" may be recovered from the time-symmetric expressions formally by separating the final (or the initial) selection procedure from the measurements under consideration by sequences of "coherence destroying" manipulations. We can proceed from this situation, which resembles prediction, to true prediction (which does not involve any postselection) by adding to the time-symmetric theory a postulate which asserts that ensembles with unambiguous probability distributions may be constructed on the basis of preselection only. If, as we believe, the validity of this postulate and the falsity of its time reverse result from the macroscopic irreversibility of our universe as a whole, then the basic laws of quantum physics, including those referring to measurements, are as completely time symmetric as the laws of classical physics. As a by-product of our analysis, we also find that during the time interval between two noncommuting observations, we may assign to a system the quantum state corresponding to the observation that follows with as much justification as we assign, ordinarily, the state corresponding to the preceding measurement.

Abstract: We study quantum information and computation from a novel point of view. Our approach is based on recasting the standard axiomatic presentation of quantum mechanics, due to von Neumann, at a more abstract level, of compact closed categories with biproducts. We show how the essential structures found in key quantum information protocols such as teleportation, logic-gate teleportation, and entanglement-swapping can be captured at this abstract level. Moreover, from the combination of the --apparently purely qualitative-- structures of compact closure and biproducts there emerge `scalars` and a `Born rule'. This abstract and structural point of view opens up new possibilities for describing and reasoning about quantum systems. It also shows the degrees of axiomatic freedom: we can show what requirements are placed on the (semi)ring of scalars C(I,I), where C is the category and I is the tensor unit, in order to perform various protocols such as teleportation. Our formalism captures both the information-flow aspect of the protocols (see quant-ph/0402014), and the branching due to quantum indeterminism. This contrasts with the standard accounts, in which the classical information flows are `outside' the usual quantum-mechanical formalism.