Good evening,
I was wondering how we could measure the first q-bit on the computational basis |0>, |1> (2 entries vector) since we have a 2^n vectors after the second Hadammard gate ?
Should we use the projection on the n tensor product of the |0> state to have matching dimensions ?