Mutually Unbiased Bases (MUBs) spielen sowohl in der Quanteninformationstheorie, als auch für die Grundlagen der Quantenphysik eine zentrale Rolle. Trotzweitreichender Forschung sind bis dato nur Konstruktionen vollständiger Sätze von MUBs bekannt, wenn es sich um ein Quantensystem handelt, dessen Dimension eine Primzahl oder eine Primzahlpotenz ist. Über die übrigen Fälle ist wenig bekannt. Diese Arbeit setzt sich mit den Schwierigkeiten des Zugangs über Hadamard Matrizen zu diesem Existenzproblem von MUBs auseinander. Ein allgemeines Resultat bezüglich des Zusammenhangs von MUBs und unitären Operatorbasen wird bewiesen. Des weiteren wird die Rolle von Verschränkung in vollständigen Sätzen von MUBs analysiert und ein bereits bekanntes Resultat betreffend Produkt-MUBs für beliebige Dimensionen verallgemeinert. Darüber hinaus wird der Zusammenhang zu Schwingers "fundamentalen Quantenfreiheitsgraden" behandelt und weitere Zugänge zum Existenzproblem von MUBs und zur Analyse von Verschränkung in Sätzen von MUBs skizziert.
Mutually Unbiased Bases (MUBs) spielen sowohl in der Quanteninformationstheorie, als auch für die Grundlagen der Quantenphysik eine zentrale Rolle. Trotzweitreichender Forschung sind bis dato nur Konstruktionen vollständiger Sätze von MUBs bekannt, wenn es sich um ein Quantensystem handelt, dessen Dimension eine Primzahl oder eine Primzahlpotenz ist. Über die übrigen Fälle ist wenig bekannt. Diese Arbeit setzt sich mit den Schwierigkeiten des Zugangs über Hadamard Matrizen zu diesem Existenzproblem von MUBs auseinander. Ein allgemeines Resultat bezüglich des Zusammenhangs von MUBs und unitären Operatorbasen wird bewiesen. Des weiteren wird die Rolle von Verschränkung in vollständigen Sätzen von MUBs analysiert und ein bereits bekanntes Resultat betreffend Produkt-MUBs für beliebige Dimensionen verallgemeinert. Darüber hinaus wird der Zusammenhang zu Schwingers "fundamentalen Quantenfreiheitsgraden" behandelt und weitere Zugänge zum Existenzproblem von MUBs und zur Analyse von Verschränkung in Sätzen von MUBs skizziert.
In diesem Artikel wird der Zugang zur Quantenphysik uber das einfachst mogliche Modellsystem, das Qubit, erweitert zu der Kombination von zwei Qubits. Dabei tritt erstmals das fur die Quantenphysik zentrale Konzept der Verschrankung auf, welches nicht nur seltsame Eigenschaften der Quantenphysik illustriert, sondern auch der Schlussel zum Verstandnis von modernen Anwendungen der Quantenphysik ist. Ahnlich wie im Falle des einzelnen Qubits wird dabei versucht, die Grundprinzipien von Verschrankung und deren Anwendung mit Hilfe einfacher Mathematik und Bilder zu vermitteln, wobei Visualisierungen eine zentrale Rolle spielen. Die behandelten Themen umfassen verschrankte Zustande, Operationen und Messungen. Die moglichen physikalischen Realisierungen und Anwendungen, insbesondere im Bereich der Quanteninformation, werden hier kurz angesprochen, und in einer weiteren Publikation vertieft diskutiert.
Verschränkung ist eine faszinierende Eigenart der Quantenphysik, die diese beträchtlich von klassischen Konzepten unterscheidet. Einerseits impliziert Verschränkung überraschende philosophische Aspekte, wie die Unvereinbarkeit von lokal-realistischen Theorien mit der Quantenphysik, andererseits kann sie erfolgreich für Aufgaben der Quanteninformation und Quantenkommunikation verwendet werden, um Protokolle im Hinblick auf klassische Prozeduren zu verbessern. Es ist noch immer ein offenes mathematisches Problem, herauszufinden, ob ein Quantenzustand verschränkt ist oder nicht; für einen allgemeinen Zustand auf einem beliebig dimensionalen Hilbertraum gibt es keine operationelle Vorgangsweise. Für reine Zustände und niedrig dimensionale Zweiteilchen-Systeme, z.B. für zwei Qubits, ist dieses Problem gelöst, da berechenbare notwendige und hinreichende Bedingungen für Separabilität (d.h. für Nicht-Verschränktheit) gefunden wurden. Außerdem kann die Verschränkung für ein Zwei-Qubit-System leicht quantifiziert werden. Für höher dimensionale und/oder Mehrteilchen-Systeme wurde in Bezug auf die Bestimmung und Quantifizierung von Verschränkung schon einiges erreicht, allerdings kann das Problem noch nicht als gelöst angesehen werden, vieles ist noch zu erforschen. In dieser Dissertation werden neue Methoden zur Bestimmung und Quantifizierung von Verschränkung für Systeme, die über Zwei-Qubit-Systeme hinausgehen, präsentiert. Zustände solcher Systeme werden üblicherweise durch Dichteoperatoren beschrieben und in Matrix-Schreibweise verwendet. Für hochdimensionale und/oder Mehrteilchen-Systeme können diese Dichtematrizen allerdings sehr unpraktisch werden. Mit Hilfe von Bloch-Zerlegungen können Dichteoperatoren kompakter und einfacher dargestellt werden. In dieser Schreibweise werden Dichteoperatoren in eine vollständige und orthogonale Operatorenbasis des Operatorenraums zerlegt. Für Qubits ist diese Schreibweise geläufig und üblicherweise werden die Pauli-Spin-1/2 Operatoren für die Operatorenbasis verwendet. Für Qudits, das sind Zustände allgemein dimensionaler Systeme, gibt es allerdings keine eindeutige Verallgemeinerung der Pauli-Operatorenbasis. Daher untersuchen wir drei mögliche Operatorenbasen: Die verallgemeinerte Gell-Mann-Operatorenbasis, die Polarisationsoperatorenbasis, sowie die Weyloperatorenbasis. Weiters wird eine Methode präsentiert, mit welcher die Zerlegung eines beliebigen Operators in eine der drei Operatorenbasen mit Hilfe der Zerlegung von sogenannten Standardoperatoren gefunden werden kann. Als Beispiel zur Anwendung dieser Methode betrachten wir den maximal verschränkten Zwei-Qudit Zustand und zerlegen diesen in jede der Operatorenbasen. Im Zusammenhang mit der Bestimmung von Verschränkung sind „Entanglement Witnesses'“ ein wichtiges und oft verwendetes Hilfsmittel. Diese sind Observablen und detektieren die Verschränkung eines Zustandes, sofern sie für diesen einen negativen Erwartungswert aufweisen, und wenn gleichzeitig bekannt ist, dass der Erwartungswert für alle separablen Zustände nicht negativ werden kann. Diese letztere Bedingung ist allerdings im Allgemeinen nicht leicht zu zeigen. In diesem Zusammenhang bietet sich die Verwendung von Bloch-Zerlegungen für vereinfachte Relationen an, und somit kann die Bedingung in vielen Fällen bewiesen werden. Eine besondere Klasse von Entanglement Witnesses sind geometrische Entanglement Witnesses, welche eine direkte euklidisch-geometrische Darstellung des Operatorenraumes erlauben. Die Wichtigkeit dieser Witnesses wird durch „Shift“-Methoden verdeutlicht, welche verschränkte und im Speziellen „bound entangled“ Zustände detektieren können, und außerdem helfen, die Menge der separablen Zustände von konvexen Untermengen von Zuständen zu bestimmen. Als Beispiel betrachten wir eine Drei-Parameter-Familie von Zwei-Qutrit Zuständen. Weiters können geometrische Entanglement Witnesses auch zur geometrischen Quantifizierung von Verschränkung verwendet werden, insbesondere zur Bestimmung des Hilbert-Schmidt Verschränkungsmaßes. Dies wird an den Beispielen der isotropen Zwei-Qudit Zustände und Zwei-Parameter Familien von Zwei-Qubit und Zwei-Qutrit Zuständen gezeigt. Zuletzt widmen wir uns dem Problem der Bestimmung von Verschränkung in Mehr-Qubit Systemen. In diesem Zusammenhang bieten wir eine allgemeine Konstruktion von Entanglement Witnesses unter Verwendung von statischen Strukturfaktoren an. In der Festkörperphysik beschreiben Strukturfaktoren dynamische Eigenschaften von Festkörpern in Streuexperimenten. Die strukturellen Entanglement Witnesses detektieren echte Mehrteilchen-Verschränkung, wie z.B. Dicke-Zustände und Dicke-ähnliche Zustände mit geänderten Phasen der vorkommenden Terme. Sie beinhalten außerdem nur Zwei-Punkt-Korrelationen und sind für die experimentelle Anwendung in verschieden physikalischen Systemen geeignet.
Verschränkung ist eine der wichtigsten Besonderheiten der Quantentheorie, welche kein klassisches Analogon besitzt. Aufgrund dieser ist es nicht länger angemessen zusammengesetzte Systeme lediglich als eine Kombination von unabhängig voneinander beschreibbaren Subsystemen zu betrachten. Anstatt dessen gibt es Quantenzustände die inseparabel bezüglich der einzelnen Bestandteile des Systems sind. Wohingegen Verschränkung zunächst als eine Art künstlicher Fehler der Theorie angesehen wurde, hat sich deren Existenz mittlerweile durch zahlreiche Experimente bestätigt. Diese Gegebenheit hat weitreichende Konsequenzen. Auf einer fundamentalen Ebene lässt sich hiermit zeigen, daß es keine lokal-realistische Alternative zur Quantentheorie gibt. Zusätzlich stellt Verschränkung eine Ressource für neue Technologien der Informationsverarbeitung dar, wie z.B. Quantenkryptographie, Dense Coding, Quantenteleportation oder der Quantencomputer. Trotz intensiver Forschung in den letzten Jahrzehnten gibt es noch viele offene Fragen bezüglich Verschränkung und deren Manifestationen. Dies gilt insbesondere für Verschränkung in komplexen Vielteilchensystemen. Gegenstand dieser Dissertation ist es Verschränkung und nicht-lokal-realitsche Korrelationen in zusammengesetzten endlich-dimensionalen Quantensystemen (Multipartite Qudits) zu untersuchen und zu verstehen. Um die Analyse solcher Systeme zu erleichtern, werden neue mathematische Hilfsmittel, wie zum Beispiel praktische Parameterisierungen von unitären Gruppen, Dichtematrizen und Unterräumen vorgestellt. Die Struktur von Verschränkung in Vielteilchensystemen wird betrachtet, und eine exakte Charakterisierung von Multilevel-Vielteilchenverschränkung wird eingeführt. Es werden Methoden zur Verschränkungsdetektion angegeben, und deren experimentelle Implementierung diskutiert. Ein weiteres Thema ist die Quantifizierung von Verschränkung. In diesem Zusammenhang wird ein nützliches Maß für Vielteilchenverschränkung vorgestellt. Darüber hinaus wird auch die Klassifizierung von Vielteilchenverschränkung thematisiert, und ein systematischer Ansatz zur Unterscheidung verschiedener Klassen angegeben. Der letzte Teil dieser Arbeit beschäftigt sich mit Relationen zwischen Verschränkung und anderen fundamentalen Aspekten der Quantentheorie. Insbesondere wird eine Verbindung zwischen dem Komplementaritätsprinzip und dem Separabilitätsproblem hergestellt. Besondere Aufmerksamkeit gilt auch dem Zusammenhang zwischen Verschränkung und nicht-lokal-realitischen Korrelationen. Hier wird eine geometrische Struktur, welche diskreten zusammengesetzten Systemen zugrunde liegt, verwendet, um deren Verschiedenartigkeit veranschaulichen zu können.
Wir befinden uns an der Schwelle einer Revolution zu einer Quantentechnologie, die nicht nur auf der passiven Nutzung von Quanteneffekten, sondern auf ihrer aktiven Kontrolle beruht.An vorderster Front beinhaltet dies die Realisierung eines Quantencomputers.Das Kodieren von Informationen in Quantenzuständen als "Qubits" erlaubt es, Verschränkung und Quantensuperposition zu nutzen, um Rechnungen durchzuführen, die auf einem klassischen Computer unpraktikabel sind.Eine zentrale Schwierigkeit ist es dabei, Dekohärenz zu vermeiden -der Verlust von Quanteneigenschaften aufgrund ungewollter Wechselwirkung mit der Umgebung.Diese Arbeit thematisiert die Realisierung verschränkender Zwei-Qubit-Gatter, die sowohl gegenüber Dekohärenz als auch klassischen Störeinflüssen robust sind.Sie behandelt dabei drei Aspekte: die Nutzung effizienter numerischer Methoden zur Simulation und optimaler Kontrolle offener und geschlossener Quantensysteme, die Rolle fortgeschrittener Optimierungsfunktionale zur Begünstigung von Robustheit, sowie die Anwendung dieser Techniken auf zwei führende Umsetzungen von Quantencomputern, gefangene Atome und supraleitende Schaltkreise.Nach einem Überblick über die theoretischen und numerischen Grundlagen beginnt der zentrale Teil dieser Arbeit mit der Idee einer Ensembleoptimierung, um Robustheit sowohl gegenüber klassischen Fluktuationen als auch Dekohärenz zu erreichen.Für das Beispiel eines kontrollierten Phasengatters auf gefangenen Rydberg-Atomen wird gezeigt, dass Gatter erreichbar sind, die um mindestens eine Größenordnung robuster sind als der beste bekannte analytische Ansatz.Darüber hinaus bleibt diese Robustheit selbst dann erhalten, wenn die Gatterdauer signifikant gegenüber der kurzmöglichsten Dauer des analytischen Gatters verkürzt wird.Supraleitenden Schaltkreise sind eine besonders vielversprechende Architektur zur Implementierung eines Quantencomputers.Ihre Flexibilität wird durch Optimierungen sowohl für diagonale als auch nicht-diagonale Gatter gezeigt.Um Robustheit gegenüber Dekohärenz zu gewährleisten, ist es essentiell, das Gatter in so kurzer Zeit wie möglich zu realisieren.Das Erreichen dieses Ziels wird durch die Optimierung hin zu einem beliebigen v perfekten Verschränker erleichtert, basierend auf einer geometrischen Theorie der Zwei-Qubit-Gatter.Für das Beispiel supraleitender Qubits wird gezeigt, dass dieser Ansatz zu kürzeren Gatterzeiten, höheren Fidelitäten, sowie schnellerer Konvergenz führt, im Vergleich zur Optimierung hin zu vorausbestimmten, festen Zwei-Qubit-Gattern.Eine Optimierung im Liouville-Raum zur sauberen Berücksichtigung von Dekohärenzeffekten ist mit erheblichen numerischen Herausforderungen verbunden, da die Dimension im Vergleich zum Hilbert-Raum quadratisch wächst.Es kann allerdings gezeigt werden, dass es für ein unitäres Optimierungsziel ausreichend ist, höchstens drei Zustände anstelle der vollen Basis des Liouville-Raums zu propagieren.Sowohl für das Beispiel gefangener Rydberg-Atome also auch für supraleitende Qubits wird die erfolgreiche Optimierung von Quantengattern gezeigt, mit einem numerischen Aufwand, der weit unterhalb der bisher angenommenen Untergrenze liegt.Insgesamt zeigen die Ergebnisse dieser Arbeit zu einem umfassenden Gerüsts zur Optimierung robuster Quantengatter, und bereiten den Weg für die mögliche Realisierung eines Quantencomputers.vi