[論文レビュー] An algorithm for evaluating Gram matrices in Verma modules of W-algebras

Daniel Whalen|arXiv (Cornell University)|Dec 2, 2014

Logic, programming, and type systems参考文献 2被引用数 5

ひとこと要約

本稿では、$χ$-代数のVerma加群におけるグラム行列を、演算子の正規順序付けと再帰的行列評価を活用して、動的計画法によって効率的に計算するアルゴリズムを提示する。この手法により、特徴標、特異ベクトル、ラダー図の明示的計算が可能となり、総合的な計算複雑度は$O(l^{3/2}P(l)^ heta)$となる。ここで$P(l)$はレベル$l$における状態数である。

ABSTRACT

I present a simple dynamic programming algorithm for the evaluation of operators in a wide range of superconformal algebras. Special care is taken to describe the computation of the Gram matrix. A Mathematica package, Weaver.m, is provided that implements the algorithm.

研究の動機と目的

• $χ$-代数における最高重層加群の構造を特定する未解決の課題に取り組む。
• バーラトロ代数を超える広範な超共形代数クラスに適用可能な汎用的アルゴリズムを開発する。
• Verma加群における特徴標、グラム行列、原始的およびp特異ベクトル、ラダー図の明示的計算を可能にする。
• 動的計画法を用いた計算的に効率的な枠組みを提供し、$χ$-代数における低レベル表現論を実現する。
• 理論物理学および表現論研究における実用的応用を想定し、MathematicaパッケージWeaver.mとしてアルゴリズムを実装する。

提案手法

• 正のモード生成子によって消える最高重層状態を用いて、$χ$-代数上のVerma加群を構築する。
• 各レベル$l$における演算子$X^i_n$の行列表現を再帰的に計算する動的計画法を実装する。
• 適切に順序付けられた基底を用い、レベル$l = -\sum n_k$による勾配の強制を施して、一貫性のある状態の列挙を保証する。
• 依存関係グラフが無閉路かつラベル付け条件を満たすことで、終了保証が得られる正規順序積展開を適用する。
• 複雑度$O(n^\theta)$（$ heta \approx 2.373$）を有する行列乗算技術を用いて、演算子作用の効率的評価を実現する。
• 0-代数作用から拡張されたユニタリ内積を用い、レベル$l$における基底状態の内積から再帰的にグラム行列$G(l)$を構築する。

実験結果

リサーチクエスチョン

• RQ1 一般の$χ$-代数（バーラトロの場合を除く）において、Verma加群のグラム行列を体系的かつ明示的に計算する方法は何か？
• RQ2 有限レベルにおけるVerma加群において、演算子作用と内積を効率的に評価する計算戦略は何か？
• RQ3 $χ$-代数における正規順序積をアルゴリズム的に解消する方法は何か？これにより、行列表現における無限和を回避できるか？
• RQ4 交換関係にどのような構造的条件を課すと、動的計画法の再帰的処理が終了保証され、効率的になるか？
• RQ5 レベル$l$までのすべての演算子およびグラム行列を評価する際の漸近的計算複雑度は何か？

主な発見

• 本アルゴリズムにより、動的計画法と行列再帰を用いて、$χ$-代数のVerma加群におけるグラム行列の明示的計算が可能となった。
• レベル$l$までのすべての演算子およびグラム行列を評価する総合的計算複雑度は、$O(l^{3/2}P(l)^\theta)$で抑えられ、$ heta \approx 2.373$である。
• レベル$l$における状態数$P(l)$は、漸近的に$O(l^{\beta}e^{\alpha\sqrt{l}})$と成長する。ここで$α = \pi\sqrt{N_F + 2N_B}/\sqrt{3}$、$β = -(N_B + 3)/4$である。
• アルゴリズムの正しさは、正規順序依存関係グラフの無閉路性と、適切な再帰順序を保証するラベル付け条件の両方を満たすことで保証される。
• MathematicaパッケージWeaver.mにおける実装は、バーラトロ代数および$\mathcal{SW}(3/2,2)$代数の両方をサポートしており、具体例の応用が提示されている。
• 共通の初期演算子を共有するバッチ行列乗算による最適化により、複雑度は$O(lP(l)^3)$から$O(l^{3/2}P(l)^\theta)$に低下し、実用的性能が向上した。