[논문 리뷰] Negative Quasi-Probability Representation is a Necessary Resource for Magic State Distillation

Victor Veitch, Christopher Ferrie외 1명|arXiv (Cornell University)|2012. 01. 05.

Quantum Computing Algorithms and Architecture인용 수 5

한 줄 요약

이 논문은 고장내성 양자 계산에서 마법 상태 정련에 있어 준확률 표현—특히 이산 위그너 함수—에서의 음수 값이 필수적인 자원임을 입증한다. 이는 안정자 상태의 볼록결합 외부에 존재하는, 안정자 연산을 통해 비안정자 상태로 정련될 수 없는 유한한 상태(바운드 상태)의 존재를 증명함으로써 열려 있던 질문을 해결하며, 혼합 상태의 광범위한 클래스에 대해 클리포드 회로의 효율적 시뮬레이션 프로토콜을 가능하게 한다.

ABSTRACT

A central problem in quantum information is to determine the minimal physical resources that are required for quantum computational speedup and, in particular, for fault-tolerant quantum computation. We establish a remarkable connection between the potential for quantum speed-up and the onset of negative values in a distinguished quasi-probability representation, a discrete analog of the Wigner function for quantum systems of odd dimension. This connection allows us to resolve an open question on the existence of bound states for magic-state distillation: we prove that there exist mixed states outside the convex hull of stabilizer states that cannot be distilled to non-stabilizer target states using stabilizer operations. We also provide an efficient simulation protocol for Clifford circuits that extends to a large class of mixed states, including bound universal states.

연구 동기 및 목표

• 고장내성 양자 계산에서 양자 계산의 초월성에 필요한 최소한의 물리적 자원을 규명하는 것.
• 안정자 연산을 사용할 때 비안정자 상태로 정련될 수 없는 바운드 상태가 존재하는지 여부에 대한 열린 질문을 해결하는 것.
• 양자 초월성과 이산 위그너 함수 표현에서의 음수 값 존재 간의 연결 고리를 설정하는 것.
• 혼합 상태의 광범위한 클래스를 포함하여, 바운드 유니버설 상태를 포함한 클리포드 회로에 대한 효율적 시뮬레이션 프로토콜을 개발하는 것.

제안 방법

• 저자는 홀수 차원 양자 시스템에 대해 위그너 함수와 유사한 이산 준확률 표현을 사용한다.
• 이 표현에서 음수 값의 역할을 양자 우월성의 자원으로 분석한다.
• 증명는 안정자 상태의 비음수 위그너 함수 값을 갖는 볼록결합 외부에 있는 상태들이 안정자 연산을 통해 비안정자 상태로 정련될 수 없다는 것을 보여줌으로써 기반한다.
• 안정자 상태에서 위그너 함수 값의 비음성과 유사한 성질을 갖는 혼합 상태로 확장하여, 클리포드 회로에 대한 효율적 시뮬레이션 프로토콜을 구축한다.
• 이 프레임워크는 볼록 기하학과 안정자 상태의 성질을 활용하여 정련 가능한 상태의 집합을 특성화한다.
• 위그너 표현에서의 부정성 부재를 바탕으로 한 정련 가능성에 대한 필수 조건을 설정한다.

실험 결과

연구 질문

• RQ1 양자 계산에서 마법 상태 정련에 있어 위그너 표현의 준확률 음수 값은 필수적인 자원인가?
• RQ2 안정자 상태의 볼록결합 외부에 존재하는 혼합 상태 중에서 안정자 연산만으로 정련이 불가능한 상태가 존재하는가?
• RQ3 클리포드 회로에 대해 혼합 상태의 광범위한 클래스에 적용 가능한 효율적 시뮬레이션 프로토콜을 개발할 수 있는가, 특히 유니버설이지만 정련이 불가능한 상태를 포함하여?
• RQ4 이산 위그너 함수는 양자 계산 초월성의 한계를 특성화하는 데 어떤 역할을 하는가?
• RQ5 위그너 표현의 성질은 마법 상태 정련에서 바운드 상태 존재와 어떻게 관련되어 있는가?

주요 결과

• 이산 위그너 함수 표현에서의 음수 값은 마법 상태 정련에 필수적인 자원이며, 부정성과 양자 초월성 간의 기본적인 연결 고리를 확립한다.
• 안정자 상태의 볼록결합 외부에 존재하는 혼합 상태 중에서 안정자 연산을 통해 비안정자 목표 상태로 정련될 수 없는 상태가 존재함을 확인하여, 바운드 유니버설 상태의 존재를 입증한다.
• 이러한 바운드 상태의 비정련 가능성에 대한 엄밀한 증명을 제공함으로써, 양자정보이론에서 오랫동안 열려 있던 질문을 해결한다.
• 위그너 표현의 구조를 활용하여 혼합 상태의 광범위한 클래스, 바운드 유니버설 상태를 포함한 클리포드 회로에 대한 효율적 시뮬레이션 프로토콜을 개발한다.
• 비음수 위그너 함수 값은 효율적 고전적 시뮬레이션을 위한 충분조건임을 입증하였고, 정련을 통한 유니버설 양자 계산을 위해서는 부정성이 필요하다는 것을 보여준다.
• 이 프레임워크는 위그너 표현에서의 부정성 발생 시점이 고전적이지 않은 자원이 고장내성 양자 초월성을 가능하게 하는 임계점임을 규명한다.