A counterexample to the Kato conjecture for positive commutators

技术摘要：关于正对易子 Kato 猜想的反例

问题陈述
本文探讨了 Howland–Kato 对易子问题，特别是关于函数 $f$ 与正则位置 ($Q$) 和动量 ($P$) 算符的函数之对易子的 Kato 正定性判据的逆命题。Kato 曾指出，如果有界实值函数 $f$ 和 $g$ 分别能解析延拓至条带 $S_a$ 和 $S_b$（其中 $S_a = \{z \in \mathbb{C} : |\text{Im } z| < a\}$），且满足条件 $\text{Im } h(z) \text{Im } z \ge 0$，并且条带宽度满足 $ab \ge \pi/2$，那么对易子 $i[f(P), g(Q)]$ 是非负的。

Herbst 和 Kriete 提出了一个猜想性的逆命题（猜想 2）：如果 $i[f(P), g(Q)]$ 是非负且非零的，那么（在可能将 $f$ 和 $g$ 替换为其负数的情况下）存在 $a, b > 0$ 使得 $ab = \pi/2$，且 $f \in K_a$ 以及 $g \in K_b$，其中 $K_a$ 表示满足上述解析和符号条件的函数类。本文研究该逆命题是否成立。

方法论
作者通过构造一个使用反正切函数的特定反例来证伪该猜想。其方法论涉及多步分析过程：

1. 构造反例： 作者考虑算符 $C := i[\arctan(P), \arctan(Q)]$。其目标是证明该算符是非负且非零的，尽管 $\arctan$ 属于 $K_1$ 但不属于任何 $K_a$（其中 $a > 1$），且 $-\arctan$ 不属于任何 $K_a$（其中 $a > 0$）。

2. 积分核分析： 证明始于推导缩放算符 $C_s = i[\arctan(P/s), \arctan(Q/s)]$ 的积分核。利用傅里叶变换技术和涉及反正切函数的变量代换，将核表示为一个包含特定辅助函数 $F(t) = \ln(t/\sin t)$ 的函数 $D_s(x, y)$。

3. Fock 空间分解： 为了建立 $C_s$ 的非负性，作者采用了与 Schoenberg 关于条件负定核的定理相关的分解技术。他们定义了一个算符 $A_s = 2sI - B_s$，其中 $B_s$ 是一个与作用在 $L^2(I)$（其中 $I = (-\pi/2, \pi/2)$）上的缩放版本算符 $T$ 单位等价的积分算符。

   • $T$ 的核由 $T(\theta, \phi) = \cos \theta \cos \phi F''(\theta - \phi)$ 给出。
   • 作者将 $T$ 分解为偶部和奇部（$T_{\text{even}}$ 和 $T_{\text{odd}}$）。
   • 他们利用涉及双曲函数的积分表示证明了 $T_{\text{even}} \ge 0$ 且 $T_{\text{odd}} \le 0$。
   • 通过在特定缩放参数条件下建立 $A_s \ge 0$，他们表明 $C_s$ 的核可以写成对称 Fock 空间中的内积形式，从而证明了 $C_s \ge 0$。

4. 范数估计： 为了确认特定的情况（即 $\arctan(P)$ 和 $\arctan(Q)$ 对应的 $s=1$）落在非负区域内，作者必须限制 $\|T_{\text{even}}\|$ 的范数。

   • 他们首先利用 Schur 测试提供了一个简单的界限 $\|T\| \le 3\pi/5$。
   • 为了获得主定理所需的更紧致的界限，他们利用了迹-残差估计（引理 12）。他们计算了 $T_{\text{even}}$ 的迹以及关于试函数 $e_0(\theta) \propto \cos \theta$ 的瑞利商（Rayleigh quotient）。
   • 通过估计残差范数 $\|(I - e_0 \otimes e_0)T_{\text{even}}e_0\|$，他们推导出了一个严格的上界 $\|T_{\text{even}}\| \le 0.64$。

主要贡献与结果

• 证伪猜想 2： 主要结果是定理 1，该定理指出算符 $C = i[\arctan(P), \arctan(Q)]$ 是非负的且属于迹类算符，其迹为 $\pi/2$。
• 反例有效性： 由于 $\arctan \in K_1$ 但不属于 $K_a$（对于 $a > 1$），且 $-\arctan \notin K_a$（对于 $a > 0$），因此对 $(\arctan, \arctan)$ 产生的正对易子无法用满足 $ab = \pi/2$ 的条带中的函数来表示，这直接意味着猜想 2 失效。这直接推导出推论 3：猜想 2 不成立。
• 推广： 作者提供了一个更一般的结论（命题 4），即只要 $0 < \alpha \beta \le 2\|T_{\text{even}}\|^{-1}$，则 $i[\arctan(\alpha P), \arctan(\beta Q)] \ge 0$。
• 解析性质： 命题 15 严格确定了反正切函数的最大 Kato 条带，确认其宽度恰好为 1，且其负函数不属于任何 Kato 类。

意义
本文声称其意义在于为关于正对易子结构特征的一个长期存在的猜想提供了确定的反例。虽然 Froese 和 Herbst 的先前工作在 $f$ 和 $g$ 的导数满足单侧指数矩假设的情况下建立了该猜想，但此处提出的反例位于该范畴之外。反正切函数的导数 ($1/(1+x^2)$) 在两个方向上都缺乏非平凡的指数矩，这表明由 Kato 表示（涉及双曲正切函数的平移）所给出的充分条件并不能描述所有非零正对易子。这项工作阐明了 Howland–Kato 问题的局限性以及 Kato 正定性判据的适用范围。