[논문 리뷰] Quantum computation: Honesty test

Tomoyuki Morimae|arXiv (Cornell University)|2013. 11. 01.

Quantum Information and Cryptography참고 문헌 5인용 수 2

한 줄 요약

이 논문은 양자 컴퓨터를 보유하지 않은 클라이언트(앨리스)가 양자 컴퓨팅을 수행하는 신뢰할 수 있는 당사자(밥)에게 위임된 양자 계산의 정확성을 검증할 수 있는 검증 프로토콜을 제안한다. 광학 큐비트를 사용하여, 앨리스는 양자 자원 없이도 양자 얽힘과 측정 기반 검증 기법을 활용해, 밥의 계산이 높은 신뢰도로 올바르게 수행되었음을 확인할 수 있다.

ABSTRACT

Alice does not have a quantum computer so she delegates a computation to Bob, who does own one. But how can Alice check whether the computation that Bob performs for her is correct? An experiment with photonic qubits demonstrates such a verification protocol.

연구 동기 및 목표

• 클라이언트가 양자 기술을 보유하지 않은 채로 신뢰할 수 있는 당사자가 수행한 양자 계산을 검증하는 데 도전하는 문제를 해결하기 위해.
• 광학 큐비트를 활용한 구현에 적합한 실용적인 검증 프로토콜을 개발하기 위해.
• 기본 클라이언트가 양자 통신 외에 단순한 고전적 통신과 측정만을 사용하여도 양자 계산의 정확성을 높은 신뢰도로 검증할 수 있도록 하기 위해.

제안 방법

• 프로토콜은 얽힌 광학 큐비트를 사용하여, 클라이언트가 단일 큐비트 상태를 준비하고 서버에 전송하는 검증 프레임워크를 구축한다.
• 서버는 수신한 상태들에 대해 양자 계산을 수행하고 측정 결과를 반환한다.
• 클라이언트는 측정 통계의 일관성과 기대되는 양자 상관관계를 비교하여 정확성을 검증한다.
• 프로토콜은 양자 얽힘의 성질과 측정의 비국소성을 기반으로 사기 행위를 탐지한다.
• 측정 기반 양자 계산을 사용하여 검증 작업을 단일 큐비트 측정으로 검증할 수 있는 자원 상태로 인코딩한다.
• 불량 서버가 정확한 계산을 수행하지 않더라도 검증에 통과할 수 없도록 하기 위해, 프로토콜은 고전적으로 해결하기 어려운 조건을 만족시켜 안정성을 확보한다.

실험 결과

연구 질문

• RQ1 기본 클라이언트가 양자 컴퓨터를 보유하지 않은 채로, 양자 컴퓨터를 갖춘 서버가 수행한 양자 계산의 정확성을 검증할 수 있는가?
• RQ2 클라이언트가 양자 계산 능력을 갖추지 않더라도 검증을 어떻게 달성할 수 있는가?
• RQ3 광학 큐비트는 확장 가능하고 실험적으로 실현 가능한 검증 프로토콜을 어떻게 가능하게 하는가?
• RQ4 기본적인 상호작용과 측정만을 사용하여 양자 계산을 검증할 때 달성할 수 있는 신뢰도 수준은 어느 정도인가?

주요 결과

• 프로토콜은 고전적 통신과 단일 큐비트 측정만을 사용하여도 양자 계산을 성공적으로 검증한다.
• 광학 큐비트를 활용한 실험적 구현은 실제 환경에서 검증 프로토콜의 실현 가능성을 확인한다.
• 프로토콜은 높은 안정성을 확보하여, 불량 서버가 정확한 계산을 수행하지 않더라도 검증에 통과할 확률이 극히 낮다.
• 얽힌 상태의 비국소적 상관관계 덕분에 일부 사기 전략에 대해 검증 과정이 강건하다.
• 양자 하드웨어 없이도 위임된 양자 계산의 결과를 신뢰할 수 있음을 결과가 입증한다.
• 프로토콜은 근래의 양자 기술 환경에서 양자 계산의 검증을 위한 실용적인 프레임워크를 제공한다.