Choose an orthonormal eigenbasis of , with eigenphases , counting multiplicity. The maximally mixed state is basis independent, so
Linearity means that the experiment is the equal mixture of the two eigenstate experiments. After the inverse quantum Fourier transform, the joint state is , where and
Thus the exact output distribution for quantum phase estimation with a maximally mixed target is
For a nonzero phase mismatch, the squared probability amplitude is , with value one at an exact match. If both eigenphases are exactly representable on the -point grid, their two labels occur with probability each; coincident labels have their probabilities added. For general eigenphases there can be nonzero probabilities at other labels, so it would not be exact to list only the two best approximations with probability each. Each eigenphase is sampled with spectral weight , and its nearest-label event has conditional probability at least . In particular a nearest label for one eigenphase has unconditional probability at least , with additional contributions possible from the other phase.