Entanglement and Correlated Measurement

Consider a two-qubit system with computational basis $\{|00\rangle, |01\rangle, |10\rangle, |11\rangle\}$. A general state is

This state is called separable (or a product state) if there exist single-qubit states $|a\rangle = a_0|0\rangle + a_1|1\rangle$ and $|b\rangle = b_0|0\rangle + b_1|1\rangle$ such that $|\psi\rangle = |a\rangle \otimes |b\rangle$. Expanding the tensor product gives

so separability means the coefficient quadruple $(\alpha,\beta,\gamma,\delta)$ factors as $(a_0b_0, a_0b_1, a_1b_0, a_1b_1)$. If no such factorization exists, the state is entangled — it describes genuine two-qubit correlation that cannot be reduced to "qubit A is in state $|a\rangle$ and qubit B is in state $|b\rangle$, independently." This is a purely linear-algebraic distinction, but it has an immediate physical meaning tied to Measurement and the Born Rule. If $|\psi\rangle = |a\rangle \otimes |b\rangle$, measuring qubit A in the computational basis yields outcome $x$ with probability $|a_x|^2$, and this probability is completely unaffected by anything done to qubit B, before or after. The two measurement records, taken over many trials, would look statistically independent — exactly like two people flipping unrelated coins. When $|\psi\rangle$ is entangled, this independence breaks down: the marginal probability of qubit A's outcome may still look unbiased on its own, but it becomes correlated with qubit B's outcome in a way no local hidden mechanism can classically reproduce without also violating the tensor-product structure of quantum mechanics. It is essential to separate two different questions that beginners often conflate. The first is about local statistics: does qubit A's outcome distribution, by itself, depend on what happens to qubit B? The answer is always no — this is the no-signaling property, and it holds whether or not the state is entangled. The second is about joint statistics: does the combination of outcomes on both qubits show correlation? For entangled states, the answer is yes, and this correlation is exactly what is left over once you rule out any explanation via a fixed, independently-prepared pair of single-qubit states.

Step 1: Write down the state. Any two-qubit pure state is specified by four complex amplitudes $\alpha, \beta, \gamma, \delta$ satisfying normalization. This is the direct output of a state-preparation circuit, computed via the tensor-product and gate rules from Multi-Qubit Systems and Tensor Products.

Step 2: Test for separability algebraically. Arrange the amplitudes into a $2\times 2$ matrix

where rows are indexed by qubit A's basis state and columns by qubit B's basis state. The state is separable if and only if $\det(M) = \alpha\delta - \beta\gamma = 0$, i.e., $M$ has rank 1. This is because a rank-1 matrix is precisely one that factors as an outer product $M = \mathbf{a}\mathbf{b}^T$ for some vectors $\mathbf{a} = (a_0,a_1)$, $\mathbf{b}=(b_0,b_1)$ — which is exactly the tensor-product condition above. If $\det(M) \ne 0$, no such factorization exists, and the state is entangled.

Step 3: If separable, recover the factors. When $\det(M)=0$ and $M \ne 0$, any nonzero row of $M$ gives $\mathbf{b}$ (up to scale) and any nonzero column gives $\mathbf{a}$; normalize each to unit length to recover $|a\rangle$ and $|b\rangle$ explicitly.

Step 4: Predict joint measurement statistics. For a general (possibly entangled) state, the Born rule gives the joint probability of measuring qubit A as $x\in\{0,1\}$ and qubit B as $y\in\{0,1\}$ as the squared modulus of the corresponding amplitude:

For example $P(0,0) = |\alpha|^2$, $P(1,1) = |\delta|^2$, and so on. The marginal probability of qubit A alone reading $x$, regardless of B's outcome, is obtained by summing over $y$:

Step 5: Simulate sequential measurement and update. If qubit A is measured first and yields outcome $x$, the post-measurement state of qubit B collapses to the conditional state obtained by projecting and renormalizing — the row of $M$ corresponding to $x$, normalized. Whether this conditional state depends on $x$ is exactly the signature of entanglement: for a product state it never does (B's state is always $|b\rangle$ regardless of A's outcome); for an entangled state, B's state visibly changes depending on what A got. ``` FUNCTION IS_ENTANGLED(alpha, beta, gamma, delta, tol = 1e-9):

# State: alpha|00> + beta|01> + gamma|10> + delta|11> determinant = alpha delta - beta gamma RETURN abs(determinant) > tol # true => entangled, false => separable FUNCTION FACTOR_PRODUCT_STATE(alpha, beta, gamma, delta):

# Precondition: IS_ENTANGLED(...) is False IF (alpha, beta) != (0, 0): b_unnormalized = (alpha, beta) # qubit B's state, up to scale ELSE: b_unnormalized = (gamma, delta) IF (alpha, gamma) != (0, 0): a_unnormalized = (alpha, gamma) # qubit A's state, up to scale ELSE: a_unnormalized = (beta, delta) RETURN normalize(a_unnormalized), normalize(b_unnormalized) FUNCTION JOINT_PROBABILITIES(alpha, beta, gamma, delta): RETURN { (0,0): abs(alpha)^2, (0,1): abs(beta)^2, (1,0): abs(gamma)^2, (1,1): abs(delta)^2 } FUNCTION MARGINAL_A(alpha, beta, gamma, delta): P = JOINT_PROBABILITIES(alpha, beta, gamma, delta) RETURN { 0: P[(0,0)] + P[(0,1)], 1: P[(1,0)] + P[(1,1)] } FUNCTION CONDITIONAL_STATE_OF_B_GIVEN_A(alpha, beta, gamma, delta, outcome_x): IF outcome_x == 0: row = (alpha, beta) ELSE: row = (gamma, delta) RETURN normalize(row) # qubit B's state after A collapses to outcome_x ``` The diagram below shows the full pipeline: a two-qubit state is checked for separability, and depending on the result, measurement either behaves like two independent classical dice or produces correlations that depend on a shared, non-factorizable state.

Time and space complexity. For $n$ qubits, a general pure state has $2^n$ complex amplitudes, so writing down or manipulating an arbitrary state already costs $O(2^n)$ space and time — this is unavoidable and independent of entanglement testing itself. Restricting attention to the two-qubit separability test described above:

• Computing $\det(M) = \alpha\delta - \beta\gamma$ takes $O(1)$ arithmetic operations on the four amplitudes.
• Recovering the factors $|a\rangle, |b\rangle$ when separable takes $O(1)$ operations (pick a nonzero row/column, normalize).
• Computing all four joint probabilities $P(x,y) = |\langle xy|\psi\rangle|^2$ takes $O(1)$ operations (just four squared moduli).

So for the two-qubit case relevant to this article, the entire pipeline — test, factor, predict statistics — is $O(1)$. This changes for general $n$-qubit systems: deciding whether an arbitrary $n$-qubit pure state is a full product state of $n$ single-qubit states, or determining the entanglement entropy across a bipartition, generally requires examining $O(2^n)$ amplitudes (or working with a reduced density matrix of dimension $2^k \times 2^k$ for a $k$-qubit subsystem), which is why Density Matrices: An Introduction introduces more scalable tools like the reduced density matrix and its rank/eigenvalue spectrum.

Correctness of the determinant test. The claim is: $|\psi\rangle$ with coefficient matrix $M$ is separable if and only if $\mathrm{rank}(M) \le 1$, equivalently $\det(M) = 0$ for the $2\times2$ case. Forward direction. If $|\psi\rangle = |a\rangle \otimes |b\rangle$, then by direct expansion $M_{xy} = a_x b_y$, so $M = \mathbf{a}\mathbf{b}^T$ is an outer product of two vectors, and every outer product has rank $\le 1$ (all rows are scalar multiples of $\mathbf{b}^T$). Hence $\det(M) = 0$. Reverse direction. Suppose $\det(M) = 0$ and $M \ne 0$ (the zero matrix cannot arise from a normalized state). Then $M$ has rank exactly 1, meaning every row is a scalar multiple of some fixed nonzero row vector $\mathbf{b}^T$: row $x$ equals $a_x \cdot \mathbf{b}^T$ for some scalars $a_x$. This gives $M_{xy} = a_x b_y$ exactly, so $|\psi\rangle = \sum_{x,y} a_x b_y |xy\rangle = \Big(\sum_x a_x|x\rangle\Big)\otimes\Big(\sum_y b_y|y\rangle\Big) = |a\rangle\otimes|b\rangle$ after normalizing $\mathbf{a}$ and $\mathbf{b}$ (any leftover scale factor is absorbed since $|\psi\rangle$ is already normalized). This proves the biconditional.

Correctness of the no-signaling property. A subtler but crucial correctness claim is that marginal probabilities never depend on distant operations, even for entangled states. Formally, if a measurement (or any quantum operation) is applied to qubit B alone, the marginal distribution of outcomes on qubit A is unchanged. This follows from the mathematical structure of partial trace / marginalization: $P_A(x) = \sum_y |\langle xy|\psi\rangle|^2$ is computed by summing over all possible outcomes of B's measurement basis, and any unitary or measurement performed only on B's half acts as $I_A \otimes U_B$, which preserves $\sum_y |\langle xy|(I\otimes U)|\psi\rangle|^2$ by unitarity of $U_B$ term-by-term after resumming. The correlation only becomes visible when the two measurement records are brought together and compared — which requires classical communication. This is precisely why entanglement enables strange joint correlations without contradicting relativity's prohibition on faster-than-light signaling.

Tradeoffs and honesty about scope. The determinant test is clean and exact for pure two-qubit states, but it does not directly generalize to mixed states (where a system's state is a probabilistic mixture, not a definite vector) — there, one needs entanglement measures built on density matrices, such as the positive-partial-transpose criterion, introduced conceptually once Density Matrices: An Introduction is available. Also, the test only tells you whether entanglement exists, not how much; quantifying entanglement (e.g. via entanglement entropy) requires more machinery than is needed here.

Let's trace three concrete two-qubit states through the pipeline, ending with the joint measurement table for the most interesting one.

Case 1 — a product state.

Coefficients: $\alpha = \tfrac{1}{\sqrt2}, \beta = 0, \gamma = \tfrac{1}{\sqrt2}, \delta = 0$.

Separable, as expected — by construction. Factoring recovers exactly $|a\rangle = \tfrac{1}{\sqrt2}(|0\rangle+|1\rangle)$, $|b\rangle = |0\rangle$.

Case 2 — the "obvious-looking" state that is actually entangled.

This looks superficially "balanced" — every amplitude has the same magnitude, which might tempt a student into assuming it must factor like an equal superposition on each qubit. Check the determinant:

So $|\psi_2\rangle$ is entangled, despite all amplitudes having equal magnitude — a trap discussed further below. (Contrast: $\tfrac12|00\rangle+\tfrac12|01\rangle+\tfrac12|10\rangle+\tfrac12|11\rangle$, with all positive signs, does have $\det = \tfrac14 - \tfrac14 = 0$ and factors as $\tfrac{1}{\sqrt2}(|0\rangle+|1\rangle) \otimes \tfrac{1}{\sqrt2}(|0\rangle+|1\rangle)$ — the sign of $\delta$ is what makes the difference.)

Case 3 — the maximally entangled Bell-type state, with full measurement trace.

Joint probability table (Born rule, $P(x,y) = |\langle xy|\psi_3\rangle|^2$):

Marginal for A: $P_A(0) = 1/2 + 0 = 1/2$, $P_A(1) = 0 + 1/2 = 1/2$ — qubit A alone looks like a perfectly fair coin. Same for B by symmetry. But the joint table shows only $(0,0)$ and $(1,1)$ ever occur — outcomes are always identical. If A is measured first and yields $0$, the conditional state of B (normalizing the row $(\alpha,\beta) = (1/\sqrt2, 0)$) collapses to exactly $|0\rangle$; if A yields $1$, B collapses to $|1\rangle$. Locally A still looks random, but once the two records are compared, the correlation is perfect — this is the hallmark experimental signature of entanglement, and it is exactly the state family developed further as the Bell States.

Entanglement is not a laboratory curiosity — it is load-bearing infrastructure for several real technologies. Quantum key distribution protocols such as E91 use entangled photon pairs to generate cryptographic keys whose security is guaranteed by the impossibility of eavesdropping without disturbing the correlations, a direct consequence of the no-signaling and measurement-disturbance properties discussed here. Quantum teleportation, used in quantum network prototypes and repeater architectures, consumes one entangled pair per transmitted qubit and relies exactly on the conditional-state-collapse mechanics traced through in the worked example. Superdense coding uses a shared entangled pair to double the classical information carried by a single transmitted qubit. On the hardware side, entanglement fidelity between physically adjacent qubits is a standard benchmark reported by every major quantum computing platform — superconducting circuits (IBM, Google), trapped ions (IonQ, Quantinuum), and photonic systems (Xanadu, PsiQuantum) all measure two-qubit gate quality partly by how close the resulting state comes to a maximally entangled Bell state. Algorithms with genuine quantum advantage, from Grover's search to Shor's factoring algorithm, generate and exploit entanglement across many qubits during intermediate steps, even though the final measured answer is classical. Understanding the separability test in this article is therefore the entry point to reading and debugging real quantum circuit simulations, where a common sanity check is verifying whether an intermediate state has become entangled as expected.

Ask the tutor: How does the separability determinant test generalize when a two-qubit system is mixed rather than in a pure state?