Imaginarity measures induced by real part states and the complementarity relations

技術要約：実部状態および相補性関係によって誘起されるイマジナリティ（虚数性）の尺度

問題提起
複素数は量子力学の基礎であるが、「イマジナリティ（虚数性）」の資源理論（量子状態の密度行列における非零の虚数成分を定量化するもの）は、ごく最近になって定式化されたものである。いくつかのイマジナリティ尺度が（トレースノルム、相対エントロピー、幾何学的尺度など）存在するが、それらはしばしば最適化問題や特定の距離計量を通じて定義される。本研究が取り組む中心的な問いは、「実部状態」$\text{Re}(\rho) = \frac{1}{2}(\rho + \rho^*)$ が、イマジナリティ尺度を構築するための一般的な基礎となり得るか、ということである。具体的には、著者らは、状態 $\rho$ とその実部 $\text{Re}(\rho)$ との間の距離が、有効なリソース尺度として成立するかどうかを調査し、さらに、互いに直交する基底（MUBs）においてイマジナリティが直面する物理的制約（相補性）を探索している。

手法
本論文は、状態 $\rho$ とその実部状態 $\text{Re}(\rho)$ との間の距離に基づく、イマジナリティ尺度の構築のための一般的なフレームワークを提案している。

1. 一般的構成: 著者らは、非負性、完全正値トレース保存（CPTP）写像による縮約性、および直和に関する加法性を満たす関数 $D(\rho, \sigma)$ を定義する。彼らは、$M(\rho) = D(\rho, \text{Re}(\rho))$ がイマジナリティ尺度の5つの公理（忠実性、単調性、確率的単調性、凸性、および加法性）を満たすことを証明する。
2. 特定の尺度の提案: 関数 $D(\rho, \sigma) = 1 - F(\rho, \sigma)$ （ここで $F$ はフィデリティ）を選択することにより、著者らは新しい尺度を導入する：
   $$M_{\text{Re}}(\rho) = 1 - F(\rho, \text{Re}(\rho))$$
3. 解析的導出: 本論文では、ブロッホベクトル表現を用いて、量子ビット系における $M_{\text{Re}}$ の閉じた形式の解析的表現を導出する。
4. 比較分析: 新しい尺度は、既存の尺度（幾何学的尺度、ツァリス相対エントロピー、トレースノルム）と比較され、不等式および関係性が確立される。
5. 相補性分析: 低次元系（量子ビットおよびキュートリット）における、完全なMUB集合の下でのイマジナリティ尺度の和を調査し、イマジナリティの分布に対する物理的制約を決定する。

主要な貢献と結果

• 一般的構成法: 定理1は、特定の物理的条件（非負性、縮約性、加法性）を満たす任意の距離関数 $D$ が、ペア $(\rho, \text{Re}(\rho))$ に適用された際に、有効なイマジナリティ尺度を生み出すことを確立している。これにより、トレースノルム、相対エントロピー、ツァリス相対エントロピーといった既存の尺度を、このフレームワークの具体的な事例として統一している。
• 新しいフィデリティに基づく尺度 ($M_{\text{Re}}$): 著者らは $M_{\text{Re}}$ を提案し、それがウェルディファインド（適切に定義された）な尺度であることを証明した。主な特性は以下の通りである：
  • 境界: $0 \leq M_{\text{Re}}(\rho) \leq 1 - \frac{\sqrt{2}}{2}$。上限は、最大に虚数的な状態 $|+i\rangle = \frac{|0\rangle + i|1\rangle}{\sqrt{2}}$ によって達成される。
  • 純粋状態: 純粋状態 $|\psi\rangle$ に対して、$M_{\text{Re}}(|\psi\rangle) = 1 - \frac{1}{\sqrt{2}}\sqrt{1 + |\langle\psi|\psi^*\rangle|^2}$ である。
  • 量子ビットの解析的公式: 量子ビット状態 $\rho = \frac{1}{2}(I + \mathbf{r} \cdot \boldsymbol{\sigma})$ に対する明示的な公式が導出されており、イマジナリティはブロッホベクトルの $y$ 成分 ($r_y$) とともに増加することが示されている。
• 他の尺度との関係:
  • 幾何学的イマジナリティ ($M_g$): 本論文は、$M_{\text{Re}}(\rho) \leq M_g(\rho) \leq 1 - [1 - M_{\text{Re}}(\rho)]^2$ という不等式を確立している。等号は、$\rho$ が実状態であるか、または $M_g$ に対する最適な実部状態が $\text{Re}(\rho)$ と一致する場合にのみ成立する。
  • 最適な実部状態: 著者らは、量子ビット系における幾何学的イマジナリティについて、最適な実部状態は一般に $\text{Re}(\rho)$ ではないことを決定した（$r_x=r_z=0$ または $r_y=0$ などの特定の場合を除く）。
  • トレースノルムと純粋度: $M_{\text{Re}}$、トレースノルム・イマジナリティ $M_{\text{tr}}$、および純粋度 $P(\rho)$ を関連付ける境界が導出されている：$[1 - M_{\text{Re}}(\rho)]^2 + M_{\text{tr}}(\rho)^2 \geq P(\rho)$。
• 相補性関係:
  • 量子ビット: 量子ビット状態に対し、3つのパウリ固有基底 ($B_1, B_2, B_3$) におけるイマジナリティ尺度は、ブロッホベクトルの長さ $|\mathbf{r}|$ によって制限される相補性関係を満たす。純粋状態の場合、この関係は等号となる。
  • キュートリット: キュートリットについては、完全な4つのMUB集合に対する相補性関係が確立されており、1からの偏差の二乗和は状態の純粋度によって制約される：$\sum_{k=1}^4 (1 - M_{\text{Re}}^{Z_k})^2 > \frac{31}{14}P(\rho)$。

意義と主張
本論文は、イマジナリティの資源理論において実部状態 $\text{Re}(\rho)$ が「顕著な役割」を果たしていることを強調しており、それが本質的にリソースを特徴づけていることを示している。幾何学的尺度の初期の定義とは異なり、最適化を必要とせずに尺度を構築する方法を提供することで、本研究はより計算的に便利なアプローチを提示している。

さらに、導出された相補性関係は、一つの物理的制約を明らかにしている。すなわち、量子状態が持つイマジナリティの量は、完全な相互に直交する基底集合において同時に大きくなることはできない。この測定基底への依存性は、量子リソースとしてのイマジナリティの固有の性質を浮き彫りにしている。本研究は、これらの知見が実部状態による量子状態の特性付けの解釈を深めるとともに、低次元系におけるイマジナリティが直面する制約を解明したと結論付けている。