精读笔记
Problem Setting
论文标题：No finite level of the NPA hierarchy is exact for the doubly-tilted CHSH functional near the critical tilt（arXiv preprint / 2026）。
这篇论文实际解决的是 NPA hierarchy 在 doubly-tilted CHSH 临界 tilt 附近的有限精确性问题。不是问 NPA 是否最终收敛，也不是问某个固定 s 的数值值是多少，而是问是否存在一个固定有限层级 k，能在 s -> 0^+ 的某个邻域内始终精确等于量子值。作者证明答案是否定的：任意有限层级在足够靠近临界点时都会严格高估量子值。
真正困难点在于临界点是高度退化的。s=0 时最优值贴在 classical face 上，量子值离开 local bound 的 leading term 是三阶：c_Q(s)=4-s+s^3/6+...。因此任何有限 NPA 层级只要存在二阶正 overshoot，就会在小 s 下压过真实量子值。关键矛盾就是：量子集合在这个方向上三阶才打开，而有限 NPA 松弛的切锥可能已经在二阶打开。
以前方法卡在两个地方：一是低层级数值 overshoot 不能说明所有有限层级都失败；二是有限收敛理论通常依赖 strict positivity 或 boundary Hessian 条件，而这里恰好是 margin 退化、三阶接触，标准定理不适用。
Motivation
已有路线不够，是因为它们大多围绕两类证据：给出 quantum value 的闭式表达，或在若干固定层级上做 SDP / SOS 证书。前者说明真实曲线在哪里，但不解释 NPA 为什么系统性越界；后者说明低层级失败，但不能排除某个更高固定层级在临界邻域内变得 exact。
作者的核心观察是：靠近临界点时，问题不应从每个 s 的 SDP 解出发，而应从 s=0 的最优面和它的 tangent cone 出发。因为量子曲线三阶平坦，有限层级是否 exact 完全取决于 NPA 在二阶是否存在非量子可行方向。
关键缺口是一个对所有 k 有效的“坏方向”。如果只能逐层找证书，那仍然是 engineering / data；如果能写出 level-uniform witness，并证明它在每个层级都给出 rank-one 正压缩，那么数值现象就变成结构性定理。这也是论文的主要动机。
Core Idea
核心思想是把临界 NPA SDP 的最优面显式坐标化，然后在其 kernel 关系格上构造一个 signed witness y*。这个 witness 的作用不是作为量子态，而是作为 NPA moment cone 的一阶扰动方向：它在 kernel 上的压缩矩阵恰好是 u_k u_k^T，因此能够产生可控的二阶正增益。
理论上它有效，是因为临界点的 base moment matrix 有非平凡 kernel。PSD 约束的一阶可行性主要由 kernel 压缩控制；如果一阶压缩是 rank-one PSD，并且二阶方向在正交 complement 上补上严格 Schur margin，就能构造 y0+s y1+s^2 y2 的真实可行曲线。这样 c_k(s) 至少有 4-s+g_k s^2，而量子值只有三阶改善，所以 finite-level exactness 必然失败。
和 prior 的本质区别在于：prior 更像是在寻找数值层级或 dual certificate；本文则定位了有限层级失败的几何来源，即 NPA tangent cone 比 quantum tangent cone 多出一个 signed non-quantum direction。它不是更强的 SDP 求解，也不是 scaling 到更高 level，而是重写了问题的信息流：从 value comparison 转为 tangent-cone separation。
Method
第一步是临界面的结构化。作者证明 s=0 的 level-k 最优面 F_k 由 product law 参数化，且所有最优 moment matrix 都满足关系格 N_k 在 kernel 中。选取特定基点 y0(delta*) 后，kernel 恰好等于 span N_k。这解决了“在哪个空间里找切方向”的问题，也避免了依赖数值 kernel。
第二步是构造 gain direction。作者定义 level-uniform 的 u_k，并构造闭式 signed class function y*，使 N_k^T Gamma(y*) N_k = u_k u_k^T。必要性在于二阶增益必须从 kernel 压缩中来；rank-one 对齐让一阶退化可控，否则 kernel 内的未对齐 leakage 会破坏后续 PSD 修复。
第三步是把 tangent jet 变成真实可行 arc。通过 uniform Slater point y2* 和 Schur complement margin，作者构造 y(s)=y0+s y1+s^2 y2，并用 no-repair positivity lemma 证明它在显式小区间内 PSD。这一步带来的核心变化是：不再需要假设存在高阶修正项，也不依赖 analyticity；构造本身就是可行的。
第四步是和 quantum value 对比。由于 Gigena et al. 的量子值在该对称临界族上三阶离开 local bound，而本文的 finite NPA lower bound 二阶离开，非精确性直接成立。
Key Insight / Why It Works
最核心的 insight 是：finite NPA 失败不是因为层级“太低”漏掉了某个复杂高阶量子约束，而是因为在临界退化点，NPA 的有限 moment cone 允许一个量子理论禁止的 signed tangent direction。这个方向在每个有限 level 都存在，只是强度可能变小。
方法真正有效的原因是 rank-one alignment。PSD 退化问题中，最危险的是 kernel 内一阶项不受控；如果一阶压缩在 kernel 上是 rank-one PSD，并且其零空间与二阶 Schur margin 对齐，就能在没有高阶 repair 的情况下保持 PSD。这里的 y* 正是为这个结构服务的。它不是普通证书，而是把 NPA kernel 的所有关系组织成一个 coherent tower。
最可能是核心贡献的是闭式 witness y* 以及证明其对所有 k 成立。结构定理、Slater 点、Schur lemma 都很重要，但更像是让 witness 可以被合法使用的框架。真正产生新信息的是：存在一个 level-independent signed quadratic class function，在每层 kernel 压缩后都变成同一个 rank-one defect。
哪些部分可能只是辅助？大量 exact verification 是必要证明组件，但它的科学贡献更多是可信度和可复现性，而不是机制本身。低层级的数值常数也不是重点；它们支持结论，但不解释为什么所有 k 都失败。
这不是 scaling，不是 retrieval，不是 data coverage。更准确地说，它是 latent structure / representation alignment：作者找到了临界 NPA face 的隐藏关系格表示，并把非量子增益方向对齐到这个表示的 rank-one 模式上。若要迁移，迁移的不是公式本身，而是“在退化最优面上寻找 signed tangent-cone separation”的策略。
Relation To Prior Work
最接近的 prior 是 Gigena et al. 对 doubly-tilted CHSH quantum maximum 和 self-testing 的闭式分析，以及作者 companion note 中对 almost-quantum 和低层级 tangent coefficient 的计算。本文继承这些工作的问题设定和量子值展开，但真正新增的是 all finite levels 的非精确性证明。
和标准 NPA 收敛理论的关系是互补而非冲突。NPA 对固定 s 收敛不受挑战；本文证明的是 required level 在 s -> 0^+ 时无界。和 Klep-Levenson-McCullough 的 degree-bounded noncommutative Fejer-Riesz 路线相比，本文展示了 strict positivity margin 退化时有限 degree 证书不能 uniform 工作。和 Nie / Marshall 类型 finite convergence 条件相比，本文是一个 boundary Hessian condition 失效后的具体反例机制：三阶接触导致 generic finite exactness 结论失效。
看似新的部分中，Schur complement、Slater blending、moment matrix kernel analysis 都是已有技术的重组。实质创新是把这些工具压到一个显式 signed witness 上，并证明该 witness 在整个 NPA tower 中稳定存在。它属于 SDP hierarchy finite convergence / noncommutative moment relaxation 的结构性反例谱系，而不是 Bell inequality 数值优化论文。
Dataset / Evaluation
这篇论文没有传统 dataset。evaluation 是 proof verification：exact integer / rational arithmetic 验证结构恒等式、kernel 维数、witness identity、Schur margin 和小区间 PSD。它验证的是数学 claim，而不是 empirical generalization。
覆盖范围很窄但精准：只覆盖 minimal (2,2,2) Bell scenario 中 doubly-tilted CHSH 的 symmetric critical family。它不是跨场景、多任务或真实系统评测，也不试图证明一般 Bell functional 的同类现象。
evaluation 对核心 claim 的支撑是强的，因为 claim 本身就是构造性存在性：每个有限 k 有显式 rational g_k 和 s_k*。只要 exact verification 链可信，结论就不是 benchmark 相关。但 evaluation 的 limitation 也明显：它不能说明该机制在其他 Bell 场景、非对称 tilt 或一般 NPA 层级问题中是否普遍存在；也不能给出层级需求 D(s) 的定量增长率。
文中未充分说明如何从原则上自动发现 y*。目前看，witness 的发现过程带有从低层级精确解中归纳模式的成分；证明是严谨的，但 discovery mechanism 仍不 general。
Limitation
第一，结论是局部的。它证明每个固定 k 在某个 (0, epsilon_k] 内不 exact，但 epsilon_k 可随 k 变小。它不证明存在某个固定 s 使所有有限层级都不 exact；事实上作者也强调固定 s 的 required level 是有限的。
第二，scaling 上限没有解决。g_k = 1/(1024 t0(k)) 为正，但 t0(k) 可能快速增长。文中没有控制 a_k 的 decay law，因此不知道 D(s) 是多项式、指数还是更坏。增益来源的定量部分不清楚。
第三，方法依赖强结构。product-law face、关系格 N_k、level-uniform y* 都是该临界族的特殊结构。迁移到其他 Bell functional 或更大场景时，可能主要困难不是证明 PSD，而是根本找不到类似 coherent witness。
第四，计算辅助证明是可信但沉重的。作者使用 exact arithmetic 并给出 degree bounds，这避免了数值 SDP 的不可靠性；但大量 combinatorial identity 仍需要程序验证。对读者来说，理论透明度不如一个完全手写闭式归纳证明。
第五，non-quantum mechanism 的解释很强，但仍是切锥层面的。它说明该增益方向不能由 Hilbert-space state 或 smooth quantum curve 实现；但它没有完整刻画 quantum tangent cone，也没有证明这是唯一 failure mode。
Takeaway
- 1. NPA finite exactness 在退化边界点的失败可以是结构性的，而不是数值求解或证书搜索不够强。
- 2. 关键对象不是 value curve 本身，而是临界最优面上的 tangent cone：如果有限松弛允许二阶 signed direction，而真实 quantum set 只有三阶打开，finite-level overshoot 就不可避免。
- 3. 对类似 hierarchy 问题，值得迁移的做法是先找 exact kernel / face law，再找 level-uniform witness；不要直接堆更高层 SDP 数值。
- 4. 下一步真正值得做的是控制 a_k 的衰减率，或者发展一种系统化方法来发现 signed non-quantum tangent directions。
一句话总结
这篇论文把 doubly-tilted CHSH 临界点附近的 NPA 有限层级失败，从数值现象提升为一个由 signed non-quantum tangent direction 驱动的结构性非精确性定理。