Upload
others
View
3
Download
0
Embed Size (px)
Citation preview
Quantum Theory Quantum Computation Foundations and Complexity Conclusions
”Beyond breaking RSA: Algorithms andapplications of quantum computation”
Carlos Tavares
High-Assurance Software Laboratory/INESC TEC
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: