Stanford University CS259Q: Quantum Computing Handout 8 Luca Trevisan October 18, 2012
|
|
- Verity Gordon
- 6 years ago
- Views:
Transcription
1 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,..., } {0,..., } be a peiodic function of peiod, meaning that x {0,..., } we have that f(x) = f(x + ) and the values f(x), f(x + ),..., f(x + ) ae all distinct. Suppose also that = m is a powe of and that /. Today we will descibe a quantum algoithm that finds in time polynomial in m and in the size of a classical cicuit computing f. The impotance of the peiod-finding poblem is that, as we will see next time, the intege factoing poblem educes to it, and so the quantum polynomial time fo peiod-finding yields a quantum polynomial time algoithm fo intege factoing. The Algoithm The algoithm is essentially identical to the algoithm fo the Boolean peiod-finding poblem discussed in the last lectue.. Ceate the quantum state x x f(x) Let U f be a unitay tansfomation on l = m + m + O(S) bits that maps x to x f(x) 0 0, whee S is the size of a classical cicuit that computes f. We constuct a cicuit ove l qubits that fist applies Hadamad gates to each of the fist m qubits. Afte these opeations, stating fom the input 0 l we get x 0 l m. Then we apply U f, which gives us the state x f(x) 0 l m. Fom this point on, we ignoe the last l m wies.
2 . easue the last m bits of the state The outcome of this measuement will be a possible output y of f( ). Let us call x 0 the smallest input such that f(x 0 ) = y. Fo such an outcome, the esidual state will be [ [ x 0 + t f(x 0 ) whee [/ stands fo / o fo / depending on x 0. Fom this point on we ignoe the last n bits of the state because they have been fixed by the measuement. 3. Apply the Fouie tansfom to the fist m bits The state becomes whee ω = e πi/. 4. easue the fist m bits. [ [ ω (x0+t) s s s The measuement will give us an intege s with pobability [ ω x0s = [ [ [ ω (x 0+t) s ω ts We will now discuss how to use the measuement done in step (4) in ode to estimate. The point will be that, with noticeably high pobability, s/ will be close to k/ fo a andom k, and this infomation will be sufficient to identify, afte executing the algoithm a few times in ode to obtain multiple samples. The key to the analysis is to undestand the pobability distibution of outcomes of the measuement in step (4). The analysis is simple in the special case in which divides, so we begin with this special case.
3 3 If is a ultiple of Suppose that q := / is an intege, and let us call a value s good if s is a multiple of q. Note that thee ae exactly good values of s, namely 0, /, /,...,. If s is good, then, fo evey t, ts is a multiple of, and so ω ts =, and the pobability that s is sampled is /, and so the good values of s contain all the pobability mass of the distibution.. This means that in step 4 we sample a numbe s which is unifomly distibuted in {0, /, /,..., }, and the ational numbe s/, which we can compute afte sampling s, is of the fom k/ fo a andom k {0,..., }. Afte simplifying the faction s/, we get copime integes a, b such that s = a ; if k and ae copime, b then = b, othewise b is a diviso of. If we execute the algoithm twice, we get two numbes s, s such that s i / = k i / fo andom k, k. If we compute the simplified factions a i b i = s i, then each b i is eithe o a diviso of and, moe pecisely, we have b i = / gcd(k i, ). Now, if gcd(k, ) and gcd(k, ) ae copime, then = lcm(b, b ). This gives us a quantum algoithm that computes and whose eo pobability is the pobability that picking two andom numbe k, k {0,..., } we have that, k, k all shae a common facto. The pobability that this happens is at most the pobability that k, k shae a common facto, which is at most p pime P[k multiple of p k multiple of p p pime p < n = π 6 <.65 n So we have at least a pobability of about /3 of finding the coect, and this can be boosted to be abitaily close to by epeating the algoithm seveal times. (A final note: if we epeat the algoithm seveal times, we collect seveal values,..., a such that, with high pobability, at least one of them is the coect peiod. How do we find the coect peiod out of this list? Fist of all we check fo each i whethe, say, f(0) = f( i ), and if not we emove it fom the list. The emaining values ae eithe the coect peiod o multiples of the coect peiod. We then output the smallest value of the emaining ones.) 4 The Geneal Case Suppose now that, as will usually be the case in the application to factoing, does not divide. Fo the geneal case, we will develop an appoximate vesion of the agument of the pevious section. We will define a value of s to be good if 3
4 s is appoximately a multiple of, we will show that thee ae appoximately good values of s, each with pobability appoximately appoximately /, so that the measuement at step (4) will give us with good pobability a value of s such that s/ is close to a multiple of /, fom which we will be able to get a diviso of, and then, by epeating the algoithm seveal times, the actual value of. Befoe ealizing the above plan, let us conside a concete example, to get a sense of what we may hope fo. Suppose that = 8 = 56, that = 0, and that, at step (), we measued a value y equal to f(3). Then, at step (4), the pobability of the vaious values of s ae as in the gaph below: If = 0 had been a diviso of, we would expect 0 values of s to have pobability. each, those being the multiples of /0, and all the othe values to have pobability 0. In the above example, s = 0 and s = 8, which ae the only intege multiples of /0 = 5.6 have the highest pobability, which is about.05. The values s = 5 and s = 6 ae both close to /0, but neithe is vey close, and thei pobabilities ae.046 and.057 espectively. The value s = 5 is quite close to /0 = 5., and its pobability is.0885, much close to the 0% pobability of the ideal case. The next nea-multiple is s = 77 3 /0 = 76.8, which also has pobability The next pobability spike is nea 4 /0 = 0.4 and it is split between s = 0 and s = 03, which have pobability.057 and.046, espectively, and so on. A couple of obsevations that follow fom the above calculations ae that () the pobability of sampling a value s depends entiely on the diffeence between s and the closest multiple of / o, equivalently, it depends exclusively on s mod, a fact that is easy to veify igoously, and that () the values of s that diffe by less than / fom the closest multiple of / have an oveall pobability of moe than 80% (in fact, nealy 90%) of being sampled. We will give a igoous poof of a weake bound that holds in geneal. 4
5 Definition (Good s) We say that a value of s is good if s mod Lemma Evey good s has pobability at least 8 o(/) of being sampled. Poof: We need to estimate P[outcome s = [ [ ω ts = [ [ e πi ts (Recall that ω = e πi/, and that conjugation does not affect the magnitude of a complex numbe.) Let us conside the case 0 s mod, and the othe case will be analogous. Call g := (s mod )/. Then [ e πi ts = [ e πigt So we ae summing e θi fo values of θ that ange fom 0 to πg π in [/ equal incements. Thinking of complex numbes as two-dimensional vectos, we ae summing [/ equally spaced unit vectos within an angle of π. This means that at least half of the vectos in the sum fom an angle of π/4 with the sum vecto, and each of those contibutes at least / to the sum vecto. This means that the magnitude (length) of the sum is at least [ and the oveall pobability of s is at least [ 8 [ ( o()) 8 This seems consideably less than the pobabilities we saw in the example above, whee the good s had pobability at least.057, which was.57/. Indeed the lowe bound could be impoved to 4 >.405 by poving the following π Claim 3 Fo evey good s [ e πi st ( o()) 4 π 5
6 Poof:[Sketch Again we will only look at the case 0 s mod. Ignoing the diffeence between [/ and / (which will be accounted fo in the o() eo tem, we want to study which we can think of as E t {0,.../ } e πi st e πi st and if we call θ max := π (s mod ) (note that 0 θ max π) we can appoximate the discete set {π st : t = 0,... / } with the continuous inteval [0, θ max, so that, up to an eo that is accounted fo in the o(), we have to bound the expectation E θ [0,θ max e iθ = θ max θmax 0 e iθ dθ = ( cos θ θmax max ) The function in the ight-hand side of the above equation is monotone deceasing fo 0 θ max π, and so its minimum is achieved at θ max = π, and it is 4/π. Lemma 4 Thee ae at least good s Poof: Fo evey k {0,..., }, thee must be an intege s k in the inteval [k/ /, k/ + /, and such an intege satisfies / s k mod /. Futhemoe, the integes s k ae all distinct because they belong to disjoint intevals. Suppose now that we have measued a good s at step (4). Then, fo some k, we have s k /, that is s k Now we want to see how to use such an s to find the exact atio k/. Fist of all, let us see that this is possible in pinciple. Fact 5 If a b and a b ae two diffeent ationals such that b, b D, then a b a b D 6
7 Poof: The diffeence is a multiple of bb. This means that if we have a eal numbe ρ, and a bound D, then thee can be at most one ational numbe a/b with b D such that ρ a/b < /D. Inteestingly, if such a numbe exists, it can be found efficiently. Fact 6 (Continued Faction Algoithm) Given a eal numbe ρ and a bound D, thee is a O((log D) O() ) time algoithm that finds the unique ational numbe a/b with b D such that ρ a/b /D, if such a numbe exists. Putting it all togethe, the measuement at step (4) gives us, with Ω() pobability, a good s, and fom such an s, using the fact that, fo some k, s/ k/ / and that <, we can use the continued faction algoithm to find copime a, b such that a/b = k/, which is the same outcome that we had eached in the pevious section. Futhemoe, each k has pobability Ω(/), and so thee is Ω() pobability that, epeating the algoithm twice, we obtain a /b = k / and a /b = k / whee k and k ae copime, so that lcm(b, b ) =. 7
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 informationQuantum 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 informationAQI: 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 informationQIP Course 10: Quantum Factorization Algorithm (Part 3)
QIP Couse 10: Quantum Factoization Algoithm (Pat 3 Ryutaoh Matsumoto Nagoya Univesity, Japan Send you comments to yutaoh.matsumoto@nagoya-u.jp Septembe 2018 @ Tokyo Tech. Matsumoto (Nagoya U. QIP Couse
More information10/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 informationASTR415: 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 informationQuantum Information & Quantum Computation
CS29A, Sping 25: Quantum Infomation & Quantum Computation Wim van Dam Engineeing, Room 59 vandam@cs http://www.cs.ucsb.edu/~vandam/teaching/cs29/ Administivia ext week talk b Matthias Steffen on uclea
More informationON 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 informationSMT 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 informationProbablistically 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 informationMath 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 informationBasic Gray Level Transformations (2) Negative
Gonzalez & Woods, 22 Basic Gay Level Tansfomations (2) Negative 23 Basic Gay Level Tansfomations (3) Log Tansfomation (Example fo Fouie Tansfom) Fouie spectum values ~1 6 bightest pixels dominant display
More informationLecture 18: Graph Isomorphisms
INFR11102: Computational Complexity 22/11/2018 Lectue: Heng Guo Lectue 18: Gaph Isomophisms 1 An Athu-Melin potocol fo GNI Last time we gave a simple inteactive potocol fo GNI with pivate coins. We will
More informationLecture 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 informationIntroduction 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 informationGraphs of Sine and Cosine Functions
Gaphs of Sine and Cosine Functions In pevious sections, we defined the tigonometic o cicula functions in tems of the movement of a point aound the cicumfeence of a unit cicle, o the angle fomed by the
More information6 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 informationEncapsulation 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 informationPearson 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 informationThe 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 informationSolution 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 informationTemporal-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 informationA 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 informationHOW 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 informationB. Spherical Wave Propagation
11/8/007 Spheical Wave Popagation notes 1/1 B. Spheical Wave Popagation Evey antenna launches a spheical wave, thus its powe density educes as a function of 1, whee is the distance fom the antenna. We
More informationChapter 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 information16 Modeling a Language by a Markov Process
K. Pommeening, Language Statistics 80 16 Modeling a Language by a Makov Pocess Fo deiving theoetical esults a common model of language is the intepetation of texts as esults of Makov pocesses. This model
More informationMATH 415, WEEK 3: Parameter-Dependence and Bifurcations
MATH 415, WEEK 3: Paamete-Dependence and Bifucations 1 A Note on Paamete Dependence We should pause to make a bief note about the ole played in the study of dynamical systems by the system s paametes.
More informationQUANTUM ALGORITHMS IN ALGEBRAIC NUMBER THEORY
QUANTU ALGORITHS IN ALGEBRAIC NUBER THEORY SION RUBINSTEIN-SALZEDO Abstact. In this aticle, we discuss some quantum algoithms fo detemining the goup of units and the ideal class goup of a numbe field.
More information3.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 informationRelating Branching Program Size and. Formula Size over the Full Binary Basis. FB Informatik, LS II, Univ. Dortmund, Dortmund, Germany
Relating Banching Pogam Size and omula Size ove the ull Binay Basis Matin Saueho y Ingo Wegene y Ralph Wechne z y B Infomatik, LS II, Univ. Dotmund, 44 Dotmund, Gemany z ankfut, Gemany sauehof/wegene@ls.cs.uni-dotmund.de
More informationFall 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 information4/18/2005. Statistical Learning Theory
Statistical Leaning Theoy Statistical Leaning Theoy A model of supevised leaning consists of: a Envionment - Supplying a vecto x with a fixed but unknown pdf F x (x b Teache. It povides a desied esponse
More informationONE-POINT CODES USING PLACES OF HIGHER DEGREE
ONE-POINT CODES USING PLACES OF HIGHER DEGREE GRETCHEN L. MATTHEWS AND TODD W. MICHEL DEPARTMENT OF MATHEMATICAL SCIENCES CLEMSON UNIVERSITY CLEMSON, SC 29634-0975 U.S.A. E-MAIL: GMATTHE@CLEMSON.EDU, TMICHEL@CLEMSON.EDU
More informationNew 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 informationChapter 13 Gravitation
Chapte 13 Gavitation In this chapte we will exploe the following topics: -Newton s law of gavitation, which descibes the attactive foce between two point masses and its application to extended objects
More informationOn the ratio of maximum and minimum degree in maximal intersecting families
On the atio of maximum and minimum degee in maximal intesecting families Zoltán Lóánt Nagy Lale Özkahya Balázs Patkós Máté Vize Septembe 5, 011 Abstact To study how balanced o unbalanced a maximal intesecting
More informationf h = u, h g = v, we have u + v = f g. So, we wish
Answes to Homewok 4, Math 4111 (1) Pove that the following examples fom class ae indeed metic spaces. You only need to veify the tiangle inequality. (a) Let C be the set of continuous functions fom [0,
More informationMATH 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 informationMethod 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 informationF-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 informationLecture 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 informationFractional 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 informationOn the ratio of maximum and minimum degree in maximal intersecting families
On the atio of maximum and minimum degee in maximal intesecting families Zoltán Lóánt Nagy Lale Özkahya Balázs Patkós Máté Vize Mach 6, 013 Abstact To study how balanced o unbalanced a maximal intesecting
More informationChapter 2: Introduction to Implicit Equations
Habeman MTH 11 Section V: Paametic and Implicit Equations Chapte : Intoduction to Implicit Equations When we descibe cuves on the coodinate plane with algebaic equations, we can define the elationship
More informationMath 124B February 02, 2012
Math 24B Febuay 02, 202 Vikto Gigoyan 8 Laplace s equation: popeties We have aleady encounteed Laplace s equation in the context of stationay heat conduction and wave phenomena. Recall that in two spatial
More informationCompactly 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 informationGoodness-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 informationMATH 417 Homework 3 Instructor: D. Cabrera Due June 30. sin θ v x = v r cos θ v θ r. (b) Then use the Cauchy-Riemann equations in polar coordinates
MATH 417 Homewok 3 Instucto: D. Cabea Due June 30 1. Let a function f(z) = u + iv be diffeentiable at z 0. (a) Use the Chain Rule and the fomulas x = cosθ and y = to show that u x = u cosθ u θ, v x = v
More information9.1 The multiplicative group of a finite field. Theorem 9.1. The multiplicative group F of a finite field is cyclic.
Chapte 9 Pimitive Roots 9.1 The multiplicative goup of a finite fld Theoem 9.1. The multiplicative goup F of a finite fld is cyclic. Remak: In paticula, if p is a pime then (Z/p) is cyclic. In fact, this
More informationDynamic Visualization of Complex Integrals with Cabri II Plus
Dynamic Visualiation of omplex Integals with abi II Plus Sae MIKI Kawai-juu, IES Japan Email: sand_pictue@hotmailcom Abstact: Dynamic visualiation helps us undestand the concepts of mathematics This pape
More informationTHE JEU DE TAQUIN ON THE SHIFTED RIM HOOK TABLEAUX. Jaejin Lee
Koean J. Math. 23 (2015), No. 3, pp. 427 438 http://dx.doi.og/10.11568/kjm.2015.23.3.427 THE JEU DE TAQUIN ON THE SHIFTED RIM HOOK TABLEAUX Jaejin Lee Abstact. The Schensted algoithm fist descibed by Robinson
More information1 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 informationDeterministic vs Non-deterministic Graph Property Testing
Deteministic vs Non-deteministic Gaph Popety Testing Lio Gishboline Asaf Shapia Abstact A gaph popety P is said to be testable if one can check whethe a gaph is close o fa fom satisfying P using few andom
More information1D2G - Numerical solution of the neutron diffusion equation
DG - Numeical solution of the neuton diffusion equation Y. Danon Daft: /6/09 Oveview A simple numeical solution of the neuton diffusion equation in one dimension and two enegy goups was implemented. Both
More informationLight Time Delay and Apparent Position
Light Time Delay and ppaent Position nalytical Gaphics, Inc. www.agi.com info@agi.com 610.981.8000 800.220.4785 Contents Intoduction... 3 Computing Light Time Delay... 3 Tansmission fom to... 4 Reception
More informationUnobserved 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 informationSchool of Electrical and Computer Engineering, Cornell University. ECE 303: Electromagnetic Fields and Waves. Fall 2007
School of Electical and Compute Engineeing, Conell Univesity ECE 303: Electomagnetic Fields and Waves Fall 007 Homewok 8 Due on Oct. 19, 007 by 5:00 PM Reading Assignments: i) Review the lectue notes.
More informationGauss Law. Physics 231 Lecture 2-1
Gauss Law Physics 31 Lectue -1 lectic Field Lines The numbe of field lines, also known as lines of foce, ae elated to stength of the electic field Moe appopiately it is the numbe of field lines cossing
More informationk. s k=1 Part of the significance of the Riemann zeta-function stems from Theorem 9.2. If s > 1 then 1 p s
9 Pimes in aithmetic ogession Definition 9 The Riemann zeta-function ζs) is the function which assigns to a eal numbe s > the convegent seies k s k Pat of the significance of the Riemann zeta-function
More informationBerkeley 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 informationAn upper bound on the number of high-dimensional permutations
An uppe bound on the numbe of high-dimensional pemutations Nathan Linial Zu Luia Abstact What is the highe-dimensional analog of a pemutation? If we think of a pemutation as given by a pemutation matix,
More information15.081J/6.251J Introduction to Mathematical Programming. Lecture 6: The Simplex Method II
15081J/6251J Intoduction to Mathematical Pogamming ectue 6: The Simplex Method II 1 Outline Revised Simplex method Slide 1 The full tableau implementation Anticycling 2 Revised Simplex Initial data: A,
More informationSecret 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 informationA STUDY OF HAMMING CODES AS ERROR CORRECTING CODES
AGU Intenational Jounal of Science and Technology A STUDY OF HAMMING CODES AS ERROR CORRECTING CODES Ritu Ahuja Depatment of Mathematics Khalsa College fo Women, Civil Lines, Ludhiana-141001, Punjab, (India)
More informationInformation Retrieval Advanced IR models. Luca Bondi
Advanced IR models Luca Bondi Advanced IR models 2 (LSI) Pobabilistic Latent Semantic Analysis (plsa) Vecto Space Model 3 Stating point: Vecto Space Model Documents and queies epesented as vectos in the
More informationGENLOG 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 informationHistory of Astronomy - Part II. Tycho Brahe - An Observer. Johannes Kepler - A Theorist
Histoy of Astonomy - Pat II Afte the Copenican Revolution, astonomes stived fo moe obsevations to help bette explain the univese aound them Duing this time (600-750) many majo advances in science and astonomy
More informationSupplementary 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 informationOn decompositions of complete multipartite graphs into the union of two even cycles
On decompositions of complete multipatite gaphs into the union of two even cycles A. Su, J. Buchanan, R. C. Bunge, S. I. El-Zanati, E. Pelttai, G. Rasmuson, E. Spaks, S. Tagais Depatment of Mathematics
More informationSplay Trees Handout. Last time we discussed amortized analysis of data structures
Spla Tees Handout Amotied Analsis Last time we discussed amotied analsis of data stuctues A wa of epessing that even though the wost-case pefomance of an opeation can be bad, the total pefomance of a sequence
More informationON THE INVERSE SIGNED TOTAL DOMINATION NUMBER IN GRAPHS. D.A. Mojdeh and B. Samadi
Opuscula Math. 37, no. 3 (017), 447 456 http://dx.doi.og/10.7494/opmath.017.37.3.447 Opuscula Mathematica ON THE INVERSE SIGNED TOTAL DOMINATION NUMBER IN GRAPHS D.A. Mojdeh and B. Samadi Communicated
More informationClassical 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 informationMath 151. Rumbos Spring Solutions to Assignment #7
Math. Rumbos Sping 202 Solutions to Assignment #7. Fo each of the following, find the value of the constant c fo which the given function, p(x, is the pobability mass function (pmf of some discete andom
More informationFresnel Diffraction. monchromatic light source
Fesnel Diffaction Equipment Helium-Neon lase (632.8 nm) on 2 axis tanslation stage, Concave lens (focal length 3.80 cm) mounted on slide holde, iis mounted on slide holde, m optical bench, micoscope slide
More informationGalilean Transformation vs E&M y. Historical Perspective. Chapter 2 Lecture 2 PHYS Special Relativity. Sep. 1, y K K O.
PHYS-2402 Chapte 2 Lectue 2 Special Relativity 1. Basic Ideas Sep. 1, 2016 Galilean Tansfomation vs E&M y K O z z y K In 1873, Maxwell fomulated Equations of Electomagnetism. v Maxwell s equations descibe
More informationA 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 information1 Notes on Order Statistics
1 Notes on Ode Statistics Fo X a andom vecto in R n with distibution F, and π S n, define X π by and F π by X π (X π(1),..., X π(n) ) F π (x 1,..., x n ) F (x π 1 (1),..., x π 1 (n)); then the distibution
More informationGauss 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 informationPulse Neutron Neutron (PNN) tool logging for porosity Some theoretical aspects
Pulse Neuton Neuton (PNN) tool logging fo poosity Some theoetical aspects Intoduction Pehaps the most citicism of Pulse Neuton Neuon (PNN) logging methods has been chage that PNN is to sensitive to the
More informationHigh Dimensional Clustering with r-nets
High Dimensional Clusteing with -nets Geogia Avaikioti, Alain Ryse, Yuyi Wang, Roge Wattenhofe ETH Zuich, Switzeland {zetava,ayse,yuwang,wattenhofe}@ethz.ch Abstact Clusteing, a fundamental task in data
More informationFZX: Personal Lecture Notes from Daniel W. Koon St. Lawrence University Physics Department CHAPTER 7
FZX: Pesonal Lectue Notes fom Daniel W. Koon St. Lawence Univesity Physics Depatment CHAPTER 7 Please epot any glitches, bugs o eos to the autho: dkoon at stlawu.edu. 7. Momentum and Impulse Impulse page
More informationPhysics 221 Lecture 41 Nonlinear Absorption and Refraction
Physics 221 Lectue 41 Nonlinea Absoption and Refaction Refeences Meye-Aendt, pp. 97-98. Boyd, Nonlinea Optics, 1.4 Yaiv, Optical Waves in Cystals, p. 22 (Table of cystal symmeties) 1. Intoductoy Remaks.
More informationBrief summary of functional analysis APPM 5440 Fall 2014 Applied Analysis
Bief summay of functional analysis APPM 5440 Fall 014 Applied Analysis Stephen Becke, stephen.becke@coloado.edu Standad theoems. When necessay, I used Royden s and Keyzsig s books as a efeence. Vesion
More informationSPECTRAL SEQUENCES: FRIEND OR FOE?
SPECTRAL SEQUENCES: FRIEND OR FOE? RAVI VAKIL Spectal sequences ae a poweful book-keeping tool fo poving things involving complicated commutative diagams. They wee intoduced by Leay in the 94 s at the
More informationMacro Theory B. The Permanent Income Hypothesis
Maco Theoy B The Pemanent Income Hypothesis Ofe Setty The Eitan Beglas School of Economics - Tel Aviv Univesity May 15, 2015 1 1 Motivation 1.1 An econometic check We want to build an empiical model with
More information15 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 information1. Review of Probability.
1. Review of Pobability. What is pobability? Pefom an expeiment. The esult is not pedictable. One of finitely many possibilities R 1, R 2,, R k can occu. Some ae pehaps moe likely than othes. We assign
More informationAnalysis of Arithmetic. Analysis of Arithmetic. Analysis of Arithmetic Round-Off Errors. Analysis of Arithmetic. Analysis of Arithmetic
In the fixed-oint imlementation of a digital filte only the esult of the multilication oeation is quantied The eesentation of a actical multilie with the quantie at its outut is shown below u v Q ^v The
More informationAST 121S: The origin and evolution of the Universe. Introduction to Mathematical Handout 1
Please ead this fist... AST S: The oigin and evolution of the Univese Intoduction to Mathematical Handout This is an unusually long hand-out and one which uses in places mathematics that you may not be
More informationDivisibility. 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 informationPhysics 235 Chapter 5. Chapter 5 Gravitation
Chapte 5 Gavitation In this Chapte we will eview the popeties of the gavitational foce. The gavitational foce has been discussed in geat detail in you intoductoy physics couses, and we will pimaily focus
More informationNuclear and Particle Physics - Lecture 20 The shell model
1 Intoduction Nuclea and Paticle Physics - Lectue 0 The shell model It is appaent that the semi-empiical mass fomula does a good job of descibing tends but not the non-smooth behaviou of the binding enegy.
More information6 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 informationPhysics 2A Chapter 10 - Moment of Inertia Fall 2018
Physics Chapte 0 - oment of netia Fall 08 The moment of inetia of a otating object is a measue of its otational inetia in the same way that the mass of an object is a measue of its inetia fo linea motion.
More informationDo Managers Do Good With Other People s Money? Online Appendix
Do Manages Do Good With Othe People s Money? Online Appendix Ing-Haw Cheng Haison Hong Kelly Shue Abstact This is the Online Appendix fo Cheng, Hong and Shue 2013) containing details of the model. Datmouth
More informationChapter 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( ) [ ] [ ] [ ] δf φ = F φ+δφ F. xdx.
9. LAGRANGIAN OF THE ELECTROMAGNETIC FIELD In the pevious section the Lagangian and Hamiltonian of an ensemble of point paticles was developed. This appoach is based on a qt. This discete fomulation can
More informationAlternative Tests for the Poisson Distribution
Chiang Mai J Sci 015; 4() : 774-78 http://epgsciencecmuacth/ejounal/ Contibuted Pape Altenative Tests fo the Poisson Distibution Manad Khamkong*[a] and Pachitjianut Siipanich [b] [a] Depatment of Statistics,
More informationAnyone who can contemplate quantum mechanics without getting dizzy hasn t understood it. --Niels Bohr. Lecture 17, p 1
Anyone who can contemplate quantum mechanics without getting dizzy hasn t undestood it. --Niels Boh Lectue 17, p 1 Special (Optional) Lectue Quantum Infomation One of the most moden applications of QM
More information