Manuscript Oai279-A@1 · Oai279-A.tex · example · a1abc73f
Example: The whole gate set does not force dyadic probabilities
A finite certificate format and exact arithmetic › Exact support is algebraically meaningful · lines 756–769
On two qubits initially , apply to the first, then controlled- from the first to the second, then to the first. The amplitude of is
and its probability is
Thus exact dyadic sampling is a designed subroutine, not a universal property of every circuit over the frozen alphabet.
Displayed formulas in this passage
unlabeled · line 760
unlabeled · line 764