{"id":"arxiv/2609.19862","url":"https://arxiv.org/abs/2609.19862","tags":["quant-ph"],"score":0,"title":"Automated search for highly contextual Kochen-Specker proofs","domain":"quant-ph","source":"arxiv","authors":["Axel Muller","Metod Saniga"],"reviews":0,"subject":"quant-ph","summary":"Observable-based Kochen-Specker proofs are configurations of multi-qubit Pauli observables grouped into contexts whose products are plus or minus the indentity. Their robustness as state-independent contextuality tests can be measured by the tolerated error per context $\\varepsilon = 2d/|H|$, where $d$ is the contextuality degree and $|H|$ the number of contexts. Since the degree depends only on an underlying abstract structure called the hypergram i.e. the pair formed by the context hypergraph and the anticommutation graph, the search for highly contextual proofs can be carried out on them…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-09-17","reactions":{}}