Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
The authors formulate a parity-oblivious Hidden Matching task that establishes a strict all-vs-nothing operational separation for preparation contextuality without assuming measurement noncontextuality or outcome determinism. While a quantum protocol transmitting $\lceil\log_2 n\rceil$ qubits achieves deterministic success, any preparation-noncontextual model is strictly bounded away from certainty, achieving at most $4/5$ for $n=6$ and decaying asymptotically to $1/2 + \Theta(1/\sqrt{n})$. This converts a historically quantitative statistical advantage into an absolute qualitative distinction that is experimentally verifiable with as few as four matchings at $n=8$.
Preparation contextuality is no longer just a marginal statistical advantage: quantum states solve parity-oblivious Hidden Matching with 100% certainty, whereas classical noncontextual models fundamentally collapse toward random guessing as inputs scale.
Preparation contextuality is often manifested operationally through a quantitative advantage over preparation-noncontextual models in information-processing tasks, yet quantum theory typically falls short of perfect success. Here we introduce a parity-oblivious Hidden Matching task that instead yields an all-vs-nothing manifestation of preparation contextuality. Alice encodes an $n$-bit string so that her message reveals no information about any input parity other than the two-bit parities. Bob, given a perfect matching on the input positions, must output an edge of the matching together with the parity of its two bits. A quantum protocol using a single $\lceil\log_2 n\rceil$-qubit message satisfies the parity-obliviousness constraint and succeeds with certainty. We prove that no preparation-noncontextual model achieves perfect success for any even $n\ge6$. The result holds for arbitrary ontic state spaces and assumes neither outcome determinism nor measurement noncontextuality. For $n=6$ and $n=8$, the optimal noncontextual success probabilities are $4/5$ and $3/4$, respectively, while asymptotically the optimal noncontextual success probability is $1/2+Θ(1/\sqrt n)$. Our asymptotic upper bound follows from a Fourier-analytic sum rule derived via hypercontractivity on the Boolean hypercube. The resulting separation is qualitative rather than merely quantitative: quantum theory achieves perfect success, whereas preparation-noncontextual models cannot. We aslo show that at $n=8$ the noncontextual bound remains $3/4$ even when Bob is restricted to just suitable $4$ of the $105$ possible perfect matchings, bringing the effect within experimental reach.