Positivity and Complete positivity of Simon Map

Question

Simon map in a specific basis is defined as $$ \left[ {\begin{array}{ccc} A & B & C \\ D & E & F \\ G & H & I \\ \end{array} } \right] \rightarrow \left[ {\begin{array}{ccc} A +E & -B & -C \\ -D & E+I& -F \\ -G & -H & I+A \\ \end{array} } \right] $$ This looks similar to the reduction map ${(\rho \rightarrow tr(\rho)I -\rho )}$ with a minor difference which can be easily observed. I believe that the Simon map can be broken into a reduction map composed with some other map. However , despite many attempts I am unable to get a good decomposition . I would like someone to help me with positivity of the Simon map.

Answer 1

I may be misinterpreting the question (I have no background in quantum computing), but assuming you are using the definition of complete positivity in which $\Phi\geq0$ means $\Phi(\rho)\geq0$ for all $\rho\geq0$, then the statement that the map $$\Phi\left(\left[ {\begin{array}{ccc} A & B & C \\ D & E & F \\ G & H & I \\ \end{array} } \right]\right) =\left[ {\begin{array}{ccc} A +B & -B & -C \\ -D & E+F& -F \\ -G & -H & I+A \\ \end{array} } \right]$$ is completely positive is false.

A counterexample is the Hermitian matrix $$\rho=\left( \begin{array}{ccc} 0.924104\, +0. i & 0.577485\, +0.527832 i & -0.669071-0.336161 i \\ 0.577485\, -0.527832 i & 2.58896\, +0. i & -0.292335-0.540232 i \\ -0.669071+0.336161 i & -0.292335+0.540232 i & 2.98363\, +0. i \\ \end{array} \right)$$ which has $\text{Eigenvalues}\left(\Phi(\rho)\right)$ of {4.29122 - 0.0114877 I, 2.48666 - 0.255346 I, 0.928064 + 0.254433 I}, but $\text{Eigenvalues}\left(\rho\right)$ of {3.71306, 2.3659, 0.417722}.

Meanwhile, the reduction map $\Phi(\rho)=\text{tr}(\rho)I-\rho$ is trivially a positive map, due to the fact that if $\rho\geq0$, then the eigenvalues of $\Phi(\rho)$ are $$\lambda_1+\lambda_2+\lambda_3-\{\lambda_1\,\lambda_2,\lambda_3\}=\{\lambda_2+\lambda_3, \lambda_1+\lambda_3,\lambda_1+\lambda_3\}\geq0.$$