Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Highdimensional quantum information theory

Appel, Paul

Published Jan 1, 2025• 0 citations
Publisher

Abstract

Die Quanteninformationstheorie hat sich traditionell auf Zweiniveausysteme (Qubits) konzentriert, obwohl zahlreiche experimentelle Plattformen – darunter photonische Modi, gefangene Ionen und supraleitende Schaltkreise – von Natur aus höherdimensionale Qudits realisieren. Diese Arbeit entwickelt drei komplementäre Ansätze zu einer dimensionsbewussten Erweiterung der Quanteninformationstheorie, die den operativen Kern bewahrt und zugleich die strukturelle Komplexität von Systemen mit höherer lokaler Dimension berücksichtigt. Im ersten Teil werden dimensionsabhängige Quasi-Monogamie-Relationen für Korrelationsmaße in der Bloch Darstellung hergeleitet. Parallel dazu werden neue Tsallis-2-Entropie-Ungleichungen mit explizit dimensionsabhängingen Parametern formuliert, darunter eine verallgemeinerte Form der strikten Subadditivität. Diese Ergebnisse verdeutlichen, wie sich Geometrie und Entropie quantenmechanischer Korrelationen mit wachsender Dimension verändern, und bieten eine Verallgemeinerung qubitspezifischer Relationen wie der Coffman–Kundu–Wootters-Ungleichung. Der zweite Teil führt Finite-Function-Encoding (FFE)-Zustände ein, welche die phasenkodierte logische Struktur von Qubit-Hypergraph-Zuständen auf beliebige d-stufige Systeme verallgemeinern. Innerhalb dieses Rahmens wird die polynomiale Unterklasse über Tensor-Kanten-Hypergraphen beschrieben, und für allgemeine FFE-Zustände wird ein Stabilisatorformalismus entwickelt. Die Analyse der lokalen Äquivalenz unter unitären und endlichen Funktions-Pauli-Transformationen führt zu einer vollständigen Klassifikation bipartiter FFE-Zustände für lokale Dimensionen drei und vier und zeigt strukturelle Verbindungen zur Klassifikation komplexer Hadamard-Matrizen auf. Im dritten Teil wird ein zweistufiges Verfahren zur quditbasierten Schaltkreiskompression vorgestellt. In der ersten Stufe werden mehrere Qubits mittels schnittminimierender Graphpartitionierung zu Qudits zusammengefasst; in der zweiten Stufe werden eingebettete Zwei-qubit-Gatter durch native Zwei-qudit-Operationen ersetzt. Es werden obere und untere Schranken für die erreichbare Reduktion des nichtlokalen Gatteraufwands hergeleitet und Fälle identifiziert, in denen diese Schranken saturiert werden. Insgesamt entsteht so ein kohärenter Rahmen zur Übertragung qubitbasierter Paradigmen auf höherdimensionale Architekturen, der sowohl theoretische Einsichten als auch praktische Vorteile für Quantenhardware mit kohärenter Mehrniveausteuerung bietet.

DOI
10.25365/thesis.80848

Related papers

Characterizing the structure of multiparticle entanglement in high-dimensional systems

Christina Ritz

Quantenverschränkung hat sich als eine wertvolle Ressource für viele Aufgaben der Quanteninformationstheorie etabliert. Eine zunehmende Zahl von miteinander verschränkten Systemen sowie eine größere Anzahl verfügbarer Dimensionen bewirkt in diesem Zusammenhang eine Steigerung des Leistungsvermögens und der Effizienz. Um diese Ressource erfolgreich zu nutzen, ist es zuvorderst notwendig, einen konsistenten theoretischen Formalismus zu ent-wickeln, der die verschiedenen Arten von Verschränkung korrekt beschreibt und zwischen ihnen differenziert.\nDie vorliegende Arbeit widmet sich der Klassifikation von Verschränkung in speziellen Familien hochdimensionaler Vielteilchensysteme sowie der Detektion von Verschränkung innerhalb dieser.\nDiese Dissertation stellt die Forschungsergebnisse aus drei Projekten vor. Der erste Teil handelt von der Konstruktion eines Operators, eines sogenannten Verschränkungszeugen, der es ermöglicht Verschränkung innerhalb von Vielteilchensystemen zu detektieren. Der Hauptaspekt besteht hierbei in der Entwicklung einer Eins-zu-eins-Korrespondenz zwischen SLOCC-Zeugen und Verschränkungszeugen innerhalb eines erweiterten Hilbertraums. Die Form dieses Zeugen ist derart, dass er mit Hilfe eines Zustandes innerhalb der zu detektierenden SLOCC-Klasse und dem maximalen Überlapp dessen mit Zuständen einer inäquivalenten SLOCC-Klasse konstruiert werden kann.\nDas zweite Projekt basiert auf der Erweiterung einer speziellen Familie von Vielteilchenzuständen, den Qubit-Hypergraphzuständen. Sie werden auf beliebige Dimensionen verallgemeinert und als Qudit-Hypergraphen definiert. Diese Zustände werden hinsichtlich SLOCC- und LU-Äquivalenzklassen untersucht und Methoden entwickelt um zwischen diesen zu unterscheiden. Interessanterweise konnte hier eine enge Verbindung zum Feld der Zahlentheorie festgestellt werden. Für tripartite Systeme in den Dimensionen drei und vier wird eine vollständige Klassifizierung unter SLOCC und LU angegeben. In den folgenden Abschnitten werden Regeln für die lokale Komplementation für Graphenzustände in nicht notwendigerweise Primzahl-Dimensionen entwickelt. Den Abschluss dieses Themas bildet eine Erweiterung der Qudit Hypergraphenzustände hin zu sogenannten gewichteten Hypergraphzuständen. Für spezielle Fälle davon werden SLOCC- und LU-Äquivalenzklassen determiniert. \nDer dritte und letzte Teil dieser Arbeit beschäftigt sich mit der Frage, auf welche Art Mehr-levelverschränkung sinnvoll definiert werden kann. Die Motivation dazu resultiert aus der Tatsache, dass es Zustände gibt, die als maximal verschränkt hinsichtlich ihrer Dimension gelten, aber trotzdem durch Systeme niedrigerer Dimension generiert werden können. Basierend darauf werden drei inäquivalente Klassen von Mehrlevelverschränkung definiert: 1) Zerlegbare Zustände (DEC), deren Korrelationen vollständig durch niedriger-dimensionale Systeme reproduziert werden können, 2) Echt mehrlevel-, mehrteilchenverschränkte Zustände (GMME), für deren Produktion man Kontrolle über Systeme der entsprechenden Dimension haben muss, 3) Mehrlevel-, mehrteilchenverschränkte Zustände (MME), die zerlegbar bezüglich einer bestimmten Bipartition sind.\nNach den grundlegenden Definitionen werden Beispiele für jede der drei Klassen diskutiert und Methoden entwickelt, die zwischen den Klassen unterscheiden können. Im bipartiten Fall, sowie für die Unterscheidung zwischen GMME und MME, kann die Frage der Klassenzugehörigkeit analytisch beantwortet werden. Die Differenzierung hinsichtlich MME und DEC basiert weitgehend auf numerischen Methoden, wobei auch ein analytisches Kriterium existiert, das notwendig, aber nicht hinreichend ist.

•Apr 3, 2019•3 citations

Entanglement beyond two qubits

Philipp Krammer

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.

•Jan 1, 2009•0 citations

Entanglement under global unitary operations

Philipp Köhler

Die Quantenmechanik und ihre Phänomene, wie zum Beispiel Verschränkung oder Nichtlokalität, sind bis heute nicht vollständig erschlossen. Das Ziel dieser Arbeit ist es, eine Einführung in den Begriff der Verschränkung und seine Auswirkungen zu geben. Insbesondere Kriterien zur Detektion und Maße zur Quantifizierung von Verschränkung werden vorgestellt. Desweiteren wird der Begriff der Nichtlokalität näher untersucht und eine Möglichkeit, die Bell Ungleichung, vorgestellt nichtlokale Quantenzustände zu detektieren. Ein weiterer Teil dieser Arbeit ist der Frage gewidmet, wie sich Quantenzustände unter LOCC Transformationen und global unitären Transformationen verändern. Hierfür werden mehrere Beispiele behandelt. Unter anderem GHZ-, Werner-, Gisin Zustände werden genauer beleuchtet und deren Veränderung der Verschränkung und Nichtlokalität untersucht. Ein weiterer wichtiger Teil dieser Arbeit widmet sich der Frage der Visualisierung von Quantenzuständen um ein besseres Verständnis für deren Verhalten zu erlangen. Explizit werden reine zwei qubit Systeme untersucht. Die Verknüpfung solcher Zustände mit dem komplex projektiven Raum ermöglicht eine vollständige geometrische Darstellung. Im Fall von gemischten Zuständen ist die Dimensionszahl zu hoch um eine vernünftige Darstellung aller Zustände zu ermöglichen. Allerdings zeigt sich, dass eine Superposition von Bell Zuständen nur drei Freiheitsgrade besitzt und dadurch darstellbar ist. Doch auch Zustände mit mehr als drei Freiheitsgraden können, durch eine in dieser Arbeit vorgestellte Methode, visualisiert werden, indem der Bereich der physikalischen Zustände innerhalb der darstellung angepasst wird.

•Jan 1, 2011•0 citations

Entanglement and correlations in composite quantum systems

Christoph Spengler

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.

•Jan 1, 2012•0 citations

Geometry of qudits

Florian Hipp

Die vorliegende Diplomarbeit beschaftigt sich uberwiegend mit Quanten-Systemen, die zwei (auch qubit genannt) oder im allgemeinsten Fall d Freiheitsgrade (auch qudit genannt) aufweisen. Insbesondere werden die Eigenschaften zusammengesetzter Quanten-Systeme bezuglich Separabilitat beziehungsweise Verschrankung auf geometrische Weise dargestellt. Beruhend auf ahnlichen, bereits bekannten Uberlegungen fur zwei Qubit oder zwei Qudit Systeme, werden mogliche Verallgemeinerungen dieser Ergebnisse fur Vielteilchensysteme prasentiert. Des Weiteren wird das Verhalten dieser Vielteilchensysteme bezuglich der gangigsten Separabilit atskriterien, wie z.B. des Peres-Horodecki Kriteriums, des Realignment Kriteriums, der Destillation von Verschrankung und Verschrankungsmasen, sowohl numerisch als auch analytisch betrachtet. Es wird im Einzelnen gezeigt wie, in Anlehnung an den zwei Qubit Simplex, ein n-Teilchen Simplex bestehend aus Qubit Zustanden konstruiert werden kann und warum alle Zustande in diesem Simplex 'bound-entangled' sind. Dieses Ergebnis wurde bereits in Physical Review A 78, 042327 (2008) publiziert. Auserdem werden zwei verschiedene Konstruktionen eines n-Teilchen Wk-Simplex vorgestellt, die beide fur den n = 2 Fall mit dem bekannten 'Magic Tetrahedron' ubereinstimmen. Fur den speziellen Fall des drei Teilchen Wk-Simplex (W-Zustand Simplex) werden bestimmte Symmetrien der jeweiligen Quanten Systeme bezuglich der oben erwahnten Separabilitatskriterien aufgezeigt und dementsprechend verschiedene Subklassen von Zustande eingefuhrt. Zusatzlich zu diesen Symmetrien konnen durch diese geometrische Veranschaulichung der Zustande, d.h. durch verschiedene Schnitte dieser Simplices, die verschiedenen Kriterien prazise und leicht auf optischem Wege verglichen werden. Aus diesem Grund werden die in dieser Arbeit beschriebenen Ergebnisse dazu beitragen sowohl zusammengesetzte Quanten-Systeme als auch das damit verbundene faszinierende Phanomen der Verschr ankung, welches die Grundlage fur zukunftige Technologien, wie etwa Quantenkryptography, Quantenkommunikation oder moglicherweise Quantencomputer, bilden wird, besser zu verstehen.

•Jan 1, 2010•0 citations

Neutrale Atome in Dipolfallenregistern für die Quanteninformationsverarbeitung

J. Kruse

Motiviert durch den exponentiellen Anstieg der Rechenkapazität den Quantenalgorithmen ermöglichen, hat sich die Quanteninformationsverarbeitung als ein neues, sich rasant entwickelndes Forschungsfeld etabliert. Die Kodierung von Information erfolgt dabei in als Qubits bezeichneten Zwei-Zustands-Systemen, wie sie in einer Vielzahl quantenmechanischer Systeme vorliegen. Ein vielversprechender Ansatz basiert auf neutralen Atomen in Dipolfallen, die sich aufgrund ihrer geringen Wechselwirkung gut von der Umwelt isolieren lassen und mit ihren internen Zuständen ein geeignetes Quantensystem darstellen. Im Rahmen dieser Arbeit wurden wichtige Teilschritte für die Implementierung der Quanteninformationsverarbeitung in zweidimensionalen Dipolfallenregistern realisiert. So konnten erstmals die Unterdrückung von Dephasierung, die simultane Adressierung individueller Qubits sowie das kontrollierte Laden und die Detektion einzelner Atome gezeigt werden. Das verwendete Dipolfallenregister wird über die homogene Ausleuchtung von Mikrolinsenregistern erzeugt und zeichnet sich durch eine simple und reproduzierbare Handhabung sowie durch seinen skalierbaren Charakter aus. Ein Fallenabstand von 55 μm erlaubt eine räumliche Auflösung einzelner Qubits mithilfe optischer Verfahren. Als Qubit-Zustände dienen die beiden Hyperfeinniveaus des Grundzustandes von 85Rb. Die kohärente Kopplung beider Niveaus erfolgt über einen optischen Zwei-Photonen-Raman-Prozess, mit dem sich beliebige Ein-Qubit-Operationen realisieren lassen. Wesentliche Erfolge konnten in dieser Arbeit bei der Minimierung der Dephasierung durch den von der Dipolfalle induzierten differentiellen Stark-Effekt erzielt werden. Zur Unterdrückung dieser Dephasierung wird die differentielle Stark-Verschiebung mittels eines weiteren, nahresonanten Lichtfeldes kompensiert. Durch diese Kompensation kann die effektive Hyperfeinaufspaltung von der Fallentiefe entkoppelt werden. Die so induzierte Unterdrückung der Dephasierung ermöglicht eine synchronisierte Phasenentwicklung der atomaren Qubit-Zustände. Unter Verwendung von Ramsey-Techniken konnte die spektroskopische Auflösung der Hyperfeinaufspaltung dadurch um einen Faktor 70 verbessert werden. Ein weiterer wichtiger Aspekt in der Quanteninformationsverarbeitung besteht in der kontrollierten Initialisierung und Adressierung der Qubits. In dieser Arbeit gelang erstmals die simultane Ansteuerung individueller Qubits mittels eines zweidimensionalen Intensitätsmodulators. Mit diesem Intensitätsmodulator können in Kombination mit mikrooptischen Komponenten sowohl flexible Fallengeometrien, als auch fallenspezifische, räumlich separierte kohärente Manipulationen stabil und zugleich variabel realisiert werden. Die Kontrolle einzelner Atome ist in vielen Ansätzen für die Realisierung von Zwei-Qubit- Wechselwirkungen essentiell. Erstmals wurde in dieser Arbeit das Laden einzelner Atome sowie deren Detektion im Dipolfallenregister gezeigt. Durch eine Änderung des Volumens der Dipolfallen konnte der Übergang zwischen einer statistischen Poisson-verteilten Atomzahl in den einzelnen Fallen zu einer stark Sub-Poisson-verteilten Atomzahl mit maximal einem Atom pro Falle erreicht werden. Lichtinduzierte Zwei-Körper-Verluste führen zu einer Blockade, die eine mittlere Atomzahl von 〈N〉 = 0,5 mit keinem oder exakt einem Atom pro Falle bewirkt. Dieses Blockaderegime erweist sich im untersuchten Bereich als unabhängig von der Laderate und Tiefe der Fallen und ermöglicht das gleichmäßige

•Jan 1, 2010•0 citations
Die Quanteninformationstheorie hat sich traditionell auf Zweiniveausysteme (Qubits) konzentriert, obwohl zahlreiche experimentelle Plattformen – darunter photonische Modi, gefangene Ionen und supraleitende Schaltkreise – von Natur aus höherdimensionale Qudits realisieren. Diese Arbeit entwickelt drei komplementäre Ansätze zu einer dimensionsbewussten Erweiterung der Quanteninformationstheorie, die den operativen Kern bewahrt und zugleich die strukturelle Komplexität von Systemen mit höherer lokaler Dimension berücksichtigt. Im ersten Teil werden dimensionsabhängige Quasi-Monogamie-Relationen für Korrelationsmaße in der Bloch Darstellung hergeleitet. Parallel dazu werden neue Tsallis-2-Entropie-Ungleichungen mit explizit dimensionsabhängingen Parametern formuliert, darunter eine verallgemeinerte Form der strikten Subadditivität. Diese Ergebnisse verdeutlichen, wie sich Geometrie und Entropie quantenmechanischer Korrelationen mit wachsender Dimension verändern, und bieten eine Verallgemeinerung qubitspezifischer Relationen wie der Coffman–Kundu–Wootters-Ungleichung. Der zweite Teil führt Finite-Function-Encoding (FFE)-Zustände ein, welche die phasenkodierte logische Struktur von Qubit-Hypergraph-Zuständen auf beliebige d-stufige Systeme verallgemeinern. Innerhalb dieses Rahmens wird die polynomiale Unterklasse über Tensor-Kanten-Hypergraphen beschrieben, und für allgemeine FFE-Zustände wird ein Stabilisatorformalismus entwickelt. Die Analyse der lokalen Äquivalenz unter unitären und endlichen Funktions-Pauli-Transformationen führt zu einer vollständigen Klassifikation bipartiter FFE-Zustände für lokale Dimensionen drei und vier und zeigt strukturelle Verbindungen zur Klassifikation komplexer Hadamard-Matrizen auf. Im dritten Teil wird ein zweistufiges Verfahren zur quditbasierten Schaltkreiskompression vorgestellt. In der ersten Stufe werden mehrere Qubits mittels schnittminimierender Graphpartitionierung zu Qudits zusammengefasst; in der zweiten Stufe werden eingebettete Zwei-qubit-Gatter durch native Zwei-qudit-Operationen ersetzt. Es werden obere und untere Schranken für die erreichbare Reduktion des nichtlokalen Gatteraufwands hergeleitet und Fälle identifiziert, in denen diese Schranken saturiert werden. Insgesamt entsteht so ein kohärenter Rahmen zur Übertragung qubitbasierter Paradigmen auf höherdimensionale Architekturen, der sowohl theoretische Einsichten als auch praktische Vorteile für Quantenhardware mit kohärenter Mehrniveausteuerung bietet.
Quantenverschränkung hat sich als eine wertvolle Ressource für viele Aufgaben der Quanteninformationstheorie etabliert. Eine zunehmende Zahl von miteinander verschränkten Systemen sowie eine größere Anzahl verfügbarer Dimensionen bewirkt in diesem Zusammenhang eine Steigerung des Leistungsvermögens und der Effizienz. Um diese Ressource erfolgreich zu nutzen, ist es zuvorderst notwendig, einen konsistenten theoretischen Formalismus zu ent-wickeln, der die verschiedenen Arten von Verschränkung korrekt beschreibt und zwischen ihnen differenziert.\nDie vorliegende Arbeit widmet sich der Klassifikation von Verschränkung in speziellen Familien hochdimensionaler Vielteilchensysteme sowie der Detektion von Verschränkung innerhalb dieser.\nDiese Dissertation stellt die Forschungsergebnisse aus drei Projekten vor. Der erste Teil handelt von der Konstruktion eines Operators, eines sogenannten Verschränkungszeugen, der es ermöglicht Verschränkung innerhalb von Vielteilchensystemen zu detektieren. Der Hauptaspekt besteht hierbei in der Entwicklung einer Eins-zu-eins-Korrespondenz zwischen SLOCC-Zeugen und Verschränkungszeugen innerhalb eines erweiterten Hilbertraums. Die Form dieses Zeugen ist derart, dass er mit Hilfe eines Zustandes innerhalb der zu detektierenden SLOCC-Klasse und dem maximalen Überlapp dessen mit Zuständen einer inäquivalenten SLOCC-Klasse konstruiert werden kann.\nDas zweite Projekt basiert auf der Erweiterung einer speziellen Familie von Vielteilchenzuständen, den Qubit-Hypergraphzuständen. Sie werden auf beliebige Dimensionen verallgemeinert und als Qudit-Hypergraphen definiert. Diese Zustände werden hinsichtlich SLOCC- und LU-Äquivalenzklassen untersucht und Methoden entwickelt um zwischen diesen zu unterscheiden. Interessanterweise konnte hier eine enge Verbindung zum Feld der Zahlentheorie festgestellt werden. Für tripartite Systeme in den Dimensionen drei und vier wird eine vollständige Klassifizierung unter SLOCC und LU angegeben. In den folgenden Abschnitten werden Regeln für die lokale Komplementation für Graphenzustände in nicht notwendigerweise Primzahl-Dimensionen entwickelt. Den Abschluss dieses Themas bildet eine Erweiterung der Qudit Hypergraphenzustände hin zu sogenannten gewichteten Hypergraphzuständen. Für spezielle Fälle davon werden SLOCC- und LU-Äquivalenzklassen determiniert. \nDer dritte und letzte Teil dieser Arbeit beschäftigt sich mit der Frage, auf welche Art Mehr-levelverschränkung sinnvoll definiert werden kann. Die Motivation dazu resultiert aus der Tatsache, dass es Zustände gibt, die als maximal verschränkt hinsichtlich ihrer Dimension gelten, aber trotzdem durch Systeme niedrigerer Dimension generiert werden können. Basierend darauf werden drei inäquivalente Klassen von Mehrlevelverschränkung definiert: 1) Zerlegbare Zustände (DEC), deren Korrelationen vollständig durch niedriger-dimensionale Systeme reproduziert werden können, 2) Echt mehrlevel-, mehrteilchenverschränkte Zustände (GMME), für deren Produktion man Kontrolle über Systeme der entsprechenden Dimension haben muss, 3) Mehrlevel-, mehrteilchenverschränkte Zustände (MME), die zerlegbar bezüglich einer bestimmten Bipartition sind.\nNach den grundlegenden Definitionen werden Beispiele für jede der drei Klassen diskutiert und Methoden entwickelt, die zwischen den Klassen unterscheiden können. Im bipartiten Fall, sowie für die Unterscheidung zwischen GMME und MME, kann die Frage der Klassenzugehörigkeit analytisch beantwortet werden. Die Differenzierung hinsichtlich MME und DEC basiert weitgehend auf numerischen Methoden, wobei auch ein analytisches Kriterium existiert, das notwendig, aber nicht hinreichend ist.
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.
Die Quantenmechanik und ihre Phänomene, wie zum Beispiel Verschränkung oder Nichtlokalität, sind bis heute nicht vollständig erschlossen. Das Ziel dieser Arbeit ist es, eine Einführung in den Begriff der Verschränkung und seine Auswirkungen zu geben. Insbesondere Kriterien zur Detektion und Maße zur Quantifizierung von Verschränkung werden vorgestellt. Desweiteren wird der Begriff der Nichtlokalität näher untersucht und eine Möglichkeit, die Bell Ungleichung, vorgestellt nichtlokale Quantenzustände zu detektieren. Ein weiterer Teil dieser Arbeit ist der Frage gewidmet, wie sich Quantenzustände unter LOCC Transformationen und global unitären Transformationen verändern. Hierfür werden mehrere Beispiele behandelt. Unter anderem GHZ-, Werner-, Gisin Zustände werden genauer beleuchtet und deren Veränderung der Verschränkung und Nichtlokalität untersucht. Ein weiterer wichtiger Teil dieser Arbeit widmet sich der Frage der Visualisierung von Quantenzuständen um ein besseres Verständnis für deren Verhalten zu erlangen. Explizit werden reine zwei qubit Systeme untersucht. Die Verknüpfung solcher Zustände mit dem komplex projektiven Raum ermöglicht eine vollständige geometrische Darstellung. Im Fall von gemischten Zuständen ist die Dimensionszahl zu hoch um eine vernünftige Darstellung aller Zustände zu ermöglichen. Allerdings zeigt sich, dass eine Superposition von Bell Zuständen nur drei Freiheitsgrade besitzt und dadurch darstellbar ist. Doch auch Zustände mit mehr als drei Freiheitsgraden können, durch eine in dieser Arbeit vorgestellte Methode, visualisiert werden, indem der Bereich der physikalischen Zustände innerhalb der darstellung angepasst wird.
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.
Die vorliegende Diplomarbeit beschaftigt sich uberwiegend mit Quanten-Systemen, die zwei (auch qubit genannt) oder im allgemeinsten Fall d Freiheitsgrade (auch qudit genannt) aufweisen. Insbesondere werden die Eigenschaften zusammengesetzter Quanten-Systeme bezuglich Separabilitat beziehungsweise Verschrankung auf geometrische Weise dargestellt. Beruhend auf ahnlichen, bereits bekannten Uberlegungen fur zwei Qubit oder zwei Qudit Systeme, werden mogliche Verallgemeinerungen dieser Ergebnisse fur Vielteilchensysteme prasentiert. Des Weiteren wird das Verhalten dieser Vielteilchensysteme bezuglich der gangigsten Separabilit atskriterien, wie z.B. des Peres-Horodecki Kriteriums, des Realignment Kriteriums, der Destillation von Verschrankung und Verschrankungsmasen, sowohl numerisch als auch analytisch betrachtet. Es wird im Einzelnen gezeigt wie, in Anlehnung an den zwei Qubit Simplex, ein n-Teilchen Simplex bestehend aus Qubit Zustanden konstruiert werden kann und warum alle Zustande in diesem Simplex 'bound-entangled' sind. Dieses Ergebnis wurde bereits in Physical Review A 78, 042327 (2008) publiziert. Auserdem werden zwei verschiedene Konstruktionen eines n-Teilchen Wk-Simplex vorgestellt, die beide fur den n = 2 Fall mit dem bekannten 'Magic Tetrahedron' ubereinstimmen. Fur den speziellen Fall des drei Teilchen Wk-Simplex (W-Zustand Simplex) werden bestimmte Symmetrien der jeweiligen Quanten Systeme bezuglich der oben erwahnten Separabilitatskriterien aufgezeigt und dementsprechend verschiedene Subklassen von Zustande eingefuhrt. Zusatzlich zu diesen Symmetrien konnen durch diese geometrische Veranschaulichung der Zustande, d.h. durch verschiedene Schnitte dieser Simplices, die verschiedenen Kriterien prazise und leicht auf optischem Wege verglichen werden. Aus diesem Grund werden die in dieser Arbeit beschriebenen Ergebnisse dazu beitragen sowohl zusammengesetzte Quanten-Systeme als auch das damit verbundene faszinierende Phanomen der Verschr ankung, welches die Grundlage fur zukunftige Technologien, wie etwa Quantenkryptography, Quantenkommunikation oder moglicherweise Quantencomputer, bilden wird, besser zu verstehen.
Motiviert durch den exponentiellen Anstieg der Rechenkapazität den Quantenalgorithmen ermöglichen, hat sich die Quanteninformationsverarbeitung als ein neues, sich rasant entwickelndes Forschungsfeld etabliert. Die Kodierung von Information erfolgt dabei in als Qubits bezeichneten Zwei-Zustands-Systemen, wie sie in einer Vielzahl quantenmechanischer Systeme vorliegen. Ein vielversprechender Ansatz basiert auf neutralen Atomen in Dipolfallen, die sich aufgrund ihrer geringen Wechselwirkung gut von der Umwelt isolieren lassen und mit ihren internen Zuständen ein geeignetes Quantensystem darstellen. Im Rahmen dieser Arbeit wurden wichtige Teilschritte für die Implementierung der Quanteninformationsverarbeitung in zweidimensionalen Dipolfallenregistern realisiert. So konnten erstmals die Unterdrückung von Dephasierung, die simultane Adressierung individueller Qubits sowie das kontrollierte Laden und die Detektion einzelner Atome gezeigt werden. Das verwendete Dipolfallenregister wird über die homogene Ausleuchtung von Mikrolinsenregistern erzeugt und zeichnet sich durch eine simple und reproduzierbare Handhabung sowie durch seinen skalierbaren Charakter aus. Ein Fallenabstand von 55 μm erlaubt eine räumliche Auflösung einzelner Qubits mithilfe optischer Verfahren. Als Qubit-Zustände dienen die beiden Hyperfeinniveaus des Grundzustandes von 85Rb. Die kohärente Kopplung beider Niveaus erfolgt über einen optischen Zwei-Photonen-Raman-Prozess, mit dem sich beliebige Ein-Qubit-Operationen realisieren lassen. Wesentliche Erfolge konnten in dieser Arbeit bei der Minimierung der Dephasierung durch den von der Dipolfalle induzierten differentiellen Stark-Effekt erzielt werden. Zur Unterdrückung dieser Dephasierung wird die differentielle Stark-Verschiebung mittels eines weiteren, nahresonanten Lichtfeldes kompensiert. Durch diese Kompensation kann die effektive Hyperfeinaufspaltung von der Fallentiefe entkoppelt werden. Die so induzierte Unterdrückung der Dephasierung ermöglicht eine synchronisierte Phasenentwicklung der atomaren Qubit-Zustände. Unter Verwendung von Ramsey-Techniken konnte die spektroskopische Auflösung der Hyperfeinaufspaltung dadurch um einen Faktor 70 verbessert werden. Ein weiterer wichtiger Aspekt in der Quanteninformationsverarbeitung besteht in der kontrollierten Initialisierung und Adressierung der Qubits. In dieser Arbeit gelang erstmals die simultane Ansteuerung individueller Qubits mittels eines zweidimensionalen Intensitätsmodulators. Mit diesem Intensitätsmodulator können in Kombination mit mikrooptischen Komponenten sowohl flexible Fallengeometrien, als auch fallenspezifische, räumlich separierte kohärente Manipulationen stabil und zugleich variabel realisiert werden. Die Kontrolle einzelner Atome ist in vielen Ansätzen für die Realisierung von Zwei-Qubit- Wechselwirkungen essentiell. Erstmals wurde in dieser Arbeit das Laden einzelner Atome sowie deren Detektion im Dipolfallenregister gezeigt. Durch eine Änderung des Volumens der Dipolfallen konnte der Übergang zwischen einer statistischen Poisson-verteilten Atomzahl in den einzelnen Fallen zu einer stark Sub-Poisson-verteilten Atomzahl mit maximal einem Atom pro Falle erreicht werden. Lichtinduzierte Zwei-Körper-Verluste führen zu einer Blockade, die eine mittlere Atomzahl von 〈N〉 = 0,5 mit keinem oder exakt einem Atom pro Falle bewirkt. Dieses Blockaderegime erweist sich im untersuchten Bereich als unabhängig von der Laderate und Tiefe der Fallen und ermöglicht das gleichmäßige