[논문 리뷰] Quantum search processes in the cyclic group state spaces

Xijia Miao|arXiv (Cornell University)|2005. 07. 25.

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

한 줄 요약

이 논문은 순환군의 상태 공간에서 비구조적 양자 검색 문제를 해결하기 위해, 순환군의 대칭 구조를 활용한 새로운 오라클 기반 양자 역학적 방법을 제안한다. 이 방법은 이진 상태 표현을 다중 기반 동적 표현으로 일반화하여 검색 공간을 저차원 부분군으로 줄이며, 확률 증폭 없이도 효율적인 검색을 가능하게 하여 고전적 그로버 알고리즘의 제곱근 속도 향상 한계를 우회한다.

ABSTRACT

The hardness to solve an unstructured quantum search problem by a standard quantum search algorithm mainly originates from the low efficiency to amplify the amplitude of the marked state by the oracle unitary operation associated with other known quantum operations. In order to bypass the square speedup limitation of a standard quantum search algorithm it is necessary to develop other type of quantum search algorithms. It is described in detail in the paper for a quantum dynamical method to solve the quantum search problems in the cyclic group state space. The binary dynamical representation for a quantum state in the Hilbert space of the n-qubit quantum system is generalized to the multi-base dynamical representation for a quantum state in the cyclic group state space. Thus, any quantum state in the cyclic group state space may be described completely in terms of a set of dynamical parameters that are closely related to the symmetric property and structure of the cyclic group. The quantum search problem therefore could be solved by determining the set of dynamical parameters that describe completely the unknown marked state of the search problem instead by directly measuring the marked state which is a necessary step in the standard quantum search algorithm. An unstructured quantum search problem in the Hilbert space is inevitably affected greatly by the symmetric property and structure of a group. The main attempt of the paper is to make use of the symmetric properties and structures of groups to help solving the quantum search problems in the group state spaces. It is shown how the quantum search process could be reduced from the cyclic group state space to these cyclic group state subspaces with the help of the symmetric property and structure of the cyclic group on a universal quantum computer.

연구 동기 및 목표

• 그로버 알고리즘과 같은 표준 양자 검색 알고리즘에 내재된 제곱근 속도 향상 한계를 극복하기 위해.
• 직접 측정하는 대신 표적 상태를 매개변수화하는 데 중점을 두어 확률 증폭을 피하는 새로운 양자 검색 프레임워크를 개발하기 위해.
• 순환군의 대칭적 구조를 활용하여 검색 공간을 더 작은, 효율적으로 해결 가능한 부분공간으로 분해하기 위해.
• 유니터리 연산을 통해 군 원소를 양자 상태에 매핑하여 고차원 힐베르트 공간 내에서 효율적인 양자 검색을 가능하게 하기 위해.
• 상태 锁정 펄스를 사용하여 이상적인 보편 양자 컴퓨터에서 유니터리로 실행 가능한 양자 프로그램과 회로를 설계하기 위해.

제안 방법

• 순환군 상태 공간 내 양자 상태의 이진 동적 표현을 다중 기반 동적 표현으로 일반화하기 위해.
• 순환군의 원소를 n-qubit 힐베르트 공간의 기저 상태에 일대일로 매핑하여 군의 대칭성을 양자 상태 공간에 통합하기 위해.
• 중국의 나머지 정리를 사용하여 순환군 상태 공간을 차원 ~O(log p)인 더 작은 순환 부분군의 텐서곱으로 분해하기 위해.
• 양자 검색 문제를 매개변수 추정 문제로 재구성: 부분군 부분공간 내에서 표적 상태를 완전히 기술하는 동적 매개변수를 결정하기 위해.
• 정지 프로토콜을 시뮬레이션할 수 있도록 상태 锁정 펄스를 포함한 유니터리 양자 프로그램을 설계하여 이상적인 보편 양자 컴퓨터에서 효율적인 계산을 가능하게 하기 위해.
• 두 수준의 제어 부분공간과 연속적인 상태 锁정 펄스를 사용하여 유니터리 프로그램을 모방하는 양자 회로를 구성하기 위해.

실험 결과

연구 질문

• RQ1 힐베르트 공간 내 군의 대칭성을 활용함으로써 표준 양자 검색 알고리즘의 제곱근 속도 향상 한계를 극복할 수 있는가?
• RQ2 비구조적 검색 문제를 고차원 순환군 상태 공간에서 더 낮은 차원의 부분공간으로 효율적으로 축소시킬 수 있는가?
• RQ3 직접적인 확률 증폭이나 측정 없이 표적 상태를 어떻게 특성화하고 조작할 수 있는가?
• RQ4 특히 작은 부분군들의 곱으로 이루어진 순환군의 대칭적 구조는 얼마나 효율적인 양자 검색을 가능하게 하는가?
• RQ5 현실적인 양자 회로에서 상태 锁정 펄스를 사용하여 정지 프로토콜을 갖춘 유니터리 양자 프로그램을 구현하는 것이 가능한가?

주요 결과

• 차원 p인 순환군 상태 공간 내 양자 검색 문제는 군이 매우 대칭적일 경우, 즉 많은 작은 순환 부분군들의 곱일 경우, ~O(log p) 차원의 부분공간으로 효율적으로 축소될 수 있다.
• 이 방법은 군의 구조에 연결된 동적 매개변수로 표적 상태를 매개변수화하여 확률 증폭을 우회하며, 알 수 없는 상태를 직접 조작할 수 있도록 한다.
• 이론적 분석에 따르면, 이러한 저차원 부분공간의 크기가 작기 때문에 어떤 양자 검색 문제도 효율적으로 해결될 수 있다.
• 단일 기저 상태 입력을 가진 이상적인 보편 양자 컴퓨터에서 정지 프로토콜을 시뮬레이션할 수 있도록 상태 锁정 펄스를 포함한 유니터리 양자 프로그램을 설계할 수 있다.
• 양자 회로 설계는 두 수준의 제어 부분공간과 연속 펄스를 활용하여 정지 프로토콜을 모방하며, 현재의 실험적 제약에도 불구하고 실현 가능성을 시사한다.
• 중국의 나머지 정리는 부분공간 간의 필수적인 구조적 관계를 제공하여, 부분군 간에 표적 상태의 효율적 분해와 재구성 가능성을 보장한다.