[논문 리뷰] Periodicity of Grover walks on distance-regular graphs

Yusuke Yoshie|arXiv (Cornell University)|2018. 05. 20.

graph theory and CDMA systems참고 문헌 4인용 수 6

한 줄 요약

이 논문은 거리 정규 그래프 위에서의 그로버 워크의 주기성을 조사하며, 전이 행렬의 유리 특이값에 기반한 주기성에 대한 필수 조건을 수립한다. 주기적인 허밍 및 조한슨 그래프를 완전히 특성화하고, 직경 ≤ 4인 일반적인 거리 정규 그래프로 스펙트럼 분석을 확장하여 주기적인 강한 정규 그래프의 분류에 대한 새로운 증명을 제시한다.

ABSTRACT

Characterizations graphs of some classes to induce periodic Grover walks have been studied for recent years. In particular, for the strongly regular graphs, it has been known that there are only three kinds of such graphs. Here, we focus on the periodicity of the Grover walks on distance-regular graphs. The distance-regular graph can be regarded as a kind of generalization of the strongly regular graphs and the typical graph with an equitable partition. In this paper, we find some classes of such distance-regular graphs and obtain some useful necessary conditions to induce periodic Grover walks on the general distance-regular graphs. Also, we apply this necessary condition to give another proof for the strong regular graphs.

연구 동기 및 목표

• 강한 정규 그래프에 대한 기존 결과를 확장하여, 주기적인 그로버 워크를 유도하는 거리 정규 그래프를 특성화하는 것.
• 단순 무작위 보행의 전이 행렬의 유리 특이값에 기반한 주기성에 대한 필수 조건을 도출하는 것.
• 스펙트럼 성질과 구조적 제약 조건을 사용하여 주기적인 허밍 및 조한슨 그래프를 분류하는 것.
• 거리 정규 그래프의 프레임워크를 활용하여 주기적인 강한 정규 그래프의 분류에 대한 대체 증명을 제공하는 것.
• 직경 ≥ 3인 주기적 거리 정규 그래프를 특성화하기 위한 기초를 마련하기 위해 구조적 및 스펙트럼적 제약 조건을 규명하는 것.

제안 방법

• 그래프 위의 단순 무작위 보행의 전이 행렬 T(G)의 스펙트럼 분석을 활용하여 그로버 워크의 주기성을 유추하는 것.
• 주기성의 조건으로서, 그로버 워크의 진화 연산자의 모든 고유값이 단위근이어야 한다는 조건을 적용하는 것.
• 거리 정규 그래프의 수정된 몫행렬 Q̃의 특성다항식을 사용하여 필수 조건을 유도하는 것.
• T(G)의 고유값과 단위근 사이의 관계를 활용하여 그래프의 직경과 구조를 제약하는 것.
• 교착 배열(b_i, c_i, a_i)에 대한 조합적 제약 조건을 적용하여 비주기적 구성요소를 제거하는 것.
• 대수적 수론을 활용하여 고유값을 포함하는 표현식이 정수일 수 있는지 분석하여 유리성 및 정수성 조건을 강제하는 것.

실험 결과

연구 질문

• RQ1 어떤 거리 정규 그래프가 주기적 그로버 워크를 지원하며, 어떤 구조적 제약 조건을 만족해야 하는가?
• RQ2 전이 행렬 T(G)의 고유값에 대해 어떤 필수 조건이 그로버 워크의 주기성을 보장하는가?
• RQ3 주기적인 강한 정규 그래프의 분류를 거리 정규 그래프의 프레임워크를 사용하여 재구성할 수 있는가?
• RQ4 허밍 그래프 H(d, q)의 완전한 매개변수 집합 (d, q)과 조한슨 그래프 J(n, k)의 매개변수 집합 (n, k)는 무엇이며, 이들이 주기적 그로버 워크를 유도하는가?
• RQ5 거리 정규 그래프의 몫행렬의 스펙트럼 성질을 어떻게 활용하여 주기성을 결정할 수 있는가?

주요 결과

• 전이 행렬 T(G)에서 유리 특이값을 가지는 모든 거리 정규 그래프의 직경은 주기적인 그로버 워크를 위해 5 미만이어야 한다.
• 허밍 그래프 H(d, q)는 (d, q) ∈ {(1,2), (1,3), (2,2), (3,3), (4,2)}일 때에만 주기적이다.
• 조한슨 그래프 J(n, k)는 (n, k) ∈ {(2,1), (3,1), (4,2)}일 때에만 주기적이다.
• 직경이 2인 모든 주기적 거리 정규 그래프는 C₅, K_{k,k}, 그리고 K_{m,m,m} (양의 정수 k, m)로 분류된다.
• 수정된 몫행렬의 특성다항식에서 유도된 필수 조건은 주기적인 강한 정규 그래프의 분류에 대한 새로운 증명을 가능하게 한다.
• 직경 d ≥ 3인 경우 매개변수의 수가 증가하여 전체 분류가 더 복잡해지며, 현재의 필수 조건 외에 추가 제약 조건이 필요로 한다.