Two-qubit Werner state (${\rho }_p=p{P}_s+(1-p)(I-P_s)/3$)

This collective-unitary-invariant two-qubit state has singlet weight $p$ and equal weights on the three triplet Bell states. With $P_s$ the spin singlet state projector, its partial transpose has eigenvalues $(1-2p)/2$ once and $(1+2p)/6$ three times. It is entangled exactly when $p>1/2$. At $p=1/2$, it is the equally weighted mixture of six antiparallel product states along the three Pauli axes. In the interval $1/4\le p\le 1/2$, convex mixing of this boundary state with $I/4$ explicitly proves separability. The weight $p$ here is the singlet probability, not the alternative coefficient multiplying a pure singlet in a white-noise mixture.

Write $W_F=(I\otimes I-w{\sum }_j{\sigma }_j\otimes {\sigma }_j)/4$, with $w=(4F-1)/3\in (1/3,1]$. For positive matrices $X=A^{†}A=a_{0}I+a\cdot \sigma$ and $Y=B^{†}B=b_{0}I+b\cdot \sigma$, the success probability is $p=a_0{b}_0-wa\cdot b$. It is at least $a_0{b}_0-|a||b|\ge \sqrt{(a_0^2-|a{|}^2)(b_0^2-|b{|}^2)}=|\det A\det B|$. Squaring the middle comparison leaves $(a_0|b|-b_0|a|{)}^2\ge 0$.

Combine the single-copy Werner filtering normalization bound with concurrence scaling under invertible local filters. Every complete classical record of local operations and classical communication has a product filter $A\otimes B$; singular branches are separable. Thus every retained branch has concurrence at most that of the input. Coarse-graining successful records preserves the bound by convexity. Since concurrence of a two-qubit Werner state increases strictly with $F$, no successful single-copy protocol can output a Werner state with larger $F$. Several input copies permit collective distillation and are outside this statement.

For any normalized pure two-qubit vector, its squared overlap with a maximally entangled state is at most $(1+C)/2$: in a Schmidt decomposition the overlap is bounded by $(\sqrt{\lambda }+\sqrt{1-\lambda })/\sqrt{2}$. Averaging gives $C(W_F)\ge 2F-1$. Equality follows from the six-state ensemble $\sqrt{F}|{\Psi }_{-}⟩\pm \sqrt{1-F}|t_j⟩$, with equal weights, where $t_1={\Psi }_{+}$, $t_2={\Phi }_{-}$ and $t_3=i{\Phi }_{+}$. The coherences cancel and each coefficient determinant gives pure concurrence $2F-1$.

Average the four correlated local Pauli operations to remove coherences in the Bell states basis. A one-party Pauli operation can permute the largest of the four resulting weights into the singlet sector; that weight is at least $1/4$. Correlated common local unitaries then permute the three triplet projectors, while collective-unitary covariance of the two-qubit singlet keeps the singlet projector unchanged. Averaging all six permutations makes the triplet weights equal, producing a two-qubit Werner state. Shared randomness or local operations and classical communication coordinates these local operations. Common unitaries alone cannot increase an initially small singlet weight, because that weight is invariant under them.