[論文レビュー] Advances on the Bessis-Moussa-Villani Trace Conjecture

Christopher J. Hillar|ArXiv.org|Jul 8, 2005

Matrix Theory and Algorithms参考文献 9被引用数 4

ひとこと要約

この論文は、Bessis-Moussa-Villani (BMV) トレース予想を進展させ、Tr[(A + tB)^m] のトレース多項式の係数を最小化または最大化する行列 A と B に対するオイラー＝ラグランジュ方程式を導出する。もし予想が特定の m に対して成り立たないならば、それより大きなすべての m に対しても成り立たないことを証明し、また、特異な正定値半定値行列、あるいは無限個の m に対して予想を検証すれば、一般に成立することを示している。

ABSTRACT

A long-standing conjecture asserts that the polynomial \[p(t) = ext{Tr}[(A+tB)^m]\] has nonnegative coefficients whenever $m$ is a positive integer and $A$ and $B$ are any two $n imes n$ positive semidefinite Hermitian matrices. The conjecture arises from a question raised by Bessis, Moussa, and Villani (1975) in connection with a problem in theoretical physics. Their conjecture, as shown recently by Lieb and Seiringer, is equivalent to the trace positivity statement above. In this paper, we derive a fundamental set of equations satisfied by $A$ and $B$ that minimize or maximize a coefficient of $p(t)$. Applied to the Bessis-Moussa-Villani (BMV) conjecture, these equations provide several reductions. In particular, we prove that it is enough to show that (1) it is true for infinitely many $m$, (2) a nonzero (matrix) coefficient of $(A+tB)^m$ always has at least one positive eigenvalue, or (3) the result holds for singular positive semidefinite matrices. Moreover, we prove that if the conjecture is false for some $m$, then it is false for all larger $m$.

研究の動機と目的

• 正定値半定値エルミート行列 A と B に対して、Tr[(A + tB)^m] の係数が非負であるという、長年の Bessis-Moussa-Villani (BMV) トレース予想を解決すること。
• トレース多項式 p(t) = Tr[(A + tB)^m] の係数を最小化または最大化する極値行列 A と B の必要条件を同定すること。
• もし予想が特定の m に対して成り立たないならば、それより大きなすべての m に対しても成り立たないことを証明し、また、特異な行列または無限個の m に対して予想を検証すれば十分であることを示すことにより、問題をより簡単な場合に還元すること。
• 特異な正定値半定値行列に対して予想が成立するならば、すべての正定値半定値行列（可逆な場合を含む）に対しても成立することを確立すること。

提案手法

• 単位ノルム制約の下で、トレース係数 Tr[S_{m,k}(A,B)] に対して変分法を適用し、基本的な行列方程式のペア（以下、オイラー＝ラグランジュ方程式と呼ぶ）を導出する。
• トレース恒等式 Tr[S_{m,k}(A,B)] = (m/(m-k)) Tr[AS_{m-1,k}(A,B)] = (m/k) Tr[BS_{m-1,k-1}(A,B)] を用いて、異なる m と k の間での係数を関連付ける。
• コーシー＝シュワルツの不等式とノルムの上限を用いて、エルミート行列が単位ノルムである場合に |Tr[S_{m,k}(A,B)]| ≤ (m choose k) が成り立つことを導出する。
• 正定値半定値行列の積が非負固有値を持つことを利用し、Tr[AS_{m,k}(A,B)] と Tr[BS_{m,k}(A,B)] の符号を分析する。
• 斉次性と連続性の議論を用いて、問題を単位ノルムの行列に還元し、極値構成を分析する。
• トレース恒等式と固有値の非負性に基づく背理法を用いて、可逆行列がトレース係数を最小化できるのは、予想が成立する場合に限ることを証明する。

実験結果

リサーチクエスチョン

• RQ1 行列 A と B が、トレース多項式 Tr[(A + tB)^m] の係数を最小化または最大化する条件は何か？
• RQ2 BMV 予想が特定の m に対して成り立たないならば、それより大きなすべての m に対しても成り立たないか？
• RQ3 予想は特異な正定値半定値行列のケースに還元可能か？
• RQ4 無限個の m に対して予想を検証すれば、一般の成立性を確立できるか？
• RQ5 オイラー＝ラグランジュ方程式は、極値行列 A と B にどのような制約を課えるか？

主な発見

• BMV 予想が特定の m に対して成り立たないならば、それより大きなすべての m に対しても成り立たない。これは反例の上向き閉包性を示している。
• 予想がすべての m に対して成り立つための必要十分条件は、無限個の m に対して成り立つことである。これは強力な還元基準を提供する。
• 予想は、A と B が正定値半定値であるとき、(A + tB)^m のすべての非ゼロ係数が少なくとも一つの正の固有値を持つという主張と同値である。
• すべての正定値半定値行列（可逆な場合を含む）に対して予想が成り立つための必要十分条件は、すべての特異な正定値半定値行列に対して成り立つことである。
• 係数 Tr[S_{m,k}(A,B)] が可逆な A と B で最小化される点では、矛盾が生じる。これは極値行列が特異でなければならないことを示唆する。
• すべてのエルミート行列が単位ノルムである場合に、|Tr[S_{m,k}(A,B)]| ≤ (m choose k) が成り立ち、等号は m > 2 において A = ±B かつ A が唯一つの非ゼロ固有値を持つときのみ成立する。