Grundlagen der Quantenmechanik
Einführung
Im folgenden Video führt dich Olivia Lanes durch den Inhalt dieser Lektion. Alternativ kannst du das YouTube-Video zu dieser Lektion in einem separaten Fenster öffnen.
In der vorherigen Lektion haben wir gelernt, wie man einen verschränkten Zustand zweier Qubits erzeugt, der als „Bell-Zustand" bekannt ist. Als wir den Zustand gemessen haben, stellten wir fest, dass die Messungen der beiden Qubits korreliert waren: Wenn eines als 0 gemessen wurde, wurde das andere ebenfalls als 0 gemessen, und wenn eines 1 war, wurde das andere ebenfalls als 1 gemessen. Wir haben gesehen, dass dies ein Merkmal der Quantenverschränkung ist. Heute gehen wir tiefer in diesen Zustand ein und was er über die für das Quantencomputing grundlegende Quantenphysik verrät.
Der Bell-Zustand
Viele der Quantenphänomene, die Quantencomputer anders als klassische Computer verhalten lassen, sind bereits im täuschend einfachen Bell-Zustand vorhanden, den wir in der vorherigen Lektion erzeugt haben. Lass uns diesen Bell-Zustand-Circuit zurückbringen:
# Added by doQumentation — required packages for this notebook
!pip install -q qiskit
from qiskit import QuantumCircuit
qc = QuantumCircuit(2)
qc.h(0)
qc.cx(0, 1)
qc.measure_all()
qc.draw("mpl")
Das obige Bild stellt den Quantum-Circuit zur Erzeugung des Bell-Zustands dar. Die beiden schwarzen horizontalen Linien repräsentieren unsere zwei Qubits, und die Kästchen und anderen Symbole auf diesen Linien repräsentieren Gates oder Operationen, die auf den entsprechenden Qubits durchgeführt werden. Die graue Doppellinie ist ein klassischer Informationsbus, der es uns ermöglicht, die klassischen Informationen zu speichern, die wir durch das Messen der beiden Qubits erhalten. Wir werden die Details dieses Circuits und des resultierenden Bell-Zustands untersuchen, um die Grundlagen des Quantencomputings zu verstehen.
Die Mathematik des Quantencomputings
Darstellung von Quantenzuständen
Zunächst brauchen wir eine gemeinsame Sprache, in der wir Quantenzustände und Circuits besprechen können. Es gibt verschiedene Möglichkeiten, Quantenzustände darzustellen. Die erste ist die Dirac-Notation. In der Dirac-Notation sieht der Zustand so aus:
Hier wird der Zustand in Winkelklammern und senkrechten Strichen geschrieben. Die beiden Terme repräsentieren jeweils die zwei möglichen Messergebnisse des Zustands. Wenn wir diesen Zustand also messen, werden wir entweder feststellen, dass beide Qubits im Zustand 0 sind, oder dass beide im Zustand 1 sind. Das wird als „Normierungskonstante" bezeichnet. Es dient dazu, sicherzustellen, dass die Summe der Quadrate jedes Koeffizienten im Zustand sich auf summiert. Wir werden später erläutern, warum dies so ist, im Abschnitt über Messungen.
Die zweite Möglichkeit, einen Zustand darzustellen, ist in der Standardsprache der linearen Algebra: als Vektor, wobei jeder Eintrag des Vektors ein anderes mögliches Messergebnis repräsentiert. In dieser Notation würde unser Bell-Zustand so geschrieben:
Per Konvention sind die Einträge des Vektors wie folgt geordnet:
- Der erste Eintrag entspricht dem Zwei-Qubit-Zustand
- Der zweite dem
- Der dritte dem
- Der vierte dem
Wie erwartet sind im Bell-Zustands-Vektor der erste und vierte Eintrag ungleich null, während der zweite und dritte Eintrag null sind. Die Normierungskonstante stellt sicher, dass die Länge des Vektors beträgt.
Ein Hinweis zur Reihenfolge der Qubits
Qiskit verwendet die Little-Endian-Reihenfolge. Das bedeutet, dass das rechteste Qubit als das erste (oder am wenigsten signifikante) Qubit betrachtet wird und das linkeste Qubit das signifikanteste Qubit ist. Wenn wir also einen Zustand wie schreiben:
- entspricht das rechteste Bit dem Qubit und befindet sich im Zustand .
- entspricht das linkeste Bit dem Qubit und befindet sich im Zustand .
Gate-Darstellung
Genau wie Zustände als Vektoren dargestellt werden können, können Gates als Matrizen dargestellt werden. Ein Gate wirkt auf einen Zustand, indem es seinen Vektor in einen neuen Vektor transformiert.
Jedes Gate entspricht einer bestimmten Matrix, die vorschreibt, wie der Zustand transformiert wird. Wir wenden diese Transformation an, indem wir die Gate-Matrix und den ursprünglichen Zustandsvektor multiplizieren, wobei die Gate-Matrix links vom Zustandsvektor steht, wie folgt:
wobei die Gate-Matrix und den Zustandsvektor repräsentiert.
Schauen wir uns das Hadamard-Gate als Beispiel an. Das Hadamard-Gate ist ein Ein-Qubit-Gate (das rote Kästchen mit der Aufschrift „H" im obigen Circuit-Diagramm), das den Zustand in und den Zustand in transformiert. In Matrixnotation sieht das Hadamard-Gate so aus:
Überprüfe dein Verständnis
Verwende die Matrixmultiplikation, um zu zeigen, dass die Hadamard-Matrix die Zustände wie erwartet transformiert. (Falls nötig, kannst du lernen, wie man Matrixmultiplikation durchführt.)
Antwort
Es gibt einige Dinge zu beachten, wenn es um Gate-Matrizen geht:
- Sie sind immer quadratische -Matrizen, wobei auch die Dimension des Zustandsvektors ist, auf den sie angewendet werden. Wenn du beispielsweise nur ein einzelnes Qubit hast, ist der Zustandsvektor zweidimensional und repräsentiert die zwei möglichen Zustände 0 und 1 des Qubits. In diesem Fall hätte die Gate-Matrix, die auf dieses System angewendet wird, die Dimension .
- Quantum-Gates sind reversibel. Mit anderen Worten, man kann eine andere Matrix finden, die die Inverse des Gates ist, die die Wirkung des Gates rückgängig macht und die Qubits in ihren ursprünglichen Zustand zurückversetzt.
- Quantum-Gates erhalten auch die Länge der Vektoren, die sie transformieren. Quantenzustandsvektoren haben immer die Länge (garantiert durch die Normierungskonstanten, die wir zuvor besprochen haben). Die Gates verlängern oder verkürzen sie nicht, sondern rotieren sie lediglich.
Dies sind alles Eigenschaften von unitären Matrizen. Wenn du mehr über die mathematischen Eigenschaften unitärer Matrizen erfahren möchtest, kannst du mehr darüber in John Watrous' Lektion über multiple systems im Kurs „Basics of Quantum Information" lesen.
Wie Messungen funktionieren
Wenn wir einen Quantenzustand messen, ist das Ergebnis immer eines der möglichen Ergebnisse (für ein einzelnes Qubit entweder 0 oder 1). Welches Ergebnis wir erhalten, ist zufällig, aber der Quantenzustand sagt uns die Wahrscheinlichkeiten jedes Ergebnisses.
Die Einträge im Zustandsvektor bestimmen diese Wahrscheinlichkeiten. Um die Wahrscheinlichkeit eines bestimmten Ergebnisses zu erhalten, nehmen wir das Quadrat des Eintrags, der diesem Ergebnis entspricht. Wenn sich ein Qubit beispielsweise im Zustand befindet:
ist der erste Eintrag (entsprechend 0) , und der zweite Eintrag (entsprechend 1) ist ebenfalls . Das Quadrieren dieser Zahlen ergibt
was bedeutet, dass es eine 50%-ige Chance gibt, 0 zu messen, und eine 50%-ige Chance, 1 zu messen.
Beachte, dass die Summe aller quadrierten Einträge immer 1 ergibt. Das ergibt Sinn, weil wir beim Messen garantiert ein Ergebnis erhalten, sodass die Wahrscheinlichkeiten aller möglichen Ergebnisse insgesamt 100% ergeben müssen.
Nach der Messung kollabiert das Qubit zum beobachteten Ergebnis, und jede vorherige Superposition geht verloren. Das Qubit verhält sich jetzt wie ein klassisches Bit. Messungen unterscheiden sich grundlegend von Quantum-Gates. Während Gates Quantenzustände auf deterministische und reversible Weise ändern, ist die Messung von Natur aus zufällig und irreversibel.
Messungen in verschiedenen Basen
Standardmäßig misst man beim Messen eines Qubits in einem Quantum-Circuit den Zustand des Qubits nur entlang einer Achse. Dies wird als Rechenbasis oder -Basis bezeichnet, die durch die Zustände und definiert ist. Man kann sich den Zustand als einen Vektor vorstellen, der gerade nach oben zeigt, und den Zustand als einen Vektor, der gerade nach unten zeigt. Eine Messung in der -Basis beantwortet also die Frage: „Zeigt der Zustand des Qubits nach oben oder nach unten?"
Aber das ist nicht die einzige Art von Frage, die wir einem Qubit stellen können. Der Zustandsvektor eines Qubits zeigt nicht nur entweder nach oben oder nach unten. Eine Superposition von und führt zu einem Zustandsvektor, der in jede Richtung im dreidimensionalen Raum zeigt — die genaue Richtung hängt von den relativen Amplituden und Phasen der beiden Teile der Superposition ab. Eine Standard--Basis-Messung fragt also „oben oder unten?", aber man kann auch „links oder rechts?" oder „vorwärts oder rückwärts?" fragen.
Diese Fragen entsprechen Messungen in verschiedenen Basen. Jede Basis hat ihren eigenen Satz von zwei Basisvektoren, die die zwei möglichen Messergebnisse in dieser Basis definieren (wie