[論文レビュー] Asymptotic Harmonic Analysis on the Space of Square Complex Matrices

Marouane Rabaoui|ArXiv.org|Jun 3, 2008

Matrix Theory and Algorithms参考文献 5被引用数 14

ひとこと要約

本稿は、無限次元複素行列空間 $V_\infty = M(\infty,\mathbb{C})$ における $K_\infty = U(\infty) \times U(\infty)$ の作用の下で、正の型の球関数を決定する。それらは、$\gamma \geq 0$、$\alpha_k \geq 0$、$\sum \alpha_k < \infty$ を満たす $\omega = (\alpha, \gamma)$ に対する修正ポリア関数 $\Pi(\omega, \xi_i)$ の積で与えられる。この結果は、帰納的極限技法と一般化されたボホルンの定理を用いて、古典的な調和解析を無限次元行列空間へと拡張する。

ABSTRACT

In this paper, we determine the spherical functions of positive type on the inductive limit space of square complex matrices.

研究の動機と目的

• $G_\infty = K_\infty \ltimes V_\infty$ 上の $K_\infty$-双不変な連続な正の型関数の凸集合の極点を特徴づける。
• 有限次元のゲルファンド対における古典的球関数理論を、平方複素行列の無限次元設定へと拡張する。
• $\sum \alpha_k < \infty$ を満たす一般化されたボホルン型定理を用いて、$V_\infty$ 上の正の型球関数のパラメータ表示を確立する。

提案手法

• $V_\infty = \bigcup_n M(n,\mathbb{C})$ および $K_\infty = \bigcup_n (U(n) \times U(n))$ の帰納的極限構成を用い、有限次元対 $(G_n, K_n)$ からの結果を上昇させる。
• $K_\infty$-不変関数を、有限な台を持つ実数列でパラメータ化された対角部分空間 $D_\infty$ 上の関数に還元するために極座標分解を適用する。
• $\omega^{(n)}$ のパラメータ列の収束定理を用いて、$V_n$ 上の軌道測度のフーリエ変換の一様極限として球関数を導出する。
• $\sum \alpha_k < \infty$、$\gamma \geq 0$、$\alpha_k \geq 0$ を満たす修正ポリア関数 $\Pi(\omega, \lambda) = e^{-\frac{1}{4}\gamma\lambda^2} \prod_{k=1}^\infty \frac{1}{1 + \frac{1}{4}\alpha_k\lambda^2}$ を用いて、$V_\infty$ 上の球関数の収束を確立する。
• 軌道測度の弱極限に関するヴェルシクの定理を用いて、エルゴード的 $K_\infty$-不変測度を表現し、極大正の型関数の形を導出する。
• $\omega \in \Omega$ と球関数の間の対応が標準的ボレル同型であることを証明し、パラメータ化された一般化ボホルン定理を可能にする。

実験結果

リサーチクエスチョン

• RQ1 無限次元空間 $V_\infty = M(\infty,\mathbb{C})$ における $K_\infty = U(\infty) \times U(\infty)$ の作用の下で、正の型の球関数は何か？
• RQ2 有限次元対 $(G_n, K_n)$ 上の球関数は、無限次元対 $(G_\infty, K_\infty)$ 上の球関数へどのように収束するか？
• RQ3 無限次元空間 $V_\infty$ 上の $K_\infty$-不変な正定値関数に対して、一般化ボホルン定理を確立できるか？
• RQ4 修正ポリア関数 $\Pi(\omega, \lambda)$ は、極大正の型関数をパラメータ表示する際に果たす役割は何か？
• RQ5 $\sum \alpha_k < \infty$、$\gamma \geq 0$、$\alpha_k \geq 0$ を満たす $\omega = (\alpha, \gamma)$ のパラメータ空間 $\Omega$ は、極大正の型関数と一対一対応するか？

主な発見

• 正の型球関数は、$\varphi_\omega(\text{diag}(\xi_1,\dots,\xi_k,0,\dots)) = \prod_{i=1}^k \Pi(\omega, \xi_i)$ で与えられ、ここで $\Pi(\omega, \lambda) = e^{-\frac{1}{4}\gamma\lambda^2} \prod_{k=1}^\infty \frac{1}{1 + \frac{1}{4}\alpha_k\lambda^2}$ であり、$\gamma \in \mathbb{R}_+$、$\alpha_k \in \mathbb{R}_+$、$\sum \alpha_k < \infty$ を満たす。
• $\omega = (\alpha, \gamma)$ は、$\omega \mapsto \varphi_\omega$ が $\Omega$ と極大正の型関数の集合の間の標準的ボレル同型であるようなパラメータ空間 $\Omega$ を形成する。
• 球関数は、パラメータ列 $\omega^{(n)}$ が $\Omega$ 内で収束するとき、$V_n$ 上の軌道測度のフーリエ変換のコンパクト集合上で一様極限として現れる。
• 一般化ボホルン定理が成立する：$V_\infty$ 上の $K_\infty$-不変で連続な正定値関数 $\varphi$ で $\varphi(0) = 1$ を満たすものに対して、一意な確率測度 $\mu$ が存在し、任意の $g \in V_\infty$ に対して $\varphi(g) = \int_\Omega \varphi_\omega(g) \, \mu(d\omega)$ が成り立つ。
• $\varphi_n$ から $\varphi_\omega$ への収束は $V_\infty$ のコンパクト部分集合上で一様であり、部分列の選び方に関係なく極限が一意であるため、パラメータ $\omega$ の一意性が保証される。
• 証明は背理法に依拠している：もし $\omega^{(n)}$ が前コンパクトでなければ、ある部分列を抽出して $\Pi(\omega, \cdot) \equiv 1$ となる極限関数を得られ、これは $\omega = 0$ でなければ非自明性に反するが、正規化により $\omega = 0$ は除外される。