[論文レビュー] Strong martingale type and uniform smoothness

Jörg Wenzel|ArXiv.org|Jul 28, 2004

Functional Equations Stability Results参考文献 4被引用数 4

ひとこと要約

本稿では、古典的なマルティンゲール型およびコタイプの洗練版として、強いマルティンゲール型 $p$ とコタイプ $q$ を導入し、それぞれが一様 $p$-滑らかさおよび $q$-凸性と同値であることを証明している。同値性の定数は同一である。主な貢献は、任意のマルティンゲール型 $p$ を持つバナッハ空間が、強いマルティンゲール型 $p$ を持つように同値なノルムに再定義できることの直接的証明であり、これはラデマッハ型の類似物が残したギャップを埋め、強いマルティンゲール型が一様 $p$-滑らかさを示唆するが、再定義によってその性質を達成可能であることを確立している。

ABSTRACT

We introduce stronger versions of the usual notions of martingale type p <= 2 and cotype q >= 2 of a Banach space X and show that these concepts are equivalent to uniform p-smoothness and q-convexity, respectively. All these are metric concepts, so they depend on the particular norm in X. These concepts allow us to get some more insight into the fine line between X being isomorphic to a uniformly p-smooth space or being uniformly p-smooth itself. Instead of looking at Banach spaces, we consider linear operators between Banach spaces right away. The situation of a Banach space X can be rediscovered from this by considering the identity map of X.

研究の動機と目的

• マルティンゲール型 $p$ およびコタイプ $q$ のより強いバージョンを定義し、古典的定義よりも一様滑らかさおよび凸性をより正確に捉えること。
• 線形作用素の間のバナッハ空間に対して、強いマルティンゲール型 $p$ と一様 $p$-滑らかさの同値性を、同一の定数で確立すること。
• マルティンゲール型 $p$ を持つバナッハ空間が、強いマルティンゲール型 $p$ を持つように再定義可能であることを示し、これはラデマッハ型の文脈では一般には不可能である（ジェームズの非反射的反例による）。
• 既存の文献とは異なり、マルティンゲール型 $p$ の再定義結果を直接的証明すること。
• 滑らかさと凸性の双対性を、強いマルティンゲール設定に拡張し、強い型とコタイプの双対性を模倣すること。

提案手法

• すべての $y \in Y$ およびマルティンゲール差分 $d_k$ に対して不等式 $\left\|y + \sum_{k=1}^{n} Td_k\right\|_{L_p} \leq \left(\|y\|^p + c^p \sum_{k=1}^{n} \|d_k|L_p\|^p\right)^{1/p}$ を用いて、強いマルティンゲール型 $p$ を定義する。
• すべての $d_0 \equiv x$ に対して不等式 $\left(\|x\|^q + \frac{1}{c^q} \sum_{k=1}^{n} \|Td_k|L_q\|^q\right)^{1/q} \leq \left\|\sum_{k=0}^{n} d_k\right\|_{L_q}$ を用いて、強いマルティンゲールコタイプ $q$ を定義する。
• dyadic martingales を $[0,1)$ 上に、フィルトレーション $\mathcal{F}_k$ を dyadic 開区間 $\Delta_k^{(i)}$ で生成することで、確率的構造をモデル化する。
• dyadic 分解 $y = \sum y_k / 2^n$ に対して、$|||y||| := \inf \left( \frac{1}{2^n} \sum_{k=1}^{2^n} \left( \|y_k - Tx_k\|^p + \{x_k\}^p \right) \right)^{1/p}$ を用いて、$Y$ 上の同値ノルム $|||\cdot|||$ を構成する。
• 不等式 $\left( \frac{\|y+Tx\|^p + \|y-Tx\|^p}{2} - \|y\|^p \right)^{1/p} \leq c\|x\|$ の検証により、このノルムが $T$ を一様 $p$-滑らかにするかどうかを証明する。
• 三角不等式および凸性推定、特に不等式 $\frac{\{x_+\}^p + \{x_+\}^p}{2} \geq \left\| \frac{x_+ + x_-}{2} \right\|^p - c^p \left\| \frac{x_+ - x_-}{2} \right\|^p$ を用いて、ノルムの挙動を制御する。

実験結果

リサーチクエスチョン

• RQ1 一様 $p$-滑らかさを同じ定数で特徴づける、マルティンゲール型 $p$ より強いバージョンは存在するか？
• RQ2 マルティンゲール型 $p$ を持つバナッハ空間は、強いマルティンゲール型 $p$ を持つように再定義可能か？ もしそうなら、どのように可能か？
• RQ3 強いマルティンゲール型 $p$ は一様 $p$-滑らかさを示唆するか？ 逆に、再定義の下で同値性は成り立つか？
• RQ4 強いマルティンゲール型およびコタイプは、双対設定における一様滑らかさおよび凸性とどのように関係するか？
• RQ5 強いマルティンゲール型 $p$ の再定義結果は、ラデマッハ型の特徴づけに依存せずに、直接的に証明可能か？

主な発見

• 強いマルティンゲール型 $p$ は、同一の定数 $c$ を用いて一様 $p$-滑らかさと同値であり、滑らかさの正確なメトリック特徴づけを確立する。
• 強いマルティンゲール型 $p$ は古典的マルティンゲール型 $p$ を含むが、逆は同値なノルムの再定義が行われた場合にのみ成り立つ。
• 本稿では、マルティンゲール型 $p$ の再定義結果について、既存の間接的アプローチとは異なり、直接的証明を提供している。
• ジェームズの非反射的反例により、ラデマッハ型 $2$ を持つが、$p > 1$ に対して強いラデマッハ型 $p$ を持つように再定義できない非反射的バナッハ空間が存在し、これはラデマッハ型に基づくアプローチの限界を示している。
• 同値ノルム $|||\cdot|||$ の構成により、$T$ が一様 $p$-滑らかになることが保証され、このノルムは元のノルムと同値であり、定数は $p$ のみに依存する。
• 強いマルティンゲール型 $p$ と強いマルティンゲールコタイプ $q$ の双対性は、一様 $p$-滑らかさと $q$-凸性の双対性を模倣しており、両方向に類似した結果が得られている。