Hermitian Distance Degree of Unitary-Invariant Matrix Varieties

Titel

Hermitian Distance Degree of Unitary-Invariant Matrix Varieties (Hermitischer Abstandgrad unitär-invarianter Matrixvarietäten)

1. Problemstellung und Motivation

Das Papier untersucht den Hermitischen Abstandgrad (Hermitian Distance Degree, HDdeg) für algebraische Mengen von Matrizen, die unter links- und rechtsseitigen unitären Transformationen invariant sind.

• Kontext: In der algebraischen Geometrie ist der Euclidean Distance Degree (ED degree) einer Varietät $X$ die Anzahl der kritischen Punkte der quadrierten Distanzfunktion zu einem generischen Datenpunkt $u$.
• Spezifisches Problem: Im komplexen Fall betrachtet man Matrizen $A, B \in \mathbb{C}^{n \times t}$ mit dem hermitischen Skalarprodukt $\langle A, B \rangle = \text{Tr}(AB^*)$. Die Distanzfunktion ist $d_Y(X) = \|X - Y\|^2$.
• Herausforderung: Da die Distanzfunktion reell ist (basierend auf dem Realteil des Skalarprodukts $q = \text{Re}\langle \cdot, \cdot \rangle$), sucht man nach reellen kritischen Punkten, auch wenn die zugrunde liegende Varietät komplex ist. Dies unterscheidet sich von der rein komplexen Zählung kritischer Punkte.
• Ziel: Eine effiziente Methode zu finden, um die Anzahl dieser kritischen Punkte für unitär-invariante Matrixvarietäten zu berechnen, ohne das hochdimensionale Problem in $\mathbb{C}^{n \times t}$ direkt lösen zu müssen.

2. Methodik und theoretischer Rahmen

Der Autor, Nikhil Ken, nutzt die Struktur der unitären Invarianz, um das Problem auf eine niedrigdimensionale, reelle Varietät zu reduzieren.

• Unitäre Invarianz: Eine Matrixvarietät $M \subset \mathbb{C}^{n \times t}$ ist unitär-invariant, wenn $UMV^* = M$ für alle $U \in U(n), V \in U(t)$.
• Singulärwertzerlegung (SVD): Aufgrund der Invarianz lässt sich jede Matrix $A \in M$ als $A = U \Sigma V^*$ schreiben, wobei $\Sigma$ eine rechteckige Diagonalmatrix mit den Singulärwerten ist.
• Absolut symmetrische Mengen: Der Autor definiert eine Korrespondenz zwischen der Matrixvarietät $M$ und einer Menge $S \subset \mathbb{R}^n$ der Singulärwerte. $S$ ist "absolut symmetrisch", d.h. invariant unter Vorzeichenwechseln und Permutationen der Koordinaten (Gruppe der Vorzeichenpermutationen $\Pi^\pm_n$).
  • $S = \sigma(M) = \{x \in \mathbb{R}^n : \text{diag}(x) \in M\}$.
  • $M = \sigma^{-1}(S) = \{U \text{diag}(x) V^* : x \in S, U, V \text{ unitär}\}$.
• Reale Algebraische Geometrie: Das komplexe Vektorraum $V = \mathbb{C}^{n \times t}$ wird als reeller Raum $V^{\mathbb{R}} \cong \mathbb{R}^{2nt}$ aufgefasst, ausgestattet mit dem reellen inneren Produkt $q(A, B) = \text{Re}(\text{Tr}(AB^*))$. Die kritischen Punkte werden bezüglich dieser reellen Struktur gezählt.

3. Hauptergebnisse

A. Äquivalenz der Abstandsgrade (Theorem 23)

Das zentrale Ergebnis des Papiers ist die Gleichsetzung des Hermitischen Abstandgrades der Matrixvarietät mit dem reellen Euclidean Distance Degree (REDdeg) der zugehörigen absolut symmetrischen Varietät der Singulärwerte.

• Aussage: Für eine generische Datenmatrix $Y = U \text{diag}(y) V^*$ gilt:
  $$\text{HDdeg}(M; Y) = \text{REDdeg}(S; y)$$
• Bedeutung: Die Anzahl der kritischen Punkte der Distanzfunktion auf der komplexen Matrixvarietät $M$ ist exakt gleich der Anzahl der kritischen Punkte der Distanzfunktion auf der reellen Varietät $S$ der Singulärwerte.
• Konstruktion der kritischen Punkte: Jeder Hermitische kritische Punkt $X$ auf $M$ lässt sich als $X = U \text{diag}(x) V^*$ schreiben, wobei $x$ ein kritischer Punkt von $y$ auf $S$ ist. Die unitären Matrizen $U$ und $V$ (die Singulärvektoren von $Y$) werden "hochgeliftet" (lifted).

B. Hermitischer Slicing-Satz (Theorem 30)

Der Autor leitet ein allgemeines "Slicing"-Theorem ab, das auf dem Prinzip von Bik und Draisma für ED-Grade basiert, aber für den hermitischen Fall adaptiert ist.

• Es wird gezeigt, dass der HD-Grad einer $G$-invarianten Varietät $X$ in einem komplexen Raum $V$ gleich dem RED-Grad des Schnitts $X_0 = X \cap V_0$ in einem reellen Unterraum $V_0$ ist, sofern $V_0$ eine geeignete "Diagonalscheibe" ist, die orthogonal zu den Orbits der Gruppenwirkung steht.
• Im Kontext der Matrizen ist $V_0$ der Raum der reellen Diagonalmatrizen.

C. Anwendung auf bekannte Beispiele

Das Papier bestätigt und verallgemeinert bekannte Resultate:

1. Eckart-Young-Theorem (Theorem 5): Für die Varietät der Matrizen mit Rang $\le k$ werden die kritischen Punkte der hermitischen Distanz explizit bestimmt. Sie entsprechen den Matrizen, die durch Beibehaltung einer Teilmenge der Singulärwerte der Datenmatrix entstehen. Dies ist ein Spezialfall von Theorem 23.
2. Determinanten-Varietäten: Für Matrizen mit $|\det(A)|=1$ wird gezeigt, wie die Anzahl der kritischen Punkte von der Lage des Datenpunkts bezüglich der Evolute der zugehörigen reellen Kurve abhängt (Kammerabhängigkeit).
3. Schatten-Norm-Sphären: Für Einheitskugeln bezüglich Schatten-$d$-Normen wird der Grad auf die entsprechende Fermat-Hypersfläche in $\mathbb{R}^n$ reduziert.

4. Technische Details und Beweisskizze

• Tangentialräume: Ein wesentlicher Schritt ist die Beschreibung des Tangentialraums $T_X M$ an einem Punkt $X = U \text{diag}(x) V^*$. Dieser setzt sich aus Termen zusammen, die durch die unitäre Gruppenwirkung (skew-Hermitische Matrizen) und die Variation der Singulärwerte (Tangentialraum von $S$) erzeugt werden.
• Orthogonalitätsbedingungen: Die Bedingung für einen kritischen Punkt $X$ ist, dass $Y - X$ orthogonal zum Tangentialraum $T_X M$ bezüglich $q$ steht. Durch Ausnutzen der Struktur von $U$ und $V$ sowie der Eigenschaften von Spur und hermitischen/skew-hermitischen Matrizen (Lemma 22) wird gezeigt, dass dies äquivalent dazu ist, dass $y - x$ orthogonal zum Tangentialraum $T_x S$ steht.
• Kammerabhängigkeit: Da es sich um ein reelles Zählproblem handelt, hängt die Anzahl der kritischen Punkte von der Position des Datenpunkts $y$ ab (Kammern, getrennt durch die ED-Diskriminante). Das Papier illustriert dies an Beispielen, wo die Anzahl der Lösungen springt, wenn $y$ bestimmte algebraische Kurven (wie Evoluten) kreuzt.

5. Signifikanz und Beitrag

• Reduktion der Komplexität: Das Papier bietet einen mächtigen Reduktionsmechanismus. Statt kritische Punkte in einem Raum der Dimension $2nt$ (für komplexe $n \times t$ Matrizen) zu suchen, reicht es, die kritischen Punkte in einem Raum der Dimension $n$ (die Singulärwerte) zu berechnen.
• Verbindung von Komplex und Reell: Es klärt die Beziehung zwischen hermitischen Distanzproblemen (oft in der Quantenmechanik oder Signalverarbeitung relevant) und klassischen reellen algebraischen Geometrie-Problemen.
• Verallgemeinerung: Es erweitert frühere Arbeiten von DLOT17 (für orthogonale Gruppen) auf den unitären Fall und liefert eine geometrische Interpretation des Eckart-Young-Theorems im hermitischen Kontext.
• Anwendbarkeit: Die Ergebnisse sind relevant für Probleme wie die Suche nach dem nächsten Produktzustand (closest product states) und geometrische Maße für Verschränkung (entanglement), wo hermitische Distanzen eine Rolle spielen.

Zusammenfassend etabliert das Papier eine fundamentale Äquivalenz zwischen dem Zählen kritischer Punkte auf unitär-invarianten komplexen Matrixvarietäten und dem Zählen kritischer Punkte auf ihren reellen "Schnitten" (den Singulärwert-Varietäten), was die Berechnung und das Verständnis dieser Invarianten erheblich vereinfacht.