[論文レビュー] A note on moments of derivatives of characteristic polynomials

Paul-Olivier Dehaye|arXiv (Cornell University)|Jan 21, 2010

Advanced Combinatorial Mathematics参考文献 21被引用数 7

ひとこと要約

本稿では、シュール関数とオクヌコフおよびオルシャンスキーの一般化二項定理を用いて、ユニタリ行列の特徴多項式の導関数のモーメントを計算する新規な手法を提示する。主な結果として、これらのモーメントが内容の関数の有限和として表現されることを示し、正規化されたモーメントの有理型および行列引数の超幾何関数との関連を明らかにする。

ABSTRACT

We present a simple technique to compute moments of derivatives of unitary characteristic polynomials. The first part of the technique relies on an idea of Bump and Gamburd: it uses orthonormality of Schur functions over unitary groups to compute matrix averages of characteristic polynomials. In order to consider derivatives of those polynomials, we here need the added strength of the Generalized Binomial Theorem of Okounkov and Olshanski. This result is very natural as it provides coefficients for the Taylor expansions of Schur functions, in terms of shifted Schur functions. The answer is finally given as a sum over partitions of functions of the contents. One can also obtain alternative expressions involving hypergeometric functions of matrix arguments.

研究の動機と目的

• N×Nユニタリ行列の特徴多項式の導関数のモーメントを簡略化した技術で計算するための開発。
• 整数 k, r に対して 0 ≤ r ≤ 2k を満たすとき、正規化されたモーメント 𝒪(2k,r) および |𝒪|(2k,r) の有理型の確立。
• 特にシフトされたシュール関数と一般化されたポッヒハマー記号を通じて、対称関数論への接続の確立。
• 行列引数の超幾何関数の観点から代替表現の提供。
• 確率的行列理論におけるプラナッセル測度との関連を含む漸近的解析およびさらなる探求の基盤の構築。

提案手法

• ブルムとガンブルトの手法に従い、ユニタリ群上でのシュール関数の正規直交性を活用して、特徴多項式の行列平均を計算する。
• オクヌコフとオルシャンスキーの一般化二項定理を適用し、シフトされたシュール関数を用いてシュール関数をテイラー級数に展開する。
• モーメントを整数分割 μ ⊢ r に関する有限和として表現し、各項の係数に無限次元表現の次元の二乗 h_μ² を含む。
• 一般化されたポッヒハマー記号 a ↑ μ を用いて、モーメント式における対称関数の評価を符号化する。
• 指数型母関数を導出し、行列引数の退化超幾何関数に至る：₁F₁(-k; -2k; z Id_{N×N})。
• 恒等式 ∑_{λ ⊢ n} n! / h_λ² = 1 を用いて、モーメント比と分割上のプラナッセル測度との間の関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 対称関数論を用いて、ユニタリ特徴多項式の導関数のモーメントをどのように効率的に計算できるか？
• RQ2 正規化されたモーメント 𝒪(2k,r) および |𝒪|(2k,r) の構造は何か？ なぜこれらは k と r の有理関数として現れるのか？
• RQ3 オクヌコフとオルシャンスキーの一般化二項定理を用いて、シュール関数のテイラー係数の明示的公式を導出可能か？
• RQ4 モーメントと行列引数の超幾何関数との間の関係は何か？
• RQ5 プラナッセル測度とフック長の公式は、これらのモーメント計算の文脈でどのように自然に現れるのか？

主な発見

• 正規化モーメント 𝒪(2k,r) は、(𝒪)(2k,r) / (𝒪)(2k,0) 𝔦^r = ∑_{μ ⊢ r} r! / h_μ² × (k ↑ μ) / (2k ↑ μ) を満たし、有理型が明確に示される。
• 比 (𝒪)_N(2k,r) / (𝒪)_N(2k,0) 𝔦^r は、r の分割に関する有限和 ∑_{μ ⊢ r} r! / h_μ² × (N ↑ μ)((-k) ↑ μ) / (-2k) ↑ μ として与えられる。
• X_{2h} の主要項は、2h! / (h! 2^{3h}) に等しく、X_{2h} よりも次数が 2h 低いことが、その後の研究で示された。
• モーメントの指数型母関数は、退化超幾何関数 ₁F₁(-k; -2k; z Id_{N×N}) を与え、スカラー行列引数に対して有効である。
• モーメント式の分母 Y_r は、1−r から r−1 の奇数整数においてゼロをもち、有理関数におけるキャンセルパターンを反映している。
• プラナッセル恒等式 ∑_{λ ⊢ n} n! / h_λ² = 1 により、多項式 X_r はモニックであることが保証される。