[논문 리뷰] Solving mathematical problems with quantum search algorithm

Rubens Viana Ramos, Paulo Benicio de Sousa외 1명|ArXiv.org|2006. 04. 29.

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

한 줄 요약

이 논문은 고르버의 검색 기반 양자 알고리즘을 제시하여 논리 함수의 영점 찾기, 데이터베이스 내 극값 검색, 홀수의 소수성 테스트와 같은 수학적 문제를 해결한다. 비틀어진 데이터에서 타겟 값들을 효율적으로 식별할 수 있도록 조건부 논리 기능을 가능하게 하는 새로운 양자 비트 스트링 비교기(비트 스트링 비교기)를 오라클로 도입함으로써, 복잡한 논리 연산을 양자 계산에서 구현할 수 있음을 입증한다.

ABSTRACT

Quantum computation has attracted much attention since it was shown by Shor and Grover the possibility to implement quantum algorithms able to realize, respectively, factoring and searching in a faster way than any other known classical algorithm. It is possible to use Grover algorithm, taking profit of its ability to find a specific value in a unordered database, to find, for example, the zero of a logical function; the minimal or maximal value in a database or to recognize if an odd number is prime or not. Here we show quantum algorithms to solve those cited mathematical problems. The solution requires the use of a quantum bit string comparator being used as oracle. This quantum circuit compares two quantum states and identifies if they are equal or, otherwise, which of them is the largest. Moreover, we also show the quantum bit string comparator allow us to implement conditional statements in quantum computation, a fundamental structure for designing of algorithms.

연구 동기 및 목표

• 간단한 데이터베이스 검색을 넘어서 수학적 문제를 해결하는 데 고르버의 검색을 활용하는 양자 알고리즘을 개발하는 것.
• 조건부 논리에서의 기본 구성 요소로 기능하는 양자 비트 스트링 비교기를 설계하고 구현하는 것.
• 논리 함수의 영점, 최대/최소 값, 홀수의 소수성과 같은 특정 값을 검출할 수 있도록 양자 검색을 활용하는 것.
• 실제 수학적 문제 해결 작업을 위한 오라클을 구성하는 데 비교기의 실용적 유용성을 입증하는 것.
• 비교기를 통해 문제에 특화된 논리를 통합함으로써 고르버 알고리즘의 적용 범위를 비구조화된 검색을 넘어서 확장하는 것.

제안 방법

• 논문은 두 개의 양자 상태 간의 사전적 순서를 평가하여 동등성 또는 상대적 크기를 결정하는 데 목적이 있는 양자 비트 스트링 비교기 회로를 제안한다.
• 이 비교기는 고르버의 검색 알고리즘에서 오라클로 사용되어 비구조화된 데이터베이스 내 특정 타겟 상태를 식별한다.
• 제어된 양자 연산을 사용하여 비트 단위로 역행 가능한 방식으로 큐비트 스트링을 비교함으로써 오라클을 구성한다.
• 알고리즘은 고르버 반복을 통해 확률을 증폭시켜 원하는 해 상태를 측정할 확률를 높인다.
• 비교 결과에 따라 분기할 수 있도록 비교기를 통해 조건부 논리를 가능하게 하여, 양자 프로그램에서 의사결정 기능을 구현하는 데 필수적인 역할을 한다.
• 이 방법은 세 가지 수학적 문제에 적용된다: 함수의 영점 찾기, 극값 위치 파악, 홀수의 소수성 테스트.

실험 결과

연구 질문

• RQ1 고르버의 양자 검색 알고리즘이 논리 함수의 영점을 찾는 것과 같은 수학적 문제를 효과적으로 확장하여 해결할 수 있는가?
• RQ2 복잡한 검색 작업을 위한 신뢰할 수 있는 오라클로 기능할 수 있도록 양자 비트 스트링 비교기를 어떻게 설계할 수 있는가?
• RQ3 비교기는 양자 알고리즘에서 얼마나 깊이까지 조건부 논리를 가능하게 할 수 있으며, 문제에 특화된 의사결정 기능을 어떻게 지원할 수 있는가?
• RQ4 제안된 방법을 통해 비교 회로와 함께 양자 검색을 사용하여 홀수의 소수성을 효율적으로 판단할 수 있는가?
• RQ5 비교기는 비구조화된 양자 데이터베이스에서 최대 또는 최소 값을 감지하는 데 어떤 역할을 하는가?

주요 결과

• 양자 비트 스트링 비교기는 두 양자 상태를 비교하고 동등성 또는 사전적 순서를 결정하여 고르버 알고리즘에 대한 신뢰할 수 있는 오라클을 형성한다.
• 비교기는 양자 계산에서 조건문의 구현을 가능하게 하여 알고리즘 설계에 필수적인 능력을 제공한다.
• 조건 f(x) = 0을 오라클 함수에 인코딩함으로써 논리 함수의 영점을 탐지할 수 있다.
• 비교기를 사용하여 후보 값을 반복적으로 비교함으로써 비구조화된 데이터베이스 내 최대 또는 최소 값을 식별할 수 있다.
• 홀수의 소수성 테스트는 비자명한 약수를 찾는 것으로 수행되며, 만약 그런 약수가 발견되지 않으면 수는 소수로 간주된다.
• 제안된 접근법은 고르버 알고리즘이 단순한 검색을 넘어서 비틀어진 데이터에서 비틀어진 수학적 문제를 해결하는 데 적응 가능하며, 맞춤형 비교기 오라클을 사용함으로써 이를 입증한다.