[Paper Review] Minimal proofs of state-independent contextuality

Adán Cabello|arXiv (Cornell University)|Jan 1, 2012

Slime Mold and Myxomycetes Research1 references3 citations

TL;DR

This paper presents a construction of minimal state-independent contextuality (SIC) proofs using only $d+10$ rank-1 projectors for any quantum system of dimension $d > 2$, significantly reducing the number of rays required compared to prior constructions. The method leverages graph-theoretic chromatic number criteria from Cabello (2011) and extends the known 13-ray SIC set in $d=3$ to higher dimensions via dimensional embedding, establishing a new upper bound for minimal SIC sets.

ABSTRACT

It has been recently shown that state-independent contextuality (SIC) is a fundamental resource linked with a type of nonlocality which cannot be improved by nonsignaling resources. Therefore, it is of fundamental importance to identify the simplest sets of quantum observables needed to prove SIC. We show that d+10 rank-1 projectors are sufficient to prove SIC for any physical system in dimension d>2. This result outperforms both the best Kochen-Specker proofs and the results presented by Yu and Oh in arXiv:1112.5513v1.

Motivation & Objective

• To identify the simplest possible sets of quantum observables that prove state-independent contextuality (SIC) in any dimension $d > 2$.
• To improve upon existing bounds for minimal SIC sets, particularly those from Yu and Oh (2011) and Kochen-Specker constructions.
• To clarify the current state of knowledge on minimal SIC and KS sets across dimensions 3 to 8, identifying open gaps in minimality.
• To provide a systematic construction of SIC sets with $d+10$ rays that are provably minimal or near-minimal for $d \geq 4$.

Proposed method

• The construction uses the 13-ray SIC set in $d=3$ as a base, embedding it into higher-dimensional Hilbert spaces by appending standard basis vectors.
• The method applies Theorem 1 from Cabello (2011), which links SIC to the chromatic number of an orthogonality graph exceeding $d$, ensuring contextuality.
• For each $d \geq 4$, the set $S_{3+j}$ is formed by $S_3$ projected into the first three coordinates and $j+1$ additional orthonormal rays in the remaining dimensions.
• The chromatic number of the resulting orthogonality graph is shown to be $4+j = d$, proving contextuality via the non-existence of a valid $d$-coloring.
• An explicit noncontextuality inequality for $d+10$ rays is derived using Theorem 3 from Cabello (2011), enabling experimental testability.
• The construction provides an upper bound on the minimal SIC set size, improving over previous results for $d \geq 4$.

Experimental results

Research questions

• RQ1 What is the minimal number of rank-1 projectors required to prove state-independent contextuality in a $d$-dimensional quantum system for $d > 2$?
• RQ2 Can the construction of SIC sets be systematically extended from $d=3$ to higher dimensions while maintaining minimality?
• RQ3 How do the new SIC sets compare to prior constructions in terms of ray count and theoretical bounds?
• RQ4 What are the current theoretical and experimental limits on the minimality of SIC and KS sets in dimensions $d=4$ to $d=8$?
• RQ5 Is it possible to reduce the number of rays below $d+10$ for SIC proofs in $d \geq 4$?

Key findings

• The paper establishes that $d+10$ rank-1 projectors are sufficient to prove state-independent contextuality for any $d > 2$, providing a new upper bound.
• For $d=4$, the minimal SIC set is now known to be at most 14 rays, improving upon previous bounds.
• The 13-ray SIC set in $d=3$ is confirmed as minimal, and no SIC set with 10 or fewer rays exists in $d=4$, narrowing the gap for minimality.
• The construction generalizes the 13-ray set in $d=3$ to higher dimensions via dimensional embedding, preserving contextuality.
• The chromatic number of the orthogonality graph for the constructed sets is exactly $d+1$, proving contextuality via the non-existence of a valid $d$-coloring.
• The method provides a systematic way to generate testable noncontextuality inequalities using $d+10$ rays, enabling experimental verification.