I have not tried to follow all of your calculations, but there is one obvious mistake. If $c_k$ is a complex number then $|c_k|^2$ is not the same as...
I think so yes. I did not really check if everything will work out yet.
To find an equivalent one with at most 8 states, we need to simplify what it...