[논문 리뷰] Identity check is QMA-complete

Dominik Janzing, Paweł Wocjan외 1명|arXiv (Cornell University)|2003. 05. 09.

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

한 줄 요약

이 논문은 양자 회로가 항등 연산과 거의 동일한지 여부를 판단하는 양자 문제—'항등성 검증'—이 QMA-완전하다는 것을 증명한다. 또한 공통의 불변 부분공간에 제한된 두 양자 회로 간의 동치성 검증이라는 더 일반적인 문제 역시 QMA-완전하다고 규명한다. 양자 증거 상태를 사용한 양자 검증과 연산자 노름 분석을 통해 QMA 복잡도 계열 내에서의 완전성은 입증된다.

ABSTRACT

We define the problem identity check: Given a classical description of a quantum circuit, determine whether it is almost equivalent to the identity. Explicitly, the task is to decide whether the corresponding unitary is close to a complex multiple of the identity matrix with respect to the operator norm. We show that this problem is QMA-complete. A generalization of this problem is equivalence check: Given two descriptions of quantum circuits and a description of a common invariant subspace, decide whether the restrictions of the circuits to this subspace almost coincide. We show that equivalence check is also in QMA and hence QMA-complete.

연구 동기 및 목표

• 양자 회로가 항등 연산과 거의 동일한지 여부를 판단하는 '항등성 검증' 문제를 정의하고 형식화하기.
• 이를 일반화하여, 특정 불변 부분공간에서 두 양자 회로가 일치하는지를 확인하는 '동치성 검증' 문제를 정의하기.
• 항등성 검증과 동치성 검증이 모두 QMA 복잡도 계열에 대해 완전하다는 것을 입증하기.
• 불변 부분공간이 양자 오류 수정 코드나 분산 방지 부분공간에 의해 정의될 경우에도 문제가 여전히 QMA-완전하다는 것을 보여주기.
• 높은 확률로 회로 동치성을 확인할 수 있도록 양자 증거 상태를 사용한 양자 검증 프로토콜을 제공하기.

제안 방법

• 양자 회로의 유니터리 연산자가 항등 행렬의 전역 위상과 연산자 노름 거리 μ 이내에 있는지 여부를 판단하는 항등성 검증 문제를 정의하기.
• 동치성 검증으로 일반화: 두 회로 Ux와 Uy가 공통의 불변 부분공간 V에 제한되었을 때 근사적으로 동일한지 확인하기.
• 양자 검증 회로를 사용하여, Ux†Uy의 조합이 전역 위상에 가까운지 여부를 검증하기 위해 양자 증거 상태를 수용하는 프로토콜 수립.
• 고유값 차이를 이용하여 유니터리와 전역 위상 변환의 집합 사이의 거리를 연산자 노름 분석을 통해 유계화하기.
• 시스템 상태를 인코딩한 증거 상태 |Ψ⟩를 구성하고, 이 상태를 사용하여 회로 조합이 항등성에서 크게 벗어나지 않는지 테스트하기.
• 오류 확률 ϵ을 임의로 작은 값으로 줄이기 위해 증폭 기법을 활용하여 QMA 프레임워크 내에서 타당성과 완전성을 확보하기.

실험 결과

연구 질문

• RQ1 양자 회로가 항등 연산과 거의 동일한지 여부를 판단하는 문제는 QMA-완전한가?
• RQ2 공통의 불변 부분공간에 제한된 두 양자 회로의 동치성은 QMA 복잡도 계열 내에서 결정 가능한가?
• RQ3 높은 신뢰도로 회로 동치성을 검증하기 위해 양자 증거 상태가 수행하는 역할은 무엇인가?
• RQ4 유니터리와 전역 위상 변환 집합 사이의 연산자 노름 거리는 어떻게 회로 항등성 검증과 관련이 있는가?
• RQ5 항등성 검증의 QMA-완전성은 부분공간을 포함하는 더 일반적인 동치성 문제로 확장될 수 있는가?

주요 결과

• 항등성 검증 문제는 QMA-완전하다. 즉, QMA 복잡도 계열에서 가장 어려운 문제들 중 하나이다.
• 공통의 불변 부분공간에서 두 회로가 일치하는지를 판단하는 동치성 검증 문제 역시 QMA-완전하다.
• 높은 확률로 회로 동치성을 검증할 수 있도록 양자 검증자가 양자 증거 상태를 사용하는 방식으로 완전성이 입증된다.
• 유니터리와 전역 위상 변환 집합 사이의 연산자 노름 거리는 고유위상 차이로 유계화되며, 이는 노름 기반 검증을 가능하게 한다.
• 검증 프로토콜의 오류 확률 ϵ은 증폭을 통해 임의로 작은 값으로 줄일 수 있어 QMA 검증의 강건성을 보장한다.
• 불변 부분공간이 양자 오류 수정 코드나 분산 방지 부분공간에 의해 정의될 경우에도 결과가 유지되어 광범위한 적용 가능성을 입증한다.