[논문 리뷰] A Subexponential Time Algorithm for the Dihedral Hidden Subgroup Problem with Polynomial Space

Oded Regev|ArXiv.org|2004. 06. 21.

Complexity and Algorithms in Graphs참고 문헌 10인용 수 76

한 줄 요약

이 논문은 다각형(hidden subgroup problem, DHSP)에 대한 하위지수 시간 양자 알고리즘을 제시하며, 이 알고리즘은 다항 시간 공간만을 사용한다. 이는 쿠퍼버그의 원래 하위지수 알고리즘에서 초과 다항 시간 공간을 요구한다는 주요 한계를 해결한다. 알고리즘은 쿠퍼버그의 충돌 기반 접근법과 레제브의 기법을 결합하여 $2^{O(\tilde{\rho}(\text{log}\,\text{log}\,N))}$의 실행 시간과 $\text{poly}(\log N)$의 공간을 달성한다. 이는 공간 효율성을 크게 향상시키면서도 거의 최적의 실행 시간을 유지한다.

ABSTRACT

In a recent paper, Kuperberg described the first subexponential time algorithm for solving the dihedral hidden subgroup problem. The space requirement of his algorithm is super-polynomial. We describe a modified algorithm whose running time is still subexponential and whose space requirement is only polynomial.

연구 동기 및 목표

• 다각형 은닉 부분군 문제(DHSP)에 대해 하위지수 시간 내에 작동하고 다항 시간 공간만을 사용하는 양자 알고리즘을 개발함으로써, 이전 접근법의 주요 한계를 해결하는 것.
• 쿠퍼버그의 원래 하위지수 알고리즘이 $2^{O(\tilde{\rho}(\text{log}\,\text{log}\,N))}$의 공간을 요구한다는 점을 해결하기 위해, 큰 수의 얽힌 상태를 저장하지 않는 새로운 방법을 도입함으로써 공간 비효율성을 해결하는 것.
• 실행 시간을 하위지수 수준으로 유지하면서도 공간 복잡도를 기하급수에서 다항식 수준으로 크게 감소시켜, 향후 물리적 구현에 더 실용적인 알고리즘을 만드는 것.
• 쿠퍼버그의 충돌 기반 전략과 레제브의 대수적 프레임워크를 조합함으로써 DHSP에 대한 공간 효율적인 해법을 도출할 수 있음을 보여주는 것.
• 클래식 문제, 예를 들어 격자 문제를 해결하는 데 새로운 접근법을 이끌 수 있는 구조적 양자 알고리즘을 제공하는 것.

제안 방법

• 알고리즘은 $k$개의 루틴으로 이루어진 파이프라인을 사용하며, 각 루틴은 양자 물체의 레이블에서 추가로 $l$개의 가장 낮은 비트를 0으로 만든다. 여기서 $l = \sqrt{\log N}$이고 $k = \sqrt{\log N}$이다.
• 각 루틴은 $l+4$개의 입력 물체를 처리하며, 이들의 레이블은 $il$개의 가장 낮은 비트가 0으로 설정되어 있다. 이들은 조합 연산을 통해 하나의 출력 물체를 생성하며, 이 레이블은 $i(l+1)$개의 비트가 0으로 설정된다.
• 조합 연산은 $l+4$ 큐비트의 초위상 상태를 준비하고, 고전적 레지스터를 측정하여 모듈로 $2^l$에서 내적 값이 일치하는 상태로 투영한 후, 프로젝션 측정을 수행하여 두 상태의 초위상 차이가 새로운 레이블에 해당하는 두 상태의 초위상 중첩 상태로 붕괴되도록 한다.
• 충돌 연산의 성공 확률은 랜덤 선형 형식 하에서의 전역 해의 수의 집중성에 기반하며, 체비셰프 부등식을 사용하여 분석되어 일정 확률로 보장된다.
• 큰 규모의 양자 메모리가 필요 없도록, 입력을 배치 단위로 처리함으로써 물체를 쌓아두는 것을 피함으로써 다항 시간 공간 사용이 가능해진다.
• 총 실행 시간은 $2^{O(\sqrt{\log N \cdot \log \log N})}$이며, 이는 각 조합에 대해 $2^{O(l)}$의 시간과 총 $2^{O(k)}$개의 조합이 필요하며, $l = \sqrt{\log N}$, $k = \sqrt{\log N}$이므로 유도된다.

실험 결과

연구 질문

• RQ1 다각형 은닉 부분군 문제는 하위지수 시간 내에 다항 시간 공간만을 사용하여 해결될 수 있는가? 이는 쿠퍼버그 알고리즘의 초과 다항 시간 공간 요구 조건을 극복하는가?
• RQ2 입력 크기의 다항식 수준으로 공간 복잡도를 감소시키면서도 하위지수 실행 시간을 유지하는 것이 가능한가?
• RQ3 쿠퍼버그의 충돌 기반 접근법과 레제브의 대수적 프레임워크의 조합이 DHSP에 대한 공간 효율적인 양자 알고리즘을 도출할 수 있는가?
• RQ4 하위지수 실행 시간을 가지며 DHSP를 해결하는 데 필요한 최소 공간 요구량은 무엇인가?
• RQ5 고전적 후처리 및 소규모 양자 레지스터에 대한 프로젝션 측정을 사용함으로써, 확장 가능하고 공간 효율적인 DHSP 해법을 도출할 수 있는가?

주요 결과

• 알고리즘은 $2^{O(\sqrt{\log N \cdot \log \log N})}$의 실행 시간을 달성하며, 이는 하위지수 시간이며 쿠퍼버그의 $2^{O(\sqrt{\log N})}$ 알고리즘에 비해 약간 느리지만 거의 최적이다.
• 공간 복잡도는 $\text{poly}(\log N)$로 감소하여 입력 크기의 다항식 수준이 되었으며, 쿠퍼버그의 초과 다항식 공간 요구 조건과 대비된다.
• 각 조합 연산의 성공 확률은 일정하며, $2^{O(\sqrt{\log N \cdot \log \log N})}$개의 입력을 사용할 경우 찰스포드 부등식에 의해 전체 파이프라인의 성공 확률도 높다.
• 알고리즘은 일치하는 레이블을 식별하고 두 상태의 중첩 상태로 투영하기 위해 고전적 후처리 전략을 사용하며, 이는 추가로 $l$개의 비트가 0으로 설정된 새로운 물체를 추출할 수 있도록 한다.
• 이 방법은 모듈로 $2^l$에서 선형 방정식의 해의 수의 집중성에 기반하며, 일반적으로 해의 수가 $\{2, 3, \dots, 32\}$ 범위에 들어갈 확률가 일정하다.
• 결과적으로 다각형 HSP는 하위지수 시간과 다항식 공간을 사용하여 해결 가능하며, 이는 격자 문제 및 그래프 이sov머피즘 문제를 해결하기 위한 양자 알고리즘으로 향한 중요한 단계를 제공한다.