Fixed-Boost Wigner Noise: Strict Trace-Distance Contraction without Quantum Degradability

技術要約：固定ブーストによるウィグナー・ノイズとトレース距離の縮小

問題提起
本論文は、相対論的量子情報における根本的な問いに取り組んでいる。すなわち、「固定されたローレンツ・ブーストの下で、すべての観測可能なスピン・コントラスト（トレース距離）が減少する場合、その結果として得られるノイズ・チャネルは、元のチャネルのポストプロセッシング（劣化）であると言えるか？」という問いである。具体的には、あるターゲットとなる準備が、同一のブースト下において、ソースとなる準備と比較して、あらゆる較正された軸に沿ってスピン状態の識別性を厳密に低下させている場合、$\Phi_{target} = \Lambda \circ \Phi_{source}$ を満たす状態に依存しない完全正値トレース保存（CPTP）チャネル $\Lambda$ が必ず存在するのだろうか？

先行研究では、減少したスピン状態が、観測者のブーストおよび運動量分布に依存してウィグナー回転を生じることを確立している。単純なデフェージング・モデルでは、単一のコヒーレンス・パラメータによって順序付けできることが多いが、本論文では、横方向の平面上でウィグナー回転の軸が変化し、非可換な分岐回転が生じる、より複雑なシナリオを調査している。中心となる操作的な問いは、成分ごとのダンピング（すべてのブロッホ座標の縮小）が、量子統計的なポストプロセッシングの順序を保証するのに十分であるかどうかである。

手法
著者らは、単一の固定された観測者ブーストによって生成される、簡約化されたスピン・チャネルの集合を特徴付けるために、厳密な幾何学的および解析的手法を用いている。

1. モデル構築： 本研究は、自律的な積準備 $\rho_{SP} = \rho_S \otimes \rho_P$ を仮定しており、ここで $\rho_P$ はトレースクラス演算子である。スピン動力学は、ローレンツ変換のユニタリ・トレースから生じるランダム・ユニタリ・チャネルによって記述される。
2. 幾何学的特徴付け： 著者らは、ブースト軸に対して直交する平面上の反転対称な横方向運動量分布を持つ、固定ブーストによって実現可能なブロッホ行列の正確な凸錐を導出している。これには、ブースト軸に直交する平面上でのウィグナー回転 $R_n(\pm \theta)$ の平均化の解析が含まれる。
3. 解析的族： この錐の中で、著者らは重み $u$ と $v$（反対方向の運動量ペアの確率質量を表す）によってパラメータ化された、特定のパウリ対角チャネルを構成している。これらのチャネルは次のように定義される：
   $$M_\alpha = \text{diag}(1-\alpha, 1-\alpha, 1-2\alpha)$$
   ここで、$\alpha$ はウィグナー角および運動量の重みの関数である。
4. 最適化と検証： 論文では、ターゲット・チャネルと、任意の物理的なコンバータを適用したソース・チャネルとの間の最小ダイヤモンド・ノルム距離に関する最適化問題を解いている。著者らは、Fujiwara-Algoet 不等式と Choi 固有値解析を利用して、完全正性をテストしている。
5. ロバスト性解析： 理想化された「シャープな運動量枝」モデルを、純粋で正規化可能な波束へと拡張している。著者らは、明示的な摂動境界と有限ショット・トモグラフィーの証明を提供することで、これらの結果が有限の運動量広がりを持つ物理的に実現可能な状態においても保持されることを示している。

主要な貢献と結果

• 劣化不可能性を伴う厳密なトレース距離の縮小： 主要な結果は、$0 < u < v < 1/2$ において、ターゲット・チャネル $\Phi_v$ が、ソース・チャネル $\Phi_u$ と比較して、すべてのペアワイズ・トレース距離を厳密に縮小するという反例の構築である。これらすべての観測可能なコントラストの厳密な順序付けにもかかわらず、$\Phi_v = \Lambda \circ \Phi_u$ を満たす CPTP 写像 $\Lambda$ は存在しない。
• 正確な錐の特徴付け： 論文は、「固定ブースト対称錐」の正確な記述を提供している。実行列 $M$ がこの錐に属するための必要十分条件は、次のような形式をとることである：
  $$M = \begin{pmatrix} I_2 - D & 0 \\ 0 & 1 - \text{Tr} D \end{pmatrix}$$
  ここで $D \succeq 0$ かつ $\text{Tr} D \leq s$ （$s$ はウィグナー角に関連）である。これは、単純な3軸モデルが見落としていたキネマティックな制約、すなわち、縦方向の欠損は横方向の欠損行列のトレースに等しくなければならないという事実を明らかにしている。
• 定量的欠損： 著者らは、正確な方向性CPTP欠損（物理的なコンバータへの最小ダイヤモンド・ノルム距離）を計算している：
  $$\delta_\diamond(\beta|\alpha) = \frac{\alpha(\beta - \alpha)}{2 - 3\alpha} \quad (\alpha < \beta < 1/2 \text{ の場合})$$
  これは、いかなる物理的なポストプロセッシングも埋めることのできない「ギャップ」を定量化している。
• Choi 固有値の証拠： ソースからターゲットへ写像するために必要な一意の線形因子 $T = M_\beta M_\alpha^{-1}$ は、負の正規化された Choi 固有値を持つことが示されている：
  $$\lambda_{\min} = -\frac{s^2 u(v-u)}{2(1-su)(1-2su)} < 0$$
  これは、当該因子が完全正ではないことを証明している。
• マルコフ的障害： 論文は、この族の非恒等メンバーが、時間一様（time-homogeneous）なパウリ対角 Lindblad 半群に埋め込むことができないことを示している。これらは、標準的な散逸過程の正の時間点としての単純なノイズではなく、$\lambda_z \geq \lambda_x \lambda_y$ という要求を満たさないため、相対論的なノイズが標準的な散逸プロセスではないことを示唆している。
• 安定性とトモグラフィー： これらの結果は、正規化可能な波束に対しても持続することが示されている。著者らは、明示的な「認証排除近傍（certified exclusion neighborhood）」の境界を導出し、有限の測定誤差や有限の運動量広がりがある場合でも、非劣化性がトモグラフィーを通じて実験的に証明可能であることを示している。

意義と主張
本論文は、**「すべての補助なしのスピン識別性を順序付けることは、量子統計的なポストプロセッシングの順序を決定しない」**ことを実証したと主張している。

• 操作的含意： 成分ごとのダンピングは、相対論的な設定における情報損失の不十分なプロキシ（代理指標）である。チャネルは、あらゆる観測可能な意味において「よりノイジー」であっても（より小さなトレース距離、より小さな特異値）、要求される変換が完全正性を満たさないため、量子情報的な意味では「比較不能」であり得る。
• 構造的洞察： 劣化の失敗は、固定ブーストのキネマティクスによって課される、3つの観測される収縮の特定の結合から生じている。縦方向の収縮が、CPTP テトラヘドロン内に収まるには、横方向の収縮に対して強すぎるのである。
• 主張の謙虚さ： 著者らは、あらゆるスピン・運動量相関やあらゆるローレンツ波束によって生成されるすべてのチャネルを特徴付けるものではないことを明示している。この結果は、「固定ブースト」の実現（反転対称な横方向運動量を持つ場合）に特有のものである。本論文は、標準的な直感（より小さい距離 $\implies$ ポストプロセッシング）が失敗する、物理的に生成されるチャネルの開集合の存在に焦点を当てており、すべての相対論的ノイズの完全な分類を目指したものではない。

結論として、本研究は、単一の固定ローレンツ・ブーストの下では、減少したスピン・チャネルの集合が、恒等写像がすべてのメンバーを支配する一方で、すべての正のノイズを持つメンバーが**ブラックウェル・アンチチェイン（Blackwell antichain）**を形成する構造を持つことを確立している。