[論文レビュー] Computation of Cohomology of Lie Algebra of Hamiltonian Vector Fields by Splitting Cochain Complex into Minimal Subcomplexes

Vladimir V. Kornyak|ArXiv.org|May 6, 2002

Advanced Topics in Algebra参考文献 7被引用数 3

ひとこと要約

本稿では、ハミルトニアンベクトル場のリー代数 H(2|0) のコホモロジーを計算するための新しいアルゴリズムを提示する。この手法は、コチェーン複体を最小部分複体に分解することで、従来の方法に比べて計算効率を著しく向上させる。このアプローチにより、H(2|0) 及びその関連するポisson代数 Po(2|0) において、以前に未知であったコホモロジー類の発見が可能となり、LieCohomology Cプログラム実装を用いたベンチマークテストでは、最大40倍の性能向上が達成された。

ABSTRACT

Computation of homology or cohomology is intrinsically a problem of high combinatorial complexity. Recently we proposed a new efficient algorithm for computing cohomologies of Lie algebras and superalgebras. This algorithm is based on partition of the full cochain complex into minimal subcomplexes. The algorithm was implemented as a C program LieCohomology. In this paper we present results of applying the program LieCohomology to the algebra of hamiltonian vector fields H(2|0). We demonstrate that the new approach is much more efficient comparing with the straightforward one. In particular, our computation reveals some new cohomological classes for the algebra H(2|0) (and also for the Poisson algebra Po(2|0)).

研究の動機と目的

• リー超代数のコホモロジーを計算する際の高い組合せ的複雑性、特に無限次元または高次元のコチェーン空間に対して、それを克服すること。
• リー代数 H(2|0) 及びその関連ポアソン代数 Po(2|0) のコホモロジーをより効率的に計算するアルゴリズムの開発。
• コチェーン複体を最小部分複体に分割することで、計算コストを低減し、従来では不可能だった計算を可能にすることの証明。
• 従来の低効率な手法では検出されなかった、H(2|0) 及び Po(2|0) における新たなコホモロジー類の同定。

提案手法

• アルゴリズムは、微分作用素に関して不変な最小部分複体に、全コチェーン複体を分割することで、問題の次元を低減する。
• 全次数およびゴースト数によるコチェーンの階数付き分解を用い、微分作用素に関して閉じた部分複体を特定する。
• 微分作用素は、式 (2) で定義されたように、リー括弧と加群作用を含む超反対称公式により計算される。
• プログラム LieCohomology は、Gaussの消去法を用いて商空間 H^k = Z^k / B^k を計算することで、アルゴリズムを実装している。
• 大きなコチェーン空間の完全な計算を避けるために、次元が有限である最小部分複体にのみ注目する。
• 計算は有理数 Q 上で行われ、プロファイリングの結果、多倍長整数演算が主な性能ボトルネックであると判明している。

実験結果

リサーチクエスチョン

• RQ1 コチェーン複体を最小部分複体に分解することで、リー代数 H(2|0) のコホモロジーをより効率的に計算できるか。
• RQ2 H(2|0) 及び Po(2|0) に、従来の低効率なアルゴリズムでは検出されなかった新たなコホモロジー類が存在するか。
• RQ3 コホモロジー次数およびゴースト数が増加するに従って、新しいアルゴリズムの性能は、以前の実装と比べてどの程度向上するか。
• RQ4 高次元のコチェーン空間を有する他のリー超代数に対しても、部分複体分解手法をどの程度一般化できるか。
• RQ5 Z_p 上の有限体計算は、H^*(H(2|0)) の全コホモロジー環の構造について信頼できる手がかりを提供できるか。

主な発見

• 新しいアルゴリズムでは、(k,g) = (6,5) のコホモロジー類を54秒で計算可能であり、同じハードウェア上で前回の手法では2145秒（35分45秒）を要した。
• 新しいアプローチにより、H(2|0) 及び Po(2|0) において、従来検出されなかったコホモロジー類が明らかになった。これは、従来の認識よりも構造が豊かであることを示唆している。
• 計算の複雑性が高くなるほど性能向上が顕著になるため、この手法は高次のコホモロジー計算に対してもスケーラブルであると考えられる。
• g=8 まで、k=19 までに及ぶゴースト数および次数の H^k_g の計算が達成され、コホモロジー群の次元を示す詳細な表が提示された。
• プロファイリングの結果、多倍長整数演算が主な計算ボトルネックであることが判明し、有限体計算（例：Z_p）を用いることで、g=40〜50 までの計算範囲を拡張できる可能性がある。
• 全コチェーン空間がメモリに収まらない場合でも、最小部分複体に限定することでコホモロジー計算が可能になる。