Es gibt zwei rein symmetrische Zustände und von qudits. Gibt es einen bekannten Satz von Invarianten? was für beide Zustände gleich ist iff Für ein ?
Es gibt einen Satz von Hilbert, der besagt, dass es für eine kompakte Gruppe, die auf einem linearen Raum wirkt, eine endliche Anzahl von Polynominvarianten gibt, die Bahnen charakterisieren. Allerdings liefert es (soweit ich weiß) keine explizite Konstruktion der Invarianten.
Das Problem ist einfach, wenn (Schmidt-Zerlegung) und ( Majorana-Darstellung ). Teillösungen und Lösungen mit geänderten Annahmen (z. B. lineare Operatoren statt unitären Operationen) sind ebenfalls willkommen.
Dies ist ein Algorithmus zur Berechnung der homogenen Polynominvarianten im allgemeinen Fall, jedoch ohne jeglichen Versuch, die Komplexität des Algorithmus zu reduzieren. Der grundlegend benötigte Bestandteil des Algorithmus ist die Fähigkeit, über das Haar-Maß der Gruppe der lokalen Transformationen zu mitteln. Im Qubit-Fall ist es nur eine Integration über Kopien von SU(2). Aber selbst in den allgemeineren Fällen von kompakten Lie-Gruppen ist diese Aufgabe möglich, aber umständlich, siehe zum Beispiel die folgende Parametrisierung von SU(N) von: Bertini, Cacciatori, Cerchiai, die für die Integration verwendet werden kann.
Das Verfahren ist wie folgt:
Zuerst berechnet man die Molien-Funktion der Gruppe lokaler Transformationen (Die Wikipedia-Seite beschreibt den endlichen Gruppenfall, der auf kompakte Gruppen verallgemeinert werden kann):
Der Koeffizient von in der Taylorentwicklung von ist die Anzahl der linear unabhängigen homogenen Invarianten vom Grad n.
Da der Integrand eine Klassenfunktion ist, kann die Integration auf dem maximalen Torus mit der Weylschen Integrationsformel durchgeführt werden.
Nun konstruiert man für jeden Grad alle möglichen Kombinationen von Inavrianten niedrigeren Grades, und wenn diese Zahl die erforderliche Zahl aus der Molien-Reihe nicht erschöpft, werden die zusätzlichen Invarianten durch Mittelung von Monomen des erforderlichen Grades berechnet. Diese Operation beinhaltet die Integration über das Haar-Maß, die nicht auf eine Integration über den maximalen Torus reduziert werden kann, was der komplexeste Schritt im Algorithmus ist. Diese Operation wird wiederholt, bis eine ausreichende Anzahl linear unabhängiger Polynome erzeugt ist, dann geht man zum nächsten Grad über. Dieser Prozess wird fortgesetzt, bis die Gesamtzahl der Invarianten die Differenz zwischen der Dimension des Vektorraums und der lokalen Symmetriegruppe erreicht.
Praktischere Variationen dieses Verfahrens wurden verwendet, um Polynominvarianten für spezielle Fälle von Verschränkungsproblemen zu konstruieren, siehe zum Beispiel die folgende Arbeit von: Grassl, Rotteler und Beth.
Es scheint mir, dass der Stabilisatorformalismus eine Antwort auf Ihre Frage liefert (siehe Abschnitt 3.1 von quant-ph/0603226 für eine Einführung in den Formalismus). Angesichts der beiden Zustände nehmen Sie einfach die Stabilisatorgruppe für diesen zweidimensionalen Unterraum des gesamten Hilbert-Raums, und sie geben Ihnen einen solchen Satz von Invarianten. Dies hat jedoch natürlich nichts mit den von Ihnen betrachteten global symmetrischen Operationen zu tun und könnte mit jedem Zustandspaar durchgeführt werden. Da Sie jedoch innerhalb des symmetrischen Unterraums gehalten werden, stellt dies sicher, dass diese Stabilisatoren immer eine Beschreibung im schlimmsten Fall polynomisch in der Anzahl lokaler Systeme haben.
Wenn Sie weiter gehen und versuchen möchten, einen Satz von Invarianten zu finden, die Zustände eindeutig identifizieren, die bis zu dieser Form der global symmetrischen lokalen Operation äquivalent sind, dann haben Sie Pech. Dies liegt daran, dass die global symmetrische Menge von Produktzuständen den Raum symmetrischer Zustände überspannt und daher jeder global symmetrische Zustand als Überlagerung von global symmetrischen trennbaren Zuständen geschrieben werden kann.
Das heißt, ohne Festlegung der Zustände ist es unmöglich, eine Observable zu erzeugen, die zwischen den beiden Zuständen unveränderlich ist, sich aber über den Raum symmetrischer Zustände hinweg ändert. Somit hängen die einzigen existierenden Invarianten nur von der Symmetrie der Zustände ab.
UPDATE: Mir ist aufgefallen, dass Norbert und ich die Frage etwas anders interpretiert haben. Ich habe mich auf die Existenz von Observablen konzentriert, die für die LU-äquivalenten Zustände denselben Wert haben. Dies beantwortet effektiv die Frage, ob es eine Messung gibt, die diese Zustände von anderen symmetrischen Zuständen unterscheidet. Das Papier, auf das Norbert verweist, handelt von der mathematischen Struktur der Zustände und kann nicht mit einer einzigen Kopie des Zustandspaars getestet werden. Ich habe keine Ahnung, welche Einstellung Piotr im Sinn hatte (ich dachte ursprünglich, es wäre diese, aber Norberts Antwort hat mich veranlasst, diese Position zu überdenken).
Diese Frage scheint in diesem Beitrag behandelt zu werden:
http://arxiv.org/abs/1011.5229
(Bearbeiten: Mir ist gerade aufgefallen, dass dies auf Qubits beschränkt zu sein scheint, daher beantwortet es Ihre Frage wahrscheinlich nicht ...)
Aus Piotrs Kommentaren zu meiner anderen Antwort geht hervor, dass er eher nach einer Invariante der mathematischen Darstellung des Zustands sucht als nach einer Beobachtungsgröße, die unverändert bleibt. In diesem Fall ist die Antwort sehr unterschiedlich, und daher poste ich eine neue Antwort, anstatt die alte zu ersetzen (da dies bedeuten würde, sie vollständig neu zu schreiben, und die aktuelle Version für einige Leute von Interesse sein könnte).
Jede Dichtematrix kann geschrieben werden als , wo und bilden eine orthonormale Basis für hermitische Matrizen, die der Dimensionalität des Subsystems entsprechen, und enthalten die Identitätsmatrix. Wenn Sie lokale Einheiten anwenden, erhalten Sie . Wenn Sie nun betrachten, was Term für Term passiert, werden Sie feststellen, dass jeder Operator wird nur auf Operatoren mit dem gleichen Gewicht abgebildet (dh nicht-trivial auf der gleichen Anzahl von Subsystemen operierend). Ich werde nehmen die Gewichtsfunktion für jeden Operator sein . Also haben wir . Dies ist trivialerweise wahr, da für jedes Subsystem wo in fungiert als die Identität (dh für jede so dass ) und aufheben, und so fungiert der transformierte Operator auch als Identität auf diesem Subsystem. Umgekehrt, wenn dann . Dafür gibt es einen ziemlich intuitiven Grund: Lokale Operationen sollten keine nicht-lokalen Korrelationen erzeugen.
Daraus sollte nun klar werden ist invariant, da so dass .
Dies ist eine von der Symmetrie unabhängige Erhaltungsgröße und hängt nur von der Tatsache ab, dass alle angewendeten Einheiten lokal sind. Ich glaube jedoch, dass Sie dies wünschen. Sobald Sie das Kriterium auferlegen, dass die Zustände und Operationen symmetrisch sind, haben Sie das zusätzliche Kriterium, dass wenn erhalten Sie bei durch Permutation der Qudits, und daher ist auch für alle solche Paare invariant.
Diese Antwort ist unvollständig, sollte aber für fast alle symmetrischen Zustände eine Antwort liefern ( dh sie reicht für alle bis auf eine Menge symmetrischer Zustände mit Maß Null).
Der symmetrische Unterraum wird von Produktzuständen aufgespannt. Wir können dann verschiedene Wege betrachten, auf denen ein bestimmter symmetrischer Zustand in symmetrische Produkte zerfällt; insbesondere, wenn jede Wahl der Zerlegung natürlicherweise zu einer Invariante führt.
Eine gierige Art, eine Symmetrie zu zerlegen Zustand in symmetrische Produkte wäre, einfach nach dem symmetrischen Produkt zu suchen mit welchem hat die größte Überlappung. Lassen sei der Single-Spin-Zustand, der dies erfüllt, und
Indem man ständig projiziert auf das Orthokomplement von Spannweiten immer größerer Mengen symmetrischer Produkte stellen wir sicher, dass die resultierenden Projektionen hat keine maximale Überlappung mit einem Produktzustand, der vorher kam, oder allgemeiner, der von den vorhergehenden symmetrischen Produkten überspannt werden kann. Bei jeder Iteration erhalten wir also einen Single-Spin-Zustand so dass hat die Dimension eins größer als in der vorherigen Iteration. Am Ende erhalten wir eine Sammlung von symmetrischen Produkten, die, wenn sie den symmetrischen Unterraum nicht aufspannen, zumindest enthalten in ihrer Spanne. Wir erhalten also eine Zerlegung
Der letzte Teil kann am einfachsten durchgeführt werden, indem eine Normalform für die Zustände gefunden wird, die gleich sind, für Folgen von Single-Spin-Zuständen, die durch eine gemeinsame Single-Spin-Einheit verbunden sind. Wir können dies tun, indem wir eine Einheit finden die
Wir haben dann eine solche Einheit ; und für zwei beliebige Folgen von Zuständen und , sollten wir dieselbe Folge von Zuständen erhalten . Sie können dann feststellen, dass zwei symmetrische Zustände äquivalent sind, wenn sie zu derselben Amplitudenfolge führen und die gleichen Single-Spin-Zustände in "normaler Form". .
Für den Fall, dass es keinen eindeutigen Zustand gibt die maximale Überlappung mit hat bei der Konstruktion der symmetrischen Produktzerlegung besteht das Problem dann darin, die Normalformzustände zu definieren . Allerdings, solange die Staaten eindeutig sind, was bei Maß 1 passiert, sollten Sie eine Polynomgröße-Invariante (bis zu Genauigkeitsbeschränkungen) haben, um zu bestimmen, ob zwei symmetrische Zustände gleich sind.
Piotr Migdal
Piotr Migdal
Piotr Migdal