Warum sind Quantentore einheitlich und nicht speziell einheitlich?


11

Warum werden Quantenschaltungen in Einheiten und nicht in speziellen Einheiten formuliert, da die globalen Phasen von Zuständen physikalisch nicht erkennbar sind? Eine Antwort, die ich bekam, war, dass es nur der Einfachheit halber ist, aber ich bin mir immer noch nicht sicher.

Eine verwandte Frage lautet: Gibt es Unterschiede in der physikalischen Implementierung eines einheitlichen (mathematische Matrix) und V : = e i α U , beispielsweise in Bezug auf einige Elementartore? Angenommen, es gibt keine (was mein Verständnis ist). Dann sollte die physikalische Implementierung von c - U und c - V gleich sein (fügen Sie einfach Steuerelemente zu den Elementartoren hinzu). Aber dann komme ich in den Widerspruch, dass c - U und c - V.UV:=eiαUc-Uc-Vc-Uc-V von diesen beiden Einheiten sind möglicherweise nicht bis zur Phase äquivalent (als mathematische Matrizen), so dass es plausibel erscheint, dass sie unterschiedlichen physikalischen Implementierungen entsprechen.

Was habe ich in meinen Überlegungen hier falsch gemacht, weil es jetzt nahelegt, dass und V unterschiedlich implementiert werden müssen, obwohl sie bis zur Phase gleichwertig sind?UV

Eine andere verwandte Frage (in der Tat der Ursprung meiner Verwirrung, ich wäre besonders dankbar für eine Antwort auf diese Frage): Es scheint, dass man eine Quantenschaltung verwenden kann, um sowohl den Modul als auch die Phase der komplexen Überlappung abzuschätzen U | & psgr; (siehe https://arxiv.org/abs/quant-ph/0203016 ). Aber heißt das nicht noch einmal, dass U und e i α U messbar unterschiedlich sind?ψ|U|ψUeiαU


Es ist philosophisch genauer, stattdessen projektive Einheitsgruppe zu sagen . Dies liegt daran, dass die Operation darin besteht, eine beliebige einheitliche Matrix zu nehmen und die Phase gegenüber der Teilmenge zu verlieren, für die diese Phase 1 ist . Die Karten gehen S U U P U, so dass sie sich auf gegenüberliegenden Seiten der Pfeile befinden. PU1SUUPU
AHusain

@AHusain Welches sind "Die Karten"? In Bezug auf die quotienting, wird es gehen . USUPU
Norbert Schuch

Nein. SU ist die Teilmenge mit Determinante 1, daher enthält sie mit einer Karte in U. PU ist das Quotientieren. Sie können eine projektive Einheit nehmen und einen Vertreter in SU mit Determinante 1 angeben, dies ist jedoch nicht automatisch.
AHusain

Antworten:


9

Selbst wenn Sie sich nur auf Operationen mit besonderen Einheiten beschränken, akkumulieren Staaten immer noch die globale Phase. Zum Beispiel ist eine spezielle Einheit, aberZ| 0=i| 0& ne;| 0.Z=[i00i]Z|0=i|0|0

Welchen Vorteil haben wir, wenn sich Staaten auf spezielle einheitliche Operationen beschränken , wenn Staaten sowieso eine nicht beobachtbare globale Phase ansammeln werden?

Gibt es Unterschiede in der physikalischen Implementierung eines einheitlichen (mathematische Matrix) und V : = e i α U , beispielsweise in Bezug auf einige Elementartore?UV:=eiαU

Solange Sie nichts tun, was die globalen Phasen relevant machen könnte, können sie dieselbe Implementierung haben. Aber wenn du so etwas machen willst, äh ...

Fügen Sie den Elementartoren Steuerelemente hinzu

Genau so. Wenn Sie solche Dinge tun, können Sie globale Phasen nicht ignorieren. Steuerelemente verwandeln globale Phasen in relative Phasen. Wenn Sie die globale Phase vollständig ignorieren möchten, können Sie keinen Black-Box-Operationsmodifikator "Steuerelement hinzufügen" verwenden.


Vielen Dank, aber für Gates in einem universellen Gate-Set gibt es keinen Modifikator zum Hinzufügen eines Steuerelements, und Sie könnten zuerst U zerlegenU und in diese Gates , um die Kontrolle hinzuzufügen, z. B. ist c- X das CNOT-Gate. VX
dcw

1
@Daochen Ja, das können Sie tun, aber es ist kein Beispiel für das Hinzufügen eines Steuerelements, während die globale Phase der Unteroperation ignoriert wird. Sie müssen explizit über die globale Phase der Unteroperation entscheiden, wenn Sie entscheiden, was genau die gesamte gesteuerte Operation tun soll und wie sie zerlegt werden soll.
Craig Gidney

8

Die Tatsache, dass Quantentore einheitlich sind, beruht auf der Tatsache, dass die Entwicklung (geschlossener) Quantensysteme nach der Schrödiner-Gleichung erfolgt. Für ein Zeitintervall, in dem wir versuchen, eine bestimmte einheitliche Transformation mit konstanter Geschwindigkeit zu realisieren, verwenden wir die zeitunabhängige Schrödinger-Gleichung:

ddt|ψ(t)=1iH|ψ(t),

HH

|ψ(t)=exp(iHt/)|ψ(0)
U=exp(iHt/)HEeiEt/. Aus einer Matrix mit reellen Eigenwerten erhalten wir also eine Matrix, deren Eigenwerte komplexe Zahlen mit Einheitsnorm sind.

11HHDie Summe seiner Eigenwerte ist gleich Null. Dies hängt davon ab, wie Sie sich entschieden haben, Ihren Nullenergiepunkt festzulegen - was praktisch eine subjektive Wahl des Referenzrahmens ist. (Wenn Sie sich insbesondere für die Konvention entscheiden, dass alle Ihre Energieniveaus nicht negativ sind, bedeutet dies, dass kein interessantes System jemals die Eigenschaft haben wird, dass die Energieeigenwerte auf Null summiert werden.)

Kurz gesagt, Gates sind eher einheitlich als speziell einheitlich, da die Determinante eines Gates nicht physikalisch bedeutsamen Eigenschaften entspricht - in dem expliziten Sinne, dass das Gate aus der Physik stammt und die Bedingungen, die der Determinante des Gates entsprechen, 1 sind ist eine Bedingung des eigenen Referenzrahmens und nicht der physikalischen Dynamik.


4

Wenn Sie beispielsweise Gates für ein Quantenschaltbild schreiben , können Sie sie immer mit der Konvention schreiben, eine Determinante (aus der speziellen einheitlichen Gruppe) zu haben, aber es ist nur eine Konvention. Es macht keinen physischen Unterschied zu der Schaltung, die Sie implementieren. Wie an anderer Stelle gesagt , ist es wirklich eine Wahl der Konvention, wo das, was Sie auf natürliche Weise produzieren, direkt der speziellen Einheit entspricht, und wo Sie Ihre 0-Energie definieren.

UV=eiαVUU(100eiα)U(eiα/200eiα/2)


0

|ψ(t)=eiHt|ψ(0)H

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.