18
1 Meyerhenke, Glantz, Looz, Tzovas: Quantum Algorithms via Linear Algebra Department of Informatics Institute for Theoretical Computer Science Institute for Theoretical Computer Science Quantum Algorithms via Linear Algebra Schedule and Presentation of Topics, April 28, 2017 Meyerhenke, Glantz, Looz, Tzovas www.kit.edu

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

  • Upload
    others

  • View
    0

  • Download
    0

Embed Size (px)

Citation preview

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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