(************** Content-type: application/mathematica ************** Mathematica-Compatible Notebook This notebook can be used with any Mathematica-compatible application, such as Mathematica, MathReader or Publicon. The data for the notebook starts with the line containing stars above. To get the notebook into a Mathematica-compatible application, do one of the following: * Save the data starting with the line of stars above into a file with a name ending in .nb, then open the file inside the application; * Copy the data starting with the line of stars above to the clipboard, then use the Paste menu command inside the application. Data for notebooks contains only printable 7-bit ASCII and can be sent directly in email or through ftp in text mode. Newlines can be CR, LF or CRLF (Unix, Macintosh or MS-DOS style). NOTE: If you modify the data for this notebook not in a Mathematica- compatible application, you must delete the line below containing the word CacheID, otherwise Mathematica-compatible applications may try to use invalid cache data. For more information on notebooks and Mathematica-compatible applications, contact Wolfram Research: web: http://www.wolfram.com email: info@wolfram.com phone: +1-217-398-0700 (U.S.) Notebook reader applications are available free of charge from Wolfram Research. *******************************************************************) (*CacheID: 232*) (*NotebookFileLineBreakTest NotebookFileLineBreakTest*) (*NotebookOptionsPosition[ 22184, 696]*) (*NotebookOutlinePosition[ 23032, 726]*) (* CellTagsIndexPosition[ 22944, 720]*) (*WindowFrame->Normal*) Notebook[{ Cell[BoxData[ StyleBox[\(Part\ II\ \ Constructing\ unitary\ \(\(operators\)\(:\)\)\), "Subtitle"]], "Input", Evaluatable->False], Cell[BoxData[ \(Suppose\ we\ exponentiate\ a\ scalar\)], "Input", Evaluatable->False], Cell[CellGroupData[{ Cell[BoxData[ \(uscalar = Exp[I\ \[Theta]]\)], "Input"], Cell[BoxData[ \(\[ExponentialE]\^\(\[ImaginaryI]\ \[Theta]\)\)], "Output"] }, Open ]], Cell[BoxData[ \(Then\ If\ we\ take\ the\ conjugate\)], "Input", Evaluatable->False], Cell[CellGroupData[{ Cell[BoxData[ \(Conjugate[uscalar]\)], "Input"], Cell[BoxData[ \(\[ExponentialE]\^\(\(-\[ImaginaryI]\)\ Conjugate[\[Theta]]\)\)], \ "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(ComplexExpand[Conjugate[uscalar]]\)], "Input"], Cell[BoxData[ \(Cos[\[Theta]] - \[ImaginaryI]\ Sin[\[Theta]]\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(uscalardagger = TrigToExp[%]\)], "Input"], Cell[BoxData[ \(\[ExponentialE]\^\(\(-\[ImaginaryI]\)\ \[Theta]\)\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(uscalardagger\ uscalar\)], "Input"], Cell[BoxData[ \(1\)], "Output"] }, Open ]], Cell[BoxData[{ \(Can\ we\ define\ an\ operator\), "\[IndentingNewLine]", \(U = Exp[I\ A]\ where\ A\ is\ hermitian; \ since\ U\^\[Dagger] = \(Exp[\(-I\)\ A\^\[Dagger]] = Exp[\(-I\)\ A]\); \ and\ \ thus\ U\ U\^\[Dagger] = \ \(\(U\^\[Dagger]\) U = Identity\)\)}], "Input", Evaluatable->False], Cell[BoxData[ \(Suppose\ we\ take\ for\ A = \[Sigma]x, \ then\ how\ \ do\ we\ define\ the\ exponentation\ of\ a\ \(\(matrix\)\(?\)\ \); \ Remember\ the\ Taylor\ expansion\ for\ the\ Exponent\ function\)], \ "Input", Evaluatable->False], Cell[CellGroupData[{ Cell[BoxData[ \(Series[Exp[I\ \[Theta]], {\[Theta], 0, 5}]\)], "Input"], Cell[BoxData[ InterpretationBox[ RowBox[{ "1", "+", \(\[ImaginaryI]\ \[Theta]\), "-", \(\[Theta]\^2\/2\), "-", \(\(\[ImaginaryI]\ \[Theta]\^3\)\/6\), "+", \(\[Theta]\^4\/24\), "+", \(\(\[ImaginaryI]\ \[Theta]\^5\)\/120\), "+", InterpretationBox[\(O[\[Theta]]\^6\), SeriesData[ \[Theta], 0, {}, 0, 6, 1]]}], SeriesData[ \[Theta], 0, {1, Complex[ 0, 1], Rational[ -1, 2], Complex[ 0, Rational[ -1, 6]], Rational[ 1, 24], Complex[ 0, Rational[ 1, 120]]}, 0, 6, 1]]], "Output"] }, Open ]], Cell[BoxData[{ \(\(Thus\ it\ is\ natural\ to\ define\ ;\)\[IndentingNewLine]\), "\ \[IndentingNewLine]", \(Exp[I\ \[Theta]\ A]\ \[Congruent] \ unit + \ I\ \[Theta]\ A\ - \ \ \[Theta]\ A . \ \[Theta]\ A/ 2\ + ... \)}], "Input", Evaluatable->False], Cell[CellGroupData[{ Cell[BoxData[ \(unit = {{1, 0}, {0, 1}}\)], "Input"], Cell[BoxData[ \({{1, 0}, {0, 1}}\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[{ \(\(unit\ + \ I\ \[Theta]\ \[Sigma]x\ - \ \[Theta]^2\ \[Sigma]x . \[Sigma]x/2 - I/6\ \[Theta]^3\ \[Sigma]x . \[Sigma]x . \[Sigma]x/ 6 + \ \[Theta]^4\ \[Sigma]x . \[Sigma]x . \[Sigma]x . \[Sigma]x\ / 24\ + \ I\ \[Theta]^5\ \[Sigma]x . \[Sigma]x . \[Sigma]x . \[Sigma]x . \ \[Sigma]x/120;\)\), "\[IndentingNewLine]", \(MatrixForm[%]\)}], "Input"], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {\(1 - \[Theta]\^2\/2 + \[Theta]\^4\/24\), \(\[ImaginaryI]\ \ \[Theta] - \(\[ImaginaryI]\ \[Theta]\^3\)\/36 + \(\[ImaginaryI]\ \ \[Theta]\^5\)\/120\)}, {\(\[ImaginaryI]\ \[Theta] - \(\[ImaginaryI]\ \[Theta]\^3\)\/36 + \ \(\[ImaginaryI]\ \[Theta]\^5\)\/120\), \(1 - \[Theta]\^2\/2 + \[Theta]\^4\/24\ \)} }], "\[NoBreak]", ")"}], Function[ BoxForm`e$, MatrixForm[ BoxForm`e$]]]], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[{ \(\("\";\)\), "\[IndentingNewLine]", \(Series[Cos[\[Theta]], {\[Theta], 0, 5}]\)}], "Input"], Cell[BoxData[ InterpretationBox[ RowBox[{"1", "-", \(\[Theta]\^2\/2\), "+", \(\[Theta]\^4\/24\), "+", InterpretationBox[\(O[\[Theta]]\^6\), SeriesData[ \[Theta], 0, {}, 0, 6, 1]]}], SeriesData[ \[Theta], 0, {1, 0, Rational[ -1, 2], 0, Rational[ 1, 24]}, 0, 6, 1]]], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(Series[Sin[\[Theta]], {\[Theta], 0, 5}]\)], "Input"], Cell[BoxData[ InterpretationBox[ RowBox[{ "\[Theta]", "-", \(\[Theta]\^3\/6\), "+", \(\[Theta]\^5\/120\), "+", InterpretationBox[\(O[\[Theta]]\^6\), SeriesData[ \[Theta], 0, {}, 1, 6, 1]]}], SeriesData[ \[Theta], 0, {1, 0, Rational[ -1, 6], 0, Rational[ 1, 120]}, 1, 6, 1]]], "Output"] }, Closed]], Cell[BoxData[{\(So\ we\ can\ write\), "\[IndentingNewLine]", RowBox[{\(Exp[I\ \[Theta]/2\ \[Sigma]x]\), "=", " ", RowBox[{"(", "\[NegativeThinSpace]", GridBox[{ {\(Cos[\[Theta]/2]\), \(I\ Sin[\[Theta]/2]\)}, {\(I\ Sin[\[Theta]/2]\), \(Cos[\[Theta]/2]\)} }], "\[NegativeThinSpace]", ")"}]}]}], "Input"], Cell[BoxData[ \(Of\ course\ we\ can\ cheat\)], "Input"], Cell[CellGroupData[{ Cell[BoxData[ \(\(?MatrixExp\)\)], "Input"], Cell[BoxData[ RowBox[{"\<\"MatrixExp[mat] gives the matrix exponential of mat.\"\>", " ", ButtonBox[ StyleBox["More\[Ellipsis]", "SR"], ButtonData:>"MatrixExp", Active->True, ButtonStyle->"RefGuideLink"]}]], "Print", CellTags->"Info3316898386-3093833"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[{ \(MatrixExp[I\ \[Theta]/2\ \[Sigma]x]\), "\[IndentingNewLine]", \(U = FullSimplify[%]\)}], "Input"], Cell[BoxData[ \({{1\/2\ \[ExponentialE]\^\(-\(\(\[ImaginaryI]\ \[Theta]\)\/2\)\) + 1\/2\ \[ExponentialE]\^\(\(\[ImaginaryI]\ \[Theta]\)\/2\), \ \(-\(1\/2\)\)\ \[ExponentialE]\^\(-\(\(\[ImaginaryI]\ \[Theta]\)\/2\)\) + 1\/2\ \[ExponentialE]\^\(\(\[ImaginaryI]\ \[Theta]\)\/2\)}, {\(-\(1\ \/2\)\)\ \[ExponentialE]\^\(-\(\(\[ImaginaryI]\ \[Theta]\)\/2\)\) + 1\/2\ \[ExponentialE]\^\(\(\[ImaginaryI]\ \[Theta]\)\/2\), 1\/2\ \[ExponentialE]\^\(-\(\(\[ImaginaryI]\ \[Theta]\)\/2\)\) + 1\/2\ \[ExponentialE]\^\(\(\[ImaginaryI]\ \[Theta]\)\/2\)}}\)], \ "Output"], Cell[BoxData[ \({{Cos[\[Theta]\/2], \[ImaginaryI]\ Sin[\[Theta]\/2]}, {\[ImaginaryI]\ \ Sin[\[Theta]\/2], Cos[\[Theta]\/2]}}\)], "Output"] }, Closed]], Cell[CellGroupData[{ Cell[BoxData[ \(MatrixForm[U]\)], "Input"], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {\(Cos[\[Theta]\/2]\), \(\[ImaginaryI]\ Sin[\[Theta]\/2]\)}, {\(\[ImaginaryI]\ Sin[\[Theta]\/2]\), \(Cos[\[Theta]\/2]\)} }], "\[NoBreak]", ")"}], Function[ BoxForm`e$, MatrixForm[ BoxForm`e$]]]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(\(\(Simplify[U . ketplus]\)\(\ \)\)\)], "Input"], Cell[BoxData[ \({Cos[\[Theta]\/2], \[ImaginaryI]\ Sin[\[Theta]\/2]}\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(U . ketplus\ /. \ \[Theta] \[Rule] Pi/2\)], "Input"], Cell[BoxData[ \({1\/\@2, \[ImaginaryI]\/\@2}\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(ketup\)], "Input"], Cell[BoxData[ \({1\/\@2, \[ImaginaryI]\/\@2}\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(U . ketminus\ /. \ \[Theta] \[Rule] Pi/2\)], "Input"], Cell[BoxData[ \({\[ImaginaryI]\/\@2, 1\/\@2}\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(I\ ketdown\)], "Input"], Cell[BoxData[ \({\[ImaginaryI]\/\@2, 1\/\@2}\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(MatrixForm[U\ /. \ \[Theta] \[Rule] Pi/2]\)], "Input"], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {\(1\/\@2\), \(\[ImaginaryI]\/\@2\)}, {\(\[ImaginaryI]\/\@2\), \(1\/\@2\)} }], "\[NoBreak]", ")"}], Function[ BoxForm`e$, MatrixForm[ BoxForm`e$]]]], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ \(Udagger = ComplexExpand[Conjugate[Transpose[U]]]\)], "Input"], Cell[BoxData[ \({{Cos[\[Theta]\/2], \(-\[ImaginaryI]\)\ Sin[\[Theta]\/2]}, {\(-\ \[ImaginaryI]\)\ Sin[\[Theta]\/2], Cos[\[Theta]\/2]}}\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[{ \(Udagger . U\), "\[IndentingNewLine]", \(Simplify[%]\)}], "Input"], Cell[BoxData[ \({{Cos[\[Theta]\/2]\^2 + Sin[\[Theta]\/2]\^2, 0}, {0, Cos[\[Theta]\/2]\^2 + Sin[\[Theta]\/2]\^2}}\)], "Output"], Cell[BoxData[ \({{1, 0}, {0, 1}}\)], "Output"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[{ \(U . Udagger\), "\[IndentingNewLine]", \(Simplify[%]\)}], "Input"], Cell[BoxData[ \({{Cos[\[Theta]\/2]\^2 + Sin[\[Theta]\/2]\^2, 0}, {0, Cos[\[Theta]\/2]\^2 + Sin[\[Theta]\/2]\^2}}\)], "Output"], Cell[BoxData[ \({{1, 0}, {0, 1}}\)], "Output"] }, Open ]], Cell[BoxData[ \(Lets\ construct\ the\ new\ operator\)], "Input", Evaluatable->False], Cell[CellGroupData[{ Cell[BoxData[{ \(U . \[Sigma]z . Udagger\ \ /. \ \[Theta] \[Rule] Pi/2\), "\[IndentingNewLine]", \(MatrixForm[%]\)}], "Input"], Cell[BoxData[ \({{0, \(-\[ImaginaryI]\)}, {\[ImaginaryI], 0}}\)], "Output"], Cell[BoxData[ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {"0", \(-\[ImaginaryI]\)}, {"\[ImaginaryI]", "0"} }], "\[NoBreak]", ")"}], Function[ BoxForm`e$, MatrixForm[ BoxForm`e$]]]], "Output"] }, Open ]], Cell[BoxData[ \(Which\ familiar\ operator\ is\ \(\(this\)\(\ \)\(?\)\)\)], "Input", Evaluatable->False], Cell[BoxData[ \(Note : Since\ U\ is\ unitary\)], "Input", Evaluatable->False], Cell[BoxData[ \(TraditionalForm\`U\ \[Sigma]\_z\ \(U\^+\)\ \ U | \(+ > \)\ \ \ \ = \ \ \ \ \(U\ \[Sigma]\_z\ | \(+ > \)\ \ = U\ | \(+ > \)\)\)], "DisplayFormula", Evaluatable->False], Cell[BoxData[ \(TraditionalForm\`\(\(\(U\ \[Sigma]\_z\ \(U\^+\)\ \ U\)\(|\)\)\(->\)\)\ \ \ \ \ = \ \ \ \(\(\(\(U\ \[Sigma]\_z\)\(\ \)\(|\)\)\(->\)\)\ \ = \ \(\(\(-\ U\)\(\ \)\(|\)\)\(->\)\)\)\)], "DisplayFormula", Evaluatable->False], Cell[BoxData[{\(U\ \[Sigma]\_z\ \(U\^+\)\ \ \((U | \(+ > \))\)\ \ = \((U\ | \ \(+ > \))\)\), "\[IndentingNewLine]", RowBox[{\(U\ \[Sigma]\_z\ \(U\^+\)\ \ \((\(\(U\)\(|\)\)\(->\))\)\ \ = \ \(-\((\(\(U\)\(\ \)\(|\)\)\(->\))\)\)\), "\[IndentingNewLine]"}], "\[IndentingNewLine]", StyleBox[\(or\ \ \((U | \(+ > \))\)\ , \ \((U | \(-\ \ > \))\)\ are\ \ eigenstates\ \ of\ \ U\ \[Sigma]\_z\ \(U\^+\)\ \ = \ \[Sigma]\_y, \ as\ we\ explicitly\)], "\[IndentingNewLine]", RowBox[{ StyleBox[\(demonstrated\ above . \ \ This\ means\ that\)], StyleBox["\[IndentingNewLine]"]}], "\[IndentingNewLine]", StyleBox[\(U | \(+ > \)\ \ = \ \ \(?\ |\[UpArrow]>\)\)], "\ \[IndentingNewLine]", StyleBox["and"], "\[IndentingNewLine]", StyleBox[\(U | \(-\ \ > \)\ = \ \(?\ |\[DownArrow]>\)\)]}], \ "DisplayFormula"], Cell[BoxData[{ \(Physical\ Interpretation\[IndentingNewLine]\), "\[IndentingNewLine]", \(U\ \[Sigma]\_z\ U\^\[Dagger]\ \ is\ a\ rotated\ operator\ around\ the\ \ x - axis\ through\ angle\ \[Theta]\)}], "Definition"], Cell[BoxData[ StyleBox["Excercises", "Text"]], "Input", Evaluatable->False], Cell[BoxData[ StyleBox[\(Construct\ the\ operators\ \ \ \ U\_2 \[Congruent] Exp[\(-I\)\ \(\[Sigma]\_y\) \[Theta]/2]; \ U\_3 \[Congruent] Exp[I\ \(\[Sigma]\_z\) \[CurlyPhi]/2];\), "ExerciseMain", FontSize->14]], "NumberedEquation", Evaluatable->False], Cell[BoxData[ StyleBox[\(Show\ that\ the\ new\ operator\ \ U \[Congruent] U\_3\ U\_2\ \ \(U\^\[Dagger]\)\_3\ \ \ is\ also\ unitary\), "ExerciseMain"]], "ChemicalFormula", Evaluatable->False], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{"Construct", "\[IndentingNewLine]"}], "\[IndentingNewLine]", RowBox[{ StyleBox[\(U\ \[Sigma]\_z\ U\^\[Dagger]\), FontFamily->"Charter", FontSize->12], StyleBox["\[IndentingNewLine]", FontFamily->"Charter", FontSize->12]}], "\[IndentingNewLine]", RowBox[{ StyleBox[\(and\ find\ the\ two\ eigenstate\ \ \ U | \(+\(\(>\)\(\ \ \ \)\(and\ U\)\)\)\ | \ \(-\ \(\(>\)\(\ \ \ \)\(where\)\)\)\), FontFamily->"Charter", FontSize->12], StyleBox[" ", FontFamily->"Charter", FontSize->12], StyleBox["\[IndentingNewLine]", FontFamily->"Charter", FontSize->12]}], "\[IndentingNewLine]", RowBox[{ StyleBox[ RowBox[{"|", RowBox[{"+", RowBox[{">", " ", "\[Congruent]", RowBox[{ RowBox[{"(", "\[NegativeThinSpace]", GridBox[{ {"1"}, {"0"} }], "\[NegativeThinSpace]", ")"}], " ", "and"}]}]}], " ", "|", RowBox[{"-", " ", RowBox[{">", " ", "\[Congruent]", " ", RowBox[{ RowBox[{"(", "\[NegativeThinSpace]", GridBox[{ {"0"}, {"1"} }], "\[NegativeThinSpace]", ")"}], " ", "is", " ", "our", " ", "computational", " ", "basis"}]}]}]}], FontFamily->"Charter", FontSize->12], StyleBox["\[IndentingNewLine]", FontFamily->"Charter", FontSize->12]}], "\[IndentingNewLine]", StyleBox[\(Comment\ on\ the\ physical\ significance\ of\ your\ \ \(\(results\)\(.\)\)\), FontFamily->"Charter", FontSize->12]}], "ExerciseMain", Evaluatable->False], Cell[BoxData[{ RowBox[{\(We\ obtained\ the\ results\), "\[IndentingNewLine]"}], "\[IndentingNewLine]", RowBox[{"U", "=", TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {\(Cos[\[Theta]\/2]\), \(\(-\[ExponentialE]\^\(\[ImaginaryI]\ \ \[Phi]\)\)\ Sin[\[Theta]\/2]\)}, {\(\[ExponentialE]\^\(\(-\[ImaginaryI]\)\ \[Phi]\)\ \ Sin[\[Theta]\/2]\), \(Cos[\[Theta]\/2]\)} }], "\[NoBreak]", ")"}], Function[ BoxForm`e$, MatrixForm[ BoxForm`e$]]]}], "\[IndentingNewLine]", RowBox[{\(U\^\[Dagger]\), "=", TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {\(Cos[\[Theta]\/2]\), \(\[ExponentialE]\^\(\[ImaginaryI]\ \ \[Phi]\)\ Sin[\[Theta]\/2]\)}, {\(\(-\[ExponentialE]\^\(\(-\[ImaginaryI]\)\ \[Phi]\)\)\ Sin[\ \[Theta]\/2]\), \(Cos[\[Theta]\/2]\)} }], "\[NoBreak]", ")"}], Function[ BoxForm`e$, MatrixForm[ BoxForm`e$]]]}]}], "Input", Evaluatable->False], Cell[BoxData[ \(and\)], "Input", Evaluatable->False], Cell[BoxData[ RowBox[{\(\[Sigma]n \[Congruent] U\ \[Sigma]z\ U\^\[Dagger]\), " ", "=", RowBox[{ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {\(Cos[\[Theta]]\), \(\[ExponentialE]\^\(\[ImaginaryI]\ \ \[Phi]\)\ Sin[\[Theta]]\)}, {\(\[ExponentialE]\^\(\(-\[ImaginaryI]\)\ \[Phi]\)\ Sin[\ \[Theta]]\), \(-Cos[\[Theta]]\)} }], "\[NoBreak]", ")"}], Function[ BoxForm`e$, MatrixForm[ BoxForm`e$]]], "=", TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {\(Cos[\[Theta]]\), \(Cos[\[Phi]]\ Sin[\[Theta]] + \ \[ImaginaryI]\ Sin[\[Theta]]\ Sin[\[Phi]]\)}, {\(Cos[\[Phi]]\ Sin[\[Theta]] - \[ImaginaryI]\ Sin[\[Theta]]\ \ Sin[\[Phi]]\), \(-Cos[\[Theta]]\)} }], "\[NoBreak]", ")"}], Function[ BoxForm`e$, MatrixForm[ BoxForm`e$]]]}]}]], "Input", Evaluatable->False], Cell[BoxData[{ \(Which\ we\ can\ rewrite\ in\ the\ form\[IndentingNewLine]\), "\ \[IndentingNewLine]", \(\[Sigma]n = \[Sigma]z\ Cos[\[Theta]]\ + \ \[Sigma]y\ Sin[\[Theta]]\ \ Sin[\[Phi]] + \ \[Sigma]z\ Sin[\[Theta]]\ Cos[\[Phi]]\)}], "Input"], Cell[BoxData[ \(What\ is\ the\ physical\ interpretation\ for\ the\ operator\ \(\(\ \[Sigma]n\)\(\ \)\(?\)\)\)], "Input"], Cell[BoxData[{ \(Consider\ a\ unit\ vector\ \ \(n\&^\)\ \ that\ is\ oriented\ in\ such\ \ a\ way\ that\ its\ polar\ angle\ has\ the\ value\ \[Theta], \ and\ its\ azimuthal\ angle\ has\ the\ value\ \[Phi] . \ With\ these\ two\ angles\ \((\[Theta], \[Phi])\)\ we\ can\ \ parameterize\ any\ point\ on\ a\ unit\ sphere\ whose\ origin\ is\ at\ the\ \ center . \ Lets\ express\ \(n\&^\)\ \ in\ terms\ of\ the\ cartesion\ unit\ \ vectors\ \(i\&^\), \ \(j\&^\), \ and\ \ \ \(k\&^\) . \ Then\[IndentingNewLine]\), "\[IndentingNewLine]", \(\ \ \(n\&^\) = \ \(k\&^\)\ Cos[\[Theta]]\ + \ \(j\&^\)\ Sin[\[Theta]]\ \ Sin[\[Phi]]\ + \ \ \(i\&^\)\ Sin[\[Theta]]\ Cos[\[Phi]]\)}], "Input"], Cell[BoxData[ \(Note\ the\ similiarity\ \ of\ this\ expression\ and\ the\ one\ above\ \ if\ we\ make\ the\ following\ substitutions\)], "Input"], Cell[BoxData[{ \(\[Sigma]n\ \[DoubleLongLeftRightArrow]\ \(n\&^\)\ \ \), "\ \[IndentingNewLine]", \(\[Sigma]z\ \((or\ \[Sigma]3)\)\ \ \[DoubleLongLeftRightArrow]\ \ \(k\&^\ \)\), "\[IndentingNewLine]", \(\[Sigma]y\ \((or\ \[Sigma]2)\)\ \ \[DoubleLongLeftRightArrow]\ \ \(j\&^\ \)\), "\[IndentingNewLine]", \(\[Sigma]x\ \((or\ \[Sigma]1)\)\ \ \[DoubleLongLeftRightArrow]\ \ \(i\&^\ \)\)}], "Input", Evaluatable->False], Cell[BoxData[{ \(We\ can\ identify\ \[Sigma]n\ as\ a\ spin\ measurement\ along\ axis\ \ \ \(n\&^\)\), "\[IndentingNewLine]", \(furthemore, \ its\ eigenstates\ are\ \ U \((\[Theta], \[Phi])\) | \(+\(\(>\)\(\ \ \)\(with\ eigenvalue\ + 1\)\)\), \[IndentingNewLine]\(\(and\ U \((\[Theta], \ \[Phi])\)\)\(|\)\) \[Rule] \ \(\(with\ eigenvalue\)\(\ \)\(-\)\(1.\)\(\ \ \)\)\)}], "Input", Evaluatable->False], Cell[BoxData[ \(The\ explicit\ representation\ for\ these\ states\ are\)], "Input", Evaluatable->False], Cell[BoxData[ RowBox[{ RowBox[{ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {\(Cos[\[Theta]\/2]\), \(\(-\[ExponentialE]\^\(\[ImaginaryI]\ \ \[Phi]\)\)\ Sin[\[Theta]\/2]\)}, {\(\[ExponentialE]\^\(\(-\[ImaginaryI]\)\ \[Phi]\)\ Sin[\ \[Theta]\/2]\), \(Cos[\[Theta]\/2]\)} }], "\[NoBreak]", ")"}], Function[ BoxForm`e$, MatrixForm[ BoxForm`e$]]], RowBox[{"(", "\[NegativeThinSpace]", GridBox[{ {"1"}, {"0"} }], "\[NegativeThinSpace]", ")"}]}], "=", InterpretationBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {\(Cos[\[Theta]\/2]\)}, {\(\[ExponentialE]\^\(\(-\[ImaginaryI]\)\ \[Phi]\)\ \ Sin[\[Theta]\/2]\)} }], "\[NoBreak]", ")"}], MatrixForm[ { Cos[ Times[ Rational[ 1, 2], \[Theta]]], Times[ Power[ E, Times[ Complex[ 0, -1], \[Phi]]], Sin[ Times[ Rational[ 1, 2], \[Theta]]]]}]]}]], "Input", Evaluatable->False], Cell[BoxData[ RowBox[{ RowBox[{ TagBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {\(Cos[\[Theta]\/2]\), \(\(-\[ExponentialE]\^\(\[ImaginaryI]\ \ \[Phi]\)\)\ Sin[\[Theta]\/2]\)}, {\(\[ExponentialE]\^\(\(-\[ImaginaryI]\)\ \[Phi]\)\ Sin[\ \[Theta]\/2]\), \(Cos[\[Theta]\/2]\)} }], "\[NoBreak]", ")"}], Function[ BoxForm`e$, MatrixForm[ BoxForm`e$]]], RowBox[{"(", "\[NegativeThinSpace]", GridBox[{ {"0"}, {"1"} }], "\[NegativeThinSpace]", ")"}]}], "=", InterpretationBox[ RowBox[{"(", "\[NoBreak]", GridBox[{ {\(\(-\[ExponentialE]\^\(\[ImaginaryI]\ \[Phi]\)\)\ \ Sin[\[Theta]\/2]\)}, {\(Cos[\[Theta]\/2]\)} }], "\[NoBreak]", ")"}], MatrixForm[ { Times[ -1, Power[ E, Times[ Complex[ 0, 1], \[Phi]]], Sin[ Times[ Rational[ 1, 2], \[Theta]]]], Cos[ Times[ Rational[ 1, 2], \[Theta]]]}]]}]], "Input", Evaluatable->False] }, Open ]] }, FrontEndVersion->"4.1 for X", ScreenRectangle->{{0, 1280}, {0, 1024}}, WindowSize->{881, 861}, WindowMargins->{{Automatic, 179}, {Automatic, 12}}, Magnification->1.5, StyleDefinitions -> "Classroom.nb" ] (******************************************************************* Cached data follows. If you edit this Notebook file directly, not using Mathematica, you must remove the line containing CacheID at the top of the file. The cache data will then be recreated when you save this file from within Mathematica. *******************************************************************) (*CellTagsOutline CellTagsIndex->{ "Info3316898386-3093833"->{ Cell[7016, 237, 314, 9, 28, "Print", CellTags->"Info3316898386-3093833"]} } *) (*CellTagsIndex CellTagsIndex->{ {"Info3316898386-3093833", 22834, 713} } *) (*NotebookFileOutline Notebook[{ Cell[1705, 50, 140, 3, 85, "Input", Evaluatable->False], Cell[1848, 55, 91, 2, 69, "Input", Evaluatable->False], Cell[CellGroupData[{ Cell[1964, 61, 59, 1, 69, "Input"], Cell[2026, 64, 78, 1, 72, "Output"] }, Open ]], Cell[2119, 68, 89, 2, 69, "Input", Evaluatable->False], Cell[CellGroupData[{ Cell[2233, 74, 51, 1, 69, "Input"], Cell[2287, 77, 96, 2, 73, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[2420, 84, 66, 1, 69, "Input"], Cell[2489, 87, 78, 1, 69, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[2604, 93, 61, 1, 69, "Input"], Cell[2668, 96, 83, 1, 72, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[2788, 102, 55, 1, 69, "Input"], Cell[2846, 105, 35, 1, 69, "Output"] }, Open ]], Cell[2896, 109, 319, 6, 119, "Input", Evaluatable->False], Cell[3218, 117, 246, 5, 115, "Input", Evaluatable->False], Cell[CellGroupData[{ Cell[3489, 126, 75, 1, 69, "Input"], Cell[3567, 129, 599, 15, 95, "Output"] }, Open ]], Cell[4181, 147, 284, 6, 115, "Input", Evaluatable->False], Cell[CellGroupData[{ Cell[4490, 157, 56, 1, 69, "Input"], Cell[4549, 160, 50, 1, 69, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[4636, 166, 422, 8, 115, "Input"], Cell[5061, 176, 507, 11, 119, "Output"] }, Closed]], Cell[CellGroupData[{ Cell[5605, 192, 123, 2, 84, "Input"], Cell[5731, 196, 328, 7, 28, "Output"] }, Closed]], Cell[CellGroupData[{ Cell[6096, 208, 72, 1, 61, "Input"], Cell[6171, 211, 344, 8, 28, "Output"] }, Closed]], Cell[6530, 222, 349, 5, 110, "Input"], Cell[6882, 229, 59, 1, 69, "Input"], Cell[CellGroupData[{ Cell[6966, 234, 47, 1, 69, "Input"], Cell[7016, 237, 314, 9, 28, "Print", CellTags->"Info3316898386-3093833"] }, Closed]], Cell[CellGroupData[{ Cell[7367, 251, 123, 2, 84, "Input"], Cell[7493, 255, 611, 9, 28, "Output"], Cell[8107, 266, 142, 2, 28, "Output"] }, Closed]], Cell[CellGroupData[{ Cell[8286, 273, 46, 1, 61, "Input"], Cell[8335, 276, 325, 7, 118, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[8697, 288, 68, 1, 69, "Input"], Cell[8768, 291, 85, 1, 88, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[8890, 297, 73, 1, 69, "Input"], Cell[8966, 300, 62, 1, 96, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[9065, 306, 38, 1, 69, "Input"], Cell[9106, 309, 62, 1, 96, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[9205, 315, 74, 1, 69, "Input"], Cell[9282, 318, 62, 1, 96, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[9381, 324, 43, 1, 69, "Input"], Cell[9427, 327, 62, 1, 96, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[9526, 333, 75, 1, 69, "Input"], Cell[9604, 336, 279, 7, 122, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[9920, 348, 81, 1, 69, "Input"], Cell[10004, 351, 152, 2, 88, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[10193, 358, 91, 2, 92, "Input"], Cell[10287, 362, 139, 2, 90, "Output"], Cell[10429, 366, 50, 1, 69, "Output"] }, Open ]], Cell[CellGroupData[{ Cell[10516, 372, 91, 2, 92, "Input"], Cell[10610, 376, 139, 2, 90, "Output"], Cell[10752, 380, 50, 1, 69, "Output"] }, Open ]], Cell[10817, 384, 90, 2, 69, "Input", Evaluatable->False], Cell[CellGroupData[{ Cell[10932, 390, 145, 3, 92, "Input"], Cell[11080, 395, 79, 1, 69, "Output"], Cell[11162, 398, 254, 7, 92, "Output"] }, Open ]], Cell[11431, 408, 109, 2, 69, "Input", Evaluatable->False], Cell[11543, 412, 83, 2, 69, "Input", Evaluatable->False], Cell[11629, 416, 192, 3, 41, "DisplayFormula", Evaluatable->False], Cell[11824, 421, 256, 4, 41, "DisplayFormula", Evaluatable->False], Cell[12083, 427, 854, 15, 248, "DisplayFormula"], Cell[12940, 444, 224, 3, 117, "Definition"], Cell[13167, 449, 87, 3, 70, "Input", Evaluatable->False], Cell[13257, 454, 284, 6, 43, "NumberedEquation", Evaluatable->False], Cell[13544, 462, 211, 4, 51, "ChemicalFormula", Evaluatable->False], Cell[CellGroupData[{ Cell[13780, 470, 1807, 48, 344, "ExerciseMain", Evaluatable->False], Cell[15590, 520, 1008, 23, 264, "Input", Evaluatable->False], Cell[16601, 545, 58, 2, 69, "Input", Evaluatable->False], Cell[16662, 549, 939, 21, 156, "Input", Evaluatable->False], Cell[17604, 572, 252, 4, 115, "Input"], Cell[17859, 578, 124, 2, 69, "Input"], Cell[17986, 582, 711, 11, 242, "Input"], Cell[18700, 595, 148, 2, 92, "Input"], Cell[18851, 599, 438, 9, 155, "Input", Evaluatable->False], Cell[19292, 610, 429, 9, 117, "Input", Evaluatable->False], Cell[19724, 621, 109, 2, 69, "Input", Evaluatable->False], Cell[19836, 625, 1163, 33, 123, "Input", Evaluatable->False], Cell[21002, 660, 1166, 33, 123, "Input", Evaluatable->False] }, Open ]] } ] *) (******************************************************************* End of Mathematica Notebook file. *******************************************************************)