[論文レビュー] Doob's inequality for non-commutative martingales

Marius Junge|ArXiv.org|Jun 6, 2002

Advanced Harmonic Analysis Research参考文献 14被引用数 4

ひとこと要約

この論文は、非可換 $L_p$ 空間における正の元に対して双対性と補間技法を用いて、ドーブの最大不等式の非可換版を確立する。主な結果は、$1 \leq p < \infty$ に対して $\left\|\sum_n E_n(x_n)\right\|_p \leq c_p \left\|\sum_n x_n\right\|_p$ が成り立つことである。ここで $E_n$ は条件付き期待値、$x_n$ は正の作用素である。

ABSTRACT

Let $1\le p

研究の動機と目的

• ヴォイナームアン代数と非可換 $L_p$ 空間の非可換設定に、ドーブの古典的最大不等式を拡張すること。
• 正の $x$ に対して $\sup_n E_n(x)$ が $L_p$ に属さない可能性があるという問題を解決するため、ドーブ不等式の双対形を定式化すること。
• $N$ を有限ヴォイナームアン代数とするとき、$L_p(N,\tau)$ 内の正の元 $x_n$ に対して、双対不等式 $\left\|\sum_n E_n(x_n)\right\|_p \leq c_p \left\|\sum_n x_n\right\|_p$ を確立すること。
• 非可換性を克服するため、$p=2$ からすべての $1 \leq p < \infty$ にわたる拡張に、双対性と補間技法を用いること。
• ハイパフィニットでない代数にも適用可能な、ハイパフィニット代数に限らない非可換マルティングル不等式のフレームワークを提供すること。

提案手法

• 正の $x_n$ を含む $L_p(N,\tau)$ 内で、双対ドーブ不等式 $(DD_p)$ を定式化する：$\left\|\sum_n E_n(x_n)\right\|_p \leq c_p \left\|\sum_n x_n\right\|_p$。ここで $E_n$ は条件付き期待値である。
• 双対性の議論を用いる：写像 $T(x_n) = \sum_n E_n(x_n)$ の双対は、最大関数ノルムを導き、$(DD_p)$ が $p' = p/(p-1)$ のドーブ不等式に結びつく。
• 補間理論を用いて、$p=2$ から $1 \leq p \leq 2$ への不等式の拡張を、非可換 $L_p$ 空間の構造を用いて行う。
• ピジエ・ショウの非可換シュタイン不等式とヒルベルト $C^*$-加群の技法を用いて、$2 \leq p < \infty$ に対して $(DD_p)$ を証明する。
• 条件付き期待値とマルティングル差をモデル化するため、$G = \prod G_k$ 上の積空間への群作用 $\alpha_n$（自己同型）による表現を用いる。
• 非可換ローゼンタール不等式を適用して、マルティングル差 $\alpha_n(x_n) - E_n(x_n)$ の $L_p$ ノルムを制御し、最終的な推定に至る。

実験結果

リサーチクエスチョン

• RQ1 条件付き期待値の上限が有界でない可能性がある非可換 $L_p$ 空間において、ドーブの最大不等式を拡張できるか？
• RQ2 非可換設定において、$\sup_n E_n(x) \in L_p$ が成立しないという問題を回避するための、ドーブ不等式の適切な定式化は何か？
• RQ3 双対性と補間を用いて、非可換状況下で $p=2$ からすべての $1 \leq p < \infty$ に不等式を拡張する方法は何か？
• RQ4 ヒルベルト $C^*$-加群と非可換ベクトル値 $L_p$-空間は、非可換マルティングル不等式の証明においてどのような役割を果たすか？
• RQ5 自由確率論に由来するようなハイパフィニットでないヴォイナームアン代数に対しても、双対不等式 $(DD_p)$ を確立できるか？

主な発見

• 双対ドーブ不等式 $(DD_p)$ が成り立つ：すべての $1 \leq p < \infty$ に対して $\left\|\sum_n E_n(x_n)\right\|_p \leq c_p \left\|\sum_n x_n\right\|_p$ が成り立ち、ここで $c_p$ は $p$ のみに依存する。
• $p=2$ の場合、トレース性質と正値性を用いた初等的証明が可能であり、補間の出発点として機能する。
• 双対性の議論により、$(DD_p)$ が共役指数 $p'$ におけるドーブの最大不等式を示し、$\left\|\sup_n |E_n(x)|\right\|_{p'} \leq c_p \|x\|_{p'}$ を得る。
• 定数 $c_p$ は有限ヴォイナームアン代数全体にわたって一様であり、基礎となる代数やフィルトレーションに依存せず、$p$ のみに依存する。
• 群作用とクロス積を用いることで、この手法はハイパフィニットでない代数へも拡張可能であり、自由確率論や非トレーシング設定への応用を可能にする。
• 証明は非可換ローゼンタール不等式と、$\left\|\sum_n \alpha_n(x_n) - E_n(x_n)\right\|_p$ の推定に依存しており、これは $r_p(2 + 4c_{p/2}^{1/2})\left\|\sum_n x_n\right\|_p$ で有界である。