Tight Quasiprobabilistic Entropic Uncertainty Relations for Discrete Quantum Systems

技術要約：離散量子系におけるタイトな準確率エントロピー不確定性関係

問題提起
本論文は、準確率分布を通じた量子系の不確定性の特徴付けに取り組んでいる。ハイゼンベルク・ロバートソン不確定性関係やエントロピー不確定性関係（例：Maassen-Uffink）は、測定結果の標準偏差やシャノンエントロピーを通じて不確定性を定量化するが、準確率表現（ウィグナー関数、ハスミ関数、カークウッド・ディラック関数、グロス・ウィグナー関数など）は、位相空間の視点を提供する。中心的な問いは、「古典的」状態（正の準確率分布を持つ $Q$-正の状態）が、それらの分布に関連する不確定性を最小化するかどうかである。

具体的には、著者らは以下の不等式の妥当性を調査している：
$$H_1^Q(\hat{\rho}) \geq \min_{\hat{\rho}_{\text{pure}}^+} H_1^Q(\hat{\rho}_{\text{pure}}^+)$$
ここで、$H_1^Q$ は状態 $\hat{\rho}$ に対する分布 $Q$ のシャノンエントロピーであり、最小値は純粋な $Q$-正状態に対して取られる。この不等式は、混合された $Q$-正状態は常に、純粋な $Q$-正状態よりも不確定性が高い（エントロピーが大きい）ことを仮定している。

この問題は、歴史的な前例によって動機付けられている：

• ハスミ関数： ウェールは、ハスミ関数のシャノン微分エントロピーはコヒーレント状態によって最小化されるという予想を立て、リーブはこれを証明した。
• 連続変数ウィグナー関数： ウィグナー微分エントロピーを最小化するのは純粋なガウス状態であるという類似の予想があったが、これは近年、反証されている。
• 離散系： 離散系、特にグロス・ウィグナー（GW）およびカークウッド・ディラック（KD）分布において、同様の命題が成立するかどうかは未解決の問題であった。重大な困難として、$Q$-正状態の集合 $E_Q^+$ はしばしば混合された極値状態を含むため、エントロピーの最小化の特性付けが困難であることが挙げられる。

手法
著者らは、準確率表現を定義するためにフレームの形式を採用している。有限次元 $d$ のヒルベルト空間 $\mathcal{H}$ と、フレーム $(\hat{S}_\lambda)_{\lambda \in \Lambda}$ およびその双対フレーム $(\hat{T}_\lambda)_{\lambda \in \Lambda}$ を考える。準確率 $Q_\lambda(\hat{\rho})$ およびその双対シンボル $\tilde{Q}_\lambda(\hat{C})$ は、トレース演算を通じて定義される。

本研究は、以下の2つの特定のクラスの表現に焦点を当てている：

1. カークウッド・ディラック（KD）表現： 2つの可換な観測量 $\hat{A}$ と $\hat{B}$ によって定義される。著者らは、$\hat{A}$ と $\hat{B}$ の固有基底が**互いに無相関な基底（MUB）**であるケースを具体的に分析している。この場合、表現は「強自己双対」となる。
2. グロス・ウィグナー（GW）表現： 奇数次元 $d$ の $n$ 個の量子ビット（qudit）に対して定義され、離散的な位置および運動量演算子に関連付けられている。この表現もまた、強自己双対である。

著者らは、マーゲン・ヒル（MH）分布（準確率分布の実部 $Q^{\text{MH}} = \text{Re}(Q)$）を用いて、境界を確立している。イェンセンの不等式と自己双対フレームの性質を利用して、MHシャノンエントロピー $H_1^{\text{MH}}$ を状態の純粋度 $\text{Tr}(\hat{\rho}^2)$ に関連付けている。

主要な貢献と結果

1. 離散系におけるエントロピー不確定性の証明（定理1）：
   著者らは、MUB KD表現および奇数次元量子ビットのGW表現の両方において、$Q$-シャノンエントロピーが純粋な $Q$-正状態によってのみ最小化されることを証明した。具体的には：

   • MH-正状態の集合 $E_+^{\text{MH}}$ 内の任意の状態 $\hat{\rho}$ に対して、エントロピーは以下を満たす：
     $$H_1(\hat{A}) + H_1(\hat{B}) \geq H_1^{\text{MH}}(\hat{\rho}) \geq -\ln(\text{Tr}(\hat{\rho}^2)) + \ln d \geq \ln d$$
   • 下限 $H_1^{\text{MH}}(\hat{\rho}) = \ln d$ は、$\hat{\rho}$ が純粋な $Q$-正状態である場合にかつその場合にのみ飽和する。
   • これにより、これらの離散系において、「古典的」状態（純粋な正の状態）が最小不確定性状態であることが確認された。これは、ハスミ関数に関するウェール・リーブの結果と類似しているが、連続変数のウィグナーに関する予想とは対照的である。

2. 飽和の特性付け：

   • MUB KD： すべての純粋なKD-正状態は、標準的なエントロピー不確定性関係 $H_1(\hat{A}) + H_1(\hat{B}) = \ln d$ を飽和させる。
   • GW： 純粋なGW-正状態はGW-シャノンエントロピーを最小化するが、これらすべてが標準的なエントロピー不確定性関係 $H_1(\hat{A}) + H_1(\hat{B})$ を飽和させるわけではない。一部の純粋なGW-正状態は $H_1(\hat{A}) + H_1(\hat{B}) = 2 \ln d$ を与える。したがって、最小標準不確定性と最小準確率エントロピーの間の等価性は、KDでは厳密に成立するが、GWでは成立しない。

3. 非正性と不確定性の関係：
   著者らは補完的な結果を確立している：大きな準確率非正性（「KDマナ」$M(\hat{\rho})$ で定量化される）は、大きな不確定性を意味する。彼らは、Rényi-1/2エントロピーの和を用いたKDマナの上界を導出した：
   $$M(\hat{\rho}) \leq \ln(\sqrt{d}) - \frac{1}{2}[H_{1/2}(\hat{A}) + H_{1/2}(\hat{B})]$$
   これは、高い「量子性」（高い非正性）を持つ状態は必然的に高い不確定性を持ち、逆に、低不確定性状態は量子的な優位性のためのリソース（マナ）が限定的であることを示唆している。

4. 連続変数との区別：
   本論文は、離散変数系と連続変数系の根本的な違いを強調している。連続変数ウィグナー関数の場合、類似の予想（純粋なガウス状態がウィグナーエントロピーを最小化する）は偽である。著者らは、離散的な正の状態において保持される特性である「連続的なウィグナー関数は、そのサポート上で一定にはなり得ない」という性質のために、離散系における議論が連続変数では失敗することを示している。

意義
本論文は、特定の離散準確率表現（MUB KDおよびGW）において、純粋な正の状態が関連するシャノンエントロピーの唯一の最小化因子となることを厳密に証明している。これは、これらの離散系におけるウェール・リーブの定理に類似した予想を解決するものである。

これらの結果は、量子力学における「古典性」の景観を明確にしている：

• MUB KDおよびGW表現において、「混合状態は純粋状態よりも不確定である」という直感は、正の状態の範囲内において厳密に成立することを確認している。
• 連続変数のウィグナーに関する予想の失敗は、準確率分布の普遍的な特徴ではなく、位相空間の連続的な性質に特有のものであることを示している。
• 非正性というリソース（マナ）と不確定性の間の定量的関係を確立し、非正性が量子計算上の優位性のためのリソースとしての役割を果たすことを強化している。

著者らは、非MUB KD分布においては状況がより複雑であり、最小標準不確定性と最小準確率エントロピーの間の等価性が保持されない可能性があることを指摘しており、付録において反例を提示している。