In der vorliegenden Arbeit werden zunächst exakte Definitionen der Worte: Ort, Geschwindigkeit, Energie usw. (z. B. des Elektrons) aufgestellt, die auch in der Quantenmechanik Gültigkeit behalten, und es wird gezeigt, daß kanonisch konjugierte Größen simultan nur mit einer charakteristischen Ungenauigkeit bestimmt werden können (§ 1). Diese Ungenauigkeit ist der eigentliche Grund für das Auftreten statistischer Zusammenhänge in der Quantenmechanik. Ihre mathematische Formulierung gelingt mittels der Dirac-Jordanschen Theorie (§ 2). Von den so gewonnenen Grundsätzen ausgehend wird gezeigt, wie die makroskopischen Vorgänge aus der Quantenmechanik heraus verstanden werden können (§ 3). Zur Erläuterung der Theorie werden einige besondere Gedankenexperimente diskutiert (§ 4).
In der vorliegenden Arbeit werden zunächst exakte Definitionen der Worte: Ort, Geschwindigkeit, Energie usw. (z. B. des Elektrons) aufgestellt, die auch in der Quantenmechanik Gültigkeit behalten, und es wird gezeigt, daß kanonisch konjugierte Größen simultan nur mit einer charakteristischen Ungenauigkeit bestimmt werden können (§ 1). Diese Ungenauigkeit ist der eigentliche Grund für das Auftreten statistischer Zusammenhänge in der Quantenmechanik. Ihre mathematische Formulierung gelingt mittels der Dirac-Jordanschen Theorie (§ 2). Von den so gewonnenen Grundsätzen ausgehend wird gezeigt, wie die makroskopischen Vorgänge aus der Quantenmechanik heraus verstanden werden können (§ 3). Zur Erläuterung der Theorie werden einige besondere Gedankenexperimente diskutiert (§ 4).
Der Drehimpuls hat in der Physik die gleiche fundamentale Bedeutung wie der lineare Impuls und die Energie. Ebenso wie jene Größen ist er bereits in der klassischen Mechanik durch einen Erhaltungssatz ausgezeichnet, und zwar dann, wenn das entsprechende physikalische Problem rotationssymmetrisch ist. Für den atomaren Bereich gilt das gleiche. Jedoch müssen wir den Drehimpuls mit quantenmechanischen Methoden behandeln. Wir unterscheiden hierbei zwischen dem Bahndrehimpuls, der die Bahnbewegung eines Teilchens um eine feste Achse beschreibt, und einem inneren Drehimpuls, den viele Teilchen besitzen und den man Spin nennt. Der Spin eines Teilchens läßt sich von der Vorstellung her als eine Art Eigenrotation des Teilchens deuten. Es ist jedoch nicht möglich, ihn mit klassischen Methoden zu beschreiben, wie etwa die Eigenrotation der Erde. Im Rahmen der nichtrelativistischen Quantenmechanik muß er zusätzlich eingeführt werden, wie in den nachfolgenden Abschnitten gezeigt wird. Erst in der relativistischen Quantenmechanik folgt er zwanglos aus deren Formalismus. Wir werden in Kap.5 sehen, daß der Spin des Elektrons für die Erklärung einer ganzen Reihe von Erscheinungen beim Wasserstoffatom eine entscheidende Roll spielt. Dasselbe gilt für die Mehrelektronenatome in Kap. 6.
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
Vom Ising-Modell, das man als eine gewisse Spezialisierung des allgemeinen Heisenberg-Modells auffassen kann, wird zunächst eine Ubersicht über den recht weiten Anwendungsbereich dieses Modells und über seine Lösungsmöglichkeiten gegeben. Das große Interesse, das diesem Modell entgegengebracht wird, beruht letztlich darauf, daß es das einzige realistische Vielteilchenmodell ist, das einen Phasenübergang zeigt und mit mathematischer Strenge gelöst werden kann. Wir berechnen die Zustandssumme des eindimensionalen Ising-Modells ohne äußeres Feld und zeigen, daß die spontane Magnetisierung nur für T = 0 von Null verschieden ist. Die Zustandssumme für den Fall, daß sich das System in einem äußeren Magnetfeld befindet, wird nach der Transfer-Matrix-Methode berechnet. Aus ihr werden einige wichtige thermodynamische Größen wie die freie Enthalpie, die temperaturund feldabhängige Magnetisierung, die isotherme magnetische Suszeptibilität, die Entropie und die spezifische Wärme abgeleitet und diskutiert. Im Gegensatz zum eindimensionalen vollzieht das zweidimensionale Ising-Modell einen Phasenübergang zwischen paramagnetischer und ferromagnetischer Spinordnung bei einer endlichen Temperatur Tc. Die Existenz einer spontanen Mag-netisierung wird zunächst mit Hilfe des sog. „Peierls-Arguments“ bewiesen. Der Beweis gelingt auf der Basis von Abschätzungen mit einem Minimalaufwand an Mathematik. Die exakte Berechnung der freien Energie (ohne Feld) führt zu einem konkreten Resultat für die Übergangstemperatur Tc. Der Phasenübergang manifestiert sich in einer logarithmischen Singularität der spezifischen Wärme.
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.