发表机构
Percivio Ltd.（Percivio有限公司）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文通过精确的变分约简和计算机辅助区间证明，确定了贝尔泛函I3322的量子值，并证明了有限维与无限维策略的差异。
AI 中文摘要
我们确定了三设置、两输出贝尔泛函I3322的量子值。该值是精确雅可比特征映射的解析A-高稳定曲线与中心反向曲线之间的唯一交点\\(q_\dagger\\)。一个计算机辅助证明将此交点隔离在宽度为\\(10^{-55}\\)的有理区间内，该区间起始于0.2508753845139765356173366109459512989013219739714764755。我们证明了有限维张量积策略上的上确界、无限制空间值以及交换算子值均等于\\(q_\dagger\\)。没有任何有限维策略能达到该值，而一个正常无限维空间策略和一个交换GNS策略可以达到。该证明结合了精确的Bellman/路径变分约简、从最大化弱星状态中提取正双侧校准雅可比纤维、反射纤维中心入射定理以及唯一稳定/中心交点的区间证书。一个独立的算子正三项余数分解给出了交换上界。完整的验证记录存档于DOI https://doi.org/10.5281/zenodo.22160086。
英文摘要
We determine the quantum value of the three-setting, two-outcome Bell functional I3322. The value is the unique intersection \(q_\dagger\) of an analytic A-high stable curve of the exact Jacobi characteristic map with a central reverser curve. A computer-assisted proof isolates this intersection in a rational interval of width \(10^{-55}\), beginning 0.2508753845139765356173366109459512989013219739714764755. We prove that the supremum over finite-dimensional tensor-product strategies, the unrestricted spatial value and the commuting-operator value all equal \(q_\dagger\). No finite-dimensional strategy attains the value, whereas a normal infinite-dimensional spatial strategy and a commuting GNS strategy do. The proof combines an exact Bellman/path variational reduction, extraction of a positive bilateral calibrated Jacobi fibre from a maximizing weak-star state, a reflected-fibre central-incidence theorem and interval certificates for the unique stable/central intersection. A separate operator-positive three-remainder decomposition gives the commuting upper bound. The complete verification record is archived at DOI 10.5281/zenodo.22160086.
Comments16 pages; computer-assisted proof; complete verification artifact at DOI 10.5281/zenodo.22160086
