[論文レビュー] Remarks on BMV conjecture

Shmuel Friedland|ArXiv.org|Apr 24, 2008

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

ひとこと要約

この論文は、正定値エルミート行列 $ A $ および $ B $ に対して、トレース多項式 $ \mathrm{Tr}(A + tB)^m $ の $ t^k $ 項の係数について、漸近的正性の結果を確立する。固定された $ k $ および $ \mathrm{Tr}(AB) > 0 $ のもとで、$ m $ が閾値 $ N(A,B,k) $ を超えると、$ t^k $ の係数が正であることが証明され、主な漸近的挙動は $ A $ の最大固有値に対応する $ B $ の主部分行列の $ k $ 乗のトレースによって支配されることを示している。

ABSTRACT

We show that for fixed $A,B$, hermitian nonnegative definite matrices, and fixed $k$ the coefficients of the $t^k$ in the polynomial $ r (A+tB)^m$ is positive if $ r AB >0$ and $m>N(A,B,k)$.

研究の動機と目的

• 条件 $ \mathrm{Tr}(AB) > 0 $ のもとで、トレース多項式 $ \mathrm{Tr}(A + tB)^m $ の個々の係数について、漸近的正性の結果を確立すること。
• $ t^k $ の係数が厳密に正になるまでの閾値 $ m > N(A,B,k) $ を特定すること。
• $ m \to \infty $ のときの $ \mathrm{Tr}(S_{m,k}(A,B)) $ の主な漸近的挙動を分析し、$ A $ の最大固有値ブロックとそれに対応する $ B $ の部分行列からの寄与が支配的であることを特定すること。
• $ n = 3 $ の場合に、特定の制約の下で $ \mathrm{Tr}(A + tB)^m $ の $ t^3 $ 係数がすべての $ m $ に対して非負であることを検証すること。

提案手法

• 再帰的行列トレース恒等式を用い、$ S_{m+1,k} = A S_{m,k} + B S_{m+1,k-1} $（ただし $ \min(p,q) < 0 $ のとき $ S_{p,q} = 0 $）という再帰関係により、$ \mathrm{Tr}(S_{m,k}(A,B)) $ を生成関数の係数として表現する。
• ブロックトーペリッツ行列 $ T_k(A,B) $ のリゾルベントに対するネウマン級数展開を適用し、$ \mathrm{Tr}(S_{m,k}(A,B)) $ の生成関数を $ (I - tA)^{-1} (B(I - tA)^{-1})^k $ のトレースと関連付ける。
• 有理関数 $ \mathrm{Tr}(I - tA)^{-1} (B(I - tA)^{-1})^k $ を分析し、$ z = 1/a_i $ に極を持つことを特定し、支配的極 $ z = 1/a_p $ における留数を計算する。ここで $ a_p $ は $ A $ の最大の正の固有値である。
• 留数が $ \mathrm{Tr}(C^k) $ に等しいことを示し、ここで $ C $ は $ a_i = a_p $ となる添字に対応する $ B $ の主部分行列である。この結果を用いて漸近公式を導出する。
• トレースの巡回不変性と $ C,D \succeq 0 $ のとき $ \mathrm{Tr}(CD) \geq 0 $ であることを用い、低次の項を分析し、$ n = 3, k = 3 $ の場合の非負性を検証する。
• $ n = 3, k = 3 $ の場合を、$ \det B = 0 $、$ B \succeq 0 $、$ A = \mathrm{diag}(1,a,0) $ の制約の下で、有理関数のテイラー級数係数の非負性を確認する問題に還元する。

実験結果

リサーチクエスチョン

• RQ1 固定された $ k $、$ A $、$ B $ に対して、$ \mathrm{Tr}(AB) > 0 $ のもとで、$ \mathrm{Tr}(A + tB)^m $ の $ t^k $ 係数が十分に大きな $ m $ に対して正になるか。
• RQ2 $ m \to \infty $ のときの $ \mathrm{Tr}(S_{m,k}(A,B)) $ の漸近的挙動は何か？ そして、主な項を支配するのはどの $ B $ の部分行列か？
• RQ3 $ n = 3 $ の場合に、すべての $ m $ およびすべての $ 3 \times 3 $ の正定値エルミート行列 $ A, B $ に対して、$ \mathrm{Tr}(A + tB)^m $ の $ t^3 $ 係数が非負であることを示せるか？
• RQ4 $ A $ および $ B $ の構造、特に最大固有値の位置が、$ t^k $ 係数の漸近的正性にどのように影響するか？
• RQ5 $ \mathrm{Tr}(AB) = 0 $ であるとき、$ \mathrm{Tr}(S_{m,k}(A,B)) $ の消滅にどのような役割を果たすか？

主な発見

• 固定された $ k $、$ A $、$ B $ および $ \mathrm{Tr}(AB) > 0 $ のもとで、$ \mathrm{Tr}(A + tB)^m $ の $ t^k $ 係数はすべての $ m > N(A,B,k) $ に対して正であり、漸近的正性の結果が確立された。
• $ m \to \infty $ のときの $ \mathrm{Tr}(S_{m,k}(A,B)) $ の主な漸近的挙動は、$ \mathrm{Tr}(C^k) \cdot a_p^m \binom{m+k}{k} $ に等しく、ここで $ C $ は $ A $ の最大固有値 $ a_p $ に対応する添字の部分行列である。
• $ \lim_{m \to \infty} \frac{\mathrm{Tr}(S_{m,k}(A,B))}{a_p^m \binom{m+k}{k}} = \mathrm{Tr}(C^k) $ が成り立ち、$ C \succeq 0 $ であるため、$ \mathrm{Tr}(C^k) \geq b_{pp}^k > 0 $ が成り立ち、正性が保証される。
• $ \mathrm{Tr}(AB) = 0 $ であるとき、$ AB = 0 $ であることが従い、したがってすべての $ m,k \geq 1 $ に対して $ \mathrm{Tr}(S_{m,k}(A,B)) = 0 $ となる。これは退化ケースを確認する。
• $ n = 3 $ の場合、$ A = \mathrm{diag}(1,a,0) $、$ B \succeq 0 $、$ \det B = 0 $、$ u,v,w > 0 $ の制約の下で、$ \mathrm{Tr}(A + tB)^m $ の $ t^3 $ 係数がすべての $ m $ に対して非負であることが示された。これは有理関数の生成関数を分析し、すべてのテイラー係数の非負性を確認することで得られた。
• 証明は、$ (B(I - tA)^{-1})^3 $ の対角成分の明示的計算に依拠しており、与えられた制約のもとで、$ \mathrm{Tr}(I - tA)^{-1} (B(I - tA)^{-1})^3 $ の結果となる級数のすべての項が非負係数を持つことを示している。