[論文レビュー] Existence of quantum symmetries for graphs on up to seven vertices: a computer based approach

Christian Eder, Viktor Levandovskyy+4 more|arXiv (Cornell University)|Jun 28, 2019

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

ひとこと要約

本稿では、Singular:LetterplaceおよびGAPを用いた計算代数——特にグレブナー基底——を用いて、7頂点以下の連結で無向のグラフにおける量子対称性の存在を体系的かつ系統的に同定する。主な結果として、このようなグラフにおいて、古典的自己同型群が自明またはZ₂に同型である場合、量子対称性は存在しない。これは、非対称およびZ₂対称グラフが古典的対称性を超えた量子拡張を有しないという仮説を支持する。

ABSTRACT

The symmetries of a finite graph are described by its automorphism group; in the setting of Woronowicz's quantum groups, a notion of a quantum automorphism group has been defined by Banica capturing the quantum symmetries of the graph. In general, there are more quantum symmetries than symmetries and it is a non-trivial task to determine when this is the case for a given graph: The question is whether or not the algebra associated to the quantum automorphism group is commutative. We use Gröbner base computations in order to tackle this problem; the implementation uses GAP and the SINGULAR package LETTERPLACE. We determine the existence of quantum symmetries for all connected, undirected graphs without multiple edges and without self-edges, for up to seven vertices. As an outcome, we infer within our regime that a classical automorphism group of order one or two is an obstruction for the existence of quantum symmetries.

研究の動機と目的

• 7頂点以下のすべての連結で無向のグラフにおける量子対称性の存在を特定すること。
• 小さな古典的自己同型群——特に自明群またはZ₂——が量子対称性の存在を妨げる障害となるかどうかを調査すること。
• グレブナー基底と群論的基準を組み合わせた計算フレームワークを構築し、量子自己同型代数を分析すること。
• 量子自己同型群代数の非可換性を、量子対称性の存在を示す基準として検証すること。

提案手法

• 非可換多項式環におけるSingular:Letterplaceパッケージを用いたグレブナー基底計算により、量子自己同型群に関連する代数A⁺_aut(Γ)の非可換性をテストすること。
• A⁺_aut(Γ)からC(G⁺_aut(Γ))への標準的な上昇写像を用い、A⁺_aut(Γ)の可換性が量子対称性の不在を示すことを示すこと。
• Scholz (2018) が提示した基準を適用し、古典的自己同型群に互いに素な自己同型が存在する場合に非古典的量子対称性が検出可能であることを確認すること。
• Fultonの基準を用い、隣接行列の累乗が位置(i,i)と(j,j)で異なる場合にuᵢⱼ = 0と設定することで、代数的複雑性を低減すること。
• Lemma 5.1を用いた構造的グラフ分解と計算結果を統合し、成分が分離またはエッジ・ペアである場合に自己同型群を分割すること。
• GAPを用いた群論的検証と、一貫性のある代数およびWeisfeiler-Lehmanの精錬に関する既知の結果と照合することで、結果の妥当性を検証すること。

実験結果

リサーチクエスチョン

• RQ1 7頂点以下のすべての連結で無向のグラフにおいて、古典的対称性が存在しない（自己同型群が自明）場合、量子対称性も存在しないと結論づけられるか？
• RQ2 古典的自己同型群がZ₂に同型である場合、小さなグラフにおいて量子対称性は存在しないと結論づけられるか？
• RQ3 非可換環におけるグレブナー基底のような計算代数的手法が、有限グラフにおける量子対称性の存在を効果的に同定できるか？
• RQ4 成分の種別や隣接行列の累乗の差異といった構造的障害は、完全な代数的計算を実施せずに量子対称性を除外する手がかりとして利用可能か？
• RQ5 既知の群論的基準（例：互いに素な自己同型）および行列累乗不変量（Fultonの基準）は、量子対称性検出における計算負荷をどの程度低減できるか？

主な発見

• ループや多重辺のない7頂点以下のすべての連結で無向のグラフについて、古典的自己同型群が自明（位数1）である場合、量子自己同型群も自明である。
• 古典的自己同型群がZ₂に同型（位数2）である場合、量子自己同型群もZ₂に同型であり、追加の量子対称性は存在しない。
• 7頂点の連結グラフのうち853個のうち、量子対称性を持つのは112個にとどまり、それらすべてのグラフで古典的自己同型群の位数は4以上である。
• データから、古典的自己同型群の位数が1または2のグラフは、すべて量子対称性を示さないことが判明し、このような群が量子拡張を妨げるという仮説を支持する。
• 計算フレームワークにより、7頂点以下のすべてのグラフについて量子対称性の不在が正当に確認され、自明またはZ₂の場合に例外は一切認められなかった。
• Lupini, Mancinska, and Roberson (2017) の漸近的証拠と整合しており、非対称グラフが量子対称性を有しないという予想を強化する。