Supporting affine functionals for Entanglement of Formation

For two qubits, the paper considers $\rho=\frac12|\Phi^+\rangle\langle\Phi^+|+\frac12|01\rangle\langle01|$, where $|\Phi^+\rangle=(|00\rangle+|11\rangle)/\sqrt2$. This rank-2 state has no global supporting affine functional for Entanglement of Formation. Setting $\rho_t=(1-t)\rho+t|10\rangle\langle10|$, Wootters’ formula gives $C(\rho_t)=\frac12-\sqrt{2t}+O(t)$. Consequently, $\lim_{t\to0^+}[E_F(\rho)-E_F(\rho_t)]/t=+\infty$, so $E_F$ is not Lipschitz lower semicontinuous at $\rho$. By the paper’s criterion, no global supporting affine functional exists there. Thus the claimed universal existence fails even for two qubits, although it remains true for nondegenerate finite-dimensional states.

For two qubits, the paper considers $\rho=\frac12|\Phi^+\rangle\langle\Phi^+|+\frac12|01\rangle\langle01|$, where $|\Phi^+\rangle=(|00\rangle+|11\rangle)/\sqrt2$. This rank-2 state has no global supporting affine functional for Entanglement of Formation. Setting $\rho_t=(1-t)\rho+t|10\rangle\langle10|$, Wootters’ formula gives $C(\rho_t)=\frac12-\sqrt{2t}+O(t)$. Consequently, $\lim_{t\to0^+}[E_F(\rho)-E_F(\rho_t)]/t=+\infty$, so $E_F$ is not Lipschitz lower semicontinuous at $\rho$. By the paper’s criterion, no global supporting affine functional exists there. Thus the claimed universal existence fails even for two qubits, although it remains true for nondegenerate finite-dimensional states.