{"id":"https://openalex.org/W7204917521","doi":"https://doi.org/10.48550/arxiv.2608.29734","title":"The quantum supremum of the $I_{3322}$ Bell inequality is not attained in finite dimension","display_name":"The quantum supremum of the $I_{3322}$ Bell inequality is not attained in finite dimension","publication_year":2026,"publication_date":"2026-08-30","ids":{"openalex":"https://openalex.org/W7204917521","doi":"https://doi.org/10.48550/arxiv.2608.29734"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.29734","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.29734","pdf_url":"https://arxiv.org/pdf/2608.29734","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2608.29734","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066131401","display_name":"Jef Pauwels","orcid":"https://orcid.org/0000-0003-4440-7411","observed_orcids":["https://orcid.org/0000-0003-4440-7411"]},"institutions":[{"id":"https://openalex.org/I114457229","display_name":"University of Geneva","ror":"https://ror.org/01swzsf04","country_code":"CH","type":"education","lineage":["https://openalex.org/I114457229"]},{"id":"https://openalex.org/I193619901","display_name":"Constructor University","ror":"https://ror.org/02yrs2n53","country_code":"DE","type":"education","lineage":["https://openalex.org/I193619901"]}],"countries":["CH","DE"],"is_corresponding":true,"raw_author_name":"Pauwels, Jef","raw_affiliation_strings":["Department of Applied Physics , University of Geneva , Switzerland","and Constructor University , Bremen , Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Applied Physics , University of Geneva , Switzerland","institution_ids":["https://openalex.org/I114457229"]},{"raw_affiliation_string":"and Constructor University , Bremen , Germany","institution_ids":["https://openalex.org/I193619901"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5066131401"],"corresponding_institution_ids":["https://openalex.org/I114457229","https://openalex.org/I193619901"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":3,"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.975600004196167,"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.975600004196167,"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.01860000006854534,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.00039999998989515007,"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/spectral-subspaces","display_name":"spectral subspaces","score":0.7570000290870667},{"id":"https://openalex.org/keywords/lean-4-formalization","display_name":"Lean 4 formalization","score":0.8309999704360962}],"concepts":[{"id":"https://openalex.org/C95611797","wikidata":"https://www.wikidata.org/wiki/Q17502105","display_name":"Infimum and supremum","level":2,"score":0.892300009727478},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7713000178337097},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.6241000294685364},{"id":"https://openalex.org/C12362212","wikidata":"https://www.wikidata.org/wiki/Q728435","display_name":"Linear subspace","level":2,"score":0.5098999738693237},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.4514999985694885},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.44609999656677246},{"id":"https://openalex.org/C128108043","wikidata":"https://www.wikidata.org/wiki/Q388525","display_name":"Bell's theorem","level":4,"score":0.4194999933242798},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.41200000047683716},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.4023999869823456},{"id":"https://openalex.org/C15706264","wikidata":"https://www.wikidata.org/wiki/Q230883","display_name":"Quantum state","level":3,"score":0.3919999897480011},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.3666999936103821},{"id":"https://openalex.org/C121040770","wikidata":"https://www.wikidata.org/wiki/Q215675","display_name":"Quantum entanglement","level":3,"score":0.36169999837875366},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35510000586509705},{"id":"https://openalex.org/C91717678","wikidata":"https://www.wikidata.org/wiki/Q1135332","display_name":"Quantum teleportation","level":5,"score":0.3495999872684479},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.3472000062465668},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.328900009393692},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.32440000772476196},{"id":"https://openalex.org/C2779886137","wikidata":"https://www.wikidata.org/wiki/Q21030012","display_name":"Symmetry (geometry)","level":2,"score":0.311599999666214},{"id":"https://openalex.org/C2778114796","wikidata":"https://www.wikidata.org/wiki/Q7575194","display_name":"Spectral gap","level":2,"score":0.30720001459121704},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.29510000348091125},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2888999879360199},{"id":"https://openalex.org/C115311070","wikidata":"https://www.wikidata.org/wiki/Q5347255","display_name":"Effective dimension","level":3,"score":0.2750000059604645},{"id":"https://openalex.org/C164953516","wikidata":"https://www.wikidata.org/wiki/Q320357","display_name":"Closed set","level":2,"score":0.26089999079704285},{"id":"https://openalex.org/C32834561","wikidata":"https://www.wikidata.org/wiki/Q660730","display_name":"Subspace topology","level":2,"score":0.2574999928474426},{"id":"https://openalex.org/C118704821","wikidata":"https://www.wikidata.org/wiki/Q2898260","display_name":"Bell state","level":4,"score":0.25459998846054077},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.25290000438690186}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.29734","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.29734","pdf_url":"https://arxiv.org/pdf/2608.29734","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"doi:10.48550/arxiv.2608.29734","doi":"https://doi.org/10.48550/arxiv.2608.29734","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.29734","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"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":"pmh:oai:arXiv.org:2608.29734","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.29734","pdf_url":"https://arxiv.org/pdf/2608.29734","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320314997","display_name":"Strong","ror":"https://ror.org/041vyzr56"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7204917521.pdf","grobid_xml":"https://content.openalex.org/works/W7204917521.grobid-xml"},"referenced_works_count":36,"referenced_works":["https://openalex.org/W1493516182","https://openalex.org/W1595553845","https://openalex.org/W1967648417","https://openalex.org/W1975208365","https://openalex.org/W2009242136","https://openalex.org/W2012287288","https://openalex.org/W2032561673","https://openalex.org/W2033376433","https://openalex.org/W2038828330","https://openalex.org/W2055874354","https://openalex.org/W2057553205","https://openalex.org/W2073801892","https://openalex.org/W2074076538","https://openalex.org/W2084600946","https://openalex.org/W2091636818","https://openalex.org/W2109989966","https://openalex.org/W2133153534","https://openalex.org/W2139071790","https://openalex.org/W2162178369","https://openalex.org/W2409246750","https://openalex.org/W2609741941","https://openalex.org/W2796785994","https://openalex.org/W2942051472","https://openalex.org/W2963563805","https://openalex.org/W2964260944","https://openalex.org/W3017959727","https://openalex.org/W3024640019","https://openalex.org/W3209192400","https://openalex.org/W4211058570","https://openalex.org/W4226366292","https://openalex.org/W4389261373","https://openalex.org/W4389574855","https://openalex.org/W4394635870","https://openalex.org/W4405308854","https://openalex.org/W7169504522","https://openalex.org/W7203687038"],"related_works":["https://openalex.org/W7212020891","https://openalex.org/W7212069182","https://openalex.org/W2073801892","https://openalex.org/W1481770622","https://openalex.org/W1999471332","https://openalex.org/W1991334325","https://openalex.org/W4415035929","https://openalex.org/W7214333726","https://openalex.org/W3206764477","https://openalex.org/W2609908216"],"abstract_inverted_index":{"In":[0],"2010,":[1],"P\u00e1l":[2,102],"and":[3,80,92,103],"V\u00e9rtesi":[4,104],"found":[5,100],"a":[6,66,126],"family":[7],"of":[8,57,69,75,78,135,164],"finite-dimensional":[9,38,44,93,136],"strategies":[10,94],"for":[11,72],"the":[12,23,34,55,58,89,97,108,112,120,133,143,146,156,165],"$I_{3322}$":[13],"Bell":[14,59,90,148],"inequality":[15],"whose":[16],"optimized":[17],"values":[18],"appeared":[19],"to":[20,61],"converge":[21],"as":[22,107],"local":[24,160],"Hilbert-space":[25],"dimension":[26,109],"grew.":[27],"They":[28],"conjectured":[29],"that":[30,42,128],"this":[31,151],"limit":[32],"is":[33,139],"supremum":[35,157],"over":[36],"all":[37],"quantum":[39,137],"strategies,":[40],"but":[41],"no":[43],"strategy":[45,64],"attains":[46],"it.":[47],"We":[48],"prove":[49],"both":[50],"claims.":[51],"The":[52,162],"proof":[53,166],"uses":[54],"symmetry":[56],"functional":[60],"associate":[62],"every":[63],"with":[65],"finite":[67,118],"matrix":[68,83],"probabilities,":[70],"one":[71],"each":[73],"pair":[74],"spectral":[76],"subspaces":[77],"Alice":[79],"Bob.":[81],"This":[82],"gives":[84],"an":[85],"upper":[86],"bound":[87,113],"on":[88],"value,":[91],"built":[95],"from":[96],"repeating":[98],"structure":[99],"by":[101],"approach":[105],"it":[106],"grows.":[110],"If":[111],"were":[114],"attained":[115],"exactly":[116],"in":[117,142,169],"dimension,":[119],"optimality":[121],"conditions":[122],"would":[123],"then":[124],"require":[125],"state":[127],"cannot":[129],"be":[130],"normalized.":[131],"Consequently,":[132],"set":[134],"correlations":[138],"not":[140],"closed":[141],"$(3,3,2,2)$":[144],"scenario,":[145],"smallest":[147],"scenario":[149],"where":[150],"can":[152],"happen.":[153],"Moreover,":[154],"approaching":[155],"requires":[158],"unbounded":[159],"dimension.":[161],"core":[163],"was":[167],"formalized":[168],"Lean~4.":[170]},"counts_by_year":[{"year":2026,"cited_by_count":3}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-02T00:00:00"}
