Compression, Matrix Range and Completely Positive Map
|
|
- Chrystal Irene Bond
- 5 years ago
- Views:
Transcription
1 Compression, Matrix Range and Completely Positive Map Iowa State University Iowa-Nebraska Functional Analysis Seminar November 5, 2016
2 Definitions and notations H, K : Hilbert space. If dim H = n <, H = C n. B(H, K) : bounded linear operators from H to K. If dim H = m and dim K = n, B(H, K) = M n, m. B(H) = B(H, H) and M n = M n, n. A B(H) is said to be self-adjoint if A = A. B(H) sa will denote the space of self-adjoint operators in B(H). Every A B(H) has a self-adjoint decomposition A = A 1 + ia 2, A 1, A 2 B(H) sa. If dim H = n, B(H) sa = H n, the set of n n Hermitian matrices. S R n, C n is said to be convex if for all x, y S, the line segment {tx + (1 t)y : 0 t 1} S.
3 Compression of linear operators Suppose A B(H) and K is a norm closed subspace of H. Let P K B(H, K) be the orthogonal projection of H onto K. Then B = P K A K B(K) is called a compression of A to K and A is a dilation of B to H. Let A M n and 1 m n. Then B M m is a compression of A if and only if there exists V M n,m such that V V = I m and B = V AV. For A B(H) and m 1, let W m (A) = {B M m : B is a compression of A} For m = 1, W 1 (A) = { Ax, x : x H, x, x = 1} is the numerical range of A, usually denoted by W (A). By the Toeplitz- Hausdorff Theorem, W (A) is convex. For m > 1, W m (A) is usually not convex.
4 Compression of linear operators Theorem 1 (Sz.-Nagy and Foias) A B(K) is a contraction ( A 1) if and only if A has a unitary dilation U B(H) such that A k = P K U k K for all k 1. Given A B(H), the numerical radius of A is given by w(a) = sup{ z : z W (A)}. w(a) is a norm on B(H) and satisfies w(a) A 2w(A). Theorem 2 (Sz.-Nagy and Foias) A B(K) satisfies w(a) 1 if and only if there is a unitary U B(H) such that A k = 2 P K U k K for all k 1.
5 Compression of linear operators Theorem 3 (Ando, Arveson) ( A B(K) satisfies ) w(a) 1 if and only if A is a compression of 0 2IH for some H. 0 0 (( )) (( )) 0 2IH 0 2 Note: W = W = {z C : z 1} (( )) 0 2 w(a) 1 W (A) W 0 0 Let A = A 1 + ia 2 be the self-adjoint decomposition of A B(K). Then W (A) = W (A 1, A 2 ) = {( A 1 x, x, A 2 x, x ) : x K, x, x = 1} R 2 Given A 1,, A p B(K) sa, define the joint numerical range W (A 1,, A p ) = {( A 1 x, x,,, A p x, x ) : x K, x, x = 1} R p
6 Completely positive map A B(H) is said to be positive (A 0) if Ax, x 0 for all x H. An operator system S of a C -algebra A, is a norm-closed self-adjoint (S = S ) subspace S of A containing 1 A. A linear map Φ : S B is positive on S if A 0 Φ(A) 0 Φ k : M k (S) M k (B), Φ k ((A ij )) = (Φ(A ij )) Φ is k-positive if Φ k is positive. Φ is completely positive if Φ is k-positive for all k 1. Theorem 4 (Arveson s Extension Theorem) Let A be a unital C -algebra and S be an operator system of A. Then every completely positive map from S to a C -algebra B can be extended to a completely positive map from A to B.
7 Numerical range and positivity Suppose W (A 1, A 2 ) W (B 1, B 2 ). If c 0 I + c 1 B 1 + c 2 B 2 0, then we have (c 0 I + c 1 B 1 + c 2 B 2 ) x, x 0 for all x H with x, x = 1 c 0 + (c 1, c 2 ) (b 1, b 2 ) 0 for all (b 1, b 2 ) W (B 1, B 2 ) c 0 + (c 1, c 2 ) (a 1, a 2 ) 0 for all (a 1, a 2 ) W (A 1, A 2 ) (c 0 I + c 1 A 1 + c 2 A 2 ) x, x 0 for all x K with x, x = 1 Therefore, the map Φ(c 0 I + c 1 B 1 + c 2 B 2 ) = (c 0 I + c 1 A 1 + c 2 A 2 ) (1) is positive. Remark: If A = A 1 + ia 2 and B = B 1 + ib 2. Then (1) is equivalent to Φ(c 0 I + c 1 B + c 2 B ) = (c 0 I + c 1 A + c 2 A ).
8 Dilation and extension of completely positive map Theorem 5 (Stinespring s dilation theorem) Let A be a unital C -algebra, and let Φ : A B(H) be a linear map. Then Φ is completely positive if and only if there exist a Hilbert space K, a unital C -homomorphism π : A B(K), and a bounded operator V B(H, K) such that Φ(T ) = V π(t )V for all T A. Note: Φ is unital if and only if V V = I H. Therefore, A is a compression of B I H for some H if and only if A = Φ(B) for some unital completely positive map Φ.
9 Reformulation of Theorem 3 Let B = ( ) = B 1 + ib 2, B 1 = ( ) ( 0 i, B 2 = i 0 ). Theorem 3a Suppose A 1, A 2 B(H) sa. Then W (A 1, A 2 ) W (B 1, B 2 ) if and only if the map is completely positive. Φ(c 0 I 2 + c 1 B 1 + c 2 B 2 ) = c 0 I H + c 1 A 1 + c 2 A 2 Theorem 3b Suppose A B(H). Then the map Φ(c 0 I 2 + c 1 B + c 2 B ) = c 0 I H + c 1 A + c 2 A is positive on span(i 2, B, B ) if and only if it is completely positive.
10 Another Proof of Theorem 3b Theorem 6 (Choi) Let S 2 be the space of 2 2 complex symmetric matrices. Then every positive map Φ : S 2 B(H) is completely positive. Choi proves the above theorem for finite dimensional H. The infinite dimensional case can be proven from the finite dimensional case. Theorem 3c Let B M 2 and A B(H). Then the map Φ(c 0 I 2 + c 1 B + c 2 B ) = c 0 I K + c 1 A + c 2 A is positive on span(i 2, B, B ) if and only if it is completely positive. Proof. Every B M 2 is unitarily similar to a symmetric matrix S. Let S = span(i 2, S, S ). If S = S 2, the result follows from Theorem 6. If S S 2, then S = C or C 2 and the result follows.
11 Extension ( ) 0 2 Recall = B ib 2 = ( 1 0 Let B 3 = 0 1 ( Conjecture 1 (Extension of Theorem 3a) Suppose A 1, A 2, A 3 B(H) sa. and only if the map ) ( 0 i + i i 0 ). ). B 1, B 2, B 3 are known as the Pauley matrices. Then W (A 1, A 2, A 3 ) W (B 1, B 2, B 3 ) if Φ(c 0 I 2 + c 1 B 1 + c 2 B 2 + c 3 B 3 ) = c 0 I H + c 1 A 1 + c 2 A 2 + c 3 A 3 is completely positive. 1) The conjecture fails for dim H = 2. Just take A i = B t i. 2) If dim H 2, W (A 1, A 2, A 3 ) is convex but W (B 1, B 2, B 3 ) = {w R 3 : w = 1}. If W (A 1, A 2, A 3 ) W (B 1, B 2, B 3 ), then W (A 1, A 2, A 3 ) is a singleton. Therefore, all A i are scalar and the conjecture holds.
12 Extension Let B 1, B 2, B 3 be the Pauley matrices. Set ˆB i = B i B t i for i = 1, 2, 3. Then W (ˆB 1, ˆB 2, ˆB 3 ) = {w R 3 : w 1} is convex. Conjecture 2 (Extension of Theorem 3b) Suppose A 1, A 2, A 3 B(H) sa. Let Φ(c 0 I 2 + c 1 ˆB1 + c 2 ˆB2 + c 3 ˆB3 ) = c 0 I K + c 1 A 1 + c 2 A 2 + c 3 A 3 Then Φ is positive on span(i 2, ˆB 1, ˆB 2, ˆB 3 ) if and only if Φ is completely positive. The conjecture holds if dim H = n 3. Let Ψ : M 2 M n be given by Ψ(X) = Φ(X X t ). If Φ is positive and n 3, then Ψ is decomposable. There exist completely positive Ψ 1, Ψ 2 : M 2 M n such that Ψ(X) = Ψ 1 (X) + Ψ 2 (X) t. Then the result follows. Question Does the result hold for all n?
13 Extension Theorem 7 (Choi and Li) Suppose B M 2 or B = [b] B 1 M 3. Then for all A B(H), W (A) W (B) if and only if the map is completely positive. Questions: Φ(c 0 I 2 + c 1 B + c 2 B ) = c 0 I H + c 1 A + c 2 A 1) If B M 3 satisfies the conclusion in Theorem 7, must B be unitarily similar to [b] B 1? 2) For which subset S of C can we find B M n such that W (B) = S and satisfies the conclusion in Theorem 7? 3) Does there exists B M n such that W (B) = the square with vertices {1, 1, i, i} and satisfies the conclusion in Theorem 7? B = diag (1, 1, i, i) does not work.
14 k-positive maps Suppose S is an operator system of M m and k 1. For a fixed H, let Clearly, P k (S, H) = {Φ : S B(H) is k-positive}, and CP(S, H) = {Φ : S B(H) is completely posotive}. CP(S, H) P k (S, H) P 2 (S, H) P 1 (S, H) The previous results shows that we have CP(S, H) = P 1 (S, H) for 1) S = span(i, B, B ) with B M 2 or B = [b] B 1 M 3 and any H. 2) S = span(i, B 1, B 2, B 3 ) and dim H 3. Question: When will CP(S, H) = P k (S, H)?
15 Matrix range Let A B(H). For each m 1, Arveson defines the matrix range W n (A) = {Φ(A) : Φ is a unital completely positiive map from B(H) to M n } Theorem 8 (Arveson) 1) W n (A) is C convex. That is, given X 1,..., X k W n (A) and Z 1,..., Z k M n such that k i=1 Z i Z i = I n, we have k i=1 Z i X i Z i W n (A). W n (A) is the closure of the smallest C convex set containing W n (A). 2) Let A be a normal operator and let n 1. Then W n (A) is the closure of { r i=1 λ ih i : r 1, H i 0, λ i sp(t ) and r i=1 H i = I n } 3) For some irreducible operators, the sequence {W n (A)} n=1 is a complete invariant for unitary similarity.
16 Choi s representation theorem Theorem 9 (Choi) Suppose Φ : M n M m is a linear map. Then the following conditions are equivalent: (a) Φ is completely positive. (b) Φ is k-positive for k = min(m, n). (c) The Choi matrix C(Φ) = (Φ(E ij )) is positive semidefinite. (d) There exist V 1,..., V r M n, m such that Φ(A) = r j=1 V j AV j. (2) Furthermore, suppose (d) holds. Then we have (1) The map Φ is unital (Φ(I n ) = I m ) if and only if r j=1 V j V j = I m. (2) The map Φ is trace preserving ( tr (Φ(A)) = tr (A)) if and only if r j=1 V jv j = I n. The minimum of r in (2) is called the rank of Φ.
17 Joint matrix range Given n, m 1, let CP(n, m) be the set of unital completely positive maps from M n to M m. For 1 r mn, let CP r (n, m) be the set of Φ CP(n, m) of rank r. Clearly, CP 1 (n, m) CP 2 (n, m) CP mn (n, m) = CP(n, m) Let A = (A 1, A 2,..., A p ) H p n. For each m 1 and 1 r mn, define We have W r m(a) = {(Φ(A 1 ),..., Φ(A p )) : Φ CP r (n, m)} Wm(A) 1 Wm(A) 2 Wm mn (A) = W m (A) Toeplitz-Haudorff Theorem: W 1 1 (A 1, A 2 ) = W 1 (A 1, A 2 ). Question: When will W r m(a) = W m (A)? Note: W r m(a 1, A 2,..., A p ) = W 1 m(a 1 I r, A 2 I r,..., A p I r ).
18 Joint matrix range Theorem 10 Suppose A 1, A 2,..., A p H n. Let 1 r mn 1. Then W r m(a 1,..., A p ) = W m (A 1,..., A p ) (*) if m 2 (p + 1) 1 < (r + 1) 2 δ mn,r+1. For example, if p = k 2 1 and n > k, then W mk 1 m (A 1,..., A p ) = W m (A 1,..., A p ) for all A 1,..., A p H n. In this case, one can show that r = mk 1 is the smallest number for (*) to hold. Putting m = r = 1, we have W1 1(A 1,..., A p ) = W 1 (A 1,..., A p ) if p < 2 2 δ n,2 = 4 δ n,2. Therefore, W (A 1, A 2, A 3 ) is convex if n 3.
19 Joint matrix range Recall that for A = (A 1, A 2,..., A p ) H p n, Wm(A) 1 Wm(A) 2 Wm mn (A) = W m (A) Let S = span(i n, A 1, A 2,..., A p ) and H = C m. we have Define P k (A) = {(Φ(A 1 ),..., Φ(A p )) : Φ P k (S, H)} W m (A) P k (A) P 2 (A) P 1 (A) Note: P k (A) = W m (A) P k (S, M m ) = CP(S, M m ) For n 3, p = 3 we have W 1 1 (A) = P 1(A)
20 Compression of linear operators Recall that for A B(H) and m dim H, W m (A) = {B M m : B is a compression of A} Theorem 11 (Fan and Pall) Suppose A H n has eigenvalues a 1 a 2 a n and 1 m n. Then W m (A) consists of all B H m with eigenvalues b 1 b 2 b m satisfying the following inequalities: a i b i a n m+i for all 1 i m In particular, B W n 1 (A) if and only if a 1 b 1 a 2 b n 1 a n Suppose A M n is normal with eigenvalues a 1, a 2,..., a n. If a 1, a 2,..., a n C are collinear, then there exist c C and θ R such that e iθ A + ci n H n and we have W m (e iθ A + ci n ) = e iθ W m (A) + ci m
21 Compression of normal matrix Theorem 12 (Fan and Pall) Let A M n and B M n 1 be normal matrices with eigenvalues a 1, a 2,..., a n and b 1, b 2,..., b n 1, respectively. Suppose a 1, a 2,..., a q are each distinct from b 1, b 2,..., b q 1, while a i = b i 1 for q + 1 i n. Then B is a compression of A if and only if a 1, a 2,..., a q are collinear and every segment on this line limited by two adjacent a i s contains one b j, 1 j q 1. If no three a i s are collinear, then up to permutation of indices, we must have a i = b i for i = 1,..., n 2 and b n 1 a n 1 a n.
22 Compression of normal matrix Suppose A M n is normal with non-collinear eigenvalues a 1, a 2,..., a n. Let D m (A) = {diag (B) : B W m (A)} C m. Theorem 13 Suppose A M n is normal with non-collinear eigenvalues a 1, a 2,..., a n. Then the following conditions are equivalent: 1) D m (A) is convex. 2) W m (A) is convex. 3) W m (A) is C -convex. ( W 1 m(a) = W m (A) = W m (A)) 4) Every vertex of W (A) has multiplicity m.
23 Common compression of matrices Given A M n, B M m and 1 k n, m. A and B is said to have a common k-dimensional compression if there exist U M m,k and V M m,k such that U U = I k = V V and U AU = V BV. For m = k n, this is equivalent to the compression of Hermitian matrices studied by Fan and Pall. Extension of the result of Fan and Pall Theorem 14 Suppose and A H n and B H m have eigenvalues a 1 a 2 a n and b 1 b 2 b m, respectively, and 1 k n, m. Then B and C have a common k-dimensional compression if and only if the following inequalities hold: a i b m k+i and b i a n k+i for all 1 i k
24 Common compression of 3 3 normal matrices Theorem 15 Suppose A and B are 3 3 normal matrices with non collinear eigenvalues a 1, a 2, a 3 and b 1, b 2, b 3 respectively. Then 1) A and B have a common 2-dimensional compression C, with degenerate W (C) ( C is normal), if and only if either (a) W (A) and W (B) have a vertex in common and the corresponding opposite sides intersect, or (b) one vertex v of W (A) lies on an edge s of W (B) and the vertex v in W (B) opposite to s lies on the edge s in W (A) opposite to v.
25 Common compression 2) A and B have a common 2-dimensional compression C, with non-degenerate W (C) ( C is not normal), if and only if the following conditions are satisfied: (a) W (A) W (B) is an m-sided polygon P with m 3. (b) Every edge of W (A) and W (B) intersects a side of P at more than one point. (c) For m = 6, the diagonals of P are concurrent. m = 3 m = 4 m = 5 m = 6
Summer School on Quantum Information Science Taiyuan University of Technology
Summer School on Quantum Information Science Taiyuan University of Technology Yiu Tung Poon Department of Mathematics, Iowa State University, Ames, Iowa 50011, USA (ytpoon@iastate.edu). Quantum operations
More informationA functional model for commuting pairs of contractions and the symmetrized bidisc
A functional model for commuting pairs of contractions and the symmetrized bidisc Nicholas Young Leeds and Newcastle Universities Lecture 2 The symmetrized bidisc Γ and Γ-contractions St Petersburg, June
More informationThe Ultimate Estimate of the Upper Norm Bound for the Summation of Operators
The Ultimate Estimate of the Upper Norm Bound for the Summation of Operators Man-Duen Choi 1 Department of Mathematics, University of Toronto, Toronto, Ontario, Canada M5S 3G3 choi@math.toronto.edu and
More informationGENERALIZED NUMERICAL RANGES AND QUANTUM ERROR CORRECTION
J. OPERATOR THEORY 00:0(0000, 101 110 Copyright by THETA, 0000 GENERALIZED NUMERICAL RANGES AND QUANTUM ERROR CORRECTION CHI-KWONG LI and YIU-TUNG POON Communicated by Editor ABSTRACT. For a noisy quantum
More informationNumerical Ranges and Dilations. Dedicated to Professor Yik-Hoi Au-Yeung on the occasion of his retirement
Numerical Ranges and Dilations Dedicated to Professor Yik-Hoi Au-Yeung on the occasion of his retirement Man-Duen Choi Department of Mathematics, University of Toronto, Toronto, Ontario, Canada M5S 3G3.
More informationA 3 3 DILATION COUNTEREXAMPLE
A 3 3 DILATION COUNTEREXAMPLE MAN DUEN CHOI AND KENNETH R DAVIDSON Dedicated to the memory of William B Arveson Abstract We define four 3 3 commuting contractions which do not dilate to commuting isometries
More informationNOTES ON THE UNIQUE EXTENSION PROPERTY
NOTES ON THE UNIQUE EXTENSION PROPERTY WILLIAM ARVESON Abstract. In a recent paper, Dritschel and McCullough established the existence of completely positive maps of operator algebras that have a unique
More informationCharacterization of half-radial matrices
Characterization of half-radial matrices Iveta Hnětynková, Petr Tichý Faculty of Mathematics and Physics, Charles University, Sokolovská 83, Prague 8, Czech Republic Abstract Numerical radius r(a) is the
More informationElementary linear algebra
Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The
More informationCHI-KWONG LI AND YIU-TUNG POON. Dedicated to Professor John Conway on the occasion of his retirement.
INTERPOLATION BY COMPLETELY POSITIVE MAPS CHI-KWONG LI AND YIU-TUNG POON Dedicated to Professor John Conway on the occasion of his retirement. Abstract. Given commuting families of Hermitian matrices {A
More informationIsometries Between Matrix Algebras
Abstract Isometries Between Matrix Algebras Wai-Shun Cheung, Chi-Kwong Li 1 and Yiu-Tung Poon As an attempt to understand linear isometries between C -algebras without the surjectivity assumption, we study
More informationCLASSIFICATION OF COMPLETELY POSITIVE MAPS 1. INTRODUCTION
CLASSIFICATION OF COMPLETELY POSITIVE MAPS STEPHAN HOYER ABSTRACT. We define a completely positive map and classify all completely positive linear maps. We further classify all such maps that are trace-preserving
More informationThe PANORAMA. Numerical Ranges in. Modern Times. Man-Duen Choi 蔡文端. For the 12 th WONRA.
The PANORAMA of Numerical Ranges in Modern Times Man-Duen Choi 蔡文端 choi@math.toronto.edu For the 12 th WONRA In the last century, Toeplitz-Hausdorff Theorem, Ando-Arveson Dilation Theorem, In the 21 st
More informationThe following definition is fundamental.
1. Some Basics from Linear Algebra With these notes, I will try and clarify certain topics that I only quickly mention in class. First and foremost, I will assume that you are familiar with many basic
More informationOn positive maps in quantum information.
On positive maps in quantum information. Wladyslaw Adam Majewski Instytut Fizyki Teoretycznej i Astrofizyki, UG ul. Wita Stwosza 57, 80-952 Gdańsk, Poland e-mail: fizwam@univ.gda.pl IFTiA Gdańsk University
More informationNORMS ON SPACE OF MATRICES
NORMS ON SPACE OF MATRICES. Operator Norms on Space of linear maps Let A be an n n real matrix and x 0 be a vector in R n. We would like to use the Picard iteration method to solve for the following system
More informationON THE SIMILARITY OF CENTERED OPERATORS TO CONTRACTIONS. Srdjan Petrović
ON THE SIMILARITY OF CENTERED OPERATORS TO CONTRACTIONS Srdjan Petrović Abstract. In this paper we show that every power bounded operator weighted shift with commuting normal weights is similar to a contraction.
More informationCANONICAL FORMS, HIGHER RANK NUMERICAL RANGES, TOTALLY ISOTROPIC SUBSPACES, AND MATRIX EQUATIONS
CANONICAL FORMS, HIGHER RANK NUMERICAL RANGES, TOTALLY ISOTROPIC SUBSPACES, AND MATRIX EQUATIONS CHI-KWONG LI AND NUNG-SING SZE Abstract. Results on matrix canonical forms are used to give a complete description
More informationRational and H dilation
Rational and H dilation Michael Dritschel, Michael Jury and Scott McCullough 19 December 2014 Some definitions D denotes the unit disk in the complex plane and D its closure. The disk algebra, A(D), is
More informationTensor algebras and subproduct systems arising from stochastic matrices
Tensor algebras and subproduct systems arising from stochastic matrices Daniel Markiewicz (Ben-Gurion Univ. of the Negev) Joint Work with Adam Dor-On (Univ. of Waterloo) OAOT 2014 at ISI, Bangalore Daniel
More informationConvexity of the Joint Numerical Range
Convexity of the Joint Numerical Range Chi-Kwong Li and Yiu-Tung Poon October 26, 2004 Dedicated to Professor Yik-Hoi Au-Yeung on the occasion of his retirement. Abstract Let A = (A 1,..., A m ) be an
More informationLINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM
LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM Unless otherwise stated, all vector spaces in this worksheet are finite dimensional and the scalar field F is R or C. Definition 1. A linear operator
More informationb jσ(j), Keywords: Decomposable numerical range, principal character AMS Subject Classification: 15A60
On the Hu-Hurley-Tam Conjecture Concerning The Generalized Numerical Range Che-Man Cheng Faculty of Science and Technology, University of Macau, Macau. E-mail: fstcmc@umac.mo and Chi-Kwong Li Department
More informationC* ALGEBRAS AND THEIR REPRESENTATIONS
C* ALGEBRAS AND THEIR REPRESENTATIONS ILIJAS FARAH The original version of this note was based on two talks given by Efren Ruiz at the Toronto Set Theory seminar in November 2005. This very tentative note
More informationReview problems for MA 54, Fall 2004.
Review problems for MA 54, Fall 2004. Below are the review problems for the final. They are mostly homework problems, or very similar. If you are comfortable doing these problems, you should be fine on
More informationLinear Algebra Massoud Malek
CSUEB Linear Algebra Massoud Malek Inner Product and Normed Space In all that follows, the n n identity matrix is denoted by I n, the n n zero matrix by Z n, and the zero vector by θ n An inner product
More informationEigenvalue inequalities for convex and log-convex functions
Linear Algebra and its Applications 44 (007) 5 35 www.elsevier.com/locate/laa Eigenvalue inequalities for convex and log-convex functions Jaspal Singh Aujla a,, Jean-Christophe Bourin b a Department of
More informationSPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS
SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS G. RAMESH Contents Introduction 1 1. Bounded Operators 1 1.3. Examples 3 2. Compact Operators 5 2.1. Properties 6 3. The Spectral Theorem 9 3.3. Self-adjoint
More informationPOSITIVE MAP AS DIFFERENCE OF TWO COMPLETELY POSITIVE OR SUPER-POSITIVE MAPS
Adv. Oper. Theory 3 (2018), no. 1, 53 60 http://doi.org/10.22034/aot.1702-1129 ISSN: 2538-225X (electronic) http://aot-math.org POSITIVE MAP AS DIFFERENCE OF TWO COMPLETELY POSITIVE OR SUPER-POSITIVE MAPS
More informationMaximal vectors in Hilbert space and quantum entanglement
Maximal vectors in Hilbert space and quantum entanglement William Arveson arveson@math.berkeley.edu UC Berkeley Summer 2008 arxiv:0712.4163 arxiv:0801.2531 arxiv:0804.1140 Overview Quantum Information
More informationThe Choquet boundary of an operator system
1 The Choquet boundary of an operator system Matthew Kennedy (joint work with Ken Davidson) Carleton University Nov. 9, 2013 Operator systems and completely positive maps Definition An operator system
More informationINTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS
INTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS HANMING ZHANG Abstract. In this paper, we will first build up a background for representation theory. We will then discuss some interesting topics in
More informationLinear maps preserving AN -operators
Linear maps preserving AN -operators (Ritsumeikan University) co-author: Golla Ramesh (Indian Instiute of Technology Hyderabad) Numerical Range and Numerical Radii Max-Planck-Institute MPQ June 14, 2018
More informationPRODUCT OF OPERATORS AND NUMERICAL RANGE
PRODUCT OF OPERATORS AND NUMERICAL RANGE MAO-TING CHIEN 1, HWA-LONG GAU 2, CHI-KWONG LI 3, MING-CHENG TSAI 4, KUO-ZHONG WANG 5 Abstract. We show that a bounded linear operator A B(H) is a multiple of a
More informationDAVIS WIELANDT SHELLS OF NORMAL OPERATORS
DAVIS WIELANDT SHELLS OF NORMAL OPERATORS CHI-KWONG LI AND YIU-TUNG POON Dedicated to Professor Hans Schneider for his 80th birthday. Abstract. For a finite-dimensional operator A with spectrum σ(a), the
More informationLINEAR MAPS PRESERVING NUMERICAL RADIUS OF TENSOR PRODUCTS OF MATRICES
LINEAR MAPS PRESERVING NUMERICAL RADIUS OF TENSOR PRODUCTS OF MATRICES AJDA FOŠNER, ZEJUN HUANG, CHI-KWONG LI, AND NUNG-SING SZE Abstract. Let m, n 2 be positive integers. Denote by M m the set of m m
More informationj=1 [We will show that the triangle inequality holds for each p-norm in Chapter 3 Section 6.] The 1-norm is A F = tr(a H A).
Math 344 Lecture #19 3.5 Normed Linear Spaces Definition 3.5.1. A seminorm on a vector space V over F is a map : V R that for all x, y V and for all α F satisfies (i) x 0 (positivity), (ii) αx = α x (scale
More informationIr O D = D = ( ) Section 2.6 Example 1. (Bottom of page 119) dim(v ) = dim(l(v, W )) = dim(v ) dim(f ) = dim(v )
Section 3.2 Theorem 3.6. Let A be an m n matrix of rank r. Then r m, r n, and, by means of a finite number of elementary row and column operations, A can be transformed into the matrix ( ) Ir O D = 1 O
More informationMath 408 Advanced Linear Algebra
Math 408 Advanced Linear Algebra Chi-Kwong Li Chapter 4 Hermitian and symmetric matrices Basic properties Theorem Let A M n. The following are equivalent. Remark (a) A is Hermitian, i.e., A = A. (b) x
More informationThe C-Numerical Range in Infinite Dimensions
The C-Numerical Range in Infinite Dimensions Frederik vom Ende Technical University of Munich June 17, 2018 WONRA 2018 Joint work with Gunther Dirr (University of Würzburg) Frederik vom Ende (TUM) C-Numerical
More informationREPRESENTATION THEORY WEEK 7
REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable
More informationDuke University, Department of Electrical and Computer Engineering Optimization for Scientists and Engineers c Alex Bronstein, 2014
Duke University, Department of Electrical and Computer Engineering Optimization for Scientists and Engineers c Alex Bronstein, 2014 Linear Algebra A Brief Reminder Purpose. The purpose of this document
More informationThroughout these notes we assume V, W are finite dimensional inner product spaces over C.
Math 342 - Linear Algebra II Notes Throughout these notes we assume V, W are finite dimensional inner product spaces over C 1 Upper Triangular Representation Proposition: Let T L(V ) There exists an orthonormal
More informationPositive and doubly stochastic maps, and majorization in Euclidean Jordan algebras
Positive and doubly stochastic maps, and majorization in Euclidean Jordan algebras M. Seetharama Gowda Department of Mathematics and Statistics University of Maryland, Baltimore County Baltimore, Maryland
More informationPart IA. Vectors and Matrices. Year
Part IA Vectors and Matrices Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2018 Paper 1, Section I 1C Vectors and Matrices For z, w C define the principal value of z w. State de Moivre s
More informationLinear Algebra and Dirac Notation, Pt. 2
Linear Algebra and Dirac Notation, Pt. 2 PHYS 500 - Southern Illinois University February 1, 2017 PHYS 500 - Southern Illinois University Linear Algebra and Dirac Notation, Pt. 2 February 1, 2017 1 / 14
More information2. Linear algebra. matrices and vectors. linear equations. range and nullspace of matrices. function of vectors, gradient and Hessian
FE661 - Statistical Methods for Financial Engineering 2. Linear algebra Jitkomut Songsiri matrices and vectors linear equations range and nullspace of matrices function of vectors, gradient and Hessian
More informationDistance Preserving Maps on Matrices. Chi-Kwong Li Department of Mathematics College of William and Mary Williamsburg, Virginia
Distance Preserving Maps on Matrices Chi-Kwong Li Department of Mathematics College of William and Mary Williamsburg, Virginia 23187-8795 General problem Suppose is a norm on a matrix space M. Characterize
More informationSymmetric and self-adjoint matrices
Symmetric and self-adjoint matrices A matrix A in M n (F) is called symmetric if A T = A, ie A ij = A ji for each i, j; and self-adjoint if A = A, ie A ij = A ji or each i, j Note for A in M n (R) that
More informationREPRESENTATION THEORY WEEK 5. B : V V k
REPRESENTATION THEORY WEEK 5 1. Invariant forms Recall that a bilinear form on a vector space V is a map satisfying B : V V k B (cv, dw) = cdb (v, w), B (v 1 + v, w) = B (v 1, w)+b (v, w), B (v, w 1 +
More informationJ. Mićić, J. Pečarić () Operator means for convex functions Convexity and Applications 1 / 32
J. Mićić, J. Pečarić () Operator means for convex functions Convexity and Applications 1 / 32 Contents Contents 1 Introduction Generalization of Jensen s operator inequality Generalization of converses
More informationarxiv: v1 [quant-ph] 24 May 2011
Geometry of entanglement witnesses for two qutrits Dariusz Chruściński and Filip A. Wudarski Institute of Physics, Nicolaus Copernicus University, Grudzi adzka 5/7, 87 100 Toruń, Poland May 25, 2011 arxiv:1105.4821v1
More informationAsymptotic behaviour of Hilbert space operators with applications. Theses of Ph. D. dissertation. Supervisor:
Asymptotic behaviour of Hilbert space operators with applications Theses of Ph. D. dissertation György Pál Gehér Supervisor: Prof. László Kérchy Doctoral School in Mathematics and Computer Science University
More informationI. Multiple Choice Questions (Answer any eight)
Name of the student : Roll No : CS65: Linear Algebra and Random Processes Exam - Course Instructor : Prashanth L.A. Date : Sep-24, 27 Duration : 5 minutes INSTRUCTIONS: The test will be evaluated ONLY
More informationLinear Algebra. Workbook
Linear Algebra Workbook Paul Yiu Department of Mathematics Florida Atlantic University Last Update: November 21 Student: Fall 2011 Checklist Name: A B C D E F F G H I J 1 2 3 4 5 6 7 8 9 10 xxx xxx xxx
More informationRANKS OF QUANTUM STATES WITH PRESCRIBED REDUCED STATES
RANKS OF QUANTUM STATES WITH PRESCRIBED REDUCED STATES CHI-KWONG LI, YIU-TUNG POON, AND XUEFENG WANG Abstract. Let M n be the set of n n complex matrices. in this note, all the possible ranks of a bipartite
More informationMatrix Theory, Math6304 Lecture Notes from October 25, 2012
Matrix Theory, Math6304 Lecture Notes from October 25, 2012 taken by John Haas Last Time (10/23/12) Example of Low Rank Perturbation Relationship Between Eigenvalues and Principal Submatrices: We started
More information3. Vector spaces 3.1 Linear dependence and independence 3.2 Basis and dimension. 5. Extreme points and basic feasible solutions
A. LINEAR ALGEBRA. CONVEX SETS 1. Matrices and vectors 1.1 Matrix operations 1.2 The rank of a matrix 2. Systems of linear equations 2.1 Basic solutions 3. Vector spaces 3.1 Linear dependence and independence
More informationTwo-sided multiplications and phantom line bundles
Two-sided multiplications and phantom line bundles Ilja Gogić Department of Mathematics University of Zagreb 19th Geometrical Seminar Zlatibor, Serbia August 28 September 4, 2016 joint work with Richard
More information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
More informationNumerical range and random matrices
Numerical range and random matrices Karol Życzkowski in collaboration with P. Gawron, J. Miszczak, Z. Pucha la (Gliwice), C. Dunkl (Virginia), J. Holbrook (Guelph), B. Collins (Ottawa) and A. Litvak (Edmonton)
More informationMath Homework 8 (selected problems)
Math 102 - Homework 8 (selected problems) David Lipshutz Problem 1. (Strang, 5.5: #14) In the list below, which classes of matrices contain A and which contain B? 1 1 1 1 A 0 0 1 0 0 0 0 1 and B 1 1 1
More informationMajorization-preserving quantum channels
Majorization-preserving quantum channels arxiv:1209.5233v2 [quant-ph] 15 Dec 2012 Lin Zhang Institute of Mathematics, Hangzhou Dianzi University, Hangzhou 310018, PR China Abstract In this report, we give
More informationNumerical Ranges of the Powers of an Operator
Numerical Ranges of the Powers of an Operator Man-Duen Choi 1 Department of Mathematics, University of Toronto, Toronto, Ontario, Canada M5S 2E4 E-mail: choi@math.toronto.edu Chi-Kwong Li 2 Department
More informationNOTES ON THE NUMERICAL RANGE
NOTES ON THE NUMERICAL RANGE JOEL H. SHAPIRO Abstract. This is an introduction to the notion of numerical range for bounded linear operators on Hilbert space. The main results are: determination of the
More informationOperators with numerical range in a closed halfplane
Operators with numerical range in a closed halfplane Wai-Shun Cheung 1 Department of Mathematics, University of Hong Kong, Hong Kong, P. R. China. wshun@graduate.hku.hk Chi-Kwong Li 2 Department of Mathematics,
More informationFunctional Analysis Review
Outline 9.520: Statistical Learning Theory and Applications February 8, 2010 Outline 1 2 3 4 Vector Space Outline A vector space is a set V with binary operations +: V V V and : R V V such that for all
More information1 Positive and completely positive linear maps
Part 5 Functions Matrices We study functions on matrices related to the Löwner (positive semidefinite) ordering on positive semidefinite matrices that A B means A B is positive semi-definite. Note that
More informationA Brief Introduction to Functional Analysis
A Brief Introduction to Functional Analysis Sungwook Lee Department of Mathematics University of Southern Mississippi sunglee@usm.edu July 5, 2007 Definition 1. An algebra A is a vector space over C with
More informationAsymptotic behaviour of Hilbert space operators with applications
Asymptotic behaviour of Hilbert space operators with applications A Dissertation Presented for the Doctor of Philosophy Degree György Pál Gehér Supervisor: László Kérchy Professor Doctoral School in Mathematics
More informationA CHARACTERIZATION OF THE OPERATOR-VALUED TRIANGLE EQUALITY
J. OPERATOR THEORY 58:2(2007), 463 468 Copyright by THETA, 2007 A CHARACTERIZATION OF THE OPERATOR-VALUED TRIANGLE EQUALITY TSUYOSHI ANDO and TOMOHIRO HAYASHI Communicated by William B. Arveson ABSTRACT.
More informationCP3 REVISION LECTURES VECTORS AND MATRICES Lecture 1. Prof. N. Harnew University of Oxford TT 2013
CP3 REVISION LECTURES VECTORS AND MATRICES Lecture 1 Prof. N. Harnew University of Oxford TT 2013 1 OUTLINE 1. Vector Algebra 2. Vector Geometry 3. Types of Matrices and Matrix Operations 4. Determinants
More informationLecture 3: Review of Linear Algebra
ECE 83 Fall 2 Statistical Signal Processing instructor: R Nowak Lecture 3: Review of Linear Algebra Very often in this course we will represent signals as vectors and operators (eg, filters, transforms,
More informationClassical stuff - title to be changed later
CHAPTER 1 Classical stuff - title to be changed later 1. Positive Definite Kernels To start with something simple and elegant, we choose positive definite kernels which appear at every corner in functional
More informationLecture 3: Review of Linear Algebra
ECE 83 Fall 2 Statistical Signal Processing instructor: R Nowak, scribe: R Nowak Lecture 3: Review of Linear Algebra Very often in this course we will represent signals as vectors and operators (eg, filters,
More informationNumerical Range in C*-Algebras
Journal of Mathematical Extension Vol. 6, No. 2, (2012), 91-98 Numerical Range in C*-Algebras M. T. Heydari Yasouj University Abstract. Let A be a C*-algebra with unit 1 and let S be the state space of
More informationA matrix problem and a geometry problem
University of Szeged, Bolyai Institute and MTA-DE "Lendület" Functional Analysis Research Group, University of Debrecen Seminar University of Primorska, Koper Theorem (L. Molnár and W. Timmermann, 2011)
More informationAlgebra C Numerical Linear Algebra Sample Exam Problems
Algebra C Numerical Linear Algebra Sample Exam Problems Notation. Denote by V a finite-dimensional Hilbert space with inner product (, ) and corresponding norm. The abbreviation SPD is used for symmetric
More informationChapter 6: Orthogonality
Chapter 6: Orthogonality (Last Updated: November 7, 7) These notes are derived primarily from Linear Algebra and its applications by David Lay (4ed). A few theorems have been moved around.. Inner products
More informationAndo dilation and its applications
Ando dilation and its applications Bata Krishna Das Indian Institute of Technology Bombay OTOA - 2016 ISI Bangalore, December 20 (joint work with J. Sarkar and S. Sarkar) Introduction D : Open unit disc.
More informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationQuantum Computing Lecture 2. Review of Linear Algebra
Quantum Computing Lecture 2 Review of Linear Algebra Maris Ozols Linear algebra States of a quantum system form a vector space and their transformations are described by linear operators Vector spaces
More informationThe optimal version of Hua s fundamental theorem of geometry of rectangular matrices
The optimal version of Hua s fundamental theorem of geometry of rectangular matrices Peter Šemrl Faculty of Mathematics and Physics University of Ljubljana Jadranska 19 SI-1 Ljubljana Slovenia peter.semrl@fmf.uni-lj.si
More informationLinear Algebra - Part II
Linear Algebra - Part II Projection, Eigendecomposition, SVD (Adapted from Sargur Srihari s slides) Brief Review from Part 1 Symmetric Matrix: A = A T Orthogonal Matrix: A T A = AA T = I and A 1 = A T
More information1 Linear Algebra Problems
Linear Algebra Problems. Let A be the conjugate transpose of the complex matrix A; i.e., A = A t : A is said to be Hermitian if A = A; real symmetric if A is real and A t = A; skew-hermitian if A = A and
More informationarxiv:math/ v1 [math.oa] 9 May 2005
arxiv:math/0505154v1 [math.oa] 9 May 2005 A GENERALIZATION OF ANDÔ S THEOREM AND PARROTT S EXAMPLE DAVID OPĚLA Abstract. Andô s theorem states that any pair of commuting contractions on a Hilbert space
More informationON SPECTRA OF LÜDERS OPERATIONS
ON SPECTRA OF LÜDERS OPERATIONS GABRIEL NAGY Abstract. We show that the all eigenvalues of certain generalized Lüders operations are non-negative real numbers, in two cases of interest. In particular,
More informationTHE CHOQUET BOUNDARY OF AN OPERATOR SYSTEM
THE CHOQUET BOUNDARY OF AN OPERATOR SYSTEM KENNETH R. DAVIDSON AND MATTHEW KENNEDY Abstract. We show that every operator system (and hence every unital operator algebra) has sufficiently many boundary
More informationFiberwise two-sided multiplications on homogeneous C*-algebras
Fiberwise two-sided multiplications on homogeneous C*-algebras Ilja Gogić Department of Mathematics University of Zagreb XX Geometrical Seminar Vrnjačka Banja, Serbia May 20 23, 2018 joint work with Richard
More informationReal symmetric matrices/1. 1 Eigenvalues and eigenvectors
Real symmetric matrices 1 Eigenvalues and eigenvectors We use the convention that vectors are row vectors and matrices act on the right. Let A be a square matrix with entries in a field F; suppose that
More informationSpectral Theory, with an Introduction to Operator Means. William L. Green
Spectral Theory, with an Introduction to Operator Means William L. Green January 30, 2008 Contents Introduction............................... 1 Hilbert Space.............................. 4 Linear Maps
More informationDefinition 1. A set V is a vector space over the scalar field F {R, C} iff. there are two operations defined on V, called vector addition
6 Vector Spaces with Inned Product Basis and Dimension Section Objective(s): Vector Spaces and Subspaces Linear (In)dependence Basis and Dimension Inner Product 6 Vector Spaces and Subspaces Definition
More informationGQE ALGEBRA PROBLEMS
GQE ALGEBRA PROBLEMS JAKOB STREIPEL Contents. Eigenthings 2. Norms, Inner Products, Orthogonality, and Such 6 3. Determinants, Inverses, and Linear (In)dependence 4. (Invariant) Subspaces 3 Throughout
More informationStructure of Unital Maps and the Asymptotic Quantum Birkhoff Conjecture. Peter Shor MIT Cambridge, MA Joint work with Anand Oza and Dimiter Ostrev
Structure of Unital Maps and the Asymptotic Quantum Birkhoff Conjecture Peter Shor MIT Cambridge, MA Joint work with Anand Oza and Dimiter Ostrev The Superposition Principle (Physicists): If a quantum
More informationLinear Algebra Review. Vectors
Linear Algebra Review 9/4/7 Linear Algebra Review By Tim K. Marks UCSD Borrows heavily from: Jana Kosecka http://cs.gmu.edu/~kosecka/cs682.html Virginia de Sa (UCSD) Cogsci 8F Linear Algebra review Vectors
More informationEE/ACM Applications of Convex Optimization in Signal Processing and Communications Lecture 2
EE/ACM 150 - Applications of Convex Optimization in Signal Processing and Communications Lecture 2 Andre Tkacenko Signal Processing Research Group Jet Propulsion Laboratory April 5, 2012 Andre Tkacenko
More informationMathematical foundations - linear algebra
Mathematical foundations - linear algebra Andrea Passerini passerini@disi.unitn.it Machine Learning Vector space Definition (over reals) A set X is called a vector space over IR if addition and scalar
More informationJENSEN S OPERATOR INEQUALITY AND ITS CONVERSES
MAH. SCAND. 100 (007, 61 73 JENSEN S OPERAOR INEQUALIY AND IS CONVERSES FRANK HANSEN, JOSIP PEČARIĆ and IVAN PERIĆ (Dedicated to the memory of Gert K. Pedersen Abstract We give a general formulation of
More informationAlgebraic Theory of Entanglement
Algebraic Theory of (arxiv: 1205.2882) 1 (in collaboration with T.R. Govindarajan, A. Queiroz and A.F. Reyes-Lega) 1 Physics Department, Syracuse University, Syracuse, N.Y. and The Institute of Mathematical
More informationLecture notes: Applied linear algebra Part 1. Version 2
Lecture notes: Applied linear algebra Part 1. Version 2 Michael Karow Berlin University of Technology karow@math.tu-berlin.de October 2, 2008 1 Notation, basic notions and facts 1.1 Subspaces, range and
More information