Mathematical Description of Entangled States (Bell States)

In the landscape of quantum information science, entanglement is not merely a curiosity of quantum mechanics; it is the

In the landscape of quantum information science, entanglement is not merely a curiosity of quantum mechanics; it is the fundamental resource that powers quantum communication, computation, and cryptography. Among the various forms of entanglement, the Bell states occupy a central position. They represent the four orthogonal, maximally entangled basis states of a two-qubit system. Understanding their mathematical structure is essential for designing quantum circuits, analyzing quantum protocols, and interpreting experimental results. This article provides a rigorous yet accessible mathematical description of Bell states, exploring their definition, properties, and practical generation.

The Tensor Product Framework

To describe Bell states, we must first establish the vector space in which they reside. A single qubit exists in a two-dimensional complex Hilbert space, denoted as (\mathcal{H}_2 = \text{span}{|0\rangle, |1\rangle}). When we combine two qubits, labeled (A) and (B), the resulting system lives in the tensor product space:

[
\mathcal{H}_{AB} = \mathcal{H}_A \otimes \mathcal{H}_B = \text{span}{|00\rangle, |01\rangle, |10\rangle, |11\rangle}
]

Here, the notation (|ij\rangle) is shorthand for (|i\rangle_A \otimes |j\rangle_B), where (i, j \in {0, 1}). This space is four-dimensional. Any arbitrary pure state (|\psi\rangle) of this two-qubit system can be expressed as a linear combination of these basis vectors:

[
|\psi\rangle = \sum_{i,j=0}^{1} c_{ij}|ij\rangle, \quad \text{with} \quad \sum_{i,j} |c_{ij}|^2 = 1
]

The coefficients (c_{ij}) form a (2 \times 2) matrix (C). The structure of this matrix determines the nature of the state. If the rank of (C) is 1, the state is separable (or product), meaning it can be written as (|\psi\rangle = |\phi\rangle_A \otimes |\chi\rangle_B). Conversely, if the rank is greater than 1, the state is entangled. Bell states are the specific cases where the entanglement is maximal.

Defining the Bell Basis

The four Bell states, often denoted as ({|\Phi^{\pm}\rangle, |\Psi^{\pm}\rangle}), form an orthonormal basis for (\mathcal{H}_{AB}). Their explicit forms are:

[
\begin{aligned}
|\Phi^{+}\rangle &= \frac{1}{\sqrt{2}}\left(|00\rangle + |11\rangle\right) \
|\Phi^{-}\rangle &= \frac{1}{\sqrt{2}}\left(|00\rangle - |11\rangle\right) \
|\Psi^{+}\rangle &= \frac{1}{\sqrt{2}}\left(|01\rangle + |10\rangle\right) \
|\Psi^{-}\rangle &= \frac{1}{\sqrt{2}}\left(|01\rangle - |10\rangle\right)
\end{aligned}
]

These states possess three critical mathematical properties:

  1. Orthogonality: The inner product between any two distinct Bell states is zero ((\langle \beta_i | \beta_j \rangle = \delta_{ij})). This ensures they form a valid basis.
  2. Completeness: Any two-qubit state can be uniquely decomposed into a linear combination of these four states.
  3. Maximal Entanglement: This is the defining feature. If you trace out one qubit (e.g., subsystem (B)) to find the reduced density matrix of the other ((\rho_A)), the result is always the maximally mixed state:
    [
    \rho_A = \text{Tr}_B(|\beta\rangle\langle\beta|) = \frac{I}{2}
    ]
    This implies that no information about the global state can be extracted by measuring just one qubit locally. The information is entirely encoded in the correlations between the two qubits.

Matrix Criteria for Entanglement

For practical applications, such as verifying the output of a quantum circuit, we often need to determine if a given state is entangled. Two standard linear algebraic tests are the Rank Criterion and the Positive Partial Transpose (PPT) Criterion.

1. The Rank Criterion
As mentioned earlier, we can view the state coefficients as a matrix (C).

  • If (\text{rank}(C) = 1), the state is separable.
  • If (\text{rank}(C) > 1), the state is entangled.
    For Bell states, the coefficient matrix has a rank of 2, confirming their entangled nature.

2. The PPT Criterion
This is a more robust test, especially for mixed states, but it also applies to pure states. We take the density matrix (\rho = |\psi\rangle\langle\psi|) and perform a partial transpose with respect to subsystem (A), denoted as (\rho^{T_A}).

  • If (\rho^{T_A}) has any negative eigenvalues, the state is entangled.
  • If all eigenvalues are non-negative, the state is separable (for (2 \times 2) systems).

For a Bell state like (|\Phi^+\rangle), the partial transpose yields eigenvalues ({1/2, 1/2, 1/2, -1/2}). The presence of the negative eigenvalue (-1/2) is a clear mathematical signature of entanglement.

Circuit Implementation: From Theory to Hardware

Mathematical definitions are abstract, but quantum hardware requires specific gate sequences to realize these states. The most common method to generate a Bell state involves just two gates: a Hadamard gate ((H)) and a Controlled-NOT gate (CNOT).

Consider the preparation of (|\Phi^+\rangle):

  1. Initialize: Start with two qubits in the state (|00\rangle).
  2. Superposition: Apply an (H) gate to the first qubit ((q_0)).
    [
    H|0\rangle = \frac{1}{\sqrt{2}}(|0\rangle + |1\rangle)
    ]
    The system state becomes (\frac{1}{\sqrt{2}}(|00\rangle + |10\rangle)).
  3. Entanglement: Apply a CNOT gate with (q_0) as the control and (q_1) as the target. The CNOT flips the target qubit if the control is (|1\rangle).
    [
    \text{CNOT} \left( \frac{1}{\sqrt{2}}(|00\rangle + |10\rangle) \right) = \frac{1}{\sqrt{2}}(|00\rangle + |11\rangle) = |\Phi^+\rangle
    ]

To generate the other Bell states, we simply append single-qubit gates:

  • Apply a Phase Gate ((Z)) to (q_0) after the CNOT to get (|\Phi^-\rangle).
  • Apply a Bit-Flip Gate ((X)) to (q_0) before the CNOT to get (|\Psi^+\rangle).
  • Apply both (X) and (Z) (or equivalent combinations) to get (|\Psi^-\rangle).

Bell Inequalities: The Physical Test

While matrix ranks and transposes are mathematical tools, Bell inequalities provide the physical test for non-locality. The CHSH (Clauser-Horne-Shimony-Holt) inequality is a standard benchmark. For any local hidden variable theory, the CHSH parameter (S) must satisfy (|S| \leq 2).

Quantum mechanics predicts that maximally entangled states can violate this bound. For (|\Phi^+\rangle), if we choose appropriate measurement bases (e.g., (A_0 = \sigma_z, A_1 = \sigma_x) for Alice, and rotated bases for Bob), the calculated value is:

[
S = 2\sqrt{2} \approx 2.828
]

Since (2\sqrt{2} > 2), the Bell state violates the inequality, proving that the correlations cannot be explained by classical local realism. This violation is the cornerstone of quantum cryptography protocols like E91.

Conclusion

Bell states are the atomic units of quantum information processing. Their mathematical description—rooted in tensor products, linear algebra, and density matrices—provides a clear framework for understanding their properties.

  • Structure: They are orthogonal, complete, and maximally entangled.
  • Identification: They can be identified via the rank of their coefficient matrix or the negative eigenvalues of their partial transpose.
  • Generation: They are easily synthesized using simple (H) and CNOT circuits.
  • Application: They enable quantum teleportation, superdense coding, and secure key distribution.

Mastering the mathematics of Bell states is not just an academic exercise; it is a prerequisite for designing efficient quantum algorithms and interpreting the outcomes of quantum experiments. As quantum hardware matures, the ability to manipulate and verify these states with high fidelity will remain a critical skill for researchers and engineers in the field.