It was argued [1] that there can be no extension of quantum mechanics with improved predictive power on a measurement freely chosen, independently of any event that is not in its future light cone. The assumption of measurement choice was criticized [2] to be too strong to be physically necessary and extensions of quantum mechanics were shown [3] to be possible under a more relaxed measurement assumption. Here I point out an error in the criticism and observe that the actual mistake of the no-go theorem lies in an unwarranted assumption implicitly made in the proof of [1]. Hence, quantum mechanics is guaranteed to have the maximal predictive power only in situations of complete certainty and complete uncertainty about measurement outcomes. I then show that the measurement assumption can be further relaxed without affecting the conclusion on the predictive power of quantum mechanics versus alternative theories. I further study the optimal predicative improvement over quantum mechanics of local spin measurements on a pair of entangled qubits by any alternative theory and conjecture a strict upper bound.
It was argued [1] that there can be no extension of quantum mechanics with improved predictive power on a measurement freely chosen, independently of any event that is not in its future light cone. The assumption of measurement choice was criticized [2] to be too strong to be physically necessary and extensions of quantum mechanics were shown [3] to be possible under a more relaxed measurement assumption. Here I point out an error in the criticism and observe that the actual mistake of the no-go theorem lies in an unwarranted assumption implicitly made in the proof of [1]. Hence, quantum mechanics is guaranteed to have the maximal predictive power only in situations of complete certainty and complete uncertainty about measurement outcomes. I then show that the measurement assumption can be further relaxed without affecting the conclusion on the predictive power of quantum mechanics versus alternative theories. I further study the optimal predicative improvement over quantum mechanics of local spin measurements on a pair of entangled qubits by any alternative theory and conjecture a strict upper bound.
The question of whether the probabilistic nature of quantum mechanical predictions can be alleviated by supplementing the wave function with additional information has received a lot of attention during the past century. A few specific models have been suggested and subsequently falsified. Here we give a more general answer to this question: We provide experimental data that, as well as falsifying these models, cannot be explained within any alternative theory that could predict the outcomes of measurements on maximally entangled particles with significantly higher probability than quantum theory. Our conclusion is based on the assumptions that all measurement settings have been chosen freely (within a causal structure compatible with relativity theory), and that the presence of the detection loophole did not affect the measurement outcomes.
According to quantum theory, measurements generate random outcomes, in stark contrast with classical mechanics. This raises the question of whether there could exist an extension of the theory that removes this indeterminism, as suspected by Einstein, Podolsky and Rosen. Although this has been shown to be impossible, existing results do not imply that the current theory is maximally informative. Here we ask the more general question of whether any improved predictions can be achieved by any extension of quantum theory. Under the assumption that measurements can be chosen freely, we answer this question in the negative: no extension of quantum theory can give more information about the outcomes of future measurements than quantum theory itself. Our result has significance for the foundations of quantum mechanics, as well as applications to tasks that exploit the inherent randomness in quantum theory, such as quantum cryptography. Quantum-mechanical predictions are generally probabilistic. Here, assuming freely chosen measurements, it is shown that enhanced predictions are not possible and, thus, randomness is inherent in quantum theory: a result that has applications in fields such as quantum cryptography.
Recently, it has been argued that quantum mechanics is a complete theory, and that different quantum states do necessarily correspond to different elements of reality, under the assumptions that quantum mechanics is correct and that measurement settings can be freely chosen. In this work, we prove that this result is a consequence of an unnecessarily strong mathematical expression of the free choice assumption, which embodies more conditions than explicitly stated. The issues of the completeness of quantum mechanics, and of the interpretation of the state vector, are by no means resolved. Taking this perspective, we describe how the recently introduced class of crypto-nonlocal hidden variables theories can be used to characterize the maximal possible departure from quantum mechanics, when the system consists of a pair of qubits.
The predictions that quantum theory makes about the outcomes of measurements are generally probabilistic. This has raised the question whether quantum theory can be considered complete, or whether there could exist alternative theories that provide improved predictions. Here we review recent work that considers arbitrary alternative theories, constrained only by the requirement that they are compatible with a notion of "free choice" (defined with respect to a natural causal order). It is shown that quantum theory is "maximally informative", i.e., there is no other compatible theory that gives improved predictions. Furthermore, any alternative maximally informative theory is necessarily equivalent to quantum theory. This means that the state a system has in such a theory is in one-to-one correspondence with its quantum-mechanical state (the wave function). In this sense, quantum theory is complete.
The non-extensibility of quantum theory into a theory with improved predictive power is based on a strong assumption of independent free choice, in which the physicists pick a measurement axis independently of anything that couldn't have been caused by their decision. Independent free choice is also at the core of the Nash equilibrium and classical game theory. A more recent line of game-theoretical research based on weakening free choice leads to non-trivial solution concepts with desirable properties such as at-most uniqueness, Pareto optimality, and contextuality. We show how introducing contingent free choice in the foundations of quantum theory yields a class of deterministic and contextual theories with an improved predictive power, and contrast them with the pilot-wave theory. Specifically, we suggest that quantum experiments, such as the EPR experiment, involving measurements located in spacetime, can be recast as dynamic games with imperfect information involving human agents and the universe. The underlying idea is that a physicist picking a measurement axis and the universe picking a measurement outcome are two faces of the same physical contingency phenomenon. The classical, Nashian resolution of these games based on independent free choice is analogous to local hidden variable theories, constrained by the Bell inequalities. On the other hand, in a setup in which agents are rational and omniscient in all possible worlds, under contingent free choice, the Perfectly Transparent Equilibrium provides a contextual resolution, based on the iterated elimination of inconsistent worlds, towards an at-most unique possible world, in which the outcomes of measurements that actually are carried out, and only them, are deterministically defined.
No-go theorems prove that, under reasonable assumptions, classical hidden-variable theories cannot reproduce the predictions of quantum mechanics. Traditional no-go theorems proved that hidden-variable theories cannot predict correctly the values of observables. Recent expectation no-go theorems prove that hidden-variable theories cannot predict the expectations of observables. We prove the strongest expectation-focused no-go theorem to date. It is optimal in the sense that the natural weakenings of the assumptions and the natural strengthenings of the conclusion make the theorem fail. The literature on expectation no-go theorems strongly suggests that the expectation-focused approach is more general than the value-focused one. We establish that the expectation approach is not more general.