[論文レビュー] MOPS: Multivariate Orthogonal Polynomials (symbolically)

Ioana Dumitriu, Alan Edelman+1 more|ArXiv.org|Sep 24, 2004

Quantum chaos and dynamical systems参考文献 18被引用数 7

ひとこと要約

この論文は、ジャック、エルミート、ラゲール、アーベル多変数直交多項式に加え、それらに関連する超幾何関数および確率的行列理論における固有値統計を計算するための記号的 Maple ライブラリ MOPS を紹介する。著者は、複雑性の上限が保証された明確なアルゴリズムを提供し、記号的および数値的評価を可能にし、レベル密度の計算や固有値分布の分析への応用を示している。その中にはスタンレーによって後に証明された予想も含まれる。

ABSTRACT

In this paper we present a Maple library (MOPs) for computing Jack, Hermite, Laguerre, and Jacobi multivariate polynomials, as well as eigenvalue statistics for the Hermite, Laguerre, and Jacobi ensembles of Random Matrix theory. We also compute multivariate hypergeometric functions, and offer both symbolic and numerical evaluations for all these quantities. We prove that all algorithms are well-defined, analyze their complexity, and illustrate their performance in practice. Finally, we also present a few of the possible applications of this library.

研究の動機と目的

• 理論的に豊富であるにもかかわらず、実用的にあまり使われていない多変数直交多項式（MOPs）およびその特殊関数を包括的かつ記号的に処理できるソフトウェアライブラリの開発。
• 科学的計算分野における多変数直交多項式および関連量の計算に向けた体系的アルゴリズムとソフトウェアの不足を是正すること。
• ジャック、エルミート、ラゲール、アーベル多項式および多変数超幾何関数の、明確に定義され、複雑性解析がなされたアルゴリズムの提供。
• これらの多項式および積分の記号的および数値的評価を可能にするフレームワークの構築。その応用分野として確率的行列理論および数理物理学を想定。
• 固有値分布の計算や予想の提示を通じた実用的有用性の提示。その中にはスタンレーによって後に証明された結果も含まれる。

提案手法

• ライブラリ MOPS は Maple で実装され、対称多項式および分割に基づく表現を用いて、多変数直交多項式の記号的計算が行われる。
• 著者は、パrameter β（または α = 2/β）に依存する反発要因を含む重み関数を用いて、多変数直交多項式を定義する。これは一変数直交多項式の一般化である。
• ジャック多項式の計算には単項対称関数展開を用いたアルゴリズムが開発され、エルミート、ラゲール、アーベル多項式の計算には再帰的および係数に基づく手法が用いられる。
• 多変数二項係数および一般化されたシュール関数は、再帰的公式および組合せ的恒等式を用いて計算され、多項式展開の支援がなされる。
• レベル密度の公式は、多変数エルミート多項式を用いて導出され、固有値分布の可視化および分析のための正規化のためにスケーリングが施される。
• ソフトウェアは、直交多項式基底および重み関数のアルゴリズム的取り扱いを通じて、積分および期待値の記号的評価をサポートする。

実験結果

リサーチクエスチョン

• RQ1 多変数直交多項式は、ソフトウェアライブラリ内でどのように体系的に計算され、記号的に表現できるか？
• RQ2 複数変数におけるジャック、エルミート、ラゲール、アーベル多項式を計算するアルゴリズムの計算複雑性の上限は何か？
• RQ3 多変数超幾何関数および固有値統計の記号的および数値的評価を、単一の計算フレームワークに効率的に統合できるか？
• RQ4 確率的行列アンサンブルにおけるレベル密度は、多変数直交多項式を用いてどのように表現され、計算できるか？
• RQ5 多変数直交多項式の体系的な記号的計算から、どのような新しい数学的予想が生じ得るか？

主な発見

• MOPS ライブラリは、ジャック、エルミート、ラゲール、アーベル多項式の記号的計算を成功裏に実装しており、アルゴリズムは明確に定義されており、複雑性の上限も確立されている。
• α が整数の逆数であるとき、エルミートアンサンブルのレベル密度について、多変数エルミート多項式を用いた閉形式の式が導出された。
• ライブラリは、固有値分布の正確な計算を可能にし、n=4 および α=1, 1/2, 1/3, 1/4, 1/5 のスケーリングされたレベル密度のプロットを通じて、α が小さくなるにつれて「盛り上がり」が増加することが示された。
• 単項対称関数の係数に関するジャック多項式に関する予想が提示され、後にリチャード・スタンレーによって証明された。これは、ライブラリが数学的発見に貢献していることを示している。
• ソフトウェアは、積分および期待値の記号的および数値的評価をサポートしており、多変数二項係数および一般化されたシュール関数を計算するルーチンも備えている。
• インストールガイド、構文ドキュメンテーション、積分評価ルーチンを含む包括的なシステムが実装されており、研究および教育的用途に適している。