Warring Contextualities - Provably Classical vs Provably Nonclassical

This paper reconciles the two dominant definitions of contextuality—Kochen-Specker and Spekkens' generalized version—by framing them as complementary stages in a hierarchy where Kochen-Specker contextuality signifies fundamental nonclassicality and Spekkens' noncontextuality represents classicality.

The Gist

Imagine you are trying to figure out the rules of a mysterious game. You have two different rulebooks in front of you, written by different groups of experts. One group says, "The game is fundamentally weird and impossible to explain with normal logic." The other group says, "The game looks weird, but if you look closely at the statistics, it might actually be following a hidden, normal logic."

This paper is about reconciling these two rulebooks. The authors, Enrico Bozzetto and Jonte Hance, argue that these aren't conflicting views; they are actually two different levels of a hierarchy. One level proves a system is "classical" (normal), and the other proves it is "non-classical" (truly quantum).

Here is the breakdown using simple analogies:

1. The Two Rulebooks (The Definitions)

Rulebook A: Kochen-Specker (The "Impossible Puzzle" Test)

• The Concept: Imagine a 3D puzzle where every piece has a color (Red or Blue). The rule is: "The color of a piece shouldn't change just because you look at it from a different angle."
• The Problem: In the quantum world, this is impossible. If you try to assign a fixed color to every piece in a specific 3D puzzle, you will eventually hit a contradiction. No matter how you try to color the puzzle, the rules break.
• The Verdict: If you can prove a system fails this puzzle test, you have proven it is Non-Classical. It is fundamentally weird. There is no hidden "normal" logic underneath.

Rulebook B: Spekkens (The "Identity Card" Test)

• The Concept: Imagine you have a machine that takes in a "Preparation" (like putting a coin in a slot) and spits out a "Measurement" (like a ticket).
• The Rule: If two different ways of preparing the coin (e.g., spinning it fast vs. rolling it) result in exactly the same tickets 100% of the time, they should be treated as the same coin inside the machine.
• The Verdict: If the machine treats two "identical" inputs as different things inside its guts, it is Contextual. If the machine treats them consistently, it is Non-Contextual.
• The Twist: The authors argue that if a system passes this test (is Non-Contextual), it is Provably Classical. It behaves like a normal, predictable machine, even if it's a quantum one.

2. The Hierarchy: A Ladder of "Weirdness"

The authors propose a ladder. You can climb up from "Normal" to "Weird."

• Bottom Step: Provably Classical

  • If a system passes the Spekkens Test (it has a consistent internal logic), it is "Provably Classical."
  • Analogy: It's like a clock. You can open it up, see the gears, and know exactly how it works. Even if it's a quantum clock, if it passes this test, it acts like a normal clock.
  • Note: Just because something is "Classical" doesn't mean it has to be a simple clock, but if it fails this test, it definitely isn't.

• Middle Step: The "Maybe" Zone

  • There is a gap between the two tests. Some systems (like certain quantum states) fail the Spekkens test (they are "Contextual") but still pass the Kochen-Specker puzzle.
  • Analogy: These are like "trick" clocks. They look normal from the outside, but if you poke them, they act slightly weird. They aren't fundamentally impossible, but they aren't perfectly normal either.

• Top Step: Provably Non-Classical

  • If a system fails the Kochen-Specker Puzzle, it is "Provably Non-Classical."
  • Analogy: This is like a magic trick where the rabbit disappears and reappears in a way that defies physics. You cannot explain it with hidden gears. It is fundamentally weird.
  • Connection: The authors show that if a system is "Bell Non-Local" (spooky action at a distance), it must also be Kochen-Specker Contextual. So, if you see spooky action, you know you are at the top of the ladder.

3. Why This Matters: The "Goldilocks" Approach

Before this paper, researchers using Rulebook A and Rulebook B often argued with each other, saying, "My definition is the right one!"

The authors say: "Stop fighting. Use both!"

• If you want to prove a system is Classical: Use the Spekkens Test. If it passes, you have a "Provably Classical" system. This is great for building quantum computers that might actually be simulated by classical ones (saving money!).
• If you want to prove a system is Quantum (Non-Classical): Use the Kochen-Specker Test. If it fails, you have a "Provably Non-Classical" system. This is the "magic" you need for quantum advantage.

4. The Big Picture Analogy: The Detective

Imagine you are a detective investigating a crime scene.

• Spekkens Non-Contextuality is like checking for fingerprints. If you find a perfect, consistent set of fingerprints that match a known suspect, you know the suspect is "Classical" (they are a normal person who left a trace). If the fingerprints are smeared or inconsistent, the suspect might be hiding something.
• Kochen-Specker Contextuality is like finding a ghost. If you can prove a ghost is in the room (the puzzle is impossible to solve), you know the suspect is "Non-Classical" (supernatural).

The paper says:

1. If you find a ghost (Kochen-Specker), you definitely have a supernatural case.
2. If you find perfect fingerprints (Spekkens), you definitely have a normal case.
3. But sometimes, you find a smudge that isn't a ghost, but isn't a perfect fingerprint either. That's the "gap" where things get interesting.

Summary

• Spekkens Non-Contextuality = "I can explain this with a hidden, normal story." (Provably Classical).
• Kochen-Specker Contextuality = "No hidden story can explain this; it is fundamentally weird." (Provably Non-Classical).
• The Relationship: They are not enemies. They are tools. Use the first to find the normal stuff, and the second to find the truly magical stuff.

This hierarchy helps scientists stop arguing about definitions and start using the right tool to prove whether a new quantum technology is just a fancy calculator or a truly magical device.

Technical Summary

1. Problem Statement

The paper addresses a significant fragmentation in the quantum foundations literature regarding the definition of contextuality. Two primary definitions exist:

1. Kochen-Specker (KS) Contextuality: Originally formulated for projective measurements in Hilbert spaces of dimension $d \geq 3$. It posits that it is impossible to assign non-contextual, deterministic values to observables.
2. Spekkens' Generalised Contextuality: Formulated within the framework of Operational Theories and Ontological Models. It applies to preparations, transformations, and measurements (including unsharp/POVMs) and relies on the principle of Operational Equivalence (procedures yielding identical statistics must have identical ontological representations).

The Conflict: Researchers often treat these definitions as competing or mutually exclusive. A system might be KS-noncontextual but Spekkens-contextual (e.g., a qubit), or vice versa, leading to confusion about what constitutes "classical" versus "non-classical" behavior. The paper aims to reconcile these views by establishing a hierarchical relationship between them and linking them to the concepts of classicality and non-classicality.

2. Methodology

The authors employ a combination of geometric probability theory, sheaf theory, and ontological modeling to analyze the logical implications between different forms of contextuality and non-classicality.

• Geometric Analysis: They utilize the Kochen-Specker noncontextual polytope ($P_{KS}$) and the Bell local polytope ($L$) to represent sets of behaviors allowed by noncontextual and local hidden variable models, respectively. They also utilize Simplex Embeddability (a geometric condition where a Generalized Probabilistic Theory (GPT) can be embedded into a simplex) as the necessary and sufficient condition for Spekkens noncontextuality.
• Sheaf Theory: Drawing on Abramsky's framework, they treat contextuality and non-locality as the inability to extend local empirical data to a global section (a global probability distribution).
• Logical Implication Chains: The core methodology involves proving a series of implications and counter-examples to establish a hierarchy:
  • Does $A \implies B$?
  • Does $B \implies A$?
  • What are the necessary/sufficient conditions for a system to be "Classical" or "Non-classical"?

3. Key Contributions

A. Establishing a Hierarchy of Implication

The paper proves a strict hierarchy of logical implications between the concepts:

1. Spekkens Contextuality $\implies$ Kochen-Specker Contextuality:
   • Proof: If a system is Spekkens noncontextual (admits a simplex embedding), then for any scenario involving sharp measurements, the behavior lies within the Kochen-Specker noncontextual polytope.
   • Converse: False. A system can be Spekkens contextual (e.g., a maximally mixed qubit) but Kochen-Specker noncontextual (as qubits $d=2$ cannot exhibit KS contextuality).
2. Bell Non-locality $\implies$ Kochen-Specker Contextuality:
   • Proof: Using sheaf theory, the authors show that Bell non-locality (inability to extend to a global section in a spatially separated scenario) is a specific instance of the broader inability to extend to a global section (KS contextuality).
   • Converse: Generally false (KS contextuality can exist in single systems without Bell non-locality), but true in specific scenarios involving entangled multipartite systems (e.g., Peres-Mermin square).
3. Bell Non-locality $\implies$ Spekkens Contextuality:
   • Proof: If a bipartite system violates a Bell inequality, it cannot be simplex-embeddable, and thus must be Spekkens contextual.
   • Converse: False. Spekkens contextuality does not imply Bell non-locality (e.g., Werner states can be entangled and Spekkens contextual but admit a local hidden variable model).

B. Defining "Provably Classical" vs. "Provably Nonclassical"

The authors propose a new framework for defining classicality based on these hierarchies:

• Provably Classical: A system is "Provably Classical" if it is Spekkens Noncontextual.
  • Rationale: The authors define a set of "Classical Assumptions" (existence of a phase space, dichotomic response functions, and uniform preparations). They prove that any system satisfying these assumptions must be Spekkens noncontextual.
  • Nuance: While Spekkens noncontextuality does not strictly imply the system satisfies all classical assumptions (e.g., Gaussian Quantum Mechanics is Spekkens noncontextual but violates classical assumptions), it serves as a sufficient signature for a generalized form of classicality rooted in tomographic completeness.
• Provably Nonclassical: A system is "Provably Nonclassical" if it is Kochen-Specker Contextual.
  • Rationale: KS contextuality is shown to be a sufficient condition for non-classicality, structurally similar to Bell non-locality. If a system exhibits KS contextuality, it cannot be described by a non-contextual hidden variable model, regardless of the specific operational details.

4. Key Results

• The Hierarchy Chain:
  $$\text{Classicality} \implies \text{Spekkens Noncontextuality} \implies \text{KS Noncontextuality} \implies \text{Bell Locality}$$
  By contraposition (the direction of "non-classicality"):
  $$\text{Bell Non-locality} \implies \text{KS Contextuality} \implies \text{Spekkens Contextuality} \implies \text{Non-classicality}$$
• Counter-Examples:
  • Qubits: A single qubit is always KS-noncontextual but can be Spekkens-contextual (e.g., maximally mixed state). This demonstrates that Spekkens contextuality captures a "deeper" or more general form of non-classicality than KS contextuality.
  • Gaussian Quantum Mechanics: This system is Spekkens noncontextual (and thus "classical" in the generalized sense) but violates specific classical assumptions (like the ability to prepare arbitrary indicator functions), proving that Spekkens noncontextuality is a sufficient but not necessary condition for the authors' specific definition of classicality.
  • Werner States: Certain entangled Werner states are Spekkens contextual but Bell-local, proving that Spekkens contextuality is necessary but not sufficient for Bell non-locality.
• Geometric Unification: The paper demonstrates that the Simplex Embeddability criterion (Spekkens) and the Polytope criteria (KS and Bell) are geometrically nested. The KS polytope contains the Spekkens simplex for sharp measurements, but the Spekkens simplex is not contained within the KS polytope for general operational scenarios.

5. Significance

• Reconciliation of Communities: The paper resolves the "warring" definitions by framing them not as competitors, but as complementary tools in a hierarchy.
  • Use Spekkens Noncontextuality when testing if a system behaves in a fundamentally classical way (sufficient proof of classicality).
  • Use Kochen-Specker Contextuality when testing if a system is fundamentally non-classical (sufficient proof of non-classicality).
• Operational Clarity: It clarifies why certain systems (like qubits) appear "classical" under KS definitions but "quantum" under Spekkens definitions. The authors argue that Spekkens contextuality is the more robust indicator of "quantumness" in general operational theories, while KS contextuality is the specific signature of "quantumness" in high-dimensional projective scenarios.
• Resource Identification: By distinguishing these layers, the paper helps identify which resources are necessary for specific quantum advantages. For instance, it suggests that Spekkens contextuality might be the resource required for certain quantum computational advantages, while KS contextuality is linked to the violation of Bell inequalities.
• Future Directions: The framework opens the door to integrating other non-classicality measures (like Leggett-Garg violations or Wigner negativity) into this unified hierarchy, providing a comprehensive map of quantum resources.

In summary, Bozzetto and Hance provide a rigorous mathematical and conceptual bridge between two major schools of thought in quantum foundations, establishing that Spekkens noncontextuality is the signature of the classical, while Kochen-Specker contextuality is the signature of the non-classical.