I am going over chapter 3 of Preskill's lecture notes regarding complete positivity. Specifically, on page 19, it is mentioned that since SWAP has eigenstates with eigenvalue -1, it is not positive, thus not a physically realizable operation.

This is quite strange to me since SWAP is quite common in quantum circuits. Also, I tried more general form of SWAP, e.g., adding a global phase, or adding a phase to $|01\rangle$ and $|10\rangle$ like iSWAP, but it seems like there will always be some eigenstates with eigenvalues not positive, or not even real.

So, from the point of quantum channels, why are SWAP gates possible? Is it because we have to involve a third qubit into consideration? But I don't think on those superconducting chips, we need to take over a third qubit when performing a SWAP gate.


Quoting from the linked source: "thus SWAP has negative eigenvalues, which means that $T\otimes I$ is not positive and therefore $T$ is not completely positive", where $T$ is the transpose. So they are not saying that the SWAP is not a realisable operation; they are saying that $T$ isn't.

As you note, the SWAP is a perfectly fine unitary gate. That there are negative eigenvalues is not a problem for a unitary operation (which has in general complex eigenvalues in the unit circle).

The argument made in the linked textbook is that if a quantum map $\Phi$ is such that $\Phi\otimes I$ is not positive, i.e. sends some positive semidefinite operator to some non-positive-semidefinite operator, then $\Phi$ is not completely positive, and thus does not describe a physical quantum operation.

Just to try to clarify a few things:

  1. Let $V$ be a (complex) finite-dimensional vector spaces. Let $U\in\mathrm{Lin}(V)$ be a linear operator. We say that $U$ is positive semidefinite if it is Hermitian and has non-negative eigenvalues, i.e. $U^\dagger=U$ and $\langle v,Uv\rangle\ge0$ for all $v\in V$.

  2. Let $\Phi$ be a (quantum) map on $V$. This is, by definition, a linear operator acting on linear operators, that is, $\Phi\in\mathrm{Lin}(\mathrm{Lin}(V),\mathrm{Lin}(V))$. You can think of it as an object sending density matrices (which are linear operators in $V$) to other density matrices.

  3. A map $\Phi$ is said to be positive if it sends positive semidefinite operators to positive semidefinite operators, that is, $\Phi(X)\ge0$ whenever $\mathrm{Lin}(V)\ni X\ge0$. It is said to be completely positive if $\Phi\otimes I$ is positive for any possible extension.

  4. So, they want to show that the transpose map $T$ is positive but not completely positive. This is the map sending $|i\rangle\!\langle j|$ to $|j\rangle\!\langle i|$ for all $i,j$. Note that here $|i\rangle\!\langle j|\in\mathrm{Lin}(V)$. To show that this is the case, they argue that, if $|\Psi\rangle\in V\otimes V$ denotes the maximally entangled state (note the enlarged space), then $(T\otimes I_V)\in\mathrm{Lin}(\mathrm{Lin}(V\otimes V),\mathrm{Lin}(V\otimes V))$ is a map sending $|\Psi\rangle\!\langle\Psi|$ (note that we use the density matrix corresponding to the ket state here) to the SWAP operator. Again, here $\text{SWAP}\in\mathrm{Lin}(V\otimes V)$. Now, this SWAP is not positive semidefinite (again, as a matrix/operator), hence $T\otimes I$ is not positive as a map, hence $T$ is not completely positive (again, as a map).

  • $\begingroup$ OK. Then I wonder why does SWAP having -1 eigenstates matters here. SWAP$:|\psi\rangle \to -|\psi\rangle$ where $|\psi\rangle=|01\rangle-|10\rangle$. Then, before SWAP, we have $|\psi\rangle\langle\psi|$; after SWAP, we have $(-|\psi\rangle)(-\langle\psi|)$. So, SWAP maps a positive density operator to a positive density operator, actually just itself. Nothing is in violation here, right? $\endgroup$
    – quTANum
    Dec 2 '21 at 0:32
  • 1
    $\begingroup$ you have to distinguish between matrices/operators/gates acting on ket states/vectors, and quantum maps/operations/channels, which instead act on density matrices. The term "operation" can be used in both cases, so I can understand a bit of confusion. The SWAP, as a gate, is a unitary gate. It is not positive. They are saying that $T$ is not completely positive as a quantum map, because $T\otimes I$ isn't positive as a quantum map, as it sends the maximally entangled state to the SWAP, and the latter is not positive. Here, the SWAP is thought of as an operator, not as an "operation" $\endgroup$
    – glS
    Dec 2 '21 at 7:33
  • $\begingroup$ @quTANum ok I edited the answer to add some clarification $\endgroup$
    – glS
    Dec 2 '21 at 7:42

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.