Sheaf-Theoretic Preparation Contextuality

Farid Shahandeh; Mina Doosti; Tom Williams

arxiv: 2605.00975 · v1 · submitted 2026-05-01 · 🪐 quant-ph

Sheaf-Theoretic Preparation Contextuality

Tom Williams , Mina Doosti , Farid Shahandeh This is my paper

Pith reviewed 2026-05-09 19:01 UTC · model grok-4.3

classification 🪐 quant-ph

keywords preparation contextualitystochastic extensionglobal response matrixcompatibility conditionsquantum contextualityobstructionsheaf theory

0 comments

The pith

The inability of local preparation statistics to extend to a global response matrix under compatibility conditions defines preparation contextuality.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops a preparation-dual notion of contextuality as an obstruction to extending locally specified preparation statistics to one global response matrix compatible with all source contexts. This parallels the sheaf-theoretic treatment of measurement contextuality but replaces marginalisation with stochastic extension of partial conditioning data. Minimal structural and preparation compatibility conditions are shown to force admissible extension matrices into a rigid product form. Under this restriction the absence of any global response representation becomes a witness of contextuality, while the compatibility conditions mark the cases where the obstruction is nontrivial. The construction is given in explicit matrix form and illustrated by a quantum example.

Core claim

Preparation contextuality arises when locally specified preparation statistics cannot be extended to a single global response matrix compatible with all source contexts. Whereas measurement contextuality blocks compatible marginals, the preparation version concerns the non-existence of a stochastic extension of partial conditioning data. Imposing the weakest structural and preparation compatibility requirements on admissible extension matrices produces a rigid product form. As a result the non-existence of any admissible global response representation witnesses contextuality, and the compatibility requirement ensures the witness applies only in nontrivial cases. The framework is stated in矩阵

What carries the argument

Admissible extension matrices under minimal structural and preparation compatibility conditions, which enforce a rigid product form for the global response representation.

If this is right

Absence of any admissible global response matrix indicates preparation contextuality for the given local statistics.
Preparation compatibility conditions ensure the obstruction is nontrivial rather than an artifact of loose definitions.
The matrix formulation permits direct algebraic verification of whether a global extension exists.
Quantum preparations can realize scenarios in which no such global matrix exists.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same compatibility rules might be used to compare preparation contextuality with other quantum resources such as steering.
The matrix approach could be applied to classify which experimental preparation setups are contextuality-free.
One could test whether relaxing the product-form requirement recovers known classical bounds on preparation statistics.

Load-bearing premise

The minimal structural and preparation compatibility conditions on admissible extension matrices necessarily force them into a rigid product form.

What would settle it

Constructing a global response matrix compatible with all source contexts for the specific quantum preparation scenario given in the paper would falsify the claim that the scenario exhibits preparation contextuality.

read the original abstract

We introduce a preparation-dual notion of contextuality, formulated as an obstruction to stochastic extension. In parallel with the sheaf-theoretic formulation of measurement contextuality, preparation contextuality arises when locally specified preparation statistics cannot be extended to a single global response matrix compatible with all source contexts. Whereas measurement contextuality concerns the incompatibility of restriction maps (marginalisation), the preparation setting requires stochastic extension of partial conditioning data, which is inherently non-unique. We identify minimal structural and preparation compatibility conditions on admissible extension matrices and show that they enforce a rigid product form. This leads to a notion of preparation contextuality in which the absence of any admissible global response representation witnesses contextuality, while preparation compatibility identifies the cases in which this obstruction is nontrivial. The framework is formulated explicitly in matrix form and illustrated by a quantum-mechanical example exhibiting preparation contextuality.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper sets up a dual sheaf model for preparation contextuality as obstruction to global stochastic extension of local data, but the claim that compatibility forces rigid product form needs tighter matrix-level checking.

read the letter

The main point is that this paper defines a preparation-dual notion of contextuality in sheaf terms: local preparation statistics cannot always be extended to one global response matrix that works for every source context. This is meant to sit alongside the usual measurement-contextuality story, where the problem is incompatibility under marginalization rather than under extension. They work directly in matrix language, identify minimal structural and preparation compatibility conditions, and state that these conditions force admissible extensions into product form. Contextuality is then witnessed by the non-existence of any such global matrix, with the compatibility conditions marking when the obstruction is nontrivial. A quantum example is included to show the setup in action. The matrix formulation and the explicit parallel to measurement contextuality are the clearest parts of the work. The construction is new in this symmetric form and stays concrete enough that readers can follow the definitions without heavy sheaf machinery. The quantum illustration helps confirm the notion is not vacuous. The load-bearing step is the assertion that the listed compatibility conditions really pin every admissible extension matrix to product form and exclude everything else. The abstract states this, but the paper must display the exact matrix constraints on stochasticity and marginal agreement so it is obvious why non-product solutions are ruled out. If those constraints are not fully tight, the obstruction could sometimes reflect under-constrained local data rather than genuine contextuality. The example does not replace the general argument. This is for people already working on quantum foundations and contextuality, particularly those who use sheaf models or want a symmetric language for preparations and measurements. A reader familiar with the measurement side will see the duality quickly. The paper is coherent on its own terms and deserves a serious referee, though the product-form derivation will need close scrutiny in review.

Referee Report

1 major / 2 minor

Summary. The paper introduces a sheaf-theoretic formulation of preparation contextuality, defined as the obstruction to extending locally specified preparation statistics to a single global response matrix compatible with all source contexts. It parallels measurement contextuality by identifying minimal structural and preparation compatibility conditions on admissible extension matrices, claiming these enforce a rigid product form; thus, the absence of any admissible global response representation witnesses contextuality, with preparation compatibility identifying nontrivial cases. The framework is given explicitly in matrix form and illustrated by a quantum-mechanical example.

Significance. If the derivation that the identified compatibility conditions force admissible extensions into product form is correct and the quantum example is representative, this provides a coherent dual to the sheaf-theoretic treatment of measurement contextuality, potentially unifying contextuality notions under a common obstruction-to-extension language. The matrix formulation offers a concrete, checkable presentation that could aid computational verification in quantum information. The work's value hinges on whether the product-form enforcement is rigorously established without additional assumptions.

major comments (1)

[Abstract and admissible extension matrices section] Abstract and the section introducing admissible extension matrices: the central claim equates absence of a global response matrix with preparation contextuality only if the minimal structural and preparation compatibility conditions (stochasticity, marginal agreement, source-context compatibility) necessarily force every admissible extension into rigid product form. The abstract asserts this enforcement but provides no derivation steps or explicit matrix-level constraints; if the full manuscript's argument in that section permits non-product extensions satisfying the same conditions, the obstruction ceases to be a faithful witness of contextuality and the equivalence fails.

minor comments (2)

[Quantum example section] The quantum-mechanical example would benefit from an explicit matrix display of the local preparation statistics and the attempted global extension to allow direct verification of the claimed obstruction.
[Introduction] Notation for 'source contexts' and 'response matrix' should be defined at first use with a brief comparison to the corresponding objects in the measurement-contextuality sheaf setting.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for identifying the need to confirm the rigor of our central claim. We respond to the major comment below, providing the key elements of the derivation from the manuscript while remaining open to clarifications in revision.

read point-by-point responses

Referee: [Abstract and admissible extension matrices section] Abstract and the section introducing admissible extension matrices: the central claim equates absence of a global response matrix with preparation contextuality only if the minimal structural and preparation compatibility conditions (stochasticity, marginal agreement, source-context compatibility) necessarily force every admissible extension into rigid product form. The abstract asserts this enforcement but provides no derivation steps or explicit matrix-level constraints; if the full manuscript's argument in that section permits non-product extensions satisfying the same conditions, the obstruction ceases to be a faithful witness of contextuality and the equivalence fails.

Authors: The manuscript's section on admissible extension matrices does derive that the three conditions force the product form. Stochasticity requires each row of the global response matrix to sum to one. Marginal agreement requires that the marginals obtained by summing over all but one source match the given local preparation data for every context. Source-context compatibility requires that the matrix entries agree on the overlaps of any two source contexts. To establish the product form, fix a joint preparation across sources and consider the corresponding matrix entry. Marginal agreement applied to each source separately, combined with compatibility on pairwise overlaps, implies that the joint entry equals the product of the individual marginal entries; any cross-term would violate either the row-sum or the overlap consistency. This algebraic factorization holds for arbitrary numbers of sources by iterated application of the pairwise case. Consequently, every matrix satisfying the conditions is of rigid product form, so non-existence of such a matrix is a faithful witness of preparation contextuality. The abstract summarizes this result without steps, as is conventional, but the body supplies the explicit constraints and proof. We will add a short enumerated outline of the matrix equations in the revised section for added transparency. revision: partial

Circularity Check

0 steps flagged

No circularity: preparation contextuality derived from explicit compatibility conditions on extension matrices

full rationale

The paper defines preparation contextuality as the obstruction to stochastic extension of local preparation statistics to a global response matrix. It states that minimal structural and preparation compatibility conditions are identified and shown to enforce a rigid product form, making non-existence of an admissible global representation a witness of contextuality. This is a direct mathematical construction with no fitted parameters, no self-citation chains, and no equations that reduce to their own inputs by definition. The derivation remains self-contained as a sheaf-theoretic reformulation without load-bearing reductions to prior self-referential results or ansatzes smuggled via citation. The abstract and framework description provide independent content for the claimed obstruction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claim rests on the assumption that stochastic extension matrices exist and can be constrained by compatibility conditions to a product form; the sheaf language is used only to organize the local-to-global problem.

axioms (2)

standard math Stochastic matrices can represent conditional response functions for preparations
Standard modeling choice in quantum information for response functions.
domain assumption Sheaf-theoretic language applies to preparation statistics via restriction and extension maps
The framework is explicitly formulated in parallel with the sheaf-theoretic treatment of measurement contextuality.

invented entities (1)

preparation contextuality as obstruction to stochastic extension no independent evidence
purpose: To define the dual notion of contextuality for preparations
New concept introduced to capture when local preparation data cannot be extended globally.

pith-pipeline@v0.9.0 · 5432 in / 1283 out tokens · 39187 ms · 2026-05-09T19:01:54.225572+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages

[1]

Platonic

Thus the joint preparations are product states, ρ{x,y} ij =ρ x i ⊗ρ y j ,for allx∈ {a, a ′}andy∈ {b, b ′}. The PBR measurement is given by the four-outcome POVM {Mk}k whose effects are the rank-one projectors onto the nor- malized vectors proportional to the vectors, |ξ1⟩=|01⟩+|10⟩,|ξ 2⟩=|0−⟩+|1+⟩, |ξ3⟩=|+ 1⟩+| −0⟩,|ξ 4⟩=|+−⟩+| −+⟩. With these specificati...

work page
[2]

Kochen and E

S. Kochen and E. P. Specker, Journal of Mathematics and Me- chanics17, 59 (1967)

work page 1967
[3]

Peres, J

A. Peres, J. Phys. A24, L175 (1991)

work page 1991
[4]

N. D. Mermin, Rev. Mod. Phys.65, 803 (1993)

work page 1993
[5]

Bell-Kochen-Specker theorem: A proof with 18 vectors

A. Cabello, J. M. Estebaranz, and G. Garcia-Alcaine, Phys. Lett. A212, 183 (1996), arXiv:quant-ph/9706009

work page Pith review arXiv 1996
[6]

J. S. Bell, Physics Physique Fizika1, 195 (1964)

work page 1964
[7]

Fine, Phys

A. Fine, Phys. Rev. Lett.48, 291 (1982)

work page 1982
[8]

Brunner, D

N. Brunner, D. Cavalcanti, S. Pironio, V . Scarani, and S. Wehner, Rev. Mod. Phys.86, 839 (2014)

work page 2014
[9]

R. W. Spekkens, Phys. Rev. A71, 052108 (2005)

work page 2005
[10]

Harrigan and R

N. Harrigan and R. W. Spekkens, Foundations of Physics40, 125 (2010)

work page 2010
[11]

Abramsky and L

S. Abramsky and L. Hardy, Phys. Rev. A85, 062114 (2012)

work page 2012
[12]

Abramsky and A

S. Abramsky and A. Brandenburger, New Journal of Physics 13, 113036 (2011)

work page 2011
[13]

E. N. Dzhafarov, V . H. Cervantes, and J. V . Kujala, Philosoph- ical Transactions of the Royal Society A: Mathematical, Physi- cal and Engineering Sciences375, 20160389 (2017)

work page 2017
[14]

Cabello, S

A. Cabello, S. Severini, and A. Winter, Phys. Rev. Lett.112, 040401 (2014)

work page 2014
[15]

A. Acín, T. Fritz, A. Leverrier, and A. B. Sainz, Communica- tions in Mathematical Physics334, 533 (2015)

work page 2015
[16]

C. J. Isham and J. Butterfield, International Journal of Theoret- ical Physics37, 2669 (1998), arXiv:quant-ph/9803055

work page arXiv 1998
[17]

Kunjwal and R

R. Kunjwal and R. W. Spekkens, Phys. Rev. Lett.115, 110403 (2015)

work page 2015
[18]

Schmid and R

D. Schmid and R. W. Spekkens, Phys. Rev. X8, 011015 (2018)

work page 2018
[19]

M. F. Pusey, J. Barrett, and T. Rudolph, Nature Physics8, 475 (2012)

work page 2012
[20]

M. S. Leifer and O. J. E. Maroney, Phys. Rev. Lett.110, 120401 (2013)

work page 2013
[21]

Barrett, E

J. Barrett, E. G. Cavalcanti, R. Lal, and O. J. E. Maroney, Phys. Rev. Lett.112, 250403 (2014)

work page 2014
[22]

M. S. Leifer, Quanta3, 67 (2014)

work page 2014
[23]

Mansfield, Electronic Proceedings in Theoretical Computer Science172, 102–114 (2014)

S. Mansfield, Electronic Proceedings in Theoretical Computer Science172, 102–114 (2014)

work page 2014
[24]

Abramsky, S

S. Abramsky, S. Mansfield, and R. S. Barbosa, inProceed- ings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011, EPTCS, V ol. 95 (2011) pp. 1–14

work page 2011
[25]

Abramsky, R

S. Abramsky, R. S. Barbosa, and S. Mansfield, Phys. Rev. Lett. 119, 050504 (2017)

work page 2017
[26]

Jacobs,Introduction to Coalgebra: Towards Mathematics of States and Observation(Cambridge University Press, 2016)

B. Jacobs,Introduction to Coalgebra: Towards Mathematics of States and Observation(Cambridge University Press, 2016). 8 Appendix A: Sheaf-Theoretic Formulation of Preparation Contextuality In this appendix we recast the preparation framework developed in the main text in the language of sheaf theory, following the general structure of Abramsky and Branden...

work page 2016

[1] [1]

Platonic

Thus the joint preparations are product states, ρ{x,y} ij =ρ x i ⊗ρ y j ,for allx∈ {a, a ′}andy∈ {b, b ′}. The PBR measurement is given by the four-outcome POVM {Mk}k whose effects are the rank-one projectors onto the nor- malized vectors proportional to the vectors, |ξ1⟩=|01⟩+|10⟩,|ξ 2⟩=|0−⟩+|1+⟩, |ξ3⟩=|+ 1⟩+| −0⟩,|ξ 4⟩=|+−⟩+| −+⟩. With these specificati...

work page

[2] [2]

Kochen and E

S. Kochen and E. P. Specker, Journal of Mathematics and Me- chanics17, 59 (1967)

work page 1967

[3] [3]

Peres, J

A. Peres, J. Phys. A24, L175 (1991)

work page 1991

[4] [4]

N. D. Mermin, Rev. Mod. Phys.65, 803 (1993)

work page 1993

[5] [5]

Bell-Kochen-Specker theorem: A proof with 18 vectors

A. Cabello, J. M. Estebaranz, and G. Garcia-Alcaine, Phys. Lett. A212, 183 (1996), arXiv:quant-ph/9706009

work page Pith review arXiv 1996

[6] [6]

J. S. Bell, Physics Physique Fizika1, 195 (1964)

work page 1964

[7] [7]

Fine, Phys

A. Fine, Phys. Rev. Lett.48, 291 (1982)

work page 1982

[8] [8]

Brunner, D

N. Brunner, D. Cavalcanti, S. Pironio, V . Scarani, and S. Wehner, Rev. Mod. Phys.86, 839 (2014)

work page 2014

[9] [9]

R. W. Spekkens, Phys. Rev. A71, 052108 (2005)

work page 2005

[10] [10]

Harrigan and R

N. Harrigan and R. W. Spekkens, Foundations of Physics40, 125 (2010)

work page 2010

[11] [11]

Abramsky and L

S. Abramsky and L. Hardy, Phys. Rev. A85, 062114 (2012)

work page 2012

[12] [12]

Abramsky and A

S. Abramsky and A. Brandenburger, New Journal of Physics 13, 113036 (2011)

work page 2011

[13] [13]

E. N. Dzhafarov, V . H. Cervantes, and J. V . Kujala, Philosoph- ical Transactions of the Royal Society A: Mathematical, Physi- cal and Engineering Sciences375, 20160389 (2017)

work page 2017

[14] [14]

Cabello, S

A. Cabello, S. Severini, and A. Winter, Phys. Rev. Lett.112, 040401 (2014)

work page 2014

[15] [15]

A. Acín, T. Fritz, A. Leverrier, and A. B. Sainz, Communica- tions in Mathematical Physics334, 533 (2015)

work page 2015

[16] [16]

C. J. Isham and J. Butterfield, International Journal of Theoret- ical Physics37, 2669 (1998), arXiv:quant-ph/9803055

work page arXiv 1998

[17] [17]

Kunjwal and R

R. Kunjwal and R. W. Spekkens, Phys. Rev. Lett.115, 110403 (2015)

work page 2015

[18] [18]

Schmid and R

D. Schmid and R. W. Spekkens, Phys. Rev. X8, 011015 (2018)

work page 2018

[19] [19]

M. F. Pusey, J. Barrett, and T. Rudolph, Nature Physics8, 475 (2012)

work page 2012

[20] [20]

M. S. Leifer and O. J. E. Maroney, Phys. Rev. Lett.110, 120401 (2013)

work page 2013

[21] [21]

Barrett, E

J. Barrett, E. G. Cavalcanti, R. Lal, and O. J. E. Maroney, Phys. Rev. Lett.112, 250403 (2014)

work page 2014

[22] [22]

M. S. Leifer, Quanta3, 67 (2014)

work page 2014

[23] [23]

Mansfield, Electronic Proceedings in Theoretical Computer Science172, 102–114 (2014)

S. Mansfield, Electronic Proceedings in Theoretical Computer Science172, 102–114 (2014)

work page 2014

[24] [24]

Abramsky, S

S. Abramsky, S. Mansfield, and R. S. Barbosa, inProceed- ings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011, EPTCS, V ol. 95 (2011) pp. 1–14

work page 2011

[25] [25]

Abramsky, R

S. Abramsky, R. S. Barbosa, and S. Mansfield, Phys. Rev. Lett. 119, 050504 (2017)

work page 2017

[26] [26]

Jacobs,Introduction to Coalgebra: Towards Mathematics of States and Observation(Cambridge University Press, 2016)

B. Jacobs,Introduction to Coalgebra: Towards Mathematics of States and Observation(Cambridge University Press, 2016). 8 Appendix A: Sheaf-Theoretic Formulation of Preparation Contextuality In this appendix we recast the preparation framework developed in the main text in the language of sheaf theory, following the general structure of Abramsky and Branden...

work page 2016