[논문 리뷰] Limitations of Quantum Coset States for Graph Isomorphism

Sean Hallgren, Martin Roetteler외 1명|arXiv (Cornell University)|2005. 11. 15.

Quantum Computing Algorithms and Architecture참고 문헌 14인용 수 5

한 줄 요약

이 논문은 그래프 이sov머피즘에 기반한 양자 알고리즘에서 코셋 상태를 사용할 경우, 유용한 정보를 추출하기 위해 적어도 Ω(n log n) 개의 상태에 걸쳐 매우 얽힌 측정이 필요하다는 것을 보여주며, 이러한 측정을 실제로 구현하는 데 있어 극도로 어려운 과제가 되기 때문에 이러한 접근 방식은 실용적이지 않다. 이 결과는 GL(n, F_{p^m}) 및 G^n 등의 비아벨 군에 대해서도 특정 조건 하에 확장되며, 단일 또는 소수의 상태에 대한 측정은 숨겨진 부분군에 대해 지수적으로 적은 정보를 제공한다는 것을 보여준다.

ABSTRACT

It has been known for some time that graph isomorphism reduces to the hidden subgroup problem (HSP). What is more, most exponential speedups in quantum computation are obtained by solving instances of the HSP. A common feature of the resulting algorithms is the use of quantum coset states, which encode the hidden subgroup. An open question has been how hard it is to use these states to solve graph isomorphism. It was recently shown by Moore, Russell, and Schulman that only an exponentially small amount of information is available from one, or a pair of coset states. A potential source of power to exploit are entangled quantum measurements that act jointly on many states at once. We show that entangled quantum measurements on at least Ω(n log n) coset states are necessary to get useful information for the case of graph isomorphism, matching an information theoretic upper bound. This may be viewed as a negative result because highly entangled measurements seem hard to implement in general. Our main theorem is very general and also rules out using joint measurements on few coset states for some other groups, such as GL(n, F_{p^m}) and G^n where G is finite and satisfies a suitable property.

연구 동기 및 목표

• 그래프 이sov머피즘 문제에서 숨겨진 부분군에 대해 다항식적으로 유용한 정보를 추출하기 위해 필요한 최소한의 코셋 상태 수를 얻기 위한 얽힌 측정의 수를 결정하는 것.
• 대칭군 및 관련 군에 대해 비아벨 숨겨진 부분군 문제(HSP)를 해결하는 데 있어 양자 코셋 상태의 한계를 분석하는 것.
• 공동 측정 기반의 효율적인 양자 알고리즘을 위해 필요한 코셋 상태 수에 대한 정보 이론적 하한을 설정하는 것.
• 특정 구조적 조건 하에 GL(n, F_{p^m}) 및 G^n 등의 다른 비아벨 군으로 이러한 결과를 일반화하는 것.
• 기존의 단일 또는 소수의 코셋 상태에 의존하는 접근 방식이 코셋 상태 방법을 통해 그래프 이sov머피즘을 효율적으로 해결하는 데 부적합하다는 것을 보여주는 것.

제안 방법

• 저자들은 k개의 코셋 상태에 작용하는 POVM이 유도하는 분포 간의 총 변동 거리(total variation distance)를 분석하여, 숨겨진 부분군에 대해 얼마나 많은 정보를 추출할 수 있는지 분석한다.
• 유한군의 표현 이론과 특성 이론을 사용하여, 서로 다른 후보 부분군에 해당하는 혼합 상태 간의 추적 거리(trace distance)에 대한 경계를 유도한다.
• 분석은 특히 숨겨진 부분군이 치환의 생성자인 대각 부분군 또는 자명한 부분군인 경우를 중심으로 대칭군 S_m 및 그 곱 (S_m)^n 에 집중한다.
• 주요 부등식은 스펙트럴 노름과 특성 합을 사용하여 유도되며, 특히 기약 표현과 그 특성에 관여한다.
• 증명는 군 원소의 구별 가능성 정도를 측정하는 매개변수 ε = 1 - 2|C(h)|/|G| 를 사용하여 상태 간의 겹침 감쇠를 경계하는 데 의존한다.
• 저자들은 코시-슈바르츠 부등식을 적용하고 기약 표현의 구조를 활용하여, k가 Ω(n log n)이 아닐 경우 추적 거리가 지수적으로 감소함을 유도한다.

실험 결과

연구 질문

• RQ1 그래프 이sov머피즘 문제에서 숨겨진 부분군에 대해 다항식적으로 유용한 정보를 추출하기 위해 얽힌 측정을 위해 필요한 최소한의 코셋 상태 수는 얼마인가?
• RQ2 단일 또는 소수의 코셋 상태만을 사용하는 것으로 그래프 이sov머피즘에 대한 효율적인 양자 알고리즘을 구축할 수 있는가, 아니면 많은 상태에 걸쳐 매우 얽힌 측정이 필수적인가?
• RQ3 특히 그룹 G의 기약 표현과 특성 값에 의해 코셋 상태의 구별 가능성은 어떻게 영향을 받는가?
• RQ4 어떤 비아벨 군의 가족에 대해, HSP를 효율적으로 해결하기 위해 Ω(n) 개의 코셋 상태에 걸친 얽힌 측정이 반드시 필요하다는 것이 엄밀히 증명되는가?
• RQ5 기존의 코셋 상태 기반 양자 알고리즘은 한 번에 하나 또는 소수의 코셋 상태만 측정할 경우 정보가 지수적으로 감소하므로, 어느 정도 실패하게 되는가?

주요 결과

• 그래프 이sov머피즘 문제에서는, 코셋 상태 기반의 효율적인 양자 알고리즘이 유용한 정보를 추출하기 위해 적어도 Ω(n log n) 개의 레지스터에 걸쳐 얽힌 측정을 사용해야 한다.
• 필요한 코셋 상태 수에 대한 정보 이론적 상한 O(log |G|) 는 하한과 일치하며, 이는 Ω(n log n) 이 이 맥락에서 최적임을 보여준다.
• m ≥ 5 이고 h 가 치환인 경우, (S_m)^n 군에서 대각 부분군 ⟨(h,…,h)⟩ 과 자명한 부분군을 구별하기 위해 Ω(n) 개의 레지스터에 걸친 얽힌 측정이 필요하다.
• |G|^{1/2} > |Ĝ|^{1/2} ∑_{σ∈Λ} d_σ² 를 만족하는 유한군 G 와 치환 h 가 존재할 경우, 여기서 Λ 는 |χ_σ(h)| = d_σ 인 기약 표현들을 모은 집합이라면, Ω(n) 개의 얽힌 측정이 필요하다.
• 이 결과는 GL(n, F_{p^m}) 및 G^n 등의 군에 대해서도 적절한 조건 하에 일반화되며, 이러한 얽힘 요구 조건이 그래프 이sov머피즘에 국한되지 않음을 보여준다.
• 논문은 단일 또는 소수의 코셋 상태 측정이 오직 지수적으로 작은 정보 획득만 가능하다는 것을 확인하며, 이러한 경우에 효율적인 HSP 해법을 구현하는 데는 부적합하다.