beyond breaking rsa: algorithms and applications of quantum computation… · 2020-04-24 ·...

36
Quantum Theory Quantum Computation Foundations and Complexity Conclusions ”Beyond breaking RSA: Algorithms and applications of quantum computation” Carlos Tavares High-Assurance Software Laboratory/INESC TEC [email protected] October 26, 2016

Upload: others

Post on 04-May-2020

3 views

Category:

Documents


0 download

TRANSCRIPT

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    ”Beyond breaking RSA: Algorithms andapplications of quantum computation”

    Carlos Tavares

    High-Assurance Software Laboratory/INESC TEC

    [email protected]

    October 26, 2016

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Overview

    Quantum Theory

    Quantum ComputationQuantum algorithmsHamiltonian simulation

    Foundations and Complexity

    Conclusions

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Introduction

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Quantum Theory

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Old Quantum Theory

    • In the beggining, there were only a set of radical ideas to solveseveral issues in classical physics

    • Black-body radiation, Compton and Photoelectric effects,Atomic structure

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Foundations of Quantum mechanics

    • Find mathematics to quantum mechanics an ever going effort

    • ”If quantum physics are waves, were’s the wave equation?”.Erwin Shrödinger formulated the wave equation

    • It is a differential equation with potential (manyeigenfunctions and eigenvalues).

    What does this mean physically ...?

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Quantum mechanics - Strange effects - Superposition

    • Eigenvalues and eigenfunctions correspond to observablevalues. Wave function defines probabilities for them - MaxBorn interpretation

    • The system may be in several possible states at the same time- superposition principle

    Shrödinger’s cat

    • Where is the classical limit, e.g. what is a measurement?(Measurement problem)

    • Decoherence seems to be the reason that causes wavecollapsing

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Quantum mechanics - Strange effects - Entanglement

    • Quantum Entanglement• Thought experiment: Einstein-Podolsky-Rosen (EPR) paradox,

    or ”spooky action at distance”• Two particles can ”information about a state” a state, e.g.

    their local states are highly correlated, regardless of thedistance.

    • Experimentally verified by Bell experiments!

    • Quantum theory has been extensively verified experimentally,and it is considered as true. It is the most successfull theoryof the history of physics.

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Quantum Computation

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Quantum Computation

    • It took fifty years to discover that quantum effects could helpus store and process information

    • Quantum superposition• Qubit is the fundamental unit of information (as similarly to

    bit)

    |ψ〉 = α |0〉+ β |1〉 ; |α|2 + |β|2 = 1

    |0〉 , |1〉 are an orthogonal basis. However the possible statesare provided by all superpositions of the system.

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Quantum Computation

    • Quantum entanglement• Allows the• The possible states for two qubits is

    |ψ〉 = α |00〉+β |01〉+γ |10〉+λ |11〉 ; |α|2+|β|2+|γ|2+|λ|2 = 1

    • The information that can be maintained in memory growsexponentially!

    • Processing• It is possible to perform operations over all the computational

    basis, in a potential exponential time improvement. Suchphenomenon is denominated quantum parallelism.

    A |Ψ〉 = A |Ψ1〉+ A |Ψ2〉+ ...+ A |Ψ3〉

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Quantum Computation

    • No cloning theorem - Information cannot be copied!• x = y , x = x + 1

    • Reversible operations - Evolution is unitary UU† = I• Many quantum gates (algebraic operators) are unitary: Toffoli

    gates, CNOT, Z Gate

    • Semantic observations• Similarities with paralel computation: monoidal categories are

    appropriate semantics (they have a tensor product)• Orthogonal bases are classical structures (supply a monoid and

    a co-monoid), but states are not

    • Decoherence

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    What can be done withquantum computers?

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Quantum computation and simulation - Applications

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Breaking RSA cryptography

    • The RSA cryptographic system was named after its creatorsRiver, Shamir and Adleman

    • Assymetric key encryption system:there is a public and aprivate key

    • Two big primes p and q (order ' 10100), and a numbern = p.q. Two numbers d , e, multiplicative inverses of eachother from the totient function of n

    • Public key: (n, e); Private key: (p, q, d)• Cyphertext : ce mod n, retrieve original message cd mod n

    • The objective is to break the system by finding e and d. Reliesin the hardness of factoring primes.

    • It can be broken if one knows the period of the function!

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Shor algorithms

    • Shor algorithm efficiently calculates the period of a function.• The algorithm operates using two registers of n qubits, one for

    the domain and the other for the co-domain• System preparedness

    |Φ〉 = 12n/2

    (2n−1∑x=0

    |x〉

    )⊗ |0 . . . 0〉 (1)

    • Entangle f (x) in co-domain register with the correspondent xin the domain register

    |Ψf 〉 = Uf |Φ〉 =1

    2n/2

    (2n−1∑x=0

    |x ⊗ f (x)〉

    )(2)

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Shor algorithms• Continuation of the Algorithm:

    • We are creating a map between f (x) and the correspondent x .Example for a cyclic function N mod 3

    {0, 3, 6, 9, ..., kr} 7→ {0}{1, 4, 7, 10, ..., 1 + kr} 7→ {1}{2, 5, 8, 11, ..., 2 + kr} 7→ {2}

    • When the second register is measured the state reads asfollows, where r is what we want to know

    |Ψ0〉 =1√K

    K−1∑k=0

    |x0 + kr〉 (3)

    • Apply the Fourier transform and r goes to the amplitude

    1

    2n/21√K

    K−1∑k=0

    e2iπy(x0+kr)/2n

    |k〉 (4)

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Hidden Subgroup

    • There is an efficient algorithm to extract r from the state(algorithm must be executed multiple times).

    • The algorithm is a specific case of the Hidden SubgroupProblem. It extracts the generator of the hidden subgroup ofa function.

    • Can it be generalized to other kinds of groups: non Abeliangroups?

    • Some interesting results with no great practical interest.• Desirable: Dihedral group, Symmetrical group;

    • Can we do better? Lazlo Babai discovered a sub-exponentialclassical algorithm for the graph isomorfism problem.

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Search: The Grover algorithm• Formulated by L.K. Grover in 1996. Applies to the search of

    unsorted databases, e.g. it is a general b̈rute forces̈earchalgorithm

    • In quantum world: finding the solution is easy, solutionselection is hard. Selection is made by means of a measurent.Build such a measurement is making random pick of a needlein a haystack very probable.

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Grover algorithm

    • Each |x〉 correponds to a possible solution, |Ψ〉 to the entiresolution space.

    • Tabula rasa in the solution space (make all solutions equallyprobable)

    |Ψ〉 = H⊗n |0⊗n〉 = 1√2n

    2n−1∑x=0

    |x〉 (5)

    • Apply the Oracle over all possible solutions, marking thecorrect solution.

    O |x〉 = (−1)f (x) |x〉 (6)

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Grover algorithm, Amplitude amplification and estimation

    • Magnify the probability of the solution H⊗nXH⊗n

    • The application of the oracle application and probabilitymagnification

    √(N) times yields the correct solution.

    • Grover algorithm is a optimal search algorithm• It is a specific case of a more general technique: Amplitude

    amplification, which can be complemented by Amplitudeestimation

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Quantum Random Walks

    • Quantum walks are analogous to classical random walks.• Three main components: a set of connected nodes, a flipping

    coin), an operator that generates the transitions.• A very simple example, a walk in the line:

    • Given a state

    |Ψin〉 = α↑ |↑〉+ α↓ |↓〉 ⊗ |ψx0〉• The random walk will progress as follows:

    U |Ψin〉 = α↑ |↑〉 ⊗ |ψx0−1〉+ α↓ |↓〉 ⊗ |ψx0+l〉• Sample progression

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Quantum Random Walks

    • The previous example can obviously generalized to moreuseful ones, with an appropriate choice of transition function:trees or graphs

    • The technique is useful for problems with a high degree ofbranching. There are some very successfull examples, wherethe benefit is exponential

    • It provides an universal model for quantum computation

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Hamiltonian simulation

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Hamiltonian simulation

    • The Hamiltonian of system gives the total energy of a system.The Schrodinger equation defines the probabilistic evolutionof the Hamiltonian in time.

    ∂ |Ψ〉∂t

    = − i~H |Ψ〉

    • The system will span the superposition of all eigenstates ofthe Hamiltonian, throughout time.

    • This provides an universal model for quantum computing.Establish the initial conditions in the simulation and let timeoperate the system.

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Hamiltonian Simulation

    • Adiabatic Quantum computation• Provides an universal model for quantum computation.• Specially suited for search and optimization problems

    • Continuous Quantum walks• Provides an universal model for quantum computation.• Analogous to discrete quantum walks

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Quantum Simulation

    Let the computer itself be built of quantum mechanicalelements which obey quantum mechanical laws.(Feynman, 1982).

    • Every quantum physical system obeys a dynamics. The idea isto put physics to simulate physics.

    • Example: Bose-Einstein condensates simulating black holes,graphene simulating the dirac equation

    • Simulators: General or specific, Analog or digital quantumsystems

    • Universal computers, condensed-matter physics, atomicphysics, ...;

    • Simulated theories• Open quantum systems, chemical models, condensed matter

    physics, high-energy physics, atomic physics, cosmology, ....

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Foundations and Complexity

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Foundations for Quantum computation and complexity

    • There is an extensive area of work both for the use ofsemantic tools and higher level mathematics in physicaltheories and dynamical systems

    • Categorical quantum mechanics, Topos theory, Effectus theory,Logic, extensive use of category theory in geometry andtopology of physical systems

    • Objective: conceive tools to the analysis and validation ofquantum algorithms (and their complexity?)

    • How to validate hybrid processes (classical and quantum)?• Categorical quantum mechanics, Effectus theory,

    generalizations of quantum mechanics, coalgebra theory.

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Foundations and Complexity

    • How to validate processes involving Hamiltonian dynamics ?• Gogioso et al. Monadic dynamics and Categorical semantics

    for Shrodinger equation.

    • An Hamiltonian simulating a similar Hamiltonian... suggestsan idea of bisimilarity between quantum physical systems...

    • Abramsky et al. are already following this line of work

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Quantum Complexity

    • Complexity is another tool to evaluate computationalprocesses.

    • A good survey is available in ”The Complexity Zoo”• All quantum classes are contained in PSPACE

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Quantum Complexity classes - BQP

    • Bounded Quantum Probability (BQP)• BQP is believed to contain all problems that are solvable in

    polynomial time by quantum computers• Many quantum systems have a BQP complete dynamics:

    Bose-Hubbard model, XY-Systems.

    • Quantum Post Bounded Quantum probability• Problems solvable efficiently by a quantum computer with

    post-selection• Could solve all NP-Complete problems, actually it would be

    equivalent to the class PP

    • NP Complete problems could be solved with non-linearquantum evolution, or with closed timelike curves. Very exoticphysics is necessary!

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Quantum Complexity classes - QMA

    • Quantum Merlin Arthur• Problems that are really hard to solve even for a quantum

    computer. Relatinship with BQP similar to the one between Pand NP.

    • Examples of QMA-Complete problems• Quantum k-SAT, k >= 3• Estimate the ground state of K-Local Hamiltonians, for k > 2• Estimate the ground state of Systems of interacting Fermions

    or Bosons• Estimate the ground state of Bose Hubbard model

    • The many body problem (simulation of a very big number ofparticles) in quantum physics is still beyond reach even forquantum computers.

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Conclusions

    • There is life beyond RSA in quantum computation.• There are already an interesting set of applications for

    quantum computers, and it is still in its infancy!

    • Computer science can be very helpful in quantum simulation:help making sense out of myriad of simulations and simulators

    • There are still hard problems to quantum computers

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    References

    • Michael A Nielsen and Isaac L Chuang. Quantumcomputation and quantum information. Cambridge universitypress, 2010.

    • Complexity Zoo• https://complexityzoo.uwaterloo.ca/Complexity_Zoo

    • Quantum algorithm Zoo• http://math.nist.gov/quantum/zoo/

    • Stephen Gasiorowicz. Quantum physics. John Wiley & Sons,2007.

    • Bob Coecke, New Structures for Physics, Springer, 2010• Carlos Tavares, Foundations for Quantum Algorihms and

    Complexity, MAPi pre-thesis, 2015. Available upon request

    https://complexityzoo.uwaterloo.ca/Complexity_Zoohttp://math.nist.gov/quantum/zoo/

  • Quantum Theory Quantum Computation Foundations and Complexity Conclusions

    Questions ?

    Quantum TheoryQuantum ComputationQuantum algorithmsHamiltonian simulation

    Foundations and ComplexityConclusions

    fd@rm@0: