ドミニク・ウィリアムソン博士(シドニー大学)とセオドア・J・ヨーダー(IBM)は、量子誤り訂正符号における耐障害性論理測定のための「ゲージ化」手法を発表した。Nature Physics誌に掲載されたこの研究は、ウィリアムソンのIBMでの産学連携期間中に開発された。この手法は、量子低密度パリティ検査(qLDPC)符号における重要なボトルネックに対処するものである。そのボトルネックとは、高レート量子メモリの効率性の利点を犠牲にすることなく論理処理を実行する方法である。
この核心的な革新は、論理演算子を大域的な物理対称性として扱い、それを「ゲージ化」することを含む。これは素粒子物理学の格子ゲージ理論から借用された概念である。連結グラフG上に補助的な「ゲージ量子ビット」を導入することで、システムは局所対称性の積(ガウスの法則演算子)を通じて大域対称性を強制する。これにより、ハードウェアは局所量子状態の崩壊を強制することなく大域的な論理情報を追跡できるようになり、大きな符号ブロック内の論理演算子を非破壊的に測定する方法を効果的に提供する。
効率性がこの枠組みの主要な差別化要因である。従来のqLDPC格子手術法では、通常Θ(Wd)の補助量子ビットオーバーヘッドが発生していた。ここでWは演算子の重みでdは符号距離である。n = Θ(d)である高性能符号では、これはしばしばΩ(n2)のリソースオーバーヘッドをもたらし、符号自体よりも大幅に大きくなっていた。ウィリアムソンのアプローチは、最悪ケースのオーバーヘッドをW⋅polylog(W)に抑え、ほぼ線形のスケーリングを実現することで、耐障害性アーキテクチャに必要な物理量子ビットを劇的に削減する。
符号変形中にLDPC特性を維持するため、研究者らはエクスパンダーグラフとフリードマン-ヘイスティングス分散補題を利用した。サイクルを三角形に「セル化」し、補助グラフに層を追加することで、チームは変形後の符号が疎のままであることを保証しつつ、時空間耐障害距離dを保持する。このグラフベースの柔軟性により、この手法はプラットフォームに依存せず、従来効率的に処理することが困難であった非CSS(カルダーバンク-ショア-スティーン)型を含むあらゆる安定化符号に適用できる。
IBMはすでに、この「ゲージ化」設計の要素を大規模耐障害性量子コンピュータの長期ロードマップに統合している。補助量子ビットの「技術的負債」を削減することで、この枠組みは処理コストが保存情報に比例してスケールする「量子ハードドライブ」モデルへの移行を支援する。この研究は、理論的高エネルギー物理学とハードウェア工学の重要な融合を表しており、普遍的量子ゲートのリソース効率的な実装のための青写真を提供している。
ゲージ化論理演算子フレームワークの包括的な技術的詳細とシドニー大学からの公式プレスパッケージについては、Nature Physics誌の研究論文およびEurekAlert!のニュースリリースを参照されたい。
2026年4月4日




