[論文レビュー] Fusion Bialgebras and Fourier Analysis

Zhengwei Liu, Sébastien Palcoux+1 more|arXiv (Cornell University)|Oct 26, 2019

Algebraic structures and combinatorial models参考文献 34被引用数 6

ひとこと要約

本稿では、融合環を一般化する代数的構造として融合双代数とその双対を導入し、それらのフーリエ解析を展開することで、ユニタリ分類化に対する新たな解析的障害を導出する。不等式としてシュール積性質とヤングの不等式が融合双代数上では成り立つが、その双対上では常に成り立つわけではないことから、特に双対上のシュール積性質は強力な障害となる。この性質により、ランク8未満かつFP次元 < 4080である34個の単純整数型融合環のうち28個が除外される。

ABSTRACT

We introduce fusion bialgebras and their duals and systematically study their Fourier analysis. As an application, we discover new efficient analytic obstructions on the unitary categorification of fusion rings. We prove the Hausdorff-Young inequality, uncertainty principles for fusion bialgebras and their duals. We show that the Schur product property, Young's inequality and the sum-set estimate hold for fusion bialgebras, but not always on their duals. If the fusion ring is the Grothendieck ring of a unitary fusion category, then these inequalities hold on the duals. Therefore, these inequalities are analytic obstructions of categorification. We classify simple integral fusion rings of Frobenius type up to rank 8 and of Frobenius-Perron dimension less than 4080. We find 34 ones, 4 of which are group-like and 28 of which can be eliminated by applying the Schur product property on the dual. In general, these inequalities are obstructions to subfactorize fusion bialgebras.

研究の動機と目的

• 融合双代数とその双対に対する体系的なフーリエ解析フレームワークを構築すること。
• 融合環のユニタリ分類化に対する障害として機能する解析的不等式を同定すること。
• ランク8未満かつFP次元 < 4080の単純整数型融合環を分類すること。
• 新しい障害、特に双対上のシュール積性質の有効性を、既知の分類基準と照らし合わせて検証すること。
• 大規模な融合環の族に対して障害を検証可能な計算ツールとデータを提供すること。

提案手法

• 2-ボックス空間の部分因子平面上代数にインspiredされた、複素数体上での融合環の一般化として融合双代数を定義する。
• 融合双代数の双対を導入し、フーリエ解析的構造（フーリエ変換、畳み込みなど）を確立する。
• 融合双代数およびその双対に対して、ハウスドルフ＝ヤング不等式と不確実性原理を証明する。
• ヤングの不等式と和集合推定値が融合双代数上で成り立つが、その双対上では常に成り立つとは限らないことを示す。
• 双対上のシュール積性質を主な障害とし、可換な場合に表現論的特徴表と関連付ける。
• SageMathを用いたコンピュータ探索により、与えられた境界内での融合環の分類を実行し、シュール積性質をフィルターとして適用する。

実験結果

リサーチクエスチョン

• RQ1 融合双代数上の量子フーリエ解析から導かれるどの解析的不等式が、ユニタリ分類化に対する障害として機能するか？
• RQ2 シュール積性質とヤングの不等式は、融合双代数の双対上でも成り立つか？ どのような条件下で成り立つか？
• RQ3 双対上のシュール積性質は、他の既知の障害を通過した融合環を除外するために利用できるか？
• RQ4 シュール積性質は、フェローラス型融合環の分類において、計算的ツールとしてどれほど有効か？
• RQ5 特にランクが低く、次元が小さい場合に、双対上のシュール積性質に失敗する融合環の分布はいかなるものか？

主な発見

• 融合双代数の双対上のシュール積性質は、ユニタリ分類化に対する新たな効率的解析的障害である。
• ランク ≤ 8 かつ FP次元 < 4080 である34個の単純整数型融合環のうち、28個が双対上のシュール積性質によって除外される。
• 自己双対的対象をもつランク3の融合代数を10,000個ランダムに抽出したうち、約30％で双対上のシュール積性質が成立しない。
• ヤングの不等式と和集合推定値は融合双代数上で成り立つが、その双対上では常に成り立つとは限らない。これは、これらが潜在的な障害である可能性を示唆する。
• 主な分類境界を超えた2,595個の完全整数型融合環のうち、480個は双対上のシュール積性質を満たし、すべてがオストリクの不等式を満たす。
• FP次元4620のランク8融合環16個のうち、4つは双対上でシュール積性質を満たさない。これは、非部分因子化可能性を示唆する。