A counterexample to the Kato conjecture for positive commutators

Technical Summary: A Counterexample to the Kato Conjecture for Positive Commutators

Problem Statement
The paper addresses the Howland–Kato commutator problem, specifically concerning the converse of Kato's positivity criterion for commutators of functions of the canonical position ($Q$) and momentum ($P$) operators. Kato established that if bounded real-valued functions $f$ and $g$ admit analytic continuations to strips $S_a$ and $S_b$ respectively (where $S_a = \{z \in \mathbb{C} : |\text{Im } z| < a\}$) satisfying the condition $\text{Im } h(z) \text{Im } z \ge 0$, and if the strip widths satisfy $ab \ge \pi/2$, then the commutator $i[f(P), g(Q)]$ is nonnegative.

Herbst and Kriete formulated a conjectural converse (Conjecture 2): If $i[f(P), g(Q)]$ is nonnegative and nonzero, then (after possibly replacing $f$ and $g$ with their negatives) there exist $a, b > 0$ with $ab = \pi/2$ such that $f \in K_a$ and $g \in K_b$, where $K_a$ denotes the class of functions satisfying the analytic and sign conditions described above. The paper investigates whether this converse holds true.

Methodology
The authors disprove the conjecture by constructing a specific counterexample using the arctangent function. The methodology involves a multi-step analytical approach:

1. Construction of the Counterexample: The authors consider the operator $C := i[\arctan(P), \arctan(Q)]$. They aim to prove that this operator is nonnegative and nonzero, despite the fact that $\arctan$ belongs to $K_1$ but not to $K_a$ for any $a > 1$, and $-\arctan$ does not belong to $K_a$ for any $a > 0$.

2. Integral Kernel Analysis: The proof begins by deriving the integral kernel of the scaled operator $C_s = i[\arctan(P/s), \arctan(Q/s)]$. Using Fourier transform techniques and a change of variables involving the arctangent function, the kernel is expressed in terms of a function $D_s(x, y)$ involving a specific auxiliary function $F(t) = \ln(t/\sin t)$.

3. Fock Space Factorization: To establish the nonnegativity of $C_s$, the authors employ a factorization technique related to Schoenberg's theorem on conditionally negative definite kernels. They define an operator $A_s = 2sI - B_s$, where $B_s$ is an integral operator unitarily equivalent to a scaled version of an operator $T$ acting on $L^2(I)$ (where $I = (-\pi/2, \pi/2)$).

   • The kernel of $T$ is given by $T(\theta, \phi) = \cos \theta \cos \phi F''(\theta - \phi)$.
   • The authors decompose $T$ into its even and odd parts ($T_{\text{even}}$ and $T_{\text{odd}}$).
   • They prove that $T_{\text{even}} \ge 0$ and $T_{\text{odd}} \le 0$ using integral representations involving hyperbolic functions.
   • By establishing that $A_s \ge 0$ under specific conditions on the scaling parameters, they show that the kernel of $C_s$ can be written as an inner product in a symmetric Fock space, thereby proving $C_s \ge 0$.

4. Norm Estimation: To confirm that the specific case of $\arctan(P)$ and $\arctan(Q)$ (corresponding to $s=1$) falls within the nonnegative regime, the authors must bound the norm $\|T_{\text{even}}\|$.

   • They first provide a simple bound $\|T\| \le 3\pi/5$ using Schur's test.
   • To obtain a tighter bound necessary for the main theorem, they utilize a trace-residual estimate (Lemma 12). They compute the trace of $T_{\text{even}}$ and the Rayleigh quotient with respect to a trial vector $e_0(\theta) \propto \cos \theta$.
   • By estimating the residual norm $\|(I - e_0 \otimes e_0)T_{\text{even}}e_0\|$, they derive a rigorous upper bound $\|T_{\text{even}}\| \le 0.64$.

Key Contributions and Results

• Disproof of Conjecture 2: The primary result is Theorem 1, which states that the operator $C = i[\arctan(P), \arctan(Q)]$ is nonnegative and trace class with trace $\pi/2$.
• Counterexample Validity: Since $\arctan \in K_1$ but not in $K_a$ for $a > 1$, and $-\arctan \notin K_a$ for any $a > 0$, the pair $(\arctan, \arctan)$ yields a positive commutator that cannot be represented by functions in strips satisfying $ab = \pi/2$ as required by the conjecture. This directly implies Corollary 3: Conjecture 2 fails.
• Generalization: The authors provide a more general result (Proposition 4) stating that $i[\arctan(\alpha P), \arctan(\beta Q)] \ge 0$ whenever $0 < \alpha \beta \le 2\|T_{\text{even}}\|^{-1}$.
• Analytic Properties: Proposition 15 rigorously establishes the maximal Kato strip for the arctangent function, confirming it is exactly width 1 and that its negative does not belong to any Kato class.

Significance
The paper claims significance by providing a definitive counterexample to a long-standing conjecture regarding the structural characterization of positive commutators. While previous work by Froese and Herbst had established the conjecture under one-sided exponential-moment assumptions on the derivatives of $f$ and $g$, the counterexample presented here lies outside that regime. The derivatives of the arctangent function ($1/(1+x^2)$) lack nontrivial exponential moments in either direction, demonstrating that the sufficient conditions derived from Kato's representation (involving translates of the hyperbolic tangent) do not describe all nonzero positive commutators. The work clarifies the limitations of the Howland–Kato problem and the scope of Kato's positivity criterion.