⚛️ quantum physics

Quantum codes from classical annealing

本論文は、高い符号化率と大きな距離を持つ最先端のCSS符号および「等価な論理量子ビットを持つ自己双対（SWEL）」量子誤り訂正符号を高い精度で発見することに成功した、適応型焼きなましアルゴリズムを導入するものであり、これらはフォールトトレラント・アーキテクチャと近未来のハードウェア実証の両方にとって有望な候補を提供するものである。

原著者： Michael A. Perlin, Matthew Steinberg, Ben Criger

公開日 2026-07-23

📖 1 分で読めます🧠 じっくり読む

CC BY 4.0

原著者： Michael A. Perlin, Matthew Steinberg, Ben Criger

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

あなたは、ハリケーンにも耐えられる図書室を作ろうとしていると想像してください。量子コンピューティングの世界において、この「図書室」とは、量子ビットと呼ばれる、非常に壊れやすい情報の断片の集まりです。棚にある頑丈な本とは異なり、量子ビットは石鹸の泡のようなものです。熱やノイズ、あるいは迷い込んだ電磁波といったわずかな接触によって、中のデータが破壊されてしまうのです。これを防ぐために、科学者は**量子誤り訂正（Quantum Error Correction）**という手法を用います。一つの壊れやすい泡に物語を書き込むのではなく、物語を多くの泡に特殊なパターンで分散させるのです。もし一つの泡が割れても、そのパターンによって、残りの泡から物語を再構成することができます。

しかし、ここには落とし穴があります。泡を多く使えば使うほど、一度に語れる物語の数は少なくなってしまうのです。これは、信頼性（コードがどれだけよくエラーを防ぐか）と効率性（どれだけの有用な情報を格納できるか）の間のトレードオフです。科学者たちは、「魔法のコード」——つまり、多くの泡を無駄にすることなく高い保護能力を実現する、両方の良いとこ取りをしたパターン——を追い求めてきました。この論文は、その探索について、高度なコンピュータ・サーチを用いて、将来の量子コンピュータの構築に役立つ、極めて効率的な新しいパターンを見つけ出すことで、その探求に深く切り込んでいます。

コードの大探索：完璧な盾を見つける

量子誤り訂正コードの設計は、宝箱に完璧な鍵を見つける作業に似ています。非常に解読が困難な（高い距離、つまり多くのエラーに耐えられる）一方で、持ち運びが容易な（高い符号化率、つまりスペースを無駄にしない）鍵が欲しいところです。長い間、数学的理論に基づけば、そのような鍵は「存在するはず」だと科学者たちは知ってきましたが、実際にその具体的な設計図を見つけることは、銀河系ほどの大きさがある干草の山の中から一本の針を探すようなものでした。

この論文の著者であるJPMorgan ChaseとQuantinuumの研究者たちは、手作業で針を探すのをやめ、代わりにロボットによる検索エンジンを構築して、その作業を行わせることにしました。彼らは**シミュレーテッド・アニーリング（焼きなまし法）**と呼ばれる手法を用いました。これを理解するために、広大で霧に包まれた山脈の中で、最も低い地点を探していると考えてみてください。もし単に下り坂を歩くだけなら、小さな谷に迷い込み、そこが底だと思い込んでしまうかもしれません。しかし、時折、わざと上り坂へジャンプする（熱をシミュレートする）ことで、それらの小さな谷から脱出し、最も深く、最も完璧な谷を見つけるまで探索を続けることができます。この場合、「谷」は優れた量子コードであり、「高さ」はコードが処理できるエラーの数です。

チームは、CSSコードとSWELコードと呼ぶ2つの特定の種類のコードに焦点を当てました。

CSSコードは、二重構造の盾のようなものです。一方のパターンで「X型」のエラー（反転）を捉え、もう一方のパターンで「Z型」のエラー（位相シフト）を捉えます。これらは扱いやすいことから人気があります。
SWELコード（自己双対かつ等価論理を持つコード）は、CSSコードの特別で洗練されたバージョンです。これらは「自己双当」であり、つまりX層とZ層が鏡合わせの関係になっています。この対称性は強力な武器です。特定の量子操作（ゲート）を、すべての物理量子ビットに対して同時に同じ操作を行うだけで、シンプルに実行できることを意味します。これにより、実際のフォールトトレラント（耐故障性）量子コンピュータでの使用が非常に容易になります。

研究者たちは、最大50個の物理量子ビット（泡）と、少なくとも4個の論理量子ビット（実際の物語）を持つコードに対して、検索エンジンを走らせました。彼らは単にどんなコードでも探したわけではありません。**ギルバート・ヴァルシャム境界（Gilbert-Varshamov bound）**を超えるコードを探しました。この境界は、量子コーディングの高速道路における速度制限標識のようなものです。与えられた量子ビット数に対して、理論上到達可能な最高速度（最高の距離）を示しています。著者たちの探索は、この速度制限を頻繁に満たし、あるいは超えるコードを見つけ出しました。つまり、これらのサイズにおいて標準的な数学的予測が示唆していたものよりも優れた盾を見つけたのです。

彼らの手法の最も賢明な点の一つは、「良さ」をどのように測定したかです。通常、コードがどれだけの数のエラーを修正できるかを数えます。しかし、研究者たちは、2つのコードが同じ数のエラーを修正できたとしても、一方がより多くの「弱点」を持っているために、現実世界のシナリオでは失敗する可能性がはるかに高い場合があることに気づきました。これを解決するために、彼らはスーパーセンサーのような役割を果たすカスタムの「エネルギー関数」を作成しました。それは単にエラーを数えるだけでなく、コードが最も弱い箇所で失敗する「方法の数」をカウントしました。これにより、検索エンジンが、多くのコードが同じように見える「平坦なプラトー（高原）」で停滞することを防ぎ、真に優れた設計へと導くことができました。

シミュレーションを実行した後、チームは発見した最高のコードのリストを作成しました。これらは論文の付録に詳述されています。これらは単なる理論的な考察ではありません。具体的な設計図です。例えば、20個の物理量子ビットを使用して6個の論理量子ビットを格納し、距離が4であるコードや、50個の物理量子ビットを使用して6個の論理量子ビットを格納し、距離が8であるコードなどを見つけました。これらのコードの多くは、以前の記録よりも「最小ウェイト論理演算子」（弱点）が少なく、より堅牢です。

この論文はまた、これらのコードが「近未来」の量子ハードウェアにとって特に有望であることを強調しています。大規模で完璧な量子コンピュータが登場するのはまだ数年先ですが、現在のマシンは小型でノーイジーです。これらの新しいコードは、これらの小さく不完全なマシンから、より多くの有用な成果を引き出す方法を提供します。さらに、SWELコードは特別な「横断的（transversal）」ゲート（複雑な配線を必要としない操作）を可能にするため、コンピュータがクラッシュすることなく複雑なアルゴリズムを実行するために不可欠な、フォールトトレラントなゲートセットを構築するための鍵となる可能性があります。

要約すると、この論文は量子誤り訂正の全容を解明したと主張しているわけではありません。代わりに、強力な新しい地図と高品質なツールを提供しています。適応型探索アルゴリズムを用いることで、著者たちは将来の量子アーキテクチャで使用される準備ができている「シードコード」のコレクションを発見しました。彼らは、現在のハードウェアの限界があったとしても、量子情報を保護するための非常に効率的で堅牢な方法を見つけ出すことができることを示しており、量子コンピュータが今日のスーパーコンピュータには不可能な問題に取り組める日が来ることに、一歩近づけています。

技術要約：古典的アニーリングからの量子符号

問題提起

量子誤り訂正（QEC）は、大規模なフォールトトレラント（FT）量子計算にとって不可欠である。しかし、既知の符号ファミリーは、法外なリソースオーバーヘッドを課すことが多い。トポロジカル符号（表面符号など）は、Bravyi-Poulin-Terhal境界によって制約を受け、符号化率が制限される。量子低密度パリティ検査（qLDPC）符号は、好ましい漸近パラメータを提供するが、長距離相互作用と複雑な復号を必要とするため、現在の近未来的なハードウェアへの実装が困難である。符号の連結（concatenation）は、一定の時空オーバーヘッドを実現する道を提供するが、高い符号化率と大きな距離を持つ高品質な「シード」符号に依存している。

このような符号の総当たり的な探索は、ブロック長 $n$ に対してスタビライザー符号の空間が指数関数的に増大し、符号距離の計算がNP困難な問題であるため、一般に実行不可能である。したがって、長距離相互作用をサポートできるアーキテクチャ（捕捉イオンや中性原子など）に適した、中規模（ $n \le 50$ ）で高い符号化率（ $k/n$ ）および理論的境界を満たすか、あるいはそれを上回る距離（ $d$ ）を持つ最適な量子スタビライザ符号を発見するための、効率的な数値的手法が必要とされている。

手法

著者らは、以下の2つの特定のクラスにおける最適な量子符号を探索するための、適応型シミュレーテッド・アニーリング・アルゴリズムを導入する：

CSS符号: Calderbank-Shor-Steane符号であり、比較的単純なFT状態準備と復号を可能にする。
SWEL符号: 「等価な論理演算を持つ自己双対（Self-Dual with Equivalent Logicals）」と呼ばれるCSS符号のサブクラス。これらは特定の対称条件（ $H_X = H_Z$ および論理演算子 $L_X = L_Z$ ）を満たし、論理アダマール（ $H^{\otimes k}$ ）およびフェーズ（ $S^{\otimes k}$ ）ゲートの横断的（transversal）な実装を保証し、FTゲートセットの構築を容易にする。

探索空間と移動（Moves）

初期化: 単純な符号から始めるのではなく、アルゴリズムは自明な符号に対してランダムなCSS保存またはSWEL保存ゲートを適用することで「ウォームスタート」を行う。
- CSS符号の場合、探索空間は一般線形群 $GL(n, \mathbb{F}_2)$ を通じてサンプリングされる。
- SWEL符号の場合、探索空間は直交群 $O(n, \mathbb{F}_2)$ を通じてサンプリングされる。
提案分布（移動）:
- CSS: 移動は、量子ビットのペア間にランダムなCNOTゲートを適用することによって生成される。定理1は、CNOTゲートが、同じランクパラメータを持つ任意のCSS符号を他のCSS符号へと変換できることを確立している。
- SWEL: 移動は、「要素的なSWEL保存ゲート」を適用することによって生成され、これらは4つの量子ビットに作用する。定理5は、これらのゲートが置換と組み合さることで、SWEL符号の全空間を走査できることを証明している。

エネルギー関数

「バレン・プラトー（平坦なプラトー）」、すなわち局所的な変化にもかかわらず符号距離が一定のまま変化しない状態を回避するために、著者らはコード容量ノイズモデルにおける論理エラー率の代用となるエネルギー関数 $E(C)$ を定義する。
$E(C) = \frac{\log m}{\log(1/p)} - d$
ここで、 $d$ は符号距離、 $m$ は最小重みの非自明な論理演算子の数、 $p$ は物理エラー率（ $10^{-3}$ に設定）である。この関数は、より高い距離（より低いエネルギー）を持つ符号を罰すると同時に、決定的な役割として、等しい距離を持つ符号間において、より少ない最小重み論理演算子（ $m$ ）を持つものを優先することでタイブレークを行う。

適応型アニーリング

アルゴリズムは、システムがプラトーや退化した局所解で凍結するのを防ぐために、適応型の温度スケジュールを採用する。温度は、提案された移動のエネルギー差に基づいて各エポックで調整され、特定の「上向き」の受理率をターゲットとする。また、温度の変動を抑制するためにメモリ因子が使用される。

後処理

アニーリングによって符号を見つけた後、スタビライザー生成子の重みを削減するために貪欲法（greedy algorithm）が適用される。このステップは、符号の距離や論理演算子を変えることなく、シンドローム測定の複雑さを最小化する。

主な貢献

アルゴリズムの枠組み: 群論的性質を利用して探索空間が完全にカバーされることを保証しつつ、CSSおよびSWEL量子符号の探索に特化した適応型シミュレーテッド・アニーリング・アルゴリズムの開発。
SWELの特性付け: SWEL符号を定義し、SWEL保存ゲートの集合（ $O(n, \mathbb{F}_2)$ に同型）が自明なシードからすべてのSWEL符号を生成するのに十分であることを証明した厳密な理論的枠組み（定理3および定理4）。
エネルギー代用関数: 符号距離と最小重み論理演算子の数を組み合わせたエネルギー関数の定式化により、ナイーブな距離最適化を阻害する離散的なプラトーを効果的に解決した。
最先端の符号の発見: ブロック長 $n \le 50$ かつ $k \ge 4$ のパラメータを持つ、多数の新しい発見された符号（付録F）を提示。

結果

著者らは、発見された符号のパラメータ $[n, k, d]$ を含む包括的な表（付録F）を提示している。

性能: 発見された多くのCSSおよびSWEL符号は、量子ギルバート・ヴァルシャム（QGV）境界（ $d_{QGV}$ ）およびCSS特有のギルバート・ヴァルシャム境界（ $d_{CSS}$ ）を満たすか、あるいはこれらを上回る距離を達成している。
比較: 結果は qecdb.org にある既知の最良の符号と比較されている。多くの場合、これらの新しい符号は、同じ $n$ と $k$ に対してより高い距離を提供するか、あるいは同じ $n$ と $d$ に対してより高い $k$ を提供している。
論理エラー率: 重要度サンプリングを用いたモンテカルロ・シミュレーションを用いて、これらの符号の論理エラー率を推定している。結果は、エネルギー関数が、特に距離 $d > 4$ において、より低い論理エラー率を持つ符号を正しく特定していることを検証している。
SWELの詳細: 発見されたSWEL符号は、横断的な論理クリフォードゲートに必要な構造を備えている。例えば、 $[20, 6, 4]$ SWEL符号は、少なくとも2,304個のSWAP横断的論理クリフォードゲートを持つことが判明した。

意義と主張

本論文は、これらの数値的に最適化された符号が、符号連結に基づくフォールトトレラント・アーキテクチャのための好ましいシード符号として機能することを主張している。中規模のブロックサイズに対して高レート・高距離の符号を提供することで、これらはより大規模な論理量子ビットを構築するために使用できる。

さらに、著者らはこれらの符号が近未来のハードウェアの実証に有望であることを強調している。具体的には、長距離相互作用をサポートする捕捉イオンや中性原子のプラットフォームは、これらの符号の実装に適している。SWEL符号は、横断的なゲートセットが、クリフォード演算のための複雑なマジック状態蒸留を必要とせずに、フォールトトレラントな論理ゲートセットの構築を可能にするため、特に重要である。

著者らは、距離計算の指数関数的な実行時間が探索を $n \le 50$ に制限していることから、アルゴリズムの即時的なスケーラビリティについては控えめな姿勢を保っており、将来の研究では、エネルギー関数の評価の並列化、アニーリング・スケジュールの改善、あるいはより大きなブロック長への探索をスケールアップするための機械学習技術の導入などが考えられるとしている。また、これらのシード（例： $[8, 6, 2]$ アイスバーグ符号と $[38, 12, 6]$ 符号の組み合わせ）を用いた符号の連結が、商業規模の量子コンピューティングのための実用的なアーキテクチャを生み出す可能性があることも提案している。