A counterexample to the Kato conjecture for positive commutators

Resumo Técnico: Um Contraexemplo para a Conjectura de Kato para Comutadores Positivos

Enunciado do Problema
O artigo aborda o problema do comutador de Howland–Kato, especificamente em relação ao inverso do critério de positividade de Kato para comutadores de funções dos operadores canônicos de posição ($Q$) e momento ($P$). Kato estabeleceu que, se funções reais limitadas $f$ e $g$ admitem continuações analíticas para faixas $S_a$ e $S_b$ respectivamente (onde $S_a = \{z \in \mathbb{C} : |\text{Im } z| < a\}$) satisfazendo a condição $\text{Im } h(z) \text{Im } z \ge 0$, e se as larguras das faixas satisfazem $ab \ge \pi/2$, então o comutador $i[f(P), g(Q)]$ é não-negativo.

Herbst e Kriete formularam uma conjectura inversa (Conjectura 2): Se $i[f(P), g(Q)]$ é não-negativo e não-nulo, então (após possivelmente substituir $f$ e $g$ por seus negativos) existem $a, b > 0$ com $ab = \pi/2$ tais que $f \in K_a$ e $g \in K_b$, onde $K_a$ denota a classe de funções que satisfazem as condições analítica e de sinal descritas acima. O artigo investiga se esta conjectura é verdadeira.

Metodologia
Os autores refutam a conjectura construindo um contraexemplo específico usando a função arcotangente. A metodologia envolve uma abordagem analítica de múltiplas etapas:

1. Construção do Contraexemplo: Os autores consideram o operador $C := i[\arctan(P), \arctan(Q)]$. Eles visam provar que este operador é não-negativo e não-nulo, apesar de $\arctan$ pertencer a $K_1$, mas não a $K_a$ para qualquer $a > 1$, e $-\arctan$ não pertencer a $K_a$ para qualquer $a > 0$.

2. Análise do Núcleo Integral: A prova começa pela derivação do núcleo integral do operador escalonado $C_s = i[\arctan(P/s), \arctan(Q/s)]$. Usando técnicas de transformada de Fourier e uma mudança de variáveis envolvendo a função arcotangente, o núcleo é expresso em termos de uma função $D_s(x, y)$ envolvendo uma função auxiliar específica $F(t) = \ln(t/\sin t)$.

3. Fatoração no Espaço de Fock: Para estabelecer a não-negatividade de $C_s$, os autores empregam uma técnica de fatoraçãoção relacionada ao teorema de Schoenberg sobre núcleos condicionalmente negativos definidos. Eles definem um operador $A_s = 2sI - B_s$, onde $B_s$ é um operador integral unitariamente equivalente a uma versão escalonada de um operador $T$ atuando em $L^2(I)$ (onde $I = (-\pi/2, \pi/2)$).

   • O núcleo de $T$ é dado por $T(\theta, \phi) = \cos \theta \cos \phi F''(\theta - \phi)$.
   • Os autores decompõem $T$ em suas partes par e ímpar ($T_{\text{even}}$ e $T_{\text{odd}}$).
   • Eles provam que $T_{\text{even}} \ge 0$ e $T_{\text{odd}} \le 0$ usando representações integrais envolvendo funções hiperbólicas.
   • Ao estabelecer que $A_s \ge 0$ sob condições específicas nos parâmetros de escala, eles mostram que o núcleo de $C_s$ pode ser escrito como um produto interno em um espaço de Fock simétrico, provando assim que $C_s \ge 0$.

4. Estimativa de Norma: Para confirmar que o caso específico de $\arctan(P)$ e $\arctan(Q)$ (correspondente a $s=1$) recai dentro do regime não-negativo, os autores devem limitar a norma $\|T_{\text{even}}\|$.

   • Eles primeiro fornecem um limite simples $\|T\| \le 3\pi/5$ usando o teste de Schur.
   • Para obter um limite mais estreito necessário para o teorema principal, eles utilizam uma estimativa de resíduo de traço (Lema 12). Eles computam o traço de $T_{\text{even}}$ e o quociente de Rayleigh em relação a um vetor de teste $e_0(\theta) \propto \cos \theta$.
   • Ao estimar a norma do resíduo $\|(I - e_0 \otimes e_0)T_{\text{even}}e_0\|$, eles derivam um limite superior rigoroso $\|T_{\text{even}}\| \le 0.64$.

Principais Contribuições e Resultados

• Refutação da Conjectura 2: O resultado primário é o Teorema 1, que afirma que o operador $C = i[\arctan(P), \arctan(Q)]$ é não-negativo e de classe traço com traço $\pi/2$.
• Validade do Contraexemplo: Como $\arctan \in K_1$, mas não pertence a $K_a$ para $a > 1$, e $-\arctan \notin K_a$ para qualquer $a > 0$, o par $(\arctan, \arctan)$ produz um comutador positivo que não pode ser representado por funções em faixas satisfazendo $ab = \pi/2$, conforme exigido pela conjectura. Isso implica diretamente o Corolário 3: a Conjectura 2 falha.
• Generalização: Os autores fornecem um resultado mais geral (Proposição 4) afirmando que $i[\arctan(\alpha P), \arctan(\beta Q)] \ge 0$ sempre que $0 < \alpha \beta \le 2\|T_{\text{even}}\|^{-1}$.
• Propriedades Analíticas: A Proposição 15 estabelece rigorosamente a largura máxima da faixa de Kato para a função arcotangente, confirmando que é exatamente 1 e que seu negativo não pertence a nenhuma classe de Kato.

Significância
O artigo afirma sua significância ao fornecer um contraexemplo definitivo para uma conjectura de longa data sobre a caracterização estrutural de comutadores positivos. Embora trabalhos anteriores de Froese e Herbst tenham estabelecido a conjectura sob suposições de um lado de momentos exponenciais nas derivadas de $f$ e $g$, o contraexemplo aqui apresentado situa-se fora desse regime. As derivadas da função arcotangente ($1/(1+x^2)$) carecem de momentos exponenciais não-triviais em qualquer direção, demonstrando que as condições suficientes derivadas da representação de Kato (envolvendo translações da tangente hiperbólica) não descrevem todos os comutadores positivos não-nulos. O trabalho esclarece as limitações do problema de Howland–Kato e o escopo do critério de positividade de Kato.