I was flipping through Kitaev's quantum computing book today and noticed something really strange. I thought it might be fun to post it here and figure out what's going on. See http://books.google.com/books?id=Tr...AEwAA#v=onepage&q=measuring operators&f=false for the relevant page. Basically he's talking about what he calls measuring operators, but then he gives a really strange formula (the action of W on the state midway down the page) which looks like a typo to me. In particular, why isn't there a double sum, one from W and one from W^+? For those in know, he's basically describing how to measure eigenvalues of unitary operators using interference. This is part of the buildup to the phase estimation algorithm and various other algorithms for abelian groups. Any thoughts?