{"id":"https://openalex.org/W2801937927","doi":"https://doi.org/10.22331/q-2020-01-10-219","title":"Hypergraph framework for irreducible noncontextuality inequalities from logical proofs of the Kochen-Specker theorem","display_name":"Hypergraph framework for irreducible noncontextuality inequalities from logical proofs of the Kochen-Specker theorem","publication_year":2020,"publication_date":"2020-01-10","ids":{"openalex":"https://openalex.org/W2801937927","doi":"https://doi.org/10.22331/q-2020-01-10-219","mag":"2801937927"},"language":"en","primary_location":{"id":"doi:10.22331/q-2020-01-10-219","is_oa":true,"landing_page_url":"https://doi.org/10.22331/q-2020-01-10-219","pdf_url":"https://quantum-journal.org/papers/q-2020-01-10-219/pdf/","source":{"id":"https://openalex.org/S4210226432","display_name":"Quantum","issn_l":"2521-327X","issn":["2521-327X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310317900","host_organization_name":"Verein zur F\u00f6rderung des Open Access Publizierens in den Quantenwissenschaften","host_organization_lineage":["https://openalex.org/P4310317900"],"host_organization_lineage_names":["Verein zur F\u00f6rderung des Open Access Publizierens in den Quantenwissenschaften"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Quantum","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://quantum-journal.org/papers/q-2020-01-10-219/pdf/","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Ravi Kunjwal","orcid":"https://orcid.org/0000-0002-3978-5971"},"institutions":[{"id":"https://openalex.org/I132053463","display_name":"Universit\u00e9 Libre de Bruxelles","ror":"https://ror.org/01r9htc13","country_code":"BE","type":"education","lineage":["https://openalex.org/I132053463"]},{"id":"https://openalex.org/I183974707","display_name":"Perimeter Institute","ror":"https://ror.org/013m0ej23","country_code":"CA","type":"facility","lineage":["https://openalex.org/I183974707"]}],"countries":["BE","CA"],"is_corresponding":true,"raw_author_name":"Ravi Kunjwal","raw_affiliation_strings":["Centre for Quantum Information and Communication, \u00c9cole polytechnique de Bruxelles, CP 165, Universit\u00e9 libre de Bruxelles, 1050 Brussels, Belgium","Perimeter Institute for Theoretical Physics, 31 Caroline Street North, Waterloo, Ontario, Canada, N2L 2Y5,"],"affiliations":[{"raw_affiliation_string":"Centre for Quantum Information and Communication, \u00c9cole polytechnique de Bruxelles, CP 165, Universit\u00e9 libre de Bruxelles, 1050 Brussels, Belgium","institution_ids":["https://openalex.org/I132053463"]},{"raw_affiliation_string":"Perimeter Institute for Theoretical Physics, 31 Caroline Street North, Waterloo, Ontario, Canada, N2L 2Y5,","institution_ids":["https://openalex.org/I183974707"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I132053463","https://openalex.org/I183974707"],"apc_list":{"value":200,"currency":"EUR","value_usd":215},"apc_paid":{"value":200,"currency":"EUR","value_usd":215},"fwci":1.1238,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.76310771,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"4","issue":null,"first_page":"219","last_page":"219"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10622","display_name":"Quantum Mechanics and Applications","score":0.954800009727478,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10622","display_name":"Quantum Mechanics and Applications","score":0.954800009727478,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10020","display_name":"Quantum Information and Cryptography","score":0.016499999910593033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.00419999985024333,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/kochen\u2013specker-theorem","display_name":"Kochen\u2013Specker theorem","score":0.9523000121116638},{"id":"https://openalex.org/keywords/hypergraph","display_name":"Hypergraph","score":0.826200008392334},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.7760999798774719},{"id":"https://openalex.org/keywords/witness","display_name":"Witness","score":0.4153999984264374},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.39660000801086426},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3723999857902527},{"id":"https://openalex.org/keywords/logical-conjunction","display_name":"Logical conjunction","score":0.37049999833106995},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.358599990606308}],"concepts":[{"id":"https://openalex.org/C193588502","wikidata":"https://www.wikidata.org/wiki/Q528955","display_name":"Kochen\u2013Specker theorem","level":3,"score":0.9523000121116638},{"id":"https://openalex.org/C2781221856","wikidata":"https://www.wikidata.org/wiki/Q840247","display_name":"Hypergraph","level":2,"score":0.826200008392334},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7760999798774719},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5939000248908997},{"id":"https://openalex.org/C2776900844","wikidata":"https://www.wikidata.org/wiki/Q8028383","display_name":"Witness","level":2,"score":0.4153999984264374},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.41350001096725464},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.39660000801086426},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3723999857902527},{"id":"https://openalex.org/C21847791","wikidata":"https://www.wikidata.org/wiki/Q191081","display_name":"Logical conjunction","level":2,"score":0.37049999833106995},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.358599990606308},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3537999987602234},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3472999930381775},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.32829999923706055},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.3183000087738037},{"id":"https://openalex.org/C2780980858","wikidata":"https://www.wikidata.org/wiki/Q110022","display_name":"Dual (grammatical number)","level":2,"score":0.30959999561309814},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.3061999976634979},{"id":"https://openalex.org/C2780882242","wikidata":"https://www.wikidata.org/wiki/Q14235582","display_name":"Literal (mathematical logic)","level":2,"score":0.30410000681877136},{"id":"https://openalex.org/C20693621","wikidata":"https://www.wikidata.org/wiki/Q6667502","display_name":"Logical framework","level":2,"score":0.2671000063419342},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.2639999985694885},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.2621999979019165},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2517000138759613}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.22331/q-2020-01-10-219","is_oa":true,"landing_page_url":"https://doi.org/10.22331/q-2020-01-10-219","pdf_url":"https://quantum-journal.org/papers/q-2020-01-10-219/pdf/","source":{"id":"https://openalex.org/S4210226432","display_name":"Quantum","issn_l":"2521-327X","issn":["2521-327X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310317900","host_organization_name":"Verein zur F\u00f6rderung des Open Access Publizierens in den Quantenwissenschaften","host_organization_lineage":["https://openalex.org/P4310317900"],"host_organization_lineage_names":["Verein zur F\u00f6rderung des Open Access Publizierens in den Quantenwissenschaften"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Quantum","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1805.02083","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1805.02083","pdf_url":"https://arxiv.org/pdf/1805.02083","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:dipot.ulb.ac.be:2013/314014","is_oa":true,"landing_page_url":"http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/314014","pdf_url":null,"source":{"id":"https://openalex.org/S4306401063","display_name":"D\u00e9p\u00f4t institutionnel de l'Universit\u00e9 libre de Bruxelles (Universit\u00e9 Libre de Bruxelles)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I132053463","host_organization_name":"Universit\u00e9 Libre de Bruxelles","host_organization_lineage":["https://openalex.org/I132053463"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Quantum, 4","raw_type":"info:ulb-repo/semantics/openurl/article"},{"id":"pmh:oai:doaj.org/article:3710ec9517474d999a1360f28c3ae451","is_oa":true,"landing_page_url":"https://doaj.org/article/3710ec9517474d999a1360f28c3ae451","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Quantum, Vol 4, p 219 (2020)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.22331/q-2020-01-10-219","is_oa":true,"landing_page_url":"https://doi.org/10.22331/q-2020-01-10-219","pdf_url":"https://quantum-journal.org/papers/q-2020-01-10-219/pdf/","source":{"id":"https://openalex.org/S4210226432","display_name":"Quantum","issn_l":"2521-327X","issn":["2521-327X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310317900","host_organization_name":"Verein zur F\u00f6rderung des Open Access Publizierens in den Quantenwissenschaften","host_organization_lineage":["https://openalex.org/P4310317900"],"host_organization_lineage_names":["Verein zur F\u00f6rderung des Open Access Publizierens in den Quantenwissenschaften"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Quantum","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320319880","display_name":"Government of Canada","ror":"https://ror.org/010q4q527"},{"id":"https://openalex.org/F4320331462","display_name":"Institut P\u00e9rim\u00e8tre de physique th\u00e9orique","ror":"https://ror.org/013m0ej23"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2801937927.pdf","grobid_xml":"https://content.openalex.org/works/W2801937927.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W37429376","https://openalex.org/W1830855970","https://openalex.org/W1976674706","https://openalex.org/W1977673587","https://openalex.org/W2014160297","https://openalex.org/W2019921462","https://openalex.org/W2023411876","https://openalex.org/W2031958920","https://openalex.org/W2036151978","https://openalex.org/W2039772562","https://openalex.org/W2048365228","https://openalex.org/W2065260707","https://openalex.org/W2079797445","https://openalex.org/W2085406885","https://openalex.org/W2091785906","https://openalex.org/W2111137809","https://openalex.org/W2122187744","https://openalex.org/W2127946666","https://openalex.org/W2136604425","https://openalex.org/W2144449223","https://openalex.org/W2243675715","https://openalex.org/W2302754648","https://openalex.org/W2605471075","https://openalex.org/W2625848330","https://openalex.org/W2748703062","https://openalex.org/W2753173407","https://openalex.org/W2766440745","https://openalex.org/W2771348173","https://openalex.org/W2803196557","https://openalex.org/W4238804566"],"related_works":[],"abstract_inverted_index":{"Kochen-Specker":[0],"(KS)":[1],"theorem":[2,27,177],"reveals":[3],"the":[4,17,25,34,81,102,122,125,132,149,175,205,223,234,238],"inconsistency":[5],"between":[6,124],"quantum":[7],"theory":[8],"and":[9,107,131,247],"any":[10],"putative":[11],"underlying":[12],"model":[13],"of":[14,19,24,40,80,93,104,127,174,218,225,233],"it":[15],"satisfying":[16],"constraint":[18],"KS-noncontextuality.":[20],"A":[21],"logical":[22,78,172],"proof":[23],"KS":[26,43,82,176],"is":[28],"one":[29],"that":[30,69,137,198],"relies":[31],"only":[32,160],"on":[33,101,185],"compatibility":[35,50],"relations":[36,51],"amongst":[37],"a":[38,56,61,86,128,145,186,216],"set":[39],"projectors":[41],"(a":[42],"set)":[44],"to":[45,59,89,148,162,244],"witness":[46,138],"this":[47,219],"inconsistency.":[48],"These":[49],"can":[52,211],"be":[53,213],"represented":[54],"by":[55,117],"hypergraph,":[57],"referred":[58],"as":[60,215],"contextuality":[62,67,94,129,164,202],"scenario.":[63],"Here":[64],"we":[65,70],"consider":[66],"scenarios":[68],"term":[71],"KS-uncolourable,":[72],"e.g.,":[73],"those":[74,167],"which":[75,159,168],"appear":[76],"in":[77,152,191,200],"proofs":[79,173],"theorem.":[83],"We":[84,183],"introduce":[85],"hypergraph":[87,188],"framework":[88,150,240],"obtain":[90],"noise-robust":[91,134,262],"witnesses":[92],"from":[95,237],"such":[96],"scenarios.":[97],"Our":[98],"approach":[99],"builds":[100],"results":[103],"R.":[105,108,153,192,226],"Kunjwal":[106],"W.":[109],"Spekkens,":[110],"Phys.":[111,252],"Rev.":[112,253],"Lett.":[113,254],"115,":[114],"110403":[115],"(2015),":[116],"providing":[118],"new":[119],"insights":[120],"into":[121],"relationship":[123],"structure":[126],"scenario":[130],"associated":[133],"noncontextuality":[135,263],"inequalities":[136],"contextuality.":[139],"The":[140,208],"present":[141,209],"work":[142,210],"also":[143,212],"forms":[144],"necessary":[146],"counterpart":[147],"presented":[151],"Kunjwal,":[154,193,227],"Quantum":[155,194,228],"3,":[156,195,229],"184":[157,196,230],"(2019),":[158,197,231],"applies":[161],"KS-colourable":[163],"scenarios,":[165],"i.e.,":[166],"do":[169,179],"not":[170],"admit":[171,180],"but":[178],"statistical":[181],"proofs.":[182],"rely":[184],"single":[187],"invariant,":[189],"defined":[190],"appears":[199],"our":[201,261],"witnesses,":[203],"namely,":[204],"weighted":[206],"max-predictability.":[207],"viewed":[214],"study":[217],"invariant.":[220],"Significantly,":[221],"unlike":[222],"case":[224],"none":[232],"graph":[235],"invariants":[236],"graph-theoretic":[239],"for":[241,260],"KS-contextuality":[242],"due":[243],"Cabello,":[245],"Severini,":[246],"Winter":[248],"(the":[249],"``CSW":[250],"framework\",":[251],"112,":[255],"040401":[256],"(2014))":[257],"are":[258],"relevant":[259],"inequalities.":[264]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2018-05-17T00:00:00"}