Explicit constants

All unmarked matrix norms in this section are Euclidean operator norms. The notation $\text{norm}{B}_{\infty \to \infty }$ denotes the maximum absolute row sum.

Fix a comparison region with

and update-gate bounds

Define

Without a refined gate certificate, take $\underline{\zeta }=0,\overline{\zeta }=1$.