[논문 리뷰] The central nature of the Hidden Subgroup problem

Stephen Fenner, Yong Zhang|ArXiv.org|2006. 10. 13.

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

한 줄 요약

이 논문은 양자계산의 핵심 문제들인 숨겨진 코스터 문제, 궤도 코스터 문제, 숨겨진 이동 문제, 일반화된 숨겨진 이동 문제 등이 비아벨군과 치환군을 포함한 광범위한 군들에서 숨겨진 부분군 문제(HSP)로 다항시간 환원 가능하다는 것을 입증한다. 주요 기여는 치환군이나 매끄러운 차수를 가진 이odial 군에서 HSP를 해결하면 이러한 관련 문제들을 모두 해결할 수 있음을 증명한 것이며, HSP의 결정형과 탐색형에 대한 비적응형 프로그램 체크어를 구축했다.

ABSTRACT

We show that several problems that figure prominently in quantum computing, including Hidden Coset, Hidden Shift, and Orbit Coset, are equivalent or reducible to Hidden Subgroup for a large variety of groups. We also show that, over permutation groups, the decision version and search version of Hidden Subgroup are polynomial-time equivalent. For Hidden Subgroup over dihedral groups, such an equivalence can be obtained if the order of the group is smooth. Finally, we give nonadaptive program checkers for Hidden Subgroup and its decision version.

연구 동기 및 목표

• 숨겨진 코스터, 궤도 코스터, 숨겨진 이동, 일반화된 숨겨진 이동과 같은 주요 양자계산 문제들 간의 관계를 통합하고 명확히 하는 것.
• 이러한 문제들이 비아벨군과 치환군을 포함한 광범위한 군들에서 숨겨진 부분군 문제(HSP)로 다항시간 환원 가능하다는 것을 보여주는 것.
• 치환군과 매끄러운 차수를 가진 이odial 군에서 HSP의 결정형과 탐색형 간에 다항시간 동치성을 확립하는 것.
• 치환군에서 HSP의 결정형과 탐색형에 대한 비적응형 프로그램 체크어를 설계하여 높은 확률로 정확성을 보장하는 것.

제안 방법

• 숨겨진 코스터 문제를 HSP로 환원하기 위해, 와이어드 프로덕트 구조를 사용하여 더 큰 HSP 인스턴스에 숨겨진 코스터 인스턴스를 통합하는 군 준동형을 구성한다.
• 비아벨 군에서의 HSP 인스턴스로 숨겨진 이동 문제와 일반화된 숨겨진 이동 문제를 통합하기 위해 와이어드 프로덕트 $ G \wr \mathbb{Z}_2 $ 를 사용한다.
• 정리 3.1을 적용하여 숨겨진 이동 문제와 숨겨진 코스터 문제의 인스턴스를 $ G \wr \mathbb{Z}_2 $ 에서의 등가 HSP 인스턴스로 변환하며, 부분군의 구조를 유지한다.
• 무작위 치환을 생성하고 다중 독립 쿼리 간 일관성을 검증함으로써, HSP 프로그램의 정확성을 검증하기 위해 비적응형 쿼리 전략을 활용한다.
• 양자 함수의 구조와 코스터 표현을 활용하여 적응형 피드백 없이도 HSP 해를 시뮬레이션하고 검증한다.
• 구축된 $ G \wr \mathbb{Z}_2 $ 인스턴스에서 숨겨진 부분군이 원래 부분군의 업프로젝션된 형태임을 이용하여 원래 문제의 해를 복구할 수 있다.

실험 결과

연구 질문

• RQ1 숨겨진 코스터, 궤도 코스터, 숨겨진 이동, 일반화된 숨겨진 이동 문제들이 일반 유한군에서 숨겨진 부분군 문제(HSP)로 다항시간 환원 가능할 수 있는가?
• RQ2 치환군과 매끄러운 차수를 가진 이odial 군에서 HSP의 결정형과 탐색형이 다항시간 동치임을 입증할 수 있는가?
• RQ3 HSP와 그 결정형에 대해 다항시간 내에 유한 오차를 가진 비적응형 프로그램 체크어를 구축할 수 있는가?
• RQ4 일반화된 숨겨진 이동 문제를 와이어드 프로덕트 군에서 HSP로의 통합을 역으로 수행하여 원래 인스턴스를 복구할 수 있는가? 이는 GHSh가 HSP의 특수한 경우임을 시사하는가?
• RQ5 관련 문제들에서 HSP로의 환원이 군의 복잡성을 유지하는가(예: 가해군을 가해군으로 매핑함으로써 문제의 난이도를 더 세밀하게 분류할 수 있는가)?

주요 결과

• 숨겨진 코스터 문제와 어떤 유한군(비아벨 군 포함)에서의 숨겨진 부분군 문제 간에 다항시간 동치성이 성립한다.
• 양자 함수가 HSP 공식화에 허용될 경우 궤도 코스터 문제와 숨겨진 부분군 문제 간에 동치성이 성립한다.
• 숨겨진 이동 문제와 일반화된 숨겨진 이동 문제의 경우, 함수의 수가 적을 때 $ G \wr \mathbb{Z}_2 $ 에서의 HSP로의 환원이 다항시간 내에 수행 가능하다.
• 치환군과 매끄러운 차수를 가진 이odial 군에서 HSP의 결정형과 탐색형 간에 다항시간 동치성이 성립한다.
• HSP와 그 결정형에 대한 비적응형 프로그램 체크어가 존재하며, $ k $개의 쿼리에 대해 정확도 확률이 $ 1 - 2^{-k} $ 이상으로 다항시간 내에 실행된다.
• HSP 결정형 체크어는 프로그램이 정확할 경우 CORRECT를 출력하고, 프로그램이 잘못되었을 경우 최소 $ 1 - 2^{-k} $ 확률로 BUGGY를 출력하여 높은 신뢰성을 확보한다.