# Quantum Mechanics

Quantum mechanics is the the foundation of all the quantum sciences, most notably QFT.

## Contents

- Dirac-von Neumann axioms
- Postulates of quantum mechanics
- Spin
- Exclusion principle
- Time dependence pictures
- SchrÃ¶dinger equation
- States
- Operators and measurments
- Bra-ket notation
- Entanglement and density matrices
- Fundamental differences between classical and quantum physics
- Some history

## Dirac-von Neumann axioms

The space of states is a complex (countably infinite) Hilbert space $\mathbb{H}$. The following axioms apply to the qm system:

- The observables are defined as self-adjoint operators on $\mathbb{H}$
- The state $\psi$ is a unit vector of $\mathbb{H}$
- The expectation value of an observable $A$ is $âŸ¨\psi,A\psiâŸ©$

From these principles it is possible to derive the SchrÃ¶dinger equation.

To do this one uses the unitarity of the time evolution operator and first-order expansions thereof.

Diracâ€“von Neumann axioms - Wikipedia

## Postulates of quantum mechanics

- Physical systems are represented by a separable complex Hilbert space $\mathbb{H}$ with inner product $âŸ¨\psi\vert\phiâŸ©$
- Quantum states are rays (equivalence classes of vectors of unit length) in $\mathbb{H}$
- Composite systems are represented by the tensor product of the component Hilbert spaces
- Due to Wigner’s theorem symmetries act unitarily or antiunitarily on $\mathbb{H}$
- Observables are represented by Hermitian operators on $\mathbb{H}$
- The expectation value of an observable $A$ for a system in state $\psi \in \mathbb{H}$ is $\braket{\psi\vert A \vert\psi}$
- We can associate the eigenvalues and vectors of an operator $A$ to the measurment outcomes and resulting states. By the spectral theorem any state $\psi$ in $\mathbb{H}$ can be expanded using an Hermitean operator’s eigenvectors as basis. The square of the coefficients in this expansion gives the probability for measuring the basisvector’s corresponding eigenvalue.
- A state can be represented by a density operator $\rho$ (trace class, nonnegative, self-adjoint, with normalised trace). The expectation value of $A$ in the state given by $\rho$ is $tr(A\rho)$
- If $\rho_\psi$ is the projection onto the ray spanned by $\ket{\psi}$ then $tr(A\rho) = \braket{\psi\vert A \vert\psi}$ (Pure state)

Add *spin* and the *exclusion principle* (particle statistics) for a “complete” description.

Mathematical formulation of quantum mechanics - Wikipedia

## Spin

*Intrinsic angular momentrum*. No parallel in classical physics. Simplest quantum mechanical system that shows the essence of quantum nature/logic of quantum systems.

- Bosons: integer spin - $S \in \lbrace 0,1,2… \rbrace$
- Fermions: half-integer spin $S \in \lbrace \frac{1}{2},\frac{3}{2},\frac{5}{2}…\rbrace$

## Exclusion principle

Pauli’s exclusion principle says that only one fermion can occupy any given quantum state at a time. Ie. the result of exchange of identical particles is different depending on the constituent particle’s spin:

$$\psi(…,\bold{r}_i,\sigma_i,…,\bold{r}_j,\sigma_j,…) = (-1)^{2S}\psi(…,\bold{r}_j, \sigma_j,…,\bold{r}_i,\sigma_i,…)$$

That is under interchange of identical particles we have:

- Bosons: the wave function does not change $(-1)^{2S}=+1$
- Fermions: the wave function reverses $(-1)^{2S}=-1$

For fermions the condition that the wave function is antisymmetric means that for two fermions in the same state, exchange of the two particles should change sign. Since the particles themselves are identical however the wave function should not change at all. The only way for this to make sense; remain identical and change sign, is for the wave function to be 0 everywhere, ergo the state does not exist.

## Time dependence pictures

- SchrÃ¶dinger picture - states carry time dependence
- Interaction (Dirac) picture - states and operators carry time dependence
- Heisenberg picture - operators carry time dependence

### SchrÃ¶dinger picture

The unitary time evolution operator is responsible for evolving the states in time.

$$ \ket{\psi(t)} = \hat{U}(t,t_0) \ket{\psi(t_0)} $$

This in turn leads to the SchrÃ¶dinger equation:

$$ i\hbar\frac{\partial}{\partial t} \ket{\psi(t)} = \hat{H}\ket{\psi(t)} $$

### Heisenberg picture

The operators here change with time through a unitary transformation according to: $$ A(t) = U^{\dagger}(t)AU(t) $$

The Hesenbergian Hamiltonian is thus $$ H(t) = U^{\dagger}(t)HU(t) $$

Using the change of $U(t)$ this yields

$$ \frac{d}{dt}A(t) = \frac{i}{\hbar}[H,A(t)] + \frac{\partial A}{\partial t} \bigg\vert_{H} $$

The Heisenberg equation of time dependence.

### Dirac picture

The time dependence is divided between the states and the operators. Hence there are two Hamiltonians; the free Hamiltonian for observables and the interaction Hamiltonian for states.

In practise the Hamiltonian is broken in two and then a term is multiplied into the states and the operators to remove the free Hamiltonian from the states and the intaraction Hamiltonian from the operators.

This picture does not exist in general for QFT, see Haag’s theorem - Wikipedia. (Advanced stuff)

## SchrÃ¶dinger equation

TODO: Derive from the Dirac-von Neumann axioms

## States

As mentioned above the space of states in QM is a complex Hilbert space $\mathbb{H}$. The dimension of this space depends on the system in consideration but is in general infinite.

An important part of any Hilbert space is the inner product it comes with. This is due to the fact that a Hilbert space is also per definition a complete metric space.

$$ âŸ¨\psi, \phiâŸ© \in \Z $$ $$ âŸ¨\psi, \phiâŸ© = âŸ¨\phi, \psiâŸ©^* $$ $$\lVert \psi \rVert = \sqrt{âŸ¨\psi, \psiâŸ©} \in \reals$$

Mathematicians generally assume linearity in the first argument and cojugate linearity in the second. The opposite is the case in physics by convention.

### Orthonormality and bases

Using the inner product we can define angles and norms, and thus orthonormality:

$$ âŸ¨e_i, e_jâŸ© = \delta_{ij} $$

where the $e_i$ are an orthonormal basis Using this basis we can define components $\psi_i$ of arbitrary elements $\psi$ in $\mathbb{H}$:

$$ \psi = \sum_i âŸ¨\psi, e_iâŸ©e_i = \sum_i \psi_i e_i $$

### Physical states, phase factors

An element in state space can naturally be multiplied by any complex number $c$. The question then is, does this new element correspond to a new physical state?

The answer is no. Because of the interpretation of the inner product as probabilities the norm of any physically meaningful state must be normalised to 1. This still leaves one degree of freedom though as the normalisation only restricts one of the two degrees that complex multiplication allows for. Expressing c in polar form:

$$c = r e^{(i\theta)}$$

The normalisation condition effectively removes r (no matter what it is the resultant state is re-normalised) and we are left with whats called the phase factor. This factor does in itself not carry any physickl meaning, but the different in phase between states can sometimes have important consequences.

The distinction between elements of $\mathbb{H}$ and physical states is often overlooked in introductory litterature.

### Rays (Projective Hilbert spaces)

The above leads us to define states as *rays* (one dimensional projective spaces) in $\mathbb{H}$ rather than elements.

Rays are the set of equivalence classes of elements $\psi \neq 0 $ for the relation:

$$ \psi \backsim \phi \rArr \exists \lambda \neq 0, \psi = \lambda\phi$$

## Operators and measurments

Having constructed a suitable space of states for our system the next thing we have to do is figure out how to represent observables.

That is how we represent the various measurable quantities of our system, the possible values of measurment and the resultant states.

Linear, Hermitian (self-adjoint) operators from $\mathbb{H}$ to itself fit the bill because:

- Their eigenvectors span the space
- Unique eigenvalues correpond to unique eigenvalues
- The eigenvalues are real

There are some complications regarding unbounded operators because of the difference between symmetric (Hermitian) and self-adjoint operators in this case: unbound operators do not necessarily have eigenvectors that constitute an orthonormal basis.

### Measurments

The results of measuring the observable quantity represented by an operator $A$ are its eigenvalues. The resulting state after measurment is the corresponding eigenvectors:

$$ A\psi_i = \lambda_i\psi_i $$

### Components

The operators can be expanded as a sum

$$ A = \sum âŸ¨A e_i, e_jâŸ©e_i \otimes e_j = \sum A_{ij}e_{ij} $$

Where the $A_{ij}$ are its components; matrix elements.

## Dirac bra-ket notation

Because of the natural isomorphism that exists between many of the Hilbert spaces we study in physics, we simplify the abstract mathematical notation and use Dirac’s bra-ket notation.

### Dual spaces

For a vector space $V$ over a field $F$ the dual $V^\ast$ is the space of linear functionals $\phi$ on $V$:

$$ \phi : V \to F $$

A bilinear form on $V$ gives us a mapping from $V$ to $V^\ast$:

$$ v \to \alpha_v = âŸ¨v, \cdotâŸ© $$

For $F=\cnums$ sesquilinearity and conjugation takes a natural part in this construction.

### Dirac’s notation

Because of the isomorphism above one can consider the two elements in an inner product as elements from different vector spaces:

$$\alpha_\phi(v) = âŸ¨\phi, vâŸ© $$

In Dirac’s notation, the functionals are called bras $\bra{\phi} = \alpha_\phi$ and the elements of $V$ kets $\ket{\phi} = \phi$. The inner product (conjugate linear in the first argument!) of the two is written as:

$$âŸ¨\phi \vert vâŸ© = \alpha_\phi(v) $$

## Entanglement and density matrices

…

## Fundamental differences between classical and quantum physics

…

## Some history

### Old theory

- Max Planck
- Einstein - photoelectric effect
- Niels Bohr - Hydrogen atom
- Louis de Broglie - deBroglie relation

### New theory

- Werner Heisenberg - Matrix mechanics
- Erwin SchrÃ¶dinger - Wave mechanics
- Max Born - Born rule
- Paul Dirac - Principles of QM, Dirac equation
- Hermann Weyl - Hilbert spaces
- John von Neumann - Dirac-von Neumann axioms, wavefunction collapse

### Modern theory

- Feynman - Path integral formulation
- QFT