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.
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.
In der Arbeit wird ein dissipatives diskretes System untersucht. Ein dissipatives diskretes System besteht aus dem System selber und seiner Wechselwirkung mit seiner Umgebung. Wird die Wechselwirkung mit der Umgebung ausgeschaltet, so spricht man von einem isolierten diskreten System. Ein isoliertes System kann man auf verschiedenen Stufen beschreiben. Im ersten Teil der Arbeit wird ein solches System auf der phänomenologischen Ebene untersucht. Auf der phänomenologischen Ebene führt diese Untersuchung zu dem Schluss, dass wir die untersuchten phänomenologischen Modelle sowohl in der rationalen Thermodynamik als auch in GENERIC darstellen können. Im zweiten Teil der Arbeit werden die Grundzüge der klassischen Quantenthermodynamik dargestellt. Der Ausgangspunkt dieser Theorie ist, dass eine ausgewählte Menge makroskopischer Observablen existiert. Diese Menge wird Beobachtungsebene genannt. Weiterhin soll eine geeignete Abbildung existieren, die die Observablen auf die Beobachtungsebene abbildet. Mit dieser Abbildung erhält man eine Dynamik für die Wahrscheinlichkeitsdichte auf der Beobachtungsebene und damit eine Möglichkeit die Entropie einzuführen. Die ungeklärten Fragen dieser Theorie sind aber zum einen: Ist die Entropieproduktion nicht negativ?; und zum anderem: Was zeichnet die makroskopischen Observablen aus?; bzw. kann man wenigstens für die makroskopische Zeitableitung der Erwartungswerte der Observablen zeigen, dass sie gleich den mikroskopischen Erwartungswerte sind. Deshalb wird im dritten Teil der Arbeit Dissipation in die klassische statistische Mechanik durch ein Potential eingeführt. Die konsequente Ableitung befindet sich aber noch in der heuristischen Phase. Deshalb werden die Bewegungsgleichungen postuliert. Aus diesem Postulat folgt dann aber, dass wir die extsc{Generic}-Struktur auf der mikroskopischen klassischen Ebene wiederfinden. Sie gilt hier für alle Observablen. Der Versuch, diese Struktur auf die makroskopische Ebene zu übertragen, scheint im Prinzip möglich.
Verschränkung ist nicht nur notwendig für die Beschreibung des Verhaltens von quantenmechanischen Systemen, sondern ist auch essentiell für einige vielversprechende Anwendungen der Quantenmechanik. Motiviert durch die Bedeutung von Verschränkung werden in dieser Arbeit Themen aus der Vielteilchenverschränkungstheorie behandelt. Der erste Teil der Arbeit besteht aus zwei Unterteilen. Im ersten Unterteil werden separable Kanäle (SEP) betrachtet, d.h., Kanäle, die mittels separabler Krausoperatoren dargestellt werden können. SEP bildet eine strikte übermenge der Menge der Quantenoperationen, die mittels lokaler Operationen und klassischer Kommunikation implementiert werden können (LOCC). Dabei ist LOCC genau die Menge von Quantenoperationen, mittels welcher keine Verschränkung erzeugt werden kann. Separable Transformationen erlauben es notwendige Bedingung für LOCC-Transformationen herzuleiten. Wir zeigen, dass es nicht hinreichend ist nur Kanäle zu betrachten, die mittels separabler und invertierbarer Krausoperatoren dargestellt werden können (SEP1), um zu entscheiden ob zwei reine Zustände mit SEP ineinander transformiert werden können. Dieses Resultat wirft die Frage auf, ob Transformationen mittels SEP1 notwendig sind für LOCC-Transformationen. Während die Relation von SEP1 und LOCC nicht abschließend geklärt werden konnte, wird im Folgenden gezeigt, dass SEP1-Transformationen notwendig sind für Transformationen mittels LOCC-Protokollen, die nur aus endlich vielen Runden klassischer Kommunikation bestehen (LOCCN), also solche LOCC-Protokolle, die physikalisch relevant sind. Darüber hinaus werden notwendige und hinreichende Bedingungen dafür hergeleitet, wann eine Transformation zwischen zwei reinen Zuständen mittels SEP möglich ist (siehe auch [Gour et al. New Journal of Physics 13(7), 073013 (2011)]). Im zweiten Unterteil wird die Verschränkung von Stabilizerzuständen untersucht, da diese Zustände viele Anwendungen in der Quanteninformationstheorie besitzen. Dazu werden lokale Transformationen dieser Zustände betrachtet. Als Voraussetzung dafür werden zunächst alle lokalen Symmetrien von Stabilizerzuständen charakterisiert. Zudem wird ein Algorithmus hergeleitet, um diese für einen gegebenen Zustand zu bestimmen. Diese Ergebnisse werden dann verwendet um LOCCN-Transformatio- nen innerhalb der äquivalenzklasse zu analysieren, die von einem Stabilizerzustand und allen Zuständen, die unter probabilistischen LOCC-Transformationen von diesem erreicht werden können, gebildet wird (SLOCC). Zudem werden Anwendungen von Stabilizerzuständen diskutiert, die aus den Eigenschaften ihrer lokalen Symmetriegruppe abgeleitet werden können. Um einen vergröberten Blick auf die Verschränkung von Stabilizerzuständen zu erhalten, werden dann Cliffordtransformationen zwischen diesen Zuständen untersucht, die lokal bezüglich einer fixierten Menge von Parteien wirken (PLC). Eine solche Partei kann dabei aus mehr als einem Qubit bestehen. Zunächst wird gezeigt, dass PLC Transformationen zwischen Graphenzuständen durch eine verallgemeinerte Form von lokaler Komplementierung beschrieben werden kann. Letztere beschreibt Transformationen zwischen Graphenzuständen mittels lokaler Cliffordoperatoren. Um die entstehenden Äquivalenzklassen zu charakterisieren wird die so genannte verschränkung-generierende Menge (EGS) verwendet [Bravyi et al., J. Math. Phys. 47, 062106 (2006)]. Diese Menge enthält für bis zu drei Parteien nur endlich viele Zustände [Bravyi et al., J. Math. Phys. 47, 062106 (2006)]. Im Folgenden wird gezeigt, dass das EGS für vier und mehr Parteien unendlich viele Elemente enthält. Im zweiten Teil der Arbeit wird die partielle Unterscheidbarkeit von identischen Teilchen in Interferenzexperimenten untersucht, in welchen einige Freiheitsgrade der Teilchen nicht verändert und nicht detektiert werden. Dabei werden insbesondere Bosonen betrachtet. Anwendungen solcher Interferenzexperimente benötigen meist ununterscheidbare Teilchen. Deshalb spielt die Charakterisierung von partieller Unterscheidbarkeit sowie deren Quantifizierung eine wichtige Rolle. Zunächst wird in diesem Teil der Arbeit Literatur zusammengefasst, die für die weiteren Kapitel besonders relevant ist. Diese Literatur beschäftigt sich hauptsächlich mit bestimmten Teilmengen von Zuständen, die relevant sind für Experimente. Ausgehend von dieser Zusammenfassung wird dann eine Definition von Ununterscheidbarkeit und Unterscheidbarkeit für Teilchen formuliert, die durch allgemeine Zustände beschrieben werden. Diese basiert alleinig auf den Informationen über die Teilchen, welche auch in den betrachteten Experimenten zugänglich sind. Die zugehörigen Mengen von Zuständen werden mittels Darstellungstheorie charakterisiert. Darüber hinaus wird eine effiziente Methode hergeleitet um eine obere und eine untere Schranke an ein Ununterscheidbarkeitsmaß mittels Interferenzexperimenten zu bestimmen, welches sich von der Definition von Ununterscheidbarkeit ableitet.
Wir untersuchen Erwartungswerte und Korrelationsfunktionen in dissipativen Quantensystemen im Rahmen der Influenzfunktionalmethode. Damit ist es möglich, sowohl korrelierte Anfangszustände als auch faktorisierende Nichtgleichgewichts-Anfangsbedingungen in einem reinen Realzeit-Pfadintegralbild zu behandeln. Korrelationsfunktionen zeigen im Langzeitbereich einen langsamen algebraischen Zerfall. Als Beispiele studieren wir die Gleichgewichtskorrelationsfunktionen des Kohärenz- und des Ortsoperators im dissipativen Zweizustandssystem. Das Langzeitverhalten dieser Funktionen kann in einen einfachen Ladungsbild erklärt werden. Während die Dipol-Dipol-Wechselwirkung zwischen zwei neutralen Clustern zu einem 1/t^2 Zerfallsgesetz für die Ortskorrelationsfunktion führt, hat die Wechselwirkung zwischen zwei geladenen Clustern ein 1/t^{2K} Verhalten für die Kohärenzkorrelationen zur Folge. Dieses Gesetz hängt von der Kopplungsstärke K an das Bad ab und weist auf einen Phasenübergang von kohärenter zu inkohärenter Dynamik beim Wert K=1/2 hin. Des weiteren untersuchen wir die Stromkorrelationsfunktion im dissipativen periodischen Potential, welche die Stromfluktuationen beim korrelierten eindimensionalen Ladungstransport beschreibt. Auch hier ordnen sich die Ladungen in zwei neutralen Clustern an, was zu einem 1/t^2 Zerfall führt. Die faktorisierenden Anfangsbedingungen der Nichtgleichgewichts-Erwartungswerte haben dagegen ein exponentielles Zerfallsgesetz zur Folge. Als Beispiel dafür studieren wir nichtadiabatische Elektrontransferreaktionen, bei welchen die Dynamik vollständig durch Übergangsraten beschrieben werden kann. Wir untersuchen die Gestalt dieser Rate in Abhängigkeit von der spektralen Verteilung der Umgebung sowohl im klassischen als auch im quantenmechanischen Bereich.
Die Quantenmechanik ist eine der wichtigsten Theorien der modernen Physik.Mit ihr lassen sich nicht nur grundlegende Phänomene wie z.B. das Emissionsspektrum von Atomen oder die Stabilität von Materie erklären, sondern sie steckt auch in vielen technischen Anwendungen vom MP3-Player bis zum Tunnelmikroskop, und in Zukunft werden wir vermutlich Technologien wie Quantenkryptographie oder Quantencomputer mit großer Selbstverständlichkeit einsetzen.Die Kenntnis der Quantenmechanik ist daher nicht nur ein Schlüssel für das Verständnis unserer Welt, sondern unabdingbar für die Entwicklung moderner Technologien.Folgerichtig wird die Quantenmechanik heute oft schon in der Schule gelehrt; in jedem Fall jedoch an Universitäten, wo sie in den meisten Naturwissenschaften und auch in vielen Ingenieurwissenschaften zum Curriculum gehört.Eine große Hürde bei der Vermittlung und damit auch auf dem Weg zum Verständnis der Quantenmechanik ist nun nicht, wie man etwa vermuten könnte, die Mathematik, auch wenn diese an der einen oder anderen Stelle sicherlich einige Herausforderungen beinhaltet, sondern die Sprache.Der Grund dafür liegt darin, dass Sprache kein gegebenes Konstrukt ist, welches unabhängig vom Menschen und dessen Wissen über die Welt existiert, sondern sich vielmehr im Laufe der Menschheitsgeschichte durch die Auseinandersetzung des Menschen mit seiner Umwelt entwickelt hat.Sprache ist damit auch immer ein Abbild der Welt, so wie sie der Mensch wahrnimmt.Und dass diese Wahrnehmung gelegentlich trügt, wissen wir spätestens seit Einstein, der uns gezeigt hat, dass unsere Vorstellung von Raum und Zeit nicht der physikalischen Wirklichkeit entspricht.Die Quantenmechanik führt uns nun, mehr noch als die Relativitätstheorie, weg von den uns vertrauten Vorstellungen von der physikalischen Wirklichkeit.Damit verliert aber auch die Sprache ihre Legitimation als ein Werkzeug zur Beschreibung der Quantenmechanik.Streng genommen verbleibt als einzig legitimer Zugang zur Quantenmechanik daher die Mathematik.Mit ihr lassen sich, aufbauend auf einer Handvoll Axiome, alle Gesetze der Quantenmechanik ableiten und damit alle physikalischen Beobachtungen korrekt und widerspruchsfrei beschreiben.Allerdings sind diese Axiome, im Gegensatz zu z.B. denen der Newton'schen Mechanik, alles andere als unmittelbar einsichtig.Um daher auch solchen Leserinnen und Lesern den Zugang zur Quantenmechanik zu ermöglichen, welche die Quantenmechanik nicht als Teildisziplin der Mathematik oder der theoretischen Physik betreiben wollen, werden wir in diesem Buch trotz aller Gefahren den Weg der Sprache und der Bilder beschreiten.Dabei gehen wir von wenigen einfachen Schlüsselexperimenten aus, mit denen sich die Grundgleichungen der Quantenmechanik anschaulich begründen lassen.Im Gegensatz zu vielen anderen Lehrbüchern greifen wir jedoch nicht auf das berühmte Doppelspaltexperiment mit Elektronen oder das Experiment von Stern-Gerlach zurück, sondern wir arbeiten in den ersten Kapiteln ausschließlich mit einem Interferometer und Polarisationsfiltern
In dieser Arbeit wird eine spezielle Klasse verallgemeinerter Messungen in der Quantenmechanik untersucht. Es handelt sich um sogenannte unscharfe Messungen. Mathematisch sind sie durch vertauschende Effekte und reine Operationen (d.h. reine Zustände werden durch den Messprozess auf reine Zustände abgebildet) gekennzeichnet. Physikalisch bedeutet das, man kann sie als Messungen herkömmlicher Messgrößen wie z.B. Energie, Ort oder Spin auffassen, und sie produzieren kein klassisches Rauschen. In der Praxis treten sie u.a. auf, wenn die Kopplung zwischen Messgerät und zu vermessendem System sehr schwach ist. Daher sind sie verwandt mit den schwachen Messungen von Aharonov und Vaidman, die über eine solche schwache Kopplung definiert sind. Die Streuung der Messwerte einer unscharfen Messung ist größer als die einer vergleichbaren Projektionsmessung, daher die Bezeichnung "unscharf". Damit verbunden ist aber häufig auch eine geringere Störung des zu vermessenden Systems. Falls die Störung gering ist, wird die Messung auch "schwach" genannt. Das Verhältnis zwischen Informationsgewinn und Störung (Zustandsänderung) durch die Messung nimmt für minimale, unscharfe Messungen eine einfache Form an: die Zustandsänderung entspricht der Änderung der Wahrscheinlichkeitverteilung der Messergebnisse. Da letztere wiederum dem Informationsgewinn durch die Messung entspricht (der Informationsgewinn kann durch die negative Änderung der Shannon-Entropie gemessen werden), sind Informationsgewinn und Störung äquivalent. Die Messung von Dynamik an einem einzelnen Quantensystem in Echtzeit ist ein Anwendungsgebiet für unscharfe Messungen. Ein Folge von unscharfen Messungen wird in dieser Arbeit vorgestellt, die die Rabioszillationen eines einzelnen Zwei-Niveau-Systems in Echtzeit gewährleisten soll. Als Maß für die Auflösung einer kurzen Sequenz von Messungen (N-Serie) wurde die sogenannte Niveau-Auflösungszeit aus der Streuung der Messresultate einer N-Serie gewonnen. Es stellte sich heraus, dass diese proportional zur Dekohärenzzeit ist, die ein Maß für die Störung des Zwei-Niveau-Systems darstellt. Monte-Carlo-Simulationen der sequentiellen Messung zeigen, dass eine Visualisierung der Rabioszillationen möglich ist. Bedingung dafür ist, dass die Niveau-Auflösungszeit ungefähr gleich der Rabi-Periode ist. Eine Realisierung einer Folge von unscharfen Messungen wird anhand eines quantenoptischen Systems aus der Hohlraumresonator-QED beschrieben. Schliesslich wird die Entwicklung eines Qubits mit Hamiltonischer Dynamik unter dem Einfluss einer Folge von unscharfen Messungen beschrieben. Differenzengleichungen werden hergeleitet um die zeitliche Entwicklung des Zwei-Niveau-Systems darzustellen. Verschiedene Effekte treten auf: u.a. eine zusätzliche unitäre Dynamik, verursacht durch den unitären Anteil der Back-action'' des Messapparates und Dekohärenz aufgrund dieses unitären Anteils sowie aufgrund des Informationsgewinnes. Es kommt auch zu einer Art Reibung (Dissipation). Im Grenzwert kontinuierlicher Messungen verschwinden die meisten dieser Effekte. Für diesen Grenzwert wird eine Mastergleichung angegeben, die die Zustandsdynamik bei einer sequentiellen Messung näherungsweise beschreibt. Das erste Kapitel dieser Arbeit enthält eine Diskussion der Auswirkungen der Stochastik auf die Struktur der Quantenmechanik. Ausgehend von der Zufälligkeit des Ausganges von Quantenmessungen und der nicht-eindeutigen Zerlegbarkeit von gemischten Zuständen in reine Zustände ergibt sich eine Motivation für drei der vier Axiome der Quantenmechanik.
Diese Arbeit beschäftigt sich mit der Quantenmechanik und dem klassischen Grenzfall von n-Niveau-Atomen mit kollektiver Wechselwirkung. Der klassische Grenzfall wird erreicht, wenn die Anzahl der Atome gegen unendlich geht. Die makroskopischen Observablen von kollektiv wechselwirkenden n-Niveau-Atomen sind die Besetzungszahlen der Niveaus und die Kohärenzen, die durch Operatoren beschrieben werden, die jeweils ein Niveau in ein anderes uberf uhren. Diese makroskopischen Observablen haben die gleichen Vertauschungsrelationen wie die Erzeuger der Lie-Gruppe SUn . Die Lie-Gruppe SUn spielt eine große Rolle sowohl für die quantenmechanische Dynamik als auch für den klassischen Grenzfall. Nach der Einführung in die bekannte quantenmechanische Beschreibung von n-Niveau-Atomen, der zugehörigen makroskopischen Observablen und der Hilbert-Räume werden kohärente Zustände definiert, die eng mit der Lie-Gruppe SUn verknüpft sind. Die generelle Struktur der kohärenten Zustände und des klassischen Grenzfalles sind seit längerem bekannt. Um die Eigenschaften der kohärenten Zustände explizit anzugeben, werden in dieser Arbeit einige Enflechtungs- und Umordnungstheoreme bewiesen. Unter Verwendung kohärenter Zustände wird dann der klassische Grenzfall unendlich vieler n-Niveau-Atome behandelt, bei dem die Heisenberg-Gleichungen für quantenmechanische operatorwertige Observablen in die Hamiltonschen Gleichungen der klassischen Mechanik übergehen. Kollektiv gekoppelte n-Niveau-Atome haben einen kompakten klassischen Phasenraum und daher quantenmechanisch einen Hilbert-Raum mit endlicher Dimension. Damit eignen sich diese Systeme sehr gut für Untersuchungen von quantenmechanischen Signaturen von Chaos und Integrabilität. Der Fall n = 2 ist in dieser Hinsicht bereits sehr gut untersucht worden. Der klassische Phasenraum ist in diesem Fall zweidimensional (die Oberfläche einer Kugel), so daß chaotische Dynamik nur dann möglich ist, wenn das System periodisch getrieben wird. Will man Chaos in einer autonomen Dynamik von n-Niveau-Atomen finden, muß man den Fall n >= 3 betrachten. Diese Systeme besitzen in ihrer Struktur zusätzlichen Reichtum gegenüber n = 2. Für n = 3 ist die Dimension des klassischen Phasenraums entweder vier oder sechs. Bei den verschiedenen Routen zum klassischen Grenzfall und den sich daraus ergebenden verschiedenen Dimensionen des klassischen Phasenraums stellt sich die Frage, ob es möglich ist, einen Hamilton-Operator zu konstruieren, der neben der Energie noch genau eine weitere Bewegungskonstante hat, so daß die klassische Dynamik im vierdimensionalen Phasenraum integrabel ist, jedoch nichtintegrabel wird, wenn der klassische Grenzfall in einem sechsdimensionalen Phasenraum vollzogen wird. Einige Beispiele für solche Hamilton-Operatoren werden in dieser Arbeit angegeben und die quantenmechanischen Signaturen von Chaos und Integrabilität werden untersucht. Auf die Niveaudynamik für einparametrige Familien von Hamilton-Operatoren H(--) wird ebenfalls eingegangen. Dabei wird eine ausführliche Diskussion des Status von deutlich vermiedenen und von echten oder schwach vermiedenen Kreuzungen im chaotischen und integrablen Regime durchgeführt. Im abschließenden Kapitel wird eine semiklassische Methode zur Bestimmung des Spektrums untersucht. Üblicherweise bestimmt man das Spektrum semiklassisch uber die von M. C. Gutzwiller entdeckte Spurformel für die Niveaudichte. In die Gutzwillersche Spurformel geht eine Summe uber alle periodischen Bahnen einer gegebenen Energie ein. Die Summe über alle periodischen Bahnen birgt jedoch erhebliche Schwierigkeiten. So wächst die Anzahl der periodischen Bahnen bei chaotischer Dynamik exponentiell mit der Länge der Periode { man spricht von exponentieller Proliferation. Damit ist einerseits die Konvergenz in Frage gestellt, andererseits ist es numerisch nicht lösbares Problem, alle periodischen Bahnen zu finden. Es ist bekannt, daß man nicht alle periodischen Bahnen braucht, um das Spektrum aufzulösen, sondern nur alle periodischen Bahnen, deren Periode kürzer ist als die sogenannte Heisenberg-Zeit fi H . Die Heisenberg-Zeit ist durch die mittlere Niveaudichte j bestimmt. Damit gehen nur endlich viele periodische Bahnen in die semiklassische Spurformel ein. Im allgemeinen bleibt es jedoch auch dann äußerst aufwendig (wenn nicht unmöglich), alle notwendigen periodischen Bahnen numerisch zu finden. Eine effizientere Methode für die semiklassische Bestimmung des Spektrums könnte darin bestehen, das Spektrum eines autonomen Systems aus der semiklassischen Spur des zeitabhängigen Propagators u(t) = P k exp( ~ ) zu bestimmen. Im Prinzip braucht man in einem N-dimensionalen Hilbert-Raum die Spur des Propagators u(t) nur an N 2 Fußpunkten t k bestimmen, um alle Informationen über das Spektrum zu besitzen. Es stellt sich die Frage, wie groß die Zeiten t k tatsächlich dann gewählt werden muß. Diese Methode wird am Beispielsystem zweier gekoppelter Drehimpulsvektoren untersucht. In dieser Arbeit konnte nur die Durchführbarkeit der semiklassischen Methode gezeigt werden. Die Untersuchung der Effizienz verlangt nach anderen Systemen, für die es einfacher ist, die periodischen Bahnen aufzufinden.