Title:The simplest Kochen-Specker set

Abstract:Kochen-Specker (KS) theorem is a fundamental result that shows that quantum theory cannot be explained if measurement results were predefined. Its proof requires a set of yes-no questions each of them in several contexts. The original KS proof required 132 contexts and, so far, the simplest known proof requires 9 contexts. Here we present a proof with only 7 contexts and show that, under some assumptions, this is the smallest number of contexts possible in a KS proof. Finally, we use our 7-context proof to derive an experimentally testable state-independent noncontextuality inequality.