Abstract Das auf quantenmechanischen Prozessen basierende Quanten-Annealing ist eine Technologie, die es erlaubt, Energieminimierungsprobleme effizient zu lösen. Durch die Formulierung von Reihenfolgeplanungsproblemen als Energieminimierungsprobleme bieten sich Potenziale einer zeiteffizienten Lösung mittels Quanten-Annealing. Gegenstand dieses Beitrags ist ein Konzept zur Überführung von Reihenfolgeminimierungsproblemen in eine mittels Quanten-Annealing verarbeitbare Problemformulierung.
Abstract Das auf quantenmechanischen Prozessen basierende Quanten-Annealing ist eine Technologie, die es erlaubt, Energieminimierungsprobleme effizient zu lösen. Durch die Formulierung von Reihenfolgeplanungsproblemen als Energieminimierungsprobleme bieten sich Potenziale einer zeiteffizienten Lösung mittels Quanten-Annealing. Gegenstand dieses Beitrags ist ein Konzept zur Überführung von Reihenfolgeminimierungsproblemen in eine mittels Quanten-Annealing verarbeitbare Problemformulierung.
Als erste kommerziell verfugbare Technologie der Quanteninformation ermoglicht die Quanten-Schlusselverteilung eine sichere Datenubertragung indem einzelne Photonen oder quantenmechanisch verschrankte Photonenpaare zur Erzeugung eines Schlussels verwendet werden. Die hierfur benotigten nicht-klassischen Photonen-Zustande konnen durch Halbleiter-Quantenpunkte erzeugt werden. Im Gegensatz zu anderen Quanten-Emittern wie isolierten Atomen, organischen Molekulen oder Fehlstellen in Diamantnanokristallen bieten diese zudem den Vorteil, direkt in komplexe Halbleiter-Mikrostrukturen integriert werden zu konnen. Quantenpunkte sind somit pradestiniert fur die Entwicklung neuartiger optoelektronischer Bauelemente auf einer skalierbaren Technologieplattform.
Vor diesem Hintergrund werden in der vorliegenden Arbeit die Eigenschaften elektrisch gepumpter Quantenpunkt-Mikrostrukturen untersucht. Als optisch aktives Medium dienen dabei selbstorganisierte InAs/GaAs-Quantenpunkte. Die Zielsetzung ist die Erzeugung nicht-klassischen Lichts fur Anwendungen in der Quantenkommunikation, wobei ein besonderer Fokus auf dem elektrischen Betrieb der entsprechenden Quantenlichtquellen liegt. Dabei werden sowohl ausgepragte Resonatoreffekte im Regime der schwachen Licht-Materie-Wechselwirkung ausgenutzt, um helle Einzelphotonenquellen zu realisieren, als auch die Eigenschaften korrelierter Photonenpaare zweier spektral separierter Quantenpunkt-Zustande analysiert. Als Untersuchungsmethode wird in erster Linie die spektral und zeitlich hochauflosende Mikro-Lumineszenz-Spektroskopie bei kryogenen Temperaturen eingesetzt. Zudem erfolgen Experimente zur Photonenstatistik anhand von Messungen der Auto- sowie Kreuzkorrelationsfunktion zweiter Ordnung. Wie im Folgenden aufgefuhrt, gelingt dabei der Bogenschlag von grundlegenden Untersuchungen an Quantenpunkt-Mikrostrukturen bis hin zur erstmaligen Implementierung elektrisch getriggerter Quantenpunkt-Einzelphotonenquellen in realistischen Experimenten zur Quanten-Schlusselverteilung auserhalb einer geschutzten Laborumgebung.
Elektrisch getriggerte Einzelphotonenquellen:
Fur die Erzeugung elektrisch getriggerter, einzelner Photonen wurden Quantenpunkte in Mikroresonatoren eingebettet. Diese basieren auf dotierten, zylindrischen Fabry-Perot Mikrosaulenresonatoren, deren Design bezuglich der Photonen-Auskoppeleffizienz optimiert wurde. […] Anhand von Messungen zur Photonenstatistik konnte fur diese spektral resonant gekoppelten Quantenpunkt-Mikroresonatorsysteme sowohl unter kontinuierlicher- als auch unter gepulst-elektrischer Anregung Einzelphotonen-Emission nachgewiesen werden. […] Anhand einer eingehenden Analyse der Emissionsraten sowie der elektrischen Injektionseffizienzen bei Anregungs-Repetitionsraten von bis zu 220 MHz konnte gezeigt werden, dass die untersuchten Mikroresonatoren zudem als auserst effiziente, elektrisch getriggerte Einzelphotonenquellen eingesetzt werden konnen. Sowohl bezuglich der Einzelphotonen-Emissionsraten von bis zu (47,0+/-6,9) MHz als auch der Gesamteffizienz der Bauteile bis hin zu (34+/-7) % konnten dabei Rekordwerte erzielt werden.
Korrelierte Photonenpaare elektrisch gepumpter Quantenpunkte:
[…]
Quanten-Schlusselverteilung mit elektrisch getriggerten Einzelphotonenquellen:
Ausgehend von den grundlegenden Untersuchungen dieser Arbeit, erfolgte die erstmalige Implementierung elektrisch getriggerter Quantenpunkt-Einzelphotonenquellen in Experimenten zur Quanten-Schlusselverteilung. Basierend auf den eingehend analysierten Quantenpunkt-Mikroresonatoren, wurden dabei zwei Experimente in Freistrahloptik mit unterschiedlichen Ubertragungsdistanzen durchgefuhrt. In beiden Fallen wurde ein BB84-Protokoll nachgeahmt, indem auf die einzelnen Photonen eine feststehende Abfolge von vier unterschiedlichen Polarisationszustanden aufmoduliert wurde. Das erste Experiment, durchgefuhrt im Labormasstab in Wurzburg, basierte auf einem Quantenkanal mit einer Lange von etwa 40 cm und arbeitete bei einer Taktrate von 183 MHz. Die hochste dabei erzielte ausgesiebte Schlusselrate (engl. sifted-key rate) betrug 35,4 kbit/s bei einem Quanten-Bitfehlerverhaltnis (QBER) von 3,8 %. Der Einzelphotonen-Charakter der Emission innerhalb des Quantenkanals konnte jeweils eindeutig nachgewiesen werden […].
Das zweite Experiment zur Quanten-Schlusselverteilung wurde mittels zweier Teleskope uber eine Distanz von 500 m in der Munchner Innenstadt zwischen den Dachern zweier Gebaude der Ludwig-Maximilians-Universitat realisiert. […] Bei einer Taktrate von 125 MHz konnte mit diesem System im Einzelphotonen-Regime eine maximale sifted-key rate von 11,6 kbit/s bei einem QBER von 6,2 % erzielt werden. Diese erstmalige Implementierung elektrisch betriebener, nicht-klassischer Lichtquellen in Experimenten zur Quanten-Schlusselverteilung stellt einen wichtigen Schritt hinsichtlich der Realisierung effizienter und praktikabler Systeme fur die Quantenkommunikation dar.
Alle bisher durchgeführten quantenmechanischen Experimente stimmen mit der Annahme überein, dass die Gesetze der Quantenmechanik auf jedes denkbare System anwendbar sind. Arbeitshypothese der vorliegenden Arbeit ist die Möglichkeit, diese Gesetze auf den Zeitbegriff auszudehnen, und damit auch auf die Art und Weise, in der zwei oder mehr Ereignisse sich gegenseitig kausal beeinflussen können. Dies hätte weitreichende Konsequenzen, da unser Verständnis der Welt auf der Erforschung kausaler Beziehungen zwischen physikalischen Phänomenen beruht. Ziel dieser Arbeit war es daher, die Folgen der Anwendung der Quantenmechanik auf die kausalen Beziehungen zwischen Ereignissen und auf den thermodynamischen Zeitpfeil zu untersuchen. Der erste Teil dieser Arbeit befasst sich mit drei Studien, die unter den Begriff der ``unbestimmten Kausalität'' fallen, also der Vorstellung, dass die kausale Struktur zwischen Ereignissen in quantenmechanische Unbestimmtheit gelangen kann. (Es wird erwartet, dass ein solches Szenario in Systemen auftritt, für die sowohl die Quantenmechanik als auch die Allgemeine Relativitätstheorie relevant sind und in denen die Metrik und folglich die kausale Struktur ``fluktuieren'' kann). In quantenoptischen Experimenten können solche unbestimmten Kausalstrukturen durch Überlagerung von Trajektorien realisiert werden, entlang derer zwei Ereignisse in alternativen Ordnungen auftreten. In diesem Sinne bildet die erste Arbeit in der vorliegenden Dissertation den ersten experimentellen Nachweis der unbestimmten Kausalität eines Prozesses durch die Messung eines `kausalen Zeugen', d.h. eines mathematischen Objekts welches ein bestimmtes Ergebnis erzeugen soll, wenn ein Prozess nicht mit einer definierten kausalen Ordnung übereinstimmt. Anknüpfend an diese erste Studie bezieht sich die zweite Arbeit auf den experimentellen Nachweis einer unbestimmten Kausalität außerhalb des Quantenformalismus. Dies wird erreicht, indem die Unvereinbarkeit der experimentellen Ergebnisse mit einer Klasse verallgemeinerter probabilistischer Theorien gezeigt wird, in denen die Lokalität und definierte zeitliche Ordnungen vorausgesetzt werden. Die als Drittes vorgestellte Arbeit erweitert nunmehr mit der Untersuchung einer Vielzahl von Quantenüberlagerungen von Trajektorien den Beobachtungsbereich über das Konzept der unbestimmten Kausalität hinaus. Es zeigt sich, dass Trajektorien für die Quantensteuerung der Ordnung verschiedener verrauschter Kommunikationskanäle anwendbar sind. Dies bildet jedoch nicht die einzige Konfiguration, in der diese letzteren angeordnet werden können. So wurden in dieser dritten Arbeit verschiedene Möglichkeiten für die Überlagerung zweier Trajektorien durch ein Paar verrauschter Kanäle experimentell verglichen. Es wurde gezeigt, dass alle diese Möglichkeiten die Übertragung von Informationen durch die Kanäle selbst dann ermöglichen, wenn standardmäßige Quantenkommunikationsprotokolle (bei denen sich ein System entlang einer wohldefinierten Trajektorie bewegt) versagen. Der zweite Teil dieser Dissertation umfasst zwei Arbeiten, die sich auf das Gebiet der Quanten- Thermodynamik beziehen. Das Bindeglied zwischen diesem und dem vorherigen Teil der Arbeit findet sich im Konzept des thermodynamischen Zeitpfeils und seiner Richtungsabhängigkeit. Tatsächlich erlaubt es der zweite Hauptsatz der Thermodynamik, eine positive (negative) Entropieänderung in einem thermodynamischen Prozess mit der zeitlichen ``Vorwärts-'' (``Zeitumkehrung'') Richtung zu assoziieren. So wird in der vierten Arbeit dieser Dissertation vorgeschlagen, dass die Quantenmechanik sogar Quantenüberlagerungen zwischen thermodynamischen Prozessen erlaubt, welche zwei entgegengesetzte Entropievariationen ergeben. Damit wird die Existenz von Prozessen mit einem unbestimmten Zeitpfeil ermöglicht. Im Detail konzentriert sich diese Arbeit auf die Frage, ob solche Überlagerungen beobachtbare Konsequenzen haben und wie eine wohldefinierte Zeitachse entsteht, wenn geeignete Messungen der Entropieproduktion durchgeführt werden. In dieser Hinsicht zeigt sich dass, wenn für die Entropieproduktion große Werte (im Absolutbetrag) gemessen werden, dies zu einer effektiven Projektion der Quantenüberlagerung der thermodynamischen Zeitpfeile auf eine wohldefinierte zeitliche Richtung führt. Geht es hingegen um kleinen Entropieproduktionswerte, so spielen Interferenzeffekte eine wichtige Rolle für die Definition der Art des thermodynamischen Prozesses. Sie können beispielsweise zur Beobachtung von Arbeitswahrscheinlichkeitsverteilungen eines Prozesses führen, der stärker oder leichter umkehrbar ist als die einzelnen Prozesse, welche die Überlagerung bilden, oder auch jede klassische Mischung daraus. Die letzte Studie dieser Dissertation schließlich knüpft an die in der vorhergehenden Arbeit verwendeten Methoden an. Bei all den genannten Arbeiten geht es um die Anwendung sogenannter `thermodynamischer Fluktuationssätze'. Mit Hilfe thermodynamischer Fluktuationen wird es möglich, die Differenz der freien Energie zwischen zwei Gleichgewichtszuständen mit der Arbeit an einem System in Beziehung zu setzen, welches aus einem Gleichgewicht getrieben wird. Im Kontext der Quantenmechanik bildet die Definition von Arbeit ein nicht-triviales Konzept. Daher wurde in dieser letzten Arbeit ein einfaches interferometrisches Schema aufgestellt, welches unter Ausnutzung der Fluktuationstheoreme eine direkte Schätzung der Arbeitsverteilung und der durchschnittlichen Arbeit, die während eines isothermischen thermodynamischen Prozesses dissipiert wird, erlaubt. Die Untersuchung unbestimmter Kausalstrukturen und des Zeitpfeils führt zur Erschließung neuer Aufgabenstellungen in der Quanteninformation und der Quantenthermodynamik. Sie ist auch als methodisches Werkzeug für die Entwicklung zukünftiger Quantentheorien der Schwerkraft geeignet. Die theoretische Formulierung und experimentelle Realisierung dahingehender Ansätze, wie sie in der vorliegenden Arbeit unternommen werden, kann zur Grundlage für ein tieferes Verständnis der Rolle der Zeit in den grundlegenden physikalischen Theorien werden. In meinen Augen ist sie von zentraler Bedeutung für künftige konzeptionelle Wendepunkte in der Wissenschaft.
In diesem Überblick beabsichtigen wir nicht, die Theorie des quantenmechanischen Meßprozesses mit allen Beweisen darzustellen. Dazu würde der verfügbare Platz nicht ausreichen. Doch scheint es uns wichtig, die physikalischen Probleme auf diesem Gebiet aufgrund des gegenwärtigen Standes der Forschung gerade ohne den Ballast der mathematischen Beweise zusammenhängend darzustellen, um so mehr, als man den Eindruck haben kann, daß manche Probleme gar nicht in ihrer Tiefe gesehen werden, so daß leicht dort etwas oberflächliche Antworten stehen bleiben, wo es tatsächlich notwendig wäre, den physikalischen Sachverhalt noch weiter zu klären. Es soll daher versucht werden, diesen allgemein zu analysieren und eine mögliche Lösung des Problems zu schildern. Auf diesem Wege ist weniges durch Beweise gesichert und vieles nur vermutet, von dem aber zu hoffen ist, daß sich die Vermutungen mit der Zeit Schritt für Schritt exakt begründen lassen werden. Somit stellt dieser Artikel gleichzeitig eine Aufforderung dar, auf diesem Gebiete zu arbeiten.
Die vorliegende Arbeit hatte das Ziel basierend auf Halbleiternanostrukturen eine effiziente und skalierbare Quelle einzelner und ununterscheidbarer Photonen zu entwickeln. Dies ist eine Basiskomponente von zukünftigen quantenphysikalischen Anwendungen wie der Quantenkommunikation oder dem Quantencomputer. Diese Konzepte nutzen gezielt quantenmechanische Systeme um einerseits Kommunikation absolut abhörsicher zu machen oder um neuartige Computer zu konstruieren, die bestimmte Aufgaben - wie die Produktzerlegung großer Zahlen - effizienter lösen als heutige Systeme. Ein mögliche Realisierung der Quantenkommunikation ist beispielsweise die Schlüsselverteilung zwischen zwei Parteien durch Verwendung des BB84-Protokolls. Dazu wird eine Lichtquelle benötigt, welche die physikalisch kleinstmögliche Lichtmenge - ein einzelnes Photon - aussendet. Der Kommunikationskanal wird dann über verschiedene Polarisationszustände dieser Photonen gegen ein Abhören nach außen hin abgesichert. Da die maximale Kommunikationsdistanz aufgrund von Verlusten im Quantenkanal beschränkt ist, muss das Signal für größere Distanzen mit Hilfe eines sog. Quantenrepeaters aufbereitet werden. Ein solcher kann ebenfalls unter Verwendung von Einzelphotonenquellen realisiert werden. Das Konzept des Quantenverstärkers stellt aber die zusätzliche Anforderung an die Einzelphotonenquelle, dass die ausgesendeten Lichtteilchen in der Summe ihrer Eigenschaften wie Energie und Polarisation immer gleich und somit ununterscheidbar sein müssen. Auf Basis solcher ununterscheidbarer Photonen gibt es zudem mit dem linear optischen Quantenrechner auch mögliche theoretische Ansätze zur Realisierung eines Quantencomputers. Dabei kann über die Quanteninterferenz von ununterscheidbaren Photonen an optischen Bauteilen wie Strahlteilern ein Quanten-NOT-Gatter zur Berechnung spezieller Algorithmen realisiert werden. Als vielversprechende Kandidaten für eine solche Lichtquelle einzelner Photonen haben sich in den letzten Jahren Halbleiter-Quantenpunkte herauskristallisiert. Dank des festkörperbasierten Ansatzes können diese Strukturen in komplexe photonische Umgebungen zur Erhöhung der Photonen-Extraktionseffizienz und -Emissionsrate eingebettet werden. Ziel dieser Arbeit war somit eine effiziente Quelle einzelner ununterscheidbarer Photonen zu realisieren. Im Hinblick auf die spätere Anwendbarkeit wurde der Fokus zudem auf die skalierbare bzw. deterministische Fabrikation der Quantenpunkt-Strukturen gelegt und zwei technologische Ansätze - die kryogene in-situ-Lithographie und das positionierte Wachstum von Quantenpunkten - untersucht. Im ersten experimentellen Kapitel dieser Arbeit wird ein neuartiges Materialsystem vorgestellt, welches sich zur Generation einzelner Photonen eignet. Es können spektral scharfe Emissionslinien mit Linienbreiten bis knapp über 50 µeV aus Al0,48In0,52As Volumenmaterial beobachtet werden, wenn diese Schicht auf InP(111) Substraten abgeschieden wird. In Querschnitt-Rastertunnelmikroskopie-Messungen wurden ca. 16 nm große Cluster, welche eine um ungefähr 7 % höhere Indiumkonzentration im Vergleich zur nominellen Zusammensetzung des Volumenmaterials besitzen, gefunden. Über die Simulation dieser Strukturen konnten diese als Quelle der spektral scharfen Emissionslinien identifiziert werden. Zudem wurde mittels Auto- und Kreuzkorrelationsmessungen nachgewiesen, dass diese Nanocluster einzelne Photonen emittieren und verschieden geladene exzitonische und biexzitonische Ladungsträgerkomplexe binden können. Anschließend wurde der Fokus auf InGaAs-Quantenpunkte gelegt und zunächst im Rahmen einer experimentellen und theoretischen Gemeinschaftsarbeit die Kohärenzeigenschaften eines gekoppelten Quantenpunkt-Mikrokavität-Systems untersucht. Über temperaturabhängige Zwei-Photonen Interferenz Messungen und dem Vergleich mit einem mikroskopischen Modell des Systems konnten gezielt die Bestandteile der Quantenpunkt-Dephasierung extrahiert werden. Auf diesen Ergebnissen aufbauend wurde die gepulste, strikt resonante Anregung von Quantenpunkten als experimentelle Schlüsseltechnik etabliert. Damit konnten bei tiefen Temperaturen nahezu vollständig ununterscheidbare Photonen durch eine Zwei-Photonen Interferenz Visibilität von über 98 % nachgewiesen werden. Für ein skalierbares und deterministisches Quantenpunkt-Bauelement ist entweder die Kontrolle über die Position an welcher der Quantenpunkt gewachsen wird nötig, oder die Position an der eine Mikrokavität geätzt wird muss auf die Position eines selbstorganisiert gewachsenen Quantenpunktes abgestimmt werden. Im weiteren Verlauf werden Untersuchungen an beiden technologischen Ansätzen durchgeführt. Zunächst wurde der Fokus auf positionierte Quantenpunkte gelegt. Mittels in das Substrat geätzter Nanolöcher wird der Ort der Quantenpunkt-Nukleation festgelegt. Durch die geätzten Grenzflächen in Quantenpunkt-Nähe entstehen jedoch auch Defektzustände, die negativen Einfluss auf die Kohärenz der Quantenpunkt-Emission nehmen. Deshalb wurde an diesem Typus von Quantenpunkten die strikt resonante Anregung etabliert und zum ersten Mal die kohärente Kopplung des Exzitons an ein resonantes Lichtfeld demonstriert. Zudem konnte die deterministische Kontrolle der Exzitonbesetzung über den Nachweis einer Rabi-Oszillation gezeigt werden. Abschließend wird das Konzept der kryogenen in-situ-Lithographie vorgestellt. Diese erlaubt die laterale Ausrichtung der Mikrokavität an die Position eines selbstorganisiert gewachsenen Quantenpunktes. Damit konnte gezielt die Emission eines zuvor ausgewählten, spektral schmalen Quantenpunktes mit nahezu 75 % Gesamteffizienz eingesammelt werden. Die Ununterscheidbarkeit der Quantenpunkt-Photonen war dabei mit einer Zwei-Photonen Interferenz Visibilität von bis zu ν=(88±3)% sehr hoch. Damit wurde im Rahmen dieser Arbeit eine Einzelphotonenquelle realisiert, aus der sich sehr effizient kohärente Photonen auskoppeln lassen, was einen wichtigen Schritt hin zur deterministischen Fabrikation von Lichtquellen für quantenphysikalischen Anwendungen darstellt.
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].