[논문 리뷰] The Complexity of Quantum States and Transformations: From Quantum Money to Black Holes

Scott Aaronson|arXiv (Cornell University)|2016. 07. 18.

Quantum Computing Algorithms and Architecture인용 수 51

한 줄 요약

이 논문은 양자 상태 및 유니터리 변환 복잡도를 양자 컴퓨팅과 양자 중력의 근본 문제와 연결하는 종합적인 이론적 프레임워크를 제시한다. 양자 마ネ이 스킴, 블랙홀 정보 역설, QMA 및 BQP와 같은 계산 복잡도 클래스 간의 연결 고리를 확립하며, 특정 양자 상태를 준비하거나 적용하는 데 드는 어려움이 PSPACE가 PP/poly에 속하지 않는다는 복잡도 이론적 가정과 깊이 연관되어 있음을 보여준다.

ABSTRACT

These are lecture notes from a weeklong course in quantum complexity theory taught at the Bellairs Research Institute in Barbados, February 21-25, 2016. The focus is quantum circuit complexity---i.e., the minimum number of gates needed to prepare a given quantum state or apply a given unitary transformation---as a unifying theme tying together several topics of recent interest in the field. Those topics include the power of quantum proofs and advice states; how to construct quantum money schemes secure against counterfeiting; and the role of complexity in the black-hole information paradox and the AdS/CFT correspondence (through connections made by Harlow-Hayden, Susskind, and others). The course was taught to a mixed audience of theoretical computer scientists and quantum gravity / string theorists, and starts out with a crash course on quantum information and computation in general.

연구 동기 및 목표

• 특정 양자 상태를 준비하거나 유니터리 변환을 적용하는 데 드는 계산 복잡도를 체계적으로 분석하는 것.
• 양자 상태 복잡도를 공개 키 기반 양자 마네이 및 복제 보호 양자 소프트웨어와 같은 실용적 응용과 연결하는 것.
• 양자 회로 복잡도가 블랙홀 정보 역설과 파이어월 역설에 미치는 영향을 탐구하는 것.
• 역행성 및 양자 게이트 집합을 분류하고, 그 보편성 및 복잡도 성질을 이해하는 것.
• 상태 준비 및 유니터리 합성에 대한 복잡도 이론적 하한을 설정하며, 이를 고전적 복잡도 클래스와 연결하는 것.

제안 방법

• 양자 상태 및 유니터리 복잡도를 분석하기 위해 중심 사례 연구로 숨겨진 부분군 문제(HSP)를 사용한다.
• 유니버설 양자 게이트 집합을 근사하고 회로 합성을 분석하기 위해 소로바이-키타에브 정리를 적용한다.
• 블랙홀 정보 복호화가 계산적으로 어렵고 지수 시간이 걸린다는 점을 보여주기 위해 하르로우-헤이든 논거를 활용한다.
• QMA-완전 문제와의 연결 고리로 Q샘플링 및 양자 증거 상태 개념을 도입한다.
• 격자 이론과 페어리티 보존과 같은 불변량을 사용하여 역행성 고전적 게이트와 양자 게이트 집합의 분류를 개발한다.
• AdS/CFT 대응과 웜홀 복잡도를 활용하여 양자 회로 복잡도와 시공간 기하학 간의 관계를 탐구한다.

실험 결과

연구 질문

• RQ1 특정 양자 상태를 준비하는 데 드는 어려움이 PSPACE가 PP/poly에 속하지 않는다는 고전적 복잡도 가정과 연결될 수 있는가?
• RQ2 공개 키 기반 양자 마네이를 위조하는 문제는 계산 복잡도 이론에서 어려운 문제를 해결하는 것과 동치인가?
• RQ3 블랙홀의 파이어월 역설은 상태 복호화가 지수적 양자 회로 복잡도를 요구한다는 것을 보여줌으로써 해결될 수 있는가?
• RQ4 qubit에 작용하는 양자 게이트 집합의 완전한 클래스는 무엇이며, 그들의 보편성에 대해 이분법 정리(디하토미 정리)를 증명할 수 있는가?
• RQ5 양자 보조 큐비트가 포함될 경우, 역행성 게이트 집합의 분류에 어떤 영향을 미치는가?

주요 결과

• 하르로우-헤이든 논거는 블랙홀에서 정보를 복호화하는 것이 계산적으로 어렵고 지수 시간이 걸린다는 점을 시사하며, 이는 복잡도 이론적 가정 하에 파이어월 역설을 해결한다.
• 양자 상태 준비의 복잡도는 QMA 문제를 해결하는 것과 동치이며, 양자 샘플링 작업에서 자연스럽게 QMA-완전한 약속 문제들이 나타난다.
• 역행성 고전적 게이트의 분류가 확립되었으며, 양자 보조 큐비트가 허용될 경우 여섯 개의 클래스만 남는다. 이는 게이트 집합의 격자 구조를 단순화한다.
• 특정 불변량을 보존하는 양자 게이트 집합(예: mod k 페어리티 보존)이 비보편적임을 증명하고, 이로 인해 완전한 분류가 가능해진다.
• 유니터리 합성 문제를 공식화하였으며, 특정 가정 하에 유니터리를 기술서로부터 구성하는 것은 PSPACE 문제를 해결하는 것과 동일한 난이도를 가진다는 것을 보였다.
• AdS/CFT와 양자 회로 복잡도 간의 연결 고리를 공식화하였으며, 이는 상태의 복잡도가 부스러기 기하학에서 웜홀의 길이에 해당한다는 것을 시사한다.