Equality Conditions for an Additive Three-Observable Uncertainty Relation

技術要約：加法的三観測量不確定性関係における等号成立条件

問題提起
ハイゼンベルク・ロバートソン不確定性関係は、非可換な二つの観測量の分散の積に対する基礎的な下限を与えるが、特定の量子状態に対しては自明な下限しか得られない場合がある。これを解決するために、複数の観測量の分散を合計する加法的不確定性関係（スピン系や標準的な変数に関するものなど）が、集団的な非可換性を特徴付ける手法として提案されてきた。三つの観測量に関する加法的不確定性関係の一般的な形式（スピン系など）は存在するものの、一般的な密度演算子に対して、その下限がいつ飽和するか（すなわち、等号成立条件）の完全な特徴付けは欠けていた。本論文では、一般的なエルミート観測量に対するタイトな加法的不確定性関係を調査し、等号成立の必要十分条件を決定するとともに、その背後にある幾何学的および表現論的構造を解明することを目的とする。

手法
著者らは、回転対称性と共変幾何学の観点からこの問題にアプローチしている。核となる手法は以下の通りである：

1. 回転による導出： 著者らはベクトル演算子 $\mathbf{L} = (L_1, L_2, L_3)$ と、それに関連する交換子ベクトル $\mathbf{V} = (V_1, V_2, V_3)$（ここで $[L_i, L_j] = i \epsilon_{ijk} V_k$）を定義する。交換子ベクトルの期待値 $\langle \mathbf{V} \rangle_\rho$ を単一の座標軸（$z'$ 軸）に一致させる適切な回転を適用することで、問題を横方向のペアの観測量へと変換する。
2. ロバートソン関係の適用： この回転フレームにおいて、ロバートソン不確定性関係を二つの横方向の観測量（$L'_x, L'_y$）に対して適用する。その後、ユークリッドノルムと交換子ベクトルの $\ell_1$ ノルムの関係を用いる幾何学的不等式を組み合わせることで、分散の和を下限付ける。
3. 等号成立の解析： 著者らは、不等式の連鎖の各ステップを追跡することで、飽和に必要な正確な条件を特定する。これには、密度演算子の支持射影（support projector）の性質および共分散行列の性質の解析が含まれる。
4. 逆構成： これらの条件の有用性を実証するために、著者らはリー代数 $\mathfrak{su}(2)$ の有限次元表現を用いる。特定の指定された状態（表現における極限重状態）によって必ず飽和されるような観測量トリプルを構成する。

主な結果
本論文は以下の主要な結果を確立している：

• 加法的不確定性関係： 三つのエルミート観測量 $L_1, L_2, L_3$ と量子状態 $\rho$ に対して、分散の和は以下を満たす：
  $$(\Delta_\rho L_1)^2 + (\Delta_\rho L_2)^2 + (\Delta_\rho L_3)^2 \geq \frac{1}{\sqrt{3}} \left( |\langle V_1 \rangle_\rho| + |\langle V_2 \rangle_\rho| + |\langle V_3 \rangle_\rho| \right)$$
  ここで、$V_k$ は $L_i$ の交換子によって定義されるエルミート演算子である。

• 必要十分な等号成立条件： 等号は、以下の二つの分岐のいずれかの場合に成立する：

  1. 自明な分岐： 右辺がゼロであり（すべての交換子期待値がゼロ）、かつ状態が三つの観測量すべての同時固有状態である（すべての分散がゼロ）。
  2. 非自明な分岐： 交換子期待値が非ゼロである。等号成立には以下が必要である：
     • 交換子期待値の絶対値が等しいこと：$|\langle V_1 \rangle_\rho| = |\langle V_2 \rangle_\rho| = |\langle V_3 \rangle_\rho|$。
     • $\langle \mathbf{V} \rangle_\rho$ が $z'$ 軸に整列している回転フレームにおいて、横方向の観測量の分散が等しく（$\Delta L'_x = \Delta L'_y$）、かつロバートソン・バウンドを飽和していること。
     • 縦方向の観測量の分散がゼロであること（$\Delta L'_z = 0$）。

• 幾何学的解釈： 非自明な等号成立の場合、観測量トリプルの共分散楕円体は、交換子ベクトルの期待値 $\langle \mathbf{V} \rangle_\rho$ に垂直な平面内に存在する円盤へと退化する。これは、避けられない不確定性がすべて横方向の平面内に閉じ込められ、縦方向のゆらぎが存在しないことを示している。

• 逆構成： $\mathfrak{su}(2)$ 表現を用いることで、任意の二つの直交する純粋状態に対して、それらの状態が加法的不確定性関係を飽和するような観測量トリプルを構成できることを示す。これは、ベル状態や最大もつれ状態を用いた二量子ビット系に対して明示的に示されている。

意義と主張
本論文は、タイトな加法的三観測量不確定性関係の一致した特徴付けを提供すると主張している。短い回転による証明を導出することで、著者らは飽和メカニズムを透明にし、バウンドを横方向のペアに対するロバートソン関係に直接結びつけている。本研究は、不確定性が交換子ベクトルに対してどのように縦方向と横方向に分配されるか（円盤への退化）という点において、共分散幾何学がどのように不確定性を反映しているかを明らかにすることで、不確定性関係の背後にある幾何学的構造を明確にしている。さらに、$\mathfrak{su}(2)$ に基づく逆構成は、指定された飽和状態を持つ観測量トリプルを生成するための体系的な手法を提供し、これにより不確定性境界、共分散幾何学、および有限次元系における量子状態の構造を結びつけている。著者らは、これらの結果が、一般的な三観測量加法的不確定性関係の飽和構造に関する文献の空白を埋めるものであるとしている。