CP-Invariance and Complete Positivity in Quantum Information Theory
|
|
- Gerald Hampton
- 6 years ago
- Views:
Transcription
1 in Quantum Information Theory D. W. Kribs, V. I. Paulsen, R. Pereira, and E. Størmer University of Guelph December 10, 2011
2 Order of Events Operator Systems on Complex Matrices Positive and Completely Positive Maps Operator Systems Right-CP-Invariant Cones Minimal and Maximal Operator Systems Other CP-Invariant Cones from Quantum Information Theory
3 Cones and Completely Positive Maps Operator Systems Positive and Completely Positive Maps What are Cones and Completely Positive Maps? We will be mostly concerned with the space of n n complex matrices M n. A cone C M n is a set of Hermitian operators that is invariant under positive scaling. A cone C is called convex if X + Y C whenever X, Y C.
4 Cones and Completely Positive Maps Operator Systems Positive and Completely Positive Maps What are Cones and Completely Positive Maps? We can also consider cones of linear maps acting on M n (i.e., in L(M n )). A cone C L(M n ) is a set of Hermiticity-preserving maps that is invariant under positive scaling. An adjoint map is a map of the form X A XA, where A denotes the adjoint operator of A. We will denote this map by Ad A. The set of adjoint maps is a cone. Its convex hull is the cone of completely positive maps.
5 What is an Operator System? Cones and Completely Positive Maps Operator Systems Positive and Completely Positive Maps An (abstract) operator system on M n is a family of convex cones C m M m M n (one cone for each m N) that satisfy two properties: 1. C 1 = M + n, the cone of positive-semidefinite operators in M n ; and 2. for each m 1, m 2 N and A M m1,m 2 we have (Ad A id n )(C m1 ) C m2. Intuitively, these restrictions say that each cone C m is somehow like the cone M + n.
6 Cones and Completely Positive Maps Operator Systems Positive and Completely Positive Maps Examples of Operator Systems on M n Quantum information theorists are actually familiar with some operator systems on M n already. The most natural operator system on M n is the one that arises by making the association M m M n = Mmn in the natural way and letting C m = M + mn; the cone of positive semidefinite operators. Keep this naïve operator system in mind! We will denote this naïve operator system simply by M n. We will denote other general operator systems on M n by things like O 1 and O 2.
7 Cones and Completely Positive Maps Operator Systems Positive and Completely Positive Maps Examples of Operator Systems on M n An operator X M m M n is called separable if it can be written as X = i p i ψ i ψ i φ i φ i, p i 0 i. If we let S m be the cone of separable operators in M m M n, then {S m } is an operator system (which we will denote by OMAX ). An operator X M m M n is called block positive if ( a b )X ( a b ) 0 for all a C m, b C n. If we let P m be the cone of block positive operators in M m M n, then {P m } is an operator system (which we will denote by OMIN).
8 Positive Maps Cones and Completely Positive Maps Operator Systems Positive and Completely Positive Maps A map on M n is called positive if it preserves positive semidefiniteness. That is, Φ L(M n ) is positive if Φ(X ) M + n whenever X M + n. Positive maps play an important role in quantum information theory (particularly in entanglement theory). We will denote the set of postive maps by P. We often want a stronger condition than positivity when dealing with operator systems though. We don t just want the cones C 1 to be preserved, but we want all of the cones {C m } to be preserved.
9 Completely Positive Maps Cones and Completely Positive Maps Operator Systems Positive and Completely Positive Maps Suppose we are given operator systems O 1 and O 2, defined by cones {C m } and {D m }, respectively. A map Φ L(M n ) is called completely positive from O 1 to O 2 if (id m Φ)(C m ) D m for all m. The set of completely positive maps from O 1 to O 2 will be denoted by CP(O 1, O 2 ). CP(M n, M n ) is the usual set of completely positive maps that quantum information theorists know and love. For brevity, we will denote it simply by CP.
10 Uniqueness of Operator Systems Uniqueness of Operator Systems Right-CP-Invariant Cones Operator Systems Right-CP-Invariant Cones The main workhorse that allows us to deal with operator systems is the following result, which says that they are uniquely determined by the nth cone that is, the cone C n M n M n. Proposition Let C n M n M n be a convex cone such that S n C n P n ; and (Ad A id n )(C n ) C n for all A M n. Then there exists a unique family of cones {C m } m n such that {C m } m=1 defines an operator system on M n.
11 Uniqueness of Operator Systems Uniqueness of Operator Systems Right-CP-Invariant Cones Operator Systems Right-CP-Invariant Cones Corollary Let Φ : M n M n and let O 1 and O 2 be operator systems defined by families of cones {C m } m=1 and {D m} m=1, respectively. Then Φ CP(O 1, O 2 ) if and only if (id n Φ)(C n ) D n. The above result generalizes the well-known result of Choi that says that Φ is completely positive if and only if it is n-positive.
12 What is a Right-CP-Invariant Cone? Uniqueness of Operator Systems Right-CP-Invariant Cones Operator Systems Right-CP-Invariant Cones Observe that if Φ 1 CP(O 1, O 2 ) and Φ 2 CP(O 2, O 3 ), then Φ 2 Φ 1 CP(O 1, O 3 ). In particular, if Φ 1 CP and Φ 2 CP(M n, O), then Φ 2 Φ 1 CP(M n, O). We use the term right-cp-invariant for cones C L(M n ) with the property that C CP = C.
13 Left-CP-Invariant and Mapping Cones Uniqueness of Operator Systems Right-CP-Invariant Cones Operator Systems Right-CP-Invariant Cones We just saw that CP(M n, O) is always right-cp-invariant. Similarly, CP(O, M n ) is always left-cp-invariant. A cone that is both left-cp-invariant and right-cp-invariant is called a mapping cone such cones are well-studied for independent reasons in operator theory. Examples of mapping cones include the cones of positive, completely positive, and entanglement-breaking maps (denoted by P, CP, and S, respectively).
14 Uniqueness of Operator Systems Right-CP-Invariant Cones Operator Systems Right-CP-Invariant Cones Operator Systems Right-CP-Invariant Cones Recall that CP(M n, O) is always right-cp-invariant. It turns out that right-cp-invariance completely characterizes the possible cones of completely positive maps. Theorem Let C L(M n ) be a convex cone. The following are equivalent: C is right-cp-invariant with S C P. There exists an operator system O such that C = CP(M n, O). Furthermore, if O is defined by the cones {C m } m=1 then C n is the cone of Choi matrices of maps in C. Thus, O is uniquely determined by C.
15 Basic Examples Uniqueness of Operator Systems Right-CP-Invariant Cones Operator Systems Right-CP-Invariant Cones The previous theorem established a bijection between operator systems and right-cp-invariant cones, and furthermore showed that bijection is essentially the same as the Choi-Jamio lkowski isomorphism. The naïve operator system M n corresponds to the cone of standard completely positive maps CP(M n, M n ). The operator system OMIN, defined by the cones of block-positive operators {P m }, corresponds to the cone of positive maps P. OMIN is the largest possible operator system. The operator system OMAX, defined by the cones of separable operators {S m }, corresponds to the cone of entanglement-breaking maps S. OMAX is the smallest possible operator system.
16 k-positive Maps k-positive and k-entanglement Breaking Maps Anti-Degradable and Local k-broadcasting Maps A linear map Φ L(M n ) is called k-positive if id k Φ is positive. k-positive maps play a role in entanglement theory analogous to the role of positive maps they help distinguish states with Schmidt number k from those with Schmidt number > k. The cone of k-positive maps is right-cp-invariant. The cones that define the corresponding operator system are the cones of k-block positive operators. That is, operators such that v X v 0 whenever the Schmidt rank of v is k. This operator system is called the super k-minimal operator system, denoted OMIN k. It is the largest operator system {C m } such that C m = M + mn for 1 m k.
17 k-entanglement Breaking Maps k-positive and k-entanglement Breaking Maps Anti-Degradable and Local k-broadcasting Maps A linear map Φ L(M n ) is called k-entanglement breaking if (id n Φ)(X ) has Schmidt number k for any X M + n 2. The cone of k-entanglement breaking maps is right-cp-invariant. The operator system associated with the cone of k-entanglement breaking maps is defined by the cones of operators with Schmidt rank k. This operator system is called the super k-maximal operator system, denoted OMAX k. It is the smallest operator system {C m } such that C m = M + mn for 1 m k.
18 Anti-Degradable Maps k-positive and k-entanglement Breaking Maps Anti-Degradable and Local k-broadcasting Maps A map Φ CP is called anti-degradable if there exists Ψ CP such that Ψ Φ C = Φ, where Φ C is the complementary map of Φ. The cone of anti-degradable maps is convex and right-cp-invariant. This cone is not left-cp-invariant. The operator system it gives rise to does not seem to be one that has been studied in operator theory.
19 Anti-Degradable Maps k-positive and k-entanglement Breaking Maps Anti-Degradable and Local k-broadcasting Maps An operator X (M m M n ) + is called shareable if there exists X (M m M n M n ) + such that Tr 2 ( X ) = Tr 3 ( X ) = X. We will denote by H m M m M n the set of shareable operators. The Choi matrix of an anti-degradable map is a shareable operator, and a shareable operator is always the Choi matrix of some anti-degradable map. The operator system associated with the cone of anti-degradable maps is {H m }.
20 Local k-broadcasting Maps k-positive and k-entanglement Breaking Maps Anti-Degradable and Local k-broadcasting Maps A map Φ CP is called local k-broadcasting if there exists a completely positive Φ : M n Mn k with the property that Φ = Tr i Φ for all 1 i k. In the k = 2 case, these are exactly the anti-degradable maps (slightly non-trivial, but not horribly so). These cones, like the cone of anti-degradable maps, are convex and right-cp-invariant. These cones are not left-cp-invariant (except in the trivial k = 1 and k = cases, in which case we get the cones of completely positive and entanglement breaking maps, respectively).
21 Local k-broadcasting Maps k-positive and k-entanglement Breaking Maps Anti-Degradable and Local k-broadcasting Maps An operator X (M m M n ) + is called k-shareable if there exists X (M m M k n ) + such that Tr i ( X ) = X for all 2 i k + 1. We will denote by H k m M m M n the set of k-shareable operators. The Choi matrix of a local k-broadcasting map is a k-shareable operator, and a k-shareable operator is always the Choi matrix of some local k-broadcasting map. The operator system associated with the cone of local k-broadcasting maps is {H k m}. These operator systems provide a natural (infinite) hierarchy that interpolates between M n and OMAX.
22 Open Questions Open Questions Further Reading 1. What other natural convex cones are right-cp-invariant? a) A possible example is the cone of locally entanglement-annihilating maps: maps Φ such that (Φ Φ)(X ) S n for all X (M n M n ) +. This cone is right-cp-invariant (and left-cp-invariant), but is it convex? b) What about the set of entanglement binding maps? This set is right-cp-invariant. However, it is convex (and hence corresonds to an operator system) if and only if all bound entangled states are PPT (decade-old open problem). 2. This seems to be a strong link between quantum information theory and operator theory. Find applications going in either direction!
23 Further Reading Open Questions Further Reading N. J., D. W. Kribs, V. I. Paulsen, and R. Pereira, Minimal and maximal operator spaces and operator systems in entanglement theory. J. Funct. Anal , (2011). E-print: arxiv: [math.oa] N. J. and E. Størmer, Mapping cones are operator systems. Preprint (2011). E-print: arxiv: [math.oa]
MINIMAL AND MAXIMAL OPERATOR SPACES AND OPERATOR SYSTEMS IN ENTANGLEMENT THEORY
MINIMAL AND MAXIMAL OPERATOR SPACES AND OPERATOR SYSTEMS IN ENTANGLEMENT THEORY NATHANIEL JOHNSTON, DAVID W KRIBS, VERN I PAULSEN, AND RAJESH PEREIRA Abstract We examine k-minimal and k-maximal operator
More informationVarious notions of positivity for bi-linear maps and applications to tri-partite entanglement
Various notions of positivity for bi-linear maps and applications to tri-partite entanglement 2015.06.16., Waterloo Seung-Hyeok Kye (Seoul National University) a joint work with Kyung Hoon Han [arxiv:1503.05995]
More informationarxiv: v2 [math.oa] 7 Dec 2017
COMPOSITIONS OF PPT MAPS MATTHEW KENNEDY, NICHOLAS A. MANOR, AND VERN I. PAULSEN arxiv:1710.08475v2 [math.oa] 7 Dec 2017 Abstract. M. Christandl conjectured that the composition of any trace preserving
More informationCompression, Matrix Range and Completely Positive Map
Compression, Matrix Range and Completely Positive Map Iowa State University Iowa-Nebraska Functional Analysis Seminar November 5, 2016 Definitions and notations H, K : Hilbert space. If dim H = n
More informationLecture 7: Semidefinite programming
CS 766/QIC 820 Theory of Quantum Information (Fall 2011) Lecture 7: Semidefinite programming This lecture is on semidefinite programming, which is a powerful technique from both an analytic and computational
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 informationENTANGLED STATES ARISING FROM INDECOMPOSABLE POSITIVE LINEAR MAPS. 1. Introduction
Trends in Mathematics Information Center for Mathematical Sciences Volume 6, Number 2, December, 2003, Pages 83 91 ENTANGLED STATES ARISING FROM INDECOMPOSABLE POSITIVE LINEAR MAPS SEUNG-HYEOK KYE Abstract.
More informationRestricted Numerical Range and some its applications
Restricted Numerical Range and some its applications Karol Życzkowski in collaboration with P. Gawron, J. Miszczak, Z. Pucha la (Gliwice), L. Skowronek (Kraków), M.D. Choi (Toronto), C. Dunkl (Virginia)
More informationENTANGLEMENT BREAKING QUANTUM CHANNELS AND THE PPT-SQUARED CONJECTURE
ENTANGLEMENT BREAKING QUANTUM CHANNELS AND THE PPT-SQUARED CONJECTURE NICHOLAS A. MANOR Abstract. Entanglement is a valuable resource in quantum information, therefore we would like to better understand
More informationFINDING DECOMPOSITIONS OF A CLASS OF SEPARABLE STATES
FINDING DECOMPOSITIONS OF A CLASS OF SEPARABLE STATES ERIK ALFSEN AND FRED SHULTZ Abstract. We consider the class of separable states which admit a decomposition i A i B i with the B i s having independent
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 informationSummer 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 informationarxiv: v3 [quant-ph] 5 Jun 2015
Entanglement and swap of quantum states in two qubits Takaya Ikuto and Satoshi Ishizaka Graduate School of Integrated Arts and Sciences, Hiroshima University, Higashihiroshima, 739-8521, Japan (Dated:
More informationDuality and alternative forms for semidefinite programs
Lecture 2 Duality and alternative forms for semidefinite programs 2.1 Duality It is, of course, not an accident that we had that the primal and dual optimal values were equal in the previous example this
More informationFACIAL STRUCTURES FOR SEPARABLE STATES
J. Korean Math. Soc. 49 (202), No. 3, pp. 623 639 http://dx.doi.org/0.434/jkms.202.49.3.623 FACIAL STRUCTURES FOR SEPARABLE STATES Hyun-Suk Choi and Seung-Hyeok Kye Abstract. The convex cone V generated
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 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 informationA PRIMER ON SESQUILINEAR FORMS
A PRIMER ON SESQUILINEAR FORMS BRIAN OSSERMAN This is an alternative presentation of most of the material from 8., 8.2, 8.3, 8.4, 8.5 and 8.8 of Artin s book. Any terminology (such as sesquilinear form
More informationCS286.2 Lecture 13: Quantum de Finetti Theorems
CS86. Lecture 13: Quantum de Finetti Theorems Scribe: Thom Bohdanowicz Before stating a quantum de Finetti theorem for density operators, we should define permutation invariance for quantum states. Let
More informationQuantum Symmetric States
Quantum Symmetric States Ken Dykema Department of Mathematics Texas A&M University College Station, TX, USA. Free Probability and the Large N limit IV, Berkeley, March 2014 [DK] K. Dykema, C. Köstler,
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 informationApplication of Structural Physical Approximation to Partial Transpose in Teleportation. Satyabrata Adhikari Delhi Technological University (DTU)
Application of Structural Physical Approximation to Partial Transpose in Teleportation Satyabrata Adhikari Delhi Technological University (DTU) Singlet fraction and its usefulness in Teleportation Singlet
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 informationQuantum entanglement and symmetry
Journal of Physics: Conference Series Quantum entanglement and symmetry To cite this article: D Chrucisi and A Kossaowsi 2007 J. Phys.: Conf. Ser. 87 012008 View the article online for updates and enhancements.
More informationAn Interpolation Problem by Completely Positive Maps and its. Quantum Cloning
An Interpolation Problem by Completely Positive Maps and its Application in Quantum Cloning College of Mathematics and Information Science, Shaanxi Normal University, Xi an, China, 710062 gzhihua@tom.com
More informationAN INTERPOLATION PROBLEM FOR COMPLETELY POSITIVE MAPS ON MATRIX ALGEBRAS: SOLVABILITY AND PARAMETRISATION
AN INTERPOLATION PROBLEM FOR COMPLETELY POSITIVE MAPS ON MATRIX ALGEBRAS: SOLVABILITY AND PARAMETRISATION arxiv:1308.0667v2 [math.oa] 30 Aug 2013 Abstract. We present certain existence criteria and parameterisations
More informationGeometry of sets of quantum maps: a generic positive map acting on a high-dimensional system is not completely positive
Geometry of sets of quantum maps: a generic positive map acting on a high-dimensional system is not completely positive Stanis law J. Szarek 1,2, Elisabeth Werner 1,3, and Karol Życzkowski4,5 1 Case Western
More informationMATH 583A REVIEW SESSION #1
MATH 583A REVIEW SESSION #1 BOJAN DURICKOVIC 1. Vector Spaces Very quick review of the basic linear algebra concepts (see any linear algebra textbook): (finite dimensional) vector space (or linear space),
More informationarxiv: v1 [quant-ph] 11 Aug 2014
arxiv:1408.2340v1 [quant-ph] 11 Aug 2014 QUANTUM CHANNELS WITH POLYTOPIC IMAGES AND IMAGE ADDITIVITY MOTOHISA FUKUDA, ION NECHITA, AND MICHAEL M. WOLF Abstract. We study quantum channels with respect to
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 informationOctober 25, 2013 INNER PRODUCT SPACES
October 25, 2013 INNER PRODUCT SPACES RODICA D. COSTIN Contents 1. Inner product 2 1.1. Inner product 2 1.2. Inner product spaces 4 2. Orthogonal bases 5 2.1. Existence of an orthogonal basis 7 2.2. Orthogonal
More informationTHEOREM OF OSELEDETS. We recall some basic facts and terminology relative to linear cocycles and the multiplicative ergodic theorem of Oseledets [1].
THEOREM OF OSELEDETS We recall some basic facts and terminology relative to linear cocycles and the multiplicative ergodic theorem of Oseledets []. 0.. Cocycles over maps. Let µ be a probability measure
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 informationPresentation 1
18.704 Presentation 1 Jesse Selover March 5, 2015 We re going to try to cover a pretty strange result. It might seem unmotivated if I do a bad job, so I m going to try to do my best. The overarching theme
More informationLecture 14: Quantum information revisited
CPSC 59/69: Quantum Computation John Watrous, University of Calgary Lecture 4: Quantum information revisited March 4, 006 So far, this course has focused almost entirely on quantum algorithms The next
More informationThe Principles of Quantum Mechanics: Pt. 1
The Principles of Quantum Mechanics: Pt. 1 PHYS 476Q - Southern Illinois University February 15, 2018 PHYS 476Q - Southern Illinois University The Principles of Quantum Mechanics: Pt. 1 February 15, 2018
More informationThe relationship between U-matrix and M-matrices
The relationship between U-matrix and M-matrices M. Pitkänen Email: matpitka6@gmail.com. http://tgdtheory.com/public_html/. May 27, 2015 Contents 1 Introduction 2 2 Questions and answers 3 2.1 What one
More informationOperational extreme points and Cuntz s canonical endomorphism
arxiv:1611.03929v1 [math.oa] 12 Nov 2016 Operational extreme points and Cuntz s canonical endomorphism Marie Choda Osaka Kyoiku University, Osaka, Japan marie@cc.osaka-kyoiku.ac.jp Abstract Based on the
More informationarxiv: v2 [quant-ph] 17 Aug 2017
Absolutely separating quantum maps and channels arxiv:1703.00344v [quant-ph] 17 Aug 017 1. Introduction S N Filippov 1,, K Yu Magadov 1 and M A Jivulescu 3 1 Moscow Institute of Physics and Technology,
More informationEnsembles and incomplete information
p. 1/32 Ensembles and incomplete information So far in this course, we have described quantum systems by states that are normalized vectors in a complex Hilbert space. This works so long as (a) the system
More information1 Mathematical preliminaries
1 Mathematical preliminaries The mathematical language of quantum mechanics is that of vector spaces and linear algebra. In this preliminary section, we will collect the various definitions and mathematical
More informationEntropic characterization of quantum operations
Entropic characterization of quantum operations W. Roga 1, M. Fannes 2 and K. Życzkowski1,3 arxiv:1101.4105v1 [quant-ph] 21 Jan 2011 1 Instytut Fizyki im. Smoluchowskiego, Uniwersytet Jagielloński, PL-30-059
More informationLecture 8: Semidefinite programs for fidelity and optimal measurements
CS 766/QIC 80 Theory of Quantum Information (Fall 0) Lecture 8: Semidefinite programs for fidelity and optimal measurements This lecture is devoted to two examples of semidefinite programs: one is for
More informationA new criterion and a special class of k-positive maps
A new criterion and a special class of k-positive maps Dedicated to Professor Leiba Rodman. Jinchuan Hou Department of Mathematics, Taiyuan University of Technology, Taiyuan, 030024, China. jinchuanhou@aliyun.com
More informationIRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS. Contents
IRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS NEEL PATEL Abstract. The goal of this paper is to study the irreducible representations of semisimple Lie algebras. We will begin by considering two
More informationUnitary rotations. October 28, 2014
Unitary rotations October 8, 04 The special unitary group in dimensions It turns out that all orthogonal groups SO n), rotations in n real dimensions) may be written as special cases of rotations in a
More informationNullity of Measurement-induced Nonlocality. Yu Guo
Jul. 18-22, 2011, at Taiyuan. Nullity of Measurement-induced Nonlocality Yu Guo (Joint work with Pro. Jinchuan Hou) 1 1 27 Department of Mathematics Shanxi Datong University Datong, China guoyu3@yahoo.com.cn
More informationTHE EULER CHARACTERISTIC OF A LIE GROUP
THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth
More informationInferring Causal Structure: a Quantum Advantage
Inferring Causal Structure: a Quantum dvantage KR, M gnew, L Vermeyden, RW Spekkens, KJ Resch and D Janzing Nature Physics 11, 414 (2015) arxiv:1406.5036 Katja Ried Perimeter Institute for Theoretical
More informationThe rank of connection matrices and the dimension of graph algebras
The rank of connection matrices and the dimension of graph algebras László Lovász Microsoft Research One Microsoft Way Redmond, WA 98052 August 2004 Microsoft Research Technical Report TR-2004-82 Contents
More informationFree probability and quantum information
Free probability and quantum information Benoît Collins WPI-AIMR, Tohoku University & University of Ottawa Tokyo, Nov 8, 2013 Overview Overview Plan: 1. Quantum Information theory: the additivity problem
More informationSpanning and Independence Properties of Finite Frames
Chapter 1 Spanning and Independence Properties of Finite Frames Peter G. Casazza and Darrin Speegle Abstract The fundamental notion of frame theory is redundancy. It is this property which makes frames
More informationMic ael Flohr Representation theory of semi-simple Lie algebras: Example su(3) 6. and 20. June 2003
Handout V for the course GROUP THEORY IN PHYSICS Mic ael Flohr Representation theory of semi-simple Lie algebras: Example su(3) 6. and 20. June 2003 GENERALIZING THE HIGHEST WEIGHT PROCEDURE FROM su(2)
More informationLIFTS OF CONVEX SETS AND CONE FACTORIZATIONS JOÃO GOUVEIA, PABLO A. PARRILO, AND REKHA THOMAS
LIFTS OF CONVEX SETS AND CONE FACTORIZATIONS Abstract. In this paper we address the basic geometric question of when a given convex set is the image under a linear map of an affine slice of a given closed
More information1.8 Dual Spaces (non-examinable)
2 Theorem 1715 is just a restatement in terms of linear morphisms of a fact that you might have come across before: every m n matrix can be row-reduced to reduced echelon form using row operations Moreover,
More informationACTING FREELY GABRIEL GASTER
ACTING FREELY GABRIEL GASTER 1. Preface This article is intended to present a combinatorial proof of Schreier s Theorem, that subgroups of free groups are free. While a one line proof exists using the
More informationNumerical radius, entropy and preservers on quantum states
2th WONRA, TSIMF, Sanya, July 204 Numerical radius, entropy and preservers on quantum states Kan He (å Ä) Joint with Pro. Jinchuan Hou, Chi-Kwong Li and Zejun Huang Taiyuan University of Technology, Taiyuan,
More informationarxiv:math/ v4 [math.oa] 28 Dec 2005
arxiv:math/0506151v4 [math.oa] 28 Dec 2005 TENSOR ALGEBRAS OF C -CORRESPONDENCES AND THEIR C -ENVELOPES. ELIAS G. KATSOULIS AND DAVID W. KRIBS Abstract. We show that the C -envelope of the tensor algebra
More informationFactorizable completely positive maps and quantum information theory. Magdalena Musat. Sym Lecture Copenhagen, May 9, 2012
Factorizable completely positive maps and quantum information theory Magdalena Musat Sym Lecture Copenhagen, May 9, 2012 Joint work with Uffe Haagerup based on: U. Haagerup, M. Musat: Factorization and
More informationAdditive Combinatorics Lecture 12
Additive Combinatorics Lecture 12 Leo Goldmakher Scribe: Gal Gross April 4th, 2014 Last lecture we proved the Bohr-to-gAP proposition, but the final step was a bit mysterious we invoked Minkowski s second
More informationLower bounds on the size of semidefinite relaxations. David Steurer Cornell
Lower bounds on the size of semidefinite relaxations David Steurer Cornell James R. Lee Washington Prasad Raghavendra Berkeley Institute for Advanced Study, November 2015 overview of results unconditional
More informationInvariant states on Weyl algebras for the action of the symplectic group
Simone Murro (Universität Freiburg) Sp(2, Z)-invariant states AQFT, 2018 1 / 10 Invariant states on Weyl algebras for the action of the symplectic group Simone Murro Department of Mathematics University
More informationHigher rank numerical ranges of rectangular matrix polynomials
Journal of Linear and Topological Algebra Vol. 03, No. 03, 2014, 173-184 Higher rank numerical ranges of rectangular matrix polynomials Gh. Aghamollaei a, M. Zahraei b a Department of Mathematics, Shahid
More informationQuantum computing and mathematical research. Chi-Kwong Li The College of William and Mary
and mathematical research The College of William and Mary Classical computing Classical computing Hardware - Beads and bars. Classical computing Hardware - Beads and bars. Input - Using finger skill to
More informationQuantum Symmetric States on Free Product C -Algebras
Quantum Symmetric States on Free Product C -Algebras School of Mathematical Sciences University College Cork Joint work with Ken Dykema & John Williams arxiv:1305.7293 WIMCS-LMS Conference Classifying
More informationOn the classification and modular extendability of E 0 -semigroups on factors Joint work with Daniel Markiewicz
On the classification and modular extendability of E 0 -semigroups on factors Joint work with Daniel Markiewicz Panchugopal Bikram Ben-Gurion University of the Nagev Beer Sheva, Israel pg.math@gmail.com
More informationEntanglement Measures and Monotones
Entanglement Measures and Monotones PHYS 500 - Southern Illinois University March 30, 2017 PHYS 500 - Southern Illinois University Entanglement Measures and Monotones March 30, 2017 1 / 11 Quantifying
More informationSimpler semidefinite programs for completely bounded norms
CHICAGO JOURNAL OF THEORETICAL COMPUTER SCIENCE http://cjtcs.cs.uchicago.edu/ Simpler semidefinite programs for completely bounded norms John Watrous July, 203 Abstract: The completely bounded trace and
More informationModules Over Principal Ideal Domains
Modules Over Principal Ideal Domains Brian Whetter April 24, 2014 This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License. To view a copy of this
More informationThis is a closed subset of X Y, by Proposition 6.5(b), since it is equal to the inverse image of the diagonal under the regular map:
Math 6130 Notes. Fall 2002. 7. Basic Maps. Recall from 3 that a regular map of affine varieties is the same as a homomorphism of coordinate rings (going the other way). Here, we look at how algebraic properties
More informationAn LMI description for the cone of Lorentz-positive maps II
An LMI description for the cone of Lorentz-positive maps II Roland Hildebrand October 6, 2008 Abstract Let L n be the n-dimensional second order cone. A linear map from R m to R n is called positive if
More informationIntroduction to Group Theory
Chapter 10 Introduction to Group Theory Since symmetries described by groups play such an important role in modern physics, we will take a little time to introduce the basic structure (as seen by a physicist)
More informationCombinatorial Types of Tropical Eigenvector
Combinatorial Types of Tropical Eigenvector arxiv:1105.55504 Ngoc Mai Tran Department of Statistics, UC Berkeley Joint work with Bernd Sturmfels 2 / 13 Tropical eigenvalues and eigenvectors Max-plus: (R,,
More informationRomania. Published online: 29 Apr To link to this article:
This article was downloaded by: [Bilkent University] On: 05 June 2015, At: 04:49 Publisher: Taylor & Francis Informa Ltd Registered in England and Wales Registered Number: 1072954 Registered office: Mortimer
More informationMatrix Theory, Math6304 Lecture Notes from March 22, 2016 taken by Kazem Safari
Matrix Theory, Math6304 Lecture Notes from March 22, 2016 taken by Kazem Safari 1.1 Applications of Courant-Fisher and min- or -min Last time: Courant -Fishert -min or min- for eigenvalues Warm-up: Sums
More informationOperator norm convergence for sequence of matrices and application to QIT
Operator norm convergence for sequence of matrices and application to QIT Benoît Collins University of Ottawa & AIMR, Tohoku University Cambridge, INI, October 15, 2013 Overview Overview Plan: 1. Norm
More information3. The Sheaf of Regular Functions
24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice
More informationI teach myself... Hilbert spaces
I teach myself... Hilbert spaces by F.J.Sayas, for MATH 806 November 4, 2015 This document will be growing with the semester. Every in red is for you to justify. Even if we start with the basic definition
More informationarxiv:math/ v1 [math.fa] 4 Jan 2007
Tr[ABA] p = Tr[B 1/2 A 2 B 1/2 ] p. On the Araki-Lieb-Thirring inequality arxiv:math/0701129v1 [math.fa] 4 Jan 2007 Koenraad M.R. Audenaert Institute for Mathematical Sciences, Imperial College London
More informationMultiplicativity of Maximal p Norms in Werner Holevo Channels for 1 < p 2
Multiplicativity of Maximal p Norms in Werner Holevo Channels for 1 < p 2 arxiv:quant-ph/0410063v1 8 Oct 2004 Nilanjana Datta Statistical Laboratory Centre for Mathematical Sciences University of Cambridge
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 informationIntroduction to Computational Manifolds and Applications
IMPA - Instituto de Matemática Pura e Aplicada, Rio de Janeiro, RJ, Brazil Introduction to Computational Manifolds and Applications Part 1 - Foundations Prof. Jean Gallier jean@cis.upenn.edu Department
More informationCS 468: Computational Topology Group Theory Fall b c b a b a c b a c b c c b a
Q: What s purple and commutes? A: An abelian grape! Anonymous Group Theory Last lecture, we learned about a combinatorial method for characterizing spaces: using simplicial complexes as triangulations
More informationarxiv: v1 [math.oa] 23 Jul 2014
PERTURBATIONS OF VON NEUMANN SUBALGEBRAS WITH FINITE INDEX SHOJI INO arxiv:1407.6097v1 [math.oa] 23 Jul 2014 Abstract. In this paper, we study uniform perturbations of von Neumann subalgebras of a von
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 informationProbability of Particle Creation and Interior-Boundary Conditions for Fock Space
Probability of Particle Creation and for Fock Space Roderich Tumulka Stastical Mechanics Meeting, 19 December 2017 Joint work with Stefan Teufel, Julian Schmidt, and Jonas Lampart Congratulations to Guenter
More informationGroups of Prime Power Order with Derived Subgroup of Prime Order
Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationOn the Homological Dimension of Lattices
On the Homological Dimension of Lattices Roy Meshulam August, 008 Abstract Let L be a finite lattice and let L = L {ˆ0, ˆ1}. It is shown that if the order complex L satisfies H k L 0 then L k. Equality
More informationInterpolating the arithmetic geometric mean inequality and its operator version
Linear Algebra and its Applications 413 (006) 355 363 www.elsevier.com/locate/laa Interpolating the arithmetic geometric mean inequality and its operator version Rajendra Bhatia Indian Statistical Institute,
More informationCalculus in Gauss Space
Calculus in Gauss Space 1. The Gradient Operator The -dimensional Lebesgue space is the measurable space (E (E )) where E =[0 1) or E = R endowed with the Lebesgue measure, and the calculus of functions
More informationN. CHRISTOPHER PHILLIPS
OPERATOR ALGEBRAS ON L p SPACES WHICH LOOK LIKE C*-ALGEBRAS N. CHRISTOPHER PHILLIPS 1. Introduction This talk is a survey of operator algebras on L p spaces which look like C*- algebras. Its aim is to
More informationarxiv: v1 [quant-ph] 4 Jul 2013
GEOMETRY FOR SEPARABLE STATES AND CONSTRUCTION OF ENTANGLED STATES WITH POSITIVE PARTIAL TRANSPOSES KIL-CHAN HA AND SEUNG-HYEOK KYE arxiv:1307.1362v1 [quant-ph] 4 Jul 2013 Abstract. We construct faces
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 informationQuantum Entanglement- Fundamental Aspects
Quantum Entanglement- Fundamental Aspects Debasis Sarkar Department of Applied Mathematics, University of Calcutta, 92, A.P.C. Road, Kolkata- 700009, India Abstract Entanglement is one of the most useful
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 informationGroup Theory - QMII 2017
Group Theory - QMII 017 Reminder Last time we said that a group element of a matrix lie group can be written as an exponent: U = e iαaxa, a = 1,..., N. We called X a the generators, we have N of them,
More informationTopics in Representation Theory: SU(n), Weyl Chambers and the Diagram of a Group
Topics in Representation Theory: SU(n), Weyl hambers and the Diagram of a Group 1 Another Example: G = SU(n) Last time we began analyzing how the maximal torus T of G acts on the adjoint representation,
More informationEstimating entanglement in a class of N-qudit states
Estimating entanglement in a class of N-qudit states Sumiyoshi Abe 1,2,3 1 Physics Division, College of Information Science and Engineering, Huaqiao University, Xiamen 361021, China 2 Department of Physical
More informationPermutation invariant proper polyhedral cones and their Lyapunov rank
Permutation invariant proper polyhedral cones and their Lyapunov rank Juyoung Jeong Department of Mathematics and Statistics University of Maryland, Baltimore County Baltimore, Maryland 21250, USA juyoung1@umbc.edu
More information