HadamardOverlap.nb

(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 13.3' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     28511,        692]
NotebookOptionsPosition[     27364,        663]
NotebookOutlinePosition[     27757,        679]
CellTagsIndexPosition[     27714,        676]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{

Cell[CellGroupData[{
Cell[TextData[StyleBox["H^\[CircleTimes]n |0\[RightAngleBracket] state \
overlap", "Title",
 FontWeight->"Regular",
 FontColor->RGBColor[
  0.2964217593652247, 0.6292210269321736, 0.2727702754253452]]], "Chapter",
 CellChangeTimes->{{3.822636147120782*^9, 3.822636149053595*^9}, {
   3.822636240732341*^9, 3.82263625191656*^9}, {3.822637212068983*^9, 
   3.822637212721833*^9}, 3.8237615278152447`*^9, {3.832146512264089*^9, 
   3.832146513507378*^9}, {3.875659101251471*^9, 3.875659120180471*^9}, {
   3.875937012417128*^9, 3.87593702747049*^9}, {3.8759378598655987`*^9, 
   3.875937866287094*^9}, {3.875938075672908*^9, 3.875938094900902*^9}, {
   3.875941310891224*^9, 3.875941319457303*^9}, 3.87628991624662*^9, 
   3.876357223092429*^9, {3.876565945834773*^9, 3.876565958938325*^9}, {
   3.9161299231350517`*^9, 3.916129928028118*^9}, {3.916130275089053*^9, 
   3.916130297514564*^9}, 
   3.916130663866983*^9},ExpressionUUID->"349f688d-4bbc-4b94-be78-\
a82e3b7b6237"],

Cell[TextData[{
 StyleBox["Notebook: \[CapitalOAcute]scar Amaro, February 2024 @", "Section",
  FontSize->24,
  FontColor->GrayLevel[0]],
 StyleBox[ButtonBox[" ",
  BaseStyle->"Hyperlink",
  ButtonData->{
    URL["http://epp.ist.utl.pt/"], None},
  ButtonNote->"http://epp.ist.utl.pt/"], "Section",
  FontSize->24,
  FontColor->GrayLevel[0]],
 StyleBox[ButtonBox["GoLP-EPP",
  BaseStyle->"Hyperlink",
  ButtonData->{
    URL["http://epp.ist.utl.pt/"], None},
  ButtonNote->"http://epp.ist.utl.pt/"], "Section",
  FontSize->24,
  FontVariations->{"Underline"->True},
  FontColor->GrayLevel[0]]
}], "Text",
 CellChangeTimes->{{3.8226362283387003`*^9, 3.822636334723393*^9}, 
   3.822636391632341*^9, {3.8226372468331547`*^9, 3.822637246833611*^9}, {
   3.823761573155903*^9, 3.8237615739111023`*^9}, {3.832146444679867*^9, 
   3.8321464496507*^9}, {3.832146486894559*^9, 3.832146520629979*^9}, {
   3.875659094738799*^9, 3.875659161456963*^9}, {3.8759369797934847`*^9, 
   3.875937008063072*^9}, {3.875937868381756*^9, 3.875937893508272*^9}, {
   3.875938098749885*^9, 3.875938139206416*^9}, {3.875941321738912*^9, 
   3.875941349433474*^9}, {3.876274511918042*^9, 3.876274513263543*^9}, {
   3.876289929170363*^9, 3.876289942488122*^9}, {3.8763572374918633`*^9, 
   3.876357245729187*^9}, {3.876565962095142*^9, 3.876565989201418*^9}, {
   3.916129912191989*^9, 3.916129920685853*^9}},
 FontSize->14,ExpressionUUID->"bc5057e5-86d8-49e0-86d4-c3171824525f"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Intro", "Chapter",
 CellChangeTimes->{{3.916042072913773*^9, 3.916042079168988*^9}, {
  3.916046790856255*^9, 3.9160467939569073`*^9}, {3.916129814823711*^9, 
  3.916129882661377*^9}, {3.916129931294672*^9, 
  3.916129931913074*^9}},ExpressionUUID->"504ca256-f526-4b4e-ac5d-\
e28c75e30100"],

Cell[TextData[{
 "Problem description: \n- Alice is informed that the number of qubits ",
 StyleBox["n",
  FontSlant->"Italic"],
 " describing a certain state |\[Psi]\[RightAngleBracket] is unknown\n- Alice \
can produce a state |\[Phi]\[RightAngleBracket] with a certain number of \
qubits ",
 StyleBox["m ",
  FontSlant->"Italic"],
 "of her choice\n- Alice can \[OpenCurlyDoubleQuote]call\
\[CloseCurlyDoubleQuote] for the overlap \[LeftAngleBracket]\[Phi]|\[Psi]\
\[RightAngleBracket] an infinite number of times, where the states are \
\[OpenCurlyDoubleQuote]tensored\[CloseCurlyDoubleQuote] with ",
 Cell[BoxData[
  FormBox[
   SuperscriptBox[
    RowBox[{"(", 
     RowBox[{"1", ",", " ", "0"}], ")"}], "T"], TraditionalForm]],
  ExpressionUUID->"9d0f5119-b264-455b-b30a-f5b822db27b1"],
 " to adjust for the maximal number of qubits Max[",
 StyleBox["n,m",
  FontSlant->"Italic"],
 "]\n- Alice is given the information that the histogram of |\[Phi]\
\[RightAngleBracket]  is uniform\n- Alice suspects that |\[Psi]\
\[RightAngleBracket]  ~ ",
 Cell[BoxData[
  FormBox[
   SuperscriptBox["H", 
    RowBox[{"\[CircleTimes]", "n"}]], TraditionalForm]],ExpressionUUID->
  "aca18f08-eaa8-42d0-93ca-1acbc7798141"],
 "|0\[RightAngleBracket] \n- Alice could produce the state |\[Phi]\
\[RightAngleBracket]  ~ ",
 Cell[BoxData[
  FormBox[
   SuperscriptBox["H", 
    RowBox[{"\[CircleTimes]", "m"}]], TraditionalForm]],ExpressionUUID->
  "6ae5f1bb-7cd5-4123-b607-d7abce8befca"],
 "|0\[RightAngleBracket] \nCan Alice easily determine ",
 StyleBox["m",
  FontSlant->"Italic"],
 " from the overlap? What is the most efficient strategy in number of \
\[OpenCurlyDoubleQuote]calls\[CloseCurlyDoubleQuote]?"
}], "Text",
 CellChangeTimes->{{3.9161299441418962`*^9, 3.916130260208828*^9}, {
  3.916130309151059*^9, 3.916130394987895*^9}, {3.916130473679051*^9, 
  3.916130474264035*^9}, {3.916130622787537*^9, 3.916130655682384*^9}, {
  3.916130706409327*^9, 3.916130706690082*^9}, {3.916135836201943*^9, 
  3.916135864665964*^9}, {3.916136211316712*^9, 3.916136320762672*^9}, {
  3.916139536721262*^9, 
  3.916139537360919*^9}},ExpressionUUID->"ce1e260a-984c-4f37-a597-\
2def4ab8518f"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Possible solution", "Chapter",
 CellChangeTimes->{{3.916042072913773*^9, 3.916042079168988*^9}, {
  3.916046790856255*^9, 3.9160467939569073`*^9}, {3.916129814823711*^9, 
  3.916129882661377*^9}, {3.916129931294672*^9, 3.916129931913074*^9}, {
  3.9161358771735783`*^9, 3.916135878219687*^9}, {3.916139332059936*^9, 
  3.9161393343296623`*^9}},ExpressionUUID->"c1500120-bd1f-4a85-b750-\
6accf4d71f36"],

Cell[TextData[{
 "The further away ",
 StyleBox["n",
  FontSlant->"Italic"],
 " is from ",
 StyleBox["m",
  FontSlant->"Italic"],
 ", the lower the overlap\nSince | \[LeftAngleBracket]\[Phi]|\[Psi]\
\[RightAngleBracket] | = | \[LeftAngleBracket]\[Psi]|\[Phi]\
\[RightAngleBracket] |, the problem should only depend on |n-m|, so it is \
symmetric around ",
 StyleBox["m\n",
  FontSlant->"Italic"],
 "The state space increases as ",
 Cell[BoxData[
  FormBox[
   SuperscriptBox["2", "m"], TraditionalForm]],ExpressionUUID->
  "9185b9e5-85e7-48f4-a47c-3ef31443a2c7"],
 "\nOne call is probably not enough because of the symmetry of the overlap\n\
If the goal is also to minimize \[OpenCurlyDoubleQuote]computational \
resources\[CloseCurlyDoubleQuote] and if the overlap was \
\[OpenCurlyDoubleQuote]exact\[CloseCurlyDoubleQuote] (no noise), then one \
would try to minimize ",
 StyleBox["n",
  FontSlant->"Italic"],
 " such that Max[n,m] is also minimized\nCalling n=1, if \[LeftAngleBracket]\
\[Phi]|\[Psi]\[RightAngleBracket]=1 then m=n=1 and the problem is solved.\nIf \
\[LeftAngleBracket]\[Phi]|\[Psi]\[RightAngleBracket]<1 then a theoretical \
scaling law of \[LeftAngleBracket]\[Phi]|\[Psi]\[RightAngleBracket] = f(n,m) \
should be invertible to retrieve ",
 StyleBox["m\n",
  FontSlant->"Italic"],
 "Worst case scenario, 2 calls suffice\nSolution \[LeftAngleBracket]\[Phi]|\
\[Psi]\[RightAngleBracket] = 2^(-|n-m|/2)"
}], "Text",
 CellChangeTimes->{{3.9161299441418962`*^9, 3.916130260208828*^9}, {
   3.916130309151059*^9, 3.916130394987895*^9}, {3.916130473679051*^9, 
   3.916130474264035*^9}, {3.916130622787537*^9, 3.916130655682384*^9}, {
   3.916130706409327*^9, 3.916130706690082*^9}, {3.916135836201943*^9, 
   3.916135979337878*^9}, 3.916136244673304*^9, {3.916136323056252*^9, 
   3.916136445018058*^9}, {3.916136488557617*^9, 3.916136637889989*^9}, {
   3.9161393438133183`*^9, 
   3.916139363816238*^9}},ExpressionUUID->"548f1cab-45c1-4bef-b8fa-\
bbfaea03bbf4"],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{
  RowBox[{"Clear", "[", 
   RowBox[{
   "n", ",", "m", ",", "i", ",", "j", ",", "k", ",", "op", ",", "H", ",", 
    "getOver", ",", "getOp"}], "]"}], "\[IndentingNewLine]", 
  "\[IndentingNewLine]", 
  RowBox[{"(*", " ", 
   RowBox[{"Hadamard", " ", "matrix"}], " ", "*)"}]}], "\[IndentingNewLine]", 

 RowBox[{
  RowBox[{
   RowBox[{"H", "=", 
    RowBox[{"HadamardMatrix", "[", "2", "]"}]}], ";"}], "\[IndentingNewLine]", 
  RowBox[{"(*", " ", 
   RowBox[{"identity", " ", "matrix"}], " ", "*)"}]}], "\[IndentingNewLine]", 

 RowBox[{
  RowBox[{
   RowBox[{"Id", " ", "=", " ", 
    RowBox[{"IdentityMatrix", "[", "2", "]"}]}], ";"}], "\[IndentingNewLine]",
   "\[IndentingNewLine]", 
  RowBox[{"(*", 
   RowBox[{" ", 
    RowBox[{
     RowBox[{
     "the", " ", "real", " ", "number", " ", "of", " ", "qubits", " ", "of"}],
      " ", "|", "\[Psi]"}], "\[RightAngleBracket]"}], " ", 
   "*)"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"m", "=", "6"}], ";"}], "\[IndentingNewLine]", 
  "\[IndentingNewLine]", 
  RowBox[{"(*", " ", 
   RowBox[{"compute", " ", "results", " ", "in", " ", 
    RowBox[{"range", " ", "[", 
     RowBox[{"1", ",", "nmax"}], "]"}]}], " ", 
   "*)"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"nmax", "=", 
    RowBox[{
     RowBox[{"2", "m"}], "-", "1"}]}], ";"}], "\[IndentingNewLine]", 
  "\[IndentingNewLine]", 
  RowBox[{"(*", " ", 
   RowBox[{"function", " ", "to", " ", "get", " ", "operator"}], " ", 
   "*)"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"getOp", "[", 
    RowBox[{"n_", ",", "m_"}], "]"}], ":=", 
   RowBox[{"Module", "[", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"i", ",", "j", ",", "k", ",", "op"}], "}"}], ",", 
     "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"op", "=", "1"}], ";", "\[IndentingNewLine]", 
      "\[IndentingNewLine]", 
      RowBox[{"(*", " ", 
       RowBox[{"create", " ", 
        RowBox[{"H", "^", "n"}], " ", "\"\<guess\>\"", " ", "operator"}], " ",
        "*)"}], "\[IndentingNewLine]", 
      RowBox[{"For", "[", 
       RowBox[{
        RowBox[{"i", "=", "1"}], ",", 
        RowBox[{"i", "<=", "n"}], ",", 
        RowBox[{"i", "++"}], ",", "\[IndentingNewLine]", 
        RowBox[{
         RowBox[{"op", "=", 
          RowBox[{"ArrayFlatten", "[", 
           RowBox[{"TensorProduct", "[", 
            RowBox[{"op", ",", "H"}], "]"}], "]"}]}], ";"}]}], 
       "\[IndentingNewLine]", "]"}], ";", "\[IndentingNewLine]", 
      "\[IndentingNewLine]", 
      RowBox[{"(*", " ", 
       RowBox[{
       "tensor", " ", "the", " ", "rest", " ", "with", " ", "Identity", " ", 
        "matrix"}], " ", "*)"}], "\[IndentingNewLine]", 
      RowBox[{"For", "[", 
       RowBox[{
        RowBox[{"k", "=", "i"}], ",", 
        RowBox[{"k", "<=", "m"}], ",", 
        RowBox[{"k", "++"}], ",", "\[IndentingNewLine]", 
        RowBox[{
         RowBox[{"op", "=", 
          RowBox[{"ArrayFlatten", "[", 
           RowBox[{"TensorProduct", "[", 
            RowBox[{"op", ",", "Id"}], "]"}], "]"}]}], ";"}]}], 
       "\[IndentingNewLine]", "]"}], ";", "\[IndentingNewLine]", 
      "\[IndentingNewLine]", 
      RowBox[{"Return", "[", "op", "]"}], ";"}]}], "\[IndentingNewLine]", 
    "]"}]}], "\[IndentingNewLine]", "\[IndentingNewLine]", 
  RowBox[{"(*", " ", 
   RowBox[{"function", " ", "to", " ", "get", " ", "the", " ", "overlap", " ", 
    RowBox[{"\[LeftAngleBracket]", 
     RowBox[{"\[Phi]", "|", "\[Psi]"}], "\[RightAngleBracket]"}]}], " ", 
   "*)"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"getOver", "[", 
    RowBox[{"n_", ",", "m_"}], "]"}], ":=", 
   RowBox[{"Module", "[", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{
      "maxmn", ",", "U\[Phi]", ",", "U\[Psi]", ",", "\[Phi]", ",", "\[Psi]", 
       ",", "zero"}], "}"}], ",", "\[IndentingNewLine]", 
     "\[IndentingNewLine]", 
     RowBox[{"(*", " ", 
      RowBox[{"maximum", " ", "number", " ", "of", " ", "qubits"}], " ", 
      "*)"}], "\[IndentingNewLine]", 
     RowBox[{
      RowBox[{"maxmn", "=", 
       RowBox[{"Max", "[", 
        RowBox[{"m", ",", "n"}], "]"}]}], ";", "\[IndentingNewLine]", 
      "\[IndentingNewLine]", 
      RowBox[{"(*", 
       RowBox[{" ", 
        RowBox[{
         RowBox[{"operator", " ", "to", " ", "produce", " ", "state"}], " ", 
         "|", "\[Phi]"}], "\[RightAngleBracket]"}], " ", "*)"}], 
      "\[IndentingNewLine]", 
      RowBox[{"U\[Phi]", "=", 
       RowBox[{"getOp", "[", 
        RowBox[{
         RowBox[{"If", "[", 
          RowBox[{
           RowBox[{"n", "<=", "m"}], ",", "n", ",", "m"}], "]"}], ",", 
         "maxmn"}], "]"}]}], ";", "\[IndentingNewLine]", 
      "\[IndentingNewLine]", 
      RowBox[{"(*", 
       RowBox[{" ", 
        RowBox[{
         RowBox[{"operator", " ", "to", " ", "produce", " ", "state"}], " ", 
         "|", "\[Psi]"}], "\[RightAngleBracket]"}], " ", "*)"}], 
      "\[IndentingNewLine]", 
      RowBox[{"U\[Psi]", "=", 
       RowBox[{"getOp", "[", 
        RowBox[{"maxmn", ",", "maxmn"}], "]"}]}], ";", "\[IndentingNewLine]", 
      "\[IndentingNewLine]", 
      RowBox[{"(*", " ", 
       RowBox[{"state", " ", "zero"}], " ", "*)"}], "\[IndentingNewLine]", 
      RowBox[{"zero", "=", 
       RowBox[{"Table", "[", 
        RowBox[{
         RowBox[{"KroneckerDelta", "[", 
          RowBox[{"1", ",", "i"}], "]"}], ",", 
         RowBox[{"{", 
          RowBox[{"i", ",", "1", ",", 
           RowBox[{"2", "^", "maxmn"}]}], "}"}]}], "]"}]}], ";", 
      "\[IndentingNewLine]", "\[IndentingNewLine]", 
      RowBox[{"(*", 
       RowBox[{" ", 
        RowBox[{"state", " ", "|", "\[Psi]"}], "\[RightAngleBracket]"}], " ", 
       "*)"}], "\[IndentingNewLine]", 
      RowBox[{"\[Psi]", "=", 
       RowBox[{"U\[Psi]", ".", "zero"}]}], ";", "\[IndentingNewLine]", 
      "\[IndentingNewLine]", 
      RowBox[{"(*", 
       RowBox[{" ", 
        RowBox[{"state", " ", "|", "\[Phi]"}], "\[RightAngleBracket]"}], " ", 
       "*)"}], "\[IndentingNewLine]", 
      RowBox[{"\[Phi]", "=", 
       RowBox[{"U\[Phi]", ".", "zero"}]}], ";", "\[IndentingNewLine]", 
      "\[IndentingNewLine]", 
      RowBox[{"Return", "[", 
       RowBox[{
        RowBox[{"Conjugate", "[", "\[Phi]", "]"}], ".", "\[Psi]"}], "]"}], 
      ";"}]}], "\[IndentingNewLine]", "]"}]}], "\[IndentingNewLine]", 
  "\[IndentingNewLine]", 
  RowBox[{"(*", " ", 
   RowBox[{"compute", " ", "table"}], " ", "*)"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"tab", " ", "=", " ", 
    RowBox[{"ParallelTable", "[", 
     RowBox[{
      RowBox[{"getOver", "[", 
       RowBox[{"n", ",", "m"}], "]"}], ",", 
      RowBox[{"{", 
       RowBox[{"n", ",", "1", ",", "nmax", ",", "1"}], "}"}]}], "]"}]}], 
   ";"}], "\[IndentingNewLine]", "\[IndentingNewLine]", 
  RowBox[{"(*", " ", "plot", " ", "*)"}]}], "\[IndentingNewLine]", 
 RowBox[{"Show", "[", 
  RowBox[{"{", 
   RowBox[{
    RowBox[{"ListPlot", "[", 
     RowBox[{"tab", ",", 
      RowBox[{"Joined", "->", 
       RowBox[{"{", 
        RowBox[{"True", ",", "False"}], "}"}]}], ",", 
      RowBox[{"FrameLabel", "->", 
       RowBox[{"{", 
        RowBox[{
        "\"\<n\>\"", ",", 
         "\"\<\[LeftAngleBracket]\[Phi]|\[Psi]\[RightAngleBracket]\>\""}], 
        "}"}]}], ",", 
      RowBox[{"Frame", "->", "True"}], ",", 
      RowBox[{"PlotRange", "->", 
       RowBox[{"{", 
        RowBox[{
         RowBox[{"{", 
          RowBox[{"0.9", ",", 
           RowBox[{"nmax", "+", "0.1"}]}], "}"}], ",", 
         RowBox[{"{", 
          RowBox[{"0", ",", "1.1"}], "}"}]}], "}"}]}]}], "]"}], ",", 
    RowBox[{"DiscretePlot", "[", 
     RowBox[{
      RowBox[{"2", "^", 
       RowBox[{"(", 
        RowBox[{
         RowBox[{"-", 
          RowBox[{"Abs", "[", 
           RowBox[{"n", "-", "m"}], "]"}]}], "/", "2"}], ")"}]}], ",", 
      RowBox[{"{", 
       RowBox[{"n", ",", "1", ",", "nmax"}], "}"}], ",", 
      RowBox[{"PlotStyle", "->", "Black"}]}], "]"}]}], "}"}], "]"}]}], "Input",\

 CellChangeTimes->{{3.916045337102333*^9, 3.91604539230582*^9}, {
   3.916045455251223*^9, 3.9160456146701317`*^9}, {3.9160457156061373`*^9, 
   3.9160457487839937`*^9}, {3.916045780146962*^9, 3.9160460273444433`*^9}, {
   3.916046155762032*^9, 3.916046180816011*^9}, {3.9160462168289757`*^9, 
   3.916046371739997*^9}, {3.916046487053265*^9, 3.916046585233554*^9}, {
   3.916046620955503*^9, 3.916046624891815*^9}, 3.916046667607666*^9, {
   3.9160467011551657`*^9, 3.916046762293792*^9}, {3.916130406415941*^9, 
   3.9161305998947067`*^9}, {3.916130729743758*^9, 3.91613092592153*^9}, {
   3.91613599287319*^9, 3.9161361900796843`*^9}, {3.916136650168292*^9, 
   3.91613681733278*^9}, {3.91613688587773*^9, 3.916136940105288*^9}, {
   3.9161392516312237`*^9, 3.916139274863517*^9}, {3.916139370581777*^9, 
   3.91613938143778*^9}, 3.9161394147175207`*^9},
 CellLabel->"In[1]:=",ExpressionUUID->"1cfb848d-4469-4f37-9dd5-ddffdce782eb"],

Cell[BoxData[
 GraphicsBox[{{{}, 
    InterpretationBox[{
      TagBox[{{}, {}, 
        TagBox[
         {RGBColor[0.368417, 0.506779, 0.709798], PointSize[
          0.012833333333333334`], AbsoluteThickness[2], 
          LineBox[{{1., 0.1767766952966369}, {2., 0.25}, {3., 
           0.3535533905932738}, {4., 0.5}, {5., 0.7071067811865476}, {6., 
           1.}, {7., 0.7071067811865476}, {8., 0.5}, {9., 
           0.3535533905932738}, {10., 0.25}, {11., 0.1767766952966369}}]},
         Annotation[#, "Charting`Private`Tag#1"]& ]},
       {"WolframDynamicHighlight", <|
        "Label" -> {"XYLabel"}, "Ball" -> {"IndicatedBall"}|>}], 
      DynamicBox[(Charting`HighlightActionBox["DynamicHighlight", {}, 
        Slot["HighlightElements"], 
        Slot["LayoutOptions"], 
        Slot["Meta"], 
        Charting`HighlightActionFunction["DynamicHighlight", {{{}, {}, 
           Annotation[{
             Hue[0.67, 0.6, 0.6], 
             Directive[
              PointSize[0.012833333333333334`], 
              RGBColor[0.368417, 0.506779, 0.709798], 
              AbsoluteThickness[2]], 
             
             Line[{{1., 0.1767766952966369}, {2., 0.25}, {3., 
              0.3535533905932738}, {4., 0.5}, {5., 0.7071067811865476}, {6., 
              1.}, {7., 0.7071067811865476}, {8., 0.5}, {9., 
              0.3535533905932738}, {10., 0.25}, {11., 0.1767766952966369}}]}, 
            "Charting`Private`Tag#1"]}}, <|
         "HighlightElements" -> <|
           "Label" -> {"XYLabel"}, "Ball" -> {"IndicatedBall"}|>, 
          "LayoutOptions" -> <|
           "PlotRange" -> {{0.9, 11.1}, {0., 1.1}}, 
            "Frame" -> {{True, True}, {True, True}}, 
            "AxesOrigin" -> {0.900000000000002, 0}, 
            "ImageSize" -> {360, 360/GoldenRatio}, "Axes" -> {True, True}, 
            "LabelStyle" -> {}, "AspectRatio" -> GoldenRatio^(-1), 
            "DefaultStyle" -> {
              Directive[
               PointSize[0.012833333333333334`], 
               RGBColor[0.368417, 0.506779, 0.709798], 
               AbsoluteThickness[2]]}, 
            "HighlightLabelingFunctions" -> <|"CoordinatesToolOptions" -> ({
                Identity[
                 Part[#, 1]], 
                Identity[
                 Part[#, 2]]}& ), 
              "ScalingFunctions" -> {{Identity, Identity}, {
                Identity, Identity}}|>, "Primitives" -> {}, "GCFlag" -> 
            False|>, 
          "Meta" -> <|
           "DefaultHighlight" -> {"Dynamic", None}, "Index" -> {}, "Function" -> 
            ListPlot, "GroupHighlight" -> False|>|>]]& )[<|
        "HighlightElements" -> <|
          "Label" -> {"XYLabel"}, "Ball" -> {"IndicatedBall"}|>, 
         "LayoutOptions" -> <|
          "PlotRange" -> {{0.9, 11.1}, {0., 1.1}}, 
           "Frame" -> {{True, True}, {True, True}}, 
           "AxesOrigin" -> {0.900000000000002, 0}, 
           "ImageSize" -> {360, 360/GoldenRatio}, "Axes" -> {True, True}, 
           "LabelStyle" -> {}, "AspectRatio" -> GoldenRatio^(-1), 
           "DefaultStyle" -> {
             Directive[
              PointSize[0.012833333333333334`], 
              RGBColor[0.368417, 0.506779, 0.709798], 
              AbsoluteThickness[2]]}, 
           "HighlightLabelingFunctions" -> <|"CoordinatesToolOptions" -> ({
               Identity[
                Part[#, 1]], 
               Identity[
                Part[#, 2]]}& ), 
             "ScalingFunctions" -> {{Identity, Identity}, {
               Identity, Identity}}|>, "Primitives" -> {}, "GCFlag" -> 
           False|>, 
         "Meta" -> <|
          "DefaultHighlight" -> {"Dynamic", None}, "Index" -> {}, "Function" -> 
           ListPlot, "GroupHighlight" -> False|>|>],
       ImageSizeCache->{{4.503599627370496*^15, -4.503599627370496*^15}, {
        4.503599627370496*^15, -4.503599627370496*^15}}]},
     Annotation[{{{}, {}, 
        Annotation[{
          Hue[0.67, 0.6, 0.6], 
          Directive[
           PointSize[0.012833333333333334`], 
           RGBColor[0.368417, 0.506779, 0.709798], 
           AbsoluteThickness[2]], 
          
          Line[{{1., 0.1767766952966369}, {2., 0.25}, {3., 
           0.3535533905932738}, {4., 0.5}, {5., 0.7071067811865476}, {6., 
           1.}, {7., 0.7071067811865476}, {8., 0.5}, {9., 
           0.3535533905932738}, {10., 0.25}, {11., 0.1767766952966369}}]}, 
         "Charting`Private`Tag#1"]}}, <|
      "HighlightElements" -> <|
        "Label" -> {"XYLabel"}, "Ball" -> {"IndicatedBall"}|>, 
       "LayoutOptions" -> <|
        "PlotRange" -> {{0.9, 11.1}, {0., 1.1}}, 
         "Frame" -> {{True, True}, {True, True}}, 
         "AxesOrigin" -> {0.900000000000002, 0}, 
         "ImageSize" -> {360, 360/GoldenRatio}, "Axes" -> {True, True}, 
         "LabelStyle" -> {}, "AspectRatio" -> GoldenRatio^(-1), 
         "DefaultStyle" -> {
           Directive[
            PointSize[0.012833333333333334`], 
            RGBColor[0.368417, 0.506779, 0.709798], 
            AbsoluteThickness[2]]}, 
         "HighlightLabelingFunctions" -> <|"CoordinatesToolOptions" -> ({
             Identity[
              Part[#, 1]], 
             Identity[
              Part[#, 2]]}& ), 
           "ScalingFunctions" -> {{Identity, Identity}, {
             Identity, Identity}}|>, "Primitives" -> {}, "GCFlag" -> False|>, 
       "Meta" -> <|
        "DefaultHighlight" -> {"Dynamic", None}, "Index" -> {}, "Function" -> 
         ListPlot, "GroupHighlight" -> False|>|>, 
      "DynamicHighlight"]], {{}, {}}}, {{
     {GrayLevel[0], PointSize[0.012833333333333334`], AbsoluteThickness[2], 
      TagBox[{
        {GrayLevel[0], PointSize[0.012833333333333334`], AbsoluteThickness[2],
          Opacity[0.2], 
         LineBox[{{{1., 0.17677669529663687`}, {1., 0.17677669529663687`}}, {{
          11., 0.17677669529663687`}, {11., 0.17677669529663687`}}},
          VertexColors->None]}, 
        {GrayLevel[0], PointSize[0.012833333333333334`], AbsoluteThickness[2],
          Opacity[0.2], 
         LineBox[{{{2., 0.25}, {2., 0.17677669529663687`}}, {{3., 
          0.35355339059327373`}, {3., 0.17677669529663687`}}, {{4., 0.5}, {4.,
           0.17677669529663687`}}, {{5., 0.7071067811865475}, {5., 
          0.17677669529663687`}}, {{6., 1.}, {6., 0.17677669529663687`}}, {{
          7., 0.7071067811865475}, {7., 0.17677669529663687`}}, {{8., 0.5}, {
          8., 0.17677669529663687`}}, {{9., 0.35355339059327373`}, {9., 
          0.17677669529663687`}}, {{10., 0.25}, {10., 0.17677669529663687`}}},
          
          VertexColors->None]}},
       Annotation[#, "Charting`Private`Tag$9933#1"]& ]}, 
     TagBox[
      {GrayLevel[0], PointSize[0.012833333333333334`], AbsoluteThickness[
       2], {}, PointBox[{{1., 0.17677669529663687`}, {2., 0.25}, {3., 
        0.35355339059327373`}, {4., 0.5}, {5., 0.7071067811865475}, {6., 
        1.}, {7., 0.7071067811865475}, {8., 0.5}, {9., 
        0.35355339059327373`}, {10., 0.25}, {11., 0.17677669529663687`}}], {}},
      Annotation[#, "Charting`Private`Tag$9933#1"]& ]}, {}, {}}},
  AspectRatio->NCache[GoldenRatio^(-1), 0.6180339887498948],
  Axes->{True, True},
  AxesLabel->{None, None},
  AxesOrigin->{0.900000000000002, 0},
  DisplayFunction->Identity,
  Frame->{{True, True}, {True, True}},
  FrameLabel->{{
     FormBox[
      TagBox[
      "\"\[LeftAngleBracket]\[Phi]|\[Psi]\[RightAngleBracket]\"", HoldForm], 
      TraditionalForm], None}, {
     FormBox[
      TagBox["\"n\"", HoldForm], TraditionalForm], None}},
  FrameTicks->{{Automatic, Automatic}, {Automatic, Automatic}},
  GridLines->{None, None},
  GridLinesStyle->Directive[
    GrayLevel[0.5, 0.4]],
  Method->{
   "AxisPadding" -> Scaled[0.02], "DefaultBoundaryStyle" -> Automatic, 
    "DefaultGraphicsInteraction" -> {
     "Version" -> 1.2, "TrackMousePosition" -> {True, False}, 
      "Effects" -> {
       "Highlight" -> {"ratio" -> 2}, "HighlightPoint" -> {"ratio" -> 2}, 
        "Droplines" -> {
         "freeformCursorMode" -> True, 
          "placement" -> {"x" -> "All", "y" -> "None"}}}}, "DefaultMeshStyle" -> 
    AbsolutePointSize[6], "DefaultPlotStyle" -> {
      Directive[
       RGBColor[0.368417, 0.506779, 0.709798], 
       AbsoluteThickness[2]], 
      Directive[
       RGBColor[0.880722, 0.611041, 0.142051], 
       AbsoluteThickness[2]], 
      Directive[
       RGBColor[0.560181, 0.691569, 0.194885], 
       AbsoluteThickness[2]], 
      Directive[
       RGBColor[0.922526, 0.385626, 0.209179], 
       AbsoluteThickness[2]], 
      Directive[
       RGBColor[0.528488, 0.470624, 0.701351], 
       AbsoluteThickness[2]], 
      Directive[
       RGBColor[0.772079, 0.431554, 0.102387], 
       AbsoluteThickness[2]], 
      Directive[
       RGBColor[0.363898, 0.618501, 0.782349], 
       AbsoluteThickness[2]], 
      Directive[
       RGBColor[1, 0.75, 0], 
       AbsoluteThickness[2]], 
      Directive[
       RGBColor[0.647624, 0.37816, 0.614037], 
       AbsoluteThickness[2]], 
      Directive[
       RGBColor[0.571589, 0.586483, 0.], 
       AbsoluteThickness[2]], 
      Directive[
       RGBColor[0.915, 0.3325, 0.2125], 
       AbsoluteThickness[2]], 
      Directive[
       RGBColor[0.40082222609352647`, 0.5220066643438841, 0.85], 
       AbsoluteThickness[2]], 
      Directive[
       RGBColor[0.9728288904374106, 0.621644452187053, 0.07336199581899142], 
       AbsoluteThickness[2]], 
      Directive[
       RGBColor[0.736782672705901, 0.358, 0.5030266573755369], 
       AbsoluteThickness[2]], 
      Directive[
       RGBColor[0.28026441037696703`, 0.715, 0.4292089322474965], 
       AbsoluteThickness[2]]}, "DomainPadding" -> Scaled[0.02], 
    "PointSizeFunction" -> "SmallPointSize", "RangePadding" -> Scaled[0.05], 
    "OptimizePlotMarkers" -> True, "IncludeHighlighting" -> "CurrentSet", 
    "HighlightStyle" -> Automatic, "OptimizePlotMarkers" -> True, 
    "CoordinatesToolOptions" -> {"DisplayFunction" -> ({
        Identity[
         Part[#, 1]], 
        Identity[
         Part[#, 2]]}& ), "CopiedValueFunction" -> ({
        Identity[
         Part[#, 1]], 
        Identity[
         Part[#, 2]]}& )}},
  PlotRange->{{0.9, 11.1}, {0., 1.1}},
  PlotRangeClipping->True,
  PlotRangePadding->{{0, 0}, {0, 0}},
  Ticks->{Automatic, Automatic}]], "Output",
 CellChangeTimes->{3.916139406554665*^9, 3.916139501580676*^9},
 CellLabel->"Out[9]=",ExpressionUUID->"fcb56231-0e25-41bf-bb27-daf47a7f51f7"]
}, Open  ]]
}, Closed]]
},
WindowSize->{2560, 1257},
WindowMargins->{{0, Automatic}, {Automatic, 0}},
FrontEndVersion->"13.3 for Mac OS X x86 (64-bit) (July 24, 2023)",
StyleDefinitions->"Default.nb",
ExpressionUUID->"b0ec8d85-ce36-4f4d-8209-3c2731e8a00e"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[CellGroupData[{
Cell[580, 22, 973, 16, 83, "Chapter",ExpressionUUID->"349f688d-4bbc-4b94-be78-a82e3b7b6237"],
Cell[1556, 40, 1454, 31, 46, "Text",ExpressionUUID->"bc5057e5-86d8-49e0-86d4-c3171824525f"]
}, Open  ]],
Cell[CellGroupData[{
Cell[3047, 76, 296, 5, 69, "Chapter",ExpressionUUID->"504ca256-f526-4b4e-ac5d-e28c75e30100"],
Cell[3346, 83, 2174, 50, 196, "Text",ExpressionUUID->"ce1e260a-984c-4f37-a597-2def4ab8518f"]
}, Open  ]],
Cell[CellGroupData[{
Cell[5557, 138, 407, 6, 69, "Chapter",ExpressionUUID->"c1500120-bd1f-4a85-b750-6accf4d71f36"],
Cell[5967, 146, 1978, 43, 219, "Text",ExpressionUUID->"548f1cab-45c1-4bef-b8fa-bbfaea03bbf4"],
Cell[CellGroupData[{
Cell[7970, 193, 8935, 231, 1249, "Input",ExpressionUUID->"1cfb848d-4469-4f37-9dd5-ddffdce782eb"],
Cell[16908, 426, 10428, 233, 276, "Output",ExpressionUUID->"fcb56231-0e25-41bf-bb27-daf47a7f51f7"]
}, Open  ]]
}, Closed]]
}
]
*)