Supplementary Information
|
|
- Conrad Roberts
- 5 years ago
- Views:
Transcription
1 Supplementary Informaton Quantum correlatons wth no causal order Ognyan Oreshkov 2 Fabo Costa Časlav Brukner 3 Faculty of Physcs Unversty of Venna Boltzmanngasse 5 A-090 Venna Austra. 2 QuIC Ecole Polytechnque CP 65 Unversté Lbre de Bruxelles 050 Brussels Belgum. 3 Insttute of Quantum Optcs and Quantum Informaton Austran Academy of Scences Boltzmanngasse 3 A-090 Venna Austra. SUPPLEMENTARY FIGURES Supplmentary Fgure S: Nonlnear model of closed tme-lke curve. In the model of closed tme-lke curves consdered n Refs. [34 36] a chronology-respectng system A ntally n a stateσ nteracts wth a second system A whch travels back n tme accordng to a untary U. Ths model can be represented n our formalsm by an unphyscal process matrx.e. one for whch probabltes do not sum up to one.
2 2 SUPPLEMENTARY METHODS Formal dervaton of the causal nequalty A causal structure for nstance space-tme) s a set of event locatons equpped wth a partal orderng relaton that defnes the possble causal relatons between events at these locatons. If A and B are two such locatons A B reads A s n the causal past of B or equvalently B s n the causal future of A e.g. f A and B are space-tme ponts A B corresponds to A beng n the past lght cone of B). Operatonally f A B an agent at A can sgnal to an agent at B by encodng nformaton n events at A that get correlated wth events at B whch the other agent can observe. Formally sgnallng from A to B s the exstence of statstcal correlatons between a random varable at A whch can be chosen freely and another random varable at B. By defnton a freely chosen varable s one that can be correlated only wth varables n ts causal future. Note that a freely chosen varable s an dealzaton snce the result of a con toss or any other canddate for a freely chosen varable may be correlated wth ntal condtons n the past or wth space-lke separated events but these correlatons are gnored as not relevant to the varables of nterest.) The fact that the relaton s a partal order means that t satsfes the followng condtons: ) A A reflexvty); 2) f A B and B C then A Ctranstvty); and 3) f A B and B A then A B antsymmetry). The last condton says that f A and B are two dfferent locatons there can ether be sgnallng from A to B or vce versa but no sgnallng n both drectons s possble.e. there are no causal loops). If A s not n the causal past of B we wll wrte A B. Note that n a causal structure both A B and B A may hold as n the case when A and B are space-lke separated) and at least one of the two must hold for A B. We wll denote the stuaton where both A B and B A hold by A B. Snce every event specfes an event locaton we wll use the same notaton drectly for events. For nstance f X and Y are two events such that the locaton of X s n the causal past of the locaton of Y we wll wrte X Y smlarly for and ). The man events n our communcaton task are the systems enterng Alce s and Bob s laboratores whch we wll denote by A and B respectvely and the partes producng the bts a b b x and y whch we wll denote by the same letters as the correspondng bts. The fact that Alce generates the bt a and produces her guess x after the system enters her laboratory means that A a y. Smlarly we have B b b y. The assumptons behnd the causal nequalty are: Causal structure CS) The events A B a b b x y are localzed n a causal structure. Free choce FC) Each of the bts a b and b can only be correlated wth events n ts causal future ths concerns only events relevant to the task). We assume also that each of them takes values 0 or wth probablty /2. Closed laboratores CL) x can be correlated wth b only f b A and y can be correlated wth a only f a B. We want to show that these assumptons mply p succ 2 pxb b 0) 2 pya b ) 3 4 S) for the success probablty that Alce and Bob can acheve n ther task. Frst notce that assumpton FC mples that the bts a b and b are ndependent of each other CS s assumed throughout). Indeed there are two general ways n whch the three bts could be correlated two of them are correlated wth each other whle the thrd one s ndependent or each of them s correlated wth the other two. In the frst case the free-choce assumpton mples that the two correlated bts would have to be n each other s causal pasts whch s mpossble. In the second case each of the bts would have to be n the causal past of the other two whch s agan mpossble. Hence the bts are uncorrelated. Next consder the followng three possbltes that can be realzed n a causal structure CS s assumed throughout): A B B A A B. Snce these possbltes are mutually exclusve and exhaustve ther probabltes satsfy pa B ) pb A ) pa B ). From assumpton FC t follows that the bts a b and b are ndependent of whch of these possbltes s realzed. To see ths consder for nstance b. Snce B b we have that b must be ndependent of whether A takes place n the causal past of B or not.e. pa B b ) pa B ). Smlarly b must be ndependent of whether A takes place n the larger regon whch s a complement of the causal future of B whch mples pb A b ) pb A ). But pb A b ) pa B b ) pa B b ) pa B ) pa B b ) whle pb A ) pa B ) pa B ) whch mples pa B b ) pa B ). Fnally snce pa B b ) pa B b ) pb A b ) pa B ) pa B ) pb A b ) pa B ) pa B ) pb A ) we have pb A b ) pb A ). An analogous argument shows that a and b are also ndependent of the causal relaton between A and B.
3 3 Usng the above the success probablty can be wrtten p succ 2 pxb b 0) 2 pya b ) 2 pxb b 0; A B )pa B ) 2 pxb b 0; B A )pb A ) 2 pxb b 0; A B )pa B ) 2 pya b ; A B )pa B ) 2 pya b ; B A )pb A ) 2 pya b ; A B )pa B ) 2 pxb b 0; A B ) ) 2 pya b ; A B ) pa B ) 2 pxb b 0; B A ) ) 2 pya b ; B A ) pb A ) 2 pxb b 0; A B ) ) 2 pya b ; A B ) pa B ). S2) If A B whch mples B A ) from the transtvty of partal order t follows that A b and thus b A ). From assumpton CL x can only be correlated wth b f b s n the causal past of A thus pb x; A B ) pb A B ) 2 [the last equalty follows from the ndependence of b from the causal relatons between A and B together wth assumpton FC]. Usng also that b and b are ndependent we thus obtan pxb b 0; A B ) pb0; x0 b 0; A B ) pb x b 0; A B ) pb0 x0; b 0; A B )px0 b 0; A B ) pb x; b 0; A B )px b 0; A B ) 2 px0 b 0; A B ) 2 px b 0; A B ) 2. If B A whch mples A B ) by an analogous argument we obtan pya b ; B A ) 2. Fnally f A B we have both pya b ; A B ) 2 and pxb b 0; A B ) 2. Substtutng ths n Eq. S2) we obtan p succ 4 ) 2 pya b ; A B ) pa B ) 2 pxb b 0; B A ) ) pb A ) 4 4 ) pa B ) pa B ) 3 4 pb A ) 3 4 pa B ) 3 4. S3) Ths completes the proof. Characterzaton of process matrces Here we derve necessary and suffcent condtons for a matrx to satsfy 0 [non-negatve probabltes] S4) and Tr [ M A A 2 M B B 2 )] M A A 2 M B B 2 0 Tr 2 M A A 2 A Tr 2 M B B 2 B S5) [probabltes sum up to ] n terms of an expanson of the matrx n a Hlbert-Schmdt bass. A Hlbert-Schmdt bass oflh X ) s gven by a set of matrces {σµ} X d2 X µ0 wthσx 0 X Trσµσ X ν X d X δ µν and Trσ X 0 for... dx 2. A general element oflh A H A 2 H B H B 2 ) can be expressed as w µνλγ σ A µσ A 2 νσ B λ σb 2 γ w µνλγ C S6) µνλγ we omt tensor products and dentty matrces whenever there s no rsk of confuson). Snce a process matrx has to be Hermtan we consder only the cases w µνλγ R. S7)
4 We wll refer to terms of the formσ A rest ) as of the type A terms such asσ A σ A 2 rest ) as of the type A A 2 and so on. The propertes of a process matrx can be analysed wth respect to the terms t contans. For example terms of the type A B produce non-sgnallng correlatons between the measurements terms such as A 2 B correlate Alce s outputs wth Bob s nputs yeldng sgnallng from Alce to Bob etc. as llustrated n Fg. 3. Note that not all terms are compatble wth the condton S5). We wll prove that a matrx W satsfes condton S5) f and only f t only contans the terms lsted n Fg. 3. The CJ matrx of a local operaton can be smlarly wrtten M X X 2 µν r µν σ X µσ X 2 ν r µν R. The condton Tr X2 M X X 2 X s equvalent to the requrement r 00 d X2 r 0 0 for >0. Thus CJ matrces correspondng to CPTP maps have the form M X X 2 d X2 a σ X 2 t σ X σ X 2 S8) >0 a t R. Let us consder frst the case of a sngle party say Alce. Snce the set of matrces M A A 2 0 s a substantal set condton S5) can be equvalently mposed on arbtrary matrces of the form S8) and for a sngle party t can be rewrtten as Tr d A2 WA A 2 a σ A 2 t σ A σ A 2 >0 a t R. Usng an expanson of the process matrx n the same bass n a smlar way W A A 2 µν w µν σ A µσ A 2 ν w µν R the above condton becomes d A w 00 w 0 a w t >0 >0 a t R and one obtans w 00 d A w 0 w 0 for >0. Thus the most general process matrx observed by a sngle party has the form W A A 2 d A >0 >0 >0 v R W A A 2 0 whch can be recognzed as a state. Ths result that all probabltes a sngle agent can observe are descrbed by quantum states s an extenson of Gleason s theorem from POVMs [52 53] to CP maps note that here the lnear structure of quantum operatons s assumed whle n Gleason s theorem for POVMs t s derved from dfferent hypotheses. However by a smlar argument one could derve lnearty for CP maps too). Let us now consder a bpartte process matrx µνλγ w µνλγ σ A µσ A 2 νσ B λ σb 2 γ w µνλγ R. We have to mpose S5) for arbtrary matrces M A A 2 M B B 2 of the form S8). Frst f we fx M B B 2 B B 2 we obtan v σ A w 0000 w 000 a w 00 t >0 a t R whch mposes w 0000 and w 000 w 00 0 for >0. Smlarly by fxng M A A 2 A A2 d A2 we can derve w 000 w 00 0 for >0. Fnally mposng S5) for arbtrary M A A 2 a σ A 2 t σ A σ A 2 d A2 M B B 2 d B2 >0 k>0 b k σ B 2 k >0 >0 d B2 s kl σ B kl>0 k σb 2 l 4 S9)
5 5 we obtan w 00k a b k w 0kl a s kl k>0 kl>0 w 0k t b k w kl t s kl 0 k>0 kl>0 a t b k s kl R from whch we conclude that the most general matrx that satsfes S5) has the form σ B A σ A B σ A B) σ B A : c σ A σ B 2 d k σ A σ B σ B 2 k >0 >0 k>0 σ A B : e σ A 2 σ B σ A B : v σ A >0 >0 k>0 x σ B where c d k e f k g v x R. f k σ A σ A 2 σ B k >0 g σ A σ B Ths form together wth the condton 0 completely characterzes the most general bpartte process matrx. Terms not appearng n process matrces The not-allowed terms are lsted n Fg. 4 along wth possble nterpretatons. Partcularly nterestng are the cases nvolvng terms of the type A A 2. These would correlate Alce s output wth her nput and not gve unt probabltes for some CPTP maps that she can choose to perform. Ths knd of correlatons resemble a backward n tme transmsson of nformaton: one can magne that they can be generated by a quantum channel n the nverse order from the output A 2 to the nput A. It s worth notng that a recently proposed model of closed tme-lke curves [34 36] can be expressed precsely n ths way. Usng our termnology such a model consders an agent recevng two quantum systems n her laboratory: a chronology-respectng system A and a second system A whch after leavng the laboratory s sent back n tme to the laboratory s entrance see Supplementary Fg. S). Ths can be descrbed by the process matrx W A A A 2A 2 σ A A 2 U φ φ A A 2U ) whereσ A s the state of the chronology-respectng system when t enters the laboratory and U φ φ A A 2U ) s a process matrx correspondng to a untary U from A 2 to A descrbng the evoluton back n tme of the chronology-volatng system. The labels A A represent the two systems enterng the laboratory whle A 2 A 2 represent the systems gong out. Note that here the two systems belong to the same laboratory and they can undergo any ont operaton.) In ths model probabltes have to be renormalzed n order to sum up to one whch ntroduces a non-lnearty that volates our orgnal assumptons n partcular as opposed to quantum mechancs probabltes are contextual n ths model snce t s necessary to specfy the events that dd not occur n order to perform the renormalzaton step). The same can be sad for Deutsch s model of closed tme-lke curves [33] whch s also non-lnear although t uses a dfferent mechansm to obtan well-defned probabltes) and thus volates our premse that ordnary quantum mechancs holds locally n each laboratory. Casual order n the classcal lmt Let us now show that n the classcal lmt all correlatons are causally ordered. Classcal operatons can be descrbed by transton matrces M k) Pk ) where Pk ) s the condtonal probablty that the measurement outcome s observed and the classcal output state k s prepared gven that the nput state s. They can be expressed n the quantum formalsm as CP maps dagonal n a fxed ponter ) bass and the correspondng CJ matrces are M k M k) A k k A 2. In order to express arbtrary bpartte probabltes of classcal operatons t s suffcent to consder process matrces of the standard form σ B A σ A B) S0)
6 6 whereσ B A andσ A B are dagonal n the ponter bass. Probabltes are stll gven by P ) [ )] M A MB Tr W A A 2 B B 2 M A A 2 M B B 2. S) We wll show that any such dagonal process matrx can be wrtten n the form ρ A A 2 B ρ A B B 2 ) S2) whereρ A A 2 B andρ A B B 2 are postve semdefnte matrces. Ths s suffcent to conclude that s causally separable. Indeed f could be wrtten n the form S2) we know thatρ A A 2 B would not contan Hlbert-Schmdt terms of the types A A 2 or A 2 whch are not allowed n a process matrx) snce by assumpton these terms are not part of. Therefore the matrx W B A ρa A 2 B Trρ A A 2 B d A2 d B2 S3) whch s postve semdefnte has trace d A2 d B2 and contans only terms of the allowed types would be a vald process matrx wth no sgnallng from B to A. Smlarly W A B ρa B B 2 Trρ A B B 2 d A2 d B2 S4) would be a vald process matrx wth no sgnallng from A to B. The whole process matrx could then be wrtten n the causally separable form qw B A q)w A B S5) where q TrρA A 2 B d A d A2 d B d B2. S6) Note that 0 q snceρ A A 2 B andρ A B B 2 n Eq. S2) are postve semdefnte and Tr d A2 d B2. To prove Eq. S2) we wll constructρ A A 2 B andρ A B B 2 from the general form n Eq. S0). Let the mnmum egenvalue ofσ B A σ A B be m. Snce s postve semdefnte andσ B A σ A B s traceless we have m [ 0]. Defne the matrces κ A A 2 B mσ B A κ A B B 2 σ A B. S7) S8) The full process matrx can then be wrtten m)κ A A 2 B κ A B B 2 ) S9) whereκ A A 2 B κ A B B 2 s postve semdefnte. We are now gong to modfyκ A A 2 B andκ A B B 2 by addng matrces of the formκ A B toκ A A 2 B and subtractng them from κ A B B 2 therefore leavngκ A A 2 B κ A B B 2 unchanged) untl we transform bothκ A A 2 B andκ A B B 2 n Eq. S9) nto postve semdefnte matrces. Denote the ponter bass of system X by X... d X XA A 2 B B 2. All matrces we consder are dagonal n the bass{ A A 2 k B l B 2 }. Let m k l) denote the egenvalues ofκ A A 2 B correspondng to the egenvectors A A 2 k B l B 2 and let m 2 k l) be the egenvalues ofκ A B B 2 correspondng to the same vectors. For every and k we do the followng. Defne m k)mn l m k l) S20) m 2 k)mn l m 2 k l). S2)
7 Note that m k l) do not depend on l snceκ A A 2 B acts trvally on B 2 and smlarly m 2 k l) do not depend on. Ths means that for gven and k the mnmum of the egenvalues ofκ A A 2 B κ A B B 2 for all egenvectors of the type A A 2 k B l B 2 s equal to m k) m 2 k). But by constructonκ A A 2 B κ A B B 2 s postve semdefnte so we have 7 m k) m 2 k) 0. S22) Now f both m k) and m 2 k)} are non-negatve we wll not modfyκ A A 2 B andκ A B B 2. However f one of these numbers s negatve say m k)<0 both cannot be negatve due to S22)) we wll add the term m k) A A 2 k k B B 2 toκ A A 2 B and subtract the same term fromκ A B B 2. After ths step the modfedκ A A 2 B s such that the egenvalues m k l) have been changed to m k l) m k) m k) m k)0.e.κ A A 2 B does not have any more negatve egenvalues m k l) for the gven and k. The same holds forκ A B B 2 snce the egenvalues m 2 k l) change to m 2 k l) m k) m 2 k) m k) 0. In other words the egenvalues of the modfedκ A A 2 B andκ A B B 2 satsfy m k l) m 2 k l) 0 l. S23) By performng ths procedure for all and k we eventually transformκ A A 2 B andκ A B B 2 nto matrces all of whose egenvalues are non-negatve. Denote the resultant postve semdefnte matrces by κ A A 2 B and κ A B B 2. We can now add the term m) n Eq. S9) for nstance to κ A A 2 B recall that m [ 0]) defnng the postve semdefnte matrces ρ A A 2 B m) κ A A 2 B ρ A B B 2 κ A B B 2. S24) S25) We thus arrve at the desred form S2) whch mples S5) as argued above. SUPPLEMENTARY REFERENCES 52. Gleason A. M. Measures on the closed subspaces of a Hlbert space. J. Math. Mech ). 53. Caves C. M. Fuchs C. A. Manne K. K. & Renes J. M. Gleason-Type Dervatons of the Quantum Probablty Rule for Generalzed Measurements. Found. Phys ).
arxiv: v3 [quant-ph] 14 Feb 2013
Quantum correlatons wth no causal order Ognyan Oreshkov,, Fabo Costa, Časlav Brukner,3 Faculty of Physcs, Unversty of Venna, Boltzmanngasse 5, A-090 Venna, Austra. QuIC, Ecole Polytechnque, CP 65, Unversté
More informationThe Order Relation and Trace Inequalities for. Hermitian Operators
Internatonal Mathematcal Forum, Vol 3, 08, no, 507-57 HIKARI Ltd, wwwm-hkarcom https://doorg/0988/mf088055 The Order Relaton and Trace Inequaltes for Hermtan Operators Y Huang School of Informaton Scence
More information763622S ADVANCED QUANTUM MECHANICS Solution Set 1 Spring c n a n. c n 2 = 1.
7636S ADVANCED QUANTUM MECHANICS Soluton Set 1 Sprng 013 1 Warm-up Show that the egenvalues of a Hermtan operator  are real and that the egenkets correspondng to dfferent egenvalues are orthogonal (b)
More informationC/CS/Phy191 Problem Set 3 Solutions Out: Oct 1, 2008., where ( 00. ), so the overall state of the system is ) ( ( ( ( 00 ± 11 ), Φ ± = 1
C/CS/Phy9 Problem Set 3 Solutons Out: Oct, 8 Suppose you have two qubts n some arbtrary entangled state ψ You apply the teleportaton protocol to each of the qubts separately What s the resultng state obtaned
More informationLectures - Week 4 Matrix norms, Conditioning, Vector Spaces, Linear Independence, Spanning sets and Basis, Null space and Range of a Matrix
Lectures - Week 4 Matrx norms, Condtonng, Vector Spaces, Lnear Independence, Spannng sets and Bass, Null space and Range of a Matrx Matrx Norms Now we turn to assocatng a number to each matrx. We could
More informationPh 219a/CS 219a. Exercises Due: Wednesday 23 October 2013
1 Ph 219a/CS 219a Exercses Due: Wednesday 23 October 2013 1.1 How far apart are two quantum states? Consder two quantum states descrbed by densty operators ρ and ρ n an N-dmensonal Hlbert space, and consder
More informationExplicit constructions of all separable two-qubits density matrices and related problems for three-qubits systems
Explct constructons of all separable two-qubts densty matrces and related problems for three-qubts systems Y. en-ryeh and. Mann Physcs Department, Technon-Israel Insttute of Technology, Hafa 2000, Israel
More informationSolution 1 for USTC class Physics of Quantum Information
Soluton 1 for 017 018 USTC class Physcs of Quantum Informaton Shua Zhao, Xn-Yu Xu and Ka Chen Natonal Laboratory for Physcal Scences at Mcroscale and Department of Modern Physcs, Unversty of Scence and
More informationPh 219a/CS 219a. Exercises Due: Wednesday 12 November 2008
1 Ph 19a/CS 19a Exercses Due: Wednesday 1 November 008.1 Whch state dd Alce make? Consder a game n whch Alce prepares one of two possble states: ether ρ 1 wth a pror probablty p 1, or ρ wth a pror probablty
More informationarxiv:quant-ph/ Jul 2002
Lnear optcs mplementaton of general two-photon proectve measurement Andrze Grudka* and Anton Wóck** Faculty of Physcs, Adam Mckewcz Unversty, arxv:quant-ph/ 9 Jul PXOWRZVNDR]QDRODQG Abstract We wll present
More informationThe Multiple Classical Linear Regression Model (CLRM): Specification and Assumptions. 1. Introduction
ECONOMICS 5* -- NOTE (Summary) ECON 5* -- NOTE The Multple Classcal Lnear Regresson Model (CLRM): Specfcaton and Assumptons. Introducton CLRM stands for the Classcal Lnear Regresson Model. The CLRM s also
More informationSolution 1 for USTC class Physics of Quantum Information
Soluton 1 for 018 019 USTC class Physcs of Quantum Informaton Shua Zhao, Xn-Yu Xu and Ka Chen Natonal Laboratory for Physcal Scences at Mcroscale and Department of Modern Physcs, Unversty of Scence and
More informationChapter 5. Solution of System of Linear Equations. Module No. 6. Solution of Inconsistent and Ill Conditioned Systems
Numercal Analyss by Dr. Anta Pal Assstant Professor Department of Mathematcs Natonal Insttute of Technology Durgapur Durgapur-713209 emal: anta.bue@gmal.com 1 . Chapter 5 Soluton of System of Lnear Equatons
More informationQuantum Mechanics for Scientists and Engineers. David Miller
Quantum Mechancs for Scentsts and Engneers Davd Mller Types of lnear operators Types of lnear operators Blnear expanson of operators Blnear expanson of lnear operators We know that we can expand functons
More informationDensity matrix. c α (t)φ α (q)
Densty matrx Note: ths s supplementary materal. I strongly recommend that you read t for your own nterest. I beleve t wll help wth understandng the quantum ensembles, but t s not necessary to know t n
More information3.1 Expectation of Functions of Several Random Variables. )' be a k-dimensional discrete or continuous random vector, with joint PMF p (, E X E X1 E X
Statstcs 1: Probablty Theory II 37 3 EPECTATION OF SEVERAL RANDOM VARIABLES As n Probablty Theory I, the nterest n most stuatons les not on the actual dstrbuton of a random vector, but rather on a number
More informationGrover s Algorithm + Quantum Zeno Effect + Vaidman
Grover s Algorthm + Quantum Zeno Effect + Vadman CS 294-2 Bomb 10/12/04 Fall 2004 Lecture 11 Grover s algorthm Recall that Grover s algorthm for searchng over a space of sze wors as follows: consder the
More informationPHYS 215C: Quantum Mechanics (Spring 2017) Problem Set 3 Solutions
PHYS 5C: Quantum Mechancs Sprng 07 Problem Set 3 Solutons Prof. Matthew Fsher Solutons prepared by: Chatanya Murthy and James Sully June 4, 07 Please let me know f you encounter any typos n the solutons.
More informationRandom Walks on Digraphs
Random Walks on Dgraphs J. J. P. Veerman October 23, 27 Introducton Let V = {, n} be a vertex set and S a non-negatve row-stochastc matrx (.e. rows sum to ). V and S defne a dgraph G = G(V, S) and a drected
More informationThe Feynman path integral
The Feynman path ntegral Aprl 3, 205 Hesenberg and Schrödnger pctures The Schrödnger wave functon places the tme dependence of a physcal system n the state, ψ, t, where the state s a vector n Hlbert space
More information2E Pattern Recognition Solutions to Introduction to Pattern Recognition, Chapter 2: Bayesian pattern classification
E395 - Pattern Recognton Solutons to Introducton to Pattern Recognton, Chapter : Bayesan pattern classfcaton Preface Ths document s a soluton manual for selected exercses from Introducton to Pattern Recognton
More informationON MECHANICS WITH VARIABLE NONCOMMUTATIVITY
ON MECHANICS WITH VARIABLE NONCOMMUTATIVITY CIPRIAN ACATRINEI Natonal Insttute of Nuclear Physcs and Engneerng P.O. Box MG-6, 07725-Bucharest, Romana E-mal: acatrne@theory.npne.ro. Receved March 6, 2008
More informationStructure and Drive Paul A. Jensen Copyright July 20, 2003
Structure and Drve Paul A. Jensen Copyrght July 20, 2003 A system s made up of several operatons wth flow passng between them. The structure of the system descrbes the flow paths from nputs to outputs.
More informationSolutions to exam in SF1811 Optimization, Jan 14, 2015
Solutons to exam n SF8 Optmzaton, Jan 4, 25 3 3 O------O -4 \ / \ / The network: \/ where all lnks go from left to rght. /\ / \ / \ 6 O------O -5 2 4.(a) Let x = ( x 3, x 4, x 23, x 24 ) T, where the varable
More informationTransfer Functions. Convenient representation of a linear, dynamic model. A transfer function (TF) relates one input and one output: ( ) system
Transfer Functons Convenent representaton of a lnear, dynamc model. A transfer functon (TF) relates one nput and one output: x t X s y t system Y s The followng termnology s used: x y nput output forcng
More informationAffine transformations and convexity
Affne transformatons and convexty The purpose of ths document s to prove some basc propertes of affne transformatons nvolvng convex sets. Here are a few onlne references for background nformaton: http://math.ucr.edu/
More informationj) = 1 (note sigma notation) ii. Continuous random variable (e.g. Normal distribution) 1. density function: f ( x) 0 and f ( x) dx = 1
Random varables Measure of central tendences and varablty (means and varances) Jont densty functons and ndependence Measures of assocaton (covarance and correlaton) Interestng result Condtonal dstrbutons
More informatione - c o m p a n i o n
OPERATIONS RESEARCH http://dxdoorg/0287/opre007ec e - c o m p a n o n ONLY AVAILABLE IN ELECTRONIC FORM 202 INFORMS Electronc Companon Generalzed Quantty Competton for Multple Products and Loss of Effcency
More informationMATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS
MATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS These are nformal notes whch cover some of the materal whch s not n the course book. The man purpose s to gve a number of nontrval examples
More informationBOUNDEDNESS OF THE RIESZ TRANSFORM WITH MATRIX A 2 WEIGHTS
BOUNDEDNESS OF THE IESZ TANSFOM WITH MATIX A WEIGHTS Introducton Let L = L ( n, be the functon space wth norm (ˆ f L = f(x C dx d < For a d d matrx valued functon W : wth W (x postve sem-defnte for all
More informationSalmon: Lectures on partial differential equations. Consider the general linear, second-order PDE in the form. ,x 2
Salmon: Lectures on partal dfferental equatons 5. Classfcaton of second-order equatons There are general methods for classfyng hgher-order partal dfferental equatons. One s very general (applyng even to
More information7. Products and matrix elements
7. Products and matrx elements 1 7. Products and matrx elements Based on the propertes of group representatons, a number of useful results can be derved. Consder a vector space V wth an nner product ψ
More informationAPPENDIX A Some Linear Algebra
APPENDIX A Some Lnear Algebra The collecton of m, n matrces A.1 Matrces a 1,1,..., a 1,n A = a m,1,..., a m,n wth real elements a,j s denoted by R m,n. If n = 1 then A s called a column vector. Smlarly,
More informationAppendix for Causal Interaction in Factorial Experiments: Application to Conjoint Analysis
A Appendx for Causal Interacton n Factoral Experments: Applcaton to Conjont Analyss Mathematcal Appendx: Proofs of Theorems A. Lemmas Below, we descrbe all the lemmas, whch are used to prove the man theorems
More informationInner Product. Euclidean Space. Orthonormal Basis. Orthogonal
Inner Product Defnton 1 () A Eucldean space s a fnte-dmensonal vector space over the reals R, wth an nner product,. Defnton 2 (Inner Product) An nner product, on a real vector space X s a symmetrc, blnear,
More informationn α j x j = 0 j=1 has a nontrivial solution. Here A is the n k matrix whose jth column is the vector for all t j=0
MODULE 2 Topcs: Lnear ndependence, bass and dmenson We have seen that f n a set of vectors one vector s a lnear combnaton of the remanng vectors n the set then the span of the set s unchanged f that vector
More information2.3 Nilpotent endomorphisms
s a block dagonal matrx, wth A Mat dm U (C) In fact, we can assume that B = B 1 B k, wth B an ordered bass of U, and that A = [f U ] B, where f U : U U s the restrcton of f to U 40 23 Nlpotent endomorphsms
More informationU.C. Berkeley CS294: Spectral Methods and Expanders Handout 8 Luca Trevisan February 17, 2016
U.C. Berkeley CS94: Spectral Methods and Expanders Handout 8 Luca Trevsan February 7, 06 Lecture 8: Spectral Algorthms Wrap-up In whch we talk about even more generalzatons of Cheeger s nequaltes, and
More informationPhysics 5153 Classical Mechanics. Principle of Virtual Work-1
P. Guterrez 1 Introducton Physcs 5153 Classcal Mechancs Prncple of Vrtual Work The frst varatonal prncple we encounter n mechancs s the prncple of vrtual work. It establshes the equlbrum condton of a mechancal
More informationEntanglement vs Discord: Who Wins?
Entanglement vs Dscord: Who Wns? Vlad Gheorghu Department of Physcs Carnege Mellon Unversty Pttsburgh, PA 15213, U.S.A. Januray 20, 2011 Vlad Gheorghu (CMU) Entanglement vs Dscord: Who Wns? Januray 20,
More informationIntroduction to Vapor/Liquid Equilibrium, part 2. Raoult s Law:
CE304, Sprng 2004 Lecture 4 Introducton to Vapor/Lqud Equlbrum, part 2 Raoult s Law: The smplest model that allows us do VLE calculatons s obtaned when we assume that the vapor phase s an deal gas, and
More informationLecture 6/7 (February 10/12, 2014) DIRAC EQUATION. The non-relativistic Schrödinger equation was obtained by noting that the Hamiltonian 2
P470 Lecture 6/7 (February 10/1, 014) DIRAC EQUATION The non-relatvstc Schrödnger equaton was obtaned by notng that the Hamltonan H = P (1) m can be transformed nto an operator form wth the substtutons
More informationThe non-negativity of probabilities and the collapse of state
The non-negatvty of probabltes and the collapse of state Slobodan Prvanovć Insttute of Physcs, P.O. Box 57, 11080 Belgrade, Serba Abstract The dynamcal equaton, beng the combnaton of Schrödnger and Louvlle
More informationFoundations of Arithmetic
Foundatons of Arthmetc Notaton We shall denote the sum and product of numbers n the usual notaton as a 2 + a 2 + a 3 + + a = a, a 1 a 2 a 3 a = a The notaton a b means a dvdes b,.e. ac = b where c s an
More informationLecture 10 Support Vector Machines II
Lecture 10 Support Vector Machnes II 22 February 2016 Taylor B. Arnold Yale Statstcs STAT 365/665 1/28 Notes: Problem 3 s posted and due ths upcomng Frday There was an early bug n the fake-test data; fxed
More informationLinear Approximation with Regularization and Moving Least Squares
Lnear Approxmaton wth Regularzaton and Movng Least Squares Igor Grešovn May 007 Revson 4.6 (Revson : March 004). 5 4 3 0.5 3 3.5 4 Contents: Lnear Fttng...4. Weghted Least Squares n Functon Approxmaton...
More informationarxiv:quant-ph/ Feb 2000
Entanglement measures and the Hlbert-Schmdt dstance Masanao Ozawa School of Informatcs and Scences, Nagoya Unversty, Chkusa-ku, Nagoya 464-86, Japan Abstract arxv:quant-ph/236 3 Feb 2 In order to construct
More informationEPR Paradox and the Physical Meaning of an Experiment in Quantum Mechanics. Vesselin C. Noninski
EPR Paradox and the Physcal Meanng of an Experment n Quantum Mechancs Vesseln C Nonnsk vesselnnonnsk@verzonnet Abstract It s shown that there s one purely determnstc outcome when measurement s made on
More informationAdvanced Quantum Mechanics
Advanced Quantum Mechancs Rajdeep Sensarma! sensarma@theory.tfr.res.n ecture #9 QM of Relatvstc Partcles Recap of ast Class Scalar Felds and orentz nvarant actons Complex Scalar Feld and Charge conjugaton
More information5 The Rational Canonical Form
5 The Ratonal Canoncal Form Here p s a monc rreducble factor of the mnmum polynomal m T and s not necessarly of degree one Let F p denote the feld constructed earler n the course, consstng of all matrces
More informationLecture 3: Probability Distributions
Lecture 3: Probablty Dstrbutons Random Varables Let us begn by defnng a sample space as a set of outcomes from an experment. We denote ths by S. A random varable s a functon whch maps outcomes nto the
More informationThe Second Anti-Mathima on Game Theory
The Second Ant-Mathma on Game Theory Ath. Kehagas December 1 2006 1 Introducton In ths note we wll examne the noton of game equlbrum for three types of games 1. 2-player 2-acton zero-sum games 2. 2-player
More information9 Characteristic classes
THEODORE VORONOV DIFFERENTIAL GEOMETRY. Sprng 2009 [under constructon] 9 Characterstc classes 9.1 The frst Chern class of a lne bundle Consder a complex vector bundle E B of rank p. We shall construct
More informationSpectral graph theory: Applications of Courant-Fischer
Spectral graph theory: Applcatons of Courant-Fscher Steve Butler September 2006 Abstract In ths second talk we wll ntroduce the Raylegh quotent and the Courant- Fscher Theorem and gve some applcatons for
More informationDifference Equations
Dfference Equatons c Jan Vrbk 1 Bascs Suppose a sequence of numbers, say a 0,a 1,a,a 3,... s defned by a certan general relatonshp between, say, three consecutve values of the sequence, e.g. a + +3a +1
More informationAn Inequality for the trace of matrix products, using absolute values
arxv:1106.6189v2 [math-ph] 1 Sep 2011 An Inequalty for the trace of matrx products, usng absolute values Bernhard Baumgartner 1 Fakultät für Physk, Unverstät Wen Boltzmanngasse 5, A-1090 Venna, Austra
More informationConvergence of random processes
DS-GA 12 Lecture notes 6 Fall 216 Convergence of random processes 1 Introducton In these notes we study convergence of dscrete random processes. Ths allows to characterze phenomena such as the law of large
More informationHomework Notes Week 7
Homework Notes Week 7 Math 4 Sprng 4 #4 (a Complete the proof n example 5 that s an nner product (the Frobenus nner product on M n n (F In the example propertes (a and (d have already been verfed so we
More informationYong Joon Ryang. 1. Introduction Consider the multicommodity transportation problem with convex quadratic cost function. 1 2 (x x0 ) T Q(x x 0 )
Kangweon-Kyungk Math. Jour. 4 1996), No. 1, pp. 7 16 AN ITERATIVE ROW-ACTION METHOD FOR MULTICOMMODITY TRANSPORTATION PROBLEMS Yong Joon Ryang Abstract. The optmzaton problems wth quadratc constrants often
More informationStanford University CS359G: Graph Partitioning and Expanders Handout 4 Luca Trevisan January 13, 2011
Stanford Unversty CS359G: Graph Parttonng and Expanders Handout 4 Luca Trevsan January 3, 0 Lecture 4 In whch we prove the dffcult drecton of Cheeger s nequalty. As n the past lectures, consder an undrected
More informationNorms, Condition Numbers, Eigenvalues and Eigenvectors
Norms, Condton Numbers, Egenvalues and Egenvectors 1 Norms A norm s a measure of the sze of a matrx or a vector For vectors the common norms are: N a 2 = ( x 2 1/2 the Eucldean Norm (1a b 1 = =1 N x (1b
More informationELASTIC WAVE PROPAGATION IN A CONTINUOUS MEDIUM
ELASTIC WAVE PROPAGATION IN A CONTINUOUS MEDIUM An elastc wave s a deformaton of the body that travels throughout the body n all drectons. We can examne the deformaton over a perod of tme by fxng our look
More informationTHE CHVÁTAL-ERDŐS CONDITION AND 2-FACTORS WITH A SPECIFIED NUMBER OF COMPONENTS
Dscussones Mathematcae Graph Theory 27 (2007) 401 407 THE CHVÁTAL-ERDŐS CONDITION AND 2-FACTORS WITH A SPECIFIED NUMBER OF COMPONENTS Guantao Chen Department of Mathematcs and Statstcs Georga State Unversty,
More informationQuantum Mechanics I - Session 4
Quantum Mechancs I - Sesson 4 Aprl 3, 05 Contents Operators Change of Bass 4 3 Egenvectors and Egenvalues 5 3. Denton....................................... 5 3. Rotaton n D....................................
More informationMore metrics on cartesian products
More metrcs on cartesan products If (X, d ) are metrc spaces for 1 n, then n Secton II4 of the lecture notes we defned three metrcs on X whose underlyng topologes are the product topology The purpose of
More informationPhys304 Quantum Physics II (2005) Quantum Mechanics Summary. 2. This kind of behaviour can be described in the mathematical language of vectors:
MACQUARIE UNIVERSITY Department of Physcs Dvson of ICS Phys304 Quantum Physcs II (2005) Quantum Mechancs Summary The followng defntons and concepts set up the basc mathematcal language used n quantum mechancs,
More informationComposite Hypotheses testing
Composte ypotheses testng In many hypothess testng problems there are many possble dstrbutons that can occur under each of the hypotheses. The output of the source s a set of parameters (ponts n a parameter
More informationThe lower and upper bounds on Perron root of nonnegative irreducible matrices
Journal of Computatonal Appled Mathematcs 217 (2008) 259 267 wwwelsevercom/locate/cam The lower upper bounds on Perron root of nonnegatve rreducble matrces Guang-Xn Huang a,, Feng Yn b,keguo a a College
More information8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS
SECTION 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS 493 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS All the vector spaces you have studed thus far n the text are real vector spaces because the scalars
More informationON A DETERMINATION OF THE INITIAL FUNCTIONS FROM THE OBSERVED VALUES OF THE BOUNDARY FUNCTIONS FOR THE SECOND-ORDER HYPERBOLIC EQUATION
Advanced Mathematcal Models & Applcatons Vol.3, No.3, 2018, pp.215-222 ON A DETERMINATION OF THE INITIAL FUNCTIONS FROM THE OBSERVED VALUES OF THE BOUNDARY FUNCTIONS FOR THE SECOND-ORDER HYPERBOLIC EUATION
More informationGraph Reconstruction by Permutations
Graph Reconstructon by Permutatons Perre Ille and Wllam Kocay* Insttut de Mathémathques de Lumny CNRS UMR 6206 163 avenue de Lumny, Case 907 13288 Marselle Cedex 9, France e-mal: lle@ml.unv-mrs.fr Computer
More informationPerron Vectors of an Irreducible Nonnegative Interval Matrix
Perron Vectors of an Irreducble Nonnegatve Interval Matrx Jr Rohn August 4 2005 Abstract As s well known an rreducble nonnegatve matrx possesses a unquely determned Perron vector. As the man result of
More informationLecture 12: Discrete Laplacian
Lecture 12: Dscrete Laplacan Scrbe: Tanye Lu Our goal s to come up wth a dscrete verson of Laplacan operator for trangulated surfaces, so that we can use t n practce to solve related problems We are mostly
More information1 Matrix representations of canonical matrices
1 Matrx representatons of canoncal matrces 2-d rotaton around the orgn: ( ) cos θ sn θ R 0 = sn θ cos θ 3-d rotaton around the x-axs: R x = 1 0 0 0 cos θ sn θ 0 sn θ cos θ 3-d rotaton around the y-axs:
More informationEcon107 Applied Econometrics Topic 3: Classical Model (Studenmund, Chapter 4)
I. Classcal Assumptons Econ7 Appled Econometrcs Topc 3: Classcal Model (Studenmund, Chapter 4) We have defned OLS and studed some algebrac propertes of OLS. In ths topc we wll study statstcal propertes
More informationCSCE 790S Background Results
CSCE 790S Background Results Stephen A. Fenner September 8, 011 Abstract These results are background to the course CSCE 790S/CSCE 790B, Quantum Computaton and Informaton (Sprng 007 and Fall 011). Each
More informationPHYS 705: Classical Mechanics. Calculus of Variations II
1 PHYS 705: Classcal Mechancs Calculus of Varatons II 2 Calculus of Varatons: Generalzaton (no constrant yet) Suppose now that F depends on several dependent varables : We need to fnd such that has a statonary
More informationQuantum and Classical Information Theory with Disentropy
Quantum and Classcal Informaton Theory wth Dsentropy R V Ramos rubensramos@ufcbr Lab of Quantum Informaton Technology, Department of Telenformatc Engneerng Federal Unversty of Ceara - DETI/UFC, CP 6007
More informationU.C. Berkeley CS294: Beyond Worst-Case Analysis Luca Trevisan September 5, 2017
U.C. Berkeley CS94: Beyond Worst-Case Analyss Handout 4s Luca Trevsan September 5, 07 Summary of Lecture 4 In whch we ntroduce semdefnte programmng and apply t to Max Cut. Semdefnte Programmng Recall that
More informationFeb 14: Spatial analysis of data fields
Feb 4: Spatal analyss of data felds Mappng rregularly sampled data onto a regular grd Many analyss technques for geophyscal data requre the data be located at regular ntervals n space and/or tme. hs s
More informationψ = i c i u i c i a i b i u i = i b 0 0 b 0 0
Quantum Mechancs, Advanced Course FMFN/FYSN7 Solutons Sheet Soluton. Lets denote the two operators by  and ˆB, the set of egenstates by { u }, and the egenvalues as  u = a u and ˆB u = b u. Snce the
More informationPHYS 705: Classical Mechanics. Canonical Transformation II
1 PHYS 705: Classcal Mechancs Canoncal Transformaton II Example: Harmonc Oscllator f ( x) x m 0 x U( x) x mx x LT U m Defne or L p p mx x x m mx x H px L px p m p x m m H p 1 x m p m 1 m H x p m x m m
More information10-801: Advanced Optimization and Randomized Methods Lecture 2: Convex functions (Jan 15, 2014)
0-80: Advanced Optmzaton and Randomzed Methods Lecture : Convex functons (Jan 5, 04) Lecturer: Suvrt Sra Addr: Carnege Mellon Unversty, Sprng 04 Scrbes: Avnava Dubey, Ahmed Hefny Dsclamer: These notes
More informationa b a In case b 0, a being divisible by b is the same as to say that
Secton 6.2 Dvsblty among the ntegers An nteger a ε s dvsble by b ε f there s an nteger c ε such that a = bc. Note that s dvsble by any nteger b, snce = b. On the other hand, a s dvsble by only f a = :
More informationTHEOREMS OF QUANTUM MECHANICS
THEOREMS OF QUANTUM MECHANICS In order to develop methods to treat many-electron systems (atoms & molecules), many of the theorems of quantum mechancs are useful. Useful Notaton The matrx element A mn
More informationMMA and GCMMA two methods for nonlinear optimization
MMA and GCMMA two methods for nonlnear optmzaton Krster Svanberg Optmzaton and Systems Theory, KTH, Stockholm, Sweden. krlle@math.kth.se Ths note descrbes the algorthms used n the author s 2007 mplementatons
More information20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The first idea is connectedness.
20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The frst dea s connectedness. Essentally, we want to say that a space cannot be decomposed
More informationarxiv:quant-ph/ v2 5 Oct 2005
Probablstc clonng wth supplementary nformaton arxv:quant-ph/0505207 v2 5 Oct 2005 Koj Azuma, 1, Junch Shmamura, 1,2, 3 Masato Koash, 1,2, 3 and Nobuyuk Imoto 1,2, 3 1 Dvson of Materals Physcs, Department
More informationOn the symmetric character of the thermal conductivity tensor
On the symmetrc character of the thermal conductvty tensor Al R. Hadjesfandar Department of Mechancal and Aerospace Engneerng Unversty at Buffalo, State Unversty of New York Buffalo, NY 146 USA ah@buffalo.edu
More informationExercises of Chapter 2
Exercses of Chapter Chuang-Cheh Ln Department of Computer Scence and Informaton Engneerng, Natonal Chung Cheng Unversty, Mng-Hsung, Chay 61, Tawan. Exercse.6. Suppose that we ndependently roll two standard
More informationfind (x): given element x, return the canonical element of the set containing x;
COS 43 Sprng, 009 Dsjont Set Unon Problem: Mantan a collecton of dsjont sets. Two operatons: fnd the set contanng a gven element; unte two sets nto one (destructvely). Approach: Canoncal element method:
More information( ) 2 ( ) ( ) Problem Set 4 Suggested Solutions. Problem 1
Problem Set 4 Suggested Solutons Problem (A) The market demand functon s the soluton to the followng utlty-maxmzaton roblem (UMP): The Lagrangean: ( x, x, x ) = + max U x, x, x x x x st.. x + x + x y x,
More informationCanonical transformations
Canoncal transformatons November 23, 2014 Recall that we have defned a symplectc transformaton to be any lnear transformaton M A B leavng the symplectc form nvarant, Ω AB M A CM B DΩ CD Coordnate transformatons,
More informationRefined Coding Bounds for Network Error Correction
Refned Codng Bounds for Network Error Correcton Shenghao Yang Department of Informaton Engneerng The Chnese Unversty of Hong Kong Shatn, N.T., Hong Kong shyang5@e.cuhk.edu.hk Raymond W. Yeung Department
More information= = = (a) Use the MATLAB command rref to solve the system. (b) Let A be the coefficient matrix and B be the right-hand side of the system.
Chapter Matlab Exercses Chapter Matlab Exercses. Consder the lnear system of Example n Secton.. x x x y z y y z (a) Use the MATLAB command rref to solve the system. (b) Let A be the coeffcent matrx and
More informationCHAPTER 6. LAGRANGE S EQUATIONS (Analytical Mechanics)
CHAPTER 6 LAGRANGE S EQUATIONS (Analytcal Mechancs) 1 Ex. 1: Consder a partcle movng on a fxed horzontal surface. r P Let, be the poston and F be the total force on the partcle. The FBD s: -mgk F 1 x O
More informationWeek 2. This week, we covered operations on sets and cardinality.
Week 2 Ths week, we covered operatons on sets and cardnalty. Defnton 0.1 (Correspondence). A correspondence between two sets A and B s a set S contaned n A B = {(a, b) a A, b B}. A correspondence from
More informationEdge Isoperimetric Inequalities
November 7, 2005 Ross M. Rchardson Edge Isopermetrc Inequaltes 1 Four Questons Recall that n the last lecture we looked at the problem of sopermetrc nequaltes n the hypercube, Q n. Our noton of boundary
More informationNP-Completeness : Proofs
NP-Completeness : Proofs Proof Methods A method to show a decson problem Π NP-complete s as follows. (1) Show Π NP. (2) Choose an NP-complete problem Π. (3) Show Π Π. A method to show an optmzaton problem
More informationTime-Varying Systems and Computations Lecture 6
Tme-Varyng Systems and Computatons Lecture 6 Klaus Depold 14. Januar 2014 The Kalman Flter The Kalman estmaton flter attempts to estmate the actual state of an unknown dscrete dynamcal system, gven nosy
More information