[논문 리뷰] What is the Overhead Required for Fault-Tolerant Quantum Computation?

Daniel Gottesman|arXiv (Cornell University)|2013. 10. 10.

Quantum Computing Algorithms and Architecture인용 수 8

한 줄 요약

이 논문은 큰 양자 회로의 점점 커지는 극한에서, 고장내성 양자 계산을 위한 과부하 비용이 물리적 큐비트와 논리적 큐비트 수의 비율로 일정할 수 있음을 보여준다. 양자 낮은 밀도 검사 식별 코드를 활용함으로써 이 최소 과부하 비용을 달성하였으며, 이는 기반 오류 수정 코드 가족의 점점 커지는 비용과 일치한다.

ABSTRACT

What is the minimum number of extra qubits needed to perform a large fault-tolerant quantum circuit? Working in a common model of fault-tolerance, I show that in the asymptotic limit of large circuits, the ratio of physical qubits to logical qubits can be a constant. The construction makes use of quantum low-density parity check codes, and the asymptotic overhead of the protocol is equal to that of the family of quantum error-correcting codes underlying the fault-tolerant protocol.

연구 동기 및 목표

• 대규모 회로에서 고장내성 양자 계산을 위해 필요한 추가 큐비트 수의 최소값을 결정하기 위해.
• 표준 고장내성 모델에서 고장내성 프로토콜의 점점 커지는 과부하 비용을 분석하기 위해.
• 큰 회로의 극한에서 물리적 큐비트 수와 논리적 큐비트 수의 비율이 일정한 상수로 유 bounds될 수 있는지 확인하기 위해.
• 양자 낮은 밀도 검사 식별(LDPC) 코드가 프로토콜의 과부하 비용을 기반 코드 가족의 과부하 비용과 일치시킴으로써 이 일정한 과부하 비용을 가능하게 함을 보여주기 위해.

제안 방법

• 분석은 고장내성의 표준 모델 내에서 수행되며, 논리적 연산이 코드 전환과 오류 수정을 통해 구현된다고 가정한다.
• 프로토콜은 양자 낮은 밀도 검사 식별(LDPC) 코드에 의존하며, 이는 효율적인 심호 추적 측정과 논리적 게이트 실행을 가능하게 한다.
• 이 구성은 점점 커지는 극한에서 물리적 큐비트 수가 논리적 큐비트 수와 선형으로 증가함을 보장한다.
• 과부하 비용 비율은 물리적 큐비트 수와 논리적 큐비트 수를 비교하여 유도되며, 이 비율이 점점 커짐에 따라 일정한 값으로 수렴함을 보여준다.
• 고장내성 기능은 코드의 안정자 구조를 활용하여 구현되며, 보조 큐비트와 게이트 과부하 비용을 최소화한다.
• 프로토콜의 과부하 비용이 기반 양자 오류 수정 코드 가족의 점점 커지는 과부하 비용과 정확히 일치함을 보여준다.

실험 결과

연구 질문

• RQ1 대규모 회로에서 고장내성 양자 계산을 위한 최소 점점 커지는 과부하 비용은 무엇인가?
• RQ2 대규모 양자 회로의 극한에서 물리적 큐비트 수와 논리적 큐비트 수의 비율이 일정한 상수로 유 bounds될 수 있는가?
• RQ3 양자 오류 수정 코드의 선택이 고장내성 프로토콜의 과부하 비용에 어떤 영향을 미치는가?
• RQ4 양자 LDPC 코드는 고장내성 양자 계산에서 물리적 큐비트 과부하 비용을 어느 정도 줄일 수 있는가?
• RQ5 고장내성 프로토콜의 과부하 비용은 기반 코드 가족의 과부하 비용과 점점 커지는 근처에서 동일한가?

주요 결과

• 고장내성 양자 계산의 점점 커지는 과부하 비용은 회로 크기와 무관하게 일정할 수 있다.
• 회로 크기가 커짐에 따라 물리적 큐비트 수와 논리적 큐비트 수의 과부하 비용 비율은 일정한 값으로 수렴한다.
• 프로토콜의 과부하 비용이 기반 양자 오류 수정 코드 가족의 과부하 비용과 일치할 때 최소 과부하 비용이 달성된다.
• 양자 낮은 밀도 검사 식별(LDPC) 코드는 효율적인 고장내성 연산을 지원함으로써 이 일정한 과부하 비용을 가능하게 한다.
• 이 구성은 코드 가족의 과부하 비용 외에 추가 과부하 비용이 발생하지 않음을 보여주며, 점점 커지는 극한에서 최적임을 입증한다.
• 논리적 게이트 합성과 오류 수정을 포함한 고장내성 양자 계산의 표준 가정 하에서 결과가 성립한다.