Recognition: no theorem link
Exclusion reshapes the operational manifestation of preparation contextuality
Pith reviewed 2026-05-12 01:24 UTC · model grok-4.3
The pith
Switching from retrieval to exclusion in parity-oblivious tasks lets qubits exceed the noncontextual bound on preparation contextuality.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By introducing the parity-oblivious random exclusion code we show that classical and preparation-noncontextual encodings achieve a tight bound for any prime symbol size m. For the first nontrivial case of two digits and three symbols the derived exact qubit optimum exceeds this bound, producing a quantum advantage absent from parity-oblivious retrieval. For general prime m the qubit strategies generate a quantum-to-noncontextual gap that grows linearly with the gap of the unconstrained random exclusion code and supplies a sharp semi-device-independent certification of dimension d at least 3.
What carries the argument
The parity-oblivious random exclusion code (POREC), in which a sender prepares a quantum state so that a receiver can exclude one symbol while the overall parity of the excluded symbol remains hidden from the sender.
If this is right
- Qubit strategies produce a quantum advantage whose size grows linearly with prime symbol number m.
- The exact qubit bound supplies a sharp semi-device-independent witness for dimension d greater than or equal to 3.
- The task remains sufficiently noise-robust for implementation on current prepare-and-measure hardware.
- Parity-oblivious exclusion functions as an operational probe of preparation contextuality distinct from retrieval.
Where Pith is reading between the lines
- Task redesigns that replace retrieval with exclusion may reveal quantum advantages in other prepare-and-measure contextuality scenarios.
- The linear scaling of the gap suggests that larger prime symbol sizes could yield increasingly efficient contextuality-based certification protocols.
- Photonic or superconducting implementations could test the predicted violation and thereby validate the dimension witness in the laboratory.
Load-bearing premise
The derived noncontextual bound for classical encodings is tight and the calculated maximum success probability for qubits under the parity-oblivious exclusion constraint is exact.
What would settle it
An explicit classical strategy achieving a higher success probability than the stated noncontextual bound for the three-symbol POREC, or a prepare-and-measure experiment with qubits whose exclusion success rate fails to exceed that bound.
Figures
read the original abstract
Replacing the task of retrieval with exclusion changes how preparation contextuality manifests operationally under parity-oblivious constraints, with exclusion showing a quantum advantage where retrieval does not. We introduce the parity-oblivious random exclusion code (POREC) and show that for prime symbol size $m$, classical and preparation-noncontextual encodings provide a tight noncontextual bound. For the first nontrivial case (two digits, three symbols), our derived exact qubit optimum violates this bound, in contrast to parity-oblivious retrieval, which displays no quantum advantage. This characteristic difference is absent without parity constraints. For general prime $m$, qubit strategies achieve a quantum-to-noncontextual gap that grows linearly relative to the random exclusion code (REC) gap, exceeding both parity-oblivious retrieval and standard REC. The exact qubit bound yields a sharp semi-device-independent certification of dimension $d \geq 3$. Our analysis of noise robustness demonstrates POREC to be amenable for experimental implementation on existing prepare-and-measure platforms, establishing parity-oblivious exclusion as a distinct operational probe of preparation contextuality, as well as a practical information processing protocol with wide applications.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces the parity-oblivious random exclusion code (POREC) and argues that replacing retrieval with exclusion under parity-oblivious constraints yields a distinct operational signature of preparation contextuality. For prime symbol size m, classical and preparation-noncontextual strategies are claimed to obey a tight bound; for the (2,3) case the exact qubit optimum is shown to violate this bound (unlike parity-oblivious retrieval), with the quantum-to-noncontextual gap growing linearly in m. The work also supplies a sharp semi-device-independent dimension witness (d ≥ 3) and noise-robustness analysis for prepare-and-measure experiments.
Significance. If the noncontextual bound is tight and the qubit optimum is exact, the result supplies a new, experimentally accessible probe of preparation contextuality that is absent in retrieval tasks and yields a practical certification protocol. The linear scaling of the advantage and the amenability to existing hardware are concrete strengths.
major comments (3)
- [§3] §3 (noncontextual bound derivation): the claim that the bound is tight for all classical and preparation-noncontextual encodings satisfying the parity-oblivious condition must be supported by an explicit argument or exhaustive enumeration that no higher-performing strategy exists; any omitted encoding would remove the reported violation for the (2,3) instance.
- [§4] §4 (qubit optimization): the statement that the derived qubit optimum is exact (rather than a local or numerical value) requires the optimization method, objective function, and proof of global optimality to be stated explicitly; without this the violation of the noncontextual bound cannot be confirmed.
- [§5] §5 (general prime-m gap): the linear growth of the quantum-to-noncontextual gap relative to the REC gap is load-bearing for the claim of a characteristic difference; the scaling derivation should be checked against the explicit (2,3) numbers to ensure consistency.
minor comments (2)
- [§2] Notation for the parity-oblivious constraint is introduced without a compact equation reference; adding a single displayed equation would improve readability.
- [Figure 2] Figure 2 (noise robustness curves) lacks error bars or sampling details; these should be added to support the experimental-amenability claim.
Simulated Author's Rebuttal
We thank the referee for their careful reading, positive assessment of the significance, and constructive major comments. We address each point below and will incorporate clarifications and additional explicit arguments into the revised manuscript.
read point-by-point responses
-
Referee: [§3] §3 (noncontextual bound derivation): the claim that the bound is tight for all classical and preparation-noncontextual encodings satisfying the parity-oblivious condition must be supported by an explicit argument or exhaustive enumeration that no higher-performing strategy exists; any omitted encoding would remove the reported violation for the (2,3) instance.
Authors: In §3 the noncontextual bound is obtained by maximizing the success probability over deterministic preparation-noncontextual assignments that obey the parity-oblivious constraint; because the objective is linear, the maximum is attained at an extreme point of the allowed polytope. We identify this point explicitly and show that all other valid assignments yield strictly lower values. To remove any ambiguity about omitted encodings, we will add a complete enumeration of all parity-oblivious deterministic strategies for the (2,3) case together with a short general argument for prime m. revision: yes
-
Referee: [§4] §4 (qubit optimization): the statement that the derived qubit optimum is exact (rather than a local or numerical value) requires the optimization method, objective function, and proof of global optimality to be stated explicitly; without this the violation of the noncontextual bound cannot be confirmed.
Authors: The qubit optimum is obtained by parameterizing preparations as qubit density operators, writing the success probability as a linear function of the Bloch vectors, and solving the resulting convex program under the parity-oblivious linear constraints. For qubits the feasible set is compact and the problem is low-dimensional, permitting an analytic solution that we have verified to be globally optimal. We will state the objective function, the parameterization, and the optimality argument explicitly in the revised §4. revision: yes
-
Referee: [§5] §5 (general prime-m gap): the linear growth of the quantum-to-noncontextual gap relative to the REC gap is load-bearing for the claim of a characteristic difference; the scaling derivation should be checked against the explicit (2,3) numbers to ensure consistency.
Authors: The linear scaling follows directly from the closed-form expressions for the noncontextual bound and the qubit strategy as functions of prime m. Direct substitution of the (2,3) values confirms consistency: the noncontextual bound equals 2/3, the exact qubit optimum is (1 + 1/√3)/2 ≈ 0.7887, and the resulting gap matches the general linear formula. We will insert an explicit numerical check and a short table in the revised manuscript. revision: yes
Circularity Check
No significant circularity detected; derivations presented as independent results
full rationale
The abstract and available text introduce POREC, claim a tight noncontextual bound for prime m derived from classical and preparation-noncontextual encodings, and an exact qubit optimum for (2,3) that violates it. No equations or sections are quoted that reduce the bound or optimum to a fitted input, self-definition, or self-citation chain. The tightness and exactness are asserted as outcomes of the analysis rather than inputs renamed as predictions. No load-bearing uniqueness theorems or ansatzes imported via self-citation appear. The derivation chain is self-contained against the stated assumptions and external benchmarks like parity-oblivious retrieval, warranting a zero circularity score.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
A. S. Holevo, Bounds for the quantity of information transmitted by a quantum communication channel, Probl. Peredachi Inf.9, 3 (1973)
work page 1973
-
[2]
M. A. Nielsen and I. L. Chuang,Quantum Computation and Quantum Information(Cambridge University Press, 2010)
work page 2010
-
[3]
Watrous,The Theory of Quantum Information(Cambridge University Press, 2018)
J. Watrous,The Theory of Quantum Information(Cambridge University Press, 2018)
work page 2018
-
[4]
J. S. BELL, On the problem of hidden variables in quantum mechanics, Rev. Mod. Phys.38, 447 (1966)
work page 1966
-
[5]
S. Kochen and E. P. Specker, The problem of hidden variables in quantum mechanics, Journal of Mathematics and Mechanics 17, 59 (1967)
work page 1967
-
[6]
R. W. Spekkens, Contextuality for preparations, transformations, and unsharp measurements, Phys. Rev. A71, 052108 (2005)
work page 2005
-
[7]
M. F. Pusey, Robust preparation noncontextuality inequalities in the simplest scenario, Phys. Rev. A98, 022112 (2018)
work page 2018
- [8]
- [9]
-
[10]
A. J. Leggett and A. Garg, Quantum mechanics versus macro- scopic realism: Is the flux there when nobody looks?, Phys. Rev. Lett.54, 857 (1985)
work page 1985
- [11]
-
[12]
D. Saha, D. Das, A. K. Das, B. Bhattacharya, and A. S. Majum- dar, Measurement incompatibility and quantum advantage in communication, Phys. Rev. A107, 062210 (2023)
work page 2023
-
[13]
Quantum Random Access Codes with Shared Randomness
A. Ambainis, D. Leung, L. Mancinska, and M. Ozols, Quantum random access codes with shared randomness (2009), arXiv:0810.2937 [quant-ph]
work page Pith review arXiv 2009
-
[14]
A. Tavakoli, A. Hameedi, B. Marques, and M. Bourennane, Quantum random access codes using single d-level systems, Phys. Rev. Lett.114, 170502 (2015)
work page 2015
-
[15]
S. Bera, A. G. Maity, S. Mal, and A. S. Majumdar, Role of nonclassical temporal correlation in powering quantum random access codes, Phys. Rev. A106, 042439 (2022)
work page 2022
-
[16]
M. Farkas and J. m. k. Kaniewski, Self-testing mutually unbiased bases in the prepare-and-measure scenario, Phys. Rev. A99, 032316 (2019)
work page 2019
-
[17]
A. Tavakoli, M. Smania, T. Vértesi, N. Brunner, and M. Bourennane, Self-testing nonprojective quantum measure- ments in prepare-and-measure experiments, Science Advances 6, eaaw6664 (2020)
work page 2020
- [18]
-
[19]
H.-W. Li, M. Pawłowski, Z.-Q. Yin, G.-C. Guo, and Z.-F. Han, Semi-device-independent randomness certification using n→1 quantum random access codes, Phys. Rev. A85, 052308 (2012)
work page 2012
-
[20]
P. P. Nath, D. Saha, D. Home, and U. Sinha, Single-system-based generation of certified randomness using leggett-garg inequality, Phys. Rev. Lett.133, 020802 (2024)
work page 2024
-
[21]
M. Pawłowski and N. Brunner, Semi-device-independent se- curity of one-way quantum key distribution, Phys. Rev. A84, 010302 (2011)
work page 2011
-
[22]
D. Saha and A. Chaturvedi, Preparation contextuality as an essential feature underlying quantum communication advantage, Phys. Rev. A100, 022108 (2019)
work page 2019
-
[23]
D. Saha, P. Horodecki, and M. Pawłowski, State independent contextuality advances one-way communication, New Journal of Physics21, 093057 (2019)
work page 2019
- [24]
-
[25]
N. Brunner, M. Navascués, and T. Vértesi, Dimension witnesses and quantum state discrimination, Phys. Rev. Lett.110, 150501 (2013)
work page 2013
- [26]
-
[27]
J. I. de Vicente, A general bound for the dimension of quantum behaviours in the prepare-and-measure scenario, J. Phys. A: Math. Theor.52, 095304 (2019)
work page 2019
-
[28]
A. Tavakoli, J. Pauwels, E. Woodhead, and S. Pironio, Correla- tions in entanglement-assisted prepare-and-measure scenarios, PRX Quantum2, 040357 (2021)
work page 2021
-
[29]
R. W. Spekkens, D. H. Buzacott, A. J. Keehn, B. Toner, and G. J. Pryde, Preparation contextuality powers parity-oblivious multiplexing, Phys. Rev. Lett.102, 010401 (2009)
work page 2009
-
[30]
A. Ambainis, M. Banik, A. Chaturvedi, D. Kravchenko, and A. Rai, Parity oblivious d-level random access codes and class of noncontextuality inequalities, Quantum Information Processing 18, 111 (2019)
work page 2019
-
[31]
A. Hameedi, A. Tavakoli, B. Marques, and M. Bourennane, Communication games reveal preparation contextuality, Phys. Rev. Lett.119, 220402 (2017)
work page 2017
-
[32]
S. Ghorai and A. K. Pan, Optimal quantum preparation contex- tuality in an n-bit parity-oblivious multiplexing task, Phys. Rev. A98, 032110 (2018)
work page 2018
- [33]
-
[34]
R. K. Singh, S. Sasmal, S. Nautiyal, and A. K. Pan, Self- testing in a constrained prepare-measure scenario sans assuming quantum dimension, New Journal of Physics27, 114520 (2025)
work page 2025
- [35]
-
[36]
G. W. Leibniz,Discourse on metaphysics and other essays (Hackett Publishing, 1991)
work page 1991
- [37]
-
[38]
P.-E. Emeriau, M. Howard, and S. Mansfield, Quantum advant- age in information retrieval, PRX Quantum3, 020307 (2022)
work page 2022
-
[39]
J. Bae, K. Flatt, T. Heinosaari, O. Kerppo, K. Mohan, A. Muñoz Moller, and A. Rai, Random exclusion codes: Quantum advant- ages of single-shot communication, Phys. Rev. Res.8, 013171 (2026)
work page 2026
-
[40]
M. F. Pusey, J. Barrett, and T. Rudolph, On the reality of the quantum state, Nat. Phys.8, 475 (2012)
work page 2012
- [41]
-
[42]
M. Herrero-Collantes and J. C. Garcia-Escartin, Quantum ran- dom number generators, Rev. Mod. Phys.89, 015004 (2017)
work page 2017
- [43]
-
[44]
Y . Ding, D. Bacco, K. Dalgaard, X. Wang, L. K. Oxenløwe, P. Lodahl, K. Rottwitt, and U. L. Andersen, High-dimensional quantum key distribution based on multicore fiber using silicon photonic integrated circuits, npj Quantum Information3, 25 (2017)
work page 2017
-
[45]
E. Y .-Z. Tan, R. Schwonnek, K. T. Goh, N. Walk, M. Navascués, and S. Pironio, Computing secure key rates for quantum crypto- graphy with untrusted devices, npj Quantum Information7, 158 (2021)
work page 2021
-
[46]
A. Chailloux, I. Kerenidis, S. Kundu, and J. Sikora, Optimal bounds for parity-oblivious random access codes, New Journal of Physics18, 045003 (2016)
work page 2016
-
[47]
M. Navascués, S. Pironio, and A. Acín, A convergent hierarchy of semidefinite programs characterizing the set of quantum cor- relations, New Journal of Physics10, 073013 (2008)
work page 2008
-
[48]
See Supplemental Material for detailed proofs of the optimal classical (preparation-noncontextual) bound for prime m, deriv- ation of the additive Bloch structure under parity-obliviousness, tight qubit bounds for (2, 3) POREC/PORAC with optimal strategies, and the general (2,m) qubit bound under project- ive measurements
-
[49]
M. S. Leifer, Is the quantum state real? an extended review of ψ-ontology theorems, Quanta3, 67–155 (2014)
work page 2014
-
[50]
M. Hendrych, R. Gallego, M. Micuda, N. Brunner, A. Acin, and J. P. Torres, Experimental estimation of the dimension of classical and quantum systems, Nature Physics8, 588 (2012)
work page 2012
- [51]
-
[52]
M. D. Mazurek, M. F. Pusey, R. Kunjwal, K. J. Resch, and R. W. Spekkens, An experimental test of noncontextuality without un- physical idealizations, Nature Communications7, 11780 (2016)
work page 2016
- [53]
- [54]
-
[55]
N. Brunner, S. Pironio, A. Acín, N. Gisin, A. A. Méthot, and V . Scarani, Testing the dimension of hilbert spaces, Phys. Rev. Lett.100, 210503 (2008)
work page 2008
-
[56]
R. Gallego, N. Brunner, C. Hadley, and A. Acín, Device- independent tests of classical and quantum dimensions, Phys. Rev. Lett.105, 230501 (2010)
work page 2010
-
[57]
M. Dall’Arno, E. Passaro, R. Gallego, and A. Acín, Robustness of device-independent dimension witnesses, Phys. Rev. A86, 042312 (2012)
work page 2012
-
[58]
M. M. Wolf and D. Pérez-García, Assessing quantum dimension- ality from observable dynamics, Phys. Rev. Lett.102, 190504 (2009)
work page 2009
- [59]
-
[60]
M. Ray, N. G. Boddu, K. Bharti, L.-C. Kwek, and A. Cabello, Graph-theoretic approach to dimension witnessing, New Journal of Physics23, 033006 (2021)
work page 2021
- [61]
- [62]
-
[63]
T. Białecki, T. Rybotycki, J. Batle, and A. Bednorz, Quantum dimension witness with a single repeated operation, Phys. Rev. A109, L020201 (2024)
work page 2024
-
[64]
A. Chaturvedi, M. Farkas, and V . J. Wright, Characterising and bounding the set of quantum behaviours in contextuality scen- arios, Quantum5, 484 (2021)
work page 2021
- [65]
-
[66]
S. Mal, A. S. Majumdar, and D. Home, Sharing of nonlocality of a single member of an entangled pair of qubits is not pos- sible by more than two unbiased observers on the other wing, Mathematics4, 10.3390/math4030048 (2016)
-
[67]
D. Das, A. Ghosal, S. Sasmal, S. Mal, and A. S. Majumdar, Facets of bipartite nonlocality sharing by multiple observers via sequential measurements, Phys. Rev. A99, 022305 (2019)
work page 2019
- [68]
-
[69]
P. J. Brown and R. Colbeck, Arbitrarily many independent ob- servers can share the nonlocality of a single maximally entangled qubit pair, Phys. Rev. Lett.125, 090401 (2020)
work page 2020
- [70]
- [71]
- [72]
-
[73]
A. S. S., S. Mukherjee, and A. K. Pan, Robust certification of unsharp instruments through sequential quantum advantages in a prepare-measure communication game, Phys. Rev. A107, 012411 (2023)
work page 2023
-
[74]
P. Roy, S. Bera, A. S. Majumdar, and S. Mal, Robust certification of quantum instruments through a sequential communication game, Phys. Rev. A113, 022611 (2026)
work page 2026
-
[75]
J. Bowles, F. Baccari, and A. Salavrakos, Bounding sets of sequential quantum correlations and device-independent ran- domness certification, Quantum4, 344 (2020). 8 Supplemental Material SEC I: PROOF OF (THEOREM 1) OPTIMAL CLASSICAL AND PREPARA TION-NONCONTEXTUAL BOUND FOR PRIMEm In this section, we derive the optimal classical (preparation-noncontextual...
work page 2020
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.