Entropies of weighted sums in cyclic groups and applications to polar codes.