87 lines
11 KiB
Markdown
87 lines
11 KiB
Markdown
|
> Ich habe die neue section zu symmetrischen zuständen hochgeladen, und eine Diskussion dazu. Was denkst du?
|
|||
|
|
|
|||
|
|
---
|
|||
|
|
|
|||
|
|
|
|||
|
|
Ich habe die neue Section und die Diskussion dazu gelesen. Meine Einschätzung deckt sich in den großen Linien mit dem, was in `discussion_symmeries` schon erarbeitet wurde – aber ich würde an ein paar Stellen andere Akzente setzen, und es gibt ein paar technische Punkte, die mir zusätzlich auffallen.
|
|||
|
|
|
|||
|
|
**Wo ich zustimme**
|
|||
|
|
|
|||
|
|
Die Kernbeobachtung der vorherigen Diskussion ist richtig: Es gibt zwei *verschiedene* Mechanismen für Singulärwert-Entartung, und keiner der bisherigen Zahlenbeispiele im Paper (GHZ₃, Smolin, die 38 Graphzustände) wird tatsächlich durch die Darstellungstheorie erklärt – sondern durch die Stabilizer-Struktur. Das ist der eigentliche Fund der Section, nicht Proposition 1. Das würde ich auch so sehen und genauso stark hervorheben wie schon vorgeschlagen.
|
|||
|
|
|
|||
|
|
**Wo ich einen anderen Akzent setzen würde**
|
|||
|
|
|
|||
|
|
Ich würde noch einen Schritt weiter gehen als die vorherige Diskussion: Wenn *keines* der im Paper verwendeten Beispiele den darstellungstheoretischen Mechanismus tatsächlich braucht (Remark~\ref{rem:no-universal-sharpening} sagt das ja explizit – GHZ₃ und Smolin sind nicht kontinuierlich symmetrisch), dann ist Proposition~\ref{prop:block-diagonal}/\ref{prop:reduced-formula} im Moment eher ein Angebot an hypothetische zukünftige Anwendungen als eine Erklärung von etwas, das im Paper vorkommt. Ich würde überlegen, das Gewicht umzukehren:
|
|||
|
|
|
|||
|
|
- Den Stabilizer-Mechanismus (Lemma 2, Corollary) nach vorne stellen und als Hauptresultat der Section verkaufen – er erklärt tatsächlich jede numerisch beobachtete Entartung im Paper, exakt und elementar (nur $\mathbb F_2$-Lineare Algebra, kein Schur-Lemma nötig).
|
|||
|
|
- Die darstellungstheoretische Konstruktion (Proposition 1/2, Corollary 1) knapper fassen oder sogar in einen Anhang schieben, mit einem Satz wie "falls $\rho$ zusätzlich eine kontinuierliche Kollektivsymmetrie besitzt, gilt zusätzlich…" – als Vollständigkeits-Ergänzung, nicht als tragendes Resultat.
|
|||
|
|
|
|||
|
|
Das würde auch das von der vorigen Diskussion erwähnte Problem des Niveauwechsels entschärfen: der $\mathbb F_2$-Teil ist konkret und im Duktus des restlichen Papers, der Darstellungstheorie-Teil ist der abstrakte Ausreißer.
|
|||
|
|
|
|||
|
|
**Technische Punkte, die mir zusätzlich auffallen**
|
|||
|
|
|
|||
|
|
1. Im Beweis von Lemma~\ref{lem:stabilizer-degeneracy} wird explizit in der "rohen" (nicht orthonormalen) Pauli-String-Basis gerechnet, während Proposition~\ref{prop:block-diagonal} in sektor-adaptierten *orthonormalen* Koordinaten arbeitet. Das ist kein Fehler – Pauli-Strings sind ja bereits orthogonal mit fester Norm $\mathrm{tr}(\sigma_i\sigma_j)=d\,\delta_{ij}$, also unterscheiden sich beide Basen nur durch eine globale Skalierung, die Singulärwerte bleiben davon unberührt bis auf genau den Normierungsfaktor, der am Ende explizit nachgezogen wird. Trotzdem würde ich einen Satz ergänzen, der das explizit sagt, sonst fragt sich ein aufmerksamer Leser, warum hier plötzlich die Basis wechselt.
|
|||
|
|
|
|||
|
|
2. Die Integrationsnotiz oben ("Requires \label{thm:cut-bound} to be added") ist inzwischen obsolet – sowohl in `symmetric_shadow_maps_formal.tex` als auch in `_formal_2.tex` trägt das Theorem das Label bereits. Die Notiz kann raus.
|
|||
|
|
|
|||
|
|
3. Label-Kollisionen: Ich habe die Labels der neuen Section (`prop:block-diagonal`, `prop:reduced-formula`, `cor:consistency`, `lem:code-support`, `lem:stabilizer-degeneracy`, `cor:stabilizer-examples`, `rem:no-universal-sharpening`, `rem:two-mechanisms`) gegen die bestehenden Labels im Hauptpaper geprüft – keine Überschneidung, sauber.
|
|||
|
|
|
|||
|
|
4. Die vorgeschlagene Platzierung (nach Section 8/Tensor-Viewpoint, vor Outlook) finde ich richtig, aber aus einem etwas anderen Grund als "chronologisch danach": die Tensor-Section etabliert erst die Sprache "eine Rang-1-Tatsache, viele lineare Blicke", und die Symmetrie-Section ist genau ein weiterer solcher linearer Blick (Isotypen-Projektion bzw. $\mathbb F_2$-Faserstruktur statt Sektor-Projektion). Das würde ich in der Einleitung der Section auch explizit so anschließen ("this is one further linear lens on the same object"), damit sie sich narrativ unterordnet statt als dritte große Erzählung neben Rang-1-Tensor und Trace-Norm-Kriterium zu stehen.
|
|||
|
|
|
|||
|
|
Soll ich einen konkreten Umbau-Vorschlag ausformulieren (Stabilizer-Mechanismus vorziehen, Darstellungstheorie-Teil straffen/in Anhang), oder lieber zuerst die Normierungs-Klarstellung in Lemma 2 als kleinen Patch einfügen?
|
|||
|
|
|
|||
|
|
---
|
|||
|
|
|
|||
|
|
|
|||
|
|
> 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)?
|
|||
|
|
|
|||
|
|
|