Quantum Decision Theory for Displacement Detection with Finite-Energy GKP States

技術要約：有限エネルギーGKP状態を用いた変位検出のための量子決定理論

問題提起
本論文は、単一のボゾンモードに作用する位相空間上の変位に関する二値量子仮説検定の問題を扱う。目的は、変位の連続的なパラメータを推定することではなく、変位ベクトル $\xi = tu$ （$t$ は振幅、$u$ は方向）の不在（$H_0$）と存在（$H_1$）を識別することである。本研究では、有限エネルギーの $d$ レベルGottesman–Kitaev–Presil (GKP) 状態をプローブとして用いることに焦点を当てている。理想的なGKP状態とは異なり、現実的なプローブは有限のエネルギーを持つため、有限幅のピーク、エンベロープ変調、および非直交な論理コードワードを持つ。著者らは、準備依存の「ブラインド方向」および光子損失とそれに続く量子限界増幅の影響を考慮した上で、これらの有限エネルギープローブによる最適検出性能（ベイズ最小誤り確率およびネイマン・ピアソン受信特性）を導出することを目的としている。

手法
著者らは、以下の要素を統合した量子決定論的フレームワークを開発した：

1. 有限エネルギーモデリング: 理想的なGKPコードワードをフォック・エンベロープ（$e^{-\beta \hat{n}}$）を用いて正則化する。得られた物理状態は、物理的な等長写像 $V$ を形成するために、標準的な対称直交正規化を介して直交化される。これらの状態に対する変位操作は、フォック空間を切り捨てることなく、変位前後の重なりを捉える正確なテータ級数変位カーネル $K^{(d)}_\beta(\xi)$ によって特徴付けられる。
2. 決定フレームワーク:
   • ベイズ法: ベイズ特性演算子 $\Lambda_z$ を用いて、最小誤り確率 $P_e = \frac{1}{2}(1 - \|\Lambda_z\|_1)$ を導出する。
   • ネイマン・ピアソン法: ラグランジュ演算子 $\Gamma_\gamma = \rho_1 - \gamma\rho_0$ のスペクトル特性を利用して、固定された誤警報率に対して検出確率を最大化することにより、最適な受信者動作特性（ROC）を導出する。
3. アーキテクチャ: 2つのセンシング・アーキテクチャを分析する：
   • 単一モード: 有限エネルギーのGKP状態を準備、変位させ、局所的に測定する。その性能は論理入力状態に依存する。
   • もつれ補助型: シグナルモードは保持されたGKPアイドラーと最大級にもつれ状態にある。シグナルのみに変位が作用する。結合測定により、論理的な変位クラスを直交する論理ベル・セクターへと写像する。
4. チャネルモデリング: 光子損失（透過率 $\eta$）に続く量子限界増幅（利得 $G=1/\eta$）を、実効的な単位利得ガウス乱変位チャネルへと写像する。これにより、ロスとノイズを、ラッピングされた尤度とテータ関数を用いたシンドローム分解を用いることで、GKP復号と同じ位相空間の枠組み内で扱うことが可能となる。
5. ベンチマーク: GKPプロトコルを、等価な「公称スクイージング」を持つ3つのガウス型ベンチマーク（コヒーレント状態、方向一致型スクイーズド真空、および双子ビーム（二モードスクイーズド真空）状態）と比較する。これにはホモダイン検出および逆準備「真空か否か」受信機が含まれる。

主要な貢献

• 厳密な有限エネルギー解析: フォック空間を近似的にガウスノイズモデルに置き換えるのではなく、テータ級数カーネルを用いて有限エネルギーGKP状態を厳密かつ解析的に扱う手法を提供した。
• もつれと最適化: 厳密な比較により、無雑音かつ純粋状態の極限において、単一モードの状態で既知の変位に対して点ごとに最適化されている場合、もつれは単一モード戦略の性能を上回らないことが明らかになった。しかし、もつれは準備依存のブラインド方向を除去し、論理的な変位ラベル（Weylセクター）を直交するベル・セクターへと写像することで、両方のラベルを保持する。
• 損失と増幅の取り扱い: 損失補償チャネル下でのGKP状態の正確な尤度比を導出し、問題がテータ関数を用いたシンドローム分解されたラッピング尤度へと帰着することを示した。
• 性能指標: 最小検出可能変位（検出閾値の最初の交差）およびベイズ法とネイマン・ピアソン基準の両方における完全なROC曲線のための閉形式の表現を導出した。

結果

• 無雑音領域: 有限エネルギーGKPベルプローブは、ガウス型ベンチマークに対して非局所的な優位性を示す。方向一致型のスクイーズド状態は、原点付近の非常に小さな変位に対しては優れているが、GKPプローブは、モジュラー格子構造に対応する有限の変位において、より低いベイズ誤差とより小さな最小検出可能摂動を実現する。例えば、8 dBのスクイージングと論理次元 $d=7$ の場合、最大ベイズ誤差減少は、最良のガウス受信機と比較して $4.39 \times 10^{-2}$ に達する。
• 有雑音領域（損失＋増幅）: 損失と増幅の下でも、GKPの優位性は特定の領域で持続する。8 dBのスクイージングと透過率 $\eta=0.95$ において、GKPプロトコル（$d=5$）は、最良のガウス受信機と比較してベイズ誤差を 0.03809 減少させる。ネイマン・ピアソン領域（$d=5$, 6 dB, $\eta=0.8$）では、GKPプロトコルは最良のガウス型ベンチマークに対して最小検出可能変位を 8.54% 減少させる。
• 限界: GKPプローブの優位性は普遍的ではない。損失が増加するか、あるいは変位が小さすぎる場合（スクイーズド状態が支配的な場合）には減少する。クロスオーバー点は、有限のスクイージング、論理次元、およびチャネル透過率に依存する。
• もつれの有用性: 損失が存在し、かつ斜め方向の変位（両方の論理ラベルが情報を運ぶ場合）において、もつれ補助型プロトコルは最適化された単一モードGKP戦略を上回る。軸方向の変位については、両戦略は一致する。

意義および主張
本論文は、構造化されたプローブとして量子プロセス検出に有限エネルギーGKP状態を用いるための包括的なフレームワークを確立したことを主張している。著者らは、GKP状態の連続的なシンドロームと離散的な論理構造が、相補的な統計リソースとして機能することを示した。GKP状態は、すべての領域で最適化されたガウス状態を普遍的に凌駕するわけではないが、有限の変位を検出する場合や、斜め方向および損失を伴うシナリオにおいて、明確な優位性を提供する。また、もつれを通じて論理情報を保持することが、検出統計を改善することを論じている。本研究は、有限エネルギー効果とチャネルノイズを厳密に扱うことで、ボゾン誤り訂正符号が単なる情報担体としてだけでなく、量子決定論のための実行可能な構造化プローブとして機能することを位置づけている。