Functional tilings and the Coven-Meyerowitz tiling conditions

Abstract

Coven and Meyerowitz formulated two conditions which have since been conjectured to characterize all finite sets that tile the integers by translation. By periodicity, this conjecture is reduced to sets which tile a finite cyclic group ${\mathbb{Z}}_M$. In this paper we consider a natural relaxation of this problem, where we replace sets with nonnegative functions $f,g$, such that $f(0)=g(0)=1$, $f\ast g=1_{{\mathbb{Z}}_M}$ is a functional tiling, and $f,g$ satisfy certain further natural properties associated with tilings. We show that the Coven-Meyerowitz tiling conditions do not necessarily hold in such generality. Such examples of functional tilings carry the potential to lead to proper tiling counterexamples to the Coven-Meyerowitz conjecture in the future.

20 pages. Several misprints and inaccuracies from the original submission were corrected. More detailed explanation in some proofs are provided