Distributed estimation of many-body Hamiltonians via punctured surface code

技術要約：パンクチャード・サーフェスコードによる多体ハミルトニアンの分散推定

問題提起
本論文は、分散量子センシングにおける課題、具体的には、既知の重み $s_\alpha$ と未知の結合強度 $\lambda_\alpha$ を用いた加重和 $q = \sum_\alpha s_\alpha \lambda_\alpha$ の推定タスクを扱う。もともと、もつれ合ったプローブは、このような線形汎関数に対して理論的にハイゼンベルク限界に達することができるが、標準的なプロトコルは多くの場合、センサーネットワーク全体にわたる長距離コヒーレンスに依存しており、ノイズや不完全な制御に対して脆弱である。著者らは、これらの信号項が量子誤り訂正（QEC）によって保護された形式として実現可能かどうかを調査している。具体的には、格子上の既知の局所的サポート（単純な原始パス $c_\alpha$）上のパウリ$Z$演算子の積として記述される、局所的な多体$Z$型結合のファミリー $H = \frac{1}{2} \sum_\alpha \lambda_\alpha Z(c_\alpha)$ を研究する。目標は、これらの異なる物理的信号項を、サーフェスコード上の単一の論理演算子（$\bar{Z}$）として機能するように設計し、対象となる量 $q$ を単一の論理量子ビットにエンコードすることである。

手法
著者らは、2つの「ラフ（粗い）」穴 $R_0$ と $R_1$ を持つ平面サーフェスコードを利用する。このパンクチャード・サーフェスコードにおいて、論理 $\bar{Z}$ 演算子は、$R_0$ と $R_1$ のラフ境界を接続する$Z$ストリング（$Z$演算子の積）として表される。核心となる手法は、これらの穴の配置と信号パスを設計し、すべての物理的信号演算子 $Z(c_\alpha)$ がコード空間上で同一の非自明な論理 $\bar{Z}$ として作用するようにすることである。

このアプローチは、2つの相補的な設計問題に分けられる：

1. 格子埋め込み型信号サポート： 格子上に既に埋め込まれた信号パス $\{c_\alpha\}$ の集合が与えられたとき、互換性のあるラフ穴 $R_0$ と $R_1$ を選択するための条件を導出する。
2. 抽象的サポート構造： サポートの抽象的な重なり構造（どの量子ビットが共有されているか）のみが与えられたとき、それらを格子上にどのように実現するかを決定する。

主なツール：

• ウィットネス（Witness）： 双対格子上の単純な閉ループ。ウィットネス $w$ は、原始パスとの交差のパリティに関する幾何学的なテストを定義する。
• トポロジカル基準： すべての $Z(c_\alpha)$ が同一の論理 $\bar{Z}$ として作用するためには、すべての信号パスを奇数回横切る「ウィットネス」が存在しなければならない。
• クリーン・オープニング条件（Clean-Opening Condition）： ラフ穴を形成する際に、信号パスの端点以外の頂点でスター・スタビライザーをオフにすることなく（これによりコードの交換関係が損なわれるのを防ぐ）、穴を開けることができることを保証する局所的な幾何学的制約。
• スタビライザー差分条件： 重なり合うサポートの場合、2つの信号演算子の積は、活性な$Z$型プラケット・スタビライザーの積と一致しなければならない（$Z(c_a)Z(c_b) \in S^{\text{act}}_Z$）。

主要な貢献および結果

1. グローバル奇数ウィットネス基準（定理1）：
   著者らは、信号パス $\{c_\alpha\}$ が同一の論理 $\bar{Z}$ として機能できるための必要十分条件は、「エンドポイント・グラフ」（頂点をパスの端点とし、エッジをパスで表すグラフ）が二部グラフであることであることを証明した。これは、すべての信号パスを奇数回のパリティで横切る単純な閉双対ループ（ウィットネス）が存在することと同等である。

2. 局所クリーン・オープニング条件（命題2）：
   グローバルなウィットネスの存在は必要条件であるが、十分条件ではない。著者らは、局所的な条件を導入している。すなわち、ウィットネスが導く領域は「クリーンに開ける（cleanly openable）」必要がある。これは、割り当てられた端点がラフ境界上に位置し、かつ信号パスの非端点頂点がすべて活性なコード領域内に留まる（スター・スタビライザーを保持する）ようにして、互いに素で単純連結なラフ穴 $R_0 \subseteq \Omega_0$ および $R_1 \subseteq \Omega_1$ を選択できることを意味する。この条件が満たされる場合、すべての $Z(c_\alpha)$ は同一の論理 $\bar{Z}$ を実現する。

3. 分散センシング・プロトコル：
   互換性が確立された後、センシングタスクは論理ラムゼイ実験へと変わる。

• 並列ロード： 複数の信号パスが固定されたパッチ上で同時にアクティブになる。重み $s_\alpha$ は、時間平均エコー操作（局所的な$X$反転）を介して制御される。
• 逐次的な穴の移動： ラフ穴を逐次的に移動させることで、異なる信号パスを一つずつアクティブにする。重みは滞在時間によって設定される。
  いずれの場合も、蓄積された位相は論理量子ビットに保存される。このプロトコルは、サーフェスコードの誤り訂正特性を継承しており、訂正可能なエラーによって蓄積された論理位相が消失することはない。

4. 抽象的サポートの実現：
   抽象的なサポート（重なり構造のみが既知の場合）について、著者らは三体$Z$型相互作用を分析している：

• 離れたサポート： 分離されたパスとして直感的に実現可能である。
• 一量子ビットの重なり： 互換性のある重なりは、連続するパスが端点量子ビットを交互に共有しながら、単一の開いた分岐のない「バックボーン」を形成する。
• 二量子ビットの重なり： 互換性のある重なりは、非共有のエッジが活性な重み2の切断プラケット・スタビライザーを形成する必要があり、これは実質的にパスの幾何学における局所的な$90^\circ$のターンを実現する。

意義および主張
本論文は、多体相互作用の分散センシングのための、新しいノイズ耐性を持つプロトコルを提供すると主張している。多くの信号項をパンクチャード・サーフェスコード上の単一の論理演算子にマッピングすることで、このスキームは、プロセス中に発生する局所的なエラーからセンシングタスクを保護する。著者らは、このアプローチが、標準的なGHZベースのプロトコルに求められる脆弱な長距離コヒーレンスを回避できることを強調している。

本研究は、このようなプロトコルを実現するための具体的なトポロジカル設計基準（奇数ウィットネス基準およびクリーン・オープニング条件）を確立している。また、幾何学的な実現（バックボーンやターン構造を必要とする）には制約があるものの、複雑な多体信号項を単一の保護された論理自由度に圧縮することが可能であることを示している。著者らは、このフレームワークが$X$と$Z$を入れ替えることで$X$型結合にも拡張可能であり、将来的にはより豊かなコードファミリーや高次の相互作用への応用が可能であると述べている。シンドローム抽出が正確かつ高速に行われる限り、このプロトコルの精度は、正規化された線形汎関数に対してセンサーネットワークのハイゼンベルク限界を回収できることが示されている。