Im letzten Jahrzehnt haben wissenschaftliche Fortschritte in Bereichen wie Quantensimulation, Quantenkommunikation, Quantensensorik und Quantencomputing zu stark steigendem Interesse an der Kommerzialisierung von Quantentechnologien geführt. Die vorgeschlagenen Anwendungen von Quantentechnologien sind vielfältig und reichen von abhörsicheren Kommunikation-Protokollen, über die Entwicklung neuartiger Materialien, bis hin zur Lösung komplexer Optimierungsprobleme. Ein entscheidender Faktor für die Weiterentwicklung von Quantentechnologien ist die präzise Charakterisierung und Kontrolle der Quanten Vielteilchensysteme, die einem gegebenen Quantengerät zugrunde liegen. Hierbei umfasst der Prozess der Charakterisierung sowohl die Verifikation der korrekten Funktionsweise des Gerätes als auch das Identifizieren der dominierenden Fehlerquellen. Kontrolle bezieht sich hingegen auf Strategien die die Durchführung von präzisen Quantenoperationen trotz fehlerbehafteter Hardware und unkontrollierter Umgebungseinflüsse ermöglichen. In der Praxis stellt man fest, dass Charakterisierung und Kontrolle eng miteinander verbunden sind, wobei eine genauere Charakterisierung eine bessere Kontrolle ermöglicht und umgekehrt. Beispielsweise ermöglicht die aus der Charakterisierung gewonnene Information die Implementierung von speziell zugeschnittenen Protokollen zur Fehler-Unterdrückung. Andererseits sind präzise Quantenoperationen eine Voraussetzung für die Implementierung fortschrittlicher Charakterisierungsprotokolle. Die in dieser Dissertation vorgestellten wissenschaftlichen Veröffentlichungen leisten Beiträge zur Charakterisierung sowie zur Kontrolle von Quanten Vielteilchensystemen. In diesem Kontext beschäftigen sich Arbeiten [2,3] auf die Charakterisierung digitaler Quantensimulatoren. Dazu stellt Arbeit [2] eine Methode vor, um den effektiv implementierten Hamiltonian in einem digitalen Quantensimulations Experiment als Funktion der Größe des gewählten Zeitschritts der Trotter-Suzuki-Zerlegung zu lernen. Darüber hinausgehend nutzt Arbeit [3] diese Lernmethode, um den Zusammenbruch digitaler Quantensimulations Protokolle bei großen Zeitschritten zu untersuchen. Insbesondere zeigt sich, dass dieser Zusammenbruch mit einem plötzlichen Übergang von regulärer zu chaotischer Dynamik im zugrundeliegenden Quanten Vielteilchensystem verbunden ist. Ergänzend dazu konzentriert sich Arbeit [4] mit der Charakterisierung schwach dissipativer Quanten Vielteilchensysteme, wie sie typischerweise im Kontext von analogen Quantensimulations Experimenten realisiert werden. Schließlich konzentriert sich Arbeit [1] auf die Kontrolle von Quanten Vielteilchensystemen im Kontext von Quantencomputing mit gefangenen Ionen. Genauer wird hier eine Methode zur Implementierung von stark parallelisierten, hoch-präzisen Verschränkungs-Gattern in eindimensionalen Ionenketten vorgestellt, die insbesondere auch in Systemen mit vielen Ionen anwendbar ist.
Im letzten Jahrzehnt haben wissenschaftliche Fortschritte in Bereichen wie Quantensimulation, Quantenkommunikation, Quantensensorik und Quantencomputing zu stark steigendem Interesse an der Kommerzialisierung von Quantentechnologien geführt. Die vorgeschlagenen Anwendungen von Quantentechnologien sind vielfältig und reichen von abhörsicheren Kommunikation-Protokollen, über die Entwicklung neuartiger Materialien, bis hin zur Lösung komplexer Optimierungsprobleme. Ein entscheidender Faktor für die Weiterentwicklung von Quantentechnologien ist die präzise Charakterisierung und Kontrolle der Quanten Vielteilchensysteme, die einem gegebenen Quantengerät zugrunde liegen. Hierbei umfasst der Prozess der Charakterisierung sowohl die Verifikation der korrekten Funktionsweise des Gerätes als auch das Identifizieren der dominierenden Fehlerquellen. Kontrolle bezieht sich hingegen auf Strategien die die Durchführung von präzisen Quantenoperationen trotz fehlerbehafteter Hardware und unkontrollierter Umgebungseinflüsse ermöglichen. In der Praxis stellt man fest, dass Charakterisierung und Kontrolle eng miteinander verbunden sind, wobei eine genauere Charakterisierung eine bessere Kontrolle ermöglicht und umgekehrt. Beispielsweise ermöglicht die aus der Charakterisierung gewonnene Information die Implementierung von speziell zugeschnittenen Protokollen zur Fehler-Unterdrückung. Andererseits sind präzise Quantenoperationen eine Voraussetzung für die Implementierung fortschrittlicher Charakterisierungsprotokolle. Die in dieser Dissertation vorgestellten wissenschaftlichen Veröffentlichungen leisten Beiträge zur Charakterisierung sowie zur Kontrolle von Quanten Vielteilchensystemen. In diesem Kontext beschäftigen sich Arbeiten [2,3] auf die Charakterisierung digitaler Quantensimulatoren. Dazu stellt Arbeit [2] eine Methode vor, um den effektiv implementierten Hamiltonian in einem digitalen Quantensimulations Experiment als Funktion der Größe des gewählten Zeitschritts der Trotter-Suzuki-Zerlegung zu lernen. Darüber hinausgehend nutzt Arbeit [3] diese Lernmethode, um den Zusammenbruch digitaler Quantensimulations Protokolle bei großen Zeitschritten zu untersuchen. Insbesondere zeigt sich, dass dieser Zusammenbruch mit einem plötzlichen Übergang von regulärer zu chaotischer Dynamik im zugrundeliegenden Quanten Vielteilchensystem verbunden ist. Ergänzend dazu konzentriert sich Arbeit [4] mit der Charakterisierung schwach dissipativer Quanten Vielteilchensysteme, wie sie typischerweise im Kontext von analogen Quantensimulations Experimenten realisiert werden. Schließlich konzentriert sich Arbeit [1] auf die Kontrolle von Quanten Vielteilchensystemen im Kontext von Quantencomputing mit gefangenen Ionen. Genauer wird hier eine Methode zur Implementierung von stark parallelisierten, hoch-präzisen Verschränkungs-Gattern in eindimensionalen Ionenketten vorgestellt, die insbesondere auch in Systemen mit vielen Ionen anwendbar ist.
Ziel dieser Forschungsarbeit ist die Untersuchung von Phasen der Quantenmaterie, die dynamischer Natur sind, d.h. Phasen, welche durch das Treiben eines Quanten-Vielteilchensystems aus dem Gleichgewicht erzeugt werden. Die untersuchten Systeme sind offene Quanten-Vielteilchensysteme, die mit den Freiheitsgraden ihrer Umgebung gekoppelt sind. Im Gegensatz zu Quantenphasenübergängen von isolierter Quantenmaterie, welche in der Regel eng mit den Eigenschaften des Grundzustands und den entsprechenden statischen Ordnungsparametern verbunden sind, wie z. B. Transporteigenschaften, Korrelationslänge oder topologische Phänomene, kann in offenen Quantensystemen, welche effektiv durch nicht-hermitsche Dynamik beschrieben werden, kein Grundzustand definiert werden, und die Charakterisierung der dynamisch induzierten Phasen ist weniger offensichtlich. In unserer Forschung untersuchen wir zwei Fälle von dynamischen Phasen in Quanten-Vielteilchensystemen. Zunächst betrachten wir ``quantum quenches'' in getrieben-dissipativen quadratischen fermionischen Systemen. Ein quantum quench bezieht sich hier auf die abrupte Änderung eines Systemparameters und die Entwicklung eines Anfangszustandes gemäß diesen neuen Bedingungen, wodurch eine Dynamik außerhalb des Gleichgewichts entsteht. Im Gegensatz zu isolierten Quantensystemen, in denen solche Protokolle gut untersucht sind, sind quantum quenches in offenen Quantensystemen kaum erforscht. In diesem Zusammenhang finden wir eine neue Art von dynamischer Phase, die eng mit einer bestimmten verallgemeinerten Form von Thermalisierung verbunden ist. Diese Form der Thermalisierung wird durch eine kombinierte Paritäts-Zeit-Symmetrie der getrieben-dissipativen fermionischen Systeme garantiert. Ähnlich wie bei integrablen isolierten Quantensystemen, die lokal zu einem verallgemeinerten Gibbs-Ensemble relaxieren nachdem sie aus dem Gleichgewicht gebracht wurden, zeigen wir, dass paritätszeitsymmetrische quadratische fermionische Systeme zu einem statistischen Ensemble relaxieren, das wir das paritätszeitsymmetrische verallgemeinerte Gibbs-Ensemble (PTGGE) nennen. Darüber hinaus stellen wir fest, dass Nullmoden des PTGGE die Oszillationsperioden der topologischen (Un-)Ordnungsparameter bestimmen, die an dynamischen Phasengrenzen mit kritischen Skalierungsexponenten divergieren. Weiters deutet die Modifikation der langwelligen effektiven Beschreibung durch ein langreichweitig gekoppeltes Modell und die dadurch veränderten kritischen Exponenten stark auf ein universelles Verhalten hin. Messungsinduzierte Phasen und Übergänge sind ein weiteres Beispiel im Bereich der dynamisch erzeugten Phasen. In diesem Fall erzeugt das Zusammenspiel von unitärer Evolution und häufigen Messungen in einem Quanten-Vielteilchensystem eine stochastische Dynamik mit einem Übergang in der Skalierung der Verschränkung des stationären Zustands. Insbesondere in einem System, das bei rein unitärer Evolution eine volumensabhängige Skalierung der Verschränkungsentropie aufweist, unterdrücken häufige Messungen die Erzeugung von Verschränkung im Durchschnitt über viele Realisationen der stochastischen Entwicklung, was zu einer flächenabhängigen Skalierung führt. Eine gängige Erklärung für dieses Phänomen ist das Einfrieren der Dynamik aufgrund häufiger projektiver Messungen, die einen Quanten-Zeno-Effekt hervorrufen. Wir zeigen, dass die Unterdrückung der Verschränkungserzeugung nicht nur bei projektiven Messungen auftritt, sondern dass vielmehr ein verallgemeinerter Zeno-Effekt aufgrund verallgemeinerter Messungen ausreicht, um die kohärente Dynamik zu unterdrücken, was analoge Signaturen in den stationären Observablen für projektive und verallgemeinerte Messungen verursacht. Des Weiteren gehen wir auf eine aktuelle Kontroverse ein, in der die Existenz einer dynamischen Phase mit kritischer Verschränkungsskalierung für freie Fermionen unter kontinuierlicher Messung lokaler Besetzungszahlen diskutiert wird. Durch eine präzise numerische Analyse in Verbindung mit analytischen Vorhersagen, die aus einer replizierten Keldysh-Feldtheorie für verallgemeinerte Messungen abgeleitet wurden, sind wir in der Lage, starke Hinweise für das Fehlen einer ausgedehnten kritischen Phase vorzulegen und das theoretische Verständnis weiterzuentwickeln, indem wir zeigen, dass die Kritikalität auf einen gut definierten kritischen Bereich endlicher Längenskalen beschränkt ist.
Die kohärente Kontrolle von Quantenzuständen ist Gegenstand von Untersuchungen seitdem Quantensysteme in Laboren erzeugt werden. Die Aussicht, eines Tages einen Quantencomputer realisieren zu können, der Kohärenzeigenschaften von Quantensystemen nützt um die verfügbare Rechenleistung zu vervielfachen, ist dafür selbstverständlich eine wichtige Motivation, jedoch nicht die einzige. Präzise Kontrolle ermöglicht es, Systeme in bestimmten Quantenzuständen zu präparieren und zu manipulieren, etwa um Präzessionsmessungen zu realisieren. Ultrakalte Atome sind ein ideales Modellsystem für fortgeschrittene Kontrollschemata. Von ihrer Umgebung isoliert, verfügen sie über lange Kohärenzzeiten; gleichzeitig ist ihre Reaktion auf externe Anregungen im Vergleich zu anderen Systemen relativ einfach zu untersuchen. Außerdem können unterschiedliche Parameter über einen weiten Bereich abgestimmt werden, wie etwa die Dichte oder Wechselwirkungsstärke. Daraus ergibt sich die Möglichkeit, ein Spektrum von Quantentheorien experimentell zu untersuchen. Kohärente Kontrolle von Quantenzuständen in Systemen aus ultrakalten Atomen ist deshalb ein reiches Forschungsgebiet, das sowohl für fundamentale Tests der Quantentheorie als auch für praktische Anwendungen vielversprechend ist. In dieser Dissertation wurde ein Schema entwickelt um Bewegungszustände eines Bose-Einstein Kondensates gezielt zu manipulieren. Dies geschieht auf eine Art die nicht nur die Kohärenzeigenschaften des Systems bewahrt, sondern auch schnell im Vergleich zur typischen Zeitskala des Systems ist. Experimentell umgesetzt wird dies in einem elongierten Kondensat auf einem Atomchip, welches ursprünglich im transversalen Grundzustand des Fallenpotentials ist. Das Kondensat wird entlang der transversalen Richtung verschoben um höhere Bewegungszustände anzuregen. Mithilfe der Theorie der optimalen Kontrolle wird die Verschiebung des Kondensats optimiert um bestimmte Bewegungszustände oder deren ü berlagerung zu erhalten. Die Optimierungen der 'Schüttelpulse' basieren auf einer Beschreibung des Kondensates in einer mean-field Näherung. Verschiedene Überlagerungen von Bewegungszuständen konnten sowohl theoretisch als auch experimentell in 1.1 ms mit einer Effizienz von mehr als 98 % erreicht werden. Diese Art der Kontrolle wurde angewandt um erstmals ein Interferometer mit Bewegungszuständen zu realisieren. Die beiden Pfade des Interferometers sind hier der Grundzustand und erste tranversal angeregte Zustand. In der Zeit zwischen den beiden optimierten Bewegungspulsen die als Strahlteiler dienen, wird eine Phase akkumuliert. Die Herausforderung bei diesem Schema besteht darin, einen effizienten Puls für alle Phasen zu finden. Das Interferometer wurde numerisch optimiert und erfolgreich experimentell umgesetzt und lieferte einen Kontrast von 92 %. Die so erzeugten ü berlagerungen von Bewegungszuständen sind nicht stabil und es wurde eine Dämpfung auf einer Zeitskala von 10 ms beobachtet. Um ein besseres Verständnis zu erlangen wurden einige Dämpfungsmechanismen in Betracht gezogen und theoretische Modelle entwickelt. Insbesondere werden Dekohärenz und Dephasierung entlang der axialen Richtung des Kondensates untersucht. Ein transversales Vielteilchen- Modell, das drei Bewegungszustände beinhaltet, wurde entwickelt um daraus die Zeitskalen der Dämpfung sowie die Abhängigkeit von Parametern wie Atomzahl und Temperatur abzuleiten und mit den experimentellen Ergebnissen zu vergleichen. Die in dieser Dissertation präsentierten Ergebnisse demonstrieren schnelle und effiziente Kontrolle über Vibrationszustände und ebnen den Weg für praktische Anwendungen, wie etwa ein Interferometer mit Bewegungszuständen. Außerdem eröffnen sie eine neue Richtung für fundamentale Fragestellungen zur Nichtgleichgewichtsphysik in geschlossenen Systemen.
Quantencomputer stellen eine der nachsten technologischen Entwicklungsstufen der modernen
Computerwissenschaften dar. In der vorliegenden Arbeit sollen einige Aspekte
vorgestellt und untersucht werden, die bei der Implementierung von Quantenoperationen (als Bausteine von Quantenalgorithmen) und der Simulation von Quantensystemen relevant sind.
Es werden ausgepragte numerischen Untersuchungen zur Implementierung verschiedenster Quantenoperationen auf einer Reihe von Systemen (NMR-Systeme, Josephson-Elemente, u.a. ) vorgestellt.
Um solche Operationen (beispielsweise QuantenFourierTransformationen, SWAP- oder vielfach-kontrollierte NOT-Operationen)
auch noch auf groseren Systemen untersuchen zu konnen, wurde ein parallelisiertes C++-Programm entwickelt und optimiert.
Neben einer hohen Qualitat der Operationen wird ein besonderes Augenmerk auf die minimale
Implementierungsdauer gelegt.
Die minimalen Zeiten stellen sowohl fur den Experimentator sowie fur den Mathematiker eine interessante Grose dar. Der Erste
versucht durch die schnelle Umsetzungen dissipative Effekte zu minimieren,
wahrend der Zweite aus dieser Kenngrose Ruckschlusse uber die analytischen Losungen ziehen kann.
Dissipative Effekte konnen jedoch auch direkt in die Optimierung mit einbezogen werden.
Die so erhaltenen Losungen sind sowohl relaxations- als auch zeitoptimiert.
Fur Systeme mit 3 linear gekoppelten Spin-1/2-Qubits lassen sich fur die Simulation indirekter Ising-Kopplungen
oder trilinearer Wechselwirkungen auch analytische Losungen finden.
Weiter wurde untersucht, in wie weit sich ein erschopfender Satz von einfachen Kriterien
aufstellen lasst, um Systeme zu identifizieren deren Dynamik sich durch lokale Operationen invertieren lasst.
Als Letztes wurde ein vollstandiger Quantenalgorithmus zur Unterscheidung von
zwei Knoten auf einem Spin-1/2-System implementiert.
Die notwendigen Quantenoperation wurden in diesem Fall analytisch berechnet.
Die erhaltenen Resultate weisen eine hohe Ubereinstimmung mit theoretischen Werten auf.
Die vorliegende Masterarbeit widmet sich den physikalischen, technischen und didaktischen Grundlagen des Quantencomputings. Angesichts der zunehmenden Relevanz von Quantentechnologien in Wissenschaft und Industrie stellt sich die Frage, inwieweit grundlegende Konzepte wie Superposition, Quantenverschränkung oder Quantenschaltkreise auch im schulischen Kontext vermittelbar sind. Ziel der vorliegenden Arbeit ist die Erarbeitung eines fundierten Verständnisses der quantenmechanischen Prinzipien sowie deren Übertragung auf die Funktionsweise moderner Quantencomputer. Darüber hinaus wird ein didaktisches Konzept für den Einsatz im Physikunterricht der Sekundarstufe II entwickelt. Die theoretischen Grundlagen werden durch Veranschaulichungen mit der Cloud-Technologie Qiskit ergänzt, die es ermöglicht, reale Quantencomputer zu programmieren. Im Rahmen des didaktischen Teils wird eine methodisch strukturierte Unterrichtseinheit entwickelt, die sowohl eine didaktische Reduktion als auch eine lehrplankonforme Planung berücksichtigt. Die vorliegende Arbeit demonstriert, dass die Einführung des Quantencomputings auch im schulischen Kontext realisierbar ist, insbesondere durch den Einsatz visueller und interaktiver Hilfsmittel. Abschließend wird ein Ausblick auf die zukünftige Relevanz des Themas im Bildungsbereich gegeben und die Erkenntnisse der Arbeit werden in einem Fazit zusammengefasst.
In der vorliegenden Arbeit behandeln wir verschiedene Themen aus dem Gebiet der Quanteninformationstheorie. Die unterschiedlichen Ergebnisse sollen entweder die Anwendung theoretischer Konzepte auf reale Experimente erleichtern oder bei der weiterfuhrenden Arbeit an zentralen Fragen helfen. Im Detail werden folgende Punkte untersucht: Wir wenden uns als Erstes der Fragestellung zu, unter welchen Vorraussetzungen eine gegebene Menge an Erwartungswerten mit den ersten beiden Momenten der Spinoperatoren eines Zustandes von Gesamtspin j kompatible ist. Hierbei liegt das Hauptaugenmerk auf einer operationellen Beschreibung, so dass man direkt mit den Momenten arbeiten kann, anstatt den kompletten Dichteoperator zu verwenden. Wir zeigen, dass diese Charakterisierung physikalischer Momente zu dem Problem der Bose-symmetrischen Erweiterungen fur speziell bestimmte Zweiqubit Zustande aquivalent ist. Mittels dieser Umformulierung bestimmen wir operationelle Teil- und Ubermengen der exakten Menge, um somit auf einfache Art und Weise Momente identifizieren zu konnen, die sicher physikalisch sind, als auch andere, die eindeutig inkompatibel mit den Vorhersagen der Quantenmechanik sind. Diese approximative Losung gewinnt mit steigender Gesamtspinzahl j an Genauigkeit, und konvergiert im Limes gegen die exakte Losung. Im nachsten Abschnitt beschaftigen wir uns mit dem Konzept der Verschrankungszeugen; der gebrauchlichsten Methode zur Verschrankungsdetektion. Wir untersuchen, wie man die Qualitat eines linearen Verschrankungszeugen durch quadratische, nichtlineare Terme verbessen kann, so dass man mehr verschrankte Zustande auf einmal detektiert. Das betrachtete Verbessungsschema hat den Vorteil dass man es iterative benutzen kann. Dies liefert eine Abfolge von Verschrankungszeugen mit Nichtlinearitaten immer hoherer Ordnung, deren Starke in jedem Schritt zunimmt. Die entwickelte Iterationsmethode kann fur verschiedene Aufgaben verwendet werden und wir betrachten zwei ausgezeichnete Extremfalle: Entweder optimieren wir fur einen vorgegeben Zielzustand oder fur alle moglichen Zustande gleichmassig. Im restlichen Teil der Arbeit untersuchen wir verschiedene Moglichkeiten, wie man bereits vorhandene Ideen besser an reale Experimente anpasst. Hier sei angemerkt dass viele Anwendungen der Quanteninformationstheorie nur fur stark idealisierte Systeme vorgeschlagen und diskutiert wurden und somit nicht direkt fur das Experiment anwendbar sind. Dieser Punkt ist fur das Feld der Quantenschlusselverteilung von besonderer Bedeutung, da man die vorbehaltslose Sicherheit eines realen, durch ein Experiment generierten Schlussels zeigen mochte und nicht nur fur die einer idealisierten Version davon. Mit diesem Ziel im Hinterkopf untersuchen wir zuerst die theoretische Idee des Squash Modells. Dieses bietet einen eleganten Ausrechentrick', der es erlaubt, die Sicherheitsanalyse eines idealisierten Quantenschlusselverteilungsprotokolls direkt fur das reale Experiment zu verwenden. Wir entwickeln einen Formalismus zur Prufung dieses Squash Modells fur einen gegebenen Messaufbau und betrachten relevante Messschemen mit und ohne dieser Eigenschaft. Im Gegensatz zu diesem theoretischen Modell behandlen wir auch eine experimentelle Moglichkeit, die es uns erlaubt, die Sicherheitsanalyse des idealisierten Systems direkt fur das reale Experiment zu verwenden. Dazu benutzen wir die Idee, dass man durch die Kombination eines variablen Strahlteilers mit einem einfachen Click/No-Click' Detektor, die Statistik von photonauflosenden Detektoren erhalten kann. Durch diese Hardwareanderung ist es moglich, die sicherheitsrelevanten Parameter direkt abzuschatzen. Diese Methode bietet somit auch einen Weg, die Sicherheit eines realen Quantenschlusselverteilungsexperiments zu beweisen, fur das die theoretische Squash Modell Idee nicht funktioniert. Als Ergebnis erhalt man unter anderem einen neuen Distanzrekord fur ein reales Quantenschlusselverteilungsexperiment mit derzeitiger Technologie. Als letzten Punkt betrachten wir das Problem der experimentellen Verschrankungsverifizierung. Bei dieser Verifizierung hat man oftmals ein Praktikabilitatsproblem, weil man---ob verschiedener Grunde---meistens nur ein sehr vereinfachtes Modell fur die verwendenten Messapparate benutzt. Wir zeigen, dass man in diesem Fall der Fehlinterpretation der beobachteten Messausgange durchaus Fehler machen kann, allerdings untersuchen wir in erster Linie Bedingungen, unter denen ein falschlicher Verschrankungsnachweis ausgeschlossen werden kann. Zu diesem Zweck verwenden wir ein dem Squash Modell ahnliches, aber weniger restriktives Konzept. Eine interessante Anwendung liefern die ublicherweise mittels Tomographie durchgefuhrten Verschrankungstests, die man typischerweise fur parametrische Fluoreszenz Quellen oder fur photonische Mehrparteienexperimente verwendet. Wir zeigen, dass diese sehr einfach fehlerfrei gemacht werden konnen.
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.