Register accounting

The batch input $ED$ occupies $b+d$ qubits. Appending $F,\hat{M}$ adds $2k$. Applying $U^{\ast }$ merely reassigns the $F,E$ factors into $C^{\prime },D^{\prime }$; it does not allocate them again. At the coherent stage the live factors are

with total