English

Selbstreferenzielle Dephasierung

Fixpunktstruktur der nichtlinearen Abbildung F(ρ) = Δρ(Φ(ρ))
Jona Heidsick

Diese Seite fasst die bewiesenen Resultate eines laufenden Forschungsprogramms zusammen. Aussagen beschränken sich auf formal Bewiesenes. Offene Probleme sind explizit aufgeführt.

Kernobjekt: Gegeben ein Quantenkanal Φ, definiere die nichtlineare Abbildung F(ρ) = Δρ(Φ(ρ)), wobei Δρ in der Spektralzerlegung des Eingangszustands ρ dephasiert. Die Nichtlinearität stammt ausschließlich aus der zustandsabhängigen Basiswahl.

Bewiesene Resultate

Maschinell geprüft (Coq, allgemeines d + unabhängig d=2, d=3)
Strikte Inklusion: Fix(Φ) ⊊ Fix(F)
Für Mischkanäle Φ(ρ) = (1-p)ρ + pσ mit nicht-diagonalem σ und paarweise verschiedenen Diagonaleinträgen erzeugt die selbstreferenzielle Schleife zusätzliche Fixpunkte für alle d ≥ 2. Zeuge: ρ* = diag(σ). Null Physikaxiome.
Maschinell geprüft (Coq, allgemeines d + unabhängig d=2)
Unitale Nicht-Erweiterung: Fix(F) = Fix(Φ)
Bei diagonalem σ ist jeder F-Fixpunkt auch Φ-Fixpunkt. Für σ = I/2 ist der einzige F-Fixpunkt der maximal gemischte Zustand.
Bewiesen
Primitive unitale Nicht-Erweiterung
Für jeden primitiven unitalen Kanal gilt Fix(F) = {I/d}. Schlüsselzutat: Primitivität plus Unitalität impliziert strikte Entropieproduktion S(Φ(ρ)) > S(ρ) für ρ ≠ I/d. Keine zusätzliche Hypothese nötig.
Bewiesen
Partielle Entropiemonotonie
S(F(ρ)) ≥ (1-p)S(ρ) + pS(σ) für Mischkanäle. Entropie steigt wenn S(ρ) ≤ S(σ). Globale Monotonie ist falsch (explizites Gegenbeispiel). F stabilisiert Entropie nahe S(ρ*), von beiden Seiten anziehend.
Bewiesen
Lokale Kontraktion
Nahe nicht-entarteter Fixpunkte konvergiert die Iteration Fn geometrisch, sofern die Lipschitz-Konstante von Φ plus der Dephasierungsstörungskonstante geteilt durch die Spektrallücke kleiner als 1 ist.
Bewiesen
Unstetigkeit bei entartetem Spektrum
F lässt sich nicht stetig auf Zustände mit entarteten Eigenwerten fortsetzen. Verschiedene Annäherungsrichtungen wählen verschiedene Grenz-Eigenbasen, sodass F an Entartungen natürlicherweise mengenwertig ist.

Konstruktion

  1. Ausgangspunkt: ein Quantenkanal Φ auf endlichdimensionalen Dichtematrizen.
  2. Definiere F(ρ) = Δρ(Φ(ρ)), wobei Δρ in der Eigenbasis von ρ dephasiert.
  3. Die Fixpunktgleichung F(ρ*) = ρ* bedeutet: der Kanalausgang, projiziert auf die eigene Eigenbasis des Zustands, gibt den Zustand zurück.
  4. Für nicht-unitale Mischkanäle erfüllt ρ* = diag(σ) diese Gleichung, ist aber kein Kanalfixpunkt.
  5. Die unitale/nicht-unitale Dichotomie bestimmt, ob zusätzliche Fixpunkte existieren.

Offene Probleme

Jenseits von Mischkanälen

Die strikte Inklusion ist für Mischkanäle in allen d ≥ 2 bewiesen. Erweiterung auf allgemeine CPTP-Abbildungen wird erwartet, ist aber unbewiesen.

Globale Ljapunov-Funktion

Partielle Entropiemonotonie ist bewiesen. Von-Neumann-Entropie ist nicht global monoton entlang F-Trajektorien. Der natürliche Kandidat D(ρ || ρ*) scheitert, weil die Datenverarbeitungsungleichung den falschen Referenzpunkt liefert: die Dephasierungsbasis hängt von ρ ab, nicht von ρ*.

Entartete Fixpunktstruktur

Die Mengenwertigkeit von F an entarteten Punkten ist etabliert, aber die entartete Fixpunktgleichung ("es existiert eine Spektralzerlegung mit F(ρ) = ρ") ist unerforscht.

Operationale Realisierung

Das Paper entwickelt eine strukturelle Verbindung zu Zureks Einselektion: F-Fixpunkte sind selbstkonsistente Zeigerzustände, deren Eigenbasis einen Zyklus aus Dynamik plus Selbstmessung überlebt. Eine rigorose Einbettung in die Messtheorie steht aus.

Falsifizierbarkeit

  1. Falls die strikte Inklusion sich nicht über Mischkanäle hinaus auf physikalisch relevante CPTP-Abbildungen erstreckt, ist die Konstruktion mathematisch korrekt aber physikalisch wirkungslos.
  2. Falls die unitale/nicht-unitale Dichotomie in realistischen Modellen nicht überlebt, bricht die strukturelle Aussage zur Nicht-Unitalität zusammen.
  3. Falls die Standard-Dekohärenztheorie dieselbe Fixpunktstruktur ohne den selbstreferenziellen Schritt erzeugt, fügt F keinen neuen Gehalt hinzu.

Zusammenfassung

Resultat: Für nicht-unitale Mischkanäle vergrößert selbstreferenzielle Dephasierung die Fixpunktmenge strikt für alle d ≥ 2 und stabilisiert Zustände auf einem charakteristischen Entropieniveau. Für primitive unitale Kanäle tut sie das nicht. Strikte Inklusion und unitale Dichotomie sind in Coq für allgemeines d maschinell geprüft, mit unabhängigen Gegenproben bei d=2 und d=3. Die Fixpunkte erlauben eine operationale Lesart als selbstkonsistente Zeigerzustände im Sinne der Einselektion.