[논문 리뷰] Upper bounds on quantum query complexity inspired by the elitzur-vaidman bomb tester

Cedric Yen-Yu Lin, Han-Hsuan Lin|arXiv (Cornell University)|2015. 06. 17.

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

한 줄 요약

이 논문은 엘리츠르-바이드만 폭탄 테스터에서 영감을 얻은 새로운 양자 쿼리 모델인 폭탄 쿼리 복잡도 B(f)를 소개하며, B(f) = Θ(Q(f)²)임을 보여준다. 이 모델을 통해 고전 알고리즘으로부터 비구성적 상한을 유도하고, 이를 명시적인 양자 알고리즘으로 구현함으로써 단일 소스 최단 경로 문제(O(n¹.⁵))와 최대 이분 매칭 문제(O(n¹.⁷⁵))에 대해 향상된 복잡도 상한을 도출한다.

ABSTRACT

Inspired by the Elitzur-Vaidman bomb testing problem [19], we introduce a new query complexity model, which we call bomb query complexity B(f). We investigate its relationship with the usual quantum query complexity Q(f), and show that B(f) = Θ(Q(f)2).This result gives a new method to upper bound the quantum query complexity: we give a method of finding bomb query algorithms from classical algorithms, which then provide nonconstructive upper bounds on [EQUATION]. We subsequently were able to give explicit quantum algorithms matching our upper bound method. We apply this method on the single-source shortest paths problem on unweighted graphs, obtaining an algorithm with O(n1.5) quantum query complexity, improving the best known algorithm of [EQUATION] [21]. Applying this method to the maximum bipartite matching problem gives an O(n1.75) algorithm, improving the best known trivial O(n2) upper bound.

연구 동기 및 목표

• 엘리츠르-바이드만 폭탄 테스트 사고 실험에서 영감을 얻은 새로운 양자 쿼리 복잡도 모델을 개발하는 것.
• 폭탄 쿼리 복잡도 B(f)와 표준 양자 쿼리 복잡도 Q(f) 사이의 관계를 규명하는 것.
• 고전 알고리즘을 사용하여 Q(f)에 대한 비구성적 상한을 도출하는 방법을 제공하는 것.
• 특히 그래프 문제에 대해 유도된 상한을 충족하는 명시적인 양자 알고리즘을 구성하는 것.
• 단일 소스 최단 경로 문제와 최대 이분 매칭 문제에 대해 알려진 양자 쿼리 복잡도 상한을 향상시키는 것.

제안 방법

• 엘리츠르-바이드만 폭탄 테스터에서 유도된 양자 간섭 및 지연 측정 원리를 바탕으로 한 새로운 쿼리 모델인 폭탄 쿼리 복잡도 B(f)를 도입한다.
• B(f)와 표준 양자 쿼리 복잡도 Q(f) 사이의 날것 같은 관계를 확립하여 B(f) = Θ(Q(f)²)임을 증명한다.
• 고전 알고리즘을 입력으로 사용하여 B(f) 모델을 통해 Q(f)에 대한 비구성적 상한을 도출한다.
• 고전 → 폭탄 → 양자 파ipline을 통해 도출된 상한을 달성하는 명시적인 양자 알고리즘을 구성한다.
• 그래프 문제에 적용하기 위해 고전적 해결책을 양자 간섭을 통해 시뮬레이션하는 폭탄 쿼리 알고리즘을 설계한다.
• 쿼리 복잡도 분석을 통해 도출된 양자 알고리즘의 효율성을 검증하여 특정 문제에 대해 향상된 상한을 도출한다.

실험 결과

연구 질문

• RQ1 폭탄 쿼리 복잡도 B(f)와 표준 양자 쿼리 복잡도 Q(f) 사이의 관계는 무엇인가?
• RQ2 폭탄 쿼리 모델을 통해 고전 알고리즘이 체계적으로 양자 쿼리 복잡도 상한으로 변환될 수 있는가?
• RQ3 폭탄 쿼리 모델을 통해 도출된 상한을 충족하는 명시적인 양자 알고리즘을 구성할 수 있는가?
• RQ4 이 방법을 사용하여 단일 소스 최단 경로와 같은 기본적인 그래프 문제의 쿼리 복잡도에서 어떤 향상이 이루어지는가?
• RQ5 최대 이분 매칭 문제에서 폭탄 쿼리 모델은 기존 접근법과 비교해 복잡도 측면에서 어떻게 다른가?

주요 결과

• 폭탄 쿼리 복잡도 B(f)는 표준 양자 쿼리 복잡도의 제곱으로 날것같이 유계이며, B(f) = Θ(Q(f)²)임을 규명하였다.
• 고전 알고리즘을 사용하여 B(f) 모델을 통해 Q(f)에 대한 비구성적 상한을 도출할 수 있는 일반적인 방법을 확립하였다.
• 폭탄 쿼리 프레임워크를 통해 도출된 상한을 충족하는 명시적인 양자 알고리즘을 구성하였다.
• 무게 없는 그래프에서의 단일 소스 최단 경로 문제에 대해 이 방법을 통해 O(n¹.⁵)의 양자 쿼리 복잡도를 도출하였으며, 이는 이전 결과를 향상시킨다.
• 최대 이분 매칭 문제에 대해 이 방법은 O(n¹.⁷⁵)의 양자 쿼리 복잡도를 도출하였으며, 자명한 O(n²) 상한을 초월한다.
• 양자 간섭 및 지연 측정 원리를 활용하여 양자 쿼리 가속을 위한 새로운 구성적 접근로를 제공한다.