REVIEW 3 major objections 5 minor 84 references
Quantum Contextual Hypergraphs, Operators, Inequalities, and Applications in Higher Dimensions
T0 review · 3 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read The standard α ≤ α* inequality fails as a contextuality test under quantum measurement statistics; the postprocessed inequality α < α*_p = l replaces it, and contextual hypergraphs can be generated in any dimension up to 32.
desk verdict Useful new KS-set data and a plausible upscaling method, but the paper's central inequality claim is a mislabeled LP feasible point, not a violation. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The carrying object is the MMP hypergraph (McKay–Megill–Pavičić hypergraph): a connected hypergraph of dimension $n$ in which each hyperedge contains at most $n$ vertices, vertices represent quantum states or vectors, and hyperedges represent sets of mutually orthogonal vectors serving as measurement contexts. Two numbers do the work in the inequality argument: the independence number $\alpha(H)$ — the largest set of vertices no two of which share a hyperedge, equal to the paper's maximal classical vertex index — and the fractional independence number $\alpha^*(H)$, the optimum of a linear program maximizing the sum of vertex weights subject to each hyperedge summing to at most 1. The paper's new object is the postprocessed fractional independence number $\alpha^*_p$, in which each vertex contributes its multiplicity $m(v)$ divided by $n$; the vertex-hyperedge lemma (a hypergraph handshake lemma) forces $\sum_v m(v)/n = l$, the number of hyperedges, and this identity converts the unreliable bound $\alpha \le \alpha^*$ into the reliable bound $\alpha < \alpha^*_p = l$. The generation machinery is a family of eight methods M1–M8, most prominently M1 (exhaustive enumeration of mutually orthogonal $n$-tuples from simple vector components) and M8 (dimensional upscaling by concatenating lower-dimensional KS sets with zero padding, whose complexity does not scale with dimension). The Quantum Indeterminacy Postulate — uniform exit probability $1/n$ per port — is the bridge from linear programming to quantum measurement statistics.
What would settle it
Measure the exit statistics of a Stern–Gerlach-type device for a definite preparation: send spin-1 atoms prepared in the $|S_z = 0\rangle$ (or any fixed) state through the apparatus and count detections at the three output ports; the rates are 0, 1, and 0 (up to experimental error), not 1/3 each, directly contradicting the postulate that drives $\alpha^* = k/n$. Equivalently, compute the fractional-independence LP for the 25-15 hypergraph using actually measured per-vertex probabilities of its given coordinatization rather than uniform $1/n$, and check whether $\alpha \le \alpha^*$ holds; if it does, the claimed violation is an artifact of the uniformity assumption, not a property of quantum measurements.
Extended reading notes
Core claim
The paper's discovery, stated on its own terms, is that quantum measurement statistics break the $\alpha$-inequality and that a postprocessed statistic restores a reliable test. Under the Quantum Indeterminacy Postulate II.11 — an unknown pure state exits any gate (hyperedge) with equal probability $1/n$ through each of its $n$ ports — the fractional independence number $\alpha^*(H)$ of an $n$-dim $k$-$l$ MMPH becomes $k/n$ under raw data statistics. The paper exhibits MMPHs for which $k/n$ is strictly smaller than the independence number $\alpha$: the 4-dim non-KS NBMMPH 25-15 with $\alpha = 7 > \alpha^* = 25/4 = 6.25$, and even the noncontextual BMMPH 9-3 with $\alpha = 3 > \alpha^* = 9/4 = 2.25$ — so the inequality $\alpha \le \alpha^*$, long asserted as a noncontextuality inequality, is not a reliable discriminator of contextuality. The replacement is the postprocessed quantum fractional independence number $\alpha^*_p$, which counts each vertex with its multiplicity: summing $m(v)/n$ over vertices gives exactly $l$ by the vertex-hyperedge lemma, so the inequality $\alpha < \alpha^*_p = l$ is a form of the v-inequality and, the paper argues, a genuine noncontextuality inequality. On the generation side, the paper claims that by combining lower-dimensional KS MMPHs padded with zeros in new dimensions (method M8) and by filtering masters built from simple vector components (method M1), one obtains KS and non-KS MMPHs in all dimensions with minimal critical size fluctuating between 8 and 16 hyperedges, and it presents new critical examples in dimensions 27 and 32.
Load-bearing premise
The Quantum Indeterminacy Postulate — that an unknown pure state exits through each port of a measurement gate with equal probability $1/n$ — is the load-bearing premise, and it is not derived from quantum mechanics; for a prepared state the exit probabilities follow the state's amplitudes, so the equality $\alpha^* = k/n$, and hence the claimed violation of the $\alpha$-inequality, holds only under this assumed uniformity.
Editorial extensions
If this is right
- The $\alpha$-inequality $\alpha \le \alpha^*$ should not be used to certify contextuality: under the paper's measurement statistics it is violated not only by contextual NBMMPHs but also by the noncontextual BMMPH 9-3, so a violation of it proves nothing about contextuality.
- The reliable discriminators become the v-inequality, the e-inequality $l_{cM} < l$, and the postprocessed inequality $\alpha < \alpha^*_p = l$; all contextual MMPHs fail the 0-1 assignment rules that these inequalities encode.
- Contextual sets can be produced in any dimension by dimensional upscaling, with minimal critical size fluctuating in a narrow band (8–9 hyperedges for non-KS, 9–16 for KS) rather than growing with the dimension.
- Higher-dimensional MMPHs supply concrete resource states: the 32-dim 144-11 set gives an eavesdropper-guessing probability below $3 \times 10^{-17}$ in the proposed large-alphabet protocol, and star-like KS hypergraphs determine the elements of S-Hadamard matrices in any even dimension.
- Stabilizer-operation graphs can be translated into non-KS MMPHs and reduced to smaller critical KS MMPHs, offering a route to simpler stabilizer circuits and error-correction codes.
Reading between the lines
- The claimed failure of the $\alpha$-inequality is driven entirely by the uniformity postulate; for prepared (known) states the exit probabilities are $|\langle v|\psi\rangle|^2$ and need not be $1/n$, so the statement that quantum measurements break $\alpha \le \alpha^*$ is only as general as the postulate's domain of unknown states.
- A direct experimental test would measure detection statistics for the 9-3 BMMPH and the 25-15 non-KS MMPH under definite preparations: if $\alpha \le \alpha^*$ is restored under state-dependent probabilities, the discriminator claim becomes a statement about ensemble preparation, not about contextuality per se.
- The paper concedes that its maximal classical vertex indices come from randomized searches without backtracking, so slightly larger $\alpha$ values might appear with more runs; because larger $\alpha$ only widens the claimed violations ($\alpha > k/n$), this admitted uncertainty actually points in the direction of the paper's conclusion.
- The large-alphabet protocol's advantage is argued against an eavesdropper who knows only the uniform exit statistics; an extended adversarial model in which Eve knows Alice's actual prepared states may erase the claimed advantage, since the protocol's secrecy appears to rest on the uniformity postulate rather than on contextuality itself.
Formalized claims in Lean
-
Claim #1: The paper's discovery, stated on its own terms, is that quantum measurement statistics break the $\alpha$-inequality and that a postprocessed statistic restores a reliable test. Under the Quantum Indeterminacy Postulate II.11 — an unknown pure state exits any gate (hyperedge) with equal probability $1/n$ through each of its $n$ ports — the fractional independence number $\alpha^*(H)$ of an $n$-dim
/-- @claim 1 The paper's discovery, stated on its own terms, is that quantum measurement statistics break the $\alpha$-inequality and that a postprocessed statistic restores a reliable test. Under the Quantum Indeterminacy Postulate II.11 — an unknown pure state exits any gate (hyperedge) with equal probability $1/n$ through each of its $n$ ports — the fractional independence number $\alpha^*(H)$ of an $n$-dim -/ def central_claim : Prop :=
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops hypergraph (MMPH) representations of Kochen–Specker and non-Kochen–Specker contextual sets, presents generation methods M1–M8, catalogs examples in dimensions 3–32, and proposes applications in quantum communication and computation. Its central theoretical claim is that the fractional-independence α-inequality α(H) ≤ α*(H) fails under quantum measurements, and that new 'postprocessed' statistics yield a reliable discriminator α < α*_p = l.
Significance. If the inequality analysis were correct, the paper would substantially change how contextuality is quantified and would supply a scalable toolkit for higher-dimensional KS sets. The paper's strengths are its computational generation methods, the explicit coordinatizations and strings in the appendix, and the reproducible catalog of MMPHs in dimensions up to 32. However, the central inequality-based claims are not sound, and the proposed new discriminator is tautological; the useful computational content does not rescue the advertised theoretical message.
major comments (3)
- [II.C, Defs. II.9–II.10 and Eq. (13)] The claimed violation of the α-inequality for 9-3 and 25-15 is an artifact of replacing the LP optimum in Def. II.9 by the raw-data sum k/n. In Eq. (13), α*(H) is equated with k/n, but Def. II.9 defines α* as the maximum of Σ x(v) over x(v) ∈ [0,1] with Σ_{v∈e} x(v) ≤ 1 for every hyperedge. The paper's own LP computation for 9-3 with free variables gives α* = 3 and α = 3, so Eq. (11) holds; the computation yielding 9/4 imposes the additional lower bounds x(v) ≥ 1/4, which are not part of Def. II.9. Since any 0/1 independent set is feasible for the LP, α ≤ α* is a theorem for every hypergraph, and a measurement protocol cannot invalidate it unless it changes the meaning of α*.
- [II.C, Quantum Indeterminacy Postulate II.11] The postulate that an unknown pure state exits through each port of a gate with equal probability 1/n is not a consequence of quantum mechanics. For a pure state |ψ⟩ measured in an orthonormal basis {|v_i⟩}, the probability of outcome i is |⟨v_i|ψ⟩|^2; this is 1/n only for special states and bases, and equals 1 for |ψ⟩ = |v_1⟩ in that basis and 0 for the other ports. The postulate is load-bearing: it is used to justify Eq. (13), the claimed α* values such as 9/4 and 25/4, and the assertion that α* computations are of linear complexity. Without it, the claimed violations of Eq. (11) do not follow.
- [II.C, Def. II.13, Eq. (14), Theorem II.14(b), Eq. (16)] The postprocessed quantum fractional independence number α*_p is defined in Eq. (14) as Σ_v m(v)/n = l. Hence the α*_p-inequality α < α*_p = l in Eq. (16) is not an independent contextuality witness; it is the handshake identity of Lemma II.4 together with the definition of α*_p. The paper acknowledges that Eq. (16) is 'another form of the v-inequality' (Eq. (8)), but the v-inequality itself, as stated in Lemma II.6, is not proved: the argument that 'the maximal number of hyperedges that contain 1 must be smaller than l' concerns hyperedge counts, while HI_cM in Eq. (8) is a vertex count. Thus the proposed 'reliable discriminator' is either tautological or unsupported.
minor comments (5)
- [II.C, sentence after Eq. (16)] The phrase 'the α-inequality (Equations (11,16))' appears to be a typo; Eq. (16) is the α*_p-inequality, so the reference should probably be to Eqs. (11) and (15) or simply to Eq. (11).
- [Figure 5 caption] The caption states 'α = 7 > α* = 25/4 = 6.25'; this is an instance of the artifact described in major comment 1, since 25/4 is the value of the uniform feasible point under the lower-bound restriction, not the LP optimum of Def. II.9.
- [Tables I–IV and surrounding text] The table labels are inconsistent; the text refers to 'Table II D 1' and 'Tables II D 1–IV', which should be unified to stable table numbers.
- [Appendix A.2] The distribution of critical KS MMPHs would be much easier to read as a formatted table; the current line '9 (number of hyperedges, l) 18 (number of vertices, k) (1) (number of MMPHs)' is ambiguous.
- [II.E.1] The claim that Eve's probability of correctly guessing all states is less than 3 × 10^-17 for the 32-dim, 11-hyperedge MMPH is stated without derivation; if retained, it needs a calculation or a precise citation.
Circularity Check
Central α-inequality critique is self-definitional: α* is redefined as the uniform-probability sum k/n (Eq. 13) rather than the LP maximum of Def. II.9, and the 'new' α*_p-inequality (Eq. 16) is explicitly another form of the v-inequality, which itself restates the definition of an NBMMPH.
-
self definitional
[Section II C, 9-3 LP calculation and Eq. (13); contrast with Def. II.9/II.10]
"However, for x = p = 1/4, i.e., for quantum measurements, we obtain LP[... {{1/4,1},{1/4,1},{1/4,1},{1/4,1},{1/4,1},{1/4,1},{1/4,1},{1/4,1},{1/4,1}}]. Out: = {1/4, 1/4, 1/4, 1/4, 1/4, 1/4, 1/4, 1/4, 1/4}, i.e., α∗ = 9/4 = 2.25, which violates inequality (11). ... Under the raw data statistics (Definition II.12) assumption ..., the sum of all probabilities is ... k/n = α∗(k-l) = α∗(H). (13)"
Definition II.9 defines α*(H) as the LP maximum over x(v) ∈ [0,1] with hyperedge sums at most 1, and the paper's own free-x LP for 9-3 returns α* = 3, so inequality (11) holds. The 'quantum measurement' LP instead adds lower bounds x_v ≥ 1/4, a constraint not present in Def. II.9; since every hyperedge of the n-dim hypergraph has n vertices, feasibility then forces x_v = 1/n exactly, making the optimum equal k/n by construction. Equation (13) then labels this forced uniform sum as α*(H). The reported violation α > α* is therefore not a consequence of the LP definition; it is manufactured by redefining α* as the raw-data probability sum.
-
renaming known result
[Section II C, Theorem II.14(b), Eqs. (14) and (16)]
"Under the postprocessed data statistics (Definition II.13) assumption, i.e., under the assumption that every vertex v within an MMPH has m(v)/n probability of being detected, the sum of all probabilities, according to the vertex-hyperedge Lemma II.4, is ... l = α∗p(k-l) = α∗p(H) (14) ... Statement (b) implies that the α∗p-inequality ... HI_cM = α(H) < α∗p(H) = l = HI_q, (16) ... is another form of the v-inequality (Equation (8)) and that it is therefore a noncontextuality inequality and a reliable discriminator of contextual sets."
α*_p is defined by Eq. (14) to equal l, the number of hyperedges, via the handshake identity Σ m(v)/n = l from Lemma II.4. The inequality α(H) < l is exactly the v-inequality HI_cM < HI_q = l of Eq. (8), and Lemma II.6 derives that inequality directly from the definition of an NBMMPH: no 0/1 assignment can put a 1 in every hyperedge. Thus the 'postprocessed quantum fractional independence number inequality' is not a new contextuality witness; it is the defining condition of the input class NBMMPH under a new name. The paper explicitly acknowledges that Eq. (16) is another form of Eq. (8), so the claimed reliable discriminator reduces to the input by construction.
full rationale
The paper's central claim about the α-inequality is not an LP-derived or empirical result but is built into the definitions. Def. II.9/II.10 define α* as the LP maximum over x(v) ∈ [0,1]; the paper's own unconstrained computation on 9-3 gives α* = 3 and satisfies Eq. (11). The alleged violation comes from adding lower bounds x_v ≥ 1/4 (imported from Quantum Indeterminacy Postulate II.11) and then writing Eq. (13), α* = k/n; with hyperedges of size n the constraints force the uniform point, so the inequality failure is an artifact of the added constraint rather than a property of the stated LP. The second discriminator, α*_p, is defined in Eq. (14) as l, and Eq. (16) is admitted to be 'another form of the v-inequality', which in turn is just the definition of an NBMMPH (Lemma II.6). These two reductions bear directly on the paper's advertised contribution of 'reliable discriminators'. By contrast, the hypergraph generation methods M1-M8, the new 27- and 32-dimensional examples, and the proposed application protocols are largely independent computational and constructive work, and the numerous self-citations there function as ordinary background references rather than as a forced derivation chain. Overall, the contextuality-discriminator claim is forced by definition, but substantial non-circular content remains, giving score 7 rather than 8-10.
Assumptions & free parameters
assumptions (4)
- domain assumption Quantum Indeterminacy Postulate II.11: unknown pure states exit a gate through each of n ports with equal probability 1/n.
- domain assumption Every vertex's detection probability within a hyperedge is 1/κ(j) after postprocessing (Definition II.13).
- standard math Kochen-Specker theorem (existence of KS sets) is accepted as known.
- domain assumption All hyperedges in the 'filled' MMPHs contain n vertices and correspond to orthogonal bases.
Cite this review
Pith. "Pith review of Quantum Contextual Hypergraphs, Operators, Inequalities, and Applications in Higher Dimensions." pith.science (2026). https://pith.science/paper/2BVRCTLI
@misc{pith2026250109637,
author = {Pith},
title = {Pith review of: Quantum Contextual Hypergraphs, Operators, Inequalities, and Applications in Higher Dimensions},
year = {2026},
howpublished = {\url{https://pith.science/paper/2BVRCTLI}},
note = {Machine review of arXiv:2501.09637}
}
read the original abstract
Quantum contextuality plays a significant role in supporting quantum computation and quantum information theory. The key tools for this are the Kochen--Specker and non-Kochen--Specker contextual sets. Traditionally, their representation has been predominantly operator-based, mainly focusing on specific constructs in dimensions ranging from three to eight. However, nearly all of these constructs can be represented as low-dimensional hypergraphs. This study demonstrates how to generate contextual hypergraphs in any dimension using various methods, particularly those that do not scale in complexity with increasing dimensions. Furthermore, we introduce innovative examples of hypergraphs extending to dimension 32. Our methodology reveals the intricate structural properties of hypergraphs, enabling precise quantifications of contextuality of implemented sets. Additionally, we investigate several promising applications of hypergraphs in quantum communication and quantum computation, paving the way for future breakthroughs in the field.
Figures
Figures from the paper (11 more)
Reference graph
Works this paper leans on
-
[61]
Experimentally Testable State-Independe nt Quantum Contextuality
Cabello, A. Experimentally Testable State-Independe nt Quantum Contextuality. Phys. Rev. Lett. 2008, 101, 210401. https://doi.org/10.1103/PhysRevLett.101.210401
-
[1]
On Bell Non-Locality without Prob abilities: More Curious Geometry
Zimba, J.; Penrose, R. On Bell Non-Locality without Prob abilities: More Curious Geometry. Stud. Hist. Phil. Sci. 1993, 24, 697–720. https://doi.org/10.1016/0039-3681(93)90061-NGet
-
[2]
Matsuno, S. The Construction of Kochen–Specker Noncolo urable Sets in Higher-Dimensional Space from Corresponding Sets in Lower Dimension: Modification of Cabello, Estebaranz and Garc´ ıa- Alcaine’s Method. J. Phys. A 2007, 40, 9507–9513. https://doi.org/10.1088/1751-8113/40/31/024
-
[3]
Paviˇ ci´ c, M. Quantum Contextuality. Quantum 2023, 7, 953. https://doi.org/10.22331/q-2023-03-17-953
-
[4]
Non-Kochen-Specker Contextuality
Paviˇ ci´ c, M. Non-Kochen-Specker Contextuality. Entropy 2023, 25, 1117. https://doi.org/10.3390/e25081117
-
[5]
Feasible Kochen-Specker Experiment with Single Particles
Simon, C.; ˙Zukowski, M.; Weinfurter, H.; Zeilinger, A. Feasible Kochen-Specker Experiment with Single Particles. Phys. Rev. Lett. 2000, 85, 1783–1786. https://doi.org/10.1103/PhysRevLett.85.1783
-
[6]
Experiments towards Falsification of Noncontextual Hidden Variables
Michler, M.; Weinfurter, H.; ˙Zukowski, M. Experiments towards Falsification of Noncontextual Hidden Variables. Phys. Rev. Lett. 2000, 84, 5457–5461. https://doi.org/10.1103/PhysRevLett.84.5457
-
[7]
S tate-Independent Quan- tum Contextuality with Single Photons
Amselem, E.; R˚ admark, M.; Bourennane, M.; Cabello, A. S tate-Independent Quan- tum Contextuality with Single Photons. Phys. Rev. Lett. 2009, 103, 160405. https://doi.org/10.1103/PhysRevLett.103.160405
Show all 84 references
-
[8]
Experimental Demonstration of Quantum Contextuality with NonentangledPhotons
Liu, B.H.; Huang, Y.F.; Gong, Y.X.; Sun, F.W.; Zhang, Y.S .; Li, C.F.; Guo, G.C. Experimental Demonstration of Quantum Contextuality with NonentangledPhotons. Phys. Rev. A 2009, 80, 044101. https://doi.org/10.1103/PhysRevA.80.044101
2009 doi
-
[9]
Ex- perimental Implementation of a Kochen-Specker Set of Quantum Tests
D’Ambrosio, V.; Herbauts, I.; Amselem, E.; Nagali, E.; B ourennane, M.; Sciarrino, F.; Cabello, A. Ex- perimental Implementation of a Kochen-Specker Set of Quantum Tests. Phys. Rev. X 2013, 3, 011012. https://doi.org/10.1103/PhysRevX.3.011012
2013 doi
-
[10]
Experimental Test of the Kochen-Specker Theorem with Single Photons
Huang, Y.F.; Li, C.F.; Zhang, Y.S.; Pan, J.W.; Guo, G.C. Experimental Test of the Kochen-Specker Theorem with Single Photons. Phys. Rev. Lett. 2003, 90, 250401. https://doi.org/10.1103/PhysRevLett.90.250401
2003 doi
-
[11]
Experimental Non-Classicality of an Indivisible Quantu m System
Lapkiewicz, R.; Li, P.; Schaeff, C.; Langford, N.K.; Ram elow, S.; Wie´ sniak, M.; Zeilinger, A. Experimental Non-Classicality of an Indivisible Quantu m System. Nat. 2011, 474, 490–493. https://doi.org/10.1038/nature10119
2011 doi
-
[12]
State- Independent Experimental Test of Quantum Contextuality in an Indivisible System
Zu, C.; Wang, Y.X.; Deng, D.L.; Chang, X.Y.; Liu, K.; Hou , P.Y.; Yang, H.X.; Duan, L.M. State- Independent Experimental Test of Quantum Contextuality in an Indivisible System. Phys. Rev. Lett. 2012, 109, 150401. https://doi.org/10.1103/PhysRevLett.109.150401
2012 doi
-
[13]
Xavier, G.B.; Lima, G.; Cabello, A
Ca˜ nas, G.; Etcheverry, S.; G´ omez, E.S.; Saavedra, C. ; Xavier, G.B.; Lima, G.; Cabello, A. Ex- perimental Implementation of an Eight-Dimensional Kochen -Specker Set and Observation of Its Connection with the Greenberger-Horne-Zeilinger Theorem . Phys. Rev. A 2014, 90, 0121...
2014 doi
-
[14]
Applying the Simplest Kochen-Specker Set for Quantum Inf ormation Processing
Ca˜ nas, G.; Arias, M.; Etcheverry, S.; G´ omez, E.S.; Cabello, A.; Saavedra, C.; Xavier, G.B.; Lima, G. Applying the Simplest Kochen-Specker Set for Quantum Inf ormation Processing. Phys. Rev. Lett. 2014, 113, 090404. https://doi.org/10.1103/PhysRevLett.113.090404. 34
2014 doi
-
[15]
Realization of the Contextuality- Nonlocality Tradeoff with a Qubit-Qutrit Photon Pair
Zhan, X.; Zhang, X.; Li, J.; Zhang, Y.; Sanders, B.C.; Xu e, P. Realization of the Contextuality- Nonlocality Tradeoff with a Qubit-Qutrit Photon Pair. Phys. Rev. Lett. 2016, 116, 090401. https://doi.org/10.1103/PhysRevLett.116.090401
2016 doi
-
[16]
Experimental Cont extuality in Classical Light
Li, T.; Zeng1, Q.; Song, X.; Zhang, X. Experimental Cont extuality in Classical Light. Sci. Rep. 2017, 7, 44467. https://doi.org/10.1038/srep44467
2017 doi
-
[17]
State-In dependent Contextuality in Classical Light
Li, T.; Zeng, Q.; Zhang, X.; Chen, T.; Zhang, X. State-In dependent Contextuality in Classical Light. Sci. Rep. 2019, 9, 17038. https://doi.org/10.1038/s41598-019-51250-5
2019 doi
-
[18]
Classical Physics and the Boun ds of Quantum Correlations
Frustaglia, D.; Baltan´ as, J.P.; Vel´ azquez-Ahumada, M.C.; Fern´ andez-Prieto, A.; Lujambio, A.; Losada, V.; Freire, M.J.; Cabello, A. Classical Physics and the Boun ds of Quantum Correlations. Phys. Rev. Lett. 2016, 116, 250404. https://doi.org/10.1103/PhysRevLett.116.250404
2016 doi
-
[19]
Experimental Test of Contextuality in Quantum and Classical Systems
Zhang, A.; Xu, H.; Xie, J.; Zhang, H.; Smith, B.J.; Kim, M .S.; Zhang, L. Experimental Test of Contextuality in Quantum and Classical Systems. Phys. Rev. Lett. 2004, 122, 080401. https://doi.org/10.1103/PhysRevLett.122.080401
2004 doi
-
[20]
Quantum Contex- tuality in a Single-Neutron Optical Experiment
Hasegawa, Y.; Loidl, R.; Badurek, G.; Baron, M.; Rauch, H. Quantum Contex- tuality in a Single-Neutron Optical Experiment. Phys. Rev. Lett. 102006, 97, 230401. https://doi.org/10.1103/PhysRevLett.97.230401
-
[21]
Propos ed Experiment for Test- ing Quantum Contextuality with Neutrons
Cabello, A.; Filipp, S.; Rauch, H.; Hasegawa, Y. Propos ed Experiment for Test- ing Quantum Contextuality with Neutrons. Phys. Rev. Lett. 2008, 100, 130404. https://doi.org/10.1103/PhysRevLett.100.130404
2008 doi
-
[22]
Experimen- tal Test of Quantum Contextuality in Neutron Interferometr y
Bartosik, H.; Klepp, J.; Schmitzer, C.; Sponar, S.; Cab ello, A.; Rauch, H.; Hasegawa, Y. Experimen- tal Test of Quantum Contextuality in Neutron Interferometr y. Phys. Rev. Lett. 2009, 103, 040403. https://doi.org/0.1103/PhysRevLett.103.040403
2009
-
[23]
State-Independent Experimental Test of Quantum Conte xtuality
Kirchmair, G.; Z¨ ahringer, F.; Gerritsma, R.; Kleinmann, M.; G¨ uhne, O.; Cabello, A.; Blatt, R.; Roos, C.F. State-Independent Experimental Test of Quantum Conte xtuality. Nat. 2009, 460, 494–497. https://doi.org/10.1038/nature08172
2009 doi
-
[24]
Testing Contextuality on Quantum Ensembles with One Clean Qubit
Moussa, O.; Ryan, C.A.; Cory, D.G.; Laflamme, R. Testing Contextuality on Quantum Ensembles with One Clean Qubit. Phys. Rev. Lett. 2010, 104, 160501. https://doi.org/10.1103/PhysRevLett.104.160501
2010 doi
-
[25]
Mondal, M.; Wallraff, A.; Goodenough, K.; Wehner, S.; Juliusson, K.; Langford, N.K.; et al
Jerger, M.; Reshitnyk, Y.; Oppliger, M.; Potoˇ cnik, A. ; Mondal, M.; Wallraff, A.; Goodenough, K.; Wehner, S.; Juliusson, K.; Langford, N.K.; et al. Contextua lity without Nonlocality in a Supercon- ducting Quantum System. Nat. Commun. 2016, 7, 12930. https://doi.org/10.1038/n...
2016 doi
-
[26]
Hybrid Ququart-Encoded Quantum Cryptography Protected by Kochen-Specker Contextuality
Cabello, A.; D’Ambrosio, V.; Nagali, E.; Sciarrino, F. Hybrid Ququart-Encoded Quantum Cryptography Protected by Kochen-Specker Contextuality. Phys. Rev. A 2011, 84, 030302(R). https://doi.org/10.1103/PhysRevA.84.030302
2011 doi
-
[27]
Kochen-Specker Theorem as a Precondition fo r Secure Quantum Key Distribution
Nagata, K. Kochen-Specker Theorem as a Precondition fo r Secure Quantum Key Distribution. Phys. Rev. A 2005, 72, 012325 https://doi.org/10.1103/PhysRevA.72.012325
2005 doi
-
[28]
State Independent Contextuality Advances One-Way Commu- nication
Saha, D.; Horodecki, P.; Paw/suppress lowski, M. State Independent Contextuality Advances One-Way Commu- nication. New J. Phys. 2019, 21, 093057. https://doi.org/10.1088/1367-2630/ab4149
2019 doi
-
[29]
Conte xtuality Supplies the ‘Magic’ for Quantum Computation
Howard, M.; Wallman, J.; Veitech, V.; Emerson, J. Conte xtuality Supplies the ‘Magic’ for Quantum Computation. Nat. 2014, 510, 351–355. https://doi.org/10.1038/nature13460
2014 doi
-
[30]
Powered by Magic
Bartlett, S.D. Powered by Magic. Nat. 2014, 510, 345–346. https://doi.org/10.1038/nature13504
2014 doi
-
[31]
Fundame ntal Monogamy Rela- tion between Contextuality and Nonlocality
Kurzy´ nski, P.; Cabello, A.; Kaszlikowski, D. Fundame ntal Monogamy Rela- tion between Contextuality and Nonlocality. Phys. Rev. Lett. 2014, 112, 100401. https://doi.org/10.1103/PhysRevLett.112.100401
2014 doi
-
[32]
Measurement Incompatibility an d Steering Are Necessary and Sufficient for Operational Contextuality
Tavakoli, A.; Uola, R. Measurement Incompatibility an d Steering Are Necessary and Sufficient for Operational Contextuality. Phys. Rev. Res. 2020, 2, 013011. https://doi.org/10.1103/PhysRevResearch.2.013011
2020 doi
-
[33]
Kochen-Specker Sets and Generalized Orthoarguesian Equations
Megill, N.D.; Paviˇ ci´ c, M. Kochen-Specker Sets and Generalized Orthoarguesian Equations. Ann. Henri Poinc. 2011, 12, 1417–1429. https://doi.org/10.1007/s00023-011-0109-0
2011 doi
-
[34]
Simple Test for Hidden Variables in Spin-1 Systems
Klyachko, A.A.; Can, M.A.; Binicio˘ glu, S.; Shumovsky, A.S. Simple Test for Hidden Variables in Spin-1 Systems. Phys. Rev. Lett. 2008, 101, 020403. https://doi.org/10.1103/PhysRevLett.101.020403
2008 doi
-
[35]
State-Independent Proof of Kochen-Spe cker Theorem with 13 Rays
Yu, S.; Oh, C.H. State-Independent Proof of Kochen-Spe cker Theorem with 13 Rays. Phys. Rev. Lett. 2012, 108, 030402. https://doi.org/10.1103/PhysRevLett.108.030402. 35
2012 doi
-
[36]
A Kochen–Sp ecker Inequality from a SIC
Bengtsson, I.; Blanchfield, K.; Cabello, A. A Kochen–Sp ecker Inequality from a SIC. Phys. Lett. A 2012, 376, 374. https://doi.org/10.1016/j.physleta.2011.12.011
2012 doi
-
[37]
State-independent conte xtuality sets for a qutrit
Xu, Z.P.; Chen, J.L.; Su, H.Y. State-independent conte xtuality sets for a qutrit. Phys. Lett. A 2015, 379, 1868–1870. https://doi.org/10.1016/j.physleta.2015.04.024
2015 doi
-
[38]
Necessary and Sufficient C ondition for State- Independent Contextual Measurement Scenarios
Ramanathan, R.; Horodecki, P. Necessary and Sufficient C ondition for State- Independent Contextual Measurement Scenarios. Phys. Rev. Lett. 2014, 112, 040404. https://doi.org/10.1103/PhysRevLett.112.040404
2014 doi
-
[39]
Necessary and S ufficient Condition for Quantum State-Independent Contextuality
Cabello, A.; Kleinmann, M.; Budroni, C. Necessary and S ufficient Condition for Quantum State-Independent Contextuality. Phys. Rev. Lett. 2014, 114, 250402. https://doi.org/10.1103/PhysRevLett.114.250402
2014 doi
-
[40]
Min imal True-Implies-False and True-Implies-True Sets of Propositions in Noncontextual Hidden-Variable The ories
Cabello, A.; Portillo, J.R.; Sol´ ıs, A.; Svozil, K. Min imal True-Implies-False and True-Implies-True Sets of Propositions in Noncontextual Hidden-Variable The ories. Phys. Rev. A 2018, 98, 012106. https://doi.org/10.1103/PhysRevA.98.012106
2018 doi
-
[41]
Extensions of Hardy-Type True-Implies-Fal se Gadgets to Classically Obtain Indistinguisha- bility
Svozil, K. Extensions of Hardy-Type True-Implies-Fal se Gadgets to Classically Obtain Indistinguisha- bility. Phys. Rev. A 2021, 103, 022204. https://doi.org/10.1103/PhysRevA.103.022204
2021 doi
-
[42]
Graphs and Hypergraphs; North-Holland Mathematical Library, North-Holland: Amsterdam, The Netherlands, 1973; Volume 6
Berge, C. Graphs and Hypergraphs; North-Holland Mathematical Library, North-Holland: Amsterdam, The Netherlands, 1973; Volume 6
1973
-
[43]
Hypergraphs: Combinatorics of Finite Sets ; North-Holland Mathematical Library, North- Holland: Amsterdam, The Netherlands, 1989; Volume 45
Berge, C. Hypergraphs: Combinatorics of Finite Sets ; North-Holland Mathematical Library, North- Holland: Amsterdam, The Netherlands, 1989; Volume 45
1989
-
[44]
Hypergraph Theory: An Introduction ; Springer: Berlin/Heidelberg, Germany, 2013
Bretto, A. Hypergraph Theory: An Introduction ; Springer: Berlin/Heidelberg, Germany, 2013. https://doi.org/10.1007/978-3-319-00080-0
2013 doi
-
[45]
Introduction to Graph and Hypergraph Theory ; Nova Science: New York, NY, USA, 2009
Voloshin, V.I. Introduction to Graph and Hypergraph Theory ; Nova Science: New York, NY, USA, 2009
2009
-
[46]
Hypergraph Contextuality
Paviˇ ci´ c, M. Hypergraph Contextuality. Entropy 2019, 21, 1107. https://doi.org/10.3390/e21111107
2019 doi
-
[47]
Generation Kochen-Specker Contextual Sets in Higher Dimensions by Dimen- sional Upscaling Whose Complexity Does not Scale with Dimension and Their Application
Paviˇ ci´ c, M.; Waegel, M. Generation Kochen-Specker Contextual Sets in Higher Dimensions by Dimen- sional Upscaling Whose Complexity Does not Scale with Dimension and Their Application. Phys. Rev. A 2024, 110, 012205. https://doi.org/10.1103/PhysRevA.110.012205
2024 doi
-
[48]
The Ellipsoid Method and Its Consequences in Combinatorial Optimization
Gr¨ otschel, M.; Lov´ asz, L.; Schrijver, A. The Ellipsoid Method and Its Consequences in Combinatorial Optimization. Combinatorica 1981, 1, 169. https://doi.org/10.1007/BF02579273
1981 doi
-
[49]
On Graph Approaches to Contextuality and Their Role in Quantum Theory ; SBMAC Springer: Berlin/Heidelberg, Germany, 2018
Amaral, B.; Cunha, M.T. On Graph Approaches to Contextuality and Their Role in Quantum Theory ; SBMAC Springer: Berlin/Heidelberg, Germany, 2018. https://doi.org/10.1007/978-3-319-93827-1
2018 doi
-
[50]
Automated Generation of Ar bitrarily Many Kochen-Specker and Other Contextual Sets in Odd Dimensional Hilbert Spaces
Paviˇ ci´ c, M.; Megill, N.D. Automated Generation of Ar bitrarily Many Kochen-Specker and Other Contextual Sets in Odd Dimensional Hilbert Spaces. Phys. Rev. A 2022, 106, L060203. https://doi.org/10.1103/PhysRevA.106.L060203
2022 doi
-
[51]
The problem of hidden variabl es in quantum mechanics
Kochen, S.; Specker, E.P. The problem of hidden variabl es in quantum mechanics. J. Math. Mech. 1967, 17, 59–87. http://www.jstor.org/stable/24902153
1967
-
[52]
Budroni, C.; Cabello, A.; G¨ uhne, O.; Kleinmann, M.; La rsson, J. ˚ A. Kochen-Specker Contextuality. Rev. Mod. Phys. 2022, 94, 0450007. https://doi.org/10.1103/RevModPhys.94.045007
2022 doi
-
[53]
Twin Inequality for Fully Contextual Quant um Correlations
Cabello, A. Twin Inequality for Fully Contextual Quant um Correlations. Phys. Rev. A 2013, 87, 010104(R). https://doi.org/10.1103/PhysRevA.87.010104
2013 doi
-
[54]
Vector Generation of Quantum Contextual Sets in Even Dimensional Hilbert Spaces
Paviˇ ci´ c, M.; Megill, N.D. Vector Generation of Quantum Contextual Sets in Even Dimensional Hilbert Spaces. Entropy 2018, 20, 928. https://doi.org/10.3390/e20120928
2018 doi
-
[55]
Arbitrarily Exhaustive Hypergraph Gene ration of 4-, 6-, 8-, 16- , and 32-Dimensional Quantum Contextual Sets
Paviˇ ci´ c, M. Arbitrarily Exhaustive Hypergraph Gene ration of 4-, 6-, 8-, 16- , and 32-Dimensional Quantum Contextual Sets. Phys. Rev. A 2017, 95, 062121. https://doi.org/10.1103/PhysRevA.95.062121
2017 doi
-
[56]
Automated Generation of Kochen-Specker Sets
Paviˇ ci´ c, M.; Waegel, M.; Megill, N.D.; Aravind, P. Automated Generation of Kochen-Specker Sets. Sci. Rep. 2019, 9, 6765. https://doi.org/10.1038/s41598-019-43009-9
2019 doi
-
[57]
Bell-Kochen-Specke r Theorem for Any Finite Dimension n > 3
Cabello, A.; Garc´ ıa-Alcaine, G. Bell-Kochen-Specke r Theorem for Any Finite Dimension n > 3. J. Phys. A 1996, 29, 1025. https://doi.org/10.1088/0305-4470/29/5/016
1996 doi
-
[58]
Re cursive Proof of the Bell-Kochen- Specker Theorem in any Dimension n > 3
Cabello, A.; Estebaranz, J.M.; Garc´ ıa-Alcaine, G. Re cursive Proof of the Bell-Kochen- Specker Theorem in any Dimension n > 3. Phys. Lett. A 2005, 339, 425–429. 36 https://doi.org/10.1016/j.physleta.2005.03.067
2005 doi
-
[59]
Coexistence of Kochen-Specker ine qualities and noncontextuality inequalities
Yu, X.D.; Tong, D.M. Coexistence of Kochen-Specker ine qualities and noncontextuality inequalities. Phys. Rev. A 2014, 89, 010101(R). https://doi.org/10.1103/PhysRevA.89.010101
2014 doi
-
[60]
A Proof of the Kochen–Spe cker Theorem Can Always Be Converted to a State-Independent Noncontextuality Inequa lity
Yu, X.D.; Guo, Y.Q.; Tong, D.M. A Proof of the Kochen–Spe cker Theorem Can Always Be Converted to a State-Independent Noncontextuality Inequa lity. New J. Phys. 2015, 17, 093001. https://doi.org/10.1088/1367-2630/17/9/093001
2015 doi
-
[62]
State-Indep endent Test of Quantum Con- textuality with Either Single Photons or Coherent Light
Qu, D.; Wang, K.; Xiao, L.; Zhan, X.; Xue, P. State-Indep endent Test of Quantum Con- textuality with Either Single Photons or Coherent Light. NPJ Quantum Inf. 2021, 7, 154. https://doi.org/10.1038/s41534-021-00492-1
2021 doi
-
[63]
Exercises in Graph Theory ; Kluwer: Dordrecht, The Netherlands, 1998
Melnikov, O.; Sarvanov, V.; Tysbkevich, R.; Yemeliche v, V.; Zverovich, I. Exercises in Graph Theory ; Kluwer: Dordrecht, The Netherlands, 1998. https://doi.org/10.1007/978-94-017-1514-0
1998 doi
-
[64]
The Rank of Contextuality
Horodecki, K.; Zhou, J.; Stankiewicz, M.; Salazar, R.; Horodecki, P.; Raussendorf, R.; Horodecki, R.; Ramanathan, R.; Tyhurst, E. The Rank of Contextuality. New J. Phys., 2023, 25 , 073003. https://doi.org/10.1088/1367-2630/acdf78
2023 doi
-
[65]
Fractional Independence Number
Weisstein, E.W. Fractional Independence Number. Math World—A Wolfram Web Resource. 2024. Available online: https://mathworld.wolfram.com/FractionalIndependenceNumber.html (accessed on 1 January 2025)
2024
-
[66]
Graph-Theoretic Approach to Quantum Correlations
Cabello, A.; Severini, S.; Winter, A. Graph-Theoretic Approach to Quantum Correlations. Phys. Rev. Lett. 2014, 112, 040401. https://doi.org/10.1103/PhysRevLett.112.040401
2014 doi
-
[67]
The Feynman Lectures on Physics; Volume III
Feynman, R.P.; Leighton, R.B.; Sands, M. The Feynman Lectures on Physics; Volume III. Quantum Mechanics; Addison-Wesley: Reading, MA, USA, 1965
1965
-
[68]
Two Simple Proofs of the Bell-Kochen-Specker Theorem
Peres, A. Two Simple Proofs of the Bell-Kochen-Specker Theorem. J. Phys. A 1991, 24, L175–L178. https://doi.org/10.1088/0305-4470/24/4/003
1991 doi
-
[69]
Bell-Kochen-Specker Theorem for 20 Vect ors
Kernaghan, M. Bell-Kochen-Specker Theorem for 20 Vect ors. J. Phys. A 1994, 27, L829–L830. https://doi.org/10.1088/0305-4470/27/21/007
1994 doi
-
[70]
Be ll-Kochen-Specker Theorem: A Proof with 18 Vectors
Cabello, A.; Estebaranz, J.M.; Garc´ ıa-Alcaine, G. Be ll-Kochen-Specker Theorem: A Proof with 18 Vectors. Phys. Lett. A 1996, 212, 183–187. https://doi.org/10.1016/0375-9601(96)00134-X
1996 doi
-
[71]
Vector Generation of Quantum Contextual Sets: QTech2018, Paris
Paviˇ ci´ c, M. Vector Generation of Quantum Contextual Sets: QTech2018, Paris. EPJ Web Conf. 2019, 198, 00009. https://doi.org/10.1051/epjconf/201919800009; video: https://www.youtube.com/watch?v=Bw2vItz5trE (accessed on 1 January 2025)
2019
-
[72]
Critical Noncolorings of th e 600-Cell Proving the Bell-Kochen-Specker Theorem
Waegell, M.; Aravind, P.K. Critical Noncolorings of th e 600-Cell Proving the Bell-Kochen-Specker Theorem. J. Phys. A 2010, 43, 105304. https://doi.org/10.1088/1751-8113/43/10/105304
2010 doi
-
[73]
Parity Proofs of the Kochen-Specker Theorem Based on 60 Complex Rays in Four Dimensions
Waegell, M.; Aravind, P.K. Parity Proofs of the Kochen-Specker Theorem Based on 60 Complex Rays in Four Dimensions. J. Phys. A 2011, 44, 505303. https://doi.org/10.1088/1751-8113/44/50/505303
2011 doi
-
[74]
Parity Proofs of the Kochen- Specker Theorem Based on 120-Cell
Waegell, M.; Aravind, P.K. Parity Proofs of the Kochen- Specker Theorem Based on 120-Cell. Found. Phys. 2014, 44, 1085. https://doi.org/10.1007/s10701-014-9830-0
2014 doi
-
[75]
Parity Proofs of the Kochen- Specker Theorem Based on the Lie Algebra E8
Waegell, M.; Aravind, P.K. Parity Proofs of the Kochen- Specker Theorem Based on the Lie Algebra E8. J. Phys. A 2015, 48, 225301. https://doi.org/10.1088/1751-8113/48/22/225301
2015 doi
- [76]
-
[77]
Statistical Signatures of Quantum Conte xtuality
Hofmann, H.F. Statistical Signatures of Quantum Conte xtuality. Entropy 2024, 26, 725. https://doi.org/10.3390/e26090725
2024 doi
-
[78]
Five-Qubit Contextuality, Nois e-Like Distribution of Distances Between Maximal Bases and Finite Geometry
Planat, M.; Saniga, M. Five-Qubit Contextuality, Nois e-Like Distribution of Distances Between Maximal Bases and Finite Geometry. Phys. Lett. A 2012, 376, 3485–3490. https://doi.org/10.1016/j.physleta.2012.10.020
2012 doi
-
[79]
Quantum Cryptog raphy Using Larger Alphabets
Bechmann-Pasquinucci, H.; Tittel, W. Quantum Cryptog raphy Using Larger Alphabets. Phys. Rev. A 2000, 61, 062308. https://doi.org/10.1103/PhysRevA.61.062308
2000 doi
-
[80]
Bertlmann’s Chocolate Balls and Quantum Typ e Cryptography
Svozil, K. Bertlmann’s Chocolate Balls and Quantum Typ e Cryptography. In Proceedings of the Physics and Computation 2010; 3rd International Workshop; Luxor / Aswan, Egypt, Aug 30 - Sep 6; Guerra, H., Ed.; Department of Mathematics, University of Azores, Portugal, 2010; pp. 23...
2010
-
[81]
Generation and Confir- mation of a (100 × 100)-Dimensional Entangled Quantum System
Krenn, M.; Huber, M.; Fickler, R.; Lapkiewicz, R.; Rame low, S.; Zeilinger, A. Generation and Confir- mation of a (100 × 100)-Dimensional Entangled Quantum System. Proc. Natl. Acad. Sci. USA 2014, 111, 6243–6247. https://doi.org/10.1073/pnas.1402365111
2014 doi
-
[82]
Stern-Gerlach Experiment with Higher Spins
Tekin, B. Stern-Gerlach Experiment with Higher Spins. Eur. J. Phys. 2016, 37, 035401. https://doi.org/10.1088/0143-0807/37/3/035401
2016 doi
-
[83]
Quantum Random Flip-Flop and Its Appli cations in Random Frequency Synthesis and True Random Number Generation
Stipˇ cevi´ c, M. Quantum Random Flip-Flop and Its Appli cations in Random Frequency Synthesis and True Random Number Generation. Rev. Sci. Instrum. 2016, 87, 035113. https://doi.org/10.1063/1.4943668
2016 doi
-
[84]
Kochen-Specker sets and Hadamard matrice s
Lisonˇ ek, P. Kochen-Specker sets and Hadamard matrice s. Theor. Comp. Sci. 2019, 800, 042101. https://doi.org/10.1016/j.tcs.2019.10.021
2019 doi
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.