Bra-ket notation

== Bra-ket notation == Paul Dirac invented a powerful and intuitive mathematical notation to describe quantum states, known as bra-ket notation. For instance, one can refer to an |excited atom> or to ∣  ↑ ⟩ for a spin-up particle, hiding the underlying complexity of the mathematical description, which is revealed when the state is projected onto a coordinate basis. For instance, the simple notation |1s> describes the first hydrogen atom bound state, but becomes a complicated function in terms of Laguerre polynomials and spherical harmonics when projected onto the basis of position vectors |r>. The resulting expression Ψ(r)=<r|1s>, which is known as the wavefunction, is a special representation of the quantum state, namely, its projection into position space. Other representations, such as projection into momentum space, are possible. The various representations are simply different expressions of a single physical quantum state.

Bra-ket formalism

The bra-ket formalism was introduced by Paul Dirac in order to describe in a uniform manner vectors and linear operators both in the abstract Hilbert space of the state vectors,  H, and in the extensions of  H which are used to solve the eigenvector problem for observables with continuous spectrum.

From Riesz's representation theorem we know that a Hilbert space  H and its dual space are isometrically conjugate isomorphic. Thus we can associate to any vector ψ ∈ H the linear functional ψ † , continuous in the norm topology, defined on  H as follows:

ψ † [ϕ] = ⟨ψ, ϕ

The space dual to the dual of  H can be identified with  H as it is isomorphic to  H. Thus we can associate to any vector ϕ ∈ H the linear functional, indicated with the same symbol ϕ, continuous in the norm topology, defined on  H †  as follows:

ϕ[ψ † ] = ⟨ψ, ϕ

Definition: The vectors of  H are called kets and are denoted by  ∣ ⟩; the vectors of  H †  are called bras and are denoted by  ⟨ ∣.

Therefore bras, respectively kets, are continuous linear functionals defined on the space of kets, respectively bras; the value that the bra  ⟨ψ, respectively ket  ∣ϕ, has on the ket  ∣ϕ, respectively bra  ⟨ψ is denoted

 ⟨ψϕ⟩  ∈ C.

This also denotes the scalar product of the ordered pair of kets  ∣ψ⟩, ∣ϕ and the scalar product of the ordered pair of bras  ⟨ϕ∣, ⟨ψ.

It follows that the scalar product between kets and that between bras is Hermitian, i.e.

 ⟨ψϕ⟩ = ⟨ϕψ * .

Moreover, all the operations that determine the structure of a complex vectorial space (multiplication by a complex number, sum of elements) can be defined for bras and kets.

So, the isomorphism due to Riesz's theorem defines a one-to-one mapping between bras and kets that we can indicate as   † :

 ∣ψ †  = ⟨ψ∣,   ⟨ψ †  = ∣ψ⟩, 

 (α1ψ1⟩ + α2ψ2⟩) †  = α1 * ψ1∣ + α2 * ψ2∣, 

 (α1ψ1∣ + α2ψ2∣) †  = α1 * ψ1⟩ + α2 * ψ2⟩.

With Aψ we indicate the action of a bounded linear operator A on a ket  ∣ψ belonging to its domain, whereas with  ⟨ψA, which is the conjugate of A † ψ, we indicate the action of a bounded linear operator A on a bra  ⟨ψ of its domain . Thus, from the definition of the adjoint of an operator, we have:

 (⟨ψA)∣ϕ⟩ = ⟨ψ∣(Aϕ⟩) ∣ϕ⟩, ∣ψ⟩ ∈ H, 
whence the parentheses are superfluous and we currently write:

 (⟨ψA)∣ϕ⟩ = ⟨ψ∣(Aϕ⟩) = ⟨ψAϕ⟩.

The adjoint A †  of the operator A is defined in the Dirac formalism as follows:

 ⟨ψ∣(A † ϕ⟩) = (⟨ϕA)∣ψ * , 
which can simply be rewritten

 ⟨ψA † ϕ⟩ = ⟨ϕAψ * .

External product and projectors

It turns out useful to define the external product in the Dirac formalism, as follows.

Definition: The external product  ∣ϕ⟩⟨ψ of a ket times a bra, interpreted as the symbol of a linear operator on the ket space, is defined as

 (∣ϕ⟩⟨ψ∣)∣ϕ⟩ = ∣ϕ⟩⟨ψϕ⟩, 
while as the symbol of a linear operator on the bra space is defined as

 ⟨ϕ∣(∣ϕ⟩⟨ψ∣) = ⟨ϕϕ⟩⟨ψ∣.

So the conjugation operation defined for bras and kets can be extended to linear operators and we have the follwoing general rule: The conjugate of any composite symbol is obtained by simply exchanging the order of the elementary symbols and taking the Hermitian conjugate for operators and the complex conjugate for numbers.

The external product turns out to be useful in the definition of projectors.

If  ∣ϕ represents a vector of  H normalized to unity, then  ∣ϕ⟩⟨ϕ is a projector in the direction of  ∣ϕ; indeed we have:

 (∣ϕ⟩⟨ϕ∣)∣ψ⟩ = ∣ϕ⟩⟨ϕψ⟩, 
and the r.h.s. term is the vectorial component of ψ in the subspace of  H in the direction of  ∣ϕ.

As any projector, the linear operator  ∣ϕ⟩⟨ϕ has the following evident properties:

  1. it is Hermitian, i.e.  (∣ϕ⟩⟨ϕ∣) †  = ∣ϕ⟩⟨ϕ;
  2. it is idempotent, i.e.  (∣ϕ⟩⟨ϕ∣)2 = ∣ϕ⟩⟨ϕϕ⟩⟨ϕ∣ = ∣ϕ⟩⟨ϕ.

The definition of projection operators in the Dirac formalism can be generalized to any closed finite or infinite-dimensional subspace  H0 of  H. Let  {∣n⟩, n = 1, …, N}, with N possibly infinite, be an orthonormal basis in  H0:  ⟨nm⟩ = δnm, n, m = 1, 2, …, N. Then it is straightforward to verify that the operator
Q0 = ∑n = 1Nn⟩⟨n
is a projector on  H0. Notice that the defintion of the projector Q0 is independent from the particular basis chosen to construct it.

If, in particular,  H0 = H, then Q0 = 1, where 1 is the identity operator, and  ∑n = 1Nn⟩⟨n∣ = 1 gives us the completeness relation.

Eigenvalue equation

The bra-ket notation turns out useful even for the eigenvalue equation for observables.

Consider an observable  A represented by the self-adjoint operator A; the eigenvalue problem for A admits solutions both in the space of bras and in that of kets. Therefore the eigenvalue equation for A can be formulated in the bra-ket formalism, as follows:

Aa; r⟩ = aa; r⟩   ⟨a; rA = ⟨a; ra, 
where a ∈ Sp(A) and r indicates the possible degeneration of the eigenvalues. The eigenvectors of A satisfy the orthonormal relation

 ⟨ab⟩ = δ(a, b)
where δ(a, b) indicates the Kroenecker, respectively Dirac, delta if both a and b belong to the discrete, respectively continuous, spectrum of A, and is zero if a and b belong one to the discrete part and one to the continuous part of the spectrum of A.

Category:Handbook of Quantum Information

Last modified: 

Monday, October 26, 2015 - 17:56