単に数字を計算するだけでなく、現実の織りなす構造そのものと踊るような、超高速のコンピュータを構築しようとしているところを想像してみてください。これが量子コンピューティングの世界です。しかし、ここには落とし穴があります。これらのマシンは信じられないほど脆弱なのです。わずかな熱のささやき、迷い込んだ磁場、あるいは近くにいる猫のくしゃみでさえ、計算をエラーの混乱へと崩壊させてしまうことがあります。これを解決するために、科学者たちは「量子誤り訂正」を用います。これは魔法のセーフティネットのようなものだと考えてください。一つの情報を一つの脆い原子に保存する代わりに、その情報を多くの原子に分散させるのです。もし一つの原子が躓いても、他の原子が持ちこたえ、情報は生き残ります。
しかし、さらにもう一つ、さらに厄介な問題があります。このセーフティネットを作り上げた後、実際にその上でどのように数学を行うのか、という問題です。量子の世界では、情報を移動させるためのルール（「ゲート」と呼ばれます）は非常に厳格です。計算を実行しようとすると、誤ってセーフティネットを引き裂いてしまい、エラーが群衆の中のウイルスのように広がってしまう可能性があるのです。長年、科学者たちは、このネットを壊すことなく計算を行う方法を見つけようとしてきました。いくつかの手法は、ジェットコースターに乗っている間に針に糸を通そうとするようなものです。それは機能はしますが、信じられないほど複雑で、時間がかかり、膨大な量の追加機器を必要とします。大きな疑問はこうです。シンプルで、速く、そして山の如き追加のハードウェアを必要とせずに、これらの計算を行う方法を見つけることはできるのでしょうか？
ここで、ノア・ベルサウゼンとイライジャ・ドゥルソ＝サビーナによる新しい論文が登場します。彼らは「連結シンプレクティック二重符号（concatenated symplectic double codes）」と呼ばれる、巧妙な新しい量子コードのデザインを提案しています。彼らのトリックを理解するために、積み木を持っていると想像してください。あるブロックは、物をしっかりと保持すること（データの保存）には優れていますが、動かすのが困難です。他のブロックは、動かしやすいのですが、保持力があまりありません。著者たちは、これらのブロックを、ロシアのマトリョーシカ人形のように、特定の入れ子状の方法で積み重ねる方法を見出したのです。これにより、頑丈でありながら操作もしやすい構造を作り出しました。
彼らの主な発見は、この新しい構造によって、最も単純な道具――個々のスイッチを切り替えること（単一量子ビットゲート）と、単にどのワイヤーがどこに接続されているかを書き換えること（リラベル）――だけで、非常に多種多様な必要な計算を実行できるということです。それはまるで、一つ一つの動きに対して接着剤を使ったり新しい道具を作ったりするのではなく、テーブルの上でピースを並べ替えるだけで複雑なパズルを解く方法を見つけたかのようです。彼らは、この手法を用いることで、標準的な量子操作のセットである「クリフォード・グループ」の全操作を、驚くほどシンプルな回路で実行できることを示しました。
著者たちは単に夢を見ただけではありません。彼らはコンピュータ・シミュレーションを実行して、これをテストしました。これらのシミュレーションにおいて、新しいコードは非常に優れた性能を示し、現代の量子コンピュータが現在達成可能なレベルに近いレートでエラーに対処できることが示されました。彼らは、これらのコードが将来の大規模量子コンピュータの「エンジン」の有力な候補になり得ると示唆しています。彼らはまだ物理的なマシンを構築してはいませんが、彼らの数学とシミュレーションは、このアプローチが、以前の手法よりも信頼性の高い量子コンピュータの構築を、はるかに容易かつ実用的なものにする可能性があることを示唆しています。また、彼らの手法は特定の操作については優れているものの、あらゆる計算を行うためには、少し余分な助け（特別な「マジック・ステート」の注入など）が必要になるかもしれないとも指摘していますが、核となる作業については、ゲームチェンジャーのように見えます。
技術要約：連結シンプレクティック二重符号による単純な論理量子計算
問題提起
量子誤り訂正（QEC）における最近の進展により、トポロジカル符号（例：表面符号）や量子低密度パリティ検査（qLDPC）符号といった、堅牢な量子メモリのための符号が生成されている。しかし、これらの符号上でフォールトトレラントな論理ゲートを実行することは依然として大きな課題である。トポロジカル符号は単純な横断的（transversal）ゲートを提供するが、符号化率が悪く、大規模化におけるオーバーヘッドが高い。一方、qLDPCや連結符号はより高い符号化率を提供するが、蒸留、状態注入、シンドローム抽出のための複雑なプロトコルを必要とし、空間・時間的なオーバーヘッドが大きくなることが多い。したがって、中性原子やイオントラップのような、量子ビットの移動（SWAP）のコストが低いハードウェアプラットフォームにおいて、高い符号化率と単純かつ実装可能な論理ゲートのセットを両立させる符号アーキテクチャが求められている。
手法
著者らは連結シンプレクティック二重（CSD）符号を提案し、分析する。この構成は、以下の2段階の連結を含む：
- 外側符号（Outer Code）: 非CSSシード符号 C から構築されるシンプレクティック二重符号 D(C)。シンプレクティック二重構成は、ベースとなる符号 [[n,k,d]] から、パラメータ [[2n,2k,≥d]] を持つCSS符号を作成する。決定的なことに、この構成は、XセクターとZセクターを入れ替える置換であるZX双対性（τ）を導入し、物理量子ビット i と i+n をペアにする。
- 内側符号（Inner Code）: 特定の [[n′,2,d′]] スタビライザー符号 Q が、D(C) と連結される。著者らは、内側符号としてC4符号（[[4,2,2]]）に焦点を当てている。
- 連結スキーム: 内側C4符号ブロックの論理量子ビットは、ZX双対性 τ に従って、外側 D(C) の物理量子ビットにマッピングされる。具体的には、D(C) における一対の物理量子ビット {i,i+n}（これらは τ によって関連付けられている）が、単一のC4符号ブロックの2つの論理量子ビットへとエンコードされる。
本論文では、得られるC4-CSD符号（C4⊗τD(C)）を調査し、そのパラメータ、論理ゲートセット、およびフォールトトレラントな特性を分析している。
主な貢献
- SWAP横断的論理ゲート: 主な貢献は、連結構造が論理ゲートのフォールトトレラント性をアップグレードすることの証明である。外側のシンプレクティック二重符号における「フォールド横断的（fold-transversal）」（τ-軌道上で作用する）な論理ゲートは、連結されたC4-CSD符号上ではSWAP横断的になる。これは、これらのゲートが物理的な単一量子ビットゲートと量子ビットの再ラベル付け（SWAP）のみを用いて実装できることを意味し、これらはソフトウェアで追跡可能である。
- 完全なクリフォード群の生成:
- シード符号とシンプレクティック二重構造から継承されるゲート集合（Gτ）には、リフトされた自己同型、アダマール型のゲート（Hτ）、およびCZ型のゲート（Sτ）が含まれる。
- 完全なクリフォード群を実現するために、著者らは基礎となる古典符号の自己同型群から導出されたフォールド横断的位相ゲート（UP(π)）を導入する。これらは、UP(π)∣+⟩ 状態として準備されたリソース状態を用いた状態注入によって実装される。
- 特定の符号インスタンス（表1に緑のチェックマークがあるものなど）において、Gτ と注入された UP(π) ゲートの組み合わせは、単一の符号ブロック上の論理量子ビットに対して完全なシンプレクティック群 Sp4k(F2) を生成する。
- ブロック間結合性: 著者らは、複数の符号ブロックにわたる完全なクリフォード群が、ブロック間の横断的CNOTゲートと単一ブロックのクリフォードゲートを組み合わせることで達成可能であることを示している。
- 回路の簡略化: C4-CSD符号のユニークな特徴は、単一の符号ブロック上の任意の論理クリフォード回路を、機能的に単純な物理回路にコンパイルできることである。それは、注入された UP(π) ゲートと、物理的な単一量子ビットクリフォードゲートの単一層を交互に繰り返すシーケンスとなる。再ラベル付けに必要なSWAPは「解きほぐす（untangle）」ことができ、その結果、唯一の能動的な操作が単一量子ビットゲートとテレポーテーションを介した誤り訂正となる回路が残る。
結果
- 符号パラメータ: 本論文は、様々な非CSSシード符号（例：[[4,2,2]], [[6,4,2]], [[5,1,3]]）から導出された具体的なC4-CSD符号の表を提供している。例えば、[[16,4,4]] C4-CSD符号は、L=2 のC4 many-hypercubes (MHC) 符号と同型であることが示されている。
- ゲートセット: 著者らは、様々なインスタンスについてゲート集合 Gτ と ⟨UP(π)⟩ のサイズを計算している。どの符号が追加のアダプターなしで完全なクリフォード群を生成できるか、また、どの符号が部分的な状態注入やユニバーサルアダプターを必要とするかを特定している。
- 数値シミュレーション: 状態準備および量子誤り訂正（QEC）の回路レベルのシミュレーションが行われた。結果は、C4-CSD符号が最先端に近い物理エラー率において有望な性能を示し、量子メモリとして効果的に機能することを示唆している。
- デコーディング: 論文ではこれらの符号のデコーダーについても議論しており、その構造が効率的なシンドローム抽出と訂正を可能にすることを述べている。
意義および主張
著者らは、連結シンプレクティック二重符号は、中規模から大規模な量子コンピュータにおける基礎的な計算符号の強力な候補であると主張している。その意義は以下の点にある：
- 単純性: 論理クリフォード群は、単一量子ビットゲートと量子ビットの再ラベル付けに大きく依存する「機能的に単純な回路」を通じて実装され、ゲート実行中の複雑な多量子ビット物理相互作用を最小限に抑える。
- ハードウェア適合性: 量子ビットの再ラベル付け（SWAP）への依存は、中性原子やイオントラップのような、量子ビットの移動がネイティブで低コストなアーキテクチャにとって特に適している。
- 性能: これらの符号は競争力のある回路レベルの性能と高い符号化率を提供し、トポロジカル符号のオーバーヘッド問題を解決しつつ、他の高レート符号でしばしば必要とされる複雑なゲートプロトコルを回避する。
本論文は、シード符号の最適化とこれらの構成の拡張性に関する未解決の問いを提示して締めくくっているが、C4-CSD符号が運用複雑性を軽減したフォールトトレラント論理計算への実行可能な道筋を提供するという焦点の絞られた主張を維持している。
毎週最高の quantum physics 論文をお届け。
スタンフォード、ケンブリッジ、フランス科学アカデミーの研究者に信頼されています。
受信トレイを確認して登録を完了してください。
問題が発生しました。もう一度お試しください。
スパムなし、いつでも解除可能。
週刊ダイジェスト — 最新の研究をわかりやすく。登録