Stability of the Markov-Krein Transform Under Classical Convolutions

技术摘要：马尔可夫-克莱因变换在经典卷积下的稳定性

问题陈述
本文研究了马尔可夫-克莱因变换（Markov-Krein transform，简称 MKT），记作 $M_c$，在经典加性卷积和乘性（梅尔文）卷积下的稳定性。MKT 将具有有限对数矩的概率测度 $\mu$ 映射为浓度参数为 $c > 0$ 且基测度为 $\mu$ 的狄利克雷过程均值的分布。

在随机矩阵理论和表示论的背景下，特别是在高温度极限（即 $N \to \infty$ 且 $N\beta_N/2 \to c$）中，曾提出了一种二元运算 $\mu \star_c \nu$，用于在经典卷积（当 $c \to 0$ 时）与自由加性卷积（当 $c \to \infty$ 时）之间进行插值。前人的工作（如 [MP22], [BGCG22]）已经确定，该运算的 MKT 对应于变换后测度的经典卷积：$M_c(\mu \star_c \nu) = (M_c \mu) * (M_c \nu)$。然而，一个关键的“正定性猜想”仍未解决：即尚未证明对于任意输入测度 $\mu$ 和 $\nu$，所得分布 $\mu \star_c \nu$（或其相关的矩序列）确实对应于一个有效的概率测度。此外，文献中尚未构建其乘性对应物（高温度乘积）。

方法论
作者通过建立马尔可夫-克莱因变换与**普遍预星形函数（universally prestarlike functions）**理论之间的严谨联系，解决了这些问题。证明过程分为三个主要阶段：

1. 归约为预星形函数： 本文利用了普遍预星形函数类 $R^{(u)}_\alpha$ 以及 Ruscheweyh 卷积算子 $\Delta_a$。Ruscheweyh, Stankus 等人的一个核心定理（[RSS09], [RS08]）指出，两个普遍预星形函数的 Hadamard 积（幂级数的系数逐项乘积）仍属于同一类。

   • 作者通过定义全纯函数 $H_\mu(z) = z \mathbb{E}[(1-zY_\mu)^{-1}]$（该函数源自狄利克雷均值 $Y_\mu$）将 MKT 与这些函数联系起来。
   • 文中证明，$H_\mu$ 属于类 $R^{(u)}_{1-c/2}$ 的充分必要条件是 $H_\mu$ 的特定 Ruscheweyh 导数之商属于 Stieltjes 类 $T$（即可以表示为概率测度之 Stieltjes 变换的函数）。

2. 乘性情况（紧支撑）： 对于 $\mathbb{R}_+$ 上的紧支撑测度，狄利克雷均值 $Y_\mu$ 和 $Y_\nu$ 的独立性意味着其乘积 $Y = Y_\mu Y_\nu$ 的生成函数对应于它们各自生成函数的 Hadamard 积：$H_Y = H_\mu \odot H_\nu$。根据普遍预星形函数的封闭性定理，$H_Y$ 仍属于该类，这意味着存在唯一的概率测度 $\rho$，使得 $M_c \rho = (M_c \mu) \odot (M_c \nu)$。

3. 推广至一般测度：

   • 加性情况： 加性稳定性通过仿射收缩论证从乘性结果导出。通过将测度映射到紧区间，对变换后的乘积应用乘性结果，并取收缩参数趋于零的极限，从而建立了加性卷积的稳定性。
   • 无界测度： 利用标准的弱收敛论证，将结果从紧支撑测度扩展到具有有限对数矩的测度（$P_{\log}(\mathbb{R})$）。作者证明了 MKT 及其逆变换在弱收敛下的连续性，确保了极限测度的存在性。

主要贡献与结果
本文确立了 定理 1.4，该定理断言对于任何 $c > 0$：

• (i) 加性稳定性： 对于任何 $\mu, \nu \in P_{\log}(\mathbb{R})$，存在唯一的概率测度 $\mu \star_c \nu \in P_{\log}(\mathbb{R})$，使得 $M_c(\mu \star_c \nu) = (M_c \mu) * (M_c \nu)$。
• (ii) 乘性稳定性： 对于任何 $\mu, \nu \in P_{\log}(\mathbb{R}_+)$，存在唯一的概率测度 $\mu \boxtimes_c \nu \in P_{\log}(\mathbb{R}_+)$，使得 $M_c(\mu \boxtimes_c \nu) = (M_c \mu) \odot (M_c \nu)$。

该证明依赖于普遍预星形函数的卷积定理，为研究 MKT 提供了一个新的分析工具。

意义与主张
本文声称解决了 [MP22] 和 [BGCG22] 中提出的关于高温度加性卷积的正定性猜想。在此之前，对于任意输入，测度 $\mu \star_c \nu$ 的存在性仅为猜想，或仅在特定情况（例如对称伯努利测度或与高斯分布的卷积）下得到证明。这项工作将该构造扩展到了整个具有有限对数矩的概率测度空间。

此外，本文首次构建了乘性对应物（高温度乘积），证明了新测度的马尔可夫-克莱因变换等于变换后测度的梅尔文卷积（即 $M_c(\mu \boxtimes_c \nu) = (M_c \mu) \odot (M_c \nu)$）。虽然文中指出，这一构造与秩为一的乘性球面积分的高温度极限（由 [MP21], [Hus25] 提出）之间的对应关系有很强的迹象，但本文明确将这一特定物理对应关系的严格证明留作未来工作，重点在于证明该概率测度的存在性与唯一性。

这项工作将复分析（预星形函数）与概率论（狄利克雷过程与随机矩阵极限）联系起来，为理解马尔可夫-克莱因变换在经典运算下的稳定性提供了一个统一的框架。