[논문 리뷰] A Topological Oracle Model for Proving P ≠ NP

Lov K. Grover|ArXiv.org|1996. 05. 29.

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

한 줄 요약

이 논문은 단일 마킹된 항목을 크기가 N인 정렬되지 않은 데이터베이스에서 O(√N) 쿼리 내에 찾는 양자 검색 알고리즘을 제안한다. 이 알고리즘은 단계 반전과 워셜-하다마드 변환을 통한 양자 진폭 강화를 이용하며, 고전적 알고리즘에 비해 제곱근 속도 향상을 달성한다. 이는 일반 조건 하에서 상수 인자 범위 내에서 최적임을 증명하며, 양자 검색의 기본 한계를 설정한다.

ABSTRACT

Imagine a phone directory containing N names arranged in completely random order. In order to find someone's phone number with a 50% probability, any classical algorithm (whether deterministic or probabilistic) will need to look at a minimum of N/2 names. Quantum mechanical systems can be in a superposition of states and simultaneously examine multiple names. By properly adjusting the phases of various operations, successful computations reinforce each other while others interfere randomly. As a result, the desired phone number can be obtained in only O(sqrt(N)) steps. The algorithm is within a small constant factor of the fastest possible quantum mechanical algorithm.

연구 동기 및 목표

• 정렬되지 않은 데이터베이스에서 사전 구조적 정보 없이도 효율적으로 검색할 수 있는 양자 알고리즘을 개발한다.
• 비정렬 문제에 대해 고전적 검색 알고리즘에 비해 제곱근 속도 향상을 입증한다.
• 쿼리 복잡도에 대한 하한선을 증명하여 제안된 알고리즘이 최적임을 확립한다.
• 하다마드 변환과 단계 이동과 같은 기본 양자 연산만을 사용하여 실용적이고 실행 가능한 양자 알고리즘을 제공한다.

제안 방법

• 데이터베이스의 모든 N개 항목을 동시에 검사할 수 있도록 양자 중첩을 사용한다.
• 모든 기저 상태에 대해 균일한 중첩을 만들기 위해 워셜-하다마드 변환을 적용한다.
• 마킹된 상태(대상 항목)의 진폭을 반전시키는 단계 반전 연산을 활용한다.
• 단계 반전과 간섭 효과를 조합하여 반복적으로 진폭 강화를 수행함으로써, 마킹된 상태를 측정할 확률를 높인다.
• 양자 오라클에 기반하여 대상 상태의 진폭을 선택적으로 반전시키는 조건부 단계 이동 연산을 사용한다.
• 유니터리 진동을 통해 간섭을 유도하여 정답 해의 진폭을 강화하고 다른 상태의 진폭을 억제한다.

실험 결과

연구 질문

• RQ1 비정렬 데이터베이스 검색에 대해 고전적 알고리즘에 비해 상당한 속도 향상을 달성할 수 있는 양자 알고리즘이 존재하는가?
• RQ2 양자 역학을 사용할 때 정렬되지 않은 데이터베이스에서 마킹된 항목을 찾기 위해 필요한 최소 쿼리 수는 얼마인가?
• RQ3 제안된 알고리즘이 쿼리 복잡도 측면에서 최적인가, 또는 더 빠른 양자 알고리즘이 존재할 수 있는가?
• RQ4 데이터 구조에 대한 사전 지식 없이 양자 간섭과 진폭 강화를 어떻게 활용하여 검색 문제를 해결할 수 있는가?

주요 결과

• 알고리즘은 O(√N) 쿼리 내에 마킹된 항목을 찾으며, 고전적 알고리즘이 O(N) 쿼리가 필요한 것에 비해 제곱근 속도 향상을 제공한다.
• BBBV96에서 확립한 Ω(√N) 쿼리의 일치하는 하한선을 증명함으로써, 알고리즘은 상수 인자 범위 내에서 최적임을 입증한다.
• 알고리즘은 양자 진폭의 건설적 간섭과 잘못된 상태의 파괴적 간섭을 통해 속도 향상을 달성한다.
• 이 방법은 워셜-하다마드 변환과 조건부 단계 이동이라는 두 가지 기본 양자 연산에만 의존하므로 실험적으로 실행 가능하다.
• 여러 개의 해가 존재할 경우에도 알고리즘이 효과적으로 작동하며, 반복 실행을 통해 어떤 해의 존재 여부를 탐지하는 데도 응용할 수 있다.
• 이상 상태의 변형이나 상호작용이 없는 측정 원리의 사용과 같은 수정에도 알고리즘이 강인하므로 더 넓은 적용 가능성을 시사한다.