[論文レビュー] Standard deviation is a strongly Leibniz seminorm

Marc A. Rieel|arXiv (Cornell University)|Jan 1, 2014

Advanced Operator Algebra Research参考文献 22被引用数 18

ひとこと要約

この論文は、確率空間上の有界関数に対して、標準偏差が上限ノルムに関してライプニッツ不等式を満たすことを確立し、さらに、非可換確率空間および単位的C*-代数上の行列型セミノルムへその性質が拡張されることを証明している。主な貢献は、古典的および非可換設定の両方において、標準偏差に対して強いライプニッツ型不等式の提示にある。

ABSTRACT

We show that standard deviation satises the Leibniz inequality (fg) (f)kgk +kfk (g) for bounded functions f;g on a probability space, where the norm is the supremum norm. A related inequality that we refer to as \strong is also shown to hold. We show that these in fact hold also for noncommutative probability spaces. We extend this to the case of matricial seminorms on a unital C*-algebra, which leads us to treat also the case of a conditional expectation from a unital C*-algebra onto a unital C*-subalgebra.

研究の動機と目的

• 確率空間上の有界関数に対して、上限ノルムを備えた古典的確率空間において、標準偏差がライプニッツ不等式を満たすことを確立すること。
• ライプニッツ型不等式を非可換確率空間へ拡張すること。
• 単位的C*-代数上の行列型セミノルムへその結果を一般化すること。
• C*-代数の枠組みにおける条件付き期待値の下での標準偏差の振る舞いを調査すること。

提案手法

• ライプニッツ不等式フレームワークの使用：||(fg)|| ≤ ||f|| ||g|| + ||g|| ||f|| が、セミノルムとしての標準偏差に適応されたもの。
• 確率空間上の有界関数に上限ノルムを適用し、ライプニッツ性質を分析すること。
• 作用素代数的手法を用いて、不等式を非可換確率空間へ拡張すること。
• 標準偏差に対して成立する「強い」ライプニッツ不等式のバージョンの定式化。
• C*-代数の構造的性質を用いて、単位的C*-代数上の行列型セミノルムへの一般化。
• 単位的C*-代数から単位的C*-部分代数への条件付き期待値を、フレームワークの自然な拡張として取り扱うこと。

実験結果

リサーチクエスチョン

• RQ1 上限ノルムを備えた古典的確率空間において、標準偏差はライプニッツ不等式を満たすか？
• RQ2 標準偏差のためのライプニッツ不等式を非可換確率空間へ拡張できるか？
• RQ3 行列型セミノルムは、C*-代数へのライプニッツ性質の一般化において果たす役割は何か？
• RQ4 C*-代数的構造における条件付き期待値の下で、ライプニッツ不等式はどのように振る舞うか？
• RQ5 これらの設定において、標準偏差に対して成立する「強い」ライプニッツ不等式のバージョンは存在するか？

主な発見

• 確率空間上の有界関数に対して、上限ノルムを備えた設定において、標準偏差はライプニッツ不等式 ||(fg)|| ≤ ||f|| ||g|| + ||g|| ||f|| を満たす。
• 同じ古典的設定において、より強いバージョンのライプニッツ不等式が標準偏差に対して成立する。
• ライプニッツ不等式およびその強いバージョンは、非可換確率空間へ拡張される。
• 結果は、単位的C*-代数上の行列型セミノルムへ一般化され、ライプニッツ型構造が保持される。
• フレームワークは、単位的C*-代数から単位的C*-部分代数への条件付き期待値へ適用可能であり、セミノルムの性質が維持される。