The renowned Local Friendliness no-go theorem demonstrates the incompatibility of quantum theory with the combined assumptions of Absoluteness of Observed Events - the idea that observed outcomes are singular and objective - and Local Agency - the requirement that the only events correlated with a setting choice are in its future light cone. Granted that the Local Friendliness scenario can be realized, this result is stronger than Bell's theorem because the assumptions of Local Friendliness are weaker than those of Bell's theorem: Local Agency is less restrictive than local causality, and Absoluteness of Observed Events is encompassed within the notion of realism assumed in Bell's theorem. Drawing inspiration from the correspondence between nonlocality proofs in Bell scenarios and generalized contextuality proofs in prepare-and-measure scenarios, we present the Noncontextual Friendliness no-go theorem. This theorem demonstrates the inconsistency of quantum theory with the joint assumptions of Absoluteness of Observed Events and Noncontextual Agency, the latter being a weaker version of noncontextuality, in the same way that Local Agency is a weaker version of local causality. Our result generalizes the Local Friendliness no-go theorem and, granted that the scenario can be realized, is stronger than no-go theorems based on generalized noncontextuality.
The renowned Local Friendliness no-go theorem demonstrates the incompatibility of quantum theory with the combined assumptions of Absoluteness of Observed Events - the idea that observed outcomes are singular and objective - and Local Agency - the requirement that the only events correlated with a setting choice are in its future light cone. Granted that the Local Friendliness scenario can be realized, this result is stronger than Bell's theorem because the assumptions of Local Friendliness are weaker than those of Bell's theorem: Local Agency is less restrictive than local causality, and Absoluteness of Observed Events is encompassed within the notion of realism assumed in Bell's theorem. Drawing inspiration from the correspondence between nonlocality proofs in Bell scenarios and generalized contextuality proofs in prepare-and-measure scenarios, we present the Noncontextual Friendliness no-go theorem. This theorem demonstrates the inconsistency of quantum theory with the joint assumptions of Absoluteness of Observed Events and Noncontextual Agency, the latter being a weaker version of noncontextuality, in the same way that Local Agency is a weaker version of local causality. Our result generalizes the Local Friendliness no-go theorem and, granted that the scenario can be realized, is stronger than no-go theorems based on generalized noncontextuality.
Abstract The famous ‘Wigner’s friend’ paradox highlights the difficulty of modelling the evolution of quantum systems under measurement in situations where observers themselves are considered to be subject to the laws of quantum mechanics. In recent years, variations of the original Wigner’s friend paradox have been recognized as fruitful arenas for probing the foundations of quantum theory. In particular (Bong et al 2020 Nat. Phys. 16 1199) demonstrated a contradiction between a set of intuitive assumptions called ‘Local Friendliness’ (LF) and certain quantum phenomena on an extended version of the Wigner’s friend paradox. The LF assumptions can be understood as the conjunction of two independent assumptions: Absoluteness of Observed Events requires that any event observed by any observer has an absolute, rather than relative, value; Local Agency is the assumption that an intervention cannot be correlated with relevant events outside its future light cone. These assumptions are weaker than the assumptions that lead to Bell’s theorem, and thus while the LF result may be considered to be conceptually comparable to Bell’s result, its implications are even deeper. The proof of the LF no-go theorem, however, relies on probability theory, and a fundamental question remained whether or not LF is an inherently statistical concept. Here we present a probability-free version of the LF theorem, building upon Hardy’s no-go theorem for local hidden variables. The argument is phrased in the language of possibilities, which we make formal by using a modal logical approach. It relies on a weaker version of Local Agency, which we call ‘Possibilistic Local Agency’: the assumption that an intervention cannot affect the possibilities of events outside its future light cone.
Wigner's Friend-type paradoxes challenge the assumption that events are absolute—that when we measure a system, we obtain a single result, which is not relative to anything or anyone else. These paradoxes highlight the tension between quantum theory and our intuitions about reality being observer independent. Building on a recent result that developed these paradoxes into a no-go theorem, namely, the , we introduce the , a time-ordered analog of it. In this framework, we replace the usual locality assumption with and show that, when combined with the assumptions of (AOE), , and , we obtain a Causal Time-Symmetric Friendliness inequality. We then show that quantum mechanics violates this inequality and is therefore incompatible with at least one of these assumptions. To probe which assumption might be incompatible, we then examine whether AOE in its entirety is essential for this no-go result. We propose a weaker, operational form of AOE that still leads to inequalities that quantum mechanics violates. This result shows that even under relaxed assumptions, quantum theory resists reconciliation with classical notions of absolute events, reinforcing the foundational significance of Wigner's Friend-type paradoxes in timelike scenarios.
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.
We provide a new formulation of the Local Friendliness no-go theorem of Bong et al. [Nat. Phys. 16, 1199 (2020)] from fundamental causal principles, providing another perspective on how it puts strictly stronger bounds on quantum reality than Bell's theorem. In particular, quantum causal models have been proposed as a way to maintain a peaceful coexistence between quantum mechanics and relativistic causality while respecting Leibniz's methodological principle. This works for Bell's theorem but does not work for the Local Friendliness no-go theorem, which considers an extended Wigner's Friend scenario. More radical conceptual renewal is required; we suggest that cleaving to Leibniz's principle requires extending relativity to events themselves.
Recently, the local friendliness (LF) no-go theorem has attracted considerable interest due to its deep foundational implications. This no-go theorem applies to scenarios which combine Bell experiments with Wigner's friend-type setups, containing spacelike separated superobservers assumed to be capable of performing quantum operations on a local observer, also known as their ``friend.'' The theorem shows that a set of assumptions termed ``local friendliness''---weaker than the set of assumptions required for proving Bell's theorem---constrains the space of probabilistic behaviors in extended Wigner's friend scenarios to the ``local friendliness (LF) polytope,'' and that quantum correlations can, in principle, violate those constraints. In this work, we extend the study of local friendliness to multipartite scenarios---with arbitrary but finite numbers of superobservers, friends, measurements, and outcomes---and fully characterize the corresponding LF polytopes, their relationships with each other, with the Bell polytope, the no-signaling polytope, and the quantum set of correlations. In particular, we identify, via constructive proofs, all the canonical LF scenarios where the LF polytope coincides with the Bell polytope---hence identifying all the scenarios where ``genuine LF inequalities'' may arise. Among other results, we also show that whenever the LF polytope is distinct from the Bell and the no-signaling polytope, it also is neither contained in nor contains the quantum set of correlations. Apart from the foundational motivation of better understanding the constraints from local friendliness, our results may also find use in a priori unrelated contexts of device-independent information processing, where the LF polytopes have also been shown to arise, under the name of ``partially deterministic polytopes.''
Extended Wigner's friend no-go theorems provide a modern lens for investigating the measurement problem, by making precise the challenges that arise when one attempts to model agents as dynamical quantum systems. Most such no-go theorems studied to date, such as the Frauchiger-Renner argument and the Local Friendliness argument, are explicitly constructed using quantum correlations that violate Bell inequalities. In this work, we show that such correlations are not necessary for having extended Wigner's friend paradoxes, by constructing a no-go theorem utilizing a proof of the failure of noncontextuality. The argument hinges on a novel metaphysical assumption (which we term Commutation Irrelevance) that is a natural extension of a key assumption going into the Frauchiger and Renner's no-go theorem.