Computational Basis Completeness (Quantum Info)

For an (n)-qubit system, the computational basis is the set of (2^n) bit-string states (|x\rangle). It is complete because its projectors sum to the identity: (\sum_x |x\rangle\langle x|=I). Thus every state has a unique expansion in these basis vectors. This relation supports state calculations, but does not mean one measurement reveals an unknown state.

Quantum information uses basis states to describe, calculate, and measure quantum systems. The completeness relation is a short equation with a broad role: it lets you express any state in a chosen orthonormal basis and confirms that the basis spans the whole space. Understanding what it does, and what it does not do, helps prevent common mistakes in quantum mechanics and circuit analysis.

Computational-basis completeness: definition and context

The computational basis for (n) qubits consists of all bit-string states (|x\rangle), where each string (x) has (n) bits. These states form an orthonormal basis for a space of dimension (2^n). Their projectors sum to the identity, which is the precise meaning of completeness here.

For one qubit, the computational basis is ({|0\rangle,|1\rangle}). For two qubits, it is ({|00\rangle,|01\rangle,|10\rangle,|11\rangle}). In general, each possible string of zeros and ones labels one basis vector. There are (2^n) such strings, so the basis has (2^n) vectors.

A basis is orthonormal when every vector has length one and different vectors are perpendicular in the inner-product sense. In Dirac notation, the computational basis satisfies

[ \langle x|y\rangle=\delta_{xy}, ]

where (\delta_{xy}) equals 1 when (x=y), and 0 otherwise. Orthonormality makes the coefficient of a state easy to calculate: take its inner product with the matching basis vector.

Completeness adds a second condition: the basis spans the entire space. For this basis, the condition is

[ \sum_{x\in{0,1}^n}|x\rangle\langle x|=I_{2^n}. ]

Each term (|x\rangle\langle x|) is a projector onto one basis state. The sum acts as the identity on every vector in the (2^n)-dimensional space. It does not say that all basis states are equally likely, or that this is the only possible basis.

Mathematical requirements and the derivation

To verify completeness, check the space’s dimension, the number of basis vectors, and their orthonormality. For qubits, the dimension is (2^n). The one-qubit identity follows from the two basis projectors; tensor products then extend it to any number of qubits.

Start with one qubit. In the standard column-vector form,

[ |0\rangle=\begin{pmatrix}1\0\end{pmatrix}, \qquad |1\rangle=\begin{pmatrix}0\1\end{pmatrix}. ]

Their projectors are

[ |0\rangle\langle0|= \begin{pmatrix}1&0\0&0\end{pmatrix}, \qquad |1\rangle\langle1|= \begin{pmatrix}0&0\0&1\end{pmatrix}. ]

Adding them gives

[ |0\rangle\langle0|+|1\rangle\langle1| = \begin{pmatrix}1&0\0&1\end{pmatrix} =I_2. ]

This is the one-qubit completeness relation. For (n) qubits, the state space is the tensor product ((\mathbb C^2)^{\otimes n}). Its dimension is (2^n), and its computational basis vectors are tensor products of the one-qubit states.

For example, the two-qubit basis state (|01\rangle) means (|0\rangle\otimes|1\rangle). The full two-qubit relation is

[ |00\rangle\langle00|+|01\rangle\langle01| +|10\rangle\langle10|+|11\rangle\langle11|=I_4. ]

More generally, take the one-qubit identity (n) times using tensor products. The result is the sum of all (2^n) computational-basis projectors, equal to (I_{2^n}). This gives a practical check: if a proposed list has fewer than (2^n) orthonormal vectors, it cannot be a complete basis for the full (n)-qubit space.

Completeness also gives the state-expansion formula. Apply the identity to any vector (|\psi\rangle):

[ |\psi\rangle=I|\psi\rangle =\sum_x |x\rangle\langle x|\psi\rangle =\sum_x \alpha_x|x\rangle, \qquad \alpha_x=\langle x|\psi\rangle. ]

So every state has a representation in this basis. If the state is normalized, orthonormality gives

[ \langle\psi|\psi\rangle=\sum_x|\alpha_x|^2=1. ]

The coefficients may be complex numbers. Their squared magnitudes, not the coefficients themselves, give the probabilities for computational-basis measurement.

Using completeness to represent and check states

The completeness relation lets you expand a state, recover each coefficient by an inner product, and check normalization. In practice, write the amplitudes beside their bit strings, then verify that their squared magnitudes sum to one for a normalized state.

Consider a two-qubit state

[ |\psi\rangle=\frac{1}{\sqrt{2}}|00\rangle+ \frac{i}{\sqrt{2}}|11\rangle. ]

Its nonzero amplitudes are (\alpha_{00}=1/\sqrt{2}) and (\alpha_{11}=i/\sqrt{2}). The other two amplitudes are zero. The normalization check is

[ |\alpha_{00}|^2+|\alpha_{01}|^2+ |\alpha_{10}|^2+|\alpha_{11}|^2 =\frac12+0+0+\frac12=1. ]

A computational-basis measurement returns (00) with probability (1/2), and (11) with probability (1/2). It returns (01) or (10) with probability zero. The imaginary part of the (11) amplitude does not change these probabilities, though phase can affect results in other measurement bases.

The table separates three ideas that are easy to mix up. Completeness is about spanning the vector space. Normalization is about the length of a particular state. Measurement probabilities describe possible results when that state is measured in a specified basis.

Measurement, other bases, and tomography

Computational-basis completeness means its projectors sum to the identity, so the associated measurement covers all possible outcomes. It does not mean this is the only useful measurement, that outcomes are equally likely, or that one measurement sample reveals an unknown quantum state.

A projective measurement in the computational basis uses the projectors (|x\rangle\langle x|). For a normalized state, the probability of outcome (x) is

[ p(x)=\langle\psi|x\rangle\langle x|\psi\rangle =|\langle x|\psi\rangle|^2 =|\alpha_x|^2. ]

Completeness ensures the probabilities add to one:

[ \sum_x p(x)= \langle\psi|\left(\sum_x|x\rangle\langle x|\right)|\psi\rangle =\langle\psi|I|\psi\rangle=1. ]

That result is a useful diagnostic. If the calculated probabilities do not sum to one, check the amplitudes, normalization, or the set of outcomes.

Other orthonormal bases can also be complete. For one qubit, the states (|+\rangle=(|0\rangle+|1\rangle)/\sqrt2) and (|-\rangle=(|0\rangle-|1\rangle)/\sqrt2) form another orthonormal basis. Their projectors also sum to (I_2). Which basis is useful depends on the question being asked and the measurement being performed.

A single computational-basis measurement gives one outcome, not the full list of amplitudes. Even repeated measurements in that basis only estimate the probabilities (|\alpha_x|^2); they do not, by themselves, reveal all relative phases. Reconstructing an unknown state generally requires repeated measurements using suitable settings, a process called quantum-state tomography.

For more advanced work, a measurement may be described by a positive-operator-valued measure, or POVM. Its effects (E_j) satisfy (\sum_j E_j=I), and the probability of outcome (j) is (\langle\psi|E_j|\psi\rangle). This shares the identity-sum structure, but a POVM is not necessarily a set of projectors onto orthonormal basis states.

A practical learning and problem-solving sequence

Build fluency by moving from the one-qubit identity to multi-qubit expansions and measurement probabilities. At each step, check dimensions and normalization. This sequence helps you tell apart a complete basis, a valid state, and a measurement that can answer a particular question.

A reliable workflow is:

• Review the tools. Be comfortable with complex vectors, inner products, orthonormality, tensor products, and Dirac notation.
• Verify the one-qubit case. Show that the two projectors add to (I_2).
• Extend to (n) qubits. Count (2^n) bit strings and use tensor products to obtain the identity on the full space.
• Expand a state. Calculate each coefficient with (\alpha_x=\langle x|\psi\rangle).
• Check the result. Confirm that (\sum_x|\alpha_x|^2=1) for a normalized state.
• Interpret measurement correctly. Use (p(x)=|\alpha_x|^2), and do not infer that one observed outcome determines the state.

In a problem set or circuit calculation, these checks catch different errors. A missing basis vector points to a dimension or span problem. A sum of squared amplitudes other than one points to a normalization issue. Probabilities that sum to one but do not match the state may indicate an indexing error, such as mixing up (|01\rangle) and (|10\rangle).

Frequently asked questions

What does completeness mean for the computational basis?
It means the projectors onto all computational-basis states sum to the identity. Therefore, the basis spans the full (n)-qubit space.

How many computational-basis states are there for (n) qubits?
There are (2^n), because each of the (n) positions in a bit string can be 0 or 1.

What is the completeness relation for one qubit?
It is (|0\rangle\langle0|+|1\rangle\langle1|=I_2).

How do I find a state’s amplitude for a basis state?
For basis state (|x\rangle), calculate (\alpha_x=\langle x|\psi\rangle).

How do I check whether a state is normalized?
Add the squared magnitudes of all its amplitudes. A normalized state has (\sum_x|\alpha_x|^2=1).

Does completeness mean all measurement outcomes are equally likely?
No. Outcome (x) has probability (|\alpha_x|^2), which depends on the state.

Does one measurement reveal the whole quantum state?
No. One measurement gives one outcome. State reconstruction generally requires repeated measurements in suitable settings.

Is the computational basis the only complete basis?
No. Any orthonormal basis for the same space is complete. Different bases can reveal different properties of a state.

What is the difference between completeness and normalization?
Completeness is a property of a basis: it spans the space. Normalization is a property of a state: its squared amplitudes sum to one.

Why does the completeness relation matter in calculations?
It lets you insert the identity as a sum of basis projectors. This supports state expansion, probability calculations, and many derivations in quantum information.

The central test is simple: an orthonormal set is complete for the full (n)-qubit space when it spans that space, and the computational basis does so with (2^n) vectors. Use the identity relation to expand states and check probabilities, while keeping state representation distinct from what a measurement can reveal.

(This article was written by one of our staff writers, Alan Westbrook. Visit our Meet the Team page.)