[論文レビュー] Elementary Proofs of Grothendieck Theorems for Completely Bounded Norms

Oded Regev, Thomas Vidick|arXiv (Cornell University)|Jun 18, 2012

Complexity and Algorithms in Graphs参考文献 9被引用数 4

ひとこと要約

本稿では、量子情報にインspiredされた技法、特に「埋め込み状態」——量子力学における特別なエンタングル状態——を核とする、C*-代数および正確な作用素空間上の連合完全有界双線形形式に関する2つのグローテンディーク定理の初等的で明示的な証明を提示する。著者らは、次元に対する対数的依存性を有する明示的構成と境界を与えることで、従来の非構成的で非可換確率論に基づく証明を改善し、作用素空間グローテンディーク定数の定量的推定値を導出する。

ABSTRACT

We provide alternative proofs of two recent Grothendieck theorems for jointly completely bounded bilinear forms, originally due to Pisier and Shlyakhtenko (Invent. Math. 2002) and Haagerup and Musat (Invent. Math. 2008). Our proofs are elementary and are inspired by the so-called embezzlement states in quantum information theory. Moreover, our proofs lead to quantitative estimates.

研究の動機と目的

• C*-代数および正確な作用素空間上の連合完全有界双線形形式に関する2つの最近のグローテンディーク型定理の、より簡単で明示的な証明を提供すること。
• タイプIIIのフォン・ノイマン代数上の複雑な非可換確率論的構成を、初等的で量子情報にインスパイアされた方法に置き換えること。
• 作用素空間グローテンディーク定数の定量的推定値を導出し、関数解析学および量子情報における応用可能性を向上させること。
• 埋め込み状態および関連する行列構成が、連合完全有界形式の全ノルム行動を捉えるのに十分であることを示すこと。

提案手法

• 証明は、M_d × M_d 上の双線形形式 φ を構成するための主要な量子状態としての「埋め込み状態」Φ_d = Z_d^{-1/2} ∑_{i=1}^d i^{-1/2} e_i ⊗ e_i を用いる。
• 行・列の ℓ1 ノルムが制御され、ln(1 + max(t,t⁻¹))/(1 + ln d) を含むスペクトル下界を持つ、d×d の「線形」行列 {L(t)}_t∈ℝ₊ の族を構成する。
• 埋め込み状態と線形行列を用いて、(x_i, y_i, t_i) ↦ (x̃_j, ỹ_j) の変換を明示的に定義し、作用素ノルムの制約を保つ。
• 具体的なトレースに基づく拡大を介して、既知の非可換グローテンディーク定理への還元に依存する。
• 確率的行列技法を用いて、分散 1/d の i.i.d. ガウス行列を含む和の期待ノルムを、集中不等式を活用して評価する。
• 構成により、拡大形式が ln(1 + max_i{t_i, t_i⁻¹}) / (1 + ln d) 比例の制御された誤差項を満たすことが保証され、普遍定数 C を持つ。

実験結果

リサーチクエスチョン

• RQ1 非可換グローテンディーク定理における連合完全有界形式の証明を、従来の非可換確率論的構成よりもより初等的で明示的な方法で行うことは可能か？
• RQ2 作用素空間グローテンディーク定数の次元 d および双線形形式のパrameter t_i に対する定量的依存性は何か？
• RQ3 量子情報理論における埋め込み状態を、連合完全有界ノルムを特徴付ける普遍的テスト状態として用いることができるか？
• RQ4 (x_i, y_i, t_i) から (x̃_j, ỹ_j) への変換を、必要な制約下で明示的かつノルムを保存する形に定義することは可能か？
• RQ5 拡大プロセスにおける誤差項の最もタイトな境界は何か？また、それらは d および t_i パラメータとどのようにスケーリングするか？

主な発見

• 本稿では、C が普遍定数であるとき、誤差項が C ln(1 + max_i{t_i, t_i⁻¹}) / (1 + ln d) で有界である新しい定量的グローテンディーク不等式を確立する。
• 埋め込み状態 Φ_d が、連合完全有界ノルムを捉えるのに十分であることが示され、すなわち Φ_d での評価のみでノルム特徴付けが可能である。
• (x_i, y_i, t_i) ↦ (x̃_j, ỹ_j) の変換は、線形行列と埋め込み状態を用いて明示的に構成され、制約 (1) が満たされることが保証される。
• 本手法により、次元 d および t_i パラメータに対して対数的依存性を示す作用素空間グローテンディーク定数の定量的境界が得られ、従来の定性的結果を改善する。
• 証明技法は強固であり、ピサイェル＝シュリャフチェンコおよびハーガープ＝ムサットの定理の両方に対して一様に適用可能であり、それらの取り扱いを統一する。
• 構成により、初等的線形代数と確率的行列集中のみを用いて、明示的定数を伴う非可換グローテンディーク定理の新たな証明が得られる。