Operational tools for moment characterization, entanglement verification and quantum key distribution
Tobias Moroder
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.
•Jan 1, 2009•0 citations