Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1604.01716 · Journal of Physics A Mathematical and Theoretical

Positive tensor products of maps and n -tensor-stable positive qubit maps

Sergey N. Filippov, Kamil Yu. Magadov

Published Jan 4, 2017• 16 citations
arXivHTMLPDF

Abstract

Abstract We analyze positivity of a tensor product of two linear qubit maps, Φ 1 ⊗ Φ 2 . Positivity of maps Φ 1 and Φ 2 is a necessary but not a sufficient condition for positivity of Φ 1 ⊗ Φ 2 . We find a non-trivial sufficient condition for positivity of the tensor product map beyond the cases when both Φ 1 and Φ 2 are completely positive or completely co-positive. We find necessary and (separately) sufficient conditions for n -tensor-stable positive qubit maps, i.e. such qubit maps Φ that Φ ⊗ n is positive. Particular cases of 2- and 3-tensor-stable positive qubit maps are fully characterized, and the decomposability of 2-tensor-stable positive qubit maps is discussed. The case of non-unital maps is reduced to the case of appropriate unital maps. Finally, n -tensor-stable positive maps are used in characterization of multipartite entanglement, namely, in the entanglement depth detection.

DOI
10.1088/1751-8121/aa5301

Related papers

Positivity of linear maps under tensor powers

Alexander Müller‐Hermes, David Reeb, Michael M. Wolf

We investigate linear maps between matrix algebras that remain positive under tensor powers, i.e., under tensoring with n copies of themselves. Completely positive and completely co-positive maps are trivial examples of this kind. We show that for every n ∈ ℕ, there exist non-trivial maps with this property and that for two-dimensional Hilbert spaces there is no non-trivial map for which this holds for all n. For higher dimensions, we reduce the existence question of such non-trivial “tensor-stable positive maps” to a one-parameter family of maps and show that an affirmative answer would imply the existence of non-positive partial transpose bound entanglement. As an application, we show that any tensor-stable positive map that is not completely positive yields an upper bound on the quantum channel capacity, which for the transposition map gives the well-known cb-norm bound. We, furthermore, show that the latter is an upper bound even for the local operations and classical communications-assisted quantum capacity, and that moreover it is a strong converse rate for this task.

arXiv:1502.05630•Journal of Mathematical Physics•Jul 23, 2015•51 citations

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.14543•Journal of Mathematical Physics•Sep 1, 2021•2 citations

A characterization of positive linear maps and criteria of entanglement for quantum states

Jinchuan Hou

Let H and K be (finite- or infinite-dimensional) complex Hilbert spaces. A characterization of positive completely bounded normal linear maps from into is given, which particularly gives a characterization of positive elementary operators including all positive linear maps between matrix algebras. This characterization is then applied to give a representation of quantum channels (operations) between infinite-dimensional systems. A necessary and sufficient criterion of separability is given which shows that a state ρ on H ⊗ K is separable if and only if (Φ⊗ I )ρ ⩾ 0 for all positive finite-rank elementary operators Φ. Examples of NCP and indecomposable positive linear maps are given and are used to recognize some entangled states that cannot be recognized by the PPT criterion and the realignment criterion.

arXiv:1007.0560•Journal of Physics A Mathematical and Theoretical•Aug 6, 2010•44 citations

Decomposability and Optimality of a Class of Positive Maps

Jinchuan Hou

NCP positive linear maps play important rules in detecting entanglement of states in composite quantum systems.A kind of NCP positive maps are studied.It is shown that these positive linear maps Φ are decomposable and not 2-positive.A necessary and sufficient condition is given for the entanglement witnesses W Φ arising from such Φ to be optimal.

Journal of Shanxi University•Jan 1, 2012•0 citations

Halos and undecidability of tensor stable positive maps

Mirte van der Eyden, Tim Netzer, Gemma De las Cuevas

Abstract A map P is tensor stable positive (tsp) if P ⊗ n is positive for all n, and essential tsp if it is not completely positive or completely co-positive. Are there essential tsp maps? Here we prove that there exist essential tsp maps on the hypercomplex numbers. It follows that there exist bound entangled states with a negative partial transpose (NPT) on the hypercomplex, that is, there exists NPT bound entanglement in the halo of quantum states. We also prove that tensor stable positivity on the matrix multiplication tensor is undecidable, and conjecture that tensor stable positivity is undecidable. Proving this conjecture would imply existence of essential tsp maps, and hence of NPT bound entangled states.

arXiv:2110.02113•Journal of Physics A Mathematical and Theoretical•May 23, 2022•7 citations

Linear Maps as Sufficient Criteria for Entanglement Depth and Compatibility in Many-Body Systems

Maciej Lewenstein, Guillem Müller-Rigat, Jordi Tura +1 more

Physical transformations are described by linear maps that are completely positive and trace preserving (CPTP). However, maps that are positive (P) but not completely positive (CP) are instrumental to derive separability/entanglement criteria. Moreover, the properties of such maps can be linked to entanglement properties of the states they detect. Here, we extend the results presented in [34], where sufficient separability criteria for bipartite systems were derived. In particular, we analyze the entanglement depth of an [Formula: see text]-qubit system by proposing linear maps that, when applied to any state, result in a biseparable state for the [Formula: see text] partitions, i.e., [Formula: see text]-entanglement depth. Furthermore, we derive criteria to detect arbitrary [Formula: see text]-entanglement depth tailored to states in close vicinity of the completely depolarized state (the normalized identity matrix). We also provide separability (or [Formula: see text]-entanglement depth) conditions in the symmetric sector, including the diagonal states. Finally, we suggest how similar map techniques can be used to derive sufficient conditions for a set of expectation values to be compatible with separable states or local-hidden-variable theories. We dedicate this paper to the memory of the late Andrzej Kossakowski, our spiritual and intellectual mentor in the field of linear maps.

arXiv:2211.02871•Open Systems & Information Dynamics•Sep 1, 2022•4 citations
Abstract We analyze positivity of a tensor product of two linear qubit maps, Φ 1 ⊗ Φ 2 . Positivity of maps Φ 1 and Φ 2 is a necessary but not a sufficient condition for positivity of Φ 1 ⊗ Φ 2 . We find a non-trivial sufficient condition for positivity of the tensor product map beyond the cases when both Φ 1 and Φ 2 are completely positive or completely co-positive. We find necessary and (separately) sufficient conditions for n -tensor-stable positive qubit maps, i.e. such qubit maps Φ that Φ ⊗ n is positive. Particular cases of 2- and 3-tensor-stable positive qubit maps are fully characterized, and the decomposability of 2-tensor-stable positive qubit maps is discussed. The case of non-unital maps is reduced to the case of appropriate unital maps. Finally, n -tensor-stable positive maps are used in characterization of multipartite entanglement, namely, in the entanglement depth detection.
We investigate linear maps between matrix algebras that remain positive under tensor powers, i.e., under tensoring with n copies of themselves. Completely positive and completely co-positive maps are trivial examples of this kind. We show that for every n ∈ ℕ, there exist non-trivial maps with this property and that for two-dimensional Hilbert spaces there is no non-trivial map for which this holds for all n. For higher dimensions, we reduce the existence question of such non-trivial “tensor-stable positive maps” to a one-parameter family of maps and show that an affirmative answer would imply the existence of non-positive partial transpose bound entanglement. As an application, we show that any tensor-stable positive map that is not completely positive yields an upper bound on the quantum channel capacity, which for the transposition map gives the well-known cb-norm bound. We, furthermore, show that the latter is an upper bound even for the local operations and classical communications-assisted quantum capacity, and that moreover it is a strong converse rate for this task.
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.
Let H and K be (finite- or infinite-dimensional) complex Hilbert spaces. A characterization of positive completely bounded normal linear maps from into is given, which particularly gives a characterization of positive elementary operators including all positive linear maps between matrix algebras. This characterization is then applied to give a representation of quantum channels (operations) between infinite-dimensional systems. A necessary and sufficient criterion of separability is given which shows that a state ρ on H ⊗ K is separable if and only if (Φ⊗ I )ρ ⩾ 0 for all positive finite-rank elementary operators Φ. Examples of NCP and indecomposable positive linear maps are given and are used to recognize some entangled states that cannot be recognized by the PPT criterion and the realignment criterion.
Abstract A map P is tensor stable positive (tsp) if P ⊗ n is positive for all n, and essential tsp if it is not completely positive or completely co-positive. Are there essential tsp maps? Here we prove that there exist essential tsp maps on the hypercomplex numbers. It follows that there exist bound entangled states with a negative partial transpose (NPT) on the hypercomplex, that is, there exists NPT bound entanglement in the halo of quantum states. We also prove that tensor stable positivity on the matrix multiplication tensor is undecidable, and conjecture that tensor stable positivity is undecidable. Proving this conjecture would imply existence of essential tsp maps, and hence of NPT bound entangled states.
Physical transformations are described by linear maps that are completely positive and trace preserving (CPTP). However, maps that are positive (P) but not completely positive (CP) are instrumental to derive separability/entanglement criteria. Moreover, the properties of such maps can be linked to entanglement properties of the states they detect. Here, we extend the results presented in [34], where sufficient separability criteria for bipartite systems were derived. In particular, we analyze the entanglement depth of an [Formula: see text]-qubit system by proposing linear maps that, when applied to any state, result in a biseparable state for the [Formula: see text] partitions, i.e., [Formula: see text]-entanglement depth. Furthermore, we derive criteria to detect arbitrary [Formula: see text]-entanglement depth tailored to states in close vicinity of the completely depolarized state (the normalized identity matrix). We also provide separability (or [Formula: see text]-entanglement depth) conditions in the symmetric sector, including the diagonal states. Finally, we suggest how similar map techniques can be used to derive sufficient conditions for a set of expectation values to be compatible with separable states or local-hidden-variable theories. We dedicate this paper to the memory of the late Andrzej Kossakowski, our spiritual and intellectual mentor in the field of linear maps.