Closing a single-copy gap to the Holevo bound with two-copy measurements

技術要約：2コピー測定によるホレボ限界への単一コピー・ギャップの解消

問題提起
ホレボ・クラメール・ラオ限界（$C_H$）は、無限個の同一のコピーに対する集団的測定が許容される場合の、量子多パラメータ推定における究極のアシンプトティック（漸近的）な精度限界を定義する。しかし、実用的なシナリオにおける有限のリソースを考慮すると、「有限の数のコピー（$n$）を用いてホレボ限界を正確に達成できるか？」という根本的な問いが残る。

2パラメータ推定モデルにおいては、「ギャップ持続定理（gap-persistence theorem）」により、もし最適な単一コピー推定コスト（$C^{(1)}$）がホレボ限界よりも厳密に大きい場合（$C^{(1)} > C_H$）、そのギャップは任意の有限のコピー数においても持続する（すべての有限の $n$ に対して $C^{(n)} > C_H$）。これは、3つ以上のパラメータを持つモデルにおいてもこの持続性が普遍的に成り立つかどうかという未解決の問題であった。具体的には、高次元のパラメータ空間において、有限の数のコピー（例：$n=2$）を用いた集団的測定によって、厳密な単一コピー・ギャップを閉じることができるのかどうかは不明であった。

手法
著者は、理論的構成、厳密な証明、および実験的実装の組み合わせを通じて、この問題に取り組んでいる。

1. 反例の理論的構成：
   著者は、4次元ヒルベルト空間（$\mathcal{H} = \mathbb{C}^2_r \otimes \mathbb{C}^2_t$）上で作用する、特定の3パラメータ・ランク2の量子推定モデルを構築している。状態族は $\rho_\theta = U_\theta \rho_0 U_\theta^\dagger$ で定義され、ここで $\rho_0 = |0\rangle\langle 0|_r \otimes I_t/2$ であり、ユニタリ変換 $U_\theta$ はパウリ演算子を介して3つのパラメータ（$\theta_1, \theta_2, \theta_3$）をエンコードしている。

• 彼らはこのモデルのホレボ限界を解析的に導出し、$C_H = 5/8$ を得た。
• キュービット部分系の条件付き測定を最適化することで、正確な最適単一コピーコスト $C^{(1)}$ を計算し、$C^{(1)} = (3 + 2\sqrt{2})/8 \approx 0.729$ を得た。これにより、厳密な単一コピー・ギャップ（$C^{(1)} > C_H$）が確認された。
• ブロックワイズ推定子観測量戦略を用いて、2コピー（$n=2$）を用いた明示的な集団的測定を構築した。この測定は局所的に不偏であり、正規化されたコストとして正確に $5/8$ を達成することが示された。

2. フルランクモデルに対する理論的証明：
   反例の特性の必要性を特徴付けるため、著者は、任意の滑らかで局所的に識別可能なフルランクモデル（密度行列が厳密に正であるモデル）において、厳密な単一コピー・ギャップはすべての有限の $n$ に対してギャップが持続するという定理を証明した。この証明では、ナイマルク拡張を用いることで、フルランクモデルにおける正確なホレボ飽和には推定子演算子の可換性が必要であることを示している。これは、ホレボ汎関数の厳密な凸性と相まって、単一コピーの最適化演算子も可換であり、かつ限界値を達成することを強制する。これにより、ランク不足（具体的には、状態のサポートの一次的な運動）が、有限コピーによるギャップ解消のための必要条件であることが確立された。

3. 実験的実装：
   理論的な2コピー・プロトコルは、2つのトランスモン量子ビットを用いたIBMの超伝導量子プロセッサ ibm_boston 上で実装された。

• ハイブリッド・プロトコル： この実験では、古典的なフラグ（$\sigma_x$ 基底での $t$ 量子ビットの測定結果）を物理的に測定するのではなく、古典的にサンプリングするハイブリッドアプローチを採用しており、これにより条件付きエンコーディングを単一のトランスモンに適用することが可能となった。これにより、理想的な2コピーモデルの統計が正確に再現された。
• ノイズ解析： 著者は、システムに制御されたデポラリジング・ノイズ（$\epsilon$）を導入した。実験の結果、$\epsilon > 0$ の場合には（状態がフルランクになるため）正確なホレボ限界の達成は不可能であるが、2コピーの集団的測定が、有限のノイズ範囲において単一コピーの最適値や個別測定に対して精度上の優位性を保持していることが示された。

主な結果

• 普遍的な持続性の否定： 構築された3パラメータモデルは、厳密な単一コピー・ギャップ（$C^{(1)} > C_H$）が必ずしもすべての有限の $n$ に対して持続するわけではないことを示している。具体的には、このモデルでは $n=2$ でギャップが正確に閉じる。これは、2パラメータを超えた場合の「ギャップ持続」の普遍性を否定するものである。
• 長岡・林（Nagaoka-Hayashi）限界の閉鎖： 本研究はまた、このモデルにおいて長岡・林限界とホレボ限界の間のギャップが、2コピーで閉じることも示している。
• 条件としてのランク不足： 論文では、フルランクモデルにおいては有限コピーによるギャップの解消は不可能であると証明されている。したがって、ランク不足が、観察された現象の必要条件として特定された。
• 実験的検証： 実験では、2コピーの推定コスト $C^{(2)}_{exp} = 0.709(9)$ が測定された。これは、認定された単一コピーの下限 $C^{(1)}_{opt} = 0.741(7)$ よりも有意に低く（2.8標準偏差の優位性）、さらに集団的測定は、個別測定の限界値 $0.778(8)$ を5.9標準偏差上回った。
• ノイズ耐性： 2コピー測定の精度上の優位性は、デポラリジング・ノイズが導入された場合でも持続するが、ノイズ（$\epsilon > 0$）の導入直後にホレボ限界の正確な飽和は失われる。

意義と主張
本論文は、有限のリソースを用いてホレボ限界を達成できるかという、長年の未解決問題に決着をつけることを主張している。反例を提供することで、マルチパラメータ量子推定において「ギャップ持続」現象が普遍的ではないことを確立した。本研究は、そのようなギャップの解消に必要な構造的要件（ランク不足）を明らかにし、特定の条件下では有限のアンサンブルを用いて究極の精度限界に到達できることを示している。

著者は、究極の精度の達成可能性が、推定モデルの特定の構造と集団的測定リソースの利用可能性に結びついていることを強調している。正確な飽和には、ノイズのないランク不足のモデルが必要であるが、現実的なノイズが存在する設定においても、測定可能な集団的優位性が持続することを指摘している。これは、漸近理論と有限リソースの実装的現実との間の架け橋となるものである。本論文は、すべてのモデルに対する一般的な問題を解決しようとするものではなく、有限コピーによる最適化が可能となる特定のクラス（サポートが動くランク不足のモデル）を特定することを目指している。