i find that hard to read (i know very little about quantum mechanics or computing) but it seems to me what is happening is this:

and since x_{0}y is independent of b:

since ω lies on the unit circle, and thus any power of it has magnitude 1 (whereas the sum of such unit vectors may not lie on the unit circle).