We prove that a nonempty subset of the binary vector space is spectral if and only if it tiles by translations. This is the smallest binary dimension left open by Ferguson and Sothanaphan. For the implication from tiling to spectrality we show that every eight-point subset of admits frequencies whose pairwise differences avoid the zeros of its Fourier transform; consequently every tile of with at least elements is spectral. For the converse implication, we use the Smith normal form of the Walsh matrix to exclude every spectral subset of , and of , whose size is not a power of two. The sizes and are reduced, by a projection argument, to the tiling of point sets attached to binary log-Hadamard matrices of small rank. Using the published classifications of Hadamard matrices of orders and , we find that exactly sixteen order- classes up to transposition have dephased binary rank at most seven, and we give explicit tilings for both orientations of each.

生成讲解博客的中文版本

生成AI智能校验的中文版本