This is supplementary to this question. In the lecture note of Andrew Childs on Nonabelian Fourier analysis, it is said that the Fourier transform of a finite group is the weighted superposition of the irreps.
When I asked what the rationale behind taking the weighted superposition is, it was answered that weighted superposition is taken to make the transform unitary.
My question: How does weighted superposition make the transform unitary?
