[論文レビュー] Grothendieck's inequality and completely correlation preserving functions -- a summary of recent results and an indication of related research problems

Frank Oertel|arXiv (Cornell University)|Oct 2, 2020

Mathematical Inequalities and Applications参考文献 30被引用数 6

ひとこと要約

この論文は、スチュール積、ガウス・コプゥラ、テイラー級数の逆表現を用いて、相関行列上の要素ごとの関数を通じてグロテンディークの不等式を調査する。多変量正規分布解析、特殊関数、作用素論を結びつける画期的な枠組みを提案し、実数および複素数の場合のグロテンディーク定数の正確な値を求める道筋を提示する。

ABSTRACT

As part of the search for the value of the smallest upper bound of the best constant for the famous Grothendieck inequality, the so-called Grothendieck constant (a hard open problem - unsolved since 1953), we provide a further approach, primarily built on functions which map correlation matrices entrywise to correlation matrices by means of the Schur product, multivariate Gaussian analysis, copulas and inversion of suitable Taylor series. We summarise first results and point towards related open problems and topics for future research.

研究の動機と目的

• 1953年以降未解決のままとなっている、グロテンディーク定数 $K_G^\mathbb{R}$ および $K_G^\mathbb{C}$ の正確な値を求めるための新しい解析的枠組みを構築すること。
• ヒルベルト空間やテンソルノルムにとどまらないグロテンディークの不等式の応用を、相関行列上の要素ごとの写像に焦点を当てて拡張すること。
• 多変量正規分布の依存構造、コプゥラ、特殊関数をテンソル積の距離論と結びつけること。
• グロテンディークの不等式の背後にある組合せ的複雑性を解明し、$K_G^\mathbb{R}$ の明示的計算が可能かどうかを評価すること。

提案手法

• スチュール積を用いて、要素ごとの関数により相関行列から相関行列への写像を定式化する。
• ガウス・コプゥラモデルを適用し、符号関数の期待値を逆正弦法則で表現することで、$ (1/2, 1/2) $ における2変量ガウス・コプゥラと関連付ける。
• テイラー級数の逆表現と通常の部分ベル多項式を用いて、相関行列の関数的変換を分析する。
• エルミート多項式とガウス超幾何関数を用いて、高次依存性およびスペクトル的性質をモデル化する。
• ショーンベルクの定理を用いて、相関行列上での完全正定値関数を特徴付ける。
• 作用素イデアルとトレース双対性を統合し、グロテンディークの不等式をバナッハ空間テンソルノルムの観点から再定式化する。

実験結果

リサーチクエスチョン

• RQ1 要素ごとの関数とガウス・コプゥラモデルを用いて、グロテンディーク定数 $K_G^\mathbb{R}$ を正確に計算できるか？
• RQ2 グロテンディークの不等式におけるガウス構造を、重尾または極値分布に置き換えても、不等式の成立は保たれるか？
• RQ3 量子相関を捉え、ツィレルソン限界と関連付ける非可換コプゥラの一般化は存在するか？
• RQ4 関数解析的および特殊関数的手法により、グロテンディーク問題の組合せ的複雑性を克服できるか？
• RQ5 一般化極値（GEV）分布または無限可除分布を用いることで、$K_G^\mathbb{R}$ の評価が向上するか？

主な発見

• 本論文は、提案された関数的枠組みを用いて、クリヴィネの上界を活用し、実グロテンディーク不等式の短い証明を提供する。
• 2変量ガウス・コプゥラを $ (1/2, 1/2) $ で評価した結果と逆正弦法則の明確な関係を確立する：$ \mathbb{E}[\text{sign}(X)\text{sign}(Y)] = \frac{2}{\pi}\arcsin(\rho) $、ここで $ \rho = \mathbb{E}[XY] $。
• この枠組みにより、グロテンディーク定数 $ K_G^\mathbb{R} $ が、ツィレルソン限界によって形式化された量子相関の非可換性と密接に関連していることが明らかになる。
• エルミート多項式と超幾何関数の使用により、相関を保存する関数の体系的展開が可能となり、$ K_G^\mathbb{R} $ の級数近似への道筋が示唆される。
• 本論文は、グロテンディーク定数 $ K_G^\mathbb{R} $ が実グロテンディーク定数以下、$ \sqrt{2}K_G^\mathbb{C} $ 以上であり、$ K_G^\mathbb{C} < \pi/2 $ であるが、正確な値は未解明であると示唆する。
• ガウス依存を尾部依存モデル（例：GEV分布）に置き換えると、不等式の有効性が変化する可能性があり、耐性および評価の問題が浮上する。