[논문 리뷰] Asymptotic Harmonic Analysis on the Space of Square Complex Matrices

Marouane Rabaoui|ArXiv.org|2008. 06. 03.

Matrix Theory and Algorithms참고 문헌 5인용 수 14

한 줄 요약

이 논문은 무한차원 복소행렬 공간 $V_\infty = M(\infty,\mathbb{C})$ 위에서 유도한 극한군 $K_\infty = U(\infty) \times U(\infty)$ 작용 하에서 양의 유형의 구면 함수를 결정한다. 이 함수들은 수정된 Pólya 함수 $\Pi(\omega, \xi_i)$의 곱으로 주어지며, $\omega = (\alpha, \gamma)$로, $\gamma \geq 0$, $\alpha_k \geq 0$, $\sum \alpha_k < \infty$이다. 이 결과는 유도한 극한 기법과 일반화된 Bochner 정리들을 통해 고전적인 조화해석학을 무한차원 행렬 공간으로 확장한다.

ABSTRACT

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

연구 동기 및 목표

• 무한차원 Gelfand 쌍에 대한 $K_\infty$-이항연속 함수의 양의 유형 함수들의 볼록집합의 극점들을 특성화하는 것.
• 유한차원 Gelfand 쌍에서의 고전적 구면 함수 이론을 정사각형 복소행렬의 무한차원 설정으로 확장하는 것.
• 일반화된 Bochner 유형 정리를 사용하여 $V_\infty$ 위의 양의 유형 구면 함수의 매개변수화를 수립하는 것.

제안 방법

• 유한차원 쌍 $(G_n, K_n)$ 에서의 결과를 올려받기 위해 $V_\infty = \bigcup_n M(n,\mathbb{C})$ 와 $K_\infty = \bigcup_n (U(n) \times U(n))$ 의 유도한 극한 구성법을 사용한다.
• 극한분해를 적용하여 $V_\infty$ 위의 $K_\infty$-불변 함수를 유한지지 실수열로 매개변수화된 대각부분공간 $D_\infty$ 위의 함수로 줄인다.
• 파라미터 수열 $\omega^{(n)}$ 의 수렴 정리들을 사용하여 $V_n$ 위의 궤도측도의 푸리에 변환의 균일한 극한으로서 구면 함수를 유도한다.
• 수렴 정리들을 사용하여 $V_\infty$ 위의 구면 함수의 수렴을 보장하며, 수정된 Pólya 함수 $\Pi(\omega, \lambda) = e^{-\frac{1}{4}\gamma\lambda^2} \prod_{k=1}^\infty \frac{1}{1 + \frac{1}{4}\alpha_k\lambda^2}$ 를 사용한다. 여기서 $\sum \alpha_k < \infty$, $\gamma \geq 0$, $\alpha_k \geq 0$이다.
• Vershik의 정리에 따라 궤도측도의 약한 극한을 사용하여 에르고딕한 $K_\infty$-불변 측도를 표현하고, 극점 양의 유형 함수의 형태를 유도한다.
• 매개변수 $\omega \in \Omega$ 와 구면 함수 사이의 대응이 표준 보렐 동형사상임을 증명하여, 매개변수화된 일반화된 Bochner 정리를 수립한다.

실험 결과

연구 질문

• RQ1 무한차원 공간 $V_\infty = M(\infty,\mathbb{C})$ 에서 $K_\infty = U(\infty) \times U(\infty)$ 의 작용에 대해 양의 유형의 구면 함수는 무엇인가?
• RQ2 $V_n$ 에서의 유한차원 쌍 $(G_n, K_n)$ 의 구면 함수들이 무한차원 쌍 $(G_\infty, K_\infty)$ 의 구면 함수로 어떻게 수렴하는가?
• RQ3 $K_\infty$-불변 양의 정부호 함수에 대해 일반화된 Bochner 정리를 수립할 수 있는가?
• RQ4 수정된 Pólya 함수 $\Pi(\omega, \lambda)$ 는 극점 양의 유형 함수를 매개변수화하는 데 어떤 역할을 하는가?
• RQ5 $\sum \alpha_k < \infty$, $\gamma \geq 0$, $\alpha_k \geq 0$ 를 만족하는 매개변수 공간 $\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$ 라는 매개변수 공간을 이룬다. 이에 따라 $\omega \mapsto \varphi_\omega$ 는 $\Omega$ 와 극점 양의 유형 함수의 집합 사이의 표준 보렐 동형사상이다.
• 구면 함수들은 $V_n$ 위의 궤도측도의 푸리에 변환의 컴acts 집합에서의 균일한 극한으로 나타나며, 수렴하는 파라미터 수열 $\omega^{(n)}$ 이 $\Omega$ 에서 수렴한다.
• 일반화된 Bochner 정리가 성립한다: $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$ 이 아닌 경우 $\varphi$ 의 비자명성과 모순된다. 이는 정규화 조건에 의해 배제된다.