diff --git a/.gitignore b/.gitignore
index 67d1900..2936858 100644
--- a/.gitignore
+++ b/.gitignore
@@ -331,4 +331,4 @@ TSWLatexianTemp*
 #*Notes.bib
 
 
-paper/*.pdf
\ No newline at end of file
+paper/*.pdf
diff --git a/agent_discussions/2026-07-11_claude_hans_Diskussion_fortführen.md b/agent_discussions/2026-07-11_claude_hans_Diskussion_fortführen.md
index e69de29..bd6ed00 100644
--- a/agent_discussions/2026-07-11_claude_hans_Diskussion_fortführen.md
+++ b/agent_discussions/2026-07-11_claude_hans_Diskussion_fortführen.md
@@ -0,0 +1,1549 @@
+> Ich würde gerne diese Diskussion fortführen:
+
+Was ist über den Zusammenhang von Tensor-Entfaltungen (Matrikalisierungen) und deren SVD / produkt der Singulärwärte bekannt (Kern-Norm)? Gibt es einen Zusammenhang zu Multivarianter SVD? 
+
+xxx
+
+Ja. Es gibt tatsächlich eine recht umfangreiche Theorie dazu – allerdings ist sie deutlich subtiler als im Matrixfall. Der Grund ist, dass für Tensoren keine eindeutige Verallgemeinerung der Matrix-SVD existiert. Je nachdem, welche Tensorzerlegung man betrachtet (HOSVD, Tucker, t-SVD, Tensor-Train, CP usw.), erhält man unterschiedliche Beziehungen zu den Matrikalisierungen.
+
+Ich versuche die Zusammenhänge systematisch darzustellen.
+
+---
+
+## 1. Matrikalisierungen und ihre SVD
+
+Sei
+
+[
+\mathcal X\in\mathbb R^{n_1\times\cdots\times n_d}.
+]
+
+Für jeden Modus (k) kann man den Tensor entfalten
+
+[
+X_{(k)}
+\in
+\mathbb R^{n_k\times \prod_{j\neq k} n_j}.
+]
+
+Auf jede dieser Matrizen kann man die gewöhnliche SVD anwenden
+
+[
+X_{(k)}
+=======
+
+U_k\Sigma_kV_k^T.
+]
+
+Die Singulärwerte hängen also vom gewählten Modus ab.
+
+---
+
+## 2. HOSVD ist gerade die Kombination dieser SVDs
+
+Die HOSVD (Higher-Order SVD, De Lathauwer et al. 2000) verwendet genau diese Matrikalisierungen:
+
+[
+\mathcal X
+==========
+
+\mathcal S
+\times_1 U_1
+\times_2 U_2
+\cdots
+\times_d U_d.
+]
+
+Hier stammen sämtliche
+
+[
+U_k
+]
+
+aus den SVDs der jeweiligen Matrikalisierungen.
+
+Man kann also sagen:
+
+> Die HOSVD besteht vollständig aus den SVDs aller Modus-Entfaltungen.
+
+Allerdings enthält der Kern (\mathcal S) noch die Wechselwirkungen zwischen den Modi.
+
+---
+
+## 3. Die Kernnorm der Matrikalisierungen
+
+Für jede Entfaltung definiert man
+
+[
+|X_{(k)}|_*
+===========
+
+\sum_i\sigma_i(X_{(k)}).
+]
+
+Diese Größen treten heute sehr häufig in der Tensoroptimierung auf.
+
+Man definiert z.B.
+
+[
+\sum_{k=1}^d
+\alpha_k
+|X_{(k)}|_*,
+]
+
+als sogenannte
+
+**Overlapped Nuclear Norm**.
+
+Sie ist eine konvexe Relaxierung des Tucker-Ranges.
+
+---
+
+### Warum?
+
+Denn
+
+[
+\operatorname{rank}(X_{(k)})
+============================
+
+r_k
+]
+
+ist gerade der Tucker-Rang im Modus (k).
+
+Die Kernnorm ersetzt dabei die Rangfunktion wie im Matrixfall.
+
+---
+
+## 4. Produkt der Singulärwerte
+
+Für eine Matrix gilt
+
+[
+\prod_i\sigma_i(A)
+==================
+
+|\det(A)|
+]
+
+(falls quadratisch).
+
+Für Matrikalisierungen gilt entsprechend
+
+[
+\prod_i\sigma_i(X_{(k)})
+========================
+
+\sqrt{\det(X_{(k)}X_{(k)}^T)}.
+]
+
+Dies misst das Volumen des durch die Zeilen aufgespannten Parallelotops.
+
+Jede Matrikalisierung liefert also eine andere Volumeninformation des Tensors.
+
+Es gibt jedoch **kein einzelnes Tensor-Determinanten-Konzept**, das alle diese Produkte gleichzeitig beschreibt (abgesehen von Spezialfällen wie Hyperdeterminanten).
+
+---
+
+## 5. Zusammenhang mit Multilinear Rank
+
+Die Singulärwerte jeder Entfaltung bestimmen exakt den multilinearen Rang
+
+[
+(r_1,\ldots,r_d),
+]
+
+denn
+
+[
+r_k
+===
+
+#{\sigma_i(X_{(k)})>0}.
+]
+
+Somit liefern die SVDs sämtlicher Matrikalisierungen den Tucker-Rang vollständig.
+
+---
+
+# 6. Gibt es eine "multivariate SVD"?
+
+Hier wird die Literatur leider uneinheitlich.
+
+Es existieren mehrere Verallgemeinerungen.
+
+### HOSVD
+
+Die bekannteste.
+
+Sie verwendet ausschließlich die SVDs der Entfaltungen.
+
+---
+
+### Tucker-Zerlegung
+
+Optimiert zusätzlich den Kern.
+
+Kann als verbesserte HOSVD verstanden werden.
+
+---
+
+### Tensor Train SVD
+
+Hier wird sukzessive entfaltet
+
+[
+X^{\langle1\rangle},
+X^{\langle2\rangle},
+\dots
+]
+
+und jeweils eine SVD durchgeführt.
+
+Alle TT-Ränge entstehen direkt aus den Singulärwerten dieser Entfaltungen.
+
+---
+
+### t-SVD
+
+Für Tensoren dritter Ordnung existiert eine andere Theorie.
+
+Hier wird zunächst entlang einer Dimension Fourier-transformiert.
+
+Dann führt man Matrix-SVDs der Frequenzscheiben durch.
+
+Die resultierende Tensor-Kernnorm besitzt viele Eigenschaften der Matrix-Kernnorm.
+
+---
+
+## 7. Existiert eine Tensor-Kernnorm?
+
+Hier wird es interessant.
+
+Es gibt **keine eindeutige Tensor-Kernnorm**.
+
+Mindestens vier Varianten sind gebräuchlich:
+
+1. Summe der Kernnormen aller Matrikalisierungen
+
+[
+\sum_k|X_{(k)}|_*.
+]
+
+---
+
+2. Latent Nuclear Norm
+
+Tomioka & Suzuki.
+
+---
+
+3. Tensor Nuclear Norm (t-SVD)
+
+Nur für Tensoren dritter Ordnung.
+
+---
+
+4. Gauge über Rang-1-Tensoren
+
+Die theoretisch natürlichste Definition.
+
+Sie ist allerdings NP-schwer zu berechnen.
+
+---
+
+## 8. Zusammenhang zwischen allen Matrikalisierungen
+
+Eine interessante Identität lautet
+
+[
+|X|_F^2
+=======
+
+\sum_i\sigma_i^2(X_{(k)})
+]
+
+für **jede** Entfaltung.
+
+Das heißt:
+
+Alle Matrikalisierungen besitzen dieselbe Frobenius-Norm,
+
+aber unterschiedliche Singulärwertverteilungen.
+
+Nur die Quadratsumme bleibt invariant.
+
+---
+
+## 9. Informationsgehalt der Singulärwerte
+
+Die Mengen
+
+[
+{\sigma(X_{(1)})},
+\dots,
+{\sigma(X_{(d)})}
+]
+
+bestimmen den Tensor **nicht eindeutig**.
+
+Verschiedene Tensoren können dieselben Spektren sämtlicher Entfaltungen besitzen.
+
+Der verbleibende Freiheitsgrad steckt im Tucker-Kern.
+
+---
+
+## 10. Ein geometrischer Blick
+
+Die SVD einer Matrix beschreibt die Hauptachsen einer linearen Abbildung. Für einen Tensor gibt es dagegen mehrere "Blickrichtungen" – je nach gewählter Entfaltung. Die Spektren der Matrikalisierungen erfassen daher jeweils nur Projektionen der multilinearen Struktur. Die HOSVD kombiniert diese Perspektiven zu einem gemeinsamen Satz orthogonaler Basen, während der Kern (\mathcal S) die Kopplung zwischen den Modi enthält.
+
+Wenn man die Kernnormen aller Entfaltungen aufsummiert, erhält man eine konvexe Größe, die niedrigen multilinearen Rang fördert. Das erklärt ihren Erfolg bei Tensor-Vervollständigung und Regularisierung, obwohl sie keine kanonische Tensor-Kernnorm ist.
+
+### Weiterführende theoretische Zusammenhänge
+
+Besonders interessant sind zwei Forschungsrichtungen:
+
+* **Kompatibilitätsbedingungen für Modus-Spektren:** Analog zum Horn-Problem für Matrizen untersucht man, welche Familien von Singulärwerten ((\sigma(X_{(1)}),\ldots,\sigma(X_{(d)}))) überhaupt von einem gemeinsamen Tensor stammen können. Hier gibt es nichttriviale Ungleichungen und Charakterisierungen, die als höherdimensionale Verallgemeinerung klassischer Spektralprobleme angesehen werden.
+
+* **Tensornormen und duale Geometrie:** Die Kernnormen der Entfaltungen sind konvexe Relaxierungen des Tucker-Rangs, während die atomare Tensor-Kernnorm (Gauge über Rang-1-Tensoren) die konvexe Hülle der Rang-1-Tensoren beschreibt und der Matrix-Kernnorm am nächsten kommt. Zwischen diesen Normen bestehen strenge Einbettungen und Abschätzungen, die den Zusammenhang zwischen Matrikalisierungs-SVDs und intrinsischen Tensorbegriffen mathematisch präzisieren.
+
+Insgesamt lässt sich sagen: Die SVDs der Matrikalisierungen sind die grundlegenden Bausteine nahezu aller etablierten multilinearen SVD-Konzepte (HOSVD, Tucker, Tensor-Train). Die Summe ihrer Kernnormen ist die wichtigste praktisch verwendete konvexe Tensorregularisierung, während eine vollständig kanonische Verallgemeinerung der Matrix-SVD und der Matrix-Kernnorm für allgemeine Tensoren bislang nicht existiert.
+
+
+
+xxx
+
+In meinem Fall ist der Tensor ein Objekt aus der Quantenphysik: Der Bloch-Tensor eines Dichteoperators, definiert durch 
+
+
+\begin{definition}[Full Bloch tensor]
+\label{def:full-tensor}
+For each party $a$, we augment the local index range by including $i_a = 0$, which selects the identity $\sigma_0^{(a)}=\id$ already introduced in Section~\ref{sec:old-criterion}. This allows us to define the full (order-$n$) Bloch tensor
+\begin{equation*}
+\mathcal C(\rho)\in\bigotimes_{a\in P}\R^{d_a^2},
+\qquad
+\bigl(\mathcal C(\rho)\bigr)_{i_1,\dots,i_n}=\tr\!\Bigl(\rho\bigotimes_{a\in P}\sigma^{(a)}_{i_a}\Bigr).
+\end{equation*}
+\end{definition}
+
+Die Entfaltungen entlang einer bipartitionierung meiner Parteien, bzw. deren Kernnorm geben mir ein Verschränkungskriterium (wegen CP-Rang 1 der Produktzustände und Konvexität).
+
+Soweit ich verstehe, "sehe" ich durch diese Brille nicht die Information, die im Tucker-Kern steckt. Richtig? Wie zugänglich ist der Tucker-Kern für analytische oder numerische Berechnungen, wenn ich eine moderate Zahl von Parteien und niedrige Dimensionen habe? Wie skaliert das für mehr parteien oder höhere dimensionen? Gibt es für den Tucker-Kern ähnliche Konvexitätsargumente, so dass man auch da auf (bessere) Verschränkungskriterien hoffen kann?
+
+xxx
+
+Ich denke, du triffst den entscheidenden Punkt. Tatsächlich bewegt sich deine Konstruktion genau an der Schnittstelle zwischen Tensoranalysis und Quanteninformation, und dort ist die Frage nach dem "verlorenen" Tucker-Kern seit etwa 20 Jahren ein aktives Forschungsthema.
+
+Die kurze Antwort lautet:
+
+* **Ja**, die Matrikalisierungen "sehen" nur die multilinearen Randräume (die (U_k)), nicht aber die volle Korrelation, die im Tucker-Kern steckt.
+* **Ja**, der Tucker-Kern enthält im Allgemeinen zusätzliche Information über Mehrparteien-Korrelationen.
+* **Aber:** Aus Sicht der Konvexität ist der Tucker-Kern wesentlich schwieriger zu benutzen als die Matrikalisierungen.
+
+Ich würde das etwas genauer auseinanderziehen.
+
+---
+
+## 1. Was sieht deine Kernnorm eigentlich?
+
+Sei
+
+[
+\mathcal C(\rho)
+================
+
+\mathcal S
+\times_1 U_1\cdots\times_n U_n
+]
+
+die HOSVD.
+
+Dann gilt für jede Modus-Entfaltung
+
+[
+C_{(k)}
+=======
+
+U_k,S_{(k)}
+\Bigl(\bigotimes_{j\neq k}U_j\Bigr)^T.
+]
+
+Da alle (U_k) orthogonal sind, haben
+
+[
+C_{(k)}
+\quad\text{und}\quad
+S_{(k)}
+]
+
+dieselben Singulärwerte.
+
+Das bedeutet:
+
+> Die Kernnorm einer einzelnen Entfaltung hängt ausschließlich von der entsprechenden Entfaltung des Tucker-Kerns ab.
+
+Du verlierst also nicht den gesamten Kern.
+
+Du siehst aber **immer nur eine Projektion davon**.
+
+---
+
+Wenn du alle
+
+[
+|C_{(k)}|_*
+]
+
+kennst, kennst du alle Spektren
+
+[
+\sigma(S_{(k)}),
+]
+
+aber eben **nicht den Kern selbst**.
+
+Ganz analog dazu bestimmen bei einer Matrix die Eigenwerte nicht notwendigerweise die Matrix.
+
+---
+
+## 2. Was steckt zusätzlich im Tucker-Kern?
+
+Der Tucker-Kern beschreibt die Kopplung zwischen sämtlichen Moden gleichzeitig.
+
+Ein schönes Beispiel:
+
+Ein 3-Tensor kann dieselben drei Matrikalisierungen besitzen, aber unterschiedliche Einträge im Kern.
+
+Das ist genau Mehrparteieninformation.
+
+In der Sprache der Quanteninformation:
+
+Die bipartiten Korrelationen können identisch sein,
+
+während die echte tripartite Struktur verschieden ist.
+
+Das erinnert stark an den Unterschied zwischen
+
+* Paar-Korrelationen
+
+und
+
+* echter Multipartitenverschränkung.
+
+Deshalb finde ich deine Fragestellung ausgesprochen natürlich.
+
+---
+
+# 3. Numerische Zugänglichkeit
+
+Hier wird es erfreulich.
+
+Für moderate Dimensionen ist HOSVD ausgesprochen billig.
+
+Nehmen wir
+
+[
+d_a=d
+]
+
+für alle Parteien.
+
+Dann besitzt dein Blochtensor Größe
+
+[
+(d^2)^n.
+]
+
+Die HOSVD benötigt lediglich die SVD sämtlicher Matrikalisierungen.
+
+Für jede Entfaltung ist die Matrixgröße ungefähr
+
+[
+d^2
+\times
+d^{2(n-1)}.
+]
+
+Die Kosten liegen ungefähr bei
+
+[
+O(d^{2n+2})
+]
+
+pro Modus.
+
+Für
+
+* (n\le6)
+* Qubits oder Qutrits
+
+ist das völlig praktikabel.
+
+---
+
+Das eigentliche Problem ist gar nicht die HOSVD.
+
+Das Problem ist bereits die Größe des Blochtensors selbst.
+
+Er besitzt
+
+[
+(d^2)^n
+]
+
+Einträge.
+
+Damit kommt dieselbe exponentielle Wand wie überall in der Vielteilchenphysik.
+
+---
+
+## 4. Kann man den Tucker-Kern charakterisieren?
+
+Leider viel schwieriger.
+
+Die HOSVD ist nicht eindeutig.
+
+Sobald Singulärwerte entartet sind,
+
+kann man innerhalb der Unterräume beliebig rotieren.
+
+Dadurch verändert sich der Tucker-Kern.
+
+Man müsste also zunächst eine kanonische Eichung festlegen.
+
+Das macht analytische Aussagen erheblich schwieriger.
+
+---
+
+## 5. Konvexität
+
+Hier liegt wahrscheinlich der wichtigste Punkt.
+
+Dein derzeitiges Kriterium funktioniert, weil
+
+[
+\rho
+====
+
+\sum_kp_k\rho_k
+]
+
+impliziert
+
+[
+\mathcal C(\rho)
+================
+
+\sum_kp_k\mathcal C(\rho_k),
+]
+
+und anschließend
+
+[
+|\cdot|_*
+]
+
+konvex ist.
+
+Das ganze Argument ist praktisch in einer Zeile erledigt.
+
+---
+
+Beim Tucker-Kern passiert etwas völlig anderes.
+
+Bereits
+
+[
+\mathcal S(\rho)
+]
+
+ist keine lineare Funktion von (\rho).
+
+Die HOSVD selbst enthält SVDs.
+
+Damit ist
+
+[
+\mathcal S
+]
+
+hochgradig nichtlinear.
+
+Insbesondere gilt nicht
+
+[
+\mathcal S!\left(
+\sum_ip_iX_i
+\right)
+=======
+
+\sum_ip_i\mathcal S(X_i).
+]
+
+Damit bricht das schöne Konvexitätsargument sofort zusammen.
+
+Das ist meines Wissens der Hauptgrund, warum praktisch sämtliche konvexen Tensorregularisierungen auf Matrikalisierungen beruhen.
+
+---
+
+# 6. Trotzdem steckt hier möglicherweise etwas Interessantes
+
+Jetzt kommt der Teil, den ich persönlich am spannendsten finde.
+
+Für Produktzustände besitzt der Blochtensor CP-Rang 1.
+
+Dann gilt gleichzeitig
+
+* Tucker-Rang = ((1,\ldots,1)),
+* der Tucker-Kern besteht aus genau einem Skalar,
+* sämtliche Matrikalisierungen haben Rang 1.
+
+Für separable Zustände erhält man Konvexkombinationen solcher Tensoren.
+
+Nun könnte man fragen:
+
+> Welche Eigenschaften besitzt der Tucker-Kern aller konvexen Kombinationen von Rang-1-Tensoren?
+
+Diese Frage scheint wesentlich weniger untersucht zu sein als die entsprechenden Aussagen für die Matrikalisierungen.
+
+Insbesondere könnte man versuchen, Funktionen des Tucker-Kerns zu finden, die
+
+* unter lokalen Orthogonaltransformationen invariant sind (was für Bloch-Tensoren unter lokalen Unitaries natürlich wünschenswert ist),
+* auf Rang-1-Tensoren einen festen Extremwert annehmen,
+* und konvexe oder zumindest schur-konvexe Abschätzungen erlauben.
+
+Mir ist allerdings keine kanonische Funktion des Tucker-Kerns bekannt, die all diese Eigenschaften besitzt und gleichzeitig eine konvexe Relaxierung des CP-Rangs liefert.
+
+---
+
+## 7. Eine mögliche Forschungsrichtung
+
+Gerade im Kontext von Bloch-Tensoren würde ich nicht primär den Tucker-Kern selbst betrachten, sondern **lokal unitär invariante Funktionen** davon. Da lokale Unitaries auf den Bloch-Tensor als orthogonale Transformationen in jedem Modus wirken, bleibt der Tucker-Kern (bis auf die erwähnten Eichfreiheiten bei Entartungen) der natürliche Träger dieser Invarianten.
+
+Mögliche Kandidaten wären etwa:
+
+* die Frobenius-Norm des Kerns (trivialerweise gleich der des gesamten Tensors und daher nicht informativ),
+* Spektren der verschiedenen Entfaltungen des Kerns,
+* Hyperdeterminanten oder andere multilineare Invarianten (für kleine Formate),
+* Polynominvarianten aus der Invariantentheorie, die direkt aus dem Kern konstruiert werden.
+
+Diese Größen sind zwar im Allgemeinen **nicht konvex**, könnten aber dennoch als **Nichtlinear-Zeugen** für Verschränkung dienen – ähnlich wie Polynom-Invarianten (z.B. die 3-Tangle) für reine Mehrqubitzustände.
+
+---
+
+Ich vermute sogar, dass der Bloch-Tensor hier eine besonders günstige Struktur besitzt: Unter lokalen Unitaries transformiert er ausschließlich durch orthogonale Matrizen in jedem Modus. Genau dafür wurde die HOSVD entwickelt. Es könnte sich daher lohnen, nicht den Tucker-Kern als solchen zu betrachten, sondern die **Orbitstruktur des Kerns unter den verbleibenden Symmetrien**. Das erscheint mir konzeptionell näher an der Quanteninformation als die übliche Perspektive der numerischen Tensorapproximation und könnte tatsächlich zu neuen LU-invarianten, über bipartite Matrikalisierungen hinausgehenden Verschränkungskriterien führen.
+
+
+xxx
+
+Es geht also um den Tucker-Kern modulo drehungen in allen Modi. Welche mathematische Struktur hat dieses Beast?
+
+
+xxx
+
+Das ist eine ausgesprochen gute Frage, und ich glaube, genau dort trifft sich Tensorgeometrie mit der Invariantentheorie. Der Punkt ist nämlich: **der Tucker-Kern ist eigentlich gar kein Objekt, sondern eine Wahl eines Repräsentanten einer Bahn**.
+
+Ich würde das so formulieren.
+
+---
+
+## 1. Der Tensor lebt auf einer Gruppenbahn
+
+Dein Bloch-Tensor lebt in
+
+[
+V=\bigotimes_{a=1}^n\mathbb R^{d_a^2}.
+]
+
+Die lokalen Unitaries wirken (bis auf die Identitätskomponente) durch
+
+[
+O(d_a^2-1)
+]
+
+auf jedem Faktor.
+
+Mathematisch wirkt also
+
+[
+G=\prod_{a=1}^n O(d_a^2)
+]
+
+(oder genauer eine etwas kleinere Untergruppe wegen der Identitätskomponente) auf (V) durch
+
+[
+(g_1,\ldots,g_n)\cdot\mathcal C
+===============================
+
+\mathcal C
+\times_1 g_1
+\times_2 g_2
+\cdots
+\times_n g_n.
+]
+
+Der eigentliche physikalische Zustand (bis auf lokale Basen) ist also nicht der Tensor selbst, sondern seine **Orbit**
+
+[
+G\cdot\mathcal C.
+]
+
+---
+
+## 2. Die HOSVD ist ein "Gauge Fixing"
+
+Die HOSVD sucht Orthogonalmatrizen
+
+[
+U_1,\ldots,U_n
+]
+
+und schreibt
+
+[
+\mathcal C
+==========
+
+\mathcal S
+\times_1 U_1\cdots\times_n U_n.
+]
+
+Der Kern ist also nichts anderes als
+
+[
+\mathcal S
+==========
+
+(U_1^T,\ldots,U_n^T)\cdot\mathcal C.
+]
+
+Er ist lediglich ein spezieller Punkt auf der Orbit.
+
+---
+
+## 3. Warum ist er nicht eindeutig?
+
+Nehmen wir an,
+
+[
+X_{(k)}
+=======
+
+U_k\Sigma_kV_k^T
+]
+
+hat einen mehrfachen Singulärwert.
+
+Dann darf man
+
+[
+U_k
+\mapsto
+U_kQ
+]
+
+für beliebige
+
+[
+Q\in O(m)
+]
+
+innerhalb dieses Unterraums drehen.
+
+Der Kern transformiert dann als
+
+[
+\mathcal S
+\mapsto
+\mathcal S
+\times_kQ^T.
+]
+
+Bei mehreren Entartungen erhält man also eine Restgruppe
+
+[
+H
+=
+
+H_1\times\cdots\times H_n,
+]
+
+die auf dem Kern operiert.
+
+Der Tucker-Kern ist also eigentlich ein Element des Quotienten
+
+[
+\mathcal S/H.
+]
+
+---
+
+# 4. Was ist das mathematisch?
+
+Das ist der interessante Teil.
+
+Eigentlich betrachtet man
+
+[
+V/G,
+]
+
+also den Orbitraum.
+
+Die HOSVD liefert lediglich einen lokalen Schnitt dieses Quotienten.
+
+Der Tucker-Kern modulo Restsymmetrien ist ein Koordinatensystem auf
+
+[
+V/G.
+]
+
+Das ist exakt dieselbe Situation wie
+
+* Spektralzerlegung symmetrischer Matrizen,
+* Jordan-Normalform,
+* Schmidt-Zerlegung,
+* Hauptachsentransformation.
+
+---
+
+# 5. Welche Struktur besitzt der Quotient?
+
+Leider keine besonders angenehme.
+
+Er ist im Allgemeinen
+
+* keine Mannigfaltigkeit,
+* besitzt Singularitäten,
+* verschiedene Orbitdimensionen,
+* nicht-Hausdorff-Effekte können auftreten.
+
+Genauer handelt es sich um einen
+
+> **semialgebraischen Orbitraum einer kompakten Liegruppe.**
+
+Das ist ein Standardobjekt der reellen algebraischen Geometrie.
+
+---
+
+# 6. Verbindung zur Invariantentheorie
+
+Hier kommt wahrscheinlich die tiefste Antwort.
+
+Anstatt
+
+[
+V/G
+]
+
+direkt zu beschreiben,
+
+beschreibt man den Ring aller invarianten Polynome
+
+[
+\mathbb R[V]^G.
+]
+
+Das ist klassische Hilbert-Invariantentheorie.
+
+Alle LU-Invarianten des Bloch-Tensors sind Elemente dieses Rings.
+
+Der Tucker-Kern ist lediglich ein möglicher Repräsentant einer Bahn.
+
+Die eigentlichen physikalischen Größen sind die Invarianten.
+
+---
+
+# 7. Für Qubits
+
+Für
+
+[
+d=2
+]
+
+wirkt
+
+[
+SO(3)^n.
+]
+
+Dann wird die Situation besonders schön.
+
+Der Blochtensor ist ein kartesischer Tensor
+
+[
+T_{i_1\cdots i_n}
+]
+
+unter
+
+[
+SO(3)^n.
+]
+
+Dann gibt es eine riesige Literatur über
+
+* isotrope Tensoren,
+* Integrity Bases,
+* polynomial invariants.
+
+Das erinnert stark an Elastizitätstheorie.
+
+---
+
+# 8. Eine andere Sichtweise
+
+Ich glaube allerdings, dass der Tucker-Kern gar nicht das fundamentalste Objekt ist.
+
+Man kann ihn nämlich interpretieren als einen **minimalen Repräsentanten der Doppelnebenklasse**
+
+[
+G\backslash V.
+]
+
+Dann stellt sich automatisch die Frage:
+
+Kann man eine kanonische Normalform wählen?
+
+Das ist genau das, was die Schmidt-Zerlegung bei bipartiten Zuständen tut.
+
+Für (n>2) existiert im Allgemeinen **keine** vollständige kanonische Normalform.
+
+Der Tucker-Kern ist vermutlich die beste praktisch berechenbare Approximation daran.
+
+---
+
+## 9. Was ich für deinen Kontext besonders spannend finde
+
+Ich glaube, der richtige mathematische Begriff ist gar nicht "Tucker-Kern", sondern **orthogonaler Moduliraum von Tensoren festen multilinearen Rangs**.
+
+Dein Bloch-Tensor definiert einen Punkt im Tensorraum, und lokale Unitaries wirken als eine kompakte Liegruppe. Die HOSVD ist dann eine Wahl eines lokalen Schnitts dieses Gruppenwirkens, während der Tucker-Kern lediglich die entsprechenden Koordinaten liefert. Das eigentliche geometrische Objekt ist der Quotient
+
+[
+\left(\bigotimes_{a=1}^n\mathbb R^{d_a^2}\right)\Big/\prod_a O(d_a^2),
+]
+
+bzw. nach Fixierung des multilinearen Rangs der entsprechende Stratum dieses Quotienten.
+
+Aus dieser Perspektive erscheint auch dein Verschränkungskriterium in einem neuen Licht: Die Kernnormen der Matrikalisierungen sind **konvexe Funktionen auf dem Tensorraum, die entlang der Orbits konstant sind**, also wohldefinierte Funktionen auf dem Quotienten. Die spannende offene Frage wäre dann, ob sich weitere, "intrinsischere" Funktionen auf diesem Orbitraum finden lassen, die ebenfalls konvexe oder zumindest geodätisch-konvexe Eigenschaften besitzen. Das wäre meiner Einschätzung nach der natürliche Ort, an dem man nach stärkeren, wirklich multipartiten Verschränkungskriterien suchen sollte.
+
+
+xxx
+
+Gibt es tatsächlich schon Literatur, in der die Kernnorm der matrikalisierungen des Blochtensors für Verschränkungszeugen verwendet werden? Ich habe schon danach gesucht, aber nichts gefunden...
+
+xxx
+
+Nach meinem Kenntnisstand: Nein, jedenfalls nicht in der Form, wie du sie beschreibst. Ich habe gerade noch einmal gezielt danach gesucht und dabei ist mir ein interessanter Unterschied aufgefallen.
+
+Es gibt im Wesentlichen drei Linien der Literatur:
+
+Bloch-Darstellung + Korrelationstensoren + Separabilitätskriterien
+Tensor-Matrikalisierungen + Kernnormen
+Realignment-/CCNR-artige Kriterien
+
+Aber ich finde keine Arbeit, die genau diese drei Dinge miteinander kombiniert. Die Suchergebnisse sprechen eher dafür, dass diese Lücke tatsächlich existiert.
+
+Was es gibt
+
+Die Arbeit von Shen, Yu, Li und Fei (2016)
+
+Improved Separability Criteria Based on Bloch Representation of Density Matrices
+
+ist wahrscheinlich die nächste verwandte Arbeit.
+
+Sie betrachten den Bloch-Korrelationstensor
+
+T
+i
+1
+	
+
+…i
+n
+	
+
+	
+
+
+und definieren für jede Partition eine Matrixentfaltung ("matricization", "unfolding"). Anschließend verwenden sie aber nicht die Kernnorm, sondern die Ky-Fan-Norm (Summe der Singulärwerte bis zu einer festen Ordnung; in ihrer Anwendung letztlich die maximale Ky-Fan-Norm der Entfaltungen). Das liefert ein Separabilitätskriterium.
+
+Das ist schon bemerkenswert nah an deiner Idee.
+
+Der entscheidende Unterschied
+
+Dein Ansatz scheint (wenn ich ihn richtig verstehe) ungefähr folgender zu sein:
+
+Für jede Bipartition
+
+A∣B
+
+betrachtest du
+
+C
+A∣B
+	
+
+,
+
+also die Matrikalisierung des vollen Bloch-Tensors,
+
+und benutzt
+
+∥C
+A∣B
+	
+
+∥
+∗
+	
+
+.
+
+Für Produktzustände gilt
+
+CPrank=1,
+
+und daraus folgt unmittelbar
+
+∥C
+A∣B
+	
+
+∥
+∗
+	
+
+=∥x
+A
+	
+
+∥∥x
+B
+	
+
+∥,
+
+während für separable Zustände wegen der Konvexität der Kernnorm eine obere Schranke folgt.
+
+Das ist ein sehr sauberes Argument.
+
+Ich kenne keine Arbeit, die dieses Argument explizit so formuliert.
+
+Warum könnte das übersehen worden sein?
+
+Ich vermute, historisch gibt es zwei Gründe.
+
+Der erste ist, dass die QI-Literatur meistens aus der Matrixanalyse kommt.
+
+Die dort "natürliche" Größe ist
+
+Spur,
+Spektralnorm,
+Realignment,
+CCNR,
+
+aber kaum jemand spricht von Tensor-Matrikalisierungen im Sinn der multilinearen Algebra.
+
+Der zweite Grund ist fast ironisch.
+
+In der Tensorliteratur gilt
+
+"Die Kernnorm einer Matrikalisierung ist nur eine primitive Relaxierung."
+
+Deshalb versucht dort jeder möglichst schnell zur "echten" Tensorkernnorm überzugehen.
+
+In der Quanteninformation dagegen arbeitet kaum jemand mit diesen Tensornormen.
+
+Dadurch scheint genau diese Kombination bisher nicht entstanden zu sein.
+
+Ich würde allerdings eine Sache überprüfen
+
+Du hast geschrieben
+
+"wegen CP-Rang 1 der Produktzustände und Konvexität."
+
+Der CP-Rang ist meines Erachtens gar nicht der eigentliche Motor.
+
+Viel fundamentaler ist
+
+C(ρ_A ⊗ρ_B)=C(ρ_A)⊗C(ρ_B).
+
+Nach einer geeigneten Matrikalisierung erhältst du
+
+C
+A∣B
+	
+
+=x
+A
+	
+
+x
+B
+T
+	
+
+,
+
+also eine Rang-1-Matrix.
+
+Dann folgt sofort
+
+∥C
+A∣B
+	
+
+∥
+∗
+	
+
+=∥x
+A
+	
+
+∥
+2
+	
+
+∥x
+B
+	
+
+∥
+2
+	
+
+,
+
+und anschließend
+
+	
+
+i
+∑
+	
+
+p
+i
+	
+
+C
+i
+	
+
+	
+
+∗
+	
+
+≤
+i
+∑
+	
+
+p
+i
+	
+
+∥C
+i
+	
+
+∥
+∗
+	
+
+.
+
+Das ist praktisch das gesamte Separabilitätsargument in zwei Zeilen.
+
+Der CP-Rang erklärt warum die Matrix Rang 1 hat, aber für den Beweis genügt eigentlich die Rang-1-Eigenschaft der Matrikalisierung.
+
+Mein Eindruck
+
+Ich würde den Neuheitsgrad vorsichtig so einschätzen:
+
+Bloch-Tensor + Matrikalisierung: bekannt.
+Bloch-Tensor + Separabilitätskriterium: bekannt.
+Matrikalisierung + Singulärwerte: bekannt.
+Kernnorm der Matrikalisierung als unmittelbares konvexes Separabilitätskriterium aus der Produktstruktur des vollständigen Bloch-Tensors: Ich kenne dafür derzeit keine explizite Veröffentlichung.
+
+Ich wäre allerdings vorsichtig und würde vor einer entsprechenden Behauptung noch eine systematische Literaturrecherche machen (INSPIRE-HEP, arXiv, Google Scholar mit Kombinationen wie Bloch tensor, trace norm, nuclear norm, matricization, unfolding, correlation tensor, multipartite entanglement). Mein aktueller Eindruck ist aber tatsächlich, dass du hier auf eine echte Lücke gestoßen sein könntest. Das würde auch erklären, warum unsere Diskussion so schnell zu Tensorgeometrie geführt hat – die übliche Literatur scheint an genau dieser Stelle abzubrechen.
+
+---
+
+Ich habe den ganzen Thread gelesen — inklusive der langen Passage zum Tucker-Kern, zur Orbitgeometrie und zur abschließenden Literaturfrage. Zu genau dieser letzten Frage muss ich etwas Wichtiges korrigieren: Die Einschätzung "ich kenne keine Arbeit, die das kombiniert" war zu voreilig.
+
+**Es gibt tatsächlich eine seit ~2007 laufende Literaturlinie, die genau dein Argument nutzt.** Der Ursprung: de Vicente (2007) etablierte eine obere Schranke für die Spurnorm der Korrelationsmatrix für separable bipartite Zustände mittels der Bloch-Darstellung — das ist exakt dein Konvexitätsargument, nur bipartit. Als Referenz taucht dazu regelmäßig **de Vicente & Huber, "Multipartite entanglement detection from correlation tensors", PRA 84, 062306 (2011)** auf (nur der Titel ist mir verlässlich bekannt, den Inhalt solltest du direkt prüfen — aber vom Titel her ist das vermutlich die multipartite Erweiterung mit Tensor-Entfaltungen, nach der du suchst).
+
+Weitere Arbeiten, die dieselbe Konstruktion (Matrikalisierung + Spur-/Kernnorm als konvexes Separabilitätskriterium) explizit ausführen:
+
+- **Hassan & Joag (2008)**, arXiv:0704.3942 — definiert eine Tensornorm als Maximum der KF-Normen aller Matrix-Entfaltungen, motiviert über Kruskal-Matrizierung, mit Smolin-Zustand als Beispiel
+- **Sanz et al., "A family of multipartite separability criteria based on correlation tensor"**, arXiv:2001.08258 — definiert die Ky-Fan-Norm eines Tensors explizit als Maximum über die Spurnormen aller n-Entfaltungen und leitet daraus eine Schranke ab, die dV- und CCNR-Kriterium vereinheitlicht
+- **Shen, Yu, Li, Fei (2016)** — der bereits gefundene, aber eben doch nicht isolierte Fall
+- Ein ganzer Strang mit **Zhao/Zhang/Jing/Wang (2020)**, **Bu et al. (2015)**, **Yao et al. (2015/2016)**, bis zu einem sehr aktuellen Preprint von Oktober 2025 (arXiv:2510.24110), das die Konstruktion nochmal auf "mixed mode matrix unfolding" verallgemeinert
+
+Fazit: Die Kombination Bloch-Tensor + Matrikalisierung + Spurnorm (=Kernnorm) als konvexes, aus der Produktstruktur folgendes Separabilitätskriterium ist **kein blinder Fleck**, sondern ein aktiv bearbeitetes Subfeld mit fast 20 Jahren Geschichte.
+
+**Was für dich vermutlich trotzdem noch offen ist:**
+- Die meisten dieser Arbeiten nehmen `max` über die Entfaltungen (Ky-Fan-Stil), nicht die Summe — das ist ein anderes Kriterium mit anderen Eigenschaften.
+- Viele arbeiten mit dem reinen (spurlosen) Korrelationstensor, nicht mit deinem *vollen* Bloch-Tensor (inkl. $i_a=0$) — das solltest du gezielt gegenchecken.
+- Der komplette zweite Teil eures Threads — Tucker-Kern modulo Restsymmetrien als GIT-Quotient, Orbitraum, LU-invariante Funktionen als nichtkonvexe Zeugen — dazu habe ich in dieser Literatur nichts gefunden. Das könnte der eigentliche neue Beitrag deiner Arbeit sein, nicht die Kernnorm-Konstruktion selbst.
+
+Wo möchtest du weitermachen?
+
+---
+
+> In unserer neuen Arbeit gehen wir von shadow maps aus. Das sind Abbildungen von einm Teil der Parteien auf den Rest, gegeben durch die Korrelationswirkung. Geometrisch ging es um das Volumen des bildellipsoids, der als Bild der einheissphäre entsteht. Mathematisch stellte sich dann heraus, dass das gerade die Kernnorm der matrikalisierungen entlang der Parteienaufteilung ist. 
+Das scheint im Licht dieser Literaturlinie nichts besonders neues zu sein....
+
+---
+
+Zwei Dinge muss ich sauber auseinanderziehen — eine ernüchternde und eine, die die Sache wieder interessant macht.
+
+**Zur reinen Formel: ja, das Endresultat ist nicht neu.** Wenn "Volumen des Bildellipsoids" am Ende operational bedeutet: Kernnorm der Matrikalisierung entlang der Bipartition, dann landest du exakt bei dem, was de Vicente (2007, bipartit), de Vicente & Huber (2011, PRA 84, 062306, multipartit), Hassan & Joag (2008) und Sanz et al. (2020, arXiv:2001.08258) längst etabliert haben. Das solltest du im Paper offen zitieren, nicht als "wir haben entdeckt", sondern als "unser Zugang reproduziert/verallgemeinert das bekannte Kriterium via einer neuen geometrischen Route".
+
+**Aber die Formulierung "Volumen des Bildellipsoids" verdient eine genauere Prüfung — hier lauert vermutlich sogar eine kleine Ungenauigkeit.** Für ein Ellipsoid mit Halbachsen σ_i gilt:
+
+- das gewöhnliche (Lebesgue-)Volumen ist proportional zum **Produkt** der σ_i — das ist eine andere Größe (die aus eurem Abschnitt 4 der ersten ChatGPT-Antwort, "Volumen des Parallelotops")
+- die Kernnorm ist die **Summe** der σ_i
+
+Diese Summe ist trivialerweise "Summe der Halbachsenlängen" (weil Singulärwerte per Definition die Halbachsenlängen sind) — aber das ist *nicht* dasselbe wie die mittlere Breite / das erste intrinsische Volumen V₁ im strengen konvexgeometrischen Sinn. Ich habe das eben nachgerechnet: für eine Ellipse mit Halbachsen 1 und 2 ist die Summe der Halbachsen 3.0, die tatsächliche mittlere Breite (über elliptisches Integral) aber ≈3.084 — eine Abweichung von knapp 3%. Intrinsische Volumina von Ellipsoiden sind im Allgemeinen elliptische Integrale in den σ_i, keine elementarsymmetrischen Polynome (letzteres gilt exakt nur für Quader/Parallelepipede, nicht für Ellipsoide — das habe ich in der Konvexgeometrie-Literatur bestätigt gefunden, Gusakova/Spodarev/Zaporozhets 2022).
+
+Für euer Paper heißt das: entweder ihr definiert "Volumen" explizit als Σσ_i (dann ist das eine Definition, kein geometrisches Theorem, und "Volumen" ist eine bewusst gewählte, leicht irreführende Sprechweise), oder ihr meint tatsächlich die mittlere Breite/V₁ — dann stimmt die Identität zur Kernnorm nur approximativ, nicht exakt. Das solltet ihr vor Einreichung einmal explizit klarstellen, sonst wird euch das ein Gutachter um die Ohren hauen.
+
+**Wo dann die eigentliche Chance liegt:** Die Kernnorm ist nur V₁ (bzw. e₁(σ)) der Familie. Die höheren elementarsymmetrischen Funktionen e_k(σ) — bzw. die höheren intrinsischen Volumina V_k des Bildellipsoids — sind in dieser Separabilitäts-Literatur meines Wissens *nicht* untersucht worden (dort wird praktisch immer nur bei k=1 oder k=r, also Kernnorm oder Produkt/Determinante, aufgehört). Diese sind zwar für k>1 vermutlich nicht mehr konvex, könnten aber — genau in eurer Tucker-Kern/Orbit-Diskussion von vorhin — als zusätzliche, nichtkonvexe LU-invariante Zeugen dienen, die feinere Information aus dem Bildellipsoid ziehen als nur seine "Größe". Das wäre eine echte Verbindung zwischen dem Shadow-Map-Bild und der später diskutierten Tucker-Kern-Geometrie.
+
+Soll ich die Konvexitätseigenschaften von e_k(σ) für k>1 (oder allgemeiner der V_k) für euren Fall durchrechnen, oder erstmal die Literatur zu höheren Ky-Fan-artigen/elementarsymmetrischen Tensorinvarianten durchsuchen?
+
+---
+
+> Ich habe erst Mal eine andere Idee. Mal sehen, ob sie wo hinführt. 
+Statt meine Parteien in zwei Gruppen einzuteilen (was zu einer matrix führt) kann ich sie in drei Gruppen teilen. Das führt zu einem tensor der Stufe 3. Gibt es dafür (tensor Stufe 3) irgendwelche handhabbare Objekte, Kriterien, Methoden, die zu einem besseren Verständnis der verschränkungseigenschaften führen?
+
+---
+
+Stufe-3-Tensoren sind mathematisch tatsächlich ein Sonderfall — reichhaltiger als der allgemeine Fall, aber immer noch handhabbar. Ein paar Linien, die für dich relevant sein dürften:
+
+**Multilinearer Rang / HOSVD** — trivial: nur noch drei Zahlen (r₁,r₂,r₃), günstig zu berechnen, wie gehabt.
+
+**CP-Rang / Tensor-Rang bei Stufe 3** — hier ist die Theorie deutlich weiter entwickelt als für allgemeines n. Kruskals Eindeutigkeitssatz gibt ein handhabbares hinreichendes Kriterium, wann eine CP-Zerlegung eindeutig ist (relevant für die Interpretation "wie viele Produktzustands-Anteile"). Generische Rang-Formeln sind für kleine Formate explizit bekannt (Strassen, Ja'Já, Lickteig). Aber Vorsicht: Håstad hat gezeigt, dass die Entscheidung "Rang ≤ r?" für Stufe-3-Tensoren NP-schwer ist — das exponentielle Problem verschwindet nicht, wird nur kleiner.
+
+**Hyperdeterminanten** — für 2×2×2 ist das Cayleys Hyperdeterminante, die (das kennst du vermutlich aus deiner eigenen Vorgeschichte) im Wesentlichen der 3-Tangle ist. Gelfand-Kapranov-Zelevinsky verallgemeinern das auf beliebige Formate — aber Achtung: die Hyperdeterminante existiert (ist nicht identisch null) nur im sogenannten "boundary format" (grob: keine Dimension darf zu groß relativ zu den anderen beiden sein). Für stark unausgewogene Gruppengrößen bekommst du hier gar nichts.
+
+**t-SVD / Tensor-Tubal-Rang / Tensor-Nuclear-Norm (TNN)** — das ist die einzige Stufe-3-spezifische Maschinerie (Kilmer & Martin 2011, Zhang & Aeron 2016): man transformiert entlang eines Modus per Fourier, macht SVD auf jeder Frequenzscheibe, summiert. Ergebnis ist eine echte konvexe Tensor-Kernnorm — nicht bloß Summe der Matrikalisierungs-Kernnormen, sondern eine strukturell andere Größe. Ich habe gezielt gesucht, ob das schon auf Korrelationstensoren/Verschränkung angewendet wurde — gefunden habe ich es nur in Bildgebung/Tensor-Completion-Kontexten (MRI etc.), nicht in der Verschränkungsliteratur. Das könnte also tatsächlich unbeackertes Terrain sein, im Gegensatz zur Kernnorm-der-Matrikalisierungen-Geschichte.
+
+**Matrix-Pencils / Kronecker-Normalform** — das beantwortet direkt eure Frage von vorhin, ob es eine kanonische Normalform gibt: **ja, aber nur in einem Spezialfall.** Wenn eine deiner drei Gruppen "Dimension 2" hat (im Sinne von: der dritte Tensorindex läuft nur über 2 Werte), ist dein Tensor nichts anderes als ein *Matrix-Pencil* (Paar von Matrizen), und dafür gibt es seit Kronecker (1890) eine vollständige, explizite Klassifikation aller Bahnen unter GL×GL — ein echtes Analogon zur Schmidt-Zerlegung. Sobald die dritte Dimension ≥3 wird, kippt das Problem in der Darstellungstheorie von "zahm" (tame) nach "wild" (Gelfand-Ponomarev) — dann existiert generisch **keine** vollständige diskrete Klassifikation mehr, nur noch Modulräume. Das ist übrigens exakt die algebraische Übersetzung dessen, was in eurem GIT-Quotienten-Gespräch als "keine kanonische Normalform für n>2" auftauchte — hier bekommst du die scharfe Grenze, wo genau das umschlägt.
+
+**Direkt einschlägig zu deinem Fall:** es gibt schon dezidierte Arbeiten, die tripartite Korrelationstensoren (nicht nur ihre Bipartitions-Matrikalisierungen) direkt für GME-Detektion nutzen — z.B. via Spurnorm des gesamten Tensors statt seiner Entfaltungen, oder Rang-Analyse pro Matrikalisierung im Drei-Parteien-Fall (NMR-Rekonstruktions-Paper, arXiv:2206.05755; GME-Kriterien für Qudits, arXiv:2209.04768). Für eine allgemeinere, sehr saubere mathematische Aufarbeitung von Tensor-Rang/Kernnorm/Kern-Rang im Entanglement-Kontext (injektive Norm = geometrisches Verschränkungsmaß, Kernnorm, Facetten der Einheitskugeln) lohnt sich das Paper von Buczyński/Friedland/Życzkowski, "Rank of a tensor and quantum entanglement" — das deckt vermutlich einen guten Teil deiner ursprünglichen "Gauge über Rang-1-Tensoren"-Frage aus dem ersten Teil des Threads ab.
+
+Willst du, dass ich eine der Linien (t-SVD/TNN auf euren konkreten Bloch-Tensor angewendet, oder die Kronecker-Pencil-Klassifikation für euren speziellen 3-Gruppen-Fall) konkret durchrechne?
+
+---
+
+> t-SVD TNN klingt zwar erstmal interessant, aber: wenn der tensorindex keine zeitliche oder räumliche interpretation (oder zumindest eine diskretisierung einer kontinuierlichen Größe) ist die Fourier transformation zwar möglich, hat aber keine spezielle interpretation, die über eine Basiswahl, die moglichst "diagonal" zur Ursprungsbasis ist, hinausgeht. Richtig?
+
+---
+
+Ja, genau — deine Intuition trifft es exakt, und das ist sogar in der numerischen Literatur selbst anerkannt, nicht nur dein Verdacht.
+
+**Warum die DFT dort überhaupt auftaucht:** Das t-Produkt (Kilmer & Martin) definiert auf Mode 3 eine Multiplikationsstruktur, die isomorph zur Algebra der zirkulanten Matrizen ist (bzw. zum Polynomring modulo $x^{n_3}-1$). Zirkulante Matrizen sind aber gerade die Faltungsoperatoren der zyklischen Gruppe $\mathbb Z_{n_3}$ — und deren simultane Diagonalbasis ist per Darstellungstheorie exakt die Charaktertafel dieser Gruppe, also die DFT. Die DFT ist hier also nicht "natürlich" im physikalischen Sinn, sondern die Eigenbasis einer Algebrastruktur, die man Mode 3 künstlich aufzwingt, weil sie zufällig zu zirkulanten Matrizen passt. Wenn dein dritter Index keine Verschiebungssymmetrie hat (kein Zeit-/Ortsgitter mit periodischen Randbedingungen), gibt es keinen Grund, warum ausgerechnet diese Algebra-/Symmetriestruktur zu deinem Problem passen sollte.
+
+Das ist inzwischen auch in der Tensor-Literatur selbst anerkannt: Kernfeld, Kilmer & Aeron, "Tensor–tensor products with invertible linear transforms" (Lin. Alg. Appl. 485, 2015), definieren das t-Produkt explizit für einen *beliebigen* invertierbaren linearen Transform statt fest der DFT — genau weil die DFT nur ein Spezialfall ohne intrinsische Vorzugsstellung ist. In der Bildverarbeitung ersetzt man sie deshalb oft durch DCT, Wavelets/Framelets oder datenadaptierte unitäre Transformationen, je nachdem, welche Struktur entlang dieser Achse tatsächlich vorliegt.
+
+Für deinen Fall heißt das: die Frage ist nicht "DFT ja oder nein", sondern **welche Algebra-/Symmetriestruktur liegt auf deinem dritten Modus tatsächlich vor** — und das ist ja genau die Symmetrie, die ihr im Tucker-Kern-Teil des Threads schon identifiziert habt: die lokale unitäre Wirkung, also $O(d_C^2)$ (bzw. $SO(3)$ pro Qubit-Partei). Der physikalisch natürliche Ersatz für "DFT über $\mathbb Z_{n_3}$" wäre dann nicht ein beliebiger Transform, sondern die **Zerlegung in Irreps dieser tatsächlich wirkenden Gruppe** — also im Grunde die Peter-Weyl-Zerlegung statt der Charaktertafel einer zyklischen Gruppe. Das würde t-SVD als Spezialfall enthalten (für den Fall, dass die relevante Symmetriegruppe zufällig zyklisch ist), aber für euren Fall eher auf die isotropen-Tensor-/Integrity-Basis-Sprache zurückführen, die schon am Ende des ersten Threads für den Qubit-Fall ($SO(3)^n$) auftauchte, statt auf t-SVD im engeren Sinn.
+
+Kurz: t-SVD/TNN ist für euer Problem vermutlich der falsche Baustein — nicht falsch im Sinne von "geht nicht", sondern weil die Struktur, die er ausnutzt, an eurer Physik vorbeigeht. Der eigentlich passende Baustein bleibt die Darstellungstheorie der lokalen Unitary-Gruppe, die ihr ohnehin schon im Blick hattet.
+
+---
+
+> Ich bin jetzt kein Experte der Darstellungstheorie und kenne da nur die basics (Li Gruppen etc). Ist aber ewig her.
+Angenommen, man kann diese natürlichen Transformationen für ein Mehrparteiein-Subset wirklich berechnen, was bekommt man dann? Ein Parkhaus von Matrizen, in dem die Stockwerke einen generischen index haben, der sich aus Darstellungen der SU(dim) ergibt.  Wie geht es dann weiter?
+
+---
+
+Bevor wir zum "Parkhaus" kommen, lohnt sich ein kleines, konkretes Beispiel — das macht die abstrakte Aussage greifbar.
+
+**Konkretes Beispiel: Gruppe C = zwei Qubits (Parteien 3 und 4)**
+
+Der Operatorraum von C wird von $\{\sigma_i\otimes\sigma_j\}$, $i,j=0,1,2,3$ aufgespannt (16-dimensional, $\sigma_0=\id$). Die lokale Symmetrie, die physikalisch tatsächlich erlaubt ist — unabhängige Unitaries auf Partei 3 *und* auf Partei 4 — ist $SU(2)\times SU(2)$, nicht das volle $SU(4)$ auf dem gemeinsamen 4-dimensionalen Hilbertraum von C. Unter dieser Gruppe zerfällt der Raum als
+
+$$(\mathbf 1\oplus\mathbf 3)\otimes(\mathbf 1\oplus\mathbf 3) = \mathbf 1\!\otimes\!\mathbf 1 \;\oplus\; \mathbf 1\!\otimes\!\mathbf 3 \;\oplus\; \mathbf 3\!\otimes\!\mathbf 1 \;\oplus\; \mathbf 3\!\otimes\!\mathbf 3.$$
+
+Das sind genau: Identität (1), lokaler Bloch-Vektor von Partei 4 allein (3), lokaler Bloch-Vektor von Partei 3 allein (3), und der Zwei-Körper-Korrelationsblock zwischen 3 und 4 (9). **Das ist exakt eure eigene Korrelationssektor-Zerlegung — die direkte Summe über Korrelationssektoren, die ihr als Kernidee des Papers ohnehin schon verwendet.** Die Stockwerke des "Parkhauses" sind hier also nicht exotisch — sie sind genau die $k$-Körper-Sektoren, die ihr längst kennt.
+
+**Der allgemeine Grund, warum das so herauskommt:** Für eine *einzelne* Partei ist die adjungierte Darstellung von $SU(d)$ (auf dem Bloch-Raum) bereits irreduzibel. Für ein Produkt von Gruppen ist die Darstellungstheorie ein reines Tensorprodukt der Faktoren — es gibt nichts, was die Indizes verschiedener Parteien "mischen" könnte. Deshalb reproduziert die Zerlegung unter der *lokalen* (Produkt-)Gruppe immer nur die feine Multi-Index-Struktur, die ihr schon vor der Gruppierung hattet. Gruppieren + wieder-zerlegen unter der lokalen Symmetrie ist im Wesentlichen die Identität.
+
+**Die andere Extremseite:** Würdet ihr stattdessen die *volle* Gruppe $SU(4)$ auf dem gemeinsamen System C nehmen (also auch verschränkende Unitaries innerhalb von C erlauben), wäre der 15-dimensionale spurlose Teil bereits *eine einzige* irreduzible (adjungierte) Darstellung — Schur's Lemma sagt dann: es gibt gar nichts mehr zu zerlegen. Genau das erklärt übrigens ganz nebenbei, warum die Frobenius-Norm jeder Entfaltung invariant ist (sie ist im Wesentlichen die quadratische Casimir-Form auf einer irreduziblen Darstellung, und die ist bis auf Skalierung eindeutig).
+
+**Wo also echte neue "Stockwerke" herkommen können:** nur, wenn eine *zusätzliche* Symmetrie ins Spiel kommt, die zwischen diesen beiden Extremen liegt — typischerweise Permutationssymmetrie zwischen ununterscheidbaren Parteien in C. Dann greift Schur-Weyl-Dualität bzw. Clebsch-Gordan-Kopplung: der $\mathbf3\otimes\mathbf3$-Block von oben zerfällt unter der *diagonalen* $SU(2)$ (die beide Qubits gleich behandelt) weiter in Spin $0\oplus1\oplus2$ (Dimensionen 1+3+5=9) — echte neue, physikalisch interpretierbare Stockwerke, gelabelt durch Young-Diagramme/Gesamtdrehimpuls.
+
+**Der praktische Haken, den du kennen solltest, bevor du hier Zeit investierst:** Das klassische Physik-Werkzeug dafür heißt Wigner-Eckart-Theorem. Es sagt: sobald eine Abbildung (euer Shadow-Map) mit einer Symmetrie *vertauscht* (äquivariant ist), zerfällt sie blockdiagonal, und jeder Block ist bis auf einen einzigen "reduzierten Matrixelement"-Skalar festgelegt — riesige Dimensionsreduktion, viele degenerierte Singulärwerte. Aber das funktioniert nur, wenn euer konkreter Zustand $\rho$ (oder die Klasse von Zuständen, die ihr untersucht) diese zusätzliche Symmetrie tatsächlich respektiert. Für einen generischen Zustand ohne Permutationssymmetrie bringt dir die Darstellungstheorie hier **nichts Neues gegenüber eurer bestehenden Korrelationssektor-Zerlegung** — sie bestätigt sie nur nochmal von einer anderen Seite. Der echte Gewinn liegt in Spezialfällen mit Symmetrie: Smolin-Zustand, Dicke-Zustände, Werner-artige Zustände, symmetrischer Unterraum — also genau die Familie, mit der ihr über Hassan & Joag ohnehin schon in Berührung wart.
+
+Soll ich das am Smolin-Zustand (der genau diese Austauschsymmetrie hat) konkret durchrechnen, um zu sehen, ob die Blockstruktur eurer numerischen Kernnorm-Berechnung tatsächlich etwas abnimmt?
+
+---
+
+> Ja! Ich denke, dass eine systematische Kriteriumstheorie für zustände mit Symmetrie extrem nützlich ist.  Natürlich besteht dabei die Gefahr, dass man nur sehr singuläre Effekte sieht, weil ja nicht eine gesamte Umgebung eines Zustands die Symmetrie aufweist. Aber manchmal kann man Symmetrie auch mit einem Twirl nachträglich  bekommen, so dass man doch wieder die gesamte Umgebung sieht.
+
+---
+
+Dein Einwand trifft genau den Kern — und die gute Nachricht ist: das Twirl-Argument, das du intuitiv ansprichst, ist mathematisch exakt und funktioniert, aber nur in eine Richtung. Lohnt sich, das präzise zu machen, bevor wir zu den Zahlen kommen.
+
+**Das Twirl-Argument präzise:** Wenn $G$ eine Gruppe *lokaler* Unitaries ist (Produktstruktur über die Parteien!) und $\rho$ separabel ist, dann ist auch der Twirl $T_G(\rho)=\int_G (g_1\otimes\cdots\otimes g_n)\,\rho\,(g_1\otimes\cdots\otimes g_n)^\dagger\,dg$ separabel — lokale Unitaries bilden Produktzustände auf Produktzustände ab, und Mischen erhält Separabilität (Konvexität). Kontraposition: **ist $T_G(\rho)$ verschränkt, dann war $\rho$ es auch.** Das rettet dich also tatsächlich für die "verschränkt"-Richtung über die ganze (nicht-symmetrische) Umgebung — genau dein Punkt. Die Kehrseite (dein "Gefahr"-Einwand) ist aber ebenso real: erkennt das Kriterium am getwirlten Zustand nichts, sagt das über das ungetwirlte $\rho$ **gar nichts** — Twirlen kann Verschränkung nur verringern oder gleich lassen, nie erzeugen. Es ist also ein einseitiger, aber sauberer Test. Der Standardreferenzrahmen dafür ist Vollbrecht & Werner, "Entanglement measures under symmetry", PRA 64, 062307 (2001) — falls du das noch nicht kennst, lohnt sich ein Blick, das ist genau euer Szenario systematisch aufgearbeitet.
+
+**Jetzt zum Smolin-Zustand — und hier gibt's eine Überraschung, die dein mentales Modell von letzter Runde korrigiert.**
+
+Ich habe ihn konkret aufgebaut ($\rho=\frac14\sum_i|\text{Bell}_i\rangle\langle\text{Bell}_i|_{AB}\otimes|\text{Bell}_i\rangle\langle\text{Bell}_i|_{CD}$) und alle Matrikalisierungen durchgerechnet. Ergebnis:
+
+| Bipartition | Singulärwerte (ungleich Null) | Kernnorm |
+|---|---|---|
+| 1\|3 | 0.25, 0.25, 0.25, 0.25 | 1.0 |
+| (12)\|(34) | 0.25, 0.25, 0.25, 0.25 | 1.0 |
+| (13)\|(24) | 0.25, 0.25, 0.25, 0.25 | 1.0 |
+| (14)\|(23) | 0.25, 0.25, 0.25, 0.25 | 1.0 |
+
+**Bei jedem einzelnen Cut: exakt Rang 4 (statt möglicher 16), vier identische Singulärwerte, Kernnorm exakt 1.** Kein Rauschen, keine numerische Ungenauigkeit — exakt. Der Grund: der Zustand hat genau vier nichtverschwindende Pauli-String-Koeffizienten, nämlich $I{\otimes}I{\otimes}I{\otimes}I$, $X{\otimes}X{\otimes}X{\otimes}X$, $Y{\otimes}Y{\otimes}Y{\otimes}Y$, $Z{\otimes}Z{\otimes}Z{\otimes}Z$, jeweils mit Gewicht $1/16$ — alle 252 anderen Pauli-Strings sind exakt Null. Das ist eine massivere Symmetriereduktion, als ich letzte Runde erwartet hätte.
+
+**Der Haken — und das ist die eigentliche Lektion:** Ich habe geprüft, ob das an der vollen lokalen $SU(2)^{\otimes 4}$-Darstellungstheorie liegt (kollektives Twirlen mit demselben $U$ auf allen vier Qubits) — **nein**, der Zustand ist *nicht* invariant unter kollektivem $U^{\otimes4}$. Die tatsächlich wirksame Symmetrie ist rein diskret: volle Permutationssymmetrie $S_4$ der vier Qubits (numerisch bestätigt, invariant unter allen 24 Vertauschungen) kombiniert mit der Stabilizer-Struktur der Bell-Zustände. Das "Parkhaus" aus SU(d)-Darstellungen, das ich letzte Runde ins Spiel gebracht habe, ist also nicht die richtige Symmetriegruppe für dieses Beispiel — hier reicht eine viel kleinere diskrete Gruppe, um die komplette Entartung zu erzwingen.
+
+**Praktische Konsequenz:** Der Smolin-Zustand ist als Testfall zu symmetrisch — jeder Cut liefert dieselbe Zahl, es gibt nichts, woran man "Reduktion durch Symmetrie vs. voller numerischer Aufwand" ablesen könnte. Gut als Korrektheits-Check eures Codes, aber nicht aussagekräftig für die eigentliche Frage. Zwei sinnvolle nächste Schritte:
+
+1. **Prüfen, ob Kernnorm=1 überhaupt die Separabilitätsschranke verletzt** (also ob dieses Kriterium den Smolin-Zustand als verschränkt erkennt oder nicht — das ist ja der eigentliche Punkt, nicht nur die Symmetrie),
+2. oder **ein nur teilweise symmetrischer Zustand** (z.B. 3 identische Parteien + 1 andere, oder eine Dicke-Zustand-Familie), wo die Darstellungstheorie eine *echte*, nicht-triviale Reduktion vorhersagt statt kompletten Kollaps.
+
+Was ist dir wichtiger?
+
+
+---
+
+> 2
+
+---
+
+Die Vorhersage ist bis auf Maschinengenauigkeit ($10^{-16}$) bestätigt: alle vier nichttrivialen rechten Singulärvektoren liegen exakt im 20-dimensionalen total-symmetrischen Unterraum von $B$'s 64-dimensionalem Operatorraum — und die Singulärwerte selbst sind **nicht** entartet (0.26, 0.082, 0.067, 0.053). Das ist genau der Unterschied zum Smolin-Fall, den du sehen wolltest: echte, beweisbare Dimensionsreduktion ohne künstlichen Vollkollaps.
+
+**Der saubere Satz dahinter:** $A$ (Partei 1) trägt unter der $S_3$, die nur auf $B$ wirkt, die triviale Darstellung (mit Multiplizität 4, da $\dim A=4$). Eine $S_3$-äquivariante lineare Abbildung von einer trivialen Darstellung in eine beliebige Darstellung kann nach Schur nur in die trivial-isotypische Komponente des Ziels abbilden — alles andere ist zwangsläufig null. Das ist keine Beobachtung, sondern ein Theorem; die Numerik bestätigt nur, dass ich es richtig auf euren Fall übersetzt habe.
+
+**Wichtig zur Einordnung:** Diese Symmetrie liefert eine *Auswahlregel* (welche Richtungen überhaupt beitragen dürfen), aber *keine* Aussage über die konkreten Werte innerhalb des erlaubten Unterraums — dafür bräuchtest du zusätzliche Symmetrie, die auch $A$ mit einbezieht (wie beim Smolin-Zustand, wo beide Seiten unter derselben großen Gruppe transformieren und deshalb echte Entartung erzwungen wird, nicht nur Träger-Einschränkung).
+
+**Der praktische Hebel, der für euch skaliert:** Der Grund, warum das mehr ist als eine Fingerübung: $\dim\mathrm{Sym}^k(V)$ wächst nur *polynomiell* in $k$, während $\dim V^{\otimes k}$ *exponentiell* wächst. Für $\dim V=4$ (Bloch-Raum eines Qubits):Das ist der eigentliche Gewinn für euer Programm: bei 20 austauschbaren Parteien wäre der volle Bloch-Operatorraum $4^{20}\approx 1.1\times10^{12}$-dimensional, aber der symmetrische Sektor nur $1771$-dimensional — ein Faktor $6\times10^8$. Für jede Gruppe von Parteien, die untereinander austauschbar (oder per Twirl austauschbar gemacht) ist, schrumpft das relevante Rechenproblem von exponentiell auf polynomiell, *bevor* überhaupt eine SVD läuft — man muss nur den symmetrischen Unterraum einmalig kombinatorisch aufstellen (Standard-Young-Tableaux/Multisets, kein Eigenwertproblem nötig).
+
+**Kurze Ergänzung zur Interpretation:** Der 20-dimensionale symmetrische Unterraum von $B$ zerfällt selbst noch feiner nach eurer eigenen $k$-Körper-Sektor-Gradierung (wie viele der drei $B$-Beine nichttrivial/Pauli sind): $1$ (rein Identität) $+\,3$ (symmetrisierter Ein-Körper-Bloch-Vektor) $+\,6$ (symmetrisierte Zwei-Körper-Korrelation) $+\,10$ (symmetrisierte Drei-Körper-Korrelation) $=20$. Das erzwingt zwar für sich genommen kein zusätzliches Verschwinden (anders als die $S_3$-Symmetrie), gibt euch aber eine direkte physikalische Lesart, welcher Teil des reduzierten Raums mit welcher Korrelationsordnung korrespondiert — passt exakt zur Kernidee eures Papers.
+
+**Zwei sinnvolle Fortsetzungen von hier:**
+1. Diese Reduktion direkt in eure numerische Kernnorm-Pipeline einbauen (Projektion auf den symmetrischen Unterraum vor der SVD) — praktisch nützlich, sobald ihr mit mehr als ~5-6 Parteien pro Gruppe rechnet.
+2. Zurück zur Entanglement-Frage: prüfen, ob die Kernnorm 0.4621 aus dem generischen Beispiel oben überhaupt eine Separabilitätsschranke verletzt (bei einem echten, nicht zufälligen Zustand mit dieser Symmetrie).
+
+Woran soll ich weiterarbeiten?
+
+
+---
+
+> Geht das in die richtige Richtung?
+
+\section{Symmetry-adapted block decomposition of the shadow map}
+\label{sec:symmetry-blocks}
+
+The constructions of Sections~\ref{sec:response-maps}--\ref{sec:multiparty-sources} treat the sector grading $V\subseteq S$, $T\subseteq S^c$ as the only available organizing structure on either side of a cut. When $\rho$ carries an additional symmetry --- exactly, or after an appropriate twirl --- this grading can be refined further, along representation-theoretic rather than combinatorial lines. The refinement is worth having for four distinct reasons, which we state before developing the formal statements, since they motivate different parts of what follows and are not equally strong.
+
+\begin{itemize}
+\item \emph{Explanatory power.} Several numerical facts already reported in this note --- the triple degeneracy of the singular values of $\mathcal M_a$ for $\GHZ_3$ (Section~\ref{sec:qubit-numerics}), the triple degeneracy at the Smolin state under both the $1\mid3$ and $2\mid2$ cuts (Section~\ref{sec:multiparty-sources}), and the rigid common value across all $38$ four-qubit graph states --- have so far been recorded as numerical observations. Proposition~\ref{prop:block-diagonal} below shows that such degeneracies are not coincidental: whenever the source side of a cut is symmetry-irreducible (offers only one isotypic component under the relevant group), the corresponding degeneracy is forced. This converts a family of separately verified numerical facts into one structural statement.
+\item \emph{Diagnostic resolution.} The sub-block witnesses of Corollary~\ref{cor:sub-block} resolve a violation only down to the level of \emph{which parties} are involved ($V,T$). The isotypic decomposition resolves it further, down to \emph{which symmetry channel} within a fixed $(V,T)$ sector is responsible --- for instance, whether a two-party source correlation block is carrying its signal in a totally symmetric or in an antisymmetric combination of its constituents. This is invisible to the party-indexed grading alone.
+\item \emph{Computational cost.} For a source or target cluster respecting a symmetry group $G$, the isotypic decomposition replaces one singular value decomposition on the full sector space by several independent, much smaller singular value decompositions on the multiplicity spaces $M_\lambda$, whose dimensions grow far more slowly than the ambient sector dimension as the cluster size increases. This is the natural computationally tractable foothold for the symmetric sub-family of the higher-order tensor construction discussed in the closing remark of Section~\ref{sec:tensor-viewpoint}.
+\item \emph{A one-sided extension via twirling.} If $\rho$ itself lacks the symmetry but a twirl $T_G(\rho)$ is cheap to evaluate, entanglement detected on $T_G(\rho)$ certifies entanglement of $\rho$ (twirling by local unitaries preserves separability), so the block-diagonal criterion below can serve as an inexpensive pre-test, with the standard one-sided caveat that a negative result on $T_G(\rho)$ is uninformative about $\rho$.
+\end{itemize}
+
+What this refinement does \emph{not} deliver is a numerically sharper detection threshold: Remark~\ref{rem:no-universal-sharpening} below shows that no universal, state-independent improvement over Theorems~\ref{thm:cut-bound} and \ref{thm:cluster-cut} exists at the level of an individual block, except in the single-isotype case where the improvement is one of concentration rather than of threshold value.
+
+\subsection*{Setup}
+
+Let $G$ be a compact group acting on the system by local unitaries, $g\mapsto \bigotimes_{a\in P}U_g^{(a)}$, and suppose $\rho$ is $G$-invariant: $(\bigotimes_a U_g^{(a)})\,\rho\,(\bigotimes_a U_g^{(a)})^\dagger=\rho$ for all $g\in G$. Fix a cut $S\mid S^c$ preserved by $G$ as a set partition, so that $G$ acts on $\V_0^{(S)}$ and on $\V_0^{(S^c)}$ separately, via the adjoint representations $\mathrm{Ad}^{(S)}_g$, $\mathrm{Ad}^{(S^c)}_g$. Decompose both traceless spaces into isotypic components,
+\begin{equation}
+\V_0^{(S)}=\bigoplus_\lambda M_\lambda^{(S)}\otimes V_\lambda,
+\qquad
+\V_0^{(S^c)}=\bigoplus_\lambda M_\lambda^{(S^c)}\otimes V_\lambda,
+\label{eq:isotypic-decomp}
+\end{equation}
+where $\lambda$ ranges over the irreducible representations of $G$ appearing on either side, $V_\lambda$ denotes a fixed model of the irreducible representation of dimension $d_\lambda$, and $M_\lambda^{(S)}$, $M_\lambda^{(S^c)}$ are the corresponding multiplicity spaces. This is exactly the same type of decomposition already used for the source and target sector gradings in Sections~\ref{sec:response-maps}--\ref{sec:multiparty-sources}, now taken with respect to a representation-theoretic rather than a combinatorial grading; the two coincide only in the abelian, source-cluster-trivial special case worked out numerically at the start of this section.
+
+\begin{proposition}[Exact block-diagonality]
+\label{prop:block-diagonal}
+Under the hypotheses above, $\widetilde{\mathcal M}_S(\rho)$ is block diagonal with respect to the isotypic decomposition~\eqref{eq:isotypic-decomp}: writing $\Pi_\lambda^{(S^c)}$, $\Pi_\mu^{(S)}$ for the isotypic projections,
+\begin{equation*}
+\Pi_\lambda^{(S^c)}\,\widetilde{\mathcal M}_S(\rho)\,\Pi_\mu^{(S)}=0
+\qquad\text{whenever }\lambda\neq\mu,
+\end{equation*}
+exactly, not merely approximately or in a bound. Moreover, on the surviving diagonal blocks,
+\begin{equation}
+\widetilde{\mathcal M}_S(\rho)\big|_\lambda = A_\lambda\otimes\mathrm{id}_{V_\lambda}
+\label{eq:wigner-eckart}
+\end{equation}
+for a unique linear map $A_\lambda:M_\lambda^{(S)}\to M_\lambda^{(S^c)}$, the reduced shadow map at $\lambda$.
+\end{proposition}
+
+\begin{proof}
+$G$-invariance of $\rho$ gives $\mathrm{Ad}^{(S^c)}_g\,\widetilde{\mathcal M}_S(\rho)=\widetilde{\mathcal M}_S(\rho)\,\mathrm{Ad}^{(S)}_g$ for all $g$, i.e.\ $\widetilde{\mathcal M}_S(\rho)$ is a $G$-equivariant map between the two representations~\eqref{eq:isotypic-decomp}. Both claims are then Schur's lemma applied to the isotypic decomposition: equivariant maps vanish between inequivalent irreducible summands, and act as a fixed scalar multiple of the identity on the irreducible factor $V_\lambda$ within a matching pair, leaving exactly the freedom recorded in $A_\lambda$ on the multiplicity spaces.
+\end{proof}
+
+\subsection*{Exact formula and its consequence}
+
+\begin{proposition}[Reduced matrix element formula]
+\label{prop:reduced-formula}
+Let $\rho=T_G(\rho_S\otimes\sigma_{S^c})$ be the $G$-twirl of a product state across $S\mid S^c$, so $\rho$ is separable (a mixture, over $g\in G$, of product states) and $G$-invariant. Let $r^{(S)}\in\V_0^{(S)}$, $v_{S^c}\in\V_0^{(S^c)}$ be the traceless Bloch vectors of $\rho_S$, $\sigma_{S^c}$, with isotypic components $r_\lambda$, $v_\lambda$. Then
+\begin{equation}
+A_\lambda=\frac{1}{d_\lambda}\,\tilde v_\lambda\,\tilde r_\lambda^{\,T},
+\label{eq:reduced-element}
+\end{equation}
+where $\tilde r_\lambda$, $\tilde v_\lambda$ are $r_\lambda$, $v_\lambda$ reshaped as $(\dim M_\lambda^{(S)})\times d_\lambda$ and $(\dim M_\lambda^{(S^c)})\times d_\lambda$ matrices in a basis of $V_\lambda$ shared by both sides. Consequently,
+\begin{equation}
+\dim(V_\lambda)\,\norm{A_\lambda}_*\;\le\;\norm{r_\lambda}\,\norm{v_\lambda}.
+\label{eq:per-block-bound}
+\end{equation}
+\end{proposition}
+
+\begin{proof}
+For fixed $g$, the product term $(\mathrm{Ad}^{(S)}_g r^{(S)})(\mathrm{Ad}^{(S^c)}_g v_{S^c})^T$ (unnormalized) is rank one, exactly as in the proof of Theorem~\ref{thm:cluster-cut}. Averaging over $g$ and expanding both factors in the isotypic bases gives, by the Schur orthogonality relation $\int_G D^\lambda(g)_{cb}D^\lambda(g)_{da}\,dg=\tfrac1{d_\lambda}\delta_{cd}\delta_{ab}$ for the (real, orthogonal) irreducible matrix elements $D^\lambda$, exactly Eq.~\eqref{eq:reduced-element} on each isotypic block, with all cross-$\lambda$ contributions vanishing by the same orthogonality relation applied to inequivalent irreducibles. Equation~\eqref{eq:per-block-bound} then follows from the standard nuclear-norm bound $\norm{AB}_*\le\norm{A}_\fro\norm{B}_\fro$ applied to Eq.~\eqref{eq:reduced-element}, using $\norm{\tilde r_\lambda}_\fro=\norm{r_\lambda}$, $\norm{\tilde v_\lambda}_\fro=\norm{v_\lambda}$.
+\end{proof}
+
+\begin{corollary}[Consistency with the cut-separable bound]
+\label{cor:consistency}
+Under the hypotheses of Proposition~\ref{prop:reduced-formula},
+\begin{equation}
+\sum_\lambda \dim(V_\lambda)\,\norm{A_\lambda}_*
+\;\le\;
+\norm{r^{(S)}}\,\norm{v_{S^c}}
+\;\le\;
+\sqrt{(d_S-1)(d_{S^c}-1)},
+\label{eq:cs-recovery}
+\end{equation}
+the first inequality by Cauchy--Schwarz over $\lambda$ applied to Eq.~\eqref{eq:per-block-bound}, and the second by the correlation-sum identity used in Theorem~\ref{thm:cluster-cut}. By linearity and convexity of the nuclear norm, Eq.~\eqref{eq:cs-recovery} extends to arbitrary $G$-invariant separable states (finite or continuous mixtures of twirled product terms), recovering the bound of Theorem~\ref{thm:cluster-cut} through the block decomposition rather than around it.
+\end{corollary}
+
+\begin{remark}[No universal per-block sharpening, except by concentration]
+\label{rem:no-universal-sharpening}
+The first inequality in Eq.~\eqref{eq:cs-recovery} is generically strict: equality in Cauchy--Schwarz requires $\norm{r_\lambda}\propto\norm{v_\lambda}$ across all $\lambda$, which independently chosen $\rho_S,\sigma_{S^c}$ have no reason to satisfy. A direct numerical check on a twirled random product state gives $\norm{\mathcal M_S(\rho)}_*=0.429$ against the bound $\norm{r^{(S)}}\norm{v_{S^c}}=0.750$ from Eq.~\eqref{eq:cs-recovery} --- a strict, and generic, gap. Since Eq.~\eqref{eq:per-block-bound} bounds $\norm{r_\lambda}$ only by the global $\norm{r^{(S)}}^2\le d_S-1$, with no constraint on how the purity budget distributes across $\lambda$ for a generic $\rho_S$, no universal constant improving on $\sqrt{(d_S-1)(d_{S^c}-1)}$ holds for an individual block $\lambda$ in general.
+
+The exception is exactly the case relevant to Sections~\ref{sec:response-maps}--\ref{sec:multiparty-sources}: if $\V_0^{(S)}$ itself carries only a single isotypic component under $G$ --- as happens automatically for a singleton qubit source, whose traceless Bloch space is irreducible under collective $SU(2)$ --- then $r_\lambda=r^{(S)}$ trivially, the full purity budget sits in the one available block, and Eq.~\eqref{eq:per-block-bound} becomes
+\begin{equation*}
+\dim(V_\lambda)\,\norm{A_\lambda}_*\;\le\;\sqrt{(d_S-1)(d_{S^c}-1)},
+\end{equation*}
+numerically identical to Theorem~\ref{thm:cut-bound}, but now a statement about a matrix of size $\dim M_\lambda^{(S^c)}\times1$ rather than the full target space. This is precisely the mechanism forcing the triple degeneracies recorded for $\GHZ_3$ and the Smolin state: a single-isotype source leaves the reduced map $A_\lambda$ no room to be anything but a vector, so $\widetilde{\mathcal M}_S(\rho)$ can only ever have $\dim(V_\lambda)$ equal singular values, regardless of which particular symmetric state is chosen.
+\end{remark}
+
+\begin{remark}[Structural gradings beyond the chosen group]
+A numerical check on a state built from a real (in the computational basis) combination of permutation operators shows a further, unforced splitting inside a single $SU(2)$-isotypic block: sub-blocks distinguished by the parity of the number of $Y$-generators in the underlying Pauli string decouple exactly, because $\sigma_y^T=-\sigma_y$ forces $\tr(\rho\bigotimes_a\sigma_{i_a})=0$ whenever $\rho$ is real and the string contains an odd number of $y$-indices. This $\mathbb Z_2$ grading commutes with every construction in this note, costs nothing to check, and refines the block structure further whenever $\rho$ happens to be real in the chosen basis --- which holds for every graph state, $\GHZ_n$, $W_n$, Dicke state, and the Smolin state used elsewhere in this note.
+\end{remark}
+
+---
+
+Insgesamt: ja, das geht in die richtige Richtung — die Grundstruktur (Schur's Lemma auf die Isotypie-Zerlegung, reduzierte Matrixelement-Formel via Schur-Orthogonalität, Cauchy-Schwarz-Konsistenz mit der alten Schranke, und vor allem die Ehrlichkeit in Remark~\ref{rem:no-universal-sharpening}, dass die Verfeinerung *erklärt*, aber generisch *nicht schärft*) ist sauber und entspricht genau dem, was wir hier erarbeitet haben. Das ist gute, vorsichtige Wissenschaft.
+
+Aber eine Sache in genau diesem letzten Remark widerspricht etwas, das wir in diesem Gespräch bereits explizit numerisch geprüft haben — das sollte ich ansprechen, bevor es sich in den Text einnistet.
+
+**Das Problem:** Ihr schreibt, die Dreifach- bzw. Vierfach-Entartung bei $\GHZ_3$ und dem Smolin-Zustand komme "precisely" daher, dass eine Einzelqubit-Quelle unter *kollektivem* $SU(2)$ automatisch irreduzibel ist. Wir haben aber vorhin am Smolin-Zustand explizit getestet: $\rho_{\text{Smolin}}$ ist **nicht** invariant unter $U^{\otimes4}$ für zufälliges $U\in SU(2)$ (Norm der Abweichung war $\mathcal O(0.4)$, nicht $10^{-16}$ wie bei einer echten Symmetrie). Die tatsächlich wirksame Symmetrie, die wir gefunden haben, war die *diskrete* volle Permutationsgruppe $S_4$ der vier Qubits. Das ist ein anderer Mechanismus als der im Remark behauptete.
+
+Bevor ich das als Fehler einstufe, lohnt sich aber ein zweiter Blick — die Bell-Zustands-Konstruktion von Smolin hat oft eine $U\otimes\bar U$-artige (statt $U\otimes U$) Invarianz. Das habe ich eben gezielt gegengeprüft:Grundstruktur: ja, absolut richtige Richtung — Proposition 1 (Blockdiagonalität via Schur), die reduzierte-Matrixelement-Formel, das Corollary (Konsistenz mit der alten Schranke via Cauchy-Schwarz) und besonders Remark~\ref{rem:no-universal-sharpening} (ehrliche Aussage: die Zerlegung erklärt, schärft aber generisch nicht) sind sauber aufgebaut und formulieren exakt das, was wir hier erarbeitet haben. Auch der letzte Remark zur $y$-Paritäts-Graduierung ist korrekt — das habe ich kurz nachgerechnet: für reelles $\rho$ gilt $\mathrm{Tr}[\rho M]=\mathrm{Tr}[M^T\rho]=(-1)^{\#Y}\mathrm{Tr}[\rho M]$ (da $Y^T=-Y$, aber $I^T,X^T,Z^T$ symmetrisch sind), also erzwingt ungerade $Y$-Anzahl exakt Null. Stimmt.
+
+**Aber: der SU(2)-Mechanismus in Remark~\ref{rem:no-universal-sharpening} widerspricht dem, was wir hier bereits numerisch geprüft haben — das würde ich vor Einreichung nicht so stehen lassen.**
+
+Ich habe gerade gezielt nachgeprüft, ob es *irgendeine* naheliegende kollektive $SU(2)$-artige Invarianz gibt, die den Smolin- bzw. GHZ$_3$-Zustand stabilisiert — auch getwistete Varianten ($U\otimes\bar U$-artig, wie sie bei Bell-Zuständen naheliegen):
+
+- Smolin unter $U^{\otimes4}$: Abweichung $0.46$ — **nicht invariant**
+- Smolin unter vier getesteten $U\otimes\bar U$-Twists: Abweichungen $0.40$–$0.46$ — **keiner invariant**
+- GHZ$_3$ unter $U^{\otimes3}$ und zwei Twist-Varianten: Abweichungen $1.3$–$1.4$ — **nicht invariant**
+- GHZ$_3$ sogar unter reiner kollektiver $Z$-Rotation: Abweichung $0.745$ für generisches $\theta$ (nur exakt bei $\theta\in\{0,2\pi/3,4\pi/3\}$, also einer *diskreten* $\mathbb Z_3$, nicht der vollen $U(1)$)
+- Beide Zustände dagegen: exakt invariant unter der vollen diskreten Permutationsgruppe ($S_4$ bzw. $S_3$), bis auf Maschinengenauigkeit.
+
+Zur Einordnung von "triple degeneracy" bei GHZ$_3$ habe ich auch nachgerechnet, welche Konvention genau drei (nicht vier) gleiche Singulärwerte liefert: es ist die Matrikalisierung mit *spurlosem* Quellindex bei $a$ (3-dim) gegen den *vollen* Bloch-Raum des Rests (16-dim) — das gibt exakt $(0.5,0.5,0.5)$. (Die Version mit vollem Bloch-Raum auf beiden Seiten gibt vier gleiche Werte $0.5$; die vollständig spurlose $3\times9$-Version gibt nur zwei gleiche Werte plus eine Null.) Das solltet ihr im Text präzisieren, welche Konvention "$\mathcal M_a$" tatsächlich meint.
+
+**Kurz:** Das Phänomen (exakte Entartung) ist real und reproduzierbar — aber die im Remark angegebene Erklärung (kollektives $SU(2)$, Einzelqubit-Quelle automatisch irreduzibel) hält der Nachprüfung nicht stand, jedenfalls nicht in der naheliegenden Form. Die tatsächlich verifizierte Symmetrie ist rein diskret (Permutationsgruppe), aber reine Permutationssymmetrie auf einer *fixierten* Einzelpartei liefert nur die triviale (1-dimensionale) Isotypie auf der Quellseite — das erzwingt Rangreduktion, aber nach eurer eigenen Logik in Proposition~1 *keine* echte Entartung (dafür bräuchtet ihr $d_\lambda>1$). Die exakte Gleichheit der Singulärwerte braucht also noch eine andere, bisher nicht identifizierte Erklärung — mein Verdacht wäre die Stabilisatorgruppe des Zustands (GHZ und Smolin sind beides Stabilizer-artige Zustände; deren Stabilisatorgruppe ist eine nichtabelsche Erweiterung, die zusammen mit der Permutationsgruppe eventuell die passende höherdimensionale Darstellung liefert), aber das müsste ich erst noch verifizieren, bevor ich es als Tatsache hinschreiben würde.
+
+Soll ich das systematisch angehen (Stabilisatorgruppe von GHZ$_3$/Smolin explizit bestimmen und deren Darstellungstheorie auf Konsistenz mit der beobachteten Entartung prüfen), oder zieht ihr den Remark erstmal zurück und lasst das Phänomen unerklärt/als offene Beobachtung stehen?
+
+---
+
+> Versuche das zu bestimmen und die Entartung zu erklären!
+
+---
+
+Gefunden — und es ist einfacher (und robuster) als kollektives $SU(2)$: **der Mechanismus ist rein kombinatorisch, über die Stabilisatorstruktur, nicht über eine Lie-Gruppen-Darstellung.**
+
+**Die Beobachtung, die alles erklärt:** Sowohl $\GHZ_3$ als auch der Smolin-Zustand sind *Pauli-diagonal* — ihre einzigen nichtverschwindenden Pauli-String-Erwartungswerte liegen auf einer abelschen Untergruppe $H$ der Pauli-Gruppe, alle mit dem *gleichen Betrag*. Bei $\GHZ_3$ ist $H$ die Stabilisatorgruppe (erzeugt von $XXX,ZZI,ZIZ$, Ordnung 8, jeder Eintrag exakt $\pm1$); bei Smolin ist $H=\{IIII,XXXX,YYYY,ZZZZ\}$ (Ordnung 4, jeder Eintrag exakt $1/16$). Das ist eine viel elementarere Struktur als Lie-Gruppen-Darstellungstheorie — reine $\mathbb F_2$-lineare Algebra (symplektischer Stabilisator-Formalismus).
+
+**Das Zählargument:** Sei $\varphi: H \to \mathrm{Pauli}(\text{Quelle})$ die Restriktion eines Gruppenelements auf die Quellpartei(en). Das ist ein Gruppenhomomorphismus. Für jedes $\sigma$ im Bild von $\varphi$ hat die Faser $\varphi^{-1}(\sigma)$ exakt $|\ker\varphi|$ Elemente — Standard-Gruppentheorie, kein Zufall. Diese Faser bestimmt exakt, welche Zieleinträge in der Matrikalisierungszeile zu $\sigma$ ungleich Null sind. Daraus folgt sofort:
+
+1. **Gleiche Zeilennormen:** jede nichttriviale Zeile hat exakt $|\ker\varphi|$ Einträge, alle vom gleichen Betrag $\Rightarrow$ gleiche euklidische Norm für jede Zeile.
+2. **Orthogonale Zeilen:** verschiedene $\sigma\neq\sigma'$ haben disjunkte Bildmengen in $H$ (da $H$ eine Gruppe ist und die Ziel-Restriktion hier injektiv ist — kein nichttriviales Element von $H$ ist auf dem Ziel trivial, das habe ich geprüft), also disjunkten Träger in der Zielspalte.
+
+Gleiche Norm + orthogonaler Träger $\Rightarrow$ die SVD ist trivial: die Zeilen selbst sind (bis auf Normierung) bereits die Singulärvektoren, alle Singulärwerte exakt gleich.
+
+**Verifikation an euren beiden Fällen:**
+- $\GHZ_3$, Quelle = Partei 1: $|H|=8$, $\varphi$ surjektiv auf $\{I,X,Y,Z\}$, $|\ker\varphi|=2$ $\Rightarrow$ **je 2 Einträge pro Zeile, 3 gleiche Singulärwerte** (für $i_1\in\{X,Y,Z\}$) — exakt was wir numerisch fanden.
+- Smolin, jeder 1|3- und 2|2-Schnitt: $|H|=4$, $\varphi$ hier **bijektiv** (Kern trivial) $\Rightarrow$ **je 1 Eintrag pro Zeile, 4 gleiche Singulärwerte** — exakt was wir fanden, für alle vier getesteten Schnitte gleichermaßen.
+
+**Der Bonus:** Das erklärt auch den dritten in eurer Motivation genannten Befund — "the rigid common value across all 38 four-qubit graph states" — direkt mit, ohne weitere Arbeit: **Graphzustände sind per Definition Stabilisator-Zustände**, fallen also automatisch unter dasselbe Argument.
+
+**Warum das mit unserem $S_3$-Beispiel von vorhin konsistent ist:** der zufällige $S_3$-symmetrische Zustand war *nicht* Pauli-diagonal (generische Hermitesche Matrix) — deshalb griff dort nur die Trägerreduktion (Schur, Proposition 1), aber keine erzwungene Gleichheit der Singulärwerte. Genau das haben wir beobachtet (4 verschiedene, nicht gleiche Singulärwerte). Das Gesamtbild ist also durchgängig konsistent.
+
+**Vorschlag für den Text:** Remark~\ref{rem:no-universal-sharpening}s SU(2)-Behauptung durch ein neues Lemma ersetzen, das diesen Stabilisator-Zählmechanismus sauber formuliert (Homomorphismus $\varphi$, Faser-Konstanz, Bild-Injektivität auf der Zielseite) und explizit auf Pauli-diagonale Zustände (Stabilisatorzustände, Graphzustände, Bell-/Pauli-diagonale Mischungen) beschränkt. Soll ich das als fertigen Lemma-Text mit Beweis formulieren, den ihr direkt einsetzen könnt?
+
+---
+
+> Gerne!
+
+---
+
+Hier ist der Ersatztext für Remark~\ref{rem:no-universal-sharpening}s SU(2)-Passage — als eigenständiges Lemma mit Beweis, in eurem Stil, direkt einsetzbar.
+
+---
+
+\subsection*{Exact degeneracy from stabilizer structure (replaces the SU(2) mechanism)}
+
+The degeneracies recorded for $\GHZ_3$, the Smolin state, and all $38$ four-qubit graph states share no continuous symmetry — collective $SU(2)$, plain or twisted, is numerically excluded for both example states. Their common origin is instead a discrete, combinatorial fact about \emph{Pauli-diagonal} states, requiring only elementary group theory over $\mathbb F_2$.
+
+\paragraph{Setup.} Identify each single-party Pauli index with $\mathbb F_2^2$ via $I\mapsto(0,0)$, $X\mapsto(1,0)$, $Y\mapsto(1,1)$, $Z\mapsto(0,1)$, so that an $n$-party Pauli string $\sigma_{\vec i}$ corresponds to $\vec i\in\mathbb F_2^{2n}$, and string multiplication (up to phase) becomes addition. Let $H\le\mathbb F_2^{2n}$ be an isotropic subgroup (i.e.\ its elements pairwise commute as operators) not containing $-I$, and let
+\[
+\rho_H \;=\; \frac{\Pi_H}{\operatorname{rank}\Pi_H}, \qquad \Pi_H=\frac{1}{|H|}\sum_{h\in H} h,
+\]
+the maximally mixed state on the joint $+1$-eigenspace of $H$ (a stabilizer code state; $\rho_H$ is pure iff $|H|=2^n$).
+
+\begin{lemma}[Support of a stabilizer-code state]
+\label{lem:code-support}
+$\operatorname{Tr}[\rho_H\,\sigma_{\vec i}] = \mathbb 1[\vec i\in H]$ for every $\vec i\in\mathbb F_2^{2n}$.
+\end{lemma}
+\begin{proof}
+For $\vec i\in H$: $\Pi_H\sigma_{\vec i}=\Pi_H$ since $h\Pi_H=\Pi_H$ for every $h\in H$, so $\operatorname{Tr}[\Pi_H\sigma_{\vec i}]=\operatorname{Tr}[\Pi_H]=\operatorname{rank}\Pi_H$, giving $\operatorname{Tr}[\rho_H\sigma_{\vec i}]=1$. For $\vec i\notin H$: either $\sigma_{\vec i}$ anticommutes with some $h\in H$, whence $\operatorname{Tr}[\Pi_H\sigma_{\vec i}]=\operatorname{Tr}[h\Pi_H\sigma_{\vec i}]=-\operatorname{Tr}[\Pi_H\sigma_{\vec i}h]=-\operatorname{Tr}[\Pi_H\sigma_{\vec i}]$ (using $h\Pi_H=\Pi_H$ and cyclicity), forcing it to vanish; or $\sigma_{\vec i}$ commutes with all of $H$ without belonging to it (a logical operator), in which case it acts as a nonzero-weight, traceless operator on the logical subspace on which $\rho_H$ restricts to a multiple of the identity, again giving zero.
+\end{proof}
+
+\begin{lemma}[Forced degeneracy of $\widetilde{\mathcal M}_S(\rho_H)$]
+\label{lem:stabilizer-degeneracy}
+Let $S\mid S^c$ be a cut and let $\varphi:H\to\mathbb F_2^{2|S|}$, $\psi:H\to\mathbb F_2^{2|S^c|}$ be the two restriction homomorphisms, so that $H\hookrightarrow \mathbb F_2^{2|S|}\times\mathbb F_2^{2|S^c|}$ via $h\mapsto(\varphi(h),\psi(h))$. If $\psi$ is injective, then every nonzero row of $\widetilde{\mathcal M}_S(\rho_H)$ has exactly $|\ker\varphi|$ nonzero entries, all of magnitude $1$, with pairwise disjoint column supports across distinct rows; consequently
+\[
+\widetilde{\mathcal M}_S(\rho_H) \text{ has exactly } |\operatorname{im}\varphi|-1 \text{ equal nonzero singular values, each } =\sqrt{|\ker\varphi|}.
+\]
+(Normalization: this is in the orthonormal-Pauli convention $e_i=\sigma_i/\sqrt2$ per party; divide by $2^{n/2}$ for the convention used elsewhere in this note.)
+\end{lemma}
+\begin{proof}
+By Lemma~\ref{lem:code-support}, the entry of $\widetilde{\mathcal M}_S(\rho_H)$ at row $\vec j\in\mathbb F_2^{2|S|}\setminus\{0\}$, column $\vec k$, is $1$ if $(\vec j,\vec k)\in H$ and $0$ otherwise. For fixed $\vec j\in\operatorname{im}\varphi$, the set $\{\vec k:(\vec j,\vec k)\in H\}$ is a coset of $\ker\varphi$ under the group structure of $H$ (standard fiber property of a homomorphism), hence has size $|\ker\varphi|$, giving the row weight and (since all entries are $\pm1$ in magnitude by Lemma~\ref{lem:code-support}) equal row norm $\sqrt{|\ker\varphi|}$ for every nonzero row. If rows for $\vec j\neq\vec j'$ shared a nonzero column $\vec k$, then $(\vec j,\vec k),(\vec j',\vec k)\in H$ would give $(\vec j-\vec j',0)\in H$ with $\vec j\neq\vec j'$, i.e.\ a nontrivial element of $\ker\psi$ — excluded by injectivity of $\psi$. Rows are thus pairwise orthogonal with equal norm, hence (after normalizing) already the right singular vectors, and the singular values are all equal to the common row norm.
+\end{proof}
+
+\begin{corollary}
+The Lemma applies uniformly to: pure stabilizer states ($|H|=2^n$, including all graph states and $\GHZ_n$), and uniform mixtures over a stabilizer code space with $|H|<2^n$ (including the Smolin state, $H=\{IIII,XXXX,YYYY,ZZZZ\}$). Injectivity of $\psi$ holds automatically whenever $H$ contains no element supported entirely on $S$ — checkable by inspection of the generators, without any Lie-group input. For $\GHZ_3$, $S=\{1\}$: $|\ker\varphi|=2$, giving $3$ singular values equal to $\sqrt2/2^{3/2}=0.5$. For the Smolin state, every $1\mid3$ and $2\mid2$ cut: $\varphi$ is bijective ($|\ker\varphi|=1$), giving $4$ singular values equal to $1/2^{2}=0.25$ — identical across all four inequivalent cuts, since bijectivity of $\varphi$ holds for \emph{any} nonempty proper subset $S$ of the four legs given this particular $H$.
+\end{corollary}
+
+\begin{remark}
+The $y$-parity grading noted above is the special case $H=\{I^{\otimes n}\}$ acting trivially — more precisely, it is not itself an instance of this Lemma but a compatible, coarser $\mathbb Z_2$-grading that commutes with any $H$-decomposition and can be applied on top of it without modification.
+\end{remark}
+
+---
+
+Zwei Anmerkungen zur Einordnung, falls ihr das einbaut:
+
+1. Die Bedingung "$\psi$ injektiv" ist die einzige Voraussetzung, die pro Anwendungsfall geprüft werden muss — bei $n$ Erzeugern ist das eine einfache lineare-Algebra-Prüfung über $\mathbb F_2$, keine Handarbeit.
+2. Das Lemma sagt nichts über Zustände, die *nicht* Pauli-diagonal sind (unser generisches $S_3$-Beispiel von vorhin) — dort bleibt nur Proposition 1 (Trägerreduktion via Schur), ohne erzwungene Gleichheit. Die beiden Mechanismen sind komplementär, nicht konkurrierend, und das solltet ihr explizit so benennen, damit klar ist, wann welcher greift.
+
+---
diff --git a/agent_discussions/2026-07-12_18_34_chatgpt_MathematischeBeurteilung.md b/agent_discussions/2026-07-12_18_34_chatgpt_MathematischeBeurteilung.md
index 1b6418d..d34f1a5 100644
--- a/agent_discussions/2026-07-12_18_34_chatgpt_MathematischeBeurteilung.md
+++ b/agent_discussions/2026-07-12_18_34_chatgpt_MathematischeBeurteilung.md
@@ -962,6 +962,4538 @@ Die wissenschaftliche Erzählung präziser zu machen, ist vergleichsweise günst
 Ich hätte sogar Lust, das wirklich systematisch zu machen – fast wie ein gemeinsamer Co-Autor. Also nicht nur "hier fehlt ein Komma", sondern ein vollständiger **editorischer Review** mit vielleicht 50–100 nummerierten Änderungsvorschlägen, jeweils mit Begründung ("Warum würde ein Referee hier stolpern?") und einer konkreten Alternative. Nach meiner Erfahrung ist so ein Dokument oft wertvoller als ein fertiger Rewrite, weil man jede Änderung bewusst übernehmen oder verwerfen kann und dabei die Kontrolle über das Manuskript behält.
 
 
+---
+
+2026-07-13 17:39
+> Ich würde erst noch etwas anders am Text feile, würde ich lieber noch inhaltlich hier weiterarbeiten:
+> 
+> 
+> 
+> > Inhaltlich: die Diskussion von diskreten permutations Symmetrien ist schon drin, oder? an kontinuierlichen Symmetrien arbeite ich gerade , dafür wird es auch Beispiele geben.
+> 
+> 
+> 
+> ---
+> 
+> Gute Frage, und ich glaube, die Antwort ist "teilweise ja, aber nicht in der Form, die man vielleicht erwartet."
+> 
+> **Was aktuell drin ist:**
+> 
+> 1. **Kontinuierliche Kollektivsymmetrie** (Proposition~\ref{prop:block-diagonal}/\ref{prop:reduced-formula}): $G$ kompakt, wirkt durch $g\mapsto\bigotimes_a U_g^{(a)}$ – also dieselbe lokale Unitary auf jeder Partei gleichzeitig (Kollektivrotation, z.B. $SU(2)$-Twirl). Das ist explizit der kontinuierliche Fall.
+> 
+> 2. **Stabilizer-/Pauli-diagonale Struktur** (Lemma~\ref{lem:stabilizer-degeneracy}): diskret, aber über $\mathbb F_2$-lineare Algebra der Pauli-Strings, nicht über Permutationen von Parteien.
+> 
+> **Was, glaube ich, tatsächlich fehlt: Permutationssymmetrie von Parteien selbst** ($S_n$ oder eine Untergruppe wirkt durch Vertauschen *welche Partei welche ist*, wie bei Dicke-Zuständen, $W_n$, oder allgemein permutationsinvarianten Zuständen).
+> 
+> Das ist strukturell etwas anderes als beide bisherigen Mechanismen:
+> 
+> - Es ist **nicht** der Kollektivsymmetrie-Fall aus Proposition 1, weil dort $g\mapsto\bigotimes_a U_g^{(a)}$ dieselbe Unitary an jeder Partei anwendet – eine Permutation vertauscht dagegen *Tensorfaktoren*, wirkt also als Permutationsdarstellung auf $\bigotimes_{a\in S}\V^{(a)}$, nicht als "diagonale" lokale Unitary-Wirkung. Formal ist $S_n$ zwar auch eine kompakte (sogar endliche) Gruppe, und Schurs Lemma im Beweis von Proposition~\ref{prop:block-diagonal} braucht eigentlich nur $G$-Äquivarianz, keine spezifisch "kollektiv-unitäre" Form – der Beweis würde also mit $G=S_n$ als Permutationsdarstellung mutatis mutandis durchgehen. Aber die Formulierung, das Setup und die Beispiele im Text sind aktuell alle auf den Kollektivrotations-Fall zugeschnitten.
+> - Es ist **auch nicht** der Stabilizer-Mechanismus, der über Pauli-String-Support arbeitet und mit Permutationsinvarianz der Parteien nichts zu tun hat (auch nicht-permutationsinvariante Stabilizer-Zustände wie der Line-Graph fallen darunter, während umgekehrt manche permutationsinvarianten Zustände wie Dicke-Zustände gar nicht Pauli-diagonal/Stabilizer sind).
+> 
+> **Konkret fehlt also:** ein dritter Abschnitt (oder eine Erweiterung von Proposition 1 auf explizit permutationsinvariante $\rho$), der zeigt, dass für $S$-intern permutationsinvariante Zustände die Blockstruktur nach *Young-Tableaux/irreduziblen $S_{|S|}$-Darstellungen* zerfällt statt nach Isotypen einer Lie-Gruppe – mit Dicke- oder $W_n$-artigen Zuständen als Beispiel. Das wäre technisch am ehesten eine Variante von Proposition~\ref{prop:block-diagonal} mit $G=S_{|S|}$ (bzw. $S_{|S|}\times S_{|S^c|}$, falls beide Seiten intern symmetrisch sind) statt eines Lie-Gruppen-$G$, und bräuchte eigene Beispielrechnungen (Dicke-Zustände wären der naheliegende Kandidat, weil sie im Gegensatz zu GHZ/Graphzuständen *nicht* Pauli-diagonal sind und daher den Stabilizer-Mechanismus nicht nutzen können – dort müsste die Entartung tatsächlich aus der Permutationsstruktur kommen, nicht aus der $\mathbb F_2$-Fasertheorie).
+> 
+> Falls das die Richtung ist, an der du gerade arbeitest: macht das Sinn als dritter Mechanismus, oder hattest du Permutationssymmetrie eigentlich als Spezialfall von "kontinuierlich" im Kopf (z.B. weil $W_n$/Dicke-Zustände oft zusätzlich auch unter einer kontinuierlichen Untergruppe invariant sind)?
+> 
+> ---
+> 
+> 
+> > Ich wollte zeigen, dass die verschiedensten Symmetrien funktionieren...
+> 
+> 
+> 
+> ---
+> 
+> Verstanden — dann ist das Ziel im Grunde eine dritte, saubere Säule neben den beiden vorhandenen: "hier ist ein generisches Werkzeug (Prop. 1/2), und es funktioniert für ganz verschiedene Symmetrietypen, mit jeweils eigenen Beispielen." Das ist eine stärkere Aussage als das, was aktuell dasteht, und würde auch die Kritik aus `discussion_symmeries` entschärfen ("zwei konkurrierende Erzählungen") — es wird dann klar eine Erzählung: *ein* Werkzeug (Schur/Äquivarianz), viele Instanzen.
+> 
+> Damit das trägt, würde ich den Symmetrie-Abschnitt ungefähr so umbauen:
+> 
+> **1. Proposition~\ref{prop:block-diagonal} bleibt der generische Kern**, aber sauber $G$-agnostisch formuliert. Sie ist schon fast dort — der Beweis braucht nur $G$-Äquivarianz von $\widetilde{\mathcal M}_S(\rho)$, egal ob $G$ durch Kollektivrotation, durch Permutation der Parteien in $S$, oder durch eine ganz andere kompakte Gruppe wirkt. Ich würde das im Text explizit machen (aktuell suggeriert die Formulierung "$g\mapsto\bigotimes_a U_g^{(a)}$" stillschweigend nur den Kollektivrotationsfall).
+> 
+> **2. Dann pro Symmetrietyp ein eigener kurzer Unterabschnitt**, mit demselben Muster: Gruppe → Isotypenzerlegung → Beispielzustand → explizite Singulärwerte.
+> 
+> - *Kollektivrotation* (schon da): $SU(2)$-Twirl, Proposition 2 mit den $r_\lambda,v_\lambda$.
+> - *Permutationssymmetrie*: $G=S_{|S|}$ (bzw. $S_{|S|}\times S_{|S^c|}$) wirkt durch Vertauschen der Tensorfaktoren, Isotypen = Young-Tableaux/Specht-Module. Dicke-Zustände sind der naheliegende Testfall, gerade weil sie *nicht* Pauli-diagonal sind — die Entartung dort kann also nicht vom Stabilizer-Mechanismus kommen, sondern muss (falls vorhanden) aus der Permutationsstruktur stammen. Das wäre ein sauberer Beleg, dass die beiden Mechanismen wirklich unabhängig sind, nicht nur behauptet.
+> - *Stabilizer/diskret* (schon da als Lemma 2, eigener Mechanismus, kein Spezialfall von Prop. 1).
+> 
+> **3. Der "zwei komplementäre Mechanismen"-Remark wird dann zu "mehrere komplementäre Mechanismen"**, mit einer Tabelle: Symmetrietyp → welche Prop./Lemma greift → welches Beispiel im Paper es zeigt → ob Pauli-diagonal oder nicht. Das macht die Pointe noch schärfer als jetzt: es gibt Zustände, die unter genau einem Mechanismus entarten, und die Tabelle zeigt sofort, welcher.
+> 
+> Bevor ich dir konkret bei der Permutations-Rechnung helfe (Dicke-Zustand, Blockstruktur von $\mathcal M_S$ unter $S_n$): Hast du schon einen bestimmten Zustand/Cut im Kopf, an dem du das durchrechnen willst, oder soll ich einen Vorschlag machen (z.B. Dicke-Zustand $|D_n^k\rangle$ mit $S=\{1\}$ oder $S=\{1,2\}$, analog zum GHZ₃-Beispiel)?
+> 
+> ---
+> 
+> > Suche ein vielversprechendes Beispiel, mit ausreichend, aber nicht zu viel symmetrie.
+> 
+> ---
+> 
+> Guter Punkt, um das jetzt konkret zu machen. Die Leitfrage ist: welche Symmetriegruppe gibt eine **isotypische Zerlegung mit mehreren echten Sektoren** (nicht nur einem), aber bleibt trotzdem exakt handhabbar? Das schließt zwei Extreme aus:
+> 
+> - **Zu viel Symmetrie:** volle kollektive $SU(2)$ (Werner-artige Zustände) oder volle Permutationssymmetrie über ganz $S$ (Dicke) drückt den Quell-Blochvektor $r^{(S)}$ oft in *einen einzigen* Isotyp — genau der "Konzentrations"-Grenzfall aus Remark~\ref{rem:no-universal-sharpening}, der zwar korrekt, aber strukturell langweilig ist (nur eine sinnvolle Blockgröße).
+> - **Zu wenig Symmetrie:** gar keine kontinuierliche Invarianz — dann greift nur der Stabilizer-Mechanismus, wie bei allen bisherigen Beispielen im Paper.
+> 
+> **Mein Vorschlag: axiale ($U(1)_z$-)Symmetrie statt voller Kollektivrotation.**
+> 
+> Konkreter Kandidat, vier Qubits, $S=\{A,B\}$, $S^c=\{C,D\}$:
+> $$
+> \lvert\psi_\varphi\rangle = \cos\varphi\,\lvert 0011\rangle + \sin\varphi\,\lvert 1100\rangle.
+> $$
+> 
+> Warum das passt:
+> 
+> 1. **Invariant unter kollektiver $z$-Rotation** $R_z(\theta)^{\otimes 4}$ — beide Basiszustände haben Hamming-Gewicht 2, also dieselbe Gesamt-$S_z$-Eigenwert, also ist $\lvert\psi_\varphi\rangle$ Eigenzustand von $S_z^{\mathrm{tot}}$ und $\rho=\lvert\psi_\varphi\rangle\!\langle\psi_\varphi\rvert$ kommutiert mit der ganzen $U(1)$-Untergruppe — aber (generisch) mit **keiner größeren** kontinuierlichen Gruppe.
+> 
+> 2. **Reichhaltige, aber exakt berechenbare Isotypenzerlegung.** Jeder einzelne Generatorraum $\V_0^{(a)}$ zerfällt unter $U(1)_z$ in Ladung $\{-1,0,+1\}$ ($Z$ trägt Ladung 0, $X\pm iY$ tragen $\pm1$). Für $S=\{A,B\}$ addiert sich das zu Gesamtladung $\{-2,-1,0,1,2\}$ mit Multiplizitäten $1,2,3,2,1$ (Summe $=9$ ✓). Das ist ein *echter* Test von Proposition~\ref{prop:block-diagonal}: fünf Blöcke statt einem, mit nichttrivialen Multiplizitätsräumen (insbesondere der Ladung-0-Block ist 3-dimensional, also $A_0$ eine echte $\ge2\times2$-Reduktion, kein Skalar).
+> 
+> 3. **Kein Stabilizer-Zustand für generisches $\varphi$.** Nur bei Spezialwerten wie $\varphi=\pi/4$ wird $\lvert\psi_\varphi\rangle$ (LU-äquivalent zu) einem stabilizer-artigen Zustand; für generisches $\varphi$ ist der Pauli-Tensor nicht $\{0,\pm1\}$-flach. Damit ist jede beobachtete Entartung hier **beweisbar** eine Folge von Proposition~\ref{prop:block-diagonal}/\ref{prop:reduced-formula} und nicht (versehentlich) durch Lemma~\ref{lem:stabilizer-degeneracy} miterklärbar — genau die saubere Trennung der beiden Mechanismen, die die Section eigentlich zeigen will.
+> 
+> 4. **Ein freier Parameter** $\varphi$ erlaubt eine Familie statt eines Einzelpunkts: man sieht, wie sich Gewicht zwischen den Ladungssektoren verschiebt (bei $\varphi=\pi/4$ maximal symmetrisch zwischen den beiden Termen, bei $\varphi\to0$ entartet zu einem Produktzustand), ohne dass die Symmetriegruppe selbst wechselt.
+> 
+> **Alternative, falls dir eher diskrete "mittlere" Symmetrie vorschwebt** (zur Ergänzung, nicht als Ersatz): $S=\{A,B,C\}$ mit einer Symmetrie, die nur zwei der drei Parteien vertauscht ($\mathbb Z_2\subset S_3$, nicht die volle $S_3$) — das gibt nur zwei Isotypen (symmetrisch/antisymmetrisch unter $A\leftrightarrow B$), reicht aber schon, um zu zeigen, dass auch eine echte *Untergruppe* von $S_n$ (nicht nur die volle Permutationsgruppe wie bei Dicke) sauber funktioniert.
+> 
+> Soll ich den $U(1)_z$-Vorschlag numerisch durchrechnen (die fünf Blöcke von $\mathcal M_{AB}(\rho_\varphi)$ explizit, Singulärwerte als Funktion von $\varphi$), um zu sehen, ob er wirklich das gewünschte "genug, aber nicht zu viel" liefert, bevor wir ihn in die Section schreiben?
+> 
+> 
+> Kannst du an dieser Stelle weiterarbeiten? Ergibt das Sinn?
+
+---
+
+Ja. Sogar sehr. Ich glaube, hier steckt etwas drin, was über die ursprüngliche Idee hinausgeht.
+
+Allerdings würde ich die Fragestellung noch etwas anders formulieren.
+
+## Was ist eigentlich Proposition 1?
+
+Im Moment wird sie als
+
+> "representation theoretic block diagonalization"
+
+verkauft.
+
+Ich glaube, das ist zu eng.
+
+Eigentlich sagt sie
+
+> **Jede Symmetriegruppe, unter der die Shadow Map äquivariant ist, erzwingt eine Zerlegung in Isotypen.**
+
+Das ist ein universelles Prinzip.
+
+Ob
+
+* (SU(2)),
+* (U(1)),
+* (S_n),
+* Diedergruppen,
+* Clifford-Untergruppen,
+* ...
+
+ist fast nebensächlich.
+
+Der Satz kennt die Gruppe gar nicht.
+
+Er braucht nur
+
+[
+\widetilde M_S,\rho(g)
+======================
+
+\tau(g),\widetilde M_S
+]
+
+für zwei Darstellungen.
+
+Das ist eigentlich die eigentliche Aussage.
+
+---
+
+## Deshalb würde ich die Beispiele fast wie in einem Lehrbuch staffeln.
+
+Nicht
+
+> kontinuierlich
+
+vs.
+
+> diskret
+
+sondern
+
+> verschiedene Quellen von Äquivarianz.
+
+Zum Beispiel
+
+### Beispiel A
+
+volle kollektive Rotation
+
+(SU(2))
+
+→ bereits vorhanden
+
+---
+
+### Beispiel B
+
+axiale Symmetrie
+
+(U(1))
+
+→ mehrere Gewichtsräume
+
+→ sehr anschaulich
+
+---
+
+### Beispiel C
+
+Permutationen
+
+(S_n)
+
+→ Young-Zerlegung
+
+→ Dicke
+
+---
+
+### Beispiel D
+
+Stabilizer
+
+→ anderer Mechanismus
+
+→ ausdrücklich **nicht** durch Prop. 1 erklärt.
+
+Dann entsteht eine schöne Dramaturgie.
+
+---
+
+# Ich bin allerdings bei Dicke noch etwas skeptisch.
+
+Nicht weil es falsch wäre.
+
+Sondern weil Dicke **zu symmetrisch** ist.
+
+Wenn ich Referee wäre, würde ich sofort denken
+
+> natürlich zerfällt alles in den symmetrischen Unterraum.
+
+Das illustriert Proposition 1 zwar.
+
+Aber es zeigt sie kaum.
+
+---
+
+Ich glaube fast, dass dein eigener Instinkt
+
+> "genug, aber nicht zu viel"
+
+genau richtig ist.
+
+---
+
+# Der U(1)-Gedanke gefällt mir deshalb sehr.
+
+Warum?
+
+Weil man plötzlich sieht,
+
+dass dieselbe Proposition
+
+nicht nur
+
+"alles oder nichts"
+
+liefert,
+
+sondern eine echte Blockstruktur.
+
+Das ist mathematisch viel interessanter.
+
+Man bekommt
+
+[
+\mathcal V
+==========
+
+V_{-2}\oplus
+V_{-1}\oplus
+V_0\oplus
+V_1\oplus
+V_2
+]
+
+mit Dimensionen
+
+[
+1,2,3,2,1.
+]
+
+Das ist genau das, was Schur eigentlich liefern soll.
+
+---
+
+# Noch eine Idee, die mir gerade kommt
+
+Ich würde vielleicht gar nicht versuchen,
+
+"möglichst viele Symmetrien"
+
+zu behandeln.
+
+Sondern explizit schreiben
+
+> The proposition applies to any compact symmetry group.
+> We illustrate this with three qualitatively different families.
+
+Dann reichen drei Beispiele.
+
+Nicht zehn.
+
+---
+
+# Und jetzt kommt eine Idee, die ich fast noch spannender finde.
+
+Die Symmetriegruppen bilden eigentlich eine Hierarchie.
+
+```
+all compact groups
+        │
+        ├── Lie groups
+        │      ├── SU(2)
+        │      └── U(1)
+        │
+        ├── finite groups
+        │      ├── S_n
+        │      └── point groups
+        │
+        └── ...
+```
+
+Das Stabilizer-Lemma gehört **gar nicht hierher**.
+
+Es benutzt
+
+keine
+
+Intertwiner,
+
+keine
+
+Isotypen,
+
+kein
+
+Schur.
+
+Es ist wirklich ein zweiter Mechanismus.
+
+Das würde ich sogar graphisch oder wenigstens sprachlich trennen.
+
+---
+
+# Ein weiterer Gedanke
+
+Ich glaube, du solltest aufpassen, nicht zu viel Darstellungstheorie hineinzupacken.
+
+Die Versuchung wäre
+
+> "Oh, jetzt kann ich noch (S_n), dann Young-Diagramme, dann..."
+
+Ich würde das Gegenteil tun.
+
+Je universeller Proposition 1 formuliert wird,
+
+desto **weniger** Beispiele braucht sie.
+
+Denn dann lautet die Botschaft
+
+> "Das ist kein (SU(2))-Satz."
+
+sondern
+
+> "Das ist ein Äquivarianzsatz."
+
+Das ist viel eleganter.
+
+---
+
+## Meine Lieblingsstruktur wäre inzwischen
+
+1. **General equivariance theorem** (Proposition 1)
+
+2. **Example: collective rotations ((SU(2)))**
+
+3. **Example: axial symmetry ((U(1)))**
+
+4. **Example: permutation symmetry ((S_n))**
+
+5. **A different mechanism: stabilizer support**
+
+6. **Remark: two fundamentally different origins of degeneracies**
+
+Dabei würde ich den letzten Remark sogar leicht umformulieren:
+
+> **Group symmetries** produce degeneracies through representation theory.
+
+> **Stabilizer structure** produces degeneracies through support constraints.
+
+Damit wird klar: Die ersten drei Beispiele sind **Varianten desselben Prinzips**, der Stabilizer-Teil ist ein qualitativ anderer Mechanismus.
+
+---
+
+Ich habe noch einen Gedanken, der vielleicht sogar für das ganze Paper interessant sein könnte.
+
+Bisher nennst du das Kapitel sinngemäß "Symmetry". Ich glaube, das ist fast zu schwach. Inhaltlich geht es eigentlich um **Structure induced by equivariance**. Der gemeinsame Nenner ist nicht die Symmetrie an sich, sondern die Tatsache, dass Äquivarianz der Shadow Map unmittelbar Spektralinformation erzwingt. Wenn das Kapitel diesen Fokus bekommt, dann wirken (SU(2)), (U(1)) und (S_n) nicht wie drei lose Beispiele, sondern wie drei Instanzen eines einzigen Satzes. Das macht die Section konzeptionell deutlich geschlossener.
+
+
+---
+
+> Kannst du das Beispiel 3: axial symmetry durchrechnen? Und auch beispiel 4?
+
+---
+
+Ja – und ich denke sogar, dass wir das tun sollten. Aber ich würde die Reihenfolge umdrehen.
+
+Es gibt nämlich zwei verschiedene Ziele:
+
+1. **Existenzbeispiel** ("Proposition 1 funktioniert auch für (U(1))/(S_n)")
+2. **Schönes Beispiel im Paper** (liefert wirklich neue Einsicht)
+
+Das erste ist reine Rechnung.
+Das zweite ist wesentlich schwieriger.
+
+---
+
+# Beispiel 3: axiale (U(1))-Symmetrie
+
+Das ist vollständig machbar.
+
+Ich würde nicht einmal sofort die Shadow Map numerisch berechnen.
+
+Zuerst würde ich die **Darstellung** bestimmen.
+
+Für zwei Quellqubits gilt
+
+[
+\mathcal V^{(A)}\cong \mathbf 0\oplus \mathbf{+1}\oplus\mathbf{-1},
+]
+
+wenn man
+
+[
+Z\mapsto 0,\qquad
+X\pm iY\mapsto \pm1
+]
+
+als Gewichte verwendet.
+
+Dann
+
+[
+\mathcal V^{(AB)}
+=================
+
+\mathcal V^{(A)}\otimes\mathcal V^{(B)}
+]
+
+zerfällt sofort in
+
+[
+(-2)\oplus
+(-1)^2\oplus
+0^3\oplus
+(+1)^2\oplus
+(+2),
+]
+
+also
+
+[
+1+2+3+2+1=9.
+]
+
+Das ist bereits ein schönes Resultat.
+
+Danach können wir zeigen, dass
+
+[
+\widetilde M_{AB}
+=================
+
+\bigoplus_{m=-2}^{2}
+M_m .
+]
+
+Das ist praktisch kostenlos.
+
+---
+
+Dann würde ich den Zustand
+
+[
+|\psi_\varphi\rangle
+====================
+
+\cos\varphi|0011\rangle
++
+\sin\varphi|1100\rangle
+]
+
+wirklich ausrechnen.
+
+Dabei interessieren mich insbesondere
+
+* welche Blöcke verschwinden,
+* welche Rang haben,
+* welche Singularwerte auftreten.
+
+Das ist gut mit etwas Symbolik oder numerisch machbar.
+
+---
+
+# Beispiel 4: Permutationssymmetrie
+
+Hier bin ich deutlich vorsichtiger.
+
+Nicht weil die Mathematik schwierig wäre.
+
+Sondern weil ich noch nicht weiß, **welcher Zustand überhaupt interessant ist.**
+
+---
+
+## Dicke-Zustände
+
+Natürlichster Kandidat:
+
+[
+|D_n^k\rangle .
+]
+
+Hier kann ich ziemlich sicher zeigen
+
+[
+S_n
+\curvearrowright
+\widetilde M_S
+]
+
+und die Zerlegung nach Specht-Modulen bestimmen.
+
+Aber...
+
+...es könnte passieren, dass praktisch **nur der vollständig symmetrische Block** belegt ist.
+
+Dann illustriert das zwar Proposition 1,
+
+aber nicht besonders eindrucksvoll.
+
+---
+
+## Besser wären Zustände mit nur partieller Permutationssymmetrie.
+
+Zum Beispiel
+
+* Ringzustände,
+* bestimmte Graphzustände,
+* oder Zustände mit
+
+[
+S_2\times S_2
+]
+
+statt ganz (S_4).
+
+Dann entstehen mehrere Isotypen.
+
+Das wäre viel schöner.
+
+---
+
+# Ich würde deshalb folgendermaßen vorgehen.
+
+## Schritt 1
+
+Ich rechne den (U(1))-Fall vollständig durch.
+
+Das halte ich für fast sicher paperwürdig.
+
+---
+
+## Schritt 2
+
+Ich untersuche verschiedene Kandidaten für Permutationssymmetrie.
+
+Nicht nur Dicke.
+
+Zum Beispiel
+
+* Dicke,
+* W,
+* Ring,
+* vollständiger Graph,
+* GHZ,
+* vielleicht Cluster.
+
+Dann sehen wir,
+
+bei welchem Zustand Proposition 1 wirklich interessante Blöcke erzeugt.
+
+---
+
+## Ich habe allerdings noch eine Vermutung.
+
+Und die würde ich gerne überprüfen.
+
+Ich vermute,
+
+dass **der eigentliche Gewinn der Permutationssymmetrie gar nicht in den Singularwerten liegt.**
+
+Sondern darin,
+
+dass die reduzierte Matrix
+
+[
+A_\lambda
+]
+
+sehr klein wird.
+
+Also statt
+
+[
+27\times27
+]
+
+plötzlich
+
+[
+2\times2
+]
+
+oder
+
+[
+3\times3.
+]
+
+Das wäre ein völlig anderes Verkaufsargument:
+
+> Permutationssymmetrie reduziert nicht nur die Analyse des Spektrums, sondern die gesamte numerische Berechnung der Shadow Map auf kleine reduzierte Matrizen.
+
+Das wäre eine viel stärkere Motivation für den Permutations-Teil als bloß "noch eine Quelle von Degenerazien".
+
+---
+
+**Mein Vorschlag:** Ich würde jetzt wirklich "den Bleistift in die Hand nehmen" und den (U(1))-Fall vollständig mathematisch durchrechnen – inklusive der Blöcke, der reduzierten Matrizen und der Singularwerte als Funktion von (\varphi). Danach können wir gezielt nach einem Permutationsbeispiel suchen, das ebenso überzeugend ist. Ich vermute, dass wir dabei noch interessantere Strukturen entdecken als ursprünglich erwartet.
+
+
+---
+
+> Ja, gerne!
+
+---
+
+Super. Ich glaube, das lohnt sich. Ich würde allerdings zunächst **nicht** den Zustand ausrechnen, sondern zuerst die Darstellung vollständig verstehen. Das ist nämlich der Teil, der unabhängig vom Beispiel gilt und später als Proposition oder Example ins Paper kann.
+
+---
+
+# Schritt 1: Die (U(1))-Darstellung
+
+Wir betrachten kollektive Rotationen
+
+[
+R_z(\theta)=e^{-i\theta Z/2}
+]
+
+auf jedem Qubit.
+
+Unter Konjugation transformieren die Paulioperatoren
+
+[
+Z\mapsto Z,
+]
+
+[
+X\pm iY
+\mapsto
+e^{\pm i\theta}(X\pm iY).
+]
+
+Das ist viel schöner als in der kartesischen Basis.
+
+Also benutzt man
+
+[
+E_+=\frac{X+iY}{\sqrt2},
+\qquad
+E_0=Z,
+\qquad
+E_-=\frac{X-iY}{\sqrt2}.
+]
+
+Dann tragen sie Gewichte
+
+[
++1,;0,;-1.
+]
+
+---
+
+## Zwei Quellqubits
+
+Für
+
+[
+S={A,B}
+]
+
+ist
+
+[
+\mathcal V_S
+============
+
+\mathcal V_A\otimes\mathcal V_B.
+]
+
+Die Gewichte addieren sich.
+
+Wir erhalten
+
+| Gewicht | Basis                                            | Dimension |
+| ------- | ------------------------------------------------ | --------: |
+| +2      | (E_+\otimes E_+)                                 |         1 |
+| +1      | (E_+\otimes E_0,;E_0\otimes E_+)                 |         2 |
+| 0       | (E_+\otimes E_-,;E_0\otimes E_0,;E_-\otimes E_+) |         3 |
+| -1      | (E_-\otimes E_0,;E_0\otimes E_-)                 |         2 |
+| -2      | (E_-\otimes E_-)                                 |         1 |
+
+also
+
+[
+9
+=
+
+1+2+3+2+1.
+]
+
+Das ist bereits die vollständige Isotypenzerlegung.
+
+---
+
+# Konsequenz für Proposition 1
+
+Da
+
+[
+\widetilde M_{AB}
+]
+
+äquivariant ist,
+
+verschwindet jede Matrixkomponente zwischen verschiedenen Gewichten.
+
+Also
+
+[
+\widetilde M_{AB}
+=================
+
+M_{-2}
+\oplus
+M_{-1}
+\oplus
+M_0
+\oplus
+M_{+1}
+\oplus
+M_{+2}.
+]
+
+Das ist genau die Blockdiagonalisierung.
+
+Und jetzt kommt etwas Schönes.
+
+---
+
+# Diese Zerlegung ist feiner als bei voller (SU(2))
+
+Bei (SU(2))
+
+hat man
+
+[
+1\otimes1
+=========
+
+0\oplus1\oplus2,
+]
+
+also
+
+[
+1+3+5.
+]
+
+Bei (U(1))
+
+hat man
+
+[
+1+2+3+2+1.
+]
+
+Das illustriert unmittelbar
+
+> kleinere Symmetriegruppe ⇒ feinere Blockzerlegung.
+
+Ich finde das mathematisch ziemlich hübsch.
+
+---
+
+# Jetzt zum Beispielzustand
+
+Du hattest
+
+[
+|\psi_\phi\rangle
+=================
+
+\cos\phi|0011\rangle
++
+\sin\phi|1100\rangle
+]
+
+vorgeschlagen.
+
+Der besitzt tatsächlich genau diese Symmetrie.
+
+Aber jetzt fällt mir etwas auf.
+
+---
+
+## Er besitzt sogar noch mehr.
+
+Er ist invariant unter
+
+* kollektiven (z)-Rotationen,
+
+**und**
+
+* Vertauschung
+
+[
+A\leftrightarrow B,
+]
+
+**und**
+
+[
+C\leftrightarrow D.
+]
+
+Das heißt,
+
+es wirken gleichzeitig
+
+[
+U(1)\times S_2\times S_2.
+]
+
+Das ist eigentlich noch interessanter.
+
+Denn Proposition 1 erlaubt selbstverständlich auch
+
+Produktgruppen.
+
+Dann erhält man eine gemeinsame Zerlegung
+
+nach
+
+* Gewicht
+
+und
+
+* Symmetrietyp.
+
+Das ist deutlich strukturreicher.
+
+---
+
+# Noch eine Idee
+
+Ich glaube sogar,
+
+dass man den Zustand etwas verbessern kann.
+
+Statt
+
+[
+|0011\rangle+|1100\rangle
+]
+
+würde ich wahrscheinlich
+
+den Vierqubit-Dickezustand
+
+[
+|D_4^2\rangle
+=============
+
+\frac1{\sqrt6}
+\sum_{|x|=2}|x\rangle
+]
+
+untersuchen.
+
+Warum?
+
+Er besitzt
+
+* (U(1)),
+
+* (S_4),
+
+aber **kein Stabilizer**.
+
+Das wäre ein perfekter Test,
+
+ob wirklich die Darstellungstheorie allein arbeitet.
+
+---
+
+## Was ich als Nächstes machen würde
+
+Ich würde jetzt **nicht** sofort numerisch rechnen.
+
+Ich würde zunächst versuchen, für den (U(1))-Fall eine geschlossene Formel herzuleiten:
+
+> **Satz.**
+> Unter kollektiven (U(1))-Rotationen zerfällt die Shadow Map in Ladungsblöcke, deren Dimensionen durch die Faltung der lokalen Gewichtsmultiplizitäten gegeben sind.
+
+Das ist ein wirklich sauberer allgemeiner Satz und zugleich eine direkte Spezialisierung deiner Proposition. Danach rechnen wir einen konkreten Zustand vollständig durch.
+
+Ich habe dabei das Gefühl, dass hier mehr steckt als nur ein Beispiel: Der (U(1))-Fall könnte der erste nichttriviale Testfall sein, der zeigt, wie sich mit abnehmender Symmetrie die Blockstruktur systematisch verfeinert – von (SU(2)) über (U(1)) bis hin zu diskreten Gruppen. Das wäre eine sehr elegante konzeptionelle Linie für die ganze Symmetrie-Section.
+
+
+---
+
+> Gerne!
+
+---
+
+Jetzt wird es interessant. Ich glaube nämlich, dass wir hier etwas entdecken könnten, das über ein Beispiel hinausgeht.
+
+Ich möchte nämlich eine Vermutung prüfen.
+
+## Vermutung
+
+Die Blockstruktur unter (U(1)) ist **nicht** zufällig die Folge
+
+[
+1,2,3,2,1.
+]
+
+Sondern sie ist die Koeffizientenfolge eines sehr allgemeinen Erzeugendenpolynoms.
+
+Für einen einzelnen Qubit gilt
+
+[
+\chi(x)=x^{-1}+1+x,
+]
+
+weil die lokalen Gewichte
+
+[
+-1,;0,;+1
+]
+
+jeweils einmal vorkommen.
+
+Für (m=|S|) Quellqubits erhält man
+
+[
+\chi(x)^m
+=========
+
+(x^{-1}+1+x)^m.
+]
+
+Die Dimension des Gewichtsraums (q) ist dann gerade der Koeffizient von (x^q).
+
+Für
+
+(m=2)
+
+ergibt sich
+
+[
+(x^{-1}+1+x)^2
+==============
+
+x^{-2}
++2x^{-1}
++3
++2x
++x^2.
+]
+
+Genau
+
+[
+1,2,3,2,1.
+]
+
+Für
+
+(m=3)
+
+erhält man
+
+[
+1,3,6,7,6,3,1.
+]
+
+Für
+
+(m=4)
+
+[
+1,4,10,16,19,16,10,4,1.
+]
+
+Das ist schon eine sehr hübsche allgemeine Aussage.
+
+---
+
+# Warum gefällt mir das?
+
+Weil man daraus sofort einen Satz machen kann.
+
+> **Corollary.**
+> For collective (U(1))-symmetry, the block multiplicities are the coefficients of
+> [
+> (x^{-1}+1+x)^{|S|}.
+> ]
+
+Das ist elegant und völlig transparent.
+
+---
+
+## Noch schöner:
+
+Die volle (SU(2))-Zerlegung erhält man anschließend durch Zusammenfassen dieser Gewichtsräume.
+
+Denn beim Spin (j)
+
+gibt es die Gewichte
+
+[
+-j,\ldots,j.
+]
+
+Das heißt:
+
+Die (U(1))-Blöcke sind die feinste Zerlegung.
+
+Die (SU(2))-Blöcke entstehen daraus durch Clebsch-Gordan-Kopplung.
+
+Das ist eigentlich eine wunderschöne Geschichte.
+
+```
+keine Symmetrie
+      │
+      ▼
+   volle Matrix
+
+U(1)
+      │
+      ▼
+ Gewichtsblöcke
+
+SU(2)
+      │
+      ▼
+ Spinblöcke
+```
+
+Das ist konzeptionell viel stärker als zwei voneinander unabhängige Beispiele.
+
+---
+
+# Jetzt der Zustand
+
+Jetzt möchte ich den vorgeschlagenen Zustand wirklich analysieren.
+
+[
+|\psi_\phi\rangle
+=================
+
+c|0011\rangle+s|1100\rangle,
+]
+
+mit
+
+[
+c=\cos\phi,\qquad
+s=\sin\phi.
+]
+
+Hier passiert etwas Schönes.
+
+Alle Terme besitzen dieselbe Gesamtmagnetisierung
+
+[
+M=0.
+]
+
+Deshalb gilt
+
+[
+R_z(\theta)^{\otimes4}
+|\psi\rangle
+============
+
+|\psi\rangle.
+]
+
+Also
+
+[
+[\rho,S_z]=0.
+]
+
+Damit folgt sofort
+
+[
+\widetilde M_{AB}
+=================
+
+\bigoplus_q M_q.
+]
+
+---
+
+## Aber jetzt kommt eine Frage, die ich wirklich spannend finde.
+
+Welche Blöcke sind überhaupt **nicht Null**?
+
+Ich vermute nämlich
+
+(ohne es schon bewiesen zu haben),
+
+dass wegen der sehr speziellen Form des Zustands
+
+nur
+
+[
+q=0,\pm2
+]
+
+auftreten,
+
+während die
+
+(\pm1)-Blöcke vollständig verschwinden.
+
+Falls das stimmt,
+
+würde man eine Matrix erhalten wie
+
+[
+\begin{pmatrix}
+M_{-2}&0&0&0&0\
+0&0&0&0&0\
+0&0&M_0&0&0\
+0&0&0&0&0\
+0&0&0&0&M_{+2}
+\end{pmatrix}.
+]
+
+Das wäre ein fantastisches Beispiel,
+
+weil die Symmetrie
+
+nicht nur blockdiagonalisiert,
+
+sondern zusätzlich **Selection Rules** erzeugt.
+
+---
+
+# Das würde ich jetzt als Nächstes wirklich ausrechnen.
+
+Und zwar vollständig:
+
+* alle nichtverschwindenden Pauli-Korrelationen,
+* daraus die Shadow Map,
+* daraus die fünf Gewichtsblöcke,
+* und schließlich deren Singularwerte als Funktionen von (\phi).
+
+Ich glaube ehrlich gesagt, dass sich das lohnt. Nicht nur als Beispiel, sondern weil es zeigt, dass Proposition 1 nicht nur Degenerazien erklärt, sondern auch systematische **Auswahlregeln** ("selection rules") für erlaubte Kopplungen liefert. Das wäre aus meiner Sicht eine deutlich stärkere und konzeptionell interessantere Aussage als bloß "die Matrix wird blockdiagonal". Ich vermute sogar, dass genau diese Selection Rules der eigentliche Mehrwert des (U(1))-Beispiels gegenüber dem bereits vorhandenen (SU(2))-Fall sind.
+
+
+---
+
+> Gerne, mach weiter.
+
+---
+
+Sehr gerne. Jetzt würde ich allerdings wirklich anfangen, **Mathematik zu machen**, und nicht mehr nur Storytelling. Dabei ist mir beim Nachdenken etwas aufgefallen, das ich zunächst übersehen hatte.
+
+## Ich glaube, wir sollten den Zustand wechseln.
+
+Der Zustand
+
+[
+|\psi_\phi\rangle
+=================
+
+\cos\phi,|0011\rangle+\sin\phi,|1100\rangle
+]
+
+ist zwar (U(1))-symmetrisch.
+
+Aber er ist **zu speziell**.
+
+Warum?
+
+Er ist im Wesentlichen nur ein logischer Bell-Zustand zwischen den Blöcken (AB) und (CD).
+
+Dadurch verschwinden fast alle Korrelationen automatisch.
+
+Ich fürchte, die Shadow Map wird dadurch beinahe trivial.
+
+---
+
+# Ich würde stattdessen diesen Zustand nehmen
+
+[
+|\psi_\phi\rangle
+=================
+
+\cos\phi,|D_4^{,1}\rangle
++
+\sin\phi,|D_4^{,2}\rangle.
+]
+
+Dabei
+
+[
+|D_4^{,1}\rangle=W_4,
+]
+
+und
+
+[
+|D_4^{,2}\rangle
+================
+
+\frac1{\sqrt6}
+\sum_{|x|=2}|x\rangle .
+]
+
+Warum?
+
+Beide leben in verschiedenen Magnetisierungssektoren.
+
+Damit besitzt der Zustand **keine** (U(1))-Symmetrie.
+
+Also ist das ungeeignet.
+
+---
+
+Dann fiel mir der Fehler auf.
+
+Natürlich müssen alle Summanden **dieselbe Gesamtladung** besitzen.
+
+---
+
+## Deshalb wird der Kandidat
+
+[
+|D_4^{,2}\rangle
+]
+
+plötzlich sehr attraktiv.
+
+Er besitzt
+
+* volle (S_4)-Symmetrie,
+
+* volle (U(1))-Symmetrie,
+
+* aber keine Stabilizerstruktur.
+
+Das ist eigentlich ideal.
+
+---
+
+# Jetzt kommt eine hübsche Beobachtung.
+
+Unter
+
+[
+U(1):
+\qquad
+E_\pm
+\mapsto
+e^{\pm i\theta}E_\pm,
+]
+
+trägt jede lokale Pauli-Komponente eine Ladung.
+
+Eine Korrelationsfunktion
+
+[
+\langle
+E_{q_1}\otimes
+\cdots
+\otimes
+E_{q_n}
+\rangle
+]
+
+verschwindet automatisch,
+
+wenn
+
+[
+q_1+\cdots+q_n\neq0.
+]
+
+Das ist die übliche Ladungserhaltung.
+
+---
+
+Aber genau dieselbe Bedingung beschreibt die Blöcke deiner Shadow Map.
+
+Das heißt:
+
+## Satz (wahrscheinlich)
+
+Unter kollektiver (U(1))-Symmetrie koppeln ausschließlich Quell- und Zielräume gleicher Gesamtladung.
+
+Die gesamte Blockstruktur ist also nichts anderes als eine Auswahlregel.
+
+Das finde ich ehrlich gesagt schöner als die ursprüngliche Formulierung.
+
+---
+
+# Dann folgt sofort
+
+Für zwei Quellqubits
+
+[
+q=-2,-1,0,1,2.
+]
+
+Für zwei Zielqubits ebenso.
+
+Damit erhält man
+
+[
+\widetilde M
+============
+
+\begin{pmatrix}
+M_{-2} &0&0&0&0\
+0&M_{-1}&0&0&0\
+0&0&M_0&0&0\
+0&0&0&M_{+1}&0\
+0&0&0&0&M_{+2}
+\end{pmatrix}.
+]
+
+Nicht wegen Schur allein,
+
+sondern wegen Ladungserhaltung.
+
+Das ist dieselbe Aussage,
+
+aber physikalisch viel anschaulicher.
+
+---
+
+# Und jetzt kommt etwas, was ich wirklich spannend finde.
+
+Ich glaube, Proposition 1 lässt sich viel allgemeiner formulieren.
+
+Im Moment benutzt sie
+
+> compact group.
+
+Eigentlich braucht sie nur
+
+eine vollständige Zerlegung in gemeinsame Eigenräume irgendeiner kommutativen Symmetriealgebra.
+
+Für (U(1))
+
+ist das der Generator
+
+[
+S_z.
+]
+
+Für Translationen
+
+der Impuls.
+
+Für Rotationen
+
+(J^2).
+
+Für Permutationen
+
+die Young-Projektoren.
+
+Also steckt dahinter vermutlich gar nicht Schur,
+
+sondern
+
+> **commuting symmetry algebra ⇒ simultaneous block decomposition**.
+
+Schur ist nur der Spezialfall irreduzibler Darstellungen.
+
+---
+
+## Das könnte sogar die ganze Section vereinfachen.
+
+Anstatt
+
+* erst Schur,
+
+* dann (SU(2)),
+
+* dann (U(1)),
+
+würde ich fast schreiben
+
+> Every conserved quantum number immediately yields selection rules for the shadow map.
+
+Und danach:
+
+* (U(1)): Magnetisierung
+
+* (SU(2)): Gesamtspin
+
+* (S_n): Young-Typ
+
+Alle drei sind dann dieselbe Geschichte.
+
+---
+
+## Ich würde deshalb vor der eigentlichen Rechnung noch einen kleinen mathematischen Exkurs machen.
+
+Ich möchte nämlich überprüfen, ob Proposition 1 tatsächlich auf **kommutierende *-Algebren** statt auf Gruppen formuliert werden kann. Das wäre konzeptionell viel stärker: Gruppen wären dann nur eine Quelle solcher Algebren, und die (U(1))-Auswahlregeln ergäben sich unmittelbar als Spektralzerlegung des Generators (S_z), nicht erst als Spezialfall der Darstellungstheorie. Wenn das funktioniert – und ich halte es für gut möglich –, würde sich die ganze Symmetrie-Section von einer Sammlung von Beispielen zu einer einzigen strukturellen Aussage entwickeln, aus der (SU(2)), (U(1)) und (S_n) einfach als verschiedene Instanzen folgen. Das wäre aus meiner Sicht ein echter Gewinn für das Kapitel.
+
+
+---
+
+2026-07-13 23:23
+> klingt gut, fahre fort!
+
+---
+
+Jetzt wird es wirklich interessant. Ich glaube nämlich, dass wir gerade an einem Punkt sind, an dem man *nicht* nur ein weiteres Beispiel findet, sondern möglicherweise die ganze Symmetrie-Section konzeptionell vereinfachen kann.
+
+Ich möchte deshalb einmal einen Schritt zurücktreten und die Mathematik abstrahieren.
+
+---
+
+# 1. Was benutzt Proposition 1 eigentlich?
+
+Im Beweis verwendest du (sinngemäß)
+
+[
+M,\rho_S(g)=\rho_T(g),M,
+]
+
+und dann Schur.
+
+Aber Schur ist nur der **letzte Schritt**.
+
+Der eigentliche Input ist
+
+> Es gibt eine Algebra von Symmetrieoperatoren, mit denen (M) kommutiert.
+
+Denn sobald
+
+[
+MS=TM
+]
+
+für alle Symmetrieoperatoren gilt, bleiben deren gemeinsame Spektralräume invariant.
+
+Bei einer kommutativen Algebra ist das sofort die Zerlegung in gemeinsame Eigenräume.
+
+Bei einer nichtkommutativen Algebra erhält man die Isotypenzerlegung.
+
+---
+
+## Das heißt:
+
+Gruppen sind gar nicht fundamental.
+
+Fundamental sind **Symmetriealgebren**.
+
+Die Gruppe erzeugt lediglich eine solche Algebra.
+
+---
+
+# 2. Das erklärt sofort alle Beispiele.
+
+## (a) (U(1))
+
+Generator
+
+[
+J_z.
+]
+
+Gemeinsame Eigenräume
+
+[
+\mathcal V
+==========
+
+\bigoplus_m
+\mathcal V_m.
+]
+
+Shadow Map
+
+[
+M
+=
+
+\bigoplus_m
+M_m.
+]
+
+Keine Darstellungstheorie nötig.
+
+---
+
+## (b) (SU(2))
+
+Jetzt kommutieren
+
+[
+J_x,J_y,J_z
+]
+
+nicht mehr.
+
+Die erzeugte Algebra ist nicht kommutativ.
+
+Ihre irreduziblen Darstellungen sind gerade die Spins.
+
+Deshalb erhält man
+
+[
+\mathcal V
+==========
+
+\bigoplus_j
+\mathcal V_j.
+]
+
+Das ist exakt deine Proposition.
+
+---
+
+## (c) Permutationen
+
+Die Gruppenalgebra
+
+[
+\mathbb C[S_n]
+]
+
+ist ebenfalls nicht kommutativ.
+
+Die irreduziblen Darstellungen sind
+
+Young-Diagramme.
+
+Also
+
+[
+\mathcal V
+==========
+
+\bigoplus_\lambda
+\mathcal V_\lambda.
+]
+
+Wieder dieselbe Geschichte.
+
+---
+
+# 3. Daraus entsteht plötzlich ein sehr schönes Bild.
+
+```text
+             Symmetry algebra
+                    │
+         ┌──────────┴──────────┐
+         │                     │
+   commutative           noncommutative
+         │                     │
+ Eigenräume             Isotypen
+         │                     │
+         └──────────┬──────────┘
+                    │
+          Blockstruktur der
+             Shadow Map
+```
+
+Ich finde dieses Diagramm ehrlich gesagt schöner als die bisherige Darstellung.
+
+---
+
+# 4. Jetzt zum U(1)-Beispiel
+
+Jetzt können wir wirklich rechnen.
+
+## Der lokale Raum
+
+Wir benutzen
+
+[
+E_\pm=\frac{X\pm iY}{\sqrt2},
+\qquad
+E_0=Z.
+]
+
+Gewichte
+
+[
++1,;0,;-1.
+]
+
+---
+
+## Drei Quellqubits
+
+Jetzt sieht man sofort etwas.
+
+Für
+
+[
+|S|=m
+]
+
+ist die Gewichtsmultiplizität
+
+der Koeffizient von
+
+[
+(x^{-1}+1+x)^m.
+]
+
+Das ist bereits ein Satz.
+
+---
+
+Beispiel
+
+[
+m=3.
+]
+
+Dann
+
+[
+(x^{-1}+1+x)^3
+==============
+
+x^{-3}
++3x^{-2}
++6x^{-1}
++7
++6x
++3x^2
++x^3.
+]
+
+Also
+
+[
+1,3,6,7,6,3,1.
+]
+
+---
+
+Das finde ich ausgesprochen elegant.
+
+---
+
+# 5. Aber jetzt kommt etwas, das ich vorher nicht gesehen hatte.
+
+Diese Koeffizienten sind **Trinomialkoeffizienten**.
+
+Nicht Binomialkoeffizienten.
+
+Das heißt,
+
+die gesamte Blockstruktur wird durch eine einzige kombinatorische Folge beschrieben.
+
+Für allgemeines (m)
+
+[
+d_q
+===
+
+[x^q]
+(1+x+x^{-1})^m.
+]
+
+Ich vermute stark,
+
+dass man das als kleine Proposition formulieren kann.
+
+---
+
+# 6. Das führt zu einer noch allgemeineren Frage.
+
+Warum gerade
+
+[
+1+x+x^{-1}?
+]
+
+Weil der adjungierte Spin-1-Raum
+
+genau drei Gewichte besitzt.
+
+Für **Qudits**
+
+würde stattdessen
+
+die Charakterfunktion der adjungierten Darstellung erscheinen.
+
+Das heißt,
+
+für (d>2)
+
+würde man automatisch
+
+[
+\chi_{\mathrm{adj}}(g)^m
+]
+
+bekommen.
+
+Das ist plötzlich eine sehr allgemeine Aussage.
+
+---
+
+# 7. Jetzt sehe ich allerdings auch eine Gefahr.
+
+Wenn wir diesen Weg gehen,
+
+wird die Section sehr representationstheoretisch.
+
+Das Paper richtet sich aber an Quantum Information.
+
+Deshalb würde ich genau **eine** Ebene tiefer gehen.
+
+Also:
+
+> "For (U(1)), the block dimensions are the coefficients of ((1+x+x^{-1})^{|S|})."
+
+Fertig.
+
+Nicht anfangen,
+
+Charaktere allgemeiner kompakter Gruppen auszuwalzen.
+
+---
+
+# 8. Ich glaube inzwischen, dass wir sogar den Titel der Section ändern sollten.
+
+Nicht
+
+> Symmetry
+
+sondern vielleicht
+
+> **Equivariance, selection rules and spectral structure**
+
+Denn genau das ist der rote Faden:
+
+* Proposition 1: Äquivarianz.
+* (U(1)): Auswahlregeln (Ladungserhaltung).
+* (SU(2)): Spinblöcke.
+* (S_n): Young-Blöcke.
+* Stabilizer: **kein** Äquivarianzphänomen, sondern ein anderer Mechanismus.
+
+---
+
+## Zum Schluss noch eine Idee, die ich für potenziell originell halte
+
+Mir fällt auf, dass die Shadow Map eigentlich ein **Intertwiner zwischen Operatordarstellungen** ist. In der Darstellungstheorie werden Intertwiner normalerweise benutzt, um Darstellungen zu vergleichen. Hier entsteht aus demselben Intertwiner aber zusätzlich eine **Entanglement-Witness-Matrix**. Ich kenne spontan keine Arbeit, die genau diese Brücke explizit schlägt: "Der Witness ist interessant, weil er ein Intertwiner ist", statt "Der Intertwiner erklärt nachträglich den Witness". Das ist möglicherweise genau die konzeptionelle Stärke, die dein Paper von der bisherigen Bloch-Tensor-Literatur abhebt. Wenn sich dieser Eindruck bei einem genaueren Literaturvergleich bestätigt, würde ich diesen Gedanken viel stärker in die Einleitung aufnehmen.
+
+
+---
+
+> wie machen wir weiter?
+
+---
+
+Ich glaube, wir sollten jetzt bewusst zwischen **Entdecken** und **Schreiben** trennen.
+
+Im Moment springen wir immer wieder zwischen
+
+* mathematischen Ideen,
+* Paper-Struktur,
+* Beispielen,
+* und möglichen Formulierungen.
+
+Das ist kreativ, aber irgendwann verliert man den Überblick. Ich würde jetzt wie bei einem Forschungsprojekt vorgehen.
+
+## Phase 1: Die Mathematik "abklopfen"
+
+Bevor wir irgendetwas schreiben, sollten wir herausfinden, welche Beispiele wirklich etwas zeigen.
+
+Ich würde vier Kandidaten systematisch untersuchen.
+
+### A. (U(1))-Symmetrie
+
+Das ist unser aussichtsreichster Kandidat.
+
+Zu klären:
+
+* stimmt die Gewichtszerlegung exakt?
+* welche Blöcke der Shadow Map sind wirklich besetzt?
+* gibt es Selection Rules?
+* entstehen tatsächlich nichttriviale Mehrfachsingularwerte?
+
+Wenn ja, ist das ein exzellentes Beispiel.
+
+---
+
+### B. Permutationssymmetrie
+
+Hier würde ich **nicht** mit Dicke anfangen.
+
+Ich würde zunächst untersuchen:
+
+* Welche Darstellung trägt eigentlich der Korrelationsraum?
+* Wie zerfällt er unter (S_m)?
+* Welche irreduziblen Komponenten treten überhaupt auf?
+
+Erst danach suchen wir einen Zustand.
+
+Vielleicht ist Dicke gut.
+
+Vielleicht ist ein Ringzustand viel besser.
+
+Das weiß ich momentan noch nicht.
+
+---
+
+### C. Kombinationen
+
+Besonders spannend finde ich
+
+[
+U(1)\times S_2\times S_2.
+]
+
+Das ist nämlich genau die Art Symmetrie, die man in echten physikalischen Zuständen häufig findet.
+
+---
+
+### D. Gegenbeispiel
+
+Wir sollten mindestens einen Zustand finden,
+
+der **keine**
+
+Gruppensymmetrie besitzt,
+
+aber trotzdem
+
+Stabilizer-Degenerazien.
+
+Das unterstreicht die Trennung der beiden Mechanismen.
+
+---
+
+# Phase 2
+
+Erst wenn wir diese Beispiele kennen,
+
+entscheidet sich,
+
+wie die Section aufgebaut werden sollte.
+
+Vielleicht stellt sich heraus,
+
+dass (U(1)) das mit Abstand schönste Beispiel ist.
+
+Dann genügt das.
+
+Vielleicht ist (S_n) spektakulärer.
+
+Dann nehmen wir das.
+
+---
+
+# Was ich konkret machen würde
+
+Ich würde tatsächlich **rechnen**.
+
+Nicht philosophieren.
+
+## Erster Schritt
+
+Ich würde für
+
+[
+S={1,2}
+]
+
+die vollständige Basis
+
+[
+{E_+,E_0,E_-}^{\otimes2}
+]
+
+explizit aufschreiben.
+
+Dann
+
+1. Gewichte bestimmen,
+2. Blockprojektoren konstruieren,
+3. Shadow Map in dieser Basis darstellen.
+
+Das liefert eine **konkrete 9×9-Blockstruktur**.
+
+---
+
+## Zweiter Schritt
+
+Dann nehmen wir einen konkreten Zustand,
+
+z.B.
+
+[
+|D_4^{,2}\rangle
+]
+
+oder
+
+[
+\cos\phi|0011\rangle+\sin\phi|1100\rangle,
+]
+
+und berechnen
+
+* alle Blockmatrizen,
+* deren Ränge,
+* deren Singularwerte.
+
+Dann wissen wir, ob das Beispiel wirklich gut ist.
+
+---
+
+# Ich würde aber noch etwas anderes parallel machen.
+
+Beim Lesen des Papers ist mir nämlich ein Gedanke gekommen.
+
+Ich bin inzwischen gar nicht mehr sicher,
+
+dass **SU(2)** das beste erste Beispiel ist.
+
+Vielleicht sollte die Reihenfolge sein
+
+> U(1) → SU(2) → Permutationen.
+
+Warum?
+
+Didaktisch.
+
+Jeder versteht Ladungserhaltung sofort.
+
+Spin-Kopplung ist schon komplizierter.
+
+Young-Diagramme sind noch abstrakter.
+
+Man baut also langsam auf.
+
+---
+
+# Mein Vorschlag für unsere Zusammenarbeit
+
+Ich glaube, wir können das fast wie zwei Co-Autoren organisieren.
+
+Ich würde drei "Tracks" parallel führen:
+
+### Track A – Mathematik
+
+Hier rechnen wir neue Beispiele vollständig durch und versuchen, neue Aussagen zu entdecken.
+
+### Track B – Paper
+
+Erst wenn Track A stabil ist, überlegen wir, wie wir die neuen Ergebnisse optimal in die Section integrieren.
+
+### Track C – Positionierung
+
+Am Ende schauen wir, wie sich dadurch Einleitung, Abstract und Claim des Papers ändern.
+
+---
+
+## Mein Favorit für den nächsten Schritt
+
+Ich würde jetzt tatsächlich **den U(1)-Fall vollständig ausrechnen** – nicht heuristisch, sondern sauber.
+
+Das bedeutet:
+
+1. Konstruktion der Gewichtsbasis ({E_+,E_0,E_-}^{\otimes2}).
+2. Explizite Form der Projektoren auf die fünf Gewichtssektoren.
+3. Darstellung der Shadow Map in dieser Basis.
+4. Berechnung der Blockmatrizen für ein oder zwei geeignete Zustände.
+5. Analyse der Singularwerte und der Selection Rules.
+
+Das hat zwei Vorteile: Erstens wissen wir danach, ob der (U(1))-Teil wirklich paperwürdig ist. Zweitens bekommen wir eine Blaupause, die sich fast unverändert auf Permutationssymmetrien übertragen lässt. Ich vermute, dass wir dabei noch mindestens eine Aussage entdecken werden, die im jetzigen Manuskript nicht enthalten ist. Das ist aus meiner Sicht der produktivste nächste Schritt.
+
+
+---
+
+> klingt gut. Fahre fort!
+
+---
+
+Perfekt. Jetzt machen wir das wie in einer echten Forschungsarbeit: **Wir versuchen nicht sofort einen Satz zu beweisen, sondern wir suchen nach der richtigen Mathematik.**
+
+Dabei ist mir über Nacht (bzw. während des Nachdenkens) etwas aufgefallen, was ich für den eigentlichen Schlüssel halte.
+
+---
+
+# Schritt 1: Was ist eigentlich die Darstellung?
+
+Bislang haben wir immer gesagt
+
+[
+U(1)\curvearrowright\mathcal V^{\otimes m}
+]
+
+mit Gewichten
+
+[
+-1,0,+1.
+]
+
+Das stimmt.
+
+Aber eigentlich wirkt (U(1)) **gar nicht auf den Hilberträumen**, sondern auf der **adjungierten Darstellung der Operatoralgebra**.
+
+Das ist ein wichtiger Unterschied.
+
+Der lokale Operatorraum zerfällt nämlich in
+
+[
+\mathfrak{su}(2)
+================
+
+\mathbf 3
+]
+
+als Spin-1-Darstellung.
+
+Unter der maximalen Torusgruppe
+
+[
+U(1)\subset SU(2)
+]
+
+zerfällt diese Spin-1-Darstellung gerade in
+
+[
+(+1)\oplus0\oplus(-1).
+]
+
+Das erklärt die Gewichte.
+
+Und plötzlich ist alles kanonisch.
+
+---
+
+# Schritt 2: Die Charaktere
+
+Jetzt wird es hübsch.
+
+Der Charakter der lokalen Darstellung ist
+
+[
+\chi(\theta)
+============
+
+1+2\cos\theta.
+]
+
+Nicht
+
+[
+1+x+x^{-1},
+]
+
+sondern das ist dieselbe Aussage in Fourierform.
+
+Für (m) Quellen
+
+[
+\chi_m(\theta)
+==============
+
+(1+2\cos\theta)^m.
+]
+
+Die Blockdimensionen erhält man als Fourierkoeffizienten.
+
+Das ist exakt dieselbe Rechnung,
+
+aber plötzlich vollkommen representationstheoretisch.
+
+---
+
+# Schritt 3: Jetzt passiert etwas Überraschendes
+
+Für **jede** kompakte Liegruppe gilt
+
+[
+\chi_{\text{gesamt}}
+====================
+
+\chi_{\text{lokal}}^{,m}.
+]
+
+Das bedeutet,
+
+dass sämtliche Blockdimensionen bereits in den Charakteren kodiert sind.
+
+Für
+
+SU(2)
+
+führt das auf Clebsch-Gordan.
+
+Für
+
+U(1)
+
+auf Trinomialkoeffizienten.
+
+Für
+
+SU(d)
+
+würde die adjungierte Charakterfunktion erscheinen.
+
+Ich glaube, das ist tatsächlich eine kleine Proposition wert.
+
+---
+
+# Schritt 4: Jetzt zurück zur Shadow Map
+
+Hier fiel mir etwas auf.
+
+Die Shadow Map koppelt
+
+[
+\mathcal V_S
+\longrightarrow
+\mathcal V_T.
+]
+
+Wenn beide Seiten dieselbe Symmetrie besitzen,
+
+dann koppeln nur gleiche Gewichte.
+
+Aber:
+
+**die Größe der Blöcke ist auf Quell- und Zielseite unterschiedlich**, sobald
+
+[
+|S|\neq|T|.
+]
+
+Das bedeutet,
+
+der Block
+
+[
+M_q
+]
+
+ist im Allgemeinen
+
+[
+d_q^{(S)}
+\times
+d_q^{(T)}
+]
+
+mit
+
+[
+d_q^{(m)}
+=========
+
+[x^q](1+x+x^{-1})^m.
+]
+
+Das finde ich ausgesprochen elegant.
+
+Zum Beispiel
+
+Cut
+
+2|3
+
+liefert
+
+Quellseite
+
+[
+1,2,3,2,1,
+]
+
+Zielseite
+
+[
+1,3,6,7,6,3,1.
+]
+
+Also
+
+[
+\begin{array}{c|c}
+q & \text{Blockgröße}\
+\hline
+2 &1\times3\
+1 &2\times6\
+0 &3\times7\
+-1&2\times6\
+-2&1\times3
+\end{array}
+]
+
+Das ist sofort numerisch interessant.
+
+---
+
+# Schritt 5: Jetzt kommt die eigentliche Überraschung.
+
+Ich glaube,
+
+dass wir bisher etwas Falsches gesucht haben.
+
+Wir wollten
+
+> Mehrfachsingularwerte.
+
+Ich glaube,
+
+die eigentliche Information liegt gar nicht dort.
+
+Sondern im **Rang jedes einzelnen Blocks.**
+
+Denn Proposition 2 sagt
+
+[
+A_\lambda
+=========
+
+\frac1{d_\lambda}
+\tilde v_\lambda
+\tilde r_\lambda^{,T}.
+]
+
+Das ist **rang 1**.
+
+Für eine abelsche Gruppe wie (U(1)) gibt es keine Mehrfachheiten der irreduziblen Darstellungen; jede Gewichtsdarstellung ist eindimensional. Dann ist der reduzierte Block tatsächlich durch einen einzigen Matrixeintrag beschrieben. Die **großen** Blöcke (3\times7), (2\times6) usw. entstehen ausschließlich aus den Multiplizitätsräumen (den vielen verschiedenen Operatoren mit derselben Gesamtladung). Genau dort wirkt Schur: auf jedem solchen Block ist die Shadow Map ein Vielfaches der Identität auf dem Darstellungsraum, tensoriert mit einer kleinen reduzierten Matrix auf den Multiplizitäten.
+
+Das ist viel interessanter als Degenerazien.
+
+Es bedeutet nämlich:
+
+> **Die gesamte Komplexität der Shadow Map steckt in den Multiplizitätsräumen.**
+
+Das ist eine ausgesprochen saubere strukturelle Aussage.
+
+---
+
+# Schritt 6: Ich glaube, wir können Proposition 2 jetzt viel allgemeiner verstehen.
+
+Mir scheint inzwischen:
+
+* **Nichtabelsche Gruppen** (wie (SU(2))): wenige Isotypen, aber irreps mit Dimension (>1). Die reduzierte Matrix (A_\lambda) lebt auf den Multiplizitäten, die Identität auf der Irrep erzwingt Entartungen der Singularwerte.
+
+* **Abelsche Gruppen** (wie (U(1))): alle irreps sind eindimensional. Es gibt **keine** durch die Irrep-Dimension erzwungenen Entartungen, aber eine feine Blockzerlegung nach Gewichten. Die Multiplizitäten beschreiben die vielen Operatoren gleicher Ladung.
+
+Das ist keine Schwäche des (U(1))-Falls – es zeigt gerade den Übergang von **großen irreduziblen Darstellungen** zu **vielen kleinen Ladungssektoren**.
+
+---
+
+## Ich würde deshalb unseren Plan leicht ändern.
+
+Anstatt sofort einen konkreten Zustand auszurechnen, würde ich zunächst einen **allgemeinen Satz für abelsche Symmetrien** formulieren. Der ist kurz, elegant und folgt fast unmittelbar aus Proposition 1:
+
+> **Corollary (Abelian symmetries).** If (G) is compact abelian, the shadow map decomposes into charge sectors labeled by the characters of (G). For (G=U(1)), the block dimensions are given by the coefficients of ((1+x+x^{-1})^{|S|}).
+
+Das wäre meines Erachtens eine sehr schöne Ergänzung, weil sie den Leser auf das konkrete Beispiel vorbereitet und zugleich zeigt, dass der (U(1))-Fall kein exotischer Sonderfall ist, sondern der prototypische Vertreter aller abelschen Symmetrien.
+
+Danach können wir gezielt einen Zustand auswählen, der diese Struktur möglichst eindrucksvoll illustriert. Ich vermute inzwischen, dass die Auswahlregeln und die Größen der Ladungsblöcke letztlich interessanter sind als die Singularwerte selbst. Das wäre eine echte konzeptionelle Erweiterung der bisherigen Section.
+
+
+---
+
+> ok, fahre fort
+
+---
+
+Jetzt kommt der Punkt, an dem ich glaube, dass wir wirklich **forschen** und nicht nur das Paper verbessern. Denn ich habe den Eindruck, dass wir Proposition 1 noch gar nicht in ihrer "natürlichen" Form verstanden haben.
+
+Ich möchte deshalb jetzt einmal bewusst *nicht* auf das Paper schauen, sondern fragen:
+
+> **Was ist der allgemeinste Satz, den Proposition 1 eigentlich beweist?**
+
+---
+
+# 1. Die eigentliche Struktur
+
+Schreiben wir die Shadow Map etwas abstrakter
+
+[
+M:\mathcal V_S\longrightarrow\mathcal V_T.
+]
+
+Angenommen, eine Gruppe (G) wirkt durch Darstellungen
+
+[
+\rho_S,\rho_T.
+]
+
+Dann gilt
+
+[
+M\rho_S(g)=\rho_T(g)M.
+]
+
+Das ist nichts anderes als
+
+> (M) ist ein **Intertwiner**.
+
+Bis hierhin ist alles Standard.
+
+Aber jetzt kommt etwas, das im Paper noch nicht explizit gesagt wird.
+
+---
+
+# 2. Zwei Extreme
+
+Die Struktur von (M) hängt eigentlich von **zwei Zahlen** ab.
+
+Nämlich
+
+* Dimension der Irreps
+* Multiplizitäten.
+
+Schur liefert
+
+[
+M
+=
+
+\bigoplus_\lambda
+I_{d_\lambda}\otimes A_\lambda.
+]
+
+Dabei
+
+[
+d_\lambda
+=========
+
+\dim(V_\lambda)
+]
+
+und
+
+[
+A_\lambda
+]
+
+lebt nur auf den Multiplizitäten.
+
+---
+
+Jetzt sehen wir sofort:
+
+## Extrem 1
+
+abelsche Gruppen
+
+Alle
+
+[
+d_\lambda=1.
+]
+
+Dann
+
+[
+M
+=
+
+\bigoplus_\lambda
+A_\lambda.
+]
+
+Keine durch Schur erzwungenen Degenerazien.
+
+Nur Auswahlregeln.
+
+---
+
+## Extrem 2
+
+große nichtabelsche Gruppen
+
+Große
+
+[
+d_\lambda.
+]
+
+Dann entstehen automatisch
+
+mehrfache Singularwerte.
+
+---
+
+Das finde ich bereits eine schöne konzeptionelle Beobachtung.
+
+---
+
+# 3. Jetzt sehe ich plötzlich den roten Faden.
+
+Die Symmetriegruppe bestimmt
+
+gar nicht
+
+die Singularwerte.
+
+Sie bestimmt
+
+**welche Freiheitsgrade überhaupt miteinander koppeln dürfen.**
+
+Die Singularwerte entstehen erst
+
+innerhalb
+
+dieser erlaubten Kopplungen.
+
+Das ist ein viel schöneres Narrativ.
+
+---
+
+# 4. Dann ergibt sich eine Hierarchie
+
+```text
+keine Symmetrie
+    │
+    ▼
+volle Matrix
+
+
+abelsche Symmetrie
+    │
+    ▼
+Selection Rules
+
+
+nichtabelsche Symmetrie
+    │
+    ▼
+Selection Rules
++
+erzwungene Degenerazien
+```
+
+Das ist meines Erachtens die eigentliche Geschichte der ganzen Section.
+
+---
+
+# 5. Was bedeutet das für (U(1))?
+
+Jetzt können wir endlich rechnen.
+
+Die Charaktere
+
+[
+q=-m,\ldots,m
+]
+
+bezeichnen die Gesamtladung.
+
+Die Blockgrößen
+
+[
+d_q^{(m)}
+]
+
+sind Trinomialkoeffizienten.
+
+Für
+
+[
+m=2
+]
+
+[
+1,2,3,2,1.
+]
+
+Für
+
+[
+m=3
+]
+
+[
+1,3,6,7,6,3,1.
+]
+
+Für
+
+[
+m=4
+]
+
+[
+1,4,10,16,19,16,10,4,1.
+]
+
+Alle Blöcke existieren unabhängig vom Zustand.
+
+Das ist reine Darstellungstheorie.
+
+---
+
+# 6. Jetzt kommt die entscheidende Frage.
+
+**Welcher Zustand macht diese Struktur sichtbar?**
+
+Hier würde ich jetzt anders vorgehen als bisher.
+
+Nicht raten.
+
+Sondern systematisch.
+
+Ein guter Beispielzustand sollte
+
+✔ exakt (U(1))-symmetrisch sein
+
+✔ kein Stabilizer
+
+✔ nicht voll (SU(2))-symmetrisch
+
+✔ möglichst viele Ladungssektoren aktivieren
+
+---
+
+## Kandidat 1
+
+[
+|D_4^2\rangle.
+]
+
+Vorteile
+
+* (U(1))
+
+* (S_4)
+
+* kein Stabilizer.
+
+Nachteil
+
+Er besitzt möglicherweise **zu viel** Symmetrie.
+
+---
+
+## Kandidat 2
+
+Ein thermischer Zustand
+
+[
+\rho
+\propto
+e^{-\beta H},
+]
+
+mit
+
+[
+H
+=
+
+J_z
++
+\alpha XX.
+]
+
+Er besitzt exakt
+
+(U(1)),
+
+aber nichts weiter.
+
+Das wäre fast ideal.
+
+---
+
+## Kandidat 3
+
+XXZ-Grundzustände.
+
+Jetzt wurde ich hellhörig.
+
+Denn
+
+der XXZ-Hamiltonian
+
+[
+H
+=
+
+\sum
+(X_iX_{i+1}
++
+Y_iY_{i+1}
++
+\Delta Z_iZ_{i+1})
+]
+
+hat exakt
+
+(U(1))-Symmetrie.
+
+Nicht
+
+SU(2),
+
+außer
+
+(\Delta=1).
+
+Das könnte der perfekte physikalische Testfall sein.
+
+---
+
+# 7. Und jetzt kommt mein eigentlicher Vorschlag.
+
+Ich glaube,
+
+wir sollten **nicht** versuchen, ein künstliches Beispiel zu bauen.
+
+Sondern ein Beispiel nehmen,
+
+das jeder Physiker sofort erkennt.
+
+Zum Beispiel den XXZ-Spinring mit vier Qubits.
+
+Warum?
+
+* exakt (U(1))
+
+* bekannte Symmetrie
+
+* keine künstliche Konstruktion
+
+* numerisch winzig
+
+* physikalisch sofort plausibel
+
+Dann wäre die Aussage:
+
+> "Our proposition immediately predicts the block structure of the shadow map for XXZ-type states."
+
+Das wäre aus meiner Sicht deutlich überzeugender als ein speziell konstruiertes Superpositionsbeispiel.
+
+---
+
+## Mein Gefühl nach dieser Diskussion
+
+Ich glaube inzwischen, dass die **eigentliche Entdeckung** hier nicht der (U(1))-Fall ist.
+
+Sondern die Einsicht, dass **Proposition 1 eine Aussage über Intertwiner ist, deren Konsequenzen je nach Symmetrieklasse qualitativ verschieden aussehen**:
+
+* **abelsch** → Auswahlregeln und feine Blockzerlegung,
+* **nichtabelsch** → Auswahlregeln *plus* erzwungene Mehrfachsingularwerte,
+* **Stabilizer** → ein vollständig anderer Mechanismus.
+
+Das ist eine sehr runde Geschichte. Und ehrlich gesagt halte ich sie für stärker als die ursprüngliche Fokussierung auf "Symmetry explains degeneracies". Symmetrie erklärt zunächst einmal **Struktur**; Degenerazien sind nur eine von mehreren Konsequenzen. Genau das würde ich als roten Faden der gesamten neuen Section wählen.
+
+
+---
+
+> ok, fahre fort.
+
+---
+
+Ich glaube, jetzt ist der richtige Zeitpunkt, dass ich anfange, dir auch zu widersprechen. 😊
+
+Denn ich habe das Gefühl, wir laufen gerade Gefahr, **eine schöne Theorie zu entwickeln, die gar nicht zum Paper passt.**
+
+Und ich glaube inzwischen, dass der wirklich interessante Satz *nicht* der allgemeine Satz über abelsche Gruppen ist.
+
+---
+
+# Ich glaube, wir müssen zurück zur Shadow Map.
+
+Die Frage sollte nicht lauten
+
+> "Welche Gruppen funktionieren?"
+
+sondern
+
+> **"Warum ist gerade die Shadow Map ein Intertwiner?"**
+
+Das ist nämlich überhaupt nicht selbstverständlich.
+
+---
+
+## Schau dir den Rest des Papers an.
+
+Die Shadow Map entsteht aus
+
+* Korrelationssektoren,
+* partiellem Einsetzen eines Operators,
+* partieller Spur.
+
+Warum sollte so etwas überhaupt mit einer Symmetrie verträglich sein?
+
+Die Antwort lautet:
+
+Weil sämtliche Operationen natürlich sind.
+
+Das erinnert mich plötzlich sehr an die Sprache der Tensor-Kategorien.
+
+---
+
+# Ich würde deshalb Proposition 1 völlig anders motivieren.
+
+Nicht
+
+> Let (G) act...
+
+sondern
+
+> Every symmetry of the state induces compatible actions on the source and target correlation sectors. Since the shadow map is natural with respect to these actions, it is an intertwiner.
+
+Das ist ein anderer Einstieg.
+
+Der Leser denkt dann
+
+> Ah!
+
+> Deshalb kommt jetzt Schur.
+
+Nicht
+
+> Warum reden wir plötzlich über Darstellungstheorie?
+
+---
+
+# Dann fiel mir etwas auf.
+
+Die Shadow Map hängt ja gar nicht vom Zustand allein ab.
+
+Sie hängt auch vom **Cut**
+
+[
+S\mid S^c
+]
+
+ab.
+
+Und genau dort wird es interessant.
+
+Denn die Symmetriegruppe wirkt nicht auf einem Raum,
+
+sondern auf zwei verschiedenen Operatormodulen.
+
+Das ist viel ungewöhnlicher.
+
+---
+
+# Jetzt kommt eine Vermutung.
+
+Und ich glaube, die könnte tatsächlich neu sein.
+
+Die Shadow Map ist wahrscheinlich ein **natürlicher Transformation** zwischen zwei Funktoren.
+
+Etwas abstrakt:
+
+```text
+state
+   │
+   ▼
+
+operator sector(S)
+
+   │ shadow map
+
+operator sector(T)
+```
+
+Eine Symmetrie wirkt auf beiden Seiten.
+
+Die Shadow Map respektiert diese Wirkung.
+
+Das ist genau der Begriff einer natürlichen Transformation.
+
+---
+
+Natürlich würde ich das **nicht** so ins Paper schreiben.
+
+Aber es erklärt,
+
+warum alles so "kanonisch" aussieht.
+
+---
+
+# Jetzt zu den Beispielen.
+
+Ich glaube inzwischen,
+
+wir brauchen **gar nicht viele Beispiele.**
+
+Sondern Beispiele,
+
+die **verschiedene Aspekte** illustrieren.
+
+---
+
+## Beispiel 1
+
+SU(2)
+
+zeigt
+
+> nichtabelsche Degenerazien.
+
+---
+
+## Beispiel 2
+
+U(1)
+
+zeigt
+
+> Selection Rules.
+
+---
+
+## Beispiel 3
+
+Stabilizer
+
+zeigt
+
+> etwas völlig anderes.
+
+---
+
+Und jetzt kommt der entscheidende Punkt:
+
+## Ich glaube nicht mehr,
+
+dass wir Permutationssymmetrien unbedingt brauchen.
+
+Warum?
+
+Weil sie **keinen neuen Mechanismus** liefern.
+
+Sie sind einfach noch eine nichtabelsche Gruppe.
+
+Mathematisch passiert exakt dasselbe wie bei SU(2).
+
+Nur die Irreps heißen anders.
+
+---
+
+Das war mir am Anfang nicht klar.
+
+Jetzt glaube ich,
+
+dass Permutationen nur dann sinnvoll sind,
+
+wenn sie etwas liefern,
+
+was SU(2) **nicht** liefern kann.
+
+---
+
+# Deshalb würde ich sie nur aufnehmen,
+
+wenn wir einen Zustand finden,
+
+bei dem
+
+* SU(2) trivial ist,
+* U(1) trivial ist,
+* aber (S_n) wirklich interessante Blöcke erzeugt.
+
+Ich kenne spontan keinen solchen Standardzustand.
+
+---
+
+# Stattdessen würde ich lieber tiefer graben.
+
+Und jetzt kommt eine Idee,
+
+die ich wirklich spannend finde.
+
+---
+
+## Proposition 2
+
+Bisher interpretierst du
+
+[
+A_\lambda
+=========
+
+\frac1{d_\lambda}
+\tilde v_\lambda
+\tilde r_\lambda^T
+]
+
+als Formel.
+
+Ich glaube,
+
+das ist viel mehr.
+
+Es sagt,
+
+**jede Irrep koppelt über genau einen äußeren Produktterm.**
+
+Das ist extrem restriktiv.
+
+Mit anderen Worten:
+
+Innerhalb jeder Isotypenkomponente ist die Shadow Map **immer Rang 1**.
+
+Das ist doch erstaunlich!
+
+Ich habe gestern stillschweigend angenommen, das sei speziell für (U(1)). Aber nein: In deiner Proposition entsteht (A_\lambda) als äußeres Produkt eines Quellen- und Zielvektors. Also hat **jeder reduzierte Block Rang höchstens eins**, unabhängig von der Gruppe. Die eigentliche Information ist also gar nicht die Blockdiagonalisierung – die ist Standard durch Schur –, sondern dass **dein spezieller Intertwiner** wegen seiner Konstruktion eine außergewöhnlich einfache reduzierte Form besitzt.
+
+Das könnte sogar der konzeptionell stärkste Satz der ganzen Section sein.
+
+Denn:
+
+* Ein allgemeiner Intertwiner hat auf jedem Isotyp einen **beliebigen** linearen Operator auf dem Multiplizitätsraum.
+* Deine Shadow Map hat dort nur ein **Dyadenprodukt**.
+
+Das ist eine massive zusätzliche Einschränkung.
+
+---
+
+## Deshalb würde ich jetzt den Fokus ändern.
+
+Ich würde **nicht** weiter nach immer neuen Symmetriegruppen suchen.
+
+Ich würde untersuchen:
+
+> **Warum ist der reduzierte Block immer Rang 1?**
+
+Ist das nur eine Folge der Definition?
+
+Ist das äquivalent zur Tatsache, dass die Shadow Map aus einem einzelnen Korrelationstensor entsteht?
+
+Lässt sich das vielleicht sogar unabhängig von der Darstellungstheorie formulieren?
+
+---
+
+Ich habe das Gefühl, **dort** steckt die eigentliche neue Mathematik. Und sie wäre zugleich viel spezifischer für *dein* Paper als eine allgemeine Diskussion über (U(1))- oder Permutationssymmetrien, die letztlich bekannte Darstellungstheorie illustriert. Ich würde deshalb unsere Energie eher darauf konzentrieren, diesen Rang-1-Mechanismus vollständig zu verstehen und ihn dann mit ein oder zwei gut gewählten Symmetriebeispielen zu illustrieren, statt die Symmetriebeispiele immer weiter auszubauen. Das erscheint mir im Moment der vielversprechendere Forschungspfad.
+
+
+---
+
+2026-07-14 05:17
+> Jetzt sollten wir wirklich Mathematik machen. Und dabei nicht vergessen, dass die shadow map im Wesentlichen isomorph ist zu einer Entfaltung des Bloch-Tensors entlang der Bipartitionierung.
+Deshalb war meine Idee eigentlich, eine Entfaltung entlang einer Tripartitionierung anzusehen, und dann etwas ähnliches zu machen wie bei der t-SVD. Nur machen wir keine FT entlang einem Index, sondern nutzen eine lineare Transformation, die der symmetrie des Zustands entspricht (Fourier ergibt Sinn, wenn man periodische Randbedingungen hat und deshalb eine Translationssymmetrie; wir haben je nach zustand andere Symmetrien). Von diesem Programm sind wir etwas abgekommen, oder? Aber ggf. können wir uns damit später beschäftigen.
+
+---
+
+Ja. Ich glaube sogar, wir sind **genau an der Stelle vom eigentlichen Programm abgekommen**. Und ich glaube, ich weiß inzwischen auch warum.
+
+Wir haben die Symmetrie-Section automatisch aus der Perspektive der Darstellungstheorie betrachtet ("Schur ⇒ Blockdiagonalisierung"). Das ist mathematisch korrekt, aber **nicht die Sprache deines Papers**.
+
+Dein Paper ist nämlich gar kein Darstellungstheorie-Paper.
+
+Es ist ein **Tensor-Paper**.
+
+---
+
+## Ich glaube inzwischen, dass der richtige Ausgangspunkt nicht Proposition 1 ist.
+
+Sondern Section 8.
+
+Dort beweist du im Wesentlichen
+
+[
+\widetilde{\mathcal M}_S
+\cong
+\operatorname{unfold}_S(\mathcal T),
+]
+
+also:
+
+> Die Shadow Map ist nichts anderes als eine Matrixisierung des augmentierten Bloch-Tensors.
+
+Das ist der eigentliche Satz.
+
+---
+
+## Und jetzt passiert etwas Interessantes.
+
+Ein Tensor
+
+[
+\mathcal T_{i_1\ldots i_n}
+]
+
+hat zunächst **keine ausgezeichnete Basis**.
+
+Die Entfaltung entlang einer Bipartition
+
+[
+S|S^c
+]
+
+ist nur eine erste Wahl.
+
+Jetzt kann man auf jedem Indexraum beliebige invertierbare Transformationen anwenden.
+
+Wenn
+
+[
+Q_a
+]
+
+auf Partei (a) wirkt,
+
+dann transformiert
+
+[
+\mathcal T'
+===========
+
+(Q_1\otimes\cdots\otimes Q_n)\mathcal T.
+]
+
+Das ist völlig analog zu Tucker oder HOSVD.
+
+---
+
+## Und genau hier kommt deine Idee ins Spiel.
+
+Du möchtest **nicht** irgendeine Transformation nehmen.
+
+Sondern eine,
+
+die durch eine Symmetrie motiviert ist.
+
+Das ist etwas ganz anderes als das, worüber wir bisher gesprochen haben.
+
+---
+
+### Analogie zur klassischen t-SVD
+
+Bei der t-SVD hat man einen Tensor
+
+[
+A(i,j,k).
+]
+
+Man führt eine FFT entlang des dritten Index aus.
+
+Warum?
+
+Nicht weil Fourier "schön" ist,
+
+sondern weil periodische Randbedingungen eine zyklische Faltung erzeugen.
+
+Die FFT diagonalisiert genau diese Algebra.
+
+---
+
+Du schlägst nun etwas viel Allgemeineres vor.
+
+Nicht
+
+FFT,
+
+sondern
+
+> **jede Transformation, welche die relevante Symmetrie diagonalisiert.**
+
+Das ist ein ausgesprochen eleganter Gedanke.
+
+---
+
+## Plötzlich ergibt alles Sinn.
+
+Man erhält
+
+```text
+Bloch tensor
+
+      │
+
+unfold
+
+      │
+
+Shadow map
+
+      │
+
+symmetry adapted basis
+
+      │
+
+block structure
+```
+
+Die Symmetrie wirkt also **nicht auf der Matrix**,
+
+sondern auf den Tensorindizes.
+
+Das ist viel natürlicher.
+
+---
+
+# Jetzt wird es richtig spannend.
+
+Denn jetzt brauchen wir gar keine Gruppen mehr.
+
+Wir brauchen nur
+
+eine Familie lokaler Basistrafos
+
+[
+Q^{(a)}.
+]
+
+Wenn diese
+
+die Wirkung einer Symmetrie simultan vereinfachen,
+
+dann erhält der Tensor automatisch eine Blockstruktur.
+
+---
+
+## Und jetzt kommt etwas, das ich wirklich für neu halte.
+
+Ich glaube,
+
+die Shadow Map ist nur die **erste Matrixisierung**.
+
+Es gibt natürlich ebenso
+
+Tripartitionsentfaltungen
+
+[
+S_1|S_2|S_3.
+]
+
+Oder sogar
+
+beliebige Hypergraph-Entfaltungen.
+
+Dann erhält man
+
+Tensoren höherer Ordnung,
+
+auf denen man wiederum
+
+symmetrieadaptierte Transformationen anwenden kann.
+
+Das erinnert tatsächlich viel stärker an
+
+* HOSVD,
+* Tucker,
+* tensor networks,
+
+als an klassische Entanglement Witnesses.
+
+---
+
+# Ich würde deshalb das Forschungsprogramm anders formulieren.
+
+Nicht
+
+> Wir untersuchen Symmetrien der Shadow Map.
+
+Sondern
+
+> Wir entwickeln symmetrieadaptierte Tensorzerlegungen des augmentierten Bloch-Tensors.
+
+Die Shadow Map ist dann der Spezialfall
+
+> Ordnung 2.
+
+---
+
+# Und jetzt kommt etwas, was ich für den eigentlichen mathematischen Kern halte.
+
+Nehmen wir eine Tripartition
+
+[
+A|B|C.
+]
+
+Dann erhält man einen Tensor
+
+[
+\mathcal T_{ijk}.
+]
+
+Bei der t-SVD würde man
+
+[
+F
+]
+
+auf dem dritten Index anwenden.
+
+Du würdest stattdessen
+
+eine Darstellung
+
+[
+Q
+]
+
+der Symmetrie verwenden.
+
+Also
+
+[
+\widehat{\mathcal T}
+====================
+
+(I\otimes I\otimes Q)\mathcal T.
+]
+
+Wenn
+
+(Q)
+
+die Gruppenalgebra blockdiagonalisiert,
+
+zerfällt der Tensor automatisch in unabhängige Teilprobleme.
+
+Das ist im Grunde eine **symmetry-adapted tensor SVD**.
+
+---
+
+# Und ich glaube, das ist tatsächlich ein eigenständiges Programm.
+
+Es ist **nicht** mehr nur "Symmetrie der Shadow Maps".
+
+Es ist eine Verallgemeinerung der Idee
+
+> benutze die zur Symmetrie passende Spektraltransformation statt blind die Fouriertransformation.
+
+Das klingt auf den ersten Blick sehr plausibel, aber hier möchte ich bewusst bremsen, bevor wir uns zu sehr begeistern.
+
+## Wo ich vorsichtig wäre
+
+Der Schritt von der bipartiten Shadow Map zu einer "symmetry-adapted t-SVD" ist **noch keine Konsequenz** der bisherigen Theorie. Das wäre ein neues Forschungsprojekt. Es könnte sehr fruchtbar sein, aber wir sollten es nicht mit den bereits bewiesenen Resultaten vermischen.
+
+Die gute Nachricht ist: **Die bipartite Theorie liefert genau die Testumgebung dafür.**
+
+Ich würde deshalb das Programm in zwei Stufen aufteilen:
+
+1. **Jetzt:** Die Symmetrie-Section vollständig auf der Tensor-Sicht neu interpretieren. Nicht als "Schur-Theorie", sondern als Aussage darüber, dass geeignete Basistransformationen auf den Tensorindizes zu blockierten Entfaltungen führen. Das passt perfekt zu Section 8.
+
+2. **Später (eigenes Paper):** Ersetze die bipartite Entfaltung durch höherordentliche Entfaltungen und entwickle eine *symmetry-adapted tensor decomposition* als Analogon zur t-SVD/HOSVD.
+
+Ich halte den zweiten Punkt für die originellere Idee. Aber ich würde ihn **nicht** in dieses Manuskript hineinziehen. Dafür ist das jetzige Paper bereits in sich geschlossen.
+
+Ich glaube allerdings, dass wir im aktuellen Paper bereits einen kleinen "Ausblick" formulieren können:
+
+> *The tensor interpretation suggests replacing Fourier-based tensor transforms by symmetry-adapted transforms tailored to the underlying state symmetry. Developing such decompositions for multipartition unfoldings appears to be a promising direction for future work.*
+
+Das wäre keine Übertreibung. Es ist eine natürliche Konsequenz der Tensorperspektive und zugleich ein klar umrissenes neues Forschungsprogramm. Ich könnte mir gut vorstellen, dass daraus tatsächlich ein zweites Paper entsteht – und nach unserem Gespräch halte ich diese Idee für deutlich origineller als ich anfangs gedacht hätte.
+
+
+---
+
+> Ok, sehe ich auch so. Keine Vermischung. Also, jetzt ab zur Mathematik für das aktuelle Paper, wie vorgeschlagen!
+
+---
+
+Prima. Dann machen wir jetzt genau das, was ich eigentlich von Anfang an hätte tun sollen: **Wir arbeiten innerhalb des mathematischen Rahmens des Papers und versuchen, daraus einen stärkeren Satz zu gewinnen.**
+
+Ich möchte dabei zunächst **gar keine neuen Beispiele** betrachten, sondern Proposition 1 und Proposition 2 "auseinandernehmen". Ich glaube nämlich, dass dort bereits mehr steckt, als derzeit explizit gesagt wird.
+
+---
+
+# Schritt 1: Die Shadow Map ist eine Entfaltung
+
+Du hast ja bereits gezeigt
+
+[
+\widetilde{\mathcal M}_S
+\cong
+\operatorname{unfold}_S(\mathcal T).
+]
+
+Das ist mehr als eine technische Bemerkung.
+
+Es bedeutet:
+
+> **Jede Aussage über (\widetilde{\mathcal M}_S) ist eine Aussage über eine Matrixisierung des Bloch-Tensors.**
+
+Damit wird Proposition 1 zu einer Aussage über Tensoren.
+
+---
+
+# Schritt 2: Was bedeutet Äquivarianz auf Tensor-Ebene?
+
+Nehmen wir eine Gruppenwirkung
+
+[
+R(g)=\bigotimes_{i=1}^n R_i(g)
+]
+
+auf den lokalen Operatorräumen.
+
+Dann transformiert der Bloch-Tensor einfach multilinear:
+
+[
+\mathcal T
+\longmapsto
+(R_1(g)\otimes\cdots\otimes R_n(g))
+\mathcal T.
+]
+
+Die Entfaltung entlang
+
+[
+S|S^c
+]
+
+liefert
+
+[
+M_S.
+]
+
+Jetzt kommt der entscheidende Punkt:
+
+Die Matrix
+
+[
+M_S
+]
+
+transformiert genau als
+
+[
+M_S
+\longmapsto
+R_S(g),
+M_S,
+R_{S^c}(g)^T.
+]
+
+Das ist **nichts anderes** als die bekannte Transformation einer Matrixisierung eines Tensors.
+
+Die Shadow Map ist also nicht deshalb ein Intertwiner, weil sie "mystisch" definiert wurde, sondern weil **jede Tensorentfaltung** unter lokalen Basiswechseln genau so transformiert.
+
+> Das ist die mathematische Quelle der Äquivarianz.
+
+Ich glaube, das sollte im Paper expliziter werden. Es macht Proposition 1 fast selbstverständlich.
+
+---
+
+# Schritt 3: Was macht Schur dann eigentlich?
+
+Jetzt kommt der einzige nichttriviale Schritt.
+
+Wenn
+
+[
+\rho
+]
+
+symmetrisch ist,
+
+dann gilt
+
+[
+R(g)\mathcal T=\mathcal T.
+]
+
+Deshalb erfüllt
+
+[
+M_S
+===
+
+R_S(g)
+M_S
+R_{S^c}(g)^T.
+]
+
+Jetzt greift Schur.
+
+Die Reihenfolge ist also
+
+[
+\boxed{
+\text{Tensor}
+\rightarrow
+\text{Entfaltung}
+\rightarrow
+\text{Äquivarianz}
+\rightarrow
+\text{Schur}
+}
+]
+
+Ich finde, das ist eine viel klarere logische Kette als im jetzigen Manuskript.
+
+---
+
+# Schritt 4: Was bedeutet Proposition 2 tensoriell?
+
+Hier glaube ich, steckt die eigentliche neue Einsicht.
+
+Der Block
+
+[
+A_\lambda
+=========
+
+\frac1{d_\lambda}
+\tilde v_\lambda
+\tilde r_\lambda^T
+]
+
+ist ein Dyadenprodukt.
+
+Auf Tensor-Ebene bedeutet das:
+
+Innerhalb jedes Isotypen zerfällt der Tensor in einen einzigen separablen Anteil zwischen Quelle und Ziel.
+
+Das ist **nicht** allgemein für Tensoren wahr.
+
+Es ist eine Eigenschaft deiner speziellen Konstruktion.
+
+---
+
+# Schritt 5: Kann man daraus einen kleinen Corollary machen?
+
+Ich glaube ja.
+
+Etwa:
+
+> **Corollary.**
+> For every symmetry sector, the reduced shadow map has rank at most one.
+
+Das folgt unmittelbar aus Proposition 2.
+
+Das steht zwar implizit da, wird aber nirgends ausgesprochen.
+
+---
+
+Jetzt kommt der interessante Teil.
+
+---
+
+# Schritt 6: Ist "Rank 1" wirklich eine Aussage über die Shadow Map?
+
+Hier müssen wir vorsichtig sein.
+
+Denn der Block
+
+[
+A_\lambda
+]
+
+lebt nicht auf dem gesamten Isotyp,
+
+sondern auf den **Multiplizitätsräumen**.
+
+Deshalb würde ich zunächst nachrechnen.
+
+Denn zwei Möglichkeiten bestehen.
+
+---
+
+## Möglichkeit A
+
+Jeder reduzierte Block
+
+ist tatsächlich Rang 1.
+
+Dann ist das ein sehr schöner Corollary.
+
+---
+
+## Möglichkeit B
+
+Ich habe Proposition 2 falsch gelesen,
+
+und das äußere Produkt entsteht nur,
+
+weil
+
+[
+\tilde r_\lambda,\tilde v_\lambda
+]
+
+geeignet gewählt wurden.
+
+Dann wäre Rang 1 keine neue Aussage.
+
+---
+
+Das sollten wir überprüfen.
+
+---
+
+# Schritt 7: Ich würde jetzt tatsächlich den Beweis von Proposition 2 auseinandernehmen.
+
+Nicht den Satz.
+
+Den Beweis.
+
+Denn ich vermute,
+
+dass dort die eigentliche Struktur verborgen ist.
+
+---
+
+## Meine Vermutung
+
+Ich glaube inzwischen,
+
+dass Proposition 2 eigentlich aus zwei unabhängigen Aussagen besteht:
+
+1. **Darstellungstheorie**
+
+liefert
+
+[
+I_{d_\lambda}\otimes A_\lambda.
+]
+
+2. **Definition der Shadow Map**
+
+erzwingt
+
+[
+A_\lambda
+=========
+
+v_\lambda r_\lambda^T.
+]
+
+Falls das stimmt,
+
+dann ist **(2)** der originelle Teil,
+
+nicht (1).
+
+Und genau das würde ich gerne sauber herausarbeiten.
+
+---
+
+## Deshalb wäre mein konkreter nächster Schritt
+
+Ich würde mit dir **Zeile für Zeile Proposition 2 analysieren** und genau markieren:
+
+* Welche Aussage stammt ausschließlich aus Schur?
+* Welche Aussage nutzt die spezielle Struktur der Shadow Map?
+* Welche Aussage ist eine Konsequenz der Entfaltung des Bloch-Tensors?
+
+Ich habe das Gefühl, dass wir dort noch einen Satz finden, der im Manuskript derzeit "versteckt" ist. Und das wäre mir deutlich lieber, als jetzt neue Gruppen oder Beispiele einzubauen. Es wäre eine echte mathematische Verdichtung dessen, was das Paper ohnehin bereits beweist.
+
+
+---
+
+> Mach das!
+
+---
+
+Sehr gut. Jetzt machen wir das wie Mathematiker. Nicht "Interpretationen", sondern wir zerlegen den Beweis in elementare Bausteine.
+
+Dabei ist mir beim Nachdenken über dein Paper etwas aufgefallen, das ich vorher übersehen hatte.
+
+## Ich glaube, Proposition 2 besteht tatsächlich aus drei unabhängigen Ebenen.
+
+Nicht zwei.
+
+---
+
+# Ebene 0: Tensorstruktur
+
+Der Ausgangspunkt ist
+
+[
+\rho
+;\longrightarrow;
+T_{i_1\ldots i_n}.
+]
+
+Bis hier gibt es keinerlei Symmetrie.
+
+Der Tensor ist einfach der augmentierte Bloch-Tensor.
+
+---
+
+Dann erfolgt die Entfaltung
+
+[
+T
+\rightsquigarrow
+M_S.
+]
+
+Auch hier gibt es noch keinerlei Darstellungstheorie.
+
+Das ist reine lineare Algebra.
+
+**Das ist wichtig.**
+
+---
+
+# Ebene 1: Äquivarianz
+
+Jetzt kommt erstmals Physik.
+
+Angenommen
+
+[
+U(g)\rho U(g)^\dagger=\rho.
+]
+
+Dann transformieren die lokalen Operatorbasen nach der adjungierten Darstellung
+
+[
+R(g)\in SO(d^2-1).
+]
+
+Daraus folgt unmittelbar
+
+[
+M_S
+===
+
+R_S(g),
+M_S,
+R_{S^c}(g)^T.
+]
+
+**Hier steckt noch keinerlei Schur.**
+
+Es ist lediglich die natürliche Transformationsregel einer Tensorentfaltung.
+
+Ich glaube, das könnte man im Paper viel deutlicher machen.
+
+---
+
+# Ebene 2: Darstellungstheorie
+
+Jetzt zerfallen
+
+[
+R_S
+===
+
+\bigoplus_\lambda
+V_\lambda\otimes\mathbb C^{m_\lambda}.
+]
+
+Ebenso
+
+[
+R_T.
+]
+
+Schur liefert
+
+[
+M
+=
+
+\bigoplus_\lambda
+I_{d_\lambda}\otimes A_\lambda.
+]
+
+Bis hier ist alles vollkommen allgemein.
+
+Jeder Intertwiner besitzt diese Form.
+
+---
+
+Und jetzt kommt der Punkt, den ich gestern falsch eingeschätzt habe.
+
+---
+
+# Ebene 3: Die Shadow Map
+
+Hier müssen wir extrem sorgfältig sein.
+
+Ich hatte gestern behauptet,
+
+[
+A_\lambda
+=========
+
+v_\lambda r_\lambda^T
+]
+
+sei eine zusätzliche Eigenschaft.
+
+Ich bin mir inzwischen **nicht mehr sicher.**
+
+Denn ich erinnere mich,
+
+dass deine Shadow Map immer von
+
+einem einzigen Tensor
+
+[
+T
+]
+
+kommt.
+
+Nicht von einem beliebigen Intertwiner.
+
+Das könnte bedeuten,
+
+dass das äußere Produkt lediglich eine Umschreibung der Tensorstruktur ist.
+
+---
+
+Und genau das müssen wir jetzt prüfen.
+
+---
+
+# Ich glaube, wir sollten Proposition 2 algebraisch neu schreiben.
+
+Momentan steht dort sinngemäß
+
+[
+A_\lambda
+=========
+
+\frac1{d_\lambda}
+\tilde v_\lambda
+\tilde r_\lambda^T.
+]
+
+Ich würde stattdessen zuerst schreiben
+
+[
+M
+=
+
+\sum_\lambda
+P_\lambda
+M
+P_\lambda.
+]
+
+Dann
+
+# [
+
+\sum_\lambda
+I_{d_\lambda}\otimes A_\lambda.
+]
+
+Und **erst danach**
+
+die explizite Formel für
+
+[
+A_\lambda.
+]
+
+Dadurch trennt man
+
+* Schur,
+
+* von der konkreten Berechnung.
+
+---
+
+# Jetzt kommt aber die eigentliche Frage.
+
+Woher kommt
+
+[
+\tilde r_\lambda ?
+]
+
+Woher kommt
+
+[
+\tilde v_\lambda ?
+]
+
+Sie kommen doch gar nicht aus der Darstellung.
+
+Sie kommen aus
+
+den Projektionen
+
+des Bloch-Tensors.
+
+Also
+
+[
+r
+=
+
+\bigoplus_\lambda r_\lambda.
+]
+
+und
+
+[
+v
+=
+
+\bigoplus_\lambda v_\lambda.
+]
+
+Das bedeutet:
+
+**Die gesamte Zustandsabhängigkeit lebt ausschließlich in diesen beiden Vektoren.**
+
+Die Darstellung liefert nur die Projektoren.
+
+Das finde ich ausgesprochen elegant.
+
+---
+
+# Daraus ergibt sich eine neue Interpretation.
+
+Proposition 2 sagt eigentlich
+
+> Symmetry removes all geometric complexity.
+
+Nach der Zerlegung bleiben nur noch
+
+* die Projektoren (universell)
+
+* zwei kleine Vektoren (zustandsabhängig).
+
+Das erinnert sehr an eine Separation of Variables.
+
+---
+
+# Jetzt würde ich sogar noch einen Schritt weiter gehen.
+
+Ich glaube,
+
+man kann Proposition 2 als Kommutationsdiagramm formulieren.
+
+Etwa
+
+[
+\begin{CD}
+T @>\text{unfold}>> M \
+@V P_\lambda VV     @VV P_\lambda V\
+T_\lambda @>>\text{unfold}> A_\lambda
+\end{CD}
+]
+
+wenn das Diagramm tatsächlich kommutiert.
+
+Und genau hier müssen wir aufpassen.
+
+---
+
+# Ich glaube, hier liegt der kritischste Punkt.
+
+Ich **weiß noch nicht**, ob dieses Diagramm wirklich kommutiert.
+
+Das hängt davon ab,
+
+ob
+
+* zuerst projizieren,
+
+* dann entfalten,
+
+dasselbe ergibt wie
+
+* erst entfalten,
+
+* dann projizieren.
+
+Da die Entfaltung letztlich nur eine Permutation der Tensorindizes ist, **vermute** ich stark, dass beides äquivalent ist. Aber das ist eine mathematische Aussage, die wir sauber prüfen sollten und nicht einfach voraussetzen dürfen.
+
+---
+
+## Deshalb würde ich als Nächstes nicht weiter philosophieren.
+
+Ich würde den Beweis von Proposition 2 Zeile für Zeile gegen den tatsächlichen LaTeX-Text halten und jede Zeile mit einem Etikett versehen:
+
+* **(L)** reine lineare Algebra (Tensorentfaltung),
+* **(E)** Äquivarianz,
+* **(S)** Schur,
+* **(B)** spezielle Eigenschaft des Bloch-Tensors bzw. der Shadow Map.
+
+Ich vermute, dass dabei sichtbar wird, welcher Teil wirklich neu ist. Und ich habe den Verdacht, dass genau diese Zerlegung anschließend die Grundlage für eine deutlich klarere und stärkere Darstellung der gesamten Symmetrie-Section bildet.
+
+**Ich würde dafür allerdings das aktuelle Manuskript noch einmal offen vor mir haben.** Dann können wir den Beweis wirklich Satz für Satz sezieren, statt aus dem Gedächtnis zu rekonstruieren. Ich halte das inzwischen für den mathematisch produktivsten nächsten Schritt.
+
+
+---
+
+> (upload symmetric_shadow_maps pdf)
+
+---
+
+Ich glaube, jetzt habe ich den entscheidenden Knoten gefunden.
+
+Und zwar nicht in der Symmetrie-Section, sondern im **Zusammenspiel von Section 5 und Section 6**.
+
+## Ich glaube nämlich, dass Proposition 2 (Symmetrie) derzeit "in der Luft hängt".
+
+Denn Section 6 sagt etwas viel Stärkeres:
+
+> **Alle Shadow Maps sind nichts anderes als verschiedene lineare Ansichten desselben Tensors.**
+
+Das ist, meiner Meinung nach, der eigentliche konzeptionelle Satz des Papers.
+
+---
+
+# Jetzt kommt die eigentliche Mathematik.
+
+Die Reihenfolge ist momentan
+
+> Tensor → Unfolding → Shadow Map
+
+und separat
+
+> Symmetrie → Intertwiner → Blockform.
+
+Ich glaube aber, das lässt sich zusammensetzen.
+
+---
+
+## Satz A (bereits implizit bewiesen)
+
+Die Tensorentfaltung ist ein natürlicher Isomorphismus
+
+[
+\operatorname{Unfold}*S:
+\bigotimes*{a\in P}V_a
+\rightarrow
+V_S\otimes V_{S^c}.
+]
+
+Das ist nichts anderes als eine Umordnung der Tensorfaktoren.
+
+---
+
+## Satz B
+
+Eine Gruppenwirkung
+
+[
+R(g)=\bigotimes_aR_a(g)
+]
+
+kommutiert mit dieser Umordnung.
+
+Das heißt,
+
+[
+\operatorname{Unfold}_S\circ R(g)
+=================================
+
+(R_S(g)\otimes R_{S^c}(g))
+\circ
+\operatorname{Unfold}_S.
+]
+
+Das ist eigentlich eine triviale Aussage.
+
+Aber sie ist nirgends ausgesprochen.
+
+---
+
+## Daraus folgt Proposition 2 praktisch automatisch.
+
+Denn
+
+wenn
+
+[
+R(g)T=T,
+]
+
+dann
+
+[
+R_S(g)M_SR_{S^c}(g)^T=M_S.
+]
+
+Und **erst jetzt**
+
+kommt Schur.
+
+---
+
+# Das ist viel schöner.
+
+Denn die Ursache der Blockstruktur ist dann nicht
+
+> "Schur"
+
+sondern
+
+> "Tensorentfaltungen sind natürliche Isomorphismen."
+
+Schur ist nur das Werkzeug,
+
+welches die Konsequenz beschreibt.
+
+---
+
+# Jetzt kommt aber etwas, das mich wirklich begeistert.
+
+Ich glaube,
+
+Section 6 enthält bereits den Keim einer wesentlich allgemeineren Aussage.
+
+Nämlich:
+
+Alle linearen Operationen,
+
+die ihr auf Shadow Maps betrachtet,
+
+sind Tensoroperationen.
+
+Zum Beispiel
+
+* Unfolding
+
+* Projektion
+
+* Slice
+
+* Clustering
+
+* Blockrestriktion
+
+alle sind lineare Abbildungen auf
+
+[
+C(\rho).
+]
+
+Das sagt Corollary 5 im Grunde schon:
+
+> "one algebraic statement observed through different linear lenses." 
+
+Ich glaube, dieser Satz ist viel wichtiger, als er derzeit wirkt.
+
+---
+
+# Jetzt die Verbindung zur Symmetrie.
+
+Eine Symmetrieprojektion
+
+ist ebenfalls
+
+eine lineare Operation.
+
+Nämlich
+
+[
+P_\lambda
+=========
+
+\int_G
+\chi_\lambda(g)^*
+R(g),dg.
+]
+
+Sie ist nichts anderes als ein weiterer Projektor auf den Tensor.
+
+---
+
+Damit wird plötzlich alles vereinheitlicht.
+
+Du hast
+
+```text
+Full Bloch tensor
+        │
+ ┌──────┼────────────┐
+ │      │            │
+slice unfold     symmetry projection
+ │      │            │
+ │      │            │
+Shadow map     symmetry block
+```
+
+Das finde ich konzeptionell extrem stark.
+
+---
+
+# Und jetzt kommt der Punkt, an dem ich glaube, dass wir tatsächlich etwas Neues finden können.
+
+Bisher projiziert ihr
+
+auf
+
+* Sektoren,
+
+* Cluster,
+
+* Slices.
+
+Aber warum nicht
+
+gleichzeitig
+
+auf
+
+* Sektor
+
+UND
+
+* Isotyp?
+
+Die beiden Projektoren kommutieren nämlich in vielen interessanten Fällen.
+
+Beispielsweise bei kollektiven Symmetrien respektiert die Gruppenwirkung die Anzahl aktiver Parteien in einem Cluster, sodass die kombinatorische Sektorzerlegung und die isotypische Zerlegung kompatibel sein können. Dann erhält man nicht nur Blöcke (M_{V\to T}), sondern deren weitere Zerlegung nach Irreps.
+
+Das wäre mathematisch eine **gemeinsame Verfeinerung zweier orthogonaler Gradierungen**.
+
+Und jetzt kommt der wichtige Punkt:
+
+Das ist **kein neues Paper**.
+
+Das ist eine unmittelbare Konsequenz deiner jetzigen Konstruktion.
+
+---
+
+## Ich würde deshalb den nächsten mathematischen Schritt genau hier machen.
+
+Nicht neue Beispiele.
+
+Nicht U(1).
+
+Sondern den folgenden Satz prüfen:
+
+> **Wann kommutieren die Sektorprojektoren (P_V) und die Isotypenprojektoren (P_\lambda)?**
+
+Denn wenn sie kommutieren,
+
+bekommt man automatisch
+
+[
+V
+=
+
+\bigoplus_{V,\lambda}
+V_{V,\lambda}.
+]
+
+Dann zerlegt sich die Shadow Map gleichzeitig nach
+
+* beteiligten Parteien
+
+und
+
+* Symmetriekanal.
+
+---
+
+### Warum ich das für vielversprechend halte
+
+Das ist **keine zusätzliche Theorie**, sondern eine direkte Verbindung zwischen zwei bereits vorhandenen Teilen des Manuskripts:
+
+* Die kombinatorische Sektorzerlegung aus Sections 2–4.
+* Die representationstheoretische Zerlegung aus Section 5.
+
+Wenn diese beiden Strukturen kompatibel sind (oder wir präzise charakterisieren können, wann sie es sind), dann erhält die Symmetrie-Section einen viel stärkeren Platz im Gesamtpapier: Sie ist dann keine "zusätzliche Anwendung von Schur", sondern eine **Verfeinerung derselben Tensorarchitektur**, die Section 6 ohnehin als zentrales Konzept etabliert. Ich halte das im Moment für den mathematisch interessantesten Ansatz, den wir verfolgen können.
+
+
+---
+
+> Ok, mach das. Schau, wann sie kommutieren.
+
+---
+
+Ja. Jetzt sind wir an einem Punkt, wo sich entscheiden wird, ob daraus wirklich ein neuer mathematischer Satz wird oder nur eine hübsche Bemerkung. Ich habe das einmal sauber durchdacht.
+
+Die gute Nachricht ist: **die Antwort hängt nicht vom Zustand ab**, sondern ausschließlich davon, **wie die Gruppe wirkt**.
+
+---
+
+# 1. Was sind die beiden Projektoren überhaupt?
+
+Es gibt eigentlich zwei ganz verschiedene Zerlegungen.
+
+## (A) Sektorprojektoren
+
+Die Sektorzerlegung kommt von
+
+[
+\mathcal V_S
+============
+
+\bigoplus_{V\subseteq S}\mathcal V_V.
+]
+
+Dabei ist
+
+[
+\mathcal V_V
+]
+
+der Raum der Operatoren mit genau diesem Support.
+
+Der Projektor
+
+[
+P_V
+]
+
+ist also nichts anderes als
+
+> "werfe alle Operatoren weg, deren Support nicht genau (V) ist."
+
+Das ist vollständig kombinatorisch.
+
+---
+
+## (B) Isotypenprojektoren
+
+Für eine Gruppenwirkung
+
+[
+R(g)
+]
+
+ist
+
+[
+P_\lambda
+=========
+
+d_\lambda
+\int_G
+\chi_\lambda(g)^*
+R(g),dg.
+]
+
+Dieser Projektor mischt im Allgemeinen alle Operatoren.
+
+Er hat zunächst überhaupt nichts mit Support zu tun.
+
+---
+
+# 2. Wann kommutieren sie?
+
+Gesucht ist
+
+[
+P_VP_\lambda
+============
+
+P_\lambda P_V.
+]
+
+Das ist genau dann der Fall, wenn
+
+[
+R(g)\mathcal V_V
+\subseteq
+\mathcal V_V
+]
+
+für alle (g).
+
+Denn dann bleibt jeder Sektor invariant.
+
+Und genau dann kommutiert jeder Spektralprojektor mit dem Sektorprojektor.
+
+Das ist ein Standardsatz der linearen Algebra.
+
+---
+
+# 3. Ist das bei uns erfüllt?
+
+Jetzt wird es interessant.
+
+Schauen wir die kollektive Wirkung an.
+
+Sie lautet
+
+[
+R(g)
+====
+
+\bigotimes_{a\in S}
+\operatorname{Ad}_{U_g}.
+]
+
+Jeder lokale Faktor
+
+[
+I,X,Y,Z
+]
+
+wird wieder auf
+
+[
+I,X,Y,Z
+]
+
+abgebildet.
+
+Aber
+
+**ganz wichtig**
+
+[
+I
+]
+
+bleibt
+
+[
+I.
+]
+
+Das ist der springende Punkt.
+
+Denn deshalb gilt
+
+[
+I
+\mapsto
+I,
+]
+
+während
+
+[
+\operatorname{span}{X,Y,Z}
+]
+
+in sich rotiert.
+
+---
+
+Dadurch ändert sich niemals,
+
+an welchen Stellen
+
+Identitäten stehen.
+
+Also bleibt der Support erhalten.
+
+---
+
+Damit gilt
+
+[
+R(g)\mathcal V_V
+================
+
+\mathcal V_V.
+]
+
+Für jeden Support.
+
+Und damit folgt sofort
+
+[
+P_VP_\lambda
+============
+
+P_\lambda P_V.
+]
+
+---
+
+# Das ist bereits ein kleiner Satz.
+
+> **Proposition.**
+>
+> Let the symmetry act locally by the adjoint representation.
+> Then every correlation-order sector is invariant under the induced group action.
+> Consequently, the support projectors commute with all isotypic projectors.
+
+Ich glaube nicht, dass dieser Satz explizit im Paper steht.
+
+---
+
+# 4. Aber jetzt kommt die eigentliche Überraschung.
+
+Ich glaube,
+
+das gilt **viel allgemeiner**.
+
+Warum?
+
+Der Support wird genau dann erhalten,
+
+wenn
+
+[
+I
+]
+
+ein eigener invarianter Summand ist.
+
+Mit anderen Worten
+
+der lokale Operatorraum zerfällt als
+
+[
+\mathbb C I
+\oplus
+\mathfrak{su}(d),
+]
+
+und die Gruppenwirkung respektiert diese Zerlegung.
+
+Genau das tun **alle lokalen Unitarysymmetrien**.
+
+---
+
+Also ist der Satz nicht speziell für SU(2).
+
+Nicht speziell für U(1).
+
+Nicht speziell für Stabilizer.
+
+Sondern für jede lokale Adjungiertenwirkung.
+
+---
+
+# 5. Das hat Konsequenzen.
+
+Die Shadow Map zerfällt nicht nur nach
+
+[
+V\rightarrow T.
+]
+
+Sondern
+
+[
+(V,\lambda)
+\rightarrow
+(T,\lambda).
+]
+
+Das heißt,
+
+jede Blockmatrix
+
+[
+M_{V,T}
+]
+
+zerfällt weiter als
+
+[
+M_{V,T}
+=======
+
+\bigoplus_\lambda
+I_{d_\lambda}\otimes
+A_{V,T,\lambda}.
+]
+
+Das finde ich ziemlich elegant.
+
+Denn jetzt greifen
+
+deine beiden wichtigsten Zerlegungen
+
+ineinander.
+
+---
+
+# 6. Und jetzt werde ich vorsichtig.
+
+Hier kommt der Punkt, an dem wir **nicht raten** dürfen.
+
+Es gibt nämlich eine Voraussetzung, die wir sauber formulieren müssen:
+
+> Die Gruppenwirkung darf **keine Identität in traceless Operatoren mischen**.
+
+Für Unitary-Konjungation ist das klar:
+
+[
+U I U^\dagger = I.
+]
+
+Aber für allgemeinere lineare Symmetrien wäre das falsch.
+
+Also muss der Satz explizit auf **lokale Adjungiertenwirkungen** formuliert werden.
+
+---
+
+# 7. Ich glaube, daraus kann man tatsächlich eine Proposition machen.
+
+Etwa:
+
+> **Proposition (Compatibility of sector and symmetry decompositions).**
+> Let (G) act locally by conjugation on each subsystem. Then every correlation-order sector is (G)-invariant. Hence the sector projectors commute with the isotypic projectors, yielding a simultaneous decomposition
+> [
+> \mathcal V_S
+> ============
+>
+> \bigoplus_{V\subseteq S}
+> \bigoplus_\lambda
+> \mathcal V_{V,\lambda}.
+> ]
+
+## Und jetzt kommt der Teil, den ich für wirklich spannend halte.
+
+Ich glaube, das ist **nicht nur eine hübsche Ergänzung**, sondern genau die Brücke zwischen der ersten Hälfte und der zweiten Hälfte des Papers.
+
+Bisher existieren im Manuskript zwei "Welten":
+
+* die **kombinatorische Welt** der Korrelationssektoren,
+* die **representationstheoretische Welt** der Isotypen.
+
+Diese Proposition zeigt, dass sie **nicht konkurrieren**, sondern **orthogonale Gradierungen desselben Operatorraums** sind. Genau deshalb kann die Shadow Map zuerst nach Korrelationsordnung und anschließend nach Symmetriekanälen zerlegt werden – oder umgekehrt.
+
+Ich würde als nächsten Schritt versuchen, diesen Satz **aus den vorhandenen Definitionen und Propositionen formal zu beweisen**. Ich bin ehrlich gesagt optimistisch, dass der Beweis nur wenige Zeilen lang ist und sich ohne zusätzliche Voraussetzungen in den bestehenden Text einfügen lässt. Das wäre aus meiner Sicht eine echte mathematische Verbesserung des Papers, nicht nur eine neue Interpretation.
+
+
 ---
 
 > 
@@ -980,3 +5512,65 @@ Ich hätte sogar Lust, das wirklich systematisch zu machen – fast wie ein geme
 
 ---
 
+> 
+
+---
+
+
+
+---
+
+> 
+
+---
+
+
+
+---
+
+> 
+
+---
+
+
+
+---
+
+> 
+
+---
+
+
+
+---
+
+> 
+
+---
+
+
+
+---
+
+> 
+
+---
+
+
+
+---
+
+> 
+
+---
+
+
+
+---
+
+> 
+
+---
+
+
+
diff --git a/agent_discussions/2026-07-12_20_claude_fritzchen.md b/agent_discussions/2026-07-12_20_claude_fritzchen.md
index e69de29..7b149e0 100644
--- a/agent_discussions/2026-07-12_20_claude_fritzchen.md
+++ b/agent_discussions/2026-07-12_20_claude_fritzchen.md
@@ -0,0 +1,354 @@
+> Ergeben die drei Dokumente Sinn? Wie gehören sie zusammen?
+
+---
+
+Ja, die drei Dokumente ergeben Sinn – sie bilden eine klare redaktionelle Kette: **Hauptartikel → vorgeschlagene Erweiterung → Korrektur an dieser Erweiterung.** Aber es gibt ein paar Stellen, an denen die Teile beim Zusammenfügen noch nicht sauber ineinandergreifen.
+
+## Wie sie zusammenhängen
+
+**Dokument 1** (`symmetric_shadow_maps_formal.tex`) ist der eigentliche Artikel: Er definiert die Shadow Maps $\mathcal M_a$, $\mathcal M_S$, beweist die Cut-Separability-Schranke $\|\mathcal M_S(\rho)\|_*\le1$ und berichtet mehrere numerische Entartungen als bloße Beobachtungen – z.B. dass $\mathcal M_a(\mathrm{GHZ}_3)$ drei gleiche Singulärwerte hat, dass der Smolin-Zustand unter $1|3$- und $2|2$-Schnitten dieselbe Struktur zeigt, und dass alle 38 Vier-Qubit-Graphzustände denselben Wert $6/\sqrt7$ liefern.
+
+**Dokument 2** ("Section on states with symmetries") ist ein vorgeschlagener neuer Abschnitt, der genau diese Beobachtungen *erklären* soll: Er führt eine gruppentheoretische (isotypische) Verfeinerung der Sektor-Graduierung ein und zeigt per Schur-Lemma, dass $G$-Invarianz von $\rho$ die Shadow Map blockdiagonal macht. Im Remark zur "no universal sharpening" wird dann behauptet, der Einzelfall mit nur einer isotypischen Komponente – konkret: ein einzelnes Qubit als Quelle, dessen Bloch-Raum unter kollektivem $SU(2)$ irreduzibel ist – sei genau der Mechanismus hinter den GHZ$_3$- und Smolin-Entartungen.
+
+**Dokument 3** ("Correction on symmetric states") korrigiert genau diese eine Passage. Die Kernaussage: GHZ$_3$ und der Smolin-Zustand sind gar nicht $SU(2)$-invariant unter kollektiven Rotationen (das lässt sich leicht nachrechnen – schon eine reine $Z$-Kollektivdrehung zerstört GHZ$_3$ als Dichtematrix), also greift Dokument 2s Voraussetzung ("$\rho$ ist $G$-invariant") für diese Beispiele gar nicht. Der tatsächliche Grund für die Entartung ist rein kombinatorisch: Beide Zustände sind Pauli-diagonale Stabilizer-Zustände, und Dokument 3 liefert dafür ein sauberes $\mathbb F_2$-lineares Argument (Stabilizer-Untergruppe, Faserstruktur von $\varphi,\psi$), das die exakten Entartungsgrade erzwingt – unabhängig von jeder Lie-Gruppen-Struktur. Das ist ein berechtigter Fix: Die in Dokument 2 zitierte Erklärung war für genau die Beispiele, an denen sie demonstriert wurde, nicht anwendbar.
+
+## Was vor dem Einbau noch zu klären ist
+
+1. **Fehlendes Label bricht die Kompilierung.** Dokument 2 referenziert `\ref{thm:cut-bound}` (zweimal). Ich habe im Quelltext nachgesehen: Das erste Theorem in Dokument 1 (Abschnitt "Cut-separable states") hat gar kein `\label` – nur die zugehörige Gleichung trägt `\label{eq:cut-bound}`. Das sieht nach einem simplen Versehen aus (Label für die Gleichung gesetzt, für den Satz selbst vergessen) und lässt sich leicht beheben, indem man `\label{thm:cut-bound}` direkt nach `\begin{theorem}` in Zeile 180 ergänzt. Alle übrigen Querverweise aus Dokument 2 (`sec:multiparty-sources`, `cor:sub-block`, `sec:tensor-viewpoint`, `thm:cluster-cut` usw.) existieren bereits korrekt in Dokument 1, und Dokument 2s eigene neue Labels kollidieren mit keinem bestehenden.
+
+2. **Platzierung von Dokument 2 im Artikel.** Der Text setzt bereits den Abschnitt "The tensor viewpoint" (`sec:tensor-viewpoint`) als bekannt voraus ("… discussed in the closing remark of Section~\ref{sec:tensor-viewpoint}"). Der natürliche Einfügeort ist also ein neuer Abschnitt zwischen "The tensor viewpoint" und "Outlook", nicht direkt nach "Multi-party sources".
+
+3. **Zahlenmäßige Nachprüfung von Dokument 3 steht noch aus.** Ich habe die Rechnung selbst nachvollzogen (GHZ$_3$-Stabilizergruppe, Faserstruktur) und Dokument 3s Grundmechanismus – Faktorgröße $|\ker\varphi|$ als erzwungene Zeilennorm – bestätigt sich strukturell. Aber zwei Dinge passen nicht ohne Weiteres zu Dokument 1s eigenen Zahlen:
+   - Für den Smolin-Zustand schreibt das Korollar in Dokument 3 "$4$ Singulärwerte gleich $0{,}25$", obwohl aus $|\mathrm{im}\,\varphi|-1$ (wie im GHZ-Beispiel direkt daneben korrekt vorgerechnet) eigentlich $4-1=3$ folgen sollte – vermutlich ein Zahlendreher.
+   - Die Umrechnungsvorschrift "durch $2^{n/2}$ teilen, um an die im Artikel verwendete Konvention anzuschließen" liefert bei genauem Nachrechnen weder für GHZ$_3$ ($0{,}5$ statt der in Dokument 1 stehenden $\sqrt{2/3}\approx0{,}816$) noch für Smolin ($0{,}25$ statt $1/\sqrt7\approx0{,}378$) tatsächlich Dokument 1s Werte. Da geht offenbar noch eine Umrechnung zwischen der reinen $\sigma$-String-Normierung und der in Dokument 1 verwendeten $(d_a-1)(d_{\bar a}-1)$-Normierung verloren. Das würde ich vor dem Einbau explizit nachrechnen, bevor die Formel als "identisch mit Theorem~1" behauptet wird.
+
+4. **Formaler Zustand von Dokument 3.** Es ist erkennbar ein Entwurf/eine Nachricht eines Koautors ("Ersatztext … in eurem Stil, direkt einsetzbar", plus deutsche Erläuterungen am Ende) und nicht fertig integrierter Fließtext. Die beiden Schlussanmerkungen sollten vor der Einbindung entweder gestrichen oder in eigene Sätze im Artikelstil umgewandelt werden – inhaltlich sind sie aber nützlich (sie benennen explizit, dass das $\mathbb F_2$-Argument nur für Pauli-diagonale Zustände gilt und für nicht-diagonale symmetrische Zustände weiterhin Dokument 2s Schur-Argument die einzige verfügbare Aussage bleibt – das sollte im Endtext so auch stehen bleiben).
+
+**Kurzfassung:** Die Blaupause ist stimmig und die inhaltliche Korrektur in Dokument 3 ist berechtigt und wissenschaftlich sinnvoll – aber vor dem Zusammenführen fehlt ein Label in Dokument 1, und die konkreten Zahlenwerte in Dokument 3 sollten noch einmal gegen Dokument 1s eigene Rechnungen (GHZ$_3$, Smolin) abgeglichen werden, bevor sie als exakt übereinstimmend behauptet werden.
+
+---
+
+> Ergeben die drei Dokumente Sinn? Wie gehören sie zusammen?
+
+---
+
+Ja – kurz zusammengefasst, wie beim letzten Mal:
+
+**Die Kette:** Dokument 1 ist der Artikel selbst (Shadow-Maps, Cut-Separability-Schranke, numerische Beobachtungen wie die dreifache Entartung bei GHZ$_3$ und Smolin). Dokument 2 ist ein vorgeschlagener neuer Abschnitt, der diese Entartungen gruppentheoretisch erklären will (Schur-Lemma, isotypische Zerlegung unter $SU(2)$). Dokument 3 korrigiert eine konkrete Stelle in Dokument 2: Die dort behauptete $SU(2)$-Erklärung passt gar nicht zu den verwendeten Beispielzuständen (GHZ$_3$, Smolin sind schlicht nicht $SU(2)$-invariant), und liefert stattdessen den tatsächlich zutreffenden Mechanismus – ein kombinatorisches $\mathbb F_2$-Argument über Stabilizer-Zustände.
+
+**Drei offene Punkte vor dem Zusammenführen**, falls du konkret dabei bist, die Dokumente zu verschmelzen:
+
+1. Dokument 2 zitiert `\ref{thm:cut-bound}`, aber dieses Label existiert in Dokument 1 nicht (nur `eq:cut-bound` für die Gleichung, nicht für den Satz selbst) – muss ergänzt werden, sonst kompiliert es nicht.
+2. Dokument 3 enthält einen vermutlichen Zahlendreher ("4 Singulärwerte" beim Smolin-Zustand, wo nach demselben Muster wie beim GHZ-Beispiel eigentlich 3 herauskommen sollten) und die angegebene Umrechnung ("durch $2^{n/2}$ teilen") reproduziert die in Dokument 1 stehenden Werte ($\sqrt{2/3}$ bzw. $1/\sqrt7$) bei genauem Nachrechnen nicht exakt.
+3. Dokument 3 ist inhaltlich fertig, aber formal noch ein Rohentwurf (deutsche Randbemerkungen, "Ersatztext"-Rahmung) und müsste stilistisch angepasst werden.
+
+Möchtest du, dass ich direkt an einem der drei Punkte weiterarbeite – z. B. das fehlende Label ergänzen, die Smolin-Rechnung in Dokument 3 nachrechnen, oder Dokument 2+3 zu einem einbaufertigen LaTeX-Abschnitt zusammenführen?
+
+---
+
+> Erst smolin nachrechnen. Wäre Klasse!
+
+---
+
+Gute Nachricht: Ich habe die Smolin-Rechnung direkt nachvollzogen (per Hand über die Pauli-Algebra) – Dokument 1s Zahlen stimmen, und Dokument 3s Lemma stimmt auch, **aber** die Umrechnungsnote in Dokument 3 ("durch $2^{n/2}$ teilen") ist der Fehler. Hier die Herleitung.
+
+## Schritt 1: Welche Konvention benutzt Dokument 1 tatsächlich?
+
+Der Smolin-Zustand: $\rho_{\mathrm{Smo}}=\frac1{16}(I^{\otimes4}+X^{\otimes4}+Y^{\otimes4}+Z^{\otimes4})$.
+
+Direktes Nachrechnen der Korrelationstensor-Einträge $c_{i_1i_2i_3i_4}=\tr(\rho\,\sigma_{i_1}\otimes\sigma_{i_2}\otimes\sigma_{i_3}\otimes\sigma_{i_4})$ ergibt (über $\tr(\sigma_a\sigma_b)=2\delta_{ab}$, auch für $a=b=I$):
+
+$$c_{i_1i_2i_3i_4}=1 \text{ genau dann, wenn } i_1=i_2=i_3=i_4\in\{I,X,Y,Z\},\quad\text{sonst } 0.$$
+
+Es gibt also im *gesamten* Tensor nur drei nichttriviale Korrelationseinträge: $c_{XXXX}=c_{YYYY}=c_{ZZZZ}=1$.
+
+Jetzt teste ich, mit welcher Normierung Dokument 1s $\sqrt{2/3}$ (GHZ$_3$) bzw. $1/\sqrt7$ (Smolin) tatsächlich herauskommt. Zwei Kandidaten:
+
+- **(a) Voll orthonormierte Sektorbasis** (Norm jedes Zielbasisvektors $=\sqrt{d_{\bar a}}$, wie es die formale Definition in Abschnitt 2 nahelegt) → das ergibt für GHZ$_3$ und Smolin *nicht* die im Paper angegebenen Werte (ich habe das durchgerechnet, kommt auf $1/(2\sqrt3)$ bzw. $1/(4\sqrt7)$ raus – falsch).
+- **(b) Rohe $c$-Werte direkt als Matrixeinträge**, nur die *eine* globale Konstante $1/\sqrt{(d_a-1)(d_{\bar a}-1)}$ aus Gl. (combined-map) angewandt.
+
+Test mit (b) an GHZ$_3$: Zeile $X$ hat rohe Einträge $\langle XXX\rangle=1$ und $\langle XYY\rangle=-1$ → Zeilennorm $\sqrt{1^2+(-1)^2}=\sqrt2$. Nach $/\sqrt3$: $\sqrt{2/3}$ — **genau Dokument 1s Wert.** ✓
+
+Also: Dokument 1 verwendet in der Praxis Konvention **(b)**, nicht die literal-orthonormierte Version aus Abschnitt 2.
+
+## Schritt 2: Smolin damit direkt nachrechnen
+
+**1|3-Schnitt** ($S=\{A\}$, ein Qubit): Zeile $X$ (Quellindex $X$) hat genau einen nichttrivialen Eintrag, bei Zielmuster $(X,X,X)$, Wert $c_{XXXX}=1$. Zeilennorm $=1$. Analog für Zeilen $Y,Z$. Drei orthogonale Zeilen, Norm je $1$.
+
+Normierung: $(d_a-1)(d_{\bar a}-1)=1\times7=7\Rightarrow$ Singulärwerte $=1/\sqrt7$ je drei.
+
+$$\|\mathcal M_a(\rho_{\mathrm{Smo}})\|_*=\frac{3}{\sqrt7}\approx1.134.$$
+
+**Genau Dokument 1s Wert.** ✓
+
+**2|2-Schnitt** ($S=\{A,B\}$): analog, Diagonalstruktur $(x,x)\!\to\!(x,x)$ etc., drei Einträge Betrag 1, Normierung $\sqrt{3\times3}=3$:
+
+$$\|\mathcal M_{AB}(\rho_{\mathrm{Smo}})\|_*=1.$$
+
+**Auch exakt Dokument 1s Wert** (saturiert, verletzt nicht).
+
+## Schritt 3: Abgleich mit Dokument 3s Lemma
+
+Dokument 3s Lemma liefert die Zeilennorm als $\sqrt{|\ker\varphi|}$ – **in genau der rohen $\sigma$-Konvention (b)**, die Dokument 1 tatsächlich verwendet (die Lemma-Aussage arbeitet direkt mit $\tr(\rho_H\sigma_{\vec i})\in\{0,1\}$, keine zusätzliche Umskalierung der Basisvektoren).
+
+Für Smolin ist $\varphi$ bijektiv in beiden Schnitten ⟹ $|\ker\varphi|=1$ ⟹ Zeilennorm $=\sqrt1=1$ — **das ist bereits der richtige Wert**, ohne jede weitere Umrechnung! Teilt man danach nur noch durch Dokument 1s eigene globale Konstante $\sqrt{(d_S-1)(d_{S^c}-1)}$ ($=\sqrt7$ bzw. $=3$), kommt man exakt auf $1/\sqrt7$ bzw. $1/3$ – wie oben.
+
+**Damit ist klar:** Die Formel $\sqrt{|\ker\varphi|}$ selbst ist korrekt und reproduziert Dokument 1 exakt. Der Fehler steckt konkret in Dokument 3s eigener Fußnote *"divide by $2^{n/2}$ for the convention used elsewhere in this note"* — diese Division ist überflüssig/falsch und sollte ersatzlos gestrichen werden. (Sie war vermutlich der Versuch, zwischen der wörtlich-orthonormierten Konvention (a) und der tatsächlich benutzten Konvention (b) zu vermitteln – aber Dokument 1 nutzt eben (b) direkt.)
+
+## Schritt 4: Der "4 Singulärwerte"-Satz in Dokument 3
+
+Der Satz *"φ is bijective (|ker φ|=1), giving 4 singular values equal to $1/2^2=0.25$"* hat **zwei** Fehler:
+
+1. **Falsche Anzahl:** $|\mathrm{im}\,\varphi|-1=4-1=3$, nicht 4 — genau nach demselben Muster, das im GHZ$_3$-Beispiel direkt darüber korrekt verwendet wird.
+2. **Falscher Wert:** $0.25$ stammt aus der fehlerhaften $2^{n/2}$-Division. Richtig sind zwei *verschiedene* Werte (der Satz vermischt beide Schnitte in eine Zahl): $1/\sqrt7\approx0{,}378$ für den 1|3-Schnitt und $1/3\approx0{,}333$ für den 2|2-Schnitt.
+
+## Fazit
+
+Dokument 3s mathematischer Kern (die Stabilizer-Degenerationsformel $\sqrt{|\ker\varphi|}$) ist **korrekt** und passt **exakt** zu Dokument 1 – aber die Normierungs-Fußnote am Ende des Lemmas ist überflüssig/falsch und muss raus, und der Smolin-Beispielsatz im Korollar sollte ersetzt werden durch etwa:
+
+> *"For the Smolin state, every $1|3$ and $2|2$ cut: $\varphi$ is bijective ($|\ker\varphi|=1$), giving $3$ singular values, equal to $1/\sqrt7$ (for $1|3$) or $1/3$ (for $2|2$) after the paper's normalization $\sqrt{(d_S-1)(d_{S^c}-1)}$ — identical in structure across all four inequivalent cuts."*
+
+Soll ich als Nächstes GHZ$_3$ nochmal in derselben Weise gegenprüfen (ich hab's oben schon nebenbei verifiziert, könnte es aber sauber als zweiten Beleg ausschreiben), oder gleich den bereinigten Text für Dokument 3 fertig formulieren?
+
+---
+
+> Lass uns erst nochmal nachdenken. Wenn ich als Symmetrie nicht eine permutations Symmetrie habe,.sondern eine Rotationssymmetrie in bestimmten Parteien, könnten wir dann ähnliche Tricks anwenden? Also kontinuierliche Symmetrien?
+
+---
+
+Ja, absolut – und das ist sogar der interessantere, allgemeinere Fall. Lass mich das sauber auseinanderziehen, weil hier zwei verschiedene Dinge zusammenspielen, die man leicht verwechselt.
+
+## Der Mechanismus selbst ist gar nicht an Permutationen gebunden
+
+Dokument 2s Proposition~1 ("Exact block-diagonality") braucht nur:
+
+$$\rho \text{ ist invariant unter } g\mapsto\bigotimes_{a\in P} U_g^{(a)}, \quad g\in G,$$
+
+für **irgendeine** kompakte Gruppe $G$, die durch lokale Unitäre wirkt. $G=SU(2)$ mit Rotationen ist ein Spezialfall davon, genau wie $G=$ Permutationsgruppe. Der Beweis ist reines Schur-Lemma und ist der Gruppe gegenüber völlig agnostisch. Das heißt konkret:
+
+- $G$ muss **nicht** auf allen Parteien nichttrivial wirken. Du kannst $U_g$ auf einer Teilmenge $R\subseteq P$ kollektiv rotieren lassen und auf $P\setminus R$ die Identität wirken lassen — das ist eine völlig legitime Gruppenwirkung.
+- Die "Cut wird als Mengenpartition erhalten"-Bedingung ist dabei automatisch erfüllt, egal wie $R$ relativ zu $S\mid S^c$ liegt (auch wenn $R$ den Schnitt überspannt), weil lokale Unitäre nie ändern, welche Partei zu welcher Seite gehört.
+
+Der einzige Knackpunkt ist: **$\rho$ muss diese Symmetrie tatsächlich besitzen.** Genau daran ist Dokument 2s Original-Beispiel gescheitert — GHZ$_3$ und Smolin sind schlicht nicht $SU(2)$-invariant unter kollektiver Rotation (ich hatte das letztes Mal nachgerechnet: schon eine reine $Z$-Kollektivdrehung zerstört $\rho_{GHZ_3}$). Das ist kein Einwand gegen den *Mechanismus*, sondern nur gegen die *Beispielwahl*.
+
+## Wo Rotationssymmetrie tatsächlich greift
+
+Zustände, die wirklich $SU(2)$-invariant (kollektiv oder auf einer Teilmenge) sind:
+
+- **Werner-/isotrope Zustände**: $\rho = \int_G dg\, U_g^{\otimes n}\,\rho_0\,(U_g^{\otimes n})^\dagger$ — jeder getwirlte Zustand ist per Konstruktion $G$-invariant.
+- **Singulett-artige Zustände** (totalsymmetrisch bzw. -antisymmetrisch unter kollektiver Rotation).
+- **Mischungen über einen festen Gesamtspin-Sektor** (maximal gemischt innerhalb eines $J$-Multipletts) — Dicke-*Zustände* selbst sind das nicht (sie sind nur $J_z$-Eigenzustände, nicht $SU(2)$-invariant), aber eine gleichverteilte Mischung über ein ganzes Multiplett wäre es.
+
+## Die wirklich interessante Nuance: Singleton vs. Cluster
+
+Hier wird's spannend, und es verbindet sich direkt mit Dokument 1s eigener Struktur:
+
+Für eine **einzelne** Quell-Partei ($|S|=1$, ein Qubit) ist $\V_0^{(S)}=\mathbb R^3$ automatisch $SU(2)$-irreduzibel (Spin-1-Darstellung) — das ist reine Geometrie, unabhängig vom Zustand. Genau das nutzte Dokument 2 aus, um "automatische" dreifache Entartung zu behaupten. Aber diese Irreduzibilität ist in gewissem Sinn *billig*: Sie sagt nichts Neues, weil es bei $|S|=1$ ohnehin nur eine mögliche Isotype gibt — der Trick liefert dort strukturell nichts über die Blockstruktur, was man nicht schon wusste.
+
+**Rotierst du dagegen einen Cluster** $R$ mit $|R|\ge2$ Parteien kollektiv, wird's erst wirklich nichttrivial: Der Bloch-Raum $\V_0^{(R)}$ zerfällt via Clebsch-Gordan,
+$$\underbrace{\tfrac12\otimes\cdots\otimes\tfrac12}_{|R|} = \bigoplus_J m_J\cdot J,$$
+in **mehrere** Isotypen (z. B. für 2 Qubits: Spin-1 ⊕ Spin-0, sprich Triplett ⊕ Singulett). Dann bekommst du eine echte, nicht-triviale Blockdiagonalisierung von $\mathcal M_S(\rho)$ mit mehreren *verschiedenen* reduzierten Karten $A_\lambda$ — genau das, was Dokument 2s Bullet 2 ("Diagnostic resolution") eigentlich verspricht: Man kann dann unterscheiden, ob die Verletzung des Cut-Kriteriums im symmetrischen (Triplett-) oder antisymmetrischen (Singulett-) Kanal einer Zwei-Parteien-Quelle sitzt.
+
+Das koppelt sich sauber an Dokument 1s **bigraduierte Cluster-Shadow-Maps** $\mathcal M_S$ (Abschnitt 4) statt an die Singleton-Version $\mathcal M_a$ — die Cluster-Konstruktion existiert im Paper ja bereits, sie wurde bloß noch nie mit einer Symmetriegruppe kombiniert.
+
+## Eine zweite Variante: Symmetrie nur auf der Quellseite → Auswahlregeln statt Entartung
+
+Wenn $G$ nur auf $S$ nichttrivial wirkt und auf $S^c$ trivial bleibt, verlangt die Äquivarianzbedingung, dass $\widetilde{\mathcal M}_S(\rho)$ auf jeder Nicht-Trivial-Isotype von $\V_0^{(S)}$ verschwinden **muss** (ein äquivarianter Operator von einer nichttrivialen Darstellung in die triviale Darstellung ist zwangsläufig null). Das liefert keine Entartung, sondern **erzwungenes Verschwinden** bestimmter Quellen-Kanäle — im Prinzip dasselbe Phänomen, das man beim Smolin-Beispiel schon sieht (nur dort aus Pauli-Support-Gründen statt aus Darstellungstheorie).
+
+## Praktischer Bonus: der Twirl-Trick aus Dokument 2s eigenem Bullet 4
+
+Falls du unbedingt bei GHZ$_3$/Smolin bleiben willst: Dokument 2 erwähnt selbst schon den Ausweg. Bilde $T_G(\rho)$ (z. B. Twirl über kollektive Rotation eines Zwei-Qubit-Quellclusters), werte den Block-Kriterium darauf aus — Verletzung auf $T_G(\rho)$ zertifiziert Verschränkung von $\rho$ (lokale Twirls erhalten Separierbarkeit), mit dem üblichen einseitigen Caveat, dass ein negatives Ergebnis auf $T_G(\rho)$ nichts über $\rho$ aussagt.
+
+**Kurz:** Dein Ansatz funktioniert, ist mathematisch sauber im bestehenden Rahmen verankert, und ist sogar *reicher* als das, was Dokument 2 ursprünglich vorführen wollte — vorausgesetzt, man wählt Beispielzustände, die die behauptete Symmetrie auch wirklich besitzen, und geht (für echten Mehrwert) zu Cluster-Quellen mit $|S|\ge2$ über statt bei der trivialen Singleton-Irreduzibilität stehenzubleiben.
+
+Willst du, dass ich als Nächstes ein konkretes Zwei-Qubit-Cluster-Beispiel (Triplett/Singulett-Aufspaltung) durchrechne, um zu zeigen, wie die Blockstruktur numerisch aussieht?
+
+---
+
+> Kannst du kannst du den bereinigten text für die section aus Dokument 2 und 3 aufschreiben, noch ohne die Resultate aus dem letzten Take (kontinuierliche Symmetrien) einzubauen? Aber mit den anderen Korrekturen, die wir besprochen haben?
+
+---
+
+```latex
+% =====================================================================
+% Cleaned, merged section combining "Section on states with symmetries"
+% and "Correction on symmetric states".
+%
+% INTEGRATION NOTES (delete before final submission):
+% 1. Requires \label{thm:cut-bound} to be added to Theorem~1 in
+%    Section~\ref{sec:cut-separable} of the main file (currently only
+%    the equation eq:cut-bound is labeled, not the theorem itself).
+%    Locate:
+%       \begin{theorem}
+%       Let $\rho$ be separable across the cut $a\mid\bar a$. Then
+%    and change to:
+%       \begin{theorem}
+%       \label{thm:cut-bound}
+%       Let $\rho$ be separable across the cut $a\mid\bar a$. Then
+% 2. Suggested placement: as a new section directly after
+%    Section~\ref{sec:tensor-viewpoint} ("The tensor viewpoint") and
+%    before "Outlook", since the text below treats the tensor-viewpoint
+%    material as already established.
+% =====================================================================
+
+\section{Symmetry-adapted block decomposition of the shadow map}
+\label{sec:symmetry-blocks}
+
+The constructions of Sections~\ref{sec:response-maps}--\ref{sec:multiparty-sources} treat the sector grading $V\subseteq S$, $T\subseteq S^c$ as the only available organizing structure on either side of a cut. When $\rho$ carries an additional symmetry --- exactly, or after an appropriate twirl --- this grading can be refined further, along representation-theoretic rather than combinatorial lines. The refinement is worth having for four distinct reasons, which we state before developing the formal statements, since they motivate different parts of what follows and are not equally strong.
+
+\begin{itemize}
+\item \emph{Explanatory power.} Several numerical facts already reported in this note --- the triple degeneracy of the singular values of $\mathcal M_a$ for $\GHZ_3$ (Section~\ref{sec:qubit-numerics}), the triple degeneracy at the Smolin state under both the $1\mid3$ and $2\mid2$ cuts (Section~\ref{sec:multiparty-sources}), and the rigid common value across all $38$ four-qubit graph states --- have so far been recorded as numerical observations. The block-diagonality and stabilizer-support results below show that such degeneracies are not coincidental: they are forced exactly, by two complementary mechanisms depending on whether $\rho$ is symmetry-invariant in a representation-theoretic sense or Pauli-diagonal in a stabilizer sense. This converts a family of separately verified numerical facts into structural statements.
+\item \emph{Diagnostic resolution.} The sub-block witnesses of Corollary~\ref{cor:sub-block} resolve a violation only down to the level of \emph{which parties} are involved ($V,T$). A representation-theoretic decomposition, where applicable, resolves it further, down to \emph{which symmetry channel} within a fixed $(V,T)$ sector is responsible --- for instance, whether a two-party source correlation block is carrying its signal in a totally symmetric or in an antisymmetric combination of its constituents. This is invisible to the party-indexed grading alone.
+\item \emph{Computational cost.} For a source or target cluster respecting a symmetry group $G$, an isotypic decomposition replaces one singular value decomposition on the full sector space by several independent, much smaller singular value decompositions on the multiplicity spaces $M_\lambda$, whose dimensions grow far more slowly than the ambient sector dimension as the cluster size increases. This is the natural computationally tractable foothold for the symmetric sub-family of the higher-order tensor construction discussed in the closing remark of Section~\ref{sec:tensor-viewpoint}.
+\item \emph{A one-sided extension via twirling.} If $\rho$ itself lacks the relevant symmetry but a twirl $T_G(\rho)$ is cheap to evaluate, entanglement detected on $T_G(\rho)$ certifies entanglement of $\rho$ (twirling by local unitaries preserves separability), so a block-diagonal criterion can serve as an inexpensive pre-test, with the standard one-sided caveat that a negative result on $T_G(\rho)$ is uninformative about $\rho$.
+\end{itemize}
+
+What this refinement does \emph{not} deliver is a numerically sharper detection threshold: Remark~\ref{rem:no-universal-sharpening} below shows that no universal, state-independent improvement over Theorems~\ref{thm:cut-bound} and \ref{thm:cluster-cut} exists at the level of an individual representation-theoretic block, except in the single-isotype case where the improvement is one of concentration rather than of threshold value.
+
+\subsection*{Setup}
+
+Let $G$ be a compact group acting on the system by local unitaries, $g\mapsto \bigotimes_{a\in P}U_g^{(a)}$, and suppose $\rho$ is $G$-invariant: $(\bigotimes_a U_g^{(a)})\,\rho\,(\bigotimes_a U_g^{(a)})^\dagger=\rho$ for all $g\in G$. Fix a cut $S\mid S^c$ preserved by $G$ as a set partition, so that $G$ acts on $\V_0^{(S)}$ and on $\V_0^{(S^c)}$ separately, via the adjoint representations $\mathrm{Ad}^{(S)}_g$, $\mathrm{Ad}^{(S^c)}_g$. Decompose both traceless spaces into isotypic components,
+\begin{equation}
+\V_0^{(S)}=\bigoplus_\lambda M_\lambda^{(S)}\otimes V_\lambda,
+\qquad
+\V_0^{(S^c)}=\bigoplus_\lambda M_\lambda^{(S^c)}\otimes V_\lambda,
+\label{eq:isotypic-decomp}
+\end{equation}
+where $\lambda$ ranges over the irreducible representations of $G$ appearing on either side, $V_\lambda$ denotes a fixed model of the irreducible representation of dimension $d_\lambda$, and $M_\lambda^{(S)}$, $M_\lambda^{(S^c)}$ are the corresponding multiplicity spaces. This is exactly the same type of decomposition already used for the source and target sector gradings in Sections~\ref{sec:response-maps}--\ref{sec:multiparty-sources}, now taken with respect to a representation-theoretic rather than a combinatorial grading; the two coincide only in special cases.
+
+\begin{proposition}[Exact block-diagonality]
+\label{prop:block-diagonal}
+Under the hypotheses above, $\widetilde{\mathcal M}_S(\rho)$ is block diagonal with respect to the isotypic decomposition~\eqref{eq:isotypic-decomp}: writing $\Pi_\lambda^{(S^c)}$, $\Pi_\mu^{(S)}$ for the isotypic projections,
+\begin{equation*}
+\Pi_\lambda^{(S^c)}\,\widetilde{\mathcal M}_S(\rho)\,\Pi_\mu^{(S)}=0
+\qquad\text{whenever }\lambda\neq\mu,
+\end{equation*}
+exactly, not merely approximately or in a bound. Moreover, on the surviving diagonal blocks,
+\begin{equation}
+\widetilde{\mathcal M}_S(\rho)\big|_\lambda = A_\lambda\otimes\mathrm{id}_{V_\lambda}
+\label{eq:wigner-eckart}
+\end{equation}
+for a unique linear map $A_\lambda:M_\lambda^{(S)}\to M_\lambda^{(S^c)}$, the reduced shadow map at $\lambda$.
+\end{proposition}
+
+\begin{proof}
+$G$-invariance of $\rho$ gives $\mathrm{Ad}^{(S^c)}_g\,\widetilde{\mathcal M}_S(\rho)=\widetilde{\mathcal M}_S(\rho)\,\mathrm{Ad}^{(S)}_g$ for all $g$, i.e.\ $\widetilde{\mathcal M}_S(\rho)$ is a $G$-equivariant map between the two representations~\eqref{eq:isotypic-decomp}. Both claims are then Schur's lemma applied to the isotypic decomposition: equivariant maps vanish between inequivalent irreducible summands, and act as a fixed scalar multiple of the identity on the irreducible factor $V_\lambda$ within a matching pair, leaving exactly the freedom recorded in $A_\lambda$ on the multiplicity spaces.
+\end{proof}
+
+\subsection*{Exact formula and its consequence}
+
+\begin{proposition}[Reduced matrix element formula]
+\label{prop:reduced-formula}
+Let $\rho=T_G(\rho_S\otimes\sigma_{S^c})$ be the $G$-twirl of a product state across $S\mid S^c$, so $\rho$ is separable (a mixture, over $g\in G$, of product states) and $G$-invariant. Let $r^{(S)}\in\V_0^{(S)}$, $v_{S^c}\in\V_0^{(S^c)}$ be the traceless Bloch vectors of $\rho_S$, $\sigma_{S^c}$, with isotypic components $r_\lambda$, $v_\lambda$. Then
+\begin{equation}
+A_\lambda=\frac{1}{d_\lambda}\,\tilde v_\lambda\,\tilde r_\lambda^{\,T},
+\label{eq:reduced-element}
+\end{equation}
+where $\tilde r_\lambda$, $\tilde v_\lambda$ are $r_\lambda$, $v_\lambda$ reshaped as $(\dim M_\lambda^{(S)})\times d_\lambda$ and $(\dim M_\lambda^{(S^c)})\times d_\lambda$ matrices in a basis of $V_\lambda$ shared by both sides. Consequently,
+\begin{equation}
+\dim(V_\lambda)\,\norm{A_\lambda}_*\;\le\;\norm{r_\lambda}\,\norm{v_\lambda}.
+\label{eq:per-block-bound}
+\end{equation}
+\end{proposition}
+
+\begin{proof}
+For fixed $g$, the product term $(\mathrm{Ad}^{(S)}_g r^{(S)})(\mathrm{Ad}^{(S^c)}_g v_{S^c})^T$ (unnormalized) is rank one, exactly as in the proof of Theorem~\ref{thm:cluster-cut}. Averaging over $g$ and expanding both factors in the isotypic bases gives, by the Schur orthogonality relation $\int_G D^\lambda(g)_{cb}D^\lambda(g)_{da}\,dg=\tfrac1{d_\lambda}\delta_{cd}\delta_{ab}$ for the (real, orthogonal) irreducible matrix elements $D^\lambda$, exactly Eq.~\eqref{eq:reduced-element} on each isotypic block, with all cross-$\lambda$ contributions vanishing by the same orthogonality relation applied to inequivalent irreducibles. Equation~\eqref{eq:per-block-bound} then follows from the standard nuclear-norm bound $\norm{AB}_*\le\norm{A}_\fro\norm{B}_\fro$ applied to Eq.~\eqref{eq:reduced-element}, using $\norm{\tilde r_\lambda}_\fro=\norm{r_\lambda}$, $\norm{\tilde v_\lambda}_\fro=\norm{v_\lambda}$.
+\end{proof}
+
+\begin{corollary}[Consistency with the cut-separable bound]
+\label{cor:consistency}
+Under the hypotheses of Proposition~\ref{prop:reduced-formula},
+\begin{equation}
+\sum_\lambda \dim(V_\lambda)\,\norm{A_\lambda}_*
+\;\le\;
+\norm{r^{(S)}}\,\norm{v_{S^c}}
+\;\le\;
+\sqrt{(d_S-1)(d_{S^c}-1)},
+\label{eq:cs-recovery}
+\end{equation}
+the first inequality by Cauchy--Schwarz over $\lambda$ applied to Eq.~\eqref{eq:per-block-bound}, and the second by the correlation-sum identity used in Theorem~\ref{thm:cluster-cut}. By linearity and convexity of the nuclear norm, Eq.~\eqref{eq:cs-recovery} extends to arbitrary $G$-invariant separable states (finite or continuous mixtures of twirled product terms), recovering the bound of Theorem~\ref{thm:cluster-cut} through the block decomposition rather than around it.
+\end{corollary}
+
+\begin{remark}[No universal per-block sharpening, except by concentration]
+\label{rem:no-universal-sharpening}
+The first inequality in Eq.~\eqref{eq:cs-recovery} is generically strict: equality in Cauchy--Schwarz requires $\norm{r_\lambda}\propto\norm{v_\lambda}$ across all $\lambda$, which independently chosen $\rho_S,\sigma_{S^c}$ have no reason to satisfy. A direct numerical check on a twirled random product state gives $\norm{\mathcal M_S(\rho)}_*=0.429$ against the bound $\norm{r^{(S)}}\norm{v_{S^c}}=0.750$ from Eq.~\eqref{eq:cs-recovery} --- a strict, and generic, gap. Since Eq.~\eqref{eq:per-block-bound} bounds $\norm{r_\lambda}$ only by the global $\norm{r^{(S)}}^2\le d_S-1$, with no constraint on how the purity budget distributes across $\lambda$ for a generic $\rho_S$, no universal constant improving on $\sqrt{(d_S-1)(d_{S^c}-1)}$ holds for an individual block $\lambda$ in general.
+
+The exception is the case where $\V_0^{(S)}$ itself carries only a single isotypic component under $G$: then $r_\lambda=r^{(S)}$ trivially, the full purity budget sits in the one available block, and Eq.~\eqref{eq:per-block-bound} becomes
+\begin{equation*}
+\dim(V_\lambda)\,\norm{A_\lambda}_*\;\le\;\sqrt{(d_S-1)(d_{S^c}-1)},
+\end{equation*}
+numerically identical to Theorem~\ref{thm:cut-bound}, but now a statement about a matrix of size $\dim M_\lambda^{(S^c)}\times1$ rather than the full target space. This single-isotype case is a genuine sharpening of concentration, not of threshold, and applies whenever $\rho$ is actually $G$-invariant for a group under which the source side is irreducible. It does \emph{not}, however, apply to the two states used to motivate this section: $\GHZ_3$ and the Smolin state carry no continuous collective symmetry (a direct check shows both fail to be invariant already under a one-parameter collective rotation), so the representation-theoretic mechanism above is not the explanation for their observed degeneracies. The correct explanation for those two states, and more generally for any Pauli-diagonal state, is combinatorial rather than representation-theoretic, and is developed next.
+\end{remark}
+
+\subsection*{Exact degeneracy from stabilizer structure}
+
+The degeneracies recorded for $\GHZ_3$, the Smolin state, and all $38$ four-qubit graph states share no continuous symmetry of the kind used above. Their common origin is instead a discrete, combinatorial fact about \emph{Pauli-diagonal} states, requiring only elementary group theory over $\mathbb F_2$, and it is this mechanism --- not Proposition~\ref{prop:block-diagonal} --- that is responsible for every degeneracy reported in Sections~\ref{sec:multiparty-sources} and~\ref{sec:qubit-numerics}.
+
+\paragraph{Setup.} Identify each single-party Pauli index with $\mathbb F_2^2$ via $I\mapsto(0,0)$, $X\mapsto(1,0)$, $Y\mapsto(1,1)$, $Z\mapsto(0,1)$, so that an $n$-party Pauli string $\sigma_{\vec i}$ corresponds to $\vec i\in\mathbb F_2^{2n}$, and string multiplication (up to phase) becomes addition. Let $H\le\mathbb F_2^{2n}$ be an isotropic subgroup (i.e.\ its elements pairwise commute as operators) not containing $-I$, and let
+\[
+\rho_H \;=\; \frac{\Pi_H}{\operatorname{rank}\Pi_H}, \qquad \Pi_H=\frac{1}{|H|}\sum_{h\in H} h,
+\]
+the maximally mixed state on the joint $+1$-eigenspace of $H$ (a stabilizer code state; $\rho_H$ is pure iff $|H|=2^n$).
+
+\begin{lemma}[Support of a stabilizer-code state]
+\label{lem:code-support}
+$\operatorname{Tr}[\rho_H\,\sigma_{\vec i}] = \mathbb 1[\vec i\in H]$ for every $\vec i\in\mathbb F_2^{2n}$.
+\end{lemma}
+\begin{proof}
+For $\vec i\in H$: $\Pi_H\sigma_{\vec i}=\Pi_H$ since $h\Pi_H=\Pi_H$ for every $h\in H$, so $\operatorname{Tr}[\Pi_H\sigma_{\vec i}]=\operatorname{Tr}[\Pi_H]=\operatorname{rank}\Pi_H$, giving $\operatorname{Tr}[\rho_H\sigma_{\vec i}]=1$. For $\vec i\notin H$: either $\sigma_{\vec i}$ anticommutes with some $h\in H$, whence $\operatorname{Tr}[\Pi_H\sigma_{\vec i}]=\operatorname{Tr}[h\Pi_H\sigma_{\vec i}]=-\operatorname{Tr}[\Pi_H\sigma_{\vec i}h]=-\operatorname{Tr}[\Pi_H\sigma_{\vec i}]$ (using $h\Pi_H=\Pi_H$ and cyclicity), forcing it to vanish; or $\sigma_{\vec i}$ commutes with all of $H$ without belonging to it (a logical operator), in which case it acts as a nonzero-weight, traceless operator on the logical subspace on which $\rho_H$ restricts to a multiple of the identity, again giving zero.
+\end{proof}
+
+\begin{lemma}[Forced degeneracy of $\widetilde{\mathcal M}_S(\rho_H)$]
+\label{lem:stabilizer-degeneracy}
+Let $S\mid S^c$ be a cut and let $\varphi:H\to\mathbb F_2^{2|S|}$, $\psi:H\to\mathbb F_2^{2|S^c|}$ be the two restriction homomorphisms, so that $H\hookrightarrow \mathbb F_2^{2|S|}\times\mathbb F_2^{2|S^c|}$ via $h\mapsto(\varphi(h),\psi(h))$. If $\psi$ is injective, then every nonzero row of $\widetilde{\mathcal M}_S(\rho_H)$, expressed directly in the (non-orthonormal) raw Pauli-string basis $\{\sigma_{\vec i}\}$ on both sides --- the basis and normalization in which the correlation tensor $C_S(\rho)$ of Eq.~\eqref{eq:corr-tensor-def} and the combined shadow map $\mathcal M_S(\rho)$ of Definition~\ref{def:bigraduated} are actually computed --- has exactly $|\ker\varphi|$ nonzero entries, all of magnitude $1$, with pairwise disjoint column supports across distinct rows; consequently
+\[
+\widetilde{\mathcal M}_S(\rho_H) \text{ has exactly } |\operatorname{im}\varphi|-1 \text{ equal nonzero singular values, each } =\sqrt{|\ker\varphi|}.
+\]
+After the normalization of Eq.~\eqref{eq:bigraduated-map}, the singular values of $\mathcal M_S(\rho_H)$ are therefore
+\[
+\sqrt{\frac{|\ker\varphi|}{(d_S-1)(d_{S^c}-1)}},
+\]
+with multiplicity $|\operatorname{im}\varphi|-1$.
+\end{lemma}
+\begin{proof}
+By Lemma~\ref{lem:code-support}, the entry of $\widetilde{\mathcal M}_S(\rho_H)$ at row $\vec j\in\mathbb F_2^{2|S|}\setminus\{0\}$, column $\vec k$, is $1$ if $(\vec j,\vec k)\in H$ and $0$ otherwise. For fixed $\vec j\in\operatorname{im}\varphi$, the set $\{\vec k:(\vec j,\vec k)\in H\}$ is a coset of $\ker\varphi$ under the group structure of $H$ (standard fiber property of a homomorphism), hence has size $|\ker\varphi|$, giving the row weight and (since all entries are $\pm1$ in magnitude by Lemma~\ref{lem:code-support}) equal row norm $\sqrt{|\ker\varphi|}$ for every nonzero row. If rows for $\vec j\neq\vec j'$ shared a nonzero column $\vec k$, then $(\vec j,\vec k),(\vec j',\vec k)\in H$ would give $(\vec j-\vec j',0)\in H$ with $\vec j\neq\vec j'$, i.e.\ a nontrivial element of $\ker\psi$ --- excluded by injectivity of $\psi$. Rows are thus pairwise orthogonal with equal norm, hence (after normalizing) already the right singular vectors, and the singular values are all equal to the common row norm. The final rescaling is exactly the normalization already applied in Eq.~\eqref{eq:bigraduated-map}.
+\end{proof}
+
+\begin{corollary}
+\label{cor:stabilizer-examples}
+The Lemma applies uniformly to pure stabilizer states ($|H|=2^n$, including all graph states and $\GHZ_n$) and to uniform mixtures over a stabilizer code space with $|H|<2^n$ (including the Smolin state, $H=\{IIII,XXXX,YYYY,ZZZZ\}$). Injectivity of $\psi$ holds automatically whenever $H$ contains no element supported entirely on $S$ --- checkable by inspection of the generators, without any Lie-group input.
+
+For $\GHZ_3$ with $S=\{1\}$: $H=\{III,XXX,ZZI,ZIZ,IZZ,YYX,YXY,XYY\}$ (up to signs), $|\ker\varphi|=2$, $|\operatorname{im}\varphi|=4$, $(d_S-1)(d_{S^c}-1)=1\times3=3$, giving $3$ singular values equal to $\sqrt{2/3}$ --- exactly the value reported in Section~\ref{sec:qubit-numerics}.
+
+For the Smolin state, every $1\mid3$ and $2\mid2$ cut has $\varphi$ bijective ($|\ker\varphi|=1$), so $|\operatorname{im}\varphi|-1=3$ in both cases --- bijectivity of $\varphi$ holds for \emph{any} nonempty proper subset $S$ of the four legs given this particular $H$. This gives $3$ equal singular values throughout, with value
+\[
+\sqrt{\frac{1}{(d_S-1)(d_{S^c}-1)}}
+=
+\begin{cases}
+1/\sqrt7 & \text{for the } 1\mid3 \text{ cut } ((d_S-1)(d_{S^c}-1)=1\times7),\\[2pt]
+1/3 & \text{for the } 2\mid2 \text{ cut } ((d_S-1)(d_{S^c}-1)=3\times3),
+\end{cases}
+\]
+matching Section~\ref{sec:multiparty-sources} and Section~\ref{sec:qubit-numerics} exactly.
+\end{corollary}
+
+\begin{remark}
+The $y$-parity grading occasionally useful for real-in-the-computational-basis states is the special case $H=\{I^{\otimes n}\}$ acting trivially --- more precisely, it is not itself an instance of this Lemma but a compatible, coarser $\mathbb Z_2$-grading that commutes with any $H$-decomposition and can be applied on top of it without modification.
+\end{remark}
+
+\begin{remark}[Two complementary mechanisms]
+\label{rem:two-mechanisms}
+Proposition~\ref{prop:block-diagonal} and Lemma~\ref{lem:stabilizer-degeneracy} are complementary, not competing, and apply under disjoint hypotheses. The representation-theoretic mechanism applies whenever $\rho$ is genuinely $G$-invariant under some compact group $G$ acting by local unitaries and preserving the cut, regardless of whether $\rho$ is Pauli-diagonal; it says nothing about states, such as a generic finite-group-symmetric state built from a permutation representation, that are not Pauli-diagonal. The stabilizer mechanism applies whenever $\rho$ is (a uniform mixture over) a stabilizer code state, regardless of whether it possesses any continuous symmetry at all --- as is the case for $\GHZ_n$, the Smolin state, and every graph state used elsewhere in this note, none of which is invariant under a nontrivial continuous collective symmetry. In the (comparatively narrow) overlap where a state is both $G$-invariant for some continuous $G$ and Pauli-diagonal, both mechanisms apply and constrain the same block structure from different directions; outside that overlap, exactly one of the two is available, and it is this Lemma, not Proposition~\ref{prop:block-diagonal}, that accounts for every numerically observed degeneracy reported so far in this note.
+\end{remark}
+```
+
+---
+
+> 
+
+---
+
+
+
+---
+
diff --git a/agent_discussions/2026-07-12_20_claude_fritzchen_docs/Section_on_states_with_symmetries.md b/agent_discussions/2026-07-12_20_claude_fritzchen_docs/Section_on_states_with_symmetries.md
index e69de29..243ddaf 100644
--- a/agent_discussions/2026-07-12_20_claude_fritzchen_docs/Section_on_states_with_symmetries.md
+++ b/agent_discussions/2026-07-12_20_claude_fritzchen_docs/Section_on_states_with_symmetries.md
@@ -0,0 +1,92 @@
+\section{Symmetry-adapted block decomposition of the shadow map}
+\label{sec:symmetry-blocks}
+ 
+The constructions of Sections~\ref{sec:response-maps}--\ref{sec:multiparty-sources} treat the sector grading $V\subseteq S$, $T\subseteq S^c$ as the only available organizing structure on either side of a cut. When $\rho$ carries an additional symmetry --- exactly, or after an appropriate twirl --- this grading can be refined further, along representation-theoretic rather than combinatorial lines. The refinement is worth having for four distinct reasons, which we state before developing the formal statements, since they motivate different parts of what follows and are not equally strong.
+ 
+\begin{itemize}
+\item \emph{Explanatory power.} Several numerical facts already reported in this note --- the triple degeneracy of the singular values of $\mathcal M_a$ for $\GHZ_3$ (Section~\ref{sec:qubit-numerics}), the triple degeneracy at the Smolin state under both the $1\mid3$ and $2\mid2$ cuts (Section~\ref{sec:multiparty-sources}), and the rigid common value across all $38$ four-qubit graph states --- have so far been recorded as numerical observations. Proposition~\ref{prop:block-diagonal} below shows that such degeneracies are not coincidental: whenever the source side of a cut is symmetry-irreducible (offers only one isotypic component under the relevant group), the corresponding degeneracy is forced. This converts a family of separately verified numerical facts into one structural statement.
+\item \emph{Diagnostic resolution.} The sub-block witnesses of Corollary~\ref{cor:sub-block} resolve a violation only down to the level of \emph{which parties} are involved ($V,T$). The isotypic decomposition resolves it further, down to \emph{which symmetry channel} within a fixed $(V,T)$ sector is responsible --- for instance, whether a two-party source correlation block is carrying its signal in a totally symmetric or in an antisymmetric combination of its constituents. This is invisible to the party-indexed grading alone.
+\item \emph{Computational cost.} For a source or target cluster respecting a symmetry group $G$, the isotypic decomposition replaces one singular value decomposition on the full sector space by several independent, much smaller singular value decompositions on the multiplicity spaces $M_\lambda$, whose dimensions grow far more slowly than the ambient sector dimension as the cluster size increases. This is the natural computationally tractable foothold for the symmetric sub-family of the higher-order tensor construction discussed in the closing remark of Section~\ref{sec:tensor-viewpoint}.
+\item \emph{A one-sided extension via twirling.} If $\rho$ itself lacks the symmetry but a twirl $T_G(\rho)$ is cheap to evaluate, entanglement detected on $T_G(\rho)$ certifies entanglement of $\rho$ (twirling by local unitaries preserves separability), so the block-diagonal criterion below can serve as an inexpensive pre-test, with the standard one-sided caveat that a negative result on $T_G(\rho)$ is uninformative about $\rho$.
+\end{itemize}
+ 
+What this refinement does \emph{not} deliver is a numerically sharper detection threshold: Remark~\ref{rem:no-universal-sharpening} below shows that no universal, state-independent improvement over Theorems~\ref{thm:cut-bound} and \ref{thm:cluster-cut} exists at the level of an individual block, except in the single-isotype case where the improvement is one of concentration rather than of threshold value.
+ 
+\subsection*{Setup}
+ 
+Let $G$ be a compact group acting on the system by local unitaries, $g\mapsto \bigotimes_{a\in P}U_g^{(a)}$, and suppose $\rho$ is $G$-invariant: $(\bigotimes_a U_g^{(a)})\,\rho\,(\bigotimes_a U_g^{(a)})^\dagger=\rho$ for all $g\in G$. Fix a cut $S\mid S^c$ preserved by $G$ as a set partition, so that $G$ acts on $\V_0^{(S)}$ and on $\V_0^{(S^c)}$ separately, via the adjoint representations $\mathrm{Ad}^{(S)}_g$, $\mathrm{Ad}^{(S^c)}_g$. Decompose both traceless spaces into isotypic components,
+\begin{equation}
+\V_0^{(S)}=\bigoplus_\lambda M_\lambda^{(S)}\otimes V_\lambda,
+\qquad
+\V_0^{(S^c)}=\bigoplus_\lambda M_\lambda^{(S^c)}\otimes V_\lambda,
+\label{eq:isotypic-decomp}
+\end{equation}
+where $\lambda$ ranges over the irreducible representations of $G$ appearing on either side, $V_\lambda$ denotes a fixed model of the irreducible representation of dimension $d_\lambda$, and $M_\lambda^{(S)}$, $M_\lambda^{(S^c)}$ are the corresponding multiplicity spaces. This is exactly the same type of decomposition already used for the source and target sector gradings in Sections~\ref{sec:response-maps}--\ref{sec:multiparty-sources}, now taken with respect to a representation-theoretic rather than a combinatorial grading; the two coincide only in the abelian, source-cluster-trivial special case worked out numerically at the start of this section.
+ 
+\begin{proposition}[Exact block-diagonality]
+\label{prop:block-diagonal}
+Under the hypotheses above, $\widetilde{\mathcal M}_S(\rho)$ is block diagonal with respect to the isotypic decomposition~\eqref{eq:isotypic-decomp}: writing $\Pi_\lambda^{(S^c)}$, $\Pi_\mu^{(S)}$ for the isotypic projections,
+\begin{equation*}
+\Pi_\lambda^{(S^c)}\,\widetilde{\mathcal M}_S(\rho)\,\Pi_\mu^{(S)}=0
+\qquad\text{whenever }\lambda\neq\mu,
+\end{equation*}
+exactly, not merely approximately or in a bound. Moreover, on the surviving diagonal blocks,
+\begin{equation}
+\widetilde{\mathcal M}_S(\rho)\big|_\lambda = A_\lambda\otimes\mathrm{id}_{V_\lambda}
+\label{eq:wigner-eckart}
+\end{equation}
+for a unique linear map $A_\lambda:M_\lambda^{(S)}\to M_\lambda^{(S^c)}$, the reduced shadow map at $\lambda$.
+\end{proposition}
+ 
+\begin{proof}
+$G$-invariance of $\rho$ gives $\mathrm{Ad}^{(S^c)}_g\,\widetilde{\mathcal M}_S(\rho)=\widetilde{\mathcal M}_S(\rho)\,\mathrm{Ad}^{(S)}_g$ for all $g$, i.e.\ $\widetilde{\mathcal M}_S(\rho)$ is a $G$-equivariant map between the two representations~\eqref{eq:isotypic-decomp}. Both claims are then Schur's lemma applied to the isotypic decomposition: equivariant maps vanish between inequivalent irreducible summands, and act as a fixed scalar multiple of the identity on the irreducible factor $V_\lambda$ within a matching pair, leaving exactly the freedom recorded in $A_\lambda$ on the multiplicity spaces.
+\end{proof}
+ 
+\subsection*{Exact formula and its consequence}
+ 
+\begin{proposition}[Reduced matrix element formula]
+\label{prop:reduced-formula}
+Let $\rho=T_G(\rho_S\otimes\sigma_{S^c})$ be the $G$-twirl of a product state across $S\mid S^c$, so $\rho$ is separable (a mixture, over $g\in G$, of product states) and $G$-invariant. Let $r^{(S)}\in\V_0^{(S)}$, $v_{S^c}\in\V_0^{(S^c)}$ be the traceless Bloch vectors of $\rho_S$, $\sigma_{S^c}$, with isotypic components $r_\lambda$, $v_\lambda$. Then
+\begin{equation}
+A_\lambda=\frac{1}{d_\lambda}\,\tilde v_\lambda\,\tilde r_\lambda^{\,T},
+\label{eq:reduced-element}
+\end{equation}
+where $\tilde r_\lambda$, $\tilde v_\lambda$ are $r_\lambda$, $v_\lambda$ reshaped as $(\dim M_\lambda^{(S)})\times d_\lambda$ and $(\dim M_\lambda^{(S^c)})\times d_\lambda$ matrices in a basis of $V_\lambda$ shared by both sides. Consequently,
+\begin{equation}
+\dim(V_\lambda)\,\norm{A_\lambda}_*\;\le\;\norm{r_\lambda}\,\norm{v_\lambda}.
+\label{eq:per-block-bound}
+\end{equation}
+\end{proposition}
+ 
+\begin{proof}
+For fixed $g$, the product term $(\mathrm{Ad}^{(S)}_g r^{(S)})(\mathrm{Ad}^{(S^c)}_g v_{S^c})^T$ (unnormalized) is rank one, exactly as in the proof of Theorem~\ref{thm:cluster-cut}. Averaging over $g$ and expanding both factors in the isotypic bases gives, by the Schur orthogonality relation $\int_G D^\lambda(g)_{cb}D^\lambda(g)_{da}\,dg=\tfrac1{d_\lambda}\delta_{cd}\delta_{ab}$ for the (real, orthogonal) irreducible matrix elements $D^\lambda$, exactly Eq.~\eqref{eq:reduced-element} on each isotypic block, with all cross-$\lambda$ contributions vanishing by the same orthogonality relation applied to inequivalent irreducibles. Equation~\eqref{eq:per-block-bound} then follows from the standard nuclear-norm bound $\norm{AB}_*\le\norm{A}_\fro\norm{B}_\fro$ applied to Eq.~\eqref{eq:reduced-element}, using $\norm{\tilde r_\lambda}_\fro=\norm{r_\lambda}$, $\norm{\tilde v_\lambda}_\fro=\norm{v_\lambda}$.
+\end{proof}
+ 
+\begin{corollary}[Consistency with the cut-separable bound]
+\label{cor:consistency}
+Under the hypotheses of Proposition~\ref{prop:reduced-formula},
+\begin{equation}
+\sum_\lambda \dim(V_\lambda)\,\norm{A_\lambda}_*
+\;\le\;
+\norm{r^{(S)}}\,\norm{v_{S^c}}
+\;\le\;
+\sqrt{(d_S-1)(d_{S^c}-1)},
+\label{eq:cs-recovery}
+\end{equation}
+the first inequality by Cauchy--Schwarz over $\lambda$ applied to Eq.~\eqref{eq:per-block-bound}, and the second by the correlation-sum identity used in Theorem~\ref{thm:cluster-cut}. By linearity and convexity of the nuclear norm, Eq.~\eqref{eq:cs-recovery} extends to arbitrary $G$-invariant separable states (finite or continuous mixtures of twirled product terms), recovering the bound of Theorem~\ref{thm:cluster-cut} through the block decomposition rather than around it.
+\end{corollary}
+ 
+\begin{remark}[No universal per-block sharpening, except by concentration]
+\label{rem:no-universal-sharpening}
+The first inequality in Eq.~\eqref{eq:cs-recovery} is generically strict: equality in Cauchy--Schwarz requires $\norm{r_\lambda}\propto\norm{v_\lambda}$ across all $\lambda$, which independently chosen $\rho_S,\sigma_{S^c}$ have no reason to satisfy. A direct numerical check on a twirled random product state gives $\norm{\mathcal M_S(\rho)}_*=0.429$ against the bound $\norm{r^{(S)}}\norm{v_{S^c}}=0.750$ from Eq.~\eqref{eq:cs-recovery} --- a strict, and generic, gap. Since Eq.~\eqref{eq:per-block-bound} bounds $\norm{r_\lambda}$ only by the global $\norm{r^{(S)}}^2\le d_S-1$, with no constraint on how the purity budget distributes across $\lambda$ for a generic $\rho_S$, no universal constant improving on $\sqrt{(d_S-1)(d_{S^c}-1)}$ holds for an individual block $\lambda$ in general.
+ 
+The exception is exactly the case relevant to Sections~\ref{sec:response-maps}--\ref{sec:multiparty-sources}: if $\V_0^{(S)}$ itself carries only a single isotypic component under $G$ --- as happens automatically for a singleton qubit source, whose traceless Bloch space is irreducible under collective $SU(2)$ --- then $r_\lambda=r^{(S)}$ trivially, the full purity budget sits in the one available block, and Eq.~\eqref{eq:per-block-bound} becomes
+\begin{equation*}
+\dim(V_\lambda)\,\norm{A_\lambda}_*\;\le\;\sqrt{(d_S-1)(d_{S^c}-1)},
+\end{equation*}
+numerically identical to Theorem~\ref{thm:cut-bound}, but now a statement about a matrix of size $\dim M_\lambda^{(S^c)}\times1$ rather than the full target space. This is precisely the mechanism forcing the triple degeneracies recorded for $\GHZ_3$ and the Smolin state: a single-isotype source leaves the reduced map $A_\lambda$ no room to be anything but a vector, so $\widetilde{\mathcal M}_S(\rho)$ can only ever have $\dim(V_\lambda)$ equal singular values, regardless of which particular symmetric state is chosen.
+\end{remark}
+ 
+\begin{remark}[Structural gradings beyond the chosen group]
+A numerical check on a state built from a real (in the computational basis) combination of permutation operators shows a further, unforced splitting inside a single $SU(2)$-isotypic block: sub-blocks distinguished by the parity of the number of $Y$-generators in the underlying Pauli string decouple exactly, because $\sigma_y^T=-\sigma_y$ forces $\tr(\rho\bigotimes_a\sigma_{i_a})=0$ whenever $\rho$ is real and the string contains an odd number of $y$-indices. This $\mathbb Z_2$ grading commutes with every construction in this note, costs nothing to check, and refines the block structure further whenever $\rho$ happens to be real in the chosen basis --- which holds for every graph state, $\GHZ_n$, $W_n$, Dicke state, and the Smolin state used elsewhere in this note.
+\end{remark}