Unitary matrices: A complex, square matrix $U$ is called unitary if it satisfies $U^{\dagger} U=\mathrm{I}$, where $U^{\dagger}=\overline{U^T}$ denotes the Hermitian adjoint in which one first transposes and then takes complex conjugates of all entries. (a) Show that $U$ is a unitary matrix if and only if $U^{-1}=U^{\dagger}$. (b) Show that the following matrices are unitary and compute their inverses:
(i) $\left(\begin{array}{ll}\frac{1}{\sqrt{2}} & \frac{\mathrm{i}}{\sqrt{2}} \\ \frac{\mathrm{i}}{\sqrt{2}} & \frac{1}{\sqrt{2}}\end{array}\right)$,
(ii) $\left(\begin{array}{ccc}\frac{1}{\sqrt{3}} & \frac{1}{\sqrt{3}} & \frac{1}{\sqrt{3}} \\ \frac{1}{\sqrt{3}} & -\frac{1}{2 \sqrt{3}}+\frac{1}{2} & -\frac{1}{2 \sqrt{3}}-\frac{1}{2} \\ \frac{1}{\sqrt{3}} & -\frac{1}{2 \sqrt{3}}-\frac{\mathrm{i}}{2} & -\frac{1}{2 \sqrt{3}}+\frac{\mathrm{i}}{2}\end{array}\right)$,
(iii)
$$
\left(\begin{array}{rrrr}
\frac{1}{2} & \frac{1}{2} & \frac{1}{2} & \frac{1}{2} \\
\frac{1}{2} & \frac{i}{2} & -\frac{1}{2} & -\frac{i}{2} \\
\frac{1}{2} & -\frac{1}{2} & \frac{1}{2} & -\frac{1}{2} \\
\frac{1}{2} & -\frac{i}{2} & -\frac{1}{2} & \frac{i}{2}
\end{array}\right)
$$
(c) Are the following matrices unitary?
(i) $\left(\begin{array}{cc}2 & 1+2 \mathrm{i} \\ 1-2 \mathrm{i} & 3\end{array}\right)$,
(ii) $\frac{1}{5}\left(\begin{array}{cc}-1+2 \mathrm{i} & -4-2 \mathrm{i} \\ 2-4 \mathrm{i} & -2-\mathrm{i}\end{array}\right)$,
(iii) $\left(\begin{array}{rr}\frac{12}{13} & \frac{5}{13} \\ \frac{5}{13} & -\frac{12}{13}\end{array}\right)$.
(d) Show that $U$ is a unitary matrix if and only if its columns form an orthonormal basis of $\mathbb{C}^n$ with respect to the Hermitian dot product. (e) Prove that the set of unitary matrices forms a group, as defined in Exercise 4.3.24.