Can outcome communication explain Bell nonlocality?

This paper proves that while outcome communication can explain Bell nonlocality for restricted measurement sets, it fails to reproduce the correlations of any qubit-qudit state under all projective measurements unless the state already admits a local hidden variable model without communication.

The Gist

The Big Question: Can a Secret Handshake Explain the Impossible?

Imagine two friends, Alice and Bob, who are miles apart. They are playing a game where they each flip a coin (or measure a particle) and write down the result.

In the world of Quantum Mechanics, when they share a special "entangled" connection, their results are mysteriously linked. If Alice gets "Heads," Bob is guaranteed to get "Tails" in a way that seems to happen instantly, faster than light. This is called Bell Nonlocality.

For decades, physicists have asked: Is this magic, or is there a secret plan?

• The "Local" Plan (LHV): Maybe they agreed on a secret code before they left home (a "hidden variable"). They just follow the code. No magic, just a pre-written script.
• The Problem: Quantum mechanics breaks this rule. No pre-written script can explain all the results they get.

The New Twist: The "Outcome" Phone Call

The authors of this paper asked a new question: What if Alice and Bob are allowed to talk, but with a strict rule?

• Standard Communication: Alice can call Bob and say, "I chose to measure the coin's weight." (This is too powerful; it explains everything).
• The Paper's Rule (Outcome Communication): Alice can only call Bob and say, "I got Heads." She cannot say what she measured, only what happened.

The big question is: If Alice can only whisper her result to Bob, can that explain the "magic" of quantum entanglement?

The Main Discovery: The "Magic" Trick Fails

The authors proved a surprising result: No, outcome communication cannot explain the magic.

Here is the analogy:
Imagine Alice and Bob are trying to fool a judge into thinking they are just following a script, not using magic.

1. The Script (LHV): They have a list of instructions.
2. The Whisper (Outcome Communication): Alice whispers her result to Bob.

The paper shows that if Alice is allowed to whisper her result, it doesn't help her cheat any more than if she stayed silent.

• If their results can be explained by a secret script (Local Hidden Variable), they can also be explained if Alice whispers.
• Crucially: If their results cannot be explained by a secret script (they are truly "nonlocal" or "magic"), then whispering the result doesn't help either. The magic remains unexplained.

Why?
The authors found a specific "trap" in the rules. If Alice performs a "boring" measurement (one that always gives the same result, like a coin glued to "Heads"), the rules of the game force her whisper to be useless. Because she always says "Heads," Bob learns nothing new. This forces the whole system to collapse back into a standard secret script. If the script fails to explain the quantum magic, the whisper fails too.

The Exception: When the Whisper Does Help

However, the paper also found a loophole. The "whisper" only fails to explain the magic if Alice and Bob can measure in all possible directions (like spinning a coin in any direction in 3D space).

But, what if they are restricted?
Imagine Alice is only allowed to flip coins that land on the top half of a sphere (the "upper hemisphere"). She can't flip them on the bottom.

In this restricted scenario, the authors found that the whisper DOES help.

• There are quantum states that look "magic" (nonlocal) if you check all directions.
• But if you only look at the top half, Alice's whisper allows them to fake a secret script perfectly.

The Analogy:
Think of a 3D puzzle.

• If you have to solve the whole puzzle (all directions), a whisper doesn't help you cheat; the puzzle is too complex.
• But if you only have to solve the top half of the puzzle, a whisper gives you just enough extra information to make it look like you solved it with a simple script.

Why This Matters

This paper teaches us something deep about how the universe works:

1. Communication is tricky: Just because you can send a message doesn't mean you can explain away quantum weirdness. The type of message matters immensely. Sending "what I got" is much weaker than sending "what I did."
2. Symmetry is key: The reason the whisper fails in the full scenario is because of symmetry. If Alice can measure "Up" and "Down" (opposites), the rules cancel out the advantage of the whisper. If you break that symmetry (by only allowing "Up"), the whisper becomes powerful.
3. The "Boring" Measurement: It turns out that a very boring, predictable measurement (one that always gives the same answer) is actually the key to proving that quantum mechanics is truly weird and cannot be faked by simple communication.

Summary

The paper proves that telling your partner your result is not enough to explain quantum entanglement, provided you are allowed to measure in all directions. The "magic" of quantum mechanics is too strong to be faked by a simple whisper. However, if you restrict the game to only half the possible directions, that whisper suddenly becomes a powerful tool for faking the magic.

This helps scientists understand exactly where the line is drawn between "classical physics" (which can be faked with communication) and "quantum physics" (which cannot).

Technical Summary

1. Problem Statement

Bell nonlocality describes correlations between spacelike separated observers that cannot be reproduced by Local Hidden Variable (LHV) models. A natural question in quantum foundations is: What classical resources are required to simulate these quantum correlations?

Previous research established that allowing general classical communication (where a party sends a message depending on their input, outcome, and hidden variable) can reproduce quantum correlations with minimal resources (e.g., 1 or 2 bits for two-qubit states). However, this paper investigates a more restricted scenario: Outcome Communication. In this model, one party (Alice) is allowed to communicate only her measurement outcome ($a$) to the other party (Bob), rather than a function of her input and outcome.

The central question is: Does allowing outcome communication expand the set of simulable quantum states beyond those simulable by standard LHV models? Specifically, can outcome communication explain the nonlocality of entangled states (like qubit-qudit systems) under projective measurements?

2. Methodology

The authors employ a combination of analytical proofs and computational techniques:

• Theoretical Framework:

  • They define the LHV+Out model (Definition 1), where the joint probability distribution is $p(ab|xy) = \sum_\lambda p(\lambda) p_A(a|x\lambda) p_B(b|ay\lambda)$.
  • They utilize the Polytope Structure: The set of LHV+Out behaviors forms a polytope characterized by deterministic strategies.
  • Reduction Theorems: They prove that if a behavior admits an LHV+Out model and satisfies specific symmetry or determinism constraints, it can be reduced to a standard LHV model.

• Analytical Proofs:

  • Theorem 1: Proves that for dichotomic (two-outcome) measurements, if a nonsignalling behavior admits an LHV+Out model and includes a deterministic measurement (an input that always yields the same outcome), the behavior must also admit a standard LHV model.
  • Result 1 & 2: Apply Theorem 1 to quantum states. Since projective measurements on qubits include deterministic measurements (e.g., measuring in the eigenbasis of the state), they prove equivalence between LHV and LHV+Out for qubit-qudit states.
  • Result 3: Investigates restricted measurement sets (e.g., measurements confined to a single hemisphere of the Bloch sphere) where deterministic measurements might be excluded or symmetry is broken.

• Computational Approaches:

  • Frank-Wolfe Algorithms: They extended computational methods used for finding LHV models (polytope approximations) to the LHV+Out scenario.
  • Werner States Analysis: They numerically constructed LHV+Out models for two-qubit Werner states ($W(v) = v|\psi^-\rangle\langle\psi^-| + (1-v)\mathbb{I}/4$) under restricted measurement sets.
  • Verification: They provided explicit code (Julia) and data repositories to verify that the constructed models reproduce quantum statistics within specific visibility bounds.

3. Key Contributions and Results

A. Equivalence under General Projective Measurements (Result 1)

The paper's most significant finding is that outcome communication offers no advantage for simulating qubit-qudit states under all projective measurements.

• Theorem: A qubit-qudit state admits an LHV+Out model for projective measurements if and only if it admits a standard LHV model.
• Mechanism: The proof relies on the presence of deterministic measurements in the set of projective measurements. If Alice performs a deterministic measurement, her outcome is fixed and uncorrelated with the hidden variable $\lambda$. Combined with the nonsignalling constraint, this forces Bob's response function to become independent of Alice's communicated outcome, effectively collapsing the LHV+Out model into a standard LHV model.
• Implication: Even though outcome communication is a powerful resource in finite-input scenarios (e.g., simulating PR boxes), it fails to explain the nonlocality of any nonlocal qubit-qudit state when all projective measurements are considered.

B. Equivalence for Rank-1 Projective Measurements (Result 2)

The authors investigated whether the equivalence holds if deterministic measurements are excluded (i.e., considering only rank-1 projective measurements).

• Finding: For two-qubit Werner states, the equivalence between LHV and LHV+Out still holds even when restricted to rank-1 projective measurements.
• Reasoning: This is due to the symmetry of the Werner state and the structure of rank-1 measurements, which effectively mimic the constraints imposed by deterministic measurements through antipodal symmetry.

C. Separation under Restricted Measurements (Result 3)

The authors demonstrated that the equivalence breaks down when the set of measurements is restricted to a single hemisphere of the Bloch sphere (removing antipodal symmetry).

• Finding: For Werner states with visibility $v \leq 0.69828$, an LHV+Out model exists when Alice's measurements are restricted to the upper hemisphere.
• Significance: The Werner state is known to be nonlocal (violating Bell inequalities) for $v > 0.69604$. Therefore, there exist nonlocal states that admit an LHV+Out model under restricted measurements but not a standard LHV model.
• Conclusion: Outcome communication does provide an advantage in scenarios lacking antipodal symmetry (where the "deterministic measurement" constraint is effectively relaxed).

4. Significance and Implications

1. Role of Deterministic Measurements: The paper highlights that deterministic measurements play a crucial, previously underappreciated role in Bell nonlocality. In standard LHV scenarios, deterministic measurements are often considered trivial (easily simulated by discarding the system). However, in the LHV+Out scenario, they act as a "lock" that prevents the communication of outcomes from providing extra power.
2. Antipodal Symmetry: The results suggest that antipodal symmetry (the presence of both a measurement and its inverse) is the key structural requirement for the equivalence between LHV and LHV+Out models. When this symmetry is broken (e.g., by restricting measurements to a hemisphere), outcome communication becomes a powerful resource.
3. Limits of Classical Simulation: The work clarifies the hierarchy of resources. While general communication can simulate any quantum correlation, restricting communication to outcomes only is insufficient to explain nonlocality for qubit-qudit systems unless the measurement set is artificially restricted.
4. Future Directions: The authors pose an open question: Does the equivalence hold for all nonsignalling behaviors with antipodal symmetry? They provide computational evidence suggesting an affirmative answer, pointing toward a deeper structural link between symmetry and the power of outcome communication.

Summary

The paper concludes that outcome communication cannot explain Bell nonlocality for qubit-qudit states under general projective measurements. The ability of outcome communication to simulate nonlocal correlations is strictly limited by the presence of deterministic measurements and antipodal symmetry. Only when these symmetries are broken (e.g., in restricted measurement scenarios) does outcome communication offer a genuine advantage over standard local hidden variable models.