How characterisations of traces and central elements fail: sharp violation constants via michelson contrast and noncentrality

Resumen Técnico: Constantes de Violación, Contraste y No Centralidad en Caracterizaciones de Traza

Planteamiento del Problema
El artículo aborda la falla cuantitativa de las desigualdades que caracterizan las trazas y los elementos centrales en las $C^*$-álgebras y álgebras de von Neumann. Mientras que los teoremas de caracterización cualitativa (por ejemplo, la desigualdad de Gardner $|\phi(X)| \le \phi(|X|)$) establecen que un funcional positivo $\phi$ es una traza si y solo si se cumplen ciertas desigualdades, estos no cuantifican qué tan fuertemente fallan dichas desigualdades cuando $\phi$ no es una traza. Los autores se preguntan: dado un funcional $\phi$ que no es una traza, ¿cuál es la constante aguda $c(\phi)$ tal que la desigualdad se cumple con un factor $c(\phi) \ge 1$? Además, investigan si esta constante de violación depende únicamente de una medida de qué tan alejado está $\phi$ de ser una traza y, de ser así, cuál es dicha medida.

Metodología
Los autores emplean una combinación de teoría de operadores, análisis convexo y optimización numérica para determinar estas constantes agudas.

1. Parámetros de Desviación:

   • Contraste ($\delta$): Para las álgebras de matrices $M_n(\mathbb{C})$, la desviación de una densidad $\rho$ respecto a un escalar se mide mediante el contraste de Michelson $\delta = \text{OMC}(\rho) = \frac{\lambda_{\max} - \lambda_{\min}}{\lambda_{\max} + \lambda_{\min}}$.
   • No Centralidad ($\kappa_Z$): Para las álgebras de von Neumann finitas generales, el contraste es insuficiente porque una densidad central (incluso con alto contraste) produce una traza. El parámetro rector es la no centralidad, definida a través de las envolventes centrales $\lceil \rho \rceil$ y $\lfloor \rho \rfloor$ (el elemento central mínimo $\ge \rho$ y el elemento central máximo $\le \rho$). El número de condición central es $\kappa_Z(\rho) = \|\lceil \rho \rceil \lfloor \rho \rfloor^{-1}\|$. La no centralidad logarítmica es $LNC(\rho) = \frac{1}{2} \ln \kappa_Z(\rho)$.
   • Contraste del Operador: Los autores también prescriben el contraste $\delta'$ de las variables operadoras (por ejemplo, $|X|$) para estudiar cómo la violación depende tanto del funcional como de los operadores.

2. Principio de Transferencia:
   Una herramienta metodológica clave es un "principio de transferencia" (Teorema 4.15). Establece que si una desigualdad es compatible con el reescalado central y se demuestra un límite superior en términos del número de condición en un álgebra de von Neumann finita arbitraria, y existe un ejemplo coincidente en $M_2(\mathbb{C})$, entonces la constante de violación aguda en cada álgebra de von Neumann finita es la misma función de $\kappa_Z(\rho)$. Esto permite a los autores elevar los resultados de las matrices $2 \times 2$ a álgebras generales.

3. Análisis Geométrico y Espectral:
   Las demostraciones utilizan ángulos de operadores (Krein y Gustafson), la constante de Kantorovich $G = \sec \psi$ y la razón de Specht. Los autores reducen muchos problemas a bloques bidimensionales donde los operadores y las densidades actúan como $1 + \delta S$ y $1 + \delta' S'$, reduciendo la violación a un problema geométrico que involucra la secante de un ángulo determinado por el producto de los contrastes.

4. Verificación Numérica:
   Para los casos donde las soluciones en forma cerrada son esquivas, realizan una optimización restringida en $M_2, M_3$ y $M_4$ utilizando aritmética de 40 dígitos para proporcionar límites inferiores rigurosos para los supremos, sustentando los valores conjeturados.

Contribuciones Clave y Resultados

• Constantes Agudas para 38 Caracterizaciones: El artículo determina las constantes de violación exactas para 38 caracterizaciones diferentes de trazas y elementos centrales.

  • Resultados Exactos: Para 18 casos (incluyendo la desigualdad de Gardner, la subaditividad del módulo y diversas desigualdades de proyecciones), la constante es una función explícita de $\kappa_Z(\rho)$ válida en toda álgebra de von Neumann finita. Por ejemplo, para la desigualdad de Gardner, la constante es $G_Z = \cosh(LNC(\rho)) = (1 - \delta_Z^2)^{-1/2}$.
  • Resultados Específicos de Matrices: Para 5 casos, se encuentran envolventes exactas solo para álgebras de matrices (por ejemplo, ciertas desigualdades de monotonicidad).
  • Límites: Para 13 casos, se proporcionan límites superiores e inferiores probados.
  • Numérico/Conjeturado: Para 2 casos, solo hay disponibles valores numéricos.

• Dependencia del Producto de Contraste: Para la desigualdad de Gardner, los autores demuestran que la constante aguda depende del contraste de la densidad $\delta$ y del contraste del operador $\delta'$ únicamente a través de su producto $\delta \delta'$. La constante es $(1 - \delta^2 \delta'^2)^{-1/2}$.

• Órdenes de Violación: El artículo revela que diferentes caracterizaciones fallan a diferentes ritmos a medida que el funcional se aproxima a una traza (es decir, cuando $\delta \to 0$).

  • Algunas fallan linealmente ($O(\delta)$), por ejemplo, la desigualdad triangular para proyecciones.
  • Algunas fallan cuadráticamente ($O(\delta^2)$), por ejemplo, la desigualdad de Gardner.
  • Algunas fallan cuarticamente ($O(\delta^4)$), por ejemplo, la monotonicidad de $A \mapsto \phi(A^2)$.
  • Se muestra que un caso (monotonicidad ponderada) tiene un límite inferior de orden $O(\delta^8)$.

• Elementos Centrales: El artículo resuelve el problema dual: caracterizar elementos centrales. Para un elemento positivo invertible $a$, la mejor constante en $p a p \le \lambda a$ (para proyecciones $p$) es $\cosh^2(LNC(a))$, y para $|\phi(a)| \le C |\phi|(a)$, es $\cosh(LNC(a))$.

• Umbrales: Los autores establecen umbrales agudos para contrastes de operadores por debajo de los cuales ciertas desigualdades no pueden fallar, independientemente del funcional. Por ejemplo, la subaditividad de la raíz cuadrada $\phi((A+B)^{1/2}) \le \phi(A^{1/2}) + \phi(B^{1/2})$ no puede fallar si los contrastes de los operadores satisfacen una condición específica relacionada con $2\sqrt{2}/3$.

Significado y Reivindicaciones
El artículo afirma proporcionar las primeras versiones cuantitativas de estos teoremas de caracterización cualitativa. Identifica la no centralidad (específicamente el número de condición central $\kappa_Z$) como el parámetro rector correcto para las constantes de violación en álgebras de von Neumann generales, reemplazando el simple contraste de Michelson que solo es válido en factores.

Los autores enfatizan que la "envolvente de violación" no es una función universal del contraste; en álgebras que no son factores, la constante depende de la no centralidad, y en sumas directas, depende del contraste máximo dentro de los bloques. El trabajo unifica desigualdades dispares (Gardner, Young, Peierls–Bogoliubov, etc.) bajo un marco común de "constantes de violación", mostrando que, aunque son equivalentes para trazas, divergen significativamente en su sensibilidad a la no tracialidad. El artículo no pretende resolver problemas abiertos sobre las constantes exactas para todos los casos (señalando que algunos siguen siendo numéricos o conjeturados), sino que proporciona un catálogo riguroso de resultados exactos y límites agudos para la mayoría de las caracterizaciones conocidas.