arXiv:1503.04283 · Journal of Physics A Mathematical and Theoretical

Topology of the cone of positive maps on qubit systems

Marek Miller, Robert Olkiewicz

Published Jun 2, 2015• 3 citations

Abstract

An alternative, geometrical proof of a known theorem concerning the decomposition of positive maps of the matrix algebra has been presented. The premise of the proof is the identification of positive maps with operators preserving the Lorentz cone in four dimensions, and it allows to decompose the positive maps with respect to those preserving the boundary of the cone. In addition, useful conditions implying complete positivity of a map of have been given, together with a sufficient condition for complete positivity of an extremal Schwarz map of . Lastly, following the same geometrical approach, a description in topological terms of maps that are simultaneously completely positive and completely copositive has been presented.

DOI: 10.1088/1751-8113/48/25/255203

Related papers

Decomposable Pauli diagonal maps and tensor squares of qubit maps

Alexander Müller‐Hermes

It is a well-known result due to Størmer [Acta Math. 110, 233–278 (1963)] that every positive qubit map is decomposable into a sum of a completely positive map and a completely copositive map. Here, we generalize this result to tensor squares of qubit maps. Specifically, we show that any positive tensor product of a qubit map with itself is decomposable. This solves a recent conjecture by Filippov and Magadov [J. Phys. A: Math. Theor. 50(5), 055301 (2017)]. We contrast this result with examples of non-decomposable positive maps arising as the tensor product of two distinct qubit maps or as the tensor square of a decomposable map from a qubit to a ququart. To show our main result, we reduce the problem to Pauli diagonal maps. We then characterize the cone of decomposable ququart Pauli diagonal maps by determining all 252 extremal rays of ququart Pauli diagonal maps that are both completely positive and completely copositive. These extremal rays split into three disjoint orbits under a natural symmetry group, and two of these orbits contain only entanglement breaking maps. Finally, we develop a general combinatorial method to determine the extremal rays of Pauli diagonal maps that are both completely positive and completely copositive between multi-qubit systems using the ordered spectra of their Choi matrices. Classifying these extremal rays beyond ququarts is left as an open problem.

arXiv:2006.14543Journal of Mathematical PhysicsSep 1, 20212 citations

Two proofs of Størmer's theorem

Guillaume Aubrun, Stanisław J. Szarek

The structure of the set of positivity-preserving maps between matrix algebras is notoriously difficult to describe. The notable exceptions are the results by Størmer and Woronowicz from 1960s and 1970s settling the low dimensional cases. By duality, these results are equivalent to the Peres-Horodecki positive partial transpose criterion being able to unambiguously establish whether a state in a 2 x 2 or 2 x 3 quantum system is entangled or separable. However, even in these low dimensional cases, the existing arguments (known to the authors) were based on long and seemingly ad hoc computations. We present a simple proof, based on Brouwer's fixed point theorem, for the 2 x 2 case (Størmer's theorem). For completeness, we also include another argument (following the classical outline, but highly streamlined) based on a characterization of extreme self-maps of the Lorentz cone and on a link - noticed by R. Hildebrand - to the S-lemma, a well-known fact from control theory and quadratic/semi-definite programming.

arXiv:1512.03293Dec 10, 201536 citations

Completely positive map from M4(C) to M5(C) on positive semidefinite Matrices

Winda C. Akatch, Benard Okelo, Omolo Ongati

Positive maps are essential in the description of quantum systems. However, characterization of the structure of the set of all positive maps is a challenge in mathematics and mathematical physics. We construct a linear positive map from M4 to M5 and state the conditions under which they are positive and completely positive (copositivity of positive).

Journal of Mathematical Analysis and ModelingApr 1, 20220 citations

On Kadison-Schwarz Approximation to Positive Maps

Dariusz Chruściński, Farrukh Maksutovich Mukhamedov, Mohamed Ali Hajji

We analyze Kadison-Schwarz approximation to positive maps in matrix algebras. This is an analogue of the well known structural physical approximation to positive maps used in entanglement theory. We study several known maps both decomposable (like transposition) and non-decomposable (like Choi map and its generalizations).

Open Systems & Information DynamicsSep 1, 202011 citations

Diagonal unitary and orthogonal symmetries in quantum theory

Satvik Singh, Ion Nechita

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.

arXiv:2010.07898QuantumAug 9, 202127 citations

A factorization property of positive maps on C*-algebras

B. V. Rajarama Bhat, Hiroyuki Osaka

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.

International Journal of Quantum InformationAug 1, 20203 citations