A note on completely positive relaxations of quadratic problems in a multiobjective framework

In a single-objective setting, nonconvex quadratic problems can equivalently be reformulated as convex problems over the cone of completely positive matrices. In small dimensions this cone equals the cone of matrices which are entrywise nonnegative and positive semidefinite, so the convex reformulation can be solved via SDP solvers. Considering multiobjective nonconvex quadratic problems, naturally the question arises, whether the advantage of convex reformulations extends to the multicriteria framework. In this note, we show that this approach only finds the supported nondominated points, which can already be found by using the weighted sum scalarization of the multiobjective quadratic problem, i.e. it is not suitable for multiobjective nonconvex problems.

Diagonal unitary and orthogonal symmetries in quantum theory

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.

Lower bounds for maximal cp-ranks of completely positive matrices and tensors

Let $p_n$ denote the maximal cp-rank attained by completely positive $n\times n$ matrices. Only lower and upper bounds for $p_n$ are known, when $n\ge6$, but it is known that $p_n=\frac{n^2}2\big(1+o(1)\big)$, and the difference of the current best upper and lower bounds for $p_n$ is of order $\mathcal{O}\big(n^{3/2}\big)$. In this paper, that gap is reduced to $\mathcal{O}\big(n\log\log n\big)$. To achieve this result, a sequence of generalized ranks of a given matrix A has to be introduced. Properties of that sequence and its generating function are investigated. For suitable A, the $d$th term of that sequence is the cp-rank of some completely positive tensor of order $d$. This allows the derivation of asymptotically matching lower and upper bounds for the maximal cp-rank of completely positive tensors of order $d>2$ as well.

Pairwise Completely Positive Matrices and Conjugate Local Diagonal Unitary Invariant Quantum States

A generalization of the set of completely positive matrices called pairwise completely positive (PCP) matrices is introduced. These are pairs of matrices that share a joint decomposition so that one of them is necessarily positive semidefinite while the other one is necessarily entrywise non-negative. Basic properties of these matrix pairs are explored and several testable necessary and sufficient conditions are developed to help determine whether or not a pair is PCP. A connection with quantum entanglement is established by showing that determining whether or not a pair of matrices is pairwise completely positive is equivalent to determining whether or not a certain type of quantum state, called a conjugate local diagonal unitary invariant state, is separable. Many of the most important quantum states in entanglement theory are of this type, including isotropic states, mixed Dicke states (up to partial transposition), and maximally correlated states. As a specific application of these results, a wide family of states that have absolutely positive partial transpose are shown to in fact be separable.