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

|\!\!\uparrow\rangle

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'''. {{Template:FromWikipedia}} == 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,

\; \mathcal{H}

, and in the extensions of

\; \mathcal{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

\; \mathcal{H}

and its dual space are isometrically conjugate isomorphic. Thus we can associate to any vector

\; \psi \in \mathcal{H}

the linear functional

\; \psi^\dagger

, continuous in the norm topology, defined on

\; \mathcal{H}

as follows: :

\; \psi^\dagger[\phi] = \langle \psi,\phi \rangle

. The space dual to the dual of

\; \mathcal{H}

can be identified with

\; \mathcal{H}

as it is isomorphic to

\; \mathcal{H}

. Thus we can associate to any vector

\; \phi \in \mathcal{H}

the linear functional, indicated with the same symbol

\; \phi

, continuous in the norm topology, defined on

\; \mathcal{H}^\dagger

as follows: :

\; \phi[\psi^\dagger] = \langle \psi,\phi \rangle

. '''Definition:''' The vectors of

\; \mathcal{H}

are called '''kets''' and are denoted by

\; | \; \rangle

; the vectors of

\; \mathcal{H}^\dagger

are called '''bras''' and are denoted by

\; \langle \; |

. Therefore bras, respectively kets, are continuous linear functionals defined on the space of kets, respectively bras; the value that the bra

\; \langle \psi |

, respectively ket

\; | \phi \rangle

, has on the ket

\; | \phi \rangle

, respectively bra

\; \langle \psi |

is denoted :

\; \langle \psi | \phi \rangle \; \in \mathbf{C}

. This also denotes the scalar product of the ordered pair of kets

\; | \psi \rangle, | \phi \rangle

and the scalar product of the ordered pair of bras

\; \langle \phi |, \langle \psi |

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

\; \langle \psi | \phi \rangle = \langle \phi | \psi \rangle^*

. 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

\; \dagger

: :

\; | \psi \rangle^\dagger = \langle \psi |, \quad \quad \langle \psi |^\dagger = | \psi \rangle ,

\; (\alpha_1| \psi_1 \rangle +\alpha_2| \psi_2 \rangle)^\dagger = \alpha_1^*\langle \psi_1 | +\alpha_2^*\langle \psi_2 |,

\; (\alpha_1\langle \psi_1 | +\alpha_2\langle \psi_2 |)^\dagger = \alpha_1^*| \psi_1 \rangle +\alpha_2^*| \psi_2 \rangle .

With

\; A| \psi \rangle

we indicate the action of a bounded linear operator

\; A

on a ket

\; | \psi \rangle

belonging to its domain, whereas with

\; \langle \psi | A

, which is the conjugate of

\; A^\dagger| \psi \rangle

, we indicate the action of a bounded linear operator

\; A

on a bra

\; \langle \psi |

of its domain . Thus, from the definition of the ''adjoint'' of an operator, we have: :

\; (\langle \psi|A)|\phi\rangle = \langle \psi|(A|\phi\rangle) \quad |\phi\rangle, |\psi\rangle \in \mathcal{H},

whence the parentheses are superfluous and we currently write: :

\; (\langle \psi|A)|\phi\rangle = \langle \psi|(A|\phi\rangle) = \langle \psi|A|\phi\rangle.

The ''adjoint''

\; A^\dagger

of the operator

\; A

is defined in the Dirac formalism as follows: :

\; \langle \psi|(A^\dagger|\phi\rangle) = (\langle \phi|A)|\psi\rangle^*,

which can simply be rewritten :

\; \langle \psi|A^\dagger|\phi\rangle = \langle \phi|A|\psi\rangle^*.

=== External product and projectors === It turns out useful to define the ''external product'' in the Dirac formalism, as follows. '''Definition:''' The '''external product'''

\;|\phi\rangle\langle\psi|

of a ket times a bra, interpreted as the symbol of a linear operator on the ket space, is defined as :

\; (|\phi\rangle\langle\psi|)|\phi\rangle = |\phi\rangle\langle\psi|\phi\rangle ,

while as the symbol of a linear operator on the bra space is defined as :

\; \langle\phi|(|\phi\rangle\langle\psi|) = \langle\phi|\phi\rangle\langle\psi| .

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

\; |\phi\rangle

represents a vector of

\; \mathcal{H}

normalized to unity, then

\; |\phi\rangle\langle \phi|

is a '''[[projector]]''' in the direction of

\; |\phi\rangle

; indeed we have: :

\; (|\phi\rangle\langle \phi|)|\psi\rangle = |\phi\rangle\langle \phi|\psi\rangle ,

and the r.h.s. term is the vectorial component of

\; \psi

in the subspace of

\; \mathcal{H}

in the direction of

\; |\phi\rangle

. As any projector, the linear operator

\; |\phi\rangle\langle \phi|

has the following evident properties: # it is ''Hermitian'', i.e.

\; (|\phi\rangle\langle \phi|)^\dagger =  |\phi\rangle\langle \phi|

; # it is ''idempotent'', i.e.

\; (|\phi\rangle\langle \phi|)^2 = |\phi\rangle\langle \phi|\phi\rangle\langle \phi| = |\phi\rangle\langle \phi|

. The definition of projection operators in the Dirac formalism can be generalized to any closed finite or infinite-dimensional subspace

\; \mathcal{H}_0

\; \mathcal{H}

. Let

\; \{|n\rangle , n=1,\ldots, N\}

, with

\; N

possibly infinite, be an orthonormal basis in

\; \mathcal{H}_0

\; \langle n|m\rangle = \delta_{nm}, n,m=1,2,\ldots, N

. Then it is straightforward to verify that the operator:

\; Q_0 = \sum_{n=1}^N|n\rangle\langle n|

is a projector on

\; \mathcal{H}_0

. Notice that the defintion of the projector

\; Q_0

is independent from the particular basis chosen to construct it. If, in particular,

\; \mathcal{H}_0 = \mathcal{H}

, then

\; Q_0 = \mathbf{1}

, where

\; \mathbf{1}

is the identity operator, and

\; \sum_{n=1}^N|n\rangle\langle n| = \mathbf{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]]

\; \mathcal{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: :

\; A|a; r \rangle = a|a; r \rangle  \quad \quad \quad  \langle a; r|A = \langle a; r|a ,

where

\; a \in Sp(A)

and

\; r

indicates the possible degeneration of the eigenvalues. The eigenvectors of

\; A

satisfy the orthonormal relation :

\; \langle a|b \rangle = \delta_{(a,b)}

where

\; \delta_{(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

. {{stub}} [[Category:Handbook of Quantum Information]]

User login