Abstract Es wird ein Näherungsverfahren zur Berechnung der Wellenfunktion eines Teilchens im gegebenen Potential besprochen, das zu einer WKB‐ähnlichen Lösung führt. In erster Näherung ergibt sich dabei ein der von Langer ver‐besserten WKB‐Lösung entsprechender Ausdruck. Das Verfahren läßt die physikalischen Annahmen, die zur WKB‐Lösung führen, genau erkennen. Sie blieben bei der nach der WKB‐Methode durchgeführten Entwicklung nach Potenzen von ℏ unklar.
Abstract Es wird ein Näherungsverfahren zur Berechnung der Wellenfunktion eines Teilchens im gegebenen Potential besprochen, das zu einer WKB‐ähnlichen Lösung führt. In erster Näherung ergibt sich dabei ein der von Langer ver‐besserten WKB‐Lösung entsprechender Ausdruck. Das Verfahren läßt die physikalischen Annahmen, die zur WKB‐Lösung führen, genau erkennen. Sie blieben bei der nach der WKB‐Methode durchgeführten Entwicklung nach Potenzen von ℏ unklar.
Abstract Ein in einer früheren Arbeit behandeltes WKB‐ähnliches Näherungsverfahren zur Berechnung der Wellenfunktion eines Teilchens im gegebenen Potential wird zur Berechnung der Dichte eines Systems vieler unabhängiger Teilchen in gemeinsamen, gegebenen Potential angewendet. Dabei wird von einem Dichteausdruck ausgegangen, der durch operatorartige Auswertung der Dichtematrix gewonnen wurde. Es wird eine explizite Darstellung der Dichte abgeleitet, die für alle Potentiale dieselbe funktionale Form besitzt. In nullter Näherung stimmt die Lösung mit der Thomas‐Fermi‐Lösung überein, in erster Näherung werden die Dichteschwankungen und das exponentielle Abklingen erfaßt. Über ein self‐consistent‐field‐Verfahren können Teilchen mit Wechselwirkung behandelt werden. Bei den betrachteten Beispielen besteht eine gute Übereinstimmung mit dem exakten Verlauf.
In einer vollständigen Theorie gibt es zu jedem Element der Realität stets ein entsprechendes Element. Eine hinreichende Bedingung für die Realität einer physikalischen Größe ist die Möglichkeit, sie mit Sicherheit vorherzusagen, ohne das System zu stören. In der Quantenmechanik schließt im Falle von zwei physikalischen Größen, die durch nicht-kommutierende Operatoren beschrieben werden, das Wissen von der einen das Wissen von der anderen aus. Dann ist entweder (1) die Beschreibung der Realität, die durch die Wellenfunktion in der Quantenmechanik gegeben wird, nicht vollständig oder (2) diesen beiden Größen kann nicht gleichzeitig Realität zukommen. Die Betrachtung des Problems, Vorhersagen bezüglich eines Systems auf der Grundlage von Messungen zu machen, die an einem anderen System, das zuvor mit dem ersteren in Wechselwirkung stand, ausgeführt wurden, führen auf das Ergebnis, daß wenn (1) falsch ist, dann auch (2) falsch ist. Man wird so zu dem Schluß geführt, daß die Beschreibung der Realität, wie sie von der Wellenfunktion geleistet wird, nicht vollständig ist.
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.
Die Schwankungserscheinungen bilden eines jener Kapitel der Physik, die einer scheinbar geringfügigen Beobachtung ihr Leben verdanken und dann in überraschend kurzer Zeit eine ungeahnte Bedeutung erlangen. So war es etwa mit der Entdeckung der Röntgenstrahlen und der Radioaktivität. Während jedoch diese immerhin nur beschränkte physikalische Gebiete in neuem Lichte erscheinen lassen, macht es den Eindruck, als ob man es bei den Schwankungserscheinungen, von denen die vorliegende Monographie handelt, mit einer naturwissenschaftlichen Betrachtungsweise zu tun hätte, die geeignet wäre, das ganze Gebiet dieser Wissenschaft von einem neuen, und anfangs fremdartig anmutenden Gesichtspunkte betrachten zu lassen. Da sie sich im wesentlichen auf die Annahme einer diskontinuierlichen Struktur der Materie stützt, ist es vielleicht nicht überflüssig, einen Blick auf die Entwickelung dieser Theorie seit ihrer Entstehung zu werfen.
In dieser Arbeit werden Algorithmen zur Lösung zahlentheoretischer Probleme für klassische Computer und Quantencomputer entwickelt und analysiert sowie ihre Auswirkungen auf Public-Key-Kryptosysteme untersucht. Im Jahr 1994 veröffentliche Shor einen Quantenalgorithmus [Shor, 1994], der das Periodengitter einer gegebenen Funktion in Quanten-Polynomzeit bestimmt. Mit diesem Algorithmus läßt sich das Faktorisierungs- und das Diskreter-Logarithmus-Problems in endlichen abelschen Gruppen in Quanten-Polynomzeit lösen. Dadurch werden die meisten heutzutage verwendeten Public-Key-Kryptoverfahren unsicher, sollten hinreichend große Quantencomputer eines Tages gebaut werden können. Der erste Quantencomputer wurde 1998 gebaut [Chuang/Vandersypen/Zhou/Leung/Lloyd, 1998]. Er bestand aus zwei Qubits. Der größte Quantencomputer, der bis heute gebaut wurde, besteht aus nur sieben Qubits [Vandersypen/Steffen/Breyta/Yannoni/Sherwood/Chuang, 2001]. Es hat sich herausgestellt, daß das Bauen von großen Quantencomputern ein extrem schwieriges Problem ist. Aus diesem Grund kann davon ausgegangen werden, daß die Größe der Quantencomputer, d.h. die Anzahl der Qubits, aus denen ein Quantencomputer besteht, nur langsam wachsen wird. Deshalb ist es von Interesse, Shors Quantenalgorithmus an verschiedene abelsche Gruppen sowie gruppenähnliche Strukturen zu adaptieren und ihre genaue Komplexität zu untersuchen, um daraus die Bedrohungen für die betroffenen Kryptosysteme genau zu bestimmen. In dieser Arbeit werden Quantenalgorithmen zur Lösung des Ordnungsproblems und des DL-Problems in der Klassengruppe der Ideale eines imaginär-quadratischen Zahlkörpers angegeben und ihre Komplexität, d.h. die Anzahl der Qubits und der elementaren Quantenoperationen, bestimmt. Darüberhinaus werden Algorithmen zur Bestimmung des Regulators und zur Lösung des Hauptidealproblems und des erweiterten Diskreter-Logarithmus-Problems in reell-quadratischen Zahlkörpern präsentiert. Shors Algorithmus wird dabei auf Funktionen angewendet, die nicht injektiv innerhalb einer Periode sind. Auch in diesem Fall wird die Komplexität der Algorithmen genau bestimmt. Im Falle von Zahlkörpern eines beliebigen Grades wird eine weitere Modifikation von Shors Algorithmus entwickelt: Es wird das Periodengitter einer Funktion bestimmt, deren Periodengitter irrational ist. Dieser Algorithmus wird benutzt, um die Einheitengruppe eines beliebigen endlich-dimensionalen Zahlkörpers zu berechnen. Als nächstes werden die Auswirkungen von Quantenalgorithmen auf die Sicherheit von Public-Key-Kryptosystemen untersucht. Es wird ein neuer Sicherheitsbegriff eingeführt. Die Sicherheit zweier Kryptosysteme wird als gleich definiert, wenn die Anzahl der Qubits zum Brechen dieser Kryptosysteme gleich ist. Basierend auf der neuen Sicherheitsdefinition wird die Geschwindigkeit und die Schlüsselgröße von einigen Kryptosystemen verglichen. Im letzten Kapitel wird ein deterministischer klassischer Algorithmus zur Berechnung der Struktur einer endlichen abelschen Gruppe aus einem Erzeugendensystem präsentiert, dessen Laufzeit nur linear von der Anzahl der gegebenen Erzeuger abhängt und dessen Speicherplatzkomplexität unabhängig von der Anzahl der gegebenen Erzeuger ist. Das stellt eine exponentielle Verbesserung zu früheren Algorithmen dar, bei denen sowohl die Laufzeit als auch die Speicherplatzkomplexität exponentiell von der Anzahl der Erzeuger im gegebenen Erzeugendensystem abhängt [Buchmann/Jacobson/Teske, 1997].
Die übliche Deutung der Quantentheorie ist selbstkonsistent, enthält aber Annahmen, die nicht experimentell überprüft werden können, wie z. B. daß die vollständigst mögliche Beschreibung eines individuellen Systems durch eine Wellenfunktion erfolgt, die nur den wahrscheinlichen Ausgang tatsächlicher Messungen festlegt. Ob diese Annahme korrekt ist, kann nur durch den Versuch überprüft werden, eine andere Interpretation der Quantentheorie durch derzeit „verborgene“ Variable zu finden, die im Prinzip das exakte Verhalten eines individuellen Systems bestimmen, aber in der Praxis bei den heute möglichen Messungen herausgemittelt werden. In dieser und einer folgenden Arbeit soll eine Deutung der Quantentheorie durch derartige „verborgene Variable“ vorgeschlagen werden. Es zeigt sich, daß die hier vorgeschlagene Deutung zu genau denselben Ergebnissen für alle physikalischen Prozesse führt wie die übliche Deutung, sofern die mathematische Theorie ihre allgemeine Form beibehält. Dennoch führt die vorgeschlagene Deutung auf ein allgemeineres Begriffssystem als die übliche Deutung, da sie eine präzise und kontinuierliche Beschreibung aller Prozesse sogar auf dem Quantenniveau erlaubt. Das erweiterte Begriffssystem ermöglicht allgemeinere mathematische Formulierungen der Theorie als die übliche Deutung. Die gebräuchliche mathematische Formulierung scheint aber auf unlösbare Schwierigkeiten zu führen, wenn sie auf kleinere Abstände als 10−13 cm extrapoliert wird [A1]. Es wäre möglich, daß die hier vorgeschlagene Deutung zur Lösung dieser Schwierigkeiten benötigt wird. In jedem Fall beweist die bloße Möglichkeit einer derartigen Interpretation, daß eine exakte, rationale und objektive Beschreibung individueller Systeme auf dem Quantenniveau nicht notwendigerweise unmöglich ist.