# Bra-Ket Notation

*Also called Dirac Notation.*

Bra-Ket is a way of writing special vectors used in Quantum Physics that looks like this:

bra|ket

Here is a vector in 3 dimensions:

We can write this as a column vector like this:

Or we can write it as a "ket":

But kets are special:

- The values (a, b and c above) are complex numbers (so they can be real numbers, imaginary numbers or a combination of both)
- A ket usually represents one case of a probability space, which we will look at later
- Kets can have any number of dimensions, including infinite dimensions!

**row**, and each element is the complex conjugate of the ket's elements.

### Example: This ket:

Has this bra:

The values are now in a row, and we also **changed the sign** (+ to −, and − to +) in the middle of each element? That is all we have to do to get the conjugate.

- z = s + it
- z* = s − it

## Multiplying

Multiplying a bra and ket looks like this:

a|b

We use matrix multiplication, in particluar the dot product:

The "Dot Product" is where we **multiply matching members**, then sum up:

We match the 1st members (1 and 7), multiply them, likewise for the 2nd members (2 and 9) and the 3rd members (3 and 11), and finally sum them up.

In effect, the dot product "projects" one vector on to the other before multiplying the lengths:

Like shining a light to see where the shadow lies |

When the two vectors are at right angles one length is zero, so the dot product is zero:

No shadow is cast!

### Example:

So:

This can be a simple test to see if vectors are **orthogonal** (the more general concept of "at right angles")

The dot product of a vector **with itself** is the length of the vector times the length of the vector. In other words it is **length ^{2}**:

Full shadow is cast!

### Example:

So:

The dot product is **5**

And we can also work out **c**'s length to be **√5**

### Example: What is the length of the vector [1, 2, −2, 5] ?

The dot product is 34, so the vector's length is **√34**

Note: we can also use Pythagoras' Theorem to calculate its length:

√(1^{2} + 2^{2} + (−2)^{2} + 5^{2}) = √34

## Basis

### We can separate the parts of a vector like this:

The vectors "1, 0, 0", "0, 1, 0" and "0, 0, 1" form the "basis": the vectors that we measure things against.

In this case they are simple unit vectors, but
any set of vectors can be used when they are **independent** of each other and can together **span** every part of the space.

## Schrödinger's Cat

A famous example is "Schrödinger's Cat": a thought experiment where a cat is in a box with a quantum-triggered container of gas. There is an equal chance of it being alive or dead (until we open the box).

It can be written like this:

cat = \frac{1}{√2}alive + \frac{1}{√2}dead

It says the state of the cat is in a **superposition** of the two states "alive" and "dead".

But why the \frac{1}{√2} ?

First let us illustrate it like this:

The **basis** is the two vectors **alive** and **dead**. The cat is shown in that probability space as a vector with equal components a and d.

Now let us normalize it!

### Normalized

A **normalized** vector has a length of 1.

We know the dot product of a vector with itself is length^{2}, so a normalized vector has:

^{2}= 1

### Example: Normalizing the cat vector

If we assume a = d = 1 we get this:

But it **should be 1**, right?

Let us try \frac{1}{√2}:

So a = d = \frac{1}{√2}, and we get:

cat = \frac{1}{√2}alive + \frac{1}{√2}dead

And it now has a length of 1

## Probability

Let us try to find the probability by adding the component lengths a and d:

Probability = \frac{1}{√2} + \frac{1}{√2}

= \frac{2}{√2}
= **√2 ???**

But that can't be right, probability **can't be greater than 1**

In fact we need to take the **magnitude** of each vector (shown using ||) and **square** it:

Probability = |\frac{1}{√2}|^{2} + |\frac{1}{√2}|^{2}

= \frac{1}{2} + \frac{1}{2}
= **1** (yay!)

This is a general rule in Quantum Physics:

Probability = |Amplitude|^{2}

## Naming Kets

Notice how we are free to use any word or symbol inside the ket. In some cases numbers are also used, but they are used as labels so don't try to do arithmetic with them.

## Many Dimensions

We can easily have many dimensions.

Imagine "Quantum Dice": any single die is a superposition of 1, 2, 3, 4, 5 and 6 until we measure it. Then it "collapses" into one of those states.Its ket looks like:

For a fair die all elements (a, b, c, d, e, f) are equal, but **your** dice may be loaded!