# Fidelity and Purity

**Fidelity** $F(\rho, \sigma)$ quantifies how close two quantum states are. For pure states $|\psi\rangle$ and $|\phi\rangle$, fidelity is $F = |\langle\psi|\phi\rangle|^2$, the squared overlap. For mixed states, fidelity is $F(\rho, \sigma) = \text{Tr}(\sqrt{\sqrt{\rho}\sigma\sqrt{\rho}})^2$, ranging from 0 (orthogonal) to 1 (identical).

## Interpretation

- Fidelity 1: states are identical
- Fidelity 0: states are orthogonal
- Fidelity $> 1/2$: states are more similar than random

## Purity

**Purity** $P = \text{Tr}(\rho^2)$ measures how "pure" a state is. For a single-qubit state:

- $P = 1$: pure state (single state vector $|\psi\rangle$)
- $P = 1/2$: maximally mixed state $I/2$
- $P \in (1/2, 1)$: mixed state

Purity quantifies how much information has been lost due to interaction with the environment (decoherence).

## Relationship

A pure state $|\psi\rangle$ has maximum purity ($P = 1$) and fidelity $F(|\psi\rangle\langle\psi|, |\psi\rangle\langle\psi|) = 1$ with itself. Decoherence reduces purity and fidelity with ideal target states.

## Applications

- **Benchmarking circuits**: compare circuit output to ideal state via fidelity
- **State preparation**: verify that prepared states match targets
- **Process characterization**: average fidelity over input states measures gate quality
- **Entanglement verification**: low fidelity with separable states suggests entanglement

## Average Fidelity

Process fidelity of a channel $\mathcal{E}$ is $\bar{F} = \int d\psi \langle\psi|\mathcal{E}(|\psi\rangle\langle\psi|)|\psi\rangle$, averaging over all input states. A perfect identity channel has $\bar{F} = 1$; a depolarizing channel has $\bar{F} < 1$.

## Trace Distance

Related metric: trace distance $D(\rho, \sigma) = \frac{1}{2}\text{Tr}(|\rho - \sigma|)$ is the maximum probability difference between outcomes of any measurement. Fidelity and trace distance are related: $1 - F(\rho, \sigma) \leq D(\rho, \sigma) \leq \sqrt{1 - F(\rho, \sigma)^2}$.