Entanglement Witnesses

An entanglement witness is an observable whose expectation value proves that a state is entangled. It is designed so that all separable states give nonnegative expectation value, while at least one entangled state gives a negative value.

With the sign convention used here, a Hermitian operator $W$ is an entanglement witness if

$$\operatorname{Tr}(W\sigma)\ge0 \quad \text{for every separable state }\sigma,$$

but there exists an entangled state $\rho$ such that

$$\operatorname{Tr}(W\rho)<0.$$

Other sign conventions are common. Some authors define witnesses with separable states below a bound and entangled states above it. The physics is the same: a measured expectation value crosses a threshold that no separable state can cross.

Why Witnesses Matter

Separability is a global property of a density operator. Checking it exactly is hard in general. Entanglement witnesses trade completeness for practicality:

• a negative witness expectation proves entanglement;
• a nonnegative value for one witness does not prove separability;
• the witness can often be written in terms of experimentally accessible observables.

Thus witnesses are detection tools. They answer the question “Can this particular observable certify entanglement for this family of states?” rather than “Have we solved separability in full generality?”

Geometry of the Definition

In finite dimensions, the set of density operators is convex. The subset of separable states is also convex:

$$\sigma = \sum_k p_k\, \sigma_A^{(k)}\otimes\sigma_B^{(k)}.$$

If $\sigma_1$ and $\sigma_2$ are separable, then

$$q\sigma_1+(1-q)\sigma_2$$

is separable for $0\le q\le1$. Geometrically, mixtures stay inside the separable set.

An entangled state lies outside that convex set. In finite dimensions, separating-hyperplane theorems imply that for every entangled state there exists a Hermitian operator $W$ such that the affine functional

$$\rho \longmapsto \operatorname{Tr}(W\rho)$$

is nonnegative on all separable states but negative on that entangled state.

This is the conceptual reason witnesses exist. The practical difficulty is finding a useful $W$ and measuring it with sufficient precision.

Bell-State Witness

For the Bell state

$$\lvert\Phi^+\rangle = \frac{1}{\sqrt2} \left( \lvert00\rangle+\lvert11\rangle \right),$$

define

$$W_{\Phi^+} = \frac12 I - \lvert\Phi^+\rangle\langle\Phi^+\rvert.$$

For a product pure state $\lvert a\rangle\otimes\lvert b\rangle$,

$$\left\lvert \langle\Phi^+\vert a,b\rangle \right\rvert^2 \le \frac12.$$

Therefore

$$\langle a,b\vert W_{\Phi^+}\vert a,b\rangle = \frac12 - \left\lvert \langle\Phi^+\vert a,b\rangle \right\rvert^2 \ge0.$$

By convexity, the same nonnegative bound holds for every separable mixed state.

On the Bell state itself,

$$\operatorname{Tr} \left( W_{\Phi^+} \lvert\Phi^+\rangle\langle\Phi^+\rvert \right) = \frac12-1 = -\frac12.$$

Thus $W_{\Phi^+}$ detects $\lvert\Phi^+\rangle$ as entangled.

Pauli-Correlator Form

The Bell projector has the Pauli expansion

$$\lvert\Phi^+\rangle\langle\Phi^+\rvert = \frac14 \left( I\otimes I + \sigma_x\otimes\sigma_x - \sigma_y\otimes\sigma_y + \sigma_z\otimes\sigma_z \right).$$

Therefore the witness can be written

$$W_{\Phi^+} = \frac14 \left( I\otimes I - \sigma_x\otimes\sigma_x + \sigma_y\otimes\sigma_y - \sigma_z\otimes\sigma_z \right).$$

Its expectation value is

$$\langle W_{\Phi^+}\rangle = \frac14 \left( 1 - \langle\sigma_x\otimes\sigma_x\rangle + \langle\sigma_y\otimes\sigma_y\rangle - \langle\sigma_z\otimes\sigma_z\rangle \right).$$

This form shows why witnesses are experimentally useful: one may certify entanglement by measuring a small set of correlations rather than reconstructing the full density matrix.

Bell-Mixed Example

Consider

$$\rho(p) = p\lvert\Phi^+\rangle\langle\Phi^+\rvert + \frac{1-p}{4}I, \qquad 0\le p\le1.$$

Then

$$\operatorname{Tr}(W_{\Phi^+}\rho(p)) = \frac12 - \operatorname{Tr} \left( \lvert\Phi^+\rangle\langle\Phi^+\rvert \rho(p) \right).$$

The Bell-state fidelity is

$$F_{\Phi^+} = \operatorname{Tr} \left( \lvert\Phi^+\rangle\langle\Phi^+\rvert \rho(p) \right) = p+\frac{1-p}{4} = \frac{1+3p}{4}.$$

Thus

$$\operatorname{Tr}(W_{\Phi^+}\rho(p)) = \frac{1-3p}{4}.$$

The witness detects entanglement when

$$p>\frac13.$$

For this symmetric two-qubit family, that threshold matches the PPT and concurrence thresholds. For a general state, one witness detects only the states it was designed to detect.

Witnesses and Positive Maps

There is a deep relation between entanglement witnesses and positive maps. Roughly, a positive but not completely positive map can reveal entanglement when applied to one subsystem, and the corresponding witness is another way to express the same separating test.

The PPT criterion is the most familiar example: transposition is positive but not completely positive. More general witnesses can be viewed as observable-side versions of more general positive-map tests.

This page does not develop the full positive-map formalism. The key lesson is that witnesses are not ad hoc tricks; they are tied to the convex geometry of separable states.

Experimental Relevance

Full state tomography can be expensive. A witness may require only a few measurement settings. For example, the Pauli form of $W_{\Phi^+}$ uses the three two-qubit correlators

$$\langle\sigma_x\otimes\sigma_x\rangle,\qquad \langle\sigma_y\otimes\sigma_y\rangle,\qquad \langle\sigma_z\otimes\sigma_z\rangle.$$

In many platforms, witnesses are adapted to the observables that are easiest to measure:

• spin correlations in two-qubit or many-spin experiments;
• stabilizer-like correlations for graph and GHZ states;
• collective spin observables for large ensembles;
• field-mode correlations in optical experiments;
• energy or covariance bounds in many-body systems.

The witness must still be justified mathematically. A convenient observable is not automatically an entanglement witness; it must have a proven separable-state bound.

Limitations

Witnesses are one-sided tests. If

$$\operatorname{Tr}(W\rho)<0,$$

then $\rho$ is entangled. If

$$\operatorname{Tr}(W\rho)\ge0,$$

then the witness has failed to detect entanglement, but $\rho$ may still be entangled.

Other limitations:

• each witness detects only part of the entangled-state set;
• noise and finite statistics can obscure a threshold crossing;
• a witness depends on the chosen subsystem split;
• an experimentally convenient witness may be weak for the states actually produced;
• proving the optimal separable bound can be hard.

Witnesses are therefore best viewed as certified alarms: when they trigger, the state is entangled; when they do not trigger, further tests may be needed.

Common Mistakes

• Treating a nonnegative witness expectation as proof of separability.
• Forgetting that the witness sign convention may differ between references.
• Measuring an observable without proving its separable-state bound.
• Assuming one witness detects all entangled states near a target state.
• Confusing a Bell inequality violation with the broader concept of an entanglement witness.
• Ignoring statistical uncertainty when the measured value is close to the separable bound.

Cross-Links

• Spin Squeezing
• Separable Mixed States
• Entangled States
• Bell States
• Classical Correlation versus Entanglement
• Local Unitary Equivalence
• Entanglement Depends on a Decomposition
• Reduced Density Operators
• Concurrence for Two Qubits
• Negativity and PPT Criterion
• Mutual Information
• LOCC Preview
• Graph States
• Stabilizer States Preview
• Multipartite Separability
• Density Operators
• Observables
• Pauli Matrices
• Certification of Entanglement places witnesses inside trusted, one-sided-device-independent, and device-independent experimental workflows with finite-statistics and calibration margins.

References

• M. Horodecki, P. Horodecki, and R. Horodecki, “Separability of Mixed States: Necessary and Sufficient Conditions,” Physics Letters A 223, 1-8, 1996.
• B. M. Terhal, “Bell Inequalities and the Separability Criterion,” Physics Letters A 271, 319-326, 2000.
• M. Lewenstein, B. Kraus, J. I. Cirac, and P. Horodecki, “Optimization of Entanglement Witnesses,” Physical Review A 62, 052310, 2000.
• O. Guhne and G. Toth, “Entanglement Detection,” Physics Reports 474, 1-75, 2009.
• R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki, “Quantum Entanglement,” Reviews of Modern Physics 81, 865-942, 2009.
• M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, 2010.

Exercises

1. Product-state bound. Let

$$\lvert a\rangle = a_0\lvert0\rangle+a_1\lvert1\rangle, \qquad \lvert b\rangle = b_0\lvert0\rangle+b_1\lvert1\rangle$$

be normalized qubit states. Prove

$$\left\lvert \langle\Phi^+\vert a,b\rangle \right\rvert^2 \le \frac12.$$

Solution

The overlap is

$$\langle\Phi^+\vert a,b\rangle = \frac{1}{\sqrt2} \left( a_0b_0+a_1b_1 \right)$$

up to complex conjugation of the coefficients in the bra convention. By Cauchy-Schwarz,

$$\lvert a_0b_0+a_1b_1\rvert^2 \le \left( \lvert a_0\rvert^2+\lvert a_1\rvert^2 \right) \left( \lvert b_0\rvert^2+\lvert b_1\rvert^2 \right) =1.$$

Therefore the squared Bell overlap is at most $1/2$.

2. Witness expectation for a Bell-mixed state. For

$$\rho(p) = p\lvert\Phi^+\rangle\langle\Phi^+\rvert + \frac{1-p}{4}I,$$

compute $\operatorname{Tr}(W_{\Phi^+}\rho(p))$.

Solution

The Bell fidelity is

$$F_{\Phi^+} = p+\frac{1-p}{4} = \frac{1+3p}{4}.$$

Since $W_{\Phi^+}=I/2-\lvert\Phi^+\rangle\langle\Phi^+\rvert$,

$$\operatorname{Tr}(W_{\Phi^+}\rho(p)) = \frac12-F_{\Phi^+} = \frac{1-3p}{4}.$$

The witness is negative exactly when $p>1/3$.

3. Pauli measurements. Suppose the measured correlators are

$$\langle\sigma_x\otimes\sigma_x\rangle=0.82, \qquad \langle\sigma_y\otimes\sigma_y\rangle=-0.76, \qquad \langle\sigma_z\otimes\sigma_z\rangle=0.80.$$

Does $W_{\Phi^+}$ detect entanglement?

Solution

Use

$$\langle W_{\Phi^+}\rangle = \frac14 \left( 1 - \langle\sigma_x\otimes\sigma_x\rangle + \langle\sigma_y\otimes\sigma_y\rangle - \langle\sigma_z\otimes\sigma_z\rangle \right).$$

Substitution gives

$$\langle W_{\Phi^+}\rangle = \frac14 \left( 1-0.82-0.76-0.80 \right) = -0.345.$$

The value is negative, so this witness detects entanglement.

4. Failure to detect is not separability. Explain why $\operatorname{Tr}(W\rho)\ge0$ for one witness $W$ does not prove that $\rho$ is separable.

Solution

A witness defines one separating test. It is guaranteed to be nonnegative on all separable states, but it need not be negative on every entangled state. Geometrically, one hyperplane can separate some outside points from the separable set while leaving other outside points on the nonnegative side. To prove separability one needs a complete criterion, not a single failed witness.