(* 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[ 135726, 2763] NotebookOptionsPosition[ 128022, 2581] NotebookOutlinePosition[ 131751, 2676] CellTagsIndexPosition[ 131672, 2671] WindowTitle->Graph-state Quantum Circuit | Example Notebook WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell["\<\ Graph states (also known as cluster states) are a specific class of \ multi-qubit entangled states that are defined based on graphs. Graph states \ are foundational to the one-way quantum computing model (measurement-based \ quantum computing), where quantum computation is achieved through a sequence \ of adaptive measurements on an initial graph state.\ \>", "Text", TaggingRules->{}, CellChangeTimes->{{3.889196288224585*^9, 3.889196302885935*^9}, { 3.8892049649581223`*^9, 3.8892050285771313`*^9}, 3.8896255785806513`*^9, 3.8896256521187153`*^9, 3.889777662824747*^9}, CellTags->"DefaultContent", CellID->266413086,ExpressionUUID->"0459dc0e-3da3-466c-b023-4c9846425e0b"], Cell["\<\ Generate a random graph with 4 vertexes and 5 edges. Each vertex of the graph \ corresponds to a qubit, and the edges represent entanglement between the \ qubits:\ \>", "CodeText", TaggingRules->{}, CellChangeTimes->{{3.889195477850944*^9, 3.889195481203723*^9}, { 3.889195517261098*^9, 3.889195527055155*^9}, {3.8896256568936205`*^9, 3.8896256598230457`*^9}}, CellTags->"DefaultContent", CellID->905906016,ExpressionUUID->"2d875e48-3dc4-4969-a25b-563cc95aaf6d"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"g", "=", RowBox[{"RandomGraph", "[", RowBox[{ RowBox[{"{", RowBox[{"4", ",", "5"}], "}"}], ",", RowBox[{"VertexLabels", "->", "Automatic"}]}], "]"}]}]], "Input", TaggingRules->{}, CellChangeTimes->{{3.889195483818331*^9, 3.8891955134827747`*^9}}, CellTags->"DefaultContent", CellLabel->"In[93]:=", CellID->184348158,ExpressionUUID->"b252e1a8-3033-4ed0-9c36-a658e0fd4004"], Cell[BoxData[ GraphicsBox[ NamespaceBox["NetworkGraphics", DynamicModuleBox[{Typeset`graph = HoldComplete[ Graph[{1, 2, 3, 4}, {Null, SparseArray[ Automatic, {4, 4}, 0, { 1, {{0, 2, 4, 7, 10}, {{3}, {4}, {3}, {4}, {1}, {2}, {4}, {1}, {2}, { 3}}}, Pattern}]}, {VertexLabels -> {Automatic}}]]}, TagBox[GraphicsGroupBox[{ {Hue[0.6, 0.7, 0.5], Opacity[0.7], Arrowheads[0.], ArrowBox[{{{1.8679560464579605`, 0.43481136431138123`}, { 0.9331369518986292, 0.}}, {{1.8679560464579605`, 0.43481136431138123`}, {0.9330828110378959, 0.8691193699594424}}, {{ 0., 0.4347863960793146}, {0.9331369518986292, 0.}}, {{0., 0.4347863960793146}, {0.9330828110378959, 0.8691193699594424}}, {{ 0.9331369518986292, 0.}, {0.9330828110378959, 0.8691193699594424}}}, 0.021530983641552454`]}, {Hue[0.6, 0.2, 0.8], EdgeForm[{GrayLevel[0], Opacity[ 0.7]}], { DiskBox[{1.8679560464579605`, 0.43481136431138123`}, 0.021530983641552454], InsetBox["1", Offset[{2, 2}, {1.889487030099513, 0.4563423479529337}], ImageScaled[{0, 0}], BaseStyle->"Graphics"]}, { DiskBox[{0., 0.4347863960793146}, 0.021530983641552454], InsetBox["2", Offset[{2, 2}, {0.021530983641552454, 0.45631737972086706}], ImageScaled[{0, 0}], BaseStyle->"Graphics"]}, { DiskBox[{0.9331369518986292, 0.}, 0.021530983641552454], InsetBox["3", Offset[{2, 2}, {0.9546679355401817, 0.021530983641552454}], ImageScaled[{0, 0}], BaseStyle->"Graphics"]}, { DiskBox[{0.9330828110378959, 0.8691193699594424}, 0.021530983641552454], InsetBox["4", Offset[{2, 2}, {0.9546137946794484, 0.8906503536009949}], ImageScaled[{0, 0}], BaseStyle->"Graphics"]}}}], MouseAppearanceTag["NetworkGraphics"]], AllowKernelInitialization->False]], DefaultBaseStyle->"NetworkGraphics", FormatType->TraditionalForm, FrameTicks->None]], "Output", TaggingRules->{}, CellChangeTimes->{{3.889195505861395*^9, 3.889195513890164*^9}, 3.8891963378237133`*^9, 3.8922055819474897`*^9, 3.8922057018238497`*^9}, CellTags->"DefaultContent", CellLabel->"Out[93]=", CellID->1777659084,ExpressionUUID->"81ea5a0a-5d06-424c-a518-e2b854683990"] }, Open ]], Cell["Install and load the QuantumFramework paclet:", "CodeText", TaggingRules->{}, CellChangeTimes->{{3.8896301375389147`*^9, 3.889630152807868*^9}, { 3.890229877566183*^9, 3.890229882487233*^9}}, CellID->962431612,ExpressionUUID->"12de9130-d4d3-4d0a-b4c5-ab3eb9c7768a"], Cell[CellGroupData[{ Cell[BoxData[{ RowBox[{"PacletInstall", "[", "\"\\"", "]"}], "\[IndentingNewLine]", RowBox[{"Needs", "[", "\"\\"", "]"}]}], "Input", TaggingRules->{}, CellChangeTimes->{{3.8896301316068687`*^9, 3.889630135374712*^9}}, CellLabel->"In[94]:=", CellID->79948181,ExpressionUUID->"f1d04472-f098-42e2-b0d0-f4df351fd9dc"], Cell[BoxData[ InterpretationBox[ RowBox[{ TagBox["PacletObject", "SummaryHead"], "[", DynamicModuleBox[{Typeset`open$$ = False, Typeset`embedState$$ = "Ready"}, TemplateBox[{ PaneSelectorBox[{False -> GridBox[{{ PaneBox[ ButtonBox[ DynamicBox[ FEPrivate`FrontEndResource["FEBitmaps", "SummaryBoxOpener"]], ButtonFunction :> (Typeset`open$$ = True), Appearance -> None, BaseStyle -> {}, Evaluator -> Automatic, Method -> "Preemptive"], Alignment -> {Center, Center}, ImageSize -> Dynamic[{ Automatic, 3.5 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[ Magnification])}]], GraphicsBox[{ Thickness[0.0416667], { FaceForm[{ RGBColor[0.961, 0.961, 0.961], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{12.5454, 22.5972}, {7.5464, 20.5002}, {2.5454, 18.4022}, {2.5454, 12.5982}, {2.5454, 12.5972}, {2.5454, 6.7952}, {7.5454, 4.6962}, {7.546, 4.6972}, {12.5454, 2.5992}, {17.5454, 4.6972}, {17.5454, 4.6962}, {22.5454, 6.7952}, {22.5454, 12.5972}, {22.5454, 12.5982}, {22.5454, 18.4022}}}]}, { FaceForm[{ RGBColor[0.898, 0.898, 0.898], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}, {0, 1, 0}}}, {{{17.125, 8.3359}, {17.125, 14.0569}, {16.875, 14.0569}, {16.875, 8.3359}, {17., 8.1169}, {21.952, 6.0399}, {22.049, 6.2709}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}, {0, 1, 0}}}, {{{7.125, 8.3359}, {7.125, 14.0569}, { 6.875, 14.0569}, {6.875, 8.3359}, {1.952, 6.2709}, {2.048, 6.0399}, {7., 8.1169}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}}}, {{{11.8745, 6.2383}, {6.9515, 4.1733}, {7.0475, 3.9423}, {11.9995, 6.0193}, {16.9515, 3.9423}, {17.0475, 4.1733}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}, {0, 1, 0}}}, {{{17.125, 14.1392}, {17.125, 19.8602}, {16.875, 19.8602}, {16.875, 14.1392}, {17., 13.9202}, {21.952, 11.8432}, {22.049, 12.0742}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}, {0, 1, 0}}}, {{{7.125, 14.1392}, {7.125, 19.8602}, { 6.875, 19.8602}, {6.875, 14.1392}, {1.952, 12.0742}, {2.048, 11.8432}, {7., 13.9202}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}}}, {{{11.8746, 21.3633}, {11.8746, 18.3563}, { 11.9996, 18.3033}, {12.1246, 18.3563}, {12.1246, 21.3633}, { 11.9996, 21.4153}}}]}, { FaceForm[{ RGBColor[0.749, 0.749, 0.749], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {1, 3, 3}}}, {{{8.292, 19.8594}, {12., 21.4154}, {15.707, 19.8594}, {12., 18.3034}}, {{17.5, 19.5274}, {17.5, 20.1924}, {12., 22.5004}, {6.5, 20.1924}, {6.5, 19.5284}, { 12., 17.2194}, {12., 17.2194}, {15.7, 18.7724}, {17.5, 19.5274}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}}}, {{{11.5, 8.5156}, {11.5, 6.4876}, {11.5, 5.4026}, {12.5, 5.8226}, {12.5, 8.5156}, {12., 8.3056}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{21.5, 6.4873}, {17.5, 4.8083}, {17.5, 9.5283}, {21.5, 11.2073}}, {{21.5, 12.7113}, {21.5, 12.2913}, {17., 10.4033}, {16.5, 10.6133}, {16.5, 10.1943}, { 15.707, 9.8613}, {16.5, 9.5283}, {16.5, 4.8083}, {16.5, 4.8093}, {16.5, 4.3903}, {15.707, 4.0573}, {17., 3.5143}, { 22.5, 5.8223}, {22.5, 12.2913}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{6.5, 4.8086}, {2.5, 6.4876}, {2.5, 11.2066}, {6.5, 9.5286}}, {{7.5, 9.1096}, {7.5, 9.1096}, { 7.5, 9.5286}, {8.292, 9.8616}, {7.5, 10.1936}, {7.5, 10.6136}, {7., 10.4036}, {2.5, 12.2906}, {2.5, 12.7106}, { 1.5, 12.2916}, {1.5, 5.8226}, {7., 3.5146}, {8.293, 4.0576}, {7.5, 4.3906}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}, {0, 1, 0}}}, {{{3.2925, 17.7622}, {7.0005, 19.3182}, {10.7075, 17.7622}, {7.0005, 16.2062}}, {{6.5005, 10.6122}, {2.5005, 12.2912}, {2.5005, 17.0102}, {6.5005, 15.3322}}, {{7.5005, 10.1932}, {7.5005, 10.6122}, {7.5005, 15.3322}, {12.0005, 17.2202}, {12.5005, 17.0102}, {12.5005, 18.0952}, {7.0005, 20.4032}, {1.5005, 18.0952}, {1.5005, 11.6262}, {7.0005, 9.3182}, {8.2935, 9.8612}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}, {0, 1, 0}}}, {{{21.5, 12.291}, {17.5, 10.612}, { 17.5, 15.332}, {21.5, 17.01}}, {{13.293, 17.762}, {17., 19.318}, {20.708, 17.762}, {17., 16.207}}, {{17., 20.403}, { 11.5, 18.095}, {11.5, 17.01}, {12., 17.22}, {16.5, 15.332}, { 16.5, 10.612}, {16.5, 10.194}, {15.706, 9.861}, {17., 9.318}, {22.5, 11.626}, {22.5, 18.095}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}, {0, 1, 0}}}, {{{16.4995, 4.3906}, {12.4995, 2.7116}, {12.4995, 7.4316}, {16.4995, 9.1096}}, {{11.4995, 2.7116}, {7.4995, 4.3906}, {7.4995, 9.1096}, {11.4995, 7.4316}}, {{16.4995, 10.6136}, {16.4995, 10.1946}, {11.9995, 8.3056}, {8.2915, 9.8616}, {7.4995, 10.1936}, {7.4995, 10.6146}, {6.4995, 10.1946}, {6.4995, 3.7256}, {11.9995, 1.4176}, {17.4995, 3.7256}, {17.4995, 10.1946}}}]}, { FaceForm[{ RGBColor[0.965, 0.765, 0.749], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}}}, {{{12., 17.6616}, {16.945, 15.5856}, {16.945, 9.9376}, {12., 7.8636}, {7.055, 9.9376}, {7.055, 15.5856}}}]}, { FaceForm[{ RGBColor[0.91, 0.655, 0.635], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{12.125, 17.7627}, {11.875, 17.7627}, {11.875, 12.0407}, {6.952, 9.9757}, {7.048, 9.7447}, {12., 11.8227}, {16.952, 9.7447}, { 17.048, 9.9757}, {12.125, 12.0407}}}]}, { FaceForm[{ RGBColor[0.867, 0.067, 0.], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{12.5, 8.5146}, {12.5, 13.2336}, {16.5, 14.9116}, { 16.5, 10.1926}}, {{7.5, 14.9116}, {11.5, 13.2336}, {11.5, 8.5146}, {7.5, 10.1926}}, {{15.708, 15.6636}, {12., 14.1086}, {8.292, 15.6636}, {12., 17.2206}}, {{12., 18.3046}, {6.5, 15.9956}, {6.5, 9.5286}, {12., 7.2206}, { 17.5, 9.5286}, {17.5, 15.9956}}}]}}, AspectRatio -> Automatic, ImageSize -> {24., 24.}, PlotRange -> {{0., 24.}, {0., 24.}}], GridBox[{{ RowBox[{ TagBox["\"Name: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["\"Wolfram/QuantumFramework\"", "SummaryItem"]}]}, { RowBox[{ TagBox["\"Version: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["\"1.0.35\"", "SummaryItem"]}]}}, GridBoxAlignment -> { "Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings -> {"Columns" -> {{2}}, "Rows" -> {{Automatic}}}, BaseStyle -> { ShowStringCharacters -> False, NumberMarks -> False, PrintPrecision -> 3, ShowSyntaxStyles -> False}]}}, GridBoxAlignment -> {"Columns" -> {{Left}}, "Rows" -> {{Top}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, BaselinePosition -> {1, 1}], True -> GridBox[{{ PaneBox[ ButtonBox[ DynamicBox[ FEPrivate`FrontEndResource["FEBitmaps", "SummaryBoxCloser"]], ButtonFunction :> (Typeset`open$$ = False), Appearance -> None, BaseStyle -> {}, Evaluator -> Automatic, Method -> "Preemptive"], Alignment -> {Center, Center}, ImageSize -> Dynamic[{ Automatic, 3.5 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[ Magnification])}]], GraphicsBox[{ Thickness[0.0416667], { FaceForm[{ RGBColor[0.961, 0.961, 0.961], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{12.5454, 22.5972}, {7.5464, 20.5002}, {2.5454, 18.4022}, {2.5454, 12.5982}, {2.5454, 12.5972}, {2.5454, 6.7952}, {7.5454, 4.6962}, {7.546, 4.6972}, {12.5454, 2.5992}, {17.5454, 4.6972}, {17.5454, 4.6962}, {22.5454, 6.7952}, {22.5454, 12.5972}, {22.5454, 12.5982}, {22.5454, 18.4022}}}]}, { FaceForm[{ RGBColor[0.898, 0.898, 0.898], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}, {0, 1, 0}}}, {{{17.125, 8.3359}, {17.125, 14.0569}, {16.875, 14.0569}, {16.875, 8.3359}, {17., 8.1169}, {21.952, 6.0399}, {22.049, 6.2709}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}, {0, 1, 0}}}, {{{7.125, 8.3359}, {7.125, 14.0569}, { 6.875, 14.0569}, {6.875, 8.3359}, {1.952, 6.2709}, {2.048, 6.0399}, {7., 8.1169}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}}}, {{{11.8745, 6.2383}, {6.9515, 4.1733}, {7.0475, 3.9423}, {11.9995, 6.0193}, {16.9515, 3.9423}, {17.0475, 4.1733}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}, {0, 1, 0}}}, {{{17.125, 14.1392}, {17.125, 19.8602}, {16.875, 19.8602}, {16.875, 14.1392}, {17., 13.9202}, {21.952, 11.8432}, {22.049, 12.0742}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}, {0, 1, 0}}}, {{{7.125, 14.1392}, {7.125, 19.8602}, { 6.875, 19.8602}, {6.875, 14.1392}, {1.952, 12.0742}, {2.048, 11.8432}, {7., 13.9202}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}}}, {{{11.8746, 21.3633}, {11.8746, 18.3563}, { 11.9996, 18.3033}, {12.1246, 18.3563}, {12.1246, 21.3633}, { 11.9996, 21.4153}}}]}, { FaceForm[{ RGBColor[0.749, 0.749, 0.749], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {1, 3, 3}}}, {{{8.292, 19.8594}, {12., 21.4154}, {15.707, 19.8594}, {12., 18.3034}}, {{17.5, 19.5274}, {17.5, 20.1924}, {12., 22.5004}, {6.5, 20.1924}, {6.5, 19.5284}, { 12., 17.2194}, {12., 17.2194}, {15.7, 18.7724}, {17.5, 19.5274}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}}}, {{{11.5, 8.5156}, {11.5, 6.4876}, {11.5, 5.4026}, {12.5, 5.8226}, {12.5, 8.5156}, {12., 8.3056}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{21.5, 6.4873}, {17.5, 4.8083}, {17.5, 9.5283}, {21.5, 11.2073}}, {{21.5, 12.7113}, {21.5, 12.2913}, {17., 10.4033}, {16.5, 10.6133}, {16.5, 10.1943}, { 15.707, 9.8613}, {16.5, 9.5283}, {16.5, 4.8083}, {16.5, 4.8093}, {16.5, 4.3903}, {15.707, 4.0573}, {17., 3.5143}, { 22.5, 5.8223}, {22.5, 12.2913}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{6.5, 4.8086}, {2.5, 6.4876}, {2.5, 11.2066}, {6.5, 9.5286}}, {{7.5, 9.1096}, {7.5, 9.1096}, { 7.5, 9.5286}, {8.292, 9.8616}, {7.5, 10.1936}, {7.5, 10.6136}, {7., 10.4036}, {2.5, 12.2906}, {2.5, 12.7106}, { 1.5, 12.2916}, {1.5, 5.8226}, {7., 3.5146}, {8.293, 4.0576}, {7.5, 4.3906}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}, {0, 1, 0}}}, {{{3.2925, 17.7622}, {7.0005, 19.3182}, {10.7075, 17.7622}, {7.0005, 16.2062}}, {{6.5005, 10.6122}, {2.5005, 12.2912}, {2.5005, 17.0102}, {6.5005, 15.3322}}, {{7.5005, 10.1932}, {7.5005, 10.6122}, {7.5005, 15.3322}, {12.0005, 17.2202}, {12.5005, 17.0102}, {12.5005, 18.0952}, {7.0005, 20.4032}, {1.5005, 18.0952}, {1.5005, 11.6262}, {7.0005, 9.3182}, {8.2935, 9.8612}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}, {0, 1, 0}}}, {{{21.5, 12.291}, {17.5, 10.612}, { 17.5, 15.332}, {21.5, 17.01}}, {{13.293, 17.762}, {17., 19.318}, {20.708, 17.762}, {17., 16.207}}, {{17., 20.403}, { 11.5, 18.095}, {11.5, 17.01}, {12., 17.22}, {16.5, 15.332}, { 16.5, 10.612}, {16.5, 10.194}, {15.706, 9.861}, {17., 9.318}, {22.5, 11.626}, {22.5, 18.095}}}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}, {0, 1, 0}}}, {{{16.4995, 4.3906}, {12.4995, 2.7116}, {12.4995, 7.4316}, {16.4995, 9.1096}}, {{11.4995, 2.7116}, {7.4995, 4.3906}, {7.4995, 9.1096}, {11.4995, 7.4316}}, {{16.4995, 10.6136}, {16.4995, 10.1946}, {11.9995, 8.3056}, {8.2915, 9.8616}, {7.4995, 10.1936}, {7.4995, 10.6146}, {6.4995, 10.1946}, {6.4995, 3.7256}, {11.9995, 1.4176}, {17.4995, 3.7256}, {17.4995, 10.1946}}}]}, { FaceForm[{ RGBColor[0.965, 0.765, 0.749], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}}}, {{{12., 17.6616}, {16.945, 15.5856}, {16.945, 9.9376}, {12., 7.8636}, {7.055, 9.9376}, {7.055, 15.5856}}}]}, { FaceForm[{ RGBColor[0.91, 0.655, 0.635], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, { 0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{12.125, 17.7627}, {11.875, 17.7627}, {11.875, 12.0407}, {6.952, 9.9757}, {7.048, 9.7447}, {12., 11.8227}, {16.952, 9.7447}, { 17.048, 9.9757}, {12.125, 12.0407}}}]}, { FaceForm[{ RGBColor[0.867, 0.067, 0.], Opacity[1.]}], FilledCurveBox[{{{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}}, {{0, 2, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}, {0, 1, 0}}}, {{{12.5, 8.5146}, {12.5, 13.2336}, {16.5, 14.9116}, { 16.5, 10.1926}}, {{7.5, 14.9116}, {11.5, 13.2336}, {11.5, 8.5146}, {7.5, 10.1926}}, {{15.708, 15.6636}, {12., 14.1086}, {8.292, 15.6636}, {12., 17.2206}}, {{12., 18.3046}, {6.5, 15.9956}, {6.5, 9.5286}, {12., 7.2206}, { 17.5, 9.5286}, {17.5, 15.9956}}}]}}, AspectRatio -> Automatic, ImageSize -> {24., 24.}, PlotRange -> {{0., 24.}, {0., 24.}}], GridBox[{{ RowBox[{ TagBox["\"Name: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["\"Wolfram/QuantumFramework\"", "SummaryItem"]}]}, { RowBox[{ TagBox["\"Version: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["\"1.0.35\"", "SummaryItem"]}]}, { RowBox[{ TagBox["\"Location: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ "\"/Users/elizabeths/Library/Mathematica/Paclets/Repository/\ Wolfram__QuantumFramework-1.0.35\"", "SummaryItem"]}]}, { RowBox[{ TagBox["\"Description: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TagBox[ "\"Perform analytic and numeric quantum computations\"", Short], "SummaryItem"]}]}}, GridBoxAlignment -> { "Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings -> {"Columns" -> {{2}}, "Rows" -> {{Automatic}}}, BaseStyle -> { ShowStringCharacters -> False, NumberMarks -> False, PrintPrecision -> 3, ShowSyntaxStyles -> False}]}}, GridBoxAlignment -> {"Columns" -> {{Left}}, "Rows" -> {{Top}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, BaselinePosition -> {1, 1}]}, Dynamic[Typeset`open$$], ImageSize -> Automatic]}, "SummaryPanel"], DynamicModuleValues:>{}], "]"}], PacletObject[<| "Name" -> "Wolfram/QuantumFramework", "Description" -> "Perform analytic and numeric quantum computations", "Creator" -> "Wolfram Research, Quantum Computation Framework team", "License" -> "MIT", "PublisherID" -> "Wolfram", "Version" -> "1.0.35", "WolframVersion" -> "13.1+", "PrimaryContext" -> "Wolfram`QuantumFramework`", "Extensions" -> {{ "Kernel", "Root" -> "Kernel", "Context" -> { "Wolfram`QuantumFrameworkLoader`", { "Wolfram`QuantumFramework`", "QuantumFrameworkMain.m"}}, "Symbols" -> { "Wolfram`QuantumFramework`QuditName", "Wolfram`QuantumFramework`QuditBasis", "Wolfram`QuantumFramework`QuantumBasis", "Wolfram`QuantumFramework`QuantumState", "Wolfram`QuantumFramework`QuantumOperator", "Wolfram`QuantumFramework`QuantumMeasurementOperator", "Wolfram`QuantumFramework`QuantumCircuitOperator", "Wolfram`QuantumFramework`QuantumMeasurement", "Wolfram`QuantumFramework`QuantumTensorProduct", "Wolfram`QuantumFramework`QuantumPartialTrace", "Wolfram`QuantumFramework`QuantumDistance", "Wolfram`QuantumFramework`QuantumEntanglementMonotone", "Wolfram`QuantumFramework`QuantumEntangledQ", "Wolfram`QuantumFramework`QuantumWignerTransform", "Wolfram`QuantumFramework`QuantumChannel", "Wolfram`QuantumFramework`QuantumStateEstimate", "Wolfram`QuantumFramework`QuantumMeasurementSimulation", "Wolfram`QuantumFramework`QuantumEvolve"}}, { "Documentation", "Language" -> "English"}, { "AutoCompletionData", "Root" -> "AutoCompletionData"}, {"FrontEnd"}, { "Asset", "Root" -> "Assets", "Assets" -> {{"IBMQ.paclet", "ServiceConnection_IBMQ-0.0.1.paclet"}}}}, "Location" -> "/Users/elizabeths/Library/Mathematica/Paclets/Repository/Wolfram__\ QuantumFramework-1.0.35"|>], Editable->False, SelectWithContents->True, Selectable->False]], "Output", TaggingRules->{}, CellChangeTimes->{3.892205584323739*^9, 3.8922057034425087`*^9}, CellLabel->"Out[94]=", CellID->1972995524,ExpressionUUID->"060098b9-76ba-4e96-aa95-c760ba7ffee6"] }, Open ]], Cell["\<\ Create a circuit that generates the corresponding quantum graph state:\ \>", "CodeText", TaggingRules->{}, CellChangeTimes->{{3.8891955322619343`*^9, 3.889195542527894*^9}, { 3.8896255967207155`*^9, 3.889625630238534*^9}}, CellTags->"DefaultContent", CellID->726417371,ExpressionUUID->"632fc5fa-7815-4f7c-b419-a787f4ff35f9"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"qc", "=", RowBox[{"QuantumCircuitOperator", "[", RowBox[{"{", RowBox[{"\"\\"", ",", "g"}], "}"}], "]"}]}]], "Input", TaggingRules->{}, CellChangeTimes->{{3.8891955443354053`*^9, 3.889195549468893*^9}, { 3.88919563691636*^9, 3.889195646408896*^9}, {3.889195676512245*^9, 3.8891956886359463`*^9}}, CellTags->"DefaultContent", CellLabel->"In[96]:=", CellID->354698523,ExpressionUUID->"6008bc78-e5eb-4111-875e-7f3a9240d37f"], Cell[BoxData[ GraphicsBox[ TagBox[RasterBox[CompressedData[" 1:eJztnQl81GT+/6u4iqur6Op6r8eL+/IAcVHxAJFjOZT1Vg4BRVwvbtfFv8uN IHKoCFharkJLKdBKKaW0hZbeLS2U0vuYzvRiek9nqovd/r4zj+QfknSYJDOZ Tvm8X9EXTZ588ySTPO/neZI8eXDqpxPev9rLy2tOZ/rfhHcXPD979rv/+kcX +uPVT+bMnPHJe9NHfTL3vRnvzf7b1E40cxv99y2lt/67FQAAAAAAAAAAAAAA AAAAAADAo6WlxWQy1dTUnAcAtAFdIHSZ0MXi7usVAHDF0dzc7O4iEABPgi4Z d1+1AIArCE7TrL1gsViaAQAi6NLg9zs1Q9YAAE1oaWlhxU59fb27C0IAPAO6 WNhVg25wAIAGUBuBtabdXfgB4EmwljVdPu6+ggEAHR+uwHF3yQeAJ8FVcd19 BQMAOj6sEw/3pgGQBV0y7Npx9xUMAOj4cM/GAABkAVMDALQBpgZAGTA1AEAb YGoAlAFTAwC0AaYGQBkwNQBAG2BqAJQBUwMAtAGmBkAZMDUAQBtgagCUAVMD ALQBpgZAGTA1AEAbYGoAlAFTAwC0AaYGQBkwNQDAWfzvUgRLYWoAlCEwtZ2r DAAA7NO5c2cvHrm5ufylHmfqugZTvs6YW3xe1lRQamxobHJ33kGHgm/qOXPm 8K+yjz/+2B3XOgDAU/nDH/6wfv36jItcuHCBv9SDTN1oMvuEZLy75PCkRaEK pmnLwvyOZDaZze7eD9BB4Ju6srKSu8SeeeaZf/7zn+641gEAngqZ+vDhw20t 9SBTbwhIIeFOXhw6e33Ugu+jZU2z1kUyX28NznD3foAOQlv3qV966SWYGgAg i45h6nydkbWL40/rSspqFEzRqcVTFh+evCjUUFnr7r0BHQGYGgDgLDqGqcMT CsjUa/ySlGmaTct84yhIbHqJu/cGdARgagCAs+gYpj4Um0eS3bgvTY2pv92d REGiUorcvTegIwBTAwCcBUwNUwNXAFMDAJwFTA1TA1cAUwMAnAVMDVMDVwBT AwCcBUyt0tSmqmxjwtdVUXOr034011c6cacsTQ21Z3ZWRc87f3Jxoz7RiZGB BsDUHs3SpUsHDhy4YMECjxtT7vTp0+PHjx8xYkR8fLy78wKcBkytxtR1OQd1 Pj113l3ZpN/1hKki0yl7ZK6vMOwbxUWmqTp5nVMiA21QaWoSREpKyrp16958 883PPvssMDCwqqpK1aV+BVNUVLR3717S7sSJE9euXZucnCwY4klARkYGN6Bc eHi4Zvl0CmPGjGE5Hzx4sBPD0jHZuHHjlClT5s2bd/DgwerqaicGB5fFiab+ WR1qSkW3mNpcZ9D59iWHlu4YoN/9tG5bP/p3WdAYNTvCURU5yypon94UuXTX ICZrtKw9CDWmNpvNEyZM8LqUP/3pT6GhoWoveE1ISkpavnx5VFSUuzPS2tTU NG3aNC8Rjz32WGFhYVtrZWVlcSk95ZhzvPrqqyznjz/+uP2U33zzzapVq+hc tZ+MErzxxhuCA3jjjTcGBwc7L9ftiPZz9vLxLFNbLJYCKfwOWQcoW7c7QY2p V247SUGCjqbxI+fn5yfaEG+0MHajVaDb+pftH0eTIWiMbmt3mlNwJkaQMicn hyKkpqYK5lM1leafPXtWGDo/v8SnD4UyBI5kwXU7H6c/i47MF2eDWl4UhDYh eWSAADqFFMtXFopNXV9fP3DgQFYePvTQQySakSNHXn/99fRnp06dvL29nXDZ u5gvv/yScvvOO++4Nxu5ubk9e/bk6jnPP//8pEmT+vXrd9VVV9GcW265hQ51 W+v+8MMPY8eOXbFihcf1ftNeT506lfb01KlTdpJduHCBHQe6KOwka2hoGDRo EDuGt99++yuvvDJkyJBrrrmG/rz66qu/++47Z2ff/bSTs1eAZ5ma2hpZUmw/ mECSXesXr8bUK3xjKYh/aJIgeGRkJNWvxBvNO7bCaurtA5hMaSrx6UVzspNC BCnJyBQkNjZWMD8+Pp7mk8GFoTMzKE4JmTpoDItc6veUtQ4Q8oE4GzExMRSE NiF5ZIAAs1ZDuys29eLFi1nBOH36dE4TmZmZt912G8286aab6urqVF71ruaD Dz5oD2XdM888w47k5MmTf/nlF27+sWPH7rjjjrVr17oxb26nsrKSHRz7pl66 dClLRo7mbhmcOXOGrE0zr7vuurKyMk3yqx3t5OwV4FmmJuqlOBh9jiT7/d4U Nab+ZlciBQmPzxMEZwdBvNHqwlirqbd2NwS8YAgaq989hDWx62oqBSlra2sp gtFoFEaorqb5tFQcXB842tqvvnMQRaaWtc6nN/15/pSvOCWFbSsIEKNUvLJR ZuqmpqY///nPVFA8++yzgtYcVclYmblkyRI1lzwHnTNUwUtISKBTyMFVqKxO SUnJy8v77bff7CSjUt2lZR2Zgp9n+jfliu9iIigoiB2uzz77TBzBYrE4PVf/ /e9/8/PzqUJ+9uxZ+/fBf/31V6p6paWl0T+cng0HoUxe1tQmk4mdjY8//rhg j5KSkuwcXg5ai3aTDosjXRONjY2s91JWP4Yjh51O18LCwri4uOzsbEpvP6CC s5cu2+TkZLouWlpaHF+LIAXQqUsH87JPoTjd1IcuwrfwLxcRpOGnVFMquuuJ ssrwGfyHvmiqSd+iZkc46osidd7d+JEN+0ZZmhqcEhxogDJTe3t7swJw7969 4qUPP/wwLaL2IDeH2t0333zzkCFDxImnTZtGi1544QXBfGqSr169+tFHH2Wd n4y77rrLz89PkJLK2C5duvTr14/+TQXRuHHjqEXP0l9//fWrVq3il0uhoaG9 evV64IEHKHusd5TKlpsvZcCAAVx6KpDZTPGNYCp42SJq/LI5NTU1t95664MP PkgF8v3330/BaRNz5swh0/3jH/9gm6NdIINzQXr37k0zKYgjXRARERE3S0G7 39YqBw8epARjx45ttd3JXbBgwS233MIdz9tuu61e1LVOAtq+fTtljGWYuPba a+mY+Pv785PJ/U2HDRsmmfmVK1eKI/z973/v2rXrPffcQwm4+wKCFQMDA1ni TZs2sTQ7duwQh3r66afZmdDMu9P99ttvUwRKT94cOXLkH//4RxaBjuTs2bPb MumuXbt69OjBnZA33HDD66+/LikvuYedTpi33nqLn4YO/oQJEyorK/nJ5J69 HMHBwfSDXn311VzOSfRt9TP87W9/ozhUYaB/Hz9+nOvzIWjf7dfAXWRqQXv5 NxucqUNscOk919SkTmPcUp2t07t058DaTD81eyGAZG0IGGbTdLeqyFnm+gon BgeuRpmp2Zesb7zxRsnWFhmWXdfUHGZz3nzzTfrzkUceESdmTwFR4cCfGRYW xi+1qPzk5EuQfPmJT548STOpsN2zZw+7UU6FGJUYXHr+bUoqbL0uR7du3bj0 ubm5bCaVvYKc5+TksEVHjhxhc7iu2r/85S9ctE6dOg0fPpwff8SIESw9NZlZ sT937ty2DjUfykNbeW5rFarYeNmeTKNtCbLhZXvAQJCevMPd8GVHlTVXGVOn TuVSyv1NKaVkzv/zn/+II5Cm7f5EVrg626effsqy2iz11NlPP/3E0p87d46b SbUImtO/f//rrrvOyyYgqglwkYcOHSpodZIURo8ezZbSKn379r333nvZn6Td zMxMNYd91KhR3CKS6d13380plep1DQ0NXEq5Zy+DfjVuKdUkqd7F/k065k5d PhSBlpL7yHrs+PCRrA5xwNRqTM2oippLPq09u1vNLkjSaEixtqaDxjk9MnA1 ykxNLUS6Zvv06SO5lBMKtXbZHLmlenZ2NtmWGqebN2/mHn6mdge1JrxszSt+ Q4aZmnHnnXdS0++Cjf3797Pil5pmXGIqOQ0XoYKallLLxXAp/IaMMlNTYUjN H2p033fffWzOwoULKc/UVPSytYNYx+np06fZUiqB2zrUfOj3EmR10aJFLEJb qzBlUIHP3EQ/GW2L8klVLGpOUiOdn5hyRQ1MFpCqEyQgJqyioiL2aPrGjRu5 xHJ/U9p9QeZZ7UvS1JRDloZa9yw/1MQTrM7dGhg3bhwl6Nmzp+QR4G7HUBnO zWRHg+jcufO6devYJUBnHbmVzRd0IFBVis2fN2+eyWRiMxMSEliNQtyxIOuw v/POO1Sdo//TGd7U1NRq689n1Q9i/vz5XEq5Zy/h6+vL4gwePJjO2FbbTQ3K HlWz2fXCVac5mKlfe+01Oo3pMvzwww8zMjJIizU1NXQV0P8ljzNDm/vUgt5v SdSUih3b1GX7xzs9MnA1ykzNCjRqLEguTUlJYYVDUFAQmyO3VCcSExPFt+qo iGOR9+3bx83kTN2vX7+Kigp++s8//5wtkuyiZM+u27/Tp8zUX331FZszceJE L97dfB8fH5aAHfO9e/eyPxWP/kGWccTUjPHjx5vNZjvRuG7k6dOni5eSYvh/ KvhNBXTp0qUtU3OQXlmW7NynphYuJRDfQGFQNYNF4HetMIFSu5gqS/zEdXV1 rHZH5wY3k85n1sglTQuCJyUlsV6R48eP8+fLOux0MtBpJp7P+u1p7yTXcuTs pfY465vq1auXoPvr2LFjLHszZ84UrMVM7WXrNJNsdNsBpoapgStQZmrWlBg9 erTk0qyL7/lSfZ7NUV+qs4dtIiMjWeTly5dzizhTUxtHsBYVGmwRFbbimK4z NXfnmpRNf/773/9mf0ZHR7ME1PZp5d3upyNmf/fbwnFTUxNM8DCbGNY4veOO O/g9rm3RfkzNHgkgIUoupUoai7Bs2TJuJjP1mDFjxOnff/99L1sXN/fA2JIl S7xsveuSD/iRBAXVgFaZh11MfX19WlraW2+95WVr9Us+uubI2Uv1B5aNgIAA 8dJhw4bRou7duwvmc6bes2eP3Jy7yNS/OAxMbQeY2nNRZurnnnvOTlHM+fTo 0aNsjrJSvampaffu3VOmTKFmheB+Gb91w5k6NTVVEIGKO7ZI0ORhaG9qruRk pg4PD2d/hoWF2cmDHRw3tfjgiLnnnnu8bN2ejmy6/Zh6yJAhlGDQoEGSS7mR 3Pi3GOyYev369Sw998DVyy+/7GV7CmuiFKzR+tFHH/GDyDrsXD6pSjB06NA7 77zT61Ikm+SOnL0bNmxgEQR9TQx26+Tqq68W1ECYqSUPzmXpGKYOPZlne0sr VY2pV9ve0oqGqYEzUGZq1ql73333SS7duXMnKx+4Z3gUlOqBgYGsJPeyPbg7 ePBgamIsXLiQdTY6aGqulG6fpi4pKWF/8u//ysJxU1/2HTcq5dix5XJrn/Zj 6kmTJnld+jSCZAT2MDPDjqm5G7tcb39bz8LxmTFjBj+I44e91dblzh5gYDz0 0EOjR4+mq4+7ma7Y1NztdcmlW7duFewpg5la2bD/HcPUiZl6kuyc9VGF+mpl ms7XGT9eE0FBzuTJfsQapgZilJmajY9EBbtk+cmeNaW6Ons8pvViqd6/f39x YslSfcuWLcwaJOj9+/fzSyrW7nOiqd9+++22drOVZ2rKhmCRelP/73//Yw+r jxw50k4e7OBEUxPsMW+qhjmyabm/qRhZps7Pz28rDTvIhOTdXvaeAlFeXs7N tGNqNqQPv6XJNNq1a9fUttHr9fwgjh92uka6d+/uZetvpx3Jzs7mFnFPrdsx tf2zd82aNXaysWzZMnYVNzY28ue3Q1NrfJ+60dT06bfHyLNfborxP5oVFJUt a9oTfvZfPxyn1ed/F202yx5tEqYGYpSZmjPgF198IVhkMpnYY6WjRo3iZrIn h++8805xKDaAg6BUZ6XQ8OHDxQ+VOdHUrA+fn08xVAKzCJs2bRIs4gblUGzq VttxZnOSk5PtZKMtnGtqduPygQce+MWBW6tyf1MxjpiaO2JJSUltpaHGMksj fuLr119/ZcOUsdftOeyYmr0zxX+RauHChV62J/YFRrOD44edq4qIT1H7pnbk 7OWewCRziZeyj6SI39SDqYnsoqoPVx0l2yqePlkTUag3Ktg0TA3EKB5N9Mkn n/SyvZ7JbwW0Xny51evS7mIqjVntvaioiJ+Y9MeequWX6i0tLext6NWrVws2 Si5m1QCnmJr1mt577712hur67bff2BATU6ZM4c+vqqri3uhRY2pqBrKdffjh h7mZHD4+Pp9//nlbeWt1tqm5EWLFFTBCZ4P7U9ZvKokjpuae3P7xxx/tJGPa uvnmm/mjyhB05NnqgoejmKnFI+wlJiay9O+++y43Myoqis2kE8b+HnE4ftjZ Mb/22msF86mOQaecHVM7cvbW1NTccMMNXrY3uwVviHN7OnnyZMFa7dDUgleq W2y41NREdV3jodg87+D0zftPyZq2BmeExeXX1ZuUbRemBmIUm5quR1YgUyM3 PDycrprS0tLZs2ezy3/AgAH8AuTAgQNs/osvvsg+RJifnz9//nyviwhKdfbe NLWDuJdDKZOUvlOnTiy9U0y9efNmtnTu3LlcbmlHKCA/GRtyjcpS9mqYxWKh fecPzaHG1K28us1dd921e/duWkTVA9oXNrAzQfls61dwrqlp3+mYs/QTJ07k uovpJ/v222+pjjRo0CBugFa5v6kYR0xNvwt7J/2vf/0r/42qwsLC4uJi7k/u naM77rgjJCSE1EZLFyxYwGZ2795dMK4sdwt4yJAhLCwpm05jNmo92U1Qa+K+ dPbGG2/wO7pzcnLI6dxLeRyOH/Zt27axlFxVhLJKdQM2eJ0dUzt49nIPyI0Y MYI9V0Z7Sicw29NbbrlF/LAZTO1eYGogRrGpW3llhZetb5D790MPPSQYfoEu qx49erCl1Arjhr0iLzCXCUp1dgeN+bF///4UkP15//33sxLMKaamK50bmYSK rF69elF+2MCSJSUlXDL+wFBkq86dO3vZ7mOSvNjqKk1NrSdO1uKDOWHCBG6o DTHONXWrbaxybvQtL1vlgdWaGNR05UY9lfubinHE1K2274WxyFRPI4n06dOH rO11abO31XY2csOf8unZs6f4y6GcqRm33347NyYebWXLli2C9PQTPPXUU9zO Pvjgg4MHD+Ye0qazQvD4tOOHna6+u+++myWmQ923b1/WCqatcKPQSJrawbOX fqbx48dze0qXEvegJp3J3IisfNq/qbneb/7oZDD1ZYGpPRc1pib279/PlWDs 2p85cyY1rsUpqcH1xBNP8MtGKmkbGhroQqM/n3zySX5iqvYvWrSIP8AjlY3k OyqyZs2a5XXp88kJCQksjaDns/Vypm613YYeOnQov9CmEnLgwIF86VNm1qxZ w70mRo6mpiW1KFsvjgDDvYxGxTJLw5maVTloX9if8fHxLIF4JBYqWwYMGMCN 9EjZoDrJ6tWr7X8G4rKm9vf3d1AZHE1NTXR4+aO5Umao9ObejueQ9ZuKcdDU rbYnDNldD45bb72VqjeCZNQofvTRR7mOF4r/+uuvSw6ozkz98ssvb9y4kT9c KrW+Y2NjJfNAP4SPjw97d5vjpptumj59urgmIOuw03nLBjlhXH/99cOGDaNT hY6kl63m0NZjA46cvQxquXP1ARaTNpGXlycZln2DFaZ2FzA1EKPS1AxqVLKe 8OHDh9v/TA+VLREREenp6Y58h4iUQWVOWFiY5NugToSK08jIyBMnTpw6dUo8 uCKDGk2UbdrTthI4BWpf0y6T6NvDN0PpsNMxSU5Otj8QiqzfVDEXLlzIzMxk P1NBQYGd06yxsTEmJub06dN20jBTjxs3rtWm4KysLLK8oCOoLegEIJvTbyR+ rkANxcXFVOWjo33Zr2gJcOTsZZSXl8fFxdEmXPGNNobrvqUlOQA4er9lAVN7 Lk4xdSvv0Z2JEydSofGLbZRgN34tEQA72Hn2G6jB475P3Q6BqYEYZ5mamjz8 jtBrrrnmqquusnPNAuBGYGoX0ZFMna8zbjlwapH3yf+3OUbWtNj75NbgjGJD tbLtwtRAjLNM3Wp7QnjWrFlsKA+G5KeHAXA7MLWLcKKp3Utchm7KksNq3qee tiws7ZxBwaZhaiDGiaZmtLS0FBcXx8fHix+zAaCdAFO7iI5h6pq6xvdXHCHb rvdPiU4pOpmukzVFpRSxQb//ufpoQ2OT3K3D1ECM000NQPsnJiYmMDAwIyPD 3RnpaHQMU8ecKiHPLtwUo/jzHMWG6rkboiiIgmY1TA3EwNQAAGfRMUztlK9e rvHDVy+B04CpAQDOAqbG96mBK4CpAQDOAqaGqYErgKkBAM4CpoapgSuAqQEA zgKmvmJNbTqf21iWZjHVOT2yuaGKct5UU+L0yB4ETA0AcBYw9RVoalNFZlnQ GIpMU+m2/jXpW5wV2WJuPB/7H93Wnix4xeEp5jolr6h3AGBqAICzgKmvNFOb 6yv1u56wmnRrD51Pb6bU2kw/pwQ/H/sVC6jz7aPz7sYyb7GYnRLcs4CpAQDO wuNMfV6KoGNnSLLfBSSrMfXqnQkUJDTmnOQm7GAI/5SUVJ7qI3fFy1KZd8La 7A0cI3vFysqioiKdTideVBa/1mbSfoagMWX7x+l3D7FuYvcQccry8nIKotfr BfNLS0tpfkVFhWB+VVmh1f7eXQ0BwyiyYd8o1riuyAwRBy+yIXe/1KPxiSq+ pmBqAIBcyNRdunS55yJUePKXaly4XRaz2ZwlxfaDVsmu9YtXY+oVvrEUxD80 SXITdigInkE+yo1eL3fFy5KddJAiF+0ZKXfFjIyMyMjImJgY8SKW21K/p0im Vp8GjS2xtYKzMjMEKVNTUylIfHy8YH5sbCzNp01I5rbEpzeLTJNu+wCakxex XJyNqKgoCiJ3v9RDp5A25yrf1EuWLOEuMbriYGoAgCwiIiLCeFAJw1/a3kxt sVhKpfAPO0WS3eCfpMbUq3bEUZCDkaclN2EH3eGPrK3UhM1yV7x85MwIa+S9 o+WuSDWu06dPk5gkYkZaO6hLdzz2u6kDXrBuYtuj4pQFBQUUJCcnRzCfwtL8 4uJiYeS8NFvXdzfDvtGsDqDz7Wudk7xdHPzMmTMURO5+qYdOIW3OVb6p8/Ly +FcZHVJ3XOsAgI5JezN1W+A+teOYqrJ1PrYnvnx620zanf5tjF/mlOAVh6f8 fgecIvv0on/rdz1hbqxxSnDPoq3ebwAAcC4wtSN4lqmJupyDv7d2bVNl+AxL U6NTIpvrDJRbLjJpulGf7JTIHgdMDQDQBpjaETzO1M02per3POOKbFss5vMn F1kfsQt548psTTNgagCANsDUjuCJpiZY45c24fTIdCgoMh0Wp0f2IGBqAIA2 wNSOAFMLgKmbYWoAgFbA1I4AUwuAqZthagCAVsDUjgBTC4Cpm2FqAIBWeIqp jyUXkmRXbE9QY+qvtlhHPkk4XSp36zC1AJi6GaYGAGiFp5haX1k7eXHo5EWh B4/nFOqNch1dUGoMiMgiTU9dGmasaZC7dZhaAEzdDFMDALTCU0xN7Ak/S6ql iXz97pLDsqbJthVpCj6Ro2DTMLUAmLoZpgYAaIUHmZoITyiY9130pIvadXwi U3/+w/HjqcXKtgtTC4Cpm2FqAIBWeJapGWazxdRkljWZ1Y0FDVMLgKmbYWoA gFZ4oqm1B6YWAFM3w9QAAK2AqR0BphYAUzfD1AAArYCpHQGmFgBTN8PUAACt gKkdAaYWAFM3w9QAAK3wOFPnFp8/kVYclVIka6JVCkqN9iOb68rr8w7VZvmL p7Lg16xiip4ntTSgvijSYqpTtjvqTd1kLKjLOSCZbfYtLWPSGqmlext0Jy3m JmUbhambYWoAgFZ4kKmrqhuW+sQpeEWLm1btTKypk/5Mc3Xajzqf3txnl+VO pbueIF8r2Ck1praYTedPfKHz7qY424a9w00VmQo2DVM3w9QAAK3wIFMv8j5J tp2xMvzrHQnf7k6SNa3cnvDe8iNM1uLIdecCmbnKDrxceeR98VQWNEa/++ny 4NfEiyqOvGcIGGZd3bePqeqc3J1SY2pj/HLrdrf2KP/5Lclsk4gp2xWHJkpk O2ya3m8wra73e9LcWC130zB1M0wNANAKTzH1mbwK8uzMVUfP5lcoG/Q7PaeM yVrcDW4IHEHeqU5a01SVrWAyVZ4j8VEEauHK3S/FpraYaqluQOvWZe1VmO3y DMO+URSh5rSv3K3D1M0wNQBAKzzF1GFx+STZdf7Jar7QQS1rCnIi7ZKRyiwW s60DuZup/Iwy5dFUl+VP5ioPflXufik2tan8tLVFvOdZxXmmyZjwtbIKBkzd DFMDALTCU0ztuq9eWpoabX3IPdUory4n2NZ5/pLc/VJs6sayNOuN5sARarJd nbKePSknd+swdTNMDQDQCpgapoaplQFTAwC0AaaGqWFqZcDUAABtgKlhapha GTA1AEAbYGqYuv2Y2mKqrU7ZUB78WnnwK8akNebGywxW415gagCANsDUMHU7 MTVpmg1/+v8HZgkcYW5ovycnTA0A0AaYGqZuJ6am1rT1h/Dppfd/Tu//PBsy zhi/zImbcC4wNQBAG9qbqS0WS7YUO4ITSbJr/eLVmHqlbywFCTicfEnorDNk hJKtPdQoz5i5j4IU+Y+SzLwdcpNDbCuOlLtiTsrP1mzvHqom22UnV1GQwpCZ creed3yDbcUP5K6Ynp5+/PjxxMRE8aKiveNsb4g/V7Z/HE16/6H0Z/HuYeKU ycnJFCQtLU1yE3QKaXOuwtQAAG1ob6Y2m81ZUmw/mKDe1CtspvYPTbokdGaG E00tmXk7ZCcdtK64Z6T8FUOcZeqCkA/kbj032toYLwieIXfF1NTUyMjI+Ph4 8aKigDFWU/s//7upbWO0Fvk9L05JoqcgKSkpkpugU0ibcxWmBgBoQ3szdbOt WS3m59hcW+93qqrebz9r73dkciE/stnU4MTeb8nM26FBz3q/x8le0ZBq+8TG i07o/Y6aJ3frtZnW3u/KqDlyVyTMNsTzjYnf2Hq/e+v9n9X7P6fz7WsdPy32 K8cjMDQ7UWFqAIA2tENTS4L71MIVO9x9anOjkQ3Azk36Pc+a68qduAnnAlMD ALQBpoap24mpCXPDeWP8MvYdz/MxC9uzppthagCAVsDUMHX7MTWDPfVtaap3 RXAnAlMDALQBpoapYWplwNQAAG2AqWFqmFoZMDUAQBtgapgaplYGTA0A0AZP MfXhuHyS7IaAFDWm/nqH9aXsE2nF/MgWc5PtSeNupopM5abO2ktByoNfkbtf ik1tKre+Bm7wf06NqY2Jq63CPfGF3K3D1M0wNQBAKzzF1Ok5ZSTZj1ZHZBdV KdN0Zn7FjJXhFCS3WLi/hoAXSA01qT8oVl7l0Q9tjdP5cvdLsanNjTU6n546 7+71uSHK8myqOFu23zosWE36T3K3DlM3w9QAAK3wFFObLZaFm04wWVPLeuO+ NFnTOv/kmauO0upLfeLEwWvP7GDN6opDE6siZ8mdyoLGsv5zaufK3S/FpibO x3xp3a5vn4oj78nNc+WxTw224TpLdz5urq+Uu2mYuhmmBgBohaeYmiirqmOy Vjwt8j5ZVd0gGdyYsFK3tTt/2A1ZU+m2h+tyQxTslBpTW5oaKiM+Upxn69Ai u5+iDCjYNEzdDFMDALTCg0zdbGtZp+eUHY7LPxSbJ2sKi8s/k1dhP3iTsYAE VJP+k9ypLvuAuaFK2R6pMTWDGvK1Z3bIznaGd31+mGIbwtTNMDUAQCs8y9Qd D/WmdgswdTNMDQDQCpjavcDUYmBqAADgA1O7F5haDEwNAAB8YGr3AlOLgakB AIAPTO1eYGoxMDUAAPDxLFPHppd8tSX2/RVHpi8LkzXNWHFksffJpEy99nm2 WMw16VsMgSNLt/XT+fYVTjYrWb/zKF7k27d0x4CKw1MbDaluyLapxhi/wuD/ nM5XKttbe9peIe8hmW39rieqIj9rMha2Fbw+/0h58Kul2x+RXP33l8h8+kgc kG0Plx14uS7noJaHoi1gagCANniQqQ9E56h5mZpN4QkFGme78thnal55tjmr Z0PxCS3zbGlqICGqzHbpzoFN5/PEwWvPbFd7QLy7Vqd+r+UBkQSmBgBog6eY uvx8/ZQlh0m1/kezzhVW5unOy5qyCiq3h56h1acvD6uua9Qs2w3Fx61m8e1b k7G10ZBmKksXTDSzsTSxsTRJvIimhpLYyvAPKIIh4AXN8kzUpP9kHRfFb3Dd uUDJjFEz35ptfbJ0tguOlh2YQBEo84LI5vpKayPdu+v5k4sognRw6wFpY5E+ yZjwtY59UaWmRMtjIgamBgBog6eYOiqliI0FquYLHQs3xVCQxDOlmmXbGLfE aqXjnyseUdxUcbZ0x2MUpMmYr1m2K0In0RZrTm1SnG2qY9iqKP0EkevzD9vu y49T82GR8pA3KUhtVoBmB0QSmBoAoA2eYmrXffXSpVRFz7N21aasVyMmQ+AI CtJYlqZZtssOvERbrMs5qCbb1rvY1gfDLunBqM3yt7a1j7yvJnJV5Cydog+L OBeYGgCgDTC1S/FwUwerM3VPmBoAANQDU7sUmBqmBgAAlcDULgWmhqkBAEAl MLVLgalhagAAUAlM7VJgapgaAABUAlO7FJgapgYAAJW0N1NbLJYyKfaGZ5Bk N/gnqTH1qh3xFCQkOlNyE66g9MgnVjElrFEjplL/F6yDn5yL1izbusAx1gpG VpA6U1vf0jLoS/iR9UlbrTMPTVVVdQn/2DowS9w6yczTKaTNuQpTAwC0ob2Z 2mw2Z0mx/WACSXatX7waU6/wjbWOchaaJLkJV1AQYh1hrOzkKjViKtk9lIJk J4Volu0i/1G0RWPmPlXZtpk6KzODHzk3+jvriCjBk1VVXQ5/SEHyjq2QzDyd QtqcqzA1AEAb2pupqUFUKUVgxGmS7HcBqtrUq21t6kMnsiQ34Qr04dZBv6sS v1Xfpi7PPaFZtkv3jbV2L5/br75NXVGu50cuS/GxtqlDp6mJXHbU2lNhiN8g mXm0qQEAHYz2Zuq2wH1q3KfmJtynBgBcUcDULgWmhqkBAEAlMLVLgalhagAA UAlM7VJgapgaAABUAlO7FJgapgYAAJXA1C4FpoapAQBAJVeUqdf4ucnUyetU mXrvi5qb+mWnfZ/aLGnq92BqAABwEE8x9Ym0YpLsV1ti1Zh6wffRFCQly6BZ to0JK63vU0fOUmwlU1l66bb+FKSpulizbFeETVVZwWgojKAIpdsfEUSuLzhq fRU6cIQaU5cdmGCtSJzbp9kBkQSmBgBog6eY2ljTMH15GHl28/5TiWdKU88Z ZE0Jp0u/25tKq3/wdXh9Q5Nm2W7UJ1uH5Nra05jwdX3BkYbCY7KmupwD5SGv W0c52z9OszwTtWf9rJ7d8VhN2o8NBUflZrv27B7D3uHWKkrUHEFki6mGwlqb 1REf1+cdkhu5Pu9wVfR86yH17WeuK9fymIiBqQEA2uAppiYik4smLwqdpGKa svhw3Gmdxtk2xi21mkXFVLr90caydC3zbDE3sWa1msng/5y5Vi8OXpf7M+sY VzF1o8qAlgdEEpgaAKANHmRqIjO/Yu2e5AXfH5+7IUrW9PkPxzcEpGQXVbkl 23W5wRWhk6mZaQgYJmsq2ze66vi/mowF2ufZYjbVZPiUh7xhCHhBdrb3jzcm rDTXV7YVvNGQUhnxkSFwpNzIhsARleEfNOjitDwUbQFTAwC0wbNMDUD7AaYG AGgDTA2AMmBqAIA2wNQAKAOmBgBoA0wNgDJgagCANsDUACgDpgYAaANMDYAy YGoAgDbA1AAoA6YGAGgDTA2AMmBqAIA2wNQAKAOmBgBoA0wNgDJgagCANsDU ACgDpgYAaANMDYAyYGoAgDbA1AAoA6YGAGgDTA2AMmBqAIA2sNLGYrG4u9gD wJOgSwamBgBoQ01NDZU2JpPJ3SUfAJ4EXTJ04dDl4+4rGADQ8eEKHHeXfAB4 ElwV191XMACg49PS0sI68err691d+AHgGdDFwq4aunzcfQUDAK4Imi8+G0PN BGoj4J41AJLQpUEXCGtNs+cw3X3tAgCuIJovyhoA4AjQNABAe1paWvjtBQCA GNbvhE5vAAAAoEPyf6RSXAo= "], {{0, 80.}, {327., 0}}, {0, 255}, ColorFunction->RGBColor, ImageResolution->{144., 144.}, SmoothingQuality->"High"], BoxForm`ImageTag["Byte", ColorSpace -> "RGB", Interleaving -> True], Selectable->False], DefaultBaseStyle->"ImageGraphics", ImageSize->Automatic, ImageSizeRaw->{327., 80.}, PlotRange->{{0, 327.}, {0, 80.}}]], "Output", TaggingRules->{}, CellChangeTimes->{3.8891956908614807`*^9, 3.8891963444660597`*^9, 3.8922055874054527`*^9, 3.8922057057891903`*^9}, CellTags->"DefaultContent", CellLabel->"Out[96]=", CellID->788072713,ExpressionUUID->"ca9eb341-4b29-45b8-a6fe-91c817ba8661"] }, Open ]], Cell["Show the circuit diagram:", "CodeText", TaggingRules->{}, CellChangeTimes->{{3.889195694696486*^9, 3.889195698970812*^9}, { 3.889625973400052*^9, 3.8896259807961674`*^9}}, CellTags->"DefaultContent", CellID->908262168,ExpressionUUID->"70f28256-94f6-43e7-b6dc-b8d43f165855"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"qc", "[", "\"\\"", "]"}]], "Input", TaggingRules->{}, CellChangeTimes->{3.8891957005802517`*^9}, CellTags->"DefaultContent", CellLabel->"In[64]:=", CellID->591312605,ExpressionUUID->"1679a30f-c696-4f53-8288-92d5adafd741"], Cell[BoxData[ GraphicsBox[{ {RGBColor[0.537254, 0.537254, 0.537254], Opacity[0.3], LineBox[{{0.375, -1}, {0.625, -1}}], LineBox[{{0.375, -2}, {0.625, -2}}], LineBox[{{0.375, -3}, {0.625, -3}}], LineBox[{{0.375, -4}, {0.625, -4}}], LineBox[{{1.375, -1}, {1.625, -1}}], LineBox[{{1.375, -2}, {1.625, -2}}], LineBox[{{2.375, -1}, {2.625, -1}}], LineBox[{{1.375, -3}, {2.625, -3}}], LineBox[{{2.375, -2}, {3.625, -2}}], LineBox[{{3.375, -3}, {3.625, -3}}], LineBox[{{4.375, -2}, {4.625, -2}}], LineBox[{{1.375, -4}, {4.625, -4}}], LineBox[{{4.375, -3}, {5.625, -3}}], LineBox[{{5.375, -4}, {5.625, -4}}], LineBox[{{3.375, -1}, {6.625, -1}}], LineBox[{{5.375, -2}, {6.625, -2}}], LineBox[{{6.375, -3}, {6.625, -3}}], LineBox[{{6.375, -4}, {6.625, -4}}]}, { {EdgeForm[RGBColor[0.368417, 0.506779, 0.709798]], FaceForm[{RGBColor[ 0.368417, 0.506779, 0.709798], Opacity[0.15]}], RectangleBox[{0.625, -1.375}, {1.375, -0.625}, RoundingRadius->0.1], GeometricTransformationBox[InsetBox[ StyleBox["\<\"H\"\>", StripOnInput->False, FontFamily->"Roboto", FontSize->11, FontColor->GrayLevel[0], Background->GrayLevel[0, 0]], {1., -1.}], {{{1, 0}, {0, 1}}, Center}]}, {EdgeForm[RGBColor[0.368417, 0.506779, 0.709798]], FaceForm[{RGBColor[ 0.368417, 0.506779, 0.709798], Opacity[0.15]}], RectangleBox[{0.625, -2.375}, {1.375, -1.625}, RoundingRadius->0.1], GeometricTransformationBox[InsetBox[ StyleBox["\<\"H\"\>", StripOnInput->False, FontFamily->"Roboto", FontSize->11, FontColor->GrayLevel[0], Background->GrayLevel[0, 0]], {1., -2.}], {{{1, 0}, {0, 1}}, Center}]}, {EdgeForm[RGBColor[0.368417, 0.506779, 0.709798]], FaceForm[{RGBColor[ 0.368417, 0.506779, 0.709798], Opacity[0.15]}], RectangleBox[{0.625, -3.375}, {1.375, -2.625}, RoundingRadius->0.1], GeometricTransformationBox[InsetBox[ StyleBox["\<\"H\"\>", StripOnInput->False, FontFamily->"Roboto", FontSize->11, FontColor->GrayLevel[0], Background->GrayLevel[0, 0]], {1., -3.}], {{{1, 0}, {0, 1}}, Center}]}, {EdgeForm[RGBColor[0.368417, 0.506779, 0.709798]], FaceForm[{RGBColor[ 0.368417, 0.506779, 0.709798], Opacity[0.15]}], RectangleBox[{0.625, -4.375}, {1.375, -3.625}, RoundingRadius->0.1], GeometricTransformationBox[InsetBox[ StyleBox["\<\"H\"\>", StripOnInput->False, FontFamily->"Roboto", FontSize->11, FontColor->GrayLevel[0], Background->GrayLevel[0, 0]], {1., -4.}], {{{1, 0}, {0, 1}}, Center}]}, {{ {EdgeForm[RGBColor[0.880722, 0.611041, 0.142051]], FaceForm[{RGBColor[ 0.880722, 0.611041, 0.142051], Opacity[0.15]}], RectangleBox[{1.625, -2.375}, {2.375, -1.625}, RoundingRadius->0.1], GeometricTransformationBox[InsetBox[ StyleBox["\<\"Z\"\>", StripOnInput->False, FontFamily->"Roboto", FontSize->11, FontColor->GrayLevel[0], Background->GrayLevel[0, 0]], {2., -2.}], {{{1, 0}, {0, 1}}, Center}]}, {RGBColor[0.880722, 0.611041, 0.142051], LineBox[{{2., -1.09375}, {2., -1.625}}]}}, {RGBColor[0.537254, 0.537254, 0.537254], Opacity[0.3], LineBox[{{1.625, -1.}, {1.90625, -1.}}], LineBox[{{2.09375, -1.}, {2.375, -1.}}], {EdgeForm[RGBColor[0.880722, 0.611041, 0.142051]], FaceForm[{RGBColor[ 0.880722, 0.611041, 0.142051], Opacity[0.8]}], DiskBox[{2., -1.}, 0.09375]}}, {}}, {{ {EdgeForm[RGBColor[0.880722, 0.611041, 0.142051]], FaceForm[{RGBColor[ 0.880722, 0.611041, 0.142051], Opacity[0.15]}], RectangleBox[{2.625, -3.375}, {3.375, -2.625}, RoundingRadius->0.1], GeometricTransformationBox[InsetBox[ StyleBox["\<\"Z\"\>", StripOnInput->False, FontFamily->"Roboto", FontSize->11, FontColor->GrayLevel[0], Background->GrayLevel[0, 0]], {3., -3.}], {{{1, 0}, {0, 1}}, Center}]}, {RGBColor[0.880722, 0.611041, 0.142051], LineBox[{{3., -1.09375}, {3., -2.625}}]}}, {RGBColor[0.537254, 0.537254, 0.537254], Opacity[0.3], LineBox[{{2.625, -1.}, {2.90625, -1.}}], LineBox[{{3.09375, -1.}, {3.375, -1.}}], {EdgeForm[RGBColor[0.880722, 0.611041, 0.142051]], FaceForm[{RGBColor[ 0.880722, 0.611041, 0.142051], Opacity[0.8]}], DiskBox[{3., -1.}, 0.09375]}}, {}}, {{ {EdgeForm[RGBColor[0.880722, 0.611041, 0.142051]], FaceForm[{RGBColor[ 0.880722, 0.611041, 0.142051], Opacity[0.15]}], RectangleBox[{3.625, -3.375}, {4.375, -2.625}, RoundingRadius->0.1], GeometricTransformationBox[InsetBox[ StyleBox["\<\"Z\"\>", StripOnInput->False, FontFamily->"Roboto", FontSize->11, FontColor->GrayLevel[0], Background->GrayLevel[0, 0]], {4., -3.}], {{{1, 0}, {0, 1}}, Center}]}, {RGBColor[0.880722, 0.611041, 0.142051], LineBox[{{4., -2.09375}, {4., -2.625}}]}}, {RGBColor[0.537254, 0.537254, 0.537254], Opacity[0.3], LineBox[{{3.625, -2.}, {3.90625, -2.}}], LineBox[{{4.09375, -2.}, {4.375, -2.}}], {EdgeForm[RGBColor[0.880722, 0.611041, 0.142051]], FaceForm[{RGBColor[ 0.880722, 0.611041, 0.142051], Opacity[0.8]}], DiskBox[{4., -2.}, 0.09375]}}, {}}, {{ {EdgeForm[RGBColor[0.880722, 0.611041, 0.142051]], FaceForm[{RGBColor[ 0.880722, 0.611041, 0.142051], Opacity[0.15]}], RectangleBox[{4.625, -4.375}, {5.375, -3.625}, RoundingRadius->0.1], GeometricTransformationBox[InsetBox[ StyleBox["\<\"Z\"\>", StripOnInput->False, FontFamily->"Roboto", FontSize->11, FontColor->GrayLevel[0], Background->GrayLevel[0, 0]], {5., -4.}], {{{1, 0}, {0, 1}}, Center}]}, {RGBColor[0.880722, 0.611041, 0.142051], LineBox[{{5., -2.09375}, {5., -3.625}}]}}, {RGBColor[0.537254, 0.537254, 0.537254], Opacity[0.3], LineBox[{{4.625, -2.}, {4.90625, -2.}}], LineBox[{{5.09375, -2.}, {5.375, -2.}}], {EdgeForm[RGBColor[0.880722, 0.611041, 0.142051]], FaceForm[{RGBColor[ 0.880722, 0.611041, 0.142051], Opacity[0.8]}], DiskBox[{5., -2.}, 0.09375]}}, {}}, {{ {EdgeForm[RGBColor[0.880722, 0.611041, 0.142051]], FaceForm[{RGBColor[ 0.880722, 0.611041, 0.142051], Opacity[0.15]}], RectangleBox[{5.625, -4.375}, {6.375, -3.625}, RoundingRadius->0.1], GeometricTransformationBox[InsetBox[ StyleBox["\<\"Z\"\>", StripOnInput->False, FontFamily->"Roboto", FontSize->11, FontColor->GrayLevel[0], Background->GrayLevel[0, 0]], {6., -4.}], {{{1, 0}, {0, 1}}, Center}]}, {RGBColor[0.880722, 0.611041, 0.142051], LineBox[{{6., -3.09375}, {6., -3.625}}]}}, {RGBColor[0.537254, 0.537254, 0.537254], Opacity[0.3], LineBox[{{5.625, -3.}, {5.90625, -3.}}], LineBox[{{6.09375, -3.}, {6.375, -3.}}], {EdgeForm[RGBColor[0.880722, 0.611041, 0.142051]], FaceForm[{RGBColor[ 0.880722, 0.611041, 0.142051], Opacity[0.8]}], DiskBox[{6., -3.}, 0.09375]}}, {}}}, {InsetBox[ StyleBox["1", StripOnInput->False, FontSize->10, FontSlant->Italic, FontColor->RGBColor[0.537254, 0.537254, 0.537254], Background->GrayLevel[0, 0]], {0.28125, -1}, NCache[ ImageScaled[{1, Rational[1, 2]}], ImageScaled[{1, 0.5}]]], InsetBox[ StyleBox["2", StripOnInput->False, FontSize->10, FontSlant->Italic, FontColor->RGBColor[0.537254, 0.537254, 0.537254], Background->GrayLevel[0, 0]], {0.28125, -2}, NCache[ ImageScaled[{1, Rational[1, 2]}], ImageScaled[{1, 0.5}]]], InsetBox[ StyleBox["3", StripOnInput->False, FontSize->10, FontSlant->Italic, FontColor->RGBColor[0.537254, 0.537254, 0.537254], Background->GrayLevel[0, 0]], {0.28125, -3}, NCache[ ImageScaled[{1, Rational[1, 2]}], ImageScaled[{1, 0.5}]]], InsetBox[ StyleBox["4", StripOnInput->False, FontSize->10, FontSlant->Italic, FontColor->RGBColor[0.537254, 0.537254, 0.537254], Background->GrayLevel[0, 0]], {0.28125, -4}, NCache[ ImageScaled[{1, Rational[1, 2]}], ImageScaled[{1, 0.5}]]]}}, ImageSize->Medium]], "Output", TaggingRules->{}, CellChangeTimes->{3.88919570116005*^9, 3.889196346687711*^9}, CellTags->"DefaultContent", CellLabel->"Out[64]=", CellID->144696307,ExpressionUUID->"15df4367-338c-49de-ae45-888897c4b861"] }, Open ]], Cell["\<\ Show that the circuit acting on a register state creates the expected quantum \ cluster/graph state:\ \>", "CodeText", TaggingRules->{}, CellChangeTimes->{{3.889195708776327*^9, 3.88919573505173*^9}, 3.889206676784298*^9}, CellID->644750589,ExpressionUUID->"6cc65f5e-8e1d-41a2-9c6e-3283f5a8a7b1"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"\[Psi]f", "=", RowBox[{"qc", "[", "]"}]}]], "Input", TaggingRules->{}, CellChangeTimes->{{3.889195736901211*^9, 3.889195739330018*^9}}, CellLabel->"In[65]:=", CellID->979407699,ExpressionUUID->"74ef2cd8-c348-420c-9efe-f08010fe30f8"], Cell[BoxData[ InterpretationBox[ RowBox[{ TagBox["QuantumState", "SummaryHead"], "[", DynamicModuleBox[{Typeset`open$$ = False, Typeset`embedState$$ = "Ready"}, TemplateBox[{ PaneSelectorBox[{False -> GridBox[{{ PaneBox[ ButtonBox[ DynamicBox[ FEPrivate`FrontEndResource["FEBitmaps", "SummaryBoxOpener"]], ButtonFunction :> (Typeset`open$$ = True), Appearance -> None, BaseStyle -> {}, Evaluator -> Automatic, Method -> "Preemptive"], Alignment -> {Center, Center}, ImageSize -> Dynamic[{ Automatic, 3.5 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[ Magnification])}]], TagBox[ TooltipBox[ GraphicsBox[ RasterBox[CompressedData[" 1:eJxTTMoPSmVmYGAQgGIQe3+yrdWWz6/sU7RFxHdGvrM/z+Axc8Xqd/akip91 PmyaUfre/hcLhx1X0Wv76+cuNcy2f02yelLFB8qd1PLXaPgPbPjTOhwGKt4H Kpyp5a/R9D+a/kfT/2j6H03/wzv9j4b/aPkzksuf0fAfDf+RHP6j5f9o+T+a /kfT/2j7czT8R8Of/v4CAJbSx3U= "], {{0, 0}, {16, 16}}, {0, 1}], { DisplayFunction -> Identity, PlotRange -> All, DisplayFunction -> Identity, Background -> RGBColor[1, 1, 1, 0], DisplayFunction -> Identity, Frame -> False, FrameLabel -> {None, None}, FrameTicks -> {{None, None}, {None, None}}, GridLinesStyle -> Directive[ GrayLevel[0.5, 0.4]], ImageSize -> Dynamic[{ Automatic, 3.5 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[ Magnification])}], Method -> { "GridLinesInFront" -> True, "DefaultBoundaryStyle" -> Automatic, "DefaultGraphicsInteraction" -> { "Version" -> 1.2, "TrackMousePosition" -> {True, False}, "Effects" -> { "Highlight" -> {"ratio" -> 2}, "HighlightPoint" -> {"ratio" -> 2}, "Droplines" -> { "freeformCursorMode" -> True, "placement" -> {"x" -> "All", "y" -> "None"}}}}, "DefaultPlotStyle" -> Automatic}, PlotRangeClipping -> True}], RowBox[{"0", "/*", "\"I\"", "/*", "\"\[ScriptCapitalG]\""}]], Annotation[#, RightComposition[0, "I", "\[ScriptCapitalG]"], "Tooltip"]& ], GridBox[{{ TagBox[ TemplateBox[{"\"Pure\"", "\" \"", "\"state\""}, "RowDefault"], "SummaryItem"], RowBox[{ TagBox["\"Qudits: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["4", "SummaryItem"]}]}, { RowBox[{ TagBox["\"Type: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["\"Vector\"", "SummaryItem"]}], RowBox[{ TagBox["\"Dimension: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["16", "SummaryItem"]}]}, { RowBox[{ TagBox["\"Picture: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["\"Schr\[ODoubleDot]dinger\"", "SummaryItem"]}], ""}}, GridBoxAlignment -> { "Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings -> {"Columns" -> {{2}}, "Rows" -> {{Automatic}}}, BaseStyle -> { ShowStringCharacters -> False, NumberMarks -> False, PrintPrecision -> 3, ShowSyntaxStyles -> False}]}}, GridBoxAlignment -> {"Columns" -> {{Left}}, "Rows" -> {{Top}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, BaselinePosition -> {1, 1}], True -> GridBox[{{ PaneBox[ ButtonBox[ DynamicBox[ FEPrivate`FrontEndResource["FEBitmaps", "SummaryBoxCloser"]], ButtonFunction :> (Typeset`open$$ = False), Appearance -> None, BaseStyle -> {}, Evaluator -> Automatic, Method -> "Preemptive"], Alignment -> {Center, Center}, ImageSize -> Dynamic[{ Automatic, 3.5 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[ Magnification])}]], TagBox[ TooltipBox[ GraphicsBox[ RasterBox[CompressedData[" 1:eJxTTMoPSmVmYGAQgGIQe3+yrdWWz6/sU7RFxHdGvrM/z+Axc8Xqd/akip91 PmyaUfre/hcLhx1X0Wv76+cuNcy2f02yelLFB8qd1PLXaPgPbPjTOhwGKt4H Kpyp5a/R9D+a/kfT/2j6H03/wzv9j4b/aPkzksuf0fAfDf+RHP6j5f9o+T+a /kfT/2j7czT8R8Of/v4CAJbSx3U= "], {{0, 0}, {16, 16}}, {0, 1}], { DisplayFunction -> Identity, PlotRange -> All, DisplayFunction -> Identity, Background -> RGBColor[1, 1, 1, 0], DisplayFunction -> Identity, Frame -> False, FrameLabel -> {None, None}, FrameTicks -> {{None, None}, {None, None}}, GridLinesStyle -> Directive[ GrayLevel[0.5, 0.4]], ImageSize -> Dynamic[{ Automatic, 3.5 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[ Magnification])}], Method -> { "GridLinesInFront" -> True, "DefaultBoundaryStyle" -> Automatic, "DefaultGraphicsInteraction" -> { "Version" -> 1.2, "TrackMousePosition" -> {True, False}, "Effects" -> { "Highlight" -> {"ratio" -> 2}, "HighlightPoint" -> {"ratio" -> 2}, "Droplines" -> { "freeformCursorMode" -> True, "placement" -> {"x" -> "All", "y" -> "None"}}}}, "DefaultPlotStyle" -> Automatic}, PlotRangeClipping -> True}], RowBox[{"0", "/*", "\"I\"", "/*", "\"\[ScriptCapitalG]\""}]], Annotation[#, RightComposition[0, "I", "\[ScriptCapitalG]"], "Tooltip"]& ], GridBox[{{ TagBox[ TemplateBox[{"\"Pure\"", "\" \"", "\"state\""}, "RowDefault"], "SummaryItem"], RowBox[{ TagBox["\"Qudits: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["4", "SummaryItem"]}]}, { RowBox[{ TagBox["\"Type: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["\"Vector\"", "SummaryItem"]}], RowBox[{ TagBox["\"Dimension: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["16", "SummaryItem"]}]}, { RowBox[{ TagBox["\"Picture: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["\"Schr\[ODoubleDot]dinger\"", "SummaryItem"]}], ""}, { RowBox[{ TagBox["\"Purity: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["1.`", "SummaryItem"]}], ""}, { RowBox[{ TagBox["\"Von Neumann Entropy: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TemplateBox[{"0.`", "\"b\"", "bits", "\"Bits\""}, "Quantity", SyntaxForm -> Mod], "SummaryItem"]}], ""}, { RowBox[{ TagBox["\"Dimensions: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ RowBox[{"{", RowBox[{"2", ",", "2", ",", "2", ",", "2"}], "}"}], "SummaryItem"]}], ""}, { RowBox[{ TagBox["\"ParameterArity: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["0", "SummaryItem"]}], RowBox[{ TagBox["\"Parameters: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ RowBox[{"{", "}"}], "SummaryItem"]}]}}, GridBoxAlignment -> { "Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings -> {"Columns" -> {{2}}, "Rows" -> {{Automatic}}}, BaseStyle -> { ShowStringCharacters -> False, NumberMarks -> False, PrintPrecision -> 3, ShowSyntaxStyles -> False}]}}, GridBoxAlignment -> {"Columns" -> {{Left}}, "Rows" -> {{Top}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, BaselinePosition -> {1, 1}]}, Dynamic[Typeset`open$$], ImageSize -> Automatic]}, "SummaryPanel"], DynamicModuleValues:>{}], "]"}], Wolfram`QuantumFramework`QuantumState[ SparseArray[ Automatic, {16}, 0, { 1, {{0, 16}, {{1}, {2}, {3}, {4}, {5}, {6}, {7}, {8}, {9}, {10}, {11}, { 12}, {13}, {14}, {15}, {16}}}, { Rational[1, 4], Rational[1, 4], Rational[1, 4], Rational[-1, 4], Rational[1, 4], Rational[-1, 4], Rational[-1, 4], Rational[-1, 4], Rational[1, 4], Rational[1, 4], Rational[-1, 4], Rational[1, 4], Rational[-1, 4], Rational[1, 4], Rational[-1, 4], Rational[-1, 4]}}], Wolfram`QuantumFramework`QuantumBasis[<| "Input" -> Wolfram`QuantumFramework`QuditBasis[<|{ Wolfram`QuantumFramework`QuditName[\[FormalCapitalI], "Dual" -> False], 1} -> 1|>], "Output" -> Wolfram`QuantumFramework`QuditBasis[<|{ Wolfram`QuantumFramework`QuditName[0, "Dual" -> False], 1} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> False], 1} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}], { Wolfram`QuantumFramework`QuditName[0, "Dual" -> False], 2} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> False], 2} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}], { Wolfram`QuantumFramework`QuditName[0, "Dual" -> False], 3} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> False], 3} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}], { Wolfram`QuantumFramework`QuditName[0, "Dual" -> False], 4} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> False], 4} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}]|>], "Picture" -> "Schr\[ODoubleDot]dinger", "Label" -> RightComposition[0, "I", "\[ScriptCapitalG]"], "ParameterSpec" -> {}|>]], Editable->False, SelectWithContents->True, Selectable->False]], "Output", TaggingRules->{}, CellChangeTimes->{3.8891957418897877`*^9, 3.889196349853595*^9}, CellLabel->"Out[65]=", CellID->221818138,ExpressionUUID->"ea3f42f8-e527-4662-8ccb-5892da84b860"] }, Open ]], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"\[Psi]f", "==", RowBox[{"QuantumState", "[", RowBox[{"{", RowBox[{"\"\\"", ",", "g"}], "}"}], "]"}]}]], "Input", TaggingRules->{}, CellChangeTimes->{{3.889195743993863*^9, 3.889195755976933*^9}}, CellLabel->"In[66]:=", CellID->889817130,ExpressionUUID->"fcd5e5d4-709d-41f4-9405-be5fef6adda9"], Cell[BoxData["True"], "Output", TaggingRules->{}, CellChangeTimes->{3.889195756879006*^9, 3.8891963519045763`*^9}, CellLabel->"Out[66]=", CellID->44667033,ExpressionUUID->"b20e6e1a-fa15-49bf-b5e5-4cb276972bef"] }, Open ]], Cell["Show that qubits connected via an edge are entangled:", "CodeText", TaggingRules->{}, CellChangeTimes->{{3.889196449124941*^9, 3.889196460224402*^9}, { 3.88962607427538*^9, 3.8896260758585196`*^9}}, CellID->816455386,ExpressionUUID->"65e49d88-de9b-4744-a7ef-29d94e7b6964"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ RowBox[{ RowBox[{"QuantumEntangledQ", "[", RowBox[{"\[Psi]f", ",", RowBox[{"{", RowBox[{"#1", ",", "#"}], "}"}]}], "]"}], "&"}], "@@@", RowBox[{"EdgeList", "[", "g", "]"}]}]], "Input", TaggingRules->{}, CellChangeTimes->{{3.8891963709794207`*^9, 3.889196422634944*^9}}, CellLabel->"In[73]:=", CellID->807820912,ExpressionUUID->"9d5d58ac-fe51-4fe1-9f79-abe2132478a6"], Cell[BoxData[ RowBox[{"{", RowBox[{"True", ",", "True", ",", "True", ",", "True", ",", "True"}], "}"}]], "Output", TaggingRules->{}, CellChangeTimes->{{3.8891963720701103`*^9, 3.889196379495453*^9}, 3.889196425686384*^9}, CellLabel->"Out[73]=", CellID->705237044,ExpressionUUID->"fa5bf208-2a05-48cd-bd86-9bd8c8524f38"] }, Open ]], Cell["\<\ Given a vertex of the graph, find the list of vertices adjacent to it:\ \>", "CodeText", TaggingRules->{}, CellChangeTimes->{{3.888154644239032*^9, 3.888154671402855*^9}, { 3.888157404018519*^9, 3.888157405607094*^9}, {3.8896260943701544`*^9, 3.8896260962338543`*^9}}, CellID->416925003,ExpressionUUID->"1c1229d1-28ae-4b1d-beea-8ebfe519e234"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"verAdj", "=", RowBox[{"Transpose", "[", RowBox[{"Through", "[", RowBox[{ RowBox[{"{", RowBox[{"VertexList", ",", "AdjacencyList"}], "}"}], "[", "g", "]"}], "]"}], "]"}]}]], "Input", TaggingRules->{}, CellChangeTimes->{{3.888358774748221*^9, 3.8883587780964737`*^9}}, CellLabel->"In[67]:=", CellID->243260162,ExpressionUUID->"80b498d6-ad0a-4ea2-bbf8-5a6fdc26f939"], Cell[BoxData[ RowBox[{"{", RowBox[{ RowBox[{"{", RowBox[{"1", ",", RowBox[{"{", RowBox[{"2", ",", "3"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{"2", ",", RowBox[{"{", RowBox[{"1", ",", "3", ",", "4"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{"3", ",", RowBox[{"{", RowBox[{"1", ",", "2", ",", "4"}], "}"}]}], "}"}], ",", RowBox[{"{", RowBox[{"4", ",", RowBox[{"{", RowBox[{"2", ",", "3"}], "}"}]}], "}"}]}], "}"}]], "Output", TaggingRules->{}, CellChangeTimes->{3.888154024131486*^9, 3.888358814297328*^9, 3.88919596865335*^9, 3.889196357474883*^9}, CellLabel->"Out[67]=", CellID->320979909,ExpressionUUID->"4c277549-42a4-4fb2-9ce0-3e87f0bb44fa"] }, Open ]], Cell["\<\ Now let's find stabilizers, which are simply a set of operators that \ represent the symmetries of a quantum state. Given the above list of vertices \ and their adjacencies find the stabilizers, which can be obtained by Pauli-X \ on vertex and Pauli-Z on adjacencies:\ \>", "CodeText", TaggingRules->{}, CellChangeTimes->{{3.889195939507183*^9, 3.889195942705348*^9}, { 3.8896262984879155`*^9, 3.889626300160731*^9}, {3.889626417784313*^9, 3.889626481778872*^9}}, CellID->518439677,ExpressionUUID->"b7621e7f-7f10-4729-a6bf-4b1db39acbbe"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"stabilizers", "=", RowBox[{ RowBox[{ RowBox[{"QuantumOperator", "[", RowBox[{"{", RowBox[{ RowBox[{"\"\\"", "->", "#1"}], ",", RowBox[{"\"\\"", "->", "#2"}]}], "}"}], "]"}], "&"}], "@@@", "verAdj"}]}]], "Input", TaggingRules->{}, CellChangeTimes->{{3.888154053749074*^9, 3.8881540716987267`*^9}, { 3.888154151745796*^9, 3.888154153791441*^9}, {3.888154192409564*^9, 3.888154193658346*^9}, 3.8883587822999477`*^9}, CellLabel->"In[68]:=", CellID->955324027,ExpressionUUID->"5861fdd9-3b3d-4c24-a0c0-964b381b2a66"], Cell[BoxData[ RowBox[{"{", RowBox[{ InterpretationBox[ RowBox[{ TagBox["QuantumOperator", "SummaryHead"], "[", DynamicModuleBox[{Typeset`open$$ = False, Typeset`embedState$$ = "Ready"}, TemplateBox[{ PaneSelectorBox[{False -> GridBox[{{ PaneBox[ ButtonBox[ DynamicBox[ FEPrivate`FrontEndResource["FEBitmaps", "SummaryBoxOpener"]], ButtonFunction :> (Typeset`open$$ = True), Appearance -> None, BaseStyle -> {}, Evaluator -> Automatic, Method -> "Preemptive"], Alignment -> {Center, Center}, ImageSize -> Dynamic[{ Automatic, 3.5 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[ Magnification])}]], TagBox[ TooltipBox[ GraphicsBox[ RasterBox[CompressedData[" 1:eJxTTMoPSmVmYGDggGIQ22Z77JEJtm/t+xzzdh6aeNFeSVW4xln+vD2p4med D5tmlL63/8XCYcdV9Nr++rlLDbPtX5NsDq3F9yfbWm35/Mo+RVtEfGfkO/vz DB4zV6x+N+rOYR7vQ118qITzUEm3Q8WdtI53AC+utaY= "], {{0, 0}, {8, 8}}, {0, 1}], { DisplayFunction -> Identity, PlotRange -> All, DisplayFunction -> Identity, Background -> RGBColor[1, 1, 1, 0], DisplayFunction -> Identity, Frame -> False, FrameLabel -> {None, None}, FrameTicks -> {{None, None}, {None, None}}, GridLinesStyle -> Directive[ GrayLevel[0.5, 0.4]], ImageSize -> Dynamic[{ Automatic, 3.5 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[ Magnification])}], Method -> { "GridLinesInFront" -> True, "DefaultBoundaryStyle" -> Automatic, "DefaultGraphicsInteraction" -> { "Version" -> 1.2, "TrackMousePosition" -> {True, False}, "Effects" -> { "Highlight" -> {"ratio" -> 2}, "HighlightPoint" -> {"ratio" -> 2}, "Droplines" -> { "freeformCursorMode" -> True, "placement" -> {"x" -> "All", "y" -> "None"}}}}, "DefaultPlotStyle" -> Automatic}, PlotRangeClipping -> True}], RowBox[{ TemplateBox[{"\"Z\"", RowBox[{"\[CircleTimes]", "2"}]}, "Superscript", SyntaxForm -> SuperscriptBox], "\[CircleTimes]", "\"X\""}]], Annotation[#, CircleTimes[ Superscript["Z", CircleTimes[2]], "X"], "Tooltip"]& ], GridBox[{{ RowBox[{ TagBox["\"Picture: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["\"Schr\[ODoubleDot]dinger\"", "SummaryItem"]}], RowBox[{ TagBox["\"Arity: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["3", "SummaryItem"]}]}, { RowBox[{ TagBox["\"Dimension: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TemplateBox[{"8", "\"\[RightArrow]\"", "8"}, "RowDefault"], "SummaryItem"]}], RowBox[{ TagBox["\"Qudits: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TemplateBox[{"3", "\"\[RightArrow]\"", "3"}, "RowDefault"], "SummaryItem"]}]}}, GridBoxAlignment -> { "Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings -> { "Columns" -> {{2}}, "Rows" -> {{Automatic}}}, BaseStyle -> { ShowStringCharacters -> False, NumberMarks -> False, PrintPrecision -> 3, ShowSyntaxStyles -> False}]}}, GridBoxAlignment -> {"Columns" -> {{Left}}, "Rows" -> {{Top}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, BaselinePosition -> {1, 1}], True -> GridBox[{{ PaneBox[ ButtonBox[ DynamicBox[ FEPrivate`FrontEndResource["FEBitmaps", "SummaryBoxCloser"]], ButtonFunction :> (Typeset`open$$ = False), Appearance -> None, BaseStyle -> {}, Evaluator -> Automatic, Method -> "Preemptive"], Alignment -> {Center, Center}, ImageSize -> Dynamic[{ Automatic, 3.5 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[ Magnification])}]], TagBox[ TooltipBox[ GraphicsBox[ RasterBox[CompressedData[" 1:eJxTTMoPSmVmYGDggGIQ22Z77JEJtm/t+xzzdh6aeNFeSVW4xln+vD2p4med D5tmlL63/8XCYcdV9Nr++rlLDbPtX5NsDq3F9yfbWm35/Mo+RVtEfGfkO/vz DB4zV6x+N+rOYR7vQ118qITzUEm3Q8WdtI53AC+utaY= "], {{0, 0}, {8, 8}}, {0, 1}], { DisplayFunction -> Identity, PlotRange -> All, DisplayFunction -> Identity, Background -> RGBColor[1, 1, 1, 0], DisplayFunction -> Identity, Frame -> False, FrameLabel -> {None, None}, FrameTicks -> {{None, None}, {None, None}}, GridLinesStyle -> Directive[ GrayLevel[0.5, 0.4]], ImageSize -> Dynamic[{ Automatic, 3.5 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[ Magnification])}], Method -> { "GridLinesInFront" -> True, "DefaultBoundaryStyle" -> Automatic, "DefaultGraphicsInteraction" -> { "Version" -> 1.2, "TrackMousePosition" -> {True, False}, "Effects" -> { "Highlight" -> {"ratio" -> 2}, "HighlightPoint" -> {"ratio" -> 2}, "Droplines" -> { "freeformCursorMode" -> True, "placement" -> {"x" -> "All", "y" -> "None"}}}}, "DefaultPlotStyle" -> Automatic}, PlotRangeClipping -> True}], RowBox[{ TemplateBox[{"\"Z\"", RowBox[{"\[CircleTimes]", "2"}]}, "Superscript", SyntaxForm -> SuperscriptBox], "\[CircleTimes]", "\"X\""}]], Annotation[#, CircleTimes[ Superscript["Z", CircleTimes[2]], "X"], "Tooltip"]& ], GridBox[{{ RowBox[{ TagBox["\"Picture: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["\"Schr\[ODoubleDot]dinger\"", "SummaryItem"]}], RowBox[{ TagBox["\"Arity: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["3", "SummaryItem"]}]}, { RowBox[{ TagBox["\"Dimension: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TemplateBox[{"8", "\"\[RightArrow]\"", "8"}, "RowDefault"], "SummaryItem"]}], RowBox[{ TagBox["\"Qudits: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TemplateBox[{"3", "\"\[RightArrow]\"", "3"}, "RowDefault"], "SummaryItem"]}]}, { RowBox[{ TagBox["\"Hermitian: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["True", "SummaryItem"]}], RowBox[{ TagBox["\"Order: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TemplateBox[{ RowBox[{"{", RowBox[{"2", ",", "3", ",", "1"}], "}"}], "\"\[RightArrow]\"", RowBox[{"{", RowBox[{"2", ",", "3", ",", "1"}], "}"}]}, "RowDefault"], "SummaryItem"]}]}, { RowBox[{ TagBox["\"Unitary: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["True", "SummaryItem"]}], RowBox[{ TagBox["\"Dimensions: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TemplateBox[{ RowBox[{"{", RowBox[{"2", ",", "2", ",", "2"}], "}"}], "\"\[RightArrow]\"", RowBox[{"{", RowBox[{"2", ",", "2", ",", "2"}], "}"}]}, "RowDefault"], "SummaryItem"]}]}, { RowBox[{ TagBox["\"ParameterArity: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["0", "SummaryItem"]}], RowBox[{ TagBox["\"Parameters: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ RowBox[{"{", "}"}], "SummaryItem"]}]}}, GridBoxAlignment -> { "Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings -> { "Columns" -> {{2}}, "Rows" -> {{Automatic}}}, BaseStyle -> { ShowStringCharacters -> False, NumberMarks -> False, PrintPrecision -> 3, ShowSyntaxStyles -> False}]}}, GridBoxAlignment -> {"Columns" -> {{Left}}, "Rows" -> {{Top}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, BaselinePosition -> {1, 1}]}, Dynamic[Typeset`open$$], ImageSize -> Automatic]}, "SummaryPanel"], DynamicModuleValues:>{}], "]"}], Wolfram`QuantumFramework`QuantumOperator[ Wolfram`QuantumFramework`QuantumState[ SparseArray[ Automatic, {64}, 0, { 1, {{0, 8}, {{2}, {9}, {20}, {27}, {38}, {45}, {56}, {63}}}, {1, 1, -1, -1, -1, -1, 1, 1}}], Wolfram`QuantumFramework`QuantumBasis[<| "Output" -> Wolfram`QuantumFramework`QuditBasis[<|{ Wolfram`QuantumFramework`QuditName[0, "Dual" -> False], 1} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> False], 1} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}], { Wolfram`QuantumFramework`QuditName[0, "Dual" -> False], 2} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> False], 2} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}], { Wolfram`QuantumFramework`QuditName[0, "Dual" -> False], 3} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> False], 3} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}]|>], "Input" -> Wolfram`QuantumFramework`QuditBasis[<|{ Wolfram`QuantumFramework`QuditName[0, "Dual" -> True], 1} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> True], 1} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}], { Wolfram`QuantumFramework`QuditName[0, "Dual" -> True], 2} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> True], 2} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}], { Wolfram`QuantumFramework`QuditName[0, "Dual" -> True], 3} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> True], 3} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}]|>], "Picture" -> "Schr\[ODoubleDot]dinger", "Label" -> CircleTimes[ Superscript["Z", CircleTimes[2]], "X"], "ParameterSpec" -> {}|>]], {{2, 3, 1}, {2, 3, 1}}], Editable->False, SelectWithContents->True, Selectable->False], ",", InterpretationBox[ RowBox[{ TagBox["QuantumOperator", "SummaryHead"], "[", DynamicModuleBox[{Typeset`open$$ = False, Typeset`embedState$$ = "Ready"}, TemplateBox[{ PaneSelectorBox[{False -> GridBox[{{ PaneBox[ ButtonBox[ DynamicBox[ FEPrivate`FrontEndResource["FEBitmaps", "SummaryBoxOpener"]], ButtonFunction :> (Typeset`open$$ = True), Appearance -> None, BaseStyle -> {}, Evaluator -> Automatic, Method -> "Preemptive"], Alignment -> {Center, Center}, ImageSize -> Dynamic[{ Automatic, 3.5 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[ Magnification])}]], TagBox[ TooltipBox[ GraphicsBox[ RasterBox[CompressedData[" 1:eJxTTMoPSmVmYGAQgGIQ22Z77JEJtm/t+xzzdh6aeNFeSVW4xln+vP1IE9+f bGu15fMr+xRtEfGdke/szzN4zFyx+t2gc+dQFz/rfNg0o/S9/S8WDjuuotf2 189dapht/3rQuXOoi4+G82i5MSo+eMRH08louTecxEfDebTcGE0Po+lhuIqP hvNouTEqPnjER9PJaLk3nMRHw3m03BgM4gDHN7/2 "], {{0, 0}, {16, 16}}, {0, 1}], { DisplayFunction -> Identity, PlotRange -> All, DisplayFunction -> Identity, Background -> RGBColor[1, 1, 1, 0], DisplayFunction -> Identity, Frame -> False, FrameLabel -> {None, None}, FrameTicks -> {{None, None}, {None, None}}, GridLinesStyle -> Directive[ GrayLevel[0.5, 0.4]], ImageSize -> Dynamic[{ Automatic, 3.5 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[ Magnification])}], Method -> { "GridLinesInFront" -> True, "DefaultBoundaryStyle" -> Automatic, "DefaultGraphicsInteraction" -> { "Version" -> 1.2, "TrackMousePosition" -> {True, False}, "Effects" -> { "Highlight" -> {"ratio" -> 2}, "HighlightPoint" -> {"ratio" -> 2}, "Droplines" -> { "freeformCursorMode" -> True, "placement" -> {"x" -> "All", "y" -> "None"}}}}, "DefaultPlotStyle" -> Automatic}, PlotRangeClipping -> True}], RowBox[{ TemplateBox[{"\"Z\"", RowBox[{"\[CircleTimes]", "3"}]}, "Superscript", SyntaxForm -> SuperscriptBox], "\[CircleTimes]", "\"X\""}]], Annotation[#, CircleTimes[ Superscript["Z", CircleTimes[3]], "X"], "Tooltip"]& ], GridBox[{{ RowBox[{ TagBox["\"Picture: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["\"Schr\[ODoubleDot]dinger\"", "SummaryItem"]}], RowBox[{ TagBox["\"Arity: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["4", "SummaryItem"]}]}, { RowBox[{ TagBox["\"Dimension: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TemplateBox[{"16", "\"\[RightArrow]\"", "16"}, "RowDefault"], "SummaryItem"]}], RowBox[{ TagBox["\"Qudits: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TemplateBox[{"4", "\"\[RightArrow]\"", "4"}, "RowDefault"], "SummaryItem"]}]}}, GridBoxAlignment -> { "Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings -> { "Columns" -> {{2}}, "Rows" -> {{Automatic}}}, BaseStyle -> { ShowStringCharacters -> False, NumberMarks -> False, PrintPrecision -> 3, ShowSyntaxStyles -> False}]}}, GridBoxAlignment -> {"Columns" -> {{Left}}, "Rows" -> {{Top}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, BaselinePosition -> {1, 1}], True -> GridBox[{{ PaneBox[ ButtonBox[ DynamicBox[ FEPrivate`FrontEndResource["FEBitmaps", "SummaryBoxCloser"]], ButtonFunction :> (Typeset`open$$ = False), Appearance -> None, BaseStyle -> {}, Evaluator -> Automatic, Method -> "Preemptive"], Alignment -> {Center, Center}, ImageSize -> Dynamic[{ Automatic, 3.5 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[ Magnification])}]], TagBox[ TooltipBox[ GraphicsBox[ RasterBox[CompressedData[" 1:eJxTTMoPSmVmYGAQgGIQ22Z77JEJtm/t+xzzdh6aeNFeSVW4xln+vP1IE9+f bGu15fMr+xRtEfGdke/szzN4zFyx+t2gc+dQFz/rfNg0o/S9/S8WDjuuotf2 189dapht/3rQuXOoi4+G82i5MSo+eMRH08louTecxEfDebTcGE0Po+lhuIqP hvNouTEqPnjER9PJaLk3nMRHw3m03BgM4gDHN7/2 "], {{0, 0}, {16, 16}}, {0, 1}], { DisplayFunction -> Identity, PlotRange -> All, DisplayFunction -> Identity, Background -> RGBColor[1, 1, 1, 0], DisplayFunction -> Identity, Frame -> False, FrameLabel -> {None, None}, FrameTicks -> {{None, None}, {None, None}}, GridLinesStyle -> Directive[ GrayLevel[0.5, 0.4]], ImageSize -> Dynamic[{ Automatic, 3.5 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[ Magnification])}], Method -> { "GridLinesInFront" -> True, "DefaultBoundaryStyle" -> Automatic, "DefaultGraphicsInteraction" -> { "Version" -> 1.2, "TrackMousePosition" -> {True, False}, "Effects" -> { "Highlight" -> {"ratio" -> 2}, "HighlightPoint" -> {"ratio" -> 2}, "Droplines" -> { "freeformCursorMode" -> True, "placement" -> {"x" -> "All", "y" -> "None"}}}}, "DefaultPlotStyle" -> Automatic}, PlotRangeClipping -> True}], RowBox[{ TemplateBox[{"\"Z\"", RowBox[{"\[CircleTimes]", "3"}]}, "Superscript", SyntaxForm -> SuperscriptBox], "\[CircleTimes]", "\"X\""}]], Annotation[#, CircleTimes[ Superscript["Z", CircleTimes[3]], "X"], "Tooltip"]& ], GridBox[{{ RowBox[{ TagBox["\"Picture: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["\"Schr\[ODoubleDot]dinger\"", "SummaryItem"]}], RowBox[{ TagBox["\"Arity: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["4", "SummaryItem"]}]}, { RowBox[{ TagBox["\"Dimension: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TemplateBox[{"16", "\"\[RightArrow]\"", "16"}, "RowDefault"], "SummaryItem"]}], RowBox[{ TagBox["\"Qudits: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TemplateBox[{"4", "\"\[RightArrow]\"", "4"}, "RowDefault"], "SummaryItem"]}]}, { RowBox[{ TagBox["\"Hermitian: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["True", "SummaryItem"]}], RowBox[{ TagBox["\"Order: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TemplateBox[{ RowBox[{"{", RowBox[{"1", ",", "3", ",", "4", ",", "2"}], "}"}], "\"\[RightArrow]\"", RowBox[{"{", RowBox[{"1", ",", "3", ",", "4", ",", "2"}], "}"}]}, "RowDefault"], "SummaryItem"]}]}, { RowBox[{ TagBox["\"Unitary: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["True", "SummaryItem"]}], RowBox[{ TagBox["\"Dimensions: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TemplateBox[{ RowBox[{"{", RowBox[{"2", ",", "2", ",", "2", ",", "2"}], "}"}], "\"\[RightArrow]\"", RowBox[{"{", RowBox[{"2", ",", "2", ",", "2", ",", "2"}], "}"}]}, "RowDefault"], "SummaryItem"]}]}, { RowBox[{ TagBox["\"ParameterArity: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["0", "SummaryItem"]}], RowBox[{ TagBox["\"Parameters: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ RowBox[{"{", "}"}], "SummaryItem"]}]}}, GridBoxAlignment -> { "Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings -> { "Columns" -> {{2}}, "Rows" -> {{Automatic}}}, BaseStyle -> { ShowStringCharacters -> False, NumberMarks -> False, PrintPrecision -> 3, ShowSyntaxStyles -> False}]}}, GridBoxAlignment -> {"Columns" -> {{Left}}, "Rows" -> {{Top}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, BaselinePosition -> {1, 1}]}, Dynamic[Typeset`open$$], ImageSize -> Automatic]}, "SummaryPanel"], DynamicModuleValues:>{}], "]"}], Wolfram`QuantumFramework`QuantumOperator[ Wolfram`QuantumFramework`QuantumState[ SparseArray[ Automatic, {256}, 0, { 1, {{0, 16}, {{2}, {17}, {36}, {51}, {70}, {85}, {104}, {119}, {138}, { 153}, {172}, {187}, {206}, {221}, {240}, {255}}}, {1, 1, -1, -1, -1, -1, 1, 1, -1, -1, 1, 1, 1, 1, -1, -1}}], Wolfram`QuantumFramework`QuantumBasis[<| "Output" -> Wolfram`QuantumFramework`QuditBasis[<|{ Wolfram`QuantumFramework`QuditName[0, "Dual" -> False], 1} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> False], 1} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}], { Wolfram`QuantumFramework`QuditName[0, "Dual" -> False], 2} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> False], 2} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}], { Wolfram`QuantumFramework`QuditName[0, "Dual" -> False], 3} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> False], 3} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}], { Wolfram`QuantumFramework`QuditName[0, "Dual" -> False], 4} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> False], 4} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}]|>], "Input" -> Wolfram`QuantumFramework`QuditBasis[<|{ Wolfram`QuantumFramework`QuditName[0, "Dual" -> True], 1} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> True], 1} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}], { Wolfram`QuantumFramework`QuditName[0, "Dual" -> True], 2} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> True], 2} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}], { Wolfram`QuantumFramework`QuditName[0, "Dual" -> True], 3} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> True], 3} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}], { Wolfram`QuantumFramework`QuditName[0, "Dual" -> True], 4} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> True], 4} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}]|>], "Picture" -> "Schr\[ODoubleDot]dinger", "Label" -> CircleTimes[ Superscript["Z", CircleTimes[3]], "X"], "ParameterSpec" -> {}|>]], {{1, 3, 4, 2}, { 1, 3, 4, 2}}], Editable->False, SelectWithContents->True, Selectable->False], ",", InterpretationBox[ RowBox[{ TagBox["QuantumOperator", "SummaryHead"], "[", DynamicModuleBox[{Typeset`open$$ = False, Typeset`embedState$$ = "Ready"}, TemplateBox[{ PaneSelectorBox[{False -> GridBox[{{ PaneBox[ ButtonBox[ DynamicBox[ FEPrivate`FrontEndResource["FEBitmaps", "SummaryBoxOpener"]], ButtonFunction :> (Typeset`open$$ = True), Appearance -> None, BaseStyle -> {}, Evaluator -> Automatic, Method -> "Preemptive"], Alignment -> {Center, Center}, ImageSize -> Dynamic[{ Automatic, 3.5 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[ Magnification])}]], TagBox[ TooltipBox[ GraphicsBox[ RasterBox[CompressedData[" 1:eJxTTMoPSmVmYGAQgGIQ22Z77JEJtm/t+xzzdh6aeNFeSVW4xln+vP2oOH7x /cm2Vls+v7JP0RYR3xn5zv48g8fMFavfDTp3DnXxs86HTTNK39v/YuGw4yp6 bX/93KWG2favB507R8VH88tgEB/NL6PhMJqvR8VH88vgFB/NL6PpbTS9jYqP 5pfBKT6aX0bDYTRfj4qP5pfBKT6aX6grDgDHN7/2 "], {{0, 0}, {16, 16}}, {0, 1}], { DisplayFunction -> Identity, PlotRange -> All, DisplayFunction -> Identity, Background -> RGBColor[1, 1, 1, 0], DisplayFunction -> Identity, Frame -> False, FrameLabel -> {None, None}, FrameTicks -> {{None, None}, {None, None}}, GridLinesStyle -> Directive[ GrayLevel[0.5, 0.4]], ImageSize -> Dynamic[{ Automatic, 3.5 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[ Magnification])}], Method -> { "GridLinesInFront" -> True, "DefaultBoundaryStyle" -> Automatic, "DefaultGraphicsInteraction" -> { "Version" -> 1.2, "TrackMousePosition" -> {True, False}, "Effects" -> { "Highlight" -> {"ratio" -> 2}, "HighlightPoint" -> {"ratio" -> 2}, "Droplines" -> { "freeformCursorMode" -> True, "placement" -> {"x" -> "All", "y" -> "None"}}}}, "DefaultPlotStyle" -> Automatic}, PlotRangeClipping -> True}], RowBox[{ TemplateBox[{"\"Z\"", RowBox[{"\[CircleTimes]", "3"}]}, "Superscript", SyntaxForm -> SuperscriptBox], "\[CircleTimes]", "\"X\""}]], Annotation[#, CircleTimes[ Superscript["Z", CircleTimes[3]], "X"], "Tooltip"]& ], GridBox[{{ RowBox[{ TagBox["\"Picture: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["\"Schr\[ODoubleDot]dinger\"", "SummaryItem"]}], RowBox[{ TagBox["\"Arity: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["4", "SummaryItem"]}]}, { RowBox[{ TagBox["\"Dimension: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TemplateBox[{"16", "\"\[RightArrow]\"", "16"}, "RowDefault"], "SummaryItem"]}], RowBox[{ TagBox["\"Qudits: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TemplateBox[{"4", "\"\[RightArrow]\"", "4"}, "RowDefault"], "SummaryItem"]}]}}, GridBoxAlignment -> { "Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings -> { "Columns" -> {{2}}, "Rows" -> {{Automatic}}}, BaseStyle -> { ShowStringCharacters -> False, NumberMarks -> False, PrintPrecision -> 3, ShowSyntaxStyles -> False}]}}, GridBoxAlignment -> {"Columns" -> {{Left}}, "Rows" -> {{Top}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, BaselinePosition -> {1, 1}], True -> GridBox[{{ PaneBox[ ButtonBox[ DynamicBox[ FEPrivate`FrontEndResource["FEBitmaps", "SummaryBoxCloser"]], ButtonFunction :> (Typeset`open$$ = False), Appearance -> None, BaseStyle -> {}, Evaluator -> Automatic, Method -> "Preemptive"], Alignment -> {Center, Center}, ImageSize -> Dynamic[{ Automatic, 3.5 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[ Magnification])}]], TagBox[ TooltipBox[ GraphicsBox[ RasterBox[CompressedData[" 1:eJxTTMoPSmVmYGAQgGIQ22Z77JEJtm/t+xzzdh6aeNFeSVW4xln+vP2oOH7x /cm2Vls+v7JP0RYR3xn5zv48g8fMFavfDTp3DnXxs86HTTNK39v/YuGw4yp6 bX/93KWG2favB507R8VH88tgEB/NL6PhMJqvR8VH88vgFB/NL6PpbTS9jYqP 5pfBKT6aX0bDYTRfj4qP5pfBKT6aX6grDgDHN7/2 "], {{0, 0}, {16, 16}}, {0, 1}], { DisplayFunction -> Identity, PlotRange -> All, DisplayFunction -> Identity, Background -> RGBColor[1, 1, 1, 0], DisplayFunction -> Identity, Frame -> False, FrameLabel -> {None, None}, FrameTicks -> {{None, None}, {None, None}}, GridLinesStyle -> Directive[ GrayLevel[0.5, 0.4]], ImageSize -> Dynamic[{ Automatic, 3.5 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[ Magnification])}], Method -> { "GridLinesInFront" -> True, "DefaultBoundaryStyle" -> Automatic, "DefaultGraphicsInteraction" -> { "Version" -> 1.2, "TrackMousePosition" -> {True, False}, "Effects" -> { "Highlight" -> {"ratio" -> 2}, "HighlightPoint" -> {"ratio" -> 2}, "Droplines" -> { "freeformCursorMode" -> True, "placement" -> {"x" -> "All", "y" -> "None"}}}}, "DefaultPlotStyle" -> Automatic}, PlotRangeClipping -> True}], RowBox[{ TemplateBox[{"\"Z\"", RowBox[{"\[CircleTimes]", "3"}]}, "Superscript", SyntaxForm -> SuperscriptBox], "\[CircleTimes]", "\"X\""}]], Annotation[#, CircleTimes[ Superscript["Z", CircleTimes[3]], "X"], "Tooltip"]& ], GridBox[{{ RowBox[{ TagBox["\"Picture: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["\"Schr\[ODoubleDot]dinger\"", "SummaryItem"]}], RowBox[{ TagBox["\"Arity: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["4", "SummaryItem"]}]}, { RowBox[{ TagBox["\"Dimension: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TemplateBox[{"16", "\"\[RightArrow]\"", "16"}, "RowDefault"], "SummaryItem"]}], RowBox[{ TagBox["\"Qudits: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TemplateBox[{"4", "\"\[RightArrow]\"", "4"}, "RowDefault"], "SummaryItem"]}]}, { RowBox[{ TagBox["\"Hermitian: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["True", "SummaryItem"]}], RowBox[{ TagBox["\"Order: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TemplateBox[{ RowBox[{"{", RowBox[{"1", ",", "2", ",", "4", ",", "3"}], "}"}], "\"\[RightArrow]\"", RowBox[{"{", RowBox[{"1", ",", "2", ",", "4", ",", "3"}], "}"}]}, "RowDefault"], "SummaryItem"]}]}, { RowBox[{ TagBox["\"Unitary: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["True", "SummaryItem"]}], RowBox[{ TagBox["\"Dimensions: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TemplateBox[{ RowBox[{"{", RowBox[{"2", ",", "2", ",", "2", ",", "2"}], "}"}], "\"\[RightArrow]\"", RowBox[{"{", RowBox[{"2", ",", "2", ",", "2", ",", "2"}], "}"}]}, "RowDefault"], "SummaryItem"]}]}, { RowBox[{ TagBox["\"ParameterArity: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["0", "SummaryItem"]}], RowBox[{ TagBox["\"Parameters: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ RowBox[{"{", "}"}], "SummaryItem"]}]}}, GridBoxAlignment -> { "Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings -> { "Columns" -> {{2}}, "Rows" -> {{Automatic}}}, BaseStyle -> { ShowStringCharacters -> False, NumberMarks -> False, PrintPrecision -> 3, ShowSyntaxStyles -> False}]}}, GridBoxAlignment -> {"Columns" -> {{Left}}, "Rows" -> {{Top}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, BaselinePosition -> {1, 1}]}, Dynamic[Typeset`open$$], ImageSize -> Automatic]}, "SummaryPanel"], DynamicModuleValues:>{}], "]"}], Wolfram`QuantumFramework`QuantumOperator[ Wolfram`QuantumFramework`QuantumState[ SparseArray[ Automatic, {256}, 0, { 1, {{0, 16}, {{2}, {17}, {36}, {51}, {70}, {85}, {104}, {119}, {138}, { 153}, {172}, {187}, {206}, {221}, {240}, {255}}}, {1, 1, -1, -1, -1, -1, 1, 1, -1, -1, 1, 1, 1, 1, -1, -1}}], Wolfram`QuantumFramework`QuantumBasis[<| "Output" -> Wolfram`QuantumFramework`QuditBasis[<|{ Wolfram`QuantumFramework`QuditName[0, "Dual" -> False], 1} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> False], 1} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}], { Wolfram`QuantumFramework`QuditName[0, "Dual" -> False], 2} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> False], 2} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}], { Wolfram`QuantumFramework`QuditName[0, "Dual" -> False], 3} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> False], 3} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}], { Wolfram`QuantumFramework`QuditName[0, "Dual" -> False], 4} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> False], 4} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}]|>], "Input" -> Wolfram`QuantumFramework`QuditBasis[<|{ Wolfram`QuantumFramework`QuditName[0, "Dual" -> True], 1} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> True], 1} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}], { Wolfram`QuantumFramework`QuditName[0, "Dual" -> True], 2} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> True], 2} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}], { Wolfram`QuantumFramework`QuditName[0, "Dual" -> True], 3} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> True], 3} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}], { Wolfram`QuantumFramework`QuditName[0, "Dual" -> True], 4} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> True], 4} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}]|>], "Picture" -> "Schr\[ODoubleDot]dinger", "Label" -> CircleTimes[ Superscript["Z", CircleTimes[3]], "X"], "ParameterSpec" -> {}|>]], {{1, 2, 4, 3}, { 1, 2, 4, 3}}], Editable->False, SelectWithContents->True, Selectable->False], ",", InterpretationBox[ RowBox[{ TagBox["QuantumOperator", "SummaryHead"], "[", DynamicModuleBox[{Typeset`open$$ = False, Typeset`embedState$$ = "Ready"}, TemplateBox[{ PaneSelectorBox[{False -> GridBox[{{ PaneBox[ ButtonBox[ DynamicBox[ FEPrivate`FrontEndResource["FEBitmaps", "SummaryBoxOpener"]], ButtonFunction :> (Typeset`open$$ = True), Appearance -> None, BaseStyle -> {}, Evaluator -> Automatic, Method -> "Preemptive"], Alignment -> {Center, Center}, ImageSize -> Dynamic[{ Automatic, 3.5 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[ Magnification])}]], TagBox[ TooltipBox[ GraphicsBox[ RasterBox[CompressedData[" 1:eJxTTMoPSmVmYGDggGIQ22Z77JEJtm/t+xzzdh6aeNFeSVW4xln+vP1AiZ91 PmyaUfre/hcLhx1X0Wv76+cuNcy2fz1g7hnq/tqfbGu15fMr+xRtEfGdke/s zzN4zFyx+t2gC5+h4q/R8Bwe+WLUXxBxAC+utaY= "], {{0, 0}, {8, 8}}, {0, 1}], { DisplayFunction -> Identity, PlotRange -> All, DisplayFunction -> Identity, Background -> RGBColor[1, 1, 1, 0], DisplayFunction -> Identity, Frame -> False, FrameLabel -> {None, None}, FrameTicks -> {{None, None}, {None, None}}, GridLinesStyle -> Directive[ GrayLevel[0.5, 0.4]], ImageSize -> Dynamic[{ Automatic, 3.5 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[ Magnification])}], Method -> { "GridLinesInFront" -> True, "DefaultBoundaryStyle" -> Automatic, "DefaultGraphicsInteraction" -> { "Version" -> 1.2, "TrackMousePosition" -> {True, False}, "Effects" -> { "Highlight" -> {"ratio" -> 2}, "HighlightPoint" -> {"ratio" -> 2}, "Droplines" -> { "freeformCursorMode" -> True, "placement" -> {"x" -> "All", "y" -> "None"}}}}, "DefaultPlotStyle" -> Automatic}, PlotRangeClipping -> True}], RowBox[{ TemplateBox[{"\"Z\"", RowBox[{"\[CircleTimes]", "2"}]}, "Superscript", SyntaxForm -> SuperscriptBox], "\[CircleTimes]", "\"X\""}]], Annotation[#, CircleTimes[ Superscript["Z", CircleTimes[2]], "X"], "Tooltip"]& ], GridBox[{{ RowBox[{ TagBox["\"Picture: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["\"Schr\[ODoubleDot]dinger\"", "SummaryItem"]}], RowBox[{ TagBox["\"Arity: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["3", "SummaryItem"]}]}, { RowBox[{ TagBox["\"Dimension: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TemplateBox[{"8", "\"\[RightArrow]\"", "8"}, "RowDefault"], "SummaryItem"]}], RowBox[{ TagBox["\"Qudits: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TemplateBox[{"3", "\"\[RightArrow]\"", "3"}, "RowDefault"], "SummaryItem"]}]}}, GridBoxAlignment -> { "Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings -> { "Columns" -> {{2}}, "Rows" -> {{Automatic}}}, BaseStyle -> { ShowStringCharacters -> False, NumberMarks -> False, PrintPrecision -> 3, ShowSyntaxStyles -> False}]}}, GridBoxAlignment -> {"Columns" -> {{Left}}, "Rows" -> {{Top}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, BaselinePosition -> {1, 1}], True -> GridBox[{{ PaneBox[ ButtonBox[ DynamicBox[ FEPrivate`FrontEndResource["FEBitmaps", "SummaryBoxCloser"]], ButtonFunction :> (Typeset`open$$ = False), Appearance -> None, BaseStyle -> {}, Evaluator -> Automatic, Method -> "Preemptive"], Alignment -> {Center, Center}, ImageSize -> Dynamic[{ Automatic, 3.5 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[ Magnification])}]], TagBox[ TooltipBox[ GraphicsBox[ RasterBox[CompressedData[" 1:eJxTTMoPSmVmYGDggGIQ22Z77JEJtm/t+xzzdh6aeNFeSVW4xln+vP1AiZ91 PmyaUfre/hcLhx1X0Wv76+cuNcy2fz1g7hnq/tqfbGu15fMr+xRtEfGdke/s zzN4zFyx+t2gC5+h4q/R8Bwe+WLUXxBxAC+utaY= "], {{0, 0}, {8, 8}}, {0, 1}], { DisplayFunction -> Identity, PlotRange -> All, DisplayFunction -> Identity, Background -> RGBColor[1, 1, 1, 0], DisplayFunction -> Identity, Frame -> False, FrameLabel -> {None, None}, FrameTicks -> {{None, None}, {None, None}}, GridLinesStyle -> Directive[ GrayLevel[0.5, 0.4]], ImageSize -> Dynamic[{ Automatic, 3.5 (CurrentValue["FontCapHeight"]/AbsoluteCurrentValue[ Magnification])}], Method -> { "GridLinesInFront" -> True, "DefaultBoundaryStyle" -> Automatic, "DefaultGraphicsInteraction" -> { "Version" -> 1.2, "TrackMousePosition" -> {True, False}, "Effects" -> { "Highlight" -> {"ratio" -> 2}, "HighlightPoint" -> {"ratio" -> 2}, "Droplines" -> { "freeformCursorMode" -> True, "placement" -> {"x" -> "All", "y" -> "None"}}}}, "DefaultPlotStyle" -> Automatic}, PlotRangeClipping -> True}], RowBox[{ TemplateBox[{"\"Z\"", RowBox[{"\[CircleTimes]", "2"}]}, "Superscript", SyntaxForm -> SuperscriptBox], "\[CircleTimes]", "\"X\""}]], Annotation[#, CircleTimes[ Superscript["Z", CircleTimes[2]], "X"], "Tooltip"]& ], GridBox[{{ RowBox[{ TagBox["\"Picture: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["\"Schr\[ODoubleDot]dinger\"", "SummaryItem"]}], RowBox[{ TagBox["\"Arity: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["3", "SummaryItem"]}]}, { RowBox[{ TagBox["\"Dimension: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TemplateBox[{"8", "\"\[RightArrow]\"", "8"}, "RowDefault"], "SummaryItem"]}], RowBox[{ TagBox["\"Qudits: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TemplateBox[{"3", "\"\[RightArrow]\"", "3"}, "RowDefault"], "SummaryItem"]}]}, { RowBox[{ TagBox["\"Hermitian: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["True", "SummaryItem"]}], RowBox[{ TagBox["\"Order: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TemplateBox[{ RowBox[{"{", RowBox[{"2", ",", "3", ",", "4"}], "}"}], "\"\[RightArrow]\"", RowBox[{"{", RowBox[{"2", ",", "3", ",", "4"}], "}"}]}, "RowDefault"], "SummaryItem"]}]}, { RowBox[{ TagBox["\"Unitary: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["True", "SummaryItem"]}], RowBox[{ TagBox["\"Dimensions: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ TemplateBox[{ RowBox[{"{", RowBox[{"2", ",", "2", ",", "2"}], "}"}], "\"\[RightArrow]\"", RowBox[{"{", RowBox[{"2", ",", "2", ",", "2"}], "}"}]}, "RowDefault"], "SummaryItem"]}]}, { RowBox[{ TagBox["\"ParameterArity: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["0", "SummaryItem"]}], RowBox[{ TagBox["\"Parameters: \"", "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox[ RowBox[{"{", "}"}], "SummaryItem"]}]}}, GridBoxAlignment -> { "Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings -> { "Columns" -> {{2}}, "Rows" -> {{Automatic}}}, BaseStyle -> { ShowStringCharacters -> False, NumberMarks -> False, PrintPrecision -> 3, ShowSyntaxStyles -> False}]}}, GridBoxAlignment -> {"Columns" -> {{Left}}, "Rows" -> {{Top}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, BaselinePosition -> {1, 1}]}, Dynamic[Typeset`open$$], ImageSize -> Automatic]}, "SummaryPanel"], DynamicModuleValues:>{}], "]"}], Wolfram`QuantumFramework`QuantumOperator[ Wolfram`QuantumFramework`QuantumState[ SparseArray[ Automatic, {64}, 0, { 1, {{0, 8}, {{2}, {9}, {20}, {27}, {38}, {45}, {56}, {63}}}, {1, 1, -1, -1, -1, -1, 1, 1}}], Wolfram`QuantumFramework`QuantumBasis[<| "Output" -> Wolfram`QuantumFramework`QuditBasis[<|{ Wolfram`QuantumFramework`QuditName[0, "Dual" -> False], 1} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> False], 1} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}], { Wolfram`QuantumFramework`QuditName[0, "Dual" -> False], 2} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> False], 2} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}], { Wolfram`QuantumFramework`QuditName[0, "Dual" -> False], 3} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> False], 3} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}]|>], "Input" -> Wolfram`QuantumFramework`QuditBasis[<|{ Wolfram`QuantumFramework`QuditName[0, "Dual" -> True], 1} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> True], 1} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}], { Wolfram`QuantumFramework`QuditName[0, "Dual" -> True], 2} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> True], 2} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}], { Wolfram`QuantumFramework`QuditName[0, "Dual" -> True], 3} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{1}}}, {1}}], { Wolfram`QuantumFramework`QuditName[1, "Dual" -> True], 3} -> SparseArray[Automatic, {2}, 0, {1, {{0, 1}, {{2}}}, {1}}]|>], "Picture" -> "Schr\[ODoubleDot]dinger", "Label" -> CircleTimes[ Superscript["Z", CircleTimes[2]], "X"], "ParameterSpec" -> {}|>]], {{2, 3, 4}, {2, 3, 4}}], Editable->False, SelectWithContents->True, Selectable->False]}], "}"}]], "Output", TaggingRules->{}, CellChangeTimes->{ 3.888154072477427*^9, {3.888154155450828*^9, 3.8881541956301947`*^9}, 3.8883588168252296`*^9, 3.889195971376404*^9, 3.8891963610442343`*^9}, CellLabel->"Out[68]=", CellID->247295506,ExpressionUUID->"9e13041c-8388-4ce2-9fa5-a332c406d743"] }, Open ]], Cell["\<\ Apply the above list of stabilizers and show that the result is still the \ same as the original state (that is why it is called stabilizer):\ \>", "CodeText", TaggingRules->{}, CellChangeTimes->{{3.888154736509616*^9, 3.888154757621266*^9}, { 3.888409554480009*^9, 3.8884095755787*^9}, 3.889195948078313*^9, { 3.8896262338218126`*^9, 3.889626258714029*^9}}, CellID->389319657,ExpressionUUID->"aa1bb2bf-5197-417a-b82d-79568cdef3d0"], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{"Thread", "[", RowBox[{ RowBox[{"Through", "[", RowBox[{"stabilizers", "[", "\[Psi]f", "]"}], "]"}], "==", "\[Psi]f"}], "]"}]], "Input", TaggingRules->{}, CellChangeTimes->{{3.888154216277113*^9, 3.8881542205118732`*^9}, { 3.88919596432015*^9, 3.8891959652267857`*^9}}, CellLabel->"In[69]:=", CellID->941405510,ExpressionUUID->"87e872b3-a739-4f2c-bf6b-a6a9792df5b7"], Cell[BoxData[ RowBox[{"{", RowBox[{"True", ",", "True", ",", "True", ",", "True"}], "}"}]], "Output", TaggingRules->{}, CellChangeTimes->{{3.8881542132647543`*^9, 3.888154221298895*^9}, 3.888358822816999*^9, 3.8891959740218153`*^9, 3.8891963633414*^9}, CellLabel->"Out[69]=", CellID->473756666,ExpressionUUID->"41630d0b-d9ce-4d6b-8ca2-6211080c2f79"] }, Open ]] }, WindowSize->Automatic, WindowMargins->Automatic, WindowTitle->"Graph-state Quantum Circuit | Example Notebook", Visible->False, TaggingRules->{ "Metadata" -> { "ResourceType" -> "Example", "Name" -> "Graph-state Quantum Circuit", "Property" -> "ExampleNotebook"}}, FrontEndVersion->"13.3 for Mac OS X x86 (64-bit) (March 27, 2023)", StyleDefinitions->Notebook[{ Cell[ StyleData[ StyleDefinitions -> FrontEnd`FileName[{"Wolfram"}, "Reference.nb", CharacterEncoding -> "UTF-8"]]], Cell[ StyleData[All, "Working"], Editable -> True, DockedCells -> {}], Cell[ StyleData["Notebook"], Editable -> True, DockedCells -> {}, ScrollingOptions -> {"VerticalScrollRange" -> Automatic}], Cell[ StyleData[ "Section", StyleDefinitions -> StyleData["PrimaryExamplesSection"]], Editable -> True, ShowGroupOpener -> "Inline", WholeCellGroupOpener -> True], Cell[ StyleData["Subsection", StyleDefinitions -> StyleData["ExampleSection"]], Editable -> True, ShowGroupOpener -> "Inline", WholeCellGroupOpener -> True], Cell[ StyleData[ "Subsubsection", StyleDefinitions -> StyleData["ExampleSubsection"]], Editable -> True, ShowGroupOpener -> "Inline", WholeCellGroupOpener -> True], Cell[ StyleData[ "Subsubsubsection", StyleDefinitions -> StyleData["ExampleSubsubsection"]], Editable -> True, ShowGroupOpener -> "Inline", WholeCellGroupOpener -> True], Cell[ StyleData["Text", StyleDefinitions -> StyleData["ExampleText"]], Editable -> True], Cell[ StyleData["CodeText", StyleDefinitions -> StyleData["ExampleText"]], Editable -> True, CellMargins -> {{48, 40}, {3, 15}}, FontColor -> GrayLevel[0.45]]}, Visible -> False, FrontEndVersion -> "13.3 for Mac OS X x86 (64-bit) (March 27, 2023)", StyleDefinitions -> "PrivateStylesheetFormatting.nb"], $CellContext`ClosingSaveDialog -> False, ExpressionUUID->"1ff35dbe-3613-4c7f-8f27-00441fd75bf9" ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{ "DefaultContent"->{ Cell[618, 21, 696, 12, 70, "Text",ExpressionUUID->"0459dc0e-3da3-466c-b023-4c9846425e0b", CellTags->"DefaultContent", CellID->266413086], Cell[1317, 35, 481, 10, 70, "CodeText",ExpressionUUID->"2d875e48-3dc4-4969-a25b-563cc95aaf6d", CellTags->"DefaultContent", CellID->905906016], Cell[1823, 49, 422, 11, 70, "Input",ExpressionUUID->"b252e1a8-3033-4ed0-9c36-a658e0fd4004", CellTags->"DefaultContent", CellID->184348158], Cell[2248, 62, 2417, 52, 70, "Output",ExpressionUUID->"81ea5a0a-5d06-424c-a518-e2b854683990", CellTags->"DefaultContent", CellID->1777659084], Cell[29433, 563, 340, 7, 70, "CodeText",ExpressionUUID->"632fc5fa-7815-4f7c-b419-a787f4ff35f9", CellTags->"DefaultContent", CellID->726417371], Cell[29798, 574, 474, 11, 70, "Input",ExpressionUUID->"6008bc78-e5eb-4111-875e-7f3a9240d37f", CellTags->"DefaultContent", CellID->354698523], Cell[30275, 587, 14938, 252, 70, "Output",ExpressionUUID->"ca9eb341-4b29-45b8-a6fe-91c817ba8661", CellTags->"DefaultContent", CellID->788072713], Cell[45228, 842, 285, 5, 70, "CodeText",ExpressionUUID->"70f28256-94f6-43e7-b6dc-b8d43f165855", CellTags->"DefaultContent", CellID->908262168], Cell[45538, 851, 260, 6, 70, "Input",ExpressionUUID->"1679a30f-c696-4f53-8288-92d5adafd741", CellTags->"DefaultContent", CellID->591312605], Cell[45801, 859, 8757, 185, 70, "Output",ExpressionUUID->"15df4367-338c-49de-ae45-888897c4b861", CellTags->"DefaultContent", CellID->144696307]} } *) (*CellTagsIndex CellTagsIndex->{ {"DefaultContent", 130142, 2637} } *) (*NotebookFileOutline Notebook[{ Cell[618, 21, 696, 12, 70, "Text",ExpressionUUID->"0459dc0e-3da3-466c-b023-4c9846425e0b", CellTags->"DefaultContent", CellID->266413086], Cell[1317, 35, 481, 10, 70, "CodeText",ExpressionUUID->"2d875e48-3dc4-4969-a25b-563cc95aaf6d", CellTags->"DefaultContent", CellID->905906016], Cell[CellGroupData[{ Cell[1823, 49, 422, 11, 70, "Input",ExpressionUUID->"b252e1a8-3033-4ed0-9c36-a658e0fd4004", CellTags->"DefaultContent", CellID->184348158], Cell[2248, 62, 2417, 52, 70, "Output",ExpressionUUID->"81ea5a0a-5d06-424c-a518-e2b854683990", CellTags->"DefaultContent", CellID->1777659084] }, Open ]], Cell[4680, 117, 276, 4, 70, "CodeText",ExpressionUUID->"12de9130-d4d3-4d0a-b4c5-ab3eb9c7768a", CellID->962431612], Cell[CellGroupData[{ Cell[4981, 125, 378, 7, 70, "Input",ExpressionUUID->"f1d04472-f098-42e2-b0d0-f4df351fd9dc", CellID->79948181], Cell[5362, 134, 24056, 426, 70, "Output",ExpressionUUID->"060098b9-76ba-4e96-aa95-c760ba7ffee6", CellID->1972995524] }, Open ]], Cell[29433, 563, 340, 7, 70, "CodeText",ExpressionUUID->"632fc5fa-7815-4f7c-b419-a787f4ff35f9", CellTags->"DefaultContent", CellID->726417371], Cell[CellGroupData[{ Cell[29798, 574, 474, 11, 70, "Input",ExpressionUUID->"6008bc78-e5eb-4111-875e-7f3a9240d37f", CellTags->"DefaultContent", CellID->354698523], Cell[30275, 587, 14938, 252, 70, "Output",ExpressionUUID->"ca9eb341-4b29-45b8-a6fe-91c817ba8661", CellTags->"DefaultContent", CellID->788072713] }, Open ]], Cell[45228, 842, 285, 5, 70, "CodeText",ExpressionUUID->"70f28256-94f6-43e7-b6dc-b8d43f165855", CellTags->"DefaultContent", CellID->908262168], Cell[CellGroupData[{ Cell[45538, 851, 260, 6, 70, "Input",ExpressionUUID->"1679a30f-c696-4f53-8288-92d5adafd741", CellTags->"DefaultContent", CellID->591312605], Cell[45801, 859, 8757, 185, 70, "Output",ExpressionUUID->"15df4367-338c-49de-ae45-888897c4b861", CellTags->"DefaultContent", CellID->144696307] }, Open ]], Cell[54573, 1047, 313, 7, 70, "CodeText",ExpressionUUID->"6cc65f5e-8e1d-41a2-9c6e-3283f5a8a7b1", CellID->644750589], Cell[CellGroupData[{ Cell[54911, 1058, 263, 6, 70, "Input",ExpressionUUID->"74ef2cd8-c348-420c-9efe-f08010fe30f8", CellID->979407699], Cell[55177, 1066, 11891, 249, 70, "Output",ExpressionUUID->"ea3f42f8-e527-4662-8ccb-5892da84b860", CellID->221818138] }, Open ]], Cell[CellGroupData[{ Cell[67105, 1320, 340, 8, 70, "Input",ExpressionUUID->"fcd5e5d4-709d-41f4-9405-be5fef6adda9", CellID->889817130], Cell[67448, 1330, 214, 4, 70, "Output",ExpressionUUID->"b20e6e1a-fa15-49bf-b5e5-4cb276972bef", CellID->44667033] }, Open ]], Cell[67677, 1337, 283, 4, 70, "CodeText",ExpressionUUID->"65e49d88-de9b-4744-a7ef-29d94e7b6964", CellID->816455386], Cell[CellGroupData[{ Cell[67985, 1345, 420, 11, 70, "Input",ExpressionUUID->"9d5d58ac-fe51-4fe1-9f79-abe2132478a6", CellID->807820912], Cell[68408, 1358, 333, 8, 70, "Output",ExpressionUUID->"fa5bf208-2a05-48cd-bd86-9bd8c8524f38", CellID->705237044] }, Open ]], Cell[68756, 1369, 360, 7, 70, "CodeText",ExpressionUUID->"1c1229d1-28ae-4b1d-beea-8ebfe519e234", CellID->416925003], Cell[CellGroupData[{ Cell[69141, 1380, 420, 11, 70, "Input",ExpressionUUID->"80b498d6-ad0a-4ea2-bbf8-5a6fdc26f939", CellID->243260162], Cell[69564, 1393, 749, 23, 70, "Output",ExpressionUUID->"4c277549-42a4-4fb2-9ce0-3e87f0bb44fa", CellID->320979909] }, Open ]], Cell[70328, 1419, 555, 10, 70, "CodeText",ExpressionUUID->"b7621e7f-7f10-4729-a6bf-4b1db39acbbe", CellID->518439677], Cell[CellGroupData[{ Cell[70908, 1433, 595, 15, 70, "Input",ExpressionUUID->"5861fdd9-3b3d-4c24-a0c0-964b381b2a66", CellID->955324027], Cell[71506, 1450, 55236, 1094, 70, "Output",ExpressionUUID->"9e13041c-8388-4ce2-9fa5-a332c406d743", CellID->247295506] }, Open ]], Cell[126757, 2547, 451, 8, 70, "CodeText",ExpressionUUID->"aa1bb2bf-5197-417a-b82d-79568cdef3d0", CellID->389319657], Cell[CellGroupData[{ Cell[127233, 2559, 409, 10, 70, "Input",ExpressionUUID->"87e872b3-a739-4f2c-bf6b-a6a9792df5b7", CellID->941405510], Cell[127645, 2571, 361, 7, 70, "Output",ExpressionUUID->"41630d0b-d9ce-4d6b-8ca2-6211080c2f79", CellID->473756666] }, Open ]] } ] *) (* End of internal cache information *)