[논문 리뷰] The Hidden Subgroup Problem and Eigenvalue Estimation on a Quantum Computer

Michele Mosca, Artur Ekert|ArXiv.org|1999. 03. 20.

Quantum Computing Algorithms and Architecture인용 수 20

한 줄 요약

이 논문은 양자 컴퓨터에서 고유값 추정을 통해 아벨(hidden) 부분군 문제(ABelian HSP)를 해결할 수 있음을 보이며, 효율적인 해결을 위해 단일 제어 큐비트 또는 플라잉 큐비트만으로도 충분하다는 것을 보여준다. 이는 셔어의 알고리즘과 키타에프의 알고리즘을 일반화한 것으로, HSP를 고유값 추정 문제로 재구성함으로써, 더 적은 양자 자원 요구량으로도 효율적인 순서 찾기, 이산 로그 계산, 인수분해를 가능하게 한다.

ABSTRACT

A quantum computer can efficiently find the order of an element in a group, factors of composite integers, discrete logarithms, stabilisers in Abelian groups, and `hidden' or `unknown' subgroups of Abelian groups. It is already known how to phrase the first four problems as the estimation of eigenvalues of certain unitary operators. Here we show how the solution to the more general Abelian `hidden subgroup problem' can also be described and analysed as such. We then point out how certain instances of these problems can be solved with only one control qubit, or `flying qubits', instead of entire registers of control qubits.

연구 동기 및 목표

• 양자 컴퓨터에서 고유값 추정의 공통 프레임워크 아래 셔어의 인수분해, 이산 로그, 순서 찾기 문제를 통합적으로 다루는 것.
• 함수 f로부터 유도된 유니터리 연산자들의 고유값을 추정하는 것으로 아벨 HSP가 해결될 수 있음을 보이는 것.
• 아벨 군에서 HSP를 해결하기 위해 단일 제어 큐비트 또는 플라잉 큐비트만으로도 충분함을 보여, 양자 자원 오버헤드를 줄이는 것.
• 완전한 제어 큐비트 레지스터 대신 순차적 측정과 고전적으로 제어되는 연산을 사용하는 반-고전적 구현 전략을 제공하는 것.

제안 방법

• 문제는 함수 f가 은닉 부분군 K의 여부에 대해 일정한 값을 갖는 유니터리 연산자 U_f의 고유값 추정 문제로 재구성된다.
• 알고리즘은 군 원소의 중첩 상태를 사용하고, 제어- U_f 연산을 적용하여 제어 큐비트를 함수의 구조와 얽힘 상태로 만든다.
• 제어 큐비트에 대해 연속적인 제어 위상 이동과 하다드 변환을 적용하여 고유값 추정을 통한 양자 푸리에 샘플링을 수행한다.
• 이 방법은 측정된 제어 큐비트를 사용해 후속 연산을 고전적으로 제어하는 '반-고전적' 접근을 활용하여, 전체 레지스터 저장이 필요한 것을 줄인다.
• 유한 생성 아벨 군 G의 은닉 부분군 문제에 대해, 군의 생성자 e_j 각각에 대해 제어 연산을 적용함으로써 이 과정을 일반화한다.
• 최종적으로 제어 큐비트의 측정을 통해 고유값의 추정치를 얻고, 이를 고전적으로 후처리하여 부분군의 구조를 추출한다.

실험 결과

연구 질문

• RQ1 아벨 은닉 부분군 문제는 유니터리 연산자의 고유값 추정을 통해 통일적으로 기술되고 해결될 수 있는가?
• RQ2 아벨 군에서 HSP를 해결하기 위한 최소한의 양자 자원 요구량(예: 제어 큐비트 수)은 무엇인가?
• RQ3 완전한 제어 큐비트 레지스터를 단일 제어 큐비트 또는 플라잉 큐비트와 고전 피드백으로 대체할 수 있는가?
• RQ4 반-고전적 구현 방식이 HSP 알고리즘에서 자원 오버헤드를 어떻게 줄이는가?
• RQ5 함수 f가 효율적으로 계산되고, 그 구조가 고유값 추정에 어떻게 활용될 수 있는가?

주요 결과

• 함수 f와 관련된 유니터리 연산자의 고유값을 추정하는 것으로 아벨 HSP를 해결할 수 있으며, 이는 셔어와 키타에프의 접근을 일반화한다.
• 단일 제어 큐비트 또는 플라잉 큐비트의 시퀀스만으로도 성공 확률가 거의 1에 가까워지며, 이로 인해 양자 메모리 요구량이 크게 감소한다.
• O(n)번의 f 적용과 O(n²)회의 기본 양자 연산을 통해 효율적인 순서 찾기, 이산 로그 계산, 인수분해가 가능하며, 여기서 n은 입력 크기이다.
• 반-고전적 구현은 제어 큐비트의 측정을 후속 연산 이전에 수행하여, 양자 제어 회전을 고전적 제어로 대체할 수 있다.
• 이 방법은 입력 크기 n에 대해 다항 시간 내에 실행되며, 유한 생성 아벨 군(예: 인수분해를 위한 Z_N*)에 대해 효율적이다.
• 이 프레임워크는 순서 찾기, 이산 로그, 스테이블라이저 문제를 모두 양자 컴퓨터에서의 고유값 추정 문제의 사례로 통합적으로 기술할 수 있다.