27
Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015 DLR.de Folie 1 Elisabeth Lobe , Tobias Stollenwerk Simulations- und Softwaretechnik HPCN Workshop, Braunschweig

Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

Embed Size (px)

Citation preview

Page 1: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

Adiabatisches Quantencomputing

> Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de • Folie 1

Elisabeth Lobe, Tobias StollenwerkSimulations- und SoftwaretechnikHPCN Workshop, Braunschweig

Page 2: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

• Einführung adiabatischer Quantencomputer

• Netzwerkoptimierung und Cliquenproblem

• Demonstration am Simulator

> Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de • Folie 2

Inhalt

Page 3: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

Motivation: Quanten-Speed-Up

DLR.de • Folie 3 > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015

• Diskrete Optimierung ist die Grundlage für viele Probleme:

® Packungen

® PartitionenNP-schwere Probleme!

® Zuordnungen

® Scheduling

• Vermutung: Quantencomputer löst diese schneller als klassische Rechner

Page 4: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

Unterschiede zum klassischen Computer

DLR.de • Folie 4 > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015

Klassische Bits Quantenbits (Qubits)

• Elektrische Spannung • Zustand ist Superposition aus „0“ und „1“

• Messung verändert Zustand

® Messen „0“ mit Wahrscheinlichkeit

® Messen „1“ mit Wahrscheinlichkeit

1

0

Page 5: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

• Kommerzieller Hersteller: D-Wave Systems Inc., Kanada

• Simulator- und Programmierschnittstelle „Quantum Apprentice“

• Nicht zu verwechseln mit konventionellem Quantencomputer

> Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de • Folie 5

Was ist ein adiabatischer Quantencomputer?

Page 6: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

Quelle: D-Wave Systems

> Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de • Folie 6

Adiabatischer Quantencomputer löst diskrete Optimierungsprobleme

Zielfunktion:

𝐸 (𝑞1 ,… ,𝑞𝑛)=∑𝑖=1

𝑛

𝑔𝑖𝑞𝑖

𝑞𝑖={0 ,1 , f ü r  Schalter   ausf ü r  Schalter   an   

𝑔𝑖∈ Gewichte

∀ 𝑖=1,…,𝑛Quelle: D-Wave Systems

Page 7: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

> Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de • Folie 7

Zielfunktion:

𝐸 (𝑞1 ,… ,𝑞𝑛)=∑𝑖=1

𝑛

𝑔𝑖𝑞𝑖+ ∑𝑖 , 𝑗=1𝑖> 𝑗

𝑛

𝑠𝑖 𝑗𝑞𝑖𝑞 𝑗

𝑞𝑖={0 ,1 , f ü r  Schalter   ausf ü r  Schalter   an   

𝑔𝑖∈ Gewichte

∀ 𝑖 , 𝑗=1 ,…,𝑛

𝑠𝑖𝑗∈ Stärken der Kopplungen

Adiabatischer Quantencomputer löst QUBOs

Quelle: D-Wave Systems

Quadratic Unconstrained Binary Optimization

Page 8: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

> Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de • Folie 8

Funktionsweise des adiabatischen Quantencomputers

• Kodiere Zielfunktion in niedrigstem Energiezustand eines Quantensystems

Ene

rgie

Anfangssystem Zielsystem

Zeit

Energieniveaus

schnelle Änderung

Page 9: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

Funktionsweise des adiabatischen Quantencomputers

DLR.de • Folie 9 > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015

• Hinreichend langsame Überführung in Zielsystem

Ene

rgie

Anfangssystem Zielsystem

Zeit

Energieniveaus

Langsame Änderung

Δ 𝐸 bestimmtLaufzeit

Page 10: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

01

01

01

01 0

1

01

Alle Qubits in einem Zustandzwischen 0 und 1

> Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de • Folie 10

Funktionsweise des adiabatischen Quantencomputers

Energieprogramm

Page 11: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

0 1

0

10

1

Beste Lösung

> Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de • Folie 11

Funktionsweise des adiabatischen Quantencomputers

Page 12: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

Abbildung der Hardware im Simulator

DLR.de • Folie 12 > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015

• Einheitszelle aus 8 Qubits mit 2 Partitionen

• Insgesamt 4x4 Einheitszellen in Simulationssoftware

128 Qubits zur Zeit 8x8 Einheitszellen auf D-Wave-Chip 512 Qubits

• Gewichte und Stärken sind jeweils einstellbar

𝒔 𝒋𝒌

𝒈𝒊

Page 13: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

Simulator Quantum Apprentice

DLR.de • Folie 13 > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015

• Darstellung im D-Wave-Simulator„Quantum Apprentice“

Page 14: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

Einschränkungen durch Chipstruktur

DLR.de • Folie 14 > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015

• Nicht alle Qubits koppeln untereinander

• Lösung:

® Verbindung über andere Qubits Verteilen der Stärke über Strang

® Darstellung eines logischen Qubits durch mehrere echte Qubits Verteilen des Gewichts

Page 15: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

• Beispiel für 6 Knoten:• Beispiel für 7 Knoten:

Darstellung vollständiger Graphen

DLR.de • Folie 15 > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015

Page 16: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

Beispielgraph

DLR.de • Folie 16 > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015

-1

05 2

1

3-1

2

-41

-2 3

-1

-4

2

-2

-1

2

5-1

-1

2

-4

-3

-2 5

1

7

4

10

3

86 9

2 5

Page 17: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

Beispielgraph

DLR.de • Folie 17 > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015

1

7

4

10

3

8

69

2

5

Page 18: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

Beispiel: Cliquenproblem

DLR.de • Folie 18 > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015

• Finde größten vollständigen Teilgraph (Clique)

• Eigenschaften und Strukturen erkennen

• Anwendung: z.B. Facebook: Finde maximale Gruppe von Freunden

1

7

4

10

3

86 9

2 5

7

43

8

Page 19: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

Cliquenproblem auf Quantencomputer

DLR.de • Folie 19 > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015

•als quadratisches 0/1-Minimierungsproblem formulieren:

- Maximale Knotenzahl

- Kanten des Graphs ohne Einschränkungen aktivierbar

- Alle anderen Kanten dürfen nie benutzt werden

→ Knotengewichte negativ, z.B. -1

→ Stärke 0

→ Hohe Strafe: Stärke +10

Page 20: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

Cliquenproblem auf Quantencomputer

DLR.de • Folie 20 > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015

1

7

4

10

3

8

69

2

5

Komplementgraph

Page 21: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

DLR.de • Folie 21 > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015

• Realisierung auf D-Wave-Hardware

→ Bei 10 Knoten: 1 logischer Knoten = 4 Qubits

→ Gewicht des logischen Knoten = -1= Summe über allen Gewichten und Stärken im Qubitstrang

→ Kopplung zwischen den Qubits ist wichtig → negative Stärken

Cliquenproblem auf Quantencomputer

-1

5 5 55

-7 -7-7

Page 22: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

Cliquenproblem auf Quantencomputer

DLR.de • Folie 22 > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015

1

2 3 4 5

6 7 8 9

10

Page 23: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

DLR.de • Folie 23 > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015

• nächstkleinere Cliquen finden: gefundene Kanten entfernen (nur solche, deren Knoten keinen gemeinsamen Nachbarn haben)

1

7

4

10

3

86 9

2 5

Cliquenproblem auf Quantencomputer

7

43

8

1

43

7

10

8

Page 24: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

• Implementierung mit weniger Qubits möglich!

→ 15 Qubits

> Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de • Folie 24

Nutzen der Lösung für Netzwerkoptimierung1

2 3 4 5

6 7 8 9

10

Page 25: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

Netzwerkminimierung

DLR.de • Folie 25 > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015

-1

05 2

1

3-1

2

-41

-2 3

-1

-4

2

-2

-1

2

5-1

-1

2

-4

-3

-2 5

1

7

4

10

3

6 9

2 5

8

Page 26: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

Ausblick

DLR.de • Folie 26 > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015

• Scheduling-Probleme für Satellitenaufgabenplanung lösen

• Partitionieren des Cliquen-Problems zum Lösen komplexerer Probleme in Kombination mit klassischen Rechnern

• Machine Learning, Pattern Matching

Page 27: Adiabatisches Quantencomputing > Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015DLR.de Folie 1 Elisabeth Lobe, Tobias Stollenwerk

Vielen Dank für ihre Aufmerksamkeit!

DLR.de • Folie 27

Fragen?

Tobias StollenwerkElisabeth Lobe Simulations- und Softwaretechnik

Abt. Verteilte Systeme und Komponentensoftware

[email protected]

[email protected]

http://www.DLR.de/sc

> Adiabatisches Quantencomputing > Elisabeth Lobe, Tobias Stollenwerk > 5.5.2015