[论文解读] 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+ 上测度的乘法单调卷积仍属于同一类。
• 确立半群生成元的唯一性（至多旋转对称），解决无限可分性框架中的非唯一性问题。

提出的方法

• 本文使用修正的柯西变换和解析函数理论来计算乘法单调卷积。
• 定义了两个运算：$\circlearrowright$ 在 $\mathfrak{M} \times \mathbb{C}$ 上，以及 $\circlearrowright_0$ 在 $\mathfrak{M}$ 上，后者在卷积下保持一阶矩不变。
• 卷积通过 $\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$，从而确立了半群的存在性。

实验结果

研究问题

• RQ1 能否在单调独立性下定义乘法卷积，它与标准自由或布尔卷积有何不同？
• RQ2 如何利用柯西变换等解析工具高效计算乘法单调卷积？
• RQ3 乘法单调卷积是否保持单位圆周 $\mathbb{T}$ 或 $\mathbb{R}_+$ 上概率测度的支撑集？
• RQ4 在乘法单调卷积下，单参数半群的结构是怎样的，其生成机制如何？
• RQ5 乘法单调卷积下的无限可分性是否唯一表征，生成函数在其中起什么作用？

主要发现

• 乘法单调卷积 $\circlearrowright_0$ 保持了 $\mathbb{R}_+$ 和单位圆周 $\mathbb{T}$ 上紧支撑概率测度的类不变。
• 对于任意满足 $\int_{\mathbb{T}} \zeta \, d\mu(\zeta) \neq 0$ 的单位圆周 $\mathbb{T}$ 上的概率测度 $\mu$，存在唯一的 $\circlearrowright_0$-无限可分测度 $\mu_\tau$，使得 $\mu_1 = \mu$，至多旋转对称。
• 半群 $\{\mu_\tau\}$ 由函数 $A(z) = zB(z)$ 生成，满足 $\Re B(z) \leq 0$，且 $\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$，半群的存在性。
• 半群在一般情况下不唯一，但唯一性在旋转意义下成立：若两个测度具有相同的一阶矩且生成相同的卷积平方，则它们相等。
• $\mathfrak{M} \times \mathbb{C}$ 上的运算 $\circlearrowright$ 允许将方法扩展至无界支撑测度，而 $\circlearrowright_0$ 仅限于紧支撑测度。