[논문 리뷰] For Distinguishing Conjugate Hidden Subgroups, the Pretty Good Measurement is as Good as it Gets

Cristopher Moore, Alexander Russell|ArXiv.org|2005. 01. 31.

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

한 줄 요약

이 논문은 그룹 G와 부분군 H가 게르프란드 쌍(Gel'fand pair)을 이루는 경우, 한 레지스터에서 공액 부분군의 숨겨진 부분군을 식별하는 데 대해 흔들리지 않는 측정(Pretty Good Measurement, PGM)이 최적임을 증명한다. 또한, G와 H가 게르프란드 쌍을 이루면, PGM은 임의의 레지스터 수에서 여전히 최적임을 보이며, 이는 이전의 이면군에 대한 결과를 일반화한다. 표현 이론과 플랑커렐 측도(Plancherel measure)를 사용하여 성공 확률에 대한 날카운 상한을 제공한다.

ABSTRACT

Recently Bacon, Childs and van Dam showed that the ``pretty good measurement'' (PGM) is optimal for the Hidden Subgroup Problem on the dihedral group D_n in the case where the hidden subgroup is chosen uniformly from the n involutions. We show that, for any group and any subgroup H, the PGM is the optimal one-register experiment in the case where the hidden subgroup is a uniformly random conjugate of H. We go on to show that when H forms a Gel'fand pair with its parent group, the PGM is the optimal measurement for any number of registers. In both cases we bound the probability that the optimal measurement succeeds. This generalizes the case of the dihedral group, and includes a number of other examples of interest.

연구 동기 및 목표

• 양자 알고리즘에서 공액 숨겨진 부분군을 식별하기 위한 흔들리지 않는 측정(PGM)의 최적성을 규명하는 것.
• 이면군에 대한 이전 결과를 임의의 군과 부분군으로 일반화하여, G와 H가 게르프란드 쌍을 이룰 조건을 찾는 것.
• 한 레지스터 및 다수 레지스터 설정에서 PGM의 성공 확률에 대해 날카운 상한을 도출하는 것.
• 표현 이론적 도구를 사용하여, 공액 부분군에 대한 균일한 사전 확률 하에서 PGM이 최적 측정 전략임을 입증하는 것.

제안 방법

• 비정상 부분군 H의 균일하게 무작위 선택된 공액을 식별하는 문제를 숨겨진 공액 문제(Hidden Conjugate Problem)로 정의한다.
• PGM 구축: E_i = p_i M^{-1/2} ρ_i M^{-1/2} (여기서 M = ∑ p_i ρ_i)를 사용하여 코셋 상태 위에서 측정 연산자를 정의한다.
• 슈어의 보조정리(Schur’s lemma)와 표현 이론을 적용하여 밀도 행렬 ρ_g를 G의 기약 표현으로 분해한다.
• 연산자 대수학과 추적 부등식을 사용하여, 한 레지스터 케이스에서 PGM이 최적성 조건 (1.4)–(1.6)를 만족함을 증명한다.
• 게르프란드 쌍의 경우, 플랑커렐 측도와 표현 구조를 분석하여 다수 레지스터에서도 PGM이 여전히 최적임을 보인다.
• 표현 이론의 플랑커렐 분포와 H의 정규화군 C(H)의 크기를 사용하여 성공 확률을 상한으로 제한한다.

실험 결과

연구 질문

• RQ1 한 레지스터 케이스에서 공액 숨겨진 부분군을 식별할 때 흔들리지 않는 측정(PGM)이 최적인가?
• RQ2 다수 레지스터에서 PGM이 최적일 수 있는 군-부분군 조건은 무엇인가?
• RQ3 표현 이론을 기반으로 PGM의 성공 확률를 날카운 상한으로 제한할 수 있는가?
• RQ4 이면군에서 PGM의 최적성 결과가 다른 비아벨 군으로 확장되는가?
• RQ5 게르프란드 쌍의 구조는 숨겨진 공액 문제에서 PGM의 최적성과 어떻게 관련되는가?

주요 결과

• 숨겨진 부분군이 H의 공액에 대해 균일하게 분포되어 있을 때, 한 레지스터에서 숨겨진 공액 문제에 대해 흔들리지 않는 측정(PGM)이 최적이다.
• 임의의 군 G와 부분군 H에 대해, 균일한 사전 확률 하에서 단일 레지스터 케이스에서 PGM은 가능한 한 높은 성공 확률을 달성한다.
• G와 H가 게르프란드 쌍을 이룰 경우, PGM은 임의의 레지스터 수에서 여전히 최적이며, 베이컨, 찰즈, 반담의 이면군 결과를 일반화한다.
• PGM의 성공 확률은 |H|^k / |C(H)| × (표현에서 π^σ_g가 0이 아닌 데서의 플랑커렐 측도의 k제곱)로 상한이 제시된다.
• 상한 P_success ≤ |H|^k / |C(H)| × Planch(S_H)^k 는 날카롭고, 이는 이면군 및 아핀 군의 경우 알려진 결과를 복원한다.
• 이 결과는 아핀 군 A_p, 하이퍼옥타드랄 또는 포물선 부분군을 갖는 히젠베르크 군 부분군, 대칭군 등 여러 중요한 예시에 적용 가능하다.