[논문 리뷰] On the Power of Reusable Magic States

Jonas T. Anderson|arXiv (Cornell University)|2012. 05. 01.

Quantum Computing Algorithms and Architecture참고 문헌 14인용 수 4

한 줄 요약

이 논문은 고장내성 양자 계산에서 비클리포드 게이트를 반복적으로 구현하는 데 사용할 수 있는 재사용 가능한 마법 상태를 조사한다. 논문은 이러한 상태가 비클리포드 게이트에 대해 존재한다면 BQP = P임을 증명하며, 이는 보편적인 양자 회로의 효율적 고전적 시뮬레이션을 의미한다. 이는 양자 계산의 계산적 우월성을 뿌리 뽑는다.

ABSTRACT

In this paper we study reusable magic states. These states are a special subset of the standard magic states. Once distilled, reusable magic states can be used, repeatedly, to apply some unitary U. Given this property, reusable magic states have the potential to greatly lower qubit and gate overheads in fault-tolerant quantum computation. While these states are promising, we provide a strong argument for their limited computational power. Specifically, we show that if reusable magic states can be used to apply non-Clifford unitaries, then we can exploit them to efficiently simulate poly-sized quantum circuits on a classical computer.

연구 동기 및 목표

• 재사용 가능한 마법 상태가 고장내성 양자 계산에서 실현 가능하고 얼마나 강력한 계산 능력을 지닐 수 있는지 평가하기.
• 재사용 가능한 마법 상태가 반복적인 정제 없이도 비클리포드 게이트를 효율적으로 구현할 수 있는지 확인하기.
• 이러한 상태가 복잡도 클래스 BQP와 고전적 시뮬레이션에 끼치는 영향을 조사하기.

제안 방법

• 논문은 재사용 가능한 마법 상태를 게이트 텔레포테이션 프로토콜에 반복적으로 사용하여 비클리포드 유니터리 연산을 구현하는 양자 회로를 모델링한다.
• 재사용 가능한 마법 상태를 고정된 항 수를 가진 안정자 상태의 합으로 표현하며, 이 항 수는 회로 크기와 무관하다.
• 클리포드 연산이 안정자 상태를 유지하므로, 계산 전반에 걸쳐 안정자 분해에 포함된 항의 수가 일정하게 유지됨을 이용한다.
• 각 안정자 항은 다항 시간 내에 시뮬레이션 가능하므로, 전체 회로에 대한 고전적 다항 시간 시뮬레이션이 가능해진다.
• 이 증거는 안정자 다면체가 클리포드 연산에 대해 닫혀 있고, 마법 상태 시스템의 차원이 고정되어 있음을 기반으로 한다.
• 소수 p에 대해 SU(p^n)에서 클리포드 군의 최대성 및 조밀성 성질을 활용하여 증명을 큐딧 시스템으로 확장한다.

실험 결과

연구 질문

• RQ1 재사용 가능한 마법 상태를 사용하여 반복적인 정제 없이 비클리포드 게이트를 구현할 수 있는가?
• RQ2 재사용 가능한 마법 상태가 비클리포드 게이트에 대해 존재한다면, 그 계산적 결과는 무엇인가?
• RQ3 비클리포드 게이트에 대해 재사용 가능한 마법 상태가 존재한다면, 이는 양자 계산이 고전적으로 효율적으로 시뮬레이션될 수 있음을 의미하는가?
• RQ4 BQP가 P로 붕괴되지 않는 비클리포드 게이트 중에서 재사용 가능한 마법 상태가 존재할 수 있는 경우는 있는가?
• RQ5 클리포드 게이트에 대해 재사용 가능한 마법 상태를 구성할 수 있으며, 만약 그렇다면 비클리포드 경우와 어떻게 다를 수 있는가?

주요 결과

• 비클리포드 게이트에 대해 재사용 가능한 마법 상태가 존재한다면, BQP = P임을 의미하며, 이는 보편적인 양자 계산이 고전 컴퓨터에서 효율적으로 시뮬레이션될 수 있음을 뜻한다.
• 재사용 가능한 마법 상태의 분해에 포함된 안정자 항의 수가 고정되어 있으므로, 고전적 시뮬레이션은 n(입력 큐비트 수)에 대해 O(POLY(n)) 시간 내에 수행된다.
• 클리포드 연산이 안정자 구조를 유지하므로, 계산 전반에 걸쳐 마법 상태의 분해에 포함된 안정자 항의 수가 일정하게 유지된다.
• 결과는 큐비트 시스템뿐 아니라 큐딧 시스템에도 적용되며, 소수 p에 대해 SU(p^n)에서 클리포드 군이 최대 유한부분군이면서, 비클리포드 게이트를 추가하면 조밀한 무한군이 생성되기 때문이다.
• 이 증명은 클리포드 게이트(예: 하다드 게이트)에 대해 재사용 가능한 마법 상태가 존재할 수 있음을 배제하지 않으며, 이는 고전적 시뮬레이션 가능성과 호환된다.
• 비클리포드 게이트에 대해 이러한 상태가 존재한다면, 실제로는 양자 우월성이 불가능해지므로, 실생활에서 존재할 가능성은 매우 낮다.