Completely Positive Matrix Products

Building on recent works that investigate positivity preserving matrix products, we {examine} the class of \JCP (\jcp) matrix products.

A bilinear map on the Cartesian product of the space of n by n matrices with itself into m by m matrices is a \jcp matrix product if the natural linear map it induces on the tensor product of the space of n by n matrices with itself into m by m matrices is completely positive.

In particular, a matrix product is \jcp if and only if its naturally associated Choi matrix is positive semidefinite.

Similarly, a matrix product is \jcp if and only if it admits a Choi-Kraus representation.

We use the Choi-Kraus representation of \jcp matrix products to study various basic properties, including positivity lower bounds, commutativity, units, causality, and separability.

As examples, we apply our results to the Schur (Hadamard) product and the convolution product.