{"id":"arxiv/2610.42005","url":"https://arxiv.org/abs/2610.42005","tags":["math.CO","math.CA"],"score":0,"title":"Tiling without a subspace complement: a sharp counterexample in dimension nine over the field with two elements","domain":"math.CO","source":"arxiv","authors":["Samuel J. Ferguson","Joshua Iosevich"],"reviews":0,"subject":"math.CO","summary":"We construct an explicit 64-point subset of $\\mathbb F_2^9$ which tiles by translation but has no linear-subspace tiling complement. Together with our earlier dimension-eight theorem and a product argument, this shows that every nonempty tile in $\\mathbb F_2^d$ has a linear-subspace complement precisely when $d\\le8$. The example is spectral, so it is not a counterexample to Fuglede's conjecture. Its construction uses six three-dimensional subspaces of $\\mathbb F_2^6$, specified by a small table. We classify all its tiling complements and spectra: there are exactly 512 complements and 64…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-30","reactions":{}}