Connecting extended Wigner's friend arguments and noncontextuality
arXiv:2409.07537 · doi:10.22331/q-2025-07-31-1819
Abstract
The Local Friendliness argument is an extended Wigner's friend no-go theorem that provides strong constraints on the nature of reality -- stronger even than those imposed by Bell's theorem or by noncontextuality arguments. In this work, we prove a variety of connections between Local Friendliness scenarios and Kochen-Specker noncontextuality. Specifically, we first show how one can derive new Local Friendliness inequalities using known tools and results from the literature on Kochen-Specker noncontextuality. In doing so, we provide a new derivation for some of the facets of the Local Friendliness polytope, and we prove that this polytope is equal to the Bell polytope in a wide range of extended Wigner's friend scenarios with multipartite agents and sequential measurements. We then show how any possibilistic Kochen-Specker argument can be mathematically translated into a related proof of the Local Friendliness no-go theorem. In particular, we construct a novel kind of Local Friendliness scenario where a friend implements several compatible measurements (or joint measurements of these) in between the superobserver's operations on them. We illustrate this with the well-known 5-cycle and Peres-Mermin contextuality arguments.
20 pages + appendix, 16 figures, all comments welcome! The second half of this work is a follow-up work to arXiv:2310.06976v2. Main changes in v2 compared to v1 are: moved some parts to the appendix (mainly in Sections III.D and III.E)
References in corpus (37)
- Bell nonlocality
- Hidden Variables and the Two Theorems of John Bell
- Contextuality for preparations, transformations, and unsharp measurements
- A simple test for hidden variables in spin-1 system
- Leggett-Garg Inequalities
- The Sheaf-Theoretic Structure Of Non-Locality and Contextuality
- How Quantum Mechanics can consistently describe the use of itself
- Quantum theory cannot consistently describe the use of itself
- A strong no-go theorem on the Wigner's friend paradox
- Kochen-Specker Contextuality
- All noncontextuality inequalities for the n-cycle scenario
- From the Kochen-Specker theorem to noncontextuality inequalities without assuming determinism
- The Cohomology of Non-Locality and Contextuality
- Proposal for revealing quantum nonlocality via local contextuality
- Fully nonlocal quantum correlations
- The status of determinism in proofs of the impossibility of a noncontextual model of quantum theory
- Simple Hardy-like proof of quantum contextuality
- Converting contextuality into nonlocality
- What is nonclassical about uncertainty relations?
- Necessary and sufficient condition for contextuality from incompatibility
- Classical causal models for Bell and Kochen-Specker inequality violations require fine-tuning
- A "thoughtful" Local Friendliness no-go theorem: a prospective experiment with new assumptions to suit
- Leggett-Garg Macrorealism and temporal correlations
- Proposal of a two-qutrit contextuality test free of the finite precision and compatibility loopholes
- A possibilistic no-go theorem on the Wigner's friend paradox
- Inequalities witnessing coherence, nonlocality, and contextuality
- Fine's theorem, noncontextuality, and correlations in Specker's scenario
- Classical causal models cannot faithfully explain Bell nonlocality or Kochen-Specker contextuality in arbitrary scenarios
- A review and reformulation of macroscopic realism: resolving its deficiencies using the framework of generalized probabilistic theories
- Possibilities Determine the Combinatorial Structure of Probability Polytopes
- On Possibilistic Conditions to Contextuality and Nonlocality
- Closing Bell: Boxing black box simulations in the resource theory of contextuality
- Relating Wigner's Friend Scenarios to Nonclassical Causal Compatibility, Monogamy Relations, and Fine Tuning
- Lifting noncontextuality inequalities
- Local Friendliness Polytopes In Multipartite Scenarios
- Wigner and friends, a map is not the territory! Contextuality in multi-agent paradoxes
- Extended Wigner's friend paradoxes do not require nonlocal correlations