[논문 리뷰] Existence of quantum symmetries for graphs on up to seven vertices: a computer based approach

Christian Eder, Viktor Levandovskyy외 4명|arXiv (Cornell University)|2019. 06. 28.

Algebraic structures and combinatorial models참고 문헌 10인용 수 6

한 줄 요약

이 논문은 연결된 무방향 그래프에서 최대 7개의 정점까지의 양자 대칭성 존재 여부를 체계적으로 결정하기 위해 계산 대수학—특히 Singular:Letterplace와 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.

연구 동기 및 목표

• 최대 7개의 정점을 가진 모든 연결된 무방향 그래프에 대해 양자 대칭성이 존재하는지 여부를 결정하는 것.
• 작은 고전적 대칭군—특히 자명군 또는 Z₂—이 양자 대칭성의 존재를 방해하는 장애물이 되는지 조사하는 것.
• 그로버 기저와 군론적 기준을 결합한 계산 프레임워크를 개발하고 적용하여 양자 대칭군 대수를 분석하는 것.
• 양자 대칭군 대수의 비가환성을 존재 여부의 기준으로 삼는 것.

제안 방법

• 비가환 다항식환에서 Singular:Letterplace 패키지를 사용해 양자 대칭군과 관련된 대수 A⁺_aut(Γ)의 비가환성 여부를 테스트하기 위해 그로버 기저 계산을 수행하는 것.
• A⁺_aut(Γ)에서 C(G⁺_aut(Γ))로의 표준 전상사 사상(canonical surjection)을 이용해 A⁺_aut(Γ)의 가환성은 양자 대칭성의 부재를 암시한다는 것을 유추하는 것.
• Scholz(2018)의 기준을 적용하여 고전적 대칭군이 서로소 대칭을 포함할 경우 비고전적 양자 대칭성을 탐지하는 것.
• Fulton의 기준을 사용해 인접행렬의 거듭제곱이 위치 (i,i)와 (j,j)에서 다를 경우 uᵢⱼ = 0으로 설정함으로써 대수적 복잡도를 감소시키는 것.
• Lemma 5.1을 통한 구조적 그래프 분해와 계산 결과를 결합하여, 구성요소가 고립되거나 간선 쌍으로 이루어진 경우 자동군을 분할하는 것.
• GAP를 사용해 군론적 검증을 수행하고, 일관된 대칭 대수와 Weisfeiler-Lehman 정렬에 대한 기존 결과와 교차 검증하는 것.

실험 결과

연구 질문

• RQ1 최대 7개의 정점을 가진 모든 연결된 무방향 그래프에서 고전적 대칭군이 자명(순서 1)할 경우, 양자 대칭성이 존재하지 않는가?
• RQ2 고전적 대칭군이 Z₂(순서 2)와 동형이면, 소규모 그래프에서 양자 대칭성이 존재하지 않는가?
• RQ3 비가환 다항식환에서의 그로버 기저와 같은 계산 대수 기법이 유한 그래프에서의 양자 대칭성 존재 여부를 효과적으로 결정할 수 있는가?
• RQ4 구성요소 유형이나 인접행렬 거듭제곱의 차이와 같은 구조적 장애물은 전체 대수 계산 없이도 양자 대칭성을 배제하는 데 사용할 수 있는가?
• RQ5 기존의 군론 기준(예: 서로소 대칭)과 행렬 거듭제곱 불변량(Fulton의 기준)은 양자 대칭성 탐지에서 계산 부담을 어느 정도 감소시키는가?

주요 결과

• 루프나 다중변이가 없는 최대 7개 정점의 연결된 무방향 그래프에 대해, 고전적 대칭군이 자명(순서 1)할 경우, 양자 대칭군 역시 자명하다.
• 고전적 대칭군이 Z₂(순서 2)와 동형일 경우, 양자 대칭군 역시 Z₂와 동형이며, 이는 추가적인 양자 대칭성이 존재하지 않음을 시사한다.
• 7개 정점에서의 연결된 그래프 853개 중에서 양자 대칭성을 가진 그래프는 총 112개이며, 이러한 그래프들은 모두 고전적 대칭군의 순서가 최소 4 이상이다.
• 자료는 고전적 대칭군의 순서가 1 또는 2인 그래프는 항상 양자 대칭성을 보이지 않음을 보여주며, 이러한 군이 양자 강화를 방해한다는 가설을 지지한다.
• 계산 프레임워크는 최대 7개 정점까지의 모든 그래프에 대해 양자 대칭성이 존재하지 않음을 성공적으로 검증하였으며, 자명군 또는 Z₂의 경우 예외 없이 확인되었다.
• 결과는 Lupini, Mancinska, and Roberson(2017)의 渐近적 증거와 일치하며, 비대칭 그래프가 양자 대칭성을 가지지 않는다는 추측을 강화한다.