Supporting functionals and singular boundary geometry of two-qubit entanglement of formation
We give a criterion for the existence of a global supporting affine functional for the entanglement of formation at an entangled two-qubit state. It exists if and only if the spin-flip bilinear form is nondegenerate on the support of the state, or equivalently, if the last concurrence root associated with the support is nonzero. In this case the entanglement of formation satisfies a two-sided Lipschitz bound relative to the reference state. In the degenerate case the state has rank two or three, and its projective support is tangent to the product-state quadric. By suitably choosing a perturbation outside the original support space, the decrease in the entanglement of formation is, to leading order, proportional to the square root of the mixing parameter. We give an explicit expression for the leading coefficient. Such a square-root decrease violates the one-sided Lipschitz bound, and therefore no globally supported affine functional exists at this state.