{"schema":"pubphys.bundle/1","record":{"author":{"account_ref":null,"orcid":null},"builds_on":[],"content_schema":"pubphys.content.revision/1","content_sha256":"c9ab0009b83dc07936b7972f4df2374d67c6e87bd9bf690ad701b61e7f28d079","created":"2026-10-15T23:43:22Z","files":[],"origin":{"assisted_by":["ai:gpt-5.5"],"kind":"seed"},"parents":["8cbb2bfb2441262b8f9cc28c8780dc9f80348988a4e616f1a58d93ccc804c99f","ce59fb6cd812fc05906d0c60a71c75ea22bc686bcf38e7c3ef7010834d98ee7b"],"salt":"fac2888ea09ee170eac2dacd89e654612fa76843500b413701d13fe4b1015e4f","schema":"pubphys.record/2","site":"pubphys.com","target":null,"type":"revision"},"content":{"answer_type":"identification","assisted_by":["ai:gpt-5.5"],"external_id":"qi.contextuality-nonlocality.tsirelson-explicit-game","kind":"well-posed","literature_status":"partially-resolved","n":"2","parents":[],"plain":"Quantum correlations can be modeled with a separate space for each lab or with commuting operators on one shared space. A 2020 result proved these give different correlations, but no explicit example is known.","posed_since":"","precise":"$\\mathrm{MIP}* = \\mathrm{RE}$ (Ji, Natarajan, Vidick, Wright, Yuen, arXiv:2001.04383) implies a nonlocal game $G$ with finite inputs and outputs whose commuting-operator value $w_{qc}(G)$ exceeds its tensor-product value $w_{q}(G)$, resolving Tsirelson's problem negatively. Construct an explicit $G$, state its input size and gap, and certify $w_{qc}(G) > w_{q}(G)$.","problem_ref":"8cbb2bfb2441262b8f9cc28c8780dc9f80348988a4e616f1a58d93ccc804c99f","references":"","settled_by":"An explicit game with a certified upper bound on $w_q$ below a certified commuting-operator strategy value.","status_note":"Existence follows from $\\mathrm{MIP}* = \\mathrm{RE}$ (2020); no explicit separating game was found in the literature checked.","title":"Explicit Bell game separating commuting-operator and tensor-product quantum models","topic_ref":null},"content_withheld":"false","files":[],"attested":{"attestation":{"batch":null,"client_id":null,"id_token_sha256":null,"kind":"platform"},"record_hash":"7628498fceb3f809688d8706479714e3f4084a509c0d3e3e2d42bb0ccf8d782a","schema":"pubphys.attested/1"},"id_token":null,"id_token_withheld":"false","envelope":{"attested_hash":"bd8e5d32aa10678b1f2d56ed901c679b8d70f2612ac4bac625f9233d2f4d4a23","platform_signature":{"key_id":"c6afc19b31429869751f06879c75cd64ea92654423d15b44be775bf1310a60da","sig":"KJXda2F1Aex5xdHwuRMa2qbvc3dPORUmk8ZWPPtdJFFB_xiDsBi0WTbpnSXff4TCx4JC0q8Jx95QN5T2CVAuCA"},"schema":"pubphys.envelope/1"},"ots":{"attested":["AE9wZW5UaW1lc3RhbXBzAABQcm9vZgC_ieLohOiSlAEIvY5dMqoQZ4sfLVbtkBxnm41w8mEqxLrGJfkjPS9NSiPwIL2siRXj_bVbfxT4lzUX1yDKhUKxUeXSccoB1XCO39J_CPAgIvhmmx5b0i4SjHuSd_iPCmqZCMjhPxa5geQM3j_FWggI8CC1kB0IlNWjdeYZmly-IQ7XTyVv1_KrVd7KMdkLREiohQjxIEj2CDvQ_nxXC45xT-vyoe_N3b6faQ2dArRq-kThHH3KCPAgggKVGAD2eOENQsTOaSjAefhwrqVVOW-HvOKAFIErzWII8SBjYdPXoEgk23uEQY-4dJwglsTn1Sd0gFcSBZ98oXXnOQjwIIg82Jvk6sG9d_qFEsDPR33QWZO6pmDRJWIBF6p7sCc5CPEgraRI2npokG3tsYuZYconfMt0ARYLxAQQuCOiQUqeUM8I8SDArwsGYVuomKH_DJiJGziPwECn7skqn20TGM58Ezco0wjwIIgwugvlgSNOmTWMhquqetKjeLf0x7d1a1MH4KU52JbFCPAg3mczMYDKOd7Nhf3ojA9ZvuTsN66Y1NnyYTp9j8GKQNwI8SCvAiiN-Hrv7IEejd8wdUihoozu5KOvpoBFJ0vg3UnGAQj_8Ajn9YmozHwo9QjwEJ46aM9ZDv3TdtqV3ZbRsNgI8SBOF8pILGf1kodr5MKmQs6Cd93joraGn3g6UPt_-kewPwjwIOG-gmM7bd_eR4AiDMNfluS3xvr7vicLR-sCBr5qtG2cCPAgrVNFrCoeQcCxhlmnE0BzHgR8HQpZAlfqzDDFzfWb8GUI8QRq0WWT8AjZJ2cF_c7k8ACD3-MNLvkMjiwraHR0cHM6Ly9ib2IuYnRjLmNhbGVuZGFyLm9wZW50aW1lc3RhbXBzLm9yZ_AI9ZMS1zxd7IEI8BDd00WgJZ0RncsC1Fyai_4aCPEgvxMFrnu7F05IW5INiraQ3OVEYMjNx6JfBxw1Q4jPLi4I8QRq0WWS8Ag2zxPAtI5JsP8Ag9_jDS75DI4uLWh0dHBzOi8vYWxpY2UuYnRjLmNhbGVuZGFyLm9wZW50aW1lc3RhbXBzLm9yZwjxIHAnv4KFFf4uiYEFJvLxiMxSyz8VowJP4roTfDD9h7bICPAgj5tgvbNF7mxSP4jGGE66ezUFRLnI4g1VTkvuV4VtCPAI8CCxlc1HuKORuHgn7DYIYcDhc4oo99OkTWBEvddBypoa7AjwIFcjjaF8kDNDYCZGaNISlRjvX-I7in-QNwsr4JYQbFJvCPAgnl0k4gs7LuY5i1umiHO-J7My3uBThLJUWQoY9LdVSrQI8SA6-Ft11_K_GqMNWYhkVsVqCFvXSYbp4S8JoLsLBnUzvgjxIBC8_mAE7JBP35SNxDBcG7joLJwURpMxdV2vSO64_jEOCPEge04Coj1xSi7CE8UwqiBGNhPyZ5QdD_YZwn-heSdObU4I8SBgdDSgr3VUx1j8m_pK7-OzMwwFgXeLy43ujffCv-hf5AjwIMl-PnAt4xjoBEVU4-nkyN0NKRa9AvX4kEMfllFyIJS9CPFZAQAAAAHz4rV-uwQFg02bVnEMUFgpIdGKjM4tWuID1kTVnrjisAAAAAAA_v___wJURAIAAAAAABYAFBFys2oc0-U-bYrC3VulGLzND5fbAAAAAAAAAAAiaiDwBHLTDgAICPEgMJIBYi46xOIuFDwzJ9nOx14ngW5HbglUf65ORpkoIYcICPAgHgGWEGCDHWgscwT92NOoJ7s-ezbPkyiWr2RnYZDC_dwICPAgtffMyyLu-MscJsDc0dzwGspwSrrmvVAnMNgsgWhHClgICPAgMUl1OfBDUwhp5VZjHwVA0nuz1F5HZTUJCHAnM1L1F3MICPAgStK7UWpnrUueV5EaE7uE0y6BLMp6EANmrbhrTqEBZu8ICPAg5LVW7IHtUL5mNOvPx1hOTfLMmqlQ7t9EFW-KDtrISIQICPAgABgXZ6upFU8qiDQKFtQFpqkjKwl0PsxM4JUjVLlDKbkICPAgEwb96FiOhjlbwI8GFZQ4a5GXwxs4bUdqVOMKrtBWV30ICPEgqBg-wp0c8CAPV9k6J7wIa9_GtQfpWmhpE1zqFZyi2pQICPAg2pZLTVPGJbriiz0UhMytYDVYAXOgQnWDcrMOewK9O8cICPEgxm3QwzbvT4siJzubQGnST67bWv-exYwSPP1KDi7CaUwICPEgm6udUudfjUaM0gUFTylKGDMypj7ptMTG0zmxd_T5yTcICPAgMpOInkjFCVp1pOZhfZnyPAl8hdWGmHzQcrGLgLwSKLgICAAFiJYNc9cZAQPzpjs"],"envelope":["AE9wZW5UaW1lc3RhbXBzAABQcm9vZgC_ieLohOiSlAEIWkSSSlJkxNjabHNnvMndk3Sa5RK2-xAAkTZ3fMgD7qbxIFpAQWzfR876ZfMLaZiJo-KQTdnUo14j0ClTUroeD3TgCPEgWwLmV4RKmfDrXPWpU1ZaJGmEPte3yi9DkvpG70WTFM0I8SChVxnjQE8fPyeHImmmC8pzq0aAmK4rSUVogZQ1UteRJQjxIFtY9OpjYoIvwAKIrJJzZM4GptdpGOS7Gzrv9o4_LYs7CPAgUeLW7ar70UVbxyXujp0L1toI6bDfdk-hoTGfSZ8ENecI8SAylZSZZiM5R0YQooag5o-y5mvKzVJ_BtW_iylPECNAogjwIEYgJ6hBg9UaSbcZ5P0xO88jG54rlgan_Jhx1rNZQm7iCPEg-b8Lkm9aIcNajW2D_tonI2BpSvWgXJkN2LygUbv3ObsI8CCFjG9pSMiq3eVzHAmZsjRKj0iAZic3nIa3eyIChZggbAjwIOv_x0B6HyZ6WMHKeIf_d_EUIvwPGdZeVY-hXN3RLDM5CPEgHd9u6OIGCvUV12A1B1xdiOprSJ-4w0cqwfe7CzVX5HsI8CDQo_sIWZiWXaTGRSQBLmU-lHJKskYKqsjO1r02DhB8LAj_8Ajn9YmozHwo9QjwEJ46aM9ZDv3TdtqV3ZbRsNgI8SBOF8pILGf1kodr5MKmQs6Cd93joraGn3g6UPt_-kewPwjwIOG-gmM7bd_eR4AiDMNfluS3xvr7vicLR-sCBr5qtG2cCPAgrVNFrCoeQcCxhlmnE0BzHgR8HQpZAlfqzDDFzfWb8GUI8QRq0WWT8AjZJ2cF_c7k8ACD3-MNLvkMjiwraHR0cHM6Ly9ib2IuYnRjLmNhbGVuZGFyLm9wZW50aW1lc3RhbXBzLm9yZ_AI9ZMS1zxd7IEI8BDd00WgJZ0RncsC1Fyai_4aCPEgvxMFrnu7F05IW5INiraQ3OVEYMjNx6JfBxw1Q4jPLi4I8QRq0WWS8Ag2zxPAtI5JsP8Ag9_jDS75DI4uLWh0dHBzOi8vYWxpY2UuYnRjLmNhbGVuZGFyLm9wZW50aW1lc3RhbXBzLm9yZwjxIHAnv4KFFf4uiYEFJvLxiMxSyz8VowJP4roTfDD9h7bICPAgj5tgvbNF7mxSP4jGGE66ezUFRLnI4g1VTkvuV4VtCPAI8CCxlc1HuKORuHgn7DYIYcDhc4oo99OkTWBEvddBypoa7AjwIFcjjaF8kDNDYCZGaNISlRjvX-I7in-QNwsr4JYQbFJvCPAgnl0k4gs7LuY5i1umiHO-J7My3uBThLJUWQoY9LdVSrQI8SA6-Ft11_K_GqMNWYhkVsVqCFvXSYbp4S8JoLsLBnUzvgjxIBC8_mAE7JBP35SNxDBcG7joLJwURpMxdV2vSO64_jEOCPEge04Coj1xSi7CE8UwqiBGNhPyZ5QdD_YZwn-heSdObU4I8SBgdDSgr3VUx1j8m_pK7-OzMwwFgXeLy43ujffCv-hf5AjwIMl-PnAt4xjoBEVU4-nkyN0NKRa9AvX4kEMfllFyIJS9CPFZAQAAAAHz4rV-uwQFg02bVnEMUFgpIdGKjM4tWuID1kTVnrjisAAAAAAA_v___wJURAIAAAAAABYAFBFys2oc0-U-bYrC3VulGLzND5fbAAAAAAAAAAAiaiDwBHLTDgAICPEgMJIBYi46xOIuFDwzJ9nOx14ngW5HbglUf65ORpkoIYcICPAgHgGWEGCDHWgscwT92NOoJ7s-ezbPkyiWr2RnYZDC_dwICPAgtffMyyLu-MscJsDc0dzwGspwSrrmvVAnMNgsgWhHClgICPAgMUl1OfBDUwhp5VZjHwVA0nuz1F5HZTUJCHAnM1L1F3MICPAgStK7UWpnrUueV5EaE7uE0y6BLMp6EANmrbhrTqEBZu8ICPAg5LVW7IHtUL5mNOvPx1hOTfLMmqlQ7t9EFW-KDtrISIQICPAgABgXZ6upFU8qiDQKFtQFpqkjKwl0PsxM4JUjVLlDKbkICPAgEwb96FiOhjlbwI8GFZQ4a5GXwxs4bUdqVOMKrtBWV30ICPEgqBg-wp0c8CAPV9k6J7wIa9_GtQfpWmhpE1zqFZyi2pQICPAg2pZLTVPGJbriiz0UhMytYDVYAXOgQnWDcrMOewK9O8cICPEgxm3QwzbvT4siJzubQGnST67bWv-exYwSPP1KDi7CaUwICPEgm6udUudfjUaM0gUFTylKGDMypj7ptMTG0zmxd_T5yTcICPAgMpOInkjFCVp1pOZhfZnyPAl8hdWGmHzQcrGLgLwSKLgICAAFiJYNc9cZAQPzpjs"]},"log":{"leaf_index":"3704","tree_size":"3804","proof":["f4dd71857c7a1ddf84b68ec6b33e095f2f502780d2dc99c32bda17335d9960df","d56549b79014ee0ff9828c3fa6c24939be3bbd14ac618914f9720c332a8de450","e605aec8eaec587d4aef147bb30bdb11851212f4d3d08c0f360c59fc957253c9","d94d3286b0228d4bf0f22631c3ea8ca642d461377f629ed1ed0fef2d1773d0c6","44aad182174585037d93fcba74a4079a42da65250effad7680798a4d25a65923","cd09486139c2d9d35fc101759c032d39b39abf20d007d4b39e9ca4e938215f04","f50866df3e981d10bae13538ff88662a6960f06eee522c24d97d985a8d62cfb4","7e66314356025dfb23c19ffcc67687562cd0a92ea70016b1a2cc4b92f84380b0","e55158332fc5066d8199fad50d3929c561e805c1a4826619f59cd2254d322eb8","af34d80d0065c0ab502282775e865492e2cb49c9493f4594d63ba5577922854a","3c578dccc15502c5f3efe228cadc99fee76ab536ed01f66b14d316fdcc157429"],"checkpoint":"pubphys.com/log/v1\n3804\nAK6t4qgu96+M9wScTrIlsJ10d/zhKVEtYguyM3aeJvo=\n\n— pubphys.com/log/v1 JFPwIPP8EtoxgcsQg7V7CwIdL4UKPqJtpv+eB8sFNJjyQHIdyA1VabmBsPyLqq2bLxJPn57rA6fQi8y0QDDjRXHvlQg=\n","promise":"pubphys.com/log/v1 promise\n5cfe006f44b1c8cf2a3294b5074421f376a27878e650fed0feadc3c5c9490947\n3704\n2026-10-15T23:43:57Z\n2026-10-16T01:43:57Z\n\n— pubphys.com/log/v1 JFPwIJtBhFqet5AJmhgBKF90ak3ZBBEkogAbB4LyZKuFR196iZLFA4p78ubOfHqXAp6vYEABEPVVUF8IMGm4jQVCfgU=\n"},"orcid_key_evidence":[],"attesting":null}