Entanglement Witnesses

A Bell inequality detects entanglement only when correlations are strong enough to be nonlocal. Many entangled states are not nonlocal yet are still entangled. Entanglement witnesses are a more flexible tool: a single observable whose expectation value reveals entanglement directly.

The idea

The set of separable (unentangled) states is convex — it is closed under classical mixing. A state outside this set is entangled. Because separable states form a convex set, a separating hyperplane exists: a Hermitian operator $W$ such that

while $\langle W \rangle < 0$ for at least one entangled state. Measuring a negative witness value therefore certifies entanglement — no separable state could have produced it.

A witness for the Bell state

A simple witness for the Bell state $|\Phi^+\rangle = \tfrac{1}{\sqrt2}(|00\rangle + |11\rangle)$ is

The constant $\tfrac12$ is the maximum squared overlap any separable state can have with $|\Phi^+\rangle$ — the maximal fidelity $\max_{\text{sep}} \langle\Phi^+|\rho|\Phi^+\rangle = \tfrac12$. Hence for every separable $\rho$,

The witness is non-negative on all separable states, as required.

Evaluating it on the Bell state

For a pure state $|\psi\rangle$, $\langle W\rangle = \tfrac12 - |\langle\Phi^+|\psi\rangle|^2$. Take $|\psi\rangle = |\Phi^+\rangle$ itself. A normalized state overlaps itself perfectly, $|\langle\Phi^+|\Phi^+\rangle|^2 = 1$, so

The negative value flags $|\Phi^+\rangle$ as entangled — exactly what we expect for a maximally entangled state.

Witnesses vs Bell inequalities

A Bell inequality is a special, device-independent kind of witness: it certifies entanglement (in fact nonlocality) without trusting the measurement apparatus, but it only fires for sufficiently nonlocal states. A general witness like $W$ above assumes you know what observables you are measuring, but in return it can detect weakly entangled states that violate no Bell inequality. The two tools are complementary.

Try it

This is a numerical exercise — your code should return a number. Using $\langle W\rangle = \tfrac12 - |\langle\Phi^+|\psi\rangle|^2$ with $|\psi\rangle = |\Phi^+\rangle$ (so the squared overlap is $1$), compute the witness value. You should get $-\tfrac12$ — a negative number certifying entanglement.

Sign in on the full site to ask questions and join the discussion.