[논문 리뷰] Quantum algorithms for shortest paths problems in structured instances

Aran Nayebi, Virginia Vassilevska Williams|arXiv (Cornell University)|2014. 10. 23.

Quantum Computing Algorithms and Architecture참고 문헌 22인용 수 3

한 줄 요약

이 논문은 구조화된 모든 쌍 최단 경로(APSP) 문제에 대한 처음으로 비자명한 양자 알고리즘을 제시하며, 양자 최소값 탐색과 고전 기법을 조합하여 지수 2.5 이하의 런타임을 달성한다. 기하학적 가중치가 부여된 그래프에 대해 $\tilde{O}(n^{2.5 - (2.5 - \theta)/(4\theta + 2)})$ 시간 알고리즘을 얻었고, 모든 쌍 비감소 경로 문제에 대해 $\tilde{O}(n^{2.487})$를 달성하여, 이 문제들에 대해 그로버의 $\tilde{O}(n^{2.5})$ 경계를 초월하는 처음으로 양자 가속을 이룩한다.

ABSTRACT

We consider the quantum time complexity of the all pairs shortest paths (APSP) problem and some of its variants. The trivial classical algorithm for APSP and most all pairs path problems runs in $O(n^3)$ time, while the trivial algorithm in the quantum setting runs in $ ilde{O}(n^{2.5})$ time, using Grover search. A major open problem in classical algorithms is to obtain a truly subcubic time algorithm for APSP, i.e. an algorithm running in $O(n^{3-\varepsilon})$ time for constant $\varepsilon>0$. To approach this problem, many truly subcubic time classical algorithms have been devised for APSP and its variants for structured inputs. Some examples of such problems are APSP in geometrically weighted graphs, graphs with small integer edge weights or a small number of weights incident to each vertex, and the all pairs earliest arrivals problem. In this paper we revisit these problems in the quantum setting and obtain the first nontrivial (i.e. $O(n^{2.5-\varepsilon})$ time) quantum algorithms for the problems.

연구 동기 및 목표

• APSP가 $O(n^{2.5 - \theta})$ 시간 이내에 작동하는 비자명한 양자 알고리즘을 갖는지 여부에 대한 열린 문제를 다루기.
• 기존의 알려진 고전적 진정으로 삼차 이하 알고리즘을 구조화된 APSP 변종에 대해 양자 환경으로 확장하고 더 빠른 런타임을 달성하기.
• 기하학적 가중치가 부여된 그래프, 노드 가중치가 있는 그래프, 각 정점에서 최대로 distinct한 간선 가중치를 가진 그래프에 대해 양자 알고리즘 개발하기.
• 모든 쌍 비감소 경로(APNP) 문제에 대해 처음으로 양자 가속을 제공하기 — 이는 비감소 경로 제약 조건이 있는 APSP의 변종이다.
• 최소 삼각형과 APSP 간의 양자 복잡도 동치성을 탐색하고, 새로운 양자 가속 한계를 규명하기.

제안 방법

• 기하학적 그래프에 대해 찬의 고전적 진정으로 삼차 이하 알고리즘을 양자 환경에 적용하기 위해 양자 최소값 탐색과 양자 다이크스트라 알고리즘을 사용한다.
• 양자 알고리즘을 통한 $(\text{min}, \text{sum})$ 곱셈 계산을 통해 $O(n^{2.473})$ 시간에 짧은 비감소 경로를 계산한다.
• 장거리 경로 계산을 줄이기 위해 히팅 세트 원리 적용 — $\tilde{O}(n/s)$개의 대표 정점 선택하여 양자 다이크스트라 계산 수행.
• 히팅 세트의 각 정점에서 고전적 다이크스트라 단계를 양자 변형으로 대체 — 앰플리튜드 강화를 사용해 정점당 $O(n^{1.5})$ 비용 달성.
• 행렬 곱셈 기법과 양자 검색을 조합하여 구조화된 경우의 거리 곱셈 계산을 가속화한다.
• 고전적 환경에서 최소 삼각형과 APSP 간의 동치성을 활용해, 삼각형 문제가 더 빠르게 해결될 경우 APSP에 대한 양자적 함의를 도출한다.

실험 결과

연구 질문

• RQ1 기존의 고전적 진정으로 삼차 이하 알고리즘이 존재하는 구조화된 사례에서 APSP에 대해 비자명한 양자 알고리즘을 구성할 수 있는가?
• RQ2 고정된 $\kappa$를 가진 기하학적 가중치가 부여된 그래프에서 APSP의 양자 시간 복잡도는 얼마인가?
• RQ3 모든 쌍 비감소 경로(APNP) 문제에 대해 양자 가속을 달성할 수 있는가? 이 문제는 스케줄링 응용을 모델링한다.
• RQ4 최소 삼각형과 APSP 간의 고전적 삼차 이하 동치성에 대응하는 양자 버전이 존재하는가?
• RQ5 구조화된 그래프에서 APSP에 대한 양자 알고리즘이 $O(n^{2.5 - \varepsilon})$ 시간을 달성할 수 있는가? ($\varepsilon > 0$)

주요 결과

• 기하학적 가중치가 부여된 그래프에서 APSP에 대해 $\tilde{O}(n^{2.5 - (2.5 - \omega)/(4\kappa + 2)})$ 시간의 양자 알고리즘을 개발하였으며, $\omega < 2.373$ 이고 $\kappa$는 가중치 함수 집합에 따라 정해지는 상수이다.
• 모든 쌍 비감소 경로(APNP) 문제에 대해 $\tilde{O}(n^{2.487})$ 시간의 양자 알고리즘을 달성하여 고전적 $\tilde{O}(n^{2.843})$ 경계를 향상시켰다.
• 각 정점에서 최대 $L$개의 서로 다른 간선 가중치를 가진 그래프에 대해 $\tilde{O}(\sqrt{n}^{2.5 - (2.5 - \omega)/6})$ 시간의 양자 알고리즘을 확보하여 고전적 $\tilde{O}(\sqrt{L}n^{(9+\omega)/4})$ 런타임을 향상시켰다.
• 논문은 고전적 삼차 이하 동치성의 양자 버전을 확립한다: 최소 삼각형이 $O(n^{1.5 - \varepsilon})$ 시간에 해결될 경우, APSP는 어떤 $\delta > 0$에 대해 $O(n^{2.5 - \delta})$ 시간에 해결될 수 있다.
• 결과적으로, 양자 알고리즘은 구조화된 APSP 변종에 대해 그로버의 $\tilde{O}(n^{2.5})$ 경계를 초월하는 비자명한 가속을 달성할 수 있음을 보여준다.
• 이 방법은 노드 가중치가 있는 그래프 및 소수 정수 가중치가 있는 그래프를 포함하여, 기존에 알려진 고전적 진정으로 삼차 이하 알고리즘이 존재하는 모든 APSP 변종으로 일반화된다.