[論文レビュー] Hyperbolic polynomials and the Kadison-Singer problem

Petter Brändén|arXiv (Cornell University)|Sep 10, 2018

Mathematical Dynamics and Fractals参考文献 18被引用数 8

ひとこと要約

この論文は、マーカス、スピルマン、スリヴァスターヴァによるカジソン＝シュナイダー問題の画期的な証明を、双曲多項式および双曲性コーンのより広範な枠組みへと拡張し、ランク制約を除去するとともに、分割問題における作用素ノルムのより鋭い境界を提供する。作用素ノルムの境界を、すべての $ r \geq 2 $ に対して改善し、$ r=2 $ では正確に一致し、$ r>2 $ では厳密に改善する、双曲コーン上での混合特性多項式に関する一般定理を確立する。

ABSTRACT

Recently Marcus, Spielman and Srivastava gave a spectacular proof of a theorem which implies a positive solution to the Kadison-Singer problem via Weaver's $KS_r$ conjecture. We extend this theorem to the realm of hyperbolic polynomials and hyperbolicity cones, as well as to arbitrary ranks. We also sharpen the theorem by providing better bounds, which imply better bounds in Weaver's $KS_r$ conjecture for each $r>2$. For $r=2$ our bound agrees with Bownik et al.

研究の動機と目的

• 正定値行列に限らない双曲多項式および双曲性コーンの設定へ、マーカス、スピルマン、スリヴァスターヴァによるカジソン＝シュナイダ−問題の解決を一般化すること。
• 元の定理におけるランク1制約を排除し、より高いランクの作用素や、ユーグレア幾何代数や対称領域のような代数的構造への応用を可能にすること。
• 分割不等式における作用素ノルムの境界を精緻化し、特に $ r > 2 $ における境界を改善しつつ、$ r = 2 $ におけるタイトネスを保持すること。
• 双曲多項式の理論に基づいて証明フレームワークを統一し、行列から多項式への変換にヘイルトン＝ヴィニコフの定理に依存しないこと。
• 混合特性多項式の最大固有値に対する明示的で鋭い境界を、トレースとランクパラメータの観点から導出すること。

提案手法

• 相互に適合する多項式族を、インタラーシング族の部分クラスとして導入し、混合特性多項式の構造的解析を可能にする。
• 双曲多項式の多重線形拡張を用いて、混合双曲多項式を定義し、期待値および分割に関して閉じた多項式のクラスを構築する。
• 双曲多項式の相関不等式を導出し、確率的分割における混合特性多項式の最大固有値を制御する。
• 双曲多項式の凸性および実根性の性質を用いて、混合特性多項式の最大零点に対する境界を適用する。
• 双曲性コーンの理論を用いて、任意の双曲多項式へ作用素ノルムの分割結果を一般化し、クaternion上やジュリアン代数上の多項式を含む。
• 双曲性コーン内の独立な確率的ベクトルを用いた確率的アプローチにより、問題を期待値に基づく不等式に還元し、マーカス＝スリヴァスターヴァの定理の一般化形に至る。

実験結果

リサーチクエスチョン

• RQ1 マーカス＝スリヴァスターヴァの定理は、ランク1行列に限らず、一般の双曲多項式および双曲性コーンへ拡張可能か？
• RQ2 行列がランク1に制限されない場合、正定値行列の和の作用素ノルムの分割における最適境界は何か？
• RQ3 双曲的設定下で、混合特性多項式の最大固有値の境界は、トレースとランクパラメータにどのように依存するか？
• RQ4 証明フレームワークを双曲多項式理論に内在的にすることができるか？ヘイルトン＝ヴィニコフの定理のような外部ツールに依存しないか？
• RQ5 一般化された設定下で、特に $ r > 2 $ に対して、最大固有値の明示的で鋭い境界は何か？

主な発見

• 本論文は、マーカス＝スリヴァスターヴァの定理を任意の双曲多項式および双曲性コーンへ一般化し、ランク1制約の必要性を排除した。
• $ r = 2 $ の場合、導出された境界はボウキング他による鋭い結果と一致し、既知の事例における一貫性と正しさを確認した。
• $ r > 2 $ の各 $ r $ に対して、以前の結果と比較して作用素ノルムの境界が厳密に改善されており、$ \epsilon $ と $ r $ を用いた明示的表現が得られた。
• $ r \geq 2 $ に対する境界は、$ \delta(\epsilon, \infty, r) = \begin{cases} 1 + 2\sqrt{\epsilon}\sqrt{1 - \epsilon/r} + \frac{r-1}{r}\epsilon, & \epsilon \leq r/(r+1), \\ 2 + \epsilon(1 - 2/r), & \epsilon > r/(r+1). \end{cases} $ で与えられる。
• この手法により、ヘイルトン＝ヴィニコフの定理による行列問題の多項式形式への変換に依存しない、一貫性のある内在的証明が得られた。
• 結果は、クaternion上のエルミート行列、ユーグレア幾何代数、対称領域を含む広範な代数的構造に適用可能であり、元のカジソン＝シュナイダ−問題の解決の適用範囲を拡大した。