For H=ω2ZH = \tfrac{\omega}{2}ZH=2ωZ, write U(t)U(t)U(t) as a 2×22\times22×2 matrix and confirm it equals Rz(ωt)R_z(\omega t)Rz(ωt) from Appendix E.