Unitary-accessible coherence-erasure distance: Exact qubit solution and a tight qutrit bound

技術的要約：ユニタリ到達可能なコヒーレンス消去距離

問題提起
本論文は、標準的な量子コヒーレンス尺度における限界に対処している。標準的な手法は、通常、量子状態からすべての非コヒーレントな状態の集合への距離を最小化することによってコヒーレンスを定量化する。この標準的なアプローチは、いかなる非コヒーレント状態も到達可能であると仮定しており、動的な制約を無視している。具体的には、進化がユニタリ変換に限定されている場合（閉じた系のダイナミクス）、密度演算子のスペクトルは保存される。したがって、状態 $\rho$ は一般に任意の非コヒーレント状態へと変換することはできず、自身のスペクトルを共有する非ココーレント状態へとしか到達できない。

著者らは、ユニタリ到達可能なコヒーレンス消去距離 ($D^U_I(\rho)$) を導入し、スペクトルを厳密に保存しながら、状態 $\rho$ を非コヒーレントな状態へと変換するために必要な最小のユニタリ制御コストを定量化する。この距離は、エントロピーや純度が変化する散逸的なデコヒーレンス過程とは異なり、閉じた系のユニタリダイナミクスによるコヒーレンスの「消去」の操作的コストを表している。

手法
本研究は、リソース理論の枠組みと幾何学的量子情報理論を組み合わせて用いている：

1. 定義: 著者らは、ユニタリ到達可能な非コヒーレント状態の集合を $I_\rho = \mathcal{I} \cap \mathcal{O}_\rho$ と定義する。ここで $\mathcal{I}$ は非コヒーレント状態の集合であり、$\mathcal{O}_\rho$ は $\rho$ のユニタリ軌道である。
2. 距離計量: 距離は、$\rho$ と $I_\rho$ に属する任意の状態との間の最小の量子充電距離 ($D_{CD}$) として定義される。量子充電距離は、有界な駆動ハミルトニアンの下で、ある等スペクトル状態から別の等スペクトル状態へ変換するために必要な最小時間を測定するものである。
3. 固有基底への簡約: 非退化状態の場合、最適化問題は、置換および位相の変化を除いて、$\rho$ の固有基底を固定された参照基底に整列させるために必要な最小のユニタリ回転を見つけることに帰着することを著者らは証明している。これは、固有基ック行列 $R$ から単項ユニタリ群 ($M_d$) への距離として定式化される。ここで、$M_d$ は置換行列と対角位相行列の積からなる。
4. 比較分析: 本研究は、$D^U_I(\rho)$ と、軌道制限付きブレス角（Bures angle）、および軌道制限付き修正量子輸送コストとの間の不等式を確立している。

主要な結果

• 一般的性質:

  • $D^U_I(\rho) = 0$ であることは、$\rho$ が既に非コヒーレントであることと同値である。
  • この距離は、単項ユニタリ変換に対して不変である。
  • 純粋状態の場合、ユニタリ到達可能なコヒーレンス消去距離は、軌道制限付きブレス角および軌道制限付き輸送コストのスケール変換されたバージョンと正確に一致する。
  • 混合状態の場合、これらの量は一般に異なり、非退化量子ビットにおいては、ブレス角はより小さくなる。

• 量子ビットの解（厳密解）:

  • 非退化量子ビット状態 ($r > 0$) について、著者らは以下の厳密な解析的表現を導出している：
    $$D^U_I(\rho) = \frac{1}{2} \arccos\left(\frac{|r_z|}{r}\right) = \frac{1}{2} \arcsin\left(\frac{r_\perp}{r}\right)$$
    ここで、$r$ はブロッホベクトルの大きさであり、$r_z$ は参照軸に沿った成分である。
  • 重要な知見: この距離は、状態の固有値（混合度）ではなく、参照基底に対する固有基底の方位のみに依存する。これは、方向と長さの両方に依存するブレス角とは対照的である。
  • 特異性: 最大混合状態 ($r=0$) において、スペクトルの退化により、距離は不連続にゼロへと低下する。一方で、固定された方向に向かう $r \to 0$ の極限では、有限の値に留まる。

• 量子トリック（タイトな境界）:

  • 非退化量子トリックの場合、問題は単項ユニタリ群 $M_3$ 上の最適化に帰着する。
  • 著者らは、距離のタイトな普遍的上界を導出している：
    $$D^U_I(\rho) \leq \theta^* = \arccos\left(\frac{2\sqrt{2}-1}{4}\right) \approx 1.096 \text{ rad} \approx 62.80^\circ$$
  • この境界を達成する明示的な固有基底行列 $R^*$ が構築されており、この境界が達成可能であることを示している。

意義と主張
本論文は、スペクトルの保存を無視する標準的なコヒーレンス尺度とは区別される、ユニタリ制約下でのコヒーレンス消去のコストに対する厳密な操作的定義を提供すると主張している。

• 操作的意味: $D^U_I(\rho)$ は、有界なユニタリ駆動の下でコヒーレンスを排除するために必要な最小時間を直接決定し、制御時間という観点からの具体的な物理的解釈を提供する。
• 幾何学的区別: 本研究は、状態空間の近接性（ブレス角）とユニタリ到達性の間の根本的な幾何学的相違を強調している。これらは純粋状態では一致するが、混合状態では乖離する。これは、混合量子ビットにおいて、ユニタリ進化を通じて非コヒーレント状態に到達するための「コスト」が、幾何学的距離が示唆するものよりも厳密に高いことを明らかにしている。
• 普遍性: 導出された量子トリックの境界は、状態の特定の固有値には依存せず、固有基底の方位のみに依存しており、これは3準位系におけるユニタリ・コヒーレンス消去の困難さに関する普遍的な限界を示唆している。

著者らは、これらの距離の理論的特性および量子速度限界や最適輸送コストとの関係の記述を超えて、具体的な実験的実装や将来の応用を提案してはいない。