Die experimentelle Untersuchung des erstaunlichsten Phänomens, das von der Quantentheorie hervorgebracht wurde, ist seit vielen Jahren ein sehr umtriebiges Feld. Die Erforschung von Verschränkung hat nicht nur zu einer deutlichen Steigerung unseres Verständnisses der fundamentalen Vorgänge im Mikrokosmos beigetragen, sondern hat auch gezeigt, dass dieses Phänomen für technische Anwendungen gebraucht werden kann. Vor allem die Quantenkommunikation wird von vielen Physikern als das vielversprechendste Gebiet in der Quantentechnologie angesehen. Die vorliegende Arbeit setzt sich zum Ziel, einen signifikanten Beitrag zur Forschung an Quantenkommunikation zu leisten. Nach einer kurzen Einführung und der Behandlung einiger relevanter theoretischer Konzepte wird im zweiten Teil eine neue Messmethode vorgestellt, die den Nachweis hochdimensionaler Verschränkung von sogenannten Laguerre-Gauss Moden deutlich verbessert. Der zweite experimentelle Teil der vorliegenden Arbeit soll den Nachweis eines großen Vorteils erbringen, welche hochdimensionale Systeme (qudits) gegenüber zwei-level Systemen (qubits) zeigen. Es ist eine wohlbekannte Tatsache - zumindest in der Theorie – dass verschänkte qudits signifikant resistenter gegenüber Hintergrundrauschen sind als qubits. Diese Abhandlung setzt sich deshalb auch zum Ziel zu zeigen, dass die räumliche Struktur von Licht ein vielversprechender Kandidat für die Rolle als Informationsträger zukünftiger Kommunikationsprotokolle ist.
Die experimentelle Untersuchung des erstaunlichsten Phänomens, das von der Quantentheorie hervorgebracht wurde, ist seit vielen Jahren ein sehr umtriebiges Feld. Die Erforschung von Verschränkung hat nicht nur zu einer deutlichen Steigerung unseres Verständnisses der fundamentalen Vorgänge im Mikrokosmos beigetragen, sondern hat auch gezeigt, dass dieses Phänomen für technische Anwendungen gebraucht werden kann. Vor allem die Quantenkommunikation wird von vielen Physikern als das vielversprechendste Gebiet in der Quantentechnologie angesehen. Die vorliegende Arbeit setzt sich zum Ziel, einen signifikanten Beitrag zur Forschung an Quantenkommunikation zu leisten. Nach einer kurzen Einführung und der Behandlung einiger relevanter theoretischer Konzepte wird im zweiten Teil eine neue Messmethode vorgestellt, die den Nachweis hochdimensionaler Verschränkung von sogenannten Laguerre-Gauss Moden deutlich verbessert. Der zweite experimentelle Teil der vorliegenden Arbeit soll den Nachweis eines großen Vorteils erbringen, welche hochdimensionale Systeme (qudits) gegenüber zwei-level Systemen (qubits) zeigen. Es ist eine wohlbekannte Tatsache - zumindest in der Theorie – dass verschänkte qudits signifikant resistenter gegenüber Hintergrundrauschen sind als qubits. Diese Abhandlung setzt sich deshalb auch zum Ziel zu zeigen, dass die räumliche Struktur von Licht ein vielversprechender Kandidat für die Rolle als Informationsträger zukünftiger Kommunikationsprotokolle ist.
Das quantenphysikalische Phänomen der Verschränkung beschreibt Korrelationen zwischen quantenphysikalischen Systemen welche mit klassisch-physikalischen Theorien nicht erklärbar sind. Diese Verschränkung wurde experimentell bereits in komplexen Systemen mit bis zu 14 Ionen in zwei Dimensionen, oder auch zwischen zwei Photonen in mehr als 100 Dimensionen nachgewiesen. Allerdings gibt es bis heute keinen experimentellen Nachweis von Verschränkung in einem System zwischen mehr als zwei Objekten und gleichzeitig in mehr als 2 Dimensionen. Die vorliegende Arbeit hat daher zum Ziel, Verschränkung in einem derartig komplexen System zum ersten Mal experimentell nachzuweisen. Genauer gesagt sollen drei Photonen derart miteinander verschränkt werden, dass zwei Photonen in einem drei-dimensionalen Zustandsraum existieren, während das dritte in einem zwei-dimensionalen Zustandsraum verbleibt. Um solch einen Zustand experimentell erzeugen zu können, wurden neuartige Techniken wie z.B. ein Hong-Ou-Mandel (HOM) Effekt im Drehimpuls-Freiheitsgrad von Photonen (OAM) oder auch ein hochdimensionaler Router (HDR) für Quantenzustände entwickelt. Die geschickte Kombination dieser Elemente in Form eines OAM-HOM Effektes direkt am HDR erlaubt es letztlich, die Verschränkung von mehreren Photonen in mehreren Dimensionen zu erzeugen. Experimentell wurde ein Interferenzkontrast des OAM-HOM Effekts von mehr als 90 Prozent erreicht, was auf die gute technische Beherrschbarkeit des Drehimpuls-Freiheitsgrades der Photonen zurückzuführen ist. Die Langzeitstabilität des HDR von mehr als 35 Stunden bei konstant hoher Routing-Qualität demonstriert die Einsatztauglichkeit dieses Elements in Viel-Photon-Experimenten. Letztlich wurde der hochdimensionale Viel-Photon-Quantenzustand mit einem Überlapp von mehr als 80 Prozent zum theoretischen Idealzustand bestätigt. Dieses Ergebnis konnte mit Hilfe eines Verschränkungszeugen mit einer statistischen Sicherheit von 7 Standardabweichungen belegt werden. Die vorgelegten experimentellen Ergebnisse zeigen deutlich, dass der Drehimpuls von Photonen auch zur Realisierung von Quantensystemen mit noch komplexerer Verschränkung geeignet ist.
Photonen, die Quanten des Lichts, können sehr komplexe räumliche Strukturen einnehmen, wenn sie frei propagieren. Diese Strukturen werden durch räumliche Moden beschrieben, und ergeben einen unendlich-dimensionalen, diskreten Hilbert-Raum. Eine interessante Eigenschaft von Photonen in diesen Lichtstrukturen ist, dass sie einen quantisierte Einheit von Drehimpuls tragen können welcher -- zumindest theoretisch -- nach oben hin unbeschränkt ist. Dieser unbeschränkte Zustandsraum lässt im Prinzip Informationskodierung mit einem groß en Alphabet zu, das Informationsdichten von mehr als einem Bit pro Photon ermöglicht. Diese Eigenschaft ist natürlich in der klassischen Kommunikation interessant, wo sie bereits benützt wird um Datenraten von mehr als 100 Tbit/sec zu erreichen. Speziell in quantenphysikalischen Situationen lässt es auch sehr interessante Möglichkeiten zu, wie zum Beispiel hochdimensionale Verschränkung. Zwei Systeme sind verschränkt, wenn sie gemeinsam eine von mehreren Eigenschaften annehmen können (wie zum Beispiel die Polarisation von Photonen), diese Eigenschaft aber vor der Messung noch nicht realisiert ist. Erst durch die Messung von einem der Systeme wird eine Eigenschaft realisiert (zum Beispiel, dass das Photon horizontale Polarisation hat), und weil es eine gemeinsame Eigenschaft des Photonen-Paars ist, nimmt auch das zweite Photon diese Eigenschaft an -- egal wie weit es entfernt ist. Hochdimensionale Verschränkung bedeutet, dass die Photonen eine von vielen Eigenschaften gemeinsame einnehmen könnten. Aber erst durch die Messung wird eine dieser Einstellungen realisiert -- und im gleichen Augenblick nimmt das Partner-Photon diese Eigenschaft an. Das zeigt, dass zwei Photonen gemeinsam über groß e Distanzen hinweg auf eine nicht-lokale/nicht-reale Weise viel Information tragen können. In dieser Arbeit habe ich mich mit räumlichen Strukturen von Photonen und ihren quantenphysikalischen Eigenschaften beschäftigt -- in groß en Hilbert-Räumen als auch in groß en realen Räumen. Im ersten Experiment wird untersucht, in wie vielen Dimensionen man zwei Photonen verschränken kann. Wir konnten Photonenpaare erzeugen, die in über 100 Dimensionen verschränkt sind -- und haben diese in einer Serie von insgesamt 200.000 Messungen auch nachweisen können. Der entsprechende Hilbert Raum ist vergleichbar mit zwei-dimensionaler Verschränkung von etwa 13 Teilchen. Das zeigt ein riesiges Potential für die Umsetzung von Quantenkommunikations-Experimenten mit bereits vorhandenen Technologien. Aufbauend darauf haben wir uns gefragt, ob Photonen in diesen Lichtstrukturen auch über Distanzen übertragen werden können, die größ er sind als typische optische Tische im Labor -- was natürlich für realistische Quantenkommunikations-Experimente notwendig ist. Diese Frage wurde bis zu dem Zeitpunkt nur in theoretischen Modellierungen und numerischen "Experimenten" untersucht -- mit durchaus kritischen Resultaten. Da es aber noch keine experimentellen Untersuchungen gab, noch nicht einmal für klassische Laser mit räumlichen Strukturen, haben wir über einen 3 Kilometer langen Kommunikationslink -- durch die Stadt Wien -- einen ersten Test gemacht. Dieser erste Test zeigte (für uns unerwartet) gute Resultate, sodass wir in einem Nachfolgeexperiment auf dem gleichen 3 Kilometer Link auch verschränkte Photonen in räumlichen Strukturen übertragen haben. Wir konnten die Eigenschaft der Verschränkung tatsächlich nachweisen, was bedeutet dass die räumliche Struktur von Einzelphotonen durch die Atmosphäre nicht zu stark beeinflusst wird. Um die Limits weiter auszuschöpfen, haben wir ein klassisches Experiment zwischen zwei kanarischen Inseln über 143 Kilometer durchgeführt, und die übertragenen Strukturen konnten immer noch erkannt werden. In einer weiteren Arbeit wollten wir das Potential von hochdimensionaler Verschränkung auf mehrere Teilchen erweitern, um neue Effekte in hoch-dimensionaler Vielteilchen-Verschränkung zu untersuchen. Dabei stieß en wir gleich auf das folgende praktische Problem: Uns war nicht klar, wie der dementsprechenden experimentelle Aufbau aussehen sollte, der solche Zustände erzeugen kann. Das Problem habe ich gelöst durch einen Computeralgorithmus (den wir Melvin nennen) der automatisch Implementationen von Experimenten finden kann. Mehrere dieser computer-designten Experimente wurden in unseren Labors bereits erfolgreich umgesetzt, andere werden im Moment gebaut. Diese daraus resultierenden Experimente erlauben die Untersuchung von Zuständen im Labor, die man sonst nur auf Papier analysieren kann. Die computer-designten Experimente sind sehr kontraintuitiv, und schwierig zu verstehen -- sie beinhalten aber auch Techniken an die wir normalerweise nicht denken würden. Ein solcher technische Trick hat uns zur Entdeckung einer neuen Art von sehr allgemeiner Verschränkungserzeugung inspiriert, und ist (für mich) ein Beispiel von erfolgreicher Mensch-Maschine Synergie. Im letzten Kapitel habe ich neun Folgefragen und -Projekte aufgelistet, deren Lösung ich besonders spannend finden würde.
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.
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.
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.