[논문 리뷰] A Complete Characterization of Pretty Good State Transfer on Paths

Christopher M. van Bommel|arXiv (Cornell University)|2016. 12. 16.

Quantum Computing Algorithms and Architecture참고 문헌 6인용 수 4

한 줄 요약

이 논문은 양자 스핀 체인을 경로로 모델링한 XY-ハ밀토니안 프레임워크에서 흔히 발생하는 상태 전달(PGST)의 완전한 특성화를 제공한다. PGST가 정점 $a$와 $b$ 사이에서 발생하는 것은 $a + b = n+1$이면서, $n = 2^t - 1$ 또는 $n = 2^t p - 1$이면서 $p$가 홀수 소수이고 $a$가 $2^{t-1}$의 배수일 때에만 가능하다는 것을 증명하여, 경로에서 내부 정점 간 PGST에 대한 열린 문제를 해결한다.

ABSTRACT

We give a complete characterization of pretty good state transfer on paths between any pair of vertices with respect to the quantum walk model determined by the XY-Hamiltonian. If $n$ is the length of the path, and the vertices are indexed by the positive integers from 1 to $n$, with adjacent vertices having consecutive indices, then the necessary and sufficient conditions for pretty good state transfer between vertices $a$ and $b$ are that (a) $a + b = n + 1$, (b) $n + 1$ has at most one odd non-trivial divisor, and (c) if $n = 2^t r - 1$, for $r$ odd and $r eq 1$, then $a$ is a multiple of $2^{t - 1}$.

연구 동기 및 목표

• 경로로 모델링된 양자 스핀 체인에서 내부 정점 간 PGST를 특성화하는 열린 문제를 해결하기 위해.
• XY-ハ밀トニアン 모델 하에서 경로 $P_n$의 임의의 정점 쌍 간 PGST가 발생하는 데 필요한 필수 및 필요조건을 규명하기 위해.
• 이전의 끝 정점 간 PGST 결과를 일반 정점 쌍으로 확장하여, 특히 비끝 정점 간 PGST가 발생할 때의 조건을 규명하기 위해.
• 내부 정점 간 PGST가 가능하지만 끝 정점 간에는 불가능한 경로의 유일한 가족은 $n = 2^t p - 1$ 이고 $a$가 $2^{t-1}$의 배수일 때임을 증명하기 위해.

제안 방법

• 경로 그래프의 인접행렬의 고유값 분해를 이용하여 전이 진폭 $|\braket{a|e^{itA}|b}|^2$ 를 분석하기 위해 스펙트럴 그래프 이론을 활용한다.
• 단위 원 위에서의 조밀도 추론을 통해 고유값과 고유벡터가 PGST를 지원하는 조건을 도출하기 위해 $n+1$에 대한 수론적 조건을 적용한다.
• 특히 $\cos\alpha + \cos\beta = 2\cos\frac{\alpha+\beta}{2}\cos\frac{\alpha-\beta}{2}$ 와 같은 삼각함수 합 항등식을 사용하여 전이 진폭의 주기성과 상쇄 현상을 분석한다.
• 필요성 증명에서 모순을 이끌어내기 위해, Lemma 5를 활용하여 $n+1 = km$ 이고 $m$ 이 홀수일 때 특정余弦 합이 0이 되는 것을 증명한다.
• 특정 고유값 합이 0이면 PGST가 발생하지 않음을 보여주는 Lemma 3을 적용하여, $n+1$이 다수의 홀수 소인수를 가진 경우를 제거한다.
• 대칭성 조건($a + b = n+1$)과 $a$ 및 $n$에 대한 수론적 제약 조건을 결합하여 필요 및 충분 조건을 도출한다.

실험 결과

연구 질문

• RQ1 경로 $P_n$의 임의의 두 정점 $a$와 $b$ 사이에서 흔히 발생하는 상태 전달이 발생하는 조건은 무엇인가?
• RQ2 경로의 내부 정점(끝 정점 제외) 사이에서 PGST가 발생할 수 있으며, 만약 그렇다면 어떤 구조적 및 수론적 조건이 필요한가?
• RQ3 내부 정점 간 PGST는 가능하지만 끝 정점 간에는 불가능한 경로의 유일한 가족은 $P_{2^t p - 1}$ 이고 $a$가 $2^{t-1}$의 배수일 때인가?
• RQ4 경로에서 PGST를 가능하게 하는 데 있어 대칭 조건 $a + b = n + 1$ 의 역할은 무엇인가?
• RQ5 왜 PGST가 발생하기 위해 $n+1$ 이 최대 하나의 홀수 비자명 인수를 가져야 하는 조건이 필수적인가?

주요 결과

• 경로 $P_n$의 정점 $a$와 $b$ 사이에서 PGST가 발생하는 것은 $a + b = n + 1$일 때에만 가능하다.
• 만약 $n = 2^t - 1$ 이면, 대칭 정점 $a$와 $n+1-a$ 사이에서 PGST가 임의의 쌍에 대해 발생한다. 이는 끝 정점도 포함된다.
• 만약 $n = 2^t p - 1$ 이고 $p$가 홀수 소수이면, PGST는 대칭 정점 $a$와 $n+1-a$ 사이에서 $a$가 $2^{t-1}$의 배수일 때에만 발생한다.
• 만약 $n+1$ 이 두 개 이상의 홀수 소인수를 가진다면, 어떤 정점 쌍 사이에도 PGST가 발생하지 않는다. 심지어 대칭 쌍이라도 마찬가지다.
• 만약 $n = 2^t p - 1$ 이면 $a$가 $2^{t-1}$의 배수여야 하며, 그렇지 않으면 고유값 상쇄로 인해 PGST가 실패한다.
• 특성화는 완전하다: 비끝 정점 간 PGST가 가능한 다른 경로 가족은 존재하지 않으며, 끝 정점 간 PGST가 발생하는 경우는 $n = 2^t - 1$, $n = p-1$, 또는 $n = 2p - 1$ 인 소수 $p$일 때에만 발생한다.