[論文レビュー] Multiplicity of compact group representations and applications to Kronecker coefficients

Velleda Baldoni, Michèle Vergne|arXiv (Cornell University)|Jun 8, 2015

Advanced Combinatorial Mathematics参考文献 33被引用数 6

ひとこと要約

本稿では、多変数の留数とDuistermaat-Heckman測度に基づく計算手法を用いて、対称群の既約表現のテンソル積の分解における重複度であるKronecker係数を計算する方法を開発する。固定されたYoung図の行数に対して多項式時間のアルゴリズムが得られ、長方形テーブックスに対して明示的な公式とHilbert級数が得られ、単位根を含む閉形式の表現および区分的準多項式が含まれる。

ABSTRACT

These notes are an expanded version of a talk given by the second author. Our main interest is focused on the challenging problem of computing Kronecker coefficients. We decided, at the beginning, to take a very general approach to the problem of studying multiplicity functions, and we survey the various aspects of the theory that comes into play, giving a detailed bibliography to orient the reader. Nonetheless the main general theorems involving multiplicities functions (convexity, quasi-polynomial behavior, Jeffrey-Kirwan residues) are stated without proofs. Then, we present in detail our approach to the computational problem, giving explicit formulae, and outlining an algorithm that calculate many interesting examples, some of which appear in the literature also in connection with Hilbert series.

研究の動機と目的

• 幾何的表現論と留数計算を用いて、Kronecker係数の体系的計算フレームワークを構築すること。
• 表現論と量子情報の中心的役割を果たすKronecker係数の計算という長年の課題に取り組むこと。
• 対称的および長方形テーブックスの場合の拡大Kronecker係数の明示的公式とHilbert級数を提供すること。
• 実用的な例計算のため、この手法をMapleに実装すること。
• 既知の結果の明確化と是正、例えば先行文献における5キュービット例の誤植係数の是正。

提案手法

• 多重度関数をモーメント写像とモーメントコーン上のDuistermaat-Heckman測度に結びつける幾何的量子化フレームワークを用いる。
• Orlik-Solomon基底による繰り返し留数計算を適用し、多重度関数に関連する分割関数を計算する。
• Jeffrey-Kirwan留数定理を用いて、多重度の母関数から係数を抽出する。
• モーメント写像像の凸幾何学的性質を活用し、多重度関数をコーン上での区分的準多項式としてモデル化する。
• 留数に基づく分割関数評価を用いて、拡大係数の分析を通じて、対称的および長方形テーブックスのHilbert級数を導出する。
• 5キュービットおよび3キュービット系の具体的な例を計算するために、アルゴリズムをMapleに実装する。

実験結果

リサーチクエスチョン

• RQ1 Young図の行数が固定されている場合、大きな拡大に対してKronecker係数をどのように効率的に計算できるか。
• RQ2 長方形テーブックスに対する拡大Kronecker係数を符号するHilbert級数の構造は何か。
• RQ3 幾何的量子化とモーメントコーン分解から生じる多重度関数の区分的準多項式的挙動はどのようにして生じるか。
• RQ4 留数計算手法によって、単位根と周期的項を含むKronecker係数の閉形式表現を得られるか。
• RQ5 5キュービットのHilbert級数における誤った係数（例：[38]におけるa_{42} = 146848）はどのように是正されるか。

主な発見

• Young図の行数が固定されている場合、本アルゴリズムは拡大Kronecker係数を多項式時間で計算可能であり、大規模な拡大に対しても効率的な計算が可能である。
• 5キュービットの場合、長方形テーブックス $[[1,1]]^5$ に対して、Hilbert級数は分子が次数52の多項式 $P(t)$、分母が $(1-t^2)^5(1-t^3)(1-t^4)^5(1-t^5)(1-t^6)^5$ を持つ有理関数として与えられ、先行研究における誤植が是正された。
• Kronecker係数 $g(k[1,1],k[1,1])$ は $\frac{1}{2} + \frac{1}{2}(-1)^k$ であり、周期2の周期的挙動を示す。
• $g(k[1,1,1],k[1,1,1],k[1,1,1])$ の公式は、12個の剰余類別多項式を含む区分的準多項式であり、単位根と周期的項が含まれる。
• 5キュービット級数における係数 $a_{42}$ は[38]で146848と誤って報告されていたが、分子の回文的対称性から確認したところ、正しい値は146849である。
• $g(k[3,3,3,3],k[4,4,4],k[4,4,4])$ のHilbert級数は $\frac{1+t^9}{(1-t^2)^2(1-t^4)(1-t)(1-t^3)}$ であり、非自明な分子構造を持つ有理母関数を示している。