Reality, locality and all that: "experimental metaphysics" and the quantum foundations
Eric G. Cavalcanti
Abstract
In recent decades there has been a resurge of interest in the foundations of quantum theory, partly motivated by new experimental techniques, partly by the emerging field of quantum information science. Old questions, asked since the seminal article by Einstein, Podolsky and Rosen (EPR), are being revisited. The work of John Bell has changed the direction of investigation by recognising that those fundamental philosophical questions can have, after all, input from experiment. Abner Shimony has aptly termed this new field of enquiry experimental metaphysics. The objective of this Thesis is to contribute to that body of research, by formalising old concepts, proposing new ones, and finding new results in well-studied areas. Without losing from sight that the appeal of experimental metaphysics comes from the adjective, every major result is followed by clear experimental proposals with detailed analysis of feasibility for quantum-atom optical setups. After setting the appropriate terminology and the basic concepts, we will start by analysing the original argument of Einstein, Podolsky and Rosen. We propose a general mathematical form for the assumptions behind the EPR argument, namely those of local causality and completeness. That formalisation entails what was termed a Local Hidden State model by Wiseman et al., which was proposed as a formalisation of the concept of steering first introduced by Schrodinger in a reply to the EPR paper. Violation of any consequences that can be derived from the assumption of that model therefore implies a demonstration of the EPR paradox. We will show how one can then re-derive the well-known EPR-Reid criterion for continuous-variables correlations, and derive new ones applicable to the spin setting considered by Bohm. The spin set-up of the EPR-Bohm was used by Bell to derive his now famous theorem demonstrating the incompatibility of the assumption of local causality and the predictions of quantum mechanics. The inequalities which bear his name can be derived for any number of discrete outcomes, but so far there has been no derivation which can be directly applied to the continuous-variables case of the original EPR paradox. We close the circle by deriving a class of inequalities which make no explicit mention about the number of outcomes of the experiments involved, and can therefore be used in continuous-variables measurements with no need for binning the continuous results into discrete ones. Apart from that intrinsic interest, these inequalities could prove important as a means to perform an unambiguous test of Bell inequalities since optical homodyne detection can be performed with high detection efficiency. The technique, which is based on a simple variance inequality, can alsobe used tore-derive alarge class of well-known Bell-type inequalities and at the same time find their quantum bound, making explicit from a formal point of view that the non-commutativity of the local operators is at the heart of the quantum violations. Finally, we address the issue of macroscopic superpositions originally sparked by the infamous cat paradox of Schrodinger. We consider macroscopic, mesoscopic and ‘S -scopic’ quantum superpositions of eigenstates of an observable, and develop some signatures for their existence. We define the extent, or size S of a (pure-state) su-perposition, with respect to an observable X, as being the maximum difference in the outcomes of X predicted by that superposition. Such superpositions are referred to as generalised S -scopic superpositions to distinguish them from the extreme superpo-sitions that superpose only the two states that have a difference S in their prediction for the observable. We also consider generalised S -scopic superpositions of coherent states. We explore the constraints that are placed on the statistics if we suppose a system to be described by mixtures of superpositions that are restricted in size. In this way we arrive at experimental criteria that are sufficient to deduce the existence of a generalised S -scopic superposition. The signatures developed are useful where one is able to demonstrate a degree of squeezing.