section_path: Mathematical formulation/Composite systems and entanglement
section_name: Composite systems and entanglement
paragraph_text: Composite systems and entanglement
  
  When two different quantum systems are considered together, the Hilbert space of the combined system is the tensor product of the Hilbert spaces of the two components. For example, let A and B be two quantum systems, with Hilbert spaces H A {\displaystyle {\mathcal {H}}_{A}} and H B {\displaystyle {\mathcal {H}}_{B}}, respectively. The Hilbert space of the composite system is then
  
  If the state for the first system is the vector ψ A {\displaystyle \psi _{A}} and the state for the second system is ψ B {\displaystyle \psi _{B}}, then the state of the composite system is
  
  Not all states in the joint Hilbert space H A B {\displaystyle {\mathcal {H}}_{AB}} can be written in this form, however, because the superposition principle implies that linear combinations of these "separable" or "product states" are also valid. For example, if ψ A {\displaystyle \psi _{A}} and ϕ A {\displaystyle \phi _{A}} are both possible states for system A {\displaystyle A}, and likewise ψ B {\displaystyle \psi _{B}} and ϕ B {\displaystyle \phi _{B}} are both possible states for system B {\displaystyle B}, then
  
  is a valid joint state that is not separable. States that are not separable are called entangled.
  
  If the state for a composite system is entangled, it is impossible to describe either component system A or system B by a state vector. One can instead define reduced density matrices that describe the statistics that can be obtained by making measurements on either component system alone. This necessarily causes a loss of information, though: knowing the reduced density matrices of the individual systems is not enough to reconstruct the state of the composite system. Just as density matrices specify the state of a subsystem of a larger system, analogously, positive operator-valued measures (POVMs) describe the effect on a subsystem of a measurement performed on a larger system. POVMs are extensively used in quantum information theory.
  
  As described above, entanglement is a key feature of models of measurement processes in which an apparatus becomes entangled with the system being measured. Systems interacting with the environment in which they reside generally become entangled with that environment, a phenomenon known as quantum decoherence. This can explain why, in practice, quantum effects are difficult to observe in systems larger than microscopic.