quantum computers algorithms and applications. simulating classical operations 2/41 dušan gajević

41
Quantum Computers Algorithms and applications

Upload: berniece-hensley

Post on 27-Dec-2015

226 views

Category:

Documents


3 download

TRANSCRIPT

Page 1: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Quantum Computers

Algorithms and applications

Page 2: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Simulating classical operations

2/41Dušan Gajević

Page 3: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Simulating classical operations

• Is it possible to simulateclassical computer operations on a quantum computer?– Pure states correspond to classical bits– To implement any classical computer operation

a universal set of gates is needed – (NOT, AND), (NOT, OR), (NAND), (NOR)…• Quantum computers are reversible,

yet, in any of these sets there is at least one irreversible operation

• Obviously, the real question is,can a reversible computer simulate an irreversible operation?

3/41Dušan Gajević

Page 4: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Simulating classical operations– Toffoli gate can be used to implement classical irreversible operations

– Is there anything elsea reversible circuit might needto simulate a classical computer?

NOT AND NAND

4/41Dušan Gajević

Page 5: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Simulating classical operations– In fact,

classical computer contains two more “gates” (elements)that are easily overlooked

– Using Toffoli gate

FANOUT ERASE

…but not the actual ERASE

Even a type of erase…

5/41Dušan Gajević

Page 6: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Simulating classical operations– In reversible computing,

it is allowed to erase duplicates of information,but it is not allowed to erase the last copy

• It is possible to simulateany classical irreversible computation using only Toffoli gates,but it requires a use of some extra bits

• Put another way,Toffoli gate is a universal gatefor classical reversible computing

6/41Dušan Gajević

Page 7: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

• Computation based on reversible logiccan take no energy to compute!

Offtopic: Energy dissipation

Run forwardto get an answer…

…copy that answer… …undo the computation

This will recover all the energy spentexcept the small amount used for copying an answer

7/41Dušan Gajević

Page 8: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Offtopic: Energy dissipation– Energy must be dissipated

to initialize the systemor to make a permanent record of an answer• These operations

set a new value in a memory registerregardless of what the state was,hence, they are irreversible

8/41Dušan Gajević

Page 9: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Simulating classical operations

• We saw it’s possible to simulateirreversible operations on a reversible computer

• Hence,it is possible to simulate classical operationson a quantum computer– But this is not what quantum computers are intended for –

it is not much of a benefit…

9/41Dušan Gajević

Page 10: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Quantum parallelism

10/41Dušan Gajević

Page 11: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Quantum parallelism

• A fundamental feature of many quantum algorithms– Suppose a binary function f(x)

– Let’s introduce a following unitary transformationsingle bit in – single bit out

XOR (addition modulo 2)

11/41Dušan Gajević

Page 12: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Quantum parallelism– And use it in a following circuit

…state after applying the introduced transformation

As if f(x) is evaluatedfor 2 values of x simultaneously

12/41Dušan Gajević

Page 13: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

– Now a modified binary function f(x)

– and a corresponding unitary transformation

Quantum parallelism

n-bit input

single bit output

13/41Dušan Gajević

Page 14: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Quantum parallelism– in a modified circuit Hadamard transform –

applied on n qubits

14/41Dušan Gajević

Page 15: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Quantum parallelism

As if f(x) is evaluatedfor 2n values of xsimultaneously

15/41Dušan Gajević

Page 16: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Quantum parallelism

• To achieve this sort of parallelism in classical computing multiple circuits are needed,while here a single circuit is employed– but, after measurement,

only one evaluation of f(x) remains

• Quantum computingrequires more than quantum parallelism alone to work

16/41Dušan Gajević

Page 17: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

“I do not like it, and I am sorry I had anything to do with it”– Erwin Schrödinger

17/41Dušan Gajević

Page 18: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Deutsch-Jozsa algorithm

18/41Dušan Gajević

Page 19: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Deutsch-Jozsa algorithm

• Problem formulation

f(x) is allowed to be either:- constant or- balanced

A black box…

2n possible input values

output has the same value for all inputs

output is:- 0 for half of the function inputs,- 1 for the other half

The goal is to determinewhether the function f(x)

is constant or balanced

19/41Dušan Gajević

Page 20: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Deutsch-Jozsa algorithm

• Classical solution:– We are checking the output for every possible input value

• If we come across a different output –we know the function is balanced

• Otherwise, when we check at least half plus onepossible inputs to be equal (2n/2 + 1) –we know the function is constant

• Time complexity of the classical solution is exponential

20/41Dušan Gajević

Page 21: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Deutsch-Jozsa algorithm

• Deutsch-Jozsa algorithm

classical bits

……

the measurement

21/41Dušan Gajević

Page 22: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Deutsch-Jozsa algorithm– What makes the resulting state so special?

A single amplitude of this statedepends on f(x) evaluatedfor all values of x!

22/41Dušan Gajević

Page 23: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Deutsch-Jozsa algorithm– Of the special interest

is the amplitude of the state

23/41Dušan Gajević

Page 24: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Deutsch-Jozsa algorithm

– there are three different possibilities

The function is constantf(x)=0

The function is constantf(x)=1

The function is balancedhalf f(x)=1 – half f(x)=0

function constantresults in 0…0

function balancedresults in ≠ 0…0

24/41Dušan Gajević

Page 25: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Deutsch-Jozsa algorithm

• Deutsch-Jozsa algorithm:– Compared to the classical solution displayed before,

it offers exponential speedup– Unlike most quantum algorithms,

it is deterministic– But it is of little practical use –

it has no known applications

• Nevertheless, it suggestsquantum computers are capable of solving some problemsmuch more efficiently than conventional computers

25/41Dušan Gajević

Page 26: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

ApplicationsFactorization of large numbers

26/41Dušan Gajević

Page 27: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

• The simplest solution is to start from 2and check for every consequent number whether it’s a factor– Exponential time complexity

• But even the best known classical algorithmshave superpolynomial time complexity

Factorization of large numbers

prime numbersn digits

27/41Dušan Gajević

Page 28: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Factorization of large numbers

• The fact there is no computer todaywhich could efficiently factor numbersis widely used in cryptography for secure data transmission (RSA public key routine)

28/41Dušan Gajević

Page 29: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Factorization of large numbers

• Shor’s algorithm –in 1994, Peter Shor published a quantum algorithmfor factoring large numbers– Like most quantum algorithms, it is non-deterministic– It has polynomial time complexity– Shor also published a polynomial-time quantum algorithm

for discrete logarithms

• These algorithms sparked a huge amount of interest in quantum computing

29/41Dušan Gajević

Page 30: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

ApplicationsQuantum search

30/41Dušan Gajević

Page 31: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Quantum search

• Classically, and on average,how many operations are requiredfor searching an unsorted database with N elements?

• Grover’s algorithm –in 1996, Lov Grover formulated a quantum algorithmfor searching an unstructured database in O(N1/2) time– Another non-deterministic quantum algorithm

31/41Dušan Gajević

Page 32: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Quantum search

• The quadratic speedup might not look impressivecompared to exponential speedup offered by algorithmsbased on quantum Fourier transform– But for large search spaces…

• Quantum search algorithms, also,have a wider range of applicationthan algorithms based on quantum Fourier transformation

32/41Dušan Gajević

Page 33: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

ApplicationsQuantum simulation

33/41Dušan Gajević

Page 34: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Quantum simulation

• Simulation of naturally occurring quantum systems –another possible application of quantum computers

• Why are classical computers so bad at simulating quantum systems?– For a single qubit, a hydrogen atom,

two complex coefficients are needed to specify the state of the system– For 2 hydrogen atoms, 4 complex coefficients are needed– For 3 atoms, 8 coefficients– …– For N atoms, 2N coefficients

Number grows exponentially!

34/41Dušan Gajević

Page 35: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Quantum simulation– For only 30 qubits,

more than a billion complex coefficients are needed!

• Amount of resources neededto simulate a quantum system on a quantum computergrows linearly with the growthof the number of simulated elements– But the extraction of desired information still poses a problem,

due to collapse caused by measurement

Obviously, quantum systems are really goodat spending classical resources

35/41Dušan Gajević

Page 36: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Technical challenges

36/41Dušan Gajević

Page 37: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Quantum decoherence

• There are a lot of technical challengesin building a large-scale quantum computer

• One of the greatest challengesis minimizing quantum decoherence– Quantum system can get entangled with the environment

and evolve as if the environment “measured” the quantum system– Decoherence is irreversible,

as it is non-unitary

• Quantum systems have to be isolatedas much as possible from its environmentas any unintentional interaction with the outside worldcan disturb the fragile state of the system

37/41Dušan Gajević

Page 38: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Advances

38/41Dušan Gajević

Page 39: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Advances

• In 2010,company named D-Wave Systemsannounced D-Wave One,the first commercially available quantum computer system– 128-qubit quantum processor acting as a co-processor, accelerator

• Intended for solving discrete optimization problems– Front-ended on a network as a standard server– Adiabatic model, unlike gate model explained earlier

• Quantum annealing– Operating in an extreme environment– Low power consumption -

power demand expected to remain constant with scaling up

39/41Dušan Gajević

Page 40: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

Advances

• In 2013,D-Wave Systems launched 512-qubit D-Wave Two

• Price?• Controversy

40/41Dušan Gajević

Page 41: Quantum Computers Algorithms and applications. Simulating classical operations 2/41 Dušan Gajević

References• University of California, Berkeley,

Qubits and Quantum Measurement and Entanglement, lecture notes,http://www-inst.eecs.berkeley.edu/~cs191/sp12/

• Michael A. Nielsen, Isaac L. Chuang,Quantum Computation and Quantum Information, Cambridge University Press, Cambridge, UK, 2010.

• Colin P. Williams, Explorations in Quantum Computing, Springer, London, 2011.• Samuel L. Braunstein, Quantum Computation Tutorial, electronic document

University of York, York, UK• Bernhard Ömer, A Procedural Formalism for Quantum Computing,

electronic document, Technical University of Vienna, Vienna, Austria, 1998.• Artur Ekert, Patrick Hayden, Hitoshi Inamori,

Basic Concepts in Quantum Computation, electronic document,Centre for Quantum Computation, University of Oxford, Oxford, UK, 2008.

• Wikipedia, the free encyclopedia, 2014.

41/41Dušan Gajević