{"id":"https://openalex.org/W7224880396","doi":"https://doi.org/10.5281/zenodo.23815205","title":"\u03a9=0 and Locality for Quantum Boxes: Three Parties and the Four-Party Boundary","display_name":"\u03a9=0 and Locality for Quantum Boxes: Three Parties and the Four-Party Boundary","publication_year":2026,"publication_date":"2026-10-30","ids":{"openalex":"https://openalex.org/W7224880396","doi":"https://doi.org/10.5281/zenodo.23815205"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23815205","doi":"https://doi.org/10.5281/zenodo.23815205","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23815205","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23815205","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5160204102","display_name":"Youngsu Kim","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Kim, Youngsu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5160204102"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10622","display_name":"Quantum Mechanics and Applications","score":0.986299991607666,"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.986299991607666,"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.004699999932199717,"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/T10899","display_name":"Advanced Operator Algebra Research","score":0.0010000000474974513,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/quantum-boxes","display_name":"quantum boxes","score":0.7440000176429749},{"id":"https://openalex.org/keywords/locality","display_name":"locality","score":0.5550000071525574},{"id":"https://openalex.org/keywords/nonlocality","display_name":"nonlocality","score":0.7239999771118164},{"id":"https://openalex.org/keywords/chsh-inequality","display_name":"CHSH inequality","score":0.8399999737739563},{"id":"https://openalex.org/keywords/mermin-inequality","display_name":"Mermin inequality","score":0.9890000224113464},{"id":"https://openalex.org/keywords/ghz-states","display_name":"GHZ states","score":0.8090000152587891},{"id":"https://openalex.org/keywords/irreducible-representations","display_name":"irreducible representations","score":0.8240000009536743},{"id":"https://openalex.org/keywords/lean-4-formal-verification","display_name":"Lean 4 formal verification","score":0.6729999780654907}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7512999773025513},{"id":"https://openalex.org/C145691206","wikidata":"https://www.wikidata.org/wiki/Q747980","display_name":"Polytope","level":2,"score":0.6126000285148621},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.5892000198364258},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.532800018787384},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.527400016784668},{"id":"https://openalex.org/C166733315","wikidata":"https://www.wikidata.org/wiki/Q6934831","display_name":"Multipartite","level":4,"score":0.5202999711036682},{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.47620001435279846},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.46399998664855957},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4318999946117401},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.4077000021934509},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4066999852657318},{"id":"https://openalex.org/C121040770","wikidata":"https://www.wikidata.org/wiki/Q215675","display_name":"Quantum entanglement","level":3,"score":0.3993000090122223},{"id":"https://openalex.org/C156778621","wikidata":"https://www.wikidata.org/wiki/Q1365748","display_name":"Spectrum (functional analysis)","level":2,"score":0.39480000734329224},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.38909998536109924},{"id":"https://openalex.org/C15706264","wikidata":"https://www.wikidata.org/wiki/Q230883","display_name":"Quantum state","level":3,"score":0.37209999561309814},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.365200012922287},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.35019999742507935},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.3440000116825104},{"id":"https://openalex.org/C62799726","wikidata":"https://www.wikidata.org/wiki/Q190056","display_name":"Hilbert space","level":2,"score":0.33880001306533813},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.3314000070095062},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.3221000134944916},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.32120001316070557},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.3158000111579895},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.3028999865055084},{"id":"https://openalex.org/C68693459","wikidata":"https://www.wikidata.org/wiki/Q657586","display_name":"Hyperplane","level":2,"score":0.3003000020980835},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.29179999232292175},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.28999999165534973},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.28679999709129333},{"id":"https://openalex.org/C80469333","wikidata":"https://www.wikidata.org/wiki/Q189088","display_name":"Von Neumann architecture","level":2,"score":0.28209999203681946},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.28049999475479126},{"id":"https://openalex.org/C67820243","wikidata":"https://www.wikidata.org/wiki/Q179164","display_name":"Unitary state","level":2,"score":0.2727000117301941},{"id":"https://openalex.org/C182964748","wikidata":"https://www.wikidata.org/wiki/Q208216","display_name":"Triangle inequality","level":2,"score":0.2662000060081482},{"id":"https://openalex.org/C167204820","wikidata":"https://www.wikidata.org/wiki/Q912058","display_name":"Simply connected space","level":2,"score":0.26489999890327454},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.2630999982357025},{"id":"https://openalex.org/C138622882","wikidata":"https://www.wikidata.org/wiki/Q7269079","display_name":"Quantum nonlocality","level":4,"score":0.25870001316070557},{"id":"https://openalex.org/C2779808786","wikidata":"https://www.wikidata.org/wiki/Q6664603","display_name":"Locality","level":2,"score":0.25859999656677246},{"id":"https://openalex.org/C128107574","wikidata":"https://www.wikidata.org/wiki/Q182003","display_name":"Injective function","level":2,"score":0.2572000026702881},{"id":"https://openalex.org/C70120467","wikidata":"https://www.wikidata.org/wiki/Q515893","display_name":"Free probability","level":2,"score":0.2563999891281128}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23815205","doi":"https://doi.org/10.5281/zenodo.23815205","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23815205","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.23815206","doi":"https://doi.org/10.5281/zenodo.23815206","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23815206","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.23815205","doi":"https://doi.org/10.5281/zenodo.23815205","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23815205","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7224763624","https://openalex.org/W7224860362","https://openalex.org/W2243060240","https://openalex.org/W2004910840","https://openalex.org/W1799807882","https://openalex.org/W1963717362","https://openalex.org/W3126300618","https://openalex.org/W1528956838","https://openalex.org/W7220421192","https://openalex.org/W2984604132"],"abstract_inverted_index":{"We":[0,77],"study":[1],"the":[2,30,36,39,55,59,74,107,113,134,143,149,154,160,174,188,193,226,232,236,262,269],"consistency":[3],"weight":[4,57],"W(P;g)=\u03a3_o":[5],"P(o|g(o))":[6],"that":[7,70,79,248,277],"arises":[8],"when":[9],"a":[10,17,63,80,90,97,164,171,186,249,252,259],"multipartite":[11],"box":[12,82,172,220],"P":[13],"is":[14,54,100,139],"connected":[15],"to":[16,109,119,213],"deterministic":[18],"feedback":[19,65,72,250],"g=(g\u2081,\u2026,g\u2099),":[20],"together":[21],"with":[22,83,156,197,251,271],"its":[23],"minimum":[24],"\u03a9(P)=min_g":[25],"W(P;g).":[26],"Here":[27],"g_k":[28],"determines":[29],"input":[31],"of":[32,38,58,62,112,116,122,148,192],"party":[33,159],"k":[34],"from":[35],"outputs":[37],"other":[40,263],"parties,":[41],"and":[42,50,67,86,92,127,152,224,281],"both":[43],"quantities":[44],"are":[45,179,266,282],"defined":[46],"in":[47,153,182,200],"Papers":[48],"A":[49],"B.":[51],"Physically,":[52],"W":[53],"total":[56],"consistent":[60],"histories":[61],"closed":[64],"loop,":[66],"\u03a9=0":[68,198,222,278],"means":[69],"some":[71],"makes":[73],"loop":[75],"paradoxical.":[76],"prove":[78,247],"three-party":[81],"binary":[84],"inputs":[85],"outputs,":[87],"generated":[88],"by":[89],"state":[91],"commuting":[93],"self-adjoint":[94],"involutions":[95],"on":[96,130,142,258,268],"Hilbert":[98],"space,":[99],"local":[101,233],"whenever":[102],"\u03a9=0.":[103],"The":[104,208],"proof":[105],"reduces":[106],"statement":[108,209],"pure":[110],"states":[111],"group":[114],"C*-algebra":[115],"(\u2124\u2082\u2217\u2124\u2082)\u00b3,":[117],"hence":[118],"irreducible":[120],"representations":[121],"dimension":[123],"at":[124],"most":[125],"8,":[126],"then":[128],"rests":[129],"two":[131],"finite":[132],"computations:":[133],"operator":[135,161],"\u03a3_o":[136],"\u2297_k":[137],"\u03a0^k_{o_k|g_k(o_{\u2212k})}":[138],"positive":[140],"definite":[141],"all-qubit":[144],"sector":[145,155,260],"for":[146,239],"each":[147],"4096":[150],"feedbacks,":[151],"one":[157,272],"classical":[158,273],"may":[162],"have":[163],"kernel,":[165],"but":[166],"every":[167,240],"such":[168],"kernel":[169],"gives":[170],"satisfying":[173],"CHSH":[175],"inequalities.":[176],"Both":[177],"computations":[178],"also":[180,246],"checked":[181],"Lean":[183],"4.":[184],"As":[185],"corollary,":[187],"1192":[189],"nonlocal":[190],"vertices":[191],"tripartite":[194],"no-signaling":[195],"polytope":[196],"found":[199],"Paper":[201],"B":[202],"admit":[203],"no":[204,256],"commuting-operator":[205],"quantum":[206],"realization.":[207],"does":[210],"not":[211],"extend":[212],"four":[214,243],"parties:":[215],"an":[216],"explicit":[217],"four-qubit":[218],"GHZ":[219],"has":[221,255],"exactly":[223],"violates":[225],"Mermin":[227],"inequality":[228],"maximally":[229],"(8":[230],"against":[231],"bound":[234],"4);":[235],"same":[237],"holds":[238],"n\u22654.":[241],"For":[242],"parties":[244,265],"we":[245],"constant":[253],"component":[254],"zero":[257],"where":[261],"three":[264],"two-dimensional;":[267],"stratum":[270],"relay,":[274],"numerics":[275],"show":[276],"boxes":[279],"occur":[280],"nonlocal.":[283]},"counts_by_year":[],"updated_date":"2026-11-01T11:40:01.658920","created_date":"2026-10-31T00:00:00"}