Bell's theorem and the problem of decidability between the views of Einstein and Bohr

Closing the Door on Quantum Nonlocality

Bell-type inequalities are proven using oversimplified probabilistic models and/or counterfactual definiteness (CFD). If setting-dependent variables describing measuring instruments are correctly introduced, none of these inequalities may be proven. In spite of this, a belief in a mysterious quantum nonlocality is not fading. Computer simulations of Bell tests allow people to study the different ways in which the experimental data might have been created. They also allow for the generation of various counterfactual experiments’ outcomes, such as repeated or simultaneous measurements performed in different settings on the same “photon-pair”, and so forth. They allow for the reinforcing or relaxing of CFD compliance and/or for studying the impact of various “photon identification procedures”, mimicking those used in real experiments. Data samples consistent with quantum predictions may be generated by using a specific setting-dependent identification procedure. It reflects the active role of instruments during the measurement process. Each of the setting-dependent data samples are consistent with specific setting-dependent probabilistic models which may not be deduced using non-contextual local realistic or stochastic hidden variables. In this paper, we will be discussing the results of these simulations. Since the data samples are generated in a locally causal way, these simulations provide additional strong arguments for closing the door on quantum nonlocality.

Quantum computing and probability

Over the past two decades, quantum computing has become a popular and promising approach to trying to solve computationally difficult problems. Missing in many descriptions of quantum computing is just how probability enters into the process. Here, we discuss some simple examples of how uncertainty and probability enter, and how this and the ideas of quantum computing challenge our interpretations of quantum mechanics. It is found that this uncertainty can lead to intrinsic decoherence, and this raises challenges for error correction.

Breakdown of Bell's theorem for certain objective local parameter spaces

We show that the known proofs of Bell's inequalities contain algebraic manipulations that are not appropriate within the syntax of Kolmogorov's axioms for probability theory without detailed justification. Such justification can be achieved by a variant of the techniques used in Bell-type proofs but only for a subclass of objective local parameter spaces. It cannot be achieved for an extended parameter space that is still objective local and that includes instrument parameters correlated by both time and setting dependencies.

No time loophole in Bell's theorem: the Hess-Philipp model is nonlocal

Hess and Philipp recently claimed [(2001) Proc. Natl. Acad. Sci. USA 98, 14224-14227 and 14228-14233] that proofs of Bell's theorem have overlooked the possibility of time dependence in local hidden variables, hence the theorem has not been proven true. Moreover they present what is claimed to be a local realistic model of the EPR correlations. If this is true then Bell's theorem is not just unproven, but false. We refute both claims. First, we explain why time is not an issue in Bell's theorem, and second, we show that their hidden variables model violates Einstein separability. Hess and Philipp have overlooked the freedom of the experimenter to choose settings of a measurement apparatus at will: any setting could be in force during the same time period.