[論文レビュー] Weingarten Calculus

Georg Köstenberger|arXiv (Cornell University)|Jan 4, 2021

Random Matrices and Applications被引用数 6

ひとこと要約

本稿では、シュール＝ウェイラー双対性、表現論、ジュシス＝マーフィー要素を活用して、ユニタリ群 U(d) 上での多項式関数の積分を統一的に計算するためのフレームワークを提示する。Weingarten微分積分法を用いて、ハール測度に従うユニタリ行列のトレースの 2n 次モーメントに対する明示的公式を導出し、ダイアコニスの結果を一般化するとともに、標準的な d ≥ n の範囲を超えて Weingarten微分積分法の適用範囲を拡張する。

ABSTRACT

We consider the problem of computing the integral $$ \int_{\mathcal{U}(d)} u_{i_1j_1}\cdots u_{i_nj_n} \bar{u}_{i'_1j'_1} \cdots \bar{u}_{i'_{n'}j'_{n'}} dU, $$ where the integration takes place with respect to the probability Haar measure on the unitary group $\mathcal{U}(d)$, and the $u_{ij}$ denotes the $ij$-th entry of a unitary matrix $U$. We present a unified approach connecting classical results, the explicit formula for the integral given by B. Collins and P. Sniady and subsequent works of various authors providing different points of view. Finally we are able to provide an explicit formula for the $2n$-th moment of the trace of a unitary Haar random matrix, generalizing a result of P. Diaconis.

研究の動機と目的

• 本稿の目的は、行列要素の多項式関数を含むユニタリ群積分の、散在する異なる手法を統一することにある。
• 古典的な d ≥ n の仮定を超えて、Weingarten微分積分法の有効範囲を拡張することにある。
• ハール分布に従うユニタリ行列のトレースの 2n 次モーメントに対する、新たな明示的公式を提供することにある。
• ユニタリ積分の文脈において、Weingarten関数、ムーア＝ペンローズ逆行列、およびジュシス＝マーフィー要素の間の明確な関係を明らかにすることにある。
• 従来のトレースモーメントの結果を、|Tr(U^k)|^{2n} のような高次モーメントへと一般化することにある。

提案手法

• 本手法は、U(d) が Cd のテンソル冪上に作用する様子を分析するために、シュール＝ウェイラー双対性および二重中心化定理を用いる。
• テンソル積とクロネッカー積の間の自然な同型を用いて、U^⊗n および (U*)^⊗n の行列要素を積の形で表現する。
• 積分は、CU(d) に射影する作用素 E のトレースに帰着され、これが直交射影であることが示される。
• Weingarten関数 Wg(σ) が主要な要素として用いられ、その計算はジュシス＝マーフィー要素から構成された行列のムーア＝ペンローズ逆行列と関連づけられる。
• 軌道と安定化部分群の構造および置換対称性を分析することで、|u11|^2 の直接計算を高次モーメントへ一般化する。
• トレースモーメント |Tr(U^k)|^{2n} の場合、被積分関数を多重添え字の和に書き直し、得られた積分をWeingarten公式を用いて計算する。

実験結果

リサーチクエスチョン

• RQ1 Weingarten微分積分法は、d ≥ n の範囲を超えて、異なる手法や仮定の下でも体系的に統一可能か？
• RQ2 ユニタリ積分の文脈において、Weingarten関数、ムーア＝ペンローズ逆行列、およびジュシス＝マーフィー要素の間の正確な関係は何か？
• RQ3 ハール分布に従うユニタリ行列のトレースの 2n 次モーメントに対する明示的公式を導出可能か？これはダイアコニスの結果を一般化する。
• RQ4 対称群 Sn の軌道および安定化部分群構造は、高次モーメントの計算にどのように寄与するか？
• RQ5 本手法は、k > 1 の場合の ∫ |Tr(U^k)|^{2n} dU の形の積分を計算するために、どの程度一般化可能か？

主な発見

• 本稿では、ハール分布に従うユニタリ行列のトレースの 2n 次モーメントに対する、新たな明示的公式を提供し、ダイアコニスの結果を一般化する。
• commutant代数 CU(d) の次元が ∑_{λ ⊢ n, l(λ) ≤ d} (dim Sλ)^2 に等しいことが示され、表現論との関連が裏付けられる。
• 積分 ∫ |Tr(U)|^{2n} dU は n! ∑_i ∑_{σ ∈ stab(i)} Wg(σ) と表現され、ここで stab(i) は多重添え字 i の安定化部分群である。
• k 次のべきの場合、積分 ∫ |Tr(U^k)|^{2n} dU は、特定の巡回置換構造を持つ多重添え字 i, j, i′, j′ の和として計算され、より大きな対称群内の σ に対する Weingarten関数 Wg(σ) を含む。
• 本手法により、k=1 の場合に有効な単純化が k>1 では成立しないことが明らかとなり、構造的複雑性の増加が示された。
• 本フレームワークは、古典的結果、Collins-Sniadyの公式、およびジュシス＝マーフィー要素の手法を統合し、ユニタリ積分のための整合的かつ実用的な計算ツールを提供した。