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

Resumo Técnico: Um Contraexemplo à Conjectura da Norma Schatten de Tang–Zhang e Resultados Positivos Aguçados

Enunciado do Problema
O artigo investiga a constante aguda $c_p(m)$ na desigualdade que relaciona a norma Schatten $p$ de uma soma de matrizes à norma Schatten $p$ da soma de seus valores absolutos. Especificamente, para $m \ge 2$ e $1 \le p \le \infty$, os autores consideram a desigualdade:
$$\left\| \sum_{k=1}^m A_k \right\|_p \le c_p(m) \left\| \sum_{k=1}^m |A_k| \right\|_p$$
onde $A_k \in M_n(\mathbb{C})$, $|A| = (A^*A)^{1/2}$, e $\|A\|_p = (\text{Tr}|A|^p)^{1/p}$. A constante $c_p(m)$ é definida como o supremo sobre todas as dimensões $n$ e famílias não nulas $(A_1, \dots, A_m)$.

Tang e Zhang estabeleceram anteriormente valores exatos para $p=1, 2, \infty$ e conjecturaram uma fórmula explícita para todo $p > 1$ finito. A conjectura deles postula que a constante aguda é dada por $C^{TZ}_{p,m}$, derivada da raiz única $x_{p,m} > 1$ da equação $x^p - 2x - (m-1) = 0$. Este limite inferior é conhecido por ser atingido por famílias equiangulares de posto um. A questão central abordada é se esta fórmula conjecturada representa a verdadeira constante aguda para matrizes gerais e $p$ geral.

Metodologia
Os autores empregam uma combinação de construção algébrica explícita, verificação aritmética racional e análise variacional:

1. Construção de Contraexemplo Explícito: Para refutar a conjectura, os autores constroem uma família específica de matrizes reais de posto um $2 \times 2$ ($m=2, n=2$) em $p=3/2$. Eles definem vetores $e, u, v$ e matrizes $A_1 = ee^T$ e $A_2 = uv^T$.
2. Certificação Racional: Em vez de depender de aproximações de ponto flutuante, os autores computam a razão das normas para o seu contraexemplo e a constante conjecturada usando aritmética racional exata. Eles estabelecem sete desigualdades racionais estritas para provar que a razão atingida excede estritamente a constante conjecturada.
3. Redução à Otimização Escalar: Para os resultados positivos, os autores reduzem o problema da desigualdade de matrizes a um problema de otimização escalar. Ao expressar matrizes de posto um como $A_k = r_k u_k v_k^*$, eles relacionam as normas Schatten aos autovalores de matrizes de Gram $L = U^*U$ e $G = V^*V$. Isso permite a aplicação de argumentos de convexidade e majorização de autovalores.
4. Análise Variacional para $p=4$: Para o caso de matrizes arbitrárias com $m=2$ e $p=4$, os autores utilizam a decomposição polar e a invariância unitária. Eles expandem o traço de $(H+K)^4$ (onde $H=|A|, K=|B|$) e aplicam as desigualdades de Hölder e Cauchy–Schwarz para limitar o numerador e o denominador, reduzindo o problema à maximização de uma função específica de duas variáveis.

Principais Contribuições e Resultados

1. Refutação da Conjectura de Tang–Zhang:
   O artigo fornece um contraexemplo definitivo mostrando que a conjectura de Tang–Zhang é falsa para matrizes gerais.

   • Teorema 1.1: Para $m=n=2$ e $p=3/2$, existem matrizes reais de posto um $A_1, A_2$ tais que a razão $\frac{\|A_1+A_2\|_{3/2}}{\||A_1|+|A_2|\|_{3/2}}$ é estritamente maior que $207/200$.
   • Os autores provam rigorosamente que a constante conjecturada $C^{TZ}_{3/2, 2}$ é estritamente menor que $207/200$. Assim, a fórmula conjecturada não produz a constante aguda, mesmo dentro da classe restrita de matrizes de posto um.

2. Limite Agudo para Somandos de Posto Um ($p \ge 2$):
   Apesar da falha da conjectura em geral, os autores provam que a fórmula de Tang–Zhang é aguda quando restrita a famílias de matrizes de posto no máximo um, desde que $p \ge 2$.

   • Teorema 1.2: Para $m \ge 2$ e $2 \le p < \infty$, se $A_1, \dots, A_m$ têm posto no máximo um, então $\|\sum A_k\|_p \le C^{TZ}_{p,m} \|\sum |A_k|\|_p$.
   • A constante é aguda no cenário independente da dimensão e é atingida quando $n \ge m$. Os autores fornecem uma classificação completa dos casos de igualdade, que exigem estruturas de produto interno específicas entre os vetores singulares à direita ($v_k$) e um espaço comum para os vetores singulares à esquerda.
   • Corolário 3.1: O caso de extremidade $p=\infty$ também é resolvido para matrizes de posto um, resultando na constante aguda $\sqrt{m}$.

3. Constante Aguda para Matrizes Arbitrárias ($m=2, p=4$):
   Os autores estabelecem a constante aguda para o caso de duas matrizes complexas arbitrárias quando $p=4$, removendo a restrição de posto um.

   • Teorema 1.3: Para $A, B \in M_n(\mathbb{C})$, a desigualdade $\|A+B\|_4^4 \le x^2(x+1)^2 \||A|+|B|\|_4^4$ é válida, onde $x > 1$ é a solução de $x^4 - 2x - 1 = 0$.
   • Esta constante é igual a $(C^{TZ}_{4,2})^4$, indicando que para este caso específico ($m=2, p=4$), a fórmula de Tang–Zhang de fato fornece o limite aguçado correto, mesmo para matrizes de posto total. O limite é atingido para $n \ge 2$.

Significância e Alegações
O artigo afirma resolver o status da conjectura de Tang–Zhang ao demonstrar que, embora a fórmula conjecturada não seja universalmente válida (falhando em $p=3/2$), ela permanece como o limite aguçado correto em regimes específicos significativos:

• É aguda para todas as famílias de posto um quando $p \ge 2$.
• É aguda para o caso de matrizes completas quando $m=2$ e $p=4$.

O trabalho destaca a complexidade das desigualdades de norma Schatten, mostrando que o comportamento da constante aguda depende criticamente tanto do expoente $p$ quanto das restrições de posto dos somandos. Os autores enfatizam que seu contraexemplo é certificado por aritmética racional exata, evitando incerteza numérica. O artigo conclui que a fórmula de Tang–Zhang, embora seja um limite inferior válido atingido por configurações específicas de posto um, não é a solução geral para todo $p > 1$.