# What is the explicit action of the following circuit?

Would somebody please be able to explain the action of this circuit to me? (Taken from Arthur Pesah's blog post "Computing with Quantum Codes using Transversal Gates")

I understand overall that this circuit is implementing the $$H$$ gate on the qubit $$| \psi \rangle$$. However, I don't understand how the circuit explicitly implements this logical gate?

I am assuming the two control symbols connecting $$| \psi \rangle$$ and $$| + \rangle$$ are entangling the states somehow? Then I don't understand the top right measurement. It is not in a square box, what does this mean? Does it just imply that it is a measurement operator?

I am clearly not well versed in circuit diagrams, and have not had any luck figuring this out myself. If anybody could help break the action of this circuit down for me, it would be very helpful!

You can track $$X$$ and $$Z$$ stabilizers on the top qubit to show that the circuit implements a Hadamard gate:
• This is very helpful! However, I am a bit confused about the action of the circuit on the stabilizers: my understanding from the circuits above is that $CZ(XX) \rightarrow YY$ but that would be the same as multiplying the matrix rep. of $CZ$ ($(1,1,1,-1)$ diagonal matrix ) by the matrix rep of $X \otimes X$ ($(1,1,1,1)$ on the anti-diagonal), which results in $(1,1,1,-1)$ on the anti-diagonal, which does not correspond to $Y \otimes Y$ which is $(-1,1,1,-1)$ on the anti-diagonal. Am I misinterpreting this entirely? Commented Feb 16 at 14:19