[논문 리뷰] Distinguishing Short Quantum Computations

Bill Rosgen|arXiv (Cornell University)|2007. 12. 16.

Quantum Computing Algorithms and Architecture참고 문헌 11인용 수 6

한 줄 요약

이 논문은 혼합 상태에서 로그 깊이의 양자 회로를 구별하는 것이 QIP-완전하다는 것을 보여주며, 이는 양자 상호작용 증명 시스템에서 가장 어려운 문제들과 동등하다는 것을 의미한다. 병렬화 기법과 민감도 기반 분석을 사용하여, 저자들은 짧은 양자 회로가 다항식 깊이의 회로와 동일한 계산 능력을 유지함을 입증한다. 이는 노이즈가 있는 양자 구현을 검증하는 데 의미 있는 영향을 미친다.

ABSTRACT

Distinguishing logarithmic depth quantum circuits on mixed states is shown to be complete for $QIP$, the class of problems having quantum interactive proof systems. Circuits in this model can represent arbitrary quantum processes, and thus this result has implications for the verification of implementations of quantum algorithms. The distinguishability problem is also complete for $QIP$ on constant depth circuits containing the unbounded fan-out gate. These results are shown by reducing a $QIP$-complete problem to a logarithmic depth version of itself using a parallelization technique.

연구 동기 및 목표

• 로그 깊이의 양자 회로를 구별하는 데 있어 계산 복잡도를 조사하는 것.
• 짧은 양자 회로가 다항식 깊이의 회로와 동일한 표현 능력을 유지하는지, 특히 가시성 측면에서 유지하는지 확인하는 것.
• QIP 복잡도 클래스 내에서 회로 구별 문제에 대한 완전성 결과를 수립하는 것.
• 혼합 상태 회로와 무한 팬아웃 게이트가 QIP-완전성 유지에 미치는 영향을 탐색하는 것.

제안 방법

• 병렬화 기법을 사용하여 QIP-완전 문제(근접 이미지 문제)를 로그 깊이 버전으로 감소시킴.
• 구별 가능성의 상한을 구하기 위해 민감도와 트레이스 노름 측정법을 사용함.
• 우르만의 정리와 푸흐스-반 데 그라프 부등식을 활용하여 민감도와 트레이스 거리 간의 관계를 유도함.
• 텐서 곱에 대한 최대 출력 민감도의 곱셈 성질을 적용하여 구조를 확장함.
• 무어-니슨 방법을 사용해 제어 회로를 구성함으로써 로그 깊이를 유지함.
• 무한 팬아웃 게이트를 사용한 스왑 테스트를 도입하여 일정 깊이의 제어 연산을 구현함.

실험 결과

연구 질문

• RQ1 로그 깊이의 양자 회로를 구별하는 문제는 QIP-완전한가?
• RQ2 혼합 상태나 무한 팬아웃 게이트의 존재가 회로 구별 문제의 복잡도에 영향을 미치는가?
• RQ3 다항식 깊이의 양자 회로 문제를 계산 능력 손실 없이 동일한 로그 깊이의 버전으로 감소시킬 수 있는가?
• RQ4 짧은 양자 회로의 구별 가능성은 양자 상호작용 증명 시스템과 어떻게 관련이 있는가?
• RQ5 회로 깊이가 양자 알고리즘 검증에 어떤 영향을 미치는가?

주요 결과

• 혼합 상태에서 로그 깊이의 양자 회로를 구별하는 것은 QIP-완전하다.
• 근접 이미지 문제는 로그 깊이 회로로 제한된 경우에도 여전히 QIP-완전하다.
• QIP ⊆ EXP 및 PSPACE ⊆ QIP 포함 관계에 따라 문제는 PSPACE-난이도를 가진다.
• 무한 팬아웃 게이트가 존재할 경우, 일정 깊이의 회로 역시 구별 문제에서 QIP-완전하다.
• 팬아웃 게이트를 통해 제어 연산을 로그 깊이 또는 일정 깊이로 실행 가능하게 함으로써 깊이를 유지하는 감소 기법이 성립한다.
• 임의의 상수 구별 임계값 b < 1 (CI1,b에 대해) 또는 b < 2 (QCD2,b에 대해)에 대해 결과가 성립한다.