[논문 리뷰] Interactive proofs for BQP via self-tested graph states

Matthew McKague|QUT ePrints (Queensland University of Technology)|2013. 09. 23.

Quantum Computing Algorithms and Architecture참고 문헌 25인용 수 38

한 줄 요약

이 논문은 단일 측정만 수행하는 다수의 상호작용하지 않는 양자 증거자와 고전적 검증자를 사용하여 BQP에 속하는 모든 언어를 위한 상호작용 증명 체계를 제안한다. 자기검증 그래프 상태와 측정 기반 양자 계산을 활용함으로써, 그래프 크기에 따라 유리하게 스케일링되는 안정적인 오차 한계를 갖는 다항시간 검증을 달성하며, 이는 이전의 지수적 오차 의존성에 비해 상당한 향상이다.

ABSTRACT

Using the measurement-based quantum computation model, we construct interactive proofs with non-communicating quantum provers and a classical verifier. Our construction gives interactive proofs for all languages in BQP with a polynomial number of quantum provers, each of which, in the honest case, performs only a single measurement. Our techniques use self-tested graph states. In this regard we introduce two important improvements over previous work. Specifically, we derive new error bounds which scale polynomially with the size of the graph compared with exponential dependence on the size of the graph in previous work. We also extend the self-testing error bounds on measurements to a very general set which includes the adaptive measurements used for measurement-based quantum computation as a special case.

연구 동기 및 목표

• 고전적 검증자와 다항 수의 양자 증거자(각각 단일 측정만 수행 가능)를 사용하여 BQP의 모든 언어를 위한 상호작용 증명 체계를 구축하는 것.
• 완전한 양자 능력을 갖추지 않은 고전적 당사자가 양자 계산을 검증할 수 있도록 하는 것.
• 이전의 자기검증 프로토콜을 향상시켜 그래프 크기에 대한 지수적 의존성 대신 다항 오차 스케일링을 달성하는 것.
• 측정 기반 양자 계산에서 사용되는 적응형 측정에 대해 자기검증을 확장하는 것.
• 고전적 검증자가 단순한 고정 기저 측정과 고전적 계산만을 사용하여 보편적인 양자 계산을 검증할 수 있음을 보여주는 것.

제안 방법

• 프로토콜은 측정 기반 양자 계산을 사용하며, 보편적 자원 상태(삼각형 클러스터 상태)가 준비되고 적응적으로 측정되어 보편적인 양자 계산을 수행한다.
• 자기검증은 증거자들이 올바른 그래프 상태를 공유하고 요구된 대로 측정을 수행하고 있음을 검증하기 위해 벨 유형 부등식과 비국소 게임을 사용한다.
• 오차 한계는 이전의 지수적 의존성에 비해 개선된, 그래프 크기와 다항적으로 스케일링하는 새로운 분석을 통해 유도된다.
• 검증자는 회로 입력을 사용하여 측정 기저와 각도를 결정하며, 결과를 검증하기 위해 고전적 XOR 연산만 수행한다.
• 구성은 악의적인 증거자에게도 강건하며, 자기검증을 통해 이격을 탐지함으로써 검증자가 무한한 자원을 가진 경우에도 타당성이 유지된다.
• 프로토콜은 응용의 강화를 위해 병렬 또는 순차적 반복을 허용하며, 총 반복 수에 관계없이 각 증거자는 단 한 번의 측정만 수행한다.

실험 결과

연구 질문

• RQ1 고전적 검증자가 다수의 양자 증거자(각각 단일 측정만 수행 가능)와 상호작용함으로써 BQP 계산을 검증할 수 있는가?
• RQ2 측정 기반 양자 계산에서 사용되는 적응형 측정을 다룰 수 있도록 자기검증 기법을 확장할 수 있는가?
• RQ3 자기검증의 오차 한계를 그래프 상태 크기에 대한 지수적 의존성에서 다항 의존성으로 향상시킬 수 있는가?
• RQ4 단순한 고정 기저 측정과 고전적 검증만을 사용하여 BQP 검증 프로토콜을 구성할 수 있는가?
• RQ5 악의적인 증거자에 대해 강건하면서도 다항시간 검증을 유지할 수 있는가?

주요 결과

• 프로토콜은 고전적 검증자와 다항 수의 양자 증거자(각각 단일 측정만 수행)를 사용하여 BQP의 모든 언어에 대해 타당성을 달성한다.
• 오차 한계는 그래프 상태 크기와 다항적으로 스케일링되며, 이는 이전 연구에서 관찰된 그래프 크기에 대한 지수적 의존성에 비해 상당한 향상이다.
• 자기검증 프레임워크는 측정 기반 양자 계산에 필수적인 적응형 측정을 포함하도록 확장되었다.
• 구성은 강건하며 이중 증거자 환경으로도 적용 가능하지만, 홀수 사이클을 가진 비이분할 그래프 상태의 자기검증은 여전히 도전 과제이다.
• 검증자의 고전적 연산은 최소한으로 유지되며, 회로 입력을 읽고 XOR 연산을 수행하는 것에 국한된다. 반면 증거자들은 고정 기저 측정만 필요로 한다.
• 프로토콜은 단일 증거자가 전체 계산을 시뮬레이션할 수 없음을 보여주며, 이는 검증이 검증자와 다수의 증거자 간의 복합 상호작용이 필요함을 보장한다.