arxiv: v3 [quantph] 5 Apr 2019


 Blanche Gilbert
 4 days ago
 Views:
Transcription
1 Quantifying entanglement of maximal imension in bipartite mixe states arxiv: v3 [quantph] 5 Apr 09 Gael Sentís, Christopher Eltschka, Otfrie Gühne, 3 Marcus Huber, 4,5,6 an Jens Siewert 7,8 Departamento e Física Teórica e Historia e la Ciencia, Universia el País Vasco UPV/EHU, E Bilbao, Spain Institut für Theoretische Physik, Universität Regensburg, D Regensburg, Germany 3 NaturwissenschaftlichTechnische Fakultät, Universität Siegen, Siegen, Germany 4 Física Teòrica, Informació i Fenòmens Quàntics, Universitat Autonoma e Barcelona, ES0893 Bellaterra (Barcelona), Spain 5 Group of Applie Physics, University of Geneva, Geneva 4, Switzerlan 6 Institute for Quantum Optics an Quantum Information (IQOQI), Austrian Acaemy of Sciences, A090 Vienna, Austria 7 Departamento e Química Física, Universia el País Vasco UPV/EHU, E Bilbao, Spain 8 IKERBASQUE Basque Founation for Science, E4803 Bilbao, Spain The Schmit coefficients capture all entanglement properties of a pure bipartite state an therefore etermine its usefulness for quantum information processing. While the quantification of the corresponing properties in mixe states is important both from a theoretical an a practical point of view, it is consierably more ifficult, an methos beyon estimates for the concurrence are elusive. In particular this hols for a quantitative assessment of the most valuable resource, the forms of entanglement that can only exist in highimensional systems. We erive a framework for lower bouning the appropriate measure of entanglement, the socalle Gconcurrence, through few local measurements. Moreover, we show that these bouns have relevant applications also for multipartite states. PACS numbers: Mn,03.65.U Unerstaning the nature an operational uses of entanglement constitutes one of the key challenges of quantum information theory. While most algorithms that allow for a provable avantage with respect to classical computation exhibit this ubiquitous feature of quantum systems, it is not entirely clear whether it actually is require for the promising fiel of quantum computation an simulation to outperform their respective classical counterparts. Consequently much effort has been investe in unerstaning the interplay between entanglement structure an resource properties of multipartite quantum states [ 4]. One of the key results for computing with pure quantum states is the fact that, in orer to go beyon the classical realm, a large imension of entanglement is require while inee any actual continuous measure of entanglement can be rather small [5]. Whether or how this statement translates to realistic conitions, i.e., mixestate quantum computing, is not at all clear. Here one coul imagine a speeup without any entanglement present at all, or, on the contrary, the nee for highimensional entanglement in a more robust sense. However, it appears intuitively clear that mixe states with substantial overlap to states, whose resource content is exponentially har to simulate classically, continue to be sufficient. To answer such questions an to ultimately gain a eeper insight into the very nature of entanglement one woul nee a thorough quantification of all possible features of mixestate entanglement. The sheer complexity of this task makes general solutions unlikely (recall that even eciing whether or not a given state is entangle is an NPhar problem [6]). A first interesting step in this irection coul be the quantitative characterization of highimensional entanglement, i.e., the most expensive resource in bipartite systems. One of the paraigmatic measures for the imensionality of entanglement is the Schmit number of mixe quantum states [7], for which various methos of certification exist [8 0]. However, the Schmit number in itself is not entirely significant, as even the highest possible imensionality can lie in the vicinity of completely separable states []. A robust quantification of mixestate entanglement imensionality can be mae by using continuous measures of entanglement imension which possibly bear also an operational meaning, beyon the question of mere computability. For bipartite entangle states the natural caniate for this purpose is the family of concurrence monotones introuce by Gour []. For a imensional system, there are such monotones k =,...,. The kth concurrence monotone (which we will call for short kconcurrence) vanishes for a given state if its Schmit number oes not excee k. The usual concurrence [3, 4] coincies with the concurrence in this family (up to a normalization constant). The measure for k = quantifies to which extent the maximum Schmit number is containe in a state an is usually terme Gconcurrence. While there exist various bouns for the usual concurrence [5 ], there are no mixestate bouns for any of the other concurrences monotones, in particular not for the Gconcurrence. Such a boun woul go beyon
2 giving an answer to the question whether or not a state contains entanglement of maximum imensionality. This is exactly what we achieve in this article: We first erive a general metho how this measure can be efficiently lower boune by using nonlinear witness techniques, allowing for a mixestate quantification of G concurrence in an experimentally feasible way. Furthermore, we fin the exact solution for the Gconcurrence of the socalle axisymmetric states [], a highly symmetric twoparameter family of mixe states. This solution provies the basis for a simple metho to fin lower bouns to the Gconcurrence of arbitrary mixe states. As a byprouct, it also allows us to fin lower bouns to the istance between the state of interest an the set of separable states, an, more generally, to any set of states with boune Schmit number. Nonlinear Gconcurrence witness. We commence by a brief efinition of the relevant concepts, before going to our first main theorem. For pure quantum states ψ C A C B, ψ = jk c jk jk the Gconcurrence is efine as the th root of the prouct of the eigenvalues of the marginal []. Denoting the Schmit coefficients of the state as λ j 0 (i.e., ψ = j λ j a j b j ; consequently the marginal eigenvalues are λ j ), we can efine C G ( ψ ) := (λ λ λ ), () so that 0 C G ( ψ ) ψ. The extension to mixe states is straightforwar via the convex roof [3] C G (ρ) := min p j C G ( ψ j ), () where the minimum is taken over all purestate ecompositions ρ = k p k ψ k ψ k. The iea here is to erive a tight lower boun for the Gconcurrence of pure states in a form that amits a straightforwar extension to a nonlinear witness lower boun for mixe states. In spirit this work follows Refs. [7, 4, 5], that is, if a state oes not belong to a certain entanglement class, the moulus of the offiagonal elements cannot excee a certain monotonically increasing function of the iagonal elements. Using elementary algebra we arrive at our first main result (the proof is given in the Appenix), C G (ρ) B G (ρ) = j,k σ l(tr( j (( )δ jk +) jj ρ kk jσ(j) jσ(j) ρ ) ), (3) j=0 where σ l enotes the sum over all permutations of the levels of party B, excluing the ientical permutation. This general lower boun is both surprisingly simple an transparent. It is expresse via ensity matrix elements an requires the knowlege of only O( ) out of the 4 elements. While Eq. (3) is written in terms of imensional systems, it is obvious that the boun can irectly be applie also to the ifferent bipartitions of multipartite systems, as we will see in the example below. Before we procee with a more etaile iscussion let us briefly comment that the boun (3) is tight at least for all maximally entangle states of imension, i.e., B G ( Φ ) =, where Φ := j=0 jj. By investigating the noise resistance we fin that the worst possible kin of noise for our boun is white noise, as it maximally affects the negative terms in the boun. For imension = 3, e.g., we can stuy the whitenoise tolerance by consiering the state ρ(p) = p Φ Φ + p l. Inserting this state into our boun we fin that it can revealthe presence of3concurrenceown to p = 3 (which is close to the exact value p = 5 8, see below). However, for higher imensions the noise resistance of the Gconcurrence ecreases rapily. Possibly the quality of the boun (3) can be improve by fining ifferent estimates of the Gconcurrence for pure states. Interestingly, the nonlinear witness Eq. (3) is not the only possibility to estimate the quality of highimensional entanglement in a mixe bipartite state. In the following, we first escribe the exact solution of C G (ρ) for certain symmetric states. By means of this solution we can achieve an inepenent lower boun for arbitrary states. Exact solution for axisymmetric states. Families of highly symmetric states often allow for an exact solution of entanglementrelate problems [7, 8, 46]. Here we consier the axisymmetric states, a twoparameter family of imensional mixe states [0, ]. They comprise all mixe states that have the same symmetries as Φ, that is, (i) permutation symmetry of the quits, (ii) invariance uner simultaneous exchange of two levels for both parties, that is, j A k A, j B k B, an (iii) symmetry uner simultaneous local phase rotations V(ϕ,ϕ,...,ϕ n ) = e i ϕ jg j e i ϕ jg j. Here, g j are the ( ) iagonal generators of SU(). The axisymmetric states can be written as mixtures of three states ρ axi = p Φ Φ +( p)[q ρ +( q) ρ ], ρ = ρ = m= ( ) Ψ (m) Ψ (m), jk jk (4) j k where 0 p,q, an Ψ (m) := j exp(iπjm/) jj is a maximally entangle state with phase factors. They can be represente by a
3 3 triangle. Remarkably it was foun that Schmitnumber relate entanglement properties are affine functions of the fielity of ρ axi with the maximally entangle state F = Tr ( ρ axi Φ Φ ). For example, the borers of the Schmitnumber classes are lines of constant fielity F (for F ). In Ref. [0] it was shown that also the concurrence of ρ axi is an affine function of F, namely ( ) C (ρ axi ) = F for F. By using the methos from Refs. [46] an [7] we show that the exact Gconcurrence for axisymmetric states is C G (ρ axi ) = max[ ( F),0]. (5) In orer to prove Eq. (5), one first notes that for symmetric mixe states it suffices to minimize C G for pure states ψ as a function of the Schmit coefficients uner the constraint of fixe fielity F = ψ Φ = Tr ( ρ axi ψ ψ ) an to convexify the resulting function (cf. Ref. [7]) C G (ρ axi ) = coc G (ψ). (6) (here, coc G (ψ) enotes the convex hull). In complete analogy with the approach in Ref. [46] one fins that the problem effectively epens only on a single parameter, the fielity F: where C G (F) = ( αβ ), (7) α = ( F F ) β = ( ) F F +., F In the Appenix we present more etails of this erivation. Moreover, we prove that the function in Eq. (7) is concavesuchthatitsconvexhullistheaffinefunction(5). We show the result in Fig. for = 4. Arbitrary states. The exact solution for axisymmetric states is interesting not only from a mathematical point of view. We can use it to obtain a lower boun on C G (ρ) for arbitrary states ρ by noting that the average over all the operations in the group of axisymmetries V ( twirling ) applie to ρ represents a projection P axi (ρ) = V VρV into the axisymmetric states [7]. On the other han, averaging over the operations V can only reuce the entanglement, so that for ρ axi (ρ) := P axi (ρ) we have a lower boun [, 9] C G [ρ axi (ρ)] C G (ρ). (8) This boun, which explicit form is given in Eq. (5), has been recently proven to hol also for fielity parameters, FIG.. The Gconcurrence (re) an the concurrence (light blue) for 4 4 axisymmetric states. The concurrence (for pure states) is efine here as C = ( Trρ A ), where ρ A enotes the reuce state of party A. In the plane we show the axisymmetric states an the borers between the Schmitnumber classes (re soli lines) which, for x > 0 are lines of constant fielity F = Tr ( ρ axi Φ ) 4 Φ 4. Here, x an y are the appropriate coorinates to parametrize the axisymmetric states in a geometry that correspons to the HilbertSchmit metric [0, ]. taken with respect to arbitrary states [30]. The componentsofthe symmetrizestate ρ axi (ρ) areeasilyobtaine via the relations ρ axi jk,jk = δ jk ρ axi jk,lm = δ jkδ lm ( δ jl ) ( ) a ρ aa,aa + δ jk a b ρ ab,ab (9a) (ρ aa,bb +ρ bb,aa ). (9b) a>b The symmetrization requires some care since one may lose all the entanglement by inappropriately choosing the local bases. By exploiting local unitary invariance of the Gconcurrence,C G ([U A U B ]ρ[u A U B ] ) = C G (ρ)we may improve the boun by fining the best local unitaries beforeoingtheprojection(8)soastoachievethelargest C G [ρ axi (ρ)]. Clearly, this hols as well for the boun in Eq. (3). Inee, both the bouns (3) an (8) can be improve even further by observing that the Gconcurrence is an SL(,C) invariant [3]. Accoring to Verstraete et al. [3] an entanglement monotone base on a local SL invariant is maximize on the socalle normal form of the state. The hallmark of the normal form is that it has maximally mixe local ensity matrices [3, 3]. It can be foun via an algorithm escribe in [3]. Thus, an exact solution (or lower boun) for a local SL invariant like C G over a family of symmetric states can be use to calculate a lower boun of C G (ρ) for arbitrary states ρ by the following proceure [33]:
4 4 finthenormalformρ NF (ρ)(ingeneralnotnormalize to ; renormalization is not necessary because of the homogeneity of C G of egree in the ensity matrix); if the normal form vanishes the proceure terminates an C G (ρ) = 0; apply optimal local unitaries to ρ NF (ρ) (as escribe above) which leas to ρ NF an o the projection P axi( ρ NF) =: ρ NF axi ; rea off the boun for the Gconcurrence from this state C G (ρ) C G ( ρ NF axi). (0) Clearly, in orer to prouce the normal form knowlege of all the matrix elements of ρ is require. Hence improving the bouns via SL(,C) (as well as via unitary) optimization is more expensive with respect to the experimental effort. To conclue this section, we show how our results can also be use in some cases to guarantee that an arbitrary state ρ has a finite istance to any set of states with boune Schmit number in particular to the set of separable states, thus renering the compute bouns of C G (ρ) more meaningful an robust measures of the entanglement of ρ. Let S k be the set of all states with Schmit number k <, Sk axi the set of Schmit number k states in the axisymmetric family, an ρ axi the symmetrization of ρ. Then, the following inequality hols [34]: min σ S axi k ρ axi σ HS min σ S k ρ σ HS. () This inequality tells us that, given ρ, whenever its projection ρ axi lies at a finite istance with respect to the closest axisymmetric state with Schmit number k, we know that the istance between ρ an the closest Schmit number k state is at least as large. A consequence of this is that any nonzero value of the boun C G [ρ axi (ρ)] rules out the possibility of ρ being arbitrarily close to a separable state. Application of the bouns to multipartite states. While the usefulness of our bouns for the characterization of bipartite states is apparent, we woul like to point out that this is true also in the context of multiparty states. To this en, let us consier a fourqubit cluster state Cl ABCD = ( ). Each of the bipartitions (AB)(CD), (AC)(BD), an (AD)(BC) may be regare as a 4 4 system where the state of (AB)(CD) is of Schmit rank an the others have Schmit rank 4. Inee, for the latter bipartitions the state is locally equivalent to Φ 4 an has maximal Gconcurrence, e.g., C G ( Cl(AC)(BD) ) =. Now we may ask how this resource behaves when noise is ae to Cl ABCD. We use the whitenoise tolerance of the Gconcurrence on a rank4 bipartition as a moel to answer this question. Physically, this means we ask up to which amixture w 4 of white noise any ecomposition of the resulting state ρ ABCD = ( w) Cl ABCD Cl ABCD + w 6 l 6 contains a state of Schmit rank 4, e.g., on the bipartition (AC)(BD). The corresponing fielity is F 4 = 3 4 so that w 4 = 4 5. This is a remarkable result, as it has to be contraste with the noise tolerance of genuine multipartite entanglement (GME)forthisstate,w4 GME = 8 3 (cf.ref.[35]). Itshows, as expecte, that a wellspecifie resource of multipartite entanglement behaves ifferently from GME. This iscussion is straightforwarly extene to linear cluster states of large (even) number N of qubits. The existence of bipartitions with full Schmit rank is one of their important properties [36]. In that case, the maximum Schmit rank across the bipartitions is = (N/), an hence w N (N/). Recall that for linear Nqubit cluster states wn GME (N/3) (N/3) [37]. That is, while the noise tolerance of GME in large linear cluster states is practically perfect, the maximum Schmitrank resource becomes exponentially fragile with increasing N. Conclusions. We have presente two inepenent quantification methos for highimensional entanglement, i.e., of the resource characterize by the maximum number of nonvanishing Schmit coefficients, in bipartite mixe states. This is achieve by estimates of the Gconcurrence via a nonlinear witness on the one han, an by an exact solution for axisymmetric states on the other han. Our nonlinear witness Eq.(3) extens the possibility to etect entanglement of Schmit number [5] to maximum Schmit number. At the same time, this nonlinear witness (3), as well as the projection witness (8), is quantitative [38] an can be experimentally etermine by measuring a number of observables of orer which is consierably smaller than 4, the number of all parameters of the state. This shows that the evelope methos are suitable also to provie a quantitative analysis of recent efforts at proucing highimensionally entangle states in the lab. The fact that Schmit numbers equal to the system imension were certifie e.g. in Refs. [39 4] implies that the respective Gconcurrence will be nonzero an the ata taken shoul suffice to apply our methos. Due to the possibility of SL(,C) optimization, entanglement etection through our approach is superior compare to merely using an optimal Schmit number witness. However, exploiting this possibility requires complete knowlege of the state parameters. Moreover, we have outline how our methos can be applie also in the investigation of multipartite entanglement. We have shown that the resource of maximum Schmit number across the bipartitions of Nqubit cluster states is exponentially fragile with respect to the amixture of white noise. In ai
5 5 tion, we mention that, in principle, it is possible to efine a genuine multipartite Gconcurrence in analogy with Ref. [7] in orer to quantitatively escribe the Schmitnumber vectors of a multipartite system [43, 44]. Finally, we note that similar techniques to the ones we evelop in the first part coul potentially be use to lower boun any quantity that can be expresse as a polynomial of state coefficients, such as other SL invariants [3, 45]. Acknowlegments. We thank C. Jebarathinam for pointing out an error in Eq. (4) in the publishe version of this manuscript. This work was fune by ERC Starting Grant 58647/GEDENTQOPT(G.S.), the German Research Founation within SPP 386 (C.E.), the FQXi Fun (Silicon Valley Community Founation), the German Research Founation (DFG), an ERC Consoliator Grant 68307/TempoQ (O.G.), by Austrian Science Fun (FWF) through the START project Y879 N7, Swiss National Science Founation (AMBIZIONE Z00P635), Spanish MINECO(Project No. FIS P), an the Generalitat e Catalunya CIRIT, Project No. 04SGR966 (M.H.), by Basque Government grant IT470, MINECO grants FIS C030, FIS C0303 an FIS P, an UPV/EHU program UFI /55(G.S. an J.S.). The authors woul like to thank G. Tóth for stimulating iscussions, an J. Fabian an K. Richter for their support. APPENDIX The nonlinear witness for the Gconcurrence Given an arbitrary pure state ψ = i,j c ij ij, its Gconcurrence can be compute as C G ( ψ ) = (λ λ λ ) = etc, () where the λ i are its Schmit coefficients (i.e. ψ = i λ i α i β i ), an c is a matrix with elements c ij. We can use the triangle inequality twice to lower boun the eterminant as etc = sgn(σ) c iσ(i) (3) σ i= i=c ii σ l sgn(σ) c iσ(i) (4) i= ii i=c c iσ(i), (5) σ l i= where σ = l is the ientity permutation. Now, let us rename i= c ii X an σ e i= c iσ(i) Y. For any two positive numbers X,Y, it is immeiate to check that f X Y X Y g. Inee, if X < Y, the inequality is trivially satisfie. On the other han, if X Y 0, we just have to look at the convexity of f an g. At the extreme points of this interval, i.e. when Y = 0, X, the inequality is saturate. To see what happens in between, we compute the secon erivatives of f an g with respect to Y, for an arbitrary X: f f Y = ( ) Y, (6) g g Y = ( ) (X Y). (7) We reaily see that f 0 an g 0 for, which means that f is convex an g is concave, thus f g an we can write etc c ii c iσ(i). (8) i= σ l i= It will prove useful to further lower the boun by replacing the positive term in the r.h.s. of Eq. (8) by a bilinear function of the coefficients c ii, namely c ii α c ii c jj β c ii (9) i= i j i= for some real coefficients α an β. In orer to prove this new inequality, we begin by rewriting it as c ii α c ii (α+β) i= i= c ii. (0) i= Note that the moulus makes it completely inepenent on complex phases, hence we can consier the coefficients c ii to be real for the rest of this proof. Furthermore, the inequality is scale invariant, so we eliberatively fix i= c ii = an, once again, we rewrite P({c ii }) αs +α+β P min (S) αs +α+β 0, () where we have efine P({x i }) i= x i, an P min (S) = min {xi}: i x i =; i xi=s P({x i }) for a set of arbitrary parameters {x i } [0,]. It is clear that P min (S ) = 0, since one can choose x = 0 an still fin aset {x i } i= that fulfils the requireconitions. As we increase the value of S above this threshol, the minimum shoul still be attaine when x is as close to zero as possible. Such minimal value of x is irectly obtaine by solving the simpler minimization min {xi}x, subject to the original constraints. This is a straightforwar calculation via Lagrange multipliers. The corresponing Lagrangian is ( ) ( ) L = x λ x i S + µ x i, i= i=
6 6 where λ, µ are Lagrange multipliers, an its symmetry alreay tells us that all the x i< have to be equally value. We fin x i = λ/µ for i <, an x = (λ )/µ. The multipliers are λ = µs +, µ = ± S. We see from the form of µ that S. In terms of S an, an extreme value of i x i is attaine when the coefficients are x i< = S ± ( S )/( ), () x = S ( S )( ). (3) The first solution correspons to the minimum. We now proveeq.() by solvingfor α an β the more restrictive set of inequalities αs +α+β 0, S < (4) P L (S) αs +α+β 0, S, (5) where P L (S) is a linear lower boun of P min (S) that is tight at the extreme values of the interval S. The function P L (S) exists if P min (S) is a fully concave function. One can reaily check that this is inee the case, for the equation min(s) (P min (S) ) S = 0 P hasnosolutionintherelevantomain, hencethereareno inflection points. Then one only has to observe the sign of an intermeiate point, e.g. P min ( /). Such function approaches zero exclusively in the asymptotic limit, an it is negative for any other (finite) value of 3, hence P min ( /) is always negative an therefore P min (S) is a concave function of S, for any. Taking into account that P min (S ) = 0 an P min ( ) = /, we may then write P L (S) as P L (S) = S ( ). (6) Fining values of α an β such that Eqs. (4) an (5) hol is straightforwar. By, e.g., emaning that Eq.(5) be tight for S =, we get ri of one parameter. We obtain β = α( ) /. Then, imposing that Eq. (4) be tight for S = yiels α = /, an thus β = /. With these values of α an β, we can guarantee that Eq. () is satisfie for all S. Summing up, we useeqs.(8) an (9) to lowerboun the Gconcurrence of an arbitrary bipartite pure state ψ as C G ( ψ ) C G ( ψ ), where C G ( ψ ) = c ii c jj ( ) c ii c iσ(i). i j i= σ l i= (7) The lower boun for the convex roof extension to mixe states, C G (ρ), hence follows: C G (ρ) = min p k C G ( ψ k ) min p k C G ( ψ k ) k k min p k c k iic k jj max p k ( ) c k ii + c k iσ(i) k i j k i= σ l i= = ii ρ jj ( ) ii ρ jj max p k c k iσ(i) i j i= σ l k i= ii ρ jj ( ) ii ρ jj ( ) iσ(i) ρ iσ(i), (8) i j i= σ l i= where for the last inequality we have use the subaitivity of the root function to write ( p k k i=c k iσ(i) p k k i= ( i= k c k iσ(i) ) p k c k iσ(i) ). (9)
7 7 Gconcurrence of axisymmetric states Derivation of Eq. (7) As mentione in the main text, the proof procees through a minimization of the entanglement measure uner consieration(here the Gconcurrence) on pure states first. Consier therefore ψ C C with its Schmit ecomposition ψ = j=0 λ j a j b j. The minimization of C G ( ψ ) is uner the conition that the fielity of ψ with the maximally entangle state Φ = j=0 jj be fixe, Φ ψ = F ψ. We use a fact note by Terhal an Vollbrecht [46] that thelargestvalueofthefielityf ψ = Φ ψ isobtaine if the Schmit bases {a j }, {b k } coincie with the computational basis. With this choice of bases, the only remaining parameters are the Schmit coefficients λ j, an λ j = F ψ. (30) j We are intereste in nonvanishing C G ( ψ ), therefore we can assume λ j 0. Further, we have the normalization λ j =. (3) j Since x / ismonotonous, wecan just minimize the prouct λ λ λ. By introucing Lagrange multipliers A an B for the conitions above, we arrive at the equations λ j λ n B = A, j =,...,. (3) n j We can use any two of the Eqs. (3) to obtain (λ j λ k ) λ j λ k n j,k λ n B = 0, (33) which can be satisfie if λ j = λ k or λ j λ k n j,k λ n = B. Now consier three coefficients λ j, λ k an λ l such that λ j λ k an λ j λ l. From Eq. (33) we have λ j λ k λ l n j,k,l λ n = B an λ jλ l λ k n j,k,l λ n = B, so that the lefthan sies must agree, from which it follows that λ k = λ l. Therefore, there can be at most two ifferent values for the λ n, λ =... = λ m = α, λ m+ =... = λ = β. (34) By inserting this into the conitions (30), (3) one obtains mα+( m)β = F ψ (35) mα +( m)β =. (36) For given m, those equations are solve by Fψ m α ± = ± Fψ m Fψ m β ± = Fψ m (37). (38) For m = 0 an m = there is no general solution; further, we see that it is sufficient to consier m <. We know from the axisymmetric states that F ψ ; what remains to o is to etermine the m an the sign for the best lower boun. To this en, we check the erivatives α m, β m an fin that for the + sign both α an β have their minimum for maximum m, i.e., m = (whereas the  sign gives m = ). Both solutions can be mappe to one another. By choosing the  sign an m = we fin Eq. (7), as well as the corresponing α an β. Concavity of the purestate minimum In this section we prove the concavity of Eq. (7). We have where C G = ( αβ ) (39) ( ) = B B( ), (40) B := ( )β = ( +( )F + ) F( F). (4) Thelast linehereis obtainebysubstituting α(f), β(f), see Eq. (7). The secon erivative of C G with respect to F is (up to constant positive prefactors for fixe imension > )
8 8 C G F ( B F B ( ) ( B + F ( ) ( B + F B = ( ) B 3 B ) ( B ) B + )( )( B ( B ) ) ) ( [ B F B( B)( B) B )+ ( ) B ( )] F. (4) As the prefactor in the last line is positive we only nee the signofthe termin squarebrackets[...]in orertoecie about the sign of the secon erivative. Now we use the explicit expression for B(F) in Eq. (4) to calculate the erivatives with respect to F. After some algebra we fin for the square bracket in Eq. (4) [...] = B( B) (43) F( F) [ ] F( F) ( B) ( ). Again, the first factor is positive. Now we substitute the expression for B(F), Eq.(4), in ( B) which yiels [ [...] = ] F B( B) ( ) F F( F) 0, an thus conclues the proof. Proof of Eq. () (44) Consier a family of states M that are invariant uner a group G of entanglementpreserving transformations, that is, ρ g := gρg = ρ for g G an ρ M. Let Sk G M be the set of states that are symmetric uner G an have Schmit number k ( k < ), an S k the set of all Schmit number k states. Given an arbitrary state ρ, the minimum istance with respect to the closest Schmit number k state, σ, is min ρ σ p = ρ σ p = g ρ g σg p σ S k p g(ρ g σg ) = ρ G σg p min ρ G σ p, (45) σ Sk G where we have use the triangle inequality in the secon line, X G := ggxg, an p is anyschatten pnorm with p. [] R. Horoecki, P. Horoecki, M. Horoecki, an K. Horoecki, Rev. Mo. Phys. 8, 865 (009). [] O. Gühne an G. Tóth, Phys. Rep. 474, (009). [3] C. Eltschka an J. Siewert, J. Phys. A: Math. Theor. 47, (04). [4] J. Gool, A. Riera, L. el Rio, M. Huber, an P. Skrzypczyk, J. Phys. A: Math. Theor. 49, 4300 (06). [5] M. van en Nest, Phys. Rev. Lett. 0, (03). [6] S. Gharibian, Quant. Inf. Comp. 0, 343 (00). [7] B.M. Terhal an P. Horoecki, Phys. Rev. A 6, (000). [8] A. Sanpera, D. Bruß, M. Lewenstein, Phys. Rev. A 63, 05030(R) (00). [9] N. Brunner, S. Pironio, A. Acín, N. Gisin, A.A. Méthot, an V. Scarani, Phys. Rev. Lett. 00, 0503 (008). [0] A. C. Daa, J. Leach, G. S. Buller, M. J. Pagett, an E. Anersson, Nat. Phys. 7, 677 (0). [] T.C. Wei an P.M. Golbart, Phys. Rev. A 68, (003). [] G. Gour, Phys. Rev. A 7, 038 (005). [3] S. Albeverio an S.M. Fei, J. Opt. B 3, 3 (00). [4] P. Rungta, V. Buzek, C.M. Caves, M. Hillery, an G.J. Milburn, Phys. Rev. A 64, 0435 (00). [5] K. Chen, S. Albeverio, an S.M. Fei, Phys. Rev. Lett. 95, (005). [6] M.J. Zhao, Z.G. Li, S.M. Fei, an Z.X. Wang, J. Phys. A: Math. Theor. 43, 7503 (00). [7] Z.H. Ma, Z.H. Chen, J.L. Chen, C. Spengler, A. Gabriel, an M. Huber, Phys. Rev. A 83, 0635 (0). [8] S.M. Hashemi Rafsanjani, M. Huber, C.J. Broabent, J.H. Eberly, Phys. Rev. A 86, (0). [9] Z.H. Chen, Z.H. Ma, O. Gühne, an S. Severini Phys. Rev. Lett. 09, (0). [0] C. Eltschka, G. Tóth, an J. Siewert, Phys. Rev. A 9, 0337 (05). [] F. Mintert, M. Kuś, an A. Buchleitner, Phys. Rev. Lett. 9, 6790 (004). [] C. Eltschka an J. Siewert, Phys. Rev. Lett., (03). [3] A. Uhlmann, Entropy, 799 (00). [4] O. Gühne an M. Seevinck, New J. Phys., (00). [5] M. Huber, F. Mintert, A. Gabriel, an B.C. Hiesmayr, Phys. Rev. Lett. 04, 050 (00).
9 9 [6] B.M. Terhal an K.G.H. Vollbrecht, Phys. Rev. Lett. 85, 65 (000). [7] K.G.H. Vollbrecht an R.F. Werner, Phys. Rev. A 64, (00). [8] L.E. Buchholz, T. Moroer, an O. Gühne, Ann. Phys. (Berlin) 58, 78 (06). [9] G. Vial, J. Mo. Opt. 47, 355 (000). [30] See version 3 of C. Zhang, S. Yu, Q. Chen, H. Yuan, an C.H. Oh, arxiv: v3, Phys. Rev. A 94, 0435 (06). [3] F. Verstraete, J. Dehaene, an B. DeMoor, Phys. Rev. A 68, 003 (003). [3] J.M. Leinaas, J. Myrheim, an E. Ovrum, Phys. Rev. A 74, 033 (006). [33] C. Eltschka an J. Siewert, Sci. Rep., 94 (0). [34] We mention that Eq. () hols true for any symmetric family an any appropriate istance measure. See the Appenix for a proof. [35] O. Gühne, B. Jungnitsch, T. Moroer, an Y.S. Weinstein, Phys. Rev. A 84, 0539 (0). [36] M. Hein, W. Dür, J. Eisert, R.Raussenorf, M. v..nest, an H.J. Briegel, in: G. Casati, D.L. Shepelyansky, P. Zoller, an G. Benenti (es.), Proceeings of the International School of Physics Enrico Fermi, Vol. 6, p. 5 (IOS Press, 006). [37] B. Jungnitsch, T. Moroer, an O. Gühne, Phys. Rev. Lett. 06, 9050 (0). [38] J. Eisert, F.G.S.L. Branão, an K.M.R. Auenaert, New. J. Phys. 9, 46 (007). [39] M. Krenn, R. Fickler, M. Huber, R. Lapkiewicz, W. Plick, S. Ramelow, an A. Zeilinger, Phys. Rev. A 87, 036 (03). [40] R. Fickler, R. Lapkiewicz, M. Huber, M. P. J. Lavery, M. J. Pagett, an A. Zeilinger, Nat. Comm. 5, 450 (04). [4] Ch. Schäff, R. Polster, M. Huber, S. Ramelow, an A. Zeilinger, Optica, 53 (05). [4] M. Malik, M. Erhar, M. Huber, M. Krenn, R. Fickler, an A. Zeilinger, Nat. Photon. 0, 48 (06). [43] M. Huber an J.I. e Vicente, Phys. Rev. Lett. 0, (03). [44] M. Huber, M. PerarnauLlobet, an J.I. e Vicente, Phys. Rev. A 88, 0438 (03). [45] V. Coffman, J. Kunu, an W. K. Wootters, Phys. Rev. A 6, (000). [46] B.M. Terhal an K.G.H. Vollbrecht, Phys. Rev. Lett. 85, 65 (000).
Sensor Network Localization from Local Connectivity : Performance Analysis for the MDSMAP Algorithm
Sensor Network Localization from Local Connectivity : Performance Analysis for the MDSMAP Algorithm Sewoong Oh an Anrea Montanari Electrical Engineering an Statistics Department Stanfor University, Stanfor,
More information10.2 Systems of Linear Equations: Matrices
SECTION 0.2 Systems of Linear Equations: Matrices 7 0.2 Systems of Linear Equations: Matrices OBJECTIVES Write the Augmente Matrix of a System of Linear Equations 2 Write the System from the Augmente Matrix
More informationLagrangian and Hamiltonian Mechanics
Lagrangian an Hamiltonian Mechanics D.G. Simpson, Ph.D. Department of Physical Sciences an Engineering Prince George s Community College December 5, 007 Introuction In this course we have been stuying
More informationA Generalization of Sauer s Lemma to Classes of LargeMargin Functions
A Generalization of Sauer s Lemma to Classes of LargeMargin Functions Joel Ratsaby University College Lonon Gower Street, Lonon WC1E 6BT, Unite Kingom J.Ratsaby@cs.ucl.ac.uk, WWW home page: http://www.cs.ucl.ac.uk/staff/j.ratsaby/
More informationFactoring Dickson polynomials over finite fields
Factoring Dickson polynomials over finite fiels Manjul Bhargava Department of Mathematics, Princeton University. Princeton NJ 08544 manjul@math.princeton.eu Michael Zieve Department of Mathematics, University
More informationLecture L253D Rigid Body Kinematics
J. Peraire, S. Winall 16.07 Dynamics Fall 2008 Version 2.0 Lecture L253D Rigi Boy Kinematics In this lecture, we consier the motion of a 3D rigi boy. We shall see that in the general threeimensional
More informationarxiv:1309.1857v3 [grqc] 7 Mar 2014
Generalize holographic equipartition for FriemannRobertsonWalker universes WenYuan Ai, Hua Chen, XianRu Hu, an JianBo Deng Institute of Theoretical Physics, LanZhou University, Lanzhou 730000, P.
More informationMeasures of distance between samples: Euclidean
4 Chapter 4 Measures of istance between samples: Eucliean We will be talking a lot about istances in this book. The concept of istance between two samples or between two variables is funamental in multivariate
More informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 14 10/27/2008 MOMENT GENERATING FUNCTIONS
MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 14 10/27/2008 MOMENT GENERATING FUNCTIONS Contents 1. Moment generating functions 2. Sum of a ranom number of ranom variables 3. Transforms
More informationMath 230.01, Fall 2012: HW 1 Solutions
Math 3., Fall : HW Solutions Problem (p.9 #). Suppose a wor is picke at ranom from this sentence. Fin: a) the chance the wor has at least letters; SOLUTION: All wors are equally likely to be chosen. The
More informationFirewall Design: Consistency, Completeness, and Compactness
C IS COS YS TE MS Firewall Design: Consistency, Completeness, an Compactness Mohame G. Goua an XiangYang Alex Liu Department of Computer Sciences The University of Texas at Austin Austin, Texas 787121188,
More informationOptimal Control Policy of a Production and Inventory System for multiproduct in Segmented Market
RATIO MATHEMATICA 25 (2013), 29 46 ISSN:15927415 Optimal Control Policy of a Prouction an Inventory System for multiprouct in Segmente Market Kuleep Chauhary, Yogener Singh, P. C. Jha Department of Operational
More informationOn Adaboost and Optimal Betting Strategies
On Aaboost an Optimal Betting Strategies Pasquale Malacaria 1 an Fabrizio Smerali 1 1 School of Electronic Engineering an Computer Science, Queen Mary University of Lonon, Lonon, UK Abstract We explore
More informationJON HOLTAN. if P&C Insurance Ltd., Oslo, Norway ABSTRACT
OPTIMAL INSURANCE COVERAGE UNDER BONUSMALUS CONTRACTS BY JON HOLTAN if P&C Insurance Lt., Oslo, Norway ABSTRACT The paper analyses the questions: Shoul or shoul not an iniviual buy insurance? An if so,
More informationMSc. Econ: MATHEMATICAL STATISTICS, 1995 MAXIMUMLIKELIHOOD ESTIMATION
MAXIMUMLIKELIHOOD ESTIMATION The General Theory of ML Estimation In orer to erive an ML estimator, we are boun to make an assumption about the functional form of the istribution which generates the
More informationAnswers to the Practice Problems for Test 2
Answers to the Practice Problems for Test 2 Davi Murphy. Fin f (x) if it is known that x [f(2x)] = x2. By the chain rule, x [f(2x)] = f (2x) 2, so 2f (2x) = x 2. Hence f (2x) = x 2 /2, but the lefthan
More informationExample Optimization Problems selected from Section 4.7
Example Optimization Problems selecte from Section 4.7 19) We are aske to fin the points ( X, Y ) on the ellipse 4x 2 + y 2 = 4 that are farthest away from the point ( 1, 0 ) ; as it happens, this point
More informationNotes on tangents to parabolas
Notes on tangents to parabolas (These are notes for a talk I gave on 2007 March 30.) The point of this talk is not to publicize new results. The most recent material in it is the concept of Bézier curves,
More informationWeb Appendices of Selling to Overcon dent Consumers
Web Appenices of Selling to Overcon ent Consumers Michael D. Grubb A Option Pricing Intuition This appenix provies aitional intuition base on option pricing for the result in Proposition 2. Consier the
More informationarxiv:quantph/9607009v1 11 Jul 1996
Distillability of Inseparable Quantum Systems Micha l Horodecki Department of Mathematics and Physics University of Gdańsk, 80 952 Gdańsk, Poland arxiv:quantph/9607009v1 11 Jul 1996 Pawe l Horodecki Faculty
More informationHere the units used are radians and sin x = sin(x radians). Recall that sin x and cos x are defined and continuous everywhere and
Lecture 9 : Derivatives of Trigonometric Functions (Please review Trigonometry uner Algebra/Precalculus Review on the class webpage.) In this section we will look at the erivatives of the trigonometric
More informationA Comparison of Performance Measures for Online Algorithms
A Comparison of Performance Measures for Online Algorithms Joan Boyar 1, Sany Irani 2, an Kim S. Larsen 1 1 Department of Mathematics an Computer Science, University of Southern Denmark, Campusvej 55,
More informationDefinition of the spin current: The angular spin current and its physical consequences
Definition of the spin current: The angular spin current an its physical consequences Qingfeng Sun 1, * an X. C. Xie 2,3 1 Beijing National Lab for Conense Matter Physics an Institute of Physics, Chinese
More informationDifferentiability of Exponential Functions
Differentiability of Exponential Functions Philip M. Anselone an John W. Lee Philip Anselone (panselone@actionnet.net) receive his Ph.D. from Oregon State in 1957. After a few years at Johns Hopkins an
More informationView Synthesis by Image Mapping and Interpolation
View Synthesis by Image Mapping an Interpolation Farris J. Halim Jesse S. Jin, School of Computer Science & Engineering, University of New South Wales Syney, NSW 05, Australia Basser epartment of Computer
More informationThe Quick Calculus Tutorial
The Quick Calculus Tutorial This text is a quick introuction into Calculus ieas an techniques. It is esigne to help you if you take the Calculus base course Physics 211 at the same time with Calculus I,
More informationParameterized Algorithms for dhitting Set: the Weighted Case Henning Fernau. Univ. Trier, FB 4 Abteilung Informatik 54286 Trier, Germany
Parameterize Algorithms for Hitting Set: the Weighte Case Henning Fernau Trierer Forschungsberichte; Trier: Technical Reports Informatik / Mathematik No. 086, July 2008 Univ. Trier, FB 4 Abteilung Informatik
More informationWeb Appendices to Selling to Overcon dent Consumers
Web Appenices to Selling to Overcon ent Consumers Michael D. Grubb MIT Sloan School of Management Cambrige, MA 02142 mgrubbmit.eu www.mit.eu/~mgrubb May 2, 2008 B Option Pricing Intuition This appenix
More informationData Center Power System Reliability Beyond the 9 s: A Practical Approach
Data Center Power System Reliability Beyon the 9 s: A Practical Approach Bill Brown, P.E., Square D Critical Power Competency Center. Abstract Reliability has always been the focus of missioncritical
More information15.2. FirstOrder Linear Differential Equations. FirstOrder Linear Differential Equations Bernoulli Equations Applications
00 CHAPTER 5 Differential Equations SECTION 5. FirstOrer Linear Differential Equations FirstOrer Linear Differential Equations Bernoulli Equations Applications FirstOrer Linear Differential Equations
More information1 HighDimensional Space
Contents HighDimensional Space. Properties of HighDimensional Space..................... 4. The HighDimensional Sphere......................... 5.. The Sphere an the Cube in Higher Dimensions...........
More informationMannheim curves in the threedimensional sphere
Mannheim curves in the threeimensional sphere anju Kahraman, Mehmet Öner Manisa Celal Bayar University, Faculty of Arts an Sciences, Mathematics Department, Muraiye Campus, 5, Muraiye, Manisa, urkey.
More informationAn intertemporal model of the real exchange rate, stock market, and international debt dynamics: policy simulations
This page may be remove to conceal the ientities of the authors An intertemporal moel of the real exchange rate, stock market, an international ebt ynamics: policy simulations Saziye Gazioglu an W. Davi
More informationThe Characteristic Polynomial
Physics 116A Winter 2011 The Characteristic Polynomial 1 Coefficients of the characteristic polynomial Consider the eigenvalue problem for an n n matrix A, A v = λ v, v 0 (1) The solution to this problem
More informationCh 10. Arithmetic Average Options and Asian Opitons
Ch 10. Arithmetic Average Options an Asian Opitons I. Asian Option an the Analytic Pricing Formula II. Binomial Tree Moel to Price Average Options III. Combination of Arithmetic Average an Reset Options
More informationReading: Ryden chs. 3 & 4, Shu chs. 15 & 16. For the enthusiasts, Shu chs. 13 & 14.
7 Shocks Reaing: Ryen chs 3 & 4, Shu chs 5 & 6 For the enthusiasts, Shu chs 3 & 4 A goo article for further reaing: Shull & Draine, The physics of interstellar shock waves, in Interstellar processes; Proceeings
More informationRules for Finding Derivatives
3 Rules for Fining Derivatives It is teious to compute a limit every time we nee to know the erivative of a function. Fortunately, we can evelop a small collection of examples an rules that allow us to
More informationf(x) = a x, h(5) = ( 1) 5 1 = 2 2 1
Exponential Functions an their Derivatives Exponential functions are functions of the form f(x) = a x, where a is a positive constant referre to as the base. The functions f(x) = x, g(x) = e x, an h(x)
More informationThe oneyear nonlife insurance risk
The oneyear nonlife insurance risk Ohlsson, Esbjörn & Lauzeningks, Jan Abstract With few exceptions, the literature on nonlife insurance reserve risk has been evote to the ultimo risk, the risk in the
More informationMathematics. Circles. hsn.uk.net. Higher. Contents. Circles 119 HSN22400
hsn.uk.net Higher Mathematics UNIT OUTCOME 4 Circles Contents Circles 119 1 Representing a Circle 119 Testing a Point 10 3 The General Equation of a Circle 10 4 Intersection of a Line an a Circle 1 5 Tangents
More informationAPPLICATION OF CALCULUS IN COMMERCE AND ECONOMICS
Application of Calculus in Commerce an Economics 41 APPLICATION OF CALCULUS IN COMMERCE AND ECONOMICS æ We have learnt in calculus that when 'y' is a function of '', the erivative of y w.r.to i.e. y ö
More information2r 1. Definition (Degree Measure). Let G be a rgraph of order n and average degree d. Let S V (G). The degree measure µ(s) of S is defined by,
Theorem Simple Containers Theorem) Let G be a simple, rgraph of average egree an of orer n Let 0 < δ < If is large enough, then there exists a collection of sets C PV G)) satisfying: i) for every inepenent
More informationMATH10212 Linear Algebra. Systems of Linear Equations. Definition. An ndimensional vector is a row or a column of n numbers (or letters): a 1.
MATH10212 Linear Algebra Textbook: D. Poole, Linear Algebra: A Modern Introduction. Thompson, 2006. ISBN 0534405967. Systems of Linear Equations Definition. An ndimensional vector is a row or a column
More informationState of Louisiana Office of Information Technology. Change Management Plan
State of Louisiana Office of Information Technology Change Management Plan Table of Contents Change Management Overview Change Management Plan Key Consierations Organizational Transition Stages Change
More informationPythagorean Triples Over Gaussian Integers
International Journal of Algebra, Vol. 6, 01, no., 5564 Pythagorean Triples Over Gaussian Integers Cheranoot Somboonkulavui 1 Department of Mathematics, Faculty of Science Chulalongkorn University Bangkok
More informationElliptic Functions sn, cn, dn, as Trigonometry W. Schwalm, Physics, Univ. N. Dakota
Elliptic Functions sn, cn, n, as Trigonometry W. Schwalm, Physics, Univ. N. Dakota Backgroun: Jacobi iscovere that rather than stuying elliptic integrals themselves, it is simpler to think of them as inverses
More informationModelling and Resolving Software Dependencies
June 15, 2005 Abstract Many Linux istributions an other moern operating systems feature the explicit eclaration of (often complex) epenency relationships between the pieces of software
More informationA New Evaluation Measure for Information Retrieval Systems
A New Evaluation Measure for Information Retrieval Systems Martin Mehlitz martin.mehlitz@ailabor.e Christian Bauckhage Deutsche Telekom Laboratories christian.bauckhage@telekom.e Jérôme Kunegis jerome.kunegis@ailabor.e
More informationINFLUENCE OF GPS TECHNOLOGY ON COST CONTROL AND MAINTENANCE OF VEHICLES
1 st Logistics International Conference Belgrae, Serbia 2830 November 2013 INFLUENCE OF GPS TECHNOLOGY ON COST CONTROL AND MAINTENANCE OF VEHICLES Goran N. Raoičić * University of Niš, Faculty of Mechanical
More informationMinimumEnergy Broadcast in AllWireless Networks: NPCompleteness and Distribution Issues
MinimumEnergy Broacast in AllWireless Networks: NPCompleteness an Distribution Issues Mario Čagal LCAEPFL CH05 Lausanne Switzerlan mario.cagal@epfl.ch JeanPierre Hubaux LCAEPFL CH05 Lausanne Switzerlan
More informationOption Pricing for Inventory Management and Control
Option Pricing for Inventory Management an Control Bryant Angelos, McKay Heasley, an Jeffrey Humpherys Abstract We explore the use of option contracts as a means of managing an controlling inventories
More informationUnsteady Flow Visualization by Animating EvenlySpaced Streamlines
EUROGRAPHICS 2000 / M. Gross an F.R.A. Hopgoo Volume 19, (2000), Number 3 (Guest Eitors) Unsteay Flow Visualization by Animating EvenlySpace Bruno Jobar an Wilfri Lefer Université u Littoral Côte Opale,
More informationInverse Trig Functions
Inverse Trig Functions c A Math Support Center Capsule February, 009 Introuction Just as trig functions arise in many applications, so o the inverse trig functions. What may be most surprising is that
More informationIntroduction to Integration Part 1: AntiDifferentiation
Mathematics Learning Centre Introuction to Integration Part : AntiDifferentiation Mary Barnes c 999 University of Syney Contents For Reference. Table of erivatives......2 New notation.... 2 Introuction
More informationMODELLING OF TWO STRATEGIES IN INVENTORY CONTROL SYSTEM WITH RANDOM LEAD TIME AND DEMAND
art I. robobabilystic Moels Computer Moelling an New echnologies 27 Vol. No. 23 ransport an elecommunication Institute omonosova iga V9 atvia MOEING OF WO AEGIE IN INVENOY CONO YEM WIH ANOM EA IME AN
More informationSearch Advertising Based Promotion Strategies for Online Retailers
Search Avertising Base Promotion Strategies for Online Retailers Amit Mehra The Inian School of Business yeraba, Inia Amit Mehra@isb.eu ABSTRACT Web site aresses of small on line retailers are often unknown
More informationDepartment of Mathematical Sciences, University of Copenhagen. Kandidat projekt i matematik. Jens Jakob Kjær. Golod Complexes
F A C U L T Y O F S C I E N C E U N I V E R S I T Y O F C O P E N H A G E N Department of Mathematical Sciences, University of Copenhagen Kaniat projekt i matematik Jens Jakob Kjær Golo Complexes Avisor:
More informationAs customary, choice (a) is the correct answer in all the following problems.
PHY2049 Summer 2012 Instructor: Francisco Rojas Exam 1 As customary, choice (a) is the correct answer in all the following problems. Problem 1 A uniformly charge (thin) nonconucting ro is locate on the
More informationDIFFRACTION AND INTERFERENCE
DIFFRACTION AND INTERFERENCE In this experiment you will emonstrate the wave nature of light by investigating how it bens aroun eges an how it interferes constructively an estructively. You will observe
More informationThe wave equation is an important tool to study the relation between spectral theory and geometry on manifolds. Let U R n be an open set and let
1. The wave equation The wave equation is an important tool to stuy the relation between spectral theory an geometry on manifols. Let U R n be an open set an let = n j=1 be the Eucliean Laplace operator.
More informationScalar : Vector : Equal vectors : Negative vectors : Proper vector : Null Vector (Zero Vector): Parallel vectors : Antiparallel vectors :
ELEMENTS OF VECTOS 1 Scalar : physical quantity having only magnitue but not associate with any irection is calle a scalar eg: time, mass, istance, spee, work, energy, power, pressure, temperature, electric
More informationExponential Functions: Differentiation and Integration. The Natural Exponential Function
46_54.q //4 :59 PM Page 5 5 CHAPTER 5 Logarithmic, Eponential, an Other Transcenental Functions Section 5.4 f () = e f() = ln The inverse function of the natural logarithmic function is the natural eponential
More informationNumerical Analysis Lecture Notes
Numerical Analysis Lecture Notes Peter J. Olver 5. Inner Products and Norms The norm of a vector is a measure of its size. Besides the familiar Euclidean norm based on the dot product, there are a number
More informationGiven three vectors A, B, andc. We list three products with formula (A B) C = B(A C) A(B C); A (B C) =B(A C) C(A B);
1.1.4. Prouct of three vectors. Given three vectors A, B, anc. We list three proucts with formula (A B) C = B(A C) A(B C); A (B C) =B(A C) C(A B); a 1 a 2 a 3 (A B) C = b 1 b 2 b 3 c 1 c 2 c 3 where the
More informationThe Matrix Elements of a 3 3 Orthogonal Matrix Revisited
Physics 116A Winter 2011 The Matrix Elements of a 3 3 Orthogonal Matrix Revisited 1. Introduction In a class handout entitled, ThreeDimensional Proper and Improper Rotation Matrices, I provided a derivation
More informationThe influence of antiviral drug therapy on the evolution of HIV1 pathogens
DIMACS Series in Discrete Mathematics an Theoretical Computer Science Volume 7, 26 The influence of antiviral rug therapy on the evolution of HIV pathogens Zhilan Feng an Libin Rong Abstract. An agestructure
More informationMathematics Review for Economists
Mathematics Review for Economists by John E. Floy University of Toronto May 9, 2013 This ocument presents a review of very basic mathematics for use by stuents who plan to stuy economics in grauate school
More informationIntroduction to Matrix Algebra
Psychology 7291: Multivariate Statistics (Carey) 8/27/98 Matrix Algebra  1 Introduction to Matrix Algebra Definitions: A matrix is a collection of numbers ordered by rows and columns. It is customary
More informationSystems of Linear Equations
Systems of Linear Equations Beifang Chen Systems of linear equations Linear systems A linear equation in variables x, x,, x n is an equation of the form a x + a x + + a n x n = b, where a, a,, a n and
More informationA Data Placement Strategy in Scientific Cloud Workflows
A Data Placement Strategy in Scientific Clou Workflows Dong Yuan, Yun Yang, Xiao Liu, Jinjun Chen Faculty of Information an Communication Technologies, Swinburne University of Technology Hawthorn, Melbourne,
More informationa 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.
Chapter 1 LINEAR EQUATIONS 1.1 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,..., a n, b are given
More informationA BlameBased Approach to Generating Proposals for Handling Inconsistency in Software Requirements
International Journal of nowlege an Systems Science, 3(), 7, JanuaryMarch 0 A lamease Approach to Generating Proposals for Hanling Inconsistency in Software Requirements eian Mu, Peking University,
More informationAn Introduction to Eventtriggered and Selftriggered Control
An Introuction to Eventtriggere an Selftriggere Control W.P.M.H. Heemels K.H. Johansson P. Tabuaa Abstract Recent evelopments in computer an communication technologies have le to a new type of largescale
More informationThe most common model to support workforce management of telephone call centers is
Designing a Call Center with Impatient Customers O. Garnett A. Manelbaum M. Reiman Davison Faculty of Inustrial Engineering an Management, Technion, Haifa 32000, Israel Davison Faculty of Inustrial Engineering
More informationSensitivity Analysis of Nonlinear Performance with Probability Distortion
Preprints of the 19th Worl Congress The International Feeration of Automatic Control Cape Town, South Africa. August 2429, 214 Sensitivity Analysis of Nonlinear Performance with Probability Distortion
More informationA PRIORI ESTIMATES FOR SEMISTABLE SOLUTIONS OF SEMILINEAR ELLIPTIC EQUATIONS. In memory of RouHuai Wang
A PRIORI ESTIMATES FOR SEMISTABLE SOLUTIONS OF SEMILINEAR ELLIPTIC EQUATIONS XAVIER CABRÉ, MANEL SANCHÓN, AND JOEL SPRUCK In memory of RouHuai Wang 1. Introduction In this note we consider semistable
More informationA New Pricing Model for Competitive Telecommunications Services Using Congestion Discounts
A New Pricing Moel for Competitive Telecommunications Services Using Congestion Discounts N. Keon an G. Ananalingam Department of Systems Engineering University of Pennsylvania Philaelphia, PA 191046315
More informationSection 3.3. Differentiation of Polynomials and Rational Functions. Difference Equations to Differential Equations
Difference Equations to Differential Equations Section 3.3 Differentiation of Polynomials an Rational Functions In tis section we begin te task of iscovering rules for ifferentiating various classes of
More information7 Gaussian Elimination and LU Factorization
7 Gaussian Elimination and LU Factorization In this final section on matrix factorization methods for solving Ax = b we want to take a closer look at Gaussian elimination (probably the best known method
More informationMinimizing Makespan in Flow Shop Scheduling Using a Network Approach
Minimizing Makespan in Flow Shop Scheuling Using a Network Approach Amin Sahraeian Department of Inustrial Engineering, Payame Noor University, Asaluyeh, Iran 1 Introuction Prouction systems can be ivie
More informationCALCULATION INSTRUCTIONS
Energy Saving Guarantee Contract ppenix 8 CLCULTION INSTRUCTIONS Calculation Instructions for the Determination of the Energy Costs aseline, the nnual mounts of Savings an the Remuneration 1 asics ll prices
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 19967 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More informationGame Theoretic Modeling of Cooperation among Service Providers in Mobile Cloud Computing Environments
2012 IEEE Wireless Communications an Networking Conference: Services, Applications, an Business Game Theoretic Moeling of Cooperation among Service Proviers in Mobile Clou Computing Environments Dusit
More informationFluid Pressure and Fluid Force
0_0707.q //0 : PM Page 07 SECTION 7.7 Section 7.7 Flui Pressure an Flui Force 07 Flui Pressure an Flui Force Fin flui pressure an flui force. Flui Pressure an Flui Force Swimmers know that the eeper an
More informationLagrange s equations of motion for oscillating centralforce field
Theoretical Mathematics & Applications, vol.3, no., 013, 99115 ISSN: 1799687 (print), 1799709 (online) Scienpress Lt, 013 Lagrange s equations of motion for oscillating centralforce fiel A.E. Eison
More informationOptimal Control Of Production Inventory Systems With Deteriorating Items And Dynamic Costs
Applie Mathematics ENotes, 8(2008), 194202 c ISSN 16072510 Available free at mirror sites of http://www.math.nthu.eu.tw/ amen/ Optimal Control Of Prouction Inventory Systems With Deteriorating Items
More informationCalculating Viscous Flow: Velocity Profiles in Rivers and Pipes
previous inex next Calculating Viscous Flow: Velocity Profiles in Rivers an Pipes Michael Fowler, UVa 9/8/1 Introuction In this lecture, we ll erive the velocity istribution for two examples of laminar
More informationOn the representability of the biuniform matroid
On the representability of the biuniform matroid Simeon Ball, Carles Padró, Zsuzsa Weiner and Chaoping Xing August 3, 2012 Abstract Every biuniform matroid is representable over all sufficiently large
More informationCalculus Refresher, version 2008.4. c 19972008, Paul Garrett, garrett@math.umn.edu http://www.math.umn.edu/ garrett/
Calculus Refresher, version 2008.4 c 9972008, Paul Garrett, garrett@math.umn.eu http://www.math.umn.eu/ garrett/ Contents () Introuction (2) Inequalities (3) Domain of functions (4) Lines (an other items
More informationIncreasing for all. Convex for all. ( ) Increasing for all (remember that the log function is only defined for ). ( ) Concave for all.
1. Differentiation The first derivative of a function measures by how much changes in reaction to an infinitesimal shift in its argument. The largest the derivative (in absolute value), the faster is evolving.
More informationNEARFIELD TO FARFIELD TRANSFORMATION WITH PLANAR SPIRAL SCANNING
Progress In Electromagnetics Research, PIER 73, 49 59, 27 NEARFIELD TO FARFIELD TRANSFORMATION WITH PLANAR SPIRAL SCANNING S. Costanzo an G. Di Massa Dipartimento i Elettronica Informatica e Sistemistica
More informationy or f (x) to determine their nature.
Level C5 of challenge: D C5 Fining stationar points of cubic functions functions Mathematical goals Starting points Materials require Time neee To enable learners to: fin the stationar points of a cubic
More informationVector and Matrix Norms
Chapter 1 Vector and Matrix Norms 11 Vector Spaces Let F be a field (such as the real numbers, R, or complex numbers, C) with elements called scalars A Vector Space, V, over the field F is a nonempty
More information11 CHAPTER 11: FOOTINGS
CHAPTER ELEVEN FOOTINGS 1 11 CHAPTER 11: FOOTINGS 11.1 Introuction Footings are structural elements that transmit column or wall loas to the unerlying soil below the structure. Footings are esigne to transmit
More informationStock Market Value Prediction Using Neural Networks
Stock Market Value Preiction Using Neural Networks Mahi Pakaman Naeini IT & Computer Engineering Department Islamic Aza University Paran Branch email: m.pakaman@ece.ut.ac.ir Hamireza Taremian Engineering
More informationDynamic Network Security Deployment Under Partial Information
Dynamic Network Security Deployment Uner Partial nformation nvite Paper) George Theoorakopoulos EPFL Lausanne, Switzerlan Email: george.theoorakopoulos @ epfl.ch John S. Baras University of Marylan College
More informationOberwolfach Preprints
Oberwolfach Preprints OWP 200701 Gerhar Huisken Geometric Flows an 3Manifols Mathematisches Forschungsinstitut Oberwolfach ggmbh Oberwolfach Preprints (OWP) ISSN 18647596 Oberwolfach Preprints (OWP)
More informationDetecting Possibly Fraudulent or ErrorProne Survey Data Using Benford s Law
Detecting Possibly Frauulent or ErrorProne Survey Data Using Benfor s Law Davi Swanson, Moon Jung Cho, John Eltinge U.S. Bureau of Labor Statistics 2 Massachusetts Ave., NE, Room 3650, Washington, DC
More information1 Solving LPs: The Simplex Algorithm of George Dantzig
Solving LPs: The Simplex Algorithm of George Dantzig. Simplex Pivoting: Dictionary Format We illustrate a general solution procedure, called the simplex algorithm, by implementing it on a very simple example.
More informationMATRIX ALGEBRA AND SYSTEMS OF EQUATIONS
MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS Systems of Equations and Matrices Representation of a linear system The general system of m equations in n unknowns can be written a x + a 2 x 2 + + a n x n b a
More information