精读笔记
Problem Setting
[论文标题] A phase transition in the exactness of the NPA hierarchy at the critical doubly-tilted CHSH functional（arXiv preprint / 2026）
这篇论文实际解决的是一个很窄但结构性很强的问题：在最小 CHSH Bell 场景中，doubly-tilted functional 靠近临界线 alpha+beta=2 时，NPA hierarchy 的有限层精确性是否会发生质变。这里的核心不是计算 quantum maximum，也不是证明 NPA 收敛；量子值已由 Gigena et al. 给出，NPA 对固定 s 的收敛也不是争议点。真正问题是：当 s=2-alpha-beta -> 0 时，是否存在某个固定有限层 k 能在整个临界邻域内精确。
困难点在于临界点处 local bound、quantum boundary 和有限层 spectrahedral relaxation 贴得太紧。量子值离开局部界是 cubic：c_Q(s)=4-s+s^3/6+...；而有限层 NPA 若有任何二阶正曲率 a_k s^2，就会在足够小的 s 下压过 cubic quantum curve，导致非精确。关键矛盾因此不是“SDP 解得不够准”，而是量子边界的三阶平坦性与有限层外逼近的二阶圆滑化之间的接触阶不匹配。以前路线卡在这里：数值上看到 level 10 仍不 tight，但没有把 gap 归因到可证明的局部几何机制。
Motivation
已有工作给出了 doubly-tilted CHSH 的精确 quantum value，也观察到临界线附近 NPA 层数需求异常增长；但缺的是一个能区分数值病态和结构性失败的解释。靠近 alpha+beta=2 时，gap 是 10^{-9} 级别甚至更小，直接跑 SDP 很容易被 solver tolerance、rank diagnostic 和 root selection 淹没。
作者的核心观察是：这个问题应该从“某个层数够不够”改写成“临界确定性顶点处的接触阶是什么”。如果量子集合边界在该方向是 cubic cusp，而任意有限层 relaxation 在同一点保留 positive curvature，那么有限层的 failure 是几何必然，而不是实现细节。关键缺口就是缺一个把 Gigena 的 closed polynomial quantum value、NPA tangent cone、dual SOS certificate 和 operator-algebra degree bound 放到同一张图里的局部模型。
Core Idea
本文真正的核心思想是把临界附近的 NPA 精确性问题转成曲率系数问题。沿 symmetric slice alpha=beta=1-s/2，量子值满足 c_Q(s)=4-s+s^3/6-s^4/36+...，而固定层 NPA 值被建模为 c_k(s)=4-s+a_k s^2+O(s^3)。于是只要 a_k>0，level k 就必然在足够小的 subcritical 邻域不精确。这个重写非常关键：它把一个看似全局的 finite convergence 问题，降成临界面上一族二阶 tangent programs 的 positivity 问题。
和 prior 的本质区别在于，本文不是试图直接构造 c_Q-B 的有限 SOS 分解，也不是靠更高层 SDP 搜索 exactness threshold；它把信息流重新组织为“量子边界的 cubic degeneracy + 有限层 spectrahedral cap 的 quadratic rounding”。这是一种几何/渐近建模，而不是单纯 scaling NPA。supercritical 侧则通过显式 rational dual certificates 给出完整相反行为：alpha,beta>=1 时 level 1+AB 已经 exact，所有更高层自然 exact。两侧拼起来，临界线不是普通参数边界，而是有限层证书性质的相变边界。
Method
第一，量子侧使用修正后的 Gigena polynomial system 展开最大根。它解决的是 c_Q 在临界线附近到底以几阶离开 local bound 的问题。这里必须要 closed-form polynomial system，因为普通 SDP 数值无法稳定地区分 s^2 和 s^3 级别。核心变化是把 quantum advantage 从数值现象变成 exact asymptotic law：subcritical advantage 是 cubic。
第二，NPA 侧引入二阶 tangent / curvature analysis，抽取 c_k(s)=4-s+a_k s^2+... 中的 a_k。它解决的是固定 relaxation 在临界顶点附近如何“圆滑化” quantum cusp。低层通过 exact rational pseudo-moments 和 tangent certificates 证明 overshoot，不依赖 floating-point gap。这里的必要性在于：如果只报告 c_k-c_Q 的数值差，无法排除 solver 精度或阈值选择；而 rational feasible pseudo-moment 直接证明外逼近中存在超过 quantum value 的点。
第三，supercritical 侧构造 Z0, ZA, ZB 三个 rational PSD dual certificates，并用 Z(alpha,beta)=Z0+(alpha-1)ZA+(beta-1)ZB 在 alpha,beta>=1 保持 PSD。它解决的是临界线另一侧是否只是数值上看起来 exact 的问题。这个证书的核心变化是把 exactness 变成一个 affine PSD identity；只要系数非负，结论自动推广到整个 quadrant 和所有更高层。
第四，Motzkin scaling limit 用来解释临界 degeneracy 的形状。将角度按 sqrt(s) 缩放后，最大特征值的三阶极限给出 U(x,y)，而 1/6-U 是 Motzkin form 的 rescaling。它不是证明 finite-level failure 的主力，但解释了为什么这里出现 nonnegative-but-not-obviously-SOS 的临界形状，以及为什么普通 commutative SOS 直觉会误导。
Key Insight / Why It Works
最重要的 insight 是：NPA 失败不是因为量子值难算，而是因为 finite-level relaxation 的局部几何类型错了。quantum boundary 在确定性顶点处是 semicubical cusp / cubic touch；固定 NPA 层作为 spectrahedral outer approximation，局部表现为带二阶曲率的 parabolic cap。只要 cap 曲率 a_k 为正，它必然在靠近临界点时高于 quantum cusp。这比“层数越高越准”更精确：层数增加只是让 a_k 下降、cap 变薄，但只要 a_k 不为零，临界邻域内仍然非精确。
本文最可能的核心贡献是这种接触阶解释，以及把 Gigena 现象降约为 a_k>0 的序列问题。supercritical rational certificates 也很强，因为它们给出了相变另一侧的干净锚点；没有这个锚点，subcritical overshoot 可能只是局部异常。Motzkin polynomial 的出现是很好的机制诊断，但它更像解释性 insight，不是完整证明的核心。文中自己也指出，commutative Motzkin/SOS degree 并不产生所需的 degree blow-up；真正障碍在 NPA 的 noncommutative restricted certificate class，尤其是 Bob-side word length 的失控。
这不是 scaling paper。增益也不是来自更多数据或更大 SDP；数值 SDP 主要用于发现结构。真正的 inductive bias 是把 hierarchy 精确性看成临界 tangent cone 与 dual certificate 的局部几何问题。若要归因，最关键的是 latent structure：临界最优面的 flat ray、kernel compression、second-order tangent cone、以及 noncommutative moment constraints 共同决定 overshoot。辅助部分包括低层数值阈值、solver 拟合和 Motzkin 可视化，它们增强可信度但不是决定性论据。
一个需要直接指出的点：本文关于“所有有限层 subcritical 邻域非精确”的完整结论在叙事上依赖 companion paper [14]。本篇把 Conjecture 2 写成后续已证明，并提供低层 ladder 与机制，但如果只评估本文本身，uniform-in-k 的证明链并不完全自洽地呈现在这里。也就是说，本篇的主要价值是机制与证书框架；最终全层定理的完整证明不在本文主体内。
Relation To Prior Work
最接近的 prior 是 Gigena et al. 对 doubly-tilted CHSH quantum maximum 的 closed-form polynomial characterization，以及他们观察到 NPA level 在临界线附近似乎无界增长。本文真正新增的是把该观察转化为可证明的 phase-transition geometry：量子侧 cubic law、NPA 侧 quadratic overshoot、supercritical 侧 exact rational certificates。
与标准 NPA/SOS certificate 工作相比，本文不只是寻找某个更高层证书，而是在研究有限层证书为何系统性失败。与 Bamps-Pironio single-tilt 证书相比，差异在于 single-tilt 只触发一侧 marginal，保持 quadratic touch，因此 level 1+AB 就可精确；double-tilt 同时 pin A0 和 B0，在 deterministic vertex 产生 cubic degeneracy。这是本质差异，不是参数多一个 beta 那么简单。
与 Nie/Marshall finite convergence 路线的关系也很清楚：非退化 boundary Hessian 给有限收敛，本文的 critical double-tilt 正好落在 boundary Hessian degeneracy locus 上。它不是反驳 finite convergence theorem，而是展示 theorem silent 的临界集合上会发生什么。
与 operator-algebra Fejer-Riesz degree bound 的关系更微妙。Klep-Levenson-McCullough 给 strict positivity margin 下的 bounded degree factorization；本文研究的是 margin 随 s^3 消失时 degree 是否必须增长。这里真正新增的信息是：degree blow-up 不在 commutative torus SOS 中，而在 noncommutative group-algebra/NPA certificate 的受限结构中。看似 Motzkin 新，其实 Motzkin 是经典 obstruction；新的是它在 doubly-tilted CHSH 临界缩放极限中精确出现，并被用于定位 NPA 失败的证书类别。
Dataset / Evaluation
这篇没有传统意义上的 dataset / benchmark。evaluation 由 exact arithmetic certificates、symbolic expansions、Sturm root verification 和数值 SDP 交叉检查构成。对于理论论文来说，这种 evaluation 是合适的：核心 claim 是 finite-level exactness / non-exactness，而不是 empirical performance。
证据覆盖范围有明显边界。supercritical quadrant alpha,beta>=1 的 exactness 由 9x9 level 1+AB rational certificates 完整支撑，claim 很强且干净。subcritical 侧，本篇完整给出的是低层实例和 a_{1+AB}=3/64；level 2/3/4 的非精确有 exact rational pseudo-moments，但全层 positivity a_k>0 的证明被放在 companion paper。数值阈值如 s_k^exact 的几何衰减支持叙事，但不能单独验证 uniform claim。
benchmark 是否验证核心 claim？对 supercritical phase，是的。对“no finite level near critical line”的最终 claim，本篇本身只验证到机制和若干层，完整验证依赖 [14]。文中未充分说明 companion proof 的全部技术细节，因此读者若要确认最强结论，必须读 companion paper 和 ancillary verification code。
Limitation
第一，本文的全局叙述比本文主体证明更强。Conjecture 2 被称为 companion paper 中已证明，但本篇保留 conjectural framing。作为独立论文笔记，应把它看作“机制论文 + 低层 exact ladder + supercritical theorem”，而不是完整 uniform nonexactness 证明。
第二，定量 scaling 仍不清楚。a_k>0 解释了 D(s)->infty，但 a_k 如何衰减、D(s) 是 polylog、power law 还是更复杂，本文没有给出。数值阈值呈几何衰减只是经验图像，增益来源不清，可能主要来自低层结构和 solver 可见范围。
第三，Motzkin scaling limit 的解释力有限。它揭示了临界 degeneracy 的通用形状，但文中明确说明 commutative SOS degree 并不发散，abelianization 甚至 bounded-degree 可证。因此不能把本文理解为“Motzkin polynomial 导致 NPA 层数发散”。真正问题被转移到 noncommutative restricted certificate class；这更准确，但也意味着证明难度和可迁移性更不透明。
第四，低层 exact rational certificates 很扎实，但它们可能隐藏了大量 engineering：rationalization、Slater blending、kernel basis、Schur complement margins、Sturm verification 都是高度手工化的证书工程。它们证明实例有效，但不自动给出概念上简洁的统一构造。部分增益可能主要来自 symbolic/numeric pipeline 的精细打磨，而不是一个可直接推广的闭式理论。
第五，泛化到其他 Bell scenarios 不明确。本文机制依赖 minimal CHSH geometry、Jordan reduction、critical deterministic vertex、double marginal pinning 和特定 moment-matrix kernel。contact-order dichotomy 看起来可迁移，但具体的 a_k positivity 与 noncommutative degree growth 未必普适。
Takeaway
- 1. 最值得记住的是接触阶视角：finite NPA exactness 的失败可以来自 quantum boundary 的 cubic touch 与有限 spectrahedral relaxation 的 quadratic rounding 不匹配。
- 这个视角比单纯讨论 SDP 层数更有迁移价值。
- 2. doubly-tilted CHSH 的临界线不是普通困难参数区，而是 finite certificate geometry 的相变边界：supercritical alpha,beta>=1 有显式低层证书，subcritical 临界邻域则每个固定层都会 overshoot。
- 3. Motzkin scaling limit 的正确用法是诊断 degeneracy，而不是直接证明 degree blow-up。
一句话总结
这篇论文把 doubly-tilted CHSH 临界处 NPA 有限层失效从数值异常提升为接触阶与非交换证书几何的相变现象，真正贡献是解释为什么 cubic quantum cusp 不能被任何固定有限层的 quadratic spectrahedral cap 精确捕捉。