Isospectral majorization and isoperimetric inequalities for coherent states on the Bloch sphere

技術要約：ブロッホ球上のコヒーレント状態における等スペクトル・メジャー化と等周不等式

問題の所在
本論文は、$SU(2)$（ブロッホ）コヒーレント状態の設定として自然な、解析的多項式$P_N$（次数が最大$N$の解析的多項式のヒルベルト空間）上の密度演算子のフジミ関数（または下部シンボル）の最適化を扱っている。リープとソロヴェイによる先駆的な研究は、すべての密度演算子の中で、ランク1のコヒーレント純粋状態がフジミ関数の凸関数の積分を最大化することを確立したが、この比較は演算子のスペクトルを保存しない。具体的には、一般的な密度演算子$\rho$は、純粋なスペクトル$(1, 0, \dots, 0)$ と比較される際、混合スペクトルから純粋スペクトルへと、固有値分布が変化してしまう。

本研究が取り組む中心的な問題は、固定されたスペクトル級内において、「最も古典的な」状態を特定することである。すなわち、与えられた固有値集合を持つ密度演算子 $\rho$ に対して、そのフジミ関数の凸関数の積分を最小化する状態はどれか、という問いである。これは、「ガウス性欠損（Gaussianity deficits）」を定量化し、特定のスペクトル特性を持つ混合状態の量子的な特徴を理解する必要性に端を発している。これは、ランク1のコヒーレント状態が不確定性を最小化することと同様の文脈である。

手法
著者は、**等スペクトル・メジャー化（isospectral majorization）とリープ・ソロヴェイ増幅チャネル（Lieb-Solovej amplification channel）**の性質に基づく枠組みを構築している。その手法は以下のステップで進行する：

1. 受動的再配置（Passive Rearrangement）: 本論文では、$SU(2)$受動的再配置$\rho^\downarrow$の概念を導入する。固有値$p_0 \ge p_1 \ge \dots \ge p_{r-1}$を持つ密度演算子$\rho$に対し、これらの固有値を単項式基底ベクトル$e_n(z) = \sqrt{\binom{N}{n}} z^n$上に降順に配置することで$\rho^\downarrow$ が構成される。
2. 球面増幅チャネル: 著者は、演算子を $P_N$ から $P_M$ ($M \ge N$) へと写す量子チャネル $C_{N \to M}$（リープ・ソロヴェイ・チャネルの反復版）を利用する。このチャネルは、ブラケット演算子（Kraus operators）を通じて定義され、$SU(2)$ 等変であることが示されている。
3. 固定スペクトル・メジャー化: 主要な技術的結果として、このチャネルの出力がメジャー化の順序を保存することを証明する。具体的には、密度演算子 $\rho$ に対して、その出力は、その受動的再配置 $\rho^\downarrow$ にチャネルを適用した出力によってメジャー化される。これは、対角演算子へのチャネルの作用を分析し、キ・ファン（Ky Fan）の最大原理を利用することで確立される。
4. 古典極限と収束: チャネルの出力をリスケールし、$M \to \infty$ の極限を取ることで、リスケールされた演算子の凸関数のトレースが、フジミ関数の凸関数の積分に収束することを実証する。これにより、有限次元の行列メジャー化と、球面上の連続的な積分不等式との間の溝を埋める。
5. 等周性の応用: これらの結果を、シンボル $1_\Omega$（球上の可測部分集合の指示関数）を持つトープリッツ演算子 $T_\Omega$ に適用する。キ・ファン最大原理を用いることで、$T_\Omega$ の固有値を、固定された測度を持つ集合に対するフジミ関数の積分の最大化に関連付ける。

主要な貢献および結果

• 定理 1.2（等スペクトル・リープ・ソロヴェイ不等式）: 任意の密度演算子 $\rho$（$P_N$ 上）および任意の凸関数 $\Phi: [0, 1] \to \mathbb{R}$ に対して以下が成り立つことを証明する：
  $$\int_{\mathbb{C}} \Phi(Q_\rho(z)) \, dm(z) \le \int_{\mathbb{C}} \Phi(Q_{\rho^\downarrow}(z)) \, dm(z)$$
  ここで $\rho^\downarrow$ は $\rho$ の受動的再配置である。これは、固定されたスペクトル級内において、受動的状態がフジミ関数の凸積分を最小化することを確立している。
• 系 1.3（固定スペクトル・ヴェール・エントロピー）: 凹関数 $\Phi(t) = -t \log t$ を適用することにより、$\rho$ と同じスペクトルを持つすべての密度演算子の中で、受動的状態 $\rho^\downarrow$ がブロッホ・ヴェール・エントロピー（Bloch Wehrl entropy）を最小化することを示す。
• 定理 1.4（チャネル・メジャー化）: リープ・ソロヴェイ・チャネル $C_{N \to M}$ について、出力状態がメジャー化関係 $C_{N \to M}(\rho) \prec C_{N \to M}(\rho^\downarrow)$ を満たすことを証明する。これは、チャネル出力に関する固定トレース・メジャー化定理である。
• 定理 1.5（キ・ファン等周不等式）: トープリッツ演算子のキ・ファン・ノルムに関する鋭い等周不等式を導出する。測度 $\alpha$ を持つ球上の任意の可測部分集合 $\Omega$ と、同じ測度を持つ球面キャップ $D_\alpha$ に対して：
  $$\sum_{j=1}^r \lambda_j(\Omega) \le \sum_{j=1}^r \lambda_j(D_\alpha)$$
  ここで $\lambda_j$ は降順の固有値である。右辺は $\alpha$ と $N$ を用いて明示的に計算される。
• 系 1.6（シャッテン・ノルム）: キ・ファン不等式は、指示シンボルを持つ $T_\Omega$ のすべての単位不変行列ノルム（すべてのシャッテン $p$-ノルム $0 < p \le \infty$ を含む）に対する鋭い等周不等式を意味する。

意義および主張
本論文は、ランク1の演算子から固定スペクトルを持つ高ランク密度演算子へと最適化の結果を拡張することにより、$SU(2)$ コヒーレント状態の数学的理論における重要な空白を埋めるものである。

• リープ・ソロヴェイの精緻化: 任意の状態を純粋状態と比較する元のリープ・ソロヴェイ不等式とは異なり、本研究は「より細かい偏差（finer deficit）」を、規定されたスペクトル問題に適応させて提供する。これは、混合状態の「古典性」に関するより微細な理解を提供し、受動的状態が所与のスペクトル制約の下で「最も古典的な」構成であることを特定している。
• 等周幾何学: 指示シンボルを持つトープリッツ演算子のすべてのキ・ファン和に対して、球面キャップが極値集合であることを示す。これは、古典的な球面等周不等式を呼び出すことなく、幾何学的制御がチャネル出力の固定スペクトル・メジャー化から直接得られることによって達成される。
• 量子情報への接続: 本研究は、フジミ関数の積分の最大化をガウス性欠陥の概念に結びつけ、受ック的状態が、フォック空間におけるガウス状態と同様に、与えられたスペクトル制約の下で「最も古典的な」構成を代表していることを示唆している。

著者は、これらの結果はキ・ファン・ノルムの最大化を特徴付けるものの、最近のランク1安定性に関する結果（例：FrankやKulikovらによるもの）ほど、一般的な凸積分不等式のすべての等号成立ケースを詳細に記述するものではないと述べているが、固有値和に対する鋭い境界と（球面キャップという）識別構造を提供している。