[논문 리뷰] The Symmetric Group Defies Strong Fourier Sampling: Part II

Cristopher Moore, Alexander Russell|arXiv (Cornell University)|2005. 01. 13.

Quantum Computing Algorithms and Architecture참고 문헌 32인용 수 27

한 줄 요약

이 논문은 대칭군 $S_{2n}$에서의 숨겨진 부분군 문제(HSP)가 그래프 이sov레니즘을 해결하는 데 핵심적인 문제이지만, 한 개 또는 두 개의 레지스터를 사용하는 코셋 상태에 대해 다항수의 실험을 수행할 경우, 얽힌 측정을 허용하더라도 효율적으로 해결될 수 없다는 것을 보여준다. 핵심 결과는 측정 결과가 숨겨진 부분군의 쌍대류와 거의 독립적이므로, 표준 양자 푸리에 샘플링 기법이 이 문제에 대해 효과가 없음을 시사한다.

ABSTRACT

Part I of this paper showed that the hidden subgroup problem over the symmetric group--including the special case relevant to Graph Isomorphism--cannot be efficiently solved by strong Fourier sampling, even if one may perform an arbitrary POVM on the coset state. In this paper, we extend these results to entangled measurements. Specifically, we show that the hidden subgroup problem on the symmetric group cannot be solved by any POVM applied to pairs of coset states. In particular, these hidden subgroups cannot be determined by any polynomial number of one- or two-register experiments on coset states.

연구 동기 및 목표

• 기존에 알려진 효율적인 HSP 해법과 대칭군 HSP의 비가역성 사이의 격차를 메우기 위해.
• 강력한 푸리에 샘플링의 한계를 극복하기 위해 다중 코셋 상태에 대한 얽힌 측정이 가능한지 조사하기 위해.
• 즉, 두 레지스터에 얽힌 측정을 해도 $S_{2n}$에서의 숨겨진 부분군은 다항수의 실험으로는 탐지되지 않음을 보여주기 위해.
• 표준 양자 푸리에 변환 기법이 일반 측정 모델 하에서도 대칭군에 대해 실패함을 입증하기 위해.
• HSP를 $S_{2n}$에서 해결하기 위해 $\Omega(n\log n)$개의 코셋 상태가 필요할 수 있음을 제시하며, 이는 본질적인 복잡도 장벽을 시사한다.

제안 방법

• 고정점이 없는 치환으로 생성된 부분군 $H$에 대해 $G = S_{2n}$인 코셋 상태 $\rho_H = \frac{1}{|G|}\sum_{c\in G}|cH\rangle\langle cH|$를 분석한다.
• 임의의 얽힌 POVM에 대해 $\rho_{H^g} \otimes \rho_{H^g}$에서 측정 결과의 분포를 연구한다.
• 대칭군의 표현 이론을 활용하여 기약 표현과 그들의 텐서곱 분해에 중점을 둔다.
• 집중 경계와 확률적 분석을 적용하여 측정 결과의 확률 분포가 $g$의 쌍대류와 거의 독립적임을 보여주며, 이는 거의 균일한 분포임을 시사한다.
• $\ell_1$-거리에 의한 오차 경계를 활용하여 실제 측정 분포 $P_m$과 균일 분포 $U$를 비교하며, 높은 확률로 $\|P_m - U\|_1 = o(n^{-c})$임을 보인다.
• 벡터 $\mathbf{b} \otimes \mathbf{b}$가 낮은 차원의 표현으로 투영됨을 이용하여 쌍대류의 구별 가능성을 제한한다.

실험 결과

연구 질문

• RQ1 대칭군 $S_{2n}$의 두 코셋 상태에 대한 얽힌 측정은 숨겨진 부분군 $H$의 서로 다른 쌍대류를 구별할 수 있는가?
• RQ2 두 레지스터 코셋 상태에 대한 다항수의 실험을 기반으로 하는 다항시간 양자 알고리즘이 $S_{2n}$에서 HSP를 해결할 수 있는가?
• RQ3 $\rho_{H^g} \otimes \rho_{H^g}$에서의 측정 결과 분포는 쌍대류 $g$에 어떻게 의존하는가?
• RQ4 $H$가 고정점이 없는 치환으로 생성된 비정규 부분군일 경우, 코셋 상태에 대한 표준 양자 푸리에 변환으로 $S_{2n}$에서의 숨겨진 부분군 $H$를 탐지할 수 있는가?
• RQ5 어떤 측정 방식으로도 $S_{2n}$에서 HSP를 해결하기 위해 필요한 최소한의 코셋 상태 수는 얼마이며, 이는 $\Omega(n\log n)$로 증가하는가?

주요 결과

• 두 레지스터 코셋 상태 $\rho_{H^g} \otimes \rho_{H^g}$에서의 측정 결과 분포는 쌍대류 $g$와 거의 독립적이며, 높은 확률로 $\|P_m - U\|_1 < 8e^{-(\alpha/6)\sqrt{n}/\ln n}$이다.
• 한 개 또는 두 개의 레지스터 코셋 상태에 대한 다항수의 실험으로는 $S_{2n}$에서의 숨겨진 부분군 $H$를 비율적으로 높은 확률로 결정할 수 없다.
• 측정 결과의 확률 분포는 기약 표현에 특정한 조건부를 적용하더라도 거의 균일하다.
• 분석 결과, '나쁜' 또는 '낮은 확률' 집합의 기저 벡터를 관측할 확률는 지수적으로 작으며, 이는 유용한 구별 가능성의 부재를 시사한다.
• 결과는 강력한 푸리에 샘플링을 넘어서 두 레지스터에 대한 어떤 얽힌 측정 전략이라도 적용 가능하며, 대칭군 HSP에 대한 이해에서 주요 격차를 메운다.
• 논문은 $\Omega(n\log n)$개의 코셋 상태가 $S_{2n}$에서 HSP를 해결하기 위해 필요할 것이라 추측하며, 이는 본질적인 복잡도 장벽을 시사한다.