Lista över kvantlogiska grindar

I grindbaserad kvantberäkning används ofta olika uppsättningar av kvantlogiska grindar för att uttrycka kvantoperationer. Följande tabeller listar flera enhetliga kvantlogiska grindar, tillsammans med deras gemensamma namn, hur de representeras och några av deras egenskaper. Kontrollerade eller hermitiska konjugerade versioner av vissa av dessa grindar kanske inte är listade.

Identitetsport och global fas

namn # qubits Operatörssymbol Matris Kretsschema Egenskaper Refs
Identitet,

no-op

1 (alla) , 𝟙 Qcircuit I.svg
eller

Straight-line separator.png

Global fas 1 (alla) , eller Qcircuit GlobalPhase.svg
  • Kontinuerliga parametrar: (period )
  • Exponentiell form:

Identitetsporten är identitetsoperationen , de flesta gångerna visas inte denna grind i kretsscheman, men den är användbar när man beskriver matematiska resultat.

Det har beskrivits som en "väntecykel" och en NOP .

Den globala fasgrinden introducerar en global fas till hela qubit-kvanttillståndet. Ett kvanttillstånd är unikt definierat upp till en fas. På grund av Born-regeln har en fasfaktor ingen effekt på ett mätresultat : för valfri .

Eftersom när den globala fasgrinden appliceras på en enda qubit i ett kvantregister ändras hela registrets globala fas.

Även

Dessa grindar kan utökas till valfritt antal qubits eller qudits .

Clifford qubit grindar

Den här tabellen innehåller vanliga Clifford-grindar för qubits.

Namn # qubits Operatörssymbol Matris Kretsschema Vissa fastigheter Refs


Pauli X , NOT, bit flip
1

Qcircuit X.svg
eller
Qcircuit NOT.svg

Pauli Y 1 Qcircuit Y.svg
  • Hermitian
  • Pauli-gruppen
  • Spårlöst
  • Ofrivilligt

Pauli Z , phase flip
1 Qcircuit Z.svg
  • Hermitian
  • Pauli-gruppen
  • Spårlöst
  • Ofrivilligt

Fasgrind S , kvadratroten ur Z
1 Qcircuit S.svg

Kvadratroten ur X , kvadratroten ur NOT
1 , , Qcircuit SqrtNot.svg

Hadamard , Walsh-Hadamard
1 Hadamard gate.svg
  • Hermitian
  • Spårlöst
  • Ofrivilligt




Controlled NOT , controlled- X , controlled-bit flip, reversibel exklusiv ELLER , Feynman
2 ,
CNOT gate.svg
CNOT gate.svg
  • Hermitian
  • Ofrivilligt

Genomförande:





Antikontrollerad-NOT, antikontrollerad- X , nollkontroll, kontroll-på-0-NOT, reversibel exklusiv NOR
2 , , Qcircuit CNOTo.svg
  • Hermitian
  • Ofrivilligt


Kontrollerad- Z , kontrollerad skyltflip, kontrollerad fasvändning
2 , , , Qcircuit CC.svg
  • Hermitian
  • Ofrivilligt
  • Symmetrisk

Genomförande:

  • Duan-Kimble gate
Dubbelstyrd NOT 2 Qcircuit DCNOT.svg
Byta 2 Qcircuit SWAP.svg
eller
Qcircuit swap-crossed.svg
  • Hermitian
  • Ofrivilligt
  • Symmetrisk
Imaginärt byte 2 Qpic iswap.svg
eller
Qcircuit iswap o.svg
  • Särskild enhetlig
  • Symmetrisk
Fermionbyte 2
  • Särskild enhetlig
  • Symmetrisk

Andra Clifford-portar, inklusive högre dimensionella sådana ingår inte här men kan per definition genereras med och .

Observera att om en Clifford-port A inte är i Pauli-gruppen, är eller controlled- A inte i Clifford-gates. [ citat behövs ]

Clifford-setet är inte ett universellt quantum gate-set.

Icke-Clifford qubit grindar

Relativa fasgrindar

Namn # qubits Operatörssymbol Matris Kretsschema Egenskaper Refs
Fasförskjutning 1 Qcircuit Pphi.svg
  • Kontinuerliga parametrar: (period )


Fasgrind T, π/8-grind, fjärde roten av Z
1 eller Qcircuit T.svg
Kontrollerad fas 2 Qcircuit CPphi.svg
  • Kontinuerliga parametrar: (period )
  • Symmetrisk
Kontrollerad fas S 2 Qcircuit controlS.svg
  • Symmetrisk

Fasskiftet är en familj av en-qubit-grindar som kartlägger bastillstånden och . Sannolikheten att mäta en eller är oförändrad efter applicering av denna grind, men den modifierar fasen för kvanttillståndet. Detta motsvarar att spåra en horisontell cirkel (en latitudlinje), eller en rotation längs z-axeln på Bloch-sfären med radianer. Ett vanligt exempel är T- porten där (historiskt känd som gate), fasgrinden. Observera att vissa Clifford-grindar är specialfall av fasskiftgrinden:

Argumentet till fasförskjutningsgrinden är i U(1) , och grinden utför en fasrotation i U(1) längs det specificerade bastillståndet (t.ex. roterar fasen ca. ) . Att utöka till en rotation kring en generisk fas av båda bastillstånden i ett 2-nivås kvantsystem (en qubit ) kan göras med en seriekrets : . När är denna grind rotationsoperatorn gate och om är det en global fas.

T - portens historiska namn på -porten kommer från identiteten där .

Godtyckliga enkel-qubit fasskiftgrindar är naturligt tillgängliga för transmon -kvantprocessorer genom timing av mikrovågsstyrpulser. Det kan förklaras i termer av byte av ram .

Som med vilken enskild qubit-grind som helst kan man bygga en kontrollerad version av fasskiftgrinden. Med avseende på beräkningsbasen är den 2-qubit-styrda fasskiftgrinden: skiftar fasen med endast om den verkar på tillståndet :

Den kontrollerade Z (eller CZ) grinden är specialfallet där .

Den styrda -S- grinden är fallet när den kontrollerade- när och är en vanlig grind.

Roterande operatörsgrindar

Namn # qubits Operatörssymbol Exponentiell form Matris Kretsschema Egenskaper Refs
Rotation kring x -axeln 1 Qcircuit RXtheta.svg
  • Särskild enhetlig
  • Kontinuerliga parametrar: (period )
Rotation kring y-axeln 1 Qcircuit RYtheta.svg
  • Särskild enhetlig
  • Kontinuerliga parametrar: (period )
Rotation kring z-axeln 1 Qcircuit RZtheta.svg
  • Särskild enhetlig
  • Kontinuerliga parametrar: (period )

Rotationsoperatorn grindar och är de analoga rotationsmatriserna i tre kartesiska axlar av SO(3) , axlarna på Bloch- sfärprojektionen.

Eftersom Pauli-matriser är relaterade till generatorn av rotationer, kan dessa rotationsoperatorer skrivas som matrisexponentialer med Pauli-matriser i argumentet. Vilken enhetlig matris som helst på i SU(2) kan skrivas som en produkt (dvs seriekrets) av tre rotationsgrindar eller mindre. Observera att för tvånivåsystem som qubits och spinorer har dessa rotationer en period på . En rotation på (360 grader) returnerar samma tillståndsvektor med en annan fas .

Vi har också och för alla

Rotationsmatriserna är relaterade till Pauli-

Det är möjligt att räkna ut den samverkande verkan av rotationer på Pauli-vektorn , nämligen rotation effektivt med dubbel vinkel a för att tillämpa Rodrigues rotationsformel :

Att ta prickprodukten av vilken enhetsvektor som helst med formeln ovan genererar uttrycket av vilken enskild qubit-grind som helst när den är placerad i angränsande rotationsgrindar. Till exempel kan det visas att . Med hjälp av antipendlingsrelationen har vi också .

Rotationsoperatörer har intressanta identiteter. Till exempel, och Med hjälp av antipendlingsrelationerna har vi också och

Global fas- och fasförskjutning kan omvandlas till varandra med Z-rotationsoperatorn: .

X grinden representerar en rotation av π 2 kring x- axeln vid Bloch-sfären .

Liknande rotationsoperatorgrindar finns för SU(3) som använder Gell-Mann-matriser . De är rotationsoperatorerna som används med qutrits .

Två qubit interaktionsgrindar

Namn # qubits Operatörssymbol Exponentiell form Matris Kretsschema Egenskaper Res
XX interaktion 2 ,
  • Särskild enhetlig
  • Kontinuerliga parametrar: (period )

Genomförande:

[ citat behövs ]
YY interaktion 2 ,
  • Särskild enhetlig
  • Kontinuerliga parametrar: (period )

Genomförande:

[ citat behövs ]
ZZ interaktion 2 ,
  • Särskild enhetlig
  • Kontinuerliga parametrar: (period )
[ citat behövs ]

XY, XX plus YY
2 ,
  • Särskild enhetlig
  • Kontinuerliga parametrar: (period )
[ citat behövs ]

Qubit-qubit Ising-kopplingen eller Heisenberg-interaktionsgrindarna R xx , R yy och R zz är 2-qubit-grindar som implementeras inbyggt i vissa fångade-jonkvantdatorer , med användning av till exempel Mølmer–Sørensen-grindproceduren .

Observera att dessa grindar också kan uttryckas i sinusform, till exempel .

CNOT-grinden kan sönderdelas ytterligare som produkter av rotationsoperatorgrindar och exakt en enkel interaktionsgrind med två kvbitar, till exempel

SWAP-grinden kan konstrueras från andra grindar, till exempel genom att använda de två qubit-interaktionsgrindarna : .

Bytesportar som inte kommer från Clifford

Namn # qubits Operatörssymbol Matris Kretsschema Egenskaper Refs
Kvadratrotsbyte 2 Qcircuit SqrtSwap.svg
Kvadratrot imaginärt byte 2
  • Särskild enhetlig
Swap (höjt till en makt) 2 Qcircuit Swap-alpha.svg
  • Kontinuerliga parametrar: (period )
Fredkin ,

kontrollerat byte

3 , Fredkin gate.svg
eller
Qcircuit Cswap-crossed.svg
  • Hermitian
  • Ofrivilligt
  • Funktionellt komplett reversibel gate för boolesk algebra

SWAP- grinden utför halvvägs av ett två-qubit-byte (se Clifford-grindar). Den är universell så att vilken många-qubit-grind som helst kan konstrueras av endast SWAP- och enstaka qubit-grindar. SWAP- grinden är dock inte maximalt intrasslande; mer än en tillämpning av det krävs för att producera ett Bell-tillstånd från produkttillstånd. SWAP- porten uppstår naturligt i system som utnyttjar utbytesinteraktion .

För system med Ising-liknande interaktioner är det ibland mer naturligt att introducera den imaginära swap eller iSWAP. Observera att och mer i allmänhet för alla reella n utom 0.

SWAP α uppstår naturligt i spintroniska kvantdatorer.

Fredkin gate (även CSWAP eller CS gate), uppkallad efter Edward Fredkin , är en 3-bitars gate som utför ett kontrollerat swap . Det är universellt för klassisk beräkning. Den har den användbara egenskapen att siffrorna 0:or och 1:or bevaras genomgående, vilket i biljardbollsmodellen innebär att samma antal bollar matas ut som indata.

Andra namngivna portar

Namn # qubits Operatörssymbol Matris Kretsschema Egenskaper Döpt efter Refs
Generell enkel qubit rotation 1
  • Implementerar en godtycklig en-qubit-rotation
  • Kontinuerliga parametrar: (period )
Öppna QASM U-porten
Barenco 2
  • Implementerar en kontrollerad godtycklig qubit-rotation
  • Universal quantum gate
  • Kontinuerliga parametrar: (period )
Adriano Barenco
Berkeley B 2
  • Särskild enhetlig
  • Exponentiell form:
University of California Berkeley
Kontrollerad-V,

kontrollerad kvadratrot INTE

2
Core intrassling,

kanonisk nedbrytning

2 ,
  • Särskild enhetlig
  • Universal quantum gate
  • Exponentiell form
  • Kontinuerliga parametrar: (period )
Dagwood Bumstead 2
  • Särskild enhetlig
  • Exponentiell form:
Serietidning Dagwood Bumstead
Ekade korsresonans 2
  • Särskild enhetlig
Fermionisk simulering 2 ,
  • Särskild enhetlig
  • Kontinuerliga parametrar: (period )
Givens 2 ,
  • Särskild enhetlig
  • Exponentiell form:
  • Kontinuerliga parametrar: (period )
Ger rotationer
Magi 2
Platan 2 , Googles Sycamore -processor
Deutsch 3 ,
  • Kontinuerliga parametrar: (period )
  • Universal quantum gate
David Deutsch

Margolus, förenklat Toffoli
3 , Qcircuit Margolus.svg
  • Hermitian
  • Ofrivilligt
  • Särskild enhetlig
  • Funktionellt komplett reversibel gate för boolesk algebra
Norman Margolus
Peres 3 , Qcircuit Peres.svg
  • Funktionellt komplett reversibel gate för boolesk algebra
Asher Peres

Toffoli , kontrollerat-kontrollerat INTE
3 Toffoli gate.svg
  • Hermitian
  • Ofrivilligt
  • Funktionellt komplett reversibel gate för boolesk algebra
Tommaso Toffoli

Anteckningar

  1. ^ a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae   Colin P. Williams (2011). Utforskningar i Quantum Computing . Springer . ISBN 978-1-84628-887-6 .
  2. ^ "IGate" . qiskit.org . Qiskit online-dokumentation.
  3. ^ "Jag operation" . docs.microsoft.com . Q# onlinedokumentation.
  4. ^    Feynman, Richard P. (1986). "Kvantmekaniska datorer". Fysikens grunder . Springer Science and Business Media LLC. 16 (6): 507–531. Bibcode : 1986FoPh...16..507F . doi : 10.1007/bf01886518 . ISSN 0015-9018 . S2CID 122076550 .
  5. ^ a b   Barenco, Adriano; Bennett, Charles H.; Cleve, Richard; DiVincenzo, David P.; Margolus, Norman; Shor, Peter; Sleator, Tycho; Smolin, John A.; Weinfurter, Harald (1995-11-01). "Elementära grindar för kvantberäkning". Fysisk granskning A . American Physical Society (APS). 52 (5): 3457–3467. arXiv : quant-ph/9503016 . Bibcode : 1995PhRvA..52.3457B . doi : 10.1103/physreva.52.3457 . ISSN 1050-2947 . PMID    9912645 . S2CID 8764584 .
  6. ^ a b c d e f g h i j k l m n o p    Nielsen, Michael A. (2010). Kvantberäkning och kvantinformation . Isaac L. Chuang (10-årsutgåva). Cambridge: Cambridge University Press. ISBN 978-1-107-00217-3 . OCLC 665137861 .
  7. ^    Hung, WNN; Xiaoyu Song; Guowu Yang; Jin Yang; Perkowski, M. (september 2006). "Optimal syntes av flera booleska utdatafunktioner med hjälp av en uppsättning kvantportar genom symbolisk nåbarhetsanalys". IEEE-transaktioner på datorstödd design av integrerade kretsar och system . 25 (9): 1652–1663. doi : 10.1109/tcad.2005.858352 . ISSN 0278-0070 . S2CID 14123321 .
  8. ^    Collins, Daniel; Linden, Noah; Popescu, Sandu (2001-08-07). "Icke-lokalt innehåll i kvantoperationer" . Fysisk granskning A . 64 (3): 032302. arXiv : quant-ph/0005102 . doi : 10.1103/PhysRevA.64.032302 . ISSN 1050-2947 . S2CID 29769034 .
  9. ^   Cervera-Lierta, Alba (2018-12-21). "Exakt Ising-modellsimulering på en kvantdator" . Quantum . 2 : 114. doi : 10.22331/q-2018-12-21-114 . S2CID 119298346 .
  10. ^ a b   Pathak, Anirban (2013-06-20). Element av kvantberäkning och kvantkommunikation . Taylor och Francis. ISBN 978-1-4665-1792-9 .
  11. ^   Yanofsky, Noson S.; Mannucci, Mirco A. (2008-08-11). Quantum Computing för datavetare . Cambridge University Press. ISBN 978-1-139-64390-0 .
  12. ^ a b c d   Stancil, Daniel D.; Byrd, Gregory T. (2022-04-19). Principer för supraledande kvantdatorer . John Wiley & Sons. ISBN 978-1-119-75074-1 .
  13. ^ Dibyendu Chatterjee, Arijit Roy (2015). "Ett transmonbaserat kvanthalvadderschema" . Framsteg inom teoretisk och experimentell fysik . 2015 (9): 7–8. Bibcode : 2015PTEP.2015i3A02C . doi : 10.1093/ptep/ptv122 .
  14. ^ McKay, David C.; Wood, Christopher J.; Sheldon, Sarah; Chow, Jerry M.; Gambetta, Jay M. (31 augusti 2017). "Effektiva Z-grindar för kvantberäkning". Fysisk granskning A . 96 (2): 022330. arXiv : 1612.00858 . Bibcode : 2015PTEP.2015i3A02C . doi : 10.1093/ptep/ptv122 .
  15. ^ "qiskit.circuit.library.PhaseGate" . IBM (qiskit-dokumentation).
  16. ^   Griffiths, DJ (2008). Introduktion till elementarpartiklar (2:a upplagan) . John Wiley & Sons . s. 127–128. ISBN 978-3-527-40601-2 .
  17. ^ "Monroe-konferensen" (PDF) . online.kitp.ucsb.edu .
  18. ^ "Demonstration av en liten programmerbar kvantdator med atomära qubits" (PDF) . Hämtad 2019-02-10 .
  19. ^ Nemirovsky, Jonathan; Sagi, Yoav (2021), "Fast universal two-qubit gate for neutral fermionic atoms in optical pincet", Physical Review Research , 3 (1): 013113, arXiv : 2008.09819 , Bibcode : 2021PhRvR ... 3a310 , 0113 : 3a310:3a310 PhysRevResearch.3.013113
  20. ^   Rasmussen, SE; Zinner, NT (2020-07-17). "Enkel implementering av high fidelity kontrollerade-i swap-grindar och kvantkretsexponentiering av icke-hermitiska grindar" . Physical Review Research . 2 (3): 033097. arXiv : 2002.11728 . Bibcode : 2020PhRvR...2c3097R . doi : 10.1103/PhysRevResearch.2.033097 . ISSN 2643-1564 .
  21. ^    Schuch, Norbert; Siewert, Jens (2003-03-10). "Naturlig två-qubit-grind för kvantberäkning med XY-interaktionen" . Fysisk granskning A . 67 (3): 032301. arXiv : quant-ph/0209035 . Bibcode : 2003PhRvA..67c2301S . doi : 10.1103/PhysRevA.67.032301 . ISSN 1050-2947 . S2CID 50823541 .
  22. ^    Dallaire-Demers, Pierre-Luc; Wilhelm, Frank K. (2016-12-05). "Kvantumportar och arkitektur för kvantsimuleringen av Fermi-Hubbard-modellen" . Fysisk granskning A . 94 (6): 062304. arXiv : 1606.00208 . Bibcode : 2016PhRvA..94f2304D . doi : 10.1103/PhysRevA.94.062304 . ISSN 2469-9926 . S2CID 118408193 .
  23. ^    Cross, Andrew; Javadi-Abhari, Ali; Alexander, Thomas; De Beaudrap, Niel; Bishop, Lev S.; Heidel, Steven; Ryan, Colm A.; Sivarajah, Prasahnt; Smolin, John; Gambetta, Jay M.; Johnson, Blake R. (2022). "OpenQASM 3: A Broader and Deeper Quantum Assembly Language" . ACM-transaktioner på Quantum Computing . 3 (3): 1–50. doi : 10.1145/3505636 . ISSN 2643-6809 . S2CID 233476587 .
  24. ^     Zhang, Jun; Vala, Jiri; Sastry, Shankar; Whaley, K. Birgitta (2004-07-07). "Minsta konstruktion av två-Qubit Quantum Operations" . Fysiska granskningsbrev . 93 (2): 020502. arXiv : quant-ph/0312193 . doi : 10.1103/PhysRevLett.93.020502 . ISSN 0031-9007 . PMID 15323888 . S2CID 9632700 .
  25. ^ a b   AbuGhanem, M. (2021-01-01). "Två-qubit Entangling Gate för supraledande kvantdatorer" . Rochester, NY. SSRN 4188257 . {{ citera journal }} : Citera journal kräver |journal= ( hjälp )
  26. ^   Peterson, Eric C.; Crooks, Gavin E.; Smith, Robert S. (2020-03-26). "Två-Qubit-kretsar med fast djup och monodrominpolytopen" . Quantum . 4 : 247. doi : 10.22331/q-2020-03-26-247 . S2CID 214690323 .
  27. ^     Córcoles AD; Magesan, Easwar; Srinivasan, Srikanth J.; Cross, Andrew W.; Steffen, M.; Gambetta, Jay M.; Chow, Jerry M. (2015-04-29). "Demonstration av en kvantfelsdetekteringskod med hjälp av ett kvadratiskt gitter av fyra supraledande kvantbitar" . Naturkommunikation . 6 (1): 6979. doi : 10.1038/ncomms7979 . ISSN 2041-1723 . PMC 4421819 . PMID 25923200 .
  28. ^    Kyriienko, Oleksandr; Elfving, Vincent E. (2021-11-15). "Generaliserade regler för differentiering av kvantkretsar" . Fysisk granskning A . 104 (5): 052417. doi : 10.1103/PhysRevA.104.052417 . hdl : 10871/127818 . ISSN 2469-9926 . S2CID 236881494 .
  29. ^   Arrazola, Juan Miguel; Matteo, Olivia Di; Quesada, Nicolás; Jahangiri, Soran; Delgado, Alain; Killoran, Nathan (2022-06-20). "Universella kvantkretsar för kvantkemi" . Quantum . 6 : 742. doi : 10.22331/q-2022-06-20-742 . S2CID 235658488 .
  30. ^     Arute, Frank; Arya, Kunal; Babbush, Ryan; Bacon, Dave; Bardin, Joseph C.; Barends, Rami; Biswas, Rupak; Boixo, Sergio; Brandao, Fernando GSL; Buell, David A.; Burkett, Brian; Chen, Yu; Chen, Zijun; Chiaro, Ben; Collins, Roberto (2019). "Quantum supremacy med en programmerbar supraledande processor" . Naturen . 574 (7779): 505–510. doi : 10.1038/s41586-019-1666-5 . ISSN 1476-4687 . PMID 31645734 . S2CID 204836822 .
  31. ^    Maslov, Dmitri (2016-02-10). "Fördelar med att använda relativfas Toffoli-grindar med en applikation för multipelstyrning av Toffoli-optimering" . Fysisk granskning A . 93 (2): 022311. doi : 10.1103/PhysRevA.93.022311 . ISSN 2469-9926 . S2CID 5226873 .
  32. ^ Sång, Guang; Klappenecker, Andreas (2003-12-31). "Den förenklade Toffoli-portimplementeringen av Margolus är optimal" . arXiv : quant-ph/0312225 . {{ citera journal }} : Citera journal kräver |journal= ( hjälp )
  33. ^    Thapliyal, Himanshu; Ranganathan, Nagarajan (2009). "Design av effektiva reversibla binära subtraktorer baserat på en ny reversibel grind" . 2009 IEEE Computer Society årliga symposium om VLSI : 229–234. doi : 10.1109/ISVLSI.2009.49 . ISBN 978-1-4244-4408-3 . S2CID 16182781 .