[論文レビュー] A transference method in quantum probability

Marius Junge, Javier Parcet|arXiv (Cornell University)|Feb 12, 2008

Advanced Operator Algebra Research参考文献 30被引用数 4

ひとこと要約

本稿は、量子確率における新規な転送法を導入し、C*-代数のテンソル積における独立コピーの和と自由積における自由独立コピーの和の間でノルム同値性を確立する。主な結果は、$ x \in L_p(\mathcal{M}) $ に対して、独立コピーの和の $ L_p $ ノルムが自由独立コピーの和のノルムと一様に同値であり、$ p=1 $ の近傍で定数が一様に有界であることを示しており、古典的および非可換ローゼンタール不等式における特異性を解消する。

ABSTRACT

Working with a rather general notion of independence, we provide a transference method which allows to compare the p-norm of sums of independent copies with the p-norm of sums of free copies. Our main technique is to construct explicit operator space Lp embeddings preserving independence to reduce the problem to L1, where some recent results by the first-named author can be used. We find applications for noncommutative Khincthine/Rosenthal type inequalities and for noncommutative Lp embedding theory.

研究の動機と目的

• 古典的および非可換ローゼンタール不等式における $ p=1 $ における特異性を解消すること。
• テンソル積における独立コピーの和のノルムと自由積における自由独立コピーの和のノルムを比較する一般の転送法を開発すること。
• 部分代数上での独立性を用いて、演算子値設定へのノルム推定を拡張すること。
• 非可換 $ L_p $-空間への埋め込み結果を、$ p=1 $ の近傍で一様な制御を伴って提供するフレームワークを構築すること。
• 半有限なフォン・ノイマン代数の文脈において、$ \ell_q $-型の埋め込みが $ L_p(\mathcal{M}) $ 空間に一様に有界となる条件を明確にすること。

提案手法

• テンソル積代数における独立コピーの和の $ L_p $ ノルムと自由積代数における自由独立コピーの和の $ L_p $ ノルムを比較する転送原理を導入する。
• 条件付き部分代数 $ \mathcal{N} $ 上での独立性の概念を用い、$ a_1 \in \mathcal{M}_1 $, $ a_2 \in \mathcal{M}_2 $ に対して $ \mathsf{E}_{\mathcal{N}}(a_1a_2) = \mathsf{E}_{\mathcal{N}}(a_1)\mathsf{E}_{\mathcal{N}}(a_2) $ を満たす条件付き期待値を定義する。
• 部分代数 $ \mathcal{N} $ 上でのトップ-部分対称コピーを定義し、やや弱い条件下でも積におけるトップインデックスの交換可能性を保証する。
• 非可換ローゼンタール型因数分解定理を適用して、密度関数と収縮作用素の項に作用素を分解し、ノルム推定を可能にする。
• 超積技術とスペクトル切断を用いて、$ p=1 $ の近傍における作用素ノルムの漸近的挙動を分析する。
• 完全有界埋め込み $ \ell_q^n \to L_p(\mathcal{M}_n) $ に関する条件 (i)–(iv) の間の同値性を確立し、超積において一様完全有界性が一様可積分性を意味しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 独立コピーと自由独立コピーの間の転送原理により、非可換ローゼンタール不等式における $ p=1 $ における特異性を除去できるか。
• RQ2 部分代数および準同型に関するどのような条件下で、テンソル積と自由積における独立コピーの和のノルムが同値となるか。
• RQ3 半有限なフォン・ノイマン代数 $ \mathcal{M} $ に対して、$ \ell_q^n \to L_p(\mathcal{M}_n) $ の完全有界埋め込みが $ \ell_q \to L_p(\mathcal{M}) $ への埋め込みに拡張可能となる条件は何か。
• RQ4 一様に cb-有界な埋め込み $ v_n: \ell_q^n \to L_p(\mathcal{M}_n) $ の存在が、$ \ell_q $-値列の像が超積の半有限部に含まれることを保証するのに十分か。
• RQ5 $ \ell_q $ への cb-埋め込みの存在と、超積において一様有界かつ一様可積分性を満たす埋め込みの存在との間の正確な関係は何か。

主な発見

• 本稿は、$ x \in L_p(\mathcal{M}) $ に対してノルム同値性 $ \left\| \sum_{k=1}^n \pi_{\text{tens}}^k(x) \right\|_p \sim_{c} \left\| \sum_{k=1}^n \pi_{\text{free}}^k(x) \right\|_p $ を確立し、$ p=1 $ の近傍で定数が一様に有界であることを示しており、$ p=1 $ における特異性を解消する。
• 転送法は、条件付き部分代数 $ \mathcal{N} $ 上でのトップ-部分対称コピーの系に適用可能であり、より弱い対称性仮定のもとで先行研究を一般化する。
• 著者らは、$ \ell_q^n \to L_p(\mathcal{M}_n) $ における完全有界埋め込みに関する条件 (i)–(iv) が同値であることを証明し、超積において一様完全有界性が一様可積分性を意味しないことを示す。
• $ \lim_{\delta \to 0} \lim_{n,\mathcal{U}} \left( \int_0^\delta \mu_s(\delta_n^{1/p - 1/r} u_{nr}(x))^{p} \, ds \right)^{1/p} = 0 $ が成り立つことが示され、超積設定における一様可積分性の失敗を確認する。
• 埋め込み条件の同値性の証明は、非可換ローゼンタール因数分解とスペクトル切断に依拠しており、$ L_q(\mathcal{R}_0) $ から $ L_p(\mathcal{M}) $ への cb-埋め込みの存在が、一様有界かつ一様可積分な埋め込みの存在と同値であることを示す。
• 本手法は、特に $ p \approx 1 $ の場合に、作用素空間における $ L_p $-埋め込み理論の新しい枠組みを提供し、非可換解析におけるグロテンディーク計画の結果を拡張する。