[논문 리뷰] An Infinite Family of Circulant Graphs with Perfect State Transfer in Discrete Quantum Walks

Hanmeng Zhan|arXiv (Cornell University)|2017. 07. 20.

Quantum Computing Algorithms and Architecture참고 문헌 21인용 수 5

한 줄 요약

이 논문은 정규 그래프에서의 아크-역전 그로버 워크 모델에서 완벽한 상태 전송의 완전한 스펙트럼 특성화를 제시하며, $n \equiv 2 \pmod{4}$ 이고 대칭 생성 집합을 가진 4-정규 순환 그래프 $X(\bbZ_n, \tau)$의 무한한 가족을 구성한다. 이 그래프들은 반대편 정점 간에 완벽한 상태 전송를 보인다. 이 결과는 이전에 순환과 다이아몬드 체인에 국한된 예제를 넘어서는 것이다.

ABSTRACT

We study perfect state transfer in Kendon's model of discrete quantum walks. In particular, we give a characterization of perfect state transfer purely in terms of the graph spectra, and construct an infinite family of $4$-regular circulant graphs that admit perfect state transfer. Prior to our work, the only known infinite families of examples were variants of cycles and diamond chains.

연구 동기 및 목표

• 켄던의 아크-역전 그로버 워크 모델에서 완벽한 상태 전송의 완전한 스펙트럼 특성화를 제공하기 위해.
• 기존의 순환과 다이아몬드 체인 같은 예외적인 예제를 넘어서 새로운 그래프 클래스를 식별하고 구성하기 위해.
• 고유값 지지와 스펙트럼 분해를 이용해 정규 그래프에서 완벽한 상태 전송가 발생하는 조건을 수립하기 위해.
• 그래프의 대칭성과 순환적 구조가 결정론적 양자 상태 전송를 가능하게 하는 역할을 탐색하기 위해.
• 이산 양자 워크의 이해를 확장하기 위해 전이 동역학을 대수적 그래프 이론과 유니터리 행렬 스펙트럼과 연결하기 위해.

제안 방법

• 아크-역전 그로버 워크 모델을 사용하며, 전이 행렬 $U = R(I \otimes G)$로 정의되며, 여기서 $R$은 아크를 뒤집고 $G$는 그로버 코인 연산자이다.
• 두 반사 유니터리 행렬의 스펙트럼 분해 기법을 적용하여, $U$의 스펙트럼을 분석하기 위해 투영 $P$와 $Q$를 활용한다.
• 정점의 고유값 지지와 행렬 $S = L^*K$의 구조를 통해 완벽한 상태 전송의 스펙트럼 특성화를 유도한다.
• $n \equiv 2 \pmod{4}$ 이고 대칭 생성 집합 $\tau$를 가진 4-정규 순환 그래프 $X(\bbZ_n, \tau)$의 무한한 가족을 구성한다.
• 완벽한 상태 전송를 위해 $\frac{d}{2}(z + z^{-1})$ 가 단위근이어야 한다는 조건을 활용하며, 이를 체비셰프 다항식과 원분 인수와 연결한다.
• 특정 예시를 통해 검증하며, $n = 6, 10, 14$ 에 대해 반대편 정점 간에 정확히 1의 편집도로 특정 시간에 완벽한 상태 전송가 발생함을 보여준다.

실험 결과

연구 질문

• RQ1 정규 그래프에서 아크-역전 그로버 워크 모델에서 완벽한 상태 전송를 보장하는 스펙트럼 조건은 무엇인가?
• RQ2 반대편 정점 간에 완벽한 상태 전송를 지원하는 4-정규 순환 그래프의 무한한 가족을 구성할 수 있는가?
• RQ3 순환 그래프에서 생성 집합 $\tau$의 구조가 완벽한 상태 전송의 발생에 어떤 영향을 미치는가?
• RQ4 이산 양자 워크에서 완벽한 상태 전송를 하지 않지만, 상대적으로 좋은 상태 전송를 허용하는 그래프는 존재하는가?
• RQ5 완벽한 상태 전송를 초기 상태 분포와 무관하게 순수하게 그래프 스펙트럼의 관점에서 특성화할 수 있는가?

주요 결과

• 아크-역전 그로버 워크에서 완벽한 상태 전송가 발생하는 것은, 소스 정점의 고유값 지지가 단위근을 포함하는 특정 스펙트럼 조건을 만족할 때에만 가능하다.
• 무한한 4-정규 순환 그래프 가족 $X(\bbZ_n, \tau)$ 는 $n \equiv 2 \pmod{4}$ 이고 대칭적인 $\tau$를 가질 때 반대편 정점 간에 완벽한 상태 전송를 보인다.
• $n = 6, 10, 14$ 에 대해 명시적인 구성은 시간 $k = n/2$ 에서 정확히 1의 편집도로 완벽한 상태 전송가 발생함을 보여준다.
• 이 구성은 순환과 다이아몬드 체인을 초월하여, 완벽한 상태 전송를 보이는 비순환 기반의 첫 번째 알려진 무한한 가족을 제공한다.
• 완벽한 상태 전송의 스펙트럼 조건은 $\frac{d}{2}(z + z^{-1})$ 가 단위근인지 여부를 확인하는 것으로 단순화되며, 이는 체비셰프 다항식과 원분체와 연결된다.
• 이 방법은 어떤 정규 그래프에 대해서도 알고리즘적으로 검증 가능한 그래프 스펙트럼 기반의 완벽한 상태 전송의 완전한 특성화를 제공한다.