[論文レビュー] Noncommutative Burkholder/Rosenthal inequalities associated with convex functions

Narcisse Randrianantoanina, Lian Wu|arXiv (Cornell University)|Jun 12, 2015

Advanced Operator Algebra Research参考文献 23被引用数 5

ひとこと要約

本稿は、凸関数に関連するオルリーツ関数モーメントに対する非可換バーグホルダー／ローゼンタール不等式を確立し、バーグホルダーとガンディーの古典的Φ-モーメント不等式をフォン・ノイマン代数における非可換マルティンゲールへ一般化する。1 < p_Φ ≤ q_Φ < 2 または 2 < p_Φ ≤ q_Φ < ∞ を満たす凸オルリーツ関数Φに対して、非可換マルティンゲールのΦ-モーメントが、その条件付き二乗関数と最大関数のΦ-モーメントの和と同値であることを証明する。ジャンジュとシュウの結果を、同時分解技術を用いてオルリーツ設定へ拡張する。

ABSTRACT

We prove noncommutative martingale inequalities associated with convex functions. More precisely, we obtain $Φ$-moment analogues of the noncommutative Burkholder inequalities and the noncommutative Rosenthal inequalities for any convex Orlicz function $Φ$ whose Matuzewska-Orlicz indices $p_Φ$ and $q_Φ$ are such that $1

研究の動機と目的

• 凸オルリーツ関数Φに対する非可換バーグホルダーおよびローゼンタール不等式を、L_pノルムからΦ-モーメントノルムへ拡張すること。
• 条件付き二乗関数および最大関数を含む非可換マルティンゲールのΦ-モーメント同値性を確立すること。
• バーグホルダーとガンディーの古典的Φ-モーメント不等式を、補間および分解技術を用いて非可換設定へ一般化すること。
• 1 < p_Φ ≤ q_Φ < ∞ のような弱いインデックス条件下でのこのような不等式の有効性に関する未解決問題に取り組むこと。

提案手法

• 定理2.5を用いた非可換マルティンゲールのコラム、ロウ、対角部分への同時分解を用い、Φ-モーメントの制御を可能にする。
• オルリーツ空間の性質と補間技術を適用し、p_Φ ≤ q_Φ を満たす一般の凸オルリーツ関数Φに対するL_p-ベースの不等式を拡張する。
• マツェフスカ＝オルリーツインデックスp_Φおよびq_Φを用いて、不等式が成り立つオルリーツ関数の範囲を特徴付ける。
• オペレータ分解による下界の最小化を用いて定義される非可換最大関数τ[Φ(sup^+ dx_n)]を導入し、不等式における対角項の代わりに用いる。
• 双対性の議論を用いて、p ≥ 2 の範囲から1 < p < 2 へ結果を拡張し、インデックスの全範囲にわたる一貫性を確保する。
• 問題をL_p-有界マルティンゲールへ還元し、非可換L_p不等式の既知の結果をオルリーツ空間への拡張の出発点とする。

実験結果

リサーチクエスチョン

• RQ1 p_Φ > 2 または p_Φ < 2 を要求するのではなく、より弱い条件1 < p_Φ ≤ q_Φ < ∞ の下で、Φ-モーメントに対する非可換バーグホルダー不等式は成立するか？
• RQ2 Φ-モーメント不等式における対角項Σ_n τ[Φ(|dx_n|)]は、非可換最大関数τ[Φ(sup^+ dx_n)]に置き換え可能か？
• RQ3 差のℓ_1-ノルムを最大関数項に置き換える非可換古典的Φ-モーメント不等式（1.2）の類似物は存在するか？
• RQ4 Φが一般の凸オルリーツ関数でp_Φ ≤ q_Φ を満たす場合、Φ-モーメントに対する非可換ローゼンタール不等式は依然有効か？
• RQ5 定理2.5における同時分解結果を、オルリーツ空間でのより良い制御を可能にするL_p(ℳ; ℓ_1)-ノルムに、差のℓ_1-ノルムの代わりに改善可能か？

主な発見

• 任意の凸オルリーツ関数Φに対して、1 < p_Φ ≤ q_Φ < 2 または 2 < p_Φ ≤ q_Φ < ∞ を満たす場合、非可換マルティンゲールxのΦ-モーメントは、その条件付き二乗関数と最大関数のΦ-モーメントの和と同値である。
• 上記のインデックス条件の下で、不等式𝔼[Φ(|x|)] ≃_Φ max{ 𝔼[Φ(s_c(x))], 𝔼[Φ(s_r(x))], 𝔼[Φ(d^*)] が成り立ち、古典的結果がオルリーツ空間へ一般化される。
• 本稿は、独立列に対する非可換ローゼンタール不等式のΦ-モーメント版を確立し、1 < p < 2 に対して、\|Σ x_n\|_p ≲ κ_p' (\|a\|_{\mathcal{R}_p^d} + \|b\|_{\mathcal{R}_p^c} + \|c\|_{\mathcal{R}_p^r}) が成り立つことを示す。ここでκ_p' はpにのみ依存する。
• 結果は非可換バーグホルダー＝ガンディー不等式をオルリーツ関数へ拡張し、Φ-モーメントに対する（1.2）の非可換類似物を提供する。
• 著者らは、問題6.2の部分的解決を提供し、q_Φ < 2 の強い条件下で不等式を証明するが、一般の場合については未解決のまま残す。
• 非可換最大関数τ[Φ(sup^+ dx_n)]がオペレータ分解を用いて定義されるが、一般のΦに対してその同値性は未解決のままである。