[论文解读] Analogs of the van der Waerden and Tverberg conjectures for haffnians

Shmuel Friedland|arXiv (Cornell University)|Feb 12, 2011

Markov Chains and Monte Carlo Methods参考文献 24被引用 3

一句话总结

本文提出了 haffnian 的 van der Waerden 与 Tverberg 猜想的类比，聚焦于具有零对角线的对称双随机矩阵（记为 Ψ₂ₙ）。研究证明，当 k=2 时，均匀矩阵 1/(2n−1)A(K₂ₙ) 是 Ψ₂ₙ 上 k-haffnian 泛函的局部极小值，从而在该情况下证实了该猜想；然而当 n 较大时，该猜想在 k=n 时不成立。其主要贡献是利用双曲性与混合导数不等式，为 Ψ₂ₙ 上的 hafₖ(B) 建立了下界。

ABSTRACT

We discuss here analogs of van der Waerden and Tverberg permanent conjectures for haffnians on the convex set of matrices whose extreme points are symmetric permutation matrices with zero diagonal.

研究动机与目标

• 将原本针对双随机矩阵的永久行列式成立的 van der Waerden 与 Tverberg 猜想，推广至具有零对角线的对称矩阵的 haffnian。
• 定义并表征对称双随机矩阵中零对角线的凸集 Ψ₂ₙ，其极值点为具有零对角线的对称置换矩阵。
• 为 Ψ₂ₙ 上的 k-haffnian 泛函 hafₖ(B) 建立下界，特别研究均匀矩阵 1/(2n−1)A(K₂ₙ) 是否为 hafₖ(B) 的最小值。
• 利用微分几何与双曲多项式理论，分析 hafₖ(B) 在 Ψ₂ₙ 上的临界点结构。

提出的方法

• 将凸集 Ψ₂ₙ 定义为具有零对角线的对称双随机矩阵集合，其由边奇集不等式 (1.2) 表征。
• 将 haffnian hafₖ(B) 定义为完全图 K₂ₙ 中边权由 B 给出的加权 k-匹配之和。
• 应用双曲多项式理论，特别是 Gurvits（2009）提出的混合导数不等式，推导 hafₖ(B) 的下界。
• 利用恒等式 hafₖ(F) = (1/k)∑_{i<j} f_{ij} haf_{k−1}(F[[2n]\{i,j}])，在均匀矩阵 C=1/(2n−1)A(K₂ₙ) 附近对 hafₖ(B+Y) 进行泰勒展开。
• 证明展开式中的线性项因约束 Y1=0 而消失，从而表明 C 是一个临界点。
• 证明 hafₖ 在 C 处的 Hessian 算子在切空间 Φ₂ₙ 上正定，从而确认当 k=2 时 C 为严格局部极小值。

实验结果

研究问题

• RQ1 对于所有 k=2,…,n，均匀矩阵 1/(2n−1)A(K₂ₙ) 是否为 Ψ₂ₙ 上 k-haffnian 泛函 hafₖ(B) 的最小值？
• RQ2 对于所有 B∈Ψ₂ₙ，是否成立 hafₖ(B) ≥ hafₖ(1/(2n−1)A(K₂ₙ))，且等号仅在均匀矩阵处成立？
• RQ3 该猜想在哪些 k 与 n 的取值下失效？其失效的结构性原因是什么？
• RQ4 能否利用双曲多项式理论为 Ψ₂ₙ 上的 hafₖ(B) 建立非平凡的下界？
• RQ5 当 n→∞ 时，最小 k-haffnian 值 μₖ,ₙ 的渐近行为如何？

主要发现

• 当 k=2 时，猜想 hafₖ(B) ≥ hafₖ(1/(2n−1)A(K₂ₙ)) 成立，因为均匀矩阵是 Ψ₂ₙ 上 haf₂(B) 的严格局部极小值。
• 对于 Ψ₂ₙ 中恰好有一个正特征值的 B，有下界 hafₙ(B) ≥ (n−1)ⁿ⁽ⁿ⁻¹⁾ / nⁿ⁽ⁿ⁻¹⁾ ≈ e⁻ⁿ√e，且对大 n 有渐近近似式 (2.6)。
• 对于 k=2,…,n−1，利用 Gurvits（2009）定理 3.1 中关于双曲多项式混合导数的结论，导出了下界 (2.7)。
• 在均匀矩阵 C 处，hafₖ 的 Hessian 算子在切空间 Φ₂ₙ 上正定，从而确认 C 是所有 k=2,…,n 的严格局部极小值。
• 当 k=n 且 n 较大时，该猜想不成立，论文通过结构反例证明了这一点。
• hafₖ(1/(2n−1)A(K₂ₙ)) 的值可显式计算为 (1/(2n−1)ᵏ) 乘以 K₂ₙ 中 k-匹配的数量，这是一个已知的组合量。