1.33: Basic Matrix Mechanics
- Page ID
- 143948
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)A quon (an entity that exhibits both wave and particle aspects in the peculiar quantum manner - Nick Herbert, Quantum Reality, page 64) has a variety of properties each of which can take on two values. For example, it has the property of hardness and can be either hard or soft. It also has the property of color and can be either black or white, and the property of taste and be sweet or sour. The treatment that follows draws on material from Chapter 3 of David Z Albert's book, Quantum Mechanics and Experience.
The basic principles of matrix and vector math are provided in Appendix A. An examination of this material will demonstrate that most of the calculations presented in this tutorial can easily be performed without the aid of Mathcad or any other computer algebra program. In other words, they can be done by hand.
In the matrix formulation of quantum mechanics the hardness and color states are represented by the following vectors.
\[
\text{Hard}:=\left( \begin{array}{l}{1} \\ {0}\end{array}\right) \quad \text { Soft } :=\left( \begin{array}{l}{0} \\ {1}\end{array}\right) \quad \text{Black}:=\left( \begin{array}{c}{\dfrac{1}{\sqrt{2}}} \\ {\dfrac{1}{\sqrt{2}}}\end{array}\right) \quad \text { White } :=\left( \begin{array}{c}{\dfrac{1}{\sqrt{2}}} \\ {\dfrac{-1}{\sqrt{2}}}\end{array}\right)
\nonumber \]
Hard and Soft represent an orthonormal basis in the two-dimensional Hardness vector space.
Likewise Black and White are an orthonormal basis in the two-dimensional Color vector space.
\[\begin{matrix} \text{Black}^{T} \cdot \text{Black} = 1 & \text{White}^{T} \cdot \text{White} = 1 & \text{Black}^{T} \cdot \text{White} = 0 \\ \left(\begin{array}{c}{\dfrac{1}{\sqrt{2}}} & {\dfrac{1}{\sqrt{2}}}\end{array}\right) \cdot \left( \begin{array}{c}{\dfrac{1}{\sqrt{2}}} \\ {\dfrac{1}{\sqrt{2}}}\end{array}\right)=1 & \left(\begin{array}{c}{\dfrac{1}{\sqrt{2}}} & {\dfrac{-1}{\sqrt{2}}}\end{array}\right) \cdot \left( \begin{array}{c}{\dfrac{1}{\sqrt{2}}} \\ {\dfrac{-1}{\sqrt{2}}}\end{array}\right)=1 & \left(\begin{array}{c}{\dfrac{1}{\sqrt{2}}} & {\dfrac{1}{\sqrt{2}}}\end{array}\right) \cdot \left( \begin{array}{c}{\dfrac{1}{\sqrt{2}}} \\ {\dfrac{-1}{\sqrt{2}}}\end{array}\right)=0 \end{matrix} \nonumber \]
The relationship between the two bases is reflected in the following projection calculations.
\[
\dfrac{1}{\sqrt{2}}=0.707
\nonumber \]
\[\begin{matrix} \text{Hard}^{T} \cdot \text{Black} = 0.707 & \text{Hard}^{T} \cdot \text{White} = 0.707 & \text{Soft}^{T} \cdot \text{Black} = 0.707 & \text{Soft}^{T} \cdot \text{White} = -0.707 \\ \left(\begin{array}{l}{1} & {0}\end{array}\right) \cdot \left( \begin{array}{l}{\dfrac{1}{\sqrt{2}}} \\ {\dfrac{1}{\sqrt{2}}}\end{array}\right)=0.707 & \left(\begin{array}{l}{1} & {0}\end{array}\right) \cdot \left( \begin{array}{l}{\dfrac{1}{\sqrt{2}}} \\ {\dfrac{-1}{\sqrt{2}}}\end{array}\right)=0.707 & \left(\begin{array}{l}{0} & {0}\end{array}\right) \cdot \left( \begin{array}{l}{\dfrac{1}{\sqrt{2}}} \\ {\dfrac{1}{\sqrt{2}}}\end{array}\right)=0.707 & \left(\begin{array}{l}{0} & {1}\end{array}\right) \cdot \left( \begin{array}{l}{\dfrac{1}{\sqrt{2}}} \\ {\dfrac{-1}{\sqrt{2}}}\end{array}\right)=-0.707 \end{matrix} \nonumber \]
The values calculated above are probability amplitudes. The absolute square of those values is the probability. In other words, the probability that a black quon will be found to be hard is 0.5. The probability that a white quon will be found to be soft is also 0.5.
\[\begin{matrix} \left(\left|\text{Hard}^{T} \cdot \text{Black} \right| \right)^{2} = 0.5 & \left(\left|\text{Hard}^{T} \cdot \text{White}\right| \right)^{2} = 0.5 & \left(\left|\text{Soft}^{T} \cdot \text{Black}\right| \right)^{2} = 0.5 & \left(\left|\text{Soft}^{T} \cdot \text{White}\right| \right)^{2} = 0.5 \\ \left[\left|\left(\begin{array}{l}{1} & {0}\end{array}\right) \cdot \left( \begin{array}{l}{\dfrac{1}{\sqrt{2}}} \\ {\dfrac{1}{\sqrt{2}}}\end{array}\right)\right|\right] ^{2}=0.5& \left[\left|\left(\begin{array}{l}{1} & {0}\end{array}\right) \cdot \left( \begin{array}{l}{\dfrac{1}{\sqrt{2}}} \\ {\dfrac{-1}{\sqrt{2}}}\end{array}\right)\right|\right] ^{2}=0.5 & \left[\left|\left(\begin{array}{l}{0} & {0}\end{array}\right) \cdot \left( \begin{array}{l}{\dfrac{1}{\sqrt{2}}} \\ {\dfrac{1}{\sqrt{2}}}\end{array}\right)\right|\right] ^{2}=0.5& \left[\left|\left(\begin{array}{l}{0} & {1}\end{array}\right) \cdot \left( \begin{array}{l}{\dfrac{1}{\sqrt{2}}} \\ {\dfrac{-1}{\sqrt{2}}}\end{array}\right)\right|\right] ^{2}=0.5\end{matrix} \nonumber \]
Clearly Black and White can be written as superpositions of Hard and Soft, and vice versa. This means hard and soft quons do not have a well-defined color, and black and white quons do not have a well-defined hardness.
\(\dfrac{1}{\sqrt{2}} \cdot(\mathrm{Hard}+\mathrm{Soft})=\left( \begin{array}{c}{0.707} \\ {0.707}\end{array}\right) \) |
\( \dfrac{1}{\sqrt{2}} \cdot\left[\left( \begin{array}{l}{1} \\ {0}\end{array}\right)+\left( \begin{array}{l}{0} \\ {1}\end{array}\right)\right]=\left( \begin{array}{l}{0.707} \\ {0.707}\end{array}\right) \) |
\( \dfrac{1}{\sqrt{2}} \cdot(\mathrm{Hard}-\mathrm{Soft})=\left( \begin{array}{c}{0.707} \\ {-0.707}\end{array}\right) \) |
\( \dfrac{1}{\sqrt{2}}\left[\left( \begin{array}{l}{1} \\ {0}\end{array}\right)-\left( \begin{array}{l}{0} \\ {1}\end{array}\right)\right]=\left( \begin{array}{c}{0.707} \\ {-0.707}\end{array}\right) \) |
\( \dfrac{1}{\sqrt{2}} \cdot(\text { Black }+\text { White })=\left( \begin{array}{l}{1} \\ {0}\end{array}\right) \) |
\( \dfrac{1}{\sqrt{2}}\left[\left( \begin{array}{c}{\dfrac{1}{\sqrt{2}}} \\ {\dfrac{1}{\sqrt{2}}}\end{array}\right)+\left( \begin{array}{c}{\dfrac{1}{\sqrt{2}}} \\ {\dfrac{-1}{\sqrt{2}}}\end{array}\right)\right]=\left( \begin{array}{l}{1} \\ {0}\end{array}\right) \) |
\( \dfrac{1}{\sqrt{2}} \cdot(\text { Black }-\text { White })=\left( \begin{array}{l}{0} \\ {1}\end{array}\right) \) |
\( \dfrac{1}{\sqrt{2}}\left[\left( \begin{array}{c}{\dfrac{1}{\sqrt{2}}} \\ {\dfrac{1}{\sqrt{2}}}\end{array}\right)-\left( \begin{array}{c}{\dfrac{1}{\sqrt{2}}} \\ {\dfrac{-1}{\sqrt{2}}}\end{array}\right)\right]=\left( \begin{array}{l}{0} \\ {1}\end{array}\right) \) |
Hard, Soft, Black and White are measurable properties and the vectors representing them are eigenstates of the Hardness and Color operators with eigenvalues \(\pm\) 1. The Identity operator is also given and will be discussed later. Of course, the Hardness and Color operators are just the Pauli spin operators in the z- and x-directions. Later the Taste operator will be introduced; it is the y-direction Pauli spin operator.
Operators
\(\text{Hardness}:=\left( \begin{array}{cc}{1} & {0} \\ {0} & {-1}\end{array}\right)\) | \(\text{Color}:=\left( \begin{array}{ll}{0} & {1} \\ {1} & {0}\end{array}\right)\) | \(\mathrm{I} :=\left( \begin{array}{ll}{1} & {0} \\ {0} & {1}\end{array}\right)\) |
Eigenvalue +1 | Eigenvalue -1 |
---|
\(\text{Hardness}\cdot\text{Hard}=\left( \begin{array}{l}{1} \\ {0}\end{array}\right)\) | \(\left( \begin{array}{cc}{1} & {0} \\ {0} & {-1}\end{array}\right) \cdot \left( \begin{array}{l}{1} \\ {0}\end{array}\right)=\left( \begin{array}{l}{1} \\ {0}\end{array}\right)\) |
\(\text{Hardness}\cdot\text{Soft}=\left( \begin{array}{l}{0} \\ {-1}\end{array}\right)\) |
\(\left( \begin{array}{cc}{1} & {0} \\ {0} & {-1}\end{array}\right) \cdot \left( \begin{array}{l}{0} \\ {1}\end{array}\right)=\left( \begin{array}{c}{0} \\ {-1}\end{array}\right)\) |
\(\text{Color}\cdot\text{Black}=\left( \begin{array}{l}{0.707} \\ {0.707}\end{array}\right)\) | \(\left( \begin{array}{ll}{0} & {1} \\ {1} & {0}\end{array}\right) \cdot \left( \begin{array}{c}{\dfrac{1}{\sqrt{2}}} \\ {\dfrac{1}{\sqrt{2}}}\end{array}\right)=\left( \begin{array}{l}{0.707} \\ {0.707}\end{array}\right)\) | \(\text{Color}\cdot\text{White}=\left( \begin{array}{l}{-0.707} \\ {0.707}\end{array}\right)\) | \(\left( \begin{array}{ll}{0} & {1} \\ {1} & {0}\end{array}\right) \cdot \left( \begin{array}{c}{\dfrac{1}{\sqrt{2}}} \\ {\dfrac{-1}{\sqrt{2}}}\end{array}\right)=\left( \begin{array}{c}{-0.707} \\ {0.707}\end{array}\right)\) |
Another way of showing this is by calculating the expectation (or average) value. Every time the hardness of a hard quon is measured the result is +1. Every time the hardness of a soft quon is measured the result is -1.
\(\text{Hard}^{T}\cdot\text{Hardness}\cdot\text{Hard}=1\) | \(\left( \begin{array}{cc}{1} & {0} \\ {0} & {-1}\end{array}\right) \cdot \left( \begin{array}{l}{1} \\ {0}\end{array}\right)=1\) | \(\text{Soft}^{T}\cdot\text{Hardness}\cdot\text{Soft}=-1\) | \((0 \quad 1) \cdot \left( \begin{array}{cc}{1} & {0} \\ {0} & {-1}\end{array}\right) \cdot \left( \begin{array}{l}{0} \\ {1}\end{array}\right)=-1\) |
\(\text{Black}^{T}\cdot\text{Color}\cdot\text{Black}=1\) | \(\left(\dfrac{1}{\sqrt{2}} \dfrac{1}{\sqrt{2}}\right) \cdot \left( \begin{array}{cc}{0} & {1} \\ {1} & {0}\end{array}\right) \cdot \left( \begin{array}{c}{\dfrac{1}{\sqrt{2}}} \\ {\dfrac{1}{\sqrt{2}}}\end{array}\right)=1\) | \(\text{White}^{T}\cdot\text{Color}\cdot\text{White}=1\) | \(\left(\dfrac{1}{\sqrt{2}} \dfrac{-1}{\sqrt{2}}\right) \cdot \left( \begin{array}{ll}{0} & {1} \\ {1} & {0}\end{array}\right) \cdot \left( \begin{array}{c}{\dfrac{1}{\sqrt{2}}} \\ {\dfrac{-1}{\sqrt{2}}}\end{array}\right)=-1\) |
If a quon is in a state which is an eigenfunction of an operator, it means it has a well-defined value for the observable represented by the operator. If the quon is in a state which is not an eigenfunction of the operator, it does not have a well-defined value for the observable.
Hard and Soft are not eigenfunctions of the Color operator, and Black and White are not eigenfunctions of the Hardness operator. Hard and soft quons do not have a well-defined color, and black and white quons do not have a well-defined hardness.
\(\text{Hardness} \cdot \text{Black}=\left( \begin{array}{c}{0.707} \\ {-0.707}\end{array}\right)\) | \(\left( \begin{array}{cc}{1} & {0} \\ {0} & {-1}\end{array}\right) \cdot \left( \begin{array}{c}{\dfrac{1}{\sqrt{2}}} \\ {\dfrac{1}{\sqrt{2}}}\end{array}\right)=\left( \begin{array}{c}{0.707} \\ {-0.707}\end{array}\right)\) | \(\text{Hardness} \cdot \text{White}=\left( \begin{array}{c}{0.707} \\ {0.707}\end{array}\right)\) | \(\left( \begin{array}{cc}{1} & {0} \\ {0} & {-1}\end{array}\right) \cdot \left( \begin{array}{c}{\dfrac{1}{\sqrt{2}}} \\ {\dfrac{-1}{\sqrt{2}}}\end{array}\right)=\left( \begin{array}{c}{0.707} \\ {0.707}\end{array}\right)\) |
\(\text{Color} \cdot \text{Hard}=\left( \begin{array}{c}{0} \\ {1}\end{array}\right)\) | \(\left( \begin{array}{ll}{0} & {1} \\ {1} & {0}\end{array}\right) \cdot \left( \begin{array}{l}{1} \\ {0}\end{array}\right)=\left( \begin{array}{l}{0} \\ {1}\end{array}\right)\) | \(\text{Color} \cdot \text{Soft}=\left( \begin{array}{c}{1} \\ {0}\end{array}\right)\) | \(\left( \begin{array}{ll}{0} & {1} \\ {1} & {0}\end{array}\right) \cdot \left( \begin{array}{l}{0} \\ {1}\end{array}\right)=\left( \begin{array}{l}{1} \\ {0}\end{array}\right)\) |
Therefore their expectation values are zero. In other words if the hardness of a black quon is measured, half the time it will register hard and half the time soft. If the color of a soft quon is measured, half the time it will register white and half the time black.
\(\text{Black}^{T}\cdot\text{Hardness}\cdot\text{Black}=0\) | \(\left(\dfrac{1}{\sqrt{2}} \dfrac{1}{\sqrt{2}}\right) \cdot \left( \begin{array}{cc}{1} & {0} \\ {0} & {-1}\end{array}\right) \cdot \left( \begin{array}{c}{\dfrac{1}{\sqrt{2}}} \\ {\dfrac{1}{\sqrt{2}}}\end{array}\right)=0\) | \(\text{White}^{T}\cdot\text{Hardness}\cdot\text{White}=0\) | \(\left(\dfrac{1}{\sqrt{2}} \dfrac{-1}{\sqrt{2}}\right) \cdot \left( \begin{array}{cc}{1} & {0} \\ {0} & {-1}\end{array}\right) \cdot \left( \begin{array}{c}{\dfrac{1}{\sqrt{2}}} \\ {\dfrac{-1}{\sqrt{2}}}\end{array}\right)=0\) |
\(\text{Hard}^{T}\cdot\text{Color}\cdot\text{Hard}=0\) | \(\left( \begin{array}{ll}{1} & {0}\end{array}\right) \cdot \left( \begin{array}{ll}{0} & {1} \\ {1} & {0}\end{array}\right) \cdot \left( \begin{array}{l}{1} \\ {0}\end{array}\right)=0\) | \(\text{Soft}^{T}\cdot\text{Color}\cdot\text{Soft}=0\) | \((0 \quad 1) \cdot \left( \begin{array}{ll}{0} & {1} \\ {1} & {0}\end{array}\right) \cdot \left( \begin{array}{l}{0} \\ {1}\end{array}\right)=0\) |
As the Hardness-Color commutator shows, the Hardness and Color operators do not commute. They represent incompatible observables; observables that cannot simultaneously have well-defined values.
\(\text{Hardness} \cdot \text{Color} - \text{Color} \cdot \text{Hardness} = \left( \begin{array}{cc}{0} & {2} \\ {-2} & {0}\end{array}\right)\) | \(\left( \begin{array}{cc}{1} & {0} \\ {0} & {-1}\end{array}\right) \left( \begin{array}{cc}{0} & {1} \\ {1} & {0}\end{array}\right)-\left( \begin{array}{cc}{0} & {1} \\ {1} & {0}\end{array}\right) \cdot \left( \begin{array}{cc}{1} & {0} \\ {0} & {-1}\end{array}\right)=\left( \begin{array}{cc}{0} & {2} \\ {-2} & {0}\end{array}\right)\) |
This means that the measurement of the color and then the hardness of a hard quon gives a different result than the measurement of the hardness and then the color.
\(\text{Hardness} \cdot \text{Color} \cdot \text{Hard} = \left( \begin{array}{c}{0} \\ {-1}\end{array}\right)\) | \(\left( \begin{array}{cc}{1} & {0} \\ {0} & {-1}\end{array}\right) \cdot \left( \begin{array}{cc}{0} & {1} \\ {1} & {0}\end{array}\right) \cdot \left( \begin{array}{l}{1} \\ {0}\end{array}\right)=\left( \begin{array}{c}{0} \\ {-1}\end{array}\right)\) | \(\text{Color} \cdot \text{Hardness} \cdot \text{Hard} = \left( \begin{array}{c}{0} \\ {1}\end{array}\right)\) | \(\left( \begin{array}{cc}{0} & {1} \\ {1} & {0}\end{array}\right) \cdot \left( \begin{array}{cc}{1} & {0} \\ {0} & {-1}\end{array}\right) \cdot \left( \begin{array}{l}{1} \\ {0}\end{array}\right)=\left( \begin{array}{c}{0} \\ {1}\end{array}\right)\) |
We can also look at this from the perspective of the uncertainty principle. The uncertainty in a measurement is the square root of the difference between the mean of the square and the square of the mean.
Suppose we measure the color of a Black or White quon. Because Black and White are eigenfunctions of the Color operator the uncertainty in the measurement results are zero.
\[ \sqrt{\text{Black}^{T} \cdot \text{Color}^{2} \cdot \text{Black} - (\text{Black}^{T} \cdot \text{Color} \cdot \text{Black})^{2}} = 0 \qquad \sqrt{\text{White}^{T} \cdot \text{Color}^{2} \cdot \text{White} - (\text{White}^{T} \cdot \text{Color} \cdot \text{White})^{2}} = 0 \nonumber \]
However, the measurement of the color of a Soft or Hard quon is by the same criterion uncertain.
\[ \sqrt{\text{Soft}^{T} \cdot \text{Color}^{2} \cdot \text{Soft} - (\text{Soft}^{T} \cdot \text{Color} \cdot \text{Soft})^{2}} = 1 \qquad \sqrt{\text{Hard}^{T} \cdot \text{Color}^{2} \cdot \text{Hard} - (\text{Hard}^{T} \cdot \text{Color} \cdot \text{Hard})^{2}} = 1 \nonumber \]
The calculations of Hardness and Color reveal the strange behavior of quons. In the macro world we frequently find objects that simultaneously have well-defined values for these physical attributes. But we see this is not possible in the quantum world.
Mathcad has high-level commands which find the eigenvalues and eigenvectors of matrices which in quantum mechanics are operators. Below it is shown that they give the same results as were demonstrated above. See the Appendix for additional computational methods.
\(\text{eigenvals}(\text{Hardness}) = \left( \begin{array}{c}{1} \\ {-1}\end{array}\right)\) | \(\text{eigenvals}(\text{Hardness}, -1) = \left( \begin{array}{c}{0} \\ {1}\end{array}\right)\) | \(\text{eigenvals}(\text{Hardness}, 1) = \left( \begin{array}{c}{1} \\ {0}\end{array}\right)\) |
\(\text{eigenvals}(\text{Color}) = \left( \begin{array}{c}{1} \\ {-1}\end{array}\right)\) | \(\text{eigenvals}(\text{Color}, -1) = \left( \begin{array}{c}{-0.707} \\ {1}\end{array}\right)\) | \(\text{eigenvals}(\text{Color}, 1) = \left( \begin{array}{c}{0.707} \\ {0.707}\end{array}\right)\) |
Besides the properties of hardness and color, suppose the quon also has the property of taste, tasting either Sweet or Sour. The Taste operator is defined below and its eigenvalues and eigenvectors calculated.
Operator | Eigenvalues | Sweet/Sour Eigenvectors |
---|---|---|
\(\text{Taste} :=\left( \begin{array}{cc}{0} & {-\mathrm{i}} \\ {\mathrm{i}} & {0}\end{array}\right)\) | \(\text{eigenvals}(\text{Taste}) = \left( \begin{array}{c}{1} \\ {-1}\end{array}\right)\) | \(\text{eigenvals}(\text{Taste}) =\left( \begin{array}{cc}{-0.707 \mathrm{i}} & {0.707} \\ {0.707} & {-0.707 \mathrm{i}}\end{array}\right)\) |
Squaring the Hardness, Color and Taste operators gives the Identity operator, that is they are unitary matrices. The Identity operator leaves the vector it operates on unchanged.
\[
\text{Hardness}^{2}=\left( \begin{array}{cc}{1} & {0} \\ {0} & {1}\end{array}\right) \qquad \left( \begin{array}{cc}{1} & {0} \\ {0} & {-1}\end{array}\right) \cdot \left( \begin{array}{cc}{1} & {0} \\ {0} & {-1}\end{array}\right)=\left( \begin{array}{cc}{1} & {0} \\ {0} & {1}\end{array}\right)
\nonumber \]
\[
\text{Color}^{2}=\left( \begin{array}{cc}{1} & {0} \\ {0} & {1}\end{array}\right) \qquad \left( \begin{array}{ll}{0} & {1} \\ {1} & {0}\end{array}\right) \cdot \left( \begin{array}{ll}{0} & {1} \\ {1} & {0}\end{array}\right)=\left( \begin{array}{ll}{1} & {0} \\ {0} & {1}\end{array}\right)
\nonumber \]
\[
\text{Taste}^{2}=\left( \begin{array}{cc}{1} & {0} \\ {0} & {1}\end{array}\right) \qquad \left( \begin{array}{cc}{0} & {-\mathrm{i}} \\ {\mathrm{i}} & {0}\end{array}\right) \cdot \left( \begin{array}{c}{0} \\ {\mathrm{i}} & {0}\end{array}\right)=\left( \begin{array}{cc}{1} & {0} \\ {0} & {1}\end{array}\right)
\nonumber \]
Another important property of these operators is that they are equal to their Hermitian conjugate as shown below. The physical significance of this is that they have real eigenvalues, something we know from earlier calculations.
\[
\overline{\text{Hardness}}^{T}=\left( \begin{array}{cc}{1} & {0} \\ {0} & {-1}\end{array}\right) \qquad \left[\overline{\left( \begin{array}{cc}{1} & {0} \\ {0} & {-1}\end{array}\right) }\right]^{T}=\left( \begin{array}{cc}{1} & {0} \\ {0} & {-1}\end{array}\right)
\nonumber \]
\[
\overline{\text{Color}}^{T}=\left( \begin{array}{cc}{0} & {1} \\ {1} & {0}\end{array}\right) \qquad \left[\overline{\left( \begin{array}{ll}{0} & {1} \\ {1} & {0}\end{array}\right)}\right]^{T} =\left( \begin{array}{ll}{0} & {1} \\ {1} & {0}\end{array}\right)
\nonumber \]
\[
\overline{\text{Taste}}^{T}=\left( \begin{array}{cc}{0} & {-i} \\ {i} & {0}\end{array}\right) \qquad \left[\overline{\left( \begin{array}{cc}{0} & {-\mathrm{i}} \\ {\mathrm{i}} & {0}\end{array}\right)}\right]^{T} =\left( \begin{array}{cc}{0} & {-i} \\ {i} & {0}\end{array}\right)
\nonumber \]
The Hadamard matrix is another operator which is important in quantum optics and quantum computing.
\[
\text{Hadamard}:=\dfrac{1}{\sqrt{2}} \left( \begin{array}{cc}{1} & {1} \\ {1} & {-1}\end{array}\right)
\nonumber \]
The Hadamard matrix performs a Fourier transform between the Hardness and Color basis vectors.
\(\text{Hadamard} \cdot \text{Hard} = \text{Black}\) | \(\text{Hadamard} \cdot \text{Hard} = \left( \begin{array}{l}{0.707} \\ {0.707}\end{array}\right)\) | \(\text{Hadamard} \cdot \text{Black} = \text{Hard}\) | \(\text{Hadamard} \cdot \text{Black} = \left( \begin{array}{l}{1} \\ {0}\end{array}\right)\) |
\(\text{Hadamard} \cdot \text{Soft} = \text{White}\) | \(\text{Hadamard} \cdot \text{Soft} = \left( \begin{array}{l}{0.707} \\ {-0.707}\end{array}\right)\) | \(\text{Hadamard} \cdot \text{White} = \text{Soft}\) | \(\text{Hadamard} \cdot \text{White} = \left( \begin{array}{l}{0} \\ {1}\end{array}\right)\) |
The eigenvalues and eigenvectors of the Hadamard matrix:
\(\text{eigenvals}(\text{Hadamard}) = \left( \begin{array}{c}{1} \\ {-1}\end{array}\right)\) | \(\text{eigenvals}(\text{Hadamard}, 1) = \left( \begin{array}{c}{0.924} \\ {0.383}\end{array}\right)\) | \(\text{eigenvals}(\text{Hadamard}, -1) = \left( \begin{array}{c}{-0.383} \\ {0.924}\end{array}\right)\) |
The Hadamard matrix is also unitary and its own Hermitian conjugate like the other matrices.
\[\text{Hadamard}^{2}=\left( \begin{array}{cc}{1} & {0} \\ {0} & {1}\end{array}\right) \qquad \overline{\text{Hadamard}}^{T}=\left( \begin{array}{cc}{0.707} & {0.707} \\ {0.707} & {-0.707}\end{array}\right) \nonumber \]
In addition to performing a Fourier transform between the Hardness and Color basis vectors, it has been reported in the Journal of Olfactory Science that the Hadamard matrix is the operator representing the property of Odor. It's eigenstates, shown above, are Pleasant and Foul, with eigenvalues +1 and -1, respectively. It is left to the interested reader to return to the beginning of this tutorial to explore the quantum relationship of Odor to Hardness, Color and Taste.
Concluding Remarks
The reason for using the properties of hardness, color and taste in these exercises is to emphasize how different the quantum world is from the macro world that we occupy. It is not an uncommon experience (it has happened to me) to eat a piece of candy that is hard, white and sweet. But this is not possible for quantum candy because the matrix operators representing these observables do not commute. Therefore, the observables cannot simultaneously be well defined.
In quantum mechanics these operators,
\[
\text{Hardness}:=\left( \begin{array}{cc}{1} & {0} \\ {0} & {-1}\end{array}\right) \quad \text { Color } :=\left( \begin{array}{cc}{0} & {1} \\ {1} & {0}\end{array}\right) \quad \text { Taste } :=\left( \begin{array}{cc}{0} & {-\mathrm{i}} \\ {\mathrm{i}} & {0}\end{array}\right)
\nonumber \]
are actually the Pauli spin matrices and represent the observables for spin in the z-, x- and y-directions as mentioned earlier.
\[
\sigma_{z}=\left( \begin{array}{cc}{1} & {0} \\ {0} & {-1}\end{array}\right) \quad \sigma_{\mathrm{x}}=\left( \begin{array}{cc}{0} & {1} \\ {1} & {0}\end{array}\right) \quad \sigma_{\mathrm{y}} :=\left( \begin{array}{cc}{0} & {-\mathrm{i}} \\ {\mathrm{i}} & {0}\end{array}\right)
\nonumber \]
They are also the operators for the rectilinear, diagonal and circular polarization properties of photons. In this case the eigenvectors are vertical, horizontal, diagonal, anti-diagonal, and right and left circular polarization.
\[
\mathrm{V} :=\left( \begin{array}{l}{1} \\ {0}\end{array}\right) \qquad \mathrm{H} :=\left( \begin{array}{l}{0} \\ {1}\end{array}\right) \\ \mathrm{D} :=\dfrac{1}{\sqrt{2}} \cdot \left( \begin{array}{l}{1} \\ {1}\end{array}\right) \qquad \mathrm{A} :=\dfrac{1}{\sqrt{2}} \left( \begin{array}{c}{1} \\ {-1}\end{array}\right) \\ \mathrm{R} :=\dfrac{1}{\sqrt{2}} \cdot \left( \begin{array}{l}{1} \\ {\mathrm{i}}\end{array}\right) \qquad \mathrm{L} :=\dfrac{1}{\sqrt{2}} \left( \begin{array}{c}{1} \\ {-\mathrm{i}}\end{array}\right)
\nonumber \]
Appendix: Vector and Matrix Math
Vector inner product:
\[
(a b) \cdot \left( \begin{array}{l}{c} \\ {d}\end{array}\right) \rightarrow a \cdot c+b \cdot d
\nonumber \]
Vector outer product:
\[
\left( \begin{array}{l}{c} \\ {d}\end{array}\right)-(a b) \rightarrow \left( \begin{array}{ll}{a \cdot c} & {b \cdot c} \\ {a \cdot d} & {b \cdot d}\end{array}\right)
\nonumber \]
\[
\operatorname{tr}\left[\left( \begin{array}{l}{c} \\ {d}\end{array}\right) \cdot(a b)\right] \rightarrow a \cdot c+b \cdot d
\nonumber \]
Matrix-vector product:
\[
\left( \begin{array}{ll}{a} & {b} \\ {c} & {d}\end{array}\right) \cdot \left( \begin{array}{l}{x} \\ {y}\end{array}\right) \rightarrow \left( \begin{array}{l}{a \cdot x+b \cdot y} \\ {c \cdot x+d \cdot y}\end{array}\right)
\nonumber \]
\[
( x, y) \cdot \left( \begin{array}{ll}{ a} & { b} \\ { c} & { d}\end{array}\right)^{ T} \rightarrow( a \cdot x+ b \cdot y \quad c \cdot x+ d \cdot y)
\nonumber \]
Expectation value:
\[
( x \quad y) \cdot \left( \begin{array}{ll}{ a} & { b} \\ { c} & { d}\end{array}\right) \cdot \left( \begin{array}{l}{ x} \\ { y}\end{array}\right) \text { simplify } \rightarrow a \cdot x^{2}+ d \cdot y^{2}+ b \cdot x \cdot y+ c \cdot x \cdot y
\nonumber \]
\[
( x, y) \cdot \left( \begin{array}{cc}{ a} & { b} \\ { c} & { d}\end{array}\right)^{ T} \cdot \left( \begin{array}{l}{ x} \\ { y}\end{array}\right) \text { simplify } \rightarrow a \cdot x^{2}+ d \cdot y^{2}+ b \cdot x \cdot y+ c \cdot x \cdot y
\nonumber \]
\[
\operatorname{tr}\left[\left( \begin{array}{l}{x} \\ {y}\end{array}\right) \cdot \left( \begin{array}{ll}{a} & {b} \\ {c} & {d}\end{array}\right]\right] \rightarrow a \cdot x^{2}+d \cdot y^{2}+b \cdot x \cdot y+c \cdot x \cdot y
\nonumber \]
\[
\operatorname{tr}\left[\left( \begin{array}{cc}{a} & {b} \\ {c} & {d}\end{array}\right) \cdot \left( \begin{array}{l}{x} \\ {y}\end{array}\right) \cdot \left( \begin{array}{ll}{x} & {y}\end{array}\right]\right] \text { simplify } \rightarrow a \cdot x^{2}+d \cdot y^{2}+b \cdot x \cdot y+c \cdot x \cdot y
\nonumber \]
Matrix product:
\[
\left( \begin{array}{ll}{a} & {b} \\ {c} & {d}\end{array}\right) \cdot \left( \begin{array}{lc}{w} & {x} \\ {y} & {z}\end{array}\right) \rightarrow \left( \begin{array}{l}{a \cdot w+b \cdot y} & {a \cdot x+b \cdot z} \\ {c \cdot w+d \cdot y} & {c \cdot x+d \cdot z}\end{array}\right)
\nonumber \]
Vector tensor product:
\[
\left( \begin{array}{l}{a} \\ {b}\end{array}\right) \otimes \left( \begin{array}{l}{c} \\ {d}\end{array}\right)=\left( \begin{array}{c}{a \left( \begin{array}{c}{c} \\ {d}\end{array}\right)} \\ {b \left( \begin{array}{l}{c} \\ {d}\end{array}\right)}\end{array}\right)=\left( \begin{array}{c}{a c} \\ {a d} \\ {b c} \\ {b d}\end{array}\right)
\nonumber \]
Matrix tensor product:
\[
\left( \begin{array}{ll}{a} & {b} \\ {c} & {d}\end{array}\right) \otimes \left( \begin{array}{ll}{w} & {x} \\ {y} & {z}\end{array}\right) =\left( \begin{array}{ll}{a \left( \begin{array}{cc}{w} & {x} \\ {y} & {z}\end{array}\right)} & {b \left( \begin{array}{cc}{w} & {x} \\ {y} & {z}\end{array}\right)} \\ {c \left( \begin{array}{cc}{w} & {x} \\ {y} & {z}\end{array}\right)} & {d \left( \begin{array}{cc}{w} & {x} \\ {y} & {z}\end{array}\right)}\end{array}\right) =\left( \begin{array}{llll}{a w} & {a x} & {b w} & {b x} \\ {a y} & {a z} & {b y} & {b z} \\ {c w} & {c x} & {d w} & {d x} \\ {c y} & {c z} & {d y} & {d z}\end{array}\right)
\nonumber \]
Matrix eigenvalues and eigenvectors (unnormalized):
\[
\text{eigenvals}\left(\left( \begin{array}{cc}{a} & {b} \\ {b} & {a}\end{array}\right)\right) \rightarrow \left( \begin{array}{l}{a-b} \\ {a+b}\end{array}\right)
\nonumber \]
or
\[
\left|\left( \begin{array}{cc}{a-\lambda} & {b} \\ {b} & {a-\lambda}\end{array}\right)\right|=0 \text { solve }, \lambda \rightarrow \left( \begin{array}{c}{a+b} \\ {a-b}\end{array}\right)
\nonumber \]
or
\[
\left( \begin{array}{cc}{-1} & {1} \\ {1} & {1}\end{array}\right)^{-1} \left( \begin{array}{cc}{a} & {b} \\ {b} & {a}\end{array}\right) \left( \begin{array}{cc}{-1} & {1} \\ {1} & {1}\end{array}\right) \rightarrow \left( \begin{array}{cc}{a-b} & {0} \\ {0} & {a+b}\end{array}\right)
\nonumber \]
using
\[
\text{eigenvecs}\left(\left( \begin{array}{cc}{a} & {b} \\ {b} & {a}\end{array}\right)\right) \rightarrow \left( \begin{array}{cc}{-1} & {1} \\ {1} & {1}\end{array}\right)
\nonumber \]
\[
\left( \begin{array}{ll}{a} & {b} \\ {b} & {a}\end{array}\right) \cdot \left( \begin{array}{l}{x} \\ {y}\end{array}\right)=(a-b) \cdot \left( \begin{array}{l}{x} \\ {y}\end{array}\right) \; \text{solve,} y \rightarrow-x \qquad \left( \begin{array}{l}{x} \\ {y}\end{array}\right)=\left( \begin{array}{c}{-1} \\ {1}\end{array}\right)
\nonumber \]
\[
\left( \begin{array}{ll}{\mathrm{a}} & {\mathrm{b}} \\ {\mathrm{b}} & {\mathrm{a}}\end{array}\right) \cdot \left( \begin{array}{l}{\mathrm{x}} \\ {\mathrm{y}}\end{array}\right)=(\mathrm{a}+\mathrm{b}) \cdot \left( \begin{array}{l}{\mathrm{x}} \\ {\mathrm{y}}\end{array}\right) \text { solve, } \mathrm{y} \rightarrow \mathrm{x} \qquad \left( \begin{array}{l}{\mathrm{x}} \\ {\mathrm{y}}\end{array}\right)=\left( \begin{array}{l}{1} \\ {1}\end{array}\right)
\nonumber \]
Completeness relations:
\[\text{Black} \cdot \text{Black}^{T} + \text{White} \cdot \text{White}^{T} =\left( \begin{array}{ll}{1} & {0} \\ {0} & {1}\end{array}\right) \nonumber \]
\[\text{Hard} \cdot \text{Hard}^{T} + \text{Soft} \cdot \text{Soft}^{T} =\left( \begin{array}{ll}{1} & {0} \\ {0} & {1}\end{array}\right) \nonumber \]