Scenario

[(2 2 2) (2 2 2)]

Description

I3322/Froissart inequality

Bell expression and bounds

$$ \left (\begin{array}{rr:rr:rr} \tooltip{-5}{P(11|11)} & \tooltip{3}{P(21|11)} & \tooltip{-5}{P(11|21)} & \tooltip{3}{P(21|21)} & \tooltip{-4}{P(11|31)} & \tooltip{2}{P(21|31)} \\ \tooltip{3}{P(12|11)} & \tooltip{-1}{P(22|11)} & \tooltip{3}{P(12|21)} & \tooltip{-1}{P(22|21)} & \tooltip{4}{P(12|31)} & \tooltip{-2}{P(22|31)} \\ \hdashline \tooltip{-5}{P(11|12)} & \tooltip{3}{P(21|12)} & \tooltip{-5}{P(11|22)} & \tooltip{3}{P(21|22)} & \tooltip{2}{P(11|32)} & \tooltip{-4}{P(21|32)} \\ \tooltip{3}{P(12|12)} & \tooltip{-1}{P(22|12)} & \tooltip{3}{P(12|22)} & \tooltip{-1}{P(22|22)} & \tooltip{-2}{P(12|32)} & \tooltip{4}{P(22|32)} \\ \hdashline \tooltip{-4}{P(11|13)} & \tooltip{4}{P(21|13)} & \tooltip{2}{P(11|23)} & \tooltip{-2}{P(21|23)} & \tooltip{0}{P(11|33)} & \tooltip{0}{P(21|33)} \\ \tooltip{2}{P(12|13)} & \tooltip{-2}{P(22|13)} & \tooltip{-4}{P(12|23)} & \tooltip{4}{P(22|23)} & \tooltip{0}{P(12|33)} & \tooltip{0}{P(22|33)}\end{array}\right ) \le \left \{ \begin{array}{rl} \text{local:} & 12\text{ (facet)} \\ \text{quantum:} & ([0.250875384514, 0.25087539] + 1) * 12\end{array} \right. $$
$$ \left (\begin{array}{r|r:r:r} & \tooltip{12}{P_A(1|1)} & \tooltip{0}{P_A(1|2)} & \tooltip{0}{P_A(1|3)} \\ \hline \tooltip{12}{P_B(1|1)} & \tooltip{-12}{P_AB(1,1|1,1)} & \tooltip{-12}{P_AB(1,1|2,1)} & \tooltip{-12}{P_AB(1,1|3,1)} \\ \hdashline \tooltip{0}{P_B(1|2)} & \tooltip{-12}{P_AB(1,1|1,2)} & \tooltip{-12}{P_AB(1,1|2,2)} & \tooltip{12}{P_AB(1,1|3,2)} \\ \hdashline \tooltip{0}{P_B(1|3)} & \tooltip{-12}{P_AB(1,1|1,3)} & \tooltip{12}{P_AB(1,1|2,3)} & \tooltip{0}{P_AB(1,1|3,3)}\end{array}\right ) \le \left \{ \begin{array}{rl} \text{local:} & 12\text{ (facet)} \\ \text{quantum:} & ([0.250875384514, 0.25087539] + 1) * 12\end{array} \right. $$
$$ \left (\begin{array}{r|r:r:r} & \tooltip{-3}{<A1>} & \tooltip{-3}{<A2>} & \tooltip{0}{<A3>} \\ \hline \tooltip{-3}{<B1>} & \tooltip{-3}{<A1 B1>} & \tooltip{-3}{<A2 B1>} & \tooltip{-3}{<A3 B1>} \\ \hdashline \tooltip{-3}{<B2>} & \tooltip{-3}{<A1 B2>} & \tooltip{-3}{<A2 B2>} & \tooltip{3}{<A3 B2>} \\ \hdashline \tooltip{0}{<B3>} & \tooltip{-3}{<A1 B3>} & \tooltip{3}{<A2 B3>} & \tooltip{0}{<A3 B3>}\end{array}\right ) \le \left \{ \begin{array}{rl} \text{local:} & 12\text{ (facet)} \\ \text{quantum:} & ([0.250875384514, 0.25087539] + 1) * 12\end{array} \right. $$
$$ \left (\begin{array}{c} \text{-} \text{ } 5 \text{ } P(11|11) \text{ } \text{+} \text{ } 3 \text{ } P(21|11) \text{ } \text{-} \text{ } 5 \text{ } P(11|21) \text{ } \text{+} \text{ } 3 \text{ } P(21|21) \\ \text{-} \text{ } 4 \text{ } P(11|31) \text{ } \text{+} \text{ } 2 \text{ } P(21|31) \text{ } \text{+} \text{ } 3 \text{ } P(12|11) \text{ } \text{-} \text{ } 1 \text{ } P(22|11) \\ 3 \text{ } P(12|21) \text{ } \text{-} \text{ } 1 \text{ } P(22|21) \text{ } \text{+} \text{ } 4 \text{ } P(12|31) \text{ } \text{-} \text{ } 2 \text{ } P(22|31) \\ \text{-} \text{ } 5 \text{ } P(11|12) \text{ } \text{+} \text{ } 3 \text{ } P(21|12) \text{ } \text{-} \text{ } 5 \text{ } P(11|22) \text{ } \text{+} \text{ } 3 \text{ } P(21|22) \\ 2 \text{ } P(11|32) \text{ } \text{-} \text{ } 4 \text{ } P(21|32) \text{ } \text{+} \text{ } 3 \text{ } P(12|12) \text{ } \text{-} \text{ } 1 \text{ } P(22|12) \\ 3 \text{ } P(12|22) \text{ } \text{-} \text{ } 1 \text{ } P(22|22) \text{ } \text{-} \text{ } 2 \text{ } P(12|32) \text{ } \text{+} \text{ } 4 \text{ } P(22|32) \\ \text{-} \text{ } 4 \text{ } P(11|13) \text{ } \text{+} \text{ } 4 \text{ } P(21|13) \text{ } \text{+} \text{ } 2 \text{ } P(11|23) \text{ } \text{-} \text{ } 2 \text{ } P(21|23) \\ 2 \text{ } P(12|13) \text{ } \text{-} \text{ } 2 \text{ } P(22|13) \text{ } \text{-} \text{ } 4 \text{ } P(12|23) \text{ } \text{+} \text{ } 4 \text{ } P(22|23)\end{array}\right ) \le \left \{ \begin{array}{rl} \text{local:} & 12\text{ (facet)} \\ \text{quantum:} & ([0.250875384514, 0.25087539] + 1) * 12\end{array} \right. $$
$$ \left (\begin{array}{c} 12 \text{ } P_A(1|1) \text{ } \text{+} \text{ } 12 \text{ } P_B(1|1) \text{ } \text{-} \text{ } 12 \text{ } P_AB(1,1|1,1) \text{ } \text{-} \text{ } 12 \text{ } P_AB(1,1|2,1) \\ \text{-} \text{ } 12 \text{ } P_AB(1,1|3,1) \text{ } \text{-} \text{ } 12 \text{ } P_AB(1,1|1,2) \text{ } \text{-} \text{ } 12 \text{ } P_AB(1,1|2,2) \text{ } \text{+} \text{ } 12 \text{ } P_AB(1,1|3,2) \\ \text{-} \text{ } 12 \text{ } P_AB(1,1|1,3) \text{ } \text{+} \text{ } 12 \text{ } P_AB(1,1|2,3)\end{array}\right ) \le \left \{ \begin{array}{rl} \text{local:} & 12\text{ (facet)} \\ \text{quantum:} & ([0.250875384514, 0.25087539] + 1) * 12\end{array} \right. $$
$$ \left (\begin{array}{c} \text{-} \text{ } 3 \text{ } <A1> \text{ } \text{-} \text{ } 3 \text{ } <A2> \text{ } \text{-} \text{ } 3 \text{ } <B1> \text{ } \text{-} \text{ } 3 \text{ } <A1 B1> \\ \text{-} \text{ } 3 \text{ } <A2 B1> \text{ } \text{-} \text{ } 3 \text{ } <A3 B1> \text{ } \text{-} \text{ } 3 \text{ } <B2> \text{ } \text{-} \text{ } 3 \text{ } <A1 B2> \\ \text{-} \text{ } 3 \text{ } <A2 B2> \text{ } \text{+} \text{ } 3 \text{ } <A3 B2> \text{ } \text{-} \text{ } 3 \text{ } <A1 B3> \text{ } \text{+} \text{ } 3 \text{ } <A2 B3>\end{array}\right ) \le \left \{ \begin{array}{rl} \text{local:} & 12\text{ (facet)} \\ \text{quantum:} & ([0.250875384514, 0.25087539] + 1) * 12\end{array} \right. $$

Symmetry group

Symmetry group of order: 8

Generators:

  • outputInputPerms :
    • A3(1,2) B(1,2)
    • B3(1,2) A(1,2)
  • partyPerms :
    • (A,B)

Extras

Sources