[論文レビュー] Van der Waerden Conjecture for Mixed Discriminants

Leonid Gurvits|ArXiv.org|Jun 21, 2004

Limits and Structures in Graph Theory参考文献 8被引用数 8

ひとこと要約

この論文は、1989年にR. バパトが提起した予想を証明している。任意の双対確率的$n$-重の$n\times n$正定値半定値ヘルミート行列の混合判別式は、$\frac{n!}{n^n}$以上に下から抑えられ、等号は唯一のケース$\left(\frac{1}{n}I,\dots,\frac{1}{n}I\right)$で成立する。証明は凸最適化、行列解析、双曲多項式の道具を用い、永続的行列のバーンスタイン予想を混合判別式のより広い設定に一般化している。

ABSTRACT

We prove that the mixed discriminant of doubly stochastic $n$-tuples of semidefinite hermitian $n imes n$ matrices is bounded below by $\frac{n!}{n^{n}}$ and that this bound is uniquely attained at the $n$-tuple $(\frac{1}{n} I,...,\frac{1}{n} I)$. This result settles a conjecture posed by R. Bapat in 1989. We consider various generalizations and applications of this result.

研究の動機と目的

• 双対確率的$n$-重の正定値半定値ヘルミート行列の混合判別式の最小値に関するR. バパトの1989年予想を解決すること。
• 行列のトレース正規化と和が恒等行列に等しいという制約下で、混合判別式の下界$\frac{n!}{n^n}$を確立すること。
• 永続的行列のヴァン・デル・ワールデン予想を、半定値行列の文脈における混合判別式に一般化すること。
• ブロック行列と分離可能性を介して、混合判別式、双曲多項式、量子情報理論との関係を調査すること。

提案手法

• 混合判別式を、行列の線形結合の行列式の$n$階混合偏微分として定義する：$ D(A_1,\dots,A_n) = \frac{\partial^n}{\partial t_1\cdots\partial t_n} \det(\sum t_i A_i) $。
• 半定値制約下での局所最小値の必要条件を適用し、ヘルミート行列の空間を内積$ \langle A,B \rangle = \operatorname{tr}(AB) $を備えた実内積空間として扱う。
• 混合判別式のテンソル積表現を用いる：$ D(A_1,\dots,A_n) = \langle (A_1 \otimes \cdots \otimes A_n)V, V \rangle $、ここで$ V $は置換に関連する特定の$ n^n $次元のベクトルである。
• 混合判別式が各引数に関して線形であり、すべての行列が正定値半定値であれば非負であり、すべての部分集合に対して$ \operatorname{rank}(\sum_{j=1}^k A_{i_j}) \geq k $というランク条件を満たす場合に厳密に正であるという事実を用いる。
• 混合判別式の正定性の性質と構造を通じて、アレクサンドロフ＝フェンケルの不等式を暗黙的に適用する。
• 双曲多項式に結果を拡張するため、$ M_p({\bf X}) $を双曲多項式$ p $の$n$階混合導関数として定義し、$ e $-双対確率的$n$-重に対して下界$ p(e) \frac{n!}{n^n} $を予想する。

実験結果

リサーチクエスチョン

• RQ1 すべての正定値半定値ヘルミート行列の$n$-重$ (A_1,\dots,A_n) $が$ \operatorname{tr}(A_i) = 1 $および$ \sum A_i = I $を満たすとき、混合判別式$ D(A_1,\dots,A_n) $の下限は何か？
• RQ2 この下限$ \frac{n!}{n^n} $は、唯一の$ n $-重$ \left(\frac{1}{n}I,\dots,\frac{1}{n}I\right) $で達成されるか？
• RQ3 永続的行列のヴァン・デル・ワールデン予想は、半定値行列の混合判別式の文脈に一般化可能か？
• RQ4 分離可能または双対確率的ブロック行列としての$ 4 $次元パスカル行列式（または$ QP(\rho) $）の最小値は何か？
• RQ5 任意の$ e $-双曲多項式$ p $に対して、$ e $-双対確率的$ n $-重のベクトル$ {\bf X} $の$ p $-混合値$ M_p({\bf X}) $の最小値は$ p(e) \frac{n!}{n^n} $に等しいか？

主な発見

• 任意の双対確率的$n$-重の$ n\times n $正定値半定値ヘルミート行列の混合判別式は、$ \frac{n!}{n^n} $以上に下から抑えられ、等号はすべての行列が$ \frac{1}{n}I $に等しい場合にのみ成立する。
• 下界$ \frac{n!}{n^n} $は唯一の$ n $-重$ \left(\frac{1}{n}I,\dots,\frac{1}{n}I\right) $で達成され、バパトの予想が複素ヘルミートの場合に確認された。
• この結果は、永続的行列のヴァン・デル・ワールデン予想を一般化しており、双対確率的行列の永続的行列は混合判別式の特別なケースである。
• $ n \geq 3 $のとき、すべての双対確率的$ n\times n $ブロック行列$ \rho $における$ QP(\rho) $の最小値は0であるが、分離可能な行列の最小値は0より大きい。
• $ n=2 $では、$ \min_{\rho \in \mathrm{Se}D_n} QP(\rho) = \frac{n!}{n^n} $が成り立ち、等号は$ \frac{1}{2} $で成立し、これは一般化された予想として提示されている。
• 任意の$ e $-双曲多項式$ p $に対して、$ e $-双対確率的$ n $-重の$ {\bf X} $における$ p $-混合値$ M_p({\bf X}) $の最小値が$ p(e) \frac{n!}{n^n} $に等しいと予想されている。