[논문 리뷰] Instantaneous Non-Local Computation of Low T-Depth Quantum Circuits

Speelman, Florian|arXiv (Cornell University)|1998. 07. 01.

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

한 줄 요약

이 논문은 양자 계산을 위한 하이젠베르크 표현을 도입하여, 클리포드 군 게이트와 파울리 군 측정으로만 구성된 양자 회로의 효율적이고 정확한 고전적 시뮬레이션을 가능하게 한다. 상태 벡터가 아닌 파울리 연산자의 진화를 추적함으로써 계산 복잡도를 지수적 시간에서 다항식 시간으로 감소시키며, 이러한 회로가 고전 컴퓨터에서 완벽하게 시뮬레이션 가능하다는 것을 증명한다. 이는 비클리포드 게이트가 사용되지 않는 한 양자 우월성이 발생하지 않음을 시사한다.

ABSTRACT

Instantaneous non-local quantum computation requires multiple parties to jointly perform a quantum operation, using pre-shared entanglement and a single round of simultaneous communication. We study this task for its close connection to position-based quantum cryptography, but it also has natural applications in the context of foundations of quantum physics and in distributed computing. The best known general construction for instantaneous non-local quantum computation requires a pre-shared state which is exponentially large in the number of qubits involved in the operation, while efficient constructions are known for very specific cases only. We partially close this gap by presenting new schemes for efficient instantaneous non-local computation of several classes of quantum circuits, using the Clifford+T gate set. Our main result is a protocol which uses entanglement exponential in the T-depth of a quantum circuit, able to perform non-local computation of quantum circuits with a (poly-)logarithmic number of layers of T gates with quasi-polynomial entanglement. Our proofs combine ideas from blind and delegated quantum computation with the garden-hose model, a combinatorial model of communication complexity which was recently introduced as a tool for studying certain schemes for quantum position verification. As an application of our results, we also present an efficient attack on a recently-proposed scheme for position verification by Chakraborty and Leverrier.

연구 동기 및 목표

• 상태의 진화가 아닌 연산자의 진화를 추적하는 방식으로 양자 회로 분석을 단순화하는 형식론을 개발하기 위해.
• 클리포드 군 게이트와 파울리 군 측정으로만 구성된 회로가 고전 컴퓨터에서 효율적으로 시뮬레이션될 수 있음을 보여주기 위해.
• 고전적으로 시뮬레이션 가능한 양자 계산과 보편 양자 우월성이 필요한 계산 간의 경계를 명확히 하기 위해.
• 양자 텔레포테이션과 오류 정정과 같은 양자 프로토콜을 연산자 진화를 통해 체계적으로 분석할 수 있는 방법을 제공하기 위해.

제안 방법

• 유니터리 변환에 의한 공액을 통한 연산자 진화를 고려하는 하이젠베르크 그림을 채택: N → UNU†.
• 클리포드 군 작용에 대해 닫혀 있는 바탕이므로 파울리 군을 연산자 진화 추적의 기저로 사용.
• 각 큐비트의 진화를 2n개의 X 및 Z 연산자 추적을 통해 기술하며, 각각 2n+1비트로 표현.
• 하다마드, 위상, CNOT와 같은 클리포드 군 게이트를 적용하여 파울리 연산자를 알려진 변환 규칙에 따라 업데이트.
• 측정를 처리하기 위해 안정자 군을 업데이트: 연산자 A를 측정하고 결과가 -1이면 보정을 적용하며, 비가환하는 모든 연산자를 가환하는 안정자 원소와 곱하여 업데이트.
• 안정자 형식론을 사용해 논리적 연산을 추적하고, 양자 텔레포테이션 및 원거리 CNOT과 같은 프로토콜을 시뮬레이션.

실험 결과

연구 질문

• RQ1 클리포드 군 게이트와 파울리 군 측정으로만 구성된 양자 회로는 고전 컴퓨터에서 효율적으로 시뮬레이션될 수 있는가?
• RQ2 상태 벡터 진화 대비 하이젠베르크 표현은 양자 회로 분석을 어떻게 단순화하는가?
• RQ3 안정자 형식론은 양자 오류 정정 코드의 효율적 시뮬레이션을 가능하게 하는 데 어떤 역할을 하는가?
• RQ4 양자 텔레포테이션과 원거리 게이트 연산은 하이젠베르크 그림에서 연산자 진화를 통해 완전히 분석하고 검증할 수 있는가?
• RQ5 고전적으로 시뮬레이션 가능한 양자 회로와 보편 양자 우월성이 필요한 회로 사이의 계산 경계는 무엇인가?

주요 결과

• 클리포드 군 게이트와 파울리 군 측정으로만 구성된 회로는 클릴의 정리에 의해 고전 컴퓨터에서 다항식 시간 내에 시뮬레이션 가능하다는 것이 증명되었다.
• 하이젠베르크 표현을 통해 n 큐비트 회로 분석의 복잡도를 지수적 시간에서 다항식 시간으로 감소시켜, 오직 2n개의 파울리 연산자만 추적함으로써 가능해진다.
• 안정자 형식론은 안정자 코드 내에서 양자 상태를 정확히 추적할 수 있게 하여, 양자 오류 정정의 효율적 시뮬레이션을 가능하게 한다.
• 양자 텔레포테이션과 원거리 CNOT 연산은 하이젠베르크 표현을 통해 완전히 분석하고 검증할 수 있으며, 측정 결과에 따라 보정 조치가 결정된다.
• 이 방법은 비클리포드 게이트(예: T 게이트)가 사용되지 않는 한 양자 계산에서의 양자 우월성이 발생하지 않으며, 클리포드만으로 구성된 회로는 고전적으로 시뮬레이션 가능하다는 것을 확인한다.