[論文レビュー] Tour de gross: A modular quantum computer based on bivariate bicycle codes

Theodore J. Yoder, Eddie Schoute+6 more|ArXiv.org|Jun 3, 2025

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

自転車アーキテクチャを提案。双変量自転車LDPCコード（gross および two-gross）を用いたモジュラー量子コンピュータで、フォールト耐性指示とエンドツーエンドのリソース見積もりを提供。表面コードよりも大規模なスケーラブル回路を示す。

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コードに基づくフォールト耐性を備えたモジュラー量子計算フレームワークとして自転車アーキテクチャを提案する。
• 2つの双変量自転車コード（gross および two-gross）に対する明示的なフォールト耐性自転車指示の実装を提供する。
• 自転車アーキテクチャへ大規模ユニバーサル回路をマッピングするためのコンパイル戦略を開発する。
• リソース要件を表面コードアーキテクチャと比較して、効率とスケーラビリティを評価する。

提案手法

• 2つの特定双変量自転車コード（gross [[144,12,12]] および two-gross [[288,12,18]]）を定義・採用する。
• アイドル、シフト自己同形、モジュール内・モジュール間測定、T注入、関連プロトコルを含む普遍的な自転車指示セットを規定する。
• 論理処理ユニット（LPU）と量子LDPC手術を用いたモジュール内論理測定アプローチを説明する。
• モジュール間の結合を実現するベル結合子とコード間アダプタを介して、モジュール間の共同論理測定を可能にする。
• サーキットノイズ下での自転車指示のエンドツーエンドのリソース見積と回路レベルのタイミング／論理誤り率を提供する。
• データモジュールにまたがる操作を分散し、パウリ測定と小角回転を合成するためのコンパイル戦略を提示する。

実験結果

リサーチクエスチョン

• 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桁の量子論理量子ビットを増加させることができる。
• 2つの双変量自転車コード（gross および two-gross）について、モジュールあたり12個の論理量子ビットの明示的なフォールト耐性実装を提供。
• 論理指示セット（I, U, M, C, T, およびシフト）は、p = 10^-3 および p = 10^-4の下で、両コードに対して定量的な時間と論理誤り率を持つ。
• エンドツーエンドのリソース見積もりは、同じ物理量子ビット数で自転車アーキテクチャを用いるとはるかに大規模な論理回路を実行できることを示す。
• T状態ファクトリの統合とLPUベースのモジュール内測定により、テレポーテーション様スキームとプログラム可能な論理測定を通じた普遍操作を実現する。
• コンパイル戦略はデータモジュール間で操作を分散し、シフト自己同形とLPUsを活用してスケーラブルな普遍量子計算を可能にする。