scholarly journals A Simple Proof of the Jamiołkowski Criterion for Complete Positivity of Linear Maps

2005 ◽  
Vol 12 (01) ◽  
pp. 55-64 ◽  
Author(s):  
D. Salgado ◽  
J. L. Sánchez-Gómez ◽  
M. Ferrero
Keyword(s):  
Simple Proof ◽  
Direct Proof ◽  
Complete Positivity ◽  
Systematic Method ◽  
Completely Positive ◽  
Linear Map ◽  
Matrix Algebras ◽  
Linear Maps ◽  
Kraus Decomposition

We give a simple direct proof of the Jamiołkowski criterion to check whether a linear map between matrix algebras is completely positive or not. This proof is more accessible for physicists than other ones found in the literature and provides a systematic method to give any set of Kraus matrices of the Kraus decomposition.

scholarly journals Physical Implementability of Linear Maps and Its Application in Error Mitigation

Quantum ◽  
2021 ◽  
Vol 5 ◽  
pp. 600
Author(s):  
Jiaqing Jiang ◽  
Kun Wang ◽  
Xin Wang
Keyword(s):  
General Linear ◽  
Local Error ◽  
Decomposition Technique ◽  
Completely Positive ◽  
Linear Map ◽  
Quantum Operations ◽  
Error Mitigation ◽  
Linear Maps ◽  
Analytic Expressions ◽  
Sampling Cost

Completely positive and trace-preserving maps characterize physically implementable quantum operations. On the other hand, general linear maps, such as positive but not completely positive maps, which can not be physically implemented, are fundamental ingredients in quantum information, both in theoretical and practical perspectives. This raises the question of how well one can simulate or approximate the action of a general linear map by physically implementable operations. In this work, we introduce a systematic framework to resolve this task using the quasiprobability decomposition technique. We decompose a target linear map into a linear combination of physically implementable operations and introduce the physical implementability measure as the least amount of negative portion that the quasiprobability must pertain, which directly quantifies the cost of simulating a given map using physically implementable quantum operations. We show this measure is efficiently computable by semidefinite programs and prove several properties of this measure, such as faithfulness, additivity, and unitary invariance. We derive lower and upper bounds in terms of the Choi operator's trace norm and obtain analytic expressions for several linear maps of practical interests. Furthermore, we endow this measure with an operational meaning within the quantum error mitigation scenario: it establishes the lower bound of the sampling cost achievable via the quasiprobability decomposition technique. In particular, for parallel quantum noises, we show that global error mitigation has no advantage over local error mitigation.

scholarly journals FACIAL STRUCTURES FOR VARIOUS NOTIONS OF POSITIVITY AND APPLICATIONS TO THE THEORY OF ENTANGLEMENT

2013 ◽  
Vol 25 (02) ◽  
pp. 1330002 ◽  
Author(s):  
SEUNG-HYEOK KYE
Keyword(s):  
Convex Cones ◽  
Edge States ◽  
Completely Positive ◽  
Matrix Algebras ◽  
Linear Maps ◽  
Entanglement Witnesses ◽  
Positive Linear Maps

In this expository note, we explain facial structures for the convex cones consisting of positive linear maps, completely positive linear maps, and decomposable positive linear maps between matrix algebras, respectively. These will be applied to study the notions of entangled edge states with positive partial transposes and optimality of entanglement witnesses.

scholarly journals Diagonal unitary and orthogonal symmetries in quantum theory

Quantum ◽  
2021 ◽  
Vol 5 ◽  
pp. 519
Author(s):  
Satvik Singh ◽  
Ion Nechita
Keyword(s):  
Sufficient Conditions ◽  
Quantum Channels ◽  
Completely Positive ◽  
Matrix Algebras ◽  
Completely Positive Matrices ◽  
Linear Maps ◽  
Positive Matrices ◽  
Invariant States ◽  
Class Of Matrices ◽  
Necessary And Sufficient

We analyze bipartite matrices and linear maps between matrix algebras, which are respectively, invariant and covariant, under the diagonal unitary and orthogonal groups' actions. By presenting an expansive list of examples from the literature, which includes notable entries like the Diagonal Symmetric states and the Choi-type maps, we show that this class of matrices (and maps) encompasses a wide variety of scenarios, thereby unifying their study. We examine their linear algebraic structure and investigate different notions of positivity through their convex conic manifestations. In particular, we generalize the well-known cone of completely positive matrices to that of triplewise completely positive matrices and connect it to the separability of the relevant invariant states (or the entanglement breaking property of the corresponding quantum channels). For linear maps, we provide explicit characterizations of the stated covariance in terms of their Kraus, Stinespring, and Choi representations, and systematically analyze the usual properties of positivity, decomposability, complete positivity, and the like. We also describe the invariant subspaces of these maps and use their structure to provide necessary and sufficient conditions for separability of the associated invariant bipartite states.

Schwarz inequalities and the decomposition of positive maps on C*-algebras

1983 ◽  
Vol 94 (2) ◽  
pp. 291-296 ◽  
Author(s):  
A. Guyan Robertson
Keyword(s):  
Partial Ordering ◽  
Considerable Progress ◽  
Structure Theory ◽  
Complete Positivity ◽  
Completely Positive ◽  
Positive Order ◽  
C Algebras ◽  
Positive Maps ◽  
Linear Maps ◽  
Algebraic Formula

In recent years there has been considerable progress in the study of certain linear maps of C*-algebras which preserve the natural partial ordering. The most tractable such maps, the completely positive ones, have proved to be of great importance in the structure theory of C*-algebras(4). However general positive (order-preserving) linear maps are (at present) very intractable. For example, there is no algebraic formula which enables one to construct a general positive map, even on the algebra of 3 3 complex matrices. It is therefore of interest to study conditions stronger than positivity, but weaker than complete positivity.

scholarly journals Extreme n-positive linear maps

1993 ◽  
Vol 36 (1) ◽  
pp. 123-131 ◽  
Author(s):  
Sze-Kai Tsui
Keyword(s):  
General Procedure ◽  
Irreducible Representations ◽  
Completely Positive ◽  
Linear Map ◽  
Finite Dimensional ◽  
Linear Maps ◽  
Positive Linear Map ◽  
Positive Linear Maps

In this article we prove that if a completely positive linear map Φ of a unital C*-algebra A into another B with only finite dimensional irreducible representations is pure, then we have NΦ = Φker + kerΦ, where NΦ={x∈A|Φ(x) = 0}, Φker = {x∈A|Φ(x*x) = 0}, and kerΦ={x∈A|Φ(xx*) = 0}. We also prove that for every unital strongly positive and n-positive linear map Φ of a C*-algebra A onto another B with n≧2, if NΦ = Φker + kerΦ, then Φ is extreme in Pn(A, B, IB). By this null-kernel condition, many new extreme n-positive linear maps are identified. A general procedure for constructing extreme n-positive linear maps is suggested and discussed.

scholarly journals Isometries between matrix algebras

2004 ◽  
Vol 77 (1) ◽  
pp. 1-16 ◽  
Author(s):  
Wai-Shun Cheung ◽  
Chi-Kwong Li ◽  
Yiu-Tung Poon
Keyword(s):  
Numerical Range ◽  
Complex Matrices ◽  
Linear Map ◽  
Matrix Algebras ◽  
Linear Maps ◽  
Positive Linear Maps ◽  
Linear Isometries

AbstractAs an attempt to understand linear isometries between C*-algebras without the surjectivity assumption, we study linear isometries between matrix algebras. Denote by Mm the algebra of m × m complex matrices. If k ≥ n and φ: Mn → Mk has the form X ↦ U[X ⊕ f(X)] V or X ↦ U[X1 ⊕ f(X)]V for some unitary U, V ∈ Mk and contractive linear map f: Mn → Mk, then ║φ(X)║ = ║X║ for all X ∈ Mn. We prove that the converse is true if k ≤ 2n - 1, and the converse may fail if k ≥ 2n. Related results and questions involving positive linear maps and the numerical range are discussed.

scholarly journals A factorization property of positive maps on C*-algebras

2020 ◽  
Vol 18 (05) ◽  
pp. 2050019
Author(s):  
B. V. Rajarama Bhat ◽  
Hiroyuki Osaka
Keyword(s):  
Hilbert Spaces ◽  
Short Paper ◽  
Complete Positivity ◽  
Factorization Property ◽  
Positive Map ◽  
C Algebra ◽  
Matrix Algebras ◽  
C Algebras ◽  
Linear Maps ◽  
Positive Linear Maps

The purpose of this short paper is to clarify and present a general version of an interesting observation by [Piani and Mora, Phys. Rev. A 75 (2007) 012305], linking complete positivity of linear maps on matrix algebras to decomposability of their ampliations. Let [Formula: see text], [Formula: see text] be unital C*-algebras and let [Formula: see text] be positive linear maps from [Formula: see text] to [Formula: see text] [Formula: see text]. We obtain conditions under which any positive map [Formula: see text] from the minimal C*-tensor product [Formula: see text] to [Formula: see text], such that [Formula: see text], factorizes as [Formula: see text] for some positive map [Formula: see text]. In particular, we show that when [Formula: see text] are completely positive (CP) maps for some Hilbert spaces [Formula: see text] [Formula: see text], and [Formula: see text] is a pure CP map and [Formula: see text] is a CP map so that [Formula: see text] is also CP, then [Formula: see text] for some CP map [Formula: see text]. We show that a similar result holds in the context of positive linear maps when [Formula: see text] and [Formula: see text]. As an application, we extend IX Theorem of Ref. 4 (revisited recently by [Huber et al., Phys. Rev. Lett. 121 (2018) 200503]) to show that for any linear map [Formula: see text] from a unital C*-algebra [Formula: see text] to a C*-algebra [Formula: see text], if [Formula: see text] is decomposable for some [Formula: see text], where [Formula: see text] is the identity map on the algebra [Formula: see text] of [Formula: see text] matrices, then [Formula: see text] is CP.

On the convex set of completely positive linear maps in matrix algebras

1997 ◽  
Vol 122 (1) ◽  
pp. 45-54 ◽  
Author(s):  
SEUNG-HYEOK KYE
Keyword(s):  
Convex Compact ◽  
Compact Set ◽  
Completely Positive ◽  
One Dimensional ◽  
Matrix Algebras ◽  
Linear Maps ◽  
The Matrix ◽  
Rank One ◽  
Convex Compact Set ◽  
Positive Linear Maps

Let PI (respectively CPI) be the convex compact set of all unital positive (respectively completely positive) linear maps from the matrix algebra Mm([Copf ]) into Mn([Copf ]). We show that maximal faces of CPI correspond to one dimensional subspaces of the vector space Mm, n([Copf ]). Furthermore, a maximal face of CPI lies on the boundary of PI if and only if the corresponding subspace is generated by a rank one matrix.

scholarly journals How Many Inflections are There in the Lyapunov Spectrum?

2021 ◽  
Author(s):  
O. Jenkinson ◽  
M. Pollicott ◽  
P. Vytnova
Keyword(s):  
Piecewise Linear ◽  
Lyapunov Spectrum ◽  
Stat Phys ◽  
Linear Map ◽  
Piecewise Linear Map ◽  
Expanding Map ◽  
Lyapunov Spectra ◽  
Linear Maps ◽  
Inflection Points ◽  
Piecewise Linear Maps

AbstractIommi and Kiwi (J Stat Phys 135:535–546, 2009) showed that the Lyapunov spectrum of an expanding map need not be concave, and posed various problems concerning the possible number of inflection points. In this paper we answer a conjecture in Iommi and Kiwi (2009) by proving that the Lyapunov spectrum of a two branch piecewise linear map has at most two points of inflection. We then answer a question in Iommi and Kiwi (2009) by proving that there exist finite branch piecewise linear maps whose Lyapunov spectra have arbitrarily many points of inflection. This approach is used to exhibit a countable branch piecewise linear map whose Lyapunov spectrum has infinitely many points of inflection.

Positive Linear Maps on C*-Algebras

1972 ◽  
Vol 24 (3) ◽  
pp. 520-529 ◽  
Author(s):  
Man-Duen Choi
Keyword(s):  
Vector Spaces ◽  
Complex Numbers ◽  
Complex Matrices ◽  
Completely Positive ◽  
C Algebras ◽  
Linear Maps ◽  
Positive Linear Maps

The objective of this paper is to give some concrete distinctions between positive linear maps and completely positive linear maps on C*-algebras of operators.Herein, C*-algebras possess an identity and are written in German type . Capital letters A, B, C stand for operators, script letters for vector spaces, small letters x, y, z for vectors. Capital Greek letters Φ, Ψ stand for linear maps on C*-algebras, small Greek letters α, β, γ for complex numbers.We denote by the collection of all n × n complex matrices. () = ⊗ is the C*-algebra of n × n matrices over .

Sign in / Sign up

Export Citation Format

Share Document