Table of Contents
Fetching ...

Closing the problem of which causal structures of up to six total nodes have a classical-quantum gap

Shashaank Khanna, Matthew Pusey, Roger Colbeck

TL;DR

The paper resolves the question of which causal structures with up to six nodes admit a classical-quantum gap by proving that the unique six-node structure G1 supports quantum correlations non-reproducible classically. The authors impose extra correlation constraints that force Bell-locality in the classical case while providing an explicit quantum strategy that violates CHSH, thereby establishing a non-classical gap for G1 and its variant G2. This extends prior results on smaller structures and builds on Fritz’s triangle-gap approach by working directly with probabilities. Together with forthcoming work, the six-node classification is completed, leaving no room for post-quantum correlations in these structures that lack a classical-quantum gap.

Abstract

The discovery of Bell that there exist quantum correlations that cannot be reproduced classically is one of the most important in the foundations of quantum mechanics, as well as having practical implications. Bell's result was originally proven in a simple bipartite causal structure, but analogous results have also been shown in further causal structures. Here we study the only causal structure with six or fewer nodes in which the question of whether or not there exist quantum correlations that cannot be achieved classically was open. In this causal structure we show that such quantum correlations exist using a method that involves imposing additional restrictions on the correlations. This hence completes the picture of which causal structures of up to six nodes support non-classical quantum correlations. We also provide further illustrations of our method using other causal structures.

Closing the problem of which causal structures of up to six total nodes have a classical-quantum gap

TL;DR

The paper resolves the question of which causal structures with up to six nodes admit a classical-quantum gap by proving that the unique six-node structure G1 supports quantum correlations non-reproducible classically. The authors impose extra correlation constraints that force Bell-locality in the classical case while providing an explicit quantum strategy that violates CHSH, thereby establishing a non-classical gap for G1 and its variant G2. This extends prior results on smaller structures and builds on Fritz’s triangle-gap approach by working directly with probabilities. Together with forthcoming work, the six-node classification is completed, leaving no room for post-quantum correlations in these structures that lack a classical-quantum gap.

Abstract

The discovery of Bell that there exist quantum correlations that cannot be reproduced classically is one of the most important in the foundations of quantum mechanics, as well as having practical implications. Bell's result was originally proven in a simple bipartite causal structure, but analogous results have also been shown in further causal structures. Here we study the only causal structure with six or fewer nodes in which the question of whether or not there exist quantum correlations that cannot be achieved classically was open. In this causal structure we show that such quantum correlations exist using a method that involves imposing additional restrictions on the correlations. This hence completes the picture of which causal structures of up to six nodes support non-classical quantum correlations. We also provide further illustrations of our method using other causal structures.

Paper Structure

This paper contains 5 sections, 5 theorems, 10 equations, 3 figures, 1 table.

Key Result

Theorem 1

Let $G$ be a classical causal structure and $Q$ be a distribution over all the variables in $G$. $Q$ can be written in the form eq:prod if and only if for any disjoint sets of nodes $X$, $Y$ and $Z$ in the causal structure with $X\perp Y|Z$, the distribution satisfies $Q(X|YZ)=Q(X|Z)$.

Figures (3)

  • Figure 1: The causal structure $G_1$ that is the focus of this work.
  • Figure 2: The causal structure $G_2$ which also has a classical-quantum gap by our argument.
  • Figure 3: The triangle causal structure. For the argument we will take $D=(S_1,O_1)$, $E=(S_1',S_2')$ and $F=(S_2,O_2)$.

Theorems & Definitions (13)

  • Definition 1: Causal Structure
  • Definition 2: Blocked paths
  • Definition 3: d-separation
  • Theorem 1
  • Definition 4: Classical compatibility with the causal structure $G_1$
  • Definition 5: Quantum compatibility with $G_1$
  • Theorem 2
  • Lemma 1
  • Lemma 2
  • proof : Proof of Lemma \ref{['lem:1']}
  • ...and 3 more