Diese Diplomarbeit schneidet zwei Gebiete der Physik an: die Teilchenphysik und die Grundlagen der Quantenmechanik. Verbunden werden die Teilgebiete durch das neutrale Kaonensystem, welches eine der interessantesten und aufregendsten Eigenschaften der Quantenmechanik vorweisen kann: Verschr¨ankung. Verschr¨ankung ist ein heftig diskutiertes Thema, da es eigenartige Konsequenzen mit sich bringt sowie neuartige Verwendungen erm¨oglicht (z.B. Quantenkryptographie). Das Ph¨anomen der Verschr¨ankung konnte in verschiedenen Systemen beobachtet werden, was eventuell auch auf biologische Systeme ausgeweitet werden kann. In dieser Arbeit legen wir den Schwerpunkt auf ein massives verschr¨anktes System, das System der neutralen Kaonen, und untersuchen quanteninformationstheoretische Fragen. Das System oszilliert zwischen Teilchen- und Antiteilchen-Zustand (sogenannte Strangeness Oszillation). Weiters ist es ein zerfallendes System. Dar¨uber hinaus verletzt es die CP Symmetrie (Ladungssymmetrie C und Parit¨at P, Nobelpreis 1980), d.h. es beweist, dass es einen Unterschied zwischen derWelt der Materie und der Welt der Antimaterie gibt. Die Bestimmung des Ursprungs dieser Symmetrieverletzung stellt noch immer ein ungel¨ostes Problem in der Teilchenphysik dar. Wir werden verschiedene Herangehensweisen zur Beschreibung der Ph¨anomenologie des neutralen Kaonen Systems - welches sich betr¨achlich von stabilen Systemen unterscheidet - vorstellen und diskutieren, um sie in den Bell Ungleichungen und in Heisenberg’s Unsch¨arferelation in der entropischen Version anzuwenden. Desweiteren zeigen wir, dass die CP Verletzung Unsicherheit in die Dynamik bringt.
Diese Diplomarbeit schneidet zwei Gebiete der Physik an: die Teilchenphysik und die Grundlagen der Quantenmechanik. Verbunden werden die Teilgebiete durch das neutrale Kaonensystem, welches eine der interessantesten und aufregendsten Eigenschaften der Quantenmechanik vorweisen kann: Verschr¨ankung. Verschr¨ankung ist ein heftig diskutiertes Thema, da es eigenartige Konsequenzen mit sich bringt sowie neuartige Verwendungen erm¨oglicht (z.B. Quantenkryptographie). Das Ph¨anomen der Verschr¨ankung konnte in verschiedenen Systemen beobachtet werden, was eventuell auch auf biologische Systeme ausgeweitet werden kann. In dieser Arbeit legen wir den Schwerpunkt auf ein massives verschr¨anktes System, das System der neutralen Kaonen, und untersuchen quanteninformationstheoretische Fragen. Das System oszilliert zwischen Teilchen- und Antiteilchen-Zustand (sogenannte Strangeness Oszillation). Weiters ist es ein zerfallendes System. Dar¨uber hinaus verletzt es die CP Symmetrie (Ladungssymmetrie C und Parit¨at P, Nobelpreis 1980), d.h. es beweist, dass es einen Unterschied zwischen derWelt der Materie und der Welt der Antimaterie gibt. Die Bestimmung des Ursprungs dieser Symmetrieverletzung stellt noch immer ein ungel¨ostes Problem in der Teilchenphysik dar. Wir werden verschiedene Herangehensweisen zur Beschreibung der Ph¨anomenologie des neutralen Kaonen Systems - welches sich betr¨achlich von stabilen Systemen unterscheidet - vorstellen und diskutieren, um sie in den Bell Ungleichungen und in Heisenberg’s Unsch¨arferelation in der entropischen Version anzuwenden. Desweiteren zeigen wir, dass die CP Verletzung Unsicherheit in die Dynamik bringt.
Die Nichtlokalität von Quantensystemen steht im Mittelpunkt der heutigen Physik. Sie ergibt sich direkt aus dem Superpositionsprinzip. Sie ist eine Eigenschaft, die aus dem Wellencharakter von Quantenobjekten folgt. Die Nichtlokalität gibt uns Physikern noch immer einige Rätsel auf. So hat man durch statistische Messungen mit Hilfe der Bellschen Ungleichungen nachweisen können, dass die Nichtlokalität nicht etwa ein scheinbarer Effekt ist, der nur auf Unkenntnis der wahren Verhältnisse zurückzuführen ist, sondern zu realen Effekten, wie z.B. der Quantenteleportation, führt. Diese Arbeit untersucht die nichtlokalen Korrelationen in kaonischen Systemen in Lichte der zwei Gebiete, nämlich der Teilchen Physik und der Grundlagen der Quantenmechanik. Der erste Teil bringt eine Einführung in die neutralen Kaonen. Die Verletzung der CP- Symmetrie (charge, parity) ist für das Verständnis der Elementarteilchenphysik von entscheidender Bedeutung, insbesondere zur Erklärung des Materieüberschusses bei der Teilchen-Antiteilchen Erzeugung im frühen Universium. Durch das Experiment von Christensen, Cronin und Fitch (1964) [1] wissen wir, dass beim Zerfall der neutralen Kaonen die CP- Symmetrie verletzt wird und dies bedeutet, dass auf Grund des CPT Theorems auch die Zeitumkehr T verletzt ist. Weiters wird im ersten Teil auch der Regenerationseffekt der Kaonen abgeleitet. Im zweiten Teil werden die verschränkten Quantensysteme besprochen. Die Standard- Interpretation der Quantenmechanik geht davon aus, dass die quantenmechanische Beschreibung eines Systems im allgemeinen nur statistische Aussagen über einzelne Messungen ermöglicht. Im Jahre 1935 konstuierten Einstein, Podolsky und Rosen [2] unter gewissen Annahmen (insbesondere Lokalität) ein Beispiel, das die Existenz verborgener lokaler Parameter zeigen sollte; dieses Beispiel wird als EPR Paradoxon bezeichnet. 30 Jahre später zeigte Bell [3] in seiner berühmten Ungleichung für bestimmte Messwerte, dass die Annahmen des EPR Paradoxons im Widerspruch zur Quantenmechanik stehen. Diese Ungleichung wurde 1969 von Clauser, Horne, Shimony, und Holt (CHSH) [4] für reale Experimente angepasst. Neben der CHSH-Ungleichung gibt es zahlreiche weitere Ansätze zur Verletzung der Bellschen Ungleichung. Im folgenden werden die Ungleichungen für Zweiteilchensysteme vorgestellt; dies sind CH [5] (Clauser,Horne), Wigner [6], CHSH [4] und Eberhard [7] Ungleichungen. Der dritte Teil bringt die Verwendung der Bell Ungleichungen für neutrale Kaonensysteme. Wir haben die Bell Ungleichungen mit Regenerator durch den Vergleich zwischen dem lokalen Realismus und Quantenmechanik getestet [8]. Damit haben wir zwei spezielle Ungleichungen - CH und Eberhard - näher diskutiert [9, 10, 11]. Zum Schluss wurde ein Loophole für diese speziellen Ungleichungen überprüft [9]. Hatice Tataroglu, Wien 2009
Das Phänomen der Verschränkung hat eine grundlegende Bedeutung in der Quantenphysik. Mathematisch is Verschränkung definiert durch die Inseparabilität von Quantenzuständen, die verwendet werden um Quantenobjekte zu beschreiben. Zustände, die nicht separabel sind, werden verschränkt genannt. Diese können räumlich getrennte Objekte oder verschiedene Eigenschaften desselben Objektes sein, welche nur durch einen gemeinsamen mathematischen Zustandvektor beschrieben werden können. Für die einzelnen Objekte gibt es keine separable Beschreibung. Physikalisch äußert sich Verschränkung zum Beispiel in nichtlokalen Eigenschaften, die auch experimentell nachgewiesen werden können. Klassische, lokale Konzepte, wie z.B. die Bell-Ungleichungen, werden durch Voraussagen der Quantenmechanik und aufgrund von Verschränkung verletzt, was man auch experimentell nachweisen kann. Man kann zeigen, dass klassische Konzepte der Lokalität und Realität hinderlich sind für ein besseres Verständnis der Natur. Verschiedene Anwendungen der Verschränkungstheorie haben breite Forschungsfelder eröffnet, wie zum Beispiel Quanteninformations-Theorie und -Verarbeitung und Quantenkryptographie. Die (spezielle) Relativitätstheorie ist eine klassische Theorie, die die Transformationseigenschaften zwischen Inertialsystemen beschreibt, in welchen die Gesetze der Physik unverändert bleiben. Diese Diplomarbeit beschäftigt sich mit der Verbindung von Verschränkung und Relativitätstheorie, beziehungsweise, bietet eine Einleitung in beide Felder und die neueren Forschungsgegenstände der relativistischen Verschränkungstheorie. Frühere Arbeiten auf diesem Gebiet haben gezeigt, dass Verschränkung im Allgemeinen nicht Beobachter-unabhängig oder Lorentz-invariant ist, wenn verschiedene Partitionen des Hilbertraumes betrachtet werden. Dies wurde anhand von zwei verschränkten Spin-1/2 oder zwei verschränkten Spin-1 Teilchen für verschiedene Quantenzustände gezeigt. Weiters präsentiert diese Diplomarbeit auch ein neues Beispiel für drei verschränkte Spin-1 Teilchen. Ihre relativistischen Transformationseigenschaften werden im letzten Kapitel untersucht. Es wird ebenfalls die Detektion von Vielkörperverschränkung für verschiedene inertiale Beobachter 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.
Die quantenphysikalische Verschränkung beschreibt das Phänomen, dass zwei oder mehr Systeme trotz räumlicher Trennung stärkere Korrelationen aufweisen können als klassisch erklärbar ist. Verschränkung gilt als eine der kennzeichnenden Eigenschaften der Quantenphysik und kann als Grundbaustein zukünftiger Quanteninformationstechnologien angesehen werden. Die Betrachtung der transversal räumlichen Mode ermöglicht in photonischen Experimenten die Untersuchung verschiedenster, interessanter Eigenschaften des Lichts. Um die Natur der Quantenverschränkung weiter zu beleuchten, lag daher der Fokus der hier präsentierten Arbeit auf der photonischen Verschränkung räumlicher Moden. Eine der interessantesten Eigenschaften von Photonen in speziellen räumlichen Lichtmoden stellt ihr Bahndrehimpuls dar. überraschenderweise kann dieser beliebig groß werden, d.h. es gibt kein theoretisches Limit wie viele Drehimpulsquanten ein einzelnes Photon aufweisen kann. Der Bahndrehimpuls scheint somit eine Möglichkeit darzustellen, photonische Verschränkung mit makroskopische Größen zu untersuchen. Dies wiederum könnte zur Diskussionen etwaiger makroskopischer Quantenzustände und deren möglichen Obergrenzen beitragen. Zusätzlich geht die Erhöhung der Komplexität räumlicher Strukturen des öfteren mit weiteren interessanten und überraschenden Eigenschaften einher, z.B. die Fähigkeit der Selbstheilung oder freien Beschleunigung des Lichts. Die Untersuchung der Verschränkung räumlicher Strukturen verspricht demnach die Möglichkeit bisher ungekannte Effekte von verschränkten Photonenpaaren zu beobachten. Die hier vorliegende Arbeit beschreibt die Entwicklung neuer Methoden zur Erzeugung, Untersuchung und Verifizierung der Verschränkung komplexer, räumlicher Lichtmoden. Hierzu wurden drei Experimente durchgeführt, welche die Vielseitigkeit der entwickelten Ideen und Setups für zukünftige Quantenexperimente aufzeigen konnten. Zunächst entwickelten wir eine neuartige, äußerst flexible Methode zur Erzeugung von Verschränkung komplexer räumlicher Strukturen. Mit dieser Technik ist es gelungen zwei Photonen mit 300 Bahndrehimpulsquanten miteinander verschränken. Die Resultate übertreffen bisherige Ergebnisse um zwei Größenordnungen und stimmen nahezu perfekt mit den quantenphysikalischen Vorhersagen überein. Sie stellen zudem (meines Wissens nach) die höchste jemals verschränkte Quantenzahl dar und öffnen die Möglichkeit diese Zahl noch weiter zu steigern. Zusätzlich konnten wir zeigen, dass die Verschränkung hoher Bahndrehimpulsquanten vorteilhaft bei der nicht-lokalen Messung von Drehwinkel sein kann. In einem zweiten Experiment entwickelten wir ein flexibles und effizientes Verfahren zur hoch auflösenden Beobachtung räumlicher Strukturen von verschränkter Photonen. Hierzu bildeten wir mit Hilfe des Detektionssignals des ersten Photons und einer verstärkten CCD Kamera die transversale Struktur der dazugehörigen Partnerphotonen gezielt ab. Die erzeugten Koinzidenz-Aufnahmen wurden einerseits benutzt um Verschränkung nachzuweisen, andererseits um den Effekt der Verschränkung sogar in Echtzeit anschaulich werden zu lassen. In einem dritten Experiment konnte ein Zustand mit transversal variierender Polarisation erzeugt und dadurch die Komplexität des verschränkten Gesamtzustandes weiter erhöht werden. Dank der sehr hohen Gesamteffizienz des experimentellen Aufbaus, konnten sogenannte Vektorphotonen (Photonen bei denen die Polarisation in Abhängigkeit von der transversalen Position variiert) verschränkt und in bisher nicht gekannter Genauigkeit untersucht werden. Dies wiederum ermöglichte es uns die unterschiedlichen Stärken dreier Verschränkungsmaße experimentell aufzuzeigen. Darüber hinaus konnten wir eine ungekannte, überraschende Eigenschaft von Vektorphotonen demonstrieren: Vektorphotonen können mit ihren Partnerphotonen beides sein, verschränkt und nicht verschränkt in Polarisation, je nachdem an welcher transversalen Position sie vermessen werden.
In der vorliegenden Arbeit behandeln wir verschiedene Themen aus dem Gebiet der Quanteninformationstheorie. Die unterschiedlichen Ergebnisse sollen entweder die Anwendung theoretischer Konzepte auf reale Experimente erleichtern oder bei der weiterfuhrenden Arbeit an zentralen Fragen helfen. Im Detail werden folgende Punkte untersucht: Wir wenden uns als Erstes der Fragestellung zu, unter welchen Vorraussetzungen eine gegebene Menge an Erwartungswerten mit den ersten beiden Momenten der Spinoperatoren eines Zustandes von Gesamtspin j kompatible ist. Hierbei liegt das Hauptaugenmerk auf einer operationellen Beschreibung, so dass man direkt mit den Momenten arbeiten kann, anstatt den kompletten Dichteoperator zu verwenden. Wir zeigen, dass diese Charakterisierung physikalischer Momente zu dem Problem der Bose-symmetrischen Erweiterungen fur speziell bestimmte Zweiqubit Zustande aquivalent ist. Mittels dieser Umformulierung bestimmen wir operationelle Teil- und Ubermengen der exakten Menge, um somit auf einfache Art und Weise Momente identifizieren zu konnen, die sicher physikalisch sind, als auch andere, die eindeutig inkompatibel mit den Vorhersagen der Quantenmechanik sind. Diese approximative Losung gewinnt mit steigender Gesamtspinzahl j an Genauigkeit, und konvergiert im Limes gegen die exakte Losung. Im nachsten Abschnitt beschaftigen wir uns mit dem Konzept der Verschrankungszeugen; der gebrauchlichsten Methode zur Verschrankungsdetektion. Wir untersuchen, wie man die Qualitat eines linearen Verschrankungszeugen durch quadratische, nichtlineare Terme verbessen kann, so dass man mehr verschrankte Zustande auf einmal detektiert. Das betrachtete Verbessungsschema hat den Vorteil dass man es iterative benutzen kann. Dies liefert eine Abfolge von Verschrankungszeugen mit Nichtlinearitaten immer hoherer Ordnung, deren Starke in jedem Schritt zunimmt. Die entwickelte Iterationsmethode kann fur verschiedene Aufgaben verwendet werden und wir betrachten zwei ausgezeichnete Extremfalle: Entweder optimieren wir fur einen vorgegeben Zielzustand oder fur alle moglichen Zustande gleichmassig. Im restlichen Teil der Arbeit untersuchen wir verschiedene Moglichkeiten, wie man bereits vorhandene Ideen besser an reale Experimente anpasst. Hier sei angemerkt dass viele Anwendungen der Quanteninformationstheorie nur fur stark idealisierte Systeme vorgeschlagen und diskutiert wurden und somit nicht direkt fur das Experiment anwendbar sind. Dieser Punkt ist fur das Feld der Quantenschlusselverteilung von besonderer Bedeutung, da man die vorbehaltslose Sicherheit eines realen, durch ein Experiment generierten Schlussels zeigen mochte und nicht nur fur die einer idealisierten Version davon. Mit diesem Ziel im Hinterkopf untersuchen wir zuerst die theoretische Idee des Squash Modells. Dieses bietet einen eleganten Ausrechentrick', der es erlaubt, die Sicherheitsanalyse eines idealisierten Quantenschlusselverteilungsprotokolls direkt fur das reale Experiment zu verwenden. Wir entwickeln einen Formalismus zur Prufung dieses Squash Modells fur einen gegebenen Messaufbau und betrachten relevante Messschemen mit und ohne dieser Eigenschaft. Im Gegensatz zu diesem theoretischen Modell behandlen wir auch eine experimentelle Moglichkeit, die es uns erlaubt, die Sicherheitsanalyse des idealisierten Systems direkt fur das reale Experiment zu verwenden. Dazu benutzen wir die Idee, dass man durch die Kombination eines variablen Strahlteilers mit einem einfachen Click/No-Click' Detektor, die Statistik von photonauflosenden Detektoren erhalten kann. Durch diese Hardwareanderung ist es moglich, die sicherheitsrelevanten Parameter direkt abzuschatzen. Diese Methode bietet somit auch einen Weg, die Sicherheit eines realen Quantenschlusselverteilungsexperiments zu beweisen, fur das die theoretische Squash Modell Idee nicht funktioniert. Als Ergebnis erhalt man unter anderem einen neuen Distanzrekord fur ein reales Quantenschlusselverteilungsexperiment mit derzeitiger Technologie. Als letzten Punkt betrachten wir das Problem der experimentellen Verschrankungsverifizierung. Bei dieser Verifizierung hat man oftmals ein Praktikabilitatsproblem, weil man---ob verschiedener Grunde---meistens nur ein sehr vereinfachtes Modell fur die verwendenten Messapparate benutzt. Wir zeigen, dass man in diesem Fall der Fehlinterpretation der beobachteten Messausgange durchaus Fehler machen kann, allerdings untersuchen wir in erster Linie Bedingungen, unter denen ein falschlicher Verschrankungsnachweis ausgeschlossen werden kann. Zu diesem Zweck verwenden wir ein dem Squash Modell ahnliches, aber weniger restriktives Konzept. Eine interessante Anwendung liefern die ublicherweise mittels Tomographie durchgefuhrten Verschrankungstests, die man typischerweise fur parametrische Fluoreszenz Quellen oder fur photonische Mehrparteienexperimente verwendet. Wir zeigen, dass diese sehr einfach fehlerfrei gemacht werden konnen.
Das Ziel dieser Doktorarbeit ist die Untersuchung der unbestimmten Kausalstrukturen, die mit der Quantenmechanik kompatibel sind, mithilfe eines auf Quanteninformation basierendem Ansatzes. Es ist zu erwarten, dass in Bereichen wo Quantenmechanik und die allgemeine Relativitatstheorie relevant sind, die kausale Beziehung zwischen Ereignisse unbestimmt wird. Ein Beispiel fur solch unbestimmte Kausalstrukturen ist der sogenannte gravitative Quantenswitch, wo die kausale Abfolge zweier Ereignisse durch die raumliche superposition eines massiven Gegenstandes kontrolliert wird. Der Prozessmatrizenformalismus ist ein allgemeines Modell zur Beschreibung von Situationen, in denen die kausale Ordnung zwischen Quantenereignisse unbestimmt ist. Dieser Formalismus enthalt Prozesse, die bisher keine physikalische Interpretation haben und die, wenn sie existierten, sogenannte kausale Ungleichungen verletzen konnten.
Ein Aspekt dieser Arbeit ist die Untersuchung der informationstheorischen Eigenschaften von Prozessen mit unbestimmter Kausalitat, vor allem der Quantenkontrolle von kausaler Ordnung — wie es beim Quantenswitch der Fall ist. Wir zeigen wie, im Kontex von verteilter Berechnung, der Quantenswitch Vorteile im Vergleich zu einfachgerichteter Quantenkommunikation mit bestimmter kausaler Ordnung erbringen kann.
Genauer gesagt, wir definieren eine dreigeteilte Kommunikationsaufgabe fur welche die Quantenswitch exponentielle Reduktion an benotigten Qubits aufweist. Auserdem untersuchen wir Behauptungen, dass der Quantenswitch verbesserte Kommunikation durch verrauschten Kanalen ermoglicht. Wir stellen fest, dass diese Verbesserung jedoch nicht auf die unbestimmte kausale Ordnung zuruckzufuhren ist, sondern auf die Fahigkeit die Anwendung der Kanale koharent zu kontrollieren.
Der zweite Teil dieser Arbeit befasst sich mit der Frage nach der Realisierbarkeit von Prozessen mit unbestimmter Kausalitat. Angetrieben durch den Mangel an physikalischer Interpretation fur viele interessante Prozesse, entwickeln wir das Konzept des kausalen Bezugsystems. Dadurch konnen wir eine bestimmte Klasse von Prozessen — reine Prozesse — vom Standpunk eines der beteiligten Beobachter beschreiben. Dabei stellt sich heraus, dass fur einen in Ereignis A lokalisierten Beobachter, das Ereignis eines anderen Beobachters B generell zeitlich delokalisiert erscheint. Wir untersuchen die kausalen Bezugsysteme interessanter Prozessen mit unbestimmten Kausalstruktur, und machen dadurch einige Fortschritte auf dem Wege zum Verstandnis vom Unterschied zwischen solchen Prozessen und dem besser verstandenen Quantenswitch. Ein letzter Aspekt, den wir in dieser Arbeit betrachten, ist wie man aus bekannten Prozessen neuen machen kann — Kompositionsregeln. Wir beweisen, dass es keine parallele Kompositionsregel fur allgemeine Prozessmatrizen gibt, die einige vernunftig anmutende Axiome erfullt.