[論文レビュー] On asymptotics of large Haar distributed unitary matrices

Dėnes Petz, Júlia Réffy|ArXiv.org|Oct 21, 2003

Random Matrices and Applications参考文献 8被引用数 5

ひとこと要約

この論文は、初等的なモーメント法を用いて、大きなハール分布を受けるユニタリ行列のべき乗のトレースの漸近的正規性と同時独立性を確立する。また、正規化された切断ハールユニタリ行列が非自己随伴ガウス確率行列に分布収束することを証明し、ディアコニスとシャフシャハニによる先行の特性関数に基づく証明とは対照的に、より単純な代替手法を提供する。

ABSTRACT

Let $U_n$ be an $n imes n$ Haar unitary matrix. In this paper, the asymptotic normality and independence of $\Tr U_n, \Tr U_n^2, ..., \Tr U_n^k$ are shown by using elementary methods. More generally, it is shown that the renormalized truncated Haar unitaries converge to a Gaussian random matrix in distribution.

研究の動機と目的

• 大きなハールユニタリ行列のべき乗のトレースの漸近的正規性を確立すること。
• n → ∞ のとき、Tr(Uⁿ), Tr(Uⁿ²), ..., Tr(Uⁿᵏ) のトレースが漸近的に独立であることの証明。
• 正規化された切断ハールユニタリ行列が、非自己随伴ガウス確率行列に分布収束することの証明。
• 群表現論の高度な理論を避けて、モーメント法を用いた初等的証明の提供。
• 複素円板上での積分と輪郭積分法を用いた、切断ハールユニタリ行列の同時固有値分布への構成的アプローチ。

提案手法

• i.i.d. 複素ガウス行列のグラム・シュミット直交化を用いてハールユニタリ行列を構成する。
• 固定されたkに対して、nが大きいときのTr(Uⁿᵏ)のモーメントを解析するためのモーメント法の応用。
• スケーリングζᵢ ↦ √(m/n)ζᵢによる、切断ハールユニタリ行列の同時固有値密度の変換。
• 複素輪郭積分と留数定理を用いて、得られた多次元積分の評価。
• 正規化された切断行列の同時固有値密度の計算およびn → ∞における極限の評価。
• 極限密度が、i.i.d. 複素ガウス成分を持つ標準非自己随伴ガウス行列の密度に一致することの特定。

実験結果

リサーチクエスチョン

• RQ1 大きなn×nのハールユニタリ行列のトレースTr(Uⁿ), Tr(Uⁿ²), ..., Tr(Uⁿᵏ) は、n → ∞ のとき漸近的に正規分布に従うか？
• RQ2 異なるべき乗のトレースは、nが大きい極限において漸近的に独立か？
• RQ3 正規化された切断ハールユニタリ行列√(n/m)U[ₙ,ₘ] は分布収束してガウス確率行列に近づくか？
• RQ4 群の特性関数を用いない初等的モーメント法によって、切断ハールユニタリ行列の極限分布を導出可能か？
• RQ5 正規化された切断行列の同時固有値密度の正確な形は何か？ また、n → ∞ におけるその極限は？

主な発見

• k = 1, 2, ..., k に対して、Tr(Uⁿᵏ) は n → ∞ のとき漸近的に正規分布に従い、同時に独立である。
• 正規化された切断行列√(n/m)U[ₙ,ₘ] は、標準m×m非自己随伴ガウス確率行列に分布収束する。
• 極限における同時固有値密度は、exp(−m∑|ζᵢ|²)∏ᵢ<ⱼ|ζᵢ − ζⱼ|²に比例し、ガウス系と一致する。
• 固有値密度における正規化定数は、n → ∞ のときπ⁻ᵐm!⁻¹∏ₖ₌₁ᵐk!⁻¹mᵐ⁽ᵐ⁺¹⁾ᐟ²に収束する。
• モーメント法は、ディアコニスとシャフシャハニの特性関数に基づく手法と同一の極限分布を再現できたが、初等的技術を用いて実現された。
• 切断ハールユニタリ行列の同時固有値密度は、単位円板上での積分と輪郭積分を用いて導出され、明確な漸近的表現が得られた。