NOT: reflection accross \pi/4
HAD: reflection accross \pi/8
Since both instruction cancels out if they are applied sequentially, so we only need to consider two matrix act on one qubit.
def R(A):
NOT A
HAD A
R: rotation by -\pi/4
def R-1(A):
HAD A
NOT A
R^\dagger: rotation by \pi/4
Note that the matrix R is not its self inverse/reverse. R is unitrary because the reverse is its inverse.
Any rotation by \theta is unitrary, and therefore allowed
where (x, y) is the vector you end up after applying rotation to (0, 0).
Every unitary matrix is a rotation or reflection.
Two reflections generates a rotation for \geq 1 dimension reflecting point.
If higher dimension is allowed, reflection can be simulated by rotation.
If we first apply reflection against \alpha degree and then against \beta degree, the final rotation angle is 2(\beta - \alpha).
Note that reflection is not commutative.
Bra: \langle \cdot | column vector
Ket: |\cdot \rangle row vector
We also define:
You can use these vectors to get coordinates:
\langle 0 | \cdot | v \rangle = \langle 0 | v \rangle = \text{the } 0^\text{th} \text{ coordinate of } |v\rangle Notice when the matrix multiplication type-check, the notation forms a nice bracket.
For vectors, dot product is equivalent as matrix multiplication.
We also have the following property: for L, R matrix
Therefore:
Most importantly, dot product with complex number is not commutative, this is because the row vector of a complex vector doesn't look the same as the column vector of a complex vector. This is because we defined "transformation between row and column" as \dagger. But \dagger need swapping i with -i. Therefore, daggering a 1\times1 matrix isn't necessary the identity when you have complex numbers.
If M is a complex matrix, M^\dagger is formed by swaping rows and column (transpose) and then swapping i with -i ("complex conjugate") for each entry.
Printing (in standard basis |0\rangle, |1\rangle) qubit in state |v\rangle will output "0" with probability |\langle 0 | v \rangle |^2 and "1" with probability |\langle 1 | v \rangle |^2
If we only care about the probability of printing "0" after some transformation T, we can do the following:
There are three interpolation to notation \langle f | v \rangle:
|v\rangle's coordinate in |f\rangle's basis (let |v\rangle undo |f\rangle's transformation and take the coordinate)
length of |v\rangle projection to |f\rangle (dot product of unit vector)
\cos(\text{angle of } |v\rangle \text{ from } |f\rangle) (\||f\rangle\| \cdot \||q\rangle\| \cdot \cos(\text{angle of } |v\rangle \text{ from } |f\rangle))
The pseudo code of measuring look like this:
def measure(A):
if rand(A) == "0":
A = |0>
print("0")
elif rand(A) == "1":
A = |1>
print("1")
We can also measure in different basis.
def measure(A, theta):
rotate(A, -theta)
measure(A) # interpret 0 as theta direction, and 1 as theta+\pi/2 direction
rotate(A, theta) # mimic stay in deterministic with respect to measuring basis
The above function is: when \vec{i}, \vec{j} forms a orthornormal basis in \mathbb{R}^2
Pr\{v \to \vec{i}\} = |\langle \vec{i} | v \rangle|^2
Pr\{v \to \vec{j}\} = |\langle \vec{j} | v \rangle|^2
"deterministic" only make sense if you specify basis
If a state |v\rangle is \theta_i angle with respect to its basis |\vec{i}\rangle, then:
Pr\{\vec{i}\} = \cos^2 \theta_i
Pr\{\vec{j}\} = \sin^2 \theta_i
The cosine and sine comes from projection. Basically taking the \vec{i} component (for \cos) or taking the \vec{j} component (for \sin) of |v\rangle.
|f\rangle = (\cos \theta) |0\rangle + (\sin \theta) |1\rangle$$ $$|g\rangle = (-\sin \theta) |0\rangle + (\cos \theta) |0\rangle
We define the filter to have the following property:
Horizontal Filter: |0\rangle pass, |1\rangle blocks
Vertical Filter: |1\rangle pass, |0\rangle blocks
\theta-Filter: horizontal filter rotated by \theta
\pi/4 radian filter has basis |+\rangle and -|-\rangle. Therefore the pass through (output +)'s probability is \cos ^2(45\degree) = (\sqrt{1/2})^2 = \frac{1}{2}
The probability of going through is |\langle \vec{\theta} | v \rangle|^2. When assume real:
Pr\{\text{going through}\} = |(\cos \theta)(\cos (\theta+\delta)) + (\sin \theta)(\sin (\theta + \delta))|^2If you want turn the amplitude by \delta degree with n filters, the intensity of light getting through is:
\prod_{i=1}^{n}\left(\left(\cos\theta\right)\cos\left(\theta+\frac{\delta}{n}\right)+\left(\sin\theta\right)\sin\left(\theta+\frac{\delta}{n}\right)\right)^{2} = \left(\cos\frac{\delta}{n}\right)^{2n}We choose to evenly distribute the angles because the function \cos and \sin is about linear near small angle. If the difference of angle is too big, the error will accumulate, meaning more intensity of light will be lost.
Table of Content