[論文レビュー] Vector partition function and representation theory

Charles Cochet|arXiv (Cornell University)|Jun 9, 2005

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

ひとこと要約

本稿では、Baldoni-Beck-Cochet-Vergneの最近の結果に基づくベクトル分割関数を用いて、古典的リー代数 $A_r$、$B_r$、$C_r$、$D_r$ における重み多重度およびLittlewood-Richardson係数を高速かつ効率的に計算する、Mapleベースのアルゴリズムを提示する。この手法は反復留数および最大ネスト集合（MNS）を活用し、これらの不変量および関連するEhrhart準多項式を計算し、重み座標が5桁に達するまで高パフォーマンスで計算可能である。これは、ランク5〜7において、LiE や LattE といった従来のソフトウェアを上回る速度とスケーラビリティを実現している。

ABSTRACT

We apply some recent developments of Baldoni-Beck-Cochet-Vergne on vector partition function, to Kostant's and Steinberg's formulae, for classical Lie algebras $A\_r$, $B\_r$, $C\_r$, $D\_r$. We therefore get efficient { t Maple} programs that compute for these Lie algebras: the multiplicity of a weight in an irreducible finite-dimensional representation; the decomposition coefficients of the tensor product of two irreducible finite-dimensional representations. These programs can also calculate associated Ehrhart quasipolynomials.

研究の動機と目的

• 古典的リー代数における重み多重度およびテンソル積分解係数の高速でスケーラブルなアルゴリズムの開発。
• 最高重みを関数とするこれらの係数の区分的準多項式の計算を可能にする。
• LiE や LattE といった既存ソフトウェアが大規模な重みパラメータを効率的に処理できないという制限を克服する。
• 外部的または特殊な依存関係を必要としない明快で使いやすく、ポータブルなMaple実装を提供する。
• $A_r$ にとどまらず、すべての古典的リー代数へまで、ベクトル分割関数技法の適用範囲を拡張する。

提案手法

• 重み多重度およびLittlewood-Richardson係数を、ベクトル分割関数の評価として表すKostantおよびSteinbergの公式を用いる。
• Baldoni-Beck-Cochet-Vergne（2005年）の最近の結果、特に有理関数の逆ラプラス変換を反復留数および最大ネスト集合（MNS）を用いて行う手法を応用する。
• アルゴリズムは、MNSを用いた有理生成関数の分解と形式的べき級数展開により、ベクトル分割関数を計算する。
• 実装はすべてMapleで記述されており、正確な算術計算および準多項式評価のための記号計算を活用している。
• 重みを形式的変数として扱い、区分的多項式表現を抽出することで、Ehrhart準多項式の計算が可能になる。
• 大規模な重みに最適化されており、典型的なC++ベースのツールが到達できない5桁の座標を持つ重みに対しても、高いパフォーマンスを発揮している。

実験結果

リサーチクエスチョン

• RQ1 MNSおよび反復留数を用いて、すべての古典的リー代数におけるベクトル分割関数を効率的に計算できるか？
• RQ2 得られるアルゴリズムは、大規模な重みに対しても、重み多重度およびLittlewood-Richardson係数を高パフォーマンスで計算できるか？
• RQ3 これらの係数の最高重みを関数とする関連するEhrhart準多項式を計算できるか？
• RQ4 本稿のMapleベース実装のパフォーマンスは、LiE や LattE といった既存ソフトウェアと比較して、大規模な重み例においてどうなるか？
• RQ5 外部または特殊なパッケージを必要とせず、ポータブルかつ使いやすい形でアルゴリズムを実装できるか？

主な発見

• Mapleプログラムは、$A_r$、$B_r$、$C_r$、$D_r$ における重み座標が5桁に達するまで、重み多重度およびLittlewood-Richardson係数を計算可能であり、従来のC++ベースのソフトウェアの限界を大きく超えている。
• $A_4$ において、MNSアルゴリズムはテンソル積係数557,744を2.1秒で計算した。一方、LattEでは12.3秒、LiEでは284.1秒を要した。
• $D_4$ において、プログラムは係数1.89×10^27を27.7秒で計算した。LattEは165.2秒を要し、LiEは合理的な時間内に完了しなかった。
• プログラムは$B_3$の準多項式$c_{toldsymbol{ u}}^{toldsymbol{ u}}$を1099.4秒で計算したが、LattEは同様のタスクを825.8秒で完了した。
• 形式的変数を用いた$A_3$の完全な記号的準多項式は1158.6秒で計算され、87ページの出力が得られ、複雑な代数的構造を扱える能力を示している。
• 実装はMaple Vr5と互換性があり、完全にドキュメント化されており、外部依存関係を必要とせず、ユーザーが内部メカニズムを理解・拡張可能である。