Universelle Torsätze für SU (3)?

23

In der Quantenverarbeitung sind wir häufig an Fällen interessiert, in denen eine Gruppe von speziellen Einheitsoperatoren G für ein d-dimensionales System entweder die gesamte Gruppe SU (d) genau oder nur eine Näherung liefert, die durch eine dichte Abdeckung von SU (d) gegeben ist.

Eine Gruppe endlicher Ordnung wie die Clifford-Gruppe für ein d-dimensionales System C (d) ergibt keine dichte Abdeckung. Eine Gruppe unendlicher Ordnung bietet keine dichte Deckung, wenn die Gruppe Abelianer ist. Meine grobe Intuition ist jedoch, dass eine unendliche Anzahl von Toren und Basiswechseloperationen der Clifford-Gruppe ausreichen sollte, um eine dichte Abdeckung bereitzustellen.

Formal ist meine Frage:

Ich habe eine Gruppe G, die eine Untergruppe von SU (d) ist. G hat eine unendliche Ordnung und C (d) ist eine Untergruppe von G. Bieten alle diese G eine dichte Bedeckung von SU (d).

Beachten Sie, dass mich der Fall besonders interessiert, wenn d> 2 ist.


Ich gehe davon aus, dass die Clifford-Gruppe hier definiert ist: http://arxiv.org/abs/quant-ph/9802007


quelle
Können Sie eine mathematische Definition der Clifford-Gruppe formulieren? Ich fand es schwierig, aus der Zeitung zu extrahieren, ohne sie im Detail zu lesen
Vanessa
X C N Z = d i ein g ( 1 , ω , & ohgr; 2 , ... , ω N - 1 ) ω = exp ( 2 π i / N ) Y = e π i ( N - 1 ) ( N + 1 ) / N Z X Y N > 2 NN2GU(N)XCNZ=diag(1,ω,ω2,,ωN1)ω=exp(2πi/N)Y=eπi(N1)(N+1)/NZXYN>2X , Y , Z U ( N )N=2X,Y,ZU(N)das bewahrt unter Konjugation. G
Niel de Beaudrap

Antworten:

10

Dies ist keine vollständige Antwort, aber vielleicht trägt sie zur Beantwortung der Frage bei.

Da eine unendliche Ordnung hat, jedoch nicht, enthält notwendigerweise ein Nicht-Clifford-Gruppen-Gate. Jedoch hat als eine Untergruppe. Aber für die Clifford-Gruppe plus jedes andere Tor, das nicht zur Clifford-Gruppe gehört, ungefähr universell (siehe z. B. Satz 1 hier ). Daher decken alle diese dicht ab .C ( d ) G G C ( d ) d = 2 G S U ( 2 n )GC(d)GGC(d)d=2GSU(2n)

Für den Fall, dass , scheint es möglich zu sein, zu beweisen, dass Sie immer noch eine dichte Deckung haben (unter Verwendung der Notation des Papiers, auf das in der Frage verwiesen wird):d>2

  1. Da alle Gatter in einheitlich sind, sind alle ihre Eigenwerte Wurzeln der Einheit, die ich der Einfachheit halber durch reelle Winkel parametrisieren werde .0 θ i < 2 πG0θi<2π
  2. Wie hat unendliche um entweder enthält Gates , für die mindestens eine Wert eine irrationale Vielfaches von ist oder enthält eine beliebig gute Annäherung an eine solche irrationale Vielfaches von . Bezeichnen wir ein solches Tor .G θ k π π gGGθkππg
  3. Dann gibt es ein so dass der Identität willkürlich nahe kommt, aber nicht gleich ist.g nngn
  4. Da einheitlich ist, kann es als . exp ( - i H )gnexp(iH)
  5. Da die in quant-ph / 9802007 definierte Pauli-Gruppe eine Basis für Matrizen bildet, können Sie , wobei und für jedes (durch [3]) mit mindestens einem solchen ungleich Null.H = d - 1 j , k = 0 α j k X j d Z k d α j kC | α j k | ϵ ϵ > 0 α a bd×dH=j,k=0d1αjkXdjZdkαjkC|αjk|ϵϵ>0αab
  6. Wir können dann ein Element aus der Clifford-Gruppe auswählen, das auf unter Konjugation . Also , wobei nur eine Permutation von und .X j d Z k d Z d C g n C = exp ( - i C H C ) = exp ( - i ( α a b Z d + Σ ( j , k ) ( a , b ) α ' j k X j d Z k d ) ) αCXdjZdkZdCgnC=exp(iCHC)=exp(i(αabZd+(j,k)(a,b)αjkXdjZdk)) Α α a b = α ' 01αααab=α01
  7. Man beachte , dass erfüllt . Definieren wir .Z d ( X u d Z v d ) = ω u ( X u d Z v d ) Z d g l = Z - l d C g n C Z l d = exp ( - i ( α ein b Z d + ( j , k ) ( aZdZd(XduZdv)=ωu(XduZdv)Zdg=ZdCgnCZd=exp(i(αabZd+(j,k)(a,b)ωjαjkXdjZdk))
  8. Nach dem Baker-Cambel-Hausdorff-Theorem können wir das Produkt von g ' = g 1 × bewerten , da alle willkürlich nahe an die Identität gebracht wurden . . . × g d zur ersten Ordnung als . Summiert man alle Wege der Einheit, so ergibt sich für . Dies ist im Grunde eine Entkopplungssequenz das entkoppelt die nicht-diagonalen Elemente.αg=g1×...×gdexp(i(d×(kα0kZk)+(=1dωd)×j0kαjkXdjZdk))d>1g=exp(i(d×(kbα0kZk))
  9. Da nur diagonale Matrizen im Exponential bleiben muss diagonal sein. Aufgrund der Restriktionen für es außerdem notwendigerweise Eigenwerte, die nicht Null sind, aber proportional zu .gαϵ
  10. Durch Variieren von ; und Wiederholen des obigen Prozesses sollte es möglich sein, linear unabhängige Gatter zu erzeugen : , so dass ihr Produkt ein diagonales Gatter mit irrationalen und inkommensuraten Phasen oder einer willkürlich engen Annäherung ergibt zu einem.ϵdg1...gd
  11. Nach dem in Mark Howards Antwort gegebenen Hinweis sollte dies zusammen mit der Clifford-Gruppe für eine ungefähre Allgemeingültigkeit ausreichen.
Joe Fitzsimons
quelle
Warum ist das nicht vollständig? Wenn Sie die Details in Ihren vagen Schritten ausarbeiten (insbesondere in Schritt 10), scheint es, als würde es funktionieren.
Peter Shor
@PeterShor: Aus genau diesem Grund: Ich habe nicht alle Schritte ausgeführt. Ich denke, es sollte funktionieren, aber ich gebe zu, dass es nicht streng ist. Ich werde sehen, ob ich 10 ausarbeiten kann.
Joe Fitzsimons
Nett. Dies scheint ein guter Ansatz zu sein.
Ich gebe das Kopfgeld für diese Antwort, weil ich glaube, dass ein Beweis in dieser Richtung die Frage beantworten wird. Die anderen Antworten sind ebenfalls sehr nützlich.
Peter Shor
@PeterShor: Danke! Ich fühlte mich ein bisschen schuldig, dass meine erste Antwort falsch war.
Joe Fitzsimons
13

Ich glaube, die Antwort auf die ursprüngliche Frage lautet wahrscheinlich Ja, aber das kann ich leider nicht definitiv sagen. Ich kann jedoch helfen, Peters erweiterte Frage zu beantworten.

In math / 0001038 von Nebe, Rains und Sloane zeigen sie, dass die Clifford-Gruppe eine maximale endliche Untergruppe von U (2 ^ n) ist. Solovay hat dies auch in unveröffentlichten Arbeiten gezeigt, die "im Wesentlichen die Klassifikation endlicher einfacher Gruppen verwenden". Das Patent von Nebe et al. Papier zeigt auch, dass die qudit-Clifford-Gruppe eine maximale endliche Untergruppe für Primzahl p ist, auch unter Verwendung der Klassifikation endlicher Gruppen. Dies bedeutet, dass die Clifford-Gruppe plus jedes Tor eine unendliche Gruppe ist, was eine der Annahmen der ursprünglichen Frage überflüssig macht.

Nun sagten mir sowohl Rains als auch Solovay, dass der nächste Schritt, der zeigt, dass eine unendliche Gruppe, die die Clifford-Gruppe enthält, universell ist, relativ einfach ist. Ich weiß jedoch nicht, wie dieser Schritt tatsächlich funktioniert. Und was noch wichtiger ist für die ursprüngliche Frage, ich weiß nicht, ob sie nur den Qubit-Fall oder auch den Qubit-Fall in Betracht zogen.

Eigentlich könnte ich hinzufügen, dass ich die Beweise von Nebe, Rains und Sloane auch nicht verstehe, aber gerne möchte.


quelle
9

Mir ist nicht klar, ob Sie nach SU (3) oder SU (3 n ) fragen, die auf ein Tensorprodukt von Qudits einwirken. Ich nehme an, Sie fragen nach SU (3). Es ist mir nicht klar (trotz dessen, was ich in einer früheren Version meiner Antwort gesagt habe), dass die Aussage für SU (3) die Aussage für SU (3 n ) impliziert .nn

Solange die Anzahl der Tore nicht in einer Untergruppe von SU (3) liegt, wird eine dichte Abdeckung von SU (3) erzeugt. Sie müssen also überprüfen, ob eine der unendlichen Untergruppen von SU (3) die Clifford-Gruppe enthält. Ich bin mir ziemlich sicher, dass sie das nicht tun, aber ich kann nicht sicher sagen. Hier ist eine mathematische Überlauffrage, die alle Lie-Untergruppen von SU (3) enthält.

Peter Shor
quelle
Ich las den dritten Satz der Frage sagen , dass die Clifford - Gruppe war eine Untergruppe der jeweiligen Gruppe , dass Earl erwägt. Daher meine Antwort unten, aber vielleicht habe ich etwas falsch verstanden oder falsch gelesen. G
Joe Fitzsimons
Die Schwierigkeit bei Ihrer Antwort besteht darin, dass Ihre Referenz nur über SU (2) zu sprechen scheint, während das OP nach SU (3) und der zu der Clifford-Gruppe in SU (3) analogen Gruppe fragt (und auch Qudits der Dimension ). Ihre Referenz beantwortet seine Frage für d = 2 . Was wir brauchen, ist, dass der Satz aus Ihrer Referenz auch in SU (3) gilt; nämlich, dass es keine Untergruppen gibt, die die SU (3) Clifford-Gruppe enthalten. d>3d=2
Peter Shor
Ah ich sehe. Ich werde meine Antwort löschen. Aus dem Kontext der Notizen, die ich damit verknüpft habe, klang es wie der Satz, der in willkürlichen Dimensionen angewendet wurde, nicht nur in dem Fall, in dem . Beim Ausgraben der Quelle scheint dies jedoch nicht der Fall zu sein. Vielen Dank für den Hinweis auf den Fehler. d=2
Joe Fitzsimons
Letztendlich werde ich mich für interessieren . Da dies jedoch durch Universalität in S U ( 3 ) + der Clifford-Gruppe bedingt ist , habe ich die Frage so formuliert, um sie einfach zu halten. Ich habe mir auch die Referenz angesehen, die Joe zur Verfügung gestellt hat, und konnte nur Ergebnisse für d = 2 sehen . SU(3n)SU(3)d=2
Außerdem werde ich dem Vorschlag von Peters folgen und die Untergruppen von Lie in der Mathe-Überlaufreferenz prüfen, auch wenn es eine Weile dauern kann, bis ich alles hinter mich gebracht habe!
9

Ich dachte, ich sollte diesen Thread aktualisieren, bevor die Website für immer eingefroren ist.

Daniels Antwort ist richtig. Dieser "nächste Schritt", den er erwähnt, erscheint in Nebe, Rains und Sloanes späterem Buch " Self-Dual Codes and Invariant Theory ".

Die Antwort auf diese Frage lautet daher "Ja" - und sie folgt direkt aus Korollar 6.8.2 in Nebe, Rains und Sloanes Buch.

Ich bin Vadym Kliuchnikov dankbar, der mich darauf aufmerksam gemacht hat, als ich Waterloo besuchte.

Dan Browne
quelle
Ich sollte klarstellen, dass "Ja" die direkte Antwort auf Earls formale Frage oben ist und dies wird in Korollar 6.8.2 im Buch gezeigt.
Dan Browne
5

Ich denke, dass das folgende Papier die relevanten Konstruktionen für den Nachweis der Gleichwertigkeit enthalten kann

http://dx.doi.org/10.1088/0305-4470/39/11/010

Insbesondere besagt der Kommentar am Ende von Abschnitt , dass die gesteuerte Phase C Z , die Fouriertransformation F und ein Diagonalgatter D mit irrationalen und inkommensuraten Phasen eine ungefähre Universalität ergeben. (Dies ist eine ausreichende Bedingung für D, aber ich bin mir ziemlich sicher, dass dies keine notwendige Bedingung ist.)4CZFDD

Wenn Ihr die richtige Form hat (und diagonale Gatter als natürliche Wahl erscheinen), gilt das ErgebnisG

Ein alternativer Ansatz wäre die Erstellung der Ancilla-Zustände, die für die Implementierung des qudit Toffoli erforderlich sind, oder die direkte Verwendung von zusammen mit Cliffords zur Implementierung des Toffoli. Es ist schwer zu sagen, ob dies möglich ist, ohne mehr über G zu wissen .GG


quelle
Willkommen auf der Seite, Mark!
Joe Fitzsimons
Hallo Mark. Danke für deine Antwort. Obwohl ich mich für den allgemeinsten Fall interessiere, interessiere ich mich besonders für einen Fall, in dem ich weiß, dass ich eine unendliche Anzahl von Gattern habe, weil es durch ein Gate mit Phasen erzeugt wird, die irrationale Vielfache von . Das "irrationale" Tor ist jedoch rechnerisch nicht diagonal, so dass ich die von Ihnen angegebenen Ergebnisse nicht anwenden kann. π