A combinatorial proof of the non-vanishing of Hankel determinants of the Thue-Morse sequence (Q406696)

Summary: \textit{J.-P. Allouche} et al. [Ann. Inst. Fourier 48, No. 1, 1--27 (1998; Zbl 0974.11010)] established that the Hankel determinants associated with the Thue-Morse sequence on \(\{-1,1\}\) are always nonzero. Their proof depends on a set of sixteen recurrence relations. We present an alternative, purely combinatorial proof of the same result. We also re-prove a recent result of \textit{M. Coons} [Ramanujan J. 30, No. 1, 39--65 (2013; Zbl 1271.11075)] on the non-vanishing of the Hankel determinants associated to two other classical integer sequences.