[論文レビュー] On the moments of the moments of the characteristic polynomials of Haar distributed symplectic and orthogonal matrices

Theo Assiotis, Emma Bailey+1 more|Edinburgh Research Explorer|Oct 28, 2019

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

ひとこと要約

本稿は、ハール分布を受けるシンプレクティック群および直交群の特性多項式のモーメントのモーメントに対する正確な公式を、制約付きゲルファンド＝ツェトリン型パターンを用いて導出する。行列サイズ $N \to \infty$ における漸近展開を確立し、主要項の係数が関連するゲルファンド＝ツェトリンの多面体の体積によって決定されることを示す。これはユニタリーケースとは著しく異なり、$Sp(2N)$ および $SO(2N)$ の $N$ 依存性が別個に現れる。

ABSTRACT

We establish formulae for the moments of the moments of the characteristic polynomials of random orthogonal and symplectic matrices in terms of certain lattice point count problems. This allows us to establish asymptotic formulae when the matrix-size tends to infinity in terms of the volumes of certain regions involving continuous Gelfand-Tsetlin patterns with constraints. The results we find differ from those in the unitary case considered previously

研究の動機と目的

• ユニタリーグループに用いられた表現論的アプローチを、シンプレクティック群および直交群へと拡張すること。
• $Sp(2N)$ および $SO(2N)$ の特性多項式のモーメントのモーメントに対する正確な組合せ的表現を導出すること。
• $N \to \infty$ におけるこれらのモーメントの漸近展開を、固定された $k, \beta$ に対して確立すること。
• 幾何的不変量、特に制約付きゲルファンド＝ツェトリン多面体の体積として、主要項の漸近的挙動を同定すること。
• 直交群／シンプレクティック群とユニタリーケースとの間で、漸近的成長率が根本的に異なることを示すこと。

提案手法

• $Sp(2N)$ および $SO(2N)$ 専用の制約付きゲルファンド＝ツェトリン型パターン内の格子点の和として、モーメントのモーメントを表現する。
• シュール多項式の恒等式を用い、これらのパターン上の対称関数として、特性多項式の積の平均を表現する。
• 凸体内の格子点数の漸近的解析を適用し、このようなパターンの数を近似する。
• 主要項の係数を、対応するゲルファンド＝ツェトリン多面体 $\mathcal{V}_{(k,\beta;\underline{\varepsilon})}^{G}$ の体積に結びつける（$G \in \{Sp, SO\}$）。
• 選択 $\underline{\varepsilon} = (1,\dots,1)$ を用いて、少なくとも一つの多面体の体積が正であることを示すことにより、主要係数の正値性を証明する。
• 表現論および組合せ論の結果を活用し、行列アンサンブルの平均を $\mathbb{R}^{k\beta}$ 内の幾何的対象と結びつける。

実験結果

リサーチクエスチョン

• RQ1 ハール分布を受ける $Sp(2N)$ および $SO(2N)$ 行列について、$N \to \infty$ のとき、特性多項式のモーメントのモーメントはどのように漸近的に振る舞うか？
• RQ2 これらの古典的群に対して、主要項の係数が $N$, $k$, および $\beta$ に対してどのように正確に依存するか？
• RQ3 $Sp(2N)$ および $SO(2N)$ の漸近的結果は、ユニタリーケースとどのように異なるか？
• RQ4 主要項の係数は、ゲルファンド＝ツェトリン型パターンの制約に基づく多面体の体積として幾何的に表現可能か？
• RQ5 すべての正の整数 $k, \beta$ に対して、主要項の係数は厳密に正か？

主な発見

• $Sp(2N)$ に対しては、漸近展開が $\operatorname{MoM}_{Sp(2N)}(k,\beta) = \mathfrak{c}_{Sp}(k,\beta) N^{k\beta(2k\beta - 1) - k} + O(N^{k\beta(2k\beta - 1) - k - 1})$ と与えられ、ここで $\mathfrak{c}_{Sp}(k,\beta)$ は $G_2$ 型ゲルファンド＝ツェトリン多面体の体積の和である。
• 一方、$SO(2N)$ に対しては、漸近展開が $\operatorname{MoM}_{SO(2N)}(k,\beta) = \mathfrak{c}_{SO}(k,\beta) N^{k\beta(2k\beta - 1) - k} + O(N^{k\beta(2k\beta - 1) - k - 1})$ と与えられ、$\mathfrak{c}_{SO}(k,\beta)$ は $B_N$ 型多面体の体積の和で与えられる。
• すべての $k, \beta \in \mathbb{N}$ に対して、主要項係数 $\mathfrak{c}_{Sp}(k,\beta)$ は厳密に正であり、少なくとも一つの多面体の体積が正であることを示すことにより証明された。
• 主要項の指数 $k\beta(2k\beta - 1) - k$ はユニタリーケースとは異なり、直交群およびシンプレクティック群のアンサンブルにおける別個の漸近的スケーリングを示している。
• 小規模な $k, \beta$ に対して、$\operatorname{MoM}_{G(N)}(k,\beta)$ の明示的な多項式表現が計算されており、例えば $\operatorname{MoM}_{Sp(2N)}(1,1) = \frac{1}{2}(N+1)(N+2)$ および $\operatorname{MoM}_{SO(2N)}(2,1) = \frac{1}{2}(N+1)^2(N+2)^2$ が得られている。
• 本結果により、制約付きゲルファンド＝ツェトリン型パターンの線形制約に基づく凸多面体の体積として、主要項係数の幾何的解釈が確立された。