[論文レビュー] On the support of measures in multiplicative free convolution semigroups

Hao-Wei Huang, Ping Zhong|arXiv (Cornell University)|Feb 18, 2013

Spectral Theory in Mathematical Physics参考文献 26被引用数 4

ひとこと要約

本稿は、正の実数直線および単位円上で、乗法的自由畳み込み半群における測度の補助構造と正規性を調査する。η変換に基づく ⊠-無限に可分な測度からの劣性関数を用いて、絶対連続部の密度に対する明示的公式を導出し、半群パラメータ t と共に補助集合の連結成分の数が単調に減少することを証明する。これは自由確率論における重要な正規性性質を確立する。

ABSTRACT

In this paper, we study the supports of measures in multiplicative free semigroups on the positive real line and on the unit circle. We provide formulas for the density of the absolutely continuous parts of measures in these semigroups. The descriptions rely on the characterizations of the images of the upper half-plane and the unit disc under certain subordination functions. These subordination functions are $η$-transforms of infinitely divisible measures with respect to multiplicative free convolution. The characterizations also help us study the regularity properties of these measures. One of the main results is that the number of components in the support of measures in the semigroups is a decreasing function of the semigroup parameter.

研究の動機と目的

• 正の実数直線および単位円上で乗法的自由畳み込み半群における測度の補助を特徴付けること。
• これらの測度の正規性特性、特に絶対連続部の挙動を分析すること。
• 半群パラメータ t に応じて補助集合の連結成分数がどのように変化するかを特定すること。
• 劣性関数を用いて μ^⊟t の絶対連続部の密度に対する暗黙的公式を提示すること。
• 補助集合の成分数が t の減少関数であることを確立し、加法的自由畳み込みに関する既知の結果を一般化すること。

提案手法

• 本研究では、上半平面および単位円板における解析的性質を活用して、Mℝ₊× および M𝕋× における測度を η 変換および ψ 変換で分析する。
• 劣性関数 ωt を用いて μ^⊟t = μ ⊟ λt を μ^⊟t = μ ∘ ωt として表現し、ここで ωt は ⊟-無限に可分な測度の η 変換である。
• Julia-Carathéodory 理論を用いて、劣性関数 ωt の定義域を、特に単位円周上の境界点において特徴付ける。
• 逆 η 変換と劣性関係 ημ^⊟t = ημ ∘ ωt を用いて、μ^⊟t の絶対連続部の密度を暗黙的に導出する。
• 補助集合の成分数は、ωt による単位円周の逆像および境界点における ωt の挙動を分析することで解析する。
• 理論的道具として、関数 u(z) = -log(ημ(z)/z) 及びその Julia-Carathéodory 導関数を用い、境界挙動と原子成分との関係を結びつける。

実験結果

リサーチクエスチョン

• RQ1 半群パラメータ t が 1 から ∞ に増加するに従い、μ^⊟t の補助集合における連結成分数はどのように変化するか？
• RQ2 劣性関数 ωt と μ^⊟t の絶対連続部の密度の間には、どのような明確な関係があるか？
• RQ3 μ^⊟t が原子を有するのはどのような条件下か？ また、その質量は μ と t を用いてどのように決定されるか？
• RQ4 劣性関数 ωt による単位円板の像は、μ^⊟t の補助集合の位相的構造とどのように関係するか？
• RQ5 η 変換およびその Julia-Carathéodory 導関数は、μ^⊟t の正規性および成分構造を特徴付ける上で果たす役割は何か？

主な発見

• μ^⊟t の補助集合における連結成分数は t の非増加関数であり、t が増加するに従い単調に減少する。
• μ^⊟t の絶対連続部は、劣性関数 ωt および μ の η 変換を用いて暗黙的に記述可能な密度を持つ。
• μ が 1/ωt(ζ) に質量が 1 - t⁻¹ を超える原子を持つ場合に限り、μ^⊟t に原子が存在し、その質量は tμ({1/ωt(ζ)}) - (t - 1) で与えられる。
• μ^⊟t の補助集合は、高々可算個の成分から構成され、それぞれが点質量（原子）または単位円周上の閉区間である。
• μ ∈ M𝕋× かつ t > 1 の場合、μ^⊟t の補助集合は有限個の原子と可算個の弧の和集合であり、成分総数は t に関して厳密に減少する。
• 劣性関数 ωt は ⊟-無限に可分な測度の η 変換であり、その境界挙動が補助集合の成分構造を決定する。