トポロジカル量子符号で「コヒーレント」な回転誤りにも閾値ありと証明
この論文は、量子ビットに生じる「コヒーレント誤り」(位相をそろえた回転のような誤り)に対しても、トポロジカルな量子誤り訂正符号が正の閾値を持つことを数学的に示したものです。従来の閾値解析は、誤りを確率的に起こるランダムな事象として扱うモデルが中心でした。しかし実機では制御の不完全さから同相の小さな回転が全体に連続的に入ることがあり、確率モデルだけでは扱い切れません。論文は特に各物理量子ビットに入るZ軸回転(Z回転)のモデルを対象にしています。
研究者たちは、誤りが物理量子ビットにだけ作用し、シンドローム(誤り検出の測定結果)は雑音なしで得られる「コード容量」設定で解析しました。対象はCSS型の量子低密度パリティ検査(QLDPC)符号で、論理量子ビットの数が系全体で上限を持つ場合です。このクラスには表面符号などの代表的なトポロジカル符号が含まれます。得られた結果は、回転角が符号サイズに依らない定数より小さい限り、最大尤度(ML:maximum-likelihood)に基づくパウリ復号を使うと、回復後のエンタングルメント不忠実度(エンコードした量子情報の損失を表す指標)が符号距離に対して指数的に小さくなる、というものです。ただし前段に比例する因子が物理量子ビット数に線形に依存します。符号距離が物理量子ビット数に対して超対数的に大きくなれば、不忠実度は符号サイズ増大で消えていきます。提示した定数は閾値の厳密な下限になります。
証明の主なアイデアは、コヒーレント誤りに伴う振幅の干渉を消さずに扱うことです。各単一量子ビット回転を展開すると、位相反転パターンごとに複素振幅が生じます。確率的誤りではこれらは非負の確率で単純に足し合わせられますが、コヒーレント誤りでは振幅同士が足されてから絶対値を二乗するため、キャンセルや強め合い(干渉)が起きます。著者らは、これらの振幅の積をフーリエ解析で表し、エラーの寄与を抽象的な「ポリマーモデル」の分配関数(パーティション関数)として書き換えました。さらにクラスタ展開という手法で対数をクラスタ(結合したポリマー群)の和に分解し、回転角が十分小さい場合にその級数が収束することを示します。符号距離以上の大きさを持つクラスタだけが論理情報に影響するため、論理不忠実度の項は符号距離に対して指数的に抑えられる、という流れです。
この結果は、数値実験では示唆されていた「コヒーレント誤りでも閾値は存在する」という見解に理論的な裏づけを与えます。表面符号など実装候補の符号について、誤り抑制の根拠が確かな数学的主張として得られたことは、フォールトトレラント量子計算の理論基盤を強化します。また、フーリエ解析とポリマー/クラスタ展開を組み合わせる手法は、誤り訂正と統計力学との関係を考える新たな視点を提供します。将来的には、回復操作に含まれる測定の誤りや回路レベルのコヒーレント誤りまで扱う理論への足がかりになる可能性があります。
重要な制約も明確にされています。今回の証明は「コード容量」設定、すなわちシンドローム測定が雑音なしで得られる場合に限られます。測定に雑音がある回路レベルの場合や、論理量子ビット数が無制限に増える場合には別途の解析が必要です。また閾値を保証するには回転角が符号サイズに依らない十分小さな定数であることが前提です。結果に現れる前置因子が物理量子ビット数に比例するため、実際のシステムでの数値的な閾値や最適な復号戦略を与えるものではなく、あくまで「正の閾値が存在する」という数学的証明である点にも注意が必要です。