Die vorliegende Arbeit beschäftigt sich zunächst mit dem Ausbau der Hartree-Fock-Bogoliubov Theorie (HFB-Theorie), bzw. mit der Frage nach deren Exaktheit. Es werden sowohl fermionische als auch bosonische Vielteilchensysteme betrachtet, wobei auf eine möglichst analoge Behandlung der beiden Statistiken Wert gelegt wurde. Eine zentrale Rolle für die jeweiligen Variationsprinzipien spielen in beiden Fällen die sogenannten quasi-freien Zustände, die durch das Verschwinden ihrer höheren trunkierten Korrelationen charakterisiert sind. Dieses letzte Phänomen untersuchen wir im bosonischen Fall im Detail. Durch die Übertragung des von Bach, Lieb und Solovej erbrachten Beweises der 1:1-Relation zwischen verallgemeinerten Dichtematrizen und quasi-freien Zuständen vom fermionischen in den bosonischen Kontext, können wir die Variationsprinzipien auf den konvexen Mengen der verallgemeinerten Dichtematrizen formulieren. Wir erhalten auf diese Weise einen deutlich einfacheren und konstruktiveren Beweis als beispielsweise den bereits bekannten Beweis der 1:1-Relation von Araki. Außerdem verallgemeinern wir auf den Fall nichtverschwindender Einpunktsfunktionen. Parallel entwickeln wir für beide Statistiken die mächtige Methode der kohärenten Zustände, wobei auch hier auf eine möglichst analoge Behandlung der beiden Fälle Wert gelegt wird. Dieser Teil der Arbeit kulminiert in der Berechnung des generierenden Funktionals von Gibbszuständen allgemeiner quadratischer Operatoren, die die Teilchenzahl möglicherweise nicht erhalten. Im bosonischen Fall können wir dieses Resultat benutzen, um die Quasi-Freiheit dieser Zustände zu zeigen. Wir beschäftigen uns dann mit der Behandlung wechselwirkender Vielteilchensysteme mit periodischen Randbedingungen. Hierbei betrachten wir Wechselwirkungen, die ähnlich wie das Coulomb Potential, als gewichtetes Mittel eines Produktes von lokalisierten Funktionen geschrieben werden können. Anders als etwa Fefferman und de la Llave oder Hainzel und Seiringer, nehmen wir als Lokalisierungsfunktionen periodifizierte Gaußfunktionen. Schließlich beschäftigen wir uns mit der Frage, wie der Approximationsfehler der HFB-Theorie zu kontrollieren sei. Eine wichtige Rolle spielen hierbei die sogenannten Korrelationsungleichungen, die es erlauben Erwartungswerte in quartischen Ausdrücken in den Teilchenvernichtern und Erzeugern möglichst ausschließlich durch quadratische solche abzuschätzen. Im fermionischen Fall stellt sich heraus, dass insbesondere normalgeordnete quartische Ausdrücke zu kontrollieren sind. Wir leiten eine entsprechende Korrelationsungleichung her, die allgemeiner als die von Bach sowie von Graf und Solovej verwendete ist, und benützen diese um die Grundzustandsenergie des fermionischen Jellium Modells nach unten abzuschätzen. Wir erhalten hierbei ein ähnliches Resultat wie das bereits bekannte. Im bosonischen Fall gelingt es lediglich eine Korrelationsungleichung herzuleiten, auf deren rechter Seite auch quartische Erwartungswerte des Typs des Quadrates des Teilchenzahloperators vorkommen. Dies überrascht jedoch nicht.
Die vorliegende Arbeit beschäftigt sich zunächst mit dem Ausbau der Hartree-Fock-Bogoliubov Theorie (HFB-Theorie), bzw. mit der Frage nach deren Exaktheit. Es werden sowohl fermionische als auch bosonische Vielteilchensysteme betrachtet, wobei auf eine möglichst analoge Behandlung der beiden Statistiken Wert gelegt wurde. Eine zentrale Rolle für die jeweiligen Variationsprinzipien spielen in beiden Fällen die sogenannten quasi-freien Zustände, die durch das Verschwinden ihrer höheren trunkierten Korrelationen charakterisiert sind. Dieses letzte Phänomen untersuchen wir im bosonischen Fall im Detail. Durch die Übertragung des von Bach, Lieb und Solovej erbrachten Beweises der 1:1-Relation zwischen verallgemeinerten Dichtematrizen und quasi-freien Zuständen vom fermionischen in den bosonischen Kontext, können wir die Variationsprinzipien auf den konvexen Mengen der verallgemeinerten Dichtematrizen formulieren. Wir erhalten auf diese Weise einen deutlich einfacheren und konstruktiveren Beweis als beispielsweise den bereits bekannten Beweis der 1:1-Relation von Araki. Außerdem verallgemeinern wir auf den Fall nichtverschwindender Einpunktsfunktionen. Parallel entwickeln wir für beide Statistiken die mächtige Methode der kohärenten Zustände, wobei auch hier auf eine möglichst analoge Behandlung der beiden Fälle Wert gelegt wird. Dieser Teil der Arbeit kulminiert in der Berechnung des generierenden Funktionals von Gibbszuständen allgemeiner quadratischer Operatoren, die die Teilchenzahl möglicherweise nicht erhalten. Im bosonischen Fall können wir dieses Resultat benutzen, um die Quasi-Freiheit dieser Zustände zu zeigen. Wir beschäftigen uns dann mit der Behandlung wechselwirkender Vielteilchensysteme mit periodischen Randbedingungen. Hierbei betrachten wir Wechselwirkungen, die ähnlich wie das Coulomb Potential, als gewichtetes Mittel eines Produktes von lokalisierten Funktionen geschrieben werden können. Anders als etwa Fefferman und de la Llave oder Hainzel und Seiringer, nehmen wir als Lokalisierungsfunktionen periodifizierte Gaußfunktionen. Schließlich beschäftigen wir uns mit der Frage, wie der Approximationsfehler der HFB-Theorie zu kontrollieren sei. Eine wichtige Rolle spielen hierbei die sogenannten Korrelationsungleichungen, die es erlauben Erwartungswerte in quartischen Ausdrücken in den Teilchenvernichtern und Erzeugern möglichst ausschließlich durch quadratische solche abzuschätzen. Im fermionischen Fall stellt sich heraus, dass insbesondere normalgeordnete quartische Ausdrücke zu kontrollieren sind. Wir leiten eine entsprechende Korrelationsungleichung her, die allgemeiner als die von Bach sowie von Graf und Solovej verwendete ist, und benützen diese um die Grundzustandsenergie des fermionischen Jellium Modells nach unten abzuschätzen. Wir erhalten hierbei ein ähnliches Resultat wie das bereits bekannte. Im bosonischen Fall gelingt es lediglich eine Korrelationsungleichung herzuleiten, auf deren rechter Seite auch quartische Erwartungswerte des Typs des Quadrates des Teilchenzahloperators vorkommen. Dies überrascht jedoch nicht.
In der vorliegenden Arbeit werden mehrere Klassen quantenmechanischer Vielteilchensysteme im Formalismus der zweiten Quantisierung aus dem Blickpunkt von Symmetrien sowohl numerisch als auch analytisch untersucht. Um die numerischen Berechnungen durchführen zu können, wurde ein Computerprogramm mit Namen "ArbModel" mit den entsprechenden Fähigkeiten entwickelt. Hierbei wurde großen Wert auf Allgemeinheit gelegt, so dass Hamiltonians zu einer sehr großen Anzahl unterschiedlichster Modelle aufgestellt und diagonalisiert werden können. Alle Ideen, die für die Programmierung eines derartigen Programms notwendig sind, wurden erklärt und in dem numerischen Code verwirklicht. Mit diesem Programm zur Verfügung wurden Vielteilchensysteme, welche lediglich aus identischen Teilchen bestehen, im Allgemeinen untersucht. Es wurden allgemeine Bedingungen für das Vorhandensein einer dynamischen Symmetrie hergeleitet. Bedingungen für die schwächere Forderung nach der Erhaltung der sog. Senioritätsquantenzahl wurden ebenfalls im Detail untersucht. Obwohl derartige Untersuchungen in der Vergangenheit bereits stattgefunden haben, konnten neue Fälle gefunden und neue Bedingungen aufgestellt werden. Als überraschendes Ergebnis wurden Beispiele entdeckt, für welche die Seniorität im Allgemeinen gebrochen, für ein paar spezifische Zustände jedoch erhalten ist. Diese Zustände sind lösbar und entsprechende Formeln für ihre Anregungsenergien wurden angegeben. Alle analytischen Ergebnisse wurden mit "ArbModel" überprüft. Als weitere Anwendungen für den numerischen Code wurden die Vorhersagen einer sehr neuen Theorie, welche Quantenphasenübergänge mit sog. Verzweigungspunkten in Verbindung bringt, verifiziert. Hierfür wurde das sd-Interacting-Boson-Model 1 (sd-IBM1) mit einer sehr hohen Teilchenzahl verwendet. Außerdem wurde eine bestimmte dynamische Symmetrie des Interacting-Boson-Fermion-Models untersucht. Verzweigungsregeln für diese Bose-Fermi-Symmetrie wurden aufgestellt, sowie Auswahlregeln für M1-Übergänge abgeleitet. Auch hier verifiziert der numerische Code alle analytischen Ergebnisse. Da "ArbModel" alle analytischen Ergebnisse dieser Arbeit reproduziert, wurde somit auch der Beweis für Korrektheit dieses Programms gegeben.
Die vorliegende Arbeit befasst sich mit dem Einfluss der Wechselwirkung zwischen extrem kalten Bosonen, die in einem optischem Gitter gehalten werden, auf des Streusignal eines Teilchens, welches als Sonde fungiert. Die Bosonen im Gitter werden durch das Bose-Hubbard-Modell beschrieben. Ausgangspunkt für unsere Untersuchungen ist ein allgemeiner Ausdruck für den Streuquerschnitt des Teilchens, der für beliebige Wechselwirkungsstärken gültig ist. Generell erfordert die Bestimmung der Streueigenschaften die numerische Diagonalisierung des Hamilton- Operators, welcher die Bosonen beschreibt. Um eine analytische Beschreibung des Problems zu erhalten, machen wir von verschiedenen Näherungen Gebrauch, die für unterschiedliche Stärken der Wechselwirkung gültig sind. Numerische Simulationen zeigen, daß sich die Wechselwirkungsstärke im inelastischen Streuquerschnitt offenbart, welcher mit zunehmender Wechselwirkungsenergie abnimmt. Im Regime schwacher Wechselwirkungen können die Bosonen im Gitter durch eine makroskopisch besetzte Wellenfunktion – dem sogenannten Kondensat – beschrieben werden, vorausgesetzt die Zahl der Bosonen, die sich nicht im Kondensat befinden, ist klein im Vergleich zu ihrer Gesamtzahl. In der Bogoliubov-Näherung wird der Hamilton-Operator der Bosonen im Gitter durch eine klassische Hamilton-Funktion ersetzt, und Quantenfluktuationen um das klassische Feld (welches das Kondensat beschreibt) werden als Störung betrachtet. Dies erlaubt die analytische Bestimmung des Streuquerschnitts, der aufgrund der Anregung von Dichtefluktuationen einen nichtverschwindenden inelastischen Anteil aufweist. Wir zeigen, daß dieser für kleine Werte der Wechselwirkung linear abnimmt. Dieser lineare Zerfall ist universell insofern, als seine Steigung unabhängig von der bosonischen Dichte und der Größe des Gitters ist. Im Falle starker repulsiver Wechselwirkungen wird ein Quantenphasenübergang der Bosonen von einem superfluiden in einen isolierenden Zustand erwartet. In diesem Regime lässt sich das System störungstheoretisch behandeln, wobei der Wechselwirkungsterm im Hamilton-Operator der Bosonen im Gitter als Operator des ungestörten Systems betrachtet wird, und die kinetische Energie in Form des quantenmechanischen Tunnelns der Teilchen als Störung. Große Wechselwirkungsstärken führen zu einer Unterdrückung von Dichtefluktuationen – aufgrund der Abstoßung, welche die Lokalisierung der Atome energetisch favorisiert – und damit zur Abnahme des inelastischen Streusignals. Wir leiten eine Näherung für den inelastischen Streuquerschnitt in niedrigster Ordnung in der Tunnelstärke her. Im Gegensatz zum schwach wechselwirkenden Regime zerfällt das Streusignal hier quadratisch als Funktion der Wechselwirkung. Insbesondere ist in dieser Ordnung der Näherung keine qualitative änderung des Zerfalls am erwarteten Punkt des Quantenphasenübergangs zu beobachten. Um die Genauigkeit unserer Näherungen zu prüfen und ihre Aussagekraft zu untermauern, führen wir in sämtlichen Fällen numerische Simulationen des exakten Streuproblems durch und vergleichen die erhaltenen Daten mit den Näherungsformeln. So können wir zeigen, daß die von uns hergeleitete analytische Beschreibung innerhalb der jeweiligen Grenzen ihrer Gültigkeit die numerisch erhaltenen Daten zu reproduzieren vermag. Entsprechend diskutieren und erläutern wir Abweichungen, die auftreten, wenn diese Grenzen überschritten werden.
Die Konstruktion vollständig symmetrischer bzw. vollständig antisymmetrischer Zustände durch Superposition von Viel-Teilchen-Zuständen, bei denen formal zwischen — an sich ununterscheidbaren — identischen Teilchen unterschieden wird, ist einerseits konzeptionell unbefriedigend und andererseits auch umständlich. Es gibt jedoch auch eine Darstellung ohne dieses Manko. Bei dieser wird das System identischer Teilchen nicht mehr durch Permutationen konkreter, aus Ein-Teilchen-Zuständen aufgebauter Viel-Teilchen-Zustände beschrieben, sondern es wird nur noch angegeben, mit wievielen Teilchen jeder mögliche Ein-Teilchen-Zustand besetzt ist. Es wird sich zeigen, daß die derart charakterisierten Zustände durch die sukzessive Einwirkung von Erzeugungs-operatoren auf einen Vakuumzustand erzeugt werden können. Wir beschränken unsere Beschäftigung mit dieser Darstellung zunächst auf den Fall, daß die Ein-Teilchen-Zustände der betrachteten identischen Teilchen vollständig durch die Eigenzustände eines Operators mit diskretem Spektrum beschrieben werden können. Wie die dabei erzielten Ergebnisse auf den Fall eines kontinuierlichen Spektrums übertragen werden können, ist evident und wird bei der Einführung von Feldoperatoren demonstriert.
Im ersten Abschnitt dieser Arbeit versuchen wir, die algebraische Struktur, welche im Rahmen der dissipativen Quantenmechanik unter Verwendung des Influenzfunktionals auftritt, herauszuarbeiten. Dies erlaubt uns einen tieferen Einblick in ansonsten unübersichtliche und langwierige Rechenschritte, speziell im Realzeitformalismus, und ermöglicht uns eine leichtere Identifikation der dabei auftretenden Terme und deren Ursprung aus dem zugrunde liegenden Modell als auch deren physikalische Bedeutung. Die verwendeten Methoden haben wir soweit als möglich in konsistenter und anschaulicher Form eingeführt, so dass diese Arbeit ohne spezielle Kenntnis des Gebietes der dissipativen Quantenmechanik gelesen werden kann. Besonderen Wert haben wir auf den Übergang von der quantenmechanischen auf die klassische Beschreibung von dissipativen Vorgängen gelegt, da ein Verständnis dieses Übergangs eine tiefere Einsicht in den Messprozess liefert. In der selben Weise ist damit auch der Übergang von der mikroskopischen - durch die Quantenmechanik beschriebenen - Welt in die makroskopische Welt verbunden, welche den Gesetzen der klassischen Mechanik folgt. Zusätzlich zeigen wir, wie die Resultate der Influenzfunktionalmethode stochastisch interpretiert werden können, was einen leichteren Vergleich mit der bekannten quantenmechanischen Zeitentwicklung durch die Schrödingergleichung erlaubt. Im weiteren betrachten wir die sogenannte Tight-Binding Näherung von Modellen, bei welchen sich der Hamiltonraum für die Systembeschreibung im wesentlichen durch diskrete Eigenzustände des Ortsoperators ausdrücken lässt und Übergänge zwischen diesen Zuständen unterdrückt sind, wodurch eine Propagation entweder durch ein Tunneln oder durch thermische Anregung erfolgt. Im Rahmen der dissipativen Quantenmechanik bringt diese Methode eine immense Vereinfachung in der effektiven Beschreibung des Systems, da Anstelle einer ganzen Historie von Systempfaden nur noch die Übergangszeiten mit den entsprechenden Übergängen berücksichtigt werden müssen. Im Bild des Pfadintegralformalismus bedeutet dies, dass Anstelle des Integrals über alle Systempfade ein Produkt von Integrationen über alle möglichen Sprungzeiten mit Sprunggewichten entsprechend des Übergangs rückt, welches analytisch als auch numerisch wesentlich einfacher handzuhaben ist. Innerhalb dieser Näherung wurden dadurch in der Vergangenheit viele beeindruckende analytische Resultate abgeleitet. Darüber hinaus beschäftigen wir uns mit der Abbildung und dem Zusammenhang von dissipativen Modellen mit Feldmodellen aus der Quantenfeldtheorie und im besonderen der Feldtheorie statistischer Systeme. Der Reiz dieser Abbildungen liegt besonders darin, dass in den letztgenannten Gebieten schon seit Jahrzehnten sehr intensiv die grundlegenden Modelle bearbeitet wurden und vor allem auch nach neuen Methoden gesucht und Forschung dafür betrieben wurde und noch immer Gegenstand der aktuellen Forschung darstellt. Als Beispiel sei in zwei Dimensionen die Invarianz unter konformen Abbildungen genannt, welche immer dann Anwendung findet, wenn Systeme nur lokal wechselwirken und eine Invarianz unter lokaler Umskalierung der Felder zeigen. Bei statistischen Systemen mit lokaler Wechselwirkung zeigt sich dieses Verhalten immer beim Erreichen eines kritischen Punktes, da hier per Definition keine Längenskala ausgezeichnet ist. In zwei Dimensionen führt dies zu einer immensen Einschränkung der möglichen Form von Korrelationsfunktionen und hat zu dem eigenständigen Gebiet der Konformen Feldtheorie geführt, da konforme Abbildungen per Definition die lokale Struktur erhalten (Winkeltreue) und lokal nur zu einer Unskalierung führen. Während in D>2 Dimensionen nur endlich viele Generatoren für konforme Abbildungen existieren, ist deren Anzahl in 2 Dimensionen unendlich. Dies resultiert in einer unendlichen Anzahl von lokalen Erhaltungsgrößen mit den entsprechenden Folgen. Während solche Techniken sehr schnell unanschaulich werden, erlaubt die Abbildung auf dissipative Modelle hier oftmals eine sehr anschauliche Interpretation.
Die Analyse der Quantendynamik von Mehrteilchenzuständen in Quantenfeldtheorien ist, über ihre allgemeine Relevanz hinaus, grundlegend für bestimmte Systemklassen wie schwarze Löcher und andere saturierte Zustände. Die Erforschung der Physik schwarzer Löcher hat jüngst zur Identifizierung einer neuen Klasse von Zuständen in nicht-gravitativen Quantenfeldtheorien geführt, der sogenannten Saturonen. Diese sind durch die Sättigung der Grenze für eine maximale quantenfeldtheoretische Mikrozustandsentropie gekennzeichnet. Zahlreiche Beispiele zeigen, dass Saturonen Eigenschaften besitzen, die schwarzen Löchern vollständig analog sind. Im ersten Teil dieser Arbeit untersuchen wir ein 1+1-dimensionales Beispiel eines Saturons in einer renormierbaren Quantenfeldtheorie mit großer SU(N)-Symmetriegruppe. In diesem Rahmen erscheint das Saturon als Vakuumblase einer spontan gebrochenen SU(N)-Symmetrie im Symmetriegrundzustand. Die Blase ist klassisch stabil, zerfällt jedoch quantenmechanisch bei Kopplung an masselose Fermionen. Dank der Einfachheit des modells analysieren wir den Evaporationsprozess detailliert und reproduzieren eine Hawking-artige Zerfallsrate, die umgekehrt proportional zur Blasengröße ist. Das Evaporationsspektrum bestimmen wir semiklassisch über die Analyse der Bogoliubov-Koeffizienten des fermionischen Feldes sowie quantenmechanisch, indem wir die Blase als hochbesetzten Zustand von Goldstone-Bosonen der gebrochenen Symmetrie behandeln. Damit folgt der Prozess aus der quantenmechanischen Zerfallsrate der konstituierenden Goldstones und reproduziert im geeigneten Grenzfall das semiklassische Resultat. Im zweiten Teil analysieren wir die Quantendynamik eines homogenen Superfluids in einer relativistischen U(1)-Theorie. Klassische Zustände erscheinen quantenmechanisch als eingekleidete kohärente Zustände mit großer mittlerer Besetzungszahl. Üblicherweise treiben Quanteneffekte Mehrteilchensysteme durch Rückstreuungen von der Klassizität weg. Hier zeigen wir, dass geladene Superfluide – im Gegensatz zu ihren ladungslosen Gegenstücken – ihre interne Kohärenz in der Quantentheorie dauerhaft bewahren. Die Stabilität belegen wir, indem wir den passenden Zustand als Vakuum des modifizierten Hamiltonoperators H-μ Q konstruieren und seine Dynamik untersuchen; μ wirkt als quantenmechanisches chemisches Potential, Q als U(1)-Ladung. Wir erklären die Rolle der nicht-gaußschen Einkleidung, um Stabilität jenseits des Baum-Niveaus zu gewährleisten. Schließlich bestimmen wir das Fluktuationsspektrum von dem Superfluid und prüfen explizit die Existenz einer masselosen Goldstone-Mode bis zur ersten Loop-Ordnung.
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.