[논문 리뷰] Tight Results on Multiregister Fourier Sampling: Quantum Measurements for Graph Isomorphism Require Entanglement

Cristopher Moore, Alexander Russell|ArXiv.org|2005. 11. 15.

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

한 줄 요약

이 논문은 그래프 동형성에 대한 효율적인 양자 알고리즘은 대칭군 S_n의 최소 Ω(n log n) 코셋 상태에 대해 얽힌 측정이 필요하다는 것을 입증한다. 이는 은닉 부분군 상태의 텐서 곱에 대한 얽힌 측정에서 정보를 추출하는 데 필요한 하한을 구하는 일반적인 방법을 사용한다. 결과적으로 개별적이거나 얽히지 않은 측정은 충분한 정보를 추출할 수 없으며, 그래프 동형성과 관련된 대칭군의 경우 이 하한은 상수 인자 범위 내에서 날카롭게 유지된다.

ABSTRACT

We establish a general method for proving bounds on the information that can be extracted via arbitrary entangled measurements on tensor products of hidden subgroup coset states. When applied to the symmetric group, the method yields an Omega(n log n) lower bound on the number of coset states over which we must perform an entangled measurement in order to obtain non-negligible information about a hidden involution. These results are tight to within a multiplicative constant and apply, in particular, to the case relevant for the Graph Isomorphism problem. Part of our proof was obtained after learning from Hallgren, Roetteler, and Sen that they had obtained similar results.

연구 동기 및 목표

• 은닉 부분군 S_n에서의 비음성 정보를 추출하기 위해 필요한 최소 코셋 상태 수를 규명하는 것.
• 비아벨 군의 은닉 부분군 문제에서 정보 이론적 가능성과 계산 가능성 사이의 격차를 메우는 것.
• 그래프 동형성 문제를 효율적으로 해결하기 위해 코셋 상태에 대해 개별적 또는 얽히지 않은 측정이 부족하다는 것을 증명하는 것.
• 코셋 상태의 텐서 곱에 대한 임의의 얽힌 측정을 통한 정보 획득에 대한 하한을 설정하는 일반적인 방법을 수립하는 것.
• 그래프 동형성과 관련된 대칭군의 경우, 어떤 얽힌 측정이라도 유용한 정보를 얻기 위해 최소 Ω(n log n) 레지스터가 필요하다는 것을 보여주는 것.

제안 방법

• 은닉 부분군 코셋 상태의 텐서 곱에 대한 임의의 얽힌 측정을 통한 정보 추출 가능성을 제한하는 일반적 프레임워크를 개발하는 것.
• 이 방법을 대칭군 S_n에 적용하여, 와이어드 프로덕트 K = S_n ≀ ℤ₂를 통해 그래프 동형성과 관련된 경우를 집중적으로 분석하는 것.
• 플랑커렐 측도와 기약 표현을 포함한 표현 이론을 사용하여 코셋 상태의 구조를 특성화하는 것.
• d_ρ < n^{n/5}인 경우에 유도된 표현 Λ를 '나쁜' 표현으로 정의하고, 확률론적 및 농도 분석을 통해 기여도를 제한하는 것.
• 측정 결과 분포와 균일 분포 사이의 총 변동 거리(총 변동 거리)를 사용하여 정보 획득을 정량화하는 것.
• 마르코프 부등식과 尾부 확률 한계를 사용하여, k = Ω(n log n)이 아닐 경우 측정 결과 분포가 균일에 매우 가까워짐을 보이는 것.

실험 결과

연구 질문

• RQ1 은닉 친화적 원소를 가진 대칭군 S_n에서 비음성 정보를 추출하기 위해 필요한 최소 코셋 상태 수는 얼마인가?
• RQ2 코셋 상태에 대해 개별적 또는 얽히지 않은 측정이 은닉 부분군 프레임워크에서 그래프 동형성 문제를 해결하는 데 충분한가?
• RQ3 대칭군의 경우, 얽힌 측정에 필요한 레지스터 수에 대한 정보 이론적 하한이 날카로운가?
• RQ4 고차원 표현에 대한 플랑커렐 측도는 은닉 부분군 문제 해결 가능성에 어떤 영향을 미치는가?
• RQ5 이 방법은 플랑커렐 측도의 대부분이 고차원 표현에 집중된 다른 군으로 일반화될 수 있는가?

주요 결과

• 논문은 은닉 친화적 원소에 대해 비음성 정보를 추출하기 위해 필요한 코셋 상태 수에 대해 Ω(n log n)의 하한을 증명한다.
• 이 하한은 상수 인자 범위 내에서 날카롭게 유지되며, 이는 Ω(n log n) 레지스터 이하로는 어떤 얽힌 측정도 의미 있는 정보를 제공할 수 없음을 의미한다.
• C < 1/10 이며 k < C n log₂ n 인 경우, 측정 결과 분포와 균일 분포 사이의 기대 총 변동 거리는 n^{-Ω(n)}이 되며, 이는 정보 획득이 무시할 만큼 미미하다는 것을 의미한다.
• 분석 결과, 코셋 상태에 대해 개별적 또는 얽히지 않은 측정은 정보를 충분히 추출하지 못하므로 그래프 동형성 문제를 효율적으로 해결할 수 없다.
• 이 방법은 플랑커렐 측도의 대부분이 고차원 표현에 집중된 군에 대해 일반적으로 적용 가능하며, 이러한 군의 경우 얽힌 측정을 위해 최소 Θ(n log n) 코셋 상태가 필요하다.
• 결과적으로, 그래프 동형성에 대한 어떤 효율적인 양자 알고리즘이라도 최소 Ω(n log n) 개의 코셋 상태에 대해 얽힌 측정을 사용해야 한다는 것을 시사한다.