Manuscript Oai279-A@1 · Oai279-A.tex · section · a1abc73f

Exact support is algebraically meaningful

A finite certificate format and exact arithmetic › Exact support is algebraically meaningful · lines 718–727

Let

R = Z [1/2, 2, i] .

Every entry of every frozen gate lies in $R$ , including controlled gates and inverses. Therefore a circuit state on a basis input has amplitudes in $R$ .

Displayed formulas in this passage

unlabeled · line 721
$R = Z [1/2, 2, i] .$

Nearby in this section

lemma: Lemma: An exact zero test
section: Exact support is algebraically meaningful
example: Example: The whole gate set does not force dyadic probabilities