obere Grenze für trace(ATA)trace⁡(ATA)\operatorname{trace}(A^TA) in Bezug auf trace(A)trace⁡(A)\operatorname{trace}(A)

Hintergrund: Ich studiere Chemie, also tut es mir leid, wenn das offensichtlich falsch erscheint ...

Diese Frage gibt eine Untergrenze für an Verfolgen ( B T B ) bezüglich Verfolgen ( B ) abgeleitet über die Cauchy-Schwarz-Ungleichung.

Ist es möglich, stattdessen eine Obergrenze für zu finden Verfolgen ( B T B ) bezüglich Verfolgen ( B ) ?

Ich habe in der Vergangenheit Unter- und Obergrenzen gesehen, die für Summen von Quadratwurzeln unter Verwendung der Cauchy-Schwarz- bzw. Minkwoski-Ungleichungen abgeleitet wurden, konnte es aber nicht herausfinden. Ich bin mir bewusst, dass Verfolgen ( B T B ) Verfolgen ( B ) 2 Wenn B ist halbpositiv definit, aber ich interessiere mich für den Fall einer allgemeinen quadratischen Matrix mit reellen Einträgen.

Mein Interesse an diesem Problem rührt von einem praktischen Problem her, das die Frobenius-Norm betrifft, also tut es mir leid, wenn es fehl am Platz erscheint. Ich kenne die Spur der Matrix, daher wäre es unglaublich nützlich, wenn ich sie über eine Ungleichung in Beziehung setzen könnte.

Antworten (2)

Lassen A = [ 0 N 0 0 ] .Dann tr ( A ) = 0 Aber A T A = [ 0 0 0 N 2 ] und daher

verfolgen ( A T A ) = N 2

Im Grunde stellen Sie sich folgende Frage

Frage Kann ich die Summe der Quadrate aller Elemente eingrenzen? A (Das ist genau T R ( A T A ) ) durch die Summe der diagonalen Elemente in A ?

Die Antwort ist offensichtlich nein, da die erste Summe zunimmt, wenn wir die nicht diagonalen Einträge von erhöhen A , während die Sekunde unverändert bleibt.

"Ich bin mir bewusst, dass Verfolgen ( B T B ) Verfolgen ( B ) 2 wenn 𝐵 semi-positiv definit ist, aber ich interessiere mich für den Fall einer allgemeinen quadratischen Matrix mit reellen Einträgen.

Sie sollten sich selbst beweisen, dass in Wirklichkeit,
Verfolgen ( B T B ) = B F 2 0 mit Gleichheit iff B = 0 .

Wählen Sie jetzt einen General aus B das ist spurlos. Es könnte zum Beispiel eine zweiteilige ähnliche Struktur wie z

B := [ 0 A C 0 ] für einige A 0 Ihre gewünschte Ungleichheit kann hier niemals wahr sein.

Außerdem: Betrachten Sie Permutationsmatrizen, die keine Fixpunkte haben.

Schöne Antwort. Enttäuschendes Ergebnis. Danke schön!