fig2-3c.nb

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

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

(* CreatedBy='Mathematica 13.2' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     58269,       1469]
NotebookOptionsPosition[     56129,       1426]
NotebookOutlinePosition[     56578,       1443]
CellTagsIndexPosition[     56535,       1440]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{

Cell[CellGroupData[{
Cell["Figure 2.3c", "Section",
 CellChangeTimes->{{3.9316832438494835`*^9, 
  3.9316832467550073`*^9}},ExpressionUUID->"720aa717-1458-4611-9026-\
d057c4748d17"],

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", 
   RowBox[{"Loading", " ", "the", " ", "melt", " ", "package"}], "*)"}], 
  "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
   "Get", "[", "\"\<http://www.fmt.if.usp.br/~gtlandi/download/melt.m\>\"", 
    "]"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"LoadPauliMatrices", "[", "]"}], ";"}]}]}]], "Input",
 CellChangeTimes->{
  3.9316806840809402`*^9, {3.931681765084572*^9, 3.931681777320175*^9}},
 CellLabel->"In[1]:=",ExpressionUUID->"b8d3f3f4-d053-4a31-92ce-2db537cc3d31"],

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", 
   RowBox[{"Define", " ", "up", " ", "and", " ", "down", " ", "states"}], 
   "*)"}], "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
    RowBox[{"up", "=", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", "1", "}"}], ",", 
       RowBox[{"{", "0", "}"}]}], "}"}]}], ";"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"down", "=", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", "0", "}"}], ",", 
       RowBox[{"{", "1", "}"}]}], "}"}]}], ";"}]}]}]], "Input",
 CellChangeTimes->{{3.8752742509204254`*^9, 3.8752742718116865`*^9}, {
  3.883488806715336*^9, 3.883488815605946*^9}, {3.883488909983609*^9, 
  3.8834889189161015`*^9}, {3.9316832859851084`*^9, 3.931683293820757*^9}},
 CellLabel->"In[3]:=",ExpressionUUID->"37c464f7-dccf-4972-94f8-5a31988e1521"],

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", 
   RowBox[{"Define", " ", "rotation", " ", "measurement", " ", "settings"}], 
   "*)"}], "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
    RowBox[{"r4", "[", "\[Theta]_", "]"}], ":=", 
    RowBox[{
     RowBox[{
      RowBox[{"Cos", "[", "\[Theta]", "]"}], "*", "\[Sigma]0"}], "-", 
     RowBox[{
      RowBox[{"Sin", "[", "\[Theta]", "]"}], "*", "\[Sigma]z"}]}]}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"r5", "[", "\[Theta]_", "]"}], ":=", 
    RowBox[{
     RowBox[{
      RowBox[{"Cos", "[", "\[Theta]", "]"}], "*", "\[Sigma]0"}], "-", 
     RowBox[{
      RowBox[{"Sin", "[", "\[Theta]", "]"}], "*", "\[Sigma]x"}]}]}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{"rot43", "[", 
      RowBox[{"\[Theta]_", ",", "\[Phi]_", ",", "\[CurlyPhi]_"}], "]"}], ":=", 
     RowBox[{"kron", "[", 
      RowBox[{
       RowBox[{"r4", "[", "\[Theta]", "]"}], ",", 
       RowBox[{"r4", "[", "\[Phi]", "]"}], ",", 
       RowBox[{"r4", "[", "\[CurlyPhi]", "]"}]}], "]"}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{"rot53", "[", 
      RowBox[{"\[Theta]_", ",", "\[Phi]_", ",", "\[CurlyPhi]_"}], "]"}], ":=", 
     RowBox[{"kron", "[", 
      RowBox[{
       RowBox[{"r5", "[", "\[Theta]", "]"}], ",", 
       RowBox[{"r5", "[", "\[Phi]", "]"}], ",", 
       RowBox[{"r5", "[", "\[CurlyPhi]", "]"}]}], "]"}]}], ";"}]}]}]], "Input",
 CellChangeTimes->{{3.883489058786652*^9, 3.8834890595700755`*^9}, {
   3.883559993504064*^9, 3.8835599936293507`*^9}, {3.8835615097234573`*^9, 
   3.883561518073555*^9}, {3.8835616145930133`*^9, 3.8835616372027082`*^9}, {
   3.883561832896881*^9, 3.8835618733882027`*^9}, {3.8835619249318266`*^9, 
   3.883561927842743*^9}, {3.883562163096504*^9, 3.883562164873006*^9}, {
   3.8835624673165255`*^9, 3.8835624809126453`*^9}, {3.8835644157399645`*^9, 
   3.8835644437598004`*^9}, {3.883564511740038*^9, 3.8835645121903596`*^9}, {
   3.8836527477726493`*^9, 3.883652755211712*^9}, {3.883810536768981*^9, 
   3.88381053726425*^9}, {3.8838109380289392`*^9, 3.883810968251975*^9}, {
   3.884258634101199*^9, 3.884258636195734*^9}, {3.8847788019289384`*^9, 
   3.8847788106258993`*^9}, {3.931683295405411*^9, 3.931683307109153*^9}, 
   3.9316834559704957`*^9, {3.931684309712876*^9, 3.931684346297112*^9}},
 CellLabel->"In[5]:=",ExpressionUUID->"ee5ec4e0-9252-4265-b47b-c2f5c77fc30e"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", 
   RowBox[{"Define", " ", "w", " ", "state", " ", "with", " ", "noise"}], 
   "*)"}], "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
    RowBox[{"wstate", " ", "=", " ", 
     RowBox[{"Flatten", "[", 
      RowBox[{
       FractionBox["1", 
        RowBox[{"Sqrt", "[", "3", "]"}]], 
       RowBox[{"(", 
        RowBox[{
         RowBox[{"kron", "[", 
          RowBox[{"up", ",", "up", ",", "down"}], "]"}], "+", 
         RowBox[{"kron", "[", 
          RowBox[{"up", ",", "down", ",", "up"}], "]"}], "+", 
         RowBox[{"kron", "[", 
          RowBox[{"down", ",", "up", ",", "up"}], "]"}]}], ")"}]}], "]"}]}], 
    ";"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"\[Rho]w", "=", 
     RowBox[{"out", "[", 
      RowBox[{"wstate", ",", "wstate"}], "]"}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{"(", 
      RowBox[{"\[Rho]wmix", " ", "=", " ", 
       RowBox[{
        RowBox[{"p", "*", "\[Rho]w"}], " ", "+", 
        RowBox[{
         FractionBox[
          RowBox[{"1", "-", "p"}], "8"], "*", 
         RowBox[{"IdentityMatrix", "[", "8", "]"}]}]}]}], ")"}], "//", "mf"}],
     ";"}]}]}]], "Input",
 CellChangeTimes->{{3.9316833524906473`*^9, 3.931683424382898*^9}, {
  3.9316836513033657`*^9, 3.9316836620025415`*^9}},
 CellLabel->"In[9]:=",ExpressionUUID->"7b4c185d-ae76-4758-993d-9ad49813745d"],

Cell[BoxData[
 TagBox[
  RowBox[{"(", "\[NoBreak]", GridBox[{
     {
      FractionBox[
       RowBox[{"1", "-", "p"}], "8"], "0", "0", "0", "0", "0", "0", "0"},
     {"0", 
      RowBox[{
       FractionBox[
        RowBox[{"1", "-", "p"}], "8"], "+", 
       FractionBox["p", "3"]}], 
      FractionBox["p", "3"], "0", 
      FractionBox["p", "3"], "0", "0", "0"},
     {"0", 
      FractionBox["p", "3"], 
      RowBox[{
       FractionBox[
        RowBox[{"1", "-", "p"}], "8"], "+", 
       FractionBox["p", "3"]}], "0", 
      FractionBox["p", "3"], "0", "0", "0"},
     {"0", "0", "0", 
      FractionBox[
       RowBox[{"1", "-", "p"}], "8"], "0", "0", "0", "0"},
     {"0", 
      FractionBox["p", "3"], 
      FractionBox["p", "3"], "0", 
      RowBox[{
       FractionBox[
        RowBox[{"1", "-", "p"}], "8"], "+", 
       FractionBox["p", "3"]}], "0", "0", "0"},
     {"0", "0", "0", "0", "0", 
      FractionBox[
       RowBox[{"1", "-", "p"}], "8"], "0", "0"},
     {"0", "0", "0", "0", "0", "0", 
      FractionBox[
       RowBox[{"1", "-", "p"}], "8"], "0"},
     {"0", "0", "0", "0", "0", "0", "0", 
      FractionBox[
       RowBox[{"1", "-", "p"}], "8"]}
    },
    GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}},
    GridBoxSpacings->{"Columns" -> {
        Offset[0.27999999999999997`], {
         Offset[0.7]}, 
        Offset[0.27999999999999997`]}, "Rows" -> {
        Offset[0.2], {
         Offset[0.4]}, 
        Offset[0.2]}}], "\[NoBreak]", ")"}],
  Function[BoxForm`e$, 
   MatrixForm[BoxForm`e$]]]], "Print",
 CellChangeTimes->{{3.9316834050855455`*^9, 3.9316834283900595`*^9}, 
   3.931684386041914*^9},
 CellLabel->
  "During evaluation of \
In[9]:=",ExpressionUUID->"cb7985fd-84d1-4663-93a1-6bf5a6467896"]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", 
   RowBox[{
    RowBox[{"Compute", " ", "3"}], "-", 
    RowBox[{"particle", " ", "svetlichny", " ", "inequality"}]}], "*)"}], 
  "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
    RowBox[{"wviolationvals", "=", 
     RowBox[{"{", "}"}]}], ";"}], "\[IndentingNewLine]", 
   RowBox[{"do", "[", 
    RowBox[{
     RowBox[{
      RowBox[{"p", "=", "i"}], ";", 
      RowBox[{
       RowBox[{"corrw", "[", 
        RowBox[{"\[Theta]_", ",", "\[Phi]_", ",", "\[CurlyPhi]_"}], "]"}], ":=", 
       RowBox[{"Tr", "[", 
        RowBox[{
         RowBox[{"rot53", "[", 
          RowBox[{"\[Theta]", ",", "\[Phi]", ",", "\[CurlyPhi]"}], "]"}], ".",
          "\[Rho]wmix"}], "]"}]}], ";", 
      RowBox[{"Svet3", "=", 
       RowBox[{
        FractionBox["1", "4"], 
        RowBox[{"(", 
         RowBox[{
          RowBox[{"-", 
           RowBox[{"corrw", "[", 
            RowBox[{"\[Theta]1", ",", "\[Phi]1", ",", "\[CurlyPhi]1"}], 
            "]"}]}], "+", 
          RowBox[{"corrw", "[", 
           RowBox[{"\[Theta]2", ",", "\[Phi]1", ",", "\[CurlyPhi]1"}], "]"}], 
          "+", 
          RowBox[{"corrw", "[", 
           RowBox[{"\[Theta]1", ",", "\[CurlyPhi]1", ",", "\[Phi]2"}], "]"}], 
          "+", 
          RowBox[{"corrw", "[", 
           RowBox[{"\[Theta]2", ",", "\[CurlyPhi]1", ",", "\[Phi]2"}], "]"}], 
          "+", 
          RowBox[{"corrw", "[", 
           RowBox[{"\[Theta]1", ",", "\[Phi]1", ",", "\[CurlyPhi]2"}], "]"}], 
          "+", 
          RowBox[{"corrw", "[", 
           RowBox[{"\[Theta]2", ",", "\[Phi]1", ",", "\[CurlyPhi]2"}], "]"}], 
          "+", 
          RowBox[{"corrw", "[", 
           RowBox[{"\[Theta]1", ",", "\[Phi]2", ",", "\[CurlyPhi]2"}], "]"}], 
          "-", 
          RowBox[{"corrw", "[", 
           RowBox[{"\[Theta]2", ",", "\[Phi]2", ",", "\[CurlyPhi]2"}], 
           "]"}]}], ")"}]}]}], ";", 
      RowBox[{"sw", "=", 
       RowBox[{"NMaximize", "[", 
        RowBox[{"Svet3", ",", 
         RowBox[{"{", 
          RowBox[{
          "\[Theta]1", ",", "\[Theta]2", ",", "\[Phi]1", ",", "\[Phi]2", ",", 
           "\[CurlyPhi]1", ",", "\[CurlyPhi]2"}], "}"}]}], "]"}]}], ";", 
      RowBox[{"AppendTo", "[", 
       RowBox[{"wviolationvals", ",", 
        RowBox[{"{", 
         RowBox[{"p", ",", 
          RowBox[{"sw", "[", 
           RowBox[{"[", "1", "]"}], "]"}]}], "}"}]}], "]"}]}], ",", 
     RowBox[{"{", 
      RowBox[{"i", ",", "0", ",", "1", ",", "0.01"}], "}"}]}], "]"}], 
   "\[IndentingNewLine]", "wviolationvals"}]}]], "Input",
 CellChangeTimes->{{3.883548874642125*^9, 3.8835489066723948`*^9}, {
   3.8835489636700015`*^9, 3.883549000580608*^9}, {3.883549048863241*^9, 
   3.8835490502931933`*^9}, {3.8835491059916353`*^9, 3.883549129486281*^9}, {
   3.8835493077399063`*^9, 3.8835493987756133`*^9}, {3.883549600851229*^9, 
   3.8835496009310226`*^9}, {3.883549665965358*^9, 3.883549666409066*^9}, {
   3.883549732227844*^9, 3.8835498000628586`*^9}, {3.8835500117873864`*^9, 
   3.8835500345370703`*^9}, {3.8835523207953043`*^9, 
   3.8835523497854195`*^9}, {3.883810433795499*^9, 3.8838104490314035`*^9}, {
   3.883810546086377*^9, 3.883810578052404*^9}, {3.8838109751847796`*^9, 
   3.8838109980057864`*^9}, {3.88970155644366*^9, 3.8897015565605297`*^9}, 
   3.8897027559982996`*^9, {3.9316834752030153`*^9, 3.9316835212182307`*^9}, {
   3.9316836676497393`*^9, 3.931683687477977*^9}},
 CellLabel->"In[12]:=",ExpressionUUID->"f9bb0fdc-0b42-4d98-94d6-b55cc3bfbb63"],

Cell[BoxData["\<\"0h : 0m : 5s\"\>"], "Print",
 CellChangeTimes->{
  3.883549667987217*^9, {3.883549789092476*^9, 3.8835498241025105`*^9}, 
   3.8835498578722844`*^9, {3.8835500149061975`*^9, 3.8835500461702356`*^9}, 
   3.8835523528447714`*^9, {3.8835662037724295`*^9, 3.8835662127175417`*^9}, 
   3.883625033623133*^9, {3.883625622553985*^9, 3.883625633987646*^9}, {
   3.883652510928497*^9, 3.883652517929987*^9}, 3.883652595841507*^9, 
   3.883810454481841*^9, {3.8838105495772495`*^9, 3.883810579052204*^9}, {
   3.8838109766196723`*^9, 3.8838109990756493`*^9}, 3.8838111075407963`*^9, 
   3.889680272271663*^9, 3.88970156098205*^9, 3.889702761585822*^9, 
   3.890393662690827*^9, 3.8905966825017705`*^9, {3.9316834880969696`*^9, 
   3.9316835022436876`*^9}, 3.931683619532527*^9, 3.931683693312013*^9, 
   3.9316843943327036`*^9},
 CellLabel->
  "During evaluation of \
In[12]:=",ExpressionUUID->"44630c94-db71-44a0-ac99-0178b68984e4"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{"0.`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.01`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.02`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.03`", ",", "0.9999999999999999`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.04`", ",", "0.9999999999999998`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.05`", ",", "0.9999999999999998`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.06`", ",", "0.9999999999999998`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.07`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.08`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.09`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.1`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.11`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.12`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.13`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.14`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.15`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.16`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.17`", ",", "0.9999999999999998`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.18`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.19`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.2`", ",", "1.0000000000000002`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.21`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.22`", ",", "1.0000000000000002`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.23`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.24`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.25`", ",", "0.9999999999999998`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.26`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.27`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.28`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.29`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.3`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.31`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.32`", ",", "0.9999999999999998`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.33`", ",", "0.9999999999999999`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.34`", ",", "0.9999999999999998`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.35000000000000003`", ",", "0.9999999999999998`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.36`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.37`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.38`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.39`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.4`", ",", "0.9999999999999998`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.41000000000000003`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.42`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.43`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.44`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.45`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.46`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.47000000000000003`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.48`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.49`", ",", "0.9999999999999998`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.5`", ",", "0.9999999999999998`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.51`", ",", "0.9999999999999998`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.52`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.53`", ",", "0.9999999999999998`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.54`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.55`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.56`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.5700000000000001`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.58`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.59`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.6`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.61`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.62`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.63`", ",", "0.9999999999999998`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.64`", ",", "0.9999999999999998`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.65`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.66`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.67`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.68`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.6900000000000001`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.7000000000000001`", ",", "0.9999999999999998`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.71`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.72`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.73`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.74`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.75`", ",", "0.9999999999999999`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.76`", ",", "1.000257516700124`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.77`", ",", "1.0009959375247306`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.78`", ",", "1.002169076125807`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.79`", ",", "1.0037365694712919`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.8`", ",", "1.0056629776875345`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.81`", ",", "1.0079170472779735`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.8200000000000001`", ",", "1.0104711039173029`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.8300000000000001`", ",", "1.0133005488228402`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.84`", ",", "1.0163834385297938`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.85`", ",", "1.0197001322880954`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.86`", ",", "1.0232329946384995`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.87`", ",", "1.0269661432878197`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.88`", ",", "1.0308852343843784`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.89`", ",", "1.0349772788381877`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.9`", ",", "1.039230484541327`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.91`", ",", "1.043634120300359`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.92`", ",", "1.0481783980528412`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.93`", ",", "1.0528543705477014`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.9400000000000001`", ",", "1.0576538421580333`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.9500000000000001`", ",", "1.0625692908899573`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.96`", ",", "1.0675937999722231`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.97`", ",", "1.0727209976734344`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.98`", ",", "1.0779450042088259`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.99`", ",", "1.0832603847757423`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"1.`", ",", "1.0886621079036345`"}], "}"}]}], "}"}]], "Output",
 CellChangeTimes->{
  3.883811107551015*^9, 3.88968027227777*^9, 3.8897015609877615`*^9, 
   3.8897027616380014`*^9, 3.890393662706566*^9, 3.8905966825140095`*^9, {
   3.931683488102488*^9, 3.9316835022541203`*^9}, 3.9316836195452833`*^9, 
   3.931683693326527*^9, 3.9316843943422136`*^9},
 CellLabel->"Out[14]=",ExpressionUUID->"7e87aeab-62c3-49c5-b88e-135f0e0c9a10"]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", 
   RowBox[{"Define", " ", "GHZ", " ", "state", " ", "with", " ", "noise"}], 
   "*)"}], "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
    RowBox[{"ghz", " ", "=", " ", 
     RowBox[{"Flatten", "[", 
      RowBox[{
       FractionBox["1", 
        RowBox[{"Sqrt", "[", "2", "]"}]], 
       RowBox[{"(", 
        RowBox[{
         RowBox[{"kron", "[", 
          RowBox[{"up", ",", "up", ",", "up"}], "]"}], "+", 
         RowBox[{"kron", "[", 
          RowBox[{"down", ",", "down", ",", "down"}], "]"}]}], ")"}]}], 
      "]"}]}], ";"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"\[Rho]ghz", "=", 
     RowBox[{"out", "[", 
      RowBox[{"ghz", ",", "ghz"}], "]"}]}], ";"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{
     RowBox[{"(", 
      RowBox[{"\[Rho]ghzmix", " ", "=", " ", 
       RowBox[{
        RowBox[{"g", "*", "\[Rho]ghz"}], " ", "+", 
        RowBox[{
         FractionBox[
          RowBox[{"1", "-", "g"}], "8"], "*", 
         RowBox[{"IdentityMatrix", "[", "8", "]"}]}]}]}], ")"}], "//", "mf"}],
     ";"}]}]}]], "Input",
 CellChangeTimes->{{3.931683731594192*^9, 3.9316837497605877`*^9}},
 CellLabel->"In[15]:=",ExpressionUUID->"6db689f6-250e-4d49-b706-4f60add098de"],

Cell[BoxData[
 TagBox[
  RowBox[{"(", "\[NoBreak]", GridBox[{
     {
      RowBox[{
       FractionBox[
        RowBox[{"1", "-", "g"}], "8"], "+", 
       FractionBox["g", "2"]}], "0", "0", "0", "0", "0", "0", 
      FractionBox["g", "2"]},
     {"0", 
      FractionBox[
       RowBox[{"1", "-", "g"}], "8"], "0", "0", "0", "0", "0", "0"},
     {"0", "0", 
      FractionBox[
       RowBox[{"1", "-", "g"}], "8"], "0", "0", "0", "0", "0"},
     {"0", "0", "0", 
      FractionBox[
       RowBox[{"1", "-", "g"}], "8"], "0", "0", "0", "0"},
     {"0", "0", "0", "0", 
      FractionBox[
       RowBox[{"1", "-", "g"}], "8"], "0", "0", "0"},
     {"0", "0", "0", "0", "0", 
      FractionBox[
       RowBox[{"1", "-", "g"}], "8"], "0", "0"},
     {"0", "0", "0", "0", "0", "0", 
      FractionBox[
       RowBox[{"1", "-", "g"}], "8"], "0"},
     {
      FractionBox["g", "2"], "0", "0", "0", "0", "0", "0", 
      RowBox[{
       FractionBox[
        RowBox[{"1", "-", "g"}], "8"], "+", 
       FractionBox["g", "2"]}]}
    },
    GridBoxAlignment->{"Columns" -> {{Center}}, "Rows" -> {{Baseline}}},
    GridBoxSpacings->{"Columns" -> {
        Offset[0.27999999999999997`], {
         Offset[0.7]}, 
        Offset[0.27999999999999997`]}, "Rows" -> {
        Offset[0.2], {
         Offset[0.4]}, 
        Offset[0.2]}}], "\[NoBreak]", ")"}],
  Function[BoxForm`e$, 
   MatrixForm[BoxForm`e$]]]], "Print",
 CellChangeTimes->{3.9316837540288982`*^9, 3.93168391659588*^9, 
  3.931684397140774*^9},
 CellLabel->
  "During evaluation of \
In[15]:=",ExpressionUUID->"6edf5969-3be2-4ef2-8ccf-1ae52256f692"]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", 
   RowBox[{
    RowBox[{"Compute", " ", "3"}], "-", 
    RowBox[{"particle", " ", "svetlichny", " ", "violation"}]}], "*)"}], 
  "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
    RowBox[{"ghzviolationvals", "=", 
     RowBox[{"{", "}"}]}], ";"}], "\[IndentingNewLine]", 
   RowBox[{"do", "[", 
    RowBox[{
     RowBox[{
      RowBox[{"g", "=", "i"}], ";", 
      RowBox[{
       RowBox[{"corrghz", "[", 
        RowBox[{"\[Theta]_", ",", "\[Phi]_", ",", "\[CurlyPhi]_"}], "]"}], ":=", 
       RowBox[{"Tr", "[", 
        RowBox[{
         RowBox[{"rot43", "[", 
          RowBox[{"\[Theta]", ",", "\[Phi]", ",", "\[CurlyPhi]"}], "]"}], ".",
          "\[Rho]ghzmix"}], "]"}]}], ";", 
      RowBox[{"Svet3", "=", 
       RowBox[{
        FractionBox["1", "4"], 
        RowBox[{"(", 
         RowBox[{
          RowBox[{"-", 
           RowBox[{"corrghz", "[", 
            RowBox[{"\[Theta]1", ",", "\[Phi]1", ",", "\[CurlyPhi]1"}], 
            "]"}]}], "+", 
          RowBox[{"corrghz", "[", 
           RowBox[{"\[Theta]2", ",", "\[Phi]1", ",", "\[CurlyPhi]1"}], "]"}], 
          "+", 
          RowBox[{"corrghz", "[", 
           RowBox[{"\[Theta]1", ",", "\[CurlyPhi]1", ",", "\[Phi]2"}], "]"}], 
          "+", 
          RowBox[{"corrghz", "[", 
           RowBox[{"\[Theta]2", ",", "\[CurlyPhi]1", ",", "\[Phi]2"}], "]"}], 
          "+", 
          RowBox[{"corrghz", "[", 
           RowBox[{"\[Theta]1", ",", "\[Phi]1", ",", "\[CurlyPhi]2"}], "]"}], 
          "+", 
          RowBox[{"corrghz", "[", 
           RowBox[{"\[Theta]2", ",", "\[Phi]1", ",", "\[CurlyPhi]2"}], "]"}], 
          "+", 
          RowBox[{"corrghz", "[", 
           RowBox[{"\[Theta]1", ",", "\[Phi]2", ",", "\[CurlyPhi]2"}], "]"}], 
          "-", 
          RowBox[{"corrghz", "[", 
           RowBox[{"\[Theta]2", ",", "\[Phi]2", ",", "\[CurlyPhi]2"}], 
           "]"}]}], ")"}]}]}], ";", 
      RowBox[{"sw", "=", 
       RowBox[{"NMaximize", "[", 
        RowBox[{"Svet3", ",", 
         RowBox[{"{", 
          RowBox[{
          "\[Theta]1", ",", "\[Theta]2", ",", "\[Phi]1", ",", "\[Phi]2", ",", 
           "\[CurlyPhi]1", ",", "\[CurlyPhi]2"}], "}"}]}], "]"}]}], ";", 
      RowBox[{"AppendTo", "[", 
       RowBox[{"ghzviolationvals", ",", 
        RowBox[{"{", 
         RowBox[{"g", ",", 
          RowBox[{"Re", "[", 
           RowBox[{"sw", "[", 
            RowBox[{"[", "1", "]"}], "]"}], "]"}]}], "}"}]}], "]"}]}], ",", 
     RowBox[{"{", 
      RowBox[{"i", ",", "0", ",", "1", ",", "0.01"}], "}"}]}], "]"}], 
   "\[IndentingNewLine]", "ghzviolationvals"}]}]], "Input",
 CellChangeTimes->{{3.9316837688684425`*^9, 3.9316837974193583`*^9}},
 CellLabel->"In[18]:=",ExpressionUUID->"a9e4a7e3-b45c-4905-82d6-7f23f66a9e31"],

Cell[BoxData["\<\"0h : 0m : 5s\"\>"], "Print",
 CellChangeTimes->{3.93168378013568*^9, 3.9316844060602875`*^9},
 CellLabel->
  "During evaluation of \
In[18]:=",ExpressionUUID->"1edd4d42-5abe-4647-94db-42f7d38177d0"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{"0.`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.01`", ",", "0.9999999999999996`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.02`", ",", "1.0000000000000002`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.03`", ",", "1.0000000000000002`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.04`", ",", "1.0000000000000002`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.05`", ",", "1.0000000000000002`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.06`", ",", "1.0000000000000004`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.07`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.08`", ",", "1.0000000000000004`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.09`", ",", "0.9999999999999999`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.1`", ",", "0.9999999999999997`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.11`", ",", "1.0000000000000002`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.12`", ",", "0.9999999999999997`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.13`", ",", "1.0000000000000002`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.14`", ",", "0.9999999999999996`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.15`", ",", "1.0000000000000004`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.16`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.17`", ",", "0.9999999999999994`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.18`", ",", "1.0000000000000002`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.19`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.2`", ",", "1.0000000000000004`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.21`", ",", "0.9999999999999997`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.22`", ",", "1.0000000000000004`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.23`", ",", "1.0000000000000002`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.24`", ",", "1.0000000000000004`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.25`", ",", "1.0000000000000002`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.26`", ",", "1.0000000000000002`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.27`", ",", "1.0000000000000002`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.28`", ",", "1.0000000000000004`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.29`", ",", "1.0000000000000002`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.3`", ",", "1.0000000000000002`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.31`", ",", "1.0000000000000002`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.32`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.33`", ",", "1.0000000000000002`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.34`", ",", "1.0000000000000002`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.35000000000000003`", ",", "0.9999999999999997`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.36`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.37`", ",", "0.9999999999999997`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.38`", ",", "1.0000000000000004`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.39`", ",", "0.9999999999999997`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.4`", ",", "1.0000000000000004`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.41000000000000003`", ",", "1.0000000000000002`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.42`", ",", "1.`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.43`", ",", "1.0000000000000002`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.44`", ",", "0.9999999999999997`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.45`", ",", "1.0000000000000004`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.46`", ",", "0.9999999999999994`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.47000000000000003`", ",", "1.0000000000000002`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.48`", ",", "0.9999999999999998`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.49`", ",", "0.9999999999999998`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.5`", ",", "0.9999999999999993`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.51`", ",", "1.000569649070723`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.52`", ",", "1.0021690761258077`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.53`", ",", "1.0046569530045262`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.54`", ",", "1.007917047277973`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.55`", ",", "1.01185283210858`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.56`", ",", "1.0163834385297938`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.5700000000000001`", ",", "1.021440573440483`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.58`", ",", "1.0269661432878205`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.59`", ",", "1.0329104008111718`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.6`", ",", "1.0392304845413267`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.61`", ",", "1.045889256732948`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.62`", ",", "1.0528543705477011`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.63`", ",", "1.0600975151244503`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.64`", ",", "1.067593799972223`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.65`", ",", "1.0753212494290645`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.66`", ",", "1.083260384775743`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.67`", ",", "1.0913938766822022`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.68`", ",", "1.0997062544851908`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.6900000000000001`", ",", "1.1081836616903284`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.7000000000000001`", ",", "1.1168136493044527`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.71`", ",", "1.1255850003088856`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.72`", ",", "1.1344875799080034`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.73`", ",", "1.1435122072226551`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.74`", ",", "1.1526505449131252`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.75`", ",", "1.1618950038622253`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.76`", ",", "1.1712386605641059`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.77`", ",", "1.180675185277378`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.78`", ",", "1.1901987793340905`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.79`", ",", "1.1998041202660126`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.8`", ",", "1.2094863136295277`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.81`", ",", "1.2192408505903383`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.8200000000000001`", ",", "1.2290635704771224`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.8300000000000001`", ",", "1.2389506276353879`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.84`", ",", "1.2488984620140475`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.85`", ",", "1.258903773001503`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.86`", ",", "1.268963496098442`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.87`", ",", "1.2790747820736073`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.88`", ",", "1.2892349782984842`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.89`", ",", "1.2994416119987895`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.9`", ",", "1.3096923751961982`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.91`", ",", "1.319985111143917`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.92`", ",", "1.3303178020854476`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.93`", ",", "1.3406885581878685`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.9400000000000001`", ",", "1.3510956075198168`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.9500000000000001`", ",", "1.3615372869605094`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.96`", ",", "1.3720120339401531`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.97`", ",", "1.3825183789240665`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.98`", ",", "1.3930549385633249`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"0.99`", ",", "1.4036204094437732`"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"1.`", ",", "1.4142135623730951`"}], "}"}]}], "}"}]], "Output",
 CellChangeTimes->{3.9316837801509876`*^9, 3.9316844060715036`*^9},
 CellLabel->"Out[20]=",ExpressionUUID->"34ca0a90-2b11-424a-94f2-dd1fb93d9fd2"]
}, Closed]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", 
   RowBox[{
   "Compare", " ", "GHZ", " ", "and", " ", "W", " ", "violation", " ", 
    "against", " ", "noise", " ", "together"}], "*)"}], "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{
    RowBox[{"wviolation", "=", 
     RowBox[{"ListLinePlot", "[", 
      RowBox[{"wviolationvals", ",", 
       RowBox[{"PlotRange", "->", 
        RowBox[{"{", 
         RowBox[{
          RowBox[{"{", 
           RowBox[{"0", ",", "1"}], "}"}], ",", 
          RowBox[{"{", 
           RowBox[{"0.9", ",", 
            RowBox[{"Sqrt", "[", "2", "]"}]}], "}"}]}], "}"}]}], ",", 
       RowBox[{"PlotStyle", "->", 
        RowBox[{"{", 
         RowBox[{"Blue", ",", 
          RowBox[{"Thickness", "[", "0.008", "]"}], ",", 
          RowBox[{"Opacity", "[", "0.7", "]"}]}], "}"}]}], ",", 
       RowBox[{"PlotLegends", "->", 
        RowBox[{"{", "\"\<W\>\"", "}"}]}]}], "]"}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"ghzviolation", "=", 
     RowBox[{"ListLinePlot", "[", 
      RowBox[{"ghzviolationvals", ",", 
       RowBox[{"PlotStyle", "->", 
        RowBox[{"{", 
         RowBox[{"Orange", ",", 
          RowBox[{"Thickness", "[", "0.008", "]"}]}], "}"}]}], ",", 
       RowBox[{"PlotLegends", "->", 
        RowBox[{"{", "\"\<GHZ\>\"", "}"}]}]}], "]"}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"boundary", "=", 
     RowBox[{"ListLinePlot", "[", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{
         RowBox[{"{", 
          RowBox[{"0", ",", "1"}], "}"}], ",", 
         RowBox[{"{", 
          RowBox[{"1", ",", "1"}], "}"}]}], "}"}], ",", "\[IndentingNewLine]", 
       RowBox[{"PlotStyle", "->", 
        RowBox[{"{", 
         RowBox[{
          RowBox[{"GrayLevel", "[", "0.15", "]"}], ",", "Dashed"}], "}"}]}], 
       ",", "\[IndentingNewLine]", 
       RowBox[{"PlotLabel", "->", 
        RowBox[{"Style", "[", 
         RowBox[{
         "\"\<Svetlichny Violation Against Mixedness\>\"", ",", "Black", ",", 
          "20"}], "]"}]}], ",", "\[IndentingNewLine]", 
       RowBox[{"AxesLabel", "->", 
        RowBox[{"{", 
         RowBox[{
         "\"\<  p\>\"", ",", "\"\<\!\(\*SubscriptBox[\(S\), \(3\)]\)\>\""}], 
         "}"}]}], ",", "\[IndentingNewLine]", 
       RowBox[{"LabelStyle", "->", 
        RowBox[{"Directive", "[", 
         RowBox[{"Black", ",", "20", ",", 
          RowBox[{"FontFamily", "->", "\"\<Times New Roman\>\""}]}], "]"}]}], 
       ",", 
       RowBox[{"AxesStyle", "->", 
        RowBox[{"Directive", "[", 
         RowBox[{"Black", ",", " ", "20", ",", 
          RowBox[{"FontFamily", "->", "\"\<Times New Roman\>\""}]}], "]"}]}], 
       ",", "\[IndentingNewLine]", 
       RowBox[{"PlotRange", "->", 
        RowBox[{"{", 
         RowBox[{"All", ",", 
          RowBox[{"{", 
           RowBox[{"0.8", ",", "1.5"}], "}"}]}], "}"}]}], ",", 
       RowBox[{"Ticks", "->", 
        RowBox[{"{", 
         RowBox[{"Automatic", ",", 
          RowBox[{"{", 
           RowBox[{"0.8", ",", "0.9", ",", 
            RowBox[{"{", 
             RowBox[{"1.0", ",", "\"\<1.0\>\""}], "}"}], ",", "1.1", ",", 
            "1.2", ",", "1.3", ",", "1.4"}], "}"}]}], "}"}]}]}], "]"}]}], 
    ";"}], "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"maxw", "=", 
     RowBox[{"ListLinePlot", "[", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{
         RowBox[{"{", 
          RowBox[{"0", ",", "1.0886621079036345`"}], "}"}], ",", 
         RowBox[{"{", 
          RowBox[{"1", ",", "1.0886621079036345`"}], "}"}]}], "}"}], ",", 
       RowBox[{"PlotStyle", "->", 
        RowBox[{"{", 
         RowBox[{"Blue", ",", "Dashed", ",", 
          RowBox[{"Opacity", "[", "0.5", "]"}]}], "}"}]}]}], "]"}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"maxghz", "=", 
     RowBox[{"ListLinePlot", "[", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{
         RowBox[{"{", 
          RowBox[{"0", ",", 
           RowBox[{"Sqrt", "[", "2", "]"}]}], "}"}], ",", 
         RowBox[{"{", 
          RowBox[{"1", ",", 
           RowBox[{"Sqrt", "[", "2", "]"}]}], "}"}]}], "}"}], ",", 
       RowBox[{"PlotStyle", "->", 
        RowBox[{"{", 
         RowBox[{"Orange", ",", "Dashed", ",", 
          RowBox[{"Opacity", "[", "0.5", "]"}]}], "}"}]}]}], "]"}]}], ";"}], 
   "\[IndentingNewLine]", 
   RowBox[{"svetvsnoise", "=", 
    RowBox[{"Show", "[", 
     RowBox[{
     "boundary", ",", "maxw", ",", "maxghz", ",", "ghzviolation", ",", 
      "wviolation"}], "]"}]}]}]}]], "Input",
 CellChangeTimes->{{3.931683843555813*^9, 3.931683843962036*^9}, {
  3.9316838889589005`*^9, 3.9316839061420226`*^9}, {3.931683958249401*^9, 
  3.9316839703184295`*^9}, {3.9316842318855195`*^9, 3.9316842402124205`*^9}, {
  3.9316842762929745`*^9, 3.9316842842510967`*^9}},
 CellLabel->"In[21]:=",ExpressionUUID->"f0259b0c-f16d-42dc-ab15-fb90de996ef2"],

Cell[BoxData[
 TemplateBox[{
   GraphicsBox[{{{}, {{{}, {}, {
         Hue[0.67, 0.6, 0.6], 
         Directive[
          PointSize[
           NCache[
            Rational[7, 360], 0.019444444444444445`]], 
          AbsoluteThickness[1.6], 
          GrayLevel[0.15], 
          Dashing[{Small, Small}]], 
         LineBox[{{0., 1.}, {1., 1.}}]}}}, {{}, {}}}, {{}, {{{}, {}, {
         Hue[0.67, 0.6, 0.6], 
         Directive[
          PointSize[
           NCache[
            Rational[7, 360], 0.019444444444444445`]], 
          AbsoluteThickness[1.6], 
          RGBColor[0, 0, 1], 
          Dashing[{Small, Small}], 
          Opacity[0.5]], 
         LineBox[{{0., 1.0886621079036345`}, {1., 
          1.0886621079036345`}}]}}}, {{}, {}}}, {{}, {{{}, {}, {
         Hue[0.67, 0.6, 0.6], 
         Directive[
          PointSize[
           NCache[
            Rational[7, 360], 0.019444444444444445`]], 
          AbsoluteThickness[1.6], 
          RGBColor[1, 0.5, 0], 
          Dashing[{Small, Small}], 
          Opacity[0.5]], 
         LineBox[{{0., 1.4142135623730951`}, {1., 
          1.4142135623730951`}}]}}}, {{}, {}}}, {{}, {{{}, {}, {
         Hue[0.67, 0.6, 0.6], 
         Directive[
          PointSize[
           NCache[
            Rational[1, 72], 0.013888888888888888`]], 
          AbsoluteThickness[1.6], 
          RGBColor[1, 0.5, 0], 
          Thickness[0.008]], 
         LineBox[CompressedData["
1:eJxdk2tIU2EYx9c+SabdrIhoVmQYQYUFdvUh+qAVEi4iFK0oZ5CZsyzLFCm1
G5EWiWYhC4OciEy7zLLS1PKSWjpzltM2t7npdHM750zLtDznPOcN98IYz/7v
+1z+v2erTyRKZWKRSCSb+bDfs88YXPErDzWkZsGfv+xxYPwA5qBeJcm2RVQV
kZjXn5K48CF7lB73y0GM8UgE+0sFzK73guhztcXy3XPV8Bfr8/lewxTG66Nz
6pjAtx753xP96cxrbXEt0fl6H8g8W7hTT+rx9RtIP/VM4EyFjzCJ9/l+Gkk+
KVewidzn+2sm+QypbMIWj35biZ7Etidv8+i/neh83q9E5+f5H4dxBTo85usg
79lq0TmdROfn1ZCYG0er8eDXRebxZ9uRfCM678f/+FQce7rJfLw/WvKezeZX
riU671cP6c/NpmN6iM77953oIVzCH6Qe7+cPkp9rL7uX6Ly/OpKvrZU9Og+/
+wjPJVyD/R7+98M06ly66J8k5uvq4fesefSweYFYelgs8NHDq5gx+YCXMJ8e
3jwL37B4scDLALd3BSkSVgn7YoCjR2IL7mwW+BngpKUldMVeYf4BcNasWNR5
ROA5AFWHJuYlnxX8GIDE4XO+bdcFvkZ41DgnQKUQ/DHCdPrdY+5qgbcRlDBf
k94j+GWCxDT9l0C3wN8EJ1VZu/r8nOifCcb7HD5ZW524D2a4qYjSeh12op9m
UF92n4m86MT9MEPMDWOerMCJ/g5C/Pu7LZJqJ+7LICzXBE+l9DvR70FgVmpO
y8Qu3B8L6Bq6z+nWudB/C1Tfa07WHHDhPllgo/lJ5Z4kF/KwgjpvU7B/vgt5
WCFqzF4T+86FPKwwLq9ReptcyMMKAaXz9T7eFPIYgtzja9plQRTyGIKbv/yl
vlEU8hiCkNfPK8TXKOQxDG9TpnNCSinI5XgMg1qrMr3rpJDHMKwRraPTJink
YQNVcUzYpbU08rBB5ERVaVk4jTxsUHvwhGRZCo08RiAnfn/vCwWNPEbg1m3l
vswWGnmMQOFjeiqDppHHKNgk21+WSBjkMQqNZk3EZBiDPEah6/GlngvnGeRh
B8PCqwlLixjkYYfK1DRpbxODPOzwSTdurKMY5OGAgtzL+Z8lbuThgMz7pb+o
fW7k4YBtrpKyHRfc5H/ZtjMjrkjhhn8AtP6X
          "]]}}}, {{}, {}}}, {{}, {{{}, {}, {
         Hue[0.67, 0.6, 0.6], 
         Directive[
          PointSize[
           NCache[
            Rational[1, 72], 0.013888888888888888`]], 
          AbsoluteThickness[1.6], 
          RGBColor[0, 0, 1], 
          Thickness[0.008], 
          Opacity[0.7]], 
         LineBox[CompressedData["
1:eJxdlF1IU2EYx7eIEIt20aSLwPSi2PLOoCvziQz0KqZhREyiD3MU5YpBsEoo
t7toBd1UEiO9qKAxU0ojslqimcZq6Vmr1T7UfZx9nYtFdaHtnPe8z8HnhXH4
n+fs+fj/nnPqT/R2dK/T6XTdlZ98XXtKcNnoa407XbBW30E9VusW28cewKpy
imp8CFZUfe+ufB6jZs/7UOfa5TvDJP8o6mph0L63+gVqlm8ctdnqeVc2vSL9
vEY9VPm3MPgGNav3FvVu5QRI/feoA2VTpcIk9sv6mcJ4h1JwmvT3AfSqjjvl
hDOk31mMX5Dbs8+R/j+hZtcg1mfzBDHephT4TObTtFzN6vlC5g2hVsYRQmT+
r1hvu9xO7TzyZX7MY7zntHwWiD8C5pOzGX0C8SuM+recrhwm/n3DfM1KwgjG
mZ+aVtpzfyf+/kA9NysfTTO/o6hrlAZ/Ev81raSz/sJ+2P0YajZPjPCJkfm0
OOMVJ/PGCT9Ns/kThGeC+JEgfJPEnyThnSR+LWJ/jL+mmX+L+DzbhyXip6bZ
fiwRf5dRs31ZJt8DLc72J0X8T5F90jS7pnE/GY801CUGNmzW8/c/DU89ksW4
nvNIw0hXyZ6o4u9PBiKRl1sOGjiPDFxxrBoat3IeGbjR1Og9V8d5ZOH+xpsT
yV0luKXwyEKzLfnQuYfzyMLJ1EzrthbOQ4TpSys1wxbOQ4Se29c95mOchwij
h/5scpznPHJwPPC3/1offx9zELR97Dzg4fucg4Ep/Q6/l/PIw5HYP//4M84j
D/0N+54fnuQ88vAEDKGrYc6jAC7R1rszx3kUwDJS/6hNJ6k8CnDK72qKGiWV
R+U7vtDQFzVLKo8iOM5M7G8BSeVRBLf3qFDVKSGX0MWusumsBP8BdS6/bQ==

          "]]}}}, {{}, {}}}}, {
    DisplayFunction -> Identity, DisplayFunction -> Identity, AspectRatio -> 
     NCache[GoldenRatio^(-1), 0.6180339887498948], Axes -> {True, True}, 
     AxesLabel -> {
       FormBox[
        TagBox["\"  p\"", HoldForm], TraditionalForm], 
       FormBox[
        TagBox["\"\\!\\(\\*SubscriptBox[\\(S\\), \\(3\\)]\\)\"", HoldForm], 
        TraditionalForm]}, AxesOrigin -> {0, 0.8000000000000018}, AxesStyle -> 
     Directive[
       GrayLevel[0], 20, FontFamily -> "Times New Roman"], DisplayFunction :> 
     Identity, Frame -> {{False, False}, {False, False}}, 
     FrameLabel -> {{None, None}, {None, None}}, 
     FrameTicks -> {{Automatic, Automatic}, {Automatic, Automatic}}, 
     GridLines -> {None, None}, GridLinesStyle -> Directive[
       GrayLevel[0.5, 0.4]], LabelStyle -> Directive[
       GrayLevel[0], 20, FontFamily -> "Times New Roman"], 
     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[1.6]], 
         Directive[
          RGBColor[0.880722, 0.611041, 0.142051], 
          AbsoluteThickness[1.6]], 
         Directive[
          RGBColor[0.560181, 0.691569, 0.194885], 
          AbsoluteThickness[1.6]], 
         Directive[
          RGBColor[0.922526, 0.385626, 0.209179], 
          AbsoluteThickness[1.6]], 
         Directive[
          RGBColor[0.528488, 0.470624, 0.701351], 
          AbsoluteThickness[1.6]], 
         Directive[
          RGBColor[0.772079, 0.431554, 0.102387], 
          AbsoluteThickness[1.6]], 
         Directive[
          RGBColor[0.363898, 0.618501, 0.782349], 
          AbsoluteThickness[1.6]], 
         Directive[
          RGBColor[1, 0.75, 0], 
          AbsoluteThickness[1.6]], 
         Directive[
          RGBColor[0.647624, 0.37816, 0.614037], 
          AbsoluteThickness[1.6]], 
         Directive[
          RGBColor[0.571589, 0.586483, 0.], 
          AbsoluteThickness[1.6]], 
         Directive[
          RGBColor[0.915, 0.3325, 0.2125], 
          AbsoluteThickness[1.6]], 
         Directive[
          RGBColor[0.40082222609352647`, 0.5220066643438841, 0.85], 
          AbsoluteThickness[1.6]], 
         Directive[
          RGBColor[
          0.9728288904374106, 0.621644452187053, 0.07336199581899142], 
          AbsoluteThickness[1.6]], 
         Directive[
          RGBColor[0.736782672705901, 0.358, 0.5030266573755369], 
          AbsoluteThickness[1.6]], 
         Directive[
          RGBColor[0.28026441037696703`, 0.715, 0.4292089322474965], 
          AbsoluteThickness[1.6]]}, "DomainPadding" -> Scaled[0.02], 
       "RangePadding" -> Scaled[0.05], "OptimizePlotMarkers" -> True, 
       "OptimizePlotMarkers" -> True, 
       "CoordinatesToolOptions" -> {"DisplayFunction" -> ({
           Identity[
            Part[#, 1]], 
           Identity[
            Part[#, 2]]}& ), "CopiedValueFunction" -> ({
           Identity[
            Part[#, 1]], 
           Identity[
            Part[#, 2]]}& )}}, PlotLabel -> FormBox[
       StyleBox["\"Svetlichny Violation Against Mixedness\"", 
        GrayLevel[0], 20, StripOnInput -> False], TraditionalForm], 
     PlotRange -> {{0, 1.}, {0.8, 1.5}}, PlotRangeClipping -> True, 
     PlotRangePadding -> {{
        Scaled[0.02], 
        Scaled[0.02]}, {0, 0}}, Ticks -> {Automatic, {{0.8, 
         FormBox["0.8`", TraditionalForm]}, {0.9, 
         FormBox["0.9`", TraditionalForm]}, {1., 
         FormBox["\"1.0\"", TraditionalForm]}, {1.1, 
         FormBox["1.1`", TraditionalForm]}, {1.2, 
         FormBox["1.2`", TraditionalForm]}, {1.3, 
         FormBox["1.3`", TraditionalForm]}, {1.4, 
         FormBox["1.4`", TraditionalForm]}}}}], 
   FormBox[
    TagBox[
     GridBox[{{
        FormBox[
         TemplateBox[{"\"GHZ\""}, "LineLegend", DisplayFunction -> (StyleBox[
            StyleBox[
             PaneBox[
              TagBox[
               GridBox[{{
                  TagBox[
                   GridBox[{{
                    GraphicsBox[{{
                    Directive[
                    EdgeForm[
                    Directive[
                    Opacity[0.3], 
                    GrayLevel[0]]], 
                    PointSize[0.5], 
                    AbsoluteThickness[1.6], 
                    RGBColor[1, 0.5, 0], 
                    Thickness[0.14400000000000002`]], {
                    LineBox[{{0, 10}, {20, 10}}]}}, {
                    Directive[
                    EdgeForm[
                    Directive[
                    Opacity[0.3], 
                    GrayLevel[0]]], 
                    PointSize[0.5], 
                    AbsoluteThickness[1.6], 
                    RGBColor[1, 0.5, 0], 
                    Thickness[0.14400000000000002`]], {}}}, AspectRatio -> 
                    Full, ImageSize -> {20, 10}, PlotRangePadding -> None, 
                    ImagePadding -> Automatic, 
                    BaselinePosition -> (Scaled[0.1] -> Baseline)], #}}, 
                    GridBoxAlignment -> {
                    "Columns" -> {Center, Left}, "Rows" -> {{Baseline}}}, 
                    AutoDelete -> False, 
                    GridBoxDividers -> {
                    "Columns" -> {{False}}, "Rows" -> {{False}}}, 
                    GridBoxItemSize -> {
                    "Columns" -> {{All}}, "Rows" -> {{All}}}, 
                    GridBoxSpacings -> {
                    "Columns" -> {{0.5}}, "Rows" -> {{0.8}}}], "Grid"]}}, 
                GridBoxAlignment -> {
                 "Columns" -> {{Left}}, "Rows" -> {{Top}}}, AutoDelete -> 
                False, GridBoxItemSize -> {
                 "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, 
                GridBoxSpacings -> {"Columns" -> {{1}}, "Rows" -> {{0}}}], 
               "Grid"], Alignment -> Left, AppearanceElements -> None, 
              ImageMargins -> {{5, 5}, {5, 5}}, ImageSizeAction -> 
              "ResizeToFit"], LineIndent -> 0, StripOnInput -> False], {
            FontFamily -> "Arial"}, Background -> Automatic, StripOnInput -> 
            False]& ), InterpretationFunction :> (RowBox[{"LineLegend", "[", 
             RowBox[{
               RowBox[{"{", 
                 RowBox[{"Directive", "[", 
                   RowBox[{
                    RowBox[{"PointSize", "[", 
                    FractionBox["1", "72"], "]"}], ",", 
                    RowBox[{"AbsoluteThickness", "[", "1.6`", "]"}], ",", 
                    
                    TemplateBox[<|"color" -> RGBColor[1, 0.5, 0]|>, 
                    "RGBColorSwatchTemplate"], ",", 
                    RowBox[{"Thickness", "[", "0.008`", "]"}]}], "]"}], "}"}],
                ",", 
               RowBox[{"{", #, "}"}], ",", 
               RowBox[{"LegendMarkers", "\[Rule]", 
                 RowBox[{"{", 
                   RowBox[{"{", 
                    RowBox[{"False", ",", "Automatic"}], "}"}], "}"}]}], ",", 
               RowBox[{"Joined", "\[Rule]", 
                 RowBox[{"{", "True", "}"}]}], ",", 
               RowBox[{"LabelStyle", "\[Rule]", 
                 RowBox[{"{", "}"}]}], ",", 
               RowBox[{"LegendLayout", "\[Rule]", "\"Column\""}]}], "]"}]& ), 
          Editable -> True], TraditionalForm]}, {
        FormBox[
         TemplateBox[{"\"W\""}, "LineLegend", DisplayFunction -> (StyleBox[
            StyleBox[
             PaneBox[
              TagBox[
               GridBox[{{
                  TagBox[
                   GridBox[{{
                    GraphicsBox[{{
                    Directive[
                    EdgeForm[
                    Directive[
                    Opacity[0.3], 
                    GrayLevel[0]]], 
                    PointSize[0.5], 
                    AbsoluteThickness[1.6], 
                    RGBColor[0, 0, 1], 
                    Thickness[0.14400000000000002`], 
                    Opacity[0.7]], {
                    LineBox[{{0, 10}, {20, 10}}]}}, {
                    Directive[
                    EdgeForm[
                    Directive[
                    Opacity[0.3], 
                    GrayLevel[0]]], 
                    PointSize[0.5], 
                    AbsoluteThickness[1.6], 
                    RGBColor[0, 0, 1], 
                    Thickness[0.14400000000000002`], 
                    Opacity[0.7]], {}}}, AspectRatio -> Full, 
                    ImageSize -> {20, 10}, PlotRangePadding -> None, 
                    ImagePadding -> Automatic, 
                    BaselinePosition -> (Scaled[0.1] -> Baseline)], #}}, 
                    GridBoxAlignment -> {
                    "Columns" -> {Center, Left}, "Rows" -> {{Baseline}}}, 
                    AutoDelete -> False, 
                    GridBoxDividers -> {
                    "Columns" -> {{False}}, "Rows" -> {{False}}}, 
                    GridBoxItemSize -> {
                    "Columns" -> {{All}}, "Rows" -> {{All}}}, 
                    GridBoxSpacings -> {
                    "Columns" -> {{0.5}}, "Rows" -> {{0.8}}}], "Grid"]}}, 
                GridBoxAlignment -> {
                 "Columns" -> {{Left}}, "Rows" -> {{Top}}}, AutoDelete -> 
                False, GridBoxItemSize -> {
                 "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, 
                GridBoxSpacings -> {"Columns" -> {{1}}, "Rows" -> {{0}}}], 
               "Grid"], Alignment -> Left, AppearanceElements -> None, 
              ImageMargins -> {{5, 5}, {5, 5}}, ImageSizeAction -> 
              "ResizeToFit"], LineIndent -> 0, StripOnInput -> False], {
            FontFamily -> "Arial"}, Background -> Automatic, StripOnInput -> 
            False]& ), InterpretationFunction :> (RowBox[{"LineLegend", "[", 
             RowBox[{
               RowBox[{"{", 
                 RowBox[{"Directive", "[", 
                   RowBox[{
                    RowBox[{"PointSize", "[", 
                    FractionBox["1", "72"], "]"}], ",", 
                    RowBox[{"AbsoluteThickness", "[", "1.6`", "]"}], ",", 
                    
                    TemplateBox[<|"color" -> RGBColor[0, 0, 1]|>, 
                    "RGBColorSwatchTemplate"], ",", 
                    RowBox[{"Thickness", "[", "0.008`", "]"}], ",", 
                    RowBox[{"Opacity", "[", "0.7`", "]"}]}], "]"}], "}"}], 
               ",", 
               RowBox[{"{", #, "}"}], ",", 
               RowBox[{"LegendMarkers", "\[Rule]", 
                 RowBox[{"{", 
                   RowBox[{"{", 
                    RowBox[{"False", ",", "Automatic"}], "}"}], "}"}]}], ",", 
               RowBox[{"Joined", "\[Rule]", 
                 RowBox[{"{", "True", "}"}]}], ",", 
               RowBox[{"LabelStyle", "\[Rule]", 
                 RowBox[{"{", "}"}]}], ",", 
               RowBox[{"LegendLayout", "\[Rule]", "\"Column\""}]}], "]"}]& ), 
          Editable -> True], TraditionalForm]}}, 
      GridBoxAlignment -> {"Columns" -> {{Left}}}, AutoDelete -> False, 
      GridBoxItemSize -> {
       "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, 
      GridBoxSpacings -> {"Columns" -> {{0}}}], "Grid"], TraditionalForm]},
  "Legended",
  DisplayFunction->(GridBox[{{
      TagBox[
       ItemBox[
        PaneBox[
         TagBox[#, "SkipImageSizeLevel"], Alignment -> {Center, Baseline}, 
         BaselinePosition -> Baseline], DefaultBaseStyle -> "Labeled"], 
       "SkipImageSizeLevel"], 
      ItemBox[#2, DefaultBaseStyle -> "LabeledLabel"]}}, 
    GridBoxAlignment -> {"Columns" -> {{Center}}, "Rows" -> {{Center}}}, 
    AutoDelete -> False, GridBoxItemSize -> Automatic, 
    BaselinePosition -> {1, 1}]& ),
  Editable->True,
  InterpretationFunction->(RowBox[{"Legended", "[", 
     RowBox[{#, ",", 
       RowBox[{"Placed", "[", 
         RowBox[{#2, ",", "After"}], "]"}]}], "]"}]& )]], "Output",
 CellChangeTimes->{3.9316838486708612`*^9, 3.9316839321381383`*^9, 
  3.931684103149296*^9, 3.9316841579392366`*^9, 3.9316842080210686`*^9, 
  3.93168424879966*^9, 3.931684284713704*^9, 3.9316844106887264`*^9},
 CellLabel->"Out[26]=",ExpressionUUID->"d22490dc-d696-46db-bda9-9bd483f76874"]
}, Open  ]],

Cell[BoxData[
 RowBox[{
  RowBox[{"Export", "[", 
   RowBox[{
    RowBox[{"SystemDialogInput", "[", 
     RowBox[{"\"\<FileSave\>\"", ",", " ", "\"\<ghz_w_svet.png\>\""}], "]"}], 
    ",", "svetvsnoise", ",", 
    RowBox[{"Background", "->", "None"}]}], "]"}], ";"}]], "Input",
 CellChangeTimes->{
  3.931684421810642*^9},ExpressionUUID->"d406b8fd-5496-4b03-b4f1-\
0f0aeee3295d"]
}, Open  ]]
},
WindowSize->{1070.25, 597.75},
WindowMargins->{{0, Automatic}, {Automatic, 0}},
TaggingRules-><|"TryRealOnly" -> False|>,
FrontEndVersion->"13.2 for Microsoft Windows (64-bit) (November 18, 2022)",
StyleDefinitions->"Default.nb",
ExpressionUUID->"f273a594-ff91-4435-a17e-c3cd7f0b39b0"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[CellGroupData[{
Cell[580, 22, 160, 3, 67, "Section",ExpressionUUID->"720aa717-1458-4611-9026-d057c4748d17"],
Cell[743, 27, 524, 13, 67, "Input",ExpressionUUID->"b8d3f3f4-d053-4a31-92ce-2db537cc3d31"],
Cell[1270, 42, 813, 21, 67, "Input",ExpressionUUID->"37c464f7-dccf-4972-94f8-5a31988e1521"],
Cell[2086, 65, 2409, 53, 105, "Input",ExpressionUUID->"ee5ec4e0-9252-4265-b47b-c2f5c77fc30e"],
Cell[CellGroupData[{
Cell[4520, 122, 1390, 39, 126, "Input",ExpressionUUID->"7b4c185d-ae76-4758-993d-9ad49813745d"],
Cell[5913, 163, 1762, 54, 203, "Print",ExpressionUUID->"cb7985fd-84d1-4663-93a1-6bf5a6467896"]
}, Closed]],
Cell[CellGroupData[{
Cell[7712, 222, 3500, 81, 232, "Input",ExpressionUUID->"f9bb0fdc-0b42-4d98-94d6-b55cc3bfbb63"],
Cell[11215, 305, 941, 15, 22, "Print",ExpressionUUID->"44630c94-db71-44a0-ac99-0178b68984e4"],
Cell[12159, 322, 7850, 210, 223, "Output",ExpressionUUID->"7e87aeab-62c3-49c5-b88e-135f0e0c9a10"]
}, Closed]],
Cell[CellGroupData[{
Cell[20046, 537, 1243, 35, 122, "Input",ExpressionUUID->"6db689f6-250e-4d49-b706-4f60add098de"],
Cell[21292, 574, 1602, 48, 203, "Print",ExpressionUUID->"6edf5969-3be2-4ef2-8ccf-1ae52256f692"]
}, Closed]],
Cell[CellGroupData[{
Cell[22931, 627, 2773, 71, 232, "Input",ExpressionUUID->"a9e4a7e3-b45c-4905-82d6-7f23f66a9e31"],
Cell[25707, 700, 216, 4, 22, "Print",ExpressionUUID->"1edd4d42-5abe-4647-94db-42f7d38177d0"],
Cell[25926, 706, 8388, 206, 242, "Output",ExpressionUUID->"34ca0a90-2b11-424a-94f2-dd1fb93d9fd2"]
}, Closed]],
Cell[CellGroupData[{
Cell[34351, 917, 4877, 128, 272, "Input",ExpressionUUID->"f0259b0c-f16d-42dc-ab15-fb90de996ef2"],
Cell[39231, 1047, 16488, 363, 288, "Output",ExpressionUUID->"d22490dc-d696-46db-bda9-9bd483f76874"]
}, Open  ]],
Cell[55734, 1413, 379, 10, 28, "Input",ExpressionUUID->"d406b8fd-5496-4b03-b4f1-0f0aeee3295d"]
}, Open  ]]
}
]
*)