{"id":"arxiv/2607.14931","url":"https://arxiv.org/abs/2607.14931","tags":["quant-ph"],"score":0,"title":"Strong $O$-valued contextuality: ruling out discrete nondeterministic alternatives to quantum theory","domain":"quant-ph","source":"arxiv","authors":["Ravishankar Ramanathan"],"reviews":0,"subject":"quant-ph","summary":"Gleason's theorem identifies the Born rule via non-contextuality over an infinite continuous lattice of projectors, while its corollary the Kochen-Specker (KS) theorem rules out the specific class of deterministic ($\\{0,1\\}$-valued) noncontextual models using finite sets of projectors. Gleason's theorem also indicates the existence of KS-type finite vector constructions to rule out other discrete nondeterministic alternatives to quantum theory beyond the $\\{0, 1\\}$ case. Here, we construct finite measurement configurations to rule out noncontextual empirical models with outcome probabilities…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-07-16","reactions":{}}