精读笔记

Problem Setting

《The SOS Rank of a 5 × 4 Biquadratic Form via Orthogonality》（arXiv preprint / 2026）。这篇论文实际处理的是 BSR(5,4) 的下界改进问题：构造一个 5×4 双二次型，其 SOS rank 严格达到 12，从而突破此前非退化 2-edge 构造给出的 11。困难点不是给出 12-square 表达，而是排除所有更短 SOS 表达；换句话说，要证明 Gram 表示维度不可压缩。

以前方法的瓶颈在于把构造限制在非退化 2-edge 上，即 cross term 形如 xiyj+xkyl 且 j≠l。这种框架有漂亮的组合解释，但在 5×4 情况下对应极值 z_non_2(5,4)=11，无法继续提升。本文抓住的关键矛盾是：组合模型限制越干净，越可能漏掉真实 SOS rank extremal form；而允许退化 cross term 虽然破坏原图模型，却可能在向量内积层面产生更强约束。

Motivation

已有路线缺的是“非组合化”的代数自由度。非退化双 Zarankiewicz 框架把问题组织成 edge counting 与 forbidden cycle，这对得到系统下界很有用，但同时把可用 cross term 限死了。对于 5×4，非退化模型已经给出 11 的极值，继续提升必须要跳出该模型。

作者的核心观察是，退化 2-edge 并不是噪声项；它在 SOS 向量化之后给出的是单位向量之间内积为 1 的约束，因此直接强制两个向量相等。这类“向量识别”可以作为正交关系的中继节点，把本来不够闭合的缺失项约束补成完整的 pairwise orthogonality。缺口不是缺一个更复杂的优化算法，而是缺一个能利用退化 cross term 的 witness。

Core Idea

论文真正的核心思想是：不要只把 cross term 看成 SOS 分解中的一项，而要把它看成 Gram 向量系统里的约束生成器。纯平方项决定非零单位向量，缺失项决定正交，特殊 cross term 决定向量相等；三者组合起来，可以在一个低维假设 R^r 中强行塞入 12 个两两正交非零向量，从而推出 r 至少为 12。

相对 prior，本文改变的是建模边界：从“非退化 2-edge 的组合计数”转为“允许退化边参与代数约束传播”。它引入的 inductive bias 是：某些 cross term 的价值不在于增加一个 edge count，而在于制造 equality constraint，随后 equality constraint 可以复用已有 missing-cross-term 产生的 orthogonality。这一点比单纯 edge counting 更灵活，但也更依赖人工布局。

Method

第一步是构造一个非常稀疏但经过调参的双二次型。它包含若干 pure square monomial，以及两个平方项：(x2y3+x5y4)^2 和 (x4+x5)^2y2^2。前者是非退化 2-edge，后者是退化 2-edge。这个构造解决的是 witness 的选择问题：需要既有 12 项显式上界，又有足够多缺失 monomial 来产生下界证明。

第二步是标准 orthogonality lifting。假设 P=Σℓ_k^2，把每个 xiyj 的系数收集成 vij∈R^r。系数匹配给出：出现的 pure square 对应单位向量，未出现的 pure square 对应零向量；未出现的 cross term 给出线性内积方程。这个 lifting 的必要性在于，它把 SOS rank 问题变成欧氏空间中向量配置的维数下界问题。

第三步是利用两个 cross term 触发 equality。由于 v53=0，非退化项 2x2x5y3y4 给出 v23·v54=1，故 v23=v54；退化项 2x4x5y2^2 给出 v42·v52=1，故 v42=v52。特别是第二个 equality 是非退化框架没有的。随后作者枚举缺失 cross term，证明选定的 12 个向量两两正交。机制上的核心变化是：退化边不是简单多加一个平方，而是把 v52 合并到 v42，从而让若干正交关系可转移。

Key Insight / Why It Works

这篇论文有效的根本原因是 orthogonality method 对“缺失项”极其敏感：一个 monomial 不出现并不只是零系数，而是对 Gram 向量施加正交方程。稀疏支撑越精心，越可能把这些零系数组织成一个大的正交系统。本文的构造恰好让 12 个非零单位向量在所有 pair 上都能由某个缺失 cross term 或 equality-transferred relation 强制正交。

最核心贡献不是 12-square 分解，而是发现退化 2-edge 可以用 Cauchy-Schwarz 饱和条件制造向量等同关系。这个 equality constraint 是比普通 missing-term orthogonality 更强的结构，因为它允许把一个位置的正交性搬运到另一个位置。特别是 v42=v52 这条关系来自同 y-index cross term，是突破非退化组合上界的关键。

哪些部分可能只是辅助？大量表格枚举主要是 verification，不是概念创新。它证明该 witness 成立，但没有提供高层算法来生成 witness。这个结果不是 scaling，也不是 data coverage，更不是统计泛化；它属于 better algebraic inductive bias：通过允许退化项扩展可构造的 Gram 约束图。若要说工程性，主要工程在人工搜索/排列稀疏模式和逐项核对正交闭包，而不是理论机制本身。

Relation To Prior Work

最接近的是 Xu-Cui-Qi 的 orthogonality method 以及 Cui-Qi-Xu / Qi-Cui-Xu 的 Zarankiewicz / double Zarankiewicz 构造。prior 的谱系是：用 bipartite graph 的稀疏边结构构造双二次型，再用缺失 C4 或广义 C4 保证 SOS rank 等于 edge count。本文继承了这个 lower-bound 证明语言，但不再完全受非退化 2-edge 图模型约束。

真正不同点在退化 2-edge。非退化 2-edge 对应 (xiyj+xkyl)^2，两个 y-index 不同；本文加入 (x4+x5)^2y2^2，产生 2x4x5y2^2。这种项在 prior 的 z_non_2 框架里被排除，但在向量证明中依然合法，并且更强地给出 v42=v52。看似新的是“12-square form”，实质新增信息是：非退化 double Zarankiewicz 数不是 BSR 下界构造的终点，退化 cross term 可以绕过其组合极限。

不过这不是一个完整的新理论。它更像是在已有 orthogonality method 上找到一个此前未利用的自由度，并用一个小维度例子证明该自由度确实有用。

Dataset / Evaluation

没有 dataset，也没有实验 evaluation；这是纯数学构造与证明。评价标准只有两个：显式上界是否成立，下界证明是否严密。就论文的核心 claim——存在一个 5×4 双二次型满足 sos(P)=12——而言，证明型 evidence 足够。

但从更大的 claim 看，evaluation 覆盖很窄。论文没有给出系统搜索结果，没有说明退化 2-edge 在其他 (m,n) 上是否普遍有效，也没有证明 BSR(5,4)=12。它验证的是一个存在性突破，而不是一个可泛化框架。若作者暗示“退化 2-edge 提供额外代数灵活性”，该 claim 在本例中成立，但外推范围文中未充分说明。

Limitation

第一，结果高度依赖手工 witness。12 个向量的两两正交主要通过表格枚举完成，缺少抽象 criterion。维度增大后，这种证明可能变成不可维护的人工 combinatorial bookkeeping。

第二，退化 2-edge 的理论地位尚未被系统化。文中展示了一个退化边有用，但没有定义允许退化边后的 extremal invariant，也没有给出 forbidden pattern 或可计算上界。因此它目前更像一个反例式扩展：说明 nondegenerate-only 框架不完备，而不是替代框架。

第三，增益归因清楚但范围不清。11→12 的提升来自 v42=v52 这类 equality constraint 与稀疏缺失项的配合；但是否还能继续提升、是否存在更多退化边导致更高 rank，文中未充分说明。

第四，它没有解决 BSR(5,4) 的精确值。BSR(5,4)≥12 是严格进展，但上界仍未讨论。如果真实值大于 12，那么本文只是一个中间 witness；如果真实值等于 12，还需要额外上界理论。

Takeaway

• 1. 非退化 double Zarankiewicz 构造不是 SOS rank 下界的完整表达语言；真实 extremal form 可能需要利用退化 cross term 产生的代数约束。
• 2. 在 orthogonality method 中，cross term 的更高价值可能是制造向量 equality，而不只是贡献一个平方项。
• 这个 insight 可迁移到其他低维 BSR 构造：寻找 Cauchy-Schwarz 饱和约束，再用缺失项传播正交性。
• 3. 未来真正值得做的是把“退化边 + equality propagation”抽象成一个可搜索、可证明的组合-代数框架，而不是继续逐例列正交表。

一句话总结

这篇论文通过在 5×4 双二次型中引入一个退化 2-edge，把 orthogonality method 从非退化组合计数扩展到带向量等同约束的代数构造，并由此将 BSR(5,4) 的已知下界从 11 推到 12。