Probe of Generic Quantum Contextuality and Nonlocal Resources for Qubits

1. Problem Statement

The paper addresses a fundamental gap in quantum resource theory regarding the relationship between local preparation contextuality (a generalized form of contextuality introduced by Spekkens) and nonlocal quantum resources (specifically bipartite entanglement and Bell nonlocality).

While previous research established trade-off relations between Kochen-Specker (KS) contextuality and nonlocality, and identified qualitative correlations in remote state preparation, two critical challenges remained unsolved for generic single-qubit states:

1. Lack of a Faithful Criterion: There was no rigorous, state-independent criterion to witness preparation contextuality for any given single-qubit state in a local preparation scenario.
2. Quantitative Trade-offs: It was unclear whether quantitative trade-off relations exist between local preparation contextuality and nonlocal resources (entanglement/Bell nonlocality) within a shared bipartite system, and if they can coexist.

2. Methodology

The authors employed a combination of analytical proofs, resource distribution frameworks, and experimental verification on a superconducting quantum processor.

A. Theoretical Framework

• Optimal State Set Construction: The authors constructed an optimal four-state set ($\Lambda_{\vec{s}_1}$) for any arbitrary single-qubit state $\vec{s}_1$. This set is generated using the $B_2$-orbit realizability condition, which utilizes the symmetry of the Coxeter group $B_2$ (square symmetry) in the Bloch sphere. This set is proven to be "optimal" because it maximizes the detectability of contextuality compared to sets with lower symmetry (e.g., $A_2^1$).
• Faithful Witnessing via EUR: They utilized the Entropic Uncertainty Relation (EUR) with a quantum memory to derive a faithful criterion. By analyzing the Shannon entropies of post-measurement states under optimal complementary observables ($Q$ and $R$), they established a threshold for witnessing contextuality.
• Quantum Resource Distribution (QRD): The authors modeled a shared bipartite system ($\rho_{AB}$) to derive quantitative inequalities linking the local contextuality of subsystem $A$ (via the EUR) and the nonlocal resources of the joint system (via conditional von Neumann entropy for entanglement and CHSH correlation for Bell nonlocality).

B. Experimental Verification

• Platform: Experiments were conducted on the Quafu quantum cloud computing cluster, specifically using the Baihua solid-state superconducting chip (utilizing qubits Q16 and Q17).
• State Preparation: A series of 13 two-qubit pure states $|\psi(\beta)\rangle$ were prepared, varying the entanglement parameter $\beta$ from 0 (product state) to 0.5 (maximally entangled state).
• Measurements:
  • Local Contextuality: Measured via the EUR $H(Q) + H(R)$ on subsystem $A$.
  • Entanglement: Detected via the conditional entropy bound $S(A|B) \leq H(Q|Z) + H(R|X) - 1$.
  • Bell Nonlocality: Detected via the maximal CHSH correlation $\langle B \rangle_{\max}$.
• Error Mitigation: Readout error correction was applied using calibration matrices, and noisy numerical simulations were performed to account for gate fidelities (specifically the CZ gate).

3. Key Contributions

1. A Faithful Criterion for Preparation Contextuality

The authors proved Theorem 1, establishing that for any single-qubit state, the optimal four-state set $\Lambda_{\vec{s}_1}$ exhibits preparation contextuality if and only if:
$$H(Q) + H(R) < 1 + C$$
where $H(Q)$ and $H(R)$ are Shannon entropies of optimal complementary observables, and $C = h[(2-\sqrt{2})/4] \approx 0.6009$ (a binary entropy constant). This provides the first rigorous, state-independent witness for generic preparation contextuality.

2. Quantitative Trade-off Relations

The paper derives two fundamental inequalities demonstrating that local preparation contextuality and nonlocal resources can coexist but are subject to quantitative trade-offs:

• Trade-off with Entanglement (Theorem 2):
  $$1 \leq H_{QR}(A) + S(A|B) \leq 3$$
  Here, $H_{QR}(A)$ is the EUR witnessing contextuality, and $S(A|B)$ is the conditional entropy (entanglement indicator). The relation shows that as entanglement increases (making $S(A|B)$ more negative), the capacity for local contextuality decreases, and vice versa. For pure states, the sum equals 1.

• Trade-off with Bell Nonlocality (Theorem 3):
  $$1 \leq H_{QR}(A) + [2 - \langle B \rangle_{\max}] \leq 4$$
  (Upper bound is $4 - 2\sqrt{2}$ for pure states).
  This inequality links the local contextuality witness to the deviation of the CHSH value from the classical bound (2). It proves that strong Bell nonlocality suppresses local preparation contextuality.

3. Distinction from Previous Work

The authors clarify that their optimal set (based on $B_2$ symmetry) is distinct from sets used to characterize the nonclassicality of Uncertainty Relations (based on $A_2^1$ symmetry). They prove that a state can exhibit preparation contextuality even if its Uncertainty Relation appears classical under different measurement sets.

4. Results

• Theoretical Verification: The analytical proofs confirmed that the $B_2$-orbit set is optimal for witnessing contextuality and that the derived trade-off inequalities hold for both pure and mixed states.
• Experimental Confirmation:
  • Coexistence: The experiments successfully demonstrated the synchronous detection of local preparation contextuality and nonlocal resources.
  • Trade-off Validation: The experimental data points (13 states with varying $\beta$) aligned closely with theoretical predictions and noisy simulations.
  • Transition: As the entanglement parameter $\beta$ increased (moving from product to maximally entangled states), the system transitioned from the contextual region (low entanglement, high $H_{QR}$) to the noncontextual region (high entanglement, low $H_{QR}$), validating the trade-off relations.
  • Bell Nonlocality: Similarly, as Bell nonlocality increased, the local contextuality witness decreased, confirming the mutual exclusivity at high resource levels.

5. Significance

• Foundational Insight: The work resolves the open problem of whether generic preparation contextuality and nonlocality are mutually exclusive or coexistent. It establishes that they are not strictly mutually exclusive (unlike some interpretations of KS contextuality vs. nonlocality) but are governed by strict quantitative trade-offs.
• Resource Management: The derived inequalities provide fundamental rules for the distribution and modulation of quantum resources. This is crucial for Quantum Information Processing (QIP) tasks where one must balance local contextuality (useful for communication complexity and minimum-error discrimination) against nonlocal resources (useful for cryptography and teleportation).
• Experimental Benchmark: The successful implementation on a superconducting quantum processor demonstrates the feasibility of testing deep foundational concepts on near-term quantum hardware, providing a benchmark for future quantum resource management protocols.
• Methodological Advance: The introduction of the $B_2$-orbit realizability condition offers a robust, generalizable method for constructing optimal state sets for contextuality tests, applicable beyond the specific qubit scenario discussed.