A bipartite pure state is entangled when it is not a product state. Its Schmidt decomposition is , where and . More than one nonzero coefficient means entanglement. The two reduced density matrices have the same nonzero spectrum, and their Von Neumann entropy is the pure-state entanglement entropy. A maximally entangled pair of qubits has one bit of this entropy.
For mixed states, classical correlations are not sufficient: a separable quantum state is a convex mixture , and entanglement means that no such decomposition exists. A reduced entropy alone no longer measures mixed-state entanglement. An entanglement witness or a suitable separability criterion can detect it.
Local unitary transformations preserve the Schmidt spectrum. More general local operations and classical communication can discard entanglement but cannot freely create it from a separable input. Nielsen's pure-state conversion theorem gives the exact deterministic criterion: is possible precisely when . In decreasing order, every partial sum for the input is no larger than the corresponding output sum, with equal totals. The direction matters: a uniform spectrum can be converted to a concentrated one; a product state cannot deterministically become a Bell pair.
A probabilistic local filter can concentrate a partially entangled pair. For with , Alice's successful operator produces equal amplitudes. The outcome is a Bell pair with probability ; a complementary operator supplies a complete measurement. Failure is heralded, so there is no deterministic creation of a more entangled pair. This illustrates entanglement concentration.
Many-copy entanglement distillation and entanglement dilution connect noisy or nonuniform resources with standard Bell pairs. Entanglement enables quantum teleportation and other protocols, but classical communication is still required; the no-communication theorem excludes message transmission merely by choosing a distant local measurement.
Relativistic causality constraint on an ideal nonlocal measurement Created 2026-10-07 Updated 2026-10-14
The nonselective channel of a hypothetical spacelike nonlocal measurement in quantum mechanics must not allow a distant input change to alter local output statistics. For a rank-one measurement in the rotated even and odd two-qubit bases with angle , Alice's output satisfies
Bob can change the last correlation using only his local Pauli Z gate while Alice keeps the input . The resulting signal excludes . Degenerate observables that do not distinguish this basis are not covered by the rank-one argument. Locally recording a jointly encoded result, which is decoded later by local operations and classical communication, is compatible with quantum no-signalling.
Combine the single-copy Werner filtering normalization bound with concurrence scaling under invertible local filters. Every complete classical record of local operations and classical communication has a product filter ; singular branches are separable. Thus every retained branch has concurrence at most that of the input. Coarse-graining successful records preserves the bound by convexity. Since concurrence of a two-qubit Werner state increases strictly with , no successful single-copy protocol can output a Werner state with larger . Several input copies permit collective distillation and are outside this statement.
Alice holds the first two qubits and Bob the third of a three-vertex graph-state wire. Alice measures at and , with outcomes , and sends these two bits. Bob applies , the inverse of the known Pauli frame , obtaining up to global phase. Bob need not know the angles. Every branch succeeds, with branch probability , and no postselection is needed. Alice's measurements and Bob's corrections constitute local operations and classical communication on the previously shared entangled resource.