[논문 리뷰] Explicit Multiregister Measurements for Hidden Subgroup Problems

Cristopher Moore, Alexander Russell|ArXiv.org|2005. 04. 08.

Coding theory and cryptography참고 문헌 27인용 수 4

한 줄 요약

이 논문은 히든 서브그룹 문제(HSP)의 핵심 케이스를 해결하는 푸리에 기저에서의 명시적 다중레지스터 양자 측정을 제안한다. 이는 그래프 이sov머피즘으로 귀결되는 경우를 포함하며, $ k = \log_2|G| $개의 레지스터를 얽히게 하고 모든 $ 2^k $개의 부분집합에 대해 측정함으로써, 아벨 HSP를 초월하는 잠재적인 효율적인 양자 알고리즘을 위한 프레임워크를 제공한다. 이 방법은 자명한 서브그룹과 순서 2 서브그룹을 각각의 부분집합의 비가역 표현 부분공간에서의 정보를 통해 구분한다.

ABSTRACT

We present an explicit measurement in the Fourier basis that solves an important case of the Hidden Subgroup Problem, including the case to which Graph Isomorphism reduces. This entangled measurement uses $k=\log_2 |G|$ registers, and each of the $2^k$ subsets of the registers contributes some information. While this does not, in general, yield an efficient algorithm, it generalizes the relationship between Subset Sum and the HSP in the dihedral group, and sheds some light on how quantum algorithms for Graph Isomorphism might work.

연구 동기 및 목표

• 표준 푸리에 샘플링이 실패하는 비아벨 히든 서브그룹 문제(HSP)를 해결할 수 있는 명시적 양자 측정 전략을 개발하는 것.
• 그래프 이sov머피즘의 핵심 케이스인 대칭군 $ S_n $에서 자명한 서브그룹과 순서 2 서브그룹을 구별하는 데 도전하는 것.
• 이odal 군에서 HSP와 서브셋 합 문제 사이의 관계를 일반화하여 그래프 이sov머피즘에 대한 양자 알고리즘에 대한 통찰을 제공하는 것.
• 다중레지스터 얽힌 측정이 레지스터의 모든 부분집합에서 정보를 추출할 수 있으며, 각 부분집합이 서브그룹 식별에 기여하는 방식을 보여주는 것.

제안 방법

• 레지스터 $ k = \log_2|G| $개를 사용하여 $ G^k $ 위에 공동 상태를 준비한 후, 레지스터 부분집합에 대한 표현을 사용해 제어된 $ G $-행동를 적용한다.
• 제어 레지스터를 타겟 레지스터와 $ \sigma_I(g^{-1}) $를 통해 얽히는 유니터리 변환 $ \mathcal{M} $를 적용함으로써, 서브그룹 구조를 상태에 인코딩한다.
• 제어 레지스터에 양자 푸리에 변환을 수행한 후, 목표 $ \eta $와 동형인 비가역 표현 부분공간에 투영하기 위해 프로젝터 $ \Pi_\eta $를 사용한다.
• 측정는 각 부분집합 $ I $에 관련된 부분공간 $ W_\eta^I $에 상태가 속해 있는지 검출하도록 설계되며, 이 부분공간은 군 작용에 대해 불변하다.
• 자명한 서브그룹일 경우 많은 부분집합 $ I $에 대해 상태의 대부분이 $ W_\eta^I $에 속해 있으므로, 부분 측정을 통해 검출이 가능하다는 사실을 활용한다.
• 쿠퍼버그의 알고리즘에서 사용된 것과 유사한 체계적 방법을 제안하여, 표현의 텐서 곱을 반복적으로 조합하고 부족한 하모닉스를 탐지한다.

실험 결과

연구 질문

• RQ1 다중레지스터 푸리에 기저 측정이 대칭군 $ S_n $에서 자명한 서브그룹과 공轭 순서 2 서브그룹을 식별할 수 있는가? 이는 그래프 이sov머피즘과 관련된 핵심 케이스이다.
• RQ2 레지스터 $ k $개의 각 부분집합은 어떻게 숨겨진 서브그룹 탐지에 기여하며, 그 정보를 효과적으로 통합할 수 있는가?
• RQ3 목표 비가역 표현 $ \eta $와 동형인 부분공간에 상태의 상당한 진폭을 가지는 정보성 있는 레지스터 부분집합을 체계적으로 식별할 수 있는가?
• RQ4 쿠퍼버그의 알고리즘에서 사용된 체계적 방법을 $ S_n $으로 일반화하여 그래프 이sov머피즘에 대한 비지수 또는 효율적인 양자 알고리즘을 도출할 수 있는가?
• RQ5 다중 레지스터에 걸친 얽힌 측정이 비아벨 HSP에서 약한 및 강한 푸리에 샘플링의 한계를 극복하는 데 어떤 역할을 하는가?

주요 결과

• 제안된 측정은 그래프 이sov머피즘의 핵심 케이스인 대칭군 $ S_n $에서 자명한 서브그룹과 공轭 순서 2 서브그룹을 성공적으로 구별한다.
• 레지스터 $ k = \log_2|G| $의 각 부분집합 $ I $는 관련된 부분공간 $ W_\eta^I $를 통해 정보를 기여하며, 이러한 부분공간들의 합성은 서브그룹 식별을 가능하게 한다.
• 이 방법은 이odal 군에 대한 쿠퍼버그의 체계적 알고리즘을 일반화하여, $ S_n $과 같은 더 복잡한 군으로의 구조 확장을 제공한다.
• 이론적 프로토타입으로서, 전체 측정이 일반적으로 효율적으로 실행 가능하지 않더라도, 얽힌 측정이 어려운 HSP 사례를 해결할 수 있음을 보여준다.
• 제어 레지스터에 대한 양자 푸리에 변환과 비가역 표현에 대한 투영을 조합함으로써, 부분집합 전체에 걸쳐 부족한 하모닉스가 존재하는지 탐지할 수 있으며, 이는 자명한 서브그룹을 시사한다.
• 이 접근은 단일 레지스터 측정이 포착하지 못하는 비트리스 정보를 다중레지스터 얽힌 측정이 추출할 수 있음을 드러낸다.