[논문 리뷰] Tour de gross: A modular quantum computer based on bivariate bicycle codes

Theodore J. Yoder, Eddie Schoute외 6명|ArXiv.org|2025. 06. 03.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

자전거 아키텍처를 도입한 모듈식 양자 컴퓨터로, 이중 변수 자전거 LDPC 코드(gross 및 two-gross)를 사용하고, 명시적 fault-tolerant 지침과 엔드-투-엔드 자원 추정치를 제시하여 표면 코드보다 더 큰 확장 가능한 회로를 보인다.

ABSTRACT

We present the bicycle architecture, a modular quantum computing framework based on high-rate, low-overhead quantum LDPC codes identified in prior work. For two specific bivariate bicycle codes with distances 12 and 18, we construct explicit fault-tolerant logical instruction sets and estimate the logical error rate of the instructions under circuit noise. We develop a compilation strategy adapted to the constraints of the bicycle architecture, enabling large-scale universal quantum circuit execution. Integrating these components, we perform end-to-end resource estimates demonstrating that an order of magnitude larger logical circuits can be implemented with a given number of physical qubits on the bicycle architecture than on surface code architectures. We anticipate further improvements through advances in code constructions, circuit designs, and compilation techniques.

연구 동기 및 목표

• 양자 LDPC 코드에 기반한 내결함성 모듈식 양자 컴퓨팅 프레임워크로서 자전거 아키텍처를 제안한다.
• 두 가지 이변 자전거 코드(gross 및 two-gross)에 대한 자전거 지침의 명시적 내결함 구현을 제공한다.
• 자전거 아키텍처에 대규모 보편 양자 회로를 매핑하기 위한 컴파일 전략을 개발한다.
• 유효성 및 확장성을 평가하기 위해 자원 요구를 표면 코드 아키텍처와 벤치마크하고 비교한다.

제안 방법

• 두 가지 구체적 이변 자전거 코드(gross [[144,12,12]] 및 two-gross [[288,12,18]])를 정의하고 활용한다.
• idieal, shift 자동동치, 모듈 내 및 모듈 간 측정, T 주입 및 관련 프로토콜을 포함한 보편적 자전거 지침 집합을 명시한다.
• LPU(Logical Processing Units)와 양자 LDPC 수술을 이용한 모듈 내 논리적 측정 접근법을 설명한다.
• Bell-couplers와 코드-코드 어댑터를 통한 모듈 간 연결성을 개요화하여 모듈 간 공동 논리 측정이 가능하도록 한다.
• 회로 노이즈 하에서 자전거 지침에 대한 엔드-투-엔드 자원 추정치와 회로 수준 타이밍/논리적 오류율을 제공한다.
• 데이터 모듈에 걸쳐 연산을 분산하고 Pauli 측정 및 미소 각도 회전을 합성하는 컴파일 전략을 제시한다.]

실험 결과

연구 질문

• RQ1 모듈식 양자 아키텍처가 확장 가능하고 보편적이려면 어떤 내결함성 요건을 충족해야 하는가?
• RQ2 이변 자전거 코드를 모듈식 아키텍처 내에서 내결함성 있게 구현할 수 있으며 회로 노이즈 하에서의 논리적 오류율은 어떠한가?
• RQ3 컴파일 전략이 긴 거리 연결성을 갖는 자전거 아키텍처에 대규모 보편 양자 회로를 효율적으로 매핑할 수 있는가?
• RQ4 유사한 회로를 구현하기 위한 자원 요구(퀘비트, 시간, 오류율)는 표면 코드 아키텍처와 어떻게 비교되는가?

주요 결과

instruction	i	module	tau_i	p=10^-3	p=10^-4
I	idle	gross code	8	10^-8.8±0.2	10^-14.8±0.4
I	idle	two-gross code	8	10^-20.1±0.5	10^-38.3±0.9
U	shift automorphism	gross code	14	10^-6.4±0.2	10^-12.2±0.5
U	shift automorphism	two-gross code	14	10^-14.5±0.4	10^-37±1
M	in-module meas.	gross code	120	10^-5.0±0.1	10^-9.0±0.2
M	in-module meas.	two-gross code	216	[10^-11]	[10^-20]
C	inter-module meas.	gross code	120	10^-2.7±0.1	10^-7.3±0.3
C	inter-module meas.	two-gross code	216	[10^-9]	[10^-18]
T	T injection	gross factory	351+120	10^-5.5+P_C	–
T	T injection	two-gross factory	2167+216	10^-7.7+P_C	–
T	T injection	gross factory (p=1e-4)	73+120	–	10^-7.4+P_C
T	T injection	two-gross factory (p=1e-4)	407+216	–	10^-24.4+P_C

• 자전거 아키텍처는 유사한 물리적 오류 하에서 표면 코드 아키텍처에 비해 동일한 물리 자원으로 더 큰 논리 큐비트를 약 1배의 차이로 제공한다.
• 두 가지 이변 자전거 코드(gross 및 two-gross)에 대해 모듈당 12개의 논리 큐비트를 갖는 명시적 내결함 구현이 제공된다.
• 논리 지침 세트(I, U, M, C, T 및 시프트)의 지속 시간과 논리적 오류율은 p = 10^-3 및 p = 10^-4에서 두 코드 모두에서 정량화된다.
• 엔드-투-엔드 자원 추정은 자전거 아키텍처를 사용할 때 같은 물리 큐비트 수로 훨씬 더 큰 논리 회로를 실행할 수 있음을 보인다.
• T-상태 공장 통합 및 LPU 기반 모듈 내 측정은 텔레포테이션 유사 스킴과 프로그래밍 가능한 논리 측정을 통해 보편 작동을 가능하게 한다.
• 컴파일 전략은 데이터 모듈에 걸쳐 연산을 분산하고 시프트 자동동치 및 LPUs 활용으로 확장 가능한 보편 양자 계산을 가능하게 한다.