The paraconjugate of is
Thus, the Haar filter bank is paraunitary. This is true for any power-complementary filter bank, since when is , power-complementary and paraunitary are the same property. For more about paraunitary filter banks, see Chapter 6 of .
Polyphase Analysis of Portnoff STFT
Properties of Paraunitary Filter Banks