Remark: Relation to a complex transfer amplitude

If an uncorrected amplitude is $q=\sqrt{\eta }{e}^{\mathrm{i}\alpha }$, the occupied column has coefficients $q^2,q\sqrt{t},-q\sqrt{t},t$. Applying the accessible phase correction $e^{-\mathrm{i}\alpha N_R}$ gives Definition def:extractor. The phase is fixed independently of the logical input. The ideal-phase results below do not certify an estimated or implemented phase correction.