Sufficient condition on noise correlations for scalable quantum computing
|
|
- Frederick Barrett
- 5 years ago
- Views:
Transcription
1 Sufficient condition on noise correltions for sclble quntum computing John Presill, 2 Februry 202 Is quntum computing sclble? The ccurcy threshold theorem for quntum computtion estblishes tht sclbility is chievble if the noise fflicting the quntum computer is not too strong nd not too strongly correlted. For sclbility to fil s mtter of principle then, either the ccepted principles of quntum physics must fil for complex highly entngled systems (s t Hooft [th99] hs suggested, or else either the Hmiltonin or the quntum stte of the world must impose noise correltions tht overwhelm fult-tolernt quntum protocols (s Kli [K] hs suggested. To get further insight into this issue, it is useful to derive conditions on the Hmiltonin tht suffice for sclbility. The noise model we consider is formulted by specifying time-dependent Hmiltonin H tht governs the joint evolution of the system nd the bth, which cn be expressed s H = H S + H B + H SB ; ( here H S is the time-dependent Hmiltonin of the system tht relizes n idel quntum circuit, H B is the Hmiltonin of the bth, nd H SB, which describes the coupling of the system to the bth, is the origin of the noise. We plce no restrictions on the bth Hmiltonin H B. Without ny loss of generlity, we my expnd the system-bth Hmiltonin in the form H SB = = i i,i 2,...i H ( i i,i 2,...i = =! i i,i 2,...i H ( i i,i 2,...i. (2 Here, H ( i i,i 2,...i cts on the qubits lbeled by the indices i i, i 2,...i, nd lso cts on the bth; for ech we sum over ll wys of choosing system qubits. We use i i, i 2,...i to denote n unordered set of qubits; by definition, H ( i i,i 2,...i is invrint under permuttions of the qubits nd vnishes if two of the indices coincide. Hence the two expressions for H SB re equivlent. We will not need to ssume nything bout the initil stte of the bth, except tht the system qubits cn be well enough isolted from the bth tht we cn prepre single-qubit sttes with resonble fidelity. We use the term loction to spe of n opertion in quntum circuit performed in single time step; loction my be single-qubit or multi-qubit gte, qubit preprtion step, qubit mesurement, or the identity opertion in the cse qubit is idle during time step. We model noisy preprtion s n idel preprtion followed by evolution governed by H, nd noisy mesurement s n idel mesurement preceded by evolution governed by H. It is convenient to imgine tht ll system qubits re prepred t the very beginning of the computtion nd mesured t the very end; in tht cse the noisy computtion cn be fully chrcterized by unitry evolution opertor U cting jointly on the system nd the bth, obtined by solving the time-dependent Schrödinger eqution for the Hmiltonin Eq. (2. Our gol is to derive from Eq. (2 n expression for the effective noise strength ε of the noisy computtion, which is defined s follows. We envision performing forml expnsion of U in powers of the perturbtion H SB, to ll orders. Consider prticulr set I r of r circuit loctions, nd let E(I r denote the sum of ll terms in the expnsion such tht every loction in I r is fulty, i.e., such tht t lest one of the qubits t tht loction is struc t lest once by term in H SB during the execution of the gte. We sy tht the noise hs effective noise strength ε if E(I r ε r (3 for ny set I r. The ccurcy threshold theorem for quntum computing shows tht sclble quntum computing is possible if ε is less thn positive constnt ε 0 [AGP2006, NP2009]. Let us define η ( = mx H ( i i,i 2,i 3,...,i t 0, (4 i 2,i 3,...,i
2 the mximum is over ll qubits nd ll times, nd t 0 is the mximl durtion of ny loction. Then our min result n be stted s follows. Theorem. (Effective noise strength for correlted Hmiltonin noise If ech quntum gte cts on t most m qubits nd if η ( f α, (5 for ll, then ε 2mα exp g = f + l= ( = g, (6 (!f +l (2α l. (7 ( + l! It follows tht quntum computing is sclble provided the strength of -qubit interctions decys sufficiently rpidly with (so tht the sums in Eq. (6 nd Eq. (7 converge, nd lso decys s the sptil seprtion of the qubits increses (so tht the sum defining η ( in Eq. (4 converges. If, for exmple, f =, then nd hence g (2α l = ( 2α C(α, (8 ( ε 2mα e (e /2 C(α 4.72 mα, (9 the lst pproximtion uses C(α for α, s is the cse if ε is smller thn the threshold vlue ε If insted f!/ p, (0 then ( g! ( (!f +l (2α l p =! (!( + l! p (2α l ( + l!f p ( + l!!( + l p (! ( ( + l(2α l =! ( + l (2α l p p ( ( =! p 2α + 2α ( 2α 2! ( 2 = C(α 2! p 2α p. ( we obtined the inequlity in the lst line using. For p = 2, for exmple, we find ( C(α 2 ε 2mα e π2 / mα, (2 gin using C(α to obtin the numericl expression. For p > the sum over in Eq. (6 converges, nd hence we obtin finite expression for ε. Therefore, sclble fult-tolernt quntum computtion is chievble for sufficiently smll (positive vlue of α. 2
3 In [AKP06], sclbility ws proven for the specil cse in which only the = 2 term in the Hmiltonin is nonzero. To prove Theorem we generlize the ides used in [AKP06]. We write the system-bth Hmiltonin s H SB = H SB, (3 is shorthnd for the indices, nd i i, i 2,...i in Eq. (2. For the se of conceptul clrity we imgine dividing time into infinitesiml intervls, ech of width, nd express the time evolution opertor for the intervl (t, t + s U(t +, t e i H e i HS e i HB (I SB i H SB,. (4 (We hve omitted terms higher order in H ; strictly speing, then, to justify Eq. (4 we should regulte the bth Hmiltonin by imposing n upper bound on its norm, then choose smll enough so these higher order terms cn be sfely neglected. We expnd U(t +, t s sum of monomils, for ech vlue of either I SB or i H SB, ppers; then we obtin the perturbtion expnsion of the full time evolution opertor U over time T by stitching together T/ such infinitesiml time evolution opertors. We will refer to the r specified loctions in the set I r s the mred loctions nd to the remining loctions s the unmred loctions. For now, suppose for definiteness tht ll of the mred loctions re single-qubit gtes. For ny term in the perturbtion expnsion contributing to E(I r there must be n erliest infinitesiml time intervl in ech of the r mred loctions term H SB, cts nontrivilly on tht qubit. Suppose we fix the infinitesiml time intervls these erliest insertions of H SB occur, nd lso fix the terms {H SB, } in the system-bth Hmiltonin tht ct there, but sum over ll the terms in the perturbtion expnsion cting in other time intervls nd on other qubits. Then in between the fixed erliest insertions in the mred loctions, the joint evolution of the system nd the bth is governed by modified Hmiltonin (modified H (modified = H S + H B + H (modified SB, H (modified SB = H SB,, (5 the modified sum excludes ny term H SB, cting nontrivilly on ny one of the mred loctions during ny time intervl prior to the fixed time of the erliest insertion. The importnt point is tht the time evolution opertor in between successive insertions of the perturbtion is unitry nd hence hs unit opertor norm. We conclude, then, tht the contribution to E(I r with the erliest insertions t the mred loctions fixed hs opertor norm bounded bove by (erliest ( H SB,, (6 the product is over the terms in the system-bth Hmiltonin tht ct t the erliest insertions. To bound E(I r, we sum over the t 0 / time intervls t ech loction the erliest insertion my occur, nd lso sum over ll the wys of choosing the term H SB, tht cts t ech insertion, obtining E(I r (insertions {H SB,} (erliest ( H SB, t 0. (7 Summing over the possible intervls for the first insertion turns the fctor into the fctor t 0. Now we hve to figure out how to sum over ll wys of choosing the terms {H SB, } cting t the erliest insertions inside the r mred circuit loctions. Since H SB contins multi-qubit terms, single term in H SB cn simultneously produce the first insertion t multiple circuit loctions occurring in the sme time step. 3
4 Specificlly, single term in H ( might cuse simultneous fults in j of the r mred loctions for ny j. We use the term j-contrction to refer to the cse when single term in Eq. (2 produces the first insertion in ech of j mred loctions. The strength of one-contrction cn be bounded by η (+l = mx H (+l i j,j 2,...,j l η = i,j,j 2,...,j l t 0 = mx l! η (+l, (8 i j,j 2,...,j l H (+l i,j,j 2,...,j l t 0 (9 Here i is one of the mred loctions, nd other indices re summed over ll loctions (both mred nd unmred, to llow for the possibility tht the insertion t mred loction need not be the first insertion; hence the higher order (l > 0 terms in Eq. (9 cn be contributions to the strength of the one-contrction rther thn j-contrction for j > even though some of the loctions in {j, j 2,..., j l } my be mred. Similrly, for >, the strength of -contrction cn be bounded by = η = i,i 2,...,i j,j 2,...,j l, (20 H (+l i,i 2,...i,j,j 2,...,j l t 0. (2 Here for the in sum the qubits re restricted to the mred loctions nd for the ll sum they my be t either mred or unmred loctions. By summing ll wys of choosing the first insertion in ech of r mred loctions, we obtin the bound ε r (r r,r 2,r 3,... = r! (η r. (22 Here r is the number of -contrctions, nd the sum (r is subject to the constrint r = r. To obtin Eq. (22, we observe tht H ( i,i 2,...i i,i 2,...,i r (23 contins ech wy of choosing r -contrctions mong the r mred loctions r! times, plus dditionl nonnegtive terms; the fctor /r! in Eq. (22 compenstes for this overcounting. To go further we wish to relte η for > to η. Note tht in for >, we cn replce the sum over wys to choose qubits by sum over ll qubits divided by!, nd similrly we cn replce the sum over the wys to choose l qubits by sum over ll qubits divided by l!, obtining =! i,i 2,...,i l! j,j 2,...,j l H (+l i,i 2,...i,j,j 2,...,j l t 0. (24 4
5 By summing i i over the r mred loctions we obtin the bound r mx i! i 2,...,i l! j,j 2,...,j l H (+l i,i 2,...i,j,j 2,...,j l t 0 ; (25 note tht we still hve bound if we extend the in sum to sum over ll qubits. From Eq. (9 we hve = mx i ( + l! i 2,...,i which implies (for > ( + l! r = r ( + l! l! l Hence we find (for > η r 2 Now suppose, s in the hypothesis of Theorem, tht From Eq. (28 we obtin η ( j,j 2,...,j l H (+l i,i 2,...i,j,j 2,...,j l t 0. (26 r 2+l. (27 2 +l. (28 (! η( f α (!. (29 g = f + η rg (2α, (30 l= (!f +l (2α l. (3 ( + l! Then the bound Eq. (22 becomes ε r (r r,r 2,r 3,... = r! ( rg (2α r = (2α r (r r,r 2,r 3,... = reclling the constrint on the sum. If we now relx the constrint on the sum, we hve = r! ( rg r, (32 ε r (2α r ( rg r ( r rg = (2α exp r = r! =0 = ( r ( ( r = (2α (exp r g g = 2α exp. (33 Finlly, we observe tht in the cse of n m-qubit gte loction, the loction is fulty if the system-bth perturbtion cts nontrivilly on ny one of m qubits, which enhnces the noise strength by the fctor m. This completes the proof of Theorem. = 5
6 If the hypotheses of Theorem fil, we need not despir. In [NP09] it is shown tht sclbility my still be provble if we me further ssumptions bout the stte of the bth (which ws ssumed there to be Gussin stte in which sptil correltions decy sufficiently rpidly. We might insted suppress the noise correltions using specilized methods tht re not incorported into the stndrd proofs of the quntum threshold theorem, such s dynmicl decoupling. Chrcterizing the residul noise correltions when dynmicl decoupling is employed seems to be hrd problem, though some preliminry steps were ten in [NLP]. References [AKP06] D. Ahronov, A. Kitev, nd J. Presill, Fult-tolernt quntum computtion with long-rnge correlted noise, Phys. Rev. Lett. 96, (2006. [AGP06] P. Aliferis, D. Gottesmn, nd J. Presill, Quntum ccurcy threshold for conctented distnce-3 codes, Quntum Informtion nd Computtion 6, (2006. [th99] G t Hooft, Quntum grvity s dissiptive deterministic system, Clssicl nd Quntum Grvity 6, (999. [K] G. Kli, How quntum computers fil: quntum codes, correltions in physicl systems, nd noise ccumultion, rxiv: (20. [NLP] H.-K. Ng, D. A. Lidr, nd J. Presill, Combining dynmicl decoupling nd fult-tolernt quntum computtion, Phys. Rev. A 84, (20. [NP09] H.-K. Ng nd J. Presill, Fult-tolernt quntum computtion versus Gussin noise, Phys. Rev. A 79, (
THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.
THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS RADON ROSBOROUGH https://intuitiveexplntionscom/picrd-lindelof-theorem/ This document is proof of the existence-uniqueness theorem
More information221B Lecture Notes WKB Method
Clssicl Limit B Lecture Notes WKB Method Hmilton Jcobi Eqution We strt from the Schrödinger eqution for single prticle in potentil i h t ψ x, t = [ ] h m + V x ψ x, t. We cn rewrite this eqution by using
More informationLecture 1. Functional series. Pointwise and uniform convergence.
1 Introduction. Lecture 1. Functionl series. Pointwise nd uniform convergence. In this course we study mongst other things Fourier series. The Fourier series for periodic function f(x) with period 2π is
More informationThe Regulated and Riemann Integrals
Chpter 1 The Regulted nd Riemnn Integrls 1.1 Introduction We will consider severl different pproches to defining the definite integrl f(x) dx of function f(x). These definitions will ll ssign the sme vlue
More informationMath 1B, lecture 4: Error bounds for numerical methods
Mth B, lecture 4: Error bounds for numericl methods Nthn Pflueger 4 September 0 Introduction The five numericl methods descried in the previous lecture ll operte by the sme principle: they pproximte the
More informationTheoretical foundations of Gaussian quadrature
Theoreticl foundtions of Gussin qudrture 1 Inner product vector spce Definition 1. A vector spce (or liner spce) is set V = {u, v, w,...} in which the following two opertions re defined: (A) Addition of
More information221A Lecture Notes WKB Method
A Lecture Notes WKB Method Hmilton Jcobi Eqution We strt from the Schrödinger eqution for single prticle in potentil i h t ψ x, t = [ ] h m + V x ψ x, t. We cn rewrite this eqution by using ψ x, t = e
More information4 The dynamical FRW universe
4 The dynmicl FRW universe 4.1 The Einstein equtions Einstein s equtions G µν = T µν (7) relte the expnsion rte (t) to energy distribution in the universe. On the left hnd side is the Einstein tensor which
More informationARITHMETIC OPERATIONS. The real numbers have the following properties: a b c ab ac
REVIEW OF ALGEBRA Here we review the bsic rules nd procedures of lgebr tht you need to know in order to be successful in clculus. ARITHMETIC OPERATIONS The rel numbers hve the following properties: b b
More information8 Laplace s Method and Local Limit Theorems
8 Lplce s Method nd Locl Limit Theorems 8. Fourier Anlysis in Higher DImensions Most of the theorems of Fourier nlysis tht we hve proved hve nturl generliztions to higher dimensions, nd these cn be proved
More informationCMDA 4604: Intermediate Topics in Mathematical Modeling Lecture 19: Interpolation and Quadrature
CMDA 4604: Intermedite Topics in Mthemticl Modeling Lecture 19: Interpoltion nd Qudrture In this lecture we mke brief diversion into the res of interpoltion nd qudrture. Given function f C[, b], we sy
More informationDesigning Information Devices and Systems I Discussion 8B
Lst Updted: 2018-10-17 19:40 1 EECS 16A Fll 2018 Designing Informtion Devices nd Systems I Discussion 8B 1. Why Bother With Thévenin Anywy? () Find Thévenin eqiuvlent for the circuit shown elow. 2kΩ 5V
More informationReview of Gaussian Quadrature method
Review of Gussin Qudrture method Nsser M. Asi Spring 006 compiled on Sundy Decemer 1, 017 t 09:1 PM 1 The prolem To find numericl vlue for the integrl of rel vlued function of rel vrile over specific rnge
More informationLecture 14: Quadrature
Lecture 14: Qudrture This lecture is concerned with the evlution of integrls fx)dx 1) over finite intervl [, b] The integrnd fx) is ssumed to be rel-vlues nd smooth The pproximtion of n integrl by numericl
More informationLecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)
Lecture 3 (5.3.2018) (trnslted nd slightly dpted from lecture notes by Mrtin Klzr) Riemnn integrl Now we define precisely the concept of the re, in prticulr, the re of figure U(, b, f) under the grph of
More informationReview of Calculus, cont d
Jim Lmbers MAT 460 Fll Semester 2009-10 Lecture 3 Notes These notes correspond to Section 1.1 in the text. Review of Clculus, cont d Riemnn Sums nd the Definite Integrl There re mny cses in which some
More informationExtended nonlocal games from quantum-classical games
Extended nonlocl gmes from quntum-clssicl gmes Theory Seminr incent Russo niversity of Wterloo October 17, 2016 Outline Extended nonlocl gmes nd quntum-clssicl gmes Entngled vlues nd the dimension of entnglement
More informationRiemann is the Mann! (But Lebesgue may besgue to differ.)
Riemnn is the Mnn! (But Lebesgue my besgue to differ.) Leo Livshits My 2, 2008 1 For finite intervls in R We hve seen in clss tht every continuous function f : [, b] R hs the property tht for every ɛ >
More informationAbstract inner product spaces
WEEK 4 Abstrct inner product spces Definition An inner product spce is vector spce V over the rel field R equipped with rule for multiplying vectors, such tht the product of two vectors is sclr, nd the
More informationClassical Mechanics. From Molecular to Con/nuum Physics I WS 11/12 Emiliano Ippoli/ October, 2011
Clssicl Mechnics From Moleculr to Con/nuum Physics I WS 11/12 Emilino Ippoli/ October, 2011 Wednesdy, October 12, 2011 Review Mthemtics... Physics Bsic thermodynmics Temperture, idel gs, kinetic gs theory,
More informationBest Approximation in the 2-norm
Jim Lmbers MAT 77 Fll Semester 1-11 Lecture 1 Notes These notes correspond to Sections 9. nd 9.3 in the text. Best Approximtion in the -norm Suppose tht we wish to obtin function f n (x) tht is liner combintion
More informationTerminal Velocity and Raindrop Growth
Terminl Velocity nd Rindrop Growth Terminl velocity for rindrop represents blnce in which weight mss times grvity is equl to drg force. F 3 π3 ρ L g in which is drop rdius, g is grvittionl ccelertion,
More informationAMATH 731: Applied Functional Analysis Fall Some basics of integral equations
AMATH 731: Applied Functionl Anlysis Fll 2009 1 Introduction Some bsics of integrl equtions An integrl eqution is n eqution in which the unknown function u(t) ppers under n integrl sign, e.g., K(t, s)u(s)
More informationCalculus of Variations
Clculus of Vritions Com S 477/577 Notes) Yn-Bin Ji Dec 4, 2017 1 Introduction A functionl ssigns rel number to ech function or curve) in some clss. One might sy tht functionl is function of nother function
More informationW. We shall do so one by one, starting with I 1, and we shall do it greedily, trying
Vitli covers 1 Definition. A Vitli cover of set E R is set V of closed intervls with positive length so tht, for every δ > 0 nd every x E, there is some I V with λ(i ) < δ nd x I. 2 Lemm (Vitli covering)
More information63. Representation of functions as power series Consider a power series. ( 1) n x 2n for all 1 < x < 1
3 9. SEQUENCES AND SERIES 63. Representtion of functions s power series Consider power series x 2 + x 4 x 6 + x 8 + = ( ) n x 2n It is geometric series with q = x 2 nd therefore it converges for ll q =
More informationLocal orthogonality: a multipartite principle for (quantum) correlations
Locl orthogonlity: multiprtite principle for (quntum) correltions Antonio Acín ICREA Professor t ICFO-Institut de Ciencies Fotoniques, Brcelon Cusl Structure in Quntum Theory, Bensque, Spin, June 2013
More informationODE: Existence and Uniqueness of a Solution
Mth 22 Fll 213 Jerry Kzdn ODE: Existence nd Uniqueness of Solution The Fundmentl Theorem of Clculus tells us how to solve the ordinry differentil eqution (ODE) du = f(t) dt with initil condition u() =
More informationTheory of Computation Regular Languages. (NTU EE) Regular Languages Fall / 38
Theory of Computtion Regulr Lnguges (NTU EE) Regulr Lnguges Fll 2017 1 / 38 Schemtic of Finite Automt control 0 0 1 0 1 1 1 0 Figure: Schemtic of Finite Automt A finite utomton hs finite set of control
More informationDesigning Information Devices and Systems I Spring 2018 Homework 7
EECS 16A Designing Informtion Devices nd Systems I Spring 2018 omework 7 This homework is due Mrch 12, 2018, t 23:59. Self-grdes re due Mrch 15, 2018, t 23:59. Sumission Formt Your homework sumission should
More informationChapter 5. , r = r 1 r 2 (1) µ = m 1 m 2. r, r 2 = R µ m 2. R(m 1 + m 2 ) + m 2 r = r 1. m 2. r = r 1. R + µ m 1
Tor Kjellsson Stockholm University Chpter 5 5. Strting with the following informtion: R = m r + m r m + m, r = r r we wnt to derive: µ = m m m + m r = R + µ m r, r = R µ m r 3 = µ m R + r, = µ m R r. 4
More informationSUMMER KNOWHOW STUDY AND LEARNING CENTRE
SUMMER KNOWHOW STUDY AND LEARNING CENTRE Indices & Logrithms 2 Contents Indices.2 Frctionl Indices.4 Logrithms 6 Exponentil equtions. Simplifying Surds 13 Opertions on Surds..16 Scientific Nottion..18
More informationNFAs and Regular Expressions. NFA-ε, continued. Recall. Last class: Today: Fun:
CMPU 240 Lnguge Theory nd Computtion Spring 2019 NFAs nd Regulr Expressions Lst clss: Introduced nondeterministic finite utomt with -trnsitions Tody: Prove n NFA- is no more powerful thn n NFA Introduce
More informationJim Lambers MAT 169 Fall Semester Lecture 4 Notes
Jim Lmbers MAT 169 Fll Semester 2009-10 Lecture 4 Notes These notes correspond to Section 8.2 in the text. Series Wht is Series? An infinte series, usully referred to simply s series, is n sum of ll of
More informationA REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007
A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H Thoms Shores Deprtment of Mthemtics University of Nebrsk Spring 2007 Contents Rtes of Chnge nd Derivtives 1 Dierentils 4 Are nd Integrls 5 Multivrite Clculus
More information1.2. Linear Variable Coefficient Equations. y + b "! = a y + b " Remark: The case b = 0 and a non-constant can be solved with the same idea as above.
1 12 Liner Vrible Coefficient Equtions Section Objective(s): Review: Constnt Coefficient Equtions Solving Vrible Coefficient Equtions The Integrting Fctor Method The Bernoulli Eqution 121 Review: Constnt
More informationTheory of Computation Regular Languages
Theory of Computtion Regulr Lnguges Bow-Yw Wng Acdemi Sinic Spring 2012 Bow-Yw Wng (Acdemi Sinic) Regulr Lnguges Spring 2012 1 / 38 Schemtic of Finite Automt control 0 0 1 0 1 1 1 0 Figure: Schemtic of
More informationp-adic Egyptian Fractions
p-adic Egyptin Frctions Contents 1 Introduction 1 2 Trditionl Egyptin Frctions nd Greedy Algorithm 2 3 Set-up 3 4 p-greedy Algorithm 5 5 p-egyptin Trditionl 10 6 Conclusion 1 Introduction An Egyptin frction
More informationHow do we solve these things, especially when they get complicated? How do we know when a system has a solution, and when is it unique?
XII. LINEAR ALGEBRA: SOLVING SYSTEMS OF EQUATIONS Tody we re going to tlk bout solving systems of liner equtions. These re problems tht give couple of equtions with couple of unknowns, like: 6 2 3 7 4
More information7.2 The Definite Integral
7.2 The Definite Integrl the definite integrl In the previous section, it ws found tht if function f is continuous nd nonnegtive, then the re under the grph of f on [, b] is given by F (b) F (), where
More informationUNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3
UNIFORM CONVERGENCE Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3 Suppose f n : Ω R or f n : Ω C is sequence of rel or complex functions, nd f n f s n in some sense. Furthermore,
More information5.7 Improper Integrals
458 pplictions of definite integrls 5.7 Improper Integrls In Section 5.4, we computed the work required to lift pylod of mss m from the surfce of moon of mss nd rdius R to height H bove the surfce of the
More information1. Gauss-Jacobi quadrature and Legendre polynomials. p(t)w(t)dt, p {p(x 0 ),...p(x n )} p(t)w(t)dt = w k p(x k ),
1. Guss-Jcobi qudrture nd Legendre polynomils Simpson s rule for evluting n integrl f(t)dt gives the correct nswer with error of bout O(n 4 ) (with constnt tht depends on f, in prticulr, it depends on
More informationMatrices, Moments and Quadrature, cont d
Jim Lmbers MAT 285 Summer Session 2015-16 Lecture 2 Notes Mtrices, Moments nd Qudrture, cont d We hve described how Jcobi mtrices cn be used to compute nodes nd weights for Gussin qudrture rules for generl
More informationA5682: Introduction to Cosmology Course Notes. 4. Cosmic Dynamics: The Friedmann Equation. = GM s
4. Cosmic Dynmics: The Friedmnn Eqution Reding: Chpter 4 Newtonin Derivtion of the Friedmnn Eqution Consider n isolted sphere of rdius R s nd mss M s, in uniform, isotropic expnsion (Hubble flow). The
More informationEuler, Ioachimescu and the trapezium rule. G.J.O. Jameson (Math. Gazette 96 (2012), )
Euler, Iochimescu nd the trpezium rule G.J.O. Jmeson (Mth. Gzette 96 (0), 36 4) The following results were estblished in recent Gzette rticle [, Theorems, 3, 4]. Given > 0 nd 0 < s
More informationBest Approximation. Chapter The General Case
Chpter 4 Best Approximtion 4.1 The Generl Cse In the previous chpter, we hve seen how n interpolting polynomil cn be used s n pproximtion to given function. We now wnt to find the best pproximtion to given
More informationState space systems analysis (continued) Stability. A. Definitions A system is said to be Asymptotically Stable (AS) when it satisfies
Stte spce systems nlysis (continued) Stbility A. Definitions A system is sid to be Asymptoticlly Stble (AS) when it stisfies ut () = 0, t > 0 lim xt () 0. t A system is AS if nd only if the impulse response
More informationarxiv: v1 [math.ca] 11 Jul 2011
rxiv:1107.1996v1 [mth.ca] 11 Jul 2011 Existence nd computtion of Riemnn Stieltjes integrls through Riemnn integrls July, 2011 Rodrigo López Pouso Deprtmento de Análise Mtemátic Fcultde de Mtemátics, Universidde
More informationAdvanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004
Advnced Clculus: MATH 410 Notes on Integrls nd Integrbility Professor Dvid Levermore 17 October 2004 1. Definite Integrls In this section we revisit the definite integrl tht you were introduced to when
More informationMath 554 Integration
Mth 554 Integrtion Hndout #9 4/12/96 Defn. A collection of n + 1 distinct points of the intervl [, b] P := {x 0 = < x 1 < < x i 1 < x i < < b =: x n } is clled prtition of the intervl. In this cse, we
More informationNew Expansion and Infinite Series
Interntionl Mthemticl Forum, Vol. 9, 204, no. 22, 06-073 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/0.2988/imf.204.4502 New Expnsion nd Infinite Series Diyun Zhng College of Computer Nnjing University
More informationConservation Law. Chapter Goal. 5.2 Theory
Chpter 5 Conservtion Lw 5.1 Gol Our long term gol is to understnd how mny mthemticl models re derived. We study how certin quntity chnges with time in given region (sptil domin). We first derive the very
More informationHeat flux and total heat
Het flux nd totl het John McCun Mrch 14, 2017 1 Introduction Yesterdy (if I remember correctly) Ms. Prsd sked me question bout the condition of insulted boundry for the 1D het eqution, nd (bsed on glnce
More informationp(t) dt + i 1 re it ireit dt =
Note: This mteril is contined in Kreyszig, Chpter 13. Complex integrtion We will define integrls of complex functions long curves in C. (This is bit similr to [relvlued] line integrls P dx + Q dy in R2.)
More informationReview of basic calculus
Review of bsic clculus This brief review reclls some of the most importnt concepts, definitions, nd theorems from bsic clculus. It is not intended to tech bsic clculus from scrtch. If ny of the items below
More informationBernoulli Numbers Jeff Morton
Bernoulli Numbers Jeff Morton. We re interested in the opertor e t k d k t k, which is to sy k tk. Applying this to some function f E to get e t f d k k tk d k f f + d k k tk dk f, we note tht since f
More informationEntanglement Purification
Lecture Note Entnglement Purifiction Jin-Wei Pn 6.5. Introduction( Both long distnce quntum teleporttion or glol quntum key distriution need to distriute certin supply of pirs of prticles in mximlly entngled
More information1.9 C 2 inner variations
46 CHAPTER 1. INDIRECT METHODS 1.9 C 2 inner vritions So fr, we hve restricted ttention to liner vritions. These re vritions of the form vx; ǫ = ux + ǫφx where φ is in some liner perturbtion clss P, for
More informationJack Simons, Henry Eyring Scientist and Professor Chemistry Department University of Utah
1. Born-Oppenheimer pprox.- energy surfces 2. Men-field (Hrtree-Fock) theory- orbitls 3. Pros nd cons of HF- RHF, UHF 4. Beyond HF- why? 5. First, one usully does HF-how? 6. Bsis sets nd nottions 7. MPn,
More informationNumerical Analysis: Trapezoidal and Simpson s Rule
nd Simpson s Mthemticl question we re interested in numericlly nswering How to we evlute I = f (x) dx? Clculus tells us tht if F(x) is the ntiderivtive of function f (x) on the intervl [, b], then I =
More informationNotes on length and conformal metrics
Notes on length nd conforml metrics We recll how to mesure the Eucliden distnce of n rc in the plne. Let α : [, b] R 2 be smooth (C ) rc. Tht is α(t) (x(t), y(t)) where x(t) nd y(t) re smooth rel vlued
More informationN 0 completions on partial matrices
N 0 completions on prtil mtrices C. Jordán C. Mendes Arújo Jun R. Torregros Instituto de Mtemátic Multidisciplinr / Centro de Mtemátic Universidd Politécnic de Vlenci / Universidde do Minho Cmino de Ver
More informationDuality # Second iteration for HW problem. Recall our LP example problem we have been working on, in equality form, is given below.
Dulity #. Second itertion for HW problem Recll our LP emple problem we hve been working on, in equlity form, is given below.,,,, 8 m F which, when written in slightly different form, is 8 F Recll tht we
More informationg i fφdx dx = x i i=1 is a Hilbert space. We shall, henceforth, abuse notation and write g i f(x) = f
1. Appliction of functionl nlysis to PEs 1.1. Introduction. In this section we give little introduction to prtil differentil equtions. In prticulr we consider the problem u(x) = f(x) x, u(x) = x (1) where
More informationPhysics 116C Solution of inhomogeneous ordinary differential equations using Green s functions
Physics 6C Solution of inhomogeneous ordinry differentil equtions using Green s functions Peter Young November 5, 29 Homogeneous Equtions We hve studied, especilly in long HW problem, second order liner
More informationUSA Mathematical Talent Search Round 1 Solutions Year 21 Academic Year
1/1/21. Fill in the circles in the picture t right with the digits 1-8, one digit in ech circle with no digit repeted, so tht no two circles tht re connected by line segment contin consecutive digits.
More informationMAC-solutions of the nonexistent solutions of mathematical physics
Proceedings of the 4th WSEAS Interntionl Conference on Finite Differences - Finite Elements - Finite Volumes - Boundry Elements MAC-solutions of the nonexistent solutions of mthemticl physics IGO NEYGEBAUE
More informationS. S. Dragomir. 2, we have the inequality. b a
Bull Koren Mth Soc 005 No pp 3 30 SOME COMPANIONS OF OSTROWSKI S INEQUALITY FOR ABSOLUTELY CONTINUOUS FUNCTIONS AND APPLICATIONS S S Drgomir Abstrct Compnions of Ostrowski s integrl ineulity for bsolutely
More informationNOTES ON HILBERT SPACE
NOTES ON HILBERT SPACE 1 DEFINITION: by Prof C-I Tn Deprtment of Physics Brown University A Hilbert spce is n inner product spce which, s metric spce, is complete We will not present n exhustive mthemticl
More informationThe Fundamental Theorem of Calculus. The Total Change Theorem and the Area Under a Curve.
Clculus Li Vs The Fundmentl Theorem of Clculus. The Totl Chnge Theorem nd the Are Under Curve. Recll the following fct from Clculus course. If continuous function f(x) represents the rte of chnge of F
More informationMath 270A: Numerical Linear Algebra
Mth 70A: Numericl Liner Algebr Instructor: Michel Holst Fll Qurter 014 Homework Assignment #3 Due Give to TA t lest few dys before finl if you wnt feedbck. Exercise 3.1. (The Bsic Liner Method for Liner
More informationMORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.)
MORE FUNCTION GRAPHING; OPTIMIZATION FRI, OCT 25, 203 (Lst edited October 28, 203 t :09pm.) Exercise. Let n be n rbitrry positive integer. Give n exmple of function with exctly n verticl symptotes. Give
More informationQuadratic Forms. Quadratic Forms
Qudrtic Forms Recll the Simon & Blume excerpt from n erlier lecture which sid tht the min tsk of clculus is to pproximte nonliner functions with liner functions. It s ctully more ccurte to sy tht we pproximte
More informationEnergy Bands Energy Bands and Band Gap. Phys463.nb Phenomenon
Phys463.nb 49 7 Energy Bnds Ref: textbook, Chpter 7 Q: Why re there insultors nd conductors? Q: Wht will hppen when n electron moves in crystl? In the previous chpter, we discussed free electron gses,
More information4. Calculus of Variations
4. Clculus of Vritions Introduction - Typicl Problems The clculus of vritions generlises the theory of mxim nd minim. Exmple (): Shortest distnce between two points. On given surfce (e.g. plne), nd the
More informationPhysics 201 Lab 3: Measurement of Earth s local gravitational field I Data Acquisition and Preliminary Analysis Dr. Timothy C. Black Summer I, 2018
Physics 201 Lb 3: Mesurement of Erth s locl grvittionl field I Dt Acquisition nd Preliminry Anlysis Dr. Timothy C. Blck Summer I, 2018 Theoreticl Discussion Grvity is one of the four known fundmentl forces.
More informationChapter 4 Contravariance, Covariance, and Spacetime Diagrams
Chpter 4 Contrvrince, Covrince, nd Spcetime Digrms 4. The Components of Vector in Skewed Coordintes We hve seen in Chpter 3; figure 3.9, tht in order to show inertil motion tht is consistent with the Lorentz
More informationProblem Set 3 Solutions
Chemistry 36 Dr Jen M Stndrd Problem Set 3 Solutions 1 Verify for the prticle in one-dimensionl box by explicit integrtion tht the wvefunction ψ ( x) π x is normlized To verify tht ψ ( x) is normlized,
More informationCAAM 453 NUMERICAL ANALYSIS I Examination There are four questions, plus a bonus. Do not look at them until you begin the exam.
Exmintion 1 Posted 23 October 2002. Due no lter thn 5pm on Mondy, 28 October 2002. Instructions: 1. Time limit: 3 uninterrupted hours. 2. There re four questions, plus bonus. Do not look t them until you
More informationNew data structures to reduce data size and search time
New dt structures to reduce dt size nd serch time Tsuneo Kuwbr Deprtment of Informtion Sciences, Fculty of Science, Kngw University, Hirtsuk-shi, Jpn FIT2018 1D-1, No2, pp1-4 Copyright (c)2018 by The Institute
More informationSection 5.1 #7, 10, 16, 21, 25; Section 5.2 #8, 9, 15, 20, 27, 30; Section 5.3 #4, 6, 9, 13, 16, 28, 31; Section 5.4 #7, 18, 21, 23, 25, 29, 40
Mth B Prof. Audrey Terrs HW # Solutions by Alex Eustis Due Tuesdy, Oct. 9 Section 5. #7,, 6,, 5; Section 5. #8, 9, 5,, 7, 3; Section 5.3 #4, 6, 9, 3, 6, 8, 3; Section 5.4 #7, 8,, 3, 5, 9, 4 5..7 Since
More informationMIXED MODELS (Sections ) I) In the unrestricted model, interactions are treated as in the random effects model:
1 2 MIXED MODELS (Sections 17.7 17.8) Exmple: Suppose tht in the fiber breking strength exmple, the four mchines used were the only ones of interest, but the interest ws over wide rnge of opertors, nd
More information1 2-D Second Order Equations: Separation of Variables
Chpter 12 PDEs in Rectngles 1 2-D Second Order Equtions: Seprtion of Vribles 1. A second order liner prtil differentil eqution in two vribles x nd y is A 2 u x + B 2 u 2 x y + C 2 u y + D u 2 x + E u +
More informationStrong Bisimulation. Overview. References. Actions Labeled transition system Transition semantics Simulation Bisimulation
Strong Bisimultion Overview Actions Lbeled trnsition system Trnsition semntics Simultion Bisimultion References Robin Milner, Communiction nd Concurrency Robin Milner, Communicting nd Mobil Systems 32
More informationSection 6.1 Definite Integral
Section 6.1 Definite Integrl Suppose we wnt to find the re of region tht is not so nicely shped. For exmple, consider the function shown elow. The re elow the curve nd ove the x xis cnnot e determined
More informationMATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1
MATH34032: Green s Functions, Integrl Equtions nd the Clculus of Vritions 1 Section 1 Function spces nd opertors Here we gives some brief detils nd definitions, prticulrly relting to opertors. For further
More informationf(x) dx, If one of these two conditions is not met, we call the integral improper. Our usual definition for the value for the definite integral
Improper Integrls Every time tht we hve evluted definite integrl such s f(x) dx, we hve mde two implicit ssumptions bout the integrl:. The intervl [, b] is finite, nd. f(x) is continuous on [, b]. If one
More informationarxiv: v1 [quant-ph] 27 May 2015
Clssicl Verifiction of Quntum Proofs rxiv:1505.0743v1 [qunt-ph] 7 My 015 Zhengfeng Ji Institute for Quntum Computing nd School of Computer Science, University of Wterloo, Wterloo, Ontrio, Cnd Stte Key
More informationEmission of K -, L - and M - Auger Electrons from Cu Atoms. Abstract
Emission of K -, L - nd M - uger Electrons from Cu toms Mohmed ssd bdel-rouf Physics Deprtment, Science College, UEU, l in 17551, United rb Emirtes ssd@ueu.c.e bstrct The emission of uger electrons from
More informationSuppose we want to find the area under the parabola and above the x axis, between the lines x = 2 and x = -2.
Mth 43 Section 6. Section 6.: Definite Integrl Suppose we wnt to find the re of region tht is not so nicely shped. For exmple, consider the function shown elow. The re elow the curve nd ove the x xis cnnot
More informationMAA 4212 Improper Integrals
Notes by Dvid Groisser, Copyright c 1995; revised 2002, 2009, 2014 MAA 4212 Improper Integrls The Riemnn integrl, while perfectly well-defined, is too restrictive for mny purposes; there re functions which
More informationLecture 19: Continuous Least Squares Approximation
Lecture 19: Continuous Lest Squres Approximtion 33 Continuous lest squres pproximtion We begn 31 with the problem of pproximting some f C[, b] with polynomil p P n t the discrete points x, x 1,, x m for
More informationPh 219b/CS 219b. Exercises Due: Wednesday 9 March 2016
1 Ph 219b/CS 219b Eercises Due: Wednesdy 9 Mrch 2016 3.1 Positivity of quntum reltive entropy ) Show tht ln 1 for ll positive rel, with equlity iff = 1. b) The (clssicl) reltive entropy of probbility distribution
More informationP 3 (x) = f(0) + f (0)x + f (0) 2. x 2 + f (0) . In the problem set, you are asked to show, in general, the n th order term is a n = f (n) (0)
1 Tylor polynomils In Section 3.5, we discussed how to pproximte function f(x) round point in terms of its first derivtive f (x) evluted t, tht is using the liner pproximtion f() + f ()(x ). We clled this
More informationSection 6.1 INTRO to LAPLACE TRANSFORMS
Section 6. INTRO to LAPLACE TRANSFORMS Key terms: Improper Integrl; diverge, converge A A f(t)dt lim f(t)dt Piecewise Continuous Function; jump discontinuity Function of Exponentil Order Lplce Trnsform
More informationLecture 20: Numerical Integration III
cs4: introduction to numericl nlysis /8/0 Lecture 0: Numericl Integrtion III Instructor: Professor Amos Ron Scribes: Mrk Cowlishw, Yunpeng Li, Nthnel Fillmore For the lst few lectures we hve discussed
More informationConvex Sets and Functions
B Convex Sets nd Functions Definition B1 Let L, +, ) be rel liner spce nd let C be subset of L The set C is convex if, for ll x,y C nd ll [, 1], we hve 1 )x+y C In other words, every point on the line
More informationPresentation Problems 5
Presenttion Problems 5 21-355 A For these problems, ssume ll sets re subsets of R unless otherwise specified. 1. Let P nd Q be prtitions of [, b] such tht P Q. Then U(f, P ) U(f, Q) nd L(f, P ) L(f, Q).
More informationFarey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University
U.U.D.M. Project Report 07:4 Frey Frctions Rickrd Fernström Exmensrete i mtemtik, 5 hp Hledre: Andres Strömergsson Exmintor: Jörgen Östensson Juni 07 Deprtment of Mthemtics Uppsl University Frey Frctions
More information