[논문 리뷰] Flag Gadgets based on Classical Codes

Benjamin Anker, Milad Marvian|arXiv (Cornell University)|2022. 12. 21.

Metaheuristic Optimization Algorithms Research인용 수 4

한 줄 요약

이 논문은 고전적 부호, 특히 BCH 부호를 사용하여 고장에 강건한 양자 계산에서 플래그 게이트를 설계하는 프레임워크를 제안한다. 이는 보조 큐비트의 과도한 자원 소모를 극적으로 줄인다. 부호의 패리티 체크를 통해 심호지 측정 플래그를 인코딩함으로써, 거리-d의 스테이블라이저 부호와 무게-w의 심호지를 가진 경우, 기존의 O(w) 방법 대비 O(t log w)의 플래그 큐비트만을 사용하여 지수적 감소를 달성한다. 이는 특히 큐비트 측정과 리셋이 느린 경우에 유리하다.

ABSTRACT

Fault-tolerant syndrome extraction is a key ingredient in implementing fault-tolerant quantum computations. While conventional methods use a number of extra qubits linear in the weight of the syndrome, several improvements have been introduced using flag gadgets. In this work, we develop a framework to design flag gadgets using classical codes. Using this framework we show how to perform fault-tolerant syndrome extraction for any stabilizer code with arbitrary distance using exponentially fewer qubits than conventional methods when qubit measurement and reset are relatively slow compared to a round of error correction. We further take advantage of the saving provided by our construction to fault-tolerantly measure multiple stabilizers using a single gadget, and show that it maintains the same exponential advantage when it is used to fault-tolerantly extract the syndrome of quantum LDPC codes. Using the developed framework we perform computer-assisted search to find several small examples where our constructions reduce the number of qubits required. These small examples may be relevant to near-term experiments on small-scale quantum computers.

연구 동기 및 목표

• 고장에 강건한 심호지 추출에서 높은 큐비트 자원 소모 문제를 해결하기 위해, 특히 큐비트 측정과 리셋이 느릴 경우에 유리하게 작용한다.
• 거리나 부호 구조에 관계없이 어떤 스테이블라이저 부호에도 적용 가능한 플래그 게이트를 체계적으로 설계하는 방법을 개발한다.
• 기존의 방법에 비해 보조 큐비트 요구량을 지수적으로 감소시키는 것을 달성한다.
• 단일 게이트를 사용하여 다수의 스테이블라이저를 동시에 추출할 수 있도록 프레임워크를 확장한다.
• 자원 소모를 최소화하여 근접한 양자 장치에서의 실용적 구현을 가능하게 한다.

제안 방법

• 거리 d = 2t + 1인 고전적 BCH 부호의 패리티 체크 행렬을 사용하여 플래그 큐비트 측정을 인코딩한다.
• 각 플래그 큐비트 측정을 고전적 부호의 패리티 체크에 매핑함으로써 심호지에서 오류를 국소화할 수 있다.
• 심호지 추출 중 오류가 전파되는 것을 방지하기 위해 BCH 부호의 패리티 체크 구조를 공간적으로 d번 반복한다.
• 반복된 패리티 체크를 통해 물리적 게이트 제약으로 인한 정밀도 부족을 완화하고 고장에 강건한 성능을 유지한다.
• 플래그 패턴을 적용하여 심호지의 오류를 식별하고 수정하며, 고장에 강건한 성능을 유지하는 복원 규칙을 적용한다.
• 보정을 쌍체의 데이터 CNOT 사이 영역으로 제한함으로써 보정 위치를 최적화하여 고장에 강건한 구현을 보장한다.

실험 결과

연구 질문

• RQ1 빠른 큐비트 측정과 리셋이 없더라도, 임의의 스테이블라이저 부호에 대해 지수적 큐비트 절감을 달성할 수 있는 플래그 게이트를 구성할 수 있는가?
• RQ2 프레임워크를 확장하여 단일 게이트로 다수의 스테이블라이저 심호지를 동시에 추출할 수 있는가?
• RQ3 고전적 부호를 어떻게 systematic하게 활용하여 오류 탐지 및 수정 능력이 입증된 고장에 강건한 플래그 게이트를 설계할 수 있는가?
• RQ4 실제 물리적 제약 조건 하에서 고장에 강건한 심호지 추출을 보장하기 위해 필요한 최소 플래그 큐비트 수는 얼마인가?
• RQ5 프레임워크를 양자 LDPC 부호의 심호지 추출에 적응시켜 보조 큐비트 자원 소모를 크게 줄일 수 있는가?

주요 결과

• 제안된 구성은 거리-d = 2t + 1인 양자 부호에서 무게-w 심호지를 추출하기 위해 오직 (2t + 1)t⌈log₂ w⌉개의 플래그 큐비트만을 사용하며, 기존의 O(w) 방법에 비해 지수적 절감을 달성한다.
• 이 프레임워크는 거리가 임의이거나 부호 구조가 복잡한 스테이블라이저 부호에 대해서도 고장에 강건한 심호지 추출을 가능하게 하며, 빠른 큐비트 측정이나 리셋이 필요하지 않다.
• 양자 LDPC 부호에 적용했을 경우, 큐비트 리셋이 없더라도 심호지 추출에서 지수적 큐비트 절감을 유지한다.
• 컴퓨터 보조 검색을 통해 작은 부호 예제를 식별하였으며, 이는 근접한 양자 실험에 실용적으로 적용 가능함을 보여준다.
• 단일 게이트를 사용하여 다수의 스테이블라이저를 고장에 강건하게 추출할 수 있으며, 지수적 자원 절감 이점을 유지한다.
• 보정을 쌍체의 데이터 CNOT 사이 영역으로 제한함으로써 고장에 강건한 보정을 허용하며, 최소 무게 보정이 여전히 고장에 강건함을 보장한다.