Breakeven demonstration of quantum low-density parity-check codes

トラップイオン量子コンピュータの柔軟性と、新規な光メタステーブル基底アーキテクチャを活用することで、研究者らはハードウェアの再構成なしに9種類の異なる量子誤り訂正符号を実証し、高レートのqLDPC符号の論理誤り率が従来の超伝導方式の実績を大幅に上回り、かつ物理量子ビットの寿命に匹敵またはそれを上回るブレークイーブン性能を達成した。

要約

嵐の海を越えて、繊細なメッセージを送ろうとしている場面を想像してください。そのメッセージはあなたの「論理量子ビット（logical qubit）」（守りたい実際の情報）であり、それを運ぶ船は「物理量子ビット（physical qubits）」（波に濡れたり損傷したりしやすいハードウェア）でできています。

長い間、科学者たちは、メッセージが船の木材そのものよりも長く生存できるほど頑丈な船を作る方法を模索してきました。これは**「ブレークイーブン・ポイント（損益分岐点）」**に到達することと呼ばれます。もしメッセージが船よりも長く持ちこたえたなら、あなたはエラーとの戦いに勝利したことになります。

IonQによるこの論文は、トラップイオン量子コンピュータを用いて、この戦いにおける大きな勝利を報告しています。彼らが何を行ったのか、簡単に説明します。

1. 問題点：「近所付き合い」の制約

今日のほとんどの量子コンピュータは、家（量子ビット）が隣の家にしか話しかけることができない「近所」のようなものです。メッセージを守るために、彼らは「表面符号（Surface Code）」を使用します。これはメッセージの周囲に巨大な壁を築くようなものです。問題は、この壁が非常に巨大であることです。一つの情報を守るために、数百個のレンガ（物理量子ビット）が必要になることもあります。これは非常にコストがかかり、非効率的です。

より新しく、よりスマートな設計図としてqLDPC符号があります。これらは、メッセージが単なる隣人だけでなく、建物全体に広がる接続の網によって守られる、ハイテクなセキュリティシステムのようなものです。これにより、より少ないレンガでより多くの情報を守ることができます。しかし、これらの「長距離」の接続を構築することは、ほとんどの機械が部屋の端まで届かないため、ハードウェアエンジニアにとって通常は悪夢のような作業です。

2. 解決策：「魔法のリモコン」

IonQのチームは、隣同士を繋ぐ物理的なワイヤーに依存しないというユニークな特徴を持つ、トラップイオンコンピュータを使用しました。代わりに、彼らは魔法のリモコンのように機能するレーザー（ラマン光）を使用します。

• 可動パーツなし： 彼らは原子（イオン）を物理的に動かす必要はありません。レーザーは、列の中のどの原子、あるいはどのペアに対しても、どれだけ離れていても瞬時に照らすことができます。
• 「OMG」トリック： メッセージが安全かどうかを確認するには、「囚人（データ量子ビット）」を邪魔することなく、「警備員（アンシラ量子ビット）」を覗き見る必要があります。通常、これには警備員を別の部屋に移動させるか、状態を安定させるための追加の「冷却用」原子を使用する必要があります。
  • 彼らの革新： 彼らは、OMG（Optical-Metastable-Ground）アーキテクチャと呼ばれる巧妙なトリックを使用しました。囚人全員を「タイムアウト（一時停止）」の部屋（メタステーブル状態）に入れ、レーザーから見えない状態にすると想像してください。そして、警備員だけを選択的にメインルームに戻して、状態を確認し、冷却し、再びタイムアウトに戻すのです。
  • 結果： 彼らは原子を動かしたり、追加の冷却用原子を使用したりすることなく、すべてをその場で行いました。これにより、膨大な時間とスペースを節約できました。

3. 実験：異なる設計図のテスト

彼らの「魔法のリモコン」は非常に柔軟であるため、異なるセキュリティ設計図をテストするためにマシンを作り直す必要はありませんでした。彼らは全く同じハードウェア上で9種類の異なる符号をテストしました。

• qLDọc符号： 高効率で長距離接続が可能な符号。
• トポロジカル符号： ドーナツ（トーラス）の形状に基づいた符号。
• 連結符号： 小さな安全網をより大きな安全網の中に包み込むような符号。

4. 結果：競争相手を打ち負かす

チームは2つの大きな節目を達成しました。

• 過去の記録を更新： 彼らは、18個の物理量子ビットに4つの情報をエンコードする特定の符号（BB5）をテストしました。異なるタイプのハードウェア（超伝導チップ）を用いた以前の実験では、この同じ符号を試みましたが、エラーに苦戦していました。IonQのバージョンは、「Zエラー」の阻止において4倍、「Xエラー」の阻止において9倍優れていました。
• 「ブレークイーブン」の線を越える： これが最大のニュースです。彼らは「論理的」な情報が、物理的な原子と比較してどれくらい長く生存したかを測定しました。
  • 特定の符号において、論理情報は3.95秒間生存しました。
  • 一方、物理的な原子自体の生存時間はわずか3.3秒でした。
  • 比喩： メッセージは、それが乗っていた船よりも長く生き残りました。これが「ブレークイーブン・ポイント」です。

まとめ

この論文を、柔軟にレーザー制御された船団（トラップイオン）が、メッセージを安全に保つためにスマートな長距離セキュリティネット（qLDPC符号）を使い、メッセージが単独で存在するよりも長くメッセージを維持できることを実証したものだと考えてください。

彼らは、優れた結果を得るために巨大で硬直したマシンを構築する必要はないことを証明しました。代わりに、機械のどの部分とも即座に「会話」できる柔軟なシステムを使用することで、高度な保護を実現しました。これは、大規模でフォールトトレラント（耐故障性）な量子コンピュータを構築するための重要なステップです。彼らは、部品を動かしたり追加の冷却剤を使用したりすることなく、このプロセスをはるかに効率的に行いました。

技術概要

技術要約：量子低密度パリティ検査符号のブレークイーブン（損益分岐点）の実証

問題提起
フォールトトレラント量子計算（FTQC）には、広範な量子誤り訂正（QEC）が必要である。表面符号は、2次元近接相互作用アーキテクチャとの適合性から有力な選択肢であるが、膨大な量子ビットオーバーヘッドを伴い、1つの論理量子ビットあたり数百の物理量子ビットを必要とする。量子低密度パリティ検査（qLDPC）符号は、局所性の制約を緩和することで、より高い符号化率とオーバーヘッドの削減を可能にし、有望な代替案を提供している。しかし、qLDica符号の実験的な実現は、非局所的なゲートや複雑なハードウェア再構成の必要性によって阻まれている。特定の二変量バイシクル（BB）符号を用いた超伝導量子ビットによる先行研究では、長距離結合器を備えた専用のハードウェアを必要とし、達成された論理エラー率は物理量子ビットの寿命と比較してまだ競争力のあるレベル（ブレークイーブン）に達していなかった。

手法
著者らは、40個の$^{133}\text{Ba}^+$イオンからなる静止した鎖を利用したトラップイオン量子コンピュータを用いた。このシステムは、以下の2つのアーキテクチャ上の利点を活用している：

1. 全対全結合性（All-to-All Connectivity）： ゲートは、任意のイオンまたは一対のイオンをアドレス指定するステアラブル・ラマンビームを用いて実装され、物理的なイオン輸送の必要性を排除している。
2. 光メタステーブル・グラウンド（OMG）アーキテクチャ： 専用の冷却用イオンを必要とせずに、アドレス指定可能な中間回路測定（MCM）およびリセットを可能にする新しい実装。
   • メカニズム： アイドル状態の量子ビットは、グローバルな1762 nmビームを使用してメタステーブル・マニホールド（$5^2D_{5/2}$）へと「シェルフ（棚上げ）」される。特定の「リードアウト・アンシラ」は、測定のために選択的にグラウンド状態（$6^2S_{1/2}$）へと「デシェルフ（棚卸し）」される。
   • 共鳴冷却（Sympathetic Cooling）： 測定されたアンシラは、系全体を共鳴冷却するために使用され、輸送ベースのシステムで通常最大50%を占める専用の冷却用イオンの必要性を排除する。
   • リークスの取り扱い： システムは、蛍光チェックを通じて量子ビット・マニホールドからのリークを検出する。主要なアプローチは事後選択（リークが検出されたショットを破棄すること）であるが、著者らはこれが条件付きリセットによってエラー（erasures）に変換可能であることも述べている。

実験では、ハードウェアの再構成を行うことなく、3つのファミリーにわたる9つの異なる量子誤り訂正符号を実証した：

• qLDPC符号： 3つのBB5バリアントと2つのGB4符号（重み4のスタビライザー）を含む5つの符号。
• トポロジカル符号： 標準的なトーリック符号（$d=3$）およびその回転型（$d=4$）。
• 連結符号： 自らに連結された$[[4, 2, 2]]$符号。

メモリ実験は、論理固有状態（$X_L$および$Z_L$）を準備し、シンドロームサイクル（最大6サイクル）を繰り返すことで行われた。シンドロームデータはビームデコーダを用いてデコードされた。

主要な結果

• 論理エラー率： 18個の物理量子ビットに4つの論理量子ビットをエンコードするBB5符号を用いて、著者らは、同様のBB符号（32個のトランズモンを用いて4つの論理量子ビットを18個の物理量子ビットにエンコード）を用いた先行の超伝導デモンストレーションよりも大幅に低い論理エラー率を達成した。具体的には、論理エラー率は、超伝導体のベンチマークと比較して、Zエラーに対して4倍、Xエラーに対して9倍低い。
• ブレークイーブン性能： 本研究は、qLDPC符号におけるブレークイーブン性能の最初の実証を報告している。論理量子ビットの寿命は、基礎となる物理量子ビットの寿命と同等、あるいは場合によってはわずかに上回った。
  • 最も優れた性能を示した符号インスタンス（GB4 $[[26, 2, 5]]$）は、3.95 $\pm$ 0.68 s の論理量子ビット寿命を示し、これは物理量子ビットの 3.3 $\pm$ 0.9 s と比較して優れていた。
  • BB5 $[[18, 4, 3]]$ 符号については、論理寿命は物理量子ビットの寿命（$X_L$に対して $T_2^* \approx 1.1 \pm 0.3$ s、$Z_L$に対して $T_1 \approx 3.3 \pm 0.9$ s）と同等であった。
• 柔軟性： 同一のハードウェアを用いて、ゲートシーケンスと量子ビットマッピングのソフトウェア再構成のみによって、極めて異なる結合要件（局所的なトーリック符号から高度に非局所的なqLDPC符号まで）を持つ符号を実装した。

意義および主張
本論文は、この研究が、量子ビット効率の高いフォールトトレラント・アーキテクチャに向けた重要な節目であることを主張している。著者らは、トラップイオンシステムの柔軟性を活用することで、高レートのqLDPC符号を、これまで実験的実現を制限してきたハードウェアの制約なしに実装できることを示した。qLDPC符号におけるブレークイーブン性能（論理量子ビットが物理量子ビットと同等またはそれ以上の寿命を持つこと）の成功した実証は、これらの符号が第一世代のFTQCにとって実行可能な候補であることを示唆している。新しいOMGアーキテクチャの実装は、イオン輸送や専用の冷却種を必要としないスケーラブルな中間回路測定および冷却を可能にする重要なイネーブラーとして強調されている。本研究は、トラップイオンデバイスが、qLDPC符号に必要な複雑な結合性を実現するための自然なプラットフォームであることを裏付けている。