[논문 리뷰] Computation with Unitaries and One Pure Qubit

Dan Shepherd|ArXiv.org|2006. 08. 17.

Quantum Computing Algorithms and Architecture참고 문헌 4인용 수 16

한 줄 요약

이 논문은 순수 큐비트 하나와 극도로 혼합된 상태에 대한 유니터리 연산을 사용하는 양자 계산에 의해 정의되는 복잡도 계열 DQC1을 도입하고 분석한다. 추적 추정이 DQC1에 대해 완전함을 증명하고, 닫힘 성질을 설정하며, 상대화를 통해 DQC1가 BQP보다 엄격히 약하지만 BPP보다 강력할 수 있음을 보여주는 증거를 제시함으로써, 이 복잡도 계열의 계산 능력에 대한 추측을 뒷받침한다.

ABSTRACT

We define a semantic complexity class based on the model of quantum computing with just one pure qubit (as introduced by Knill and Laflamme) and discuss its computational power in terms of the problem of estimating the trace of a large unitary matrix. We show that this problem is complete for the complexity class, and derive some further fundamental features of the class. We conclude with a discussion of some associated open conjectures and new oracle separations between classes.

연구 동기 및 목표

• 하나의 순수 큐비트와 극도로 혼합된 상태에서의 유니터리 연산을 사용하는 양자 회로의 계산 능력을 캡처하는 형식적 복잡도 계열 DQC1을 정의하는 것.
• 큰 유니터리 행렬의 추적을 추정하는 문제를 정점 문제로 식별함으로써 DQC1의 계산 능력을 조사하는 것.
• 상대화 기법을 사용하여 DQC1과 P, BPP, BQP 등의 고전적 복잡도 계열 간의 관계를 탐색하는 것.
• DQC1의 한계와 고전적으로 어려운 문제를 지수적으로 더 빠르게 해결할 수 있는 잠재력에 대한 추측에 대한 증거를 제공하는 것.

제안 방법

• 일반적으로 하나의 순수 큐비트와 나머지가 최대한 혼합된 상태에서 시작하는 밀도 행렬을 사용하여 DQC1 모델을 정의하고, 유니터리 공액을 통한 진화를 기술한다.
• 최종 상태를 계수 β를 포함하는 혼합 상태로 표현하며, 이는 계산 결과를 코딩하고 첫 번째 큐비트의 측정을 통해 추정된다.
• 유니터리 행렬의 추적을 중심 계산 문제로 삼고, β 추정이 Tr(U)/2^w 추정과 동치임을 보여준다.
• 고전적 오라클을 유니터리 순열 행렬로 매립하여 DQC1 회로에 통합함으로써 상대화 기법을 적용하여 계산 능력을 비교한다.
• 오라클 변형 간의 추적 차이에 대한 귀납적 경계를 적용하여 BQ1P가 P가 구별할 수 있는 일부 오라클을 구별하지 못함을 보여준다.
• 추적 추정 오차에 대한 정량적 경계를 유도하여 BQ1P가 다항 시간 내에 추적 차이의 지수적 분리를 달성할 수 없음을 보여준다.

실험 결과

연구 질문

• RQ1 큰 유니터리 행렬의 추적을 추정하는 문제는 DQC1 복잡도 계열에 대해 완전한가?
• RQ2 DQC1는 특정 오라클 쌍을 구별하는 것과 같은 고전적 다항 시간 알고리즘으로는 해결이 어려운 문제를 해결할 수 있는가?
• RQ3 DQC1는 BPP보다 엄격히 더 많은 계산 능력을 지닌가, 아니면 그것에 포함되는가?
• RQ4 DQC1와 BQP 간의 관계는 무엇이며, 상대화된 분리가 이를 뒷받침할 수 있는가?
• RQ5 DQC1 회로의 구조를 활용하여 특정 감소나 닫힘 성질에 대한 닫힘을 증명할 수 있는가?

주요 결과

• 큰 유니터리 행렬의 추적을 추정하는 문제는 DQC1 복잡도 계열에 대해 완전하다.
• DQC1 회로는 β = Tr(UZ₁U†Z₁)/2^w를 추정할 수 있으며, 이는 첫 번째 큐비트에서 '0'을 측정할 확률에 해당한다.
• DQC1는 특정 유형의 감소에 대해 닫혀 있으며, 이는 구조적 강건성을 나타낸다.
• 상대화를 통해 오라클 O가 존재하여 P^O가 BQ1P^O에 포함되지 않음을 보여주며, DQC1가 BQP보다 엄격히 약하다는 것을 시사한다.
• 랜덤 순열 오라클 U에 대해 BQ1P는 추적 추정을 통해 U의 성질을 구별할 수 있지만, 고전적 BPP는 지수적으로 많은 쿼리를 필요로 하므로, 거의 모든 이러한 오라클에 대해 BQ1P^O가 BPP^O에 포함되지 않음을 의미한다.
• 두 관련된 유니터리 단어 간의 추적 차이는 다항 시간 내에 O(poly(w))를 초과할 수 없으며, 이는 추적 추정에서의 지수적 분리를 방지한다.