[论文解读] On D. Haegele's approach to the Bessis-Moussa-Villani conjecture

Peter S. Landweber, Eugène R. Speer|ArXiv.org|Nov 5, 2007

Advanced Combinatorial Mathematics参考文献 4被引用 5

一句话总结

本文将 D. Hägele 的方法扩展至证明正半定矩阵 A 和 B 的 (A + tB)^p 的迹展开中系数的非负性。分析了当 p 或 r 为奇数时该方法的成功条件，证明条件 H 成立当且仅当 p 和 r 均为奇数且 r = p − 4，或在特定结构约束下成立。主要贡献是完整分类了该方法成功的情形，表明其在 p = 9, r = 3 时失败，因此无法通过此途径证明完整的 Bessis-Moussa-Villani 猜想。

ABSTRACT

The reformulation of the Bessis-Moussa-Villani conjecture given by Lieb and Seiringer asserts that the coefficient of t^r in the polynomial Trace[(A+tB)^p], with A and B positive semidefinite matrices, is nonnegative for all p and r. We propose a natural extension of a method of attack on this problem due to Haegele, and investigate for what values of p and r the method is successful, obtaining a complete determination when either p or r is odd.

研究动机与目标

• 研究 D. Hägele 方法在证明正半定矩阵 A, B 的迹系数 αp,r(A,B) 非负性方面的适用性。
• 确定对于哪些 p 和 r 值，该方法能成功证明对所有正半定 A, B 有 αp,r ≥ 0。
• 对所有满足 p 或 r 为奇数的 (p,r) 对，分类该方法的条件 H 成立的情形。
• 证明该方法在 p = 9, r = 3 时失败，因此无法通过此途径建立完整的 BMV 猜想。

提出的方法

• 该方法通过构造系数 c^{(m)} 来推广 Hägele 的方法，使得 αp,r(A,B) 可表示为形如 Tr(Z(c^{(m)})BZ(c^{(m)})^*) 或 Tr(Z(c^{(m)})BZ(c^{(m)})^*A) 的迹之和，具体取决于 p 和 r 的奇偶性。
• 核心思想是将迹系数 αp,r(A,B) 表示为二进制字符串的循环等价类上的求和，利用迹在循环置换下的不变性。
• 引入条件 H：存在系数 c^{(m)}，使得对所有 m 及 u,v，|c^{(m)}_u|^2 的和满足与每个循环类大小相匹配的方程组。
• 该方法依赖于将迹表示为厄米特平方之和，将问题与非交换多项式环 R⟨a,b⟩ 中的代数结构及循环等价性联系起来。
• 分析区分两种情形：情形 1（p 和 r 为奇数），以及情形 2（p 为偶数，r 为奇数），通过 r ↔ p−r 对称性可得到 p 为奇数、r 为偶数时的对称结果。
• 该方法与 Θ² 锥（循环等价的厄米特平方之和）相关联，表明条件 H 蕴含 S_{p,r}(a²,b²) ∈ Θ²，反之亦然。

实验结果

研究问题

• RQ1 对于哪些满足 p 或 r 为奇数的 (p,r) 对，Hägele 的方法能成功证明对所有正半定 A, B 有 αp,r ≥ 0？
• RQ2 当 p 和 r 均为偶数时，该方法是否仍能成功？还是其本质上仅限于 p 或 r 为奇数的情形？
• RQ3 能否在 p = 9, r = 3 时满足条件 H？若不能，其结构性障碍是什么？
• RQ4 对所有满足 p 或 r 为奇数的 (p,r) 对，该方法成功的情形是否存在完整分类？
• RQ5 该方法在 p = 9, r = 3 时的失败是否意味着无法通过此途径证明 BMV 猜想？

主要发现

• 条件 H 成立当且仅当 p 和 r 均为奇数且 r = p − 4，或在引理 7 中的特定字符串构造条件下成立。
• 当 p = 9, r = 3 时，该方法因由柯西-施瓦茨不等式导出的方程组不一致而失败。
• 对于所有奇数 p，当 r = p − 4 时该方法均成功，意味着对所有奇数 p 有 αp,p−4 ≥ 0。
• 该方法在 p = 6, r = 3 时失败，但此情形可通过 Hillar 定理由 p = 7, r = 3 的结果覆盖。
• 该方法无法建立完整的 BMV 猜想，因其在 p = 9, r = 3 时失败，且仅在有限情形下成功。
• 结果表明，若想通过此方法证明 BMV 猜想，必须考虑 p 和 r 均为偶数的情形。