Quantencomputing und -simulation versprechen die Lösung von Problemen, die weit über die Möglichkeiten klassischer Computer hinausgehen. Ihre Leistungsfähigkeit beruht auf der Steuerung von Quanten-Vielteilchensystemen auf Plattformen wie gefangenen Ionen, neutralen Atomen und supraleitenden Schaltkreisen. Da alle diese Systeme unvermeidlich durch Geräusche beeinträchtigt werden, ist die Entwicklung neuer, effizienter klassischer Methoden notwendig, um die Leistung von Quantenhardware zu testen, die Fehlerkorrektur zu unterstützen und die Grenze zwischen klassischer und quantenmechanischer Simulierbarkeit zu bestimmen. Diese Dissertation entwickelt neue numerische Methoden für die effiziente Simulation offener Vielteilchen-quantensysteme auf klassischen Computern. Dabei werden fortschrittliche numerische Techniken wie Tensornetzwerke, stochastische Quantentrajektorien, maschinelles Lernen und neuronale Netze eingesetzt. Die vorliegende Arbeit fördert die numerische Untersuchung offener Quanten-Vielteilchensysteme durch die folgenden Beiträge: 1. Einführung einer neuartigen adaptiven Methode für verrauschte Quanten-Vielteilchendynamik. Durch die Nutzung von Tensor-Netzwerk-Darstellungen von Quantentrajektorien und die Wahl von Zerlegungen der Trajektorien, die das Verschränkungswachstum minimieren, reduziert dieser Ansatz den Rechenaufwand erheblich und erweitert die zugänglichen Simulationsregime. 2. Entwicklung eines allgemeinen methodischen Rahmens für adaptive Quantentrajektorien, begleitet von einem systematischen Vergleich mit konventionellen Zerlegungen und anderen etablierten Simulationstechniken, um deren relative Stärken und Schwächen aufzuzeigen. 3. Demonstration eines neuronalen Netzwerk-basierten Ansatzes zur Simulation der Dynamik von Emitterketten, die an eindimensionale Markovische Wellenleiter gekoppelt sind. Diese Methode zeigt großes Potenzial, Fernkorrelationen effizient zu erfassen, und ermöglicht so die Untersuchung dissipativer Effekte in Wellenleitersystemen in experimentell relevanten Regimen. Die in dieser Arbeit vorgestellten Ergebnisse verbessern unsere Fähigkeit, verrauschte Quanten-Vielteilchensysteme auf den klassischen Computern zu modellieren, erweitern die zugänglichen dynamischen Regime und gehen besonders anspruchsvolle Probleme an. Dadurch tragen sie zu einem besseren Verständnis der Grundlagen der Quantenberechnung und -simulation bei.
Quantencomputing und -simulation versprechen die Lösung von Problemen, die weit über die Möglichkeiten klassischer Computer hinausgehen. Ihre Leistungsfähigkeit beruht auf der Steuerung von Quanten-Vielteilchensystemen auf Plattformen wie gefangenen Ionen, neutralen Atomen und supraleitenden Schaltkreisen. Da alle diese Systeme unvermeidlich durch Geräusche beeinträchtigt werden, ist die Entwicklung neuer, effizienter klassischer Methoden notwendig, um die Leistung von Quantenhardware zu testen, die Fehlerkorrektur zu unterstützen und die Grenze zwischen klassischer und quantenmechanischer Simulierbarkeit zu bestimmen. Diese Dissertation entwickelt neue numerische Methoden für die effiziente Simulation offener Vielteilchen-quantensysteme auf klassischen Computern. Dabei werden fortschrittliche numerische Techniken wie Tensornetzwerke, stochastische Quantentrajektorien, maschinelles Lernen und neuronale Netze eingesetzt. Die vorliegende Arbeit fördert die numerische Untersuchung offener Quanten-Vielteilchensysteme durch die folgenden Beiträge: 1. Einführung einer neuartigen adaptiven Methode für verrauschte Quanten-Vielteilchendynamik. Durch die Nutzung von Tensor-Netzwerk-Darstellungen von Quantentrajektorien und die Wahl von Zerlegungen der Trajektorien, die das Verschränkungswachstum minimieren, reduziert dieser Ansatz den Rechenaufwand erheblich und erweitert die zugänglichen Simulationsregime. 2. Entwicklung eines allgemeinen methodischen Rahmens für adaptive Quantentrajektorien, begleitet von einem systematischen Vergleich mit konventionellen Zerlegungen und anderen etablierten Simulationstechniken, um deren relative Stärken und Schwächen aufzuzeigen. 3. Demonstration eines neuronalen Netzwerk-basierten Ansatzes zur Simulation der Dynamik von Emitterketten, die an eindimensionale Markovische Wellenleiter gekoppelt sind. Diese Methode zeigt großes Potenzial, Fernkorrelationen effizient zu erfassen, und ermöglicht so die Untersuchung dissipativer Effekte in Wellenleitersystemen in experimentell relevanten Regimen. Die in dieser Arbeit vorgestellten Ergebnisse verbessern unsere Fähigkeit, verrauschte Quanten-Vielteilchensysteme auf den klassischen Computern zu modellieren, erweitern die zugänglichen dynamischen Regime und gehen besonders anspruchsvolle Probleme an. Dadurch tragen sie zu einem besseren Verständnis der Grundlagen der Quantenberechnung und -simulation bei.
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.
Wir befinden uns an der Schwelle einer Revolution zu einer Quantentechnologie, die nicht nur auf der passiven Nutzung von Quanteneffekten, sondern auf ihrer aktiven Kontrolle beruht.An vorderster Front beinhaltet dies die Realisierung eines Quantencomputers.Das Kodieren von Informationen in Quantenzuständen als "Qubits" erlaubt es, Verschränkung und Quantensuperposition zu nutzen, um Rechnungen durchzuführen, die auf einem klassischen Computer unpraktikabel sind.Eine zentrale Schwierigkeit ist es dabei, Dekohärenz zu vermeiden -der Verlust von Quanteneigenschaften aufgrund ungewollter Wechselwirkung mit der Umgebung.Diese Arbeit thematisiert die Realisierung verschränkender Zwei-Qubit-Gatter, die sowohl gegenüber Dekohärenz als auch klassischen Störeinflüssen robust sind.Sie behandelt dabei drei Aspekte: die Nutzung effizienter numerischer Methoden zur Simulation und optimaler Kontrolle offener und geschlossener Quantensysteme, die Rolle fortgeschrittener Optimierungsfunktionale zur Begünstigung von Robustheit, sowie die Anwendung dieser Techniken auf zwei führende Umsetzungen von Quantencomputern, gefangene Atome und supraleitende Schaltkreise.Nach einem Überblick über die theoretischen und numerischen Grundlagen beginnt der zentrale Teil dieser Arbeit mit der Idee einer Ensembleoptimierung, um Robustheit sowohl gegenüber klassischen Fluktuationen als auch Dekohärenz zu erreichen.Für das Beispiel eines kontrollierten Phasengatters auf gefangenen Rydberg-Atomen wird gezeigt, dass Gatter erreichbar sind, die um mindestens eine Größenordnung robuster sind als der beste bekannte analytische Ansatz.Darüber hinaus bleibt diese Robustheit selbst dann erhalten, wenn die Gatterdauer signifikant gegenüber der kurzmöglichsten Dauer des analytischen Gatters verkürzt wird.Supraleitenden Schaltkreise sind eine besonders vielversprechende Architektur zur Implementierung eines Quantencomputers.Ihre Flexibilität wird durch Optimierungen sowohl für diagonale als auch nicht-diagonale Gatter gezeigt.Um Robustheit gegenüber Dekohärenz zu gewährleisten, ist es essentiell, das Gatter in so kurzer Zeit wie möglich zu realisieren.Das Erreichen dieses Ziels wird durch die Optimierung hin zu einem beliebigen v perfekten Verschränker erleichtert, basierend auf einer geometrischen Theorie der Zwei-Qubit-Gatter.Für das Beispiel supraleitender Qubits wird gezeigt, dass dieser Ansatz zu kürzeren Gatterzeiten, höheren Fidelitäten, sowie schnellerer Konvergenz führt, im Vergleich zur Optimierung hin zu vorausbestimmten, festen Zwei-Qubit-Gattern.Eine Optimierung im Liouville-Raum zur sauberen Berücksichtigung von Dekohärenzeffekten ist mit erheblichen numerischen Herausforderungen verbunden, da die Dimension im Vergleich zum Hilbert-Raum quadratisch wächst.Es kann allerdings gezeigt werden, dass es für ein unitäres Optimierungsziel ausreichend ist, höchstens drei Zustände anstelle der vollen Basis des Liouville-Raums zu propagieren.Sowohl für das Beispiel gefangener Rydberg-Atome also auch für supraleitende Qubits wird die erfolgreiche Optimierung von Quantengattern gezeigt, mit einem numerischen Aufwand, der weit unterhalb der bisher angenommenen Untergrenze liegt.Insgesamt zeigen die Ergebnisse dieser Arbeit zu einem umfassenden Gerüsts zur Optimierung robuster Quantengatter, und bereiten den Weg für die mögliche Realisierung eines Quantencomputers.vi
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.
Diese Dissertation beschäftigt sich mit der Frage, wie viel Rechenkraft Quantencomputer bieten können. Diese Frage geht in ihrer allgemeinsten Form weit über die aktuellen Möglichkeiten und Methoden der Komplexitätstheorie hinaus. Dennoch liefert die Komplexitätstheorie Beispiele von Problemen, die sogar für Quantencomputer als nicht effizient lösbar gelten. Andererseits können Quantencomputer vermutlich nicht effizient von klassischen Computern simuliert werden. Wir wollen mit dieser Arbeit zum Verständnis des dazwischen liegenden Bereichs von Problemen, die effizient auf Quantencomputern, aber nicht effizient auf klassischen Computern berechnet werden können, beitragen. Um besseren Einblick in die Fragestellung zu erlagen, entwickeln wir in dieser Dissertation klassische und quantenmechanische Algorithmen zur Lösung von Problemen, die unter einschränkenden Annahmen a priori als nicht effizient lösbar geltende Probleme dennoch effizient lösen. Wir erforschen in diesem Sinne also die Grenzen des auf Quantencomputern und klassischen Computern Machbaren, in dem wir Annahmen identifizieren, die dazu geeignet sind grundsätzlich als schwer geltende Probleme in den Bereich des Machbaren zu bringen. Im Speziellen entwickeln wir einen Quantenalgorithmus, der sogenannte Projective Entangled-Pair States (PEPS) effizient herstellen kann, sobald Injektivität und Wohlkonditierung des PEPS gegeben ist. In einem zweiten Schritt erweitern wir diesen Algorithmus auf sogenannte G-injektive PEPS, einer wesentlich allgemeineren Klasse von Quantenzuständen, die auch die exotische Eigenschaft der topologischen Ordnung besitzen können. Weiters entwickeln wir einen Quantenalgorithmus, der das im Allgemeinen für Quantencomputer als schwer geltende Problem den Grundzustand von lokalen Hamiltonoperatoren zu erzeugen löst, sofern diese die Voraussetzungen des (nicht-konstruktiven) Quanten-Lovász-Local-Lemma erfüllen und die Operatoren kommutieren. Unser Quantenalgorithmus kann in diesem Fall auch als unabhängiger, konstruktiver Beweis des Quanten-Lovász-Local-Lemmas betrachtet werden. Um die Grenze zu klassischen Computern zu erforschen, entwickeln wir einen klassischen Algorithmus, der das sehr allgemeine Problem Quantenschaltkreise zu simulieren unter gewissen Annahmen effizient lösen kann. Wäre es in voller Allgemeinheit lösbar, würden Quantencomputer keinen Vorteil bieten. Unser Algorithmus kann Quantenschaltkreise simulieren, die in ihrer Struktur jener des Quantenalgorithmus von Shor zur Faktorisierung ganzer Zahlen, der als exponentiell schneller als der schnellste bekannte klassische Faktorisierungsalgorithmus gilt, sehr ähnlich sind. Weiters treffen wir die Annahme, dass die erzeugte Wahrscheinlichkeitsverteilung annähernd dünn-besetzt ist. Unser Ergebnis impliziert daher, dass die von Algorithmen dieser Struktur erzeugte Wahrscheinlichkeitsverteilung notwendigerweise dicht-besetzt sein muss, um einen exponentiellen Geschwindigkeitsvorteil erzielen zu können.
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.
Simulationen ermöglichen die Untersuchung komplexer Phänomene in einer sicheren und kontrollierten Umgebung. Dabei wird ein breites Spektrum an Anwendungen abgedeckt, das sich weit über die Naturwissenschaften hinaus bis in das alltägliche Leben erstreckt. So werden beispielsweise die aerodynamischen Eigenschaften von Fahrzeugen in Windkanälen studiert, bevor eine Serienproduktion in Auftrag gegeben wird. Scher- und Kompressionsbelastungen von Bauwerken werden anhand von Modellen im kleinen Maßstab untersucht und die verwendeten Materialien auf bis über ihre Belastungsgrenze hinaus ausgiebig getestet. Diese Art von Simulationen ist analog: eine Problemstellung wird physisch im kleinen Maßstab nachgebildet und das Testsystem direkt beobachtet. Mit fortschreitender Entwicklung der Computertechnik wurden Simulationen zunehmend digitalisiert. Hierbei werden komplexe Abläufe in der Natur durch mathematische Modellierung und Algorithmen so gut wie möglich abgebildet. Die Fähigkeiten dieser Systeme überschreiten jene analoger Simulatoren und ermöglichen den Zugang zu Regimen, die andernfalls nur unter enormem Aufwand studiert werden können. In einem digitalen Computer wird Information als Sequenz von Zahlen im Binärsystem dargestellt. Die kleinste Informationseinheit bildet das Bit, welches einen der zwei Zustände Null oder Eins annehmen kann. Mithilfe programmierbarer Schaltkreise wird eine kleine Anzahl von wenigen fundamentalen logischen Operationen realisiert, welche die Grundbausteine für komplexere Algorithmen darstellen. Eine digitale Simulation implementiert ein mathematisches Modell und leitet den Computer an, dieses für gewisse Parameter auszuwerten. Das Ergebnis dieser Berechnungen ist eine gute Näherung an das reale Verhalten eines physikalischen Systems. In vielen Bereichen sind diese Simulationen mehr als ausreichend um ein Fragestellung zufriedenstellend zu beantworten. Doch gerade in der Hochenergie- und Quantenphysik stößt ein klassischer digitaler Prozessor schnell an seine Grenzen. Einer der Gründe ist die rasch anwachsende Zahl an Freiheitsgraden, welche die Berechnungen verkomplizieren oder gar unmöglich machen. Abhilfe versprechen hier Quantencomputer, die durch Superposition und Verschränkung einige Limitierungen klassischer Computer auf natürliche Weise überwinden. Viele Konzepte der klassischen Informationstheorie wurden auf Quantencomputer übertragen, darunter auch die binäre Kodierung von Information in Quanten-Bits (Qubits). Quantensysteme sind jedoch von Natur aus hochdimensional und bieten daher die Möglichkeit, Information in mehr als nur zwei Zuständen zu codieren. Diese Quanten-Digits (Qudits) bieten ein enormes Potential mit Anwendungen im Bereich der Simulation von Vielteilchensystemen, Hochenergiephysik und der Entwicklung von fehlertoleranter Quanteninformationsverarbeitung. In der vorliegenden Arbeit wird ein digitaler Qudit-Quantenprozessor vorgestellt, welcher auf einem bereits bestehenden Ionenfallen-Quantencomputer aufbaut. In diesem System werden Qudits in den elektronischen Zuständen gefangener Kalzium-Ionen codiert und mit präzisen, kohärenten Laserpulsen kontrolliert. Die so realisierten Operationen, auch Quantengatter genannt, ermöglichen die Implementierung komplexer Algorithmen. Es wird eine Erweiterung des vorhandenen Gattersatzes präsentiert, welche die Manipulation eines Qudits unter einer Bedingung, die an den Zustand eines weiteren Qudits geknüpft ist, erlaubt. Die Grundlage für dieses controlled-rotation Gatters bildet das von Cirac und Zoller vorgestellte controlled-NOT Gatter, das sich auf höherdimensionale Systeme fortsetzen lässt. Eine reduzierte Variante dieses neuen Gatters wird in der Quantensimulation eines Vielteilchensystems angewandt. Hierbei werden die Grundzustände des Su-Schrieffer-Heeger Modells, das eine dimerisierte Spin-Kette beschreibt, mit einem hybriden Algorithmus erzeugt. Der Quantenprozessor wird mit einem klassischen Computer gekoppelt, welcher die Energie des erzeugten Zustandes misst. Auf Basis des Ergebnisses werden die Parameter der Quantengatter angepasst und die Energie erneut gemessen. Dieser Prozess wird wiederholt bis ein energetisches Minimum erreicht wird. Der damit verbundene Zustand stellt eine gute Annäherung an den tatsächlichen Grundzustand des Modells dar. Mithilfe dieser Methode wird ein topologischer Phasenübergang untersucht und ein Symmetriebruch beobachtet. In einem weiteren Experiment werden Phänomene der Quantenelektrodynamik (QED) bei verschiedenen Kopplungsstärken simuliert. QED ist eine Gittereichtheorie, welche die Wechselwirkung zwischen geladenen massiven Teilchen und Feldern beschreibt. Die Eichfelder sind dabei von Natur aus hochdimensional und lassen sich daher ideal durch Qudits darstellen. In dieser Arbeit wird die Kopplung zwischen einem Eichfeld und dynamischer Materie simuliert. Hierbei wird eine viereckige Plakette betrachtet, welche von Teilchen und Antiteilchen besetzt wird, die durch Qubits abgebildet werden. Das Feld ist an den Kanten der Plakette ausgebildet und beeinflusst die Dynamik des Systems maßgeblich. Hier wird erstmalig der Aufbau eines Magnetfeldes simuliert, sowie eine Verbesserung der Genauigkeit mit zunehmender Dimension des Eichfeldes beobachtet.