[论文解读] 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中的Gröbner基与GAP——系统地确定了所有具有最多七个顶点的连通无向图中是否存在量子对称性。关键结果表明，对于此类图，若经典自同构群为平凡群或同构于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.

研究动机与目标

• 确定所有具有最多七个顶点的连通无向图中是否存在量子对称性。
• 研究小型经典自同构群——特别是平凡群或Z₂——是否构成量子对称性的障碍。
• 开发并应用一种结合Gröbner基与群论判据的计算框架，以分析量子自同构代数。
• 将量子自同构群代数的非交换性作为量子对称性存在的判据。

提出的方法

• 通过Singular:Letterplace包在非交换多项式环中使用Gröbner基计算，以检验与量子自同构群相关的代数A⁺_aut(Γ)的非交换性。
• 利用A⁺_aut(Γ)到C(G⁺_aut(Γ))的典范满同态，推断A⁺_aut(Γ)的交换性意味着不存在量子对称性。
• 应用Scholz（2018）提出的一个判据，当经典自同构群包含不相交自同构时，可检测非经典量子对称性。
• 使用Fulton的判据，当邻接矩阵幂在位置(i,i)和(j,j)处不同时，设uᵢⱼ = 0，以降低代数复杂度。
• 将计算结果与通过引理5.1进行的图结构分解相结合，该引理在各分量孤立或为边对时，对不相交并集的自同构群进行分解。
• 使用GAP进行群论检查，并与已知的相干代数结果及Weisfeiler-Lehman细化方法交叉验证。

实验结果

研究问题

• RQ1 对于所有具有最多七个顶点的连通无向图，若经典对称性缺失（即自同构群为平凡群），是否意味着不存在量子对称性？
• RQ2 经典自同构群同构于Z₂是否排除了小图中量子对称性的存在？
• RQ3 像非交换环中Gröbner基这样的计算代数技术能否有效确定有限图中量子对称性的存在？
• RQ4 是否存在结构性障碍——如分量类型或邻接矩阵幂的差异——可被用于在不进行完整代数计算的情况下排除量子对称性？
• RQ5 已知的群论判据（如不相交自同构）和矩阵幂不变量（Fulton判据）在多大程度上可减少量子对称性检测中的计算负担？

主要发现

• 对于所有具有最多七个顶点且无自环或多重边的连通无向图，若经典自同构群为平凡群（阶为1），则其量子自同构群亦为平凡群。
• 若经典自同构群同构于Z₂（阶为2），则其量子自同构群也同构于Z₂，表明不存在额外的量子对称性。
• 在七阶连通图中，仅有112幅图具有量子对称性，且所有此类图的经典自同构群阶至少为4。
• 数据表明，经典自同构群阶为1或2的图从不表现出量子对称性，支持了此类群会阻碍量子增强的假设。
• 计算框架成功验证了所有具有最多七个顶点的图中均不存在量子对称性，平凡群或Z₂情况下均无例外。
• 结果与Lupini、Mancinska和Roberson（2017）的渐近证据一致，进一步支持了非对称图不具有量子对称性的猜想。