Quantum Physics

Set theory provides foundations of mathematics in the sense that all the mathematical notions like numbers, functions, relations, structures are defined in the axiomatic set theory called ZFC. Quantum set theory naturally extends ZFC to quantum logic. Hence, we can expect that quantum set theory provides mathematics based on quantum logic. In this talk, I will show a useful application of quantum set theory to quantum mechanics based on the fact that the real numbers constructed in quantum set theory exactly corresponds to the quantum observables. The standard formulation of quantum mechanics answers the question as to in what state an observable A has the value in an interval I. However, the question is not answered as to in what state two observables A and B have the same value. The notion of equality between the values of observables will play many important roles in foundations of quantum mechanics. The notion of measurement of an observable relies on the condition that the observable to be measured and the meter after the measurement should have the same value. We can define the notion of quantum disturbance through the condition whether the values of the given observable before and after the process is the same. It is shown that all the observational propositions on a quantum system corresponds to some propositions in quantum set theory and the equality relation naturally provides the proposition that two observables have the same value. It has been broadly accepted that we cannot speak of the values of quantum observables without assuming a hidden variable theory. However, quantum set theory enables us to do so without assuming hidden variables but alternatively under the consist use of quantum logic, which is more or less considered as logic of the superposition principle. [1] M. Ozawa, Transfer principle in quantum set theory, J. Symbolic Logic 72, 625-648 (2007), online preprint: http://arxiv.org/abs/math.LO/0604349. [2] M. Ozawa, Quantum perfect correlations, Ann. Phys. (N.Y.) 321, 744--769 (2006), online preprint: LANL quant-ph/0501081.

I will comment on the prevailing atmosphere and attitudes that provoked the CJS theorem, aspects of the theorem itself, some features of the aftermath following the theorem and, finally, a critique of the relevance of the theorem based on my own research on position operators in Lorentz covariant quantum theory.

It is well known that the derivation of the Bell Inequality rests on two major assumptions, usually called outcome independence and parameter independence. Parameter independence seems to have a straightforward motivation: it expresses a non-signalling requirement between space-like separated sites and is thus motivated by locality. The status of outcome independence is much les clear. Many authors have argued that this assumption too expresses a locality requirement, in the form of a \'screening off\' condition. I will argue that the assumption also admits of an entirely different interpretation, suggested by the concept of sufficiency in the general theory of statistical inference. In this view, the assumption of outcome independence can be explained as expressing the idea that the specification of the hidden variable is sufficient, i.e. it exhausts all the relevant statistical information about the measurement outcomes. In this view, the assumption has no roots in locality at all. Rather, I would claim, it stems from the assumption that there exists such an exhaustive state description in our putative hidden variable theories.

The focus of this talk is a particular feature of the statistical behavior of elementary particles, simple composite systems of them and the quantum probability theory to which this behavior gives rise. The standard interpretation of a generalized probability theory of the sort found in quantum mechanics is that its probabilities are probabilities of propositions belonging to particles, where a proposition belongs to a particle if its constituent dynamical property is a possible property of the particle. The feature of interest is the fact that there exist simple systems and finite combinations of propositions belonging to them for which no two-valued measures are possible. I will argue that quantum probabilities are not satisfactorily interpretable as probabilities of propositions belonging to particles, and that such an interpretation is possible only when the propositions to which probabilities are assigned form (an algebraic structure which is homomorphic to) a Boolean algebra. The idea I will develop is that the probabilities of quantum mechanics are probabilities of “effects,” probabilities of the traces of particleinteractions with objects and processes that are epistemically accessible to us. I hope to make it clear that such a view is not committed to any kind of anti-realism about the micro-world, that its mildly instrumentalist flavor is not a defect but a strength, and that it illuminates at least one otherwise paradoxical feature of quantum mechanics.

In an effort to better understand the class of operations on a bipartite system which preserve positivity of partial transpose (PPT operations), we have investigated the (non-asymptotic) transformation of pure states to pure states by operations in this class. Under local operations and classical communication (LOCC) Nielsen\'s majorization criterion provides a necessary and sufficient condition for such a transformation. This can be used to show that under LOCC a phenomenon called catalysis can occur, where an otherwise impossible transformation can be made possible by the provision of an entangled catalyst state, which must be recovered unchanged after the transformation (hence the name). I will present some recent work where we have found a necessary condition for obtaining a given pure state from a maximally entangled state via PPT operations. This condition is conjectured to be sufficient also, and we can prove this for the case where the goal state has Schmidt rank three. We have also shown that catalysis occurs under PPT operations, and have derived a necessary and sufficient condition for PPT pure state transformations where both the initial state and the catalyst are maximally entangled.