Full Extractors for Logical Processing in Hypergraph Product Codes

今日のコンピュータの能力を超える問題を解決できるコンピュータを構築するために、科学者たちはまず、根本的な問題、すなわち「いかにして壊れやすい情報を安全に保つか」という問題を解決しなければなりません。量子コンピュータは、デリケートな状態に存在する粒子を使用していますが、これらの状態は熱やノイズによって容易に崩れてしまいます。これを防ぐために、研究者たちは量子誤り訂正、つまり、一つの情報を多くの物理粒子に分散させる手法を用いています。もし一つの粒子が故障しても、他の粒子が真実を保持します。今日、これを行う最も一般的な方法は、「表面符号（サーフェスコード）」と呼ばれる格子状の構造を用いる方法です。これは信頼性は高いものの、わずかな情報を保存するためだけに膨大な数の物理粒子を必要とします。この高いコストが、大規模なコンピューティングを困難にしています。より新しいクラスの符号である「量子低密度パリティ検査符号（quantum low-density parity-check codes）」は、はるかに少ない粒子で同じ量の情報を保存する方法を提供しますが、粒子間の接続が複雑で現在のハードウェアで構築するのが難しいため、実際の計算に使用するのは困難でした。

マサチューセッツ工科大学の研究チームは、現在、この溝を埋めるシステムを設計しました。彼らは、以前は必要と考えられていた複雑で再構成可能な接続を必要とせずに、これらの効率的な符号上で計算を実行する方法を作り出しました。研究者たちは、メインの量子メモリに取り付けられた特殊な補助システムである「フル・エクストラクター（完全抽出器）」と呼ばれるものを作成しました。これらの抽出器は測定ツールとして機能し、量子メモリにエンコードされた特定の情報を、他の部分を乱すことなく読み取ることを可能にします。これらのツールを検証済みの小さなコンポーネントから組み立てることで、チームは、ハードウェアの接続を単純かつ固定したまま、特定の種類の効率的な符号におけるあらゆる論理演算を測定できることを実証しました。

チームが取り組んだ核心的な課題は、これらの効率的な符号に格納された情報をどのように測定するかという点でした。量子コンピュータでは、単にデータを見てそれが何であるかを知ることはできません。なぜなら、見るという行為自体が情報を破壊してしまうからです。代わりに、「コード手術（code surgery）」と呼ばれるプロセスを用いて、間接的に測定する必要があります。これは、メモリブロックを余分なヘルパー粒子のセットと一時的に結合させ、測定を行い、その後で分離するという工程を含みます。効率的な符号でこれを行うための従来の試みは、粒子間の接続を即座に書き換える能力を必要としていましたが、そのような能力を実現することは、ほとんどの現在の量子プロセッサで使用されている超伝導チップにおいては困難です。他のアプローチでは、固定された接続を使用していましたが、測定できる操作が限定されており、コンピュータは複雑なタスクを多くの小さく遅いステップに分解することを余儀なくされていました。研究者たちは、中間的な解決策、つまり固定された接続を持ちながらも、あらゆる操作を直接測定できるシステムを見つけたいと考えていました。

この問題を解決するために、チームは「ハイパーグラフ積符号（hypergraph product codes）」と呼ばれる特定の効率的な符号のファミリーに焦点を当てました。彼らは、測定ツールを構築するためのステップバイステップの構築方法を開発しました。まず、メモリのわずか一箇所に格納された情報を測定できる、小さく単純なシステムを設計しました。次に、これらの小さなシステムがエラーに対処し、データを破損させないほど堅牢であることを検証しました。次に、これらの小さなシステムをブリッジ接続で連結し、情報のひとつの方向のすべてを測定できる、より大きなツールを作成しました。最後に、これら二つの大きなツール（情報の各方向に対応するもの）を結合して、単一の完全なシステムへと統合しました。この最終的なシステムである「フル・エクストラクター」は、メモリ上のあらゆる可能な操作を測定できます。決定的なことに、システム全体は固定された接続パターンで動作するように設計されており、単一の粒子が10個以上の他の粒子と接続されることはありません。このレベルの接続性は、現在の超伝導量子プロセッサの製造技術の範囲内です。

研究者たちは、ノイズが存在する状況下で設計がどのように機能するかを確認するために、詳細なコンピュータ・シミュレーションを用いて設計をテストしました。彼らは特定のレベルの誤り保護を備えたシステムをシミュレートし、ランダムなエラーを導入して、システムがどの程度うまく回復できるかを検証しました。これらのシミュレーションにおいて、物理コンポーネントのエラー率が0.1パーセントであったとき、システムはエラー率約100万分の1で論理情報を正常に測定できました。この結果は重要です。なぜなら、新しい符号の効率性が、信頼性を犠牲にすることなく実現されていることを示しているからです。また、シミュレーションにより、メモリと測定ツールの両方を含むシステムの総サイズが、メモリブロック自体の47％から80％増しにとどまることも明らかになりました。これは、保護対象のメモリよりもはるかに大きなシステムを必要とした従来の設計と比較して、劇的な改善です。

この研究は、実用的な量子コンピューティングへの道が、自身を即座に書き換えることができるハードウェアを待つことを必要としないことを示唆しています。むしろ、注意深いアーキテクチャ設計があれば、固定された接続を持つ既存のハードウェアが、最も効率的な誤り訂正符号をサポートできることを示しています。研究者たちは、シミュレーションにおいてエラー情報を処理するために特定の種類のデコーダを使用したものの、基本的なアーキテクチャは健全であり、デコーディング手法の向上に応じて適応可能であると述べています。また、現在の設計は単一のメモリブロックに焦点を当てているものの、同じ原理を用いて多くのブロックを結合し、フルスケールのコンピュータを形成できることも指摘しています。効率的な符号が単純で固定された接続で運用できることを証明することで、チームは、より大規模で強力な量子マシンを構築するための大きな理論的障壁を取り除きました。結果は、これらの符号が提供するスペースの節約が、これまで実用化を妨げていた重い計算オーバーヘッドを導入することなく、実現可能であることを示しています。