[論文レビュー] Multiplicative Monotone Convolution

Hari Bercovici|ArXiv.org|Jun 23, 2004

Mathematical Analysis and Transform Methods被引用数 3

ひとこと要約

本稿は、単調的独立性における確率測度のための新しい演算である乗法的単調的畳み込みを導入し、修正されたコーシー変換と母関数を用いてその性質を特徴づける。この畳み込みは、単位円および正の実軸上での台の保存を保証し、一パラメータの半群を用いて無限分解可能性を完全に特徴づけ、半群の生成関数について回転を除いて一意であることを証明する。

ABSTRACT

We show that the monotonic independence introduced by Muraki can also be used to define a multiplicative convolution. We also find a method for the calculation of this convolution based on an appropriate form of the Cauchy transform. We discuss infinite divisibility in the multiplicative monotonic context as well.

研究の動機と目的

• 非可換確率における単調的独立性に基づく乗法的畳み込み演算を定義し、その性質を研究すること。
• 変換されたコーシー積分とモーメント母関数列を用いた、乗法的単調的畳み込みの計算手法を開発すること。
• 一パラメータの畳み込み半群を用いて、乗法的単調的設定における無限分解可能性を特徴づけること。
• 単位円またはR+上に台を持つ測度の乗法的単調的畳み込みが、元のクラスに留まることを証明すること。
• 半群生成関数の回転を除いて一意であることを確立し、無限分解可能性枠組みにおける非一意性を解消すること。

提案手法

• 本稿は、修正されたコーシー変換と解析関数論を用いて、乗法的単調的畳み込みを計算する。
• 2つの演算を定義する：$\circlearrowright$ を $\mathfrak{M} \times \mathbb{C}$ 上、$\circlearrowright_0$ を $\mathfrak{M}$ 上に定義し、後者は畳み込みにおいて1次モーメントを保存する。
• 畳み込みは$\eta$-変換を用いて計算され、これは微分方程式 $\frac{d}{d\tau}\eta_{\mu_\tau}(z) = \eta_{\mu_\tau}(z) B(\eta_{\mu_\tau}(z))$ を満たす。
• 生成関数 $A(z) = zB(z)$ は単位円板内で正則で、$\Re B(z) \leq 0$ を満たすため、一意な半群の存在が保証される。
• 有界でない台を持つ測度に対しても、$\circlearrowright$ 演算を用いることで拡張可能であるが、$\circlearrowright_0$ はコンパクトに台を持つ測度に限定される。
• 本稿は、離散近似 $\mu_{m/2^n}$ の極限が弱収束して一意な測度 $\mu_\tau$ に収束することを証明し、すべての $\tau \geq 0$ に対して半群の存在を確立する。

実験結果

リサーチクエスチョン

• RQ1 単調的独立性の下で乗法的畳み込みを定義可能か？また、標準的な自由畳み込みやブール畳み込みとはどのように異なるか？
• RQ2 コーシー変換などの解析的道具を用いて、乗法的単調的畳み込みをどのように効率的に計算できるか？
• RQ3 乗法的単調的畳み込みは、単位円 $\mathbb{T}$ や $\mathbb{R}_+$ 上に台を持つ確率測度の台を保存するか？
• RQ4 一パラメータの半群の構造は、乗法的単調的畳み込みの下でどのように構成され、何によって生成されるか？
• RQ5 乗法的単調的畳み込みにおける無限分解可能性は一意に特徴づけられるか？生成関数の役割は何か？

主な発見

• 乗法的単調的畳み込み $\circlearrowright_0$ は、$\mathbb{R}_+$ および単位円 $\mathbb{T}$ 上にコンパクトに台を持つ確率測度のクラスを保存する。
• 任意の $\mathbb{T}$ 上の確率測度 $\mu$ に対して、$\int_{\mathbb{T}} \zeta \, d\mu(\zeta) \neq 0$ ならば、$\mu_1 = \mu$ を満たす一意な $\circlearrowright_0$-無限分解可能測度 $\mu_\tau$ が存在し、回転を除いて一意である。
• 半群 $\{\mu_\tau\}$ は $\Re B(z) \leq 0$ を満たす関数 $A(z) = zB(z)$ によって生成され、$\eta$-変換は微分方程式 $\frac{d}{d\tau}\eta_{\mu_\tau}(z) = \eta_{\mu_\tau}(z) B(\eta_{\mu_\tau}(z))$ を満たす。
• 離散近似 $\mu_{m/2^n}$ の極限は弱収束して一意な測度 $\mu_\tau$ に収束し、すべての $\tau \geq 0$ に対して半群の存在が証明される。
• 一般には半群は一意でないが、回転を除いて一意である：同じ1次モーメントを持ち、同じ畳み込み平方を生成する2つの測度は等しい。
• $\mathfrak{M} \times \mathbb{C}$ 上の演算 $\circlearrowright$ を用いることで、有界でない台を持つ測度への拡張が可能であるが、$\circlearrowright_0$ はコンパクトに台を持つ測度に限定される。