An extended Wigner's friend no-go theorem inspired by generalized contextuality

Inspired by the correspondence between nonlocality and generalized contextuality, this paper introduces the "Noncontextual Friendliness" no-go theorem, which demonstrates that quantum theory is incompatible with the joint assumptions of Absoluteness of Observed Events and Noncontextual Agency, thereby generalizing and strengthening the existing Local Friendliness no-go theorem.

The Gist

The Big Picture: A New "No-Go" Sign on the Road to Reality

Imagine you are trying to build a house (our understanding of reality) using a specific set of blueprints (Quantum Theory). For a long time, scientists have been trying to figure out if these blueprints are compatible with the idea that the house exists in a single, solid, objective way that everyone agrees on.

This paper introduces a new, stricter rule for checking if the blueprints work. The authors, Laurens Walleghem and Lorenzo Catani, have created a new "No-Go Theorem." Think of a "No-Go Theorem" as a sign that says: "You cannot have it both ways."

Specifically, they show that you cannot have:

1. Quantum Theory (the current rules of the universe).
2. Absolute Facts (the idea that when someone sees something, it is a single, objective truth for everyone).
3. Noncontextual Agency (a new, slightly weaker version of a rule about how information travels).

If you accept that Quantum Theory is true and that the experiment described is possible, you are forced to give up the idea that observed events are absolute.

---

The Cast of Characters: The Friends and the Super-Observers

To understand the experiment, we need to meet the characters, who are based on a famous thought experiment called "Wigner's Friend."

• Charlie and Debbie: These are the "Friends." They are inside sealed labs. They perform measurements on tiny particles (like electrons) and get results. To them, the result is real and final.
• Alice and Bob: These are the "Super-Observers." They are outside the labs. They have a magical superpower: they can treat Charlie and Debbie's entire labs as if they were just one big quantum object.

The Magic Trick:
Usually, once Charlie measures a particle, the result is fixed. But Alice, the Super-Observer, can use a "Quantum Eraser" (a fancy unitary operation) to undo Charlie's measurement. She can wipe Charlie's memory of the result and reverse the process, making it as if Charlie never measured anything at all.

The Two Scenarios: Bell vs. Contextuality

The paper compares two different ways of testing reality.

1. The Old Way: Local Friendliness (The Bell Scenario)

In previous work, scientists combined the "Friends" with a setup called a Bell Scenario.

• The Analogy: Imagine Charlie and Debbie are in two different cities. They each flip a coin. Alice and Bob, standing outside, can choose to either check the coins or "undo" the flips.
• The Rule: They assumed Local Agency. This means "what happens in City A cannot instantly change what happens in City B."
• The Result: They proved that if you assume the results are absolute facts, Quantum Theory breaks this rule.

2. The New Way: Noncontextual Friendliness (The Contextuality Scenario)

In this paper, the authors swap the "Bell" setup for a Contextuality setup.

• The Analogy: Instead of two cities, imagine a single lab where Charlie prepares a particle in different ways (like painting it different colors) and Debbie measures it.
• The Rule: They introduce Noncontextual Agency.
  • What is Contextuality? In the quantum world, the answer you get often depends on how you ask the question (the context). For example, measuring a particle's "spin up" might give a different result depending on whether you measured it alongside "spin left" or "spin right."
  • What is Noncontextual Agency? It's the belief that if two different ways of preparing a particle look exactly the same to the outside world, they should be treated as the same "reality" inside, even if no single person can check both at once.

The Core Argument: The "Conspiracy" of Reality

The authors argue that Noncontextual Agency is a very reasonable assumption. It's based on a principle called "No Fine-Tuning."

The Metaphor of the Conspiracy:
Imagine you are baking a cake.

• Scenario A: You taste the batter, and it tastes like chocolate.
• Scenario B: You taste the batter again, but this time you used a different spoon. It still tastes like chocolate.
• The Rule: If the batter tastes the same in both scenarios, it makes sense to assume the ingredients (the reality) are the same.

The Conspiracy:
If the batter tastes the same when you can check it, but suddenly tastes like vanilla when you can't check it (because the "Super-Observer" erased the memory of the spoon), that would be a conspiracy. The universe would be secretly changing the ingredients just because no one is looking.

The paper argues: "It is too much of a conspiracy to believe the universe changes its rules just because a Super-Observer erases a memory." Therefore, we must accept Noncontextual Agency: the rules should hold even for the "erased" events.

The Punchline: The Contradiction

Here is the "No-Go" part:

1. Quantum Theory predicts that if Alice and Bob use their "Quantum Eraser" powers, the statistics of the results will look a certain way.
2. Noncontextual Friendliness (The combination of Absolute Facts + Noncontextual Agency) says the results must follow a different pattern (one that assumes a single, consistent reality exists).
3. The Clash: When you run the math, Quantum Theory and Noncontextual Friendliness predict opposite results. They cannot both be true.

Why is this result "Stronger"?

The authors claim this new theorem is "stronger" than the old ones. Here is why:

• The Old Rule (Bell/Local Friendliness): Required the assumption that "what happens here doesn't instantly affect what happens there" (Local Causality). This is a very strict rule about space and time.
• The New Rule (Noncontextual Friendliness): Only requires the assumption that "if two things look the same, they are the same" (Noncontextuality). This is a much weaker, more basic rule about logic and reality.

The Analogy:
Imagine you are trying to prove a bridge is unsafe.

• Old Proof: "The bridge is unsafe because the wind is blowing too hard." (Requires a specific, strong condition: high wind).
• New Proof: "The bridge is unsafe because the bricks are made of jelly." (Requires a much weaker condition: just that the bricks are jelly).

If you can prove the bridge is unsafe even when the wind is calm (using the jelly argument), your proof is stronger. Similarly, this paper shows that Quantum Theory is incompatible with reality even when we use the weakest, most basic assumptions about how reality works.

The Conclusion

If you believe:

1. Quantum Theory is correct.
2. The "Super-Observer" experiment is possible (which implies quantum theory applies to observers too).
3. The universe isn't "conspiring" to hide its true nature when we aren't looking (Noncontextual Agency).

Then, you must conclude that observed events are not absolute.

In other words, when Charlie sees a result, that result might be real for Charlie, but it might not be a single, objective fact for Alice. Reality, in this view, is relative to the observer, even when that observer is a "Super-Observer" who can erase memories.

The paper does not suggest this changes how we build computers or treat diseases today. It is a deep philosophical and mathematical result about the fundamental nature of reality and the limits of our ability to describe the universe with a single, objective story.

Technical Summary

Technical Summary: An Extended Wigner's Friend No-Go Theorem Inspired by Generalized Contextuality

Problem Statement
The paper addresses the tension between quantum theory and classical worldviews, specifically focusing on the interpretational issues arising when agents are treated as quantum systems capable of performing measurements. While the Local Friendliness (LF) no-go theorem has established a contradiction between quantum predictions and the joint assumptions of Absoluteness of Observed Events (AOE) and Local Agency, the authors seek to generalize this result. The goal is to determine if similar contradictions arise when replacing the assumption of Local Agency (a strengthened form of no-signalling) with a weaker assumption derived from generalized contextuality. The authors aim to demonstrate that quantum theory is incompatible with a "Noncontextual Friendliness" scenario, thereby producing a no-go theorem stronger than those based solely on generalized noncontextuality.

Methodology
The authors leverage a known correspondence between proofs of nonlocality in Bell scenarios and proofs of contextuality in prepare-and-measure scenarios. The methodology proceeds as follows:

1. Scenario Construction: The authors design a "Noncontextual Friendliness" (NF) scenario (Figure 4) involving a single quantum system $S$ and three agents: Alice (a superobserver), Charlie (a friend), and Debbie (a friend), followed by Bob (a superobserver).

   • Alice prepares a qubit and sends it to Charlie.
   • Charlie performs a measurement $C$ (modeled unitarily as $U_C$).
   • Depending on a setting $x \in \{0, 1\}$, Alice either accepts Charlie's outcome ($x=0$) or acts as a superobserver to undo Charlie's measurement via $U_C^\dagger$ ($x=1$), erasing the outcome record.
   • The system is passed to Debbie, who performs measurement $D$ (modeled as $U_D$).
   • Depending on setting $y \in \{0, 1\}$, Bob either accepts Debbie's outcome ($y=0$) or undoes her measurement via $U_D^\dagger$ and performs a measurement $B$ ($y=1$).

2. Assumptions: The theorem relies on two core assumptions:

   • Absoluteness of Observed Events (AOE): Observed outcomes are singular, objective events, not relative to any observer. This implies the existence of a joint probability distribution $p(a, b, c, d|x, y)$ for all outcomes, even those erased or inaccessible to a single agent.
   • Noncontextual Agency: This is defined as the requirement that any operational equivalence verifiable when all variables are jointly accessible must still hold when those variables are not jointly accessible to a single agent. Specifically, it extends standard operational equivalences (e.g., preparation independence) to the level of jointly inaccessible events guaranteed by AOE. This is presented as a stronger version of standard operational equivalence but a weaker version of generalized noncontextuality (which requires such equivalences to hold within an ontological model).

3. Proof Strategy: The authors map the simplest nontrivial scenario for generalized contextuality (involving four preparations and two measurements) onto the NF setup. By assuming AOE and Noncontextual Agency, they show that the empirical correlations observed in the NF scenario must be derivable from a single joint probability distribution. However, by selecting specific quantum preparations and measurements (analogous to the maximal violation of noncontextuality inequalities), they demonstrate that no such joint distribution exists, leading to a contradiction.

Key Contributions

• The Noncontextual Friendliness (NF) No-Go Theorem: The paper proves that if a superobserver can perform arbitrary quantum operations on an observer and its environment, no physical theory can satisfy the conjunction of AOE and Noncontextual Agency.
• Generalization of the LF Theorem: The work establishes that Local Agency is a specific instance of Noncontextual Agency (where the operational equivalence is no-signalling). Consequently, the NF theorem generalizes the LF theorem.
• Hierarchy of Strength: The authors demonstrate that the NF no-go theorem is strictly stronger than no-go theorems based on generalized noncontextuality. While the empirical correlations in the NF scenario are identical to those in the simplest contextuality scenario, the assumptions required to derive the contradiction (AOE + Noncontextual Agency) are weaker than those required for standard noncontextuality proofs (which rely on the existence of a noncontextual ontological model).
• Conceptual Reframing of Agency: The paper reinterprets "Local Agency" and "Noncontextual Agency" not merely as metaphysical commitments to relativistic causal structures or ontological models, but as instances of the methodological principle of no fine-tuning. It argues that in a world where AOE holds, it would be "conspiratorial" for operational equivalences to hold when accessible but fail when inaccessible.

Results
The paper derives a contradiction between quantum mechanical predictions and the assumptions of Noncontextual Friendliness. Specifically:

• Under AOE and Noncontextual Agency, the empirical correlations $\wp(c, d|x=0, y=0)$, $\wp(c, b|x=0, y=1)$, $\wp(a, d|x=1, y=0)$, and $\wp(a, b|x=1, y=1)$ must be marginals of a single joint distribution $p(a, b, c, d|x=1, y=1)$.
• By choosing specific quantum states and measurements (e.g., Pauli $X$ and $Z$ bases), these correlations correspond to the maximal violation of noncontextuality inequalities.
• According to Fine's theorem, such a joint distribution cannot exist for these correlations.
• Therefore, quantum theory is incompatible with Noncontextual Friendliness.

Significance
The authors claim that this result strengthens the case against the classical worldview by showing that the incompatibility with quantum theory persists even under weaker assumptions than those used in previous contextuality-based no-go theorems.

• Stronger than Bell/Contextuality: Just as the LF theorem is stronger than Bell's theorem (because Local Agency is weaker than local causality), the NF theorem is stronger than generalized noncontextuality theorems (because Noncontextual Agency is weaker than generalized noncontextuality).
• Methodological vs. Metaphysical: A key conceptual contribution is shifting the justification for "Agency" assumptions from metaphysical commitments (e.g., relativistic causal structure) to methodological principles (no fine-tuning). If one accepts the universality of quantum theory (allowing the scenario to be realized) and the principle of no fine-tuning, one is compelled to abandon AOE—the assumption that observed events are absolute.
• Future Directions: The paper suggests that this framework can be extended to other scenarios, including those involving bounded ontological distinctness or post-quantum theories, and notes that the NF assumptions encompass other recent assumptions like "Commutation Irrelevance" in Kochen-Specker contexts.

The paper concludes that the NF no-go theorem provides a robust argument that if quantum theory is universal and no fine-tuning is assumed, observed events cannot be absolute, thereby challenging the classical notion of objective reality in the context of quantum observers.