A counterexample to the Kato conjecture for positive commutators

Resumen Técnico: Un Contraejemplo a la Conjetura de Kato para Conmutadores Positivos

Planteamiento del Problema
El artículo aborda el problema del conmutador de Howland–Kato, específicamente en relación con el sentido inverso del criterio de positividad de Kato para conmutadores de funciones de los operadores canónicos de posición ($Q$) y momento ($P$). Kato estableció que si funciones reales acotadas $f$ y $g$ admiten continuaciones analíticas a bandas $S_a$ y $S_b$ respectivamente (donde $S_a = \{z \in \mathbb{C} : |\text{Im } z| < a\}$) satisfaciendo la condición $\text{Im } h(z) \text{Im } z \ge 0$, y si las anchuras de las bandas cumplen $ab \ge \pi/2$, entonces el conmutador $i[f(P), g(Q)]$ es no negativo.

Herbst y Kriete formularon una conjetura inversa (Conjetura 2): Si $i[f(P), g(Q)]$ es no negativo y distinto de cero, entonces (posiblemente reemplazando $f$ y $g$ por sus negativos) existen $a, b > 0$ con $ab = \pi/2$ tales que $f \in K_a$ y $g \in K_b$, donde $K_a$ denota la clase de funciones que satisfacen las condiciones analíticas y de signo descritas anteriormente. El presente artículo investiga si esta conjetura inversa es cierta.

Metodología
Los autores refutan la conjetura mediante la construcción de un contraejemplo específico utilizando la función arcotangente. La metodología consiste en un enfoque analítico de múltiples pasos:

1. Construcción del Contraejemplo: Los autores consideran el operador $C := i[\arctan(P), \arctan(Q)]$. Su objetivo es demostrar que este operador es no negativo y distinto de cero, a pesar de que $\arctan$ pertenece a $K_1$ pero no a $K_a$ para ningún $a > 1$, y $-\arctan$ no pertenece a $K_a$ para ningún $a > 0$.

2. Análisis del Núcleo Integral: La demostración comienza derivando el núcleo integral del operador escalado $C_s = i[\arctan(P/s), \arctan(Q/s)]$. Utilizando técnicas de transformada de Fourier y un cambio de variable que involucra la función arcotangente, el núcleo se expresa en términos de una función $D_s(x, y)$ que involucra una función auxiliar específica $F(t) = \ln(t/\sin t)$.

3. Factorización en el Espacio de Fock: Para establecer la no negatividad de $C_s$, los autores emplean una técnica de factorización relacionada con el teorema de Schoenberg sobre núcleos condicionalmente negativos definidos. Definen un operador $A_s = 2sI - B_s$, donde $B_s$ es un operador integral unitariamente equivalente a una versión escalada de un operador $T$ que actúa en $L^2(I)$ (donde $I = (-\pi/2, \pi/2)$).

   • El núcleo de $T$ viene dado por $T(\theta, \phi) = \cos \theta \cos \phi F''(\theta - \phi)$.
   • Los autores descomponen $T$ en sus partes par e impar ($T_{\text{even}}$ y $T_{\text{odd}}$).
   • Demuestran que $T_{\text{even}} \ge 0$ y $T_{\text{odd}} \le 0$ utilizando representaciones integrales con funciones hiperbólicas.
   • Al establecer que $A_s \ge 0$ bajo condiciones específicas sobre los parámetros de escala, muestran que el núcleo de $C_s$ puede escribirse como un producto interno en un espacio de Fock simétrico, demostrando así que $C_s \ge 0$.

4. Estimación de la Norma: Para confirmar que el caso específico de $\arctan(P)$ y $\arctan(Q)$ (correspondiente a $s=1$) cae dentro del régimen no negativo, los autores deben acotar la norma $\|T_{\text{even}}\|$.

   • Primero proporcionan una cota simple $\|T\| \le 3\pi/5$ utilizando la prueba de Schur.
   • Para obtener una cota más ajustada necesaria para el teorema principal, utilizan una estimación de residuo de traza (Lema 12). Computan la traza de $T_{\text{even}}$ y el cociente de Rayleigh con respecto a un vector de prueba $e_0(\theta) \propto \cos \theta$.
   • Al estimar la norma del residuo $\|(I - e_0 \otimes e_0)T_{\text{even}}e_0\|$, derivan una cota superior rigurosa $\|T_{\text{even}}\| \le 0.64$.

Contribuciones y Resultados Clave

• Refutación de la Conjetura 2: El resultado principal es el Teorema 1, que establece que el operador $C = i[\arctan(P), \arctan(Q)]$ es no negativo y de clase traza con traza $\pi/2$.
• Validez del Contraejemplo: Dado que $\arctan \in K_1$ pero no en $K_a$ para $a > 1$, y $-\arctan \notin K_a$ para ningún $a > 0$, el par $(\arctan, \arctan)$ produce un conmutador positivo que no puede representarse mediante funciones en bandas que satisfagan $ab = \pi/2$ según lo requerido por la conjetura. Esto implica directamente el Corolario 3: La Conjetura 2 falla.
• Generalización: Los autores proporcionan un resultado más general (Proposición 4) que establece que $i[\arctan(\alpha P), \arctan(\beta Q)] \ge 0$ siempre que $0 < \alpha \beta \le 2\|T_{\text{even}}\|^{-1}$.
• Propiedades Analíticas: La Proposición 15 establece rigurosamente la banda de Kato máxima para la función arcotangente, confirmando que su anchura es exactamente 1 y que su negativo no pertenece a ninguna clase de Kato.

Significancia
El artículo afirma su significancia al proporcionar un contraejemplo definitivo a una conjetura de larga data sobre la caracterización estructural de los conmutadores positivos. Si bien trabajos previos de Froese y Herbst habían establecido la conjetura bajo supuestos de momentos exponenciales de un solo lado de las derivadas de $f$ y $g$, el contraejemplo presentado aquí se sitúa fuera de ese régimen. Las derivadas de la función arcotangente ($1/(1+x^2)$) carecen de momentos exponenciales no triviales en cualquiera de las dos direcciones, demostando que las condiciones suficientes derivadas de la representación de Kato (que involucran traslados de la tangente hiperbólica) no describen todos los conmutadores positivos distintos de cero. El trabajo clarifica las limitaciones del problema de Howland–Kato y el alcance del criterio de positividad de Kato.