今日の機械の手が届かないような問題を解決できるコンピュータを構築するには、情報の扱い方における根本的な転換が必要です。量子界において、データの最小単位は非常に脆弱であり、熱や電磁干渉のわずかな囁きによっても容易に乱されてしまいます。これらの繊細な状態を保護するために、科学者たちは「量子誤り訂正」と呼ばれる戦略を用いています。単一の情報を一つの物理粒子に保存する代わりに、情報を多くの粒子に分散させ、論理的な盾を作り出すのです。もし一つの粒子に不具合が生じても、他の粒子が何が起きたかを明らかにし、情報を破壊することなく修正することができます。しかし、この保護機能が機能するためには、物理的なエラーが、訂正プロセスが追いつけるほど十分に稀少でなければなりません。科学者たちは、それらのエラーがどの程度稀少である必要があるかという、正確な限界を知る必要があります。これは「閾値（しきい値）」として知られています。エラー率がこのラインを下回っていれば、盾となる粒子を増やすことでコンピュータの信頼性は高まりますが、ラインを上回れば、システムは混沌へと崩壊してしまいます。
長年、研究者たちは簡略化されたエラーモデルを用いて、これらの限界をテストしてきました。彼らは、エラーがラジオの静電気のように、ランダムかつ独立して発生すると仮定してきました。これは古典的なコンピュータでシミュレートしやすいノイズの一種です。しかし、現実世界の機械は必ずしもそれほど単純には振る舞いません。実際の研究所では、制御パルスがわずかに強すぎて一貫した過回転を引き起こすといった、より微細で調整されたエラーや、粒子が周囲に自然にエネルギーを放出するといったエラーが発生することがあります。こうした現実世界の挙動はモデル化がより困難であり、従来の簡略化された仮定は、これらのコードがデータをどの程度保護できるかという真の限界を隠してしまっている可能性があります。
最近の研究において、物理学者のチームは、「六角形カラーコード」として知られる特定の種類の量子誤り訂正を、これらより現実的な条件下でテストすることを目的としました。彼らは、標準的で簡略化されたモデルを超え、二種類の異なる複雑なノイズに直面した際のコードの性能をシミュレートしました。一つのモデルは、機械が構成要素を常にわずかに回転させすぎるという系統的なエラーを表しており、もう一つのモデルは、粒子がより低い状態へと緩和する際の自然なエネルギー減衰をモデル化したものです。これを行うために、研究者たちは「ツリーテンソルネットワーク」と呼ばれる強力な計算手法を用いました。この手法により、接続が複雑になりすぎない限り、粒子間の複雑な接続関係の網を、膨大な可能性に圧倒されることなく追跡することが可能になります。
チームは、最大73個の物理粒子を含む回路をシミュレートしましたが、これは従来の厳密な計算手法では大きすぎるサイズです。彼らは、コードの規模を大きくするにつれて論理エラー率がどのように変化するかを確認するために、これらのシミュレーションを複数回の誤り訂正ラウンドにわたって実行しました。その結果、新しい、より現実的なノイズモデルは、古い簡略化されたモデルとは異なる挙動を示すことが明らかになりました。エラーが一貫した過回転を伴う場合、システムは簡略化されたモデルの予測よりも性能が悪化し、この差はコードが複雑になるにつれて拡大しました。対照的に、エネルギー減衰モデルは、簡略化された予測と非常によく似った挙動を示しました。この発見は、特にランダムに作用しないコヒーレントなエラーを扱う際に、計算しやすい古いモデルに頼ることは、科学者に偽りの安心感を与えてしまう可能性があることを示唆しています。
この研究はまた、現在のシミュレーション技術の実用的な境界についても明らかにしました。研究者たちは、最大73個の粒子を用いたコードの誤り閾値を正確に決定できましたが、粒子間の量子もつれが複雑になりすぎると、シミュレーションを効率的に処理できなくなるため、それを超えることは計算コストが高くなることが分かりました。彼らがテストした特定のコードについて、一回の訂正ラウンドにおける過回転エラーの閾値は約2.5パーセント、エネルギー減衰の閾値は約8パーセントであることを突き止めました。これらの数値は、実際の量子ハードウェアを構築しているエンジニアにとっての具体的な目標となります。この研究は、簡略化されたモデルは有用ではあるものの、必ずしも十分ではないことを裏付けています。真に信頼できる量子コンピュータを構築するためには、現実の機械が失敗する、より乱雑で非ランダムな方法を理解し、シミュレートし、私たちの誤り訂正戦略が現実世界に対して堅牢であることを確認しなければならないのです。
技術要約：回路レベルの非パウリ・ノイズ下におけるカラーコードの閾値
問題提起
量子誤り訂正（QEC）符号は、通常、スタビライザー形式に基づく効率的な古典シミュレーション手法と互換性のある、確率的なパウリ・ノイズモデル（例：デポラリジング・ノイズ）を用いて評価される。しかし、これらのモデルは、一般的なノイズチャネルをパウリ誤差の確率的な混合へと写像する「パウリ・トウィリング（Pauli twirling）」近似に依存している。この近似は、現実的な量子ハードウェアにおいて顕著な、コヒーレントなユニタリ過回転や散逸的な緩和プロセスといった、重要な物理的エラーメカニズムを捉え損ねる可能性がある。理論的には、パウリ誤差を訂正できる能力は任意の誤差を訂正できる能力を包含すると確立されているが、性能指標（具体的にはエラー閾値とリソース・オーバーヘッド）の実用的な推定において、基礎となるノイズ力学が非パウリである場合、不正確になる可能性がある。さらに、回路レベルの非クリフォード・ノイズ（ゲート操作やシンドローム測定の間に動的にエラーが発生する場合）を厳密な手法でシミュレートすることは、非常に小さな距離の符号を除いて、ヒルベルト空間の指数関数的な増大により計算量的に困難である。
手法
著者らは、一般的な非パウリ・ノイズ下における六角形カラーコードの閾値を推定するために、ツリー・テンソル・ネットワーク（TTN）シミュレーションを採用している。この手法は以下の主要なコンポーネントで構成される：
回路レベル・ノイズ・モデリング： 準備された論理状態に対してノイズを適用するのではなく、著者らはエラー訂正サイクルの全過程を通じて動的にエラーを注入している。彼らは2つの特定の非パウリ・チャネルをモデル化している：
- 系統的X回転（SRX）： キャリブレーション誤差をシミュレートする、固定されたユニタリ過回転（e−iθX）を表すコヒーレント・エラーチャネル。
- 振幅減衰（AD）： 超伝導プラットフォームに関連する、緩和プロセス（∣1⟩→∣0⟩）を表す開放系チャネル。
ノイズは、標準的な回路レベル・ノイズ・パラダイムに従い、すべての理想的なゲートの後、初期化時、およびアイドル状態の量子ビットに対して適用される。
テンソル・ネットワーク・シミュレーション： 73個の物理量子ビット（符号距離 d=7 の場合）のシミュレーションに伴う計算複雑性を処理するため、著者らはTTNアンザッツを利用している。線形な順序を課す行列積状態（MPS）とは異なり、TTNはシンドローム抽出回路の結合性に最適化された階層的なツリー構造を使用する。これにより、2量子ビットゲート適用の計算スケーリングを O(N) から O(logN) へと低減させている。
- 開放系力学： 非ユニタリ・ノイズチャネル（特にAD）のシミュレーションは、量子軌跡法を用いて行われる。リンドブラッド・マスター方程式は離散ステップへとトロッター分解され、純粋状態のTTN表現に対して非エルミート有効ハミルトニアンと確率的な量子ジャンプが適用される。
- 最適化： 最大ボンド次元（χ）を最小化するために、量子ビットの再配置アルゴリズムが採用されている。これは、ネットワークが表現できるもつれ（エンタングルメント）の量を制御するものである。
閾値推定： 論理失敗率（pfail）は、C ラウンドのシンドローム抽出をシミュレートすることによって推定される（ここで C=1 はシングルショット、C=d はメモリ容量を指す）。閾値は、異なる符号距離（d=3,5,7）における論理エラー率を、有限サイズ・スケーリング・アンザッツに適合させることで抽出される。
主な貢献
- パウリ・フレームワークを超えた拡張： 本研究は、標準的なパウリ・トウィリング近似を超えて、コヒーレント誤差および散逸誤差を特に対象とした、回路レベルのノイズ・モデリングを拡張した。
- 非パウリ・ノイズのスケール可能なシミュレーション： 著者らは、TTNシミュレーションが、厳密な対角化では不可能であり、標準的なスタビライザー・シミュレータの範囲外である、非パウリ・ノイズ下での距離 d=7（73量子ビット）までのカラーコードの閾値を正確に推定できることを示した。
- 近似の検証： 本研究は、厳密な非パウリ・シミュレーションとパウリ・トウィリング近似との直接的な比較を提供し、論理エラー率における偏差を定量化している。
結果
- 閾値の値： シミュレーションにより、シングルショット・サイクル（C=1）では ∼10−2、繰り返しサイクル（C=d）では ∼10−3 のオーダーの閾値が得られた。
- SRXモデルの場合、閾値はおよそ θ/π≈2.56×10−2 (C=1) および 8.62×10−3 (C=d) である。
- ADモデルの場合、閾値はおよそ γ≈7.96×10−2 (C=1) および 5.46×10−3 (C=d) である。
- コヒーレント・エラーの影響： 結果は、コヒーレントな過回転（SRX）が、そのパウリ・トウィリング版と比較して系統的に高い論理エラー率を生じさせることを示している。この偏差は符号距離が大きくなるにつれて増大しており、パウリ・トウィリングがより大きな符号におけるコヒーレント・エラーの深刻さを過小評価していることを示唆している。
- 振幅減衰の一致： 対照的に、振幅減衰（AD）チャネルは、そのパウリ・トウィリング近似と良好な一致を示しており、これは表面符号に関するこれまでの知見と一致している。
- シミュレーションの限界： 本研究は、TTNアプローチの実用的な境界を特定している。d=7 のシングルショット・シミュレーションは可能であるが、d=7 に対して複数ラウンド（C=d）をシミュレートすることは、必要なボンド次元の急速な増大により計算量的に困難となり、現在のセットアップでは d≤5 への信頼できる収束に制限される。
意義
本論文は、パウリ近似は誤り訂正能力を証明するための形式的には十分であるが、現実的なハードウェアのシナリオにおいては、閾値やリソース・オーバーヘッドの不正確な推定を招く可能性があると主張している。著者らは、テンソル・ネットワーク法が、形式的な近似に頼ることなく、現実的な非クリフォード・ノイズ条件下でのQECプロトコルのための、実行可能かつ正確な代替手段を提供することを実証している。得られた知見は、このようなシミュレーションのための実現可能な運用領域（d=3,5,7）を明確にしており、コヒーレント情報による閾値推定や、スタビライザーのみのシミュレータでは現在アクセス不可能な小さな非クリフォード・プロトコル（例：マジック状態蒸留）のシミュレーションに向けたさらなる調査を支持するものである。本研究は、現実的なQEC解析のためのTTNの潜在能力と、より大きく深い回路によって課される現在の計算上のボトルネックの両方を浮き彫りにしている。
毎週最高の quantum physics 論文をお届け。
スタンフォード、ケンブリッジ、フランス科学アカデミーの研究者に信頼されています。
受信トレイを確認して登録を完了してください。
問題が発生しました。もう一度お試しください。
スパムなし、いつでも解除可能。
週刊ダイジェスト — 最新の研究をわかりやすく。登録