{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T04:15:26Z","timestamp":1780460126424,"version":"3.54.1"},"reference-count":55,"publisher":"Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften","license":[{"start":{"date-parts":[[2023,5,22]],"date-time":"2023-05-22T00:00:00Z","timestamp":1684713600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"crossref","award":["FA9550-21-1-0002"],"award-info":[{"award-number":["FA9550-21-1-0002"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["quantum-journal.org"],"crossmark-restriction":false},"short-container-title":["Quantum"],"abstract":"We introduce a new framework for contextuality based on simplicial sets, combinatorial models of topological spaces that play a prominent role in modern homotopy theory. Our approach extends measurement scenarios to consist of spaces (rather than sets) of measurements and outcomes, and thereby generalizes nonsignaling distributions to simplicial distributions, which are distributions on spaces modeled by simplicial sets. Using this formalism we present a topologically inspired new proof of Fine&apos;s theorem for characterizing noncontextuality in Bell scenarios. Strong contextuality is generalized suitably for simplicial distributions, allowing us to define cohomological witnesses that extend the earlier topological constructions restricted to algebraic relations among quantum observables to the level of probability distributions. Foundational theorems of quantum theory such as the Gleason&apos;s theorem and Kochen--Specker theorem can be expressed naturally within this new language.<\/jats:p>","DOI":"10.22331\/q-2023-05-22-1009","type":"journal-article","created":{"date-parts":[[2023,5,22]],"date-time":"2023-05-22T12:52:25Z","timestamp":1684759945000},"page":"1009","update-policy":"https:\/\/doi.org\/10.22331\/q-crossmark-policy-page","source":"Crossref","is-referenced-by-count":10,"title":["Simplicial quantum contextuality"],"prefix":"10.22331","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8097-5227","authenticated-orcid":false,"given":"Cihan","family":"Okay","sequence":"first","affiliation":[{"name":"Department of Mathematics, Bilkent University, Ankara, Turkey"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4010-6526","authenticated-orcid":false,"given":"Aziz","family":"Kharoof","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Bilkent University, Ankara, Turkey"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4475-4221","authenticated-orcid":false,"given":"Selman","family":"Ipek","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Bilkent University, Ankara, Turkey"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"9598","published-online":{"date-parts":[[2023,5,22]]},"reference":[{"key":"0","doi-asserted-by":"publisher","unstructured":"E. Schr\u00f6dinger, ``Discussion of probability relations between separated systems,'' Mathematical Proceedings of the Cambridge Philosophical Society, vol. 31, pp. 555\u2013563, 1935. doi: 10.1017\/S0305004100013554.","DOI":"10.1017\/S0305004100013554"},{"key":"1","doi-asserted-by":"publisher","unstructured":"A. Einstein, B. Podolsky, and N. Rosen, ``Can quantum-mechanical description of physical reality be considered complete?,'' Physical Review, vol. 47, p. 777, 1935. doi: 10.1103\/PhysRev.47.777.","DOI":"10.1103\/PhysRev.47.777"},{"key":"2","doi-asserted-by":"publisher","unstructured":"J. S. Bell, ``On the Einstein Podolsky Rosen paradox,'' Physics Physique Fizika, vol. 1, pp. 195\u2013200, Nov 1964. doi: 10.1103\/PhysicsPhysiqueFizika.1.195.","DOI":"10.1103\/PhysicsPhysiqueFizika.1.195"},{"key":"3","doi-asserted-by":"publisher","unstructured":"S. Kochen and E. P. Specker, ``The problem of hidden variables in quantum mechanics,'' Journal of Mathematics and Mechanics, vol. 17, pp. 59\u201387, 1967. doi: 10.1007\/978-94-010-1795-4_17.","DOI":"10.1007\/978-94-010-1795-4_17"},{"key":"4","doi-asserted-by":"publisher","unstructured":"J. S. Bell, ``On the problem of hidden variables in quantum mechanics,'' Reviews of Modern Physics, vol. 38, p. 447, 1966. doi: 10.1103\/RevModPhys.38.447.","DOI":"10.1103\/RevModPhys.38.447"},{"key":"5","doi-asserted-by":"publisher","unstructured":"N. D. Mermin, ``Hidden variables and the two theorems of John Bell,'' Reviews of Modern Physics, vol. 65, no. 3, p. 803, 1993. doi: 10.1103\/RevModPhys.65.803.","DOI":"10.1103\/RevModPhys.65.803"},{"key":"6","doi-asserted-by":"publisher","unstructured":"C. Budroni, A. Cabello, O. G\u00fchne, M. Kleinmann, and J.-\u00c5. Larsson, ``Quantum contextuality,'' arXiv preprint arXiv:2102.13036, 2021. doi: 10.48550\/arXiv.2102.13036. arXiv: 2102.13036.","DOI":"10.48550\/arXiv.2102.13036"},{"key":"7","doi-asserted-by":"publisher","unstructured":"N. Brunner, D. Cavalcanti, S. Pironio, V. Scarani, and S. Wehner, ``Bell nonlocality,'' Review of Modern Physics, vol. 86, p. 419, 2014. doi: 10.1103\/RevModPhys.86.419. arXiv: 1303.2849.","DOI":"10.1103\/RevModPhys.86.419"},{"key":"8","doi-asserted-by":"publisher","unstructured":"B. Amaral, ``Resource theory of contextuality,'' Philosophical Transactions of the Royal Society A, vol. 377, no. 2157, p. 20190010, 2019. doi: 10.1098\/rsta.2019.0010. arXiv: 1904.04182.","DOI":"10.1098\/rsta.2019.0010"},{"key":"9","doi-asserted-by":"publisher","unstructured":"R. W. Spekkens, ``Contextuality for preparations, transformations, and unsharp measurements,'' Physical Review A, vol. 71, p. 052108, May 2005. doi: 10.1103\/PhysRevA.71.052108. arXiv: quant-ph\/0406166.","DOI":"10.1103\/PhysRevA.71.052108"},{"key":"10","doi-asserted-by":"publisher","unstructured":"S. Abramsky and A. Brandenburger, ``The sheaf-theoretic structure of non-locality and contextuality,'' New Journal of Physics, vol. 13, no. 11, p. 113036, 2011. doi: 10.1088\/1367-2630\/13\/11\/113036. arXiv: 1102.0264.","DOI":"10.1088\/1367-2630\/13\/11\/113036"},{"key":"11","doi-asserted-by":"publisher","unstructured":"A. Cabello, S. Severini, and A. Winter, ``(non-)contextuality of physical theories as an axiom,'' arXiv preprint arXiv:1010.2163, 2010. doi: 10.48550\/arXiv.1010.2163.","DOI":"10.48550\/arXiv.1010.2163"},{"key":"12","doi-asserted-by":"publisher","unstructured":"A. Ac\u00edn, T. Fritz, A. Leverrier, and A. B. Sainz, ``A combinatorial approach to nonlocality and contextuality,'' Communications in Mathematical Physics, vol. 334, no. 2, pp. 533\u2013628, 2015. doi: 10.1007\/s00220-014-2260-1. arXiv: 1212.4084.","DOI":"10.1007\/s00220-014-2260-1"},{"key":"13","doi-asserted-by":"publisher","unstructured":"C. Okay, S. Roberts, S. D. Bartlett, and R. Raussendorf, ``Topological proofs of contextuality in quantum mechanics,'' Quantum Information & Computation, vol. 17, no. 13-14, pp. 1135\u20131166, 2017. doi: 10.26421\/QIC17.13-14-5. arXiv: 1701.01888.","DOI":"10.26421\/QIC17.13-14-5"},{"key":"14","doi-asserted-by":"publisher","unstructured":"R. Raussendorf, ``Cohomological framework for contextual quantum computations,'' Quantum Information and Computation, vol. 19, no. 13&14, pp. 1141\u20131170, 2019. doi: 10.26421\/QIC19.13-14-4. arXiv: 1602.04155.","DOI":"10.26421\/QIC19.13-14-4"},{"key":"15","doi-asserted-by":"publisher","unstructured":"K. Beer and T. J. Osborne, ``Contextuality and bundle diagrams,'' Physical Review A, vol. 98, p. 052124, Nov 2018. doi: 10.1103\/PhysRevA.98.052124. arXiv: 1802.08424.","DOI":"10.1103\/PhysRevA.98.052124"},{"key":"16","doi-asserted-by":"publisher","unstructured":"T. C. Marcelo, ``On measures and measurements: a fibre bundle approach to contextuality,'' Philosophical Transactions of the Royal Society A, vol. 377(15), p. 20190146. doi: 10.1098\/rsta.2019.0146. arXiv: 1903.08819.","DOI":"10.1098\/rsta.2019.0146"},{"key":"17","unstructured":"G. Caru, Logical and topological contextuality in quantum mechanics and beyond. PhD thesis, University of Oxford, 2019."},{"key":"18","doi-asserted-by":"publisher","unstructured":"S. Aasn\u00e6ss, ``Cohomology and the algebraic structure of contextuality in measurement based quantum computation,'' in Proceedings 16th International Conference on Quantum Physics and Logic (B. Coecke and M. Leifer, eds.), vol. 318, pp. 242\u2013253, Open Publishing Association, 2020. doi: 10.4204\/EPTCS.318.15. arXiv: 2005.00213.","DOI":"10.4204\/EPTCS.318.15"},{"key":"19","doi-asserted-by":"publisher","unstructured":"S. B. Montanhano, ``Contextuality in the fibration approach and the role of holonomy,'' arXiv preprint arXiv:2105.14132, 2021. doi: 10.48550\/arXiv.2105.14132. arXiv: 2105.14132.","DOI":"10.48550\/arXiv.2105.14132"},{"key":"20","doi-asserted-by":"publisher","unstructured":"S. Popescu and D. Rohrlich, ``Quantum nonlocality as an axiom,'' Foundations of Physics, vol. 24, no. 3, pp. 379\u2013385, 1994. doi: 10.1007\/BF02058098.","DOI":"10.1007\/BF02058098"},{"key":"21","doi-asserted-by":"publisher","unstructured":"R. F. Werner and M. M. Wolf, ``All-multipartite Bell-correlation inequalities for two dichotomic observables per site,'' Physical Review A, vol. 64, no. 3, p. 032112, 2001. doi: 10.1103\/PhysRevA.64.032112. arXiv: quant-ph\/0102024.","DOI":"10.1103\/PhysRevA.64.032112"},{"key":"22","doi-asserted-by":"publisher","unstructured":"J. Barrett, N. Linden, S. Massar, S. Pironio, S. Popescu, and D. Roberts, ``Nonlocal correlations as an information-theoretic resource,'' Physical Review A, vol. 71, p. 022101, Feb 2005. doi: 10.1103\/PhysRevA.71.022101. arXiv: quant-ph\/0404097.","DOI":"10.1103\/PhysRevA.71.022101"},{"key":"23","doi-asserted-by":"publisher","unstructured":"J. F. Clauser, M. A. Horne, A. Shimony, and R. A. Holt, ``Proposed experiment to test local hidden-variable theories,'' Physical review letters, vol. 23, no. 15, p. 880, 1969. doi: 10.1103\/PhysRevLett.23.880.","DOI":"10.1103\/PhysRevLett.23.880"},{"key":"24","doi-asserted-by":"publisher","unstructured":"A. Fine, ``Hidden variables, joint probability, and the Bell inequalities,'' Physical Review Letters, vol. 48, no. 5, p. 291, 1982. doi: 10.1103\/PhysRevLett.48.291.","DOI":"10.1103\/PhysRevLett.48.291"},{"key":"25","doi-asserted-by":"publisher","unstructured":"A. Fine, ``Joint distributions, quantum correlations, and commuting observables,'' Journal of Mathematical Physics, vol. 23, no. 7, pp. 1306\u20131310, 1982. doi: 10.1063\/1.525514.","DOI":"10.1063\/1.525514"},{"key":"26","doi-asserted-by":"publisher","unstructured":"A. M. Gleason, ``Measures on the closed subspaces of a Hilbert space,'' in The Logico-Algebraic Approach to Quantum Mechanics, pp. 123\u2013133, Springer, 1975. doi: 10.1007\/978-94-010-1795-4_7.","DOI":"10.1007\/978-94-010-1795-4_7"},{"key":"27","doi-asserted-by":"publisher","unstructured":"J. J. Halliwell and C. Mawby, ``Fine's theorem for Leggett-Garg tests with an arbitrary number of measurement times,'' Physical Review A, vol. 100, no. 4, p. 042103, 2019. doi: 10.1103\/PhysRevA.100.042103. arXiv: 1906.04865.","DOI":"10.1103\/PhysRevA.100.042103"},{"key":"28","doi-asserted-by":"publisher","unstructured":"C. Okay, E. Tyhurst, and R. Raussendorf, ``The cohomological and the resource-theoretic perspective on quantum contextuality: common ground through the contextual fraction,'' Quantum Information and Computation, vol. 18, no. 15&16, pp. 1272\u20131294, 2018. doi: 10.26421\/QIC18.15-16-2. arXiv: 1806.04657.","DOI":"10.26421\/QIC18.15-16-2"},{"key":"29","doi-asserted-by":"publisher","unstructured":"L. Masanes, A. Ac\u00edn, and N. Gisin, ``General properties of nonsignaling theories,'' Physical Review A, vol. 73, no. 1, p. 012112, 2006. doi: 10.1103\/PhysRevA.73.012112. arXiv: quant-ph\/0508016.","DOI":"10.1103\/PhysRevA.73.012112"},{"key":"30","doi-asserted-by":"publisher","unstructured":"A. Krishna, R. W. Spekkens, and E. Wolfe, ``Deriving robust noncontextuality inequalities from algebraic proofs of the Kochen\u2013Specker theorem: the peres\u2013mermin square,'' New Journal of Physics, vol. 19, no. 12, p. 123031, 2017. doi: 10.1088\/1367-2630\/aa9168. arXiv: 1704.01153.","DOI":"10.1088\/1367-2630\/aa9168"},{"key":"31","doi-asserted-by":"publisher","unstructured":"Y.-C. Liang, R. W. Spekkens, and H. M. Wiseman, ``Specker\u2019s parable of the overprotective seer: A road to contextuality, nonlocality and complementarity,'' Physics Reports, vol. 506, no. 1-2, pp. 1\u201339, 2011. doi: 10.1016\/j.physrep.2011.05.001. arXiv: 1010.1273.","DOI":"10.1016\/j.physrep.2011.05.001"},{"key":"32","doi-asserted-by":"publisher","unstructured":"R. Cleve, P. Hoyer, B. Toner, and J. Watrous, ``Consequences and limits of nonlocal strategies,'' in Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004., pp. 236\u2013249, IEEE, 2004. doi: 10.1109\/CCC.2004.1313847. arXiv: quant-ph\/0404076.","DOI":"10.1109\/CCC.2004.1313847"},{"key":"33","doi-asserted-by":"publisher","unstructured":"S. Abramsky, R. S. Barbosa, G. Car\u00f9, and S. Perdrix, ``A complete characterization of all-versus-nothing arguments for stabilizer states,'' Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 375, no. 2106, p. 20160385, 2017. doi: 10.1098\/rsta.2016.0385. arXiv: 1705.08459.","DOI":"10.1098\/rsta.2016.0385"},{"key":"34","doi-asserted-by":"publisher","unstructured":"I. Pitowsky, Quantum Probability Quantum Logic. Springer, 1989. doi: 10.1007\/BFb0021186.","DOI":"10.1007\/BFb0021186"},{"key":"35","doi-asserted-by":"publisher","unstructured":"P. G. Goerss and J. F. Jardine, Simplicial homotopy theory. Springer Science & Business Media, 2009. doi: 10.1007\/978-3-0346-0189-4.","DOI":"10.1007\/978-3-0346-0189-4"},{"key":"36","doi-asserted-by":"publisher","unstructured":"G. Friedman, ``An elementary illustrated introduction to simplicial sets,'' arXiv preprint arXiv:0809.4221, 2008. doi: 10.48550\/arXiv.0809.4221.","DOI":"10.48550\/arXiv.0809.4221"},{"key":"37","doi-asserted-by":"publisher","unstructured":"B. Jacobs, ``Convexity, duality and effects,'' in IFIP International Conference on Theoretical Computer Science, pp. 1\u201319, Springer, 2010. doi: 10.1007\/978-3-642-15240-5_1.","DOI":"10.1007\/978-3-642-15240-5_1"},{"key":"38","doi-asserted-by":"publisher","unstructured":"A. Adem and R. J. Milgram, Cohomology of finite groups, vol. 309. Springer Science & Business Media, 2013. doi: 10.1007\/978-3-662-06280-7.","DOI":"10.1007\/978-3-662-06280-7"},{"key":"39","doi-asserted-by":"publisher","unstructured":"S. Abramsky and L. Hardy, ``Logical Bell inequalities,'' Physical Review A, vol. 85, p. 062114, Jun 2012. doi: 10.1103\/PhysRevA.85.062114. arXiv: 1203.1352.","DOI":"10.1103\/PhysRevA.85.062114"},{"key":"40","doi-asserted-by":"publisher","unstructured":"L. Hardy, ``Nonlocality for two particles without inequalities for almost all entangled states,'' Physical Review Letters, vol. 71, pp. 1665\u20131668, Sep 1993. doi: 10.1103\/PhysRevLett.71.1665.","DOI":"10.1103\/PhysRevLett.71.1665"},{"key":"41","doi-asserted-by":"publisher","unstructured":"C. Flori and T. Fritz, ``Compositories and gleaves,'' Theory Appl. Categ., vol. 31, pp. Paper No. 33, 928\u2013988, 2016. doi: 10.48550\/arXiv.1308.6548.","DOI":"10.48550\/arXiv.1308.6548"},{"key":"42","doi-asserted-by":"publisher","unstructured":"C. Okay, H. Y. Chung, and S. Ipek, ``Mermin polytopes in quantum computation and foundations,'' arXiv preprint arXiv:2210.10186, 2022. doi: 10.48550\/arXiv.2210.10186.","DOI":"10.48550\/arXiv.2210.10186"},{"key":"43","doi-asserted-by":"publisher","unstructured":"C. A. Weibel, An introduction to homological algebra. No. 38, Cambridge university press, 1995. doi: 10.1017\/CBO9781139644136.","DOI":"10.1017\/CBO9781139644136"},{"key":"44","doi-asserted-by":"publisher","unstructured":"S. Abramsky, R. S. Barbosa, K. Kishida, R. Lal, and S. Mansfield, ``Contextuality, cohomology and paradox,'' in 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) (S. Kreutzer, ed.), vol. 41, (Dagstuhl, Germany), pp. 211\u2013228, Schloss Dagstuhl, 2015. doi: 10.4230\/LIPIcs.CSL.2015.211. arXiv: 1502.03097.","DOI":"10.4230\/LIPIcs.CSL.2015.211"},{"key":"45","doi-asserted-by":"publisher","unstructured":"J. Watrous, The theory of quantum information. Cambridge university press, 2018. doi: 10.1017\/9781316848142.","DOI":"10.1017\/9781316848142"},{"key":"46","doi-asserted-by":"publisher","unstructured":"A. Adem, F. R. Cohen, and E. T. Giese, ``Commuting elements, simplicial spaces and filtrations of classifying spaces,'' in Mathematical Proceedings of the Cambridge Philosophical Society, vol. 152, pp. 91\u2013114, Cambridge University Press, 2012. doi: 10.1017\/S0305004111000570. arXiv: 0901.0137.","DOI":"10.1017\/S0305004111000570"},{"key":"47","unstructured":"S. Mansfield, The Mathematical Structure of Non-locality and Contextuality. PhD thesis, University of Oxford, 2013."},{"key":"48","doi-asserted-by":"publisher","unstructured":"V. Moretti, Fundamental Mathematical Structures of Quantum Theory. Springer, 2019. doi: 10.1007\/978-3-030-18346-2.","DOI":"10.1007\/978-3-030-18346-2"},{"key":"49","doi-asserted-by":"publisher","unstructured":"H. Kleisli, ``Every standard construction is induced by a pair of adjoint functors,'' Proceedings of the American Mathematical Society, vol. 16, no. 3, pp. 544\u2013546, 1965. doi: 10.2307\/2034693.","DOI":"10.2307\/2034693"},{"key":"50","doi-asserted-by":"publisher","unstructured":"A. Kharoof and C. Okay, ``Simplicial distributions, convex categories and contextuality,'' arXiv preprint arXiv:2211.00571, 2022. doi: 10.48550\/arXiv.2211.00571.","DOI":"10.48550\/arXiv.2211.00571"},{"key":"51","doi-asserted-by":"publisher","unstructured":"M. Karvonen, ``Categories of empirical models,'' arXiv preprint arXiv:1804.01514, 2018. doi: 10.4204\/EPTCS.287.14.","DOI":"10.4204\/EPTCS.287.14"},{"key":"52","doi-asserted-by":"publisher","unstructured":"R. S. Barbosa, M. Karvonen, and S. Mansfield, ``Closing bell: Boxing black box simulations in the resource theory of contextuality,'' arXiv preprint arXiv:2104.11241, 2021. doi: 10.48550\/arXiv.2104.11241.","DOI":"10.48550\/arXiv.2104.11241"},{"key":"53","doi-asserted-by":"publisher","unstructured":"M. Ara\u00fajo, M. T. Quintino, C. Budroni, M. T. Cunha, and A. Cabello, ``All noncontextuality inequalities for the n-cycle scenario,'' Physical Review A, vol. 88, no. 2, p. 022118, 2013. doi: 10.1103\/PhysRevA.88.022118. arXiv: 1206.3212.","DOI":"10.1103\/PhysRevA.88.022118"},{"key":"54","doi-asserted-by":"publisher","unstructured":"S. Abramsky, R. S. Barbosa, M. Karvonen, and S. Mansfield, ``A comonadic view of simulation and quantum resources,'' in 2019 34th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS), pp. 1\u201312, IEEE, 2019. doi: 10.1109\/LICS.2019.8785677. arXiv: 1904.10035.","DOI":"10.1109\/LICS.2019.8785677"}],"container-title":["Quantum"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/quantum-journal.org\/papers\/q-2023-05-22-1009\/pdf\/","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,5,22]],"date-time":"2023-05-22T12:54:02Z","timestamp":1684760042000},"score":1,"resource":{"primary":{"URL":"https:\/\/quantum-journal.org\/papers\/q-2023-05-22-1009\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,22]]},"references-count":55,"URL":"https:\/\/doi.org\/10.22331\/q-2023-05-22-1009","archive":["CLOCKSS"],"relation":{},"ISSN":["2521-327X"],"issn-type":[{"value":"2521-327X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,5,22]]},"article-number":"1009"}}