Stellar rank under the contraction of SU(1,1) to the Heisenberg-Weyl group

技术摘要：$SU(1, 1)$ 向海森堡-维尔群收缩下的恒星秩（Stellar Rank）

问题陈述
单模玻色子纯态的恒星秩定义为其 Husimi $Q$ 函数（或等价地，其在 Segal–Bargmann 空间中的恒星函数）的零点数量。在复平面上，该秩是高斯态的完备不变量：一个态的秩为零当且仅当它是高斯态。然而，在承载 $SU(1, 1)$ 离散序列表示的庞卡莱圆盘（Poincaré disk）上，恒星秩并非完备不变量。圆盘上的 Husimi 函数零集无法确定态，因为它留下了一个未定的无零指数因子。本文研究了在 $k \to \infty$ 时，通过群收缩 $SU(1, 1) \to H_1$（海森堡-维尔群）下该零点结构的演化行为。核心问题在于：零点如何重新分布，哪些零点能在极限中存续，以及为什么分类在平坦极限下变得完备。

方法论
分析依赖于 $SU(1, 1)$ 离散序列在加权 Bergman 空间 $A_k$ 中的解析表示，及其向 Segal–Bargmann 空间 $\mathcal{F}$（Fock 空间）的收缩。

1. 重缩放（Rescaling）： 作者定义了一个重缩放映射 $T_k$，通过将圆盘变量 $\zeta$ 转换为平面变量 $z$，即 $\zeta = z/\sqrt{2k}$。这把单位圆盘映射为一个半径为 $\sqrt{2k}$ 的圆盘，随着 $k \to \infty$，该圆盘穷尽了整个复平面。
2. 权重序列分析： 核心技术工具是权重序列 $w_k(m) = (2k)_m / (2k)^m$，它建立了 $A_k$ 中的范数与 $\mathcal{F}$ 中重缩放后的泰勒系数范数之间的关系。作者证明了对于固定的 $m$，$w_k(m)$ 在 $m$ 和 $k$ 方面都是单调的，并当 $k \to \infty$ 时收敛于 1。
3. 正规族与极限（Normal Families and Limits）： 利用再生核界限和 $w_k(m)$ 的单调性，作者证明了重缩放态序列构成一个正规族。他们应用 Hurwitz 定理来追踪零点的收敛，并使用 Borel–Carathéodory 不等式来刻画极限函数的增长特性。
4. 半经典势能（Semiclassical Potential）： 为了分析质量逃逸（即极限态的范数严格小于序列范数）的情况，作者采用了由 Husimi 密度导出的半经典势能 $\Phi_\lambda(\zeta)$。这使得他们可以将收缩视为一个变分问题，其中质量集中在势能的最大值处。

主要贡献与结果

• 零点的存续与秩的保持：
  本文确定了恒星秩在收缩下是上半连续的。极限态的秩 $r(F_\infty)$ 等于序列的秩 $r(F_k)$，当且仅当 $F_k$ 的每一个零点都以 $O(1/\sqrt{2k})$ 的速率缩放。那些不按此速率缩小的零点会在重缩放后的图像中退向无穷远，并在极限中丢失。尺度 $1/\sqrt{2k}$ 被确定为临界尺度，这与相干态标签的缩放尺度一致。

• 极限态的特征化：
  任何有界重缩放态序列的非零极限点都属于 Segal–Bargmann 空间。如果极限具有有限个零点，则其形式为 $P(z)e^{az^2+bz+c}$，其中 $|a| < 1/2$。这证实了有限秩极限恰好是有限秩 Fock 态。不等式 $|a| < 1/2$ 源于 Fock 空间的二次权重，这是由收缩极限产生的特征，而在有限 $k$ 时并不存在。

• 退化判据：
  一个秩为 $r$ 的族发生退化（局部一致收敛至零）当且仅当最低 $r+1$ 个权重向量的振幅趋于零。这提供了一个量化的判据来衡量极限的消失，推广了秩为零时的真空保真度条件。

• 质量逃逸与相变：
  本文展示了质量可以在不使极限函数消失的情况下逃逸到无穷远。通过分析一个具有“三次晕”（$e^{\beta_k \zeta^3}$）的态族，作者展示了半经典 Husimi 势能中的一阶相变：

  • 在临界耦合 $\lambda^* \approx 0.9784$ 以下，所有质量都被保留；
  • 在 $\lambda^*$ 以上，所有质量都发生逃逸；
  • 在临界点，一定比例的质量被保留。
    这解释了为什么只有多项式次数 $n \le 2$ 的模式能在收缩中存续：高阶模式在距离原点固定距离处产生了一个次级势阱，导致质量逃离了重缩放所放大的区域。

• 信息保留：
  收缩极限精确保留了秩为 $r$ 的态的前 $2r+3$ 个泰勒系数（振幅）。作者证明了 $2r+3$ 是一个锐利界限：极限类中两个不同的态可以对前 $2r+2$ 个系数达成一致，但在第 $2r+3$ 个系数处产生差异。

意义与主张
本文声称解决了圆盘上与平面上恒星秩之间的差异。作者认为，圆盘上零集的“不完备性”并非双曲几何的失败，而是由于有界定义域以及 $A_k$ 中无零类的无限维性质造成的。平坦判据的完备性（即零点确定态，至多差一个高斯因子）是 $k \to \infty$ 极限下的特征，此时权重序列迫使无零类变为有限维（具体为多项式乘以高斯函数）。

这项工作阐明了收缩过程就像一个大小为 $\sqrt{2k}$ 的窗口向平面开启。锚定在圆盘固定点上的零点会通过这个窗口离开，而锚定在平面固定点上的零点则进入其中。结果提供了一种严谨的操作性理解，说明了当从双曲相空间过渡到平坦相空间时，非高斯特征（零点）是如何被保留或丢失的，并确认了平坦判据是一个极限现象，而非双曲空间未能达到的标准。本文明确指出，这些结果不扩展至混合态、多模系统或连续序列表示。