[論文レビュー] Generating functions for tensor products

Luc Bégin, Chris Cummins+1 more|ArXiv.org|Nov 12, 1998

Computational Geometry and Mesh Generation参考文献 3被引用数 8

ひとこと要約

この論文は、有限リー代数におけるテンソル積の重複度を計算する生成関数法を導入する。問題を代数的モデルとディオファントス方程式に再定式化することで、グレブナー基底を用いて禁じられた結合を特定し、無限次元レベルにおけるテンソル積分解の体系的な計算を可能にするアルゴリズム的枠組みを提供する。キャラクターに基づく手法の制限を克服する。

ABSTRACT

This is the first of two articles devoted to a comprehensive exposition of the generating-function method for computing fusion rules in affine Lie algebras. The present paper is entirely devoted to the study of the tensor-product (infinite-level) limit of fusions rules. We consider thus in detail the problem of constructing tensor-product generating functions in finite Lie algebras. From the beginning, the problem is recast in terms of the concept of a model, which is an algebra whose Poincaré series is the generating function under study. We start by reviewing Sharp's character method. Simple examples are worked out in detail, illustrating thereby its intrinsic limitations. An alternative approach is then presented; it is based on the reformulation of the problem of calculating tensor products in terms of the solution of a set of linear and homogeneous Diophantine equations whose elementary solutions represent ``elementary couplings''. Grobner bases provide a tool for generating the complete set of relations between elementary couplings and, most importantly, as an algorithm for specifying a complete, compatible set of ``forbidden couplings''. This machinery is then applied to the construction of various tensor-product generating functions.

研究の動機と目的

• 有限リー代数におけるテンソル積の重複度を体系的に計算するための手法を開発すること。
• 複雑なテンソル積分解を扱う際のシャープのキャラクター法の本質的制限を克服すること。
• テンソル積問題を、基本的結合を表す一様線形ディオファントス方程式系に再定式化すること。
• グレブナー基底を用いて、基本的結合間のすべての関係を生成し、禁じられた結合を特定すること。
• 代数的モデル理論を用いて、完全で整合性のある生成関数をテンソル積に対して構成すること。

提案手法

• テンソル積問題を、一様線形ディオファントス方程式系の解を求める問題に再定式化すること。
• 基本的結合を、ディオファントス方程式系の基本的解として定義し、基本的な結合パターンを表すこと。
• グレブナー基底技術を用いて、基本的結合間の全代数的関係を計算すること。
• 代数的構造によって禁止される結合（グレブナー基底から導かれる）を禁じられた結合として特定すること。
• 代数的モデルのピオンカーレ系列を、テンソル積の重複度の生成関数として構成すること。
• 低ランクリー代数における明示的例にこの手法を適用し、フレームワークの妥当性を検証すること。

実験結果

リサーチクエスチョン

• RQ1 有限リー代数におけるテンソル積の重複度は、キャラクターに基づく手法の範囲を超えて、どのように体系的に計算可能か？
• RQ2 テンソル積分解におけるすべての許可された結合の集合の背後にある代数的構造は何か？
• RQ3 グレブナー基底は、テンソル積規則における禁じられた結合を効果的に特定するために有効に使えるか？
• RQ4 ディオファントス方程式の解空間から、テンソル積の生成関数をどのように構成できるか？
• RQ5 代数的モデルのピオンカーレ系列は、テンソル積の重複度をどのように符号化するか？

主な発見

• 本手法は、シャープのキャラクター法の制限を効果的に克服し、テンソル積計算の完全でアルゴリズム的な枠組みを提供する。
• 基本的結合は、ディオファントス方程式の解を通じて、テンソル積分解の基本的構成要素として同定される。
• グレブナー基底は、基本的結合間のすべての関係を体系的に生成し、禁じられた結合を特定する有効な手段を提供する。
• 構築された代数的モデルのピオンカーレ系列は、正確にテンソル積の重複度の生成関数を符号化する。
• 本フレームワークは一般性を有し、さまざまな有限リー代数に適用可能であり、明示的例によりその実行可能性と正しさが示された。
• 本アプローチは、アフィンリー代数における無限次元レベルの融合則の明確な代数的基礎を確立する。