A Fourier approach to Levine's hat puzzle

We consider Lionel Levine’s notorious hat puzzle with two players. Each player has a stack of hats on their head, and each hat is chosen independently to be either black or white. After observing only the other player’s hats, players simultaneously choose one of their own hats. The players win if both chosen hats are black. In this note, we observe an upper bound on the probability of success, using Chang’s lemma, a result in Boolean harmonic analysis.