[論文レビュー] Constructing Majorana Representations

Markus Pfeiffer, Madeleine Whybrow|arXiv (Cornell University)|Mar 28, 2018

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

ひとこと要約

本稿では、2012年のアーロン・セレスの未発表作業を回復・拡張する、有限群のマヨラナ表現を構成する包括的なアルゴリズムを提示する。この手法により、群作用、ノートンの不等式、有理数線形代数を活用して、冪等的軸によって生成される非可換的で可換な実代数（マヨラナ代数）を体系的に構成可能となり、これまでに知られていなかった2つの3閉じた代数を含む新しい例が得られる。

ABSTRACT

Majorana theory was introduced by A. A. Ivanov as an axiomatic framework in which to study objects related to the Monster simple group and the Griess algebra. Since its inception, it has been used to construct a number of new and important subalgebras of the Griess algebra. The objects at the centre of the theory are known as Majorana algebras and can be studied either in their own right, or as Majorana representations of finite groups. In this paper, we present an algorithm to construct the Majorana representations of a given group. We also list a number of groups for which we have constructed Majorana representations, including some which give new examples of Majorana algebras. This work is inspired by that of A. Seress.

研究の動機と目的

• アレクサンダー・セレスの死去後に回復されなかった、有限群のマヨラナ表現を構成する未発表のアルゴリズムを再構築し、計算的に実装すること。
• 2閉じた表現を超えて一般および3閉じたケースを含むようにアルゴリズムを拡張し、構築可能なマヨラナ代数の範囲を拡大すること。
• GAPを用いた完全に再現可能な計算フレームワークを提供し、群データからマヨラナ代数を構築し、その同型型を検証すること。
• 特に2閉じていないが3閉じたマヨラナ代数であるような、新たな例の同定を通じて、このような構造の分類を進める。
• 同型でないが同じ形状を持つ代数の存在といった、マヨラナ理論における未解決問題に、計算ツールによる体系的探索によって対応すること。

提案手法

• アルゴリズムは、有限群 $G$ と $G$-不変な対合の集合 $T$ を、マジョラナ群への埋め込みを通じて構築する。このとき $T$ が $2A$ 種別への写像を保証する。
• マヨラナ理論の公理的枠組み（M1–M7）を用い、ノートンの不等式や各マヨラナ軸の随伴作用による固有空間分解を強制する。
• マヨラナ対合 $\tau(a)$ および関連する $\sigma(a)$ 変換の代数への作用を計算し、積および内積構造を保存する。
• 浮動小数点誤差を回避するため、すべての線形代数を有理数上で実行し、代数構造および基底を決定するための大規模な連立一次方程式系を解く。
• 対となる軸によって生成される二面体部分代数を体系的に探索し、代数の形状（例：$2A,3C$）を用いて構築をガイドし、探索空間を削減する。
• 実装はGAPで構築され、すべてのコードと結果が https://github.com/mwhybrow92/MajoranaAlgebras で公開されており、再現性と拡張性を確保している。

実験結果

リサーチクエスチョン

• RQ1 セレスの未発表のアルゴリズムが完全に再構築され、計算的に実装可能であるか。
• RQ2 2閉じた場合を超えて、特に2閉じていないが3閉じたマヨラナ代数は、どのようなものが構築可能か。
• RQ3 同一形状を持つ非同型のマヨラナ代数は存在するか。アルゴリズムがそのような候補を同定するのを支援できるか。
• RQ4 非常に大規模な線形方程式系を伴う $A_8$ や $M_{12}$ のようなより大きな群へのアルゴリズムの拡張の計算的実行可能性はいかがなものか。
• RQ5 アルゴリズムを一般の体、特に有限体を含む他の代数的設定で動作可能に拡張できるか。

主な発見

• アルゴリズムは、アレクサンダー・セレスが以前に構築したすべての2閉じたマヨラナ表現（$L_2(11)$, $M_{11}$, $S_4$, $A_5$, $L_3(2)$ など）を正確に再現し、実装の正しさを確認した。
• 2閉じていないが3閉じたマヨラナ代数が2つ新たに構築され、このような代数の既知のクラスが拡張された。
• $M_{11}$ の場合、165個の軸、781個の生成子を含む2閉じた部分を持つ286次元のマヨラナ代数が生成され、2閉じていない構造が明確に得られた。
• $L_2(11)$ に対しては、55個の軸、176個の生成子を含む2閉じた部分を持つ101次元のマヨラナ代数が構築され、形状は $(2A,3A)$ であった。
• $A_7$ に対しては、105個の軸、406個の生成子を含む2閉じた部分を持つ196次元のマヨラナ代数が成功裏に構築され、形状は $(2A,3A)$ であった。
• https://github.com/mwhybrow92/MajoranaAlgebras に公開されたコードベースは、すべての構築済み表現およびその構造的データを含み、完全な再現性を提供している。