Bypassing the protection-sensitivity incompatibility in quantum-error-corrected metrology via asymmetric codes

技術要約：非対称符号による量子誤り訂正を用いた、保護と感度の不整合の回避

問題提起
量子計測は、$n$ 個のプローブにおける信号位相のコヒーレントな蓄積を通じて、標準量子限界（SQL）である $O(1/\sqrt{n})$ を超え、ハイゼンベルク限界である $O(1/n)$ の精度を実現することを目指している。しかし、現実的な設定では、ノイズがこのスケーリングの優位性を破壊してしまう。量子誤り訂正（QEC）は、量子情報を保護するための標準的な解決策であるが、著者らは、QECの要件と量子増強計測の要件との間に、根本的な構造的不整合が存在することを指摘している。

QECは、局所的なエラーを区別して訂正するために、シンドローム測定に依存している。これには、局所的なエラーが区別可能であることが求められる。対照的に、ハイゼンベルク限界の計測には、プローブ状態内で局所的な信号の寄与が区別不可能であり、それらがコヒーレントに加算される必要がある。信号とエラーはしばしば同じ物理的自由度に作用するため、対称的なQEC（すべての局所的な摂動を等しく抑制するもの）は、必然的に信号のコヒーレントな蓄積を抑制してしまう。論文は、対称的に保護された符号には本質的なトレードオフが存在すると断じている。すなわち、局所的なエラーに対する強力な保護は、量子フィッシャー情報（QFI、感度の尺度）をSQLへと押し下げてしまう。

手法および理論的枠組み
著者らは、$K$-局所な無跡ハミルトニアン $\hat{H} = \sum \hat{H}_j$ に対する、符号距離 $d$（保護の尺度）と QFI $F$（感度の尺度）の関係を分析することで、この不整合を定式化した。彼らは、以下の一般的なトレードオフ関係を確立している：
$$d \cdot F = O(n^2)$$
これは、ハイゼンベルク限界の感度（$F = \Theta(n^2)$）を得るためには、符号距離が定数（$d = \Theta(1)$）でなければならず、スケーラブルな保護が得られないことを意味する。逆に、増大する距離を持つ符号（$d = \Theta(n)$）は、SQLのスケーリング（$F = \Theta(n)$）に制限される。

著者らは、このトレードオフが以下の3つの主要なQEC符号クラスにおいて成立することを厳密に証明している：

1. 非退化符号（Non-degenerate codes）: 異なるエラーが直交する部分空間に写像される場合。一度 $d \ge 2K+1$ となると、局所的な信号項は訂正可能なエラーとなり、コヒーレンスが破壊され、$F$ は $O(n)$ に制限される。
2. 量子低密度パリティ検査（QLDPC）符号: 退化性があるにもかかわらず、疎なチェック構造が局所性の制約を課すため、ハイゼンベルク・スケーリングに必要な長距離相関を妨げ、$F = O(n)$ に留まる。
3. 一般化ショア符号（Generalized Shor codes）: 退化を利用して局所的な信号項を相関させることで、$F$ を $O(n)$ 以上に高めることができる。しかし、著者らはここでも $d \cdot F = O(n^2)$ のトレードオフが持続することを証明している。信号のコヒーレンスを高めるためにブロックサイズを大きくすることは、保護に利用できるブロック数を減少させ、それによって $d$ を減少させることになる。

本論文は、これが特定のノイズモデルによる制限（従来の「不可能定理」のようなもの）ではなく、対称的な保護による構造的な帰結であると主張している。

主要な貢献：非対称量子誤り訂正
この不整合を回避するために、著者らは**非対称量子誤り訂正（Asymmetric QEC）**を提案している。核心となる洞察は、センサはすべての論理的方向に等しく保護する必要はないということである。代わりに、保護は方向性を持つべきである：

• 信号方向: 局所的な信号項は、コヒーレントな蓄積を可能にするために、依然として区別不可能かつアクセス可能である必要がある。
• 補完的な方向: 信号に直交する局所的な摂動は、依然として区別可能であり、訂正可能である必要がある。

非対称QECの定義:
スタビライザー符号は、反交換する一対の論理演算子、$\bar{Z}^*$（信号に整合したもの）および $\bar{X}^*$（共役）が存在する場合に非対称であると定義される。その条件は以下の通りである：

• 信号演算子の実効的なウェイトは一定である：$w_{eff}(\bar{Z}^*) = \Theta(1)$。
• 共役演算子の実効的なウェイトはシステムサイズとともに増大する：$w_{eff}(\bar{X}^*) = \Theta(n)$。

構成と結果:

1. 一般構成: 任意の $K$-局所ハミルトニアンに対して、著者らは、広範な局所的信号項が同一の論理演算子 $\bar{Z}^*$ の代表として機能する非対称符号を構成している。プローブ状態を共役方向 $\bar{X}^*$ に偏極させることで、これらの項はコヒーレントに加算され、ハイゼンベルク限界のQFI（$F = \Omega(n^2)$）を達成しつつ、補完的な方向における増大する実効的な距離を維持する。
2. 幾何学的実現（Toric Code）: アスペクト比 $L_x \times L_y$（ここで $L_y = O(1)$ かつ $L_x = \Theta(n)$）を持つ長方形トーリック符号は、具体的な例となる。$L_y$ 方向を包み込む短いストリングで構成される信号ハミルトニアンは、$\bar{Z}^*$ の低ウェイトの代表として機能し、一方で共役の $\bar{X}^*$ は長い $L_x$ 方向を包み込み、マクロな保護を提供する。
3. スケーラブルなバリアント:
   • 強非対称QLDPC符号: これらの構成は、疎なスタビライザーチェック（有界なウェイトと次数）を維持しながら、ハイゼンベルク・スケーリングと、信号以外の方向における増大する保護を同時に達成する。
   • 連結非対称符号: 一般化ショア符号に着想を得たこれらの符号は、信号方向における残留保護を調整することで、高感度と高保護の間を連続的にチューニングすることを可能にする。
4. 状態準備: 著者らは、必要なプローブ状態が $O(n)$ 個の補助量子ビットを用いた定数深さの適応的クリフォード回路を用いて準備できることを示している。これにより、このフレームワークは理論的に健全であるだけでなく、実用的なスケーラビリティも備えている。

意義と主張
本論文は、QECが信号を増幅しようとする目的を阻害することなく、センサを保護できるかという中心的な未解決問題の解決を主張している。著者らは以下のように断言している：

• 保護と感度のトレードオフは、対称的なQEC符号における根本的な構造的特徴であり、特定のノイズモデルによるアーティファクトではない。
• 非対称QECは、信号方向の保護要件をノイズ方向の要件から切り離すことにより、このトレードオフを回避することに成功している。
• このアプローチは、任意の局所的センシング・ハミルトニアンに対してハイゼンベルク限界の精度を回復させると同時に、信号に直交する方向に対するスケーラブルな保護を保持する。
• 提案されたフレームワークは、スケーラブルな量子増強計測のための「実用的なリソースの設計図」を提供し、基礎的な量子センシングの法則を犠牲にすることなく、現実的なノイズ環境下での量子優位への道を示すものである。

著者らは、エンコードされたプローブ状態は確立されているものの、これらの非対称符号を、状態準備、シンドローム抽出、および読み出しを含む完全なフォールトトレラント・プロトコルへと統合すること、および、増強された信号を保護を消去することなく測定するという特定の課題に対処することが、今後の課題であると述べて締めくくっている。