límite superior para trace(ATA)trace⁡(ATA)\operatorname{trace}(A^TA) en términos de trace(A)trace⁡(A)\operatorname{trace}(A)

Antecedentes: soy estudiante de química, así que lo siento si esto parece obviamente incorrecto...

Esta pregunta establece un límite inferior para Rastro ( B T B ) en términos de Rastro ( B ) derivado a través de la desigualdad de Cauchy-Schwarz.

¿Es posible en cambio encontrar un límite superior para Rastro ( B T B ) en términos de Rastro ( B ) ?

En el pasado, he visto límites inferiores y superiores derivados de sumas de raíces cuadradas usando las desigualdades de Cauchy-Schwarz y Minkwoski respectivamente, pero no he podido resolverlo. Estoy consciente de Rastro ( B T B ) Rastro ( B ) 2 cuando B es definida semipositiva pero me interesa el caso de una matriz cuadrada general con entradas reales.

Mi interés en este problema surge de un problema práctico relacionado con la norma de Frobenius, por lo que lamento si parece fuera de lugar. Conozco la traza de la matriz, por lo que sería increíblemente útil si pudiera relacionarla a través de una desigualdad.

Respuestas (2)

Dejar A = [ 0 norte 0 0 ] .Entonces tr ( A ) = 0 pero A T A = [ 0 0 0 norte 2 ] y por lo tanto

rastro ( A T A ) = norte 2

Básicamente, lo que estás preguntando es la siguiente pregunta

Pregunta ¿Puedo unir la suma de los cuadrados de todos los elementos en A (esto es exactamente t r ( A T A ) ) por la suma de los elementos diagonales en A ?

La respuesta es obviamente no, ya que la primera suma aumenta cuando aumentamos las entradas no diagonales de A , mientras que el segundo permanece sin cambios.

"Estoy consciente de Rastro ( B T B ) Rastro ( B ) 2 cuando 𝐵 es definida semipositiva, pero me interesa el caso de una matriz cuadrada general con entradas reales".

Deberías probarte a ti mismo que en reales,
Rastro ( B T B ) = B F 2 0 con igualdad si y si B = 0 .

Ahora elige algo general B eso es sin rastro. Podría, por ejemplo, tener una estructura bipartita como, por ejemplo

B := [ 0 A C 0 ] para algunos A 0 Su desigualdad deseada nunca puede ser cierta aquí.

Además: considere las matrices de permutación que no tienen puntos fijos.

Hermosa respuesta. Resultado decepcionante. ¡Gracias!