ランダム行列の特徴多項式で現れる行列式比・プファッフィアン比の導関数を明示的に表現
この論文は、行列式あるいはプファッフィアン(反対称行列に対応する特別な行列式のような量)をヴァンデルモンド行列式で割った比の導関数について、明示的な式を与えることを目的としています。こうした比はランダム行列の固有値に関する期待値、特に特徴多項式(行列の固有値から作る多項式)の積の期待値やその導関数の期待値に自然に現れます。主張の核は、これらの導関数を取り扱いやすい形に書き換えるための一般的な公式群です。
研究者たちはまず、導関数を含まない既知の有限サイズNの公式を出発点としました。ユニタリ、直交、随伴(スペクトルの対称性に対応する)といった対称性ごとに、期待値はそれぞれ対応するカーネルの行列式またはプファッフィアンで与えられます。その分母に現れるヴァンデルモンド行列式を取り除き、導関数を計算しても多項式としての形が保てるようにするため、一次導関数ではカーネルや行列のボレル変換(積分変換の一種)を用いた表現を与え、より高次の導関数は分割(パーティション)に関する和として、導関数を成分にもつ行列式の組み合わせで表しました。係数は組合せ的な式で与えられます。最も一般的な結果は、複数の変数に関する混合高次導関数にも適用されます。
手法としては、行列式・プファッフィアンの代数的操作に加え、シュール関数やコストカ数(Kostka 数)といった表示論・組合せ的手法を用いるルートも採られています。論文では一般の定理の証明に加え、具体例として複素ギンブリ(Ginibre)行列群の無限次元極限や、円ユニタリアンサンブル(CUE: Circular Unitary Ensemble)への応用が示されています。CUEの場合は、もとのカーネルのボレル変換から得られる一般化ベッセル核が現れることが説明されています。詳しい証明や補助的な主張は本文の後半と付録にまとめられています。
この仕事が重要なのは、特徴多項式とその導関数の期待値が、リーマンゼータ関数の零点の統計や量子カオス、量子色力学(QCD)の低エネルギー行列モデルなど、幅広い応用分野で用いられている点です。特に本論文の公式は対称性クラス(ユニタリ・直交・随伴)ごとに有限サイズNで成り立つ一般形を与えるため、特定の分布に依存しない普遍性(大きなNで様子が単純化する性質)を調べる際の出発点になります。また、分母のヴァンデルモンドを除くことで、導関数をとった後も多項式表現が得られる実用的な手段を提供します。
留意点としては、本研究は既存の「導関数を含まない」公式を出発点にしてそれを拡張する形で進められているため、結果は与えられた対称性クラスとその重み関数(カーネルを決める分布)に依存する形で提示されています。大きな行列サイズNにおける普遍性は期待されるものの、普遍性そのものをこの論文で一般に証明しているわけではありません。また、本文では多数の定理とそれらの証明、例題と付録が提示されており、具体的な適用や数値評価は各例に従って行う必要があります。