Puncturing for Adaptive Entanglement-Assisted Stabilizer Codes

量子コンピュータは、新薬の設計から複雑な暗号の解読に至るまで、現在の古典的なマシンでは不可能な問題を解決することを約束しています。しかし、これらのマシンは非常に壊れやすいものです。情報を保存するために使用される「量子状態」と呼ばれる繊細な状態は、周囲のわずかなノイズによっても容易に乱され、計算を破壊してしまうようなエラーを引き起こします。信頼できる量子コンピュータを構築するために、科学者はこの情報を保護する方法、すなわち「量子誤り訂正」と呼ばれる分野の開発を進めなければなりません。強力な手法の一つとして、「スタビライザー符号」と呼ばれる特別な数学的構造を用いる方法があります。これはセーフティネットのように機能し、データを直接見てしまうと（それによってデータが破壊されてしまうため）不可能な、データの直接的な確認を行わずにミスを検出し、修正することを可能にします。

より高度なバージョンのこのセーフティネットである「もつれ支援符号（entanglement-assisted code）」は、「事前に共有されたもつれ（pre-shared entanglement）」というリソースを用いることで、さらに強力な保護を提供します。送り手と受け手の二人が、通信を開始する前に、互いにリンクされた粒子のペアを共有している様子を想像してください。この「ベル対（Bell pair）」と呼ばれるリンクにより、彼らは通常の粒子では不可能な方法で行動を調整することができます。この事前に共有されたリンクを使用することで、送り手は、もつれを使用しない場合よりも効率的かつ強力なエラー保護を伴って情報を伝送できます。しかし、ここには落とし穴があります。これらのもつれたリンクは作成や保存が困難なのです。時間の経過とともに劣化し、それらを保持するための装置にも限りがあります。もし、送り手と受け手が通信を必要とする瞬間に、高品質なリンクを十分に持っていなければ、最も強力な符号は使用不能になり、システムは脆弱な状態に置かれます。

これが、オーレボー大学のニコライ・ペダー・ビュロー・ペデルセン氏とその研究チームが解決しようとした問題です。彼らは、もつれが豊富なシナリオ向けに設計された単一の強力な量子符号を、リソースが少ないシナリオに合わせて即座に適応させることは可能かどうかを問いかけました。彼らの目標は、データの保護能力を失うことなく、利用可能なもつれの量に合わせて要件を縮小できる、柔軟なシステムを構築することでした。彼らは、特定のパーツを制御された方法で取り除く「パンクチャリング（puncturing）」と呼ばれるプロセスを用いることで、これが実際に可能であることを突き止めました。

研究者たちは、多くのもつれリンクに依存する符号を、もつれを一つ少ないバージョンへと変換する手法を開発しました。その際、情報ビットの数と総伝送サイズは正確に同じに保たれます。この仕組みを理解するには、まず、もつれを利用する符号は、もつれを全く使用しない符号として数学的に再構成できることを理解する必要があります。つまり、受信側の半分のもつれたペアを、単に通信路を通る追加の物理的な量子ビット（qubit）として扱うのです。この変換により、チームは「パンクチャリング」と呼ばれる既知の技術を適用できるようになります。パンクチャリングとは、システムから特定の量子ビットを取り除く操作のことです。標準的な符号では、量子ビットを取り除くと通常はエラー保護が弱まります。しかし、この特定のセットアップでは、研究者たちはノイズのない静かな環境にあると想定される「受信側」の量子ビットを取り除いています。

この手順は3つの明確なステップで構成されます。第一に、チームはもつれ支援符号を、受信側の半分を含むすべての量子ビットを物理的なオブジェクトとして扱う、標準的な非支援符号として捉えます。第二に、彼らはもつれたペアの受信側に対してパンクチャリング操作を行います。この量子ビットはノイズのある通信路を通らないため、量子ビットを取り除いても伝送されるビットの数は減りません。単に、送り手がその特定の量子リンクに依存する必要がなくなるだけです。その代わりに、送り手はその場所にローカルな通常の量子ビットを使用します。第三に、チームはその結果得られた符号をもつれ支援形式へと再び変換します。その結果、運ぶ情報は同一でありながら、必要とする事前共有もつれペアが一つ少ない、新しい符号が誕生します。

重要な問いは、この適応がコードのエラーを捕捉する能力を損なうかどうかでした。研究者たちは、符号の「距離（distance）」、すなわち修正できるエラーの数の指標が、このプロセス中に変化する可能性があることを証明しましたが、必ずしも悪化するわけではないことも証明しました。彼らは、保護の損失が限定的かつ予測可能であることを示す数学的境界を導き出しました。さらに重要なことに、もつれが取り除かれる前のレベルとエラー修正能力が全く同じになるための具体的な条件を確立しました。これらの条件が満たされる場合、システムはセーフティネットを犠牲にすることなく、リソース要件を下げることができます。

この手法が実際にどの程度機能するかを確認するため、チームは数千のランダムに生成された量子符号に対して広範なシミュレーションを実施しました。その結果、かなりの割合の符号において、もつれ支援版は、もつれを使用しない標準的なバージョンよりも優れた保護を提供することが分かりました。この利点を持つ符号のうち、約81.4パーセントが、元の保護レベルを維持したまま、もつれペアを一つ取り除く方法を少なくとも一つ備えていました。これは、多くの潜在的な量子符号において、エラー修正能力を失うことなく、リソース予算を下げて適応させることが可能であることを意味しています。また、研究では、たとえ保護レベルが低下する場合であっても、その損失は極めて小さく、エラー修正能力の単位としては、ほとんどの場合で1ユニットを超えないことも示されました。

この研究は、単一のベースデザインから一連の符号（ファミリー）を構築するための体系的な方法を提供しており、量子通信システムが限られたリソースという現実に合わせて調整することを可能にします。現実世界のシナリオにおいて、もし受信側の保持しているもつれペアが劣化したり、生成率が低下したりした場合、受信者はより少ないリンクを必要とするパンクチャリング版の符号に切り替えることができます。この柔軟性は、高品質なもつれの可用性が変動しうる量子ネットワークの未来において極めて重要です。研究者たちは、この手法は受信側の側面が完璧であることを前提としているものの、実際のシステムにおいてそれらのリンクがノイズを含んでいる場合、リンクを取り除くかどうかの判断には、残されたリンクの品質と、わずかなエラー保護の減少との間のトレードオフが生じるだろうと指摘しています。それでもなお、パフォーマンスを維持しながらリソース需要を体系的に削減できる能力は、量子通信を堅牢で実用的なものにするための重要な一歩となります。