An effective method of investigation of positive maps on the set of positive definite operators

Let $\text{A}$₁ be the algebra of linear operators on the n-dimensional Hilbert space $\text{H}$₁, and let $\text{A}$₂ be the algebra of linear operators of the m-dimensional Hilbert space $\text{H}$₂. Let $\text{L}$($\text{A}$₁, $\text{A}$₂) denote the complex space of linear maps from $\text{A}$₁ to $\text{A}$₂. By a positive map we mean an element of the space $\text{L}$($\text{A}$₁, $\text{A}$₂) (superoperator with respect to $\text{H}$₁) which maps positive definite operators in $\text{A}$₁ into positive definite operators in $\text{A}$₂. The aim of this paper is to present an effective method which allows to verify whether a given superoperator Λ∈$\text{L}$($\text{A}$₁, $\text{A}$₂) is a positive map. Besides that necessary and sufficient conditions for the positive definiteness of even-degree forms in many variables are given.