{
"cells": [
{
"cell_type": "markdown",
"id": "b494220d",
"metadata": {},
"source": [
"---\n",
"title: \"Quanteninformation\"\n",
"description: \"Ein kostenloser Kurs „ IBM ” über Quanteninformation und -berechnung\"\n",
"---\n",
"\n",
"{/* cspell:ignore Biggr, operatorname */}\n",
"\n"
]
},
{
"cell_type": "markdown",
"id": "39d3529f",
"metadata": {},
"source": [
"\n",
"\n",
"# Quanteninformation\n",
"\n",
"Wir sind nun bereit, uns mit der Quanteninformation im Rahmen von Mehrfachsystemen zu befassen.\n",
"Ähnlich wie in der vorangegangenen Lektion über Einzelsysteme ist die mathematische Beschreibung der Quanteninformation für Mehrfachsysteme dem probabilistischen Fall recht ähnlich und macht von ähnlichen Konzepten und Techniken Gebrauch.\n",
"\n",
"\n",
"\n",
"## Quantenzustände\n",
"\n",
"Mehrere Systeme können gemeinsam als ein einziges, zusammengesetztes System betrachtet werden.\n",
"Das haben wir bereits im probabilistischen Rahmen beobachtet, und im quantenmechanischen Rahmen verhält es sich analog.\n",
"Quantenzustände von Mehrkörpersystemen werden daher – genau wie Quantenzustände von Ein-Körper-Systemen – durch Spaltenvektoren dargestellt, deren Elemente komplexe Zahlen sind und deren euklidische Norm $1$ beträgt.\n",
"Im Fall eines Mehrfachsystems werden die Einträge dieser Vektoren so angeordnet, dass sie dem *kartesischen Produkt* der klassischen Zustandsmengen entsprechen, die den einzelnen Systemen zugeordnet sind, da dies die klassische Zustandsmenge des zusammengesetzten Systems ist.\n",
"\n",
"Sind beispielsweise $\\mathsf{X}$ und $\\mathsf{Y}$ Qubits, so ist die klassische Zustandsmenge des Qubitpaares $(\\mathsf{X},\\mathsf{Y})$ – das gemeinsam als ein einziges System betrachtet wird – das kartesische Produkt $\\{0,1\\}\\times\\{0,1\\}$.\n",
"Indem wir Paare von binären Werten als binäre Zeichenfolgen der Länge zwei darstellen, ordnen wir dieser kartesischen Produktmenge die Menge $\\{00,01,10,11\\}$ zu.\n",
"Die folgenden Vektoren sind daher allesamt Beispiele für Quantenzustandsvektoren des Paares $(\\mathsf{X},\\mathsf{Y})$ :\n",
"\n",
"$$\n",
" \\frac{1}{\\sqrt{2}} \\vert 00 \\rangle\n",
" - \\frac{1}{\\sqrt{6}} \\vert 01\\rangle\n",
" + \\frac{i}{\\sqrt{6}} \\vert 10\\rangle\n",
" + \\frac{1}{\\sqrt{6}} \\vert 11\\rangle, \\quad\n",
" \\frac{3}{5} \\vert 00\\rangle - \\frac{4}{5} \\vert 11\\rangle,\n",
" \\quad \\text{and} \\quad\n",
" \\vert 01 \\rangle.\n",
"$$\n",
"\n",
"Es gibt verschiedene Varianten, wie Quantenzustandsvektoren mehrerer Systeme ausgedrückt werden, und wir können diejenige Variante wählen, die unseren Vorlieben entspricht.\n",
"Hier sind einige Beispiele für den ersten Quantenzustandsvektor oben.\n",
"\n",
"1. Wir können die Tatsache nutzen, dass $\\vert ab\\rangle = \\vert a\\rangle \\vert b\\rangle$ (für alle klassischen Zustände $a$ und $b$ ), um stattdessen zu schreiben\n",
"\n",
"$$\n",
"\\frac{1}{\\sqrt{2}} \\vert 0\\rangle\\vert 0 \\rangle\n",
"- \\frac{1}{\\sqrt{6}} \\vert 0\\rangle\\vert 1\\rangle\n",
"+ \\frac{i}{\\sqrt{6}} \\vert 1\\rangle\\vert 0\\rangle\n",
"+ \\frac{1}{\\sqrt{6}} \\vert 1\\rangle\\vert 1\\rangle.\n",
"$$\n",
"\n",
"2. Wir können das Symbol für das Tensorprodukt explizit wie folgt schreiben:\n",
"\n",
"$$\n",
"\\frac{1}{\\sqrt{2}} \\vert 0\\rangle\\otimes\\vert 0 \\rangle\n",
"- \\frac{1}{\\sqrt{6}} \\vert 0\\rangle\\otimes\\vert 1\\rangle\n",
"+ \\frac{i}{\\sqrt{6}} \\vert 1\\rangle\\otimes\\vert 0\\rangle\n",
"+ \\frac{1}{\\sqrt{6}} \\vert 1\\rangle\\otimes\\vert 1\\rangle.\n",
"$$\n",
"\n",
"3. Wir können die kets tiefstellen, um anzugeben, wie sie den betrachteten Systemen entsprechen, etwa so:\n",
"\n",
"$$\n",
"\\frac{1}{\\sqrt{2}} \\vert 0\\rangle_{\\mathsf{X}}\\vert 0 \\rangle_{\\mathsf{Y}}\n",
"- \\frac{1}{\\sqrt{6}} \\vert 0\\rangle_{\\mathsf{X}}\\vert 1\\rangle_{\\mathsf{Y}}\n",
"+ \\frac{i}{\\sqrt{6}} \\vert 1\\rangle_{\\mathsf{X}}\\vert 0\\rangle_{\\mathsf{Y}}\n",
"+ \\frac{1}{\\sqrt{6}} \\vert 1\\rangle_{\\mathsf{X}}\\vert 1\\rangle_{\\mathsf{Y}}.\n",
"$$\n",
"\n",
"Natürlich können wir Quantenzustandsvektoren auch explizit als Spaltenvektoren schreiben:\n",
"\n",
"$$\n",
" \\begin{pmatrix}\n",
" \\frac{1}{\\sqrt{2}}\\\\[2mm]\n",
" - \\frac{1}{\\sqrt{6}}\\\\[2mm]\n",
" \\frac{i}{\\sqrt{6}}\\\\[2mm]\n",
" \\frac{1}{\\sqrt{6}}\n",
" \\end{pmatrix}.\n",
"$$\n",
"\n",
"Je nach dem Kontext, in dem er auftaucht, kann eine dieser Varianten bevorzugt werden - sie sind jedoch alle gleichwertig in dem Sinne, dass sie denselben Vektor beschreiben.\n",
"\n",
"\n",
"\n",
"### Tensorprodukte von Quantenzustandsvektoren\n",
"\n",
"Ähnlich wie bei den Wahrscheinlichkeitsvektoren sind Tensorprodukte von Quantenzustandsvektoren ebenfalls Quantenzustandsvektoren - und auch sie repräsentieren die *Unabhängigkeit* zwischen Systemen.\n",
"\n",
"Um es genauer zu betrachten, beginnend mit dem Fall zweier Systeme: Sei $\\vert \\phi \\rangle$ ein Quantenzustandsvektor des Systems $\\mathsf{X}$ und $\\vert \\psi \\rangle$ ein Quantenzustandsvektor des Systems $\\mathsf{Y}$ . Das Tensorprodukt $\\vert \\phi \\rangle \\otimes \\vert \\psi \\rangle$ , das alternativ auch als $\\vert \\phi \\rangle \\vert \\psi \\rangle$ oder $\\vert \\phi \\otimes \\psi \\rangle$ geschrieben werden kann, ist dann ein Quantenzustandsvektor des Gesamtsystems $(\\mathsf{X},\\mathsf{Y})$ . Einen Zustand dieser Form bezeichnen wir wiederum als *Produktzustand* .\n",
"\n",
"Intuitiv gesehen lässt sich sagen: Befindet sich ein Systempaar $(\\mathsf{X},\\mathsf{Y})$ in einem Produktzustand $\\vert \\phi \\rangle \\otimes \\vert \\psi \\rangle$, so können wir dies so interpretieren, dass $\\mathsf{X}$ sich im Quantenzustand $\\vert \\phi \\rangle$ befindet, $\\mathsf{Y}$ sich im Quantenzustand $\\vert \\psi \\rangle$ befindet und die Zustände der beiden Systeme nichts miteinander zu tun haben.\n",
"\n",
"Die Tatsache, dass der Tensorproduktvektor $\\vert \\phi \\rangle \\otimes \\vert \\psi \\rangle$ tatsächlich ein Quantenzustandsvektor ist, steht im Einklang mit der euklidischen Norm, die in Bezug auf Tensorprodukte *multiplikativ* ist:\n",
"\n",
"$$\n",
"\\begin{aligned}\n",
" \\bigl\\| \\vert \\phi \\rangle \\otimes \\vert \\psi \\rangle \\bigr\\|\n",
" & = \\sqrt{\n",
" \\sum_{(a,b)\\in\\Sigma\\times\\Gamma}\n",
" \\bigl\\vert\\langle ab \\vert \\phi\\otimes\\psi \\rangle \\bigr\\vert^2\n",
" }\\\\[1mm]\n",
" & = \\sqrt{\n",
" \\sum_{a\\in\\Sigma} \\sum_{b\\in\\Gamma}\n",
" \\bigl\\vert\\langle a \\vert \\phi \\rangle\n",
" \\langle b \\vert \\psi \\rangle \\bigr\\vert^2\n",
" }\\\\[1mm]\n",
" & = \\sqrt{\n",
" \\biggl(\\sum_{a\\in\\Sigma}\n",
" \\bigl\\vert \\langle a \\vert \\phi \\rangle \\bigr\\vert^2\n",
" \\biggr)\n",
" \\biggl(\\sum_{b\\in\\Gamma}\n",
" \\bigl\\vert \\langle b \\vert \\psi \\rangle \\bigr\\vert^2\n",
" \\biggr)\n",
" }\\\\[1mm]\n",
" & = \\bigl\\|\n",
" \\vert \\phi \\rangle \\bigr\\| \\bigl\\| \\vert \\psi \\rangle\n",
" \\bigr\\|.\n",
"\\end{aligned}\n",
"$$\n",
"\n",
"Da $\\vert \\phi \\rangle$ und $\\vert \\psi \\rangle$ Quantenzustandsvektoren sind, gilt $\\|\\vert \\phi \\rangle\\| = 1$ und $\\|\\vert \\psi \\rangle\\| = 1$, und somit $\\|\\vert \\phi \\rangle \\otimes \\vert \\psi \\rangle\\| = 1$; daher ist auch $\\vert \\phi \\rangle \\otimes \\vert \\psi \\rangle$ ein Quantenzustandsvektor.\n",
"\n",
"Dies lässt sich auf mehr als zwei Systeme verallgemeinern.\n",
"Sind $\\vert \\psi_0 \\rangle,\\ldots,\\vert \\psi_{n-1} \\rangle$ Quantenzustandsvektoren der Systeme $\\mathsf{X}_0,\\ldots,\\mathsf{X}_{n-1}$, so ist $\\vert \\psi_{n-1} \\rangle\\otimes\\cdots\\otimes \\vert \\psi_0 \\rangle$ ein Quantenzustandsvektor, der einen *Produktzustand* des gemeinsamen Systems $(\\mathsf{X}_{n-1},\\ldots,\\mathsf{X}_0)$ darstellt.\n",
"Auch hier wissen wir, dass es sich um einen Quantenzustandsvektor handelt, da\n",
"\n",
"$$\n",
" \\bigl\\|\n",
" \\vert \\psi_{n-1} \\rangle\\otimes\\cdots\\otimes \\vert \\psi_0 \\rangle\n",
" \\bigr\\|\n",
" = \\bigl\\|\\vert \\psi_{n-1} \\rangle\\bigl\\| \\cdots\n",
" \\bigl\\|\\vert \\psi_0 \\rangle \\bigr\\| = 1^n = 1.\n",
"$$\n",
"\n",
"\n",
"\n",
"### Verschränkte Zustände\n",
"\n",
"Nicht alle Quantenzustandsvektoren von Mehrfachsystemen sind Produktzustände.\n",
"Zum Beispiel kann der Quantenzustandsvektor\n",
"\n",
"$$\n",
" \\frac{1}{\\sqrt{2}} \\vert 00\\rangle + \\frac{1}{\\sqrt{2}} \\vert 11\\rangle\n",
" \\tag{1}\n",
"$$\n",
"\n",
"von zwei Qubits ist kein Produktzustand.\n",
"Um dies zu begründen, können wir genau das gleiche Argument verwenden, das wir im vorherigen Abschnitt für einen probabilistischen Zustand benutzt haben.\n",
"Das heißt, wenn $(1)$ ein Produktzustand wäre, würde es Quantenzustandsvektoren $\\vert\\phi\\rangle$ und $\\vert\\psi\\rangle$ geben, für die\n",
"\n",
"$$\n",
" \\vert\\phi\\rangle\\otimes\\vert\\psi\\rangle\n",
" = \\frac{1}{\\sqrt{2}} \\vert 00\\rangle\n",
" + \\frac{1}{\\sqrt{2}} \\vert 11\\rangle.\n",
"$$\n",
"\n",
"Aber dann wäre es zwangsläufig der Fall, dass\n",
"\n",
"$$\n",
" \\langle 0 \\vert \\phi\\rangle\n",
" \\langle 1 \\vert \\psi\\rangle\n",
" = \\langle 01 \\vert \\phi\\otimes\\psi\\rangle\n",
" = 0\n",
"$$\n",
"\n",
"was bedeutet, dass $\\langle 0 \\vert \\phi\\rangle = 0$ oder $\\langle 1 \\vert \\psi\\rangle = 0$ (oder beides).\n",
"Dies widerspricht der Tatsache, dass\n",
"\n",
"$$\n",
" \\langle 0 \\vert \\phi\\rangle \\langle 0 \\vert \\psi\\rangle\n",
" = \\langle 00 \\vert \\phi\\otimes\\psi\\rangle\n",
" = \\frac{1}{\\sqrt{2}}\n",
"$$\n",
"\n",
"und\n",
"\n",
"$$\n",
" \\langle 1 \\vert \\phi\\rangle \\langle 1 \\vert \\psi\\rangle\n",
" = \\langle 11 \\vert \\phi\\otimes\\psi\\rangle\n",
" = \\frac{1}{\\sqrt{2}}\n",
"$$\n",
"\n",
"sind beide ungleich Null.\n",
"Der Quantenzustandsvektor $(1)$ stellt also eine *Korrelation* zwischen zwei Systemen dar, und wir sagen ausdrücklich, dass die Systeme *verschränkt* sind.\n",
"\n",
"Beachten Sie, dass der spezifische Wert $1/\\sqrt{2}$ für dieses Argument nicht wichtig ist - wichtig ist nur, dass dieser Wert ungleich Null ist.\n",
"So kann zum Beispiel der Quantenzustand\n",
"\n",
"$$\n",
" \\frac{3}{5} \\vert 00\\rangle + \\frac{4}{5} \\vert 11\\rangle\n",
"$$\n",
"\n",
"ist ebenfalls kein Produktzustand, mit dem gleichen Argument.\n",
"\n",
"Die Verschränkung ist ein wesentliches Merkmal der Quanteninformation, das in einer späteren Lektion ausführlicher behandelt wird.\n",
"Die Verschränkung kann kompliziert sein, insbesondere bei verrauschten Quantenzuständen, die durch Dichtematrizen beschrieben werden können (diese werden im Kurs *Allgemeine Formulierung der Quanteninformation* behandelt, dem dritten Kurs in der Reihe *Quanteninformation und -berechnung verstehen* ).\n",
"Für Quantenzustandsvektoren ist Verschränkung jedoch gleichbedeutend mit Korrelation: Jeder Quantenzustandsvektor, der kein Produktzustand ist, stellt einen verschränkten Zustand dar.\n",
"\n",
"Im Gegensatz dazu ist der Quantenzustandsvektor\n",
"\n",
"$$\n",
" \\frac{1}{2} \\vert 00\\rangle\n",
" + \\frac{i}{2} \\vert 01\\rangle\n",
" - \\frac{1}{2} \\vert 10\\rangle\n",
" - \\frac{i}{2} \\vert 11\\rangle\n",
"$$\n",
"\n",
"ist ein Beispiel für einen Produktzustand.\n",
"\n",
"$$\n",
" \\frac{1}{2} \\vert 00\\rangle\n",
" + \\frac{i}{2} \\vert 01\\rangle\n",
" - \\frac{1}{2} \\vert 10\\rangle\n",
" - \\frac{i}{2} \\vert 11\\rangle\n",
" =\n",
" \\biggl(\n",
" \\frac{1}{\\sqrt{2}}\\vert 0\\rangle - \\frac{1}{\\sqrt{2}}\\vert 1\\rangle\n",
" \\biggr)\n",
" \\otimes\n",
" \\biggl(\n",
" \\frac{1}{\\sqrt{2}}\\vert 0\\rangle + \\frac{i}{\\sqrt{2}}\\vert 1\\rangle\n",
" \\biggr)\n",
"$$\n",
"\n",
"Dieser Zustand ist also nicht verschränkt.\n",
"\n",
"\n",
"\n",
"### Bell erklärt\n",
"\n",
"Wir werden uns nun einige wichtige Beispiele für Quantenzustände mit mehreren Quantenbits ansehen, beginnend mit den *Bell-Zuständen*.\n",
"Dies sind die folgenden vier Zwei-Qubit-Zustände:\n",
"\n",
"$$\n",
"\\begin{aligned}\n",
" \\vert \\phi^+ \\rangle & = \\frac{1}{\\sqrt{2}} \\vert 00 \\rangle + \\frac{1}{\\sqrt{2}} \\vert 11 \\rangle \\\\[3mm]\n",
" \\vert \\phi^- \\rangle & = \\frac{1}{\\sqrt{2}} \\vert 00 \\rangle - \\frac{1}{\\sqrt{2}} \\vert 11 \\rangle \\\\[3mm]\n",
" \\vert \\psi^+ \\rangle & = \\frac{1}{\\sqrt{2}} \\vert 01 \\rangle + \\frac{1}{\\sqrt{2}} \\vert 10 \\rangle \\\\[3mm]\n",
" \\vert \\psi^- \\rangle & = \\frac{1}{\\sqrt{2}} \\vert 01 \\rangle - \\frac{1}{\\sqrt{2}} \\vert 10 \\rangle\n",
"\\end{aligned}\n",
"$$\n",
"\n",
"Die Bell-Zustände wurden zu Ehren von John Bell so benannt. Beachten Sie, dass dasselbe Argument, mit dem nachgewiesen wird, dass $\\vert\\phi^+\\rangle$ kein Produktzustand ist, auch für alle anderen Bell-Zustände gilt: Alle vier Bell-Zustände stellen eine Verschränkung zwischen zwei Qubits dar.\n",
"\n",
"Die Sammlung aller vier Bell-Zustände\n",
"\n",
"$$\n",
" \\bigl\\{\\vert \\phi^+ \\rangle, \\vert \\phi^- \\rangle, \\vert \\psi^+ \\rangle, \\vert \\psi^- \\rangle\\bigr\\}\n",
"$$\n",
"\n",
"ist als *Bell-Basis bekannt.*\n",
"Wie der Name schon sagt, handelt es sich um eine Basis; jeder Quantenzustandsvektor aus zwei Qubits oder überhaupt jeder komplexe Vektor, dessen Einträge den vier klassischen Zuständen von zwei Bits entsprechen, kann als Linearkombination der vier Bell-Zustände ausgedrückt werden.\n",
"Beispiel:\n",
"\n",
"$$\n",
" \\vert 0 0 \\rangle\n",
" = \\frac{1}{\\sqrt{2}} \\vert \\phi^+\\rangle\n",
" + \\frac{1}{\\sqrt{2}} \\vert \\phi^-\\rangle.\n",
"$$\n",
"\n",
"\n",
"\n",
"### GHZ- und W-Zustände\n",
"\n",
"Als nächstes werden wir zwei interessante Beispiele für Zustände von drei Qubits betrachten.\n",
"Das erste Beispiel ist der *GHZ-Zustand* (so benannt zu Ehren von Daniel Greenberger, Michael Horne und Anton Zeilinger, die als erste einige seiner Eigenschaften untersucht haben):\n",
"\n",
"$$\n",
" \\frac{1}{\\sqrt{2}} \\vert 000\\rangle +\n",
" \\frac{1}{\\sqrt{2}} \\vert 111\\rangle.\n",
"$$\n",
"\n",
"Das zweite Beispiel ist der so genannte W-Zustand:\n",
"\n",
"$$\n",
" \\frac{1}{\\sqrt{3}} \\vert 001\\rangle +\n",
" \\frac{1}{\\sqrt{3}} \\vert 010\\rangle +\n",
" \\frac{1}{\\sqrt{3}} \\vert 100\\rangle.\n",
"$$\n",
"\n",
"Keiner dieser Zustände ist ein Produktzustand, was bedeutet, dass sie nicht als Tensorprodukt von drei Qubit-Quantenzustandsvektoren geschrieben werden können.\n",
"Wir werden diese beiden Zustände später untersuchen, wenn wir partielle Messungen von Quantenzuständen mehrerer Systeme diskutieren.\n",
"\n",
"\n",
"\n",
"### Weitere Beispiele\n",
"\n",
"Die Beispiele für Quantenzustände von Mehrfachsystemen, die wir bisher gesehen haben, sind Zustände von zwei oder drei Qubits, aber wir können auch Quantenzustände von Mehrfachsystemen mit unterschiedlichen klassischen Zustandsmengen betrachten.\n",
"\n",
"Hier ist zum Beispiel ein Quantenzustand von drei Systemen: $\\mathsf{X}$, $\\mathsf{Y}$ und $\\mathsf{Z}$, wobei die klassische Zustandsmenge von $\\mathsf{X}$ das binäre Alphabet ist ( $\\mathsf{X}$ ist also ein Qubit) und die klassische Zustandsmenge von $\\mathsf{Y}$ und $\\mathsf{Z}$ die Menge $\\{\\clubsuit,\\diamondsuit,\\heartsuit,\\spadesuit\\}$ ist:\n",
"\n",
"$$\n",
" \\frac{1}{2} \\vert 0 \\rangle \\vert \\heartsuit\\rangle\n",
" \\vert \\heartsuit \\rangle\n",
" + \\frac{1}{2} \\vert 1 \\rangle \\vert \\spadesuit\\rangle\n",
" \\vert \\heartsuit \\rangle\n",
" - \\frac{1}{\\sqrt{2}} \\vert 0 \\rangle \\vert \\heartsuit\\rangle\n",
" \\vert \\diamondsuit \\rangle.\n",
"$$\n",
"\n",
"Und hier ist ein Beispiel für einen Quantenzustand von drei Systemen – $\\mathsf{X}$, $\\mathsf{Y}$ und $\\mathsf{Z}$ –, die alle dieselbe klassische Zustandsmenge $\\{0,1,2\\}$ teilen:\n",
"\n",
"$$\n",
" \\frac{\n",
" \\vert 012 \\rangle\n",
" - \\vert 021 \\rangle\n",
" + \\vert 120 \\rangle\n",
" - \\vert 102 \\rangle\n",
" + \\vert 201 \\rangle\n",
" - \\vert 210 \\rangle\n",
" }{\\sqrt{6}}.\n",
"$$\n",
"\n",
"Systeme mit der klassischen Zustandsmenge $\\{0,1,2\\}$ werden oft als *Trits* oder (unter der Annahme, dass sie sich in einem Quantenzustand befinden können) als *Qutrits* bezeichnet.\n",
"Der Begriff *„Qudit“* bezeichnet ein System mit der klassischen Zustandsmenge $\\{0,\\ldots,d-1\\}$ bei beliebiger Wahl von $d$.\n",
"\n",
"\n",
"\n",
"## Messungen von Quantenzuständen\n",
"\n",
"In der vorherigen Lektion wurden Standardbasismessungen von Quantenzuständen einzelner Systeme behandelt: Befindet sich ein System mit der klassischen Zustandsmenge $\\Sigma$ in einem Quantenzustand, der durch den Vektor $\\vert \\psi \\rangle$ dargestellt wird, und wird dieses System gemessen (im Sinne einer Standardbasismessung), so tritt jeder klassische Zustand $a\\in\\Sigma$ mit der Wahrscheinlichkeit $\\vert \\langle a \\vert \\psi \\rangle\\vert^2$ auf.\n",
"Dies zeigt uns, was geschieht, wenn wir einen Quantenzustand mehrerer Systeme haben und uns entscheiden, das gesamte zusammengesetzte System zu messen, was gleichbedeutend ist mit der Messung *aller* einzelnen Systeme.\n",
"\n",
"Um dies genauer zu formulieren: Nehmen wir an, dass $\\mathsf{X}_0,\\ldots,\\mathsf{X}_{n-1}$ Systeme sind, deren klassische Zustandsmengen jeweils $\\Sigma_0,\\ldots,\\Sigma_{n-1}$ lauten.\n",
"Wir können $(\\mathsf{X}_{n-1},\\ldots,\\mathsf{X}_0)$ dann gemeinsam als ein einziges System betrachten, dessen klassischer Zustandsraum das kartesische Produkt $\\Sigma_{n-1}\\times\\cdots\\times\\Sigma_0$ ist.\n",
"Wird ein Quantenzustand dieses Systems durch den Quantenzustandsvektor $\\vert\\psi\\rangle$ dargestellt und werden alle Systeme gemessen, so tritt jedes mögliche Ergebnis $(a_{n-1},\\ldots,a_0)\\in\\Sigma_{n-1}\\times\\cdots\\times\\Sigma_0$ mit der Wahrscheinlichkeit $\\vert\\langle a_{n-1}\\cdots a_0\\vert \\psi\\rangle\\vert^2$ auf.\n",
"\n",
"Wenn sich zum Beispiel die Systeme $\\mathsf{X}$ und $\\mathsf{Y}$ gemeinsam im Quantenzustand befinden\n",
"\n",
"$$\n",
"\\frac{3}{5} \\vert 0\\rangle \\vert \\heartsuit \\rangle\n",
"- \\frac{4i}{5} \\vert 1\\rangle \\vert \\spadesuit \\rangle,\n",
"$$\n",
"\n",
"Wird dann bei beiden Systemen eine Standard-Basismessung durchgeführt, ergibt sich das Ergebnis „ $(0,\\heartsuit)$ “ mit der Wahrscheinlichkeit „ $9/25$ “ und das Ergebnis „ $(1,\\spadesuit)$ “ mit der Wahrscheinlichkeit „ $16/25$ “.\n",
"\n",
"\n",
"\n",
"### Teilmessungen\n",
"\n",
"Betrachten wir nun den Fall, in dem sich mehrere Systeme in einem Quantenzustand befinden und wir eine echte Teilmenge dieser Systeme messen.\n",
"Wie zuvor beginnen wir mit zwei Systemen $\\mathsf{X}$ und $\\mathsf{Y}$, deren klassische Zustandsmengen $\\Sigma$ bzw. $\\Gamma$ lauten.\n",
"\n",
"Im Allgemeinen hat ein Quantenzustandsvektor von $(\\mathsf{X},\\mathsf{Y})$ die Form\n",
"\n",
"$$\n",
" \\vert \\psi \\rangle\n",
" = \\sum_{(a,b)\\in\\Sigma\\times\\Gamma} \\alpha_{ab} \\vert ab\\rangle,\n",
"$$\n",
"\n",
"wobei $\\{\\alpha_{ab} : (a,b)\\in\\Sigma\\times\\Gamma\\}$ eine Sammlung von komplexen Zahlen ist, die folgende Bedingungen erfüllen\n",
"\n",
"$$\n",
" \\sum_{(a,b)\\in\\Sigma\\times\\Gamma} \\vert \\alpha_{ab} \\vert^2 = 1,\n",
"$$\n",
"\n",
"was gleichbedeutend damit ist, dass $\\vert \\psi \\rangle$ ein Einheitsvektor ist.\n",
"\n",
"Aus den obigen Ausführungen wissen wir bereits, dass, wenn sowohl $\\mathsf{X}$ als auch $\\mathsf{Y}$ gemessen werden, jedes mögliche Ergebnis $(a,b)\\in\\Sigma\\times\\Gamma$ mit einer Wahrscheinlichkeit von\n",
"\n",
"$$\n",
" \\bigl\\vert \\langle ab \\vert \\psi \\rangle \\bigr\\vert^2 = \\vert\\alpha_{ab}\\vert^2.\n",
"$$\n",
"\n",
"Nehmen wir stattdessen an, dass nur das erste System $\\mathsf{X}$ gemessen wird, so muss die Wahrscheinlichkeit, dass jedes Ergebnis $a\\in\\Sigma$ auftritt, gleich sein mit\n",
"\n",
"$$\n",
" \\sum_{b\\in\\Gamma} \\bigl\\vert \\langle ab \\vert \\psi \\rangle \\bigr\\vert^{2} = \\sum_{b\\in\\Gamma} \\vert\\alpha_{ab}\\vert^2.\n",
"$$\n",
"\n",
"Dies steht im Einklang mit dem, was wir bereits in der probabilistischen Umgebung gesehen haben, sowie mit unserem derzeitigen Verständnis der Physik: die Wahrscheinlichkeit, dass ein bestimmtes Ergebnis eintritt, wenn $\\mathsf{X}$ gemessen wird, kann nicht davon abhängen, ob $\\mathsf{Y}$ ebenfalls gemessen wurde oder nicht, da dies eine Kommunikation über Lichtgeschwindigkeit ermöglichen würde.\n",
"\n",
"Nachdem wir ein bestimmtes Ergebnis $a\\in\\Sigma$ bei einer Messung auf Standardbasis von $\\mathsf{X}$ erhalten haben, erwarten wir natürlich, dass sich der Quantenzustand von $\\mathsf{X}$ so ändert, dass er gleich $\\vert a\\rangle$ ist, genau wie wir es bei Einzelsystemen gesehen haben.\n",
"Aber was passiert mit dem Quantenzustand von „ $\\mathsf{Y}$ “?\n",
"\n",
"Um diese Frage zu beantworten, können wir zunächst den Vektor $\\vert\\psi\\rangle$ wie folgt ausdrücken\n",
"\n",
"$$\n",
" \\vert\\psi\\rangle\n",
" = \\sum_{a\\in\\Sigma}\n",
" \\vert a \\rangle\n",
" \\otimes \\vert \\phi_a \\rangle,\n",
"$$\n",
"\n",
"wo\n",
"\n",
"$$\n",
" \\vert \\phi_a \\rangle = \\sum_{b\\in\\Gamma} \\alpha_{ab} \\vert b\\rangle\n",
"$$\n",
"\n",
"für jedes „ $a\\in\\Sigma$ “.\n",
"Hier verfolgen wir dieselbe Methodik wie im probabilistischen Fall, nämlich die Isolierung der Standardbasiszustände des zu messenden Systems.\n",
"Die Wahrscheinlichkeit, dass die Standard-Basis-Messung von $\\mathsf{X}$ jeweils eines der Ergebnisse $a$ liefert, ist wie folgt:\n",
"\n",
"$$\n",
" \\sum_{b\\in\\Gamma} \\vert\\alpha_{ab}\\vert^2 = \\bigl\\| \\vert \\phi_a \\rangle \\bigr\\|^2.\n",
"$$\n",
"\n",
"Und da die Standardbasis-Messung von $\\mathsf{X}$ das Ergebnis $a$ liefert, ergibt sich der Quantenzustand des Paares $(\\mathsf{X},\\mathsf{Y})$ insgesamt als\n",
"\n",
"$$\n",
" \\vert a \\rangle \\otimes \\frac{\\vert \\phi_a \\rangle}{\\|\\vert \\phi_a \\rangle\\|}.\n",
"$$\n",
"\n",
"Das heißt, der Zustand „bricht zusammen“ wie im Fall des Einzelsystems, jedoch nur in dem Maße, wie es erforderlich ist, damit der Zustand mit der Messung von $\\mathsf{X}$ vereinbar ist, die das Ergebnis $a$ ergeben hat.\n",
"\n",
"Vereinfacht ausgedrückt stellt $\\vert a \\rangle \\otimes \\vert \\phi_a\\rangle$ die Komponente von $\\vert \\psi\\rangle$ dar, die mit einer Messung von $\\mathsf{X}$ übereinstimmt, die zu dem Ergebnis $a$ führt.\n",
"Anschließend *normalisieren* wir diesen Vektor – indem wir ihn durch seine euklidische Norm dividieren, die gleich $\\|\\vert\\phi_a\\rangle\\|$ ist –, um einen gültigen Quantenzustandsvektor mit einer euklidischen Norm von $1$ zu erhalten.\n",
"Dieser Normalisierungsschritt entspricht dem, was wir im probabilistischen Kontext getan haben, als wir Vektoren durch die Summe ihrer Einträge dividiert haben, um einen Wahrscheinlichkeitsvektor zu erhalten.\n",
"\n",
"Betrachten wir als Beispiel den Zustand von zwei Qubits $(\\mathsf{X},\\mathsf{Y})$ vom Anfang des Abschnitts:\n",
"\n",
"$$\n",
" \\vert \\psi \\rangle\n",
" = \\frac{1}{\\sqrt{2}} \\vert 00 \\rangle\n",
" - \\frac{1}{\\sqrt{6}} \\vert 01 \\rangle\n",
" + \\frac{i}{\\sqrt{6}} \\vert 10 \\rangle\n",
" + \\frac{1}{\\sqrt{6}} \\vert 11 \\rangle.\n",
"$$\n",
"\n",
"Um zu verstehen, was passiert, wenn das erste System $\\mathsf{X}$ gemessen wird, schreiben wir zunächst\n",
"\n",
"$$\n",
" \\vert \\psi \\rangle\n",
" = \\vert 0 \\rangle \\otimes \\biggl(\n",
" \\frac{1}{\\sqrt{2}} \\vert 0 \\rangle\n",
" - \\frac{1}{\\sqrt{6}} \\vert 1 \\rangle \\biggr)\n",
" + \\vert 1 \\rangle \\otimes \\biggl(\n",
" \\frac{i}{\\sqrt{6}} \\vert 0 \\rangle\n",
" + \\frac{1}{\\sqrt{6}} \\vert 1 \\rangle \\biggr).\n",
"$$\n",
"\n",
"Anhand der obigen Beschreibung sehen wir nun, dass die Wahrscheinlichkeit, dass die Messung zu dem Ergebnis $0$ führt, wie folgt ist\n",
"\n",
"$$\n",
" \\biggl\\|\\frac{1}{\\sqrt{2}} \\vert 0 \\rangle\n",
" -\\frac{1}{\\sqrt{6}} \\vert 1 \\rangle\\biggr\\|^2\n",
" = \\frac{1}{2} + \\frac{1}{6}\n",
" = \\frac{2}{3},\n",
"$$\n",
"\n",
"in diesem Fall wird der Zustand von $(\\mathsf{X},\\mathsf{Y})$\n",
"\n",
"$$\n",
" \\vert 0\\rangle \\otimes\n",
" \\frac{\\frac{1}{\\sqrt{2}} \\vert 0 \\rangle\n",
" -\\frac{1}{\\sqrt{6}} \\vert 1 \\rangle}{\\sqrt{\\frac{2}{3}}}\n",
" = \\vert 0\\rangle \\otimes\n",
" \\Biggl( \\frac{\\sqrt{3}}{2} \\vert 0 \\rangle - \\frac{1}{2} \\vert 1\\rangle\\Biggr);\n",
"$$\n",
"\n",
"und die Wahrscheinlichkeit, dass die Messung zu dem Ergebnis $1$ führt, ist\n",
"\n",
"$$\n",
" \\biggl\\|\\frac{i}{\\sqrt{6}} \\vert 0 \\rangle\n",
" + \\frac{1}{\\sqrt{6}} \\vert 1 \\rangle\\biggr\\|^2\n",
" = \\frac{1}{6} + \\frac{1}{6}\n",
" = \\frac{1}{3},\n",
"$$\n",
"\n",
"in diesem Fall wird der Zustand von $(\\mathsf{X},\\mathsf{Y})$\n",
"\n",
"$$\n",
" \\vert 1\\rangle \\otimes\n",
" \\frac{\\frac{i}{\\sqrt{6}} \\vert 0 \\rangle\n",
" +\\frac{1}{\\sqrt{6}} \\vert 1 \\rangle}{\\sqrt{\\frac{1}{3}}}\n",
" = \\vert 1\\rangle \\otimes\n",
" \\Biggl( \\frac{i}{\\sqrt{2}} \\vert 0 \\rangle\n",
" +\\frac{1}{\\sqrt{2}} \\vert 1\\rangle\\Biggr).\n",
"$$\n",
"\n",
"Die gleiche Technik, symmetrisch angewandt, beschreibt, was passiert, wenn das zweite System $\\mathsf{Y}$ und nicht das erste gemessen wird.\n",
"Dieses Mal schreiben wir den Vektor $\\vert \\psi \\rangle$ um als\n",
"\n",
"$$\n",
" \\vert \\psi \\rangle\n",
" = \\biggl(\n",
" \\frac{1}{\\sqrt{2}} \\vert 0 \\rangle\n",
" + \\frac{i}{\\sqrt{6}} \\vert 1 \\rangle\n",
" \\biggr) \\otimes \\vert 0\\rangle\n",
" + \\biggl(\n",
" -\\frac{1}{\\sqrt{6}} \\vert 0 \\rangle\n",
" +\\frac{1}{\\sqrt{6}} \\vert 1\\rangle\n",
" \\biggr) \\otimes \\vert 1\\rangle.\n",
"$$\n",
"\n",
"Die Wahrscheinlichkeit, dass die Messung von $\\mathsf{Y}$ das Ergebnis $0$ ergibt, ist\n",
"\n",
"$$\n",
"\\biggl\\| \\frac{1}{\\sqrt{2}} \\vert 0 \\rangle\n",
" + \\frac{i}{\\sqrt{6}} \\vert 1 \\rangle \\biggr\\|^2\n",
"= \\frac{1}{2} + \\frac{1}{6} = \\frac{2}{3},\n",
"$$\n",
"\n",
"in diesem Fall wird der Zustand von $(\\mathsf{X},\\mathsf{Y})$\n",
"\n",
"$$\n",
" \\frac{\\frac{1}{\\sqrt{2}} \\vert 0 \\rangle\n",
" + \\frac{i}{\\sqrt{6}} \\vert 1 \\rangle}{\\sqrt{\\frac{2}{3}}} \\otimes \\vert 0 \\rangle\n",
" = \\biggl(\\frac{\\sqrt{3}}{2} \\vert 0 \\rangle + \\frac{i}{2} \\vert 1 \\rangle\\biggr) \\otimes\\vert 0 \\rangle;\n",
"$$\n",
"\n",
"und die Wahrscheinlichkeit, dass das Messergebnis $1$ lautet, ist\n",
"\n",
"$$\n",
" \\biggl\\|\n",
" -\\frac{1}{\\sqrt{6}} \\vert 0 \\rangle\n",
" +\\frac{1}{\\sqrt{6}} \\vert 1\\rangle\n",
" \\biggr\\|^2\n",
" = \\frac{1}{6} + \\frac{1}{6} = \\frac{1}{3},\n",
"$$\n",
"\n",
"in diesem Fall wird der Zustand von $(\\mathsf{X},\\mathsf{Y})$\n",
"\n",
"$$\n",
"\\frac{\n",
" -\\frac{1}{\\sqrt{6}} \\vert 0 \\rangle\n",
" +\\frac{1}{\\sqrt{6}} \\vert 1\\rangle }{\\frac{1}{\\sqrt{3}}}\n",
" \\otimes \\vert 1\\rangle\n",
" = \\biggl(-\\frac{1}{\\sqrt{2}} \\vert 0\\rangle\n",
" + \\frac{1}{\\sqrt{2}} \\vert 1\\rangle\\biggr) \\otimes \\vert 1\\rangle.\n",
"$$\n",
"\n",
"\n",
"\n",
"### Anmerkung zu reduzierten Quantenzuständen\n",
"\n",
"Das vorangegangene Beispiel zeigt eine Einschränkung der vereinfachten Beschreibung der Quanteninformation, die darin besteht, dass sie uns keine Möglichkeit bietet, den reduzierten (oder marginalen) Quantenzustand von nur einem von zwei Systemen (oder einer geeigneten Teilmenge einer beliebigen Anzahl von Systemen) wie im probabilistischen Fall zu beschreiben.\n",
"\n",
"Konkret bedeutet dies, dass für einen probabilistischen Zustand zweier Systeme $(\\mathsf{X},\\mathsf{Y})$, der durch einen Wahrscheinlichkeitsvektor\n",
"\n",
"$$\n",
" \\sum_{(a,b)\\in\\Sigma\\times\\Gamma} p_{ab} \\vert ab\\rangle,\n",
"$$\n",
"\n",
"können wir den *reduzierten* oder *marginalen* probabilistischen Zustand von $\\mathsf{X}$ allein wie folgt schreiben\n",
"\n",
"$$\n",
" \\sum_{a\\in\\Sigma} \\biggl( \\sum_{b\\in\\Gamma} p_{ab}\\biggr) \\vert a\\rangle =\n",
" \\sum_{(a,b)\\in\\Sigma\\times\\Gamma} p_{ab} \\vert a\\rangle.\n",
"$$\n",
"\n",
"Für Quantenzustandsvektoren gibt es keine analoge Möglichkeit, dies zu tun.\n",
"Insbesondere gilt für einen Quantenzustandsvektor\n",
"\n",
"$$\n",
" \\vert \\psi \\rangle = \\sum_{(a,b)\\in\\Sigma\\times\\Gamma} \\alpha_{ab} \\vert ab\\rangle,\n",
"$$\n",
"\n",
"der Vektor\n",
"\n",
"$$\n",
" \\sum_{(a,b)\\in\\Sigma\\times\\Gamma} \\alpha_{ab} \\vert a\\rangle\n",
"$$\n",
"\n",
"ist im Allgemeinen kein Quantenzustandsvektor und stellt das Konzept eines reduzierten oder marginalen Zustands nicht richtig dar.\n",
"\n",
"Stattdessen können wir uns dem Begriff der *Dichtematrix zuwenden,* der im Kurs *Allgemeine Formulierung der Quanteninformation* behandelt wird.\n",
"Dichtematrizen bieten uns eine sinnvolle Möglichkeit, reduzierte Quantenzustände zu definieren, die der probabilistischen Einstellung entspricht.\n",
"\n",
"\n",
"\n",
"### Teilmessungen für drei oder mehr Systeme\n",
"\n",
"Teilmessungen für drei oder mehr Systeme, bei denen eine geeignete Teilmenge der Systeme gemessen wird, können auf den Fall von zwei Systemen reduziert werden, indem die Systeme in zwei Sammlungen aufgeteilt werden, nämlich in solche, die gemessen werden, und solche, die nicht gemessen werden.\n",
"Hier ein konkretes Beispiel, das zeigt, wie dies geschehen kann.\n",
"Es zeigt insbesondere, wie nützlich es sein kann, kets durch die Namen der Systeme, die sie repräsentieren, zu subskribieren - in diesem Fall, weil es uns eine einfache Möglichkeit gibt, Permutationen der Systeme zu beschreiben.\n",
"\n",
"In diesem Beispiel betrachten wir einen Quantenzustand eines 5-Tupels von Systemen $(\\mathsf{X}_4,\\ldots,\\mathsf{X}_0)$, wobei alle fünf dieser Systeme dieselbe klassische Zustandsmenge $\\{\\clubsuit,\\diamondsuit,\\heartsuit,\\spadesuit\\}$ gemeinsam haben:\n",
"\n",
"$$\n",
"\\begin{gathered}\n",
"\\sqrt{\\frac{1}{7}}\n",
"\\vert\\heartsuit\\rangle \\vert\\clubsuit\\rangle \\vert\\diamondsuit\\rangle \\vert\\spadesuit\\rangle \\vert\\spadesuit\\rangle\n",
"+ \\sqrt{\\frac{2}{7}}\n",
"\\vert\\diamondsuit\\rangle \\vert\\clubsuit\\rangle \\vert\\diamondsuit\\rangle \\vert\\spadesuit\\rangle \\vert\\clubsuit\\rangle\n",
"+ \\sqrt{\\frac{1}{7}}\n",
"\\vert\\spadesuit\\rangle \\vert\\spadesuit\\rangle \\vert\\clubsuit\\rangle \\vert\\diamondsuit\\rangle \\vert\\clubsuit\\rangle \\\\\n",
"-i \\sqrt{\\frac{2}{7}}\n",
"\\vert\\heartsuit\\rangle \\vert\\clubsuit\\rangle \\vert\\diamondsuit\\rangle \\vert\\heartsuit\\rangle \\vert\\heartsuit\\rangle\n",
"- \\sqrt{\\frac{1}{7}}\n",
"\\vert\\spadesuit\\rangle \\vert\\heartsuit\\rangle \\vert\\clubsuit\\rangle \\vert\\spadesuit\\rangle \\vert\\clubsuit\\rangle.\n",
"\\end{gathered}\n",
"$$\n",
"\n",
"Wir werden die Situation betrachten, in der das erste und das dritte System gemessen werden und die übrigen Systeme in Ruhe gelassen werden.\n",
"\n",
"Konzeptionell gibt es keinen grundlegenden Unterschied zwischen dieser Situation und einer Situation, in der eines von zwei Systemen gemessen wird.\n",
"Da die gemessenen Systeme mit den ungemessenen Systemen durchsetzt sind, ist es leider schwierig, die für diese Berechnungen erforderlichen Ausdrücke aufzuschreiben.\n",
"\n",
"Eine Möglichkeit, wie oben vorgeschlagen, besteht darin, die kets tiefzustellen, um anzugeben, auf welche Systeme sie sich beziehen.\n",
"Auf diese Weise können wir die Systeme verfolgen, wenn wir die Reihenfolge der Kets ändern, was die Mathematik vereinfacht.\n",
"\n",
"Erstens kann der obige Quantenzustandsvektor alternativ geschrieben werden als\n",
"\n",
"$$\n",
"\\begin{gathered}\n",
"\\sqrt{\\frac{1}{7}}\n",
"\\vert\\heartsuit\\rangle_4 \\vert\\clubsuit\\rangle_3 \\vert\\diamondsuit\\rangle_2 \\vert\\spadesuit\\rangle_1 \\vert\\spadesuit\\rangle_0\n",
"+ \\sqrt{\\frac{2}{7}}\n",
"\\vert\\diamondsuit\\rangle_4 \\vert\\clubsuit\\rangle_3 \\vert\\diamondsuit\\rangle_2 \\vert\\spadesuit\\rangle_1 \\vert\\clubsuit\\rangle_0\\\\\n",
"+ \\sqrt{\\frac{1}{7}}\n",
"\\vert\\spadesuit\\rangle_4 \\vert\\spadesuit\\rangle_3 \\vert\\clubsuit\\rangle_2 \\vert\\diamondsuit\\rangle_1 \\vert\\clubsuit\\rangle_0\n",
"-i \\sqrt{\\frac{2}{7}}\n",
"\\vert\\heartsuit\\rangle_4 \\vert\\clubsuit\\rangle_3 \\vert\\diamondsuit\\rangle_2 \\vert\\heartsuit\\rangle_1 \\vert\\heartsuit\\rangle_0\\\\\n",
"- \\sqrt{\\frac{1}{7}}\n",
"\\vert\\spadesuit\\rangle_4 \\vert\\heartsuit\\rangle_3 \\vert\\clubsuit\\rangle_2 \\vert\\spadesuit\\rangle_1 \\vert\\clubsuit\\rangle_0.\n",
"\\end{gathered}\n",
"$$\n",
"\n",
"Es hat sich nichts geändert, außer dass jedes „ket“ nun einen Index hat, der angibt, welchem System es entspricht.\n",
"Hier haben wir die Indizes „ $0,\\ldots,4$ “ verwendet, aber es könnten auch die Namen der Systeme selbst verwendet werden (beispielsweise in einer Situation, in der wir Systemnamen wie „ $\\mathsf{X}$ “, „ $\\mathsf{Y}$ “ und „ $\\mathsf{Z}$ “ haben).\n",
"\n",
"Wir können nun die Kets neu ordnen und Begriffe wie folgt sammeln:\n",
"\n",
"$$\n",
"\\begin{aligned}\n",
"&\n",
"\\sqrt{\\frac{1}{7}}\n",
"\\vert\\heartsuit\\rangle_4 \\vert\\diamondsuit\\rangle_2 \\vert\\clubsuit\\rangle_3 \\vert\\spadesuit\\rangle_1 \\vert\\spadesuit\\rangle_0\n",
"+\n",
"\\sqrt{\\frac{2}{7}}\n",
"\\vert\\diamondsuit\\rangle_4 \\vert\\diamondsuit\\rangle_2 \\vert\\clubsuit\\rangle_3 \\vert\\spadesuit\\rangle_1 \\vert\\clubsuit\\rangle_0\\\\\n",
"& \\quad +\n",
"\\sqrt{\\frac{1}{7}}\n",
"\\vert\\spadesuit\\rangle_4 \\vert\\clubsuit\\rangle_2 \\vert\\spadesuit\\rangle_3 \\vert\\diamondsuit\\rangle_1 \\vert\\clubsuit\\rangle_0\n",
"-i\n",
"\\sqrt{\\frac{2}{7}}\n",
"\\vert\\heartsuit\\rangle_4 \\vert\\diamondsuit\\rangle_2 \\vert\\clubsuit\\rangle_3 \\vert\\heartsuit\\rangle_1 \\vert\\heartsuit\\rangle_0\\\\\n",
"& \\quad -\\sqrt{\\frac{1}{7}}\n",
"\\vert\\spadesuit\\rangle_4 \\vert\\clubsuit\\rangle_2 \\vert\\heartsuit\\rangle_3 \\vert\\spadesuit\\rangle_1 \\vert\\clubsuit\\rangle_0\\\\[2mm]\n",
"& \\hspace{1.5cm} = \\vert\\heartsuit\\rangle_4 \\vert\\diamondsuit\\rangle_2\n",
"\\biggl(\n",
"\\sqrt{\\frac{1}{7}} \\vert\\clubsuit\\rangle_3 \\vert\\spadesuit\\rangle_1 \\vert\\spadesuit\\rangle_0\n",
"-i \\sqrt{\\frac{2}{7}} \\vert\\clubsuit\\rangle_3 \\vert\\heartsuit\\rangle_1 \\vert\\heartsuit\\rangle_0\n",
"\\biggr)\\\\\n",
"& \\hspace{1.5cm} \\quad\n",
"+ \\vert\\diamondsuit\\rangle_4 \\vert\\diamondsuit\\rangle_2\n",
"\\biggl(\n",
"\\sqrt{\\frac{2}{7}} \\vert\\clubsuit\\rangle_3 \\vert\\spadesuit\\rangle_1 \\vert\\clubsuit\\rangle_0\n",
"\\biggr)\\\\\n",
"& \\hspace{1.5cm} \\quad + \\vert\\spadesuit\\rangle_4 \\vert\\clubsuit\\rangle_2\n",
"\\biggl(\n",
"\\sqrt{\\frac{1}{7}} \\vert\\spadesuit\\rangle_3 \\vert\\diamondsuit\\rangle_1 \\vert\\clubsuit\\rangle_0\n",
"- \\sqrt{\\frac{1}{7}} \\vert\\heartsuit\\rangle_3 \\vert\\spadesuit\\rangle_1 \\vert\\clubsuit\\rangle_0\\biggr).\n",
"\\end{aligned}\n",
"$$\n",
"\n",
"Die Tensorprodukte sind immer noch implizit, auch wenn Klammern verwendet werden, wie in diesem Beispiel.\n",
"\n",
"Um die Permutation der Kets zu verdeutlichen: Tensorprodukte sind nicht kommutativ: Sind $\\vert \\phi\\rangle$ und $\\vert \\pi \\rangle$ Vektoren, so unterscheidet sich im Allgemeinen $\\vert \\phi\\rangle\\otimes\\vert \\pi \\rangle$ von $\\vert \\pi\\rangle\\otimes\\vert \\phi \\rangle$, und dasselbe gilt für Tensorprodukte aus drei oder mehr Vektoren.\n",
"Beispielsweise ist\n",
"$\\vert\\heartsuit\\rangle \\vert\\clubsuit\\rangle \\vert\\diamondsuit\\rangle \\vert\\spadesuit\\rangle \\vert\\spadesuit\\rangle$\n",
"ein anderer Vektor als\n",
"$\\vert\\heartsuit\\rangle \\vert\\diamondsuit\\rangle \\vert\\clubsuit\\rangle \\vert\\spadesuit\\rangle \\vert\\spadesuit\\rangle$\n",
".\n",
"Die Umordnung der Kets, wie wir sie gerade vorgenommen haben, sollte nicht so interpretiert werden, als würde sie etwas anderes nahelegen.\n",
"\n",
"Vielmehr treffen wir für die Durchführung der Berechnungen lediglich die Entscheidung, dass es praktischer ist, die Systeme als „ $(\\mathsf{X}_4,\\mathsf{X}_2,\\mathsf{X}_3,\\mathsf{X}_1,\\mathsf{X}_0)$ “ zusammenzufassen, anstatt als „ $(\\mathsf{X}_4,\\mathsf{X}_3,\\mathsf{X}_2,\\mathsf{X}_1,\\mathsf{X}_0)$ “.\n",
"Die Indizes bei den Kets dienen dazu, den Überblick zu behalten, und es steht uns frei, später zur ursprünglichen Reihenfolge zurückzukehren, wenn wir dies wünschen.\n",
"\n",
"Wir sehen nun, dass, wenn die Systeme $\\mathsf{X}_4$ und $\\mathsf{X}_2$ gemessen werden, die (von Null verschiedenen) Wahrscheinlichkeiten der verschiedenen Ergebnisse wie folgt sind:\n",
"\n",
"* Das Messergebnis $(\\heartsuit,\\diamondsuit)$ tritt mit einer Wahrscheinlichkeit von\n",
"\n",
"$$\n",
"\\biggl\\|\n",
"\\sqrt{\\frac{1}{7}} \\vert\\clubsuit\\rangle_3 \\vert\\spadesuit\\rangle_1 \\vert\\spadesuit\\rangle_0\n",
"-i \\sqrt{\\frac{2}{7}} \\vert\\clubsuit\\rangle_3 \\vert\\heartsuit\\rangle_1 \\vert\\heartsuit\\rangle_0\n",
"\\biggr\\|^2 = \\frac{1}{7} + \\frac{2}{7} = \\frac{3}{7}\n",
"$$\n",
"\n",
"* Das Messergebnis $(\\diamondsuit,\\diamondsuit)$ tritt mit einer Wahrscheinlichkeit von\n",
"\n",
"$$\n",
"\\biggl\\|\n",
"\\sqrt{\\frac{2}{7}} \\vert\\clubsuit\\rangle_3 \\vert\\spadesuit\\rangle_1 \\vert\\clubsuit\\rangle_0\n",
"\\biggr\\|^2 = \\frac{2}{7}\n",
"$$\n",
"\n",
"* Das Messergebnis $(\\spadesuit,\\clubsuit)$ tritt mit einer Wahrscheinlichkeit von\n",
"\n",
"$$\n",
"\\biggl\\|\n",
"\\sqrt{\\frac{1}{7}} \\vert\\spadesuit\\rangle_3 \\vert\\diamondsuit\\rangle_1 \\vert\\clubsuit\\rangle_0\n",
"- \\sqrt{\\frac{1}{7}} \\vert\\heartsuit\\rangle_3 \\vert\\spadesuit\\rangle_1 \\vert\\clubsuit\\rangle_0\n",
"\\biggr\\|^2 = \\frac{1}{7} + \\frac{1}{7} = \\frac{2}{7}.\n",
"$$\n",
"\n",
"Liegt das Messergebnis beispielsweise bei „ $(\\heartsuit,\\diamondsuit)$ “, so ergibt sich für unsere fünf Systeme folgender Zustand:\n",
"\n",
"$$\n",
"\\begin{aligned}\n",
"& \\vert \\heartsuit\\rangle_4 \\vert \\diamondsuit \\rangle_2\n",
"\\otimes\n",
"\\frac{\n",
"\\sqrt{\\frac{1}{7}}\n",
"\\vert\\clubsuit\\rangle_3 \\vert\\spadesuit\\rangle_1 \\vert\\spadesuit\\rangle_0\n",
"- i\n",
"\\sqrt{\\frac{2}{7}}\n",
"\\vert\\clubsuit\\rangle_3 \\vert\\heartsuit\\rangle_1 \\vert\\heartsuit\\rangle_0}\n",
"{\\sqrt{\\frac{3}{7}}}\\\\\n",
"& \\qquad\n",
"=\n",
"\\sqrt{\\frac{1}{3}}\n",
"\\vert \\heartsuit\\rangle_4 \\vert\\clubsuit\\rangle_3 \\vert \\diamondsuit \\rangle_2\\vert\\spadesuit\\rangle_1 \\vert\\spadesuit\\rangle_0\n",
"-i\n",
"\\sqrt{\\frac{2}{3}}\n",
"\\vert \\heartsuit\\rangle_4 \\vert\\clubsuit\\rangle_3 \\vert \\diamondsuit \\rangle_2\\vert\\heartsuit\\rangle_1 \\vert\\heartsuit\\rangle_0.\n",
"\\end{aligned}\n",
"$$\n",
"\n",
"Für die endgültige Antwort sind wir zu unserer ursprünglichen Reihenfolge der Systeme zurückgekehrt, nur um zu zeigen, dass wir dies tun können.\n",
"Für die anderen möglichen Messergebnisse kann der Zustand auf ähnliche Weise bestimmt werden.\n",
"\n",
"Abschließend noch zwei Beispiele, die bereits versprochen wurden, beginnend mit dem GHZ-Zustand\n",
"\n",
"$$\n",
"\\frac{1}{\\sqrt{2}} \\vert 000\\rangle + \\frac{1}{\\sqrt{2}} \\vert 111\\rangle.\n",
"$$\n",
"\n",
"Wird nur das erste System gemessen, erhalten wir mit der Wahrscheinlichkeit $1/2$ das Messergebnis $0$, woraufhin der Zustand der drei Qubits zu $\\vert 000\\rangle$ wird; außerdem erhalten wir mit der Wahrscheinlichkeit $1/2$ das Messergebnis $1$, woraufhin der Zustand der drei Qubits zu $\\vert 111\\rangle$ wird.\n",
"\n",
"Für einen W-Zustand hingegen, wieder unter der Annahme, dass nur das erste System gemessen wird, schreiben wir diesen Zustand zunächst wie folgt:\n",
"\n",
"$$\n",
"\\begin{aligned}\n",
"&\n",
"\\frac{1}{\\sqrt{3}} \\vert 001\\rangle +\n",
"\\frac{1}{\\sqrt{3}} \\vert 010\\rangle +\n",
"\\frac{1}{\\sqrt{3}} \\vert 100\\rangle \\\\\n",
"& \\qquad\n",
"= \\vert 0 \\rangle \\biggl(\n",
"\\frac{1}{\\sqrt{3}} \\vert 01\\rangle +\n",
"\\frac{1}{\\sqrt{3}} \\vert 10\\rangle\\biggr)\n",
"+ \\vert 1 \\rangle \\biggl(\\frac{1}{\\sqrt{3}}\\vert 00\\rangle\\biggr).\n",
"\\end{aligned}\n",
"$$\n",
"\n",
"Die Wahrscheinlichkeit, dass eine Messung des ersten Qubits zu dem Ergebnis 0 führt, ist daher gleich\n",
"\n",
"$$\n",
"\\biggl\\|\n",
"\\frac{1}{\\sqrt{3}} \\vert 01\\rangle +\n",
"\\frac{1}{\\sqrt{3}} \\vert 10\\rangle\n",
"\\biggr\\|^2 = \\frac{2}{3},\n",
"$$\n",
"\n",
"und unter der Bedingung, dass die Messung zu diesem Ergebnis führt, wird der Quantenzustand der drei Qubits\n",
"\n",
"$$\n",
"\\vert 0\\rangle\\otimes\n",
" \\frac{\n",
" \\frac{1}{\\sqrt{3}} \\vert 01\\rangle +\n",
" \\frac{1}{\\sqrt{3}} \\vert 10\\rangle\n",
" }{\n",
" \\sqrt{\\frac{2}{3}}\n",
" }\n",
" = \\vert 0\\rangle \\biggl(\\frac{1}{\\sqrt{2}} \\vert 01\\rangle\n",
" + \\frac{1}{\\sqrt{2}} \\vert 10\\rangle \\biggr)\n",
" = \\vert 0\\rangle\\vert \\psi^+\\rangle.\n",
"$$\n",
"\n",
"Die Wahrscheinlichkeit, dass das Messergebnis 1 ist, beträgt $1/3$; in diesem Fall nimmt der Zustand der drei Qubits die Form\n",
"$\\vert 100\\rangle$ an.\n",
"\n",
"Der W-Zustand ist symmetrisch, d. h. er ändert sich nicht, wenn wir die Qubits vertauschen.\n",
"Wir erhalten daher eine ähnliche Beschreibung für die Messung des zweiten oder dritten Qubits anstelle des ersten.\n",
"\n",
"\n",
"\n",
"## Einheitliche Vorgänge\n",
"\n",
"Im Prinzip stellt jede unitäre Matrix, deren Zeilen und Spalten den klassischen Zuständen eines Systems entsprechen, eine gültige Quantenoperation für dieses System dar.\n",
"Dies gilt natürlich auch für zusammengesetzte Systeme, deren klassische Zustandsmengen zufällig kartesische Produkte der klassischen Zustandsmengen der einzelnen Systeme sind.\n",
"\n",
"Betrachtet man zwei Systeme genauer: Wenn $\\mathsf{X}$ ein System mit der klassischen Zustandsmenge $\\Sigma$ ist und $\\mathsf{Y}$ ein System mit der klassischen Zustandsmenge $\\Gamma$ ist, dann ist die klassische Zustandsmenge des gemeinsamen Systems $(\\mathsf{X},\\mathsf{Y})$ $\\Sigma\\times\\Gamma$. Daher werden Quantenoperationen an diesem gemeinsamen System durch unitäre Matrizen dargestellt, deren Zeilen und Spalten der Menge $\\Sigma\\times\\Gamma$ entsprechen.\n",
"Die Reihenfolge der Zeilen und Spalten dieser Matrizen entspricht der Reihenfolge, die für die Quantenzustandsvektoren des Systems $(\\mathsf{X},\\mathsf{Y})$ verwendet wird.\n",
"\n",
"Nehmen wir beispielsweise an, dass $\\Sigma = \\{1,2,3\\}$ und $\\Gamma = \\{0,1\\}$ gilt, und erinnern wir uns daran, dass die Standardkonvention für die Reihenfolge der Elemente des kartesischen Produkts $\\{1,2,3\\}\\times\\{0,1\\}$ wie folgt lautet:\n",
"\n",
"$$\n",
"(1,0),\\;(1,1),\\;(2,0),\\;(2,1),\\;(3,0),\\; (3,1).\n",
"$$\n",
"\n",
"Hier ist ein Beispiel für eine Einheitsmatrix, die eine Operation auf $(\\mathsf{X},\\mathsf{Y})$ darstellt:\n",
"\n",
"$$\n",
"U =\n",
"\\begin{pmatrix}\n",
" \\frac{1}{2} & \\frac{1}{2} & \\frac{1}{2} & 0 & 0 & \\frac{1}{2} \\\\[2mm]\n",
" \\frac{1}{2} & \\frac{i}{2} & -\\frac{1}{2} & 0 & 0 & -\\frac{i}{2} \\\\[2mm]\n",
" \\frac{1}{2} & -\\frac{1}{2} & \\frac{1}{2} & 0 & 0 & -\\frac{1}{2} \\\\[2mm]\n",
" 0 & 0 & 0 & \\frac{1}{\\sqrt{2}} & \\frac{1}{\\sqrt{2}} & 0\\\\[2mm]\n",
" \\frac{1}{2} & -\\frac{i}{2} & -\\frac{1}{2} & 0 & 0 & \\frac{i}{2} \\\\[2mm]\n",
" 0 & 0 & 0 & -\\frac{1}{\\sqrt{2}} & \\frac{1}{\\sqrt{2}} & 0\n",
"\\end{pmatrix}.\n",
"$$\n",
"\n",
"Diese Einheitsmatrix ist nichts Besonderes, sie dient lediglich als Beispiel.\n",
"Um zu überprüfen, ob $U$ unitär ist, reicht es beispielsweise aus, $U^{\\dagger} U = \\mathbb{I}$ zu berechnen und zu überprüfen.\n",
"Alternativ können wir überprüfen, ob die Zeilen (oder die Spalten) orthonormal sind, was in diesem Fall aufgrund der besonderen Form der Matrix „ $U$ “ einfacher ist.\n",
"\n",
"Die Wirkung von „ $U$ “ auf den Standardbasisvektor „ $\\vert 1, 1 \\rangle$ “ lautet beispielsweise\n",
"\n",
"$$\n",
"U \\vert 1, 1\\rangle =\n",
"\\frac{1}{2} \\vert 1, 0 \\rangle\n",
"+ \\frac{i}{2} \\vert 1, 1 \\rangle\n",
"- \\frac{1}{2} \\vert 2, 0 \\rangle\n",
"- \\frac{i}{2} \\vert 3, 0\\rangle,\n",
"$$\n",
"\n",
"Dies lässt sich erkennen, wenn man die zweite Spalte von $U$ betrachtet und dabei unsere Reihenfolge der Menge $\\{1,2,3\\}\\times\\{0,1\\}$ berücksichtigt.\n",
"\n",
"Wie bei jeder Matrix ist es möglich, „ $U$ “ in Dirac-Notation darzustellen, wofür 20 Terme für die 20 von Null verschiedenen Einträge von „ $U$ “ erforderlich wären.\n",
"Würden wir jedoch all diese Terme aufschreiben, anstatt eine „ $6\\times 6$ “-Matrix zu verwenden, wäre dies unübersichtlich, und die Muster, die sich aus dem Matrixausdruck ergeben, wären wahrscheinlich nicht so deutlich erkennbar.\n",
"Einfach ausgedrückt: Die Dirac-Notation ist nicht immer die beste Wahl.\n",
"\n",
"Unitäre Operationen an drei oder mehr Systemen funktionieren auf ähnliche Weise, wobei die unitären Matrizen Zeilen und Spalten haben, die dem kartesischen Produkt der klassischen Zustandsmengen der Systeme entsprechen.\n",
"Wir haben in dieser Lektion bereits ein Beispiel gesehen: die Drei-Qubit-Operation\n",
"\n",
"$$\n",
"\\sum_{k = 0}^{7} \\vert (k+1) \\bmod 8 \\rangle \\langle k \\vert,\n",
"$$\n",
"\n",
"wobei die Zahlen in bras und kets ihre $3$ -bit Binärkodierungen bezeichnen.\n",
"Es handelt sich nicht nur um eine deterministische Operation, sondern auch um eine unitäre Operation.\n",
"Operationen, die sowohl deterministisch als auch unitär sind, werden als *reversible* Operationen bezeichnet.\n",
"Die konjugierte Transponierung dieser Matrix kann wie folgt geschrieben werden:\n",
"\n",
"$$\n",
"\\sum_{k = 0}^{7} \\vert k \\rangle \\langle (k+1) \\bmod 8 \\vert\n",
"= \\sum_{k = 0}^{7} \\vert (k-1) \\bmod 8 \\rangle \\langle k \\vert.\n",
"$$\n",
"\n",
"Dies ist die *Umkehrung* oder, mathematisch ausgedrückt, die *Umkehrung* der ursprünglichen Operation - das, was wir von der konjugierten Transponierung einer unitären Matrix erwarten.\n",
"Im weiteren Verlauf der Lektion werden wir weitere Beispiele für einheitliche Operationen auf mehreren Systemen sehen.\n",
"\n",
"\n",
"\n",
"### Einheitliche Vorgänge, die unabhängig voneinander auf einzelnen Systemen durchgeführt werden\n",
"\n",
"Wenn unitäre Operationen unabhängig voneinander auf eine Menge einzelner Systeme angewendet werden, wird die kombinierte Wirkung dieser unabhängigen Operationen durch das Tensorprodukt der sie darstellenden unitären Matrizen beschrieben.\n",
"Das heißt: Wenn $\\mathsf{X}_{0},\\ldots,\\mathsf{X}_{n-1}$ Quantensysteme sind, $U_0,\\ldots, U_{n-1}$ unitäre Matrizen, die Operationen an diesen Systemen darstellen, und die Operationen unabhängig voneinander an den Systemen durchgeführt werden, wird die kombinierte Wirkung auf $(\\mathsf{X}_{n-1},\\ldots,\\mathsf{X}_0)$ durch die Matrix $U_{n-1}\\otimes\\cdots\\otimes U_0$ dargestellt.\n",
"Auch hier stellen wir fest, dass die probabilistischen und die Quantenkontexte in dieser Hinsicht analog sind.\n",
"\n",
"Nach der Lektüre des vorangegangenen Absatzes würde man natürlich erwarten, dass das Tensorprodukt einer beliebigen Sammlung von unitarischen Matrizen unitär ist.\n",
"Dies ist in der Tat der Fall, und wir können dies wie folgt überprüfen.\n",
"\n",
"Zunächst ist zu beachten, dass die Operation der konjugierten Transponierung folgende Bedingungen erfüllt\n",
"\n",
"$$\n",
" (M_{n-1} \\otimes \\cdots \\otimes M_0)^{\\dagger} = M_{n-1}^{\\dagger} \\otimes \\cdots \\otimes M_0^{\\dagger}\n",
"$$\n",
"\n",
"für beliebige Matrizen $M_0,\\ldots,M_{n-1}$.\n",
"Dies lässt sich überprüfen, indem man auf die Definition des Tensorprodukts und der konjugierten Transponierten zurückgreift und nachprüft, dass alle Einträge auf beiden Seiten der Gleichung übereinstimmen.\n",
"Das bedeutet, dass\n",
"\n",
"$$\n",
" (U_{n-1} \\otimes \\cdots \\otimes U_0)^{\\dagger} (U_{n-1}\\otimes\\cdots\\otimes U_0)\n",
" = (U_{n-1}^{\\dagger} \\otimes \\cdots \\otimes U_0^{\\dagger}) (U_{n-1}\\otimes\\cdots\\otimes U_0).\n",
"$$\n",
"\n",
"Da das Tensorprodukt von Matrizen multiplikativ ist, ergibt sich, dass\n",
"\n",
"$$\n",
" (U_{n-1}^{\\dagger} \\otimes \\cdots \\otimes U_0^{\\dagger}) (U_{n-1}\\otimes\\cdots\\otimes U_0)\n",
" = (U_{n-1}^{\\dagger} U_{n-1}) \\otimes \\cdots \\otimes (U_0^{\\dagger} U_0)\n",
" = \\mathbb{I}_{n-1} \\otimes \\cdots \\otimes \\mathbb{I}_0.\n",
"$$\n",
"\n",
"Hier haben wir „ $\\mathbb{I}_0,\\ldots,\\mathbb{I}_{n-1}$ “ geschrieben, um die Matrizen zu bezeichnen, die die Identitätsoperation auf den Systemen „ $\\mathsf{X}_0,\\ldots,\\mathsf{X}_{n-1}$ “ darstellen; das heißt, es handelt sich um Identitätsmatrizen, deren Dimensionen mit der Anzahl der klassischen Zustände von „ $\\mathsf{X}_0,\\ldots,\\mathsf{X}_{n-1}$ “ übereinstimmen.\n",
"\n",
"Schließlich ist das Tensorprodukt $\\mathbb{I}_{n-1} \\otimes \\cdots \\otimes \\mathbb{I}_0$ gleich der Identitätsmatrix, deren Anzahl an Zeilen und Spalten mit dem Produkt aus der Anzahl der Zeilen und Spalten der Matrizen\n",
"$\\mathbb{I}_{n-1},\\ldots,\\mathbb{I}_0$ übereinstimmt.\n",
"Diese größere Identitätsmatrix stellt die Identitätsoperation auf dem gemeinsamen System $(\\mathsf{X}_{n-1},\\ldots,\\mathsf{X}_0)$ dar.\n",
"\n",
"Zusammengefasst ergibt sich die folgende Gleichheitsfolge:\n",
"\n",
"$$\n",
"\\begin{aligned}\n",
" & (U_{n-1} \\otimes \\cdots \\otimes U_0)^{\\dagger} (U_{n-1}\\otimes\\cdots\\otimes U_0) \\\\\n",
" & \\quad = (U_{n-1}^{\\dagger} \\otimes \\cdots \\otimes U_0^{\\dagger}) (U_{n-1}\\otimes\\cdots\\otimes U_0) \\\\\n",
" & \\quad = (U_{n-1}^{\\dagger} U_{n-1}) \\otimes \\cdots \\otimes (U_0^{\\dagger} U_0)\\\\\n",
" & \\quad = \\mathbb{I}_{n-1} \\otimes \\cdots \\otimes \\mathbb{I}_0\\\\\n",
" & \\quad = \\mathbb{I}.\n",
"\\end{aligned}\n",
"$$\n",
"\n",
"Wir kommen daher zu dem Schluss, dass $U_{n-1} \\otimes \\cdots \\otimes U_0$ einheitlich ist.\n",
"\n",
"Eine wichtige Situation, die häufig auftritt, ist die, in der eine einheitliche Operation auf nur ein System – oder eine echte Teilmenge von Systemen – innerhalb eines größeren gemeinsamen Systems angewendet wird.\n",
"Nehmen wir beispielsweise an, dass $\\mathsf{X}$ und $\\mathsf{Y}$ Systeme sind, die wir gemeinsam als ein einziges, zusammengesetztes System $(\\mathsf{X},\\mathsf{Y})$ betrachten können, und dass wir eine Operation ausschließlich auf dem System $\\mathsf{X}$ durchführen.\n",
"Genauer gesagt nehmen wir an, dass $U$ eine unitäre Matrix ist, die eine Operation auf $\\mathsf{X}$ darstellt, sodass ihre Zeilen und Spalten den klassischen Zuständen von $\\mathsf{X}$ zugeordnet wurden.\n",
"\n",
"Zu sagen, dass wir die durch $U$ dargestellte Operation nur auf dem System $\\mathsf{X}$ ausführen, bedeutet, dass wir an $\\mathsf{Y}$ nichts verändern, d. h., wir führen unabhängig voneinander $U$ auf $\\mathsf{X}$ und die *Identitätsoperation* auf $\\mathsf{Y}$ aus.\n",
"Das heißt, „nichts zu tun“ mit $\\mathsf{Y}$ ist gleichbedeutend mit der Ausführung der Identitätsoperation auf $\\mathsf{Y}$, die durch die Identitätsmatrix $\\mathbb{I}_\\mathsf{Y}$ dargestellt wird.\n",
"(Hier gibt uns der Index „ $\\mathsf{Y}$ “ übrigens an, dass sich „ $\\mathbb{I}_\\mathsf{Y}$ “ auf die Identitätsmatrix bezieht, deren Anzahl an Zeilen und Spalten mit der klassischen Zustandsmenge von „ $\\mathsf{Y}$ “ übereinstimmt.)\n",
"Die Operation auf „ $(\\mathsf{X},\\mathsf{Y})$ “, die sich ergibt, wenn wir „ $U$ “ auf „ $\\mathsf{X}$ “ anwenden und „ $\\mathsf{Y}$ “ unverändert lassen, wird daher durch die unitäre Matrix dargestellt\n",
"\n",
"$$\n",
" U \\otimes \\mathbb{I}_{\\mathsf{Y}}.\n",
"$$\n",
"\n",
"Wenn zum Beispiel $\\mathsf{X}$ und $\\mathsf{Y}$ Qubits sind, ist die Durchführung einer Hadamard-Operation auf $\\mathsf{X}$ und die Nichtbeeinflussung von $\\mathsf{Y}$ gleichbedeutend mit der Durchführung der Operation\n",
"\n",
"$$\n",
" H \\otimes \\mathbb{I}_{\\mathsf{Y}} =\n",
" \\begin{pmatrix}\n",
" \\frac{1}{\\sqrt{2}} & \\frac{1}{\\sqrt{2}}\\\\[2mm]\n",
" \\frac{1}{\\sqrt{2}} & -\\frac{1}{\\sqrt{2}}\n",
" \\end{pmatrix}\n",
" \\otimes\n",
" \\begin{pmatrix}\n",
" 1 & 0\\\\\n",
" 0 & 1\n",
" \\end{pmatrix}\n",
" = \\begin{pmatrix}\n",
" \\frac{1}{\\sqrt{2}} & 0 & \\frac{1}{\\sqrt{2}} & 0\\\\[2mm]\n",
" 0 & \\frac{1}{\\sqrt{2}} & 0 & \\frac{1}{\\sqrt{2}}\\\\[2mm]\n",
" \\frac{1}{\\sqrt{2}} & 0 & -\\frac{1}{\\sqrt{2}} & 0\\\\[2mm]\n",
" 0 & \\frac{1}{\\sqrt{2}} & 0 & -\\frac{1}{\\sqrt{2}}\n",
" \\end{pmatrix}\n",
"$$\n",
"\n",
"auf der gemeinsamen Website $(\\mathsf{X},\\mathsf{Y})$.\n",
"\n",
"In ähnlicher Weise gilt: Wenn eine Operation, die durch die unitäre Matrix $U$ dargestellt wird, auf $\\mathsf{Y}$ angewendet wird und $\\mathsf{X}$ unverändert bleibt, wird die resultierende Operation auf $(\\mathsf{X},\\mathsf{Y})$ durch die unitäre Matrix dargestellt\n",
"\n",
"$$\n",
" \\mathbb{I}_{\\mathsf{X}} \\otimes U.\n",
"$$\n",
"\n",
"Betrachten wir beispielsweise erneut die Situation, in der sowohl $\\mathsf{X}$ als auch $\\mathsf{Y}$ Qubits sind und $U$ eine Hadamard-Operation ist, so wird die resultierende Operation auf $(\\mathsf{X},\\mathsf{Y})$ durch die folgende Matrix dargestellt\n",
"\n",
"$$\n",
" \\begin{pmatrix}\n",
" 1 & 0\\\\\n",
" 0 & 1\n",
" \\end{pmatrix}\n",
" \\otimes\n",
" \\begin{pmatrix}\n",
" \\frac{1}{\\sqrt{2}} & \\frac{1}{\\sqrt{2}}\\\\[2mm]\n",
" \\frac{1}{\\sqrt{2}} & -\\frac{1}{\\sqrt{2}}\n",
" \\end{pmatrix}\n",
" = \\begin{pmatrix}\n",
" \\frac{1}{\\sqrt{2}} & \\frac{1}{\\sqrt{2}} & 0 & 0\\\\[2mm]\n",
" \\frac{1}{\\sqrt{2}} & -\\frac{1}{\\sqrt{2}} & 0 & 0\\\\[2mm]\n",
" 0 & 0 & \\frac{1}{\\sqrt{2}} & \\frac{1}{\\sqrt{2}}\\\\[2mm]\n",
" 0 & 0 & \\frac{1}{\\sqrt{2}} & -\\frac{1}{\\sqrt{2}}\n",
" \\end{pmatrix}.\n",
"$$\n",
"\n",
"Nicht jede unitäre Operation auf einer Ansammlung von Systemen kann als Tensorprodukt solcher unitärer Operationen geschrieben werden, genauso wie nicht jeder Quantenzustandsvektor dieser Systeme ein Produktzustand ist.\n",
"Zum Beispiel können weder die Swap-Operation noch die Controlled-NOT-Operation auf zwei Qubits, die weiter unten beschrieben werden, als Tensorprodukt von unitären Operationen ausgedrückt werden.\n",
"\n",
"\n",
"\n",
"### Der Swap-Vorgang\n",
"\n",
"Zum Abschluss der Lektion sehen wir uns zwei Klassen von Beispielen für unitäre Operationen auf mehreren Systemen an, beginnend mit der *Tauschoperation*.\n",
"\n",
"Angenommen, $\\mathsf{X}$\n",
"und $\\mathsf{Y}$\n",
"sind Systeme, die dieselbe klassische Zustandsmenge $\\Sigma$\n",
"teilen.\n",
"Die *Swap*\n",
"-Operation auf dem Paar $(\\mathsf{X},\\mathsf{Y})$\n",
"ist die Operation, die den Inhalt der\n",
"beiden Systeme vertauscht, die Systeme ansonsten aber unverändert lässt – sodass $\\mathsf{X}$\n",
"auf der linken Seite und $\\mathsf{Y}$\n",
"auf der rechten Seite verbleibt.\n",
"Wir bezeichnen diese Operation als „ $\\operatorname{SWAP}$ “, und sie funktioniert für jede Wahl klassischer Zustände $a,b\\in\\Sigma$ wie folgt:\n",
"\n",
"$$\n",
"\\operatorname{SWAP} \\vert a \\rangle \\vert b \\rangle = \\vert b \\rangle \\vert a \\rangle.\n",
"$$\n",
"\n",
"Eine Möglichkeit, die mit dieser Operation verbundene Matrix unter Verwendung der Dirac-Notation zu schreiben, ist die folgende:\n",
"\n",
"$$\n",
"\\mathrm{SWAP} = \\sum_{c,d\\in\\Sigma} \\vert c \\rangle \\langle d \\vert \\otimes \\vert d \\rangle \\langle c \\vert.\n",
"$$\n",
"\n",
"Es ist vielleicht nicht auf den ersten Blick ersichtlich, dass diese Matrix „ $\\operatorname{SWAP}$ “ darstellt, aber wir können überprüfen, ob sie die Bedingung „\n",
"$\\operatorname{SWAP} \\vert a \\rangle \\vert b \\rangle = \\vert b \\rangle \\vert a \\rangle$ “ für jede Wahl klassischer Zustände „ $a,b\\in\\Sigma$ “ erfüllt.\n",
"Als einfaches Beispiel: Wenn „ $\\mathsf{X}$ “ und „ $\\mathsf{Y}$ “ Qubits sind, stellen wir fest, dass\n",
"\n",
"$$\n",
" \\operatorname{SWAP} =\n",
" \\begin{pmatrix}\n",
" 1 & 0 & 0 & 0\\\\\n",
" 0 & 0 & 1 & 0\\\\\n",
" 0 & 1 & 0 & 0\\\\\n",
" 0 & 0 & 0 & 1\n",
" \\end{pmatrix}.\n",
"$$\n",
"\n",
"\n",
"\n",
"### Kontrollierte einheitliche Vorgänge\n",
"\n",
"Nehmen wir nun an, dass $\\mathsf{Q}$ ein Qubit und $\\mathsf{R}$ ein beliebiges System ist, das sich in einem beliebigen\n",
"klassischen Zustand befindet.\n",
"Für jede unitäre Operation $U$, die auf das System $\\mathsf{R}$ wirkt, ist eine *kontrollierte* $U$ Operation eine unitäre\n",
"Operation auf dem Paar $(\\mathsf{Q},\\mathsf{R})$, die wie folgt definiert ist:\n",
"\n",
"$$\n",
"CU =\n",
"\\vert 0\\rangle \\langle 0\\vert \\otimes \\mathbb{I}_{\\mathsf{R}} + \\vert 1\\rangle \\langle 1\\vert \\otimes U.\n",
"$$\n",
"\n",
"Wenn beispielsweise $\\mathsf{R}$ ebenfalls ein Qubit ist und wir die Pauli- $X$ -Operation auf $\\mathrm{R}$ betrachten,\n",
"dann ergibt sich eine kontrollierte $X$ -Operation wie folgt:\n",
"\n",
"$$\n",
" CX =\n",
" \\vert 0\\rangle \\langle 0\\vert \\otimes \\mathbb{I}_{\\mathsf{R}} + \\vert 1\\rangle \\langle 1\\vert \\otimes X =\n",
" \\begin{pmatrix}\n",
" 1 & 0 & 0 & 0\\\\\n",
" 0 & 1 & 0 & 0\\\\\n",
" 0 & 0 & 0 & 1\\\\\n",
" 0 & 0 & 1 & 0\n",
" \\end{pmatrix}.\n",
"$$\n",
"\n",
"Wir haben diese Operation bereits im Zusammenhang mit der klassischen Information und den probabilistischen Operationen in dieser Lektion kennengelernt.\n",
"Ersetzt man die Operation Pauli $X$ auf $\\mathsf{R}$ durch eine Operation $Z$, ergibt sich diese Operation:\n",
"\n",
"$$\n",
" CZ =\n",
" \\vert 0\\rangle \\langle 0\\vert \\otimes \\mathbb{I}_{\\mathsf{R}} + \\vert 1\\rangle \\langle 1\\vert \\otimes Z =\n",
" \\begin{pmatrix}\n",
" 1 & 0 & 0 & 0\\\\\n",
" 0 & 1 & 0 & 0\\\\\n",
" 0 & 0 & 1 & 0\\\\\n",
" 0 & 0 & 0 & -1\n",
" \\end{pmatrix}.\n",
"$$\n",
"\n",
"Wenn wir stattdessen $\\mathsf{R}$ als zwei Qubits betrachten und $U$ als die *Tauschoperation* zwischen diesen beiden qubits ist, erhalten wir diese Operation:\n",
"\n",
"$$\n",
" \\operatorname{CSWAP} =\n",
" \\begin{pmatrix}\n",
" 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n",
" 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 \\\\\n",
" 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 \\\\\n",
" 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 \\\\\n",
" 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 \\\\\n",
" 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 \\\\\n",
" 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 \\\\\n",
" 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1\n",
" \\end{pmatrix}.\n",
"$$\n",
"\n",
"Diese Operation wird auch als *Fredkin-Operation oder* *Fredkin-Gate bezeichnet.*\n",
"Seine Wirkung auf Standard-Basiszustände kann wie folgt beschrieben werden:\n",
"\n",
"$$\n",
" \\begin{aligned}\n",
" \\operatorname{CSWAP} \\vert 0 b c \\rangle\n",
" & = \\vert 0 b c \\rangle \\\\[1mm]\n",
" \\operatorname{CSWAP} \\vert 1 b c \\rangle\n",
" & = \\vert 1 c b \\rangle\n",
" \\end{aligned}\n",
"$$\n",
"\n",
"Schließlich wird eine *„controlled-controlled-NOT“-Operation*, die wir als „ $CCX$ “ bezeichnen können, als *Toffoli-Operation* oder *Toffoli-Gatter* bezeichnet\n",
"Die Matrixdarstellung sieht wie folgt aus:\n",
"\n",
"$$\n",
" CCX =\n",
" \\begin{pmatrix}\n",
" 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0\\\\\n",
" 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0\\\\\n",
" 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0\\\\\n",
" 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0\\\\\n",
" 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0\\\\\n",
" 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0\\\\\n",
" 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1\\\\\n",
" 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0\n",
" \\end{pmatrix}.\n",
"$$\n",
"\n",
"Wir können dies auch mit der Dirac-Notation wie folgt ausdrücken:\n",
"\n",
"$$\n",
" CCX = \\bigl(\n",
" \\vert 00 \\rangle \\langle 00 \\vert\n",
" + \\vert 01 \\rangle \\langle 01 \\vert\n",
" + \\vert 10 \\rangle \\langle 10 \\vert \\bigr) \\otimes \\mathbb{I}\n",
" + \\vert 11 \\rangle \\langle 11 \\vert \\otimes X.\n",
"$$\n",
"\n"
]
},
{
"cell_type": "markdown",
"metadata": {},
"id": "a1b8767d",
"source": "© IBM Corp., 2017-2026"
}
],
"metadata": {
"kernelspec": {
"display_name": "Python 3",
"language": "python",
"name": "python3"
},
"language_info": {
"codemirror_mode": {
"name": "ipython",
"version": 3
},
"file_extension": ".py",
"mimetype": "text/x-python",
"name": "python",
"nbconvert_exporter": "python",
"pygments_lexer": "ipython3",
"version": "3"
}
},
"nbformat": 4,
"nbformat_minor": 5
}