A Counterexample to the Tang Zhang Schatten Norm Conjecture and Sharp Positive Results

Resumen Técnico: Un Contraejemplo a la Conjetura de la Norma Schatten de Tang–Zhang y Resultados Positivos Agudos

Planteamiento del Problema
El artículo investiga la constante aguda $c_p(m)$ en la desigualdad que relaciona la norma Schatten $p$ de una suma de matrices con la norma Schatten $p$ de la suma de sus valores absolutos. Específicamente, para $m \ge 2$ y $1 \le p \le \infty$, los autores consideran la desigualdad:
$$\left\| \sum_{k=1}^m A_k \right\|_p \le c_p(m) \left\| \sum_{k=1}^m |A_k| \right\|_p$$
donde $A_k \in M_n(\mathbb{C})$, $|A| = (A^*A)^{1/2}$, y $\|A\|_p = (\text{Tr}|A|^p)^{1/p}$. La constante $c_p(m)$ se define como el supremo sobre todas las dimensiones $n$ y familias no nulas $(A_1, \dots, A_m)$.

Tang y Zhang establecieron previamente valores exactos para $p=1, 2, \infty$ y conjetaron una fórmula explícita para todo $p > 1$. Su conjetura postula que la constante aguda es dada por $C^{TZ}_{p,m}$, derivada de la raíz única $x_{p,m} > 1$ de la ecuación $x^p - 2x - (m-1) = 0$. Este límite inferior es conocido por ser alcanzado por familias equiangulares de rango uno. La cuestión central abordada es si esta fórmula conjeturada representa la verdadera constante aguda para matrices generales y $p$ general.

Metodología
Los autores emplean una combinación de construcción algebraica explícita, verificación aritmética racional y análisis variacional:

1. Construcción de un Contraejemplo Explícito: Para refutar la conjetura, los autores construyen una familia específica de matrices reales de rango uno de $2 \times 2$ ($m=2, n=2$) en $p=3/2$. Definen vectores $e, u, v$ y matrices $A_1 = ee^T$ y $A_2 = uv^T$.
2. Certificación Racional: En lugar de depender de aproximaciones de punto flotante, los autores computan la razón de las normas para su contraejemplo y la constante conjeturada utilizando aritmética racional exacta. Establecen siete desigualdades racionales estrictas para probar que la razón alcanzada excede estrictamente la constante conjeturada.
3. Reducción a la Optimización Escalar: Para los resultados positivos, los autores reducen el problema de la desigualdad de matrices a un problema de optimización escalar. Al expresar las matrices de rango uno como $A_k = r_k u_k v_k^*$, relacionan las normas Schatten con los autovalores de las matrices de Gram $L = U^*U$ y $G = V^*V$. Esto permite la aplicación de argumentos de convexidad y mayoración de autovalores.
4. Análisis Variacional para $p=4$: Para el caso de matrices arbitrarias con $m=2$ y $p=4$, los autores utilizan la descomposición polar e invariancia unitaria. Expanden la traza de $(H+K)^4$ (donde $H=|A|, K=|B|$) y aplican las desigualdades de Hölder y Cauchy–Schwarz para acotar el numerador y el denominador, reduciendo el problema a maximizar una función específica de dos variables.

Contribuciones Clave y Resultados

1. Refutación de la Conjetura de Tang–Zhang:
   El artículo proporciona un contraejemplo definitivo que muestra que la conjetura de Tang–Zhang es falsa para matrices generales.

   • Teorema 1.1: Para $m=n=2$ y $p=3/2$, existen matrices reales de rango uno $A_1, A_2$ tales que la razón $\frac{\|A_1+A_2\|_{3/2}}{\||A_1|+|A_2|\|_{3/2}}$ es estrictamente mayor que $207/200$.
   • Los autores prueban rigurosamente que la constante conjeturada $C^{TZ}_{3/2, 2}$ es estrictamente menor que $207/200$. Por lo tanto, la fórmula conjeturada no produce la constante aguda, incluso dentro de la clase restringida de matrices de rango uno.

2. Límite Agudo para Sumandos de Rango Uno ($p \ge 2$):
   A pesar del fallo de la conjetura en términos generales, los autores prueban que la fórmula de Tang–Zhang es aguda cuando se restringe a familias de matrices de rango a lo sumo uno, siempre que $p \ge 2$.

   • Teorema 1.2: Para $m \ge 2$ y $2 \le p < \infty$, si $A_1, \dots, A_m$ tienen rango a lo sumo uno, entonces $\|\sum A_k\|_p \le C^{TZ}_{p,m} \|\sum |A_k\|_p$.
   • La constante es aguda en el entorno independiente de la dimensión, y se alcanza cuando $n \ge m$. Los autores proporcionan una clasificación completa de los casos de igualdad, que requieren estructuras de producto interno específicas entre los vectores singulares derechos ($v_k$) y un rango común para los vectores singulares izquierdos.
   • Corolario 3.1: El caso límite $p=\infty$ también es resuelto para matrices de rango uno, arrojando la constante aguda $\sqrt{m}$.

3. Constante Aguda para Matrices Arbitrarias ($m=2, p=4$):
   Los autores establecen la constante aguda para el caso de dos matrices complejas arbitrarias cuando $p=4$, eliminando la restricción de rango uno.

   • Teorema 1.3: Para $A, B \in M_n(\mathbb{C})$, la desigualdad $\|A+B\|_4^4 \le x^2(x+1)^2 \||A|+|B|\|_4^4$ se cumple, donde $x > 1$ es la solución a $x^4 - 2x - 1 = 0$.
   • Esta constante es igual a $(C^{TZ}_{4,2})^4$, lo que indica que para este caso específico ($m=2, p=4$), la fórmula de Tang–Zhang sí proporciona la cota aguda correcta, incluso para matrices de rango completo. La cota se alcanza para $n \ge 2$.

Significancia y Reivindicaciones
El artículo afirma resolver el estatus de la conjetura de Tang–Zhang demostrando que, si bien la fórmula conjeturada no es universalmente válida (fallando en $p=3/2$), sigue siendo la cota aguda correcta en regímenes específicos significativos:

• Es aguda para todas las familias de rango uno cuando $p \ge 2$.
• Es aguda para el caso de matrices completas cuando $m=2$ y $p=4$.

El trabajo resalta la complejidad de las desigualdades de la norma Schatten, mostrando que el comportamiento de la constante aguda depende críticamente tanto del exponente $p$ como de las restricciones de rango de los sumandos. Los autores enfatizan que su contraejemplo está certificado por aritmética racional exacta, evitando la incertidumbre numérica. El artículo concluye que la fórmula de Tang–Zhang, aunque es un límite inferior válido alcanzado por configuraciones específicas de rango uno, no es la solución general para todo $p > 1$.