Hudson's theorem fails for the SU(1,1) discrete series

技術的要約：SU(1, 1) 離散系列におけるハドソンの定理の破綻

問題提起
ハドソンの定理は、平坦な位相空間（ハイゼンベルク・ワイル群）における基本的な等価性を確立している。すなわち、純粋状態が非負のウィグナー関数を持つための必要十分条件は、それがガウス型状態であることである。この結果は、ウィグナー関数の負性が非古典性の忠実なシグネチャーであるという解釈を支えており、「古典的」な状態をコヒーレント状態の軌道上に位置するものとして定義している。本論文は、この二分法が曲がった位相空間、具体的には $SU(1, 1)$ 群の正の離散系列に関連する二葉双曲面上でも成立するかどうかを調査している。ペレロフ・コヒーレント状態が双曲面上で厳密に正のウィグナー関数を持つことは既知であるが、ウィグナー正値性を持つ状態がこれら（およびその群軌道）のみであるのか、あるいはウィグナー正値な状態の集合がこれらよりも厳密に大きいのかという点は、未解決の問題であった。

手法
著者は、バーグマン指数 $k \geq 1$ によって特徴付けられる $SU(1, 1)$ の正の離散系列における純粋状態のウィグナー関数を分析している。

1. 定式化: 著者は、$SU(1, 1)$ に対する共変ストラトノヴィッチ・ワイル構成を利用している。ここでは、位相空間は二葉双曲面の上半面となる。ウィグナー関数は、$P$ シンボル（コヒーレント状態に対しては厳密に正である）と、双曲面上のラプラシアンの固有関数として機能する円錐関数 $P_{-1/2+i\lambda}(\cosh \tau)$ を用いて導出される。
2. 線形代数への還元: 著者は、数状態 $|k, k+m\rangle$ およびそれらの重ね合わせに対するウィグナー・シンボルが、二次元の関数空間に還元されることを示している。具体的には、任意のブロック $W_{mn}$ の動径部分は、双曲座標 $u = \cosh \tau$ に関して有理的であり、かつラプラシアンの固有値 $\nu = -1/4 - \lambda^2$ に関して多項式である $P$ およびその微分 $P'$ の線形結合となる。
3. 正値性解析: ウィグナー正値性の判定問題は、重ね合わせの混合角における二次形式の非負性をチェックすることへと還元される。まず、著者は最も単純かつ非自明なケースとして、最低ウェイト状態 $|k, k\rangle$ と第一励起状態 $|k, k+1\rangle$ の重ね合わせを検討する。次に、許容される集合の次元性をテストするために、第三の状態 $|k, k+2\rangle$ を含む三状態の重ね合わせへと解析を拡張する。
4. 漸近解析: 正値性のウィンドウ（領域）の起源を理解するために、著者は「遠方場」（大きな双曲距離 $\tau$）における漸近解析を行い、ウィグナー成分の比率の挙動を平坦空間の極限と比較する。

主な結果

1. 類似性の欠如: 本論文は、$SU(1, 1)$ 双曲面におけるウィグナー正値な純粋状態の集合が、ペレロフ・コヒーレント軌道よりも厳密に大きいことを証明している。すなわち、ウィグナー関数が厳密に非負となる非コヒーレントな純粋状態が存在する。
2. 定量的閾値: $k=1$ における重ね合わせ $|\psi_\theta\rangle = \cos\theta |k, k\rangle + \sin\theta |k, k+1\rangle$ について、ウィグナー関数は混合角 $\theta_W \approx 24.93^\circ$ まで非負性を維持する。これは、非ゼロの混合角（$\theta > 0$）がいかなる非ガウス状態に対しても直ちに負性を導入する平坦空間の場合とは、鮮明な対照をなしている。
3. 許容集合の体積: ウィグナー正値な状態の集合は単なる曲線ではなく、正の体積を持つ領域である。第三のレベル $|k, k+2\rangle$ を導入することで、著者は最大許容混合角が増加することを示し（特定の位相構成において $\approx 39.05^\circ$ に達する）、この集合の次元がコヒーレント軌道の次元よりも大きいこと（少なくともパラメータ2に対し3）を確認している。
4. 正値性のメカニズム: 正値性は、ポピュレーション項とコヒーレンス項の間の競争によって決定される。平坦空間では、これらの項の比率は大きな距離において発散し、いかなる非ガウス状態に対しても負性を保証する。一方、双曲面上では、曲率とラプラシアンのスペクトル特性により、これらの比率は有限の極限（$R \to 2k$ および $S \to \sqrt{2k}$）へと収束する。
5. 退化とステラーランク: 遠方場において、正値を支配する二次形式は特定の角度 $\theta_{null} = \arctan(1/\sqrt{2k})$ で退化する。この角度は、ハシミ・振幅が最初のゼロ点を得る（ポアンカレ円板へ進入する）点と一致しており、ステラーランク0から1への遷移をマークしている。しかし、正値性を規定する制約は、遠方場ではなく中間的な双曲距離（$k=1$ のとき $\tau \approx 1.225$）で発生しており、これにより $\theta_{null}$ より小さい有限の角度の範囲が正値を維持することが可能となっている。

意義および主張
本論文は、非負のウィグナー関数とコヒーレント（ガウス）型状態を同一視するハドソンの定理は、曲がった位相空間の $SU(1, 1)$ 上には対応物を持たないと主張している。

• 理論的含意: 対称性（コヒーレント軌道）による「古典性」の定義と、位相空間関数（ウィグナー正値性）による定義が、曲がった幾何学においては乖離する。幾何学は、ウィグナー正値な状態のクラスよりも厳密に小さいクラス（コヒーレント軌道）を特異的に指定している。
• 運用の警告: 著者は、$SU(1, 1)$ システム（非退化パラメトリック増幅器や $SU(1, 1)$ インターフェロメータなど）を扱う実験的文脈において、再構成されたウィグナー関数が非負であっても、それがコヒーレント状態であることを証明するものではなく、またステラーランクがゼロであることを意味するものでもないと警告している。したがって、ウィグナー正値を古典的シミュラビリティの境界や非古典性の尺度として用いる応用は、幾何学によって定義される特定の「自由なクラス」を再評価することなく、平坦な空間から直接転用することはできない。
• 限界: 著者は、自身の性格付けが、集合の構造的な記述というよりは、許容集合内の特定の点の提示に基づいていることを述べている。また、解析は正の離散系列 $k \geq 1$ における純粋状態に限定されており、混合状態については扱っていない。大きな $k$ における閾値のバーグマン指数 $k$ への依存性は、遠方場への収束の性質上、数値的に不安定な状態にある。