Research proof index

Honest Bob usually rejects if Alice is off by ≥ s

Bob makes few queries, regardless of Alice and Vera

If Alice lies about probabilities by more than b, Bob usually catches Alice in a lie

If Honest Bob rejects, Vera usually complains. The error probability is higher if Bob does complain, though, so we use an expectation over vera_score.

For a finite ambient group, the chord model of a Bohr set $B$ is contained in the arc model after widening $B$ by the factor $\pi/2$: $B_{\mathrm{chord}}\subseteq ((\pi/2)B)_{\mathrm{arc}}$.

Characterization of the order on Bohr sets. The relation $B_1\le B_2$ holds exactly when every frequency of $B_2$ is also a frequency of $B_1$, and $\operatorname{width}_{B_1}(\psi)\le \operatorname{width}_{B_2}(\psi)$ for each such frequency.