  In a recent article a breakthrough was made in quantum computer science which
established the existence of a phenomenon commonly known as $\mathsf{MIP}^\ast
= \mathsf{RE}$. We show that the existence of this phenomenon implies that the
supremum of the real parts of the zeroes of the Riemann zeta function is less
than one. Our main tool is an assertion about the representation theory of the
rank two free group that we refer to as the charged mean ergodic theorem. Our
method also involves the construction of novel modular functions we refer to as
complete electromagnetic functions.
