Stability of the Markov-Krein Transform Under Classical Convolutions

技術要約：古典的な畳み込みにおけるマルコフ・クライン変換の安定性

問題提起
本論文は、古典的な加法的および乗法的（メリン）畳み込みの下における、マルコフ・クライン変換（以下、$M_c$と表記）の安定性について扱っている。MKTは、濃度パラメータ $c > 0$ と基底測度 $\mu$ を持つディリクレ過程の平均の法則への写像である。ここで、$\mu$ は有限の対数モーメントを持つ確率測度である。

ランダム行列理論および表現論の文脈、特に $N \to \infty$ かつ $N\beta_N/2 \to c$ となる高温極限において、古典的な畳み込み（$c \to 0$）と自由加法的畳み込み（$c \to \infty$）を補間する二項演算 $\mu \star_c \nu$ が提案された。[MP22] や [BGCG22] などの先行研究では、この演算のMKTが、変換された測度の古典的な畳み込みに一致すること（$M_c(\mu \star_c \nu) = (M_c \mu) * (M_c \nu)$）が示されていた。しかし、決定的な「正値性予想」が未解決のまま残されていた。すなわち、任意の入力測量 $\mu$ および $\nu$ に対して、結果として得られる分布 $\mu \star_c \nu$（またはその関連するモーメント列）が、実際に有効な確率測度に対応しているかどうかが証明されていなかったのである。さらに、乗法的対応物（高温積）についても、文献中では構築されていなかった。

手法
著者は、マルコフ・クライン変換と**普遍的プレスターライク関数（universally prestarlike functions）**の理論との間の厳密な接続を確立することで、これらの問題を解決する。証明は主に以下の3つの段階で進められる：

1. プレスターライク関数への帰着： 本論文は、普遍的プレスターライク関数のクラス $R^{(u)}_\alpha$ と、ルシェヴェイ（Ruscheweyh）の畳み込み作用素 $\Delta_a$ を利用する。Ruscheweyh、Stankus、およびその他の著者による主要な定理（[RSS09], [RS08]）は、二つの普遍的プレスターライク関数のアダマール積（冪級数の係数ごとの積）が、同じクラスに留まることを述べている。

   • 著者は、ディリクレ平均 $Y_\mu$ から導かれる正則関数 $H_\mu(z) = z \mathbb{E}[(1-zY_\mu)^{-1}]$ を定義することにより、MKTをこれらの関数へと結びつける。
   • $H_\mu$ がクラス $R^{(u)}_{1-c/2}$ に属することと、$H_\mu$ の特定のルシェヴェイ導関数の商がスティルチェス・クラス $T$（確率測度のスティルチェス変換として表される関数）に属することとが同値であることを示す。

2. 乗法的ケース（コンパクト支持）： $\mathbb{R}_+$ 上のコンパクト支持を持つ測量の場合、ディリクレ平均 $Y_\mu$ と $Y_\nu$ の独立性は、それらの生成関数の積 $Y = Y_\mu Y_\nu$ の生成関数が、個々の生成関数のアダマール積 $H_Y = H_\mu \odot H_\nu$ に対応することを意味する。普遍的プレスターライク関数の閉包定理により、$H_Y$ は当該クラスに留まり、したがって $M_c \rho = (M_c \mu) \odot (M_c \nu)$ となるような一意の確率測度 $\rho$ の存在が示される。

3. 一般の測量への拡張：

   • 加法的ケース： 加法的安定性は、アフィン縮小引数を用いて、乗法的結果から導出される。測量をコンパクトな区間に写し、変換された積に対して乗法的結果を適用し、縮小パラメータが消失する極限を取ることで、加法的畳み込みの安定性が確立される。
   • 非有界測量： 結果は、標準的な弱収束引数を用いて、コンパクト支持を持つ測量から有限の対数モーメントを持つ測量（$P_{\log}(\mathbb{R})$）へと拡張される。著者は、弱収束の下でのMKTとその逆写像の連続性を証明し、極限測量の存在を保証する。

主な貢献と結果
本論文は、任意の $c > 0$ に対して以下のことを主張する定理 1.4 を確立している：

• (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)$ を満たす一意の確率測度 $\mu \star_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)$ を満たす一意の確率測度 $\mu \boxtimes_c \nu$ が存在する。

この証明は、普遍的プレスターライク関数のための畳み込み定理に依拠しており、MKTを研究するための新しい解析的手法を提供している。

意義と主張
本論文は、[MP22] および [BGCG22] で提案された加法的高温畳み込みに関する正値性予想を解決したと主張している。本研究以前は、任意の入力に対する $\mu \star_c \nu$ の存在は、特定のケース（例：対称ベルヌーイ測量やガウス法則との畳み込み）においてのみ証明されているか、あるいは単なる予想に過ぎなかった。本成果は、この構成を有限の対数モーメントを持つ確率測量の全空間へと拡張するものである。

さらに、本論文は乗法的対応物（高温積）を初めて構築し、新しい測量のマルコフ・クライン変換が、変換された測量のメリン畳み込みに等しいこと（すなわち $M_c(\mu \boxtimes_c \nu) = (M_c \mu) \odot (M_c \nu)$）を証明した。本論文は、この構成とランク1の乗法的球面積分（[MP21], [Hus25] が示唆）の高温極限との間の対応関係は強く示唆されているものの、物理的な対応関係の厳密な証明については、確率的な存在と一意性の証明に焦点を当てるため、今後の課題として明示的に残している。

本研究は、複素解析（プレスターライク関数）と確率論（ディリクレ過程およびランダム行列の極限）を橋渡しし、古典的な演算の下でのマルコフ・クライン変換の安定性を理解するための統一的な枠組みを提供している。