Skip to main content
Chemistry LibreTexts

1.34: Rudimentary Matrix Mechanics

  • Page ID
    144003
  • \( \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}{\frac{1}{\sqrt{2}}} \\ {\frac{1}{\sqrt{2}}}\end{array}\right) \quad \text { White } :=\left( \begin{array}{c}{\frac{1}{\sqrt{2}}} \\ {\frac{-1}{\sqrt{2}}}\end{array}\right)
    \nonumber \]

    Hard and Soft represent an orthonormal basis in the two-dimensional Hardness vector space.

    \[\begin{matrix} \text{Hard}^{T} \cdot \text{Hard} = 1 & \text{Soft}^{T} \cdot \text{Soft} = 1 & \text{Hard}^{T} \cdot \text{Soft} = 0 \\ \left( \begin{array}{ll}{1} & {0}\end{array}\right) \cdot \left( \begin{array}{l}{1} \\ {0}\end{array}\right)=1 & \left( \begin{array}{ll}{0} & {1}\end{array}\right) \cdot \left( \begin{array}{l}{0} \\ {1}\end{array}\right)=1 & \left( \begin{array}{ll}{1} & {0}\end{array}\right) \cdot \left( \begin{array}{l}{0} \\ {1}\end{array}\right)=0 \end{matrix} \nonumber \]

    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}{\frac{1}{\sqrt{2}}} & {\frac{1}{\sqrt{2}}}\end{array}\right) \cdot \left( \begin{array}{c}{\frac{1}{\sqrt{2}}} \\ {\frac{1}{\sqrt{2}}}\end{array}\right)=1 & \left(\begin{array}{c}{\frac{1}{\sqrt{2}}} & {\frac{-1}{\sqrt{2}}}\end{array}\right) \cdot \left( \begin{array}{c}{\frac{1}{\sqrt{2}}} \\ {\frac{-1}{\sqrt{2}}}\end{array}\right)=1 & \left(\begin{array}{c}{\frac{1}{\sqrt{2}}} & {\frac{1}{\sqrt{2}}}\end{array}\right) \cdot \left( \begin{array}{c}{\frac{1}{\sqrt{2}}} \\ {\frac{-1}{\sqrt{2}}}\end{array}\right)=0 \end{matrix} \nonumber \]

    The relationship between the two bases is reflected in the following projection calculations.

    Note

    \[
    \frac{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}{\frac{1}{\sqrt{2}}} \\ {\frac{1}{\sqrt{2}}}\end{array}\right)=0.707 & \left(\begin{array}{l}{1} & {0}\end{array}\right) \cdot \left( \begin{array}{l}{\frac{1}{\sqrt{2}}} \\ {\frac{-1}{\sqrt{2}}}\end{array}\right)=0.707 & \left(\begin{array}{l}{0} & {0}\end{array}\right) \cdot \left( \begin{array}{l}{\frac{1}{\sqrt{2}}} \\ {\frac{1}{\sqrt{2}}}\end{array}\right)=0.707 & \left(\begin{array}{l}{0} & {1}\end{array}\right) \cdot \left( \begin{array}{l}{\frac{1}{\sqrt{2}}} \\ {\frac{-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}{\frac{1}{\sqrt{2}}} \\ {\frac{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}{\frac{1}{\sqrt{2}}} \\ {\frac{-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}{\frac{1}{\sqrt{2}}} \\ {\frac{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}{\frac{1}{\sqrt{2}}} \\ {\frac{-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.

    \(
    \frac{1}{\sqrt{2}} \cdot(\mathrm{Hard}+\mathrm{Soft})=\left( \begin{array}{c}{0.707} \\ {0.707}\end{array}\right)
    \)
    \(
    \frac{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)
    \)
    \(
    \frac{1}{\sqrt{2}} \cdot(\mathrm{Hard}-\mathrm{Soft})=\left( \begin{array}{c}{0.707} \\ {-0.707}\end{array}\right)
    \)
    \(
    \frac{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)
    \)
    \(
    \frac{1}{\sqrt{2}} \cdot(\text { Black }+\text { White })=\left( \begin{array}{l}{1} \\ {0}\end{array}\right)
    \)
    \(
    \frac{1}{\sqrt{2}}\left[\left( \begin{array}{c}{\frac{1}{\sqrt{2}}} \\ {\frac{1}{\sqrt{2}}}\end{array}\right)+\left( \begin{array}{c}{\frac{1}{\sqrt{2}}} \\ {\frac{-1}{\sqrt{2}}}\end{array}\right)\right]=\left( \begin{array}{l}{1} \\ {0}\end{array}\right)
    \)
    \(
    \frac{1}{\sqrt{2}} \cdot(\text { Black }-\text { White })=\left( \begin{array}{l}{0} \\ {1}\end{array}\right)
    \)
    \(
    \frac{1}{\sqrt{2}}\left[\left( \begin{array}{c}{\frac{1}{\sqrt{2}}} \\ {\frac{1}{\sqrt{2}}}\end{array}\right)-\left( \begin{array}{c}{\frac{1}{\sqrt{2}}} \\ {\frac{-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}{\frac{1}{\sqrt{2}}} \\ {\frac{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}{\frac{1}{\sqrt{2}}} \\ {\frac{-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(\frac{1}{\sqrt{2}} \frac{1}{\sqrt{2}}\right) \cdot \left( \begin{array}{cc}{0} & {1} \\ {1} & {0}\end{array}\right) \cdot \left( \begin{array}{c}{\frac{1}{\sqrt{2}}} \\ {\frac{1}{\sqrt{2}}}\end{array}\right)=1\) \(\text{White}^{T}\cdot\text{Color}\cdot\text{White}=1\) \(\left(\frac{1}{\sqrt{2}} \frac{-1}{\sqrt{2}}\right) \cdot \left( \begin{array}{ll}{0} & {1} \\ {1} & {0}\end{array}\right) \cdot \left( \begin{array}{c}{\frac{1}{\sqrt{2}}} \\ {\frac{-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}{\frac{1}{\sqrt{2}}} \\ {\frac{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}{\frac{1}{\sqrt{2}}} \\ {\frac{-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(\frac{1}{\sqrt{2}} \frac{1}{\sqrt{2}}\right) \cdot \left( \begin{array}{cc}{1} & {0} \\ {0} & {-1}\end{array}\right) \cdot \left( \begin{array}{c}{\frac{1}{\sqrt{2}}} \\ {\frac{1}{\sqrt{2}}}\end{array}\right)=0\) \(\text{White}^{T}\cdot\text{Hardness}\cdot\text{White}=0\) \(\left(\frac{1}{\sqrt{2}} \frac{-1}{\sqrt{2}}\right) \cdot \left( \begin{array}{cc}{1} & {0} \\ {0} & {-1}\end{array}\right) \cdot \left( \begin{array}{c}{\frac{1}{\sqrt{2}}} \\ {\frac{-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}:=\frac{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 \]

    Composite Systems

    \(\text{Hardness}:=\left( \begin{array}{cc}{1} & {0} \\ {0} & {-1}\end{array}\right)\) \(\text{Hard}:=\text { eigenvec(Hardness, } 1 )=\left( \begin{array}{l}{1} \\ {0}\end{array}\right)\) \(\text{Soft}:=\text { eigenvec(Hardness, } -1 )=\left( \begin{array}{l}{0} \\ {1}\end{array}\right)\)
    \(\text{Color}:=\left( \begin{array}{ll}{0} & {1} \\ {1} & {0}\end{array}\right)\) \(\text{Black}:=\text { eigenvec(Color, } 1 )=\left( \begin{array}{l}{0.707} \\ {0.707}\end{array}\right)\) \(\text{White}:=\text { eigenvec(Color, } -1 )=\left( \begin{array}{l}{-0.707} \\ {0.707}\end{array}\right)\)
    \(\text{Taste}:=\left( \begin{array}{ll}{0} & {-i} \\ {i} & {0}\end{array}\right)\) \(\text{Sweet}:=\text { eigenvec(Taste, } 1 )=\left( \begin{array}{l}{-0.707i} \\ {0.707}\end{array}\right)\) \(\text{Sweet}:=\text { eigenvec(Taste, } -1 )=\left( \begin{array}{l}{0.707i} \\ {0.707}\end{array}\right)\)
    \(\text{Odor} :=\frac{1}{\sqrt{2}} \cdot \left( \begin{array}{cc}{1} & {1} \\ {1} & {-1}\end{array}\right)\) \(\text{P}:=\text { eigenvec(Odor, } 1 )=\left( \begin{array}{l}{0.924} \\ {0.383}\end{array}\right)\) \(\text{F}:=\text { eigenvec(Odor, } -1 )=\left( \begin{array}{l}{-0.383} \\ {0.924}\end{array}\right)\)

    Quantum mechanics gets even more interesting for composite systems - quantum systems consisting of two or more quons. Suppose two quons are created in the same event and one is hard (H) and the other is soft (S), but of course because of the indistinquishability principle we don't know which is which. Under this circumstance an appropriate state vector is the following entangled superposition. (See Appendix A for vector tensor multiplication),

    \[
    \Psi=\frac{1}{\sqrt{2}}[ |H\rangle_{A} | S \rangle_{B}-| S \rangle_{A} | H \rangle_{B} ]=\frac{1}{\sqrt{2}}\left[\left( \begin{array}{l}{1} \\ {0}\end{array}\right) \otimes \left( \begin{array}{l}{0} \\ {1}\end{array}\right)-\left( \begin{array}{l}{0} \\ {1}\end{array}\right) \otimes \left( \begin{array}{l}{1} \\ {0}\end{array}\right)\right]=\frac{1}{\sqrt{2}} \left( \begin{array}{c}{0} \\ {1} \\ {-1} \\ {0}\end{array}\right) \\ \Psi :=\frac{1}{\sqrt{2}} \cdot \left( \begin{array}{c}{0} \\ {1} \\ {-1} \\ {0}\end{array}\right)
    \nonumber \]

    If the hardness of A or the hardness of B is measured the expectation value is 0, because half the time the quon will be found to be hard (+1) and half the time soft (-1). However if the hardness of both quons is measured the joint expectation value is -1, because they are in opposite hardness states. This is perfect anti-correlation. The joint measurements show correlation in spite of the fact that the individual measurements are totally random. This is the "spooky action at a distance" that bothered Einstein. Kronecker is Mathcad's command for matrix tensor multiplication which is illustrated in Appendix A.

    \[
    \Psi^{\mathrm{T}} \cdot \mathrm{kronecker}(\text { Hardness }, \mathrm{I}) \cdot \Psi=0
    \nonumber \]

    \[
    \Psi^{\mathrm{T}} \cdot \text { kronecker (I, Hardness) } \Psi=0
    \nonumber \]

    \[
    \Psi^{\mathrm{T}} \cdot \text { kronecker(Hardness, Hardness) } \cdot \Psi=-1
    \nonumber \]

    Now suppose we do color measurements on the same pair of quons. Again we find perfect color anti-correlation between the two quons. Individually the color measurements are randomly black (B) or white (W), but when we measure the color of both quons we always get different colors.

    \[
    \Psi^{\mathrm{T}} \cdot \text { kronecker (Color, I} ) \cdot \Psi=0
    \nonumber \]

    \[
    \boldsymbol{\Psi}^{\mathrm{T}} \cdot \mathrm{kronecker}(\mathrm{I}, \text { Color}) \cdot \mathbf{\Psi}=0
    \nonumber \]

    \[
    \Psi^{\mathrm{T}} \cdot \text { kronecker (Color, Color) }\cdot \Psi=-1
    \nonumber \]

    This result can be understood by recalling that black and white are superpositions of hard and soft. Substitution of the appropriate superpositions into the original composite state vector expresses it in the black/white basis and reveals the perfect anti-correlation.

    \[
    \Psi=\frac{1}{\sqrt{2}}[ |W\rangle_{A} | B \rangle_{B}-| B \rangle_{A} | W \rangle_{B} ]=\frac{1}{\sqrt{2}}\left[\frac{1}{\sqrt{2}} \left( \begin{array}{c}{1} \\ {-1}\end{array}\right) \otimes \frac{1}{\sqrt{2}} \left( \begin{array}{l}{1} \\ {1}\end{array}\right)-\frac{1}{\sqrt{2}} \left( \begin{array}{l}{1} \\ {1}\end{array}\right) \otimes \frac{1}{\sqrt{2}} \left( \begin{array}{c}{1} \\ {-1}\end{array}\right)\right]=\frac{1}{\sqrt{2}} \left( \begin{array}{c}{0} \\ {1} \\ {-1} \\ {0}\end{array}\right)
    \nonumber \]

    The same thing that is true for black and white is also true for sweet (Sw) and sour (So). The taste measurements are individually random, but collectively perfectly anti-correlated.

    \[
    \Psi^{\mathrm{T}} \cdot \mathrm{kronecker}(\text {Taste }, \mathrm{I}) \cdot \Psi=0
    \nonumber \]

    \[
    \Psi^{\mathrm{T}} \cdot \mathrm{kronecker}(\mathrm{I}, \text { Taste}) \cdot \Psi=0
    \nonumber \]

    \[
    \Psi^{\mathrm{T}} \cdot \mathrm{kronecker}(\text {Taste, Taste}) \cdot \Psi=-1
    \nonumber \]

    Below the original state vector is written in the sweet/sour basis.

    \[
    \Psi=\frac{1}{\sqrt{2}}[ |S o\rangle_{A} | S w \rangle_{B}-| S w \rangle_{A} | S o \rangle_{B} ]=\frac{1}{\sqrt{2}}\left[\frac{1}{\sqrt{2}} \left( \begin{array}{c}{1} \\ {-i}\end{array}\right) \otimes \frac{1}{\sqrt{2}} \left( \begin{array}{c}{-i} \\ {1}\end{array}\right)-\frac{1}{\sqrt{2}} \left( \begin{array}{c}{-i} \\ {1}\end{array}\right) \otimes \frac{1}{\sqrt{2}} \left( \begin{array}{c}{1} \\ {-i}\end{array}\right)\right]=\frac{1}{\sqrt{2}} \left( \begin{array}{c}{0} \\ {1} \\ {-1} \\ {0}\end{array}\right)
    \nonumber \]

    If different properties of the quons are measured the expectation values are zero - there is no correlation.

    \[
    \Psi^{\mathrm{T}} \cdot \text { kronecker (Hardness, Color) }\cdot \Psi=0
    \nonumber \]

    \[
    \Psi^{\mathrm{T}} \cdot \text { kronecker (Hardness, Taste) } \cdot \Psi=0
    \nonumber \]

    \[
    \Psi^{\mathrm{T}} \cdot \text { kronecker (Color, Taste) }\cdot \Psi=0
    \nonumber \]

    A realist believes that objects, macro, micro or nano, have well-defined properties prior to and independent of the nature of the observation performed on them. Experiment simply reveals the unknown state of the system under observation.

    Objects with three properties (hardness, color and taste) which can be in either of two states (hard +1, soft -1, black +1, white -1, sweet +1 and sour -1) can be in any one of eight states according to a realist: HBSw, HBSo, HWSw, HWSo, SBSw, SBSo, SWSw and SWSo. Due to the correlation values when the same property is measured on both quons, the realist can explain all measurement results as shown in the table below.

    Because the states were constructed on the basis of anti-correlation for hardness, color and taste, it is only necessary to show agreement between the quantum calculations and the realist's states for the cases in which different properties are measured. The three right-hand columns of the table show no correlation, in agreement with the quantum calculations.

    \[\left[ \begin{matrix} \text{QuonA} & \text{QuonB} & \text{Hardness-Color} & \text{Hardness-Taste} & \text{Color-Taste} \\ \text{HBSw} & \text{SWSo} & 1 \times -1 = -1 & 1 \times -1 = -1 & 1 \times -1 = -1 \\ \text{HBSo} & \text{SWSw} & 1 \times -1 = -1 & 1 \times 1 = 1 & 1 \times 1 = 1 \\ \text{HWSw} & \text{SBSo} & 1 \times 1 = 1 & 1 \times -1 = -1 & -1 \times -1 = 1 \\ \text{HWSo} & \text{SBSw} & 1 \times 1 = 1 & 1 \times 1 = 1 & -1 \times 1 = -1 \\ \text{Expectation} & \text{Value} & 0 & 0 & 0 \end{matrix} \right] \nonumber \]

    In spite of this agreement, the quantum theorist objects. Earlier it was shown that the hardness and color operators do not commute, meaning that from the quantum perspective hardness and color cannot be simultaneously well-defined. The same is true for hardness and taste, and for color and taste. Therefore, the states in the table proposed by the realist are not legitimate.

    \[
    \text{Hardness} \cdot \text{Taste}-\text { Taste} \cdot \text{Hardness}=\left( \begin{array}{cc}{0} & {-2 \mathrm{i}} \\ {-2 \mathrm{i}} & {0}\end{array}\right)
    \nonumber \]

    \[
    \text{Color} \cdot \text{Taste}-\text { Taste} \cdot \text{Color}=\left( \begin{array}{cc}{2 \mathrm{i}} & {0} \\ {0} & {-2 \mathrm{i}}\end{array}\right)
    \nonumber \]

    The superpositions tell the same story. For example, if a quon is hard (H) its color and taste are indeterminate because hard is an even superposition of black and white, and sweet and sour.

    \[
    \mathrm{H}=\frac{1}{\sqrt{2}} \cdot(\mathrm{B}+\mathrm{W}) \qquad \mathrm{H}=\frac{1}{\sqrt{2}} \cdot(\mathrm{i} \cdot \mathrm{Sw}+\mathrm{So})
    \nonumber \]

    While this line of reasoning is compelling, the realist is undeterred. The fact that quantum mechanics can't assign specific values to all properties of an object is evidence that it does not provide a complete theory of reality!

    Thought experiments like this clarify the conflict between quantum theory and local realism, but they do not provide, as we have seen, a final adjudication of the disagreement. That changed in 1964 with a theoretical analysis by John Bell that showed that there are experimental situations where the predictions of quantum mechanics and local realism are in disagreement. We look at one of them now.

    Odor is another physical property of objects. The Hadamard operator is renamed the Odor operator. It has two eigenstates Pleasant and Foul, with eigenvalues +1 and -1, respectively, as shown below.

    \[
    \text{Odor}:=\frac{1}{\sqrt{2}} \cdot \left( \begin{array}{cc}{1} & {1} \\ {1} & {-1}\end{array}\right) \qquad (\text {Odor})=\left( \begin{array}{c}{1} \\ {-1}\end{array}\right) \quad
    \nonumber \]

    \[
    \text{Pleasant}:=\text { eigenvec (Odor},1 )=\left( \begin{array}{l}{0.924} \\ {0.383}\end{array}\right) \\ \text {Foul} :=\text { eigenvec (Odor,}-1 )=\left( \begin{array}{c}{-0.383} \\ {0.924}\end{array}\right)
    \nonumber \]

    \[
    \Psi=\frac{1}{\sqrt{2}}[ |P\rangle_{A} | F \rangle_{B}-| F \rangle_{A} | P \rangle_{B} ]=\frac{1}{\sqrt{2}}\left[\left( \begin{array}{c}{0.924} \\ {0.383}\end{array}\right) \otimes \left( \begin{array}{c}{-0.383} \\ {0.924}\end{array}\right)-\left( \begin{array}{c}{-0.383} \\ {0.924}\end{array}\right) \otimes \left( \begin{array}{c}{0.924} \\ {0.383}\end{array}\right)\right]=\frac{1}{\sqrt{2}} \left( \begin{array}{c}{0} \\ {1} \\ {-1} \\ {0}\end{array}\right)
    \nonumber \]

    Carrying out some of the same quantum mechanical calculations that we have done for the other observable properties, we see that the individual odor measurements are random, there is perfect anti-correlation in the joint odor measurements and intermediate anti-correlation in the joint hardness-odor measurements. This latter result is of utmost importance, because a local realist can't explain it.

    \[
    \Psi^{\mathrm{T}} \cdot \text { kronecker }(\mathrm{Odor}, \mathrm{I}) \cdot \Psi=0
    \nonumber \]

    \[
    \mathbf{\Psi}^{\mathrm{T}} \cdot \mathrm{kronecker}(\mathrm{Odor}, \mathrm{Odor}) \cdot \Psi=-1
    \nonumber \]

    \[
    \Psi^{\mathrm{T}} \cdot \mathrm{kronecker}(\text { Hardness }, \mathrm{Odor}) \cdot \Psi=-0.707
    \nonumber \]

    Given that we are now dealing with four properties, each of which can have two values, there are 16 composite states. However, for now we only need to consider the four states involving the properites of hardness and odor to show that the local realist model cannot explain the anti-correlation predicted by quantum mechanics for the joint hardness-odor measurements. In the following table H =Hard, S = Soft, P = Pleasant, and F = Foul. Appendix B provides a complete analysis for all four observable properties.

    \[\begin{pmatrix} \text{Quon1} & \text{Quon2} & \text{HardnessHardness} & \text{OdorOdor} & \text{HardnessOdor} \\ \text{HP} & \text{SF} & -1 & -1 & -1 \\ \text{HF} & \text{SP} & -1 & -1 & 1 \\ \text{SP} & \text{HF} & -1 & -1 & 1 \\ \text{SF} & \text{HP} & -1 & -1 & -1 \\ \text{Expectation} & \text{Value} & -1 & -1 & 0 \\ \text{Quantum} & \text{Result} & -1 & -1 & -0.707 \end{pmatrix} \nonumber \]

    The last column shows that a local realist model predicts no correlation between the joint hardness-odor measurements, while a quantum mechanical calculation predicts anti-correlation of -0.707. This example illustrates the significance of Bell's analysis: there are experiments for which a local realist model cannot reproduce all the quantum mechanical predictions. And to date the quantum mechanical predictions have been verified experimentally. Thus, a local realist model of nature is not tenable. As mentioned above Appendix B provides additional computational detail regarding this issue.

    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} :=\frac{1}{\sqrt{2}} \cdot \left( \begin{array}{l}{1} \\ {1}\end{array}\right) \qquad \mathrm{A} :=\frac{1}{\sqrt{2}} \left( \begin{array}{c}{1} \\ {-1}\end{array}\right) \\ \mathrm{R} :=\frac{1}{\sqrt{2}} \cdot \left( \begin{array}{l}{1} \\ {\mathrm{i}}\end{array}\right) \qquad \mathrm{L} :=\frac{1}{\sqrt{2}} \left( \begin{array}{c}{1} \\ {-\mathrm{i}}\end{array}\right)
    \nonumber \]

    Appendix A: 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 \]

    Appendix B: Additional Computational Details

    In order to explain the perfect anti-correlation predicted by quantum mechanics when the same type of measurement is made on both quons, the local realist makes the following state assignments. Remember that these states are not legitimate according to quantum theory because hardness, color, taste and odor are incompatible observables.

    \[\begin{pmatrix} \text{QuonA} & \text{QuonB} \\ \text{HBSwP} & \text{SWSoF} \\ \text{HBSwF} & \text{SWSoP} \\ \text{HBSoP} & \text{SWSwF} \\ \text{HBSoF} & \text{SWSwP} \\ \text{HWSwP} & \text{SBSoF} \\ \text{HWSwF} & \text{SBSoP} \\ \text{HWSoP} & \text{SBSwF} \\ \text{HWSoF} & \text{SBSwP} \end{pmatrix} \qquad \begin{pmatrix} \text{Property} & \text{Eigenvalue} \\ \text{H} & 1 \\ \text{S} & -1 \\ \text{B} & 1 \\ \text{W} & -1 \\ \text{Sw} & 1 \\ \text{So} & -1 \\ \text{P} & 1 \\ \text{F} & -1 \end{pmatrix} \nonumber \]

    It is easy to show that these state assignments are in agreement with the following quantum mechanical calculations.

    \(\Psi^{\mathrm{T}} \cdot \text { kronecker (Hardness, Hardness) } \cdot\Psi=-1\) \(\Psi^{\mathrm{T}} \cdot \text { kronecker (Color, Color} ) \cdot \Psi=-1\) \(\Psi^{\mathrm{T}} \cdot \mathrm{kronecker}(\text { Taste, Taste }) \cdot \Psi=-1\)
    \(\mathbf{\Psi}^{\mathrm{T}} \cdot \mathrm{kronecker}(\mathrm{Odor}, \mathrm{Odor}) \cdot \Psi=-1\) \(\Psi^{\mathrm{T}} \cdot \text { kronecker (Hardness, Color) } \cdot \Psi=0\) \(\Psi^{\mathrm{T}} \cdot \mathrm{kronecker}(\text { Hardness, Taste }) \cdot \Psi=0\)
    \(\Psi^{\mathrm{T}} \cdot \text { kronecker (Color, Taste) } \cdot\Psi=0\) \(\Psi^{\mathrm{T}} \cdot \text { kronecker (Taste, Odor) }\cdot\Psi=0\)  

    However, the state assignments are not consistent with the following quantum calculations.

    \[
    \Psi^{\mathrm{T}} \cdot \mathrm{kronecker}(\text { Hardness }, \text { Odor }) \cdot \Psi=-0.707
    \nonumber \]

    \[
    \Psi^{\mathrm{T}} \cdot \mathrm{kronecker}(\mathrm{Color}, \mathrm{Odor}) \cdot \Psi=-0.707
    \nonumber \]

    The last two rows of the following table compare the local realist and quantum mechanical predictions, showing the disagreement for the hardness/odor and color/odor joint measurements.

    \[\begin{pmatrix} \text{QuonA} & \text{QuonB} & \text{HH} & \text{CC} & \text{TT} & \text{OO} & \text{HC} & \text{HT} & \text{HO} & \text{CT} & \text{CO} & \text{TO} \\ \text{HBSwP} & \text{SWSoF} & -1 & -1& -1& -1& -1& -1& -1& -1& -1& -1 \\ \text{HBSwF} & \text{SWSoP} & -1& -1& -1& -1& -1& -1& 1& -1& 1& 1\\ \text{HBSoP} & \text{SWSwF} & -1& -1& -1& -1& -1& 1& -1& 1& -1& 1\\ \text{HBSoF} & \text{SWSwP} & -1& -1& -1& -1& -1& 1& 1& 1& 1& -1\\ \text{HWSwP} & \text{SBSoF} & -1& -1& -1& -1& 1& -1& -1& 1& 1& -1\\ \text{HWSwF} & \text{SBSoP} & -1& -1& -1& -1& 1& -1& 1& 1& -1& 1\\ \text{HWSoP} & \text{SBSwF} & -1& -1& -1& -1& 1& 1& -1& -1& 1& 1\\ \text{HWSoF} & \text{SBSwP} & -1& -1& -1& -1& 1& 1& 1& -1& -1& -1\\ \text{Expectation} & \text{Value} & -1& -1& -1& -1 & 0& 0& 0& 0& 0& 0\\ \text{Quantum} & \text{Result} & -1& -1& -1& -1& 0& 0& -0.707& 0& -0.707& 0\end{pmatrix} \nonumber \]


    This page titled 1.34: Rudimentary Matrix Mechanics is shared under a CC BY 4.0 license and was authored, remixed, and/or curated by Frank Rioux via source content that was edited to the style and standards of the LibreTexts platform.

    • Was this article helpful?