Low-Overhead Quantum Error Correction with Boundary-Connected Planar Modules

実用的な量子コンピュータの夢は、一つのパラドックスの上に築かれています。これらのマシンは、古典的なスーパーコンピュータが数千年もかかる問題を解決することを約束しています。それは、新しい救命薬の設計から、私たちのデジタル世界を守るコードを解読することまで多岐にわたります。しかし、それらを強力にしている物理学そのものが、それらを極めて脆弱なものにしています。量子ビットと呼ばれる情報の最小単位は非常に敏感で、熱や振動のわずかなささやきさえもデータを破損させてしまいます。有用なマシンを構築するために、科学者たちは、多くの物理量子ビットを使用して単一の安定した「論理」量子ビットを作成するという、エラー訂正の保護層でこれらの脆弱な量子ビットを包み込まなければなりません。長年、この保護のための主要な戦略は、量子ビットを二次元の平面格子状に配置する手法である「表面符号（サーフェスコード）」でした。このアプローチは理論的にはうまく機能しますが、機能するために膨大な数の物理的コンポーネントを必要とし、一つの有用な計算のために数百万個の量子ビットを必要とする可能性があります。この膨大な要求はボトルネックを生み出しました。なぜなら、製造の限界や配線の密度の問題から、これほど多くのコンポーネントを持つ単一のチップを構築することは不可能に近いからです。

Google Quantum AIとGoogle DeepMindの研究チームは、数学的な仕組みを変えるのではなく、コンピュータの作り方を変えることで、このボトルネックを打破する方法を提案しました。巨大なモノリシックな格子を一つの巨大なチップに詰め込もうとする代わりに、彼らはプロセッサを、長距離配線による疎なネットワークによって接続された、より小さく管理しやすい平坦なモジュールに分割することを提案しています。これらのモジュールを特定のパターンで配置することで、チームは、ハードウェア自体は平坦なままでありながら、あたかも曲面や鞍型の表面に存在しているかのように振る舞う、新しいタイプの誤り訂正符号を作り出しました。シミュレーションにおいて、このモジュール設計は、標準的な表面符号と比較して、単一の論理量子ビットを保護するために必要な物理量子ビットの数を10分の1以上削減しました。より大規模で強力なシステムにおいては、その節約効果は30倍を超える可能性があり、実用規模の量子コンピュータの夢を、現実へと大きく引き寄せました。

核心となる課題は、誤り訂正の幾何学にあります。従来の表面符号は、平らなテーブルの上にあるパッチワークのキルトのようなもので、各正方形が量子ビットであり、エラーをチェックするルールは隣接する要素に依存します。これは製造には適していますが、実世界のアプリケーションに必要なレベルの保護を得るためには、そのキルトは膨大になり、膨大なリソースを消費することになります。研究者たちは、より優れた保護のための数学的ルールが、中心から離れるにつれて空間が急速に広がる、ポテトチップスやサドル（鞍）のような負の曲率を持つ形状に由来することに気づきました。そのような形状であれば、同じスペースにより多くの論理量子ビットを詰め込むことができます。問題は、サドル型の形をしたコンピュータチップを作ることは誰にもできないということです。シリコンウェハーは平らなのです。

これを解決するために、チームは平らなパーツを用いて、その曲面の幾何学をシミュレートする方法を考案しました。彼らは量子プロセッサを、それぞれ約100個の量子ビットを含む小さな平らなモジュールに分割しました。これらのモジュールは、そのエッジ部分で少数の長距離リンクによって接続されており、それがパーツ間の「継ぎ目」として機能します。これらの継ぎ目をどのように接続するかを注意深く設計することで、システム全体が曲面の特性を模倣するようにしました。研究者たちは、平らで製造しやすいタイルから構成されながらも、仮想的な曲面上に存在する「モジュラー双曲符号（modular hyperbolic codes）」と呼ぶ新しい一連の符号を開発しました。彼らは、実際のハードウェアで予想されるノイズやエラー（長距離接続がモジュール内の接続よりもわずかにノイズが多いという事実を含む）を考慮した詳細なコンピュータシミュレーションを用いて、これらの符号をテストしました。

シミュレーションの結果は驚くべきものでした。新しいモジュール設計は、標準的な表面符号と同じレベルの誤り保護を実現しながら、はるかに少ない物理量子ビットを使用しました。ある特定の例では、研究者たちは、距離22（エラーに対してどの程度耐えられるかを示す尺度）の論理量子ビットを保護するために、わずか36個の物理量子ビットのみを使用して、標準的な平面格子コードと同等の保護レベルを実現できることを発見しました。対照的に、同レベルの保護を持つ標準的な平面格子コードでは、1,000個以上の物理量子ビットが必要となります。また、このモジュール方式は堅牢性も証明されました。モジュール間の接続が内部の接続よりも10倍ノイジーであったとしても、システムは高い性能を維持しました。完璧な長距離リンクを構築することは困難であるため、この耐性は極めて重要であり、新しい設計は、リンクが不完全であってもシステムが良好に機能することを示しています。

単に情報を保存するだけでなく、研究者たちはこれらの保護された論理量子ビット上で計算を実行する方法も示しました。彼らは、基礎となる曲面の対称性を利用して、情報をシステム内を移動させ、論理演算を行う方法を設計しました。モジュールを床のタイルとして想像してください。研究者たちは、論理的な情報をエラー保護を壊すことなく、実質的にある場所から別の場所へと移動させるために、タイル全体のパターンをフォールトトレラント（耐故障）な方法でシフトさせる方法を見つけました。彼らはこれに、論理量子ビットの状態を測定し、処理のためにメモリに出し入れできる特殊な「リボン」システムを組み合わせました。これにより、システムは、算術の基本要素である50ビット加算器のような複雑なアルゴリズムを実行できる、ユニバーサルなコンピュータとして機能することが可能になります。

この研究の意義は、数字の面だけに留まりません。これは、長らく進歩の障壁と見なされてきた量子コンピュータ構築の物理的制約が、実は利点になり得ることを証明しています。モジュール式システムと長距離接続を構築しなければならないという事実を受け入れることで、研究者たちは、これまで平坦なチップ上では不可能と考えられていた高効率な符号の力を解き放つことができました。この設計は、高フィデリティのローカルゲートやモジュール間リンクなど、今日すでに研究所で実証されているコンポーネントに基づいています。論文は実物のフルシステムの実証ではなくシミュレーションに基づいたものですが、その結果は明確な道筋を示唆しています。誤り訂正符号をモジュール式のハードウェアアーキテクチャと共同設計（コ・デザイン）することで、チームは量子誤り訂正のためのリソースオーバーヘッドを劇的に削減できることを示し、真に有用な量子コンピュータの構築へのハードルを大幅に下げたのです。