[논문 리뷰] Characterization of circulant graphs having perfect state transfer

Milan Bašić|arXiv (Cornell University)|2011. 04. 11.

Quantum Computing Algorithms and Architecture인용 수 13

한 줄 요약

이 논문은 완전한 상태 전달(PST)를 보이는 정수 순환 그래프(ICGₙ(D))의 완전한 특성화를 제공하며, PST가 발생하는 것은 n ∈ 4ℕ 이고 D가 n/d ∈ 8ℕ, 8ℕ+4를 만족하며 n/2 또는 n/4를 포함하는 특정 나눗셈 조건을 만족할 때에만 성립함을 증명한다. 주요 기여는 이러한 그래프를 세는 닫힌 형식의 공식과 PST가 발생하는 ICGₙ(D)의 전체 스펙트럼 분석이다.

ABSTRACT

In this paper we answer the question of when circulant quantum spin networks with nearest-neighbor couplings can give perfect state transfer. The network is described by a circulant graph $G$, which is characterized by its circulant adjacency matrix $A$. Formally, we say that there exists a {\it perfect state transfer} (PST) between vertices $a,b\in V(G)$ if $|F(τ)_{ab}|=1$, for some positive real number $τ$, where $F(t)=\exp(ıAt)$. Saxena, Severini and Shparlinski ({\it International Journal of Quantum Information} 5 (2007), 417--430) proved that $|F(τ)_{aa}|=1$ for some $a\in V(G)$ and $τ\in \R^+$ if and only if all eigenvalues of $G$ are integer (that is, the graph is integral). The integral circulant graph $\ICG_n (D)$ has the vertex set $Z_n = \{0, 1, 2, ..., n - 1\}$ and vertices $a$ and $b$ are adjacent if $\gcd(a-b,n)\in D$, where $D \subseteq \{d : d \mid n,\ 1\leq d

연구 동기 및 목표

• Angeles-Canul 등(2010)이 제기한, 완전히 특성화된 정수 순환 그래프(ICGₙ(D))의 완전한 특성화 문제를 해결하기 위해.
• ICGₙ(D)의 정점 간에 PST가 발생하는 조건을 n의 약수 집합 D에 대해 정확히 규명하기 위해.
• 이러한 그래프에서의 완전한 양자 통신 거리(완전한 상태 전달가능한 정점 간 최대 거리)를 계산하기 위해.
• 주어진 순서 n에 대해 PST를 지원하는 ICGₙ(D) 그래프의 수를 닫힌 형식의 식으로 유도하기 위해.
• PST를 허용하는 ICGₙ(D) 그래프의 스펙트럼을 분석하여 수론적 성질과 양자 역학적 동역학 간의 연결 고리를 밝혀내기 위해.

제안 방법

• 근접한 이웃 결합을 갖는 양자 스핀 네트워크를 모델링하기 위해 순환 인접 행렬과 그 스펙트럼 성질을 사용한다.
• ICGₙ(D)의 고유값을 분석하기 위해 특히 Ramanujan 합 c(j, m)을 포함한 수론적 함수를 적용한다.
• 집합 D를 세 개의 서로소 부분집합으로 분해한다: D₁ = 2(D₂∖{n/4}), D₂ = {d ∈ D | n/d ∈ 8ℕ+4}∖{n/4}, D₃̃ = {d ∈ D | n/d ∈ 8ℕ}.
• Ramanujan 합과 모듈로 산술의 성질(예: j/2가 홀수일 때 c(j/2, n₁/d) = 0)을 활용하여 고유값 표현식을 유도한다.
• Ramanujan 합과 고유값의 기수성에 관한 보조정리를 활용하여 λⱼ ∈ 4ℕ+2 (j ∈ 2ℕ)임을 증명함으로써 PST 조건을 확보한다.
• n mod 8 기반의 약수 함수 τ(n) 및 멱집합의 기수를 활용하여 닫힌 형식의 수량 공식을 도출한다.

실험 결과

연구 질문

• RQ1 정수 순환 그래프 ICGₙ(D)가 완전한 상태 전달을 허용하는 조건은 D의 약수 집합에 대해 어떤가?
• RQ2 ICGₙ(D) 그래프에서 완전한 양자 통신 거리의 최대값은 얼마인가?
• RQ3 순서 n에 대해 PST를 지원하는 정수 순환 그래프는 몇 개인가? 그리고 이 수를 닫힌 형식으로 표현할 수 있는가?
• RQ4 PST를 허용하는 ICGₙ(D) 그래프의 스펙트럼적 성질은 무엇인가?
• RQ5 ICGₙ(D)에서의 PST 특성화는 가중치가 있거나 비균일하게 결합된 순환 그래프로 확장될 수 있는가?

주요 결과

• ICGₙ(D)에서 완전한 상태 전달이 발생하는 것은 n ∈ 4ℕ 이고 D = D̃₃ ∪ D₂ ∪ 2D₂ ∪ 4D₂ ∪ {n/2^a} (a ∈ {1,2})일 때에만 성립하며, D̃₃와 D₂는 n/d에 대한 나눗셈 조건으로 정의된다.
• 모든 n ∈ 4ℕ에 대해 PST를 갖는 ICGₙ(D) 그래프에서의 최대 완전한 양자 통신 거리는 정확히 2이다.
• PST를 지원하는 순서 n의 ICGₙ(D) 그래프의 수는 n ∈ 8ℕ+4이면 |ICGₙ(D)| = 2^{τ(n/4)}이고, n ∈ 8ℕ이면 |ICGₙ(D)| = 2^{τ(n/8) ⋅ τ(n/2^{S₂(n)})}로 주어지며, 여기서 τ는 약수 함수를 의미한다.
• PST를 갖는 ICGₙ(D) 그래프의 모든 고유값은 정수이며, j ∈ 2ℕ이면 고유값 λⱼ는 집합 4ℕ+2에 속한다.
• n ∈ 4ℕ에 대해 ICGₙ(D∖{n/2})의 클래스는 칵테일 파티 그래프를 나타내며, 이들이 PST를 지원함을 입증하였다.
• PST를 지원하는 ICGₙ(D) 그래프의 수는 순서 n의 전체 ICGₙ(D) 그래프 수와 渐近적으로 비례하며, 이러한 그래프의 조밀도는 0이 되지 않는다.