[논문 리뷰] A quantum query algorithm for the graph collision problem

Dmitry Gavinsky, Tsuyoshi Ito|arXiv (Cornell University)|2012. 04. 06.

Quantum Computing Algorithms and Architecture참고 문헌 15인용 수 9

한 줄 요약

이 논문은 그래프 충돌 문제에 대한 새로운 양자 질의 알고리즘을 제안하며, 질의 복잡도가 $ O(\sqrt{n} + \sqrt{\alpha^{*}(G)}) $임을 보인다. 여기서 $ \alpha^{*}(G) $는 그래프 $ G $의 어떤 독립집합에서도 가능한 최대 차수의 합이다. 이 알고리즘은 대부분의 무작위 그래프에서 $ \tilde{O}(\sqrt{n}) $의 복잡도를 달성하며, $ \sqrt{\log n} $ 요소를 제외하고는 알려진 최상의 상한과 일치한다.

ABSTRACT

We construct a new quantum algorithm for the graph collision problem; that is, the problem of deciding whether the set of marked vertices contains a pair of adjacent vertices in a known graph G. The query complexity of our algorithm is O(sqrt(n)+sqrt(alpha*(G))), where n is the number of vertices and alpha*(G) is the maximum total degree of the vertices in an independent set of G. Notably, if G is a random graph where every edge is present with a fixed probability independently of other edges, then our algorithm requires O(sqrt(n log n)) queries on most graphs, which is optimal up to the sqrt(log n) factor on most graphs.

연구 동기 및 목표

• 그래프의 구조에 따라 향상된 질의 복잡도를 가지는 그래프 충돌 문제를 위한 양자 알고리즘을 개발하기.
• 그래프 충돌 문제의 정확한 양자 질의 복잡도는 $ \Omega(\sqrt{n}) $와 $ O(n^{2/3}) $ 사이에 위치하나, 이를 해결하는 데 열려 있는 문제를 다루기.
• 대부분의 무작위 그래프에서 알고리즘이 $ \tilde{O}(\sqrt{n}) $의 질의 복잡도를 달성함으로써 거의 최적임을 보여주기.
• 스팬 프로그램과 근사 카운팅을 활용하여 질의 효율적인 알고리즘 설계하기.

제안 방법

• Brassard, H{\'o}yer, 및 Tapp의 방법을 이용해 $ O(\sqrt{n}) $의 질의로 표시된 정점의 총 차수를 근사 카운팅을 통해 추정하기.
• 사전 처리 단계에서 후보 독립집합의 차수 합이 $ \max\{\alpha^*(G), n\} $를 초과하는지 확인하고, 초과할 경우 기각하기.
• 주요 케이스에서는 증거 크기가 $ O(\sqrt{n} + \sqrt{\alpha^*(G)}) $인 스팬 프로그램을 구성하며, 질의 복잡도를 증거 크기와 연결하기.
• Reichardt의 결과를 적용하여 양자 질의 복잡도가 스팬 프로그램의 증거 크기의 상수 배 이내임을 활용하기.
• 집중도 한계와 확률적 분석을 사용하여 무작위 그래프 $ \mu_{n,p} $에서 $ \alpha^*(G) $를 근사하기.
• 결과를 통합하여 대부분의 무작위 그래프에서 $ \alpha^*(G) = O(\sqrt{n\log n}) $임을 보이고, 이는 $ \tilde{O}(\sqrt{n}) $의 복잡도로 이어짐.

실험 결과

연구 질문

• RQ1 그래프 충돌 문제의 양자 질의 복잡도는 $ \alpha^*(G) $와 같은 구조적 그래프 파라미터에 따라 유계로 표현될 수 있는가?
• RQ2 무작위 그래프에서 $ \tilde{O}(\sqrt{n}) $의 질의 복잡도를 달성할 수 있으며, 이는 최적에 얼마나 가까운가?
• RQ3 스팬 프로그램을 효과적으로 활용하여 그래프 성질에 대한 의존도를 향상시킨 그래프 충돌 알고리즘을 설계할 수 있는가?
• RQ4 희박하거나 구조적인 그래프에서 알고리즘의 성능이著しく 떨어지거나, 다양한 그래프 유형에 대해 안정적인가?
• RQ5 이 접근법을 초그래프 또는 그래프 충돌 문제의 기타 일반화로 확장할 수 있는가?

주요 결과

• 모든 그래프 $ G $ 에 대해 그래프 충돌 문제의 양자 질의 복잡도는 $ O(\sqrt{n} + \sqrt{\alpha^*(G)}) $이며, 여기서 $ \alpha^*(G) $는 어떤 독립집합에서도 가능한 최대 차수의 합이다.
• 고정된 간선 확률 $ p $ 를 가진 무작위 그래프 $ G \sim \mu_{n,p} $ 에서 알고리즘은 높은 확률로 $ O(\sqrt{n\log n}) $의 질의를 필요로 한다.
• 이론적 상한 $ O(\sqrt{n\log n}) $ 는 문제의 $ \Omega(n) $개의 비이sov레이티드 정점에서 OR 문제로 축소되므로 $ \sqrt{\log n} $ 요소를 제외하고 최적이다.
• 높은 확률로 무작위 그래프에서 $ \alpha^*(G) \leq O(\sqrt{n\log n}) $ 임을 보였으며, 이는 $ \tilde{O}(\sqrt{n}) $의 복잡도를 암시한다.
• 알고리즘은 오류 확률이 최대 $ 1/3 $ 이내가 되도록 서브루틴의 유니온 바운드를 통해 스팬 프로그램과 근사 카운팅을 사용하여 그 한계를 달성한다.
• 결과적으로 모든 그래프에 대해 $ \tilde{O}(\sqrt{n}) $의 질의 복잡도로 개선하는 것은 여전히 열려 있는 문제이며, 무작위 그래프의 경우에도 마찬가지이다.