QIP Course 10: Quantum Factorization Algorithm (Part 3)

Size: px
Start display at page:

Download "QIP Course 10: Quantum Factorization Algorithm (Part 3)"

Transcription

1 QIP Couse 10: Quantum Factoization Algoithm (Pat 3 Ryutaoh Matsumoto Nagoya Univesity, Japan Send you comments to yutaoh.matsumoto@nagoya-u.jp Septembe Tokyo Tech. Matsumoto (Nagoya U. QIP Couse 10: Quantum Factoization Algoithm (Pat 3 Sept / 21

2 Acknowledgment and Copyight Mateials pesented hee can by eused unde the Ceative Commons Attibution 4.0 Intenational License Matsumoto (Nagoya U. QIP Couse 10: Quantum Factoization Algoithm (Pat 3 Sept / 21

3 Answes to the pevious execise 1. Let U = ( exp(2πi5/16 Find the all eigenvalues of U. Answe: Obviously 1 and exp(2πi5/ Let u be the eigenvecto of U and assume U u u. Assume that we do the phase estimation with t = 3. Then thee ae eight possible measuement outcomes. Compute the pobability distiibution of outcomes. I ecommend you to use Mathematica, Matlab, Maple, and so on. Answe: By the fomula, fo l = 0,..., 7, the coefficient of l afte the IQFT is 2 1 t 1 ( 2πikl 2 t exp 2 t exp(2πikθ = 12 2 t 1 t exp(2πik(θ l/2 t k=0 = 1 8 k=0 7 exp(2πik(5 2l/16 Matsumoto (Nagoya U. QIP Couse 10: Quantum Factoization Algoithm (Pat 3 Sept / 21 k=0

4 By cumbesome computation, we can see that the coefficients ae l ( squed nom of coefficient l 2 t θ > 3/ ( cos ( ( π 8 2 sin π Yes ( ( cos ( ( π sin π ( ( cos ( ( π 8 2 sin π ( 1 b = ( cos ( ( π sin π t θ = 2.5 ( ( cos ( ( π sin π ( ( cos ( ( π 8 2 sin π ( ( cos ( ( π sin π ( ( cos ( ( π 8 2 sin π Yes Obseve that 5/16 is 0. }{{} 010 1, which implies b = 2. The two neaest values l = 2, 3 to tue θ have the highest pobability. =b Matsumoto (Nagoya U. QIP Couse 10: Quantum Factoization Algoithm (Pat 3 Sept / 21

5 3. By using p( m b > e 1 2(e 1 compute the lowe bound on the pobability of the event that the mesuement outcome of θ is within 3/8 fom the tue value θ = 5/16. How much diffeence exists between the lowe bound and the tue pobability? Answe: Since the equied accuacy is 3/8, the measuement outcomes 0, 1, 2, 3, 4, 5 have the desied accuacy. The tue pobability is oughly In this case b = 010 = 2. We have to choose e = 2. Matsumoto (Nagoya U. QIP Couse 10: Quantum Factoization Algoithm (Pat 3 Sept / 21

6 We have to choose e = 2, because (daw a figue on the black boad the acceptable measuement outcomes m ae 0, 1, 2, 3, 4, 5, m = 6, 7 should be included in the event m b > e, m b > e is consideed modulo 2 t, and e is an intege, we have to choose e = 2. p( m b e 1 1/2(e 1 = 1 1/2 = 1/2. The diffeence between the tue pobability and its lowe bound is = Matsumoto (Nagoya U. QIP Couse 10: Quantum Factoization Algoithm (Pat 3 Sept / 21

7 Factoing N Suppose that we ae given N. We assume that N is odd, and is NOT a pime powe. It can be checked by seeing if i N is an intege fo some i log3 N. In ode to beak the RSA, we need this kind of computation. Fistly andomly choose 2 x N 1, and see if gcd(x, N = 1. If gcd > 1, then we have gotten a nontivial facto of N. Othewise, compute the ode of x modulo N, that is od(x, N = min{i 1 x i mod N = 1} If gcd(x, N > 1 then thee is no i such that x i mod N = 1. So we have to exclude this case fist. Matsumoto (Nagoya U. QIP Couse 10: Quantum Factoization Algoithm (Pat 3 Sept / 21

8 Oveview of the factoization pocedue Factoization by the ode finding given N: 1 Choose 1 x N 1 andomly. If gcd(x, N > 1 then output gcd as a facto of N. 2 Compute = od(x, N (ode finding. 3 Check if is even. If is odd, then etun to Step 1. 4 Compute z = x /2 mod N. 5 Check if z 1 (mod N. If tue, then etun to Step 1. By Theoem 1, Step 1 is epeated moe than once with a pobability at most 1/4. 6 As a facto of N output gcd(z + 1, N if gcd(z + 1, N 1, othewise output gcd(z 1, N( 1. Theoem 2 ensues that the output is a facto. Matsumoto (Nagoya U. QIP Couse 10: Quantum Factoization Algoithm (Pat 3 Sept / 21

9 Suppoting theoems Theoem 1 Choose an intege x unifomly at andom such that gcd(x, N = 1 and 1 x N 1, define = od(x, N. Then the pobability of the event that is even that and x /2 mod N N 1 is 3/4. Poof. Omitted. You can find a poof in Quantum Computation and Quantum Infomation, ISBN: Assume that is even and x /2 mod N N 1. Othewise choose x again until the above condition is satisfied. Theoem 2 Let z be an intege such that 2 z N 2 and z 2 mod N = 1. Then at least one of gcd(z + 1, N o gcd(z 1, N is geate than 1 and divides N. Poof. Omitted. You can find a poof in Quantum Computation and Quantum Infomation, ISBN: Thus, gcd(x /2 + 1 mod N, N o gcd(x /2 1 mod N, N is a facto of N. Matsumoto (Nagoya U. QIP Couse 10: Quantum Factoization Algoithm (Pat 3 Sept / 21

10 Computing the ode of x modulo N Thee is no known fast algoithm fo computing the ode of x modulo N by digital computes. I will intoduce a fast quantum algoithm. Let 2 L 1 N 2 L 1 and 0 y 2 L 1, define the unitay opeato U such that U y = xy mod N. We define xy mod N = y if N y 2 L 1. The ode of x modulo N is elated to the phase of eigenvalues of U as follows. Matsumoto (Nagoya U. QIP Couse 10: Quantum Factoization Algoithm (Pat 3 Sept / 21

11 Recall = od(x, N. Fo 0 s 1, define the L-qubit quantum state Then we have u s = 1 1 ( 2πisk exp x k mod N. k=0 1 1 ( 2πisk U u s = exp k=0 1 1 ( 2πisk = exp k=0 1 ( 2πis(k 1 = exp k=1 ( 2πis 1 ( 2πisk = exp exp k=1 U x k mod N x k+1 mod N x k mod N x k mod N Matsumoto (Nagoya U. QIP Couse 10: Quantum Factoization Algoithm (Pat 3 Sept / 21

12 ( 2πis 1 ( 2πisk U u s = exp exp k=1 ( 2πis 1 1 ( 2πisk = exp exp k=0 ( 2πis = exp u s x k mod N x k mod N If we could estimate the phase of the eigenvalue of u s, we would know s/. Fom which we could know. The obstacle is that the pepaation of u s equies the knowledge of. Let us see how we can bypass this difficulty. Matsumoto (Nagoya U. QIP Couse 10: Quantum Factoization Algoithm (Pat 3 Sept / 21

13 Pepaation fo eigenvectos We can show that 1 1 u s = ( 2πisk exp xk mod N (1 k=0 1 ( 2πisk exp = δ k0. (2 Its poof is given in the Appendix of handout. Substitution of Eq. (2 into Eq. (1 gives 1 1 u s = x 0 mod N = 1 = Matsumoto (Nagoya U. QIP Couse 10: Quantum Factoization Algoithm (Pat 3 Sept / 21

14 Useful shape of pobability distibution of measuement outcomes If we use the phase estimation algoithm with 1, then we get outcomes nea to s/ with pobability 1/ fo s = 0,..., 1 (Daw a figue hee. You ae equested to daw a simila figue in Question 6.. In the next lectue, I will show that how to compute fom a binay factional ditits 0.b 1 b 2... b t that is close to s/ fo some unknown 0 s 1. Matsumoto (Nagoya U. QIP Couse 10: Quantum Factoization Algoithm (Pat 3 Sept / 21

15 Execise 1. Let N = 5 7 and x = 8. Compute = od(x, N. 2. Tell whethe o not x /2 mod N N Tell whethe eithe gcd(n, x /2 1 mod N o gcd(n, x /2 + 1 mod N is a facto of N o not. 4. Compute u s with above values and s = Let U be as defined in the lectue. With above x and N, what is the eigenvalue of U to which u 1 belongs? 6. Suppose that we execute the phase estimation pocedue with the above U and 1 1 u s with t = 4 qubits fo ecoding the value of a phase s/. Thee ae 2 t = 16 possible outcomes. Plot those 16 pobabilities and obseve that outcomes coesponding to s/ fo s = 0,..., 1 have highe pobabilities than the est. The final epot will be simila to Q4 6. Matsumoto (Nagoya U. QIP Couse 10: Quantum Factoization Algoithm (Pat 3 Sept / 21

16 Hint fo Q6 In ode to find the pobability distibution of outcomes of phase estimation, we need to calculate the quantum state immediately befoe the measuement in the phase estimation. Let v s be the quantum state befoe measuement when the input state to the phase estimation is u s as visualized below: ( t u s unitay manipulation in phase estimation v s u s measuement of v s in phase estimation Matsumoto (Nagoya U. QIP Couse 10: Quantum Factoization Algoithm (Pat 3 Sept / 21

17 Because the input state to the phase estimation is 1 1 u s, we have 1 1 ( t u s unitay manipulation in phase estimation 1 1 v s u s measuement of v s in phase estimation Fo each s = 0,..., 1, we compute v s. Since we use t = 4 qubits fo the phase estimation, We expess v s as a linea combination of 0,..., 15. Let α s,l be v s s complex coefficient of l, i.e., v s = 15 l=0 α s,l l. Matsumoto (Nagoya U. QIP Couse 10: Quantum Factoization Algoithm (Pat 3 Sept / 21

18 By Unit 9, ecall that α s,l is given by 2 1 t 1 2 t [exp ( 2πi(θ l/2 t ] k. (3 k=0 Waning: Some students assumed the input-output elation between u s and v s is linea. But it is not clea. u s has 6 = log 2 35 qubits while v s has 4 = t qubits. Thei elation cannot be unitay, which suggests it is not linea eithe. Thus, when the input is a linea combination of u s, the output cannot be assumed as a linea combination of v s without a justifying explanation. Matsumoto (Nagoya U. QIP Couse 10: Quantum Factoization Algoithm (Pat 3 Sept / 21

19 The phase estimation measues v s and does not measue u s. To compute the pobability distibution of the measuement outcomes, we need to compute the patial tace ove the quantum system containing v s, and emove u s fom the quantum state. Fistly, the vecto epesentation of output is Its matix epesentation is 1 1 v s u s. s,s v s v s 1 u s u s, whose patial tace is... (please do the est by youself. Please veify whethe the total of the pobabilities is 1. Matsumoto (Nagoya U. QIP Couse 10: Quantum Factoization Algoithm (Pat 3 Sept / 21

20 Appendix: Poof of Eq. (2 Let 1 k 1. Conside the sequence 0k mod, k mod, 2k mod,.... Define d = min{j 1 jk mod = 0}. d must divide othewise k mod would not be zeo. Moeove, jk mod = (j + dk mod. Theefoe, 1 ( 2πisk exp = d 1 ( 2πisk exp d On the othe hand, if 0 j j d 1 then jk mod j k mod, othewise (j j k mod = 0, which is a contadiction to the minimality of d. This means that ( ( ( 2πi0k 2πi1k 2πi(d 1k exp, exp ae paiwise distinct oots of X d 1 = 0.,..., exp Matsumoto (Nagoya U. QIP Couse 10: Quantum Factoization Algoithm (Pat 3 Sept / 21

21 d 1 ( 2πisk X d 1 = (X exp d 1 ( 2πisk = X d + exp X d This means that d 1 ( 2πisk exp = 0. Matsumoto (Nagoya U. QIP Couse 10: Quantum Factoization Algoithm (Pat 3 Sept / 21

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

Stanford University CS259Q: Quantum Computing Handout 8 Luca Trevisan October 18, 2012 Stanfod Univesity CS59Q: Quantum Computing Handout 8 Luca Tevisan Octobe 8, 0 Lectue 8 In which we use the quantum Fouie tansfom to solve the peiod-finding poblem. The Peiod Finding Poblem Let f : {0,...,

More information

AQI: Advanced Quantum Information Lecture 2 (Module 4): Order finding and factoring algorithms February 20, 2013

AQI: Advanced Quantum Information Lecture 2 (Module 4): Order finding and factoring algorithms February 20, 2013 AQI: Advanced Quantum Infomation Lectue 2 (Module 4): Ode finding and factoing algoithms Febuay 20, 203 Lectue: D. Mak Tame (email: m.tame@impeial.ac.uk) Intoduction In the last lectue we looked at the

More information

C/CS/Phys C191 Shor s order (period) finding algorithm and factoring 11/12/14 Fall 2014 Lecture 22

C/CS/Phys C191 Shor s order (period) finding algorithm and factoring 11/12/14 Fall 2014 Lecture 22 C/CS/Phys C9 Sho s ode (peiod) finding algoithm and factoing /2/4 Fall 204 Lectue 22 With a fast algoithm fo the uantum Fouie Tansfom in hand, it is clea that many useful applications should be possible.

More information

Quantum Fourier Transform

Quantum Fourier Transform Chapte 5 Quantum Fouie Tansfom Many poblems in physics and mathematics ae solved by tansfoming a poblem into some othe poblem with a known solution. Some notable examples ae Laplace tansfom, Legende tansfom,

More information

10/04/18. P [P(x)] 1 negl(n).

10/04/18. P [P(x)] 1 negl(n). Mastemath, Sping 208 Into to Lattice lgs & Cypto Lectue 0 0/04/8 Lectues: D. Dadush, L. Ducas Scibe: K. de Boe Intoduction In this lectue, we will teat two main pats. Duing the fist pat we continue the

More information

Solution to HW 3, Ma 1a Fall 2016

Solution to HW 3, Ma 1a Fall 2016 Solution to HW 3, Ma a Fall 206 Section 2. Execise 2: Let C be a subset of the eal numbes consisting of those eal numbes x having the popety that evey digit in the decimal expansion of x is, 3, 5, o 7.

More information

Chapter 3: Theory of Modular Arithmetic 38

Chapter 3: Theory of Modular Arithmetic 38 Chapte 3: Theoy of Modula Aithmetic 38 Section D Chinese Remainde Theoem By the end of this section you will be able to pove the Chinese Remainde Theoem apply this theoem to solve simultaneous linea conguences

More information

Math 301: The Erdős-Stone-Simonovitz Theorem and Extremal Numbers for Bipartite Graphs

Math 301: The Erdős-Stone-Simonovitz Theorem and Extremal Numbers for Bipartite Graphs Math 30: The Edős-Stone-Simonovitz Theoem and Extemal Numbes fo Bipatite Gaphs May Radcliffe The Edős-Stone-Simonovitz Theoem Recall, in class we poved Tuán s Gaph Theoem, namely Theoem Tuán s Theoem Let

More information

Unobserved Correlation in Ascending Auctions: Example And Extensions

Unobserved Correlation in Ascending Auctions: Example And Extensions Unobseved Coelation in Ascending Auctions: Example And Extensions Daniel Quint Univesity of Wisconsin Novembe 2009 Intoduction In pivate-value ascending auctions, the winning bidde s willingness to pay

More information

Divisibility. c = bf = (ae)f = a(ef) EXAMPLE: Since 7 56 and , the Theorem above tells us that

Divisibility. c = bf = (ae)f = a(ef) EXAMPLE: Since 7 56 and , the Theorem above tells us that Divisibility DEFINITION: If a and b ae integes with a 0, we say that a divides b if thee is an intege c such that b = ac. If a divides b, we also say that a is a diviso o facto of b. NOTATION: d n means

More information

The Substring Search Problem

The Substring Search Problem The Substing Seach Poblem One algoithm which is used in a vaiety of applications is the family of substing seach algoithms. These algoithms allow a use to detemine if, given two chaacte stings, one is

More information

F-IF Logistic Growth Model, Abstract Version

F-IF Logistic Growth Model, Abstract Version F-IF Logistic Gowth Model, Abstact Vesion Alignments to Content Standads: F-IFB4 Task An impotant example of a model often used in biology o ecology to model population gowth is called the logistic gowth

More information

Phys 201A. Homework 5 Solutions

Phys 201A. Homework 5 Solutions Phys 201A Homewok 5 Solutions 3. In each of the thee cases, you can find the changes in the velocity vectos by adding the second vecto to the additive invese of the fist and dawing the esultant, and by

More information

6 PROBABILITY GENERATING FUNCTIONS

6 PROBABILITY GENERATING FUNCTIONS 6 PROBABILITY GENERATING FUNCTIONS Cetain deivations pesented in this couse have been somewhat heavy on algeba. Fo example, detemining the expectation of the Binomial distibution (page 5.1 tuned out to

More information

A Bijective Approach to the Permutational Power of a Priority Queue

A Bijective Approach to the Permutational Power of a Priority Queue A Bijective Appoach to the Pemutational Powe of a Pioity Queue Ia M. Gessel Kuang-Yeh Wang Depatment of Mathematics Bandeis Univesity Waltham, MA 02254-9110 Abstact A pioity queue tansfoms an input pemutation

More information

3.1 Random variables

3.1 Random variables 3 Chapte III Random Vaiables 3 Random vaiables A sample space S may be difficult to descibe if the elements of S ae not numbes discuss how we can use a ule by which an element s of S may be associated

More information

When two numbers are written as the product of their prime factors, they are in factored form.

When two numbers are written as the product of their prime factors, they are in factored form. 10 1 Study Guide Pages 420 425 Factos Because 3 4 12, we say that 3 and 4 ae factos of 12. In othe wods, factos ae the numbes you multiply to get a poduct. Since 2 6 12, 2 and 6 ae also factos of 12. The

More information

Introduction Common Divisors. Discrete Mathematics Andrei Bulatov

Introduction Common Divisors. Discrete Mathematics Andrei Bulatov Intoduction Common Divisos Discete Mathematics Andei Bulatov Discete Mathematics Common Divisos 3- Pevious Lectue Integes Division, popeties of divisibility The division algoithm Repesentation of numbes

More information

Appendix A. Appendices. A.1 ɛ ijk and cross products. Vector Operations: δ ij and ɛ ijk

Appendix A. Appendices. A.1 ɛ ijk and cross products. Vector Operations: δ ij and ɛ ijk Appendix A Appendices A1 ɛ and coss poducts A11 Vecto Opeations: δ ij and ɛ These ae some notes on the use of the antisymmetic symbol ɛ fo expessing coss poducts This is an extemely poweful tool fo manipulating

More information

HOW TO TEACH THE FUNDAMENTALS OF INFORMATION SCIENCE, CODING, DECODING AND NUMBER SYSTEMS?

HOW TO TEACH THE FUNDAMENTALS OF INFORMATION SCIENCE, CODING, DECODING AND NUMBER SYSTEMS? 6th INTERNATIONAL MULTIDISCIPLINARY CONFERENCE HOW TO TEACH THE FUNDAMENTALS OF INFORMATION SCIENCE, CODING, DECODING AND NUMBER SYSTEMS? Cecília Sitkuné Göömbei College of Nyíegyháza Hungay Abstact: The

More information

Probablistically Checkable Proofs

Probablistically Checkable Proofs Lectue 12 Pobablistically Checkable Poofs May 13, 2004 Lectue: Paul Beame Notes: Chis Re 12.1 Pobablisitically Checkable Poofs Oveview We know that IP = PSPACE. This means thee is an inteactive potocol

More information

Multiple Criteria Secretary Problem: A New Approach

Multiple Criteria Secretary Problem: A New Approach J. Stat. Appl. Po. 3, o., 9-38 (04 9 Jounal of Statistics Applications & Pobability An Intenational Jounal http://dx.doi.og/0.785/jsap/0303 Multiple Citeia Secetay Poblem: A ew Appoach Alaka Padhye, and

More information

Method for Approximating Irrational Numbers

Method for Approximating Irrational Numbers Method fo Appoximating Iational Numbes Eic Reichwein Depatment of Physics Univesity of Califonia, Santa Cuz June 6, 0 Abstact I will put foth an algoithm fo poducing inceasingly accuate ational appoximations

More information

Supplementary information Efficient Enumeration of Monocyclic Chemical Graphs with Given Path Frequencies

Supplementary information Efficient Enumeration of Monocyclic Chemical Graphs with Given Path Frequencies Supplementay infomation Efficient Enumeation of Monocyclic Chemical Gaphs with Given Path Fequencies Masaki Suzuki, Hioshi Nagamochi Gaduate School of Infomatics, Kyoto Univesity {m suzuki,nag}@amp.i.kyoto-u.ac.jp

More information

of the contestants play as Falco, and 1 6

of the contestants play as Falco, and 1 6 JHMT 05 Algeba Test Solutions 4 Febuay 05. In a Supe Smash Bothes tounament, of the contestants play as Fox, 3 of the contestants play as Falco, and 6 of the contestants play as Peach. Given that thee

More information

New problems in universal algebraic geometry illustrated by boolean equations

New problems in universal algebraic geometry illustrated by boolean equations New poblems in univesal algebaic geomety illustated by boolean equations axiv:1611.00152v2 [math.ra] 25 Nov 2016 Atem N. Shevlyakov Novembe 28, 2016 Abstact We discuss new poblems in univesal algebaic

More information

Lecture 8 - Gauss s Law

Lecture 8 - Gauss s Law Lectue 8 - Gauss s Law A Puzzle... Example Calculate the potential enegy, pe ion, fo an infinite 1D ionic cystal with sepaation a; that is, a ow of equally spaced chages of magnitude e and altenating sign.

More information

arxiv: v1 [physics.pop-ph] 3 Jun 2013

arxiv: v1 [physics.pop-ph] 3 Jun 2013 A note on the electostatic enegy of two point chages axiv:1306.0401v1 [physics.pop-ph] 3 Jun 013 A C Tot Instituto de Física Univesidade Fedeal do io de Janeio Caixa Postal 68.58; CEP 1941-97 io de Janeio,

More information

Research Article On Alzer and Qiu s Conjecture for Complete Elliptic Integral and Inverse Hyperbolic Tangent Function

Research Article On Alzer and Qiu s Conjecture for Complete Elliptic Integral and Inverse Hyperbolic Tangent Function Abstact and Applied Analysis Volume 011, Aticle ID 697547, 7 pages doi:10.1155/011/697547 Reseach Aticle On Alze and Qiu s Conjectue fo Complete Elliptic Integal and Invese Hypebolic Tangent Function Yu-Ming

More information

Temporal-Difference Learning

Temporal-Difference Learning .997 Decision-Making in Lage-Scale Systems Mach 17 MIT, Sping 004 Handout #17 Lectue Note 13 1 Tempoal-Diffeence Leaning We now conside the poblem of computing an appopiate paamete, so that, given an appoximation

More information

Fall 2014 Randomized Algorithms Oct 8, Lecture 3

Fall 2014 Randomized Algorithms Oct 8, Lecture 3 Fall 204 Randomized Algoithms Oct 8, 204 Lectue 3 Pof. Fiedich Eisenband Scibes: Floian Tamè In this lectue we will be concened with linea pogamming, in paticula Clakson s Las Vegas algoithm []. The main

More information

ANA BERRIZBEITIA, LUIS A. MEDINA, ALEXANDER C. MOLL, VICTOR H. MOLL, AND LAINE NOBLE

ANA BERRIZBEITIA, LUIS A. MEDINA, ALEXANDER C. MOLL, VICTOR H. MOLL, AND LAINE NOBLE THE p-adic VALUATION OF STIRLING NUMBERS ANA BERRIZBEITIA, LUIS A. MEDINA, ALEXANDER C. MOLL, VICTOR H. MOLL, AND LAINE NOBLE Abstact. Let p > 2 be a pime. The p-adic valuation of Stiling numbes of the

More information

ON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION. 1. Introduction. 1 r r. r k for every set E A, E \ {0},

ON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION. 1. Introduction. 1 r r. r k for every set E A, E \ {0}, ON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION E. J. IONASCU and A. A. STANCU Abstact. We ae inteested in constucting concete independent events in puely atomic pobability

More information

A Converse to Low-Rank Matrix Completion

A Converse to Low-Rank Matrix Completion A Convese to Low-Rank Matix Completion Daniel L. Pimentel-Alacón, Robet D. Nowak Univesity of Wisconsin-Madison Abstact In many pactical applications, one is given a subset Ω of the enties in a d N data

More information

Berkeley Math Circle AIME Preparation March 5, 2013

Berkeley Math Circle AIME Preparation March 5, 2013 Algeba Toolkit Rules of Thumb. Make sue that you can pove all fomulas you use. This is even bette than memoizing the fomulas. Although it is best to memoize, as well. Stive fo elegant, economical methods.

More information

Physics 211: Newton s Second Law

Physics 211: Newton s Second Law Physics 211: Newton s Second Law Reading Assignment: Chapte 5, Sections 5-9 Chapte 6, Section 2-3 Si Isaac Newton Bon: Januay 4, 1643 Died: Mach 31, 1727 Intoduction: Kinematics is the study of how objects

More information

Determining solar characteristics using planetary data

Determining solar characteristics using planetary data Detemining sola chaacteistics using planetay data Intoduction The Sun is a G-type main sequence sta at the cente of the Sola System aound which the planets, including ou Eath, obit. In this investigation

More information

Double-angle & power-reduction identities. Elementary Functions. Double-angle & power-reduction identities. Double-angle & power-reduction identities

Double-angle & power-reduction identities. Elementary Functions. Double-angle & power-reduction identities. Double-angle & power-reduction identities Double-angle & powe-eduction identities Pat 5, Tigonomety Lectue 5a, Double Angle and Powe Reduction Fomulas In the pevious pesentation we developed fomulas fo cos( β) and sin( β) These fomulas lead natually

More information

0606 ADDITIONAL MATHEMATICS

0606 ADDITIONAL MATHEMATICS UNIVERSITY OF CAMBRIDGE INTERNATIONAL EXAMINATIONS Intenational Geneal Cetificate of Seconday Education MARK SCHEME fo the Octobe/Novembe 011 question pape fo the guidance of teaches 0606 ADDITIONAL MATHEMATICS

More information

6 Matrix Concentration Bounds

6 Matrix Concentration Bounds 6 Matix Concentation Bounds Concentation bounds ae inequalities that bound pobabilities of deviations by a andom vaiable fom some value, often its mean. Infomally, they show the pobability that a andom

More information

0606 ADDITIONAL MATHEMATICS 0606/01 Paper 1, maximum raw mark 80

0606 ADDITIONAL MATHEMATICS 0606/01 Paper 1, maximum raw mark 80 UNIVERSITY OF CAMBRIDGE INTERNATIONAL EXAMINATIONS Intenational Geneal Cetificate of Seconday Education MARK SCHEME fo the Octobe/Novembe 009 question pape fo the guidance of teaches 0606 ADDITIONAL MATHEMATICS

More information

Pearson s Chi-Square Test Modifications for Comparison of Unweighted and Weighted Histograms and Two Weighted Histograms

Pearson s Chi-Square Test Modifications for Comparison of Unweighted and Weighted Histograms and Two Weighted Histograms Peason s Chi-Squae Test Modifications fo Compaison of Unweighted and Weighted Histogams and Two Weighted Histogams Univesity of Akueyi, Bogi, v/noduslód, IS-6 Akueyi, Iceland E-mail: nikolai@unak.is Two

More information

Electromagnetic scattering. Graduate Course Electrical Engineering (Communications) 1 st Semester, Sharif University of Technology

Electromagnetic scattering. Graduate Course Electrical Engineering (Communications) 1 st Semester, Sharif University of Technology Electomagnetic scatteing Gaduate Couse Electical Engineeing (Communications) 1 st Semeste, 1390-1391 Shaif Univesity of Technology Geneal infomation Infomation about the instucto: Instucto: Behzad Rejaei

More information

A Power Method for Computing Square Roots of Complex Matrices

A Power Method for Computing Square Roots of Complex Matrices JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS 13, 39345 1997 ARTICLE NO. AY975517 A Powe Method fo Computing Squae Roots of Complex Matices Mohammed A. Hasan Depatment of Electical Engineeing, Coloado

More information

Physics 121 Hour Exam #5 Solution

Physics 121 Hour Exam #5 Solution Physics 2 Hou xam # Solution This exam consists of a five poblems on five pages. Point values ae given with each poblem. They add up to 99 points; you will get fee point to make a total of. In any given

More information

A Crash Course in (2 2) Matrices

A Crash Course in (2 2) Matrices A Cash Couse in ( ) Matices Seveal weeks woth of matix algeba in an hou (Relax, we will only stuy the simplest case, that of matices) Review topics: What is a matix (pl matices)? A matix is a ectangula

More information

CSCE 478/878 Lecture 4: Experimental Design and Analysis. Stephen Scott. 3 Building a tree on the training set Introduction. Outline.

CSCE 478/878 Lecture 4: Experimental Design and Analysis. Stephen Scott. 3 Building a tree on the training set Introduction. Outline. In Homewok, you ae (supposedly) Choosing a data set 2 Extacting a test set of size > 3 3 Building a tee on the taining set 4 Testing on the test set 5 Repoting the accuacy (Adapted fom Ethem Alpaydin and

More information

1 Explicit Explore or Exploit (E 3 ) Algorithm

1 Explicit Explore or Exploit (E 3 ) Algorithm 2.997 Decision-Making in Lage-Scale Systems Mach 3 MIT, Sping 2004 Handout #2 Lectue Note 9 Explicit Exploe o Exploit (E 3 ) Algoithm Last lectue, we studied the Q-leaning algoithm: [ ] Q t+ (x t, a t

More information

Markscheme May 2017 Calculus Higher level Paper 3

Markscheme May 2017 Calculus Higher level Paper 3 M7/5/MATHL/HP3/ENG/TZ0/SE/M Makscheme May 07 Calculus Highe level Pape 3 pages M7/5/MATHL/HP3/ENG/TZ0/SE/M This makscheme is the popety of the Intenational Baccalaueate and must not be epoduced o distibuted

More information

Syntactical content of nite approximations of partial algebras 1 Wiktor Bartol Inst. Matematyki, Uniw. Warszawski, Warszawa (Poland)

Syntactical content of nite approximations of partial algebras 1 Wiktor Bartol Inst. Matematyki, Uniw. Warszawski, Warszawa (Poland) Syntactical content of nite appoximations of patial algebas 1 Wikto Batol Inst. Matematyki, Uniw. Waszawski, 02-097 Waszawa (Poland) batol@mimuw.edu.pl Xavie Caicedo Dep. Matematicas, Univ. de los Andes,

More information

Classical Worm algorithms (WA)

Classical Worm algorithms (WA) Classical Wom algoithms (WA) WA was oiginally intoduced fo quantum statistical models by Pokof ev, Svistunov and Tupitsyn (997), and late genealized to classical models by Pokof ev and Svistunov (200).

More information

On the integration of the equations of hydrodynamics

On the integration of the equations of hydrodynamics Uebe die Integation de hydodynamischen Gleichungen J f eine u angew Math 56 (859) -0 On the integation of the equations of hydodynamics (By A Clebsch at Calsuhe) Tanslated by D H Delphenich In a pevious

More information

A Multivariate Normal Law for Turing s Formulae

A Multivariate Normal Law for Turing s Formulae A Multivaiate Nomal Law fo Tuing s Fomulae Zhiyi Zhang Depatment of Mathematics and Statistics Univesity of Noth Caolina at Chalotte Chalotte, NC 28223 Abstact This pape establishes a sufficient condition

More information

15 Solving the Laplace equation by Fourier method

15 Solving the Laplace equation by Fourier method 5 Solving the Laplace equation by Fouie method I aleady intoduced two o thee dimensional heat equation, when I deived it, ecall that it taes the fom u t = α 2 u + F, (5.) whee u: [0, ) D R, D R is the

More information

Fractional Zero Forcing via Three-color Forcing Games

Fractional Zero Forcing via Three-color Forcing Games Factional Zeo Focing via Thee-colo Focing Games Leslie Hogben Kevin F. Palmowski David E. Robeson Michael Young May 13, 2015 Abstact An -fold analogue of the positive semidefinite zeo focing pocess that

More information

A generalization of the Bernstein polynomials

A generalization of the Bernstein polynomials A genealization of the Benstein polynomials Halil Ouç and Geoge M Phillips Mathematical Institute, Univesity of St Andews, Noth Haugh, St Andews, Fife KY16 9SS, Scotland Dedicated to Philip J Davis This

More information

Goodness-of-fit for composite hypotheses.

Goodness-of-fit for composite hypotheses. Section 11 Goodness-of-fit fo composite hypotheses. Example. Let us conside a Matlab example. Let us geneate 50 obsevations fom N(1, 2): X=nomnd(1,2,50,1); Then, unning a chi-squaed goodness-of-fit test

More information

Physics 181. Assignment 4

Physics 181. Assignment 4 Physics 181 Assignment 4 Solutions 1. A sphee has within it a gavitational field given by g = g, whee g is constant and is the position vecto of the field point elative to the cente of the sphee. This

More information

Chapter 5 Linear Equations: Basic Theory and Practice

Chapter 5 Linear Equations: Basic Theory and Practice Chapte 5 inea Equations: Basic Theoy and actice In this chapte and the next, we ae inteested in the linea algebaic equation AX = b, (5-1) whee A is an m n matix, X is an n 1 vecto to be solved fo, and

More information

COMPUTATIONS OF ELECTROMAGNETIC FIELDS RADIATED FROM COMPLEX LIGHTNING CHANNELS

COMPUTATIONS OF ELECTROMAGNETIC FIELDS RADIATED FROM COMPLEX LIGHTNING CHANNELS Pogess In Electomagnetics Reseach, PIER 73, 93 105, 2007 COMPUTATIONS OF ELECTROMAGNETIC FIELDS RADIATED FROM COMPLEX LIGHTNING CHANNELS T.-X. Song, Y.-H. Liu, and J.-M. Xiong School of Mechanical Engineeing

More information

Gauss s Law Simulation Activities

Gauss s Law Simulation Activities Gauss s Law Simulation Activities Name: Backgound: The electic field aound a point chage is found by: = kq/ 2 If thee ae multiple chages, the net field at any point is the vecto sum of the fields. Fo a

More information

ASTR415: Problem Set #6

ASTR415: Problem Set #6 ASTR45: Poblem Set #6 Cuan D. Muhlbege Univesity of Mayland (Dated: May 7, 27) Using existing implementations of the leapfog and Runge-Kutta methods fo solving coupled odinay diffeential equations, seveal

More information

B da = 0. Q E da = ε. E da = E dv

B da = 0. Q E da = ε. E da = E dv lectomagnetic Theo Pof Ruiz, UNC Asheville, doctophs on YouTube Chapte Notes The Maxwell quations in Diffeential Fom 1 The Maxwell quations in Diffeential Fom We will now tansfom the integal fom of the

More information

Centripetal Force OBJECTIVE INTRODUCTION APPARATUS THEORY

Centripetal Force OBJECTIVE INTRODUCTION APPARATUS THEORY Centipetal Foce OBJECTIVE To veify that a mass moving in cicula motion expeiences a foce diected towad the cente of its cicula path. To detemine how the mass, velocity, and adius affect a paticle's centipetal

More information

Localization of Eigenvalues in Small Specified Regions of Complex Plane by State Feedback Matrix

Localization of Eigenvalues in Small Specified Regions of Complex Plane by State Feedback Matrix Jounal of Sciences, Islamic Republic of Ian (): - () Univesity of Tehan, ISSN - http://sciencesutaci Localization of Eigenvalues in Small Specified Regions of Complex Plane by State Feedback Matix H Ahsani

More information

Topic 4a Introduction to Root Finding & Bracketing Methods

Topic 4a Introduction to Root Finding & Bracketing Methods /8/18 Couse Instucto D. Raymond C. Rumpf Office: A 337 Phone: (915) 747 6958 E Mail: cumpf@utep.edu Topic 4a Intoduction to Root Finding & Backeting Methods EE 4386/531 Computational Methods in EE Outline

More information

Secret Exponent Attacks on RSA-type Schemes with Moduli N = p r q

Secret Exponent Attacks on RSA-type Schemes with Moduli N = p r q Secet Exponent Attacks on RSA-type Schemes with Moduli N = p q Alexande May Faculty of Compute Science, Electical Engineeing and Mathematics Univesity of Padebon 33102 Padebon, Gemany alexx@uni-padebon.de

More information

Handout: IS/LM Model

Handout: IS/LM Model Econ 32 - IS/L odel Notes Handout: IS/L odel IS Cuve Deivation Figue 4-4 in the textbook explains one deivation of the IS cuve. This deivation uses the Induced Savings Function fom Chapte 3. Hee, I descibe

More information

Introduction to Mathematical Statistics Robert V. Hogg Joeseph McKean Allen T. Craig Seventh Edition

Introduction to Mathematical Statistics Robert V. Hogg Joeseph McKean Allen T. Craig Seventh Edition Intoduction to Mathematical Statistics Robet V. Hogg Joeseph McKean Allen T. Caig Seventh Edition Peason Education Limited Edinbugh Gate Halow Essex CM2 2JE England and Associated Companies thoughout the

More information

Compactly Supported Radial Basis Functions

Compactly Supported Radial Basis Functions Chapte 4 Compactly Suppoted Radial Basis Functions As we saw ealie, compactly suppoted functions Φ that ae tuly stictly conditionally positive definite of ode m > do not exist The compact suppot automatically

More information

Lab 10: Newton s Second Law in Rotation

Lab 10: Newton s Second Law in Rotation Lab 10: Newton s Second Law in Rotation We can descibe the motion of objects that otate (i.e. spin on an axis, like a popelle o a doo) using the same definitions, adapted fo otational motion, that we have

More information

Absolute Specifications: A typical absolute specification of a lowpass filter is shown in figure 1 where:

Absolute Specifications: A typical absolute specification of a lowpass filter is shown in figure 1 where: FIR FILTER DESIGN The design of an digital filte is caied out in thee steps: ) Specification: Befoe we can design a filte we must have some specifications. These ae detemined by the application. ) Appoximations

More information

Mathematisch-Naturwissenschaftliche Fakultät I Humboldt-Universität zu Berlin Institut für Physik Physikalisches Grundpraktikum.

Mathematisch-Naturwissenschaftliche Fakultät I Humboldt-Universität zu Berlin Institut für Physik Physikalisches Grundpraktikum. Mathematisch-Natuwissenschaftliche Fakultät I Humboldt-Univesität zu Belin Institut fü Physik Physikalisches Gundpaktikum Vesuchspotokoll Polaisation duch Reflexion (O11) duchgefüht am 10.11.2009 mit Vesuchspatne

More information

Auchmuty High School Mathematics Department Advanced Higher Notes Teacher Version

Auchmuty High School Mathematics Department Advanced Higher Notes Teacher Version The Binomial Theoem Factoials Auchmuty High School Mathematics Depatment The calculations,, 6 etc. often appea in mathematics. They ae called factoials and have been given the notation n!. e.g. 6! 6!!!!!

More information

Psychometric Methods: Theory into Practice Larry R. Price

Psychometric Methods: Theory into Practice Larry R. Price ERRATA Psychometic Methods: Theoy into Pactice Lay R. Pice Eos wee made in Equations 3.5a and 3.5b, Figue 3., equations and text on pages 76 80, and Table 9.1. Vesions of the elevant pages that include

More information

Pascal s Triangle (mod 8)

Pascal s Triangle (mod 8) Euop. J. Combinatoics (998) 9, 45 62 Pascal s Tiangle (mod 8) JAMES G. HUARD, BLAIR K. SPEARMAN AND KENNETH S. WILLIAMS Lucas theoem gives a conguence fo a binomial coefficient modulo a pime. Davis and

More information

Chapter Eight Notes N P U1C8S4-6

Chapter Eight Notes N P U1C8S4-6 Chapte Eight Notes N P UC8S-6 Name Peiod Section 8.: Tigonometic Identities An identit is, b definition, an equation that is alwas tue thoughout its domain. B tue thoughout its domain, that is to sa that

More information

Lab #0. Tutorial Exercises on Work and Fields

Lab #0. Tutorial Exercises on Work and Fields Lab #0 Tutoial Execises on Wok and Fields This is not a typical lab, and no pe-lab o lab epot is equied. The following execises will emind you about the concept of wok (fom 1130 o anothe intoductoy mechanics

More information

EM Boundary Value Problems

EM Boundary Value Problems EM Bounday Value Poblems 10/ 9 11/ By Ilekta chistidi & Lee, Seung-Hyun A. Geneal Desciption : Maxwell Equations & Loentz Foce We want to find the equations of motion of chaged paticles. The way to do

More information

Lab #4: Newton s Second Law

Lab #4: Newton s Second Law Lab #4: Newton s Second Law Si Isaac Newton Reading Assignment: bon: Januay 4, 1643 Chapte 5 died: Mach 31, 1727 Chapte 9, Section 9-7 Intoduction: Potait of Isaac Newton by Si Godfey Knelle http://www.newton.cam.ac.uk/at/potait.html

More information

Encapsulation theory: the transformation equations of absolute information hiding.

Encapsulation theory: the transformation equations of absolute information hiding. 1 Encapsulation theoy: the tansfomation equations of absolute infomation hiding. Edmund Kiwan * www.edmundkiwan.com Abstact This pape descibes how the potential coupling of a set vaies as the set is tansfomed,

More information

Appraisal of Logistics Enterprise Competitiveness on the Basis of Fuzzy Analysis Algorithm

Appraisal of Logistics Enterprise Competitiveness on the Basis of Fuzzy Analysis Algorithm Appaisal of Logistics Entepise Competitiveness on the Basis of Fuzzy Analysis Algoithm Yan Zhao, Fengge Yao, Minming She Habin Univesity of Commece, Habin, Heilongjiang 150028, China, zhaoyan2000@yahoo.com.cn

More information

Lecture 28: Convergence of Random Variables and Related Theorems

Lecture 28: Convergence of Random Variables and Related Theorems EE50: Pobability Foundations fo Electical Enginees July-Novembe 205 Lectue 28: Convegence of Random Vaiables and Related Theoems Lectue:. Kishna Jagannathan Scibe: Gopal, Sudhasan, Ajay, Swamy, Kolla An

More information

Physics 313 Practice Test Page 1. University Physics III Practice Test II

Physics 313 Practice Test Page 1. University Physics III Practice Test II Physics 313 Pactice Test Page 1 Univesity Physics III Pactice Test II This pactice test should give you a ough idea of the fomat and oveall level of the Physics 313 exams. The actual exams will have diffeent

More information

The Chromatic Villainy of Complete Multipartite Graphs

The Chromatic Villainy of Complete Multipartite Graphs Rocheste Institute of Technology RIT Schola Wos Theses Thesis/Dissetation Collections 8--08 The Chomatic Villainy of Complete Multipatite Gaphs Anna Raleigh an9@it.edu Follow this and additional wos at:

More information

EN40: Dynamics and Vibrations. Midterm Examination Thursday March

EN40: Dynamics and Vibrations. Midterm Examination Thursday March EN40: Dynamics and Vibations Midtem Examination Thusday Mach 9 2017 School of Engineeing Bown Univesity NAME: Geneal Instuctions No collaboation of any kind is pemitted on this examination. You may bing

More information

3.6 Applied Optimization

3.6 Applied Optimization .6 Applied Optimization Section.6 Notes Page In this section we will be looking at wod poblems whee it asks us to maimize o minimize something. Fo all the poblems in this section you will be taking the

More information

GENLOG Multinomial Loglinear and Logit Models

GENLOG Multinomial Loglinear and Logit Models GENLOG Multinomial Loglinea and Logit Models Notation This chapte descibes the algoithms used to calculate maximum-likelihood estimates fo the multinomial loglinea model and the multinomial logit model.

More information

Preliminary Exam: Quantum Physics 1/14/2011, 9:00-3:00

Preliminary Exam: Quantum Physics 1/14/2011, 9:00-3:00 Peliminay Exam: Quantum Physics /4/ 9:-: Answe a total of SIX questions of which at least TWO ae fom section A and at least THREE ae fom section B Fo you answes you can use eithe the blue books o individual

More information

RECTIFYING THE CIRCUMFERENCE WITH GEOGEBRA

RECTIFYING THE CIRCUMFERENCE WITH GEOGEBRA ECTIFYING THE CICUMFEENCE WITH GEOGEBA A. Matín Dinnbie, G. Matín González and Anthony C.M. O 1 Intoducction The elation between the cicumfeence and the adius of a cicle is one of the most impotant concepts

More information

Web-based Supplementary Materials for. Controlling False Discoveries in Multidimensional Directional Decisions, with

Web-based Supplementary Materials for. Controlling False Discoveries in Multidimensional Directional Decisions, with Web-based Supplementay Mateials fo Contolling False Discoveies in Multidimensional Diectional Decisions, with Applications to Gene Expession Data on Odeed Categoies Wenge Guo Biostatistics Banch, National

More information

Chapter 3 Optical Systems with Annular Pupils

Chapter 3 Optical Systems with Annular Pupils Chapte 3 Optical Systems with Annula Pupils 3 INTRODUCTION In this chapte, we discuss the imaging popeties of a system with an annula pupil in a manne simila to those fo a system with a cicula pupil The

More information

On the Number of Rim Hook Tableaux. Sergey Fomin* and. Nathan Lulov. Department of Mathematics. Harvard University

On the Number of Rim Hook Tableaux. Sergey Fomin* and. Nathan Lulov. Department of Mathematics. Harvard University Zapiski Nauchn. Seminaov POMI, to appea On the Numbe of Rim Hook Tableaux Segey Fomin* Depatment of Mathematics, Massachusetts Institute of Technology Cambidge, MA 0239 Theoy of Algoithms Laboatoy SPIIRAN,

More information

APPLICATION OF MAC IN THE FREQUENCY DOMAIN

APPLICATION OF MAC IN THE FREQUENCY DOMAIN PPLICION OF MC IN HE FREQUENCY DOMIN D. Fotsch and D. J. Ewins Dynamics Section, Mechanical Engineeing Depatment Impeial College of Science, echnology and Medicine London SW7 2B, United Kingdom BSRC he

More information

Application of Parseval s Theorem on Evaluating Some Definite Integrals

Application of Parseval s Theorem on Evaluating Some Definite Integrals Tukish Jounal of Analysis and Numbe Theoy, 4, Vol., No., -5 Available online at http://pubs.sciepub.com/tjant/// Science and Education Publishing DOI:.69/tjant--- Application of Paseval s Theoem on Evaluating

More information

18.06 Problem Set 4 Solution

18.06 Problem Set 4 Solution 8.6 Poblem Set 4 Solution Total: points Section 3.5. Poblem 2: (Recommended) Find the lagest possible numbe of independent vectos among ) ) ) v = v 4 = v 5 = v 6 = v 2 = v 3 =. Solution (4 points): Since

More information

Part V: Closed-form solutions to Loop Closure Equations

Part V: Closed-form solutions to Loop Closure Equations Pat V: Closed-fom solutions to Loop Closue Equations This section will eview the closed-fom solutions techniques fo loop closue equations. The following thee cases will be consideed. ) Two unknown angles

More information

titrrvers:rtt t>1 NO~~H CAROLINA

titrrvers:rtt t>1 NO~~H CAROLINA titvers:tt t>1 NO~~H CAROLINA Depatment of statistics Chapel Hill, N. C. ON A BOUN.D USEFUL IN THE THEORY OF FACTORIAL DESIGNS AND ERROR CORRECTING CODES by R. C. Bose and J. N. Sivastava Apil 1963 Gant

More information

MATH 220: SECOND ORDER CONSTANT COEFFICIENT PDE. We consider second order constant coefficient scalar linear PDEs on R n. These have the form

MATH 220: SECOND ORDER CONSTANT COEFFICIENT PDE. We consider second order constant coefficient scalar linear PDEs on R n. These have the form MATH 220: SECOND ORDER CONSTANT COEFFICIENT PDE ANDRAS VASY We conside second ode constant coefficient scala linea PDEs on R n. These have the fom Lu = f L = a ij xi xj + b i xi + c i whee a ij b i and

More information

SMT 2013 Team Test Solutions February 2, 2013

SMT 2013 Team Test Solutions February 2, 2013 1 Let f 1 (n) be the numbe of divisos that n has, and define f k (n) = f 1 (f k 1 (n)) Compute the smallest intege k such that f k (013 013 ) = Answe: 4 Solution: We know that 013 013 = 3 013 11 013 61

More information