<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="list.xsl"?>
<all>
  <list title="Help">
    <item title="About" dir="help" file="About.zip" DEPENDENT_VARIABLES="{N0 -&gt; Sqrt[E0x^2 + E0y^2 + E0z^2], E0x -&gt; E0x/N0, E0y -&gt; E0y/N0, E0z -&gt; E0z/N0, N1 -&gt; Sqrt[E1x^2 + E1y^2 + E1z^2], E1x -&gt; E1x/N1, E1y -&gt; E1y/N1, E1z -&gt; E1z/N1, P -&gt; 0.5*(1. + 0.5*(E0z - 1.*E1z)), Ptxt -&gt; Which[P &gt; 0.999, 1., P &lt; 0.001, 0., 0.495 &lt; P &lt; 0.505, 1.*0.5, True, P]}" INDEPENDENT_VARIABLES="{E0x -&gt; 0., E0y -&gt; -0.9749279121818236, E0z -&gt; 0.22252093395631445, E1x -&gt; 0., E1y -&gt; -0.9749279121818236, E1z -&gt; -0.22252093395631445, Ptxt -&gt; 0.6112604669781572}"><STYLE type="text/css">
 .blue   {color: blue;   font-weight: bold}
 .red    {color: red;    font-weight: bold}
 .orange {color: orange; font-weight: bold}
</STYLE>

<B>LiveGraphics3D</B>

<P>What you see on the right is a <A href="http://www.vis.uni-stuttgart.de/~kraus/LiveGraphics3D/" target="_blank">LiveGraphics3D</A> Java applet. You can rotate it by dragging the mouse with the left button pressed. You can find more details about the user interface <A href="http://www.vis.uni-stuttgart.de/~kraus/LiveGraphics3D/documentation.html#section: User Interface" target="_blank">here</A>.</P>

<P><B>Note:</B> If you do not see anything on the right, you must install <A href="http://www.java.com/" target="_blank">Java</A>.</P>

<B>Notation</B>

<P>You see a toy example of a 1 &#x21A6; 1 quantum random access code. The blue dot with label <SPAN class="blue">1</SPAN> at the North Pole indicates the direction of the <I>first measurement</I> (not the outcome "1"). The blue circle at the equator shows all points with <I>equiprobable outcomes</I>. The red dots with labels <SPAN class="red">0</SPAN> and <SPAN class="red">1</SPAN> show where the strings "0" and "1" are <I>encoded</I>.</P>

<P>Let us agree that the blue dot indicates the direction corresponding to measurement outcome <I>zero</I> (that is why <SPAN class="red">0</SPAN> and <SPAN class="red">1</SPAN> is on the Northern and Southern Hemisphere, respectively, but not vice versa).</P>

<B>Success probability</B>

<P>The <I>probability</I> to recover the bit correctly when its value is "0" depends on the location of <SPAN class="red">0</SPAN>. It is
<UL>
  <LI>1, when <SPAN class="red">0</SPAN> is at the <I>North Pole</I>,</LI>
  <LI>1/2, when <SPAN class="red">0</SPAN> is on the <I>equator</I>,</LI>
  <LI>0, when <SPAN class="red">0</SPAN> is at the <I>South Pole</I>.</LI>
</UL>
In general, the closer <SPAN class="red">0</SPAN> is to the North pole, the larger the probability. For <SPAN class="red">1</SPAN> it is exactly opposite. We are interested in the average success probability over all strings of 0 and 1 (of length <I>n</I>) and all choices of the bit to be recovered. In this simple example it is just the average of two probabilities. It is equal to <SPAN class="orange">0.6112605</SPAN> and is shown in orange.</P>

<B>Optimal 1 &#x21A6; 1 QRAC</B>

<P>Clearly this 1 &#x21A6; 1 QRAC is not very good, since both <SPAN class="red">0</SPAN> and <SPAN class="red">1</SPAN> are close to equator (thus success probability is slightly above 1/2). The optimal encoding would be to place <SPAN class="red">0</SPAN> and <SPAN class="red">1</SPAN> at the North and South Pole, respectively. Then success probability would be equal to 1. Try dragging the red points with mouse and see if you can improve it! To reset everything back to the original positions, press <I>Home</I> key on your keyboard.</P></item>
  </list>
  <list title="Numerical">
    <item title="2" dir="num" file="Num2.zip"></item>
    <item title="3" dir="num" file="Num3.zip"></item>
    <item title="4" dir="num" file="Num4.zip"></item>
    <item title="5" dir="num" file="Num5.zip"></item>
    <item title="6" dir="num" file="Num6.zip"></item>
    <item title="7" dir="num" file="Num7.zip"></item>
    <item title="7" dir="num" file="Num7[sym].zip" sym="true"></item>
    <item title="8" dir="num" file="Num8.zip"></item>
    <item title="8" dir="num" file="Num8[sym].zip" sym="true"></item>
    <item title="9" dir="num" file="Num9.zip"></item>
    <item title="10" dir="num" file="Num10.zip"></item>
    <item title="11" dir="num" file="Num11.zip"></item>
    <item title="12" dir="num" file="Num12.zip"></item>
  </list>
  <list title="Exact">
    <item title="2" dir="exact" file="Exact2.zip">This is simple.</item>
    <item title="3" dir="exact" file="Exact3.zip">Here we have 3 measurements that are orthogonal to each other. They cut the sphere into four equal parts.</item>
    <item title="4" dir="exact" file="Exact4.zip">There are two axis on poles and two on equator. They are either orthogonal or opposite. You can see only 12 red points, because the other 4 coincide with those who are on equator. The points on equator form a square (like in 2 -> 1 encoding), but the other 8 points lie on the vertices of cube (like in 3 -> 1 case) which is streched in vertical direction. Try to rotate the picture!</item>
    <item title="4" dir="exact" file="Exact4[sym].zip" sym="true">This configuration was obtained by forcing some symmetry - using symmetric cutting of sphere into 14 parts with measurements placed on the vertices of regular <A href="http://mathworld.wolfram.com/Tetrahedron.html">tetrahedron</A>. In this setting numerical optimization ended up with 14 points placed on the vertices of <A href="http://mathworld.wolfram.com/RhombicDodecahedron.html">rhombic dodecahedron</A> and 2 points placed at seemingly random places. Great circles correspond to measurements of each bit. They are placed symmetrically. Circles draw a <A href="http://mathworld.wolfram.com/Cuboctahedron.html">cuboctahedron</A> on the sphere which is dual to <A href="http://mathworld.wolfram.com/RhombicDodecahedron.html">rhombic dodecahedron</A>. It consists of 6 squares and 8 triangles and they all have equal side lengths. The 14 points are placed in the middle of these squares and triangles.</item>
    <item title="5" dir="exact" file="Exact5.zip"></item>
    <item title="6" dir="exact" file="Exact6.zip"></item>
    <item title="6" dir="exact" file="Exact6[sym].zip" sym="true"></item>
    <item title="9" dir="exact" file="Exact9.zip"></item>
    <item title="9" dir="exact" file="Exact9[sym].zip" sym="true"></item>
    <item title="15" dir="exact" file="Exact15.zip"></item>
    <item title="15" dir="exact" file="Exact15[sym].zip" sym="true"></item>
  </list>
  <list title="Triangular symmetry groups">
    <item title="(2,2,2)" dir="tri" file="Tri[2,2,2].zip"></item>
    <item title="(2,2,3)" dir="tri" file="Tri[2,2,3].zip"></item>
    <item title="(2,2,4)" dir="tri" file="Tri[2,2,4].zip"></item>
    <item title="(2,3,3)" dir="tri" file="Tri[2,3,3].zip"></item>
    <item title="(2,3,4)" dir="tri" file="Tri[2,3,4].zip"></item>
    <item title="(2,3,5)" dir="tri" file="Tri[2,3,5].zip"></item>
  </list>
  <list title="Interactive">
    <item title="2" dir="param" file="QRAC2.zip" DEPENDENT_VARIABLES="{l1 -&gt; Sqrt[X1x^2 + X1y^2 + X1z^2], X1x -&gt; X1x/l1, X1y -&gt; X1y/l1, X1z -&gt; X1z/l1, l2 -&gt; Sqrt[X2x^2 + X2y^2 + X2z^2], X2x -&gt; X2x/l2, X2y -&gt; X2y/l2, X2z -&gt; X2z/l2, L1 -&gt; Sqrt[X1x^2 + X1y^2], Y1x -&gt; (-1.*X1y)/L1, Y1y -&gt; X1x/L1, Y1z -&gt; 0., L2 -&gt; Sqrt[X2x^2 + X2y^2], Y2x -&gt; (-1.*X2y)/L2, Y2y -&gt; X2x/L2, Y2z -&gt; 0., Z1x -&gt; -1.*X1z*Y1y + X1y*Y1z, Z1y -&gt; X1z*Y1x - 1.*X1x*Y1z, Z1z -&gt; -1.*X1y*Y1x + X1x*Y1y, Z2x -&gt; -1.*X2z*Y2y + X2y*Y2z, Z2y -&gt; X2z*Y2x - 1.*X2x*Y2z, Z2z -&gt; -1.*X2y*Y2x + X2x*Y2y, N00 -&gt; Sqrt[(-1.*X1x - 1.*X2x)^2 + (-1.*X1y - 1.*X2y)^2 + (-1.*X1z - 1.*X2z)^2], E00x -&gt; -1.*X1x - 1.*X2x, E00y -&gt; -1.*X1y - 1.*X2y, E00z -&gt; -1.*X1z - 1.*X2z, N01 -&gt; Sqrt[(-1.*X1x + X2x)^2 + (-1.*X1y + X2y)^2 + (-1.*X1z + X2z)^2], E01x -&gt; -1.*X1x + X2x, E01y -&gt; -1.*X1y + X2y, E01z -&gt; -1.*X1z + X2z, N10 -&gt; Sqrt[(X1x - 1.*X2x)^2 + (X1y - 1.*X2y)^2 + (X1z - 1.*X2z)^2], E10x -&gt; X1x - 1.*X2x, E10y -&gt; X1y - 1.*X2y, E10z -&gt; X1z - 1.*X2z, N11 -&gt; Sqrt[(X1x + X2x)^2 + (X1y + X2y)^2 + (X1z + X2z)^2], E11x -&gt; X1x + X2x, E11y -&gt; X1y + X2y, E11z -&gt; X1z + X2z, P -&gt; 0.5*(1. + 0.125*(N00 + N01 + N10 + N11))}" INDEPENDENT_VARIABLES="{X1x -&gt; 0., X1y -&gt; 0.2086027973348143, X1z -&gt; 1.0290699067333038, X2x -&gt; 0., X2y -&gt; 0.40888925942408305, X2z -&gt; 0.9671140437030294}"><STYLE type="text/css">
 .orange {color: orange; font-weight: bold}
</STYLE>

<B>Interactive 2 &#x21A6; 1 QRAC</B>

<P>Drag the blue dots to make your own 2 &#x21A6; 1 quantum random access code!</P>

<P>Blue dots determine the directions of measurements used to recover the two encoded bits. As you move them, the red dots indicating the optimal encoding will move accordingly.</P>

<P>Success probability of the resulting code is shown in orange. It cannot get above <SPAN class="orange">0.8535533906</SPAN>. Maximum is reached when the measurements are performed along orthogonal directions.</P>

<P>To reset everything back to the original positions, press <I>Home</I> key on your keyboard.</P></item>
    <item title="3" dir="param" file="QRAC3.zip" DEPENDENT_VARIABLES="{l1 -&gt; Sqrt[X1x^2 + X1y^2 + X1z^2], X1x -&gt; X1x/l1, X1y -&gt; X1y/l1, X1z -&gt; X1z/l1, l2 -&gt; Sqrt[X2x^2 + X2y^2 + X2z^2], X2x -&gt; X2x/l2, X2y -&gt; X2y/l2, X2z -&gt; X2z/l2, l3 -&gt; Sqrt[X3x^2 + X3y^2 + X3z^2], X3x -&gt; X3x/l3, X3y -&gt; X3y/l3, X3z -&gt; X3z/l3, L1 -&gt; Sqrt[X1x^2 + X1y^2], Y1x -&gt; (-1.*X1y)/L1, Y1y -&gt; X1x/L1, Y1z -&gt; 0., L2 -&gt; Sqrt[X2x^2 + X2y^2], Y2x -&gt; (-1.*X2y)/L2, Y2y -&gt; X2x/L2, Y2z -&gt; 0., L3 -&gt; Sqrt[X3x^2 + X3y^2], Y3x -&gt; (-1.*X3y)/L3, Y3y -&gt; X3x/L3, Y3z -&gt; 0., Z1x -&gt; -1.*X1z*Y1y + X1y*Y1z, Z1y -&gt; X1z*Y1x - 1.*X1x*Y1z, Z1z -&gt; -1.*X1y*Y1x + X1x*Y1y, Z2x -&gt; -1.*X2z*Y2y + X2y*Y2z, Z2y -&gt; X2z*Y2x - 1.*X2x*Y2z, Z2z -&gt; -1.*X2y*Y2x + X2x*Y2y, Z3x -&gt; -1.*X3z*Y3y + X3y*Y3z, Z3y -&gt; X3z*Y3x - 1.*X3x*Y3z, Z3z -&gt; -1.*X3y*Y3x + X3x*Y3y, N000 -&gt; Sqrt[(-1.*X1x - 1.*X2x - 1.*X3x)^2 + (-1.*X1y - 1.*X2y - 1.*X3y)^2 + (-1.*X1z - 1.*X2z - 1.*X3z)^2], E000x -&gt; -1.*X1x - 1.*X2x - 1.*X3x, E000y -&gt; -1.*X1y - 1.*X2y - 1.*X3y, E000z -&gt; -1.*X1z - 1.*X2z - 1.*X3z, N001 -&gt; Sqrt[(-1.*X1x - 1.*X2x + X3x)^2 + (-1.*X1y - 1.*X2y + X3y)^2 + (-1.*X1z - 1.*X2z + X3z)^2], E001x -&gt; -1.*X1x - 1.*X2x + X3x, E001y -&gt; -1.*X1y - 1.*X2y + X3y, E001z -&gt; -1.*X1z - 1.*X2z + X3z, N010 -&gt; Sqrt[(-1.*X1x + X2x - 1.*X3x)^2 + (-1.*X1y + X2y - 1.*X3y)^2 + (-1.*X1z + X2z - 1.*X3z)^2], E010x -&gt; -1.*X1x + X2x - 1.*X3x, E010y -&gt; -1.*X1y + X2y - 1.*X3y, E010z -&gt; -1.*X1z + X2z - 1.*X3z, N011 -&gt; Sqrt[(-1.*X1x + X2x + X3x)^2 + (-1.*X1y + X2y + X3y)^2 + (-1.*X1z + X2z + X3z)^2], E011x -&gt; -1.*X1x + X2x + X3x, E011y -&gt; -1.*X1y + X2y + X3y, E011z -&gt; -1.*X1z + X2z + X3z, N100 -&gt; Sqrt[(X1x - 1.*X2x - 1.*X3x)^2 + (X1y - 1.*X2y - 1.*X3y)^2 + (X1z - 1.*X2z - 1.*X3z)^2], E100x -&gt; X1x - 1.*X2x - 1.*X3x, E100y -&gt; X1y - 1.*X2y - 1.*X3y, E100z -&gt; X1z - 1.*X2z - 1.*X3z, N101 -&gt; Sqrt[(X1x - 1.*X2x + X3x)^2 + (X1y - 1.*X2y + X3y)^2 + (X1z - 1.*X2z + X3z)^2], E101x -&gt; X1x - 1.*X2x + X3x, E101y -&gt; X1y - 1.*X2y + X3y, E101z -&gt; X1z - 1.*X2z + X3z, N110 -&gt; Sqrt[(X1x + X2x - 1.*X3x)^2 + (X1y + X2y - 1.*X3y)^2 + (X1z + X2z - 1.*X3z)^2], E110x -&gt; X1x + X2x - 1.*X3x, E110y -&gt; X1y + X2y - 1.*X3y, E110z -&gt; X1z + X2z - 1.*X3z, N111 -&gt; Sqrt[(X1x + X2x + X3x)^2 + (X1y + X2y + X3y)^2 + (X1z + X2z + X3z)^2], E111x -&gt; X1x + X2x + X3x, E111y -&gt; X1y + X2y + X3y, E111z -&gt; X1z + X2z + X3z, P -&gt; 0.5*(1. + 0.041666666666666664*(N000 + N001 + N010 + N011 + N100 + N101 + N110 + N111))}" INDEPENDENT_VARIABLES="{X1x -&gt; 0., X1y -&gt; 0.2086027973348143, X1z -&gt; 1.0290699067333038, X2x -&gt; 0., X2y -&gt; 0.40888925942408305, X2z -&gt; 0.9671140437030294, X3x -&gt; 0., X3y -&gt; 0.5928745970647873, X3z -&gt; 0.8666023956551622}"><STYLE type="text/css">
 .orange {color: orange; font-weight: bold}
</STYLE>

<B>Interactive 3 &#x21A6; 1 QRAC</B>

<P>Make your own 3 &#x21A6; 1 code!</P>

<P>This time the success probability cannot get above <SPAN class="orange">0.7886751346</SPAN>. Again, the maximum is reached when the measurements are performed along orthogonal directions.</P>

<P>Drag the blue dots to change the code. To reset everything back to the original positions, press <I>Home</I> key on your keyboard.</P></item>
    <item title="4" dir="param" file="QRAC4.zip" DEPENDENT_VARIABLES="{l1 -&gt; Sqrt[X1x^2 + X1y^2 + X1z^2], X1x -&gt; X1x/l1, X1y -&gt; X1y/l1, X1z -&gt; X1z/l1, l2 -&gt; Sqrt[X2x^2 + X2y^2 + X2z^2], X2x -&gt; X2x/l2, X2y -&gt; X2y/l2, X2z -&gt; X2z/l2, l3 -&gt; Sqrt[X3x^2 + X3y^2 + X3z^2], X3x -&gt; X3x/l3, X3y -&gt; X3y/l3, X3z -&gt; X3z/l3, l4 -&gt; Sqrt[X4x^2 + X4y^2 + X4z^2], X4x -&gt; X4x/l4, X4y -&gt; X4y/l4, X4z -&gt; X4z/l4, L1 -&gt; Sqrt[X1x^2 + X1y^2], Y1x -&gt; (-1.*X1y)/L1, Y1y -&gt; X1x/L1, Y1z -&gt; 0., L2 -&gt; Sqrt[X2x^2 + X2y^2], Y2x -&gt; (-1.*X2y)/L2, Y2y -&gt; X2x/L2, Y2z -&gt; 0., L3 -&gt; Sqrt[X3x^2 + X3y^2], Y3x -&gt; (-1.*X3y)/L3, Y3y -&gt; X3x/L3, Y3z -&gt; 0., L4 -&gt; Sqrt[X4x^2 + X4y^2], Y4x -&gt; (-1.*X4y)/L4, Y4y -&gt; X4x/L4, Y4z -&gt; 0., Z1x -&gt; -1.*X1z*Y1y + X1y*Y1z, Z1y -&gt; X1z*Y1x - 1.*X1x*Y1z, Z1z -&gt; -1.*X1y*Y1x + X1x*Y1y, Z2x -&gt; -1.*X2z*Y2y + X2y*Y2z, Z2y -&gt; X2z*Y2x - 1.*X2x*Y2z, Z2z -&gt; -1.*X2y*Y2x + X2x*Y2y, Z3x -&gt; -1.*X3z*Y3y + X3y*Y3z, Z3y -&gt; X3z*Y3x - 1.*X3x*Y3z, Z3z -&gt; -1.*X3y*Y3x + X3x*Y3y, Z4x -&gt; -1.*X4z*Y4y + X4y*Y4z, Z4y -&gt; X4z*Y4x - 1.*X4x*Y4z, Z4z -&gt; -1.*X4y*Y4x + X4x*Y4y, N0000 -&gt; Sqrt[(-1.*X1x - 1.*X2x - 1.*X3x - 1.*X4x)^2 + (-1.*X1y - 1.*X2y - 1.*X3y - 1.*X4y)^2 + (-1.*X1z - 1.*X2z - 1.*X3z - 1.*X4z)^2], E0000x -&gt; -1.*X1x - 1.*X2x - 1.*X3x - 1.*X4x, E0000y -&gt; -1.*X1y - 1.*X2y - 1.*X3y - 1.*X4y, E0000z -&gt; -1.*X1z - 1.*X2z - 1.*X3z - 1.*X4z, N0001 -&gt; Sqrt[(-1.*X1x - 1.*X2x - 1.*X3x + X4x)^2 + (-1.*X1y - 1.*X2y - 1.*X3y + X4y)^2 + (-1.*X1z - 1.*X2z - 1.*X3z + X4z)^2], E0001x -&gt; -1.*X1x - 1.*X2x - 1.*X3x + X4x, E0001y -&gt; -1.*X1y - 1.*X2y - 1.*X3y + X4y, E0001z -&gt; -1.*X1z - 1.*X2z - 1.*X3z + X4z, N0010 -&gt; Sqrt[(-1.*X1x - 1.*X2x + X3x - 1.*X4x)^2 + (-1.*X1y - 1.*X2y + X3y - 1.*X4y)^2 + (-1.*X1z - 1.*X2z + X3z - 1.*X4z)^2], E0010x -&gt; -1.*X1x - 1.*X2x + X3x - 1.*X4x, E0010y -&gt; -1.*X1y - 1.*X2y + X3y - 1.*X4y, E0010z -&gt; -1.*X1z - 1.*X2z + X3z - 1.*X4z, N0011 -&gt; Sqrt[(-1.*X1x - 1.*X2x + X3x + X4x)^2 + (-1.*X1y - 1.*X2y + X3y + X4y)^2 + (-1.*X1z - 1.*X2z + X3z + X4z)^2], E0011x -&gt; -1.*X1x - 1.*X2x + X3x + X4x, E0011y -&gt; -1.*X1y - 1.*X2y + X3y + X4y, E0011z -&gt; -1.*X1z - 1.*X2z + X3z + X4z, N0100 -&gt; Sqrt[(-1.*X1x + X2x - 1.*X3x - 1.*X4x)^2 + (-1.*X1y + X2y - 1.*X3y - 1.*X4y)^2 + (-1.*X1z + X2z - 1.*X3z - 1.*X4z)^2], E0100x -&gt; -1.*X1x + X2x - 1.*X3x - 1.*X4x, E0100y -&gt; -1.*X1y + X2y - 1.*X3y - 1.*X4y, E0100z -&gt; -1.*X1z + X2z - 1.*X3z - 1.*X4z, N0101 -&gt; Sqrt[(-1.*X1x + X2x - 1.*X3x + X4x)^2 + (-1.*X1y + X2y - 1.*X3y + X4y)^2 + (-1.*X1z + X2z - 1.*X3z + X4z)^2], E0101x -&gt; -1.*X1x + X2x - 1.*X3x + X4x, E0101y -&gt; -1.*X1y + X2y - 1.*X3y + X4y, E0101z -&gt; -1.*X1z + X2z - 1.*X3z + X4z, N0110 -&gt; Sqrt[(-1.*X1x + X2x + X3x - 1.*X4x)^2 + (-1.*X1y + X2y + X3y - 1.*X4y)^2 + (-1.*X1z + X2z + X3z - 1.*X4z)^2], E0110x -&gt; -1.*X1x + X2x + X3x - 1.*X4x, E0110y -&gt; -1.*X1y + X2y + X3y - 1.*X4y, E0110z -&gt; -1.*X1z + X2z + X3z - 1.*X4z, N0111 -&gt; Sqrt[(-1.*X1x + X2x + X3x + X4x)^2 + (-1.*X1y + X2y + X3y + X4y)^2 + (-1.*X1z + X2z + X3z + X4z)^2], E0111x -&gt; -1.*X1x + X2x + X3x + X4x, E0111y -&gt; -1.*X1y + X2y + X3y + X4y, E0111z -&gt; -1.*X1z + X2z + X3z + X4z, N1000 -&gt; Sqrt[(X1x - 1.*X2x - 1.*X3x - 1.*X4x)^2 + (X1y - 1.*X2y - 1.*X3y - 1.*X4y)^2 + (X1z - 1.*X2z - 1.*X3z - 1.*X4z)^2], E1000x -&gt; X1x - 1.*X2x - 1.*X3x - 1.*X4x, E1000y -&gt; X1y - 1.*X2y - 1.*X3y - 1.*X4y, E1000z -&gt; X1z - 1.*X2z - 1.*X3z - 1.*X4z, N1001 -&gt; Sqrt[(X1x - 1.*X2x - 1.*X3x + X4x)^2 + (X1y - 1.*X2y - 1.*X3y + X4y)^2 + (X1z - 1.*X2z - 1.*X3z + X4z)^2], E1001x -&gt; X1x - 1.*X2x - 1.*X3x + X4x, E1001y -&gt; X1y - 1.*X2y - 1.*X3y + X4y, E1001z -&gt; X1z - 1.*X2z - 1.*X3z + X4z, N1010 -&gt; Sqrt[(X1x - 1.*X2x + X3x - 1.*X4x)^2 + (X1y - 1.*X2y + X3y - 1.*X4y)^2 + (X1z - 1.*X2z + X3z - 1.*X4z)^2], E1010x -&gt; X1x - 1.*X2x + X3x - 1.*X4x, E1010y -&gt; X1y - 1.*X2y + X3y - 1.*X4y, E1010z -&gt; X1z - 1.*X2z + X3z - 1.*X4z, N1011 -&gt; Sqrt[(X1x - 1.*X2x + X3x + X4x)^2 + (X1y - 1.*X2y + X3y + X4y)^2 + (X1z - 1.*X2z + X3z + X4z)^2], E1011x -&gt; X1x - 1.*X2x + X3x + X4x, E1011y -&gt; X1y - 1.*X2y + X3y + X4y, E1011z -&gt; X1z - 1.*X2z + X3z + X4z, N1100 -&gt; Sqrt[(X1x + X2x - 1.*X3x - 1.*X4x)^2 + (X1y + X2y - 1.*X3y - 1.*X4y)^2 + (X1z + X2z - 1.*X3z - 1.*X4z)^2], E1100x -&gt; X1x + X2x - 1.*X3x - 1.*X4x, E1100y -&gt; X1y + X2y - 1.*X3y - 1.*X4y, E1100z -&gt; X1z + X2z - 1.*X3z - 1.*X4z, N1101 -&gt; Sqrt[(X1x + X2x - 1.*X3x + X4x)^2 + (X1y + X2y - 1.*X3y + X4y)^2 + (X1z + X2z - 1.*X3z + X4z)^2], E1101x -&gt; X1x + X2x - 1.*X3x + X4x, E1101y -&gt; X1y + X2y - 1.*X3y + X4y, E1101z -&gt; X1z + X2z - 1.*X3z + X4z, N1110 -&gt; Sqrt[(X1x + X2x + X3x - 1.*X4x)^2 + (X1y + X2y + X3y - 1.*X4y)^2 + (X1z + X2z + X3z - 1.*X4z)^2], E1110x -&gt; X1x + X2x + X3x - 1.*X4x, E1110y -&gt; X1y + X2y + X3y - 1.*X4y, E1110z -&gt; X1z + X2z + X3z - 1.*X4z, N1111 -&gt; Sqrt[(X1x + X2x + X3x + X4x)^2 + (X1y + X2y + X3y + X4y)^2 + (X1z + X2z + X3z + X4z)^2], E1111x -&gt; X1x + X2x + X3x + X4x, E1111y -&gt; X1y + X2y + X3y + X4y, E1111z -&gt; X1z + X2z + X3z + X4z, P -&gt; 0.5*(1. + 0.015625*(N0000 + N0001 + N0010 + N0011 + N0100 + N0101 + N0110 + N0111 + N1000 + N1001 + N1010 + N1011 + N1100 + N1101 + N1110 + N1111))}" INDEPENDENT_VARIABLES="{X1x -&gt; 0., X1y -&gt; 0.2086027973348143, X1z -&gt; 1.0290699067333038, X2x -&gt; 0., X2y -&gt; 0.40888925942408305, X2z -&gt; 0.9671140437030294, X3x -&gt; 0., X3y -&gt; 0.5928745970647873, X3z -&gt; 0.8666023956551622, X4x -&gt; 0., X4y -&gt; 0.753223895444499, X4z -&gt; 0.7315420448145237}"><STYLE type="text/css">
 .orange {color: orange; font-weight: bold}
</STYLE>

<B>Interactive 4 &#x21A6; 1 QRAC</B>

<P>Can you make a 4 &#x21A6; 1 quantum random access code with shared randomness?</P>

<P>We know that the success probability in this case can be as high as <SPAN class="orange">0.7414814566</SPAN>. This happens when the measurements are performed along orthogonal directions, but two of them coincide.</P>

<P>Can you do better?</P>

<P>Drag the blue dots to change the code. To reset everything back to the original positions, press <I>Home</I> key on your keyboard.</P></item>
    <item title="4" dir="param" file="QRAC4[sym].zip" sym="true" DEPENDENT_VARIABLES="{t -&gt; Which[t &gt; 1., 1., t &lt; -1., -1., True, t], \\[Theta] -&gt; 1.5707963267948966*(1. + t)}" INDEPENDENT_VARIABLES="{t -&gt; 0.}"><B>Interactive symmetric 4 &#x21A6; 1 QRAC</B>

<P>This is an illustration of how the symmetric 4 &#x21A6; 1 code came about. It consists of four symmetrically chosen measurements (indicated by four blue dots), that are chosen along the directions given by the vertices of a regular tetrahedron centered at the origin. The four great circles orthogonal to the measurement directions are parallel to the faces of the tetrahedron.</P>

<P>Drag the orange dot to move the circles up and down. Verify that they are parallel to the faces of the tetrahedron and orthogonal to the vectors pointing from the origin to the vertices of the tetrahedron.</P></item>
  </list>
</all>