Upload
alex-acm-sc-library
View
221
Download
0
Embed Size (px)
Citation preview
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
1/87
Introduction to Quantum ComputingAn introduction to non-physicists.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
2/87
Why is QuantumComputing? (The
problem)
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
3/87
Polynomial Timevs
Exponential Time
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
4/87
Get the feeling ofExponential power: ATower to the Moon!
Distance from Earth to the Moon = 384,400 km
Paper thinness = 0.5 mm
How many folds do we need to make a tower to the moon?
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
5/87
0.5 * 10^-3 * 2^n = 384,400 * 10^3
n = log(7688*10^8) = 39.5 ~ 40
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
6/87
Hard problems (NP problems)
Traveling salesman problem (TSP)
Integer factorization problem
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
7/87
Parallel processing!
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
8/87
Motivation
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
9/87
Richard Feynmans observation that certain
quantum mechanical effects cannot be simulatedefficiently on a computer led to speculation that
computation in general could be done moreefficiently if it used these quantum effects.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
10/87
This speculation proved justified
when Peter Shor described apolynomial time quantum algorithm
for factoring integers.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
11/87
Additional interest in the subject has been created bythe invention of quantum key distribution
and, more recently, popular press accounts ofexperimental successes in quantum teleportation andthe demonstration of a three-bit quantum computer.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
12/87
Quantum computers
enables exponentialparallelism
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
13/87
In quantum systems, the computational spaceincreases exponentially with the size of the system
which enables exponential parallelism. Thisparallelism could lead to exponentially fasterquantum algorithms than possible classically.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
14/87
This means that quantum computers will be veryeffective at performing tasks -- like vision
recognition, medical diagnosis, and other forms ofartificial intelligence processing -- that can depend
on very complex pattern matching activities waybeyond the capabilities of classical computers.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
15/87
Quantum Mechanics
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
16/87
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
17/87
Quantum mechanics (QM also known asquantum physics, or quantum theory) is a
branch of physics which deals with physicalphenomena at microscopic scales, where the
action is on the order of the Planck constant.Quantum mechanics departs from classicalmechanics primarily at the quantum realm of
atomic and subatomic length scales.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
18/87
Quantum computers may use a quantummechanics phenomena like the spin direction of a
single atom to represent the state of a single unit ofquantum information (qubit), or alternatively the
spin direction of a single electron or the polarizationorientation of a photon.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
19/87
Due to laws of quantum mechanics, individualqubits can represent a value of "1", "0" or both
numbers simultaneously. This is because the sub-atomic particles used as qubits can exist in more
than one state -- or "superposition" -- at exactly thesame point in time.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
20/87
Anyone who is not shocked by
quantum theory has notunderstood it!
-Niels Bohr
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
21/87
Qubit
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
22/87
A qubit or quantum bit is a unit of quantum
informationthe quantum analogue of theclassical bit. A qubit is a two-state quantum-
mechanical system, such as the polarization ofa single photon: here the two states are vertical
polarization and horizontal polarization. In aclassical system, a bit would have to be in one
state or the other, but quantum mechanicsallows the qubit to be in a superposition of both
states at the same time, a property which isfundamental to quantum computing.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
23/87
Quantumsuperposition
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
24/87
Quantum superposition is a
fundamental principle of quantummechanics that holds that a physicalsystemsuch as an electronexists
partly in all its particular theoreticallypossible states (or, configuration ofits properties) simultaneously; but
when measured or observed, it givesa result corresponding to only one ofthe possible configurations.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
25/87
There is no good classical explanation of
superpositions: a quantum bit representing 0 and1 can neither be viewed as between 0 and 1 norcan it be viewed as a hidden unknown state thatrepresents either 0 or 1 with a certain probability.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
26/87
Multiple Qubits
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
27/87
A register of n qubits can be in a superposition of
all 2^n possible values. The extra states thathave no classical analog and lead to the
exponential size of the quantum state space are theentangled states.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
28/87
The input to a quantum computation can be put in asuperposition state that encodes all possible input
values. Performing the computation on this initialstate will result in superposition of all of the
corresponding output values. This process isknown as quantum parallelism.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
29/87
Measurement
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
30/87
While a quantum system can perform massive
parallel computation, access to the results ofthe computation is restricted. Accessing theresults is equivalent to making a measurement,
which disturbs the quantum state.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
31/87
Measuring the output states will randomlyyield only one of the values in the
superposition, and at the same time destroyall of the other results of the computation.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
32/87
The process of directly observing a qubit will
actually cause its state to "collapse" to oneor other of its superpositions. In practice thismeans that, when data is read from a qubit,
the result will be either a "1" or a "0".
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
33/87
This can be imagined as if we have a hugenumber of parallel threads, but we can onlyread the result of one parallel thread, andbecause measurement is probabilistic, we
cannot even choose which one we get.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
34/87
Challenges inManufacturing Quantum
Computers
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
35/87
The greatest problem for building quantum
computers is decoherence, the distortion ofthe quantum state due to interaction withthe environment. For some time it was
feared that quantum computers could not
be built because it would be impossible toisolate them sufficiently from the external
environment. The breakthrough came from
the algorithmic rather than the physicalside, through the invention of quantumerror correction techniques.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
36/87
The second drawback, which
is related to the first, is thatmanipulating atoms is difficult!Trying to force one atom to
spin a certain way requirespowerful yet precise magnetic
forces to be applied to theatom so that it doesnt disturbthe other atoms around it.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
37/87
Finally, the last draw back is
that you cannot directlymeasure the spin of the atomdue to Heisenbergs
uncertainty principle. As soonas a measurement is taken of
the atom to determine its spin,the spin will change and maynot be the correct answer!
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
38/87
Realizationtechniques
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
39/87
Ion Trap: In an ion trap quantum computer:a linear sequence of ions representing the
qubits are confined by electric fields.Lasers are directed at individual ions to
perform single bit quantum gates.
NMR: The nuclear magnetic resonance(NMR) approach has the advantage that it
will work at room temperature, and that
NMR technology in general is already fairlyadvanced.
Superconductors: Needs supercooling
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
40/87
Realization ofquantum computers
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
41/87
1995 - Christopher Monroe and David Wineland at NIST (Boulder,Colorado) experimentally realize the first quantum logic gate the C-NOTgate with trapped ions, according to Cirac and Zoller's proposal.
1998 - A working 2-qubit NMR quantum computer used to solve Deutsch'sproblem was demonstrated by Jonathan A. Jones and Michele Mosca atOxford University and shortly after by Isaac L. Chuang at IBM's AlmadenResearch Center together with coworkers at Stanford University and MIT.
1998 - First working 3-qubit NMR computer.
2000 - First working 5-qubit NMR computer demonstrated at the TechnicalUniversity of Munich.
2000 - First execution of order finding (part of Shor's algorithm) at IBM'sAlmaden Research Center and Stanford University.
2000 - First working 7-qubit NMR computer demonstrated at the LosAlamos National Laboratory.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
42/87
2006 - First 12-qubit quantum computer
benchmarked.
2007 - a Canadian company called D-Waveannounced what it described as "the world'sfirst commercially viable quantum computer".This was based on a 16-qubit processor -- theRainer R4.7 -- made from the rare metal niobiumsupercooled into a superconducting state.
2009 - Google collaborates with D-WaveSystems on image search technology usingquantum computing.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
43/87
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
44/87
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
45/87
2011 - D-Wave launched a fully-commercial, 128-qubit quantumcomputer. Called the D-Wave One, this is described by the company as a
"high performance computing system designed for industrial problemsencountered by fortune 500 companies, government and academia". TheD-Wave One's super-cooled 128-qubit processor is housed inside acryogenics system within a 10 square meter shielded room.
At launch, the D-Wave One cost $10 million. The first D-Wave One was
sold to US aerospace, security and military giant Lockheed Martin in May2011.
2013 - D-Wave launched D-Wave Two system which is a superconducting512-qubit processor chip housed inside a cryogenics system within a 10square meter shielded room.
The computational basis of 500 qubits, for example, would already be toolarge to be represented on a classical computer because it would require2^500 complex values (2^501 bits) to be stored. (For comparison, aterabyte of digital information is only 2^40 bits.)
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
46/87
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
47/87
Mathematical Model
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
48/87
Qubit
A quantum bit, or qubit, is a unit vector in a twodimensional complex vector space for
which a particular basis, denoted by {|0>, |1>}, hasbeen fixed. The orthonormal basis |0> and |1> maycorrespond to the vertical and horizontal
polarizations of a photon respectively, or to the
spin-up and spin-down states of an electron.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
49/87
Superposition
For the purposes of quantum computation, the basisstates |0> and |1> are taken to represent
the classical bit values 0 and 1 respectively. Unlikeclassical bits however, qubits canbe in a superposition of |0> and |1> such as a|0>+b|
1> where a and b are complex numbers
such that |a|^2 + |b|^2 = 1.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
50/87
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
51/87
Measurement
The measurement postulate of quantum mechanicsstates that any device measuring a 2-
dimensional system has an associated orthonormal
basis with respect to which the quantummeasurement takes place. Measurement of a statetransforms the state into one of the
measuring devices associated basis vectors. The
probability that the state is measured asbasis vector |u> is the square of the norm of theamplitude of the component of the original
state in the direction of the basis vector |u>.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
52/87
MeasurementIf a superposition a|0>+b|1> is measured with respect to
the basis {|0>, |1>}, the probability that the measuredvalue is |0> is |a|^2 and the probability that the
measured value is |1> is |b|^2.
As measurement changes the state, one cannotmeasure the state of a qubit in two different bases.
Furthermore, quantum states cannot be cloned so it isnot possible to measure a qubit in two ways, evenindirectly by, say, copying the qubit and measuring the
copy in a different basis from the
original.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
53/87
Measurement
is equivalentto projection
onto the basis
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
54/87
Dirac notation
The orthonormal basis {|0>, |1>} can be expressed as{(1, 0)T , (0, 1)T}.
|0>, |1> are called kets (one is ket)
Any complex linear combination of |0> and |1>, a|0> +b|1>, can be written (a, b)T .
bra|ket Dirac notation
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
55/87
Dirac notation
Combining as in , also writtenas , denotes the inner product of
the two vectors.
For instance, since |0> is a unit vector we have = 1 and since |0> and |1> are orthogonal
we have = 0.
The overlap expression is typically
interpreted as the probability amplitude for the
state to collapse into the state.
Dirac notation
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
56/87
Dirac notation
The notation |x> and
to |0> and |0> to (0, 0)T.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
57/87
Quantum Key Distribution
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
58/87
Quantum Key Distribution
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
59/87
Quantum Key Distribution
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
60/87
Entanglement
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
61/87
Quantum entanglement is a physical
phenomenon that occurs whenparticles such as photons, electrons,
or molecules interact and then become
separated. Before the interaction eachparticle is described by its ownquantum state. After the interaction the
pair can still be described with adefinite quantum state but eachmember of the pair must also bedescribed relative to one another.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
62/87
In classical physics, the possiblestates of a system of n particles,whose individual states can bedescribed by a vector in a two
dimensional vector space, form avector space of 2n dimensions.However, in a quantum system
the resulting state space is muchlarger; a system of n qubits has astate space of 2^n dimensions.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
63/87
The state space for two
qubits, each with basis{|0>, |1>}, has basis
{|0>|0>, |0>|1>, |1>|0>,
|1>|1>}
which can be written morecompactly as
{|00>, |01>, |10>, |11>}.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
64/87
The state |00>+|11> is an
example of a quantum state thatcannot be described in terms
of the state of each of its
components (qubits) separately.In other words, we cannot find
a1, a2, b1, b2 such that(a1|0> + b1|1>)
(a2|0> + b2|1>) = |00> + |11>.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
65/87
If the quantum state of a
pair of particles is in adefinite superposition, and
that superposition cannotbe factored out into the
product of two states (onefor each particle), thenthat pair is entangled.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
66/87
When a measurement is madeon one member of such a pair
and the outcome is known (e.g.,clockwise spin), the other
member of this entangled pair isat any subsequent time alwaysfound (when measured) to have
taken the appropriatelycorrelated value (e.g.,
counterclockwise spin).
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
67/87
There is a correlation between the results ofmeasurements performed on entangled pairs, and thiscorrelation is observed even though the entangled pair
may be separated by arbitrarily large distances.
In the formalism of quantum theory, this effect ofmeasurement happens instantaneously.
Repeated experiments have verified that this workseven when the measurements are performed morequickly than light could travel between the sites of
measurement.
Research into quantum entanglement was initiated bya 1935 paper by Albert Einstein, Boris Podolsky, and
Nathan Rosen describing the EPR paradox.
EPR Paradox
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
68/87
EPR Paradox
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
69/87
Quantum Gates
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
70/87
a quantum gate (or quantumlogic gate) is a basic
quantum circuit operating
on a small number of qubits.They are the building blocks
of quantum circuits, likeclassical logic gates are forconventional digital circuits.
U lik l i l l i
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
71/87
Unlike many classical logic gates,quantum logic gates are reversible.
However, classical computing canbe performed using only reversiblegates. For example, the reversible
Toffoli gate can implement allBoolean functions. This gate has adirect quantum equivalent, showing
that quantum circuits can performall operations performed by
classical circuits.
Q
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
72/87
Quantum logic gates arerepresented by unitary matrices.
The most common quantumgates operate on spaces of one
or two qubits, just like thecommon classical logic gatesoperate on one or two bits. This
means that as matrices, quantumgates can be described by 2 2
or 4 4 unitary matrices.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
73/87
Toffoli Gate
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
74/87
Swap Gate
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
75/87
CNOT Gate
Hadamard Gate (Generates a
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
76/87
Hadamard Gate (Generates asuperposition of all 2^n possible
states when applied on an n qubit)
Dense Coding
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
77/87
Dense Coding
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
78/87
Teleportation
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
79/87
Teleportation
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
80/87
Quantum Algorithms
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
81/87
Quantum Algorithms
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
82/87
Quantum Algorithms
Quantum algorithms is formed of state encoding, a sequence oftransformations and then a measurement.
all classical algorithms can also be performed on a quantum
computer.
All problems which can be solved on a quantum computer canbe solved on a classical computer. What makes quantumalgorithms interesting is that they might be able to solve someproblems faster than classical algorithms.
The most well known algorithms are Shor's algorithm for factoring,and Grover's algorithm for searching an unstructured database oran unordered list.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
83/87
Shor's AlgorithmOn a quantum computer, to factor an integer N, Shor's
algorithm runs in polynomial time (the time taken ispolynomial in log N, which is the size of the input).
Specifically it takes time O((log N)^3), demonstrating thatthe integer factorization problem can be efficiently solved
on a quantum computer and is thus in the complexity classBQP. This is substantially faster than the most efficient
known classical factoring algorithm, the general numberfield sieve, which works in sub-exponential time about
O(e^[1.9 (log N)1/3 (log log N)2/3]).
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
84/87
What is the relationship between BQP and NP?
BQP (bounded error quantum polynomial time)
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
85/87
Quantum Algorithms
Grover's algorithm is a quantum algorithm for searching an
unsorted database with N entries in O(N^1/2) time andusing O(log N) storage space.
Post-Quantum Cryptography algorithms! (Lattice-based
cryptography, McEliece cryptosystem)
Conclusions
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
86/87
Conclusions
Quantum mechanics phenomena can be used in performing computations.
Quantum computers enables exponential parallelism.
Quit can be 0, 1, or in a superposition of both.
Multiple qubits can be in entangled state encoding all possible values.
Measuring a quit in a superposition state return only one possible state and destroy all other possibilities.
Quantum computation has many applications in both communications And computations.
The elements of the theory of quantum computation are already established. Quantum computers, gates,algorithms are ready to be implemented.
Although the realization of real quantum computers faces some technical difficulties, there is a huge
amount of investment in this field from market-leading companies, universities and governments. Thereare already existing commercial implementations.
Within a few number of years, quantum computers may change the way we do computations. It isimportant to prepare yourself for this theory and techniques to be ready for the next wave of computersinshaa Allah.
7/29/2019 Alexandria ACM SC | Quantum Computing Lecture.
87/87
Thank you