Metric completion of the Bender--Brody--Müller Hamiltonian: dilation spectrum and missing eigenstates

技术摘要：Bender–Brody–Müller 哈密顿量的度量完备化

问题陈述
本文探讨了针对希尔伯特–波利亚（Hilbert–Pólya）猜想的 Bender–Brody–Müller (BBM) 方案在结构有效性上的问题。BBM 哈密顿量 $H_{\text{BBM}} = \Delta^{-1} D \Delta$ 是一个非厄米算符，旨在拥有与黎曼 $\zeta$ 函数非平凡零点虚部成比例的实谱。此处，$D = \hat{x}\hat{p} + \hat{p}\hat{x}$ 是扩张生成元，而 $\Delta = 1 - \hat{S}$ 是位移差分算符。该方案依赖于一个伪厄米框架，其中候选度量算符 $\hat{\eta} = \sin^2(\hat{p}/2) = \Delta^\dagger \Delta / 4$ 使哈密顿量自伴。

核心问题在于，尽管 $\hat{\eta}$ 是正定且有界的，但其逆算符是无界的。前人的工作（例如 Bellissard, Moxley）指出，BBM 本征函数并非临界线上的 $L^2$ 态，且度量拓扑可能定义不良。本文通过在标准稠密核 $C_c^\infty(0, \infty) \subset L^2(\mathbb{R}^+)$ 上构造由 BBM 度量诱导的希尔伯特空间完备化，旨在确定：

1. 物理态空间的拓扑结构。
2. 所得自伴实现（self-adjoint realizations）的谱性质。
3. 原有的 BBM 候选本征函数（与 Hurwitz $\zeta$ 函数相关）是否存在于该完备空间中。

方法论
分析过程分为以下步骤：

1. 度量公式化： 研究重点在于定义在测试定义域 $D_0 = C_c^\infty(0, \infty)$ 上的二次型 $\eta_0 = \Delta^\dagger \Delta$。范数定义为 $\|\psi\|_{\eta_0} = \|\Delta \psi\|_{L^2}$。
2. 强制性分析（Coercivity Analysis）： 利用傅里叶变换和 Paley–Wiener 定理，本文分析了度量的符号 $\eta_0(k) = |1 - e^{-ik}|^2 = 2(1 - \cos k)$。研究表明，虽然 $\eta_0$ 具有平凡核，但它不是强制性的（有下界的），因为其符号在 $k \in 2\pi\mathbb{Z}$ 时消失。
3. 希尔伯特空间完备化： 在 $\|\cdot\|_{\eta_0}$ 范数下对 $D_0$ 进行完备化。映射 $\Delta: D_0 \to L^2(\mathbb{R}^+)$ 被证明是一个具有稠密图像的等距映射，从而建立了 $\tilde{\mathcal{H}}_{\eta_0}$ 与 $L^{2}(\mathbb{R}^+)$ 之间的正则酉等价关系。
4. 算符实现： 在该完备空间中实现形式哈密顿量。定义“自由传输”实现 $\tilde{H}_{\text{BBM}} = \Delta^{-1} D \Delta$，其定义域通过酉映射 $\Delta$ 进行传输。
5. 谱分析： 通过 Mellin 变换确定自由实现的谱。本文还研究了对称核 $T = D|_{\Delta D_0}$ 的缺陷指数（deficiency indices）以及其伴随算符的谱性质。
6. 本征函数验证： 通过检查位移差分 $\Delta \psi_z$ 来验证原 BBM 本征函数 $\psi_z(x) = -\zeta(z, x+1)$（其中 $z = 1/2 + i\gamma$）是否属于该完备空间。

主要贡献与结果

• 度量退化与非强制性： 本文证明了 BBM 度量不是强制性的。具体而言，存在归一化的 $L^2$ 态（通过集中在度量符号零点处的 Cauchy 核构造），其度量长度趋于零。这证实了度量拓扑严格弱于环境 $L^2$ 拓扑。
• 普遍障碍： 针对“有界三明治”（bounded sandwiches）类算符 $\Delta^\dagger h(D) \Delta$ 建立了一个一般性结果。对于任何有界可测函数 $h$，该算符不是有界可逆的。这是由于谱不匹配造成的：$\Delta$ 的退化局限在动量空间（$k \in 2\pi\mathbb{Z}$），而 $h(D)$ 在尺度（扩张）变量上作用。任何关于扩张生成元 $D$ 的有界函数都无法在逐点意义上抵消位移算符的动量零点。
• 自由实现的谱性质： 自由传输实现 $\tilde{H}_{\text{BBM}}$ 与扩张生成元 $D$ 酉等价。因此，其谱是纯绝对连续的，等于 $\mathbb{R}$，且重数为 1。不存在孤立特征值。
• 缺陷指数与伴随谱： 对称算符 $T = D|_{\Delta D_0}$ 的缺陷指数为 $(\infty, \infty)$。虽然其自由扩张是纯连续的，但其伴随算符 $T^*$ 拥有一个点谱，该点谱包含整个实数轴，其中每个实数都是无穷重特征值。
• 缺乏 BBM 本征态： 关于候选本征函数的结论最为关键。对于临界线上的 $z$（$\text{Re } z = 1/2$），位移差分为 $\Delta \psi_z = x^{-z}$。由于 $|x^{-z}| = x^{-1/2}$，该函数在 $\mathbb{R}^+$ 上不是平方可积的。因此，$\psi_z \notin \tilde{\mathcal{H}}_{\eta_0}$。原 BBM 机制依赖于这些特定函数及边界条件 $\psi_z(0)=0$，但在这种基于 $L^2$ 的度量完备化中，无法产生黎曼零点本征态。

意义与主张
本文声称在标准的有界度量和基于 $L^2$ 的完备化框架内，解决了围绕 BBM 方案的结构性问题。其主要结论关于原 BBM 机制是负面的：

• 度量完备化将态空间的拓扑固定为通过坐标 $\Phi = \Delta \psi$ 与 $L^2(\mathbb{R}^+)$ 酉等价。
• 在此空间中，原 BBM 候选本征函数并不作为希尔伯特空间向量存在。
• 因此，在该完备空间内，任何自伴实现都无法利用 BBM 函数来产生黎曼零点作为点谱。

作者强调，这一结果并未排除所有受 BBM 启发的希尔伯特–波利亚构造，但它明确排除了仅仅通过选择算符的不同自伴扩张来“挽救”原方案的可能性。若要成功，必须放弃本文所研究的有界 $L^2$ 构造中的至少一个假设（例如，使用广义黎曼希尔伯特空间、无界度量或分布态空间）。本文还强调了一个更广泛的谱现象：一个对称算符可以拥有纯连续的自由扩张，而其伴随算符却表现出稠密点谱，这一特征独立于黎曼假设的背景。