Independent sets in graph products via harmonic analysis