[論文レビュー] Asymptotic Positivity of Hurwitz Product Traces

Christian Fleischhack|ArXiv.org|Apr 23, 2008

Polynomial and algebraic computation参考文献 8被引用数 4

ひとこと要約

本稿は、正定値ヘルミート行列 $A$ および $B$ に対して $AB \neq \mathbf{0}$ である限り、$m$ が十分に大きいとき、Hurwitz積のトレース $ ext{tr} olimits S_{m,k}(A,B)$ が漸近的に正であることを確立する。スペクトル射影子と非可換多項式における語の分布の漸近的解析を用いて、$m \geq m_0$ に対して $ ext{tr} olimits S_{m,k}(A,B) > 0$ を証明し、$m_0$ は $A$、$B$、$k$ に依存する。この結果は、長年のBessis-Moussa-Villani予想を漸近的領域で支持する。

ABSTRACT

Consider the polynomial $tr (A + tB)^m$ in $t$ for positive hermitian matrices $A$ and $B$ with $m \in \N$. The Bessis-Moussa-Villani conjecture (in the equivalent form of Lieb and Seiringer) states that this polynomial has nonnegative coefficients only. We prove that they are at least asymptotically positive, for the nontrivial case of $AB eq 0$. More precisely, we show that the $k$-th coefficient is positive for all integer $m \geq m_0$, where $m_0$ depends on $A$, $B$ and $k$.

研究の動機と目的

• 大規模な $m$ におけるBessis-Moussa-Villani (BMV) 予想の文脈で、Hurwitz積のトレース $ olimits\text{tr}\,S_{m,k}(A,B)$ の漸近的挙動を調査すること。
• 多項式 $ olimits\text{tr}(A + tB)^m$ の係数が $m$ が増加しても正のままであるかどうかを、個々の項に負のトレースを持つ反例が既知であるにもかかわらず、検討すること。
• 固定された $k$ および $AB \neq \mathbf{0}$ を満たす正定値ヘルミート行列 $A$、$B$ に対して、十分大きな $m$ に対して $ olimits\text{tr}\,S_{m,k}(A,B) > 0$ を確立し、BMV予想に対する漸近的証拠を提供すること。
• 行列 $A$ および $B$ における非可換単項式の構造を、$B$-因子の疎な分布を射影子 $P_A = \lim_{i \to \infty} A^i$ を用いて近似することで分析すること。
• トレース $ olimits\text{tr}\,(P_A B P_A)^k$ の正性が漸近的正性を支配することを示し、このトレースがゼロの場合に、$A$ および $B$ が非自明に作用する部分空間における低次元ケースへの帰納的還元を行うこと。

提案手法

• スペクトル射影子 $P_A = \lim_{i \to \infty} A^i$ を用いて、$B$ 要素が疎に分布する $A$ および $B$ の長い語を近似する。特に、$B$ 要素が疎に分布する場合に有効である。
• 大規模な $i_j$ を持つ形の項 $A^{i_1} B A^{i_2} \cdots B A^{i_{k+1}}$ に分解することで、$ olimits\text{tr}\,S_{m,k}(A,B)$ の漸近的挙動を分析する。
• 大規模な $m$ に対して $ olimits\text{tr}\,S_{m,k}(A,B) \approx \text{tr}\,(P_A B P_A)^k$ を適用し、正性が $ olimits\text{tr}\,(P_A B P_A)^k > 0$ に依存することを示す。
• トレース $ olimits\text{tr}\,(P_A B P_A)^k = 0$ の場合に、$A$ および $B$ が非自明に作用する部分空間に制限された低次元ブロックへの帰納的還元を実施する。
• トレースのノルム依存性を除去し、相対的正性を研究するために、正規化商 $q_{m,k}(A,B) = \text{tr}\,S_{m,k}(A,B) / \text{tr}\,S_{m,k}(\|A\|\mathbf{1}, \|B\|\mathbf{1})$ を用いる。
• リー代数の技術と交換子・フロベニウスノルムに関するトレース恒等式を用いて、ノルム制約下での $ olimits\text{tr}\,S_{m,k}$ の極値条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 固定された $k$ および $AB \neq \mathbf{0}$ を満たす正定値ヘルミート行列 $A$、$B$ に対して、十分大きな $m$ に対して Hurwitz積 $S_{m,k}(A,B)$ のトレースが正のまま保たれるか？
• RQ2 特に $B$-因子が非可換単項式に疎に分布する場合に、$m \to \infty$ のときの $ olimits\text{tr}\,S_{m,k}(A,B)$ の漸近的挙動は？
• RQ3 個々の和 $S_{m,k}(A,B)$ の項に負のトレースを持つ場合でも、$ olimits\text{tr}\,S_{m,k}(A,B)$ の正性を漸近的に確立できるか？
• RQ4 $ olimits\text{tr}\,(P_A B P_A)^k = 0$ となる条件は何か？ そして、この場合に行列次元の帰納的還元がどのように行われるか？
• RQ5 大規模な $m$ に対して正規化商 $q_{m,k}(A,B)$ は正の定数以上に有界であるか？ そして、これは完全なBMV予想を支持するか？

主な発見

• 正定値ヘルミート行列 $A$ および $B$ に対して $AB \neq \mathbf{0}$ である限り、ある $m_0 \in \mathbb{N}$ が存在し、すべての $m \geq m_0$ に対して $ olimits\text{tr}\,S_{m,k}(A,B) > 0$ が成り立つ。これは漸近的正性を証明する。
• 漸近的正性は、$P_A = \lim_{i \to \infty} A^i$ を用いて $A$ の非正則部分の核へ射影するスペクトル射影子 $P_A$ に対して、$ olimits\text{tr}\,(P_A B P_A)^k > 0$ に支配される。
• トレース $ olimits\text{tr}\,(P_A B P_A)^k = 0$ の場合、行列 $A$ および $B$ は $A = \mathbf{1}_{n-l} \oplus A'$、$B = \mathbf{0}_{n-l} \oplus B'$ の形にブロック分解可能であり、低次元ケースへの帰納的還元が可能になる。
• 正規化商 $q_{m,k}(A,B)$ はすべての $m \geq m_0$ に対して $q_{m,k}(A,B) > 0$ を満たし、トレースの相対的正性が漸近的にも保持されることを示す。
• $m_0$ の $A$、$B$、$k$ への依存性は一様でないが、極めて重要であるため、この結果は完全なBMV予想を示すものではなく、漸近的証拠として強い支持を提供する。
• 数値シミュレーションにより、$ olimits\text{tr}\,S_{m,k}(A,B)$ の列にさらなる構造が存在することが示唆されるが、本稿ではすべての $m$ に対して単調性や正の定数による下界が保証されていない。