# Connecting extended Wigner's friend arguments and noncontextuality

Article · Laurens Walleghem, Yìlè Yīng, Rafael Wagner, David Schmid

- Archive id: arxiv:2409.07537
- Published: 2024-09-11
- Venue: Quantum 9, 1819 (2025)
- DOI: https://doi.org/10.22331/q-2025-07-31-1819
- arXiv: https://arxiv.org/abs/2409.07537
- Citations: 2
- Source URL: https://arxiv.org/abs/2409.07537
- PDF: https://arxiv.org/pdf/2409.07537
- Provenance: arxiv

## 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.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

Topics: [Quantum Foundations](https://space-kitty.com/topics/quantum-foundations)

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.