imported>Qcomp: revert: der ganze Artikel ist im Fließtext ohne math-tags geschrieben, das an nur einer Stelle zu ändern ist nicht sinnvoll, da Notation dann uneinheitlich; ausserdem einige seltsame Einrückungen und unpassende Doppelpunkte korrigiert

2025-10-03T08:14:43Z

revert: der ganze Artikel ist im Fließtext ohne math-tags geschrieben, das an nur einer Stelle zu ändern ist nicht sinnvoll, da Notation dann uneinheitlich; ausserdem einige seltsame Einrückungen und unpassende Doppelpunkte korrigiert

Neue Seite

Mit '''Quantenschaltung''' wird in der [[Quanteninformatik]] ein [[Abstraktion|abstraktes]] [[Modell]] für [[Quantencomputer]] bezeichnet.
Die darin stattfindende Berechnung ist eine Folge von Operationen an [[Quantengatter]]n, [[Quantenmechanische Messung|Quantenmessungen]] und Initialisierungen von [[Qubit]]s welche reversible Transformationen auf dem [[Quantenmechanik|quantenmechanischen]] Gegenstück eines ''n''-[[Bit]] [[Register (Computer)|Registers]] durchführt, das auch ''n''-Qubit-Register (oder [[Quantencomputer#Quantenregister, Verschränkung|Quantenregister]]) bezeichnet wird.

Algorithmen und Anwendungen, die quantenmechanische Ressourcen nutzen, können einfach und effizient in der Sprache von „Quantenschaltkreisen“ geschrieben werden. Ein Quantenschaltkreis ist eine Rechenroutine, die aus kohärenten Quantenoperationen auf Quantendaten besteht, wie sie in Qubits gehalten werden, und parallel dazu ablaufenden klassischen Echtzeit-Berechnungen.<ref name="quiskit">[https://qiskit.org/documentation/locale/de_DE/qc_intro.html ''Quantum Computing auf den Punkt gebracht''] (Qiskit)</ref>

== Darstellung der Quantenschaltungen ==
[[Datei:Quantum error correction of bit flip using three qubits.svg|mini|Quantenschaltung für den [[Quantenfehlerkorrektur#Der Bit-Flip-Code|Bit-Flip-Code]]: Zwei CNOT-Gatter kodieren das Qubit. Die letzten drei Gatter (2× CNOT, 1× Toffoli) dekodieren es wieder.]]
Die Notation für Quantengatter wurde von den Begründern der Quanteninformatik, daruntern Adriano Barenco, [[Charles H. Bennett (Physiker)|Charles Bennett]], [[Richard Cleve]], [[David P. DiVincenzo]], Norman Margolus, [[Peter Shor]], Tycho Sleator, John A. Smolin und [[Harald Weinfurter]] entwickelt.<ref name="Barenco">{{Literatur |Autor=Bennett, Cleve, DiVincenzo, Margolus, Sleator, Smolin, Weinfurter |Titel=Elementary gates for quantum computation |Sammelwerk=Physical Review A |Band=52 |Nummer=5 |Verlag=[[American Physical Society]] (APS) |Datum=1995-11-01 |ISSN=1050-2947 |Seiten=3457–3467 |arXiv=quant-ph/9503016 |DOI=10.1103/physreva.52.3457}}</ref>

Die Notation der Schaltkreise wurde 1986 von [[Richard Feynman]] eingeführt.<ref name="Feynman-QMC">{{Literatur |Autor=Feynman |Titel=Quantum mechanical computers |Sammelwerk=Foundations of Physics |Band=16 |Nummer=6 |Verlag=Springer Science and Business Media LLC |Datum=1986 |ISSN=0015-9018 |Seiten=507–531 |DOI=10.1007/bf01886518}}</ref>

Quantenalgorithmen sind in einem Diagramm leichter zu verstehen als in der entsprechenden ausgeschriebenen Matrixdarstellung.<ref name="azure">Artikel [https://learn.microsoft.com/de-de/azure/quantum/concepts-circuits ''Quantenschaltungsdiagramme''] bei [[Microsoft Azure]]</ref>
Quantenschaltkreise werden ähnlich dargestellt, wie klassische Schaltkreise, jedoch haben die Quantenschaltkreise, wie die Quantenbausteine, aus denen sie bestehen, für n Eingänge immer auch n Ausgänge. Sie beschreiben die Zustandstransformationen durch, die sich durch die Hintereinanderausführung der Quantenbausteine ergibt.<ref name="Jkl">Jens Kleine, Johannes Köbler und Olaf Beyersdorff: [https://www2.informatik.hu-berlin.de/Forschung_Lehre/algorithmenII/Lehre/SS2004/Quantenrechner/quantenschaltkreise.pdf ''Quantenschaltkreise''] Humboldt-Universität Berlin 2004 S. 9</ref>

In einem Schaltungsdiagramm stellt jede durchgezogene Linie ein Qubit oder allgemeiner ein Qubit-Register dar. Gemäß der Konvention ist die oberste Zeile das Qubit (oder Register) 1 und die restlichen Elemente werden dann aufsteigend nummeriert.<ref name="azure" />

In einer Quantenschaltung fließt die Zeit von links nach rechts. Quantengatter sind in chronologischer Reihenfolge angeordnet, wobei das äußerste linke Gatter zuerst auf die Qubits angewendet wird. Der Quantenzustand der Qubits propagiert von links nach rechts durch die einzelnen Gatter des Diagramms und wird durch die Gatter verändert.

Die Leitungen in einem Quantenschaltkreis lassen sich als die einzelnen Qubits interpretieren, wobei der Zustand einer Leitung dem Zustand eines Qubits entspricht. Der Gesamtzustand aller Leitungen ergibt sich jedoch auf Grund der Besonderheiten der Quantenschaltkreise nicht unbedingt aus den Teilzuständen der Leitungen.<ref name="Jkl" />

Jede horizontale Linie oder Draht in einer Schaltung stellt somit ein Qubit dar, wobei das linke Ende des Drahtes die ursprünglichen Quantendaten (Input) darstellt und das rechte die Quantendaten, die durch die Berechnung des Quantenschaltkreises erzeugt werden (Output). Operationen auf Qubits werden durch Boxen (Gatter) dargestellt, die auf diesen Drähten platziert sind.<ref name="quiskit" />

=== Zusammenfassen zu Komplexen ===
Einzelne Gatterschaltungen lassen sich zu einem Block zusammenfassen und in einer Art Blockdiagramm darstellen.
Die vielleicht hilfreichste Eigenschaft dieser abstrakten Schaltungsdiagramme ist, dass sie eine allgemeine Beschreibung komplexer Quantenalgorithmen ermöglichen, ohne elementare Gates darstellen zu müssen. So können Sie eine Vorstellung vom Datenfluss für einen großen Quantenalgorithmus erhalten, ohne alle Details der einzelnen Unterroutinen innerhalb des Algorithmus verstehen zu müssen.<ref name="azure" />

=== Beispiel: Darstellung eines Toffoli-Gatters ===
Quantenschaltungen werden benützt, um die Realisation komplexer Quantengatter aus einfachen Gattern und Quantenbausteinen darzustellen.

[[Datei:Qcircuit ToffolifromCNOT.svg|mini|400px|links|Konstruktion eines [[Toffoli-Gatter]]s aus ein Ein-Qubit-Gattern (T und Hadamard) und sechs CNOT-Gattern.]]
[[Datei:Toffoli gate.svg|mini|100px|Schaltsymbol für das [[Toffoli-Gatter]]]]
{{Absatz}}

{| class=wikitable
|-
|+Legende
|[[Datei:Hadamard gate.svg|50px]] || Hadamard-Gatter
|-
|[[Datei:CNOT gate.svg|50px]] || CNOT-Gatter
|-
|[[Datei:Qcircuit T.svg|50px]] || T-Gatter
|}

== Reversible Logikgatter ==

Im klassischen Computer sind [[Logikgatter]] mit mehr als einem Eingang (alle außer dem [[Nicht-Gatter]]) und einem Ausgang nicht [[Reversibler Prozess|reversibel]].
Beispielsweise kann man für ein [[Und-Gatter]] aus dem Ausgangs-Bit 0 nicht ableiten, ob die Eingangswerte 0,1 oder 1,0 oder 0,0 waren.
Es ist jedoch auch in einem klassischen Computer theoretisch möglich, für Eingangswerte beliebiger Länge reversible Gatter zu konstruieren.
Ein reversibles Gatter ist eine umkehrbare Funktion, die '''n'''-Bit auf '''n'''-Bit abbildet, wobei das '''n'''-Bit-Datum eine [[Zeichenkette]] der Länge ''n'' mit den Bits ''x''1,''x''2, …,''x''''n''.

Das ''n''-Bit-Datum ist Element der Menge {0,1}''n''. Diese enthält 2''n'' Elemente.

; Ein reversibles ''n''-Bit-Gatter ist eine [[bijektiv]]e Abbildung f aus der Menge {0,1}''n'' von ''n''-Bit-Daten auf sich selbst.
Ein Beispiel für ein derartiges Gatter ''f'' ist eine Abbildung, welche das erste Bit negiert.

Aus praktischen Erwägungen werden hier nur Gatter für kleine Werte von ''n'' betrachtet, also ''n'' = 1, ''n'' = 2 oder ''n'' = 3. Diese Gatter können leicht als Tabellen beschrieben werden. Ein Beispiel ''n'' = 2 ist das [[Liste der Quantengatter#Quantengatter mit zwei Eingängen|kontrollierte Nicht-Gatter]], das [[Liste der Quantengatter#Quantengatter mit zwei Eingängen|Toffoli-Gatter]] und das [[Liste der Quantengatter#Quantengatter mit zwei Eingängen|Fredkin-Gatter]].

Für die Betrachtung von [[Quantengatter]]n muss man die quantenmechanische Ersetzung eines ''n''-Bit-Datums definieren.
Die ''quantisierte Version'' eines klassischen ''n''-Bit-Zustandsraums {0,1}''n'' ist

: <math>H_{\operatorname{QB}(n)}= \ell^2(\{0,1\}^n).</math>

Dies ist definitionsgemäß der [[Raum (Mathematik)|Raum]] von komplexwertigen Funktionen von {0,1}''n'' und ist ein [[Prähilbertraum]]. Dieser Raum kann auch als Überlagerung von klassischen Bit-Zeichenketten betrachtet werden. Man beachte, dass ''H''QB(''n'') ein [[Vektorraum]] über den komplexen Zahlen der [[Dimension (Mathematik)|Dimension]] 2''n'' ist.

: Die Elemente dieses Raums werden ''n''-[[Qubit]] genannt.

Beschreibt ''x''1,''x''2, …,''x''''n'' in der [[Bra-Ket]]-Notation die klassische Bit-Zeichenkette, dann ist

:<math> | x_1, x_2, \cdots,x_n \rangle \quad </math>

ein spezielles ''n''-[[Qubit]] korrespondierend zu der Funktion, die die klassische Bit-Zeichenkette auf 1 abbildet und alle anderen Zeichenketten auf 0.
Diese 2''n'' speziellen ''n''-Qubits sind die Berechnungs[[Zustand (Quantenmechanik)|zustands]][[Orthonormalbasis|basis]] der Funktion. Alle ''n''-Qubits sind komplexe [[Linearkombination]]en dieser Basis.

Für ein Quantengatter benötigt man eine spezielle Art einer reversiblen Funktion, nämlich eine [[unitäre Abbildung]]. Diese ist eine Abbildung auf ''H''QB(''n''), bei der die [[Skalarprodukt]]e erhalten bleiben.

; Ein reversibles ''n''-Qubit Quantengatter ist eine unitäre Abbildung ''U'' aus dem Raum ''H''QB(''n'') auf sich selbst.

Wiederum ist nur die [[Unitäre Abbildung]]en ''U'' für kleine ''n'' von Interesse. Aus einem reversiblen ''n''-Bit-Gatter ''f'' lässt sich ein reversibles ''n''-Bit-Quantengatter ''W''''f'' bilden, das wie folgt definiert ist:

:<math> W_f( | x_1, x_2, \cdots,x_n \rangle) = |f(x_1, x_2, \cdots, x_n) \rangle. </math>

Man beachte, das ''W''''f'' die Berechnungszustandsbasis [[Permutation|permutiert]].

Von speziellem Interesse ist das 2-Qubit-CNOT-Gatter ''W''CNOT. Mit diesem Gatter wird deutlich, dass es über die Permutation der Basis hinaus viele weitere Quanten-Gatter gibt. Beispielsweise ist eine Verschiebung der Phase durch Multiplikation mit folgender unitärer Matrix ebenfalls zulässig:

:<math> U_\theta =\begin{bmatrix} e^{i \theta} & 0 \\ 0 & 1 \end{bmatrix}, </math>

also

:<math> U_\theta | 0 \rangle = e^{i \theta} | 0 \rangle \quad U_\theta | 1 \rangle = | 1 \rangle. </math>

== Reversible Schaltungen ==
{{Hauptartikel|Reversibles Computing}}

Wiederum betrachten wir zunächst die ''reversible'' klassische Berechnung. Grundsätzlich gibt es keinen Unterschied zwischen einer reversiblen ''n''-Bit Schaltung und einem reversiblen ''n''-Bit-Gatter. Es ist lediglich eine umkehrbare Funktion im Raum der ''n''-Bit-Daten. Wie bereits im vorherigen Abschnitt beschrieben, möchte man aus praktischen Erwägungen eine kleine Anzahl reversibler Gatter haben, die zu einer reversiblen Schaltung zusammengesetzt werden können.
Der Zusammenbau einer Schaltung wird an folgendem Beispiel deutlich. Angenommen man hat ein reversibles ''n''-Bit-Gatter ''f'' und ein reversible ''m''-Bit-Gatter ''g''.
Zusammenbau heißt, eine neue Schaltung herzustellen, indem man eine Teilmenge der ''k'' < ''n'' der Ausgänge von ''f'' mit einer Teilmenge ''k'' der Eingänge von ''g'' verbindet, wie im Bild unten dargestellt. In diesem Bild ist ''n'' = 5, ''k'' = 3 und ''m'' = 7. Die resultierende Schaltung ist ebenfalls reversibel und verarbeitet ''n'' + ''m'' − ''k'' Bits.

[[Datei:Reversible circuit composition.svg|mini|zentriert|500x180px]]

Im Folgenden wird diese Schema als ''klassischer Verbund'' bezeichnet. Beim Zusammenbau dieser reversibler Maschinen ist es wichtig, dass die Zwischenstufen ebenfalls reversibel sind. Mit dieser Bedingung wird sichergestellt, dass sich innerhalb der Maschine die Entropie nicht erhöht (Abfall). Damit ist es möglich zu zeigen, dass das Toffoli-Gatter ein [[Quantengatter]] ist. Das bedeutet, dass zu einer beliebigen reversiblen klassischen ''n''-Bit-Schaltung ''h'' in oben beschriebener Weise ein klassischer Verbund aus Toffoli-Gattern eine ''n''+''m''-Bit-Schaltung ''f'' erzeugen werden kann, so dass gilt.

:<math> f(x_1, \ldots, x_n, \underbrace{0, \dots, 0}) = (y_1, \ldots, y_n, \underbrace{0, \ldots , 0})</math>

Darin sind die Bereiche oberhalb der spitzen Klammern ''m'' 0-Eingaben und es gilt

:<math>(y_1, \ldots, y_n) = h(x_1, \ldots, x_n)</math>.

Man beachte, dass das Endergebnis immer eine Kette von ''m'' Nullen als Hilfbits enthält. Es wird an keiner Stelle Abfall produziert, so dass die Berechnung tatsächlich im physikalischen Sinne keine Entropie erzeugt.<ref>{{Literatur |Autor=A Yu Kitaev |Titel=Quantum computations: algorithms and error correction Quantum computations: algorithms and error correction |Sammelwerk=Russian Mathematical Surveys |Band=52 |Datum=1997 |Seiten=1191–1249 |DOI=10.1070/RM1997v052n06ABEH002155}}</ref> Daraus folgt sofort, dass jede Funktion ''f'' (ob bijektiv oder nicht) durch eine Schaltung von Toffoli-Gattern simuliert werden kann. Wenn die Abbildung jedoch nicht [[Injektivität|injektiv]] ist, muss die Simulation an irgendeiner Stelle Abfall produzieren, z. B. beim letzten Schritt.

Für Quantenschaltungen kann eine ähnliche Verbindung von Qubit-Gattern definiert werden. Diese lässt sich mit dem ''klassischen Verbund'' oben assoziieren, indem man anstelle von ''f'' ein ''n''-Qubit-Gatter ''U'' und statt ''g'' das ''m''-Qubit-Gatter ''W'' verwendet. Daraus erhält man eine reversible Quantenschaltung, wie in der folgenden Abbildung dargestellt.

[[Datei:Quantum circuit composition.svg|mini|zentriert|500x180px]]

Es lässt sich leicht zeigen, dass sich durch Verbindung der Gatter eine unitäre Abbildung auf dem ''n''+''m''−''k''-Qubit-Raum entsteht. Außerdem sei noch angemerkt, dass in realen Quantencomputern die physikalische Verbindung zwischen den Gattern eines der Hauptprobleme darstellt, da sie eine der Stellen ist, wo [[Dekohärenz]] auftreten kann.

Außerdem bilden einige Mengen wohlbekannter Gatter [[Quantengatter#Universelle Gatter|universelle Gatter]]. So ist das oben erwähnte Einzel-Qubit-Phasengatter ''U''Θ für sinnvolle Werte von Θ zusammen mit dem 2-Qubit-CNOT-Gatter ''W''CNOT universell. Allerdings ist die Universalität im Falle der Quantenberechnung etwas schwächer. Jede reversible ''n''-Qubit-Schaltung kann beliebig ''nahe'' durch diese beiden elementaren Gatter ''approximiert'' werden. Man beachte, dass es [[Überabzählbarkeit|überabzählbar]] viele mögliche Einzel-Qubit-Phasengatter gibt (eines für jeden möglichen Winkel Θ). Damit können überabzählbar viele dieser Gatter nicht durch endliche Schaltungen aus {''U''?, ''W''CNOT} konstruiert werden.

== Quantenberechnungen ==

Da viele wichtige numerische Probleme sich auf die Berechnung einer unitären Transformation ''U'' auf einem endlich-dimensionalen Raum reduzieren lassen (als prominenteste Beispiel sei die [[Diskrete Fourier-Transformation]] genannt), könnte man erwarten, das man eine Quantenschaltung für die Transformation ''U'' bauen kann. Im Prinzip muss man nur einen ''n''-Qubit-Zustand Ψ als zugehörige [[Superposition]] der Berechnungszustandsbasis für den Eingang präparieren und dann die Ausgänge von UΨ messen. Leider gibt es damit zwei Probleme:

* Man kann die Phase von Ψ nicht für jeden Basiszustand messen. Daher gibt es keine Möglichkeit, das vollständige Ergebnis zu messen. Dies liegt in der Natur der [[Quantenmechanische Messung|quantenmechanischen Messung]].
* Es ist nicht möglich, den Eingangszustand Ψ effizient zu präparieren.

Trotzdem können Quantenschaltungen für die diskrete Fouriertransformation als Zwischenschritt in anderen Quantenschaltungen benutzt werden. Die Verwendung ist jedoch etwas komplizierter. Tatsächlich sind Quantenberechnungen ''[[Probabilistische Aussage|probabilistisch]]''.

Es wird nun ein mathematisches Modell für die Simulation von ''probabilistischen'' statt klassischen Berechnungen erstellt. Man betrachte eine ''r''-Qubit-Schaltung ''U'' mit dem Registerraum ''H''QB(''r''). Damit ist ''U'' eine unitäre Abbildung

:<math>H_{\operatorname{QB}(r)} \rightarrow H_{\operatorname{QB}(r)}.</math>

Um diese Schaltung mit der klassischen Abbildung von Bit-Zeichenketten zu assoziieren, spezifiziert man

* Ein ''Eingangsregister'' ''X'' = {0,1}''m'' von ''m'' (klassischen) Bits.
* Ein ''Ausgangsregister'' ''Y'' = {0,1}''n'' von ''n'' (klassischen) Bits.

Der Inhalt ''x'' = ''x''1, …, ''x''''m'' des klassischen Eingangsregisters wird irgendwie für die Initialisierung des Qubit-Registers verwendet. Idealerweise wird das mit der Berechnungszustandsbasis gemacht.

:<math> |\vec{x},0\rangle= | x_1, x_2, \cdots, x_{m}, \underbrace{0, \dots, 0} \rangle </math>

Dabei gibt es unter der Klammer ''r'' − ''m'' 0-Eingänge.

Dennoch ist die perfekte Initialisierung absolut unrealistisch. Man nehme daher an, dass die Initialisierung ein Mischzustand ist, der durch den Dichteoperator ''S'' gegeben ist. Dieser ist in einer geeigneten [[Metrischer Raum|Metrik]] dem idealen Eingangszustand sehr ähnlich, z. B.

:<math> \operatorname{Tr}\left(\big||\vec{x},0\rangle \langle \vec{x},0 | - S\big|\right) \leq \delta </math>

Ebenso steht der Ausgangsregister-Raum mit dem Qubit-Register über die durch ein ''Y'' angenäherte [[Observable]] ''A'' in Beziehung. Es sei angemerkt, dass Observable in der Quantenmechanik üblicherweise durch ''projizierte Größenwerte'' ausgedrückt werden. Wenn die Variable diskret ist, dann reduziert sich der projizierte Größenwert auf eine [[Familie (Mathematik)|Familie]] {Eλ}. Dabei ist λ ein Parameter über einer [[Abzählbarkeit|abzählbaren]] Menge. Analog kann eine Observable ''Y'' mit einer Familie von paarweisen orthogonalen Projektionen {E''y''} indexiert durch ''Y'' assoziiert werden. Damit ist
:<math> I = \sum_{y \in Y} \operatorname{E}_y. </math>

Zu einem gegebenen Mischzustand ''S'' korrespondiert ein Wahrscheinlichkeitsmaß für ''Y''

:<math> \operatorname{Pr}\{y\} = \operatorname{Tr}(S \operatorname{E}_y ) </math>
Die Funktion ''F'':''X'' → ''Y'' wird durch die Schaltung ''U'':''H''QB(''r'') → ''H''QB(''r'') innerhalb von ε berechnet genau dann, wenn für alle Bitzeichenketten ''x'' der Länge ''m'' gilt

: <math>\left\langle \vec{x},0 \big| U^* \operatorname{E}_{F(x)} U
\big|\vec{x},0 \right\rangle = \left\langle \operatorname{E}_{F(x)} U( |\vec{x},0\rangle) \big| U( |\vec{x},0\rangle) \right\rangle \geq 1 - \epsilon</math>

Damit gilt

:<math> \left| \operatorname{Tr} (S U^* \operatorname{E}_{F(x)} U) - \left\langle \vec{x},0 \big| U^* \operatorname{E}_{F(x)} U
\big|\vec{x},0 \right\rangle\right|\leq \operatorname{Tr} (\big||\vec{x},0\rangle \langle \vec{x},0 | - S\big|) \| U^* \operatorname{E}_{F(x)} U \| \leq \delta </math>

so dass

:<math>\operatorname{Tr} (S U^* \operatorname{E}_{F(x)} U) \geq 1 - \epsilon - \delta</math>

'''Satz'''. Wenn <math>\epsilon + \delta < \frac1{2}</math>, dann kann die Wahrscheinlichkeitsverteilung

:<math> \operatorname{Pr}\{y\} = \operatorname{Tr} (S U^* \operatorname{E}_{y} U)</math>

auf ''Y'' verwendet werden, um ''F''(''x'') bei hinreichend vielen Stichproben mit einer beliebig kleinen Fehlerwahrscheinlichkeit zu bestimmen. Nimmt man ''k'' unabhängigen Stichproben aus der Wahrscheinlichkeitsverteilung Pr auf ''Y'', dann ist die Wahrscheinlichkeit, dass der Wert ''F''(''x'') mehr als ''k''/2-mal gemessen wird mindestens

:<math> 1 - e^{- 2 \gamma^2 k} </math>

wobei <math> \gamma = \frac1{2} - \epsilon - \delta</math>. Dies folgt aus der [[Chernoff-Ungleichung]].

== Siehe auch ==
* [[Quantengatter]]
* [[Liste der Quantengatter]]
* [[Quanten-Fouriertransformation#Quantenschaltkreis|Quantenschaltkreis der Quanten-Fouriertransformation]]

== Literatur ==
* {{Literatur
|Autor=[[Eli Biham]], [[Gilles Brassard]], Dan Kenigsberg, Tal Mor
|Titel=Quantum computing without entanglement
|Sammelwerk=Theoretical Computer Science
|Band=320
|Nummer=1
|Datum=2004
|Seiten=15–33
|arXiv=quant-ph/0306182
|DOI=10.1016/j.tcs.2004.03.041}}
* {{Literatur
|Autor=[[Michael Freedman|M.H. Freedman]], [[Alexei Jurjewitsch Kitajew|A. Kitaev]], [[Michael J. Larsen|M.J. Larsen]], Z. Wang
|Titel=Topological quantum computation
|Sammelwerk=Bulletin of the AMS
|Band=40
|Nummer=1
|Datum=2003
|Seiten=31–38
|Online=https://www.ams.org/journals/bull/2003-40-01/S0273-0979-02-00964-3/S0273-0979-02-00964-3.pdf
|Format=PDF
|KBytes=}}
* {{Literatur
|Autor=Mika Hirvensalo
|Titel=Quantum Computing
|Verlag=Springer
|Ort=Berlin
|Datum=2000
|ISBN=3-540-66783-0
|Online=https://books.google.de/books?id=oCd5fWPqf7UC&printsec=frontcover}} [https://archive.org/details/quantumcomputing0000hirv archiv.org]
* {{Literatur
|Autor=[[Michael Nielsen|M. A. Nielsen]], [[Isaac Chuang|I. L. Chuang]]
|Titel=Quantum Computation and Quantum Information.
|Verlag=Cambridge University Press
|Ort=Cambridge MA
|Datum=2010
|ISBN=978-1-107-00217-3
|Online=https://profmcruz.files.wordpress.com/2017/08/quantum-computation-and-quantum-information-nielsen-chuang.pdf}}

* {{Literatur|Autor=M. Homeister|Titel=Vom Quantenregister zum Quantenschaltkreis|Sammelwerk=Quantum Computing verstehen: Grundlagen, Anwendungen, Perspektiven|Verlag=Springer/Vieweg|Ort=Wiesbaden |Datum=2022|ISBN=978-3-658-36433-5|Seiten=67–99 |Online=https://link.springer.com/content/pdf/10.1007/978-3-8348-9241-6_3.pdf?pdf}}

== Weblinks ==
* [http://xstructure.inr.ac.ru/x-bin/theme3.py?level=1&index1=371459 Quantum circuit on arxiv.org] (englisch)
* [http://www.cquic.org/Qcircuit/ Q-circuit] ist eine Makro-Bibliothek zum Zeichnen von Quantenschaltungen in LaTeX.
* [[Dagmar Bruß]]: [https://open.hpi.de/courses/qc-intro-1-2022/items/5KycIHdTUDBYBRXJ2lFj6a?locale=de ''Quantenschaltkreise - ein erster Eindruck''] Video Vorlesung
* [https://learn.microsoft.com/de-de/azure/quantum/concepts-circuits ''Konventionen für Quantenschaltungsdiagramme''] (''Dokumentation zu Azure Quantum'') abgerufen am 15. Mai 2024

== Einzelnachweise ==
<references />

[[Kategorie:Quanteninformatik]]
[[Kategorie:Logikkalkül]]

Quantenschaltung - Versionsgeschichte

imported>Qcomp: revert: der ganze Artikel ist im Fließtext ohne math-tags geschrieben, das an nur einer Stelle zu ändern ist nicht sinnvoll, da Notation dann uneinheitlich; ausserdem einige seltsame Einrückungen und unpassende Doppelpunkte korrigiert