Optimal stochastic conversion of a two-qubit pure state ($p_{\max }=\min \{1,s/t\}$)

Write a source and target in Schmidt decomposition with squared coefficients $(1-s,s)$ and $(1-t,t)$, where $0<s,t\le 1/2$. If $s\ge t$, Nielsen's pure-state conversion theorem allows deterministic conversion. If $s<t$, the Schmidt-tail entanglement monotone gives $p\le s/t$. Alice attains this bound with a local two-outcome measurement in quantum mechanics whose success Kraus operator is $K_s=\mathrm{diag}(\sqrt{s(1-t)/(t(1-s))},1)$ and whose failure operator is $K_f=\mathrm{diag}(\sqrt{1-s(1-t)/(t(1-s))},0)$. They obey $K_s^{†}{K}_s+K_f^{†}{K}_f=I$. The successful unnormalized state is $\sqrt{s/t}$ times the target, and failure leaves a product state. A classical message tells Bob which branch occurred. Known local changes of Schmidt bases allow the same protocol for arbitrary two-qubit pure states with these coefficients.