Systems of random variables and the Free Will Theorem

The title refers to the Free Will Theorem by Conway and Kochen whose flashy formulation is: if experimenters possess free will, then so do particles. In more modest terms, the theorem says that individual pairs of spacelike separated particles cannot be described by deterministic systems provided their mixture is the same for all choices of measurement settings. We reformulate and generalize the Free Will Theorem theorem in terms of systems of random variables, and show that the proof is based on two observations: (1) some compound systems are contextual (non-local), and (2) any deterministic system with spacelike separated components is non-signaling. The contradiction between the two is obtained by showing that a mixture of non-signaling deterministic systems, if they exist, is always noncontextual. The "experimenters' free will" (independence) assumption is not needed for the proof: it is made redundant by the assumption (1) above, critical for the proof. We next argue that the reason why an individual pair of particles is not described by a deterministic system is more elementary than in the Free Will Theorem. A system, contextual or not and deterministic or not, includes several choices of settings, each of which can be factually used without changing the system. An individual pair of particles can only afford a single realization of random variables for a single choice of settings. With this conceptualization, the "free will of experimenters" cannot be even meaningfully formulated, and the choice between the determinism and "free will of particles" becomes arbitrary and inconsequential.