[논문 리뷰] Quantum Pattern Matching

Paulo Mateus, Yasser Omar|ArXiv.org|2005. 08. 31.

Quantum Computing Algorithms and Architecture참고 문헌 1인용 수 7

한 줄 요약

이 논문은 기호 기반 오라클 함수를 사용하는 한 번 컴파일하고 여러 번 실행하는 방식으로, 비구조화된 데이터베이스에서 가장 가까운 패턴 매칭을 위한 양자 알고리즘을 제안한다. 주어진 패턴에 가장 가까운 부분 문자열을 찾는 데 $O(\sqrt{N})$의 쿼리 복잡도를 달성하여 고전적 방법에 비해 제곱근 수준의 속도 향상을 제공하며, 정적 데이터베이스에서 효율적이고 재사용 가능한 검색을 가능하게 한다.

ABSTRACT

We propose a quantum algorithm for closest pattern matching which allows us to search for as many distinct patterns as we wish in a given string (database), requiring a query function per symbol of the pattern alphabet. This represents a significant practical advantage when compared to Grover's search algorithm as well as to other quantum pattern matching methods, which rely on building specific queries for particular patterns. Our method makes arbitrary searches on long static databases much more realistic and implementable. Our algorithm, inspired by Grover's, returns the position of the closest substring to a given pattern of size $M$ with non-negligible probability in $O(\sqrt{N})$ queries, where $N$ is the size of the string. Furthermore, we give the full recipe to implement our algorithm (together with its total circuit complexity), thus offering an oracle-based quantum algorithm ready to be implemented.

연구 동기 및 목표

• 각 새로운 검색마다 오라클 구축 비용이 높아져 실제 적용이 어려운 기존 양자 검색 알고리즘의 문제를 해결하기 위해.
• 오라클 구축을 개별 쿼리에서 분리하여 정적 데이터베이스에서 효율적이고 반복 가능한 패턴 매칭을 가능하게 하기 위해.
• 노이즈가 있거나 변형되는 데이터에서 더 현실적인 변형인 가장 가까운 부분 문자열 문제를 해결하기 위한 실용적인 양자 알고리즘 개발을 위해.
• 실제 세계의 구현을 위해 명시적인 회로 복잡도 분석을 포함한 완전하고 구현 가능한 양자 회로를 제공하기 위해.
• 패턴 크기 $M$이 데이터베이스 크기 $N$에 비해 작을 경우, 특히 가장 가까운 부분 문자열 문제에서 고전적 알고리즘에 비해 상당한 속도 향상을 달성하기 위해.

제안 방법

• 기존의 수정된 그로버 검색 알고리즘(Boyer 등, 1998)을 다중 해를 처리할 수 있도록 변형하여 주어진 패턴에 가장 가까운 매칭을 탐지할 수 있도록 한다.
• 패턴 알파벳에 속한 각 기호별로 쿼리 함수를 구성하여, 동일한 데이터베이스에서 향후 임의의 검색을 지원할 수 있도록 단일 사전 처리 단계를 제공한다.
• 제어된 NOT 게이트와 다중 제어된 파울리-X 게이트를 사용하여, 초기 상태를 모든 가능한 패턴 위치를 중첩 상태로 인코딩한 매우 얽힌 상태로 준비한다.
• 기호 수준 비교를 통해 각 후보 부분 문자열을 대상 패턴과 비교하는 오라클 함수를 통해 단계별 마킹을 구현한다.
• 측정 확률를 높이기 위해 앰플리튜드 강화를 적용하며, 이 과정을 $O(\sqrt{N})$번 반복한다.
• 초기 상태 준비를 위한 회로 설계를 포함하여, 초반 상태 준비를 위한 헤르미트 게이트와 위치 얽힘을 위한 제어 연산을 포함한 명시적 게이트 분해를 수행한다.

실험 결과

연구 질문

• RQ1 정적 데이터베이스에서 단일 재사용 가능한 오라클 설정을 통해 여러 패턴 검색을 수행할 수 있는 양자 알고리즘을 설계할 수 있는가?
• RQ2 실용적인 양자 접근 방식을 통해 고전적 알고리즘 대비 가장 가까운 부분 문자열 문제에서 제곱근 수준의 속도 향상을 달성할 수 있는가?
• RQ3 모든 가능한 패턴 위치를 중첩 상태로 인코딩할 수 있도록 초기 상태 준비를 어떻게 효율적으로 구현할 수 있는가? 이때 회로 깊이를 최소화할 수 있는가?
• RQ4 오라클 구축과 앰플리튜드 강화를 포함한 완전한 구현 가능한 양자 패턴 매칭 알고리즘의 총 회로 복잡도는 얼마인가?
• RQ5 알고리즘이 임의의 패턴에 대해 일반화되어도 패턴 크기 $M$에 관계없이 항상 $O(\sqrt{N})$의 쿼리 복잡도를 유지할 수 있는가?

주요 결과

• 주어진 패턴에 가장 가까운 부분 문자열을 찾는 데 $O(\sqrt{N})$의 쿼리 복잡도를 달성하여 고전적 방법의 $O(MN)$ 복잡도에 비해 제곱근 수준의 속도 향상을 보인다.
• 총 실행 시간 복잡도는 $O(N^{3/2}\log^2 N \log M)$로, 데이터베이스 접근에 대한 고전적 방법의 $O(MN^2)$ 회로 복잡도보다 크게 낮다.
• 컴파일 시간 복잡도는 $O(N\log^2 N \times |\Sigma|)$이며, $|\Sigma|$는 알파벳 크기이므로 사전 처리에 있어 효율적이다.
• 초기 상태 준비의 복잡도는 $O(M\log^3(N-M))$이며, 패턴 크기 $M$에 따라 달라지지만, 설정 후 데이터베이스 크기 $N$과는 독립적이다.
• 단일 사전 처리 단계 이후 동일한 데이터베이스에서 임의의 패턴 검색을 지원하여 '한 번 컴파일하고 여러 번 실행'의 패러다임을 실현한다.
• 완전한 양자 회로는 명시적인 게이트 분해를 포함하여 구성되었으며, 제어 연산당 $O(\log^2 N)$개의 C-NOT 및 파울리-X 게이트를 포함하여, 근접한 양자 하드웨어에서도 구현 가능하다.