Barbell Codes: qLDPC Codes for Superconducting Quantum Hardware

本論文は、「バーベル型」qLDPC符号のファミリーと、それに対応する固定接続チップレイアウトを導入するものであり、これらは物理的なノイズレベルが$10^{-4}$において、論理量子ビットあたり30個未満のデータ量子ビットで高い論理忠実度と効率的な多量子ビット操作を実現しつつ、一定のハードウェア複雑度でスケーラブルかつフォールトトレラントな量子コンピューティングを可能にするものである。

要約

非常にデリケートで壊れやすいメッセージを、嵐の海を越えて送ろうとしている場面を想像してください。そのメッセージはあなたの「量子情報」であり、海はノイズが多くエラーが発生しやすい量子ハードウェアの世界です。メッセージを守るために、あなたは単に一度書くだけではなく、何度も書き込み、艦隊の船へと分散させます。これが**量子誤り訂正（QEC）**の基本的な考え方です。つまり、一つの貴重な情報を守るために、多くの物理的なパーツを使用するという手法です。

長い間、科学者たちはこの保護用艦隊として、「サーフェスコード（表面符号）」と呼ばれる特定のパターンを使用してきました。これは、標準的な正方形の格子状の都市のようなものです。それはうまく機能しますが、非常に非効率的です。たった一つの情報（「論理量子ビット」）を守るために、数百あるいは数千の家（物理量子ビット）を持つ都市を建設しなければならないこともあります。これは、何百万もの小さく壊れやすいレンガを使って超高層ビルを建てようとするような、非常にコストがかかり困難な作業です。

新しい解決策：「バーベル」コード

この論文の著者たちは、IQM Quantum Computersと共に、これらの保護用艦隊をより効率的に構成するための、より優れた方法を導入しました。彼らはこれを**「バーベル・コード」**と呼んでいます。

これらがどのように機能するかを、簡単な比喩を用いて説明します。

1. 旧来の手法の問題点

街の中で離れた場所にある二つの家をつなごうとしている場面を想像してください。従来の「サーフェスコード」の都市では、隣同士の家しかつなぐことができません。町を横断して遠くの家にメッセージを届けたい場合、その間にあるすべての家を経由してメッセージを渡さなければなりません。これは時間がかかり、多くのリソースを消費します。

量子コンピュータの世界では、より高度なコード（qLDPCコードと呼ばれます）が、はるかに効率的な「高速道路システム」のような仕組みを約束しています。しかし、これらのコードは、遠く離れた家同士をつなぐ必要があります。現在の量子チップでは、「道路」（配線）は固定された場所にあります。遠くの家をつなぐ高速道路を建設するには、チップを何層も積み重ねたり、複雑で乱雑な「エアブリッジ（空中橋）」を建設したりする必要がありますが、これらはしばしば破損したり、干渉を引き起こしたりします。

2. 「バーベル」アーキテクチャ

著者たちは、これらの効率的なコードのために設計された、新しい都市レイアウトを考案しました。彼らはこれを**「バーベル」アーキテクチャ**と呼んでいます。

• 中央のハブ（六角形）： 六つの家が中央の公園を囲むように六角形に配置されている近隣地域を想像してください。この設計では、その中央の公園が特別な「ハブ」となり、六つの家すべてと同時に通信できます。これが「スター・ラティス（星型格子）」です。
• バーベル（接続部）： 次に、これら二つの六角形の近隣地域を想像してください。著者たちは、一つの近隣地域の家と、もう一つの近隣地域の家を直接つなぐ、特別な短い「ブリッジ」（近接結合子）を追加しました。
• 形状： このブリッジによって接続された二つの六角形を眺めると、全体の形はバーベル（二つの重りが棒でつながれたもの）のように見えます。

3. な なぜこれが大きなニュースなのか

この設計の天才的な点は、ハードウェアを複雑にすることなく、「遠距離接続」の問題を解決していることです。

• 乱雑なブリッジが不要： 量子チップの遠く離れた部分をつなぐための以前の試みでは、エンジニアは何層ものレイヤーを通して配線をルーティングしたり、規模が大きくなるにつれて乱雑になったり、干渉を引き起こしたりするエアブリッジを使用したりしなければなりませんでした。「バーベル」設計は、すべてのブリッジが同じ長さで、互いに平行に走るように設計されています。これは、複雑なオーバーパスの網を作るのではなく、一連の同一で直線的なトンネルを持つようなものです。
• 一定の複雑性： 通常、量子コードをより強力にする（より多くのエラーを防ぐようにする）につれて、ハードウェアの複雑さは指数関数的に増大します。バーベルコードを使用すると、コードが強力になっても、ハードウェアの複雑さは同じままです。これは、より高く複雑な壁を築くことなく、より大きく安全な要塞を築いているようなものです。

4. 結果：より安価な要塞

著者たちは、この新しい設計がどの程度うまく機能するかを確認するために、コンピュータ・シミュレーションを実行しました。

• 効率性の向上： 彼らは、同じ量の情報を守るために、バーベルコードは従来のサーフェスコードよりも最大8倍少ない物理量子ビットで済むことを発見しました。もし従来の方法で一つのデータを守るのに1,000の家が必要だったとしたら、バーベルの方法ではわずか125個で済むかもしれません。
• パフォーマンス： リソースをより少なく使用しているにもかかわらず、バーベルコードは従来の嵩張るサーフェスコードと同等にデータを保護します。
• 実用的な実現可能性： 彼らは、この設計が現在の実際の量子ハードウェアに見られる「ノイズ」（エラー）が存在する場合でも機能することを示しました。彼らは、この設計が「数兆回」のエラーチェック・サイクルを生き残る様子をシミュレートしましたが、これは極めて大きな節目となる成果です。

まとめ

バーベルコードを、量子コンピュータを構築するための、よりスマートな設計図と考えてください。一つの秘密を守るために、何千もの小さな家を持つ巨大で広大な街を建てる代わりに、この新しい設計図は、巧妙な「バーベル」形状を用いて、コンパクトで効率的な構造を構築します。これにより、コンピュータはより少ないパーツを使用してエラーをチェックし、修正することが可能になり、強力でフォールトトレラント（耐故障性）な量子コンピュータの夢が、より身近に、そしてより安価に実現できるようになります。

この論文は、これが明日から商業利用できると主張しているわけではありませんが、これらの効率的なコードを構築するためのハードウェアが今日すでに存在しており、その数学的理論が現在のチップ上で完璧に機能することを証明しています。

技術概要

技術要約：超伝導量子ハードウェアのためのバーベル符号（Barbell Codes）

問題提起

フォールトトレラント量子コンピューティングへの道は、現在、ハードウェア・コンポーネントの品質不足と、忠実度を損なうことなく量子数をスケールアップすることの困難さによって阻まれています。量子低密度パリティ検査（qLDPC）符号は、低いオーバーヘッドと高い符号距離で論理量子ビットをエンコードできる有望な解決策を提供しますが、決定的なボトルネックが残っています。それは、いかにしてこれらの符号を（特に超伝導ハードウェアのような）固定接続の量子チップ上に、ハードウェアの複雑さを劇的に増大させることなく実装するかという点です。

標準的なqLDPCの実装は、プロセッサ上で離れた場所にある量子ビット間の非局所的な相互作用を必要とすることがよくあります。エアブリッジや複数層のチップによる垂直統合などの既存のアプローチは、クロストーク、ルーティングの複雑さ、および製造の実現可能性に関する重大な課題をもたらします。具体的には、超伝導チップ上でのこれまでのqLDPC符号（例：二変量バイシクル符号）のデモンストレーションは、成長するシステムサイズに伴って性能が低下するか、あるいは符号距離に応じて複雑な多層ルーティングを必要とする近接局所カプラーに依存していました。

手法

著者らは、新しい一族のqLDPC符号である「バーベル符号（barbell codes）」と、その実行をネイティブにサポートするように設計されたチップ・アーキテクチャを導入しています。

1. バーベル・アーキテクチャ (6QSL+NLC)

著者らは、「6量子ビット・スター格子＋近接局所カプラー（6QSL+NLC）」レイアウトを提案しており、これをバーベル・アーキテクチャと呼んでいます。この設計は以下の2つの層で構成されます。

• 第1層（量子ビットと局所カプラー）： 量子ビットは、6量子ビット・スター格子（ハニカム構造）に配置されています。各六角形のセルには、可変カプラーを介して中央の要素に結合された6つの量子ビットが含まれています。これにより、セル内の任意の量子ビットペアが2量子ビット相互作用を実行できます。
• 第ニ層（近接局所カプラー）： この層は、第1層でマルチ量子ビット・カプラーを共有していない量子ビットのペアを接続する近接局所カプラーをホストします。極めて重要なことに、使用されるタイル符号の並進不変性により、すべての近接局所カプラーは平行であり、同じ固定長となります。これにより、エアブリッジを使用せずに単一のハードウェア層内でルーティングが可能となり、従来のqLDPCの提案と比較してルーティングが大幅に簡素化されます。

2. バーベル符号とシンドローム抽出

バーベル符号は、タイル符号（並進不変な2次元局所qLDPC符号の一族）の特定のバリアントです。

• 構成： 符号はX型およびZ型のタイルから構成されます。シンドロームは、近接局所カプラーを介してX型およびZ型のシンドローム量子ビットを結合するように設計されており、近接局所カプラーはX型およびZ型のシンドロームを接続するためにのみ使用されます。
• シンドローム抽出： 著者らは、**超高密度シンドローム抽出（superdense syndrome extraction）**を利用しています。このサイクルでは、X型およびZ型のシンドローム量子ビットのペアが近接局所カプラーを介して絡み合います。これにより、両方のシンドローム量子ビットが、両方のシンドロームに関連するデータ量子ビットから同時にシンドローム情報を収集することができます。
• 回路の深さ： 得られるシンドローム抽出回路は、スター格子の中心要素と近接局所カプラーを並列に使用することで、深さ12となります。

3. 論理演算

論文では、[YZL25]から適応したプロトコルを用いた論理マルチPauli測定について調査しています。これには、格子手術（lattice surgery）と同様に、コードパッチを拡張し、マージおよびスプリット・フェーズを実行するために補助領域を使用することが含まれます。これらの演算の接続要件は、バーベル符号のネイティブ・アーキテクチャと互換性があることが示されています。

主な貢献

1. 初のギャップフリー・プロトコル： 本論文は、符号距離がスケールしてもハードウェアの複雑さが増大することを必要としない、超伝導ハードウェア上でqLDILDPC符号を実装するための完全なプロトコルを提示しています。
2. ハードウェアの複雑さ： 著者らは、バーベル符号の実装に必要なハードウェアの複雑さが、符号距離が増加しても一定であることを示しています。近接局所カプラーの長さは固定されており、符号距離に依存せず、ルーティングは単一の層内に収めることができます。
3. 効率性： 提案されたアーキテクチャは、同等の距離を持つ標準的な回転表面符号（rotated surface code）と比較して、論理量子ビットあたりの物理量子ビットのオーバーヘッドを最大8倍低く抑えることができます。
4. 実現可能性の検証： 著者らは、すべてのハードウェア・コンポーネントの実現可能性について詳細な調査を行い、このレイアウトが実験的に実証された機能（例：フリップチップ、可変カプラー、近接局所カプラー）のみに依存していることを述べています。

結果

著者らは、一様な回路レベルのデポラリゼーション・ノイズ下で、バーベル符号の一族（具体的にはウェイト8のシンドローム）をシミュレーションしました。

• メモリ性能：

  • 物理エラー率が$10^{-4}$を超える距離14のバーベル符号は、数兆回のQECラウンド（「テラクオップ（teraquop）」領域への進入）にわたって情報を保持できます。
  • 物理エラー率が$10^{-3}$までの場合、距離$d$のバーベル符号は、同等の距離の表面符号パッチと同等の性能を示しますが、オーバーヘッドは大幅に低くなります。
  • 具体的な比較： 16個の論理量子ビットをエンコードするために400個のデータ量子ビットを使用し、物理エラー率を$10^{-3}$とした場合：
    • 表面符号： 距離5のパッチ16個は、ラウンドあたりの論理エラー率が$9.6 \times 10^{-4}$となります。
    • バーベル符号： 距離11のパッチ1個は、ラウンドあたりの論理エラー率が$8.8 \times 10^{-7}$となります（ほぼ3桁低い）。
  • 量子ビットのオーバーヘッド削減率は、表面符号と比較して7.0倍から8.0倍に達します。

• 論理演算：

  • 論理マルチPauli測定（論理$Z$）のシミュレーションでは、ラウンドあたりの論理エラー率はメモリ実験よりもわずかに高いだけであることが示されました。
  • これは、バーベル符号における論理量子ビット間の絡み合いゲートが、提案されたアーキテクチャにおいてフォールトトレラントに実現可能であることを示しています。

• ハードウェア複雑性指標：

  • 提案されたレイアウトのハードウェア複雑性指標（$C_{hw}$）は約1.65と算出されました。これは、同等のエンコーディング率を持つ他の既知のタイル符号よりも低く、二変量バイシクル（BB）符号（同様のパラメータで$C_{hw} > 3$）よりも大幅に低くなっています。

意義と主張

本論文は、固定接続の超伝導チップ上で効率的なqLDPC符号を実装するという課題を解決することを主張しています。バーベル・アーキテクチャとバーベル符号を導入することで、著者らは以下を実証しています。

• 高い符号距離と低いオーバーヘッドを、従来のqLDPCの提案に見られるような過度なハードウェアの複雑さを伴わずに達成することが可能です。
• このアプローチは、表面符号と比較して大幅な量子ビット・オーバーヘッドの節約（最大8倍）をもたらし、近未来および大規模な量子プロセッサの有力な候補となります。
• 近接局所カプラーは固定長かつ平行であるため、ハードウェアの複雑性は符号距離に応じてスケールせず、コードのサイズに関わらず均一なチップレイアウトが可能になります。

著者らは、本研究が超伝導ハードウェア上でのqLDPC符号の使用への道を開くものであると結論付けています。彼らは、デコーディングアルゴリズムのさらなる改善や、タイル符号上での非クリフォードゲート（H, S, T）のネイティブな実行が、今後の課題として残されていることも述べています。