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:1609.07083 · Linear and Multilinear Algebra

Sinkhorn–Knopp theorem for rectangular positive maps

Daniel Cariello

Published Jul 4, 2018• 6 citations
arXivHTMLPDF

Abstract

In this work, we adapt Sinkhorn–Knopp theorem for rectangular positive maps. We extend their concepts of support and total support to these maps. We show that a positive map T:Mk→Mm is equivalent to a doubly stochastic map if and only if T:Mk→Mm is equivalent to a positive map with total support. Moreover, if k and m are coprime then support is sufficient for the equivalence with a doubly stochastic map. This result provides a necessary and sufficient condition for the filter normal form, which is commonly used in Quantum Information Theory. Let A=∑i=1nAi⊗Bi∈Mk⊗Mm be a state and GA:Mk→Mm be the positive map GA(X)=∑i=1nBitr(AiX). We show that A can be put in the filter normal form if and only if GA:Mk→Mm is equivalent to a positive map with total support. We prove that any state A∈Mk⊗Mm≃Mkm such that dim⁡(ker⁡(A))<k−1, if k=m, and dim⁡(ker⁡(A))<min{k,m}, if k≠m, can be put in the filter normal form.

DOI
10.1080/03081087.2018.1491524

Related papers

Role Of Partial Transpose And Generalized Choi Maps In Quantum Dynamical Semigroups Involving Separable And Entangled States

Ajit Singh

Power symmetric stochastic matrices introduced by R. Sinkhorn (1981) and their generalization by R.B. Bapat, S.K. Jain and K. Manjunatha Prasad (1999) have been utilized to give positive block matrices with trace one possessing positive partial transpose, the so-called PPT states. Another method to construct such PPT states is given, it uses the form of a matrix unitarily equivalent to to its transpose obtained by S.R. Garcia and J.E. Tener (2012). Evolvement or suppression of separability or entanglement of various levels for a quantum dynamical semigroup of completely positive maps has been studied using Choi-Jamiolkowsky matrix of such maps and the famous Hordeckis criteria (1996). A Trichotomy Theorem has been proved, and examples have been given that depend mainly on generalized Choi maps and clearly distinguish the levels of entanglement breaking.

arXiv:1201.0250•Electronic Journal of Linear Algebra•Sep 20, 2015•2 citations

Role Of Partial Transpose And Generalized Choi Maps In Quantum Dynamical Semigroups Involving Separable And Entangled States

Ajit Iqbal Singh

Power symmetric stochastic matrices introduced by R. Sinkhorn (1981) and their generalization by R.B. Bapat, S.K. Jain and K. Manjunatha Prasad (1999) have been utilized to give positive block matrices with trace one possessing positive partial transpose, the so-called PPT states. Another method to construct such PPT states is given, it uses the form of a matrix unitarily equivalent to to its transpose obtained by S.R. Garcia and J.E. Tener (2012). Evolvement or suppression of separability or entanglement of various levels for a quantum dynamical semigroup of completely positive maps has been studied using Choi-Jamiolkowsky matrix of such maps and the famous Hordeckis criteria (1996). A Trichotomy Theorem has been proved, and examples have been given that depend mainly on generalized Choi maps and clearly distinguish the levels of entanglement breaking.

•Dec 21, 2015•1 citation

Information geometry of operator scaling

Takeru Matsuda, Tasuku Soma

Matrix scaling is a classical problem with a wide range of applications. It is known that the Sinkhorn algorithm for matrix scaling is interpreted as alternating e-projections from the viewpoint of classical information geometry. Recently, a generalization of matrix scaling to completely positive maps called operator scaling has been found to appear in various fields of mathematics and computer science, and the Sinkhorn algorithm has been extended to operator scaling. In this study, the operator Sinkhorn algorithm is studied from the viewpoint of quantum information geometry through the Choi representation of completely positive maps. The operator Sinkhorn algorithm is shown to coincide with alternating e-projections with respect to the symmetric logarithmic derivative metric, which is a Riemannian metric on the space of quantum states relevant to quantum estimation theory.

arXiv:2005.01453•Linear Algebra and its Applications•May 16, 2022•3 citations

A completely positive map associated with a positive map

Erling Størmer

STØRMERWe show that each positive map from B(K ) to B(H) is a scalar multiple of a map of the form Trψ with ψ completely positive.This is used to give necessary and sufficient conditions for maps to be Ꮿ-positive for a large class of mapping cones; in particular, we apply the results to k-positive maps.P(B(K ), Ꮿ) = {a ∈ B(K ⊗ H ) : ι ⊗ α(a) ≥ 0 for all α ∈ Ꮿ}, MSC2010: 46L60, 46L99.

arXiv:1009.5809•Pacific Journal of Mathematics•Oct 29, 2011•6 citations

Positive maps that are not completely positive

Sixia Yu

The concept of the half density matrix is proposed. It unifies the quantum states that are described by density matrices and physical processes that are described by completely positive maps. With the help of the half-density-matrix representation of the Hermitian linear map, we show that every positive map that is not completely positive is a difference of two completely positive maps. A necessary and sufficient condition for a positive map that is not completely positive is also presented, which is illustrated by some examples.

arXiv:quant-ph/0001053•Physical Review A•Jul 20, 2000•19 citations

On the Simultaneous Transformation of Density Operators by Means of a Completely Positive, Unity Preserving Linear Map

Peter M. Alberti

Let {o^,..., a) n ] and {<TI,..., a n ] be finite sets of normal states over the bounded linear operators acting over some infinite-dimensional separable Hilbert-space.In the paper mutually equivalent sets of necessary and sufficient conditions are derived that there exists a completely positive, unity preserving linear map Ttransforming 0-1,..., a n simultaneously into o)i..., o) n : a) k = a k ° T,k = l,... 9 n.Of particular interest is this 6 '/z-tuple-problem" in case of pairs of density operators (normal states), i.e. for n=2.In this situation possible connections with the notion of "generalized transition probability" are analyzed, and at least in case of normal states over the bounded operators a characterization of functionals of this type is proposed and applied. § lo Main Results, ExamplesLet jtf be a unital C*-algebra ? with unit 7, topological dual jtf*, and group of unitary elements <%(j&).To each Fe ^(j/) let us associate a bounded linear operator T v over the dual by T ¥ (a))(X) = co(VXV*) = co v (X), for all XEJ^ and any COG jtf*.On the set of bounded linear operators ^(j/*) over j/* we may introduce the weak operator topology (w-topology) which is characterized by the system of semi-norms {q^xi coe.s/*,XEJ/} given by q (0 ,x(T) = \T(a>)(X)\, with Te^(X*).Then, by % u (<xf} the weak closure of the convex hull of the operators T v will be denoted: ^M(j^) = conv{T F : VE<%(JZ?)} W .In this paper as an essential result the following theorem is proved (proofs of most of the assertions of this part are given In § §3-5): LI Ttoeoremo Let 3? be an infinite-dimensional separable complex

Publications of the Research Institute for Mathematical Sciences•Jun 30, 1985•7 citations
In this work, we adapt Sinkhorn–Knopp theorem for rectangular positive maps. We extend their concepts of support and total support to these maps. We show that a positive map T:Mk→Mm is equivalent to a doubly stochastic map if and only if T:Mk→Mm is equivalent to a positive map with total support. Moreover, if k and m are coprime then support is sufficient for the equivalence with a doubly stochastic map. This result provides a necessary and sufficient condition for the filter normal form, which is commonly used in Quantum Information Theory. Let A=∑i=1nAi⊗Bi∈Mk⊗Mm be a state and GA:Mk→Mm be the positive map GA(X)=∑i=1nBitr(AiX). We show that A can be put in the filter normal form if and only if GA:Mk→Mm is equivalent to a positive map with total support. We prove that any state A∈Mk⊗Mm≃Mkm such that dim⁡(ker⁡(A))<k−1, if k=m, and dim⁡(ker⁡(A))<min{k,m}, if k≠m, can be put in the filter normal form.
Power symmetric stochastic matrices introduced by R. Sinkhorn (1981) and their generalization by R.B. Bapat, S.K. Jain and K. Manjunatha Prasad (1999) have been utilized to give positive block matrices with trace one possessing positive partial transpose, the so-called PPT states. Another method to construct such PPT states is given, it uses the form of a matrix unitarily equivalent to to its transpose obtained by S.R. Garcia and J.E. Tener (2012). Evolvement or suppression of separability or entanglement of various levels for a quantum dynamical semigroup of completely positive maps has been studied using Choi-Jamiolkowsky matrix of such maps and the famous Hordeckis criteria (1996). A Trichotomy Theorem has been proved, and examples have been given that depend mainly on generalized Choi maps and clearly distinguish the levels of entanglement breaking.
Power symmetric stochastic matrices introduced by R. Sinkhorn (1981) and their generalization by R.B. Bapat, S.K. Jain and K. Manjunatha Prasad (1999) have been utilized to give positive block matrices with trace one possessing positive partial transpose, the so-called PPT states. Another method to construct such PPT states is given, it uses the form of a matrix unitarily equivalent to to its transpose obtained by S.R. Garcia and J.E. Tener (2012). Evolvement or suppression of separability or entanglement of various levels for a quantum dynamical semigroup of completely positive maps has been studied using Choi-Jamiolkowsky matrix of such maps and the famous Hordeckis criteria (1996). A Trichotomy Theorem has been proved, and examples have been given that depend mainly on generalized Choi maps and clearly distinguish the levels of entanglement breaking.
Matrix scaling is a classical problem with a wide range of applications. It is known that the Sinkhorn algorithm for matrix scaling is interpreted as alternating e-projections from the viewpoint of classical information geometry. Recently, a generalization of matrix scaling to completely positive maps called operator scaling has been found to appear in various fields of mathematics and computer science, and the Sinkhorn algorithm has been extended to operator scaling. In this study, the operator Sinkhorn algorithm is studied from the viewpoint of quantum information geometry through the Choi representation of completely positive maps. The operator Sinkhorn algorithm is shown to coincide with alternating e-projections with respect to the symmetric logarithmic derivative metric, which is a Riemannian metric on the space of quantum states relevant to quantum estimation theory.
The concept of the half density matrix is proposed. It unifies the quantum states that are described by density matrices and physical processes that are described by completely positive maps. With the help of the half-density-matrix representation of the Hermitian linear map, we show that every positive map that is not completely positive is a difference of two completely positive maps. A necessary and sufficient condition for a positive map that is not completely positive is also presented, which is illustrated by some examples.
Let {o^,..., a) n ] and {<TI,..., a n ] be finite sets of normal states over the bounded linear operators acting over some infinite-dimensional separable Hilbert-space.In the paper mutually equivalent sets of necessary and sufficient conditions are derived that there exists a completely positive, unity preserving linear map Ttransforming 0-1,..., a n simultaneously into o)i..., o) n : a) k = a k ° T,k = l,... 9 n.Of particular interest is this 6 '/z-tuple-problem" in case of pairs of density operators (normal states), i.e. for n=2.In this situation possible connections with the notion of "generalized transition probability" are analyzed, and at least in case of normal states over the bounded operators a characterization of functionals of this type is proposed and applied. § lo Main Results, ExamplesLet jtf be a unital C*-algebra ? with unit 7, topological dual jtf*, and group of unitary elements <%(j&).To each Fe ^(j/) let us associate a bounded linear operator T v over the dual by T ¥ (a))(X) = co(VXV*) = co v (X), for all XEJ^ and any COG jtf*.On the set of bounded linear operators ^(j/*) over j/* we may introduce the weak operator topology (w-topology) which is characterized by the system of semi-norms {q^xi coe.s/*,XEJ/} given by q (0 ,x(T) = \T(a>)(X)\, with Te^(X*).Then, by % u (<xf} the weak closure of the convex hull of the operators T v will be denoted: ^M(j^) = conv{T F : VE<%(JZ?)} W .In this paper as an essential result the following theorem is proved (proofs of most of the assertions of this part are given In § §3-5): LI Ttoeoremo Let 3? be an infinite-dimensional separable complex