[논문 리뷰] Quantum Walks On Graphs

Dorit Aharonov, Andris Ambainis외 2명|arXiv (Cornell University)|2000. 12. 18.

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

한 줄 요약

이 논문은 그래프 위의 양자 워크의 기초 이론을 수립하며, 고전적 혼합 시간과 산산각 측정치의 양자 버전을 도입한다. 고전적 랜덤 워크에 비해 사이클 그래프에서 양자 워크가 거의 제곱근 속도 향상(비율)을 달성하는 것으로 보여지며, 동시에 양자 워크가 고전적 워크에 비해 최대 다항식 속도 향상일 뿐이며, 유한 차수 그래프의 경우 제곱근 상한이 엄밀하게 유지됨을 증명한다.

ABSTRACT

We set the ground for a theory of quantum walks on graphs- the generalization of random walks on finite graphs to the quantum world. Such quantum walks do not converge to any stationary distribution, as they are unitary and reversible. However, by suitably relaxing the definition, we can obtain a measure of how fast the quantum walk spreads or how confined the quantum walk stays in a small neighborhood. We give definitions of mixing time, filling time, dispersion time. We show that in all these measures, the quantum walk on the cycle is almost quadratically faster then its classical correspondent. On the other hand, we give a lower bound on the possible speed up by quantum walks for general graphs, showing that quantum walks can be at most polynomially faster than their classical counterparts.

연구 동기 및 목표

• 고전적 랜덤 워크의 일반화로 그래프 위의 양자 워크를 수식화하기 위해, 그래프 상태와 코인 상태를 포함한 힐베르트 공간에서 유니터리 진화를 사용한다.
• 유니터리성으로 인해 정적 분포로 수렴하지 않기 때문에, 양자 워크에 대한 의미 있는 수렴 측정치를 정의한다.
• 혼합 시간, 샘플링 시간, 산산각 시간 측면에서 고전적 랜덤 워크에 비해 양자 워크의 속도 향상을 분석한다.
• 양자 워크의 속도 향상에 대한 일반적 하한을 수립하여, 최대 다항식 속도 향상임을 보이며, 특히 유한 차수 그래프의 경우 제곱근 상한이 성립함을 증명한다.
• 특히 샘플링과 상태 준비를 가속화하는 데서의 알고리즘 잠재력을 탐색한다.

제안 방법

• 그래프의 힐베르트 공간과 보조 코인 공간의 텐서곱 위에서 유니터리 연산자로 양자 워크를 정의하며, 비제로 확률 진폭이 그래프의 간선에만 존재하도록 한다.
• 시간 평균 확률 분포를 한계 분포로 도입함으로써, 유니터리 진화에도 불구하고 수렴 분석이 가능하도록 한다.
• 핵심 측정치 정의: 혼합 시간(한계 분포에 가까워지는 시간), 샘플링 시간, 충채 시간, 산산각 시간.
• 코인 양자 워크 모델을 사용해 사이클 그래프를 분석하여, 혼합 시간이 $O(n\log n)$임을 보이며, 고전적 $O(n^2)$에 비해 거의 제곱근 속도 향상이 이루어짐을 보여준다.
• 그래프의 도전도 $\Phi$를 사용해 양자 워크의 속도 향상에 대한 일반적 하한을 수립하여, 양자 워크가 최대 $O(1/\Phi)$만큼 빠를 수 있음을 증명하며, 코인 워크의 경우 $O(1/d)$ 요소의 향상이 가능함을 보인다.
• 스펙트럼 및 확률적 추론을 사용해 작은 이웃 지역에서의 탈출 비율을 제한하고, 경계 크기와 도전도에 기반한 샘플링 시간 하한을 유도한다.

실험 결과

연구 질문

• RQ1 그래프 위의 양자 워크는 고전적 랜덤 워크보다 속도 향상을 달성할 수 있으며, 만약 그렇다면 그 속도 향상은 얼마나 클 수 있는가?
• RQ2 유니터리성으로 인해 정적 분포가 존재하지 않기 때문에, 양자 환경에서 고전적 혼합 시간과 수렴 측정치의 적절한 대응은 무엇인가?
• RQ3 사이클 그래프에서 관측된 제곱근 속도 향상은 최고의 성능이며, 다른 그래프에서는 더 큰 향상이 존재할 수 있는가?
• RQ4 그래프의 도전도 $\Phi$에 대해 혼합 시간에 대해 $1/\Phi$ 하한을 양자 워크가 달성할 수 있으며, 이는 효율적으로 구성 가능한 방식으로도 달성 가능한가?
• RQ5 비아벨 카일리 그래프 위의 양자 워크의 한계 분포는 어떤 구조를 가지며, 고전적 워크와 어떻게 다를까?

주요 결과

• 사이클 그래프에서의 양자 워크는 혼합 시간이 $O(n\log n)$이며, 고전적 랜덤 워크의 $O(n^2)$ 혼합 시간에 비해 거의 제곱근 속도 향상이 이루어짐을 보여준다.
• 유한 차수 그래프의 경우, 고전적 랜덤 워크에 비해 양자 워크의 최대 속도 향상은 제곱근 수준이며, 혼합 시간에 대한 $O(1/\Phi)$ 하한을 통해 이를 증명한다.
• 아벨 군의 카일리 그래프에서의 양자 워크 한계 분포는 초기 상태와 무관하게 균일하며, 고전적 정적 분포의 일반화이다.
• 비유니터리 양자 워크의 샘플링 시간에 대해 일반적 하한 $\Omega(1/\Phi')$를 수립하였으며, 여기서 $\Phi'$는 수정된 도전도 파라미터이다.
• 이 논문은 양자 워크가 고전적 워크에 비해 최대 다항식 속도 향상일 뿐이며, 정규 그래프의 경우 제곱근 상한이 엄밀하게 유지됨을 보여준다.
• 대칭군 $S_3$에서의 양자 워크 한계 분포는 고전적 대응과 다름을 보이며, 비아벨 군에서의 비정상적인 행동을 시사한다.