[論文レビュー] Repeated differentiation and free unitary Poisson process

Zakhar Kabluchko|arXiv (Cornell University)|Dec 29, 2021

Mathematical functions and polynomials被引用数 5

ひとこと要約

本稿では、次数 $d$ の実根をもつ三角多項式の $[2td]$ 階微分の零点の経験的分布が、$d \to \infty$ の極限において、初期零点分布と自由ユニタリポアソン分布 $\Pi_t$ の自由乗法的畳み込みに弱収束することを確立する。この結果は、自由確率論と鞍点解析を用いて、繰り返し微分における流体力学的零点ダイナミクスを代数的多項式から三角関数的設定へと拡張するものである。

ABSTRACT

We investigate the hydrodynamic behavior of zeroes of trigonometric polynomials under repeated differentiation. We show that if the zeroes of a real-rooted, degree $d$ trigonometric polynomial are distributed according to some probability measure $ν$ in the large $d$ limit, then the zeroes of its $[2td]$-th derivative, where $t>0$ is fixed, are distributed according to the free multiplicative convolution of $ν$ and the free unitary Poisson distribution with parameter $t$. In the simplest special case, our result states that the zeroes of the $[2td]$-th derivative of the trigonometric polynomial $(\sin \frac θ2)^{2d}$ (which can be thought of as the trigonometric analogue of the Laguerre polynomials) are distributed according to the free unitary Poisson distribution with parameter $t$, in the large $d$ limit. The latter distribution is defined in terms of the function $ζ=ζ_t(θ)$ which solves the implicit equation $ζ- t an ζ= θ$ and satisfies $$ ζ_t(θ)= θ+ t an (θ+ t an (θ+ t an (θ+\ldots))), \qquad \mathrm{Im}\, θ>0, \;\; t>0. $$

研究の動機と目的

• 高次元極限における三角多項式の繰り返し微分の零点の漸近的分布を理解すること。
• 繰り返し微分と自由確率論、特に自由ユニタリポアソン分布との間の関係を確立すること。
• 従来代数的多項式に対して研究されてきた流体力学的零点ダイナミクスを、有限自由確率論と鞍点法を用いて三角関数的設定へと拡張すること。
• 初期測度と自由ユニタリポアソン分布を含む自由乗法的畳み込みとして、極限零点分布を特徴付けること。

提案手法

• 大 $d$ における次数 $d$ の三角多項式の $[2td]$ 階微分の零点分布を分析する。
• 微分多項式の係数を漸近的に評価するために鞍点法を適用する。
• 特に自由乗法的畳み込みを用いて極限測度を記述するため、有限自由確率論の道具を用いる。
• 初期方程式 $\zeta - t\tan\zeta = \theta$（$\operatorname{Im}\theta > 0$, $t > 0$）により、自由ユニタリポアソン分布を導出する。
• 極限零点密度を初期フーリエ係数から計算するための $S$-変換および $\psi$-変換の関係を導出する。
• 極限密度のフーリエ級数表現について、$t \geq 1$ の場合に一様収束性および $L^p$ 収束性を証明し、$t=1$ の場合には点ewise 収束性を示す。

実験結果

リサーチクエスチョン

• RQ1 高次元極限における三角多項式の繰り返し微分における零点の挙動はいかなるものか？
• RQ2 実根をもつ三角多項式の $[2td]$ 階微分の零点の極限分布は $d \to \infty$ のときどのように振る舞うか？
• RQ3 繰り返し微分における零点の流体力学的挙動は、自由確率論、特に自由乗法的畳み込みを用いて記述可能か？
• RQ4 自由ユニタリポアソン分布はこの極限過程において果たす役割は何か？また、どのように特徴づけられるか？
• RQ5 極限零点密度はフーリエ級数としてどのように振る舞い、収束モードはどのようなものか？

主な発見

• 極限零点分布は、初期零点分布 $\nu$ と自由ユニタリポアソン分布 $\Pi_t$ の自由乗法的畳み込みに一致する。
• 特に $T_{2d}(\theta) = (\sin \theta/2)^{2d}$ の場合、$[2td]$ 階微分の零点分布は大 $d$ における極限で $\Pi_t$ に収束する。
• 自由ユニタリポアソン分布 $\Pi_t$ は、$\zeta - t\tan\zeta = \theta$（$\operatorname{Im}\theta > 0$, $t > 0$）という暗黙的方程式で特徴づけられ、$\zeta = \theta + t\tan(\theta + t\tan(\cdots))$ として表される。
• 単位円上の $\Pi_t$ の密度は、$\operatorname{Re}\left(1 + 2\psi_t(e^{-i\theta})\right)$ を含む一様収束するフーリエ級数表現を有し、係数は $e^{-2|\ell|t}p_{|\ell|}(t)$ のように減衰する。
• $t=1$ の場合、極限密度は $1 \leq p < 3$ に対して $L^p$ 空間に属し、$[-\pi, \pi] \setminus \{0\}$ 上でフーリエ級数は点wise 収束する。
• ステインベルガーの PDE (1.2) の形式的解は $\psi$-変換を用いて導出され、密度の展開において $e^{-2t}$ の整数乗のみが現れることが示される。