quantum algorithms via linear algebraparco.iti.kit.edu/glantz/themen_qala.pdf · grover’s...
TRANSCRIPT
![Page 1: Quantum Algorithms via Linear Algebraparco.iti.kit.edu/glantz/themen_qala.pdf · Grover’s algorithm 8 Meyerhenke, Glantz, Looz, Tzovas: Quantum Algorithms via Linear Algebra Department](https://reader033.vdocuments.us/reader033/viewer/2022042204/5ea610a4dfd7a8785d572d06/html5/thumbnails/1.jpg)
1 Meyerhenke, Glantz, Looz, Tzovas:Quantum Algorithms via Linear Algebra
Department of InformaticsInstitute for Theoretical Computer Science
Institute for Theoretical Computer Science
Quantum Algorithms via Linear AlgebraSchedule and Presentation of Topics, April 28, 2017Meyerhenke, Glantz, Looz, Tzovas
www.kit.edu
![Page 2: Quantum Algorithms via Linear Algebraparco.iti.kit.edu/glantz/themen_qala.pdf · Grover’s algorithm 8 Meyerhenke, Glantz, Looz, Tzovas: Quantum Algorithms via Linear Algebra Department](https://reader033.vdocuments.us/reader033/viewer/2022042204/5ea610a4dfd7a8785d572d06/html5/thumbnails/2.jpg)
How hot is quantum computing?
2 Meyerhenke, Glantz, Looz, Tzovas:Quantum Algorithms via Linear Algebra
Department of InformaticsInstitute for Theoretical Computer Science
Factorization and thus cryptograpy(RSA and other public key cryptosystems)
"Quantum annealers" from D-WAVEfor solving certain optimization problems
![Page 3: Quantum Algorithms via Linear Algebraparco.iti.kit.edu/glantz/themen_qala.pdf · Grover’s algorithm 8 Meyerhenke, Glantz, Looz, Tzovas: Quantum Algorithms via Linear Algebra Department](https://reader033.vdocuments.us/reader033/viewer/2022042204/5ea610a4dfd7a8785d572d06/html5/thumbnails/3.jpg)
Matrices and Mazes
3 Meyerhenke, Glantz, Looz, Tzovas:Quantum Algorithms via Linear Algebra
Department of InformaticsInstitute for Theoretical Computer Science
−1
−1
00 00
01
10
11
01
10
11
Hadamard matrices [Sec. 5.1]Fourier matrices [Sec. 5.2]More matrices [Sec. 5.3 – 5.5]Phil’s algorithm [Sec. 7]
![Page 4: Quantum Algorithms via Linear Algebraparco.iti.kit.edu/glantz/themen_qala.pdf · Grover’s algorithm 8 Meyerhenke, Glantz, Looz, Tzovas: Quantum Algorithms via Linear Algebra Department](https://reader033.vdocuments.us/reader033/viewer/2022042204/5ea610a4dfd7a8785d572d06/html5/thumbnails/4.jpg)
Basics of quantum algorithm design
4 Meyerhenke, Glantz, Looz, Tzovas:Quantum Algorithms via Linear Algebra
Department of InformaticsInstitute for Theoretical Computer Science
Get another start vector [Sec. 6.1]Copying states [Sec. 6.2]Copy-uncompute [Sec. 6.3]More basics [Sec. 6.3 – 6.7]
y1
y2
y1
y2
x1
x2
x3
x4
0
0
x1
x3
x2
x4
U U*
![Page 5: Quantum Algorithms via Linear Algebraparco.iti.kit.edu/glantz/themen_qala.pdf · Grover’s algorithm 8 Meyerhenke, Glantz, Looz, Tzovas: Quantum Algorithms via Linear Algebra Department](https://reader033.vdocuments.us/reader033/viewer/2022042204/5ea610a4dfd7a8785d572d06/html5/thumbnails/5.jpg)
The Deutsch(-Jozsa) Algorithm
5 Meyerhenke, Glantz, Looz, Tzovas:Quantum Algorithms via Linear Algebra
Department of InformaticsInstitute for Theoretical Computer Science
f : {0, 1} 7→ {0, 1}
Is f(·) constant, i. e., f(0) = f(1)?Find out by evaluating f(·) only once [Sec. 8.1 – 8.2].
g : {0, 1}n 7→ {0, 1}
Is g(·) constant, i. e., g(x) = g(y) for all x, y ∈ {0, 1}n, orbalanced, i. e., |g−1(0)| = |g−1(1)|?Find out by evaluating g(·) only once [Sec. 9.1 – 9.2].
![Page 6: Quantum Algorithms via Linear Algebraparco.iti.kit.edu/glantz/themen_qala.pdf · Grover’s algorithm 8 Meyerhenke, Glantz, Looz, Tzovas: Quantum Algorithms via Linear Algebra Department](https://reader033.vdocuments.us/reader033/viewer/2022042204/5ea610a4dfd7a8785d572d06/html5/thumbnails/6.jpg)
Teleportation and Simon’s algorithm
6 Meyerhenke, Glantz, Looz, Tzovas:Quantum Algorithms via Linear Algebra
Department of InformaticsInstitute for Theoretical Computer Science
Quantum teleportation [Sec. 8.3].
Simon’s algorithm [Sec. 10].f : {0, 1}n 7→ {0, 1}n, ∃ s ∈ {0, 1}n such that
f(y) = f(z)⇐⇒ y = z ⊕ s ∀y, z ∈ {0, 1}n. (1)
Find period s.
![Page 7: Quantum Algorithms via Linear Algebraparco.iti.kit.edu/glantz/themen_qala.pdf · Grover’s algorithm 8 Meyerhenke, Glantz, Looz, Tzovas: Quantum Algorithms via Linear Algebra Department](https://reader033.vdocuments.us/reader033/viewer/2022042204/5ea610a4dfd7a8785d572d06/html5/thumbnails/7.jpg)
Shor’s algorithm and factorization
7 Meyerhenke, Glantz, Looz, Tzovas:Quantum Algorithms via Linear Algebra
Department of InformaticsInstitute for Theoretical Computer Science
This is where quantum algorithms might get crucial in cryptography!
f : IN 7→ {0, 1, . . . ,M − 1}, ∃ r ∈ IN such that
f(x+ r) = f(x) ∀x ∈ IN.
Find period r [Sec 11].
Find a factor of M with high probabilityin quantum polynomial time [Sec 12].
![Page 8: Quantum Algorithms via Linear Algebraparco.iti.kit.edu/glantz/themen_qala.pdf · Grover’s algorithm 8 Meyerhenke, Glantz, Looz, Tzovas: Quantum Algorithms via Linear Algebra Department](https://reader033.vdocuments.us/reader033/viewer/2022042204/5ea610a4dfd7a8785d572d06/html5/thumbnails/8.jpg)
Grover’s algorithm
8 Meyerhenke, Glantz, Looz, Tzovas:Quantum Algorithms via Linear Algebra
Department of InformaticsInstitute for Theoretical Computer Science
Given a set S of N potential solutions to a problem, N large.
Only potential solutions in small S′ ⊂ S are really solutions.
Find a solution [Sec 13].
Ideal state h such that h(s) = 1 for s ∈ S′, 0 otherwise.
Start with h such that h(s1) = h(s2) for all s1, s2 ∈ S.Make h more pronounced,
![Page 9: Quantum Algorithms via Linear Algebraparco.iti.kit.edu/glantz/themen_qala.pdf · Grover’s algorithm 8 Meyerhenke, Glantz, Looz, Tzovas: Quantum Algorithms via Linear Algebra Department](https://reader033.vdocuments.us/reader033/viewer/2022042204/5ea610a4dfd7a8785d572d06/html5/thumbnails/9.jpg)
Quantum Walks
9 Meyerhenke, Glantz, Looz, Tzovas:Quantum Algorithms via Linear Algebra
Department of InformaticsInstitute for Theoretical Computer Science
0
−1 −1 −1 −1 −1 −1
−3 −2 −1 0 1 2 3
1
Classical random walks [Sec. 14.1]
Random walks and matrices [Sec. 14.2]
Quantum walks [Sec. 14.3 – 14.6]
![Page 10: Quantum Algorithms via Linear Algebraparco.iti.kit.edu/glantz/themen_qala.pdf · Grover’s algorithm 8 Meyerhenke, Glantz, Looz, Tzovas: Quantum Algorithms via Linear Algebra Department](https://reader033.vdocuments.us/reader033/viewer/2022042204/5ea610a4dfd7a8785d572d06/html5/thumbnails/10.jpg)
Quantum walk search algorithms
10 Meyerhenke, Glantz, Looz, Tzovas:Quantum Algorithms via Linear Algebra
Department of InformaticsInstitute for Theoretical Computer Science
What is quantum walk search good for?
Is f : {1, . . . , n} 7→ {1, . . . , n} bijective?
Vr := {Sr ⊂ {1, . . . , n} | |Sr| = r} [Sec. 15.1].
Perform quantum walks on Johnson graph Jn,r [Sec. 15.2 – 15.10]
![Page 11: Quantum Algorithms via Linear Algebraparco.iti.kit.edu/glantz/themen_qala.pdf · Grover’s algorithm 8 Meyerhenke, Glantz, Looz, Tzovas: Quantum Algorithms via Linear Algebra Department](https://reader033.vdocuments.us/reader033/viewer/2022042204/5ea610a4dfd7a8785d572d06/html5/thumbnails/11.jpg)
Bounded ErrorQuantum Polynomial Time (BQP)
11 Meyerhenke, Glantz, Looz, Tzovas:Quantum Algorithms via Linear Algebra
Department of InformaticsInstitute for Theoretical Computer Science
From BPP(Bounded error Probabilistic Polynomial) to BQP:
Definition (BQP)A function f : {0, 1}∗ 7→ {0, 1}∗ belongs to BQP if there are a polynomialp, a function g computable in classical p(n) time, and a quantumAlgorithm A such that for all n and inputs x ∈ {0, 1}n, and for somer < p(n), A applied to the initial state ex0r yields within p(n) basicquantum operations a quantum state b such that
Pr[measuring b yields z such that g(z) = f(x)] ≥ 3/4. (2)
Which f belong to BQP? [Sec. 16]
![Page 12: Quantum Algorithms via Linear Algebraparco.iti.kit.edu/glantz/themen_qala.pdf · Grover’s algorithm 8 Meyerhenke, Glantz, Looz, Tzovas: Quantum Algorithms via Linear Algebra Department](https://reader033.vdocuments.us/reader033/viewer/2022042204/5ea610a4dfd7a8785d572d06/html5/thumbnails/12.jpg)
Reference
12 Meyerhenke, Glantz, Looz, Tzovas:Quantum Algorithms via Linear Algebra
Department of InformaticsInstitute for Theoretical Computer Science
R. J. Lipton and K. W. Regan.Quantum Algorithms via Linear Algebra. A Primer.The MIT Press, 2014.
![Page 13: Quantum Algorithms via Linear Algebraparco.iti.kit.edu/glantz/themen_qala.pdf · Grover’s algorithm 8 Meyerhenke, Glantz, Looz, Tzovas: Quantum Algorithms via Linear Algebra Department](https://reader033.vdocuments.us/reader033/viewer/2022042204/5ea610a4dfd7a8785d572d06/html5/thumbnails/13.jpg)
Schedule
13 Meyerhenke, Glantz, Looz, Tzovas:Quantum Algorithms via Linear Algebra
Department of InformaticsInstitute for Theoretical Computer Science
Until May 5: Binding registration
May 5, 16:00 – 18:00:Introduction to presentation techniques (H. Meyerhenke) andIntroduction to quantum algorithms: part 1 (R. Glantz)
May 12, 15:45 – 17:30:Introduction to quantum algorithms: part 2 (M. Looz, H. Tzovas)
June 9, 15:45 – 18:15: Short presentations
June 30, 15:45 – 18:15: Presentations 1 – 3
July 7, 15:45 – 18:15: Presentations 4 – 6
July 14, 15:45 – 18:15: Presentations 7 – 9
August 18: Deadline for written summary
![Page 14: Quantum Algorithms via Linear Algebraparco.iti.kit.edu/glantz/themen_qala.pdf · Grover’s algorithm 8 Meyerhenke, Glantz, Looz, Tzovas: Quantum Algorithms via Linear Algebra Department](https://reader033.vdocuments.us/reader033/viewer/2022042204/5ea610a4dfd7a8785d572d06/html5/thumbnails/14.jpg)
Schedule
13 Meyerhenke, Glantz, Looz, Tzovas:Quantum Algorithms via Linear Algebra
Department of InformaticsInstitute for Theoretical Computer Science
Until May 5: Binding registration
May 5, 16:00 – 18:00:Introduction to presentation techniques (H. Meyerhenke) andIntroduction to quantum algorithms: part 1 (R. Glantz)
May 12, 15:45 – 17:30:Introduction to quantum algorithms: part 2 (M. Looz, H. Tzovas)
June 9, 15:45 – 18:15: Short presentations
June 30, 15:45 – 18:15: Presentations 1 – 3
July 7, 15:45 – 18:15: Presentations 4 – 6
July 14, 15:45 – 18:15: Presentations 7 – 9
August 18: Deadline for written summary
![Page 15: Quantum Algorithms via Linear Algebraparco.iti.kit.edu/glantz/themen_qala.pdf · Grover’s algorithm 8 Meyerhenke, Glantz, Looz, Tzovas: Quantum Algorithms via Linear Algebra Department](https://reader033.vdocuments.us/reader033/viewer/2022042204/5ea610a4dfd7a8785d572d06/html5/thumbnails/15.jpg)
Schedule
13 Meyerhenke, Glantz, Looz, Tzovas:Quantum Algorithms via Linear Algebra
Department of InformaticsInstitute for Theoretical Computer Science
Until May 5: Binding registration
May 5, 16:00 – 18:00:Introduction to presentation techniques (H. Meyerhenke) andIntroduction to quantum algorithms: part 1 (R. Glantz)
May 12, 15:45 – 17:30:Introduction to quantum algorithms: part 2 (M. Looz, H. Tzovas)
June 9, 15:45 – 18:15: Short presentations
June 30, 15:45 – 18:15: Presentations 1 – 3
July 7, 15:45 – 18:15: Presentations 4 – 6
July 14, 15:45 – 18:15: Presentations 7 – 9
August 18: Deadline for written summary
![Page 16: Quantum Algorithms via Linear Algebraparco.iti.kit.edu/glantz/themen_qala.pdf · Grover’s algorithm 8 Meyerhenke, Glantz, Looz, Tzovas: Quantum Algorithms via Linear Algebra Department](https://reader033.vdocuments.us/reader033/viewer/2022042204/5ea610a4dfd7a8785d572d06/html5/thumbnails/16.jpg)
Schedule
13 Meyerhenke, Glantz, Looz, Tzovas:Quantum Algorithms via Linear Algebra
Department of InformaticsInstitute for Theoretical Computer Science
Until May 5: Binding registration
May 5, 16:00 – 18:00:Introduction to presentation techniques (H. Meyerhenke) andIntroduction to quantum algorithms: part 1 (R. Glantz)
May 12, 15:45 – 17:30:Introduction to quantum algorithms: part 2 (M. Looz, H. Tzovas)
June 9, 15:45 – 18:15: Short presentations
June 30, 15:45 – 18:15: Presentations 1 – 3
July 7, 15:45 – 18:15: Presentations 4 – 6
July 14, 15:45 – 18:15: Presentations 7 – 9
August 18: Deadline for written summary
![Page 17: Quantum Algorithms via Linear Algebraparco.iti.kit.edu/glantz/themen_qala.pdf · Grover’s algorithm 8 Meyerhenke, Glantz, Looz, Tzovas: Quantum Algorithms via Linear Algebra Department](https://reader033.vdocuments.us/reader033/viewer/2022042204/5ea610a4dfd7a8785d572d06/html5/thumbnails/17.jpg)
Schedule
13 Meyerhenke, Glantz, Looz, Tzovas:Quantum Algorithms via Linear Algebra
Department of InformaticsInstitute for Theoretical Computer Science
Until May 5: Binding registration
May 5, 16:00 – 18:00:Introduction to presentation techniques (H. Meyerhenke) andIntroduction to quantum algorithms: part 1 (R. Glantz)
May 12, 15:45 – 17:30:Introduction to quantum algorithms: part 2 (M. Looz, H. Tzovas)
June 9, 15:45 – 18:15: Short presentations
June 30, 15:45 – 18:15: Presentations 1 – 3
July 7, 15:45 – 18:15: Presentations 4 – 6
July 14, 15:45 – 18:15: Presentations 7 – 9
August 18: Deadline for written summary
![Page 18: Quantum Algorithms via Linear Algebraparco.iti.kit.edu/glantz/themen_qala.pdf · Grover’s algorithm 8 Meyerhenke, Glantz, Looz, Tzovas: Quantum Algorithms via Linear Algebra Department](https://reader033.vdocuments.us/reader033/viewer/2022042204/5ea610a4dfd7a8785d572d06/html5/thumbnails/18.jpg)
Schedule
13 Meyerhenke, Glantz, Looz, Tzovas:Quantum Algorithms via Linear Algebra
Department of InformaticsInstitute for Theoretical Computer Science
Until May 5: Binding registration
May 5, 16:00 – 18:00:Introduction to presentation techniques (H. Meyerhenke) andIntroduction to quantum algorithms: part 1 (R. Glantz)
May 12, 15:45 – 17:30:Introduction to quantum algorithms: part 2 (M. Looz, H. Tzovas)
June 9, 15:45 – 18:15: Short presentations
June 30, 15:45 – 18:15: Presentations 1 – 3
July 7, 15:45 – 18:15: Presentations 4 – 6
July 14, 15:45 – 18:15: Presentations 7 – 9
August 18: Deadline for written summary