[논문 리뷰] Universal approach to deterministic spatial search via alternating quantum walks

Qing‐Wen Wang, Ying Jiang외 2명|arXiv (Cornell University)|2023. 07. 30.

Quantum Computing Algorithms and ArchitectureComputer Science인용 수 3

한 줄 요약

이 논문은 다양한 그래프에서 연속시간 양자 산책과 단계 이동을 번갈아 사용하는 결정론적 공간 탐색을 위한 통합 프레임워크를 제시한다. 이는 존슨 그래프 $J(n,k)$, 룩 그래프, 완전 제곱 그래프, 완전 이분 그래프 $K(N_1,N_2)$ 에서 100% 성공 확률과 제곱근 속도 향상을 달성하며, 이는 이전 결과를 일반화하고, 교차 단계 산책 탐색 알고리즘에서의 결정론성 문제를 해결한다.

ABSTRACT

Spatial search is an important problem in quantum computation, which aims to find a marked vertex on a graph. We propose a novel approach for designing deterministic quantum search algorithms on a variety of graphs via alternating quantum walks. Our approach is universal because it does not require an instance-specific analysis for different graphs. We highlight the flexibility of our approach by proving that for Johnson graphs, rook graphs, complete-square graphs and complete bipartite graphs, our quantum algorithms can find the marked vertex with $100\%$ success probability and achieve quadratic speedups over classical algorithms. This not only gives an alternative succinct way to prove the existing results, but also leads to new interesting findings on more general graphs.

연구 동기 및 목표

• 각기 다른 그래프 계열에 대해 개별 분석 없이도 결정론적 양자 공간 탐색을 위한 통합 방법을 개발하는 것.
• 이전에 확률적 알고리즘에 국한되어 있던 교차 단계 산책 프레임워크에서 결정론적 탐색을 달성하는 데 있어 열려 있던 문제를 해결하는 것.
• 기존의 존슨 그래프 $J(n,2)$, 룩 그래프, 성냥개비 그래프에 대한 결과를 더 넓은 그래프 계열로 일반화하는 것.
• 단일 형식론을 사용하여 대칭 그래프에서의 결정론적 탐색을 위한 증명을 통합하고 단순화하는 것.
• 교차 양자 산책의 적용 범위를 완전 이분 그래프와 고정된 $k$에 대해 고차원 존슨 그래프 $J(n,k)$로 확장하는 것.

제안 방법

• 이 방법은 두 해밀토니안에 따른 교차 진동을 사용한다: 하나는 그래프의 인접행렬 기반($e^{-iAt}$), 다른 하나는 표적 정점에 단계 이동을 적용하는 것($e^{-i\theta|m\rangle\langle m|}$).
• 초기 상태는 모든 정점에 대한 균일한 양자 중첩이며, 알고리즘은 양자 산책과 표적 정점 단계 이동을 정밀하게 선택된 시간 간격 동안 번갈아 적용한다.
• 그래프의 인접행렬의 스펙트럼 분해를 활용하여, 표적 상태가 일관된 진동을 통해 완벽한 상태 전달에 도달하는 불변 부분공간을 식별한다.
• 진동 시간을 $\pi / \sqrt{N_1N_2}$ 비례하게 선택함으로써, 산책 연산자가 반사 작용을 유도하여 표적 정점으로의 결정론적 수렴을 가능하게 한다.
• Lemma 1의 일반화된 버전을 사용하여 $O(\sqrt{N})$개의 연산 시퀀스를 통해 정확한 상태 전달을 보장함으로써 결정론적 성공을 달성한다.
• 대칭성과 고유구조를 활용하여 각 그래프에 대해 별도의 유도 없이도 그래프 계열 전반에 걸쳐 통일적으로 적용된다.

실험 결과

연구 질문

• RQ1 각기 다른 그래프 계열에 대해 개별 분석 없이도 결정론적 양자 공간 탐색을 달성할 수 있는 단일 통합 프레임워크를 설계할 수 있는가?
• RQ2 그래프의 스펙트럼적 성질이 교차 양자 산책을 사용한 결정론적 상태 전달을 가능하게 하는 조건은 무엇인가?
• RQ3 기존의 $J(n,2)$를 초월해 임의의 고정된 $k$에 대해 존슨 그래프 $J(n,k)$에 대해 교차 단계 산책 프레임워크를 어떻게 확장할 수 있는가?
• RQ4 이전에 확률적 알고리즘으로만 작동했던 룩 그래프 및 완전 이분 그래프에 대해 이 방법을 사용해 완전히 결정론적으로 만들 수 있는가?
• RQ5 대칭 그래프에서 결정론적 탐색을 위해 100% 성공 확률을 달성하기 위해 필요한 최소한의 연산자 호출 수는 얼마인가?

주요 결과

• 제안된 알고리즘은 임의의 고정된 $k$에 대해 존슨 그래프 $J(n,k)$에서 표적 정점을 찾는 데 100% 성공 확률을 달성하며, 이는 이전의 $J(n,2)$ 결과를 일반화한다.
• 룩 그래프와 완전 제곱 그래프에서는 $O(\sqrt{N})$회의 탐색 연산자 호출을 통해 결정론적 탐색을 달성하며, 이는 이론적 양자 속도 향상 한계와 일치한다.
• 완전 이분 그래프 $K(N_1,N_2)$에서는 $O(\sqrt{N_1} + \sqrt{N_2})$회의 호출을 사용하며, 이는 점점 커지는 데 대해 $O(\sqrt{N_1 + N_2})$로 점근적으로 수렴하여 제곱근 속도 향상을 확인한다.
• 이 방법은 성냥개비 그래프와 $n \times m$ 룩 그래프에 대한 이전 증명을 단순화하고 통합하여, Marsh와 Wang (2021a,b) 및 Qu 등 (2022)의 결과를 포함한다.
• 이 프레임워크는 이전에 확률적 결과에 국한되어 있던 교차 단계 산책 공간 탐색에서 완벽한 상태 전달을 달성하는 결정론적 해법을 제공한다.
• 공통된 스펙트럼적 성질을 공유함으로써 대칭 그래프 계열 전반에 걸쳐 보편적으로 적용 가능하며, 다양한 그래프에 대해 단일 형식론을 제공한다.