Quantum error correction with the toric code

要約

あなたは、秘密のメッセージを安全に守りながら、人々が偶然ぶつかってきたり、書類を落としたり、あるいは煙のように消えてしまったりするような、混沌とした騒がしい部屋を通り抜けようとしていると想像してください。これが、量子コンピューティングが直面している課題です。すなわち、量子ビット（qubit）という繊細な情報を、エラーから守りながら、有用な作業ができる時間だけ安全に保持することです。

Atom Computing社とその共同研究者によるこの論文は、光のビーム（目に見えないピンセットのようなもの）によってトラップされた中性原子（微小で中性な物質の粒子）を用いて、その秘密のメッセージを保護するための、極めて回復力の高い新しい方法に関する「成績表」のようなものです。

以下に、彼らの成果を簡単な比喩を用いて解説します。

1. 問題点：「穴の開いたバケツ」

多くの量子コンピュータでは、情報を保持する「バケツ」（量子ビット）には穴が開いています。

• 加熱： 原子が作業を行う過程で熱を持ち、それが原因で原子が揺れ動き、状態を失ってしまいます。
• 消失： 時には、原子が光のトラップから完全に脱落してしまうこともあります。
• 従来の方法： 以前は、もし原子を一つ失うと、実験全体を停止させなければなりませんでした。原子を入れ替えるプロセス自体が他の原子の状態を乱してしまうため、単純に入れ替えることができなかったのです。これにより、「バケツ」が空になる前に、計算を実行できる時間は非常に短くなっていました。

2. 解決策：原子の「コンベアベルト」

チームは、「スペアパーツ置き場」を備えたハイテクな組立ラインのようなシステムを構築しました。

• 各ゾーン： 彼らは、原子のために異なる部屋を用意しています。思考を行うレジスタ（Register）、エラーをチェックする測定ゾーン（Measurement Zone）、スペアパーツ置き場であるストレージゾーン（Storage Zone）、そして巨大なリザーバー（MOTと呼ばれるもの）から新しい原子がやってくる**ローディングゾーン（Loading Zone）**です。
• ミッドサーキット・スワッピング（回路中での入れ替え）： これが魔法のようなトリックです。コンピュータが動作している最中に、彼らは原子を測定して、それが正常かどうかを確認できます。もし原子が失われたり、熱くなりすぎたりしていても、ショーを止める必要はありません。代わりに、ストレージ置き場から新鮮で冷たい原子を瞬時に取り出し、「悪い」原子と入れ替えることができるのです。
• 置き場の補充： ストレージ置き場も、いずれは空になります。そこで、彼らはコンピュータが稼働している間に、巨大なリザーバーからストレージ置き場へと新しい原子を送り込み、補充するためのパイプラインを構築しました。

3. ゲーム：「トーリックコード」（ドーナツのパズル）

情報を保護するために、彼らは**トーリックコード（Toric Code）**と呼ばれる特定の誤り訂正コードを使用しています。

• 比喩： 情報がドーナツ（トーラス）の表面に書き込まれていると考えてください。このコードは、情報をドーナツ全体に分散させます。もし数箇所に傷がついた（エラーが発生した）としても、ドーナツ全体の形は保たれるため、メッセージを読み取ることができます。
• ひねり： 彼らは、自分たちの特定の原子配列に適合させるために、このドーナツ型の「ひねりのある」バージョンを使用し、より効率的にしました。

4. 実験：レースの実行

彼らはこのシステムを2つの方法でテストしました。

A. 「閾値下」テスト（サイズが大きくなると助けになるか？）
彼らは、2つの異なるサイズの「ドーナツ」を用いて誤り訂正を実行しました。一つは小さなもの（データ原子16個）、もう一つは大きなもの（データ原子32個）です。

• 結果： 大きなドーナツの方がエラーが少なくなりました。これは極めて重要な節目です。これは、保護を増やすことが、単に「失敗する要素」を増やしているのではなく、実際に効果があることを証明しています。それは、荒れた海の中でも、小さなライフジャケットよりも、より大きく厚みのあるライフジャケットの方が安全であることを示すようなものです。

B. 「エンドレス」テスト（どれくらい長く続けられるか？）
彼らは、90サイクル（チェックと修正のラウンド）にわたって誤り訂正を実行しました。

• 結果： 個々の原子の寿命は約10秒（失われたり熱くなったりするまで）ですが、論理的な情報（秘密のメッセージ）は3分以上生存しました。
• 比喩： これはリレーレースのようなものです。ランナー（原子）は、倒れてしまう前にわずか10秒間しか走れません。しかし、彼らが新鮮なランナーと即座に入れ替わる完璧なシステムを持っているため、バトン（情報）は一度も落とされることなく、3分間走り続けることができるのです。

5. 判定

この論文は、彼らが以下のことができるシステムを実証したと主張しています。

1. 動作を止めることなく、繰り返しエラーを検出すること。
2. 失われた原子を即座に入れ替えること。
3. コンピュータが稼働している間に供給を補充すること。
4. 単一の物理的な原子が自力で生存できる時間よりも、情報を長く保持すること。

彼らは、「データ」原子と「ヘルパー」原子の役割を絶えず入れ替え、供給を常に更新し続けることで、量子コンピュータが情報の劣化なしに、必要な限り無期限に稼働し続けられることを示しました。これは、量子コンピュータを単に数秒間動かすだけでなく、複雑なプログラムを必要な期間実行できるようにするための、基礎的な一歩となります。

技術概要

技術要約：中性原子プラットフォームにおけるトーリック符号を用いた量子誤り訂正

問題提起
中性原子アレイは、高い量子ビット数、任意の結合性、および急速に向上するゲート忠実度により、大規模量子コンピューティングへの競争力のある経路を提供しているが、決定的なボトルネックが依然として存在する。それは、スケーラブルな誤り訂正の反復的な実証である。これまでの実証は、物理量子ビットから論理量子ビットへの遷移に焦点を当ててきたが、任意の深さまでスケーラブルな反復シンドローム抽出にはまだ到達していない。原子プラットフォームにおける特有の課題は、原子の加熱（ゲート忠実度の低下を招く）や原子の消失（特に読み出し時）など、時間の経過とともに性能を低下させる誤りメカニズムの階層構造である。これらの制限を克服するには、中回路測定、量子ビットのリセット、および、残りの論理状態に過度なデコヒーレンスを導入することなく外部ソースから量子ビットを継続的に補充できるシステムが必要である。

手法
著者らは、光トラップに閉じ込められた$^{171}\text{Yb}$原子を用いた、ゾーンベースの中性原子量子プロセッサを利用している。アーキテクチャは、レジスタ（RZ：単一量子ビットゲート用）、相互作用ゾーン（IZ：2量子ビット制御Z（CZ）ゲート用）、測定ゾーン（MZ：非破壊イメージング用）、および予備の原子を保持するためのストレージゾーン（SZ）という、4つの異なる機能ゾーンで構成されている。さらに、新鮮な原子を無限に供給するために、ローディングゾーン（LZ）が磁気光学トラップ（MOT）に接続されている。

核となる実験プロトコルは、以下の3つの主要な機能を統合している：

1. 中回路測定およびリセット（MCM）： 原子は状態選択的イメージングのためにMZへ輸送される。特定された消失はフラグ立てされ、原子はリセットまたは置換される。
2. ロール・スワッピング（役割の入れ替え）： 特定の原子への加熱や消失の蓄積を軽減するため、シンドローム抽出サイクルごとにデータ量子ビットとアンシラ量子ビットの役割を入れ替える。これにより、すべての物理原子が、測定およびリセットが行われる前に、限定された回数の操作に参加するように設計されている。
3. 継続的なリロード： SZは、MOTからLZを介して周期的に中回路で補充される。これには、原子の輸送、純化のための光補助衝突（LAC）の実行、およびアレイの再配置が含まれるが、これらを行う間も計算量子ビットのコヒーレンスは維持される。

著者らは、**ツイスト・トーリック符号（twisted toric code）**を実装している。これは、修正された境界条件を持つ2D格子上で定義されたトポロジカル誤り訂正符号である。彼らは2つのコード距離をテストした：距離8のバリアント（16個のデータ量子ビット、16個のアンシラ量子ビット）と、距離16のバリアント（32個のデータ量子ビット、32個のアンシラ量子ビット）である。シンドローム抽出回路は、フックエラーを防ぐためにX型およびZ型のスタビライザーをインターリーブ（交互に配置）している。デコーディングは、原子の消失をエレイシャー誤差として考慮した検出器エラーモデルを用いたPyMatchingによって行われる。

主な貢献

• 不定的なシンドロメ抽出： 本論文は、中回路での量子ビットリロードを伴う、トーリック符号における反復的なシンドローム抽出の最初の実行を実証し、動作を90サイクルまで拡張した。
• 統合されたフォールトトレラント構成要素： 本研究は、連続的なローディング、中回路測定、および量子ビットの再利用を単一のフォールトトレラントメモリ回路に統合し、原子の消失と加熱によって課される深さの制限を克服した。
• 閾値下挙動： 著者らは2つのコード距離（dist 8 および dist 16）について論理誤り率を特性化し、より大きな距離のコードがより低い絶対論理誤り率を示すことを観察した。これは、閾値下の挙動を示すものである。
• 物理的寿命を上回る論理的寿命： 反復符号を用いて、論理情報を225(33)秒間保持できることを示し、これは個々の物理原子のトラップ寿命（約10秒）を大幅に超えている。

結果

• シンドローム抽出の安定性： ロール・スワッピングと周期的なリロードを実装することで、検出確率（$P_d$）は70〜90サイクルの間で安定している。リロードなしでは、ストレージゾーンの枯渇によりシステムは約15サイクル後に失敗する。リロードプロセスは、小さな一時的な検出確率の上昇（サイクルあたり約1.6%のコントラスト損失）を導入するが、定常状態の誤り率を維持する。
• 論理誤りの抑制： リロードなしの実験（8サイクルまで）では、距離16のコード（$\epsilon^Z_{cycle} \approx 0.56\%$）は、距離8のコード（$\epsilon^Z_{cycle} \approx 0.74\%$）よりも低い論理誤り率を示し、誤り抑制因子 $\Lambda \approx 1.3$ を得た。
• 深いサイクルにおける性能： リロードを有効にした場合、両方のコード距離における論理誤り率は90サイクルにわたって一定であり、より大きなコード距離や延長された時間による誤り率の上昇は見られなかった。
• 誤りの発生源： シミュレーション分析によれば、2量子ビットゲートエラーが論理誤りの最大の単一の発生源であり、一方で、消失チャネルの総寄与は確率的なエラーの寄与を上回っている。
• 論理的寿命： 距離7の反復符号において、論理的寿命は $\tau_L = 225(33)$ 秒と測定された。これは物理的な原子の寿命である約10.5秒を大幅に上回っており、マクロな時間スケールでの持続的な誤り抑制を実証している。

意義
本論文は、中性原子プラットフォームを用いて、非局所的な結合（2D平面幾何学ではアクセス不能）を必要とする符号における、連続的なシンドローム抽出の最初の実証であると主張している。役割を入れ替え、失われた量子ビットを置き換え、MOTからリロードするという、不定的な動作に必要な物理的コンポーネントを統合することで、著者らは実用規模の量子コンピューティングへの道筋を確立した。閾値下の挙動（より大きなコードの方が低い論理誤り率を示すこと）の観察、および構成要素である物理的な寿命をはるかに超えて論理情報を保持できる能力は、このプラットフォームがスケールアップした際に有用な誤り率に到達できることを示す心強い指標として提示されている。著者らは、現在の結果は控えめなものであるものの、このアーキテクチャは他の量子誤り訂正符号や実用規模のアプリケーションにも汎用可能であると述べている。