Solution
= Solution
The operator $F$ maps the computational orthonormal <basis> $\{|j\rangle\}$ to the orthonormal <basis> $\{|\phi_j\rangle\}$. It therefore preserves <inner products> and is surjective, so $F^\dagger F=FF^\dagger=I$ and $F$ is unitary.