Second quantization and compactness of induced Gaussian quantum Markov semigroups

技術的要約：第2量子化と誘導ガウス量子マルコフ半群のコンパクト性

問題設定
本論文は、ヒルベルト・シュミット空間 $B_2(\Gamma(\mathbb{C}^d))$ 上に作用するガウス量子マルコフ半群（QMS） $(T_t)_{t \ge 0}$ のコンパクト性に関する性質を調査している。具体的には、忠実な正規不変状態 $\rho$ を持つガウスQMSから生成される「誘導された」半群 $(T^{(s)}_t)_{t \ge 0}$ の挙動を取り扱う。これらの誘導された半群は、$s$-埋め込み（$s \in [0,1]$）によって導かれ、これはGNS（$s=0$）、KMS（$s=1/2$）、および反GNS（$s=1$）表現を一般化したものである。中心となる問題は、これらの誘導された作用素がいつコンパクトになるか、いつコンパクトなレゾルベントを持つか、あるいはトレースクラスに属するかを特徴付けることであり、それらの性質と、基礎となるドリフト行列の安定性および強制的スペクトルギャップの存在との関係を明らかにすることである。

手法
主要な手法的な道具は、あらゆる $s$-埋め込みに対するユニタリ第2量子化表現である。著者は、誘導された半群を補助的なフォック空間上の第2量子化縮小半群へと写すユニタリ作用素 $U_s: \Gamma(\mathbb{C}^{2d}) \to B_2(\Gamma(\mathbb{C}^d))$ を構成する：
$$U_s^* T^{(s)}_t U_s = \Gamma(e^{tZ_s})$$
ここで $\Gamma$ は対称第2量子化を表し、$Z_s$ は変換されたドリフト行列であり、$Z_s = S_s^{1/2} Z S_s^{-1/2}$ と定義される。ここで $Z$ は元のQMSの真のドリフト行列であり、$S_s$ は共分散行列 $S$ とシンプレクティック形式 $J$ の重み付き幾何平均を通じて構築される、$s$ 重み付き共分散行列である。

手法における主要なステップは以下の通りである：

1. 有限次元への還元： ユニタリ同値性を確立することにより、無限次元のヒルベルト・シュミット空間におけるコンパクト性の問題を、有限次元のドリフト行列 $Z$ およびその変換されたバージョン $Z_s$ のスペクトル特性へと還元する。
2. 非ガウス状態の扱い： 不変状態 $\rho$ がガウスではない場合、論文は[GP26]を引用した不変状態分解を利用して、ヒルベルト・シュミット空間上で同一の半群を誘導する忠実なガウス参照状態 $\sigma$ を特定し、これにより第2量子化の枠組みを一般的に適用可能にする。
3. スペクトル解析： 誘導された半群の生成子 $L^{(s)}$ は、微分第2量子化 $\lambda(Z_s)$ と同一視される。スペクトルおよび代数的重複度は、1粒子行列 $Z_s$ が対称テンソル冪に作用することから直接導出される。

主要な貢献と結果

1. コンパクト性条件の同値性：
   主要定理（定理4.1）は、忠実な正規不変状態を持つ有限モードのガウスQMSについて、以下の条件が同値であることを確立している：

   • ドリフト行列 $Z$ が安定である（すべての固有値の実部が厳密に負である）。
   • QMSが唯一の正規不変状態を持つ。
   • ある $s \in [0,1]$ について（したがってすべての $s$ について）、誘導された生成子 $L^{(s)}$ がコンパクトなレゾルベントを持つ。
   • ある $s \in [0,1]$ および $t > 0$ について、作用素 $T^{(s)}_t$ がコンパクトである。
   • すべての $s$ および $t > 0$ について、$T^{(s)}_t$ がトレースクラス $S_1(H)$ に属する。

   極めて重要な発見は、単一の埋め込みにおける単一の正の時間でのコンパクト性が、すべての埋め込みにおける即時のトレースクラスへの所属を意味することである。

2. 正確なノルムおよびトレース公式：
   安定性の条件下で、論文は誘導された半群のトレースノルムおよびヒルベルト・シュミットノルムの正確な公式を導出している：

   • $\|T^{(s)}_t\|_{S_1} = \det(1_{2d} - |e^{tZ_s}|)^{-1}$
   • $\|T^{(s)}_t\|_{S_2}^2 = \det(1_{2d} - (e^{tZ_s})^* e^{tZ_s})^{-1}$
   • $\text{tr}_H(T^{(s)}_t) = \det(1_{2d} - e^{tZ})^{-1}$
     注目すべきことに、トレース恒等式は埋め込みパラメータ $s$ に依存しない。

3. スペクトル特性化：
   論文は、スペクトル $\sigma(L^{(s)})$ とその代数的重複度の完全な記述を提供している。スペクトルは、固有値 $\lambda_j$ を持つドリフト行列 $Z$ の線形結合 $\sum_{j=1}^{2d} \alpha_j \lambda_j$ （ただし $\alpha \in \mathbb{N}^{2d}$）の集合からなる。スペクトル値の代数的重複度は、そのような組み合わせがその値を生成する回数である。この結果は、$Z$ が対角化可能でない場合でも成立する。

4. コンパクト性とスペクトルギャップの分離：
   論文は、コンパクト性と（核の直交補空間における数値範囲を通じて定義される）強制的スペクトルギャップとの区別を行っている。

   • コンパクト性 $\nRightarrow$ スペクトルギャップ： 例5.3は、安定なドリフト（したがってコンパクトなレゾルベントとトレースクラスへの所属を持つ）を持ちながら、ドリフトの対称部分に非自明な核が存在するために、すべての埋め込みにおいて強制的スペクトルギャップが消失するシステムを示している。
   • スペクトルギャップ $\nRightarrow$ コンパクト性： 例5.4は、不変状態がユニークでない場合（無限次元の核を導く場合）、核の直交補空間上の正のスペクトルギャップが存在しても、コンパクトなレゾルベントを保証しないことを示している。

意義と主張
本論文は、特定のケース（GNSやKMSなど）や特定のダイナミクスに焦点を当てた従来の研究を拡張し、全家族の $s$-埋め込みに対する統一的な表現を提供すると主張している。ドリフトのコンパクト性を有限次元ドリフトの安定性に還元することにより、本研究は、ドリフトの対角化可能性や散逸部分の厳密な正値性に関する仮定を必要としない、明確な代数的基準を提示している。

著者は、コンパクト性とスペクトルギャップの関係を明確にすることを強調しており、強制的スペクトルギャップが消失する場合でも即時のコンパクト性が起こり得ること、および不変状態がユニークでない場合にはスペクトルギャップがコンパクト性を保証しないことを示している。本研究は、任意の数のモードに対して適用可能なスペクトル公式の構造的証明を提供することで、既存の分析（[FL25]など）を補完するものである。

本論文は、新しい実験的応用や将来的な物理的含意を提案するものではなく、その範囲はガウスQMSのヒルベルト・シュミット空間における関数解析的性質に厳密に限定されている。