Other quantum algorithms

Similar documents
Merging to ordered sequences. Efficient (Parallel) Sorting. Merging (cont.)

By the end of this section you will be able to prove the Chinese Remainder Theorem apply this theorem to solve simultaneous linear congruences

MATH Midterm Solutions

Using Counting Techniques to Determine Probabilities

Lecture 24: Observability and Constructibility

Seidel s Trapezoidal Partitioning Algorithm

CHAPTER 5 : SERIES. 5.2 The Sum of a Series Sum of Power of n Positive Integers Sum of Series of Partial Fraction Difference Method

Quantum Mechanics Lecture Notes 10 April 2007 Meg Noah

THE ANALYTIC LARGE SIEVE

= 5! 3! 2! = 5! 3! (5 3)!. In general, the number of different groups of r items out of n items (when the order is ignored) is given by n!

Counting Functions and Subsets

Homework 1 Solutions CSE 101 Summer 2017

Minimization of the quadratic test function

Consider unordered sample of size r. This sample can be used to make r! Ordered samples (r! permutations). unordered sample

SOME ARITHMETIC PROPERTIES OF OVERPARTITION K -TUPLES

Quantum Fourier Transform

MATH /19: problems for supervision in week 08 SOLUTIONS

Progression. CATsyllabus.com. CATsyllabus.com. Sequence & Series. Arithmetic Progression (A.P.) n th term of an A.P.

Construction of mixed estimation for solving the first edge problem for the equation of non-isotropic diffusion

Multivector Functions

BINOMIAL THEOREM An expression consisting of two terms, connected by + or sign is called a

Chapter 2 Sampling distribution

Discrete Fourier Transform

BINOMIAL THEOREM NCERT An expression consisting of two terms, connected by + or sign is called a

EDEXCEL NATIONAL CERTIFICATE UNIT 28 FURTHER MATHEMATICS FOR TECHNICIANS OUTCOME 2- ALGEBRAIC TECHNIQUES TUTORIAL 1 - PROGRESSIONS

Technical Report: Bessel Filter Analysis

LESSON 15: COMPOUND INTEREST

2012 GCE A Level H2 Maths Solution Paper Let x,

Math 7409 Homework 2 Fall from which we can calculate the cycle index of the action of S 5 on pairs of vertices as

Auchmuty High School Mathematics Department Sequences & Series Notes Teacher Version

The Pigeonhole Principle 3.4 Binomial Coefficients

a) The average (mean) of the two fractions is halfway between them: b) The answer is yes. Assume without loss of generality that p < r.

Math 166 Week-in-Review - S. Nite 11/10/2012 Page 1 of 5 WIR #9 = 1+ r eff. , where r. is the effective interest rate, r is the annual

SVD ( ) Linear Algebra for. A bit of repetition. Lecture: 8. Let s try the factorization. Is there a generalization? = Q2Λ2Q (spectral theorem!

Nuclear Physics (9 th lecture)

Strauss PDEs 2e: Section Exercise 4 Page 1 of 5. u tt = c 2 u xx ru t for 0 < x < l u = 0 at both ends u(x, 0) = φ(x) u t (x, 0) = ψ(x),

EXAMPLES. Leader in CBSE Coaching. Solutions of BINOMIAL THEOREM A.V.T.E. by AVTE (avte.in) Class XI

Discrete Fourier Transform

Lecture 6: October 16, 2017

Discretizing the 3-D Schrödinger equation for a Central Potential

Finite q-identities related to well-known theorems of Euler and Gauss. Johann Cigler

A NOTE ON DOMINATION PARAMETERS IN RANDOM GRAPHS

Using Difference Equations to Generalize Results for Periodic Nested Radicals

DANIEL YAQUBI, MADJID MIRZAVAZIRI AND YASIN SAEEDNEZHAD

The Discrete Fourier Transform

Bertrand s Postulate

Ch 3.4 Binomial Coefficients. Pascal's Identit y and Triangle. Chapter 3.2 & 3.4. South China University of Technology

EVALUATION OF SUMS INVOLVING GAUSSIAN q-binomial COEFFICIENTS WITH RATIONAL WEIGHT FUNCTIONS

CHAPTER 4 FOURIER SERIES

Topics in Fourier Analysis-I 1

On ARMA(1,q) models with bounded and periodically correlated solutions

Lower Bounds for Cover-Free Families

MATHS FOR ENGINEERS ALGEBRA TUTORIAL 8 MATHEMATICAL PROGRESSIONS AND SERIES

Complementary Dual Subfield Linear Codes Over Finite Fields

PH 425 Quantum Measurement and Spin Winter SPINS Lab 1

Conditional Convergence of Infinite Products

RELIABILITY ASSESSMENT OF SYSTEMS WITH PERIODIC MAINTENANCE UNDER RARE FAILURES OF ITS ELEMENTS

A note on random minimum length spanning trees

Lesson 5. Chapter 7. Wiener Filters. Bengt Mandersson. r x k We assume uncorrelated noise v(n). LTH. September 2010

Physics 235 Final Examination December 4, 2006 Solutions

Range Symmetric Matrices in Minkowski Space

5.6 Absolute Convergence and The Ratio and Root Tests

Advanced Physical Geodesy

Disjoint Sets { 9} { 1} { 11} Disjoint Sets (cont) Operations. Disjoint Sets (cont) Disjoint Sets (cont) n elements

( ) 1 Comparison Functions. α is strictly increasing since ( r) ( r ) α = for any positive real number c. = 0. It is said to belong to

The picture in figure 1.1 helps us to see that the area represents the distance traveled. Figure 1: Area represents distance travelled

Areas and Distances. We can easily find areas of certain geometric figures using well-known formulas:

Linear Convolution Using DFT

Alternative Orthogonal Polynomials. Vladimir Chelyshkov

Greatest term (numerically) in the expansion of (1 + x) Method 1 Let T

KEY. Math 334 Midterm II Fall 2007 section 004 Instructor: Scott Glasgow

= ρ. Since this equation is applied to an arbitrary point in space, we can use it to determine the charge density once we know the field.

On composite conformal mapping of an annulus to a plane with two holes

Einstein Classes, Unit No. 102, 103, Vardhman Ring Road Plaza, Vikas Puri Extn., Outer Ring Road New Delhi , Ph. : ,

THE ANALYSIS OF SOME MODELS FOR CLAIM PROCESSING IN INSURANCE COMPANIES

BBU Codes Overview. Outline Introduction Beam transport Equation How to solve (BBU-R, TDBBUU, bi, MATBBU etc.) Comparison of BBU codes

The Solutions of the Classical Relativistic Two-Body Equation

Infinite Sequences and Series

The number of r element subsets of a set with n r elements

Sums of Involving the Harmonic Numbers and the Binomial Coefficients

Riemann Sums y = f (x)

On randomly generated non-trivially intersecting hypergraphs

Capacity of Data Collection in Arbitrary Wireless Sensor Networks

19 Fourier Series and Practical Harmonic Analysis

Zeros of Polynomials

Here are some solutions to the sample problems concerning series solution of differential equations with non-constant coefficients (Chapter 12).

Stanford University CS259Q: Quantum Computing Handout 8 Luca Trevisan October 18, 2012

Chapter 3: Theory of Modular Arithmetic 38

ELEMENTARY AND COMPOUND EVENTS PROBABILITY

Electron states in a periodic potential. Assume the electrons do not interact with each other. Solve the single electron Schrodinger equation: KJ =

Fuzzy Erlangian Queuing System with State Dependent Service Rate, Balking, Reneging and Retention of Reneged customers

INFINITE SEQUENCES AND SERIES

4. PERMUTATIONS AND COMBINATIONS Quick Review

Machine Learning for Data Science (CS 4786)

How to Maximize a Function without Really Trying

6.895 Essential Coding Theory October 20, Lecture 11. This lecture is focused in comparisons of the following properties/parameters of a code:

Lecture 4: Unique-SAT, Parity-SAT, and Approximate Counting

Self-Consistent Simulations of Beam and Plasma Systems Final Exam ( take-home )

PHYS 705: Classical Mechanics. Central Force Problems I

6.3 Testing Series With Positive Terms

Transcription:

Chapte 3 Othe uatum agoithms 3. Quick emide of Gove s agoithm We peset hee a uick emide of Gove s agoithm. Iput: a fuctio f : {0,}! {0,}. Goa: fid x such that f (x) =. Seach pobem We have a uatum access to f i.e. we have access to the uatum uitay O f satisfyig: 8x {0,}, O f ( xi 0i) = xi f (x)i. Gove s agoithm: if thee ae T soutios, fids oe with O( eo( T Time(f )) whee we use the otatio eo(b()) = O Gove s agoithm T ) cas to O f ad i time fo ay b(). b() poyog(b()). Ceate the state i=o P f / x{0,} xi 0i = p P x{0,} xi f (x)i.. Decompose ito the good x ad bad x (eca thee ae T soutios). i= = T X x:f (x)= p xi f (x)i+ T X T x:f (x)=0 xi f (x)i T {z } Good i Bad i {z } T Goodi+ T Badi 3. Ateate the foowig opeatios to tasfom i ito a state cose to Good i Phase fip ove f (x) egiste: O Z ( xi f (x)i=( ) f (x) xi f (x)i. Refexio ove i: Ref i( i) = i ; Ref i(? i) = i? fo ay i? othogoa to i. 4. Geometica itepetatio i the subspace { Good i, Bad i}. 0

O Z is a efexio ove Bad i. Ref i is a efexio ove i. O Z ± Ref i is a µ coute cockwise otatio whee cos(µ):=h Bad i h Bad i= T T so µ º whe T ø. 5. Pefom this otatio µ times to be cose to Goodi. Pictuig the agoithm... 3. Phase estimatio Ou fist potoco is a diect appicatio of the uatum Fouie tasfom. Phase estimatio Iput: a uatum uitay U actig o ubits. A eigevecto i of U with eigevaue give as a uatum state. Goa: output. Reca that a eigevecto i of U with eigevaue meas that U( i) = i. Because U is a uitay, = so we ca wite = e iº fo some ea umbe [0,) ([0,[ i Fech otatio). We assume fist that ca be fuy descibed with bits of pecisio, i.e. thee exists a atua umbe C such that = C. We coside a uatum uitay Q satisfyig Q( ki i) = kiu k ( i). fo ay k {0,..., } ad ay state i. We pefom the foowig agoithm:

. Stat fom 0i i ad appy F o the fist egiste. The esutig state is. Appy Q o both egistes. X p ki i. X p U k ki i= p X k ki i = p X e iºkc ki i. 3. Appy the ivese Fouie tasfom F o the fist egiste. The esutig state is Ci i. It is the easy to ecove fom C. Geea case If caot be witte with bits of pecisio, we coside the cosest appoximatio of of the fom C. A eo aaysis (ot detaied hee) shows that the above pocedue wi fid this C with pobabiity at east 4 º. By pefomig sevea iteatios of this pocedue, we ca fid the coect C, i.e. a good appoximatio of with a pobabiity that expoetiay coveges to i the umbe of iteatios. Efficiecy of the agoithm If U ca be computed efficiety ad if, fo ay k {0,..., }, U k ca be computed efficiety the Q ca be computed efficiety ad the whoe agoithm is efficiet. This meas that if we wat ou agoithm to u i time poy() (assumig U ca be computed i time poy()), we have to take = O(og()). 3.. Appicatio : Coutig agoithm Iput: a fuctio f : {0,}! {0,}. Goa: output T = {x : f (x) = }. Seach pobem Desciptio of the agoithm: coside the state i ad the opeatios Ref i ad O Z fom the Gove s agoithm sectio (Sectio 3.) ad et U = O Z ±Ref i. Fom the aaysis of Gove s agoithm, U is a µ coute cockwise otatio i the basis { Bad i, Good i} with µ = accos(h Bad i) = accos( T ). µ cos(µ) si(µ) We ca theefoe wite U = i this basis. si(µ) cos(µ) U has eigevaues e 0 i= p Bad i+i Good i ad e i= p Bad i i Good i with espective eigevaues e iº(µ) ad e iº(µ). Take the state T i= Goodi+ T Badi = Æ e i+ø e i fo some Æ,Ø C which is efficiety computabe. What happes whe we appy the phase estimatio agoithm o i ad U? We, i is ot a eigestate of U but a supepositio of its eigestates. The agoithm wi

output µ (actuay º µ) with pobabiity Æ ad µ with pobabiity Ø. We ca easiy distiguish betwee the cases ad aways output the good vaue fo µ. Fom thee, usig the eatio betwee µ ad T, we ca ecove T. If we wat a agoithm uig i poy() the we ca do this up to a additive eo of poy() i the age µ we fid. 3.. Appicatio : Fouie tasfom F fo ay I Chapte, we showed how to pefom the Fouie tasfom F whe = fo some. Hee, we show how to pefom the Fouie tasfom fo ay. F wi act o a uatum egiste that ca take vaues fom 0 to ad 8k {0,..., }, F ( ki) = p X! k i. whee! := e iº. Let U ad U two uitaies that do the foowig, 8k {0,..., }. U ( ki 0i) = kif ( ki) ; U (F ki 0i) = F ( ki) ki. Fom those two uitaies, we ca pefom F as foows SW AP ki 0i U! kif ( ki)! F ( ki) ki U! F ( ki) 0i. what is eft to show is how to pefom U ad U. U ca be pefomed uite easiy. Let S a uatum uitay such that S ( 0i) = p P i. Sice is ot a powe of, S caot be expessed as Hadamads but we ca sti easiy costuct such a uitay. Let aso O mut satisfyig O mut ( ki i 0i) = ki i k mod i. Let s ow costuct U.. Stat fom ki 0i 0i ad appy S o the secod egiste. The esutig state is. Appy O mut o the thee egistes. kip X i 0i. kip X i k mod i. 3. Appy the uitay xi!! x xi o the thid egiste. 4. Appy O o the thee egistes. We obtai mut kip X! k i k mod i. kip X! k i 0i= kif ( ki) 0i. 3

Swappig egistes is the easy. What is eft to do is to pefom uitay U. We coside the uitay O add such that O add ( ki) = k + mod i. The idea is that F ( ki) is a eigevecto of O add with eigevaue k ad that it wi be easy to ecove k fom k. Doig this i a coheet way wi give U. Fist see that O add F ( ki) = p X! k + mod i=! k X p! k i which meas that F ( ki) is a eigevecto of O add with eigevaue! k =! k. If we appy the phase estimatio fom the pevious sectio, with =dog()e, we obtai F ( ki) 0i Phase Estimatio with O add! F ( ki) ki. Which by appyig xi! xi gives the coect esut. Actuay, the phase estimatio wi oy give k with some (high) pobabiity so this whoe pocess wi costuct a appoximatio of U. Puttig eveythig togethe, we maaged to costuct F ( ki). This uitay has may appicatios, fo exampe fo the Discete Log uatum agoithm. 3.3 Coisio agoithm Coisio pobem Iput: a adom fuctio f : {0,}! {0,}. Goa: fid (x, y) such that f (x) = f (y). Because f is adom, may such coupes. Cassica agoithm. Pick a paamete. Pick a adom subset I µ {0,} of size. Costuct the ist L = {f (i)} ii ad sot it.. Compute f (x) fo adom vaues x I uti we fid f (x) L. Sice f is adom, this takes aveage time fo each x tested this way. This agoithm uses the we kow bithday paadox. The fist step takes time O( og( ) ad the secod oe O( og( ) ). By takig = /, we have a agoithm uig i time O(poy() / ). We exted this to the uatum settig The BHT Agoithm. Pick a paamete. Pick a adom subset I µ {0,} of size. Costuct the ist {f (i)} ii.. Let g : {0,}! {0,} satisfyig g (x) =, x I ad 9i I, f (x) = f (i). º soutios whe ø. 3. Appy Gove o g.fidy such that g (y) =. 4. Fid i I st. f (i) = f (y). Output (i, y). 4

3.3. Time aaysis of BHT Fo simpicity, Time(f ) = ad we igoe eo. List ceatio: time. Gove o g. We defie i= P / x{0,} xi g (x)i QTime = + 0 B C @QTime(Ref i) + {z} A. Ref Bad i Reca that if we have a uitay U( 0i) = i the we ca costuct Ref i usig U twice ad a phase fip. If QTime(Ref i) = the take = /3 ad the tota uig time of the agoithm is /3 (as good as adom waks). If we ae iteested i uey compexity, i.e. the cas to O f the we ca sove the pobem the coisio pobem with eo( /3 ) ueies to O f. Ambaiis showed that it is aso possibe to do this i ea uatum time eo( /3 ) (with a adeuate uatum data stuctue). 5