Swap operator (source code)

= Swap operator
{title2=$F$}
{wiki}

The swap operator exchanges two tensor factors: $F(|\psi\rangle\otimes|\phi\rangle)=|\phi\rangle\otimes|\psi\rangle$. It has <eigenvalue> $+1$ on the symmetric subspace and $-1$ on the antisymmetric subspace, and the <partial transpose> of $|\Phi^+\rangle\langle\Phi^+|$ is $F/d$.