Understanding Bell locality tests at colliders

Abstract For decades, it has been known that generic local hidden-variable theories cannot be disproved by collider experiments involving decaying particles. However, if these theories satisfy a small set of mild assumptions, they become testable. In particular, this class of theories can be disproved using Bell-like inequalities for $$\mu ^+ \mu ^-$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msup> <mml:mi>μ</mml:mi> <mml:mo>+</mml:mo> </mml:msup> <mml:msup> <mml:mi>μ</mml:mi> <mml:mo>-</mml:mo> </mml:msup> </mml:mrow> </mml:math> and $$\tau ^+ \tau ^-$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msup> <mml:mi>τ</mml:mi> <mml:mo>+</mml:mo> </mml:msup> <mml:msup> <mml:mi>τ</mml:mi> <mml:mo>-</mml:mo> </mml:msup> </mml:mrow> </mml:math> pairs.