Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Eine musterbasierte Methode für die Entwicklung und den Betrieb hybrider Quantenanwendungen

Martin Beisel

Published Jan 1, 2025• 0 citations
Publisher

Abstract

Quantencomputer ermöglichen es, bestimmte Berechnungen schneller, genauer und energieeffizienter durchzuführen als klassische Computer, indem sie quantenmechanische Phänomene ausnutzen. Da die Umsetzung der meisten Quantenalgorithmen allerdings Operationen benötigt für die Quantencomputer ungeeignet sind, z. B. Datenbankzugriffe, werden Quantencomputer typischerweise als Spezialprozessoren in hybriden Quantenanwendungen verwendet. Die Entwicklung und der Betrieb dieser hybriden Anwendungen sind komplex und erfordern eine enge interdisziplinäre Zusammenarbeit. Dabei wird tiefgreifendes Wissen aus unterschiedlichen Domänen benötigt, beispielsweise aus der Mathematik, Physik und Softwareentwicklung. Zusätzlich wird die Entwicklung und der Betrieb von Quantenanwendungen durch weitere Faktoren erschwert: (i) Die aktuelle Quantensoftwarelandschaft und die verfügbaren Quanten-Clouddienste, die Zugriff auf unterschiedliche Quantencomputer geben, sind sehr heterogen. (ii) Die schnellen Fortschritte im Quanten-Software-Engineering führen zur Einführung neuer Techniken, welche die Ausführung von Quantenschaltkreisen verbessern können, allerdings aktuell eine komplexe, manuelle Integration erfordern. (iii) Das Fehlen geeigneter Abstraktionsebenen führt dazu, dass die Entwicklung von Quantenanwendungen, insbesondere für Entwickler, die wenig Erfahrung mit Quantencomputing haben, zeitaufwändig und fehleranfällig ist. Um diese Probleme zu lösen, wird in dieser Arbeit die PASTA-Methode präsentiert. Diese basiert auf der Quantencomputingmustersprache, welche etablierte Konzepte und Best Practices in der Quantencomputingdomäne intuitiv verständlich dokumentiert, und stellt einen ganzheitlichen Prozess für diemusterbasierten Entwicklung und den Betrieb von Quantenanwendungen vor. Die Methode beinhaltet alle notwendigen Schritte von der Auswahl der zu verwendenden Quantencomputingmuster, über die Generierung der ausführbaren Quantenanwendung auf Basis wiederverwendbarer Lösungen sowie die Bereitstellung der erforderlichen Softwareartefakte, bis hin zur Überwachung und Analyse der Ausführung hybrider Quantenanwendungen. Zur Umsetzung der PASTA-Methode wird im Rahmen dieser Arbeit die Quantencomputingmustersprache um mehrere Muster erweitert, welche Best Practices für den Betrieb von hybriden Quantenanwendungen sowie etablierte Methoden zur Abschwächung und Korrektur von Quantenfehlern dokumentieren. Um die vom Nutzer ausgewählten Muster in einen ausführbaren Quantenworkflow transformieren zu können, werden eine Vielzahl neuer Workflowmodellierungskonstrukte eingeführt, welche die Spezifikation verschiedener, häufig auftretender Aktivitäten in Quantenworkflows vereinfachen. Weiterhin wird ein Ansatz für die automatische und dynamische Bereitstellung von hybriden Quantenanwendungen auf Grundlage von Nutzeranforderungen vorgestellt. Auf diesen Konzepten aufbauend werden neue Sichten auf Quantenworkflows eingeführt, welche die Überwachung und Analyse von hybriden Quantenanwendungen vereinfachen. Die Sichten ermöglichen es unterschiedlichen Nutzergruppen, wie beispielsweise Quantenexperten und dem Betriebspersonal, Quantenanwendungen auf verschiedenen Abstraktionsebenen zu analysieren und bieten zusätzliche, für die jeweilige Nutzergruppe relevante Informationen. Zur Demonstration der praktischen Umsetzbarkeit der PASTA-Methode wird das PASTA-Framework eingeführt, welches die in dieser Arbeit eingeführten Konzepte prototypisch implementiert. Die Nutzbarkeit der Methode und des Frameworks werden anhand mehrerer Anwendungsfälle evaluiert, für welche eine Laufzeitanalyse sowie eine Nutzerstudie durchgeführt wird.

DOI
10.18419/opus-17523

Related papers

Mustererstellung für Quantenalgorithmen in einem Musterrepository

Martin Beisel

Muster werden in unterschiedlichsten Domänen zur Dokumentation von häufig wiederkehrenden Problemen verwendet. Zumeist arbeiten mehrere Musterautoren kollaborativ an dem Identifikations- und Erstellungsprozess einer Mustersprache. Die Dokumentation der Muster erfolgt entweder klassisch in einem Buch oder Paper oder in einem Musterrepository. Ein Repository bietet den Vorteil, dass es einfach angepasst und erweitert werden kann. Mit der steigenden Relevanz des Quantencomputings wurde es immer wichtiger, dass Entwickler Quantenalgorithmen effizient erstellen können. Um dies zu erreichen wurden häufig wiederkehrende Probleme aufgefasst und in den ersten Quantencomputing-Mustern dokumentiert. Da sich die Quantencomputing-Domäne momentan sehr schnell entwickelt, sollen die Muster erweitert und beim Erlangen neuer Erkenntnisse angepasst werden. Im Rahmen dieser Masterarbeit wurde analysiert, welche spezifischen Anforderungen Quantencomputing-Muster an ein Musterrepository haben. Insbesondere das Darstellen, Bearbeiten und Diskutieren von Quantenartefakten, wie mathematischen Formeln, Quantenschaltungen und konkreten Implementierungen, wurde als essentiell identifiziert. Auf Basis dieser Anforderungen und der allgemeinen Richtlinien zum Mustererstellungsprozess wurde ein Konzept für ein Quantencomputing-Musterrepository entwickelt, welches im Pattern Atlas als Prototyp umgesetzt wurde.

•Jan 1, 2020•0 citations

Zur Lösung von zahlentheoretischen Problemen mit klassischen und Quantencomputern

Schmidt, Arthur

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].

•Jan 1, 2008•1 citation

Necessary knowledge to use a quantum computer

Martin Schweighofer

Diese Arbeit beschäftigt sich mit der Thematik der Verwendung von Quantencomputer. Die Hauptziele bilden dabei die Ermittlung des Minimum-Wissens zur Verwendung eines Quantencomputers, wobei das Verständnis gegenüber Quantenalgorithmen als Verwendung angesehen wird. Das zweite Ziel ist festzustellen, wann welches Wissen benötigt wird. Dadurch soll ein Überblick geschaffen werden und ersichtlich sein welche Themengebiete voneinander abhängig sind. Durch Literaturrecherche wurden die wichtigsten Themenbegriffe ermittelt und stetig mit der Dokumentation eines Praxisprojektes von Studierenden des Studienganges Informationsmanagement 2018 verglichen. Diese Projektarbeit beschäftigte sich mit der Evaluierung einer Plattform, wodurch Quantencomputer über das Internet erreicht werden können. Basierend auf den Ergebnissen der Recherche und Vergleiche entsteht eine Landkarte des Wissens in der Form einer Concept Map. Diese unterteilt sich in zwei Versionen wobei Version 2 eine Erweiterung der ersten darstellt. In der ersten Version sind alle Begriffe inkludiert, die im ersten Arbeitspaket des Praxisprojektes benötigt wurden um ein Grundverständnis zu entwickeln. Die zweite Version der Concept Map bildet die Finale Version und alle Erkenntnisse ab. Dabei werden alle Begriffe zum Verständnis für Quantenalgorithmen eingearbeitet. Mithilfe dieser Concept Map, ist es möglich das Minimum-Wissen anhand wichtiger Begrifflichkeiten zu extrahieren. Durch die gerichteten Beziehungen zwischen den Begriffen ist es möglich zu erkennen, welche Themen voneinander abhängig sind und daher festzustellen, welches Thema wann wichtig ist.

•Jan 1, 2021•0 citations

Sounding Qubits. Music Information Retrieval Using Hybrid Classical-Quantum Systems

Harald Hubinger

Das rasante Wachstum des maschinellen Lernens und der zu verarbeitenden Datenmengen hat den Bedarf an Rechenressourcen stark erhöht - zu einer Zeit, in der die Entwicklung klassischer Hardware an physikalische Grenzen stößt. Das Quantencomputing, mit seinem Potenzial für neue Formen der Parallelisierung und algorithmischen Beschleunigung, hat sich daher zu einem vielversprechenden Kandidaten entwickelt, um klassische Methoden zu ergänzen. In diesem Kontext zielt das Quantenmaschinelle Lernen darauf ab, Quanteneffekte zu nutzen, um die Ausdruckskraft und Effizienz von Modellen zu steigern.Die vorliegende Arbeit beschäftigt sich mit der Komponistenklassifikation auf Basis symbolischer Musikdaten von Live-Aufführungen und untersucht, wie Ansätze des hybriden Quantencomputings darauf angewendet werden können. Wir vergleichen strukturell unterschiedliche Methoden zur Merkmalsextraktion aus symbolischen Musikdaten, darunter an die natürliche Sprachverarbeitung angelehnte Verfahren, Graph-Einbettungen sowie musiktheoretisch fundierte statistische Verfahren, zunächst im Bereich des klassischen maschinellen Lernens. Während sich die Graph-Einbettung für unser Live-Aufführungsdaten als ungeeignet erweist, liefern die beiden anderen Ansätze starke klassische Referenzmodelle, und es gelingt uns, ein nicht reproduzierbares Verfahren aus der Literatur zu verbessern und damit konkurrenzfähige Ergebnisse zu erzielen.Auf dieser Grundlage evaluieren wir systematisch zwei Klassen von Quantenklassifikatoren - variationale Quantenschaltkreise und Quanten-Support-Vector-Machines - unter Verwendung einer simulierten Quantenrechenumgebung. Wir analysieren ihre Leistung im Verhältnis zu den klassischen Referenzmodellen sowie ihre Empfindlichkeit gegenüber verschiedenen Parametereinstellungen.Unsere Quantenmodelle können klassische Verfahren derezeit nicht übertreffen. Sie weisen jedoch charakteristische Muster von Unteranpassung und Überanpassung aufweisen, die wertvolle Hinweise für die Gestaltung zukünftiger hybrider Systeme liefern können. Zudem beobachten wir deutliche Leistungsunterschiede in Abhängigkeit von der Methode der klassischen Merkmalsextraktion.Wir legen eine Fallstudie vor, die Komponistenklassifikation in einem hybriden klassisch–quantischen Setup implementiert. Unsere Ergebnisse leisten einen Beitrag zum Verständnis des Verhaltens, der Grenzen und des Potenzials quantenmaschineller Lernmodelle im Bereich der Informationsextraktion aus Musikdaten.

•Dec 1, 2025•0 citations

Competence analysis quantum computer

Florian Gartner

Quantencomputer besitzen das Potenzial, um in naher Zukunft Probleme, die mit herkömmlichen Computern und Supercomputern nicht bewältigbar sind, zu lösen. Bisher ist die Umsetzung dieser Technologie in der Industrie noch in der Anfangsphase, wodurch der Einsatz von Quantencomputern bisher nur für Forschungsprojekte möglich ist. Dennoch ermöglichen es große IT-Unternehmen, interessierten Personen einen indirekten Zugang zu Quantencomputern über deren Services. Da die Technologien und Konzepte, auf denen Quantencomputern basieren, sehr umfangreich und komplex sind, ist es für interessierte Personen, die sich in diese neue Materie vertiefen wollen, oft schwierig, die Hauptkonzepte, die benötigt werden, um Quantencomputern zu verstehen, zu identifizieren und somit ein Grundverständnis von Quantencomputern zu erlangen. Aus diesem Grund besteht der Hauptzweck dieser Arbeit darin, die benötigten Grundkonzepte und Themen auf denen Quantencomputer aufbauen, zu identifizieren und auszuarbeiten. Hierfür werden die Konzepte von bekannten Lehrbüchern im Bereich Quantencomputer herangezogen und systematisch nach deren Wichtigkeit für das Verständnis von Quantencomputern gegliedert, aufgelistet und ausgearbeitet. Für den praktischen Teil der Arbeit werden zwei Quantenbeispiele anhand des zuvor erarbeiteten Wissens beschrieben und erweitert. Die zuvor identifizierten und beschriebenen Grundkonzepte werden anschließend grafisch mittels einer Concept-Map dargestellt, diese bietet einen systematischen Überblick über die einzelnen Konzepte und deren Abhängigkeiten zueinander. Der Vorteil in der Darstellung von Wissen mittels einer Concept-Map besteht darin, dass die Visualisierung der Verbindungen zwischen den einzelnen Konzepten hervorgehoben wird. Zusätzlich wird auf Basis des erarbeiteten Wissens ein Beispiel-Curriculum für eine Lehrveranstaltung, die das Ziel hat, die Grundkonzepte von Quantencomputern zu vermitteln, erstellt. Das Ergebnis dieser Arbeit zeigt, dass die Konzepte, auf denen Quantencomputer aufbauen, in drei Grundkompetenzen unterteilt werden können. Zum einen die Kompetenz der linearen Algebra, in dem die meisten Konzepte und Themen bereits in einem vorangegangenen Studium behandelt wurden. Zum anderen die der Informatik-Konzepte, wobei hier wie bei der linearen Algebra das Verständnis im Bereich der Programmierung angenommen werden kann. Die Kompetenz der Quantenmechanik stützt sich auf die Konzepte, die von Quantencomputern genutzt wird und auf die Kompetenzen und das Wissen der beiden anderen Kompetenzen. Zusammenfassend zeigt diese Arbeit, dass für das reine Verständnis von Quantencomputern und dem Replizieren von bereits erstellten Quantenalgorithmen eine große Anzahl an unterschiedlichen Konzepten benötigt wird. Für die Fähigkeit der Entwicklung von eigenen Quantenalgorithmen reicht das erarbeitet Wissen nicht aus, sondern wird als Grundwissen angesehen.

•Jan 1, 2023•0 citations

Entwicklung und Aufbau hybrider Quantensysteme für Quantencomputing und Metrologie

Florian Peter Jessen

Die Verknüpfung von Qubits gehört zu den aktuellen Herausforderungen der Quantentechnologie. Dies betrifft einerseits Systeme, die weit voneinander entfernt sind, als auch hybride Systeme, in denen unterschiedliche Realisierungen der Qubits ihre individuellen Stärken ausspielen und anschließend den Quantenzustand auf einen anderen Typ übertragen sollen. In dieser Arbeit wird ein Mischcryostat vorgestellt, der Supraleiter auf Temperaturen unterhalb hundert Millikelvin abkühlen kann und zugleich eine Apparatur zur Präparation von ultrakalten Atomen enthält. Es konnte gezeigt werden, dass es möglich ist, ultrakalte Atomwolken in dieser Umgebung zu präparieren und zu manipulieren. Im nächsten Schritt müssen die Atomwolken in die Millikelvin-Umgebung transportiert und an einen Chip mit funktionalen supraleitenden Elementen herangeführt werden. Zwar steht die Demonstration des Austausches von Quanteninformation noch aus, dennoch stellt dies einen bedeutenden Schritt in Richtung eines hybriden Quantensystems dar. Es ist von zentraler Bedeutung, den Wärmeeintrag in die Millikelvinumgebung zu minimieren. Gleichzeitig erfordern die typischen magnetischen Fallenpotentiale Ströme im Bereich einiger Ampere. Konventionelle Spulen aus supraleitenden Drähten erzeugen zwar keine Heizleistung, allerdings verbleibt ein Wärmeeintrag durch Wärmeleitung. Einen Ausweg bieten geschlossene supraleitende Schleifen, die von einem permanenten Strom durchflossen werden. In dieser Arbeit wurde die Idee der Baseball-Falle aufgegriffen, die mit einem einzelnen Strompfad eine vollständige Falle realisiert. Dies wurde in einem zweiten System mit einer supraleitenden Schleife umgesetzt. Eine zusätzlich angebrachte konventionelle Spule koppelt magnetischen Fluss in die Schleife ein, wodurch der permanente Strom moduliert werden kann. Diese Spule kann sich an einer anderen Temperaturstufe des Cryostaten befinden, so dass auch die Wärmeleitung unterbunden wird. Als Vermittler zwischen unterschiedlichen Qubits können Rydberg-Atome eine Schlüsselrolle einnehmen, da ihr Anregungsspektrum einen weiten Frequenzbereich überdeckt. Ihre Sensitivität gegenüber elektrischen Feldern erfordert allerdings eine sorgfältige Betrachtung der Umgebung und ggf. eine Abschirmung oder Kompensation der Störfelder. In der vorliegenden Arbeit wurde ein Referenzsystem aufgebaut, an dem die absoluten Übergangsfrequenzen mit verbesserter Genauigkeit ermittelt und der Einfluss externer Felder untersucht wurden. Auf dieser Basis können nun die Korrekturen vorgenommen werden. Als Referenz für die Frequenzmessungen dient bislang ein Mikrowellenübergang. Verwendet man stattdessen einen optischen Übergang, so wird die Zeit in kleinere Abschnitte unterteilt und somit die Unsicherheit reduziert. Diese optischen Uhren aus neutralen Atomen haben bislang den Nachteil, dass die Messung destruktiv erfolgt. Durch die erneute Präparation steht die Uhr nur einen Bruchteil der Zeit zur Verfügung. Hier wurde ein Konzept erarbeitet, das den Betrieb einer kontinuierlichen optischen Uhr ermöglichen soll. Die erste Stufe der Präparation eines Ensembles ultrakalter Atome konnte bereits demonstriert werden. Im weiteren Verlauf ist eine zweite Präparationsstufe, sowie eine Spektroskopie erforderlich. Letztendlich ist die Anbindung des bestehenden Frequenzkamms geplant, um die erhöhte Genauigkeit auch auf andere Frequenzbereiche zu übertragen. Die erzielten Erkenntnisse tragen zur Weiterentwicklung der Quantentechnologien bei. Einerseits bieten sie die Perspektive Quanteninformationsverarbeitung mit hybriden Systemen aus Supraleitern und ultrakalten Atomen durchzuführen. Dabei kann die optische Schnittstelle mehrere derartige Systeme auch über große Entfernungen miteinander verknüpfen und so die Vision eines Quanten-Internets wahr werden lassen. Optische Uhren werden in absehbarer Zeit die Cäsium-Uhren zur Definition der Sekunde ablösen. Ihre hohe Sensitivität lässt neue Anwendungen in der Metrologie, Geodäsie oder auch Astronomie erwarten.

•Jul 9, 2018•0 citations
Quantencomputer ermöglichen es, bestimmte Berechnungen schneller, genauer und energieeffizienter durchzuführen als klassische Computer, indem sie quantenmechanische Phänomene ausnutzen. Da die Umsetzung der meisten Quantenalgorithmen allerdings Operationen benötigt für die Quantencomputer ungeeignet sind, z. B. Datenbankzugriffe, werden Quantencomputer typischerweise als Spezialprozessoren in hybriden Quantenanwendungen verwendet. Die Entwicklung und der Betrieb dieser hybriden Anwendungen sind komplex und erfordern eine enge interdisziplinäre Zusammenarbeit. Dabei wird tiefgreifendes Wissen aus unterschiedlichen Domänen benötigt, beispielsweise aus der Mathematik, Physik und Softwareentwicklung. Zusätzlich wird die Entwicklung und der Betrieb von Quantenanwendungen durch weitere Faktoren erschwert: (i) Die aktuelle Quantensoftwarelandschaft und die verfügbaren Quanten-Clouddienste, die Zugriff auf unterschiedliche Quantencomputer geben, sind sehr heterogen. (ii) Die schnellen Fortschritte im Quanten-Software-Engineering führen zur Einführung neuer Techniken, welche die Ausführung von Quantenschaltkreisen verbessern können, allerdings aktuell eine komplexe, manuelle Integration erfordern. (iii) Das Fehlen geeigneter Abstraktionsebenen führt dazu, dass die Entwicklung von Quantenanwendungen, insbesondere für Entwickler, die wenig Erfahrung mit Quantencomputing haben, zeitaufwändig und fehleranfällig ist. Um diese Probleme zu lösen, wird in dieser Arbeit die PASTA-Methode präsentiert. Diese basiert auf der Quantencomputingmustersprache, welche etablierte Konzepte und Best Practices in der Quantencomputingdomäne intuitiv verständlich dokumentiert, und stellt einen ganzheitlichen Prozess für diemusterbasierten Entwicklung und den Betrieb von Quantenanwendungen vor. Die Methode beinhaltet alle notwendigen Schritte von der Auswahl der zu verwendenden Quantencomputingmuster, über die Generierung der ausführbaren Quantenanwendung auf Basis wiederverwendbarer Lösungen sowie die Bereitstellung der erforderlichen Softwareartefakte, bis hin zur Überwachung und Analyse der Ausführung hybrider Quantenanwendungen. Zur Umsetzung der PASTA-Methode wird im Rahmen dieser Arbeit die Quantencomputingmustersprache um mehrere Muster erweitert, welche Best Practices für den Betrieb von hybriden Quantenanwendungen sowie etablierte Methoden zur Abschwächung und Korrektur von Quantenfehlern dokumentieren. Um die vom Nutzer ausgewählten Muster in einen ausführbaren Quantenworkflow transformieren zu können, werden eine Vielzahl neuer Workflowmodellierungskonstrukte eingeführt, welche die Spezifikation verschiedener, häufig auftretender Aktivitäten in Quantenworkflows vereinfachen. Weiterhin wird ein Ansatz für die automatische und dynamische Bereitstellung von hybriden Quantenanwendungen auf Grundlage von Nutzeranforderungen vorgestellt. Auf diesen Konzepten aufbauend werden neue Sichten auf Quantenworkflows eingeführt, welche die Überwachung und Analyse von hybriden Quantenanwendungen vereinfachen. Die Sichten ermöglichen es unterschiedlichen Nutzergruppen, wie beispielsweise Quantenexperten und dem Betriebspersonal, Quantenanwendungen auf verschiedenen Abstraktionsebenen zu analysieren und bieten zusätzliche, für die jeweilige Nutzergruppe relevante Informationen. Zur Demonstration der praktischen Umsetzbarkeit der PASTA-Methode wird das PASTA-Framework eingeführt, welches die in dieser Arbeit eingeführten Konzepte prototypisch implementiert. Die Nutzbarkeit der Methode und des Frameworks werden anhand mehrerer Anwendungsfälle evaluiert, für welche eine Laufzeitanalyse sowie eine Nutzerstudie durchgeführt wird.
Muster werden in unterschiedlichsten Domänen zur Dokumentation von häufig wiederkehrenden Problemen verwendet. Zumeist arbeiten mehrere Musterautoren kollaborativ an dem Identifikations- und Erstellungsprozess einer Mustersprache. Die Dokumentation der Muster erfolgt entweder klassisch in einem Buch oder Paper oder in einem Musterrepository. Ein Repository bietet den Vorteil, dass es einfach angepasst und erweitert werden kann. Mit der steigenden Relevanz des Quantencomputings wurde es immer wichtiger, dass Entwickler Quantenalgorithmen effizient erstellen können. Um dies zu erreichen wurden häufig wiederkehrende Probleme aufgefasst und in den ersten Quantencomputing-Mustern dokumentiert. Da sich die Quantencomputing-Domäne momentan sehr schnell entwickelt, sollen die Muster erweitert und beim Erlangen neuer Erkenntnisse angepasst werden. Im Rahmen dieser Masterarbeit wurde analysiert, welche spezifischen Anforderungen Quantencomputing-Muster an ein Musterrepository haben. Insbesondere das Darstellen, Bearbeiten und Diskutieren von Quantenartefakten, wie mathematischen Formeln, Quantenschaltungen und konkreten Implementierungen, wurde als essentiell identifiziert. Auf Basis dieser Anforderungen und der allgemeinen Richtlinien zum Mustererstellungsprozess wurde ein Konzept für ein Quantencomputing-Musterrepository entwickelt, welches im Pattern Atlas als Prototyp umgesetzt wurde.
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].
Diese Arbeit beschäftigt sich mit der Thematik der Verwendung von Quantencomputer. Die Hauptziele bilden dabei die Ermittlung des Minimum-Wissens zur Verwendung eines Quantencomputers, wobei das Verständnis gegenüber Quantenalgorithmen als Verwendung angesehen wird. Das zweite Ziel ist festzustellen, wann welches Wissen benötigt wird. Dadurch soll ein Überblick geschaffen werden und ersichtlich sein welche Themengebiete voneinander abhängig sind. Durch Literaturrecherche wurden die wichtigsten Themenbegriffe ermittelt und stetig mit der Dokumentation eines Praxisprojektes von Studierenden des Studienganges Informationsmanagement 2018 verglichen. Diese Projektarbeit beschäftigte sich mit der Evaluierung einer Plattform, wodurch Quantencomputer über das Internet erreicht werden können. Basierend auf den Ergebnissen der Recherche und Vergleiche entsteht eine Landkarte des Wissens in der Form einer Concept Map. Diese unterteilt sich in zwei Versionen wobei Version 2 eine Erweiterung der ersten darstellt. In der ersten Version sind alle Begriffe inkludiert, die im ersten Arbeitspaket des Praxisprojektes benötigt wurden um ein Grundverständnis zu entwickeln. Die zweite Version der Concept Map bildet die Finale Version und alle Erkenntnisse ab. Dabei werden alle Begriffe zum Verständnis für Quantenalgorithmen eingearbeitet. Mithilfe dieser Concept Map, ist es möglich das Minimum-Wissen anhand wichtiger Begrifflichkeiten zu extrahieren. Durch die gerichteten Beziehungen zwischen den Begriffen ist es möglich zu erkennen, welche Themen voneinander abhängig sind und daher festzustellen, welches Thema wann wichtig ist.
Das rasante Wachstum des maschinellen Lernens und der zu verarbeitenden Datenmengen hat den Bedarf an Rechenressourcen stark erhöht - zu einer Zeit, in der die Entwicklung klassischer Hardware an physikalische Grenzen stößt. Das Quantencomputing, mit seinem Potenzial für neue Formen der Parallelisierung und algorithmischen Beschleunigung, hat sich daher zu einem vielversprechenden Kandidaten entwickelt, um klassische Methoden zu ergänzen. In diesem Kontext zielt das Quantenmaschinelle Lernen darauf ab, Quanteneffekte zu nutzen, um die Ausdruckskraft und Effizienz von Modellen zu steigern.Die vorliegende Arbeit beschäftigt sich mit der Komponistenklassifikation auf Basis symbolischer Musikdaten von Live-Aufführungen und untersucht, wie Ansätze des hybriden Quantencomputings darauf angewendet werden können. Wir vergleichen strukturell unterschiedliche Methoden zur Merkmalsextraktion aus symbolischen Musikdaten, darunter an die natürliche Sprachverarbeitung angelehnte Verfahren, Graph-Einbettungen sowie musiktheoretisch fundierte statistische Verfahren, zunächst im Bereich des klassischen maschinellen Lernens. Während sich die Graph-Einbettung für unser Live-Aufführungsdaten als ungeeignet erweist, liefern die beiden anderen Ansätze starke klassische Referenzmodelle, und es gelingt uns, ein nicht reproduzierbares Verfahren aus der Literatur zu verbessern und damit konkurrenzfähige Ergebnisse zu erzielen.Auf dieser Grundlage evaluieren wir systematisch zwei Klassen von Quantenklassifikatoren - variationale Quantenschaltkreise und Quanten-Support-Vector-Machines - unter Verwendung einer simulierten Quantenrechenumgebung. Wir analysieren ihre Leistung im Verhältnis zu den klassischen Referenzmodellen sowie ihre Empfindlichkeit gegenüber verschiedenen Parametereinstellungen.Unsere Quantenmodelle können klassische Verfahren derezeit nicht übertreffen. Sie weisen jedoch charakteristische Muster von Unteranpassung und Überanpassung aufweisen, die wertvolle Hinweise für die Gestaltung zukünftiger hybrider Systeme liefern können. Zudem beobachten wir deutliche Leistungsunterschiede in Abhängigkeit von der Methode der klassischen Merkmalsextraktion.Wir legen eine Fallstudie vor, die Komponistenklassifikation in einem hybriden klassisch–quantischen Setup implementiert. Unsere Ergebnisse leisten einen Beitrag zum Verständnis des Verhaltens, der Grenzen und des Potenzials quantenmaschineller Lernmodelle im Bereich der Informationsextraktion aus Musikdaten.
Quantencomputer besitzen das Potenzial, um in naher Zukunft Probleme, die mit herkömmlichen Computern und Supercomputern nicht bewältigbar sind, zu lösen. Bisher ist die Umsetzung dieser Technologie in der Industrie noch in der Anfangsphase, wodurch der Einsatz von Quantencomputern bisher nur für Forschungsprojekte möglich ist. Dennoch ermöglichen es große IT-Unternehmen, interessierten Personen einen indirekten Zugang zu Quantencomputern über deren Services. Da die Technologien und Konzepte, auf denen Quantencomputern basieren, sehr umfangreich und komplex sind, ist es für interessierte Personen, die sich in diese neue Materie vertiefen wollen, oft schwierig, die Hauptkonzepte, die benötigt werden, um Quantencomputern zu verstehen, zu identifizieren und somit ein Grundverständnis von Quantencomputern zu erlangen. Aus diesem Grund besteht der Hauptzweck dieser Arbeit darin, die benötigten Grundkonzepte und Themen auf denen Quantencomputer aufbauen, zu identifizieren und auszuarbeiten. Hierfür werden die Konzepte von bekannten Lehrbüchern im Bereich Quantencomputer herangezogen und systematisch nach deren Wichtigkeit für das Verständnis von Quantencomputern gegliedert, aufgelistet und ausgearbeitet. Für den praktischen Teil der Arbeit werden zwei Quantenbeispiele anhand des zuvor erarbeiteten Wissens beschrieben und erweitert. Die zuvor identifizierten und beschriebenen Grundkonzepte werden anschließend grafisch mittels einer Concept-Map dargestellt, diese bietet einen systematischen Überblick über die einzelnen Konzepte und deren Abhängigkeiten zueinander. Der Vorteil in der Darstellung von Wissen mittels einer Concept-Map besteht darin, dass die Visualisierung der Verbindungen zwischen den einzelnen Konzepten hervorgehoben wird. Zusätzlich wird auf Basis des erarbeiteten Wissens ein Beispiel-Curriculum für eine Lehrveranstaltung, die das Ziel hat, die Grundkonzepte von Quantencomputern zu vermitteln, erstellt. Das Ergebnis dieser Arbeit zeigt, dass die Konzepte, auf denen Quantencomputer aufbauen, in drei Grundkompetenzen unterteilt werden können. Zum einen die Kompetenz der linearen Algebra, in dem die meisten Konzepte und Themen bereits in einem vorangegangenen Studium behandelt wurden. Zum anderen die der Informatik-Konzepte, wobei hier wie bei der linearen Algebra das Verständnis im Bereich der Programmierung angenommen werden kann. Die Kompetenz der Quantenmechanik stützt sich auf die Konzepte, die von Quantencomputern genutzt wird und auf die Kompetenzen und das Wissen der beiden anderen Kompetenzen. Zusammenfassend zeigt diese Arbeit, dass für das reine Verständnis von Quantencomputern und dem Replizieren von bereits erstellten Quantenalgorithmen eine große Anzahl an unterschiedlichen Konzepten benötigt wird. Für die Fähigkeit der Entwicklung von eigenen Quantenalgorithmen reicht das erarbeitet Wissen nicht aus, sondern wird als Grundwissen angesehen.
Die Verknüpfung von Qubits gehört zu den aktuellen Herausforderungen der Quantentechnologie. Dies betrifft einerseits Systeme, die weit voneinander entfernt sind, als auch hybride Systeme, in denen unterschiedliche Realisierungen der Qubits ihre individuellen Stärken ausspielen und anschließend den Quantenzustand auf einen anderen Typ übertragen sollen. In dieser Arbeit wird ein Mischcryostat vorgestellt, der Supraleiter auf Temperaturen unterhalb hundert Millikelvin abkühlen kann und zugleich eine Apparatur zur Präparation von ultrakalten Atomen enthält. Es konnte gezeigt werden, dass es möglich ist, ultrakalte Atomwolken in dieser Umgebung zu präparieren und zu manipulieren. Im nächsten Schritt müssen die Atomwolken in die Millikelvin-Umgebung transportiert und an einen Chip mit funktionalen supraleitenden Elementen herangeführt werden. Zwar steht die Demonstration des Austausches von Quanteninformation noch aus, dennoch stellt dies einen bedeutenden Schritt in Richtung eines hybriden Quantensystems dar. Es ist von zentraler Bedeutung, den Wärmeeintrag in die Millikelvinumgebung zu minimieren. Gleichzeitig erfordern die typischen magnetischen Fallenpotentiale Ströme im Bereich einiger Ampere. Konventionelle Spulen aus supraleitenden Drähten erzeugen zwar keine Heizleistung, allerdings verbleibt ein Wärmeeintrag durch Wärmeleitung. Einen Ausweg bieten geschlossene supraleitende Schleifen, die von einem permanenten Strom durchflossen werden. In dieser Arbeit wurde die Idee der Baseball-Falle aufgegriffen, die mit einem einzelnen Strompfad eine vollständige Falle realisiert. Dies wurde in einem zweiten System mit einer supraleitenden Schleife umgesetzt. Eine zusätzlich angebrachte konventionelle Spule koppelt magnetischen Fluss in die Schleife ein, wodurch der permanente Strom moduliert werden kann. Diese Spule kann sich an einer anderen Temperaturstufe des Cryostaten befinden, so dass auch die Wärmeleitung unterbunden wird. Als Vermittler zwischen unterschiedlichen Qubits können Rydberg-Atome eine Schlüsselrolle einnehmen, da ihr Anregungsspektrum einen weiten Frequenzbereich überdeckt. Ihre Sensitivität gegenüber elektrischen Feldern erfordert allerdings eine sorgfältige Betrachtung der Umgebung und ggf. eine Abschirmung oder Kompensation der Störfelder. In der vorliegenden Arbeit wurde ein Referenzsystem aufgebaut, an dem die absoluten Übergangsfrequenzen mit verbesserter Genauigkeit ermittelt und der Einfluss externer Felder untersucht wurden. Auf dieser Basis können nun die Korrekturen vorgenommen werden. Als Referenz für die Frequenzmessungen dient bislang ein Mikrowellenübergang. Verwendet man stattdessen einen optischen Übergang, so wird die Zeit in kleinere Abschnitte unterteilt und somit die Unsicherheit reduziert. Diese optischen Uhren aus neutralen Atomen haben bislang den Nachteil, dass die Messung destruktiv erfolgt. Durch die erneute Präparation steht die Uhr nur einen Bruchteil der Zeit zur Verfügung. Hier wurde ein Konzept erarbeitet, das den Betrieb einer kontinuierlichen optischen Uhr ermöglichen soll. Die erste Stufe der Präparation eines Ensembles ultrakalter Atome konnte bereits demonstriert werden. Im weiteren Verlauf ist eine zweite Präparationsstufe, sowie eine Spektroskopie erforderlich. Letztendlich ist die Anbindung des bestehenden Frequenzkamms geplant, um die erhöhte Genauigkeit auch auf andere Frequenzbereiche zu übertragen. Die erzielten Erkenntnisse tragen zur Weiterentwicklung der Quantentechnologien bei. Einerseits bieten sie die Perspektive Quanteninformationsverarbeitung mit hybriden Systemen aus Supraleitern und ultrakalten Atomen durchzuführen. Dabei kann die optische Schnittstelle mehrere derartige Systeme auch über große Entfernungen miteinander verknüpfen und so die Vision eines Quanten-Internets wahr werden lassen. Optische Uhren werden in absehbarer Zeit die Cäsium-Uhren zur Definition der Sekunde ablösen. Ihre hohe Sensitivität lässt neue Anwendungen in der Metrologie, Geodäsie oder auch Astronomie erwarten.