[논문 리뷰] Efficient classical verification of quantum computations

Richard Jozsa, Sergii Strelchuk|arXiv (Cornell University)|2017. 05. 08.

Quantum Computing Algorithms and Architecture참고 문헌 10인용 수 3

한 줄 요약

이 논문은 고복잡도 영역에서 양자 계산을 위한 고전적으로 효율적인 검증 프로토콜을 제안한다. 이는 적응형과 비적응형 클리포드 회로 간의 차이를 활용한다. 검증자는 완전히 고전적인 방식으로, 적응을 하지 않는 방식으로 원래 계산을 시뮬레이션하는 테스트 시퀀스를 실행함으로써, 양자 장치가 올바르게 작동하고 있음을 높은 신뢰도로 확인한다. 이 과정에서는 양자 능력이나 상호작용 증명이 필요 없이 유한 오차 검증을 달성한다.

ABSTRACT

We propose an efficient scheme for verifying quantum computations in the `high complexity' regime i.e. beyond the remit of classical computers. Previously proposed schemes remarkably provide confidence against arbitrarily malicious adversarial behaviour in the misfunctioning of the quantum computing device. Our scheme is not secure against arbitrarily adversarial behaviour, but may nevertheless be sufficiently acceptable in many practical situations. With this concession we gain in manifest simplicity and transparency, and in contrast to previous schemes, our verifier is entirely classical. It is based on the fact that adaptive Clifford circuits on general product state inputs provide universal quantum computation, while the same processes without adaptation are always classically efficiently simulatable.

연구 동기 및 목표

• 고전적 시뮬레이션 한계를 초월한 양자 계산의 실용적 검증 방법을 개발하기 위해.
• 양자 검증에서 양자 검증자나 복잡한 상호작용 프로토콜에 대한 의존도를 줄이기 위해.
• 제한된, 고전적으로 시뮬레이터블 테스트 런을 사용해 과학적 관행과 일치시키기 위해.
• 검증 프로토콜이 아니라 실제 알고리즘의 직접적 테스트를 통해 양자 장치의 정확성에 대한 신뢰를 확보하기 위해.
• 완전한 악성 보안 검증 방식에 비해 투명하고 효율적인 대안을 제공하기 위해.

제안 방법

• 비적응형 클리포드 회로에 제품 상태 입력을 사용하며, 이는 고전적으로 효율적으로 시뮬레이터블이다.
• 검증자는 고전적으로 시뮬레이터블 테스트 런에서의 이론적 예측값과 장치의 출력을 비교함으로써 양자 장치를 검증한다.
• 검증자는 원래 계산에서 사용된 동일한 게이트 시퀀스에 대해 적응 없이 측정 테스트 런을 수행한다.
• 게이트 선택 빈도를 확인함으로써, 장치가 올바른 적응형 게이트 시퀀스를 선택했는지 높은 확률로 확인한다.
• 각 게이트 시퀀스에 대한 이론적 확률는 t개의 T-게이트에 대해 2^t가지 가능한 시퀀스에 균일 분포를 적용하여 유도된다.
• 게이트 테스트 런과 측정 테스트 런을 결합함으로써, 출력 확률과 게이트 시퀀스 선택의 오차를 제한할 수 있다.

실험 결과

연구 질문

• RQ1 양자 능력이나 상호작용 프로토콜이 필요 없이, 고전적 검증자가 양자 계산의 정확성을 효율적으로 검증할 수 있는가?
• RQ2 어떻게 고전적 계산과 고전적 통신만으로 양자 장치의 출력에 대한 신뢰를 확보할 수 있는가?
• RQ3 악성 행동에 대한 가정을 완화할 경우, 검증 보안과 실용성 사이의 상호 교환 관계는 어떻게 되는가?
• RQ4 비적응형 클리포드 회로의 고전적 시뮬레이션을 얼마나 활용해 적응형 양자 계산을 검증할 수 있는가?
• RQ5 이 프로토콜은 이전의 검증 방법과 비교해 단순성, 투명성, 실제 양자 장치에의 적용 가능성 측면에서 어떻게 다른가?

주요 결과

• 검증자는 고전적 계산만을 사용하여, 2^t가지 가능성 중에서 올바른 적응형 게이트 시퀀스를 선택했는지 높은 확률로 확인할 수 있다.
• 게이트 테스트 런을 통해 양자 계산의 출력 확률가 이론적 값과 덧셈 오차 η = 1/poly(n) 이내임을 검증할 수 있다.
• 올바른 게이트 시퀀스 선택 확률가 1/2^t에서 ε/2^t 이내로 추정되어, 장치의 행동에 대해 신뢰할 수 있는 확신을 확보할 수 있다.
• 출력 확률과 게이트 시퀀스 선택의 오차를 다항 시간 자원으로 임의로 작게 만들 수 있으며, 유한 오차 BQP 문제에 대해 ε′ < 0.01을 달성할 수 있다.
• 출력 확률가 1/2에서의 거리 |p_out - 1/2| > 0.49인 문제에 대해, 양자 계산의 정확성에 대해 최소 0.98의 확률로 신뢰할 수 있다.
• 이 방법은 실용적이고 투명하며, 무조건적인 악성 보안을 요구하지 않는 표준 과학적 검증 관행과 부합한다.