The computational-basis projectors on the first qubit are
The Pauli Z gate acts as on the first subspace and on the second, so . By the Born rule, . Therefore the expectation determines the output probabilities:
The normalization supplies ; no product-state assumption is needed for this identity.

Articles by others on the same topic (0)

There are currently no matching articles.