Quantum memory based on concatenating surface codes and quantum Hamming codes

本論文は、表面符号と量子ハミング符号を連結するハイブリッド量子メモリアーキテクチャを提案し、このアプローチが表面符号単独と比較して高い誤りしきい値と優れた論理誤り抑制を実現することを示すことで、近い将来の小規模および将来の大規模なフォールトトレラント量子計算の両方にとって有望な道筋を提供するものである。

要約

巨大で極めて繊細なガラスの城を建てようとしていると想像してください。目標は、その城を永遠に立たせ続けることですが、城を取り巻く空気には、常に城の部品を崩そうとする微小で目に見えない「ほこりのウサギ（エラー）」が満ちています。量子コンピュータの世界において、これらの「ガラスの部品」は情報のビットであり、「ほこりのウサギ」は計算を台無しにするノイズです。

城を救うためには、セキュリティシステムが必要です。この論文は、サーフェス・ハミング符号と呼ばれる新しい二層構造のセキュリティシステムを紹介しています。その仕組みを簡単に説明しましょう。

二重の防御ライン

この問題を、それぞれ得意分野と不得意分野を持つ二種類のセキュリティガードがいると考えることができます。

1. サーフェス符号（近所見守り隊）：
   家々がすべてフェンスで囲まれた町を想像してください。もし岩が家に投げつけられたら、近所の人々がすぐにそれを見て修復します。このシステムはトラブルを素早く発見するのに優れており、ノイズに対する耐性が高い（町全体が崩壊する前に多くの岩を受け止められます）という利点があります。しかし、多くの家を守るためには、巨大なフェンスの壁を建設する必要があり、膨大なスペースとリソースを消費してしまいます。

2. 量子ハミング符号（効率的な管理者）：
   次に、少数の人々を緊密なチームにまとめることができる非常に効率的な管理者を想像してください。この管理者は非常に賢く、スペースをほとんど使いません。しかし、ノイズが大きくなりすぎると（岩が投げつけられすぎると）、この管理者は圧倒され、チーム全体が崩壊してしまいます。

論文の大きなアイデア：
著者たちは、これら二つを組み合わせることにしました。頑丈でノイズ処理に優れているため、サーフェス符号を「基礎」（下層）として採用し、その上に情報を効率的に整理する量子ハミング符号を積み重ねました。

彼らはこの新しいハイブリッドシステムをサーフェス・ハミング符号と呼んでいます。

ハイブリッドシステムの仕組み

これを二人のランナーによるリレーレースのように考えてみましょう。

• ランナー 1（サーフェス符号）： まず、ノイズの混じったデータがサーフェス符号に到達します。このランナーは強く、最大で最も明らかなエラーをキャッチします。混乱を整理し、修正された情報という「バトン」を次のランナーに渡します。
• ランナー 2（ハミング符号）： ハミング符号は、そのよりクリーンな情報を受け取り、整理します。サーフェス符号が重労働を担ったおかげで、ハミング符号はそれほど無理をして働く必要がありません。これにより、非常に効率的に働き、スペースを最小限に抑えることに集中できます。

彼らは何を見出しましたか？

研究者たちは、このチームのパフォーマンスを評価するために、何千回ものコンピュータシミュレーション（ビデオゲームでリレーレースを何度も繰り返すようなもの）を実行しました。

1. 高い耐性： サーフェス符号を基盤として使用することで、ハミング符号単独では処理できなかったよりもはるかに多くのノイズをシステム全体で処理できます。これは、効率的な管理者にボディガードをつけるようなもので、よりノイズの多い環境でも活動できるようになります。
2. 誤り阻止の向上： このハイブリッドシステムを、巨大なサーフェス符号（近所見守り隊のみ）の使用と比較したところ、驚くべき結果が得られました。中規模の城（中規模の「量子メモリ」）の場合、ハイブリッドチームは、ほぼ同じ量の建築資材（リソース）を使用しながらも、巨大な近所見守り隊よりも誤りを少なく抑えました。
3. 「絶好調」の領域： ハイブリッドシステムは、中規模のものを構築する際に最も輝きます。これは必ずしも最小のものや、現時点での絶対的な最大理論限界にとって最良というわけではありませんが、科学者たちが計画している「近い将来」の実験には完璧です。

注意点（「しかし…」）

論文はいくつかの重要な点に言及しています。

• 相関エラー： 時には、ガラスの一片が割れると、連鎖反応を引き起こして隣接する片も割れてしまうことがあります。研究者たちは、この新しいシステムがこれらの「連鎖反応」を非常にうまく処理することを見出しました。これは大きな利点です。
• 「完璧」な仮定： 彼らのシミュレーションでは、セキュリティガード自身（測定ツール）が決して間違いを犯さないと仮定していました。現実世界では、ガードは疲れたり混乱したりするかもしれません。論文は、ガードが間違いを犯した場合、システムはシミュレーションが示すほど完璧ではない可能性があることを認めていますが、それでも近い将来に実用的な量子コンピュータを構築するための非常に有力な候補であり続けることを示しています。

まとめ

要約すると、著者たちは頑丈な基礎の上に効率的な屋根を載せたような量子メモリを構築しました。この組み合わせにより、頑丈な基礎のみを使用する場合よりも、誤りが少なく、無駄なスペースも少なく量子情報を保存できるようになります。特に、近い将来に構築することが期待されているコンピュータのサイズにおいてはそうです。これは、我々の繊細な量子ガラスの城を高く保ち続けるための有望な新しい方法です。

技術概要

技術的概要：表面符号と量子ハミング符号を連結した量子メモリ

問題提起
大規模なフォールトトレラント量子計算を実現するには、高い誤り閾値、低いリソースオーバーヘッド、効率的な復号アルゴリズムを両立する量子誤り訂正符号（QECC）が必要です。表面符号は高い閾値と局所的なゲート要件を提供しますが、膨大なリソースオーバーヘッドと複雑な復号を必要とするという欠点があります。一方、量子低密度パリティチェック（LDPC）符号は一定の空間オーバーヘッドを約束しますが、多くの物理プラットフォームにとって困難な非局所的なゲートを通常必要とします。連結量子ハミング符号は、一定の漸近的空間オーバーヘッドと効率的な復号を提供する候補として提案されてきましたが、以前の分析では、各連結レベルにおいて誤りが独立であると仮定されることが多かったです。実際には、下位レベルでの誤り訂正が上位レベルにおいて相関した誤りを誘発する可能性があるため、閾値とオーバーヘッドを正確に推定するには、復号プロセスの完全なシミュレーションが必要です。

手法
著者は、「表面 - ハミング符号」と呼ばれるマルチ量子ビット量子メモリアーキテクチャを提案し、数値シミュレーションを行いました。これは、最下位レベルの表面符号と上位レベルの量子ハミング符号を連結したものです。

• アーキテクチャ: この方式は、多段階の連結構造を利用します。標準的な連結量子ハミング符号では、レベル 0 のレジスタは物理量子ビットです。提案された表面 - ハミング変種では、レベル 0 のレジスタが距離 $d$ の表面符号のブロックに置き換えられます。上位レベル（$l \geq 1$）では、量子ハミング符号 $[[2^{l+3}-1, 2^{l+3}-2(l+3)-1, 3]]$ が利用されます。
• 誤りモデル: シミュレーションでは、物理データ量子ビット上でビット反転誤りと位相反転誤りが確率 $p$ で独立して発生すると仮定します。シンドローム抽出と測定回路は誤りがないと仮定し、符号の固有の性質を孤立させて評価します。
• 復号アルゴリズム: 再帰的なボトムアップ復号戦略が採用されます。
  1. レベル 0: 表面符号ブロックは、最小重み完全マッチング（MWPM）アルゴリズムを用いて復号されます。
  2. 上位レベル: 表面符号の出力（ノイズのある論理量子ビット）が、連結量子ハミング符号の入力となります。これらは、シンドローム値 $N$ に基づいてシンドロームを計算し、補正演算子を適用する再帰的ハミング符号復号器を用いて復号されます。
• 相関誤り解析: 論理誤りを次のレベルへの独立した入力として扱う以前の反復アプローチとは異なり、本研究では復号プロセス全体に対するフルモンテカルロシミュレーションを実施します。これにより、単一の訂正失敗が複数の論理量子ビットに同時に影響を与える可能性のある相関した論理誤りの追跡が可能になります。著者は、誤り閾値の存在に必要となる条件である、これらの誤りの「局所的に減衰する」性質を検証しました。

主要な貢献と結果

1. 連結ハミング符号における誤り閾値の存在:
   相関誤りを考慮した包括的な数値シミュレーションを通じて、著者は連結量子ハミング符号に誤り閾値が存在することを確認しました。レベル 3 まで連結された符号の場合、閾値は約 $p_{th} \approx 1.5\%$ と推定されます。この結果は、あるレベルでの論理誤りが相関していても、誤りが局所的に減衰する限り成り立ちます。

2. 表面 - ハミング連結による閾値の向上:
   レベル 0 の物理量子ビットを表面符号に置き換えることで、誤り閾値は大幅に増加します。閾値は基礎となる表面符号のサイズ（$d$）に依存してスケーリングします。

   • $d=3$: 閾値 $\approx 1.3\%$
   • $d=5$: 閾値 $\approx 3.4\%$
   • $d=21$: 閾値 $> 6.5\%$
     著者は、表面符号のサイズが増加するにつれて、閾値が表面符号自体の閾値に近づくことを観察しました。

3. 中間スケールにおける優れた論理誤り抑制:
   比較可能なリソースオーバーヘッド（物理量子ビット数）を持つ単独の表面符号と比較した場合、表面 - ハミング符号は論理誤りの抑制において優れた性能を示します。

   • 物理誤り率が $p \approx 1\%$ の場合、レベル 1 まで連結された $d=3$ の表面符号を用いた表面 - ハミング符号は、$d=4$ の単独表面符号よりも約 1 桁低い論理誤り率を達成します。
   • レベル 2 まで連結された $d=3$ の表面符号を用いた表面 - ハミング符号は、$d=7$ の単独表面符号を上回る性能を発揮しながら、約半分のリソースオーバーヘッド（論理量子ビットあたり 41 対 85 の物理量子ビット）で済みます。
   • この利点は、漸近的な極限ではなく、中間スケール（例えば、数十から数百の論理量子ビットを符号化する場合）で最も顕著に現れます。

4. 復号時間の分析:
   本研究では、CPU と GPU 両方における復号時間を推定しました。ハミング復号器の再帰的な性質により、並列化なしの CPU では指数関数的な時間複雑性が生じますが、GPU での並列実行によりこれが大幅に緩和されます。著者は、連結レベルが 4 未満の場合、指数項の係数が小さいため、MWPM による復号を行う表面符号と比較して、理論的なスケーリングの違いにもかかわらず、連結量子ハミング符号が CPU ハードウェアにおいて計算上の優位性を示すと指摘しています。

意義と主張
本論文は、表面符号と量子ハミング符号を連結することが、近い将来に小規模なフォールトトレラント量子回路を実証するための有望な道筋を提供すると主張しています。このアーキテクチャは、高い誤り閾値、低いリソースオーバーヘッド、効率的な復号を提供し、フォールトトレラント量子計算の競争力のある候補となります。

著者は明示的に、本研究が完全なシンドローム抽出を仮定した条件下での符号の固有の性質に焦点を当てていると述べています。量子ハミング符号は LDPC 符号ではなく、深いシンドローム抽出回路を必要とする可能性があり、これにより閾値を低下させる測定誤りが導入される可能性があることを認めています。しかし、先行研究を引用し、これが利点を否定するものではない可能性を示唆しています。論文は、中間スケールのメモリにおいては利点が明確である一方で、シンドローム抽出誤りを含む現実的な誤りモデル下でこれらの利点が維持されるかどうかは、将来の研究における未解決の問題であると結論付けています。