Abstract:An old theorem of Newman asserts that any tiling of $\mathbb{Z}$ by a finite set is periodic. A few years ago, Bhattacharya proved the periodic tiling conjecture in $\mathbb{Z}^2$. Namely, he proved that for a finite subset $F$ of $\mathbb{Z}^2$, if there exists $A \subseteq \mathbb{Z}^2$ such that $F \oplus A = \mathbb{Z}^2$ then there exists a periodic $A' \subseteq \mathbb{Z}^2$ such that $F \oplus A' = \mathbb{Z}^2$. The recent refutation of the periodic tiling conjecture in high dimensions due to Greenfeld and Tao motivates finding different generalizations of Newman's theorem and of Bhattacharya's theorem that hold in arbitrary dimension $d$. In this paper, we formulate and prove such generalizations. We do so by studying the structure of joint co-tiles in $\mathbb{Z}^d$. Our generalization of Newman's theorem states that for any $d \ge 1$, any joint co-tile for $d$ independent tiles is periodic. For a $(d-1)$-tuple of finite subsets of $\mathbb{Z}^d$ that satisfy a certain technical condition that we call property $(\star)$, we prove that any joint co-tile decomposes into disjoint $(d-1)$-periodic sets. Consequently, we show that for a $(d-1)$-tuple of finite subsets of $\mathbb{Z}^d$ that satisfy property $(\star)$, the existence of a joint co-tile implies the existence of periodic joint co-tile. Conversely, we prove that if a finite subset $F$ in $\mathbb{Z}^d$ admits a periodic co-tile $A$, then there exist $(d-1)$ additional tiles that together with $F$ are independent and admit $A$ as a joint co-tile, so that the first $(d-2)$ of these tiles together with $F$ satisfy property $(\star)$. Combined, our results give a new necessary and sufficient condition for a subset of $\mathbb{Z}^d$ to tile periodically. We also discuss tilings and joint tilings in other countable abelian groups.

Tiling, spectrality and aperiodicity of connected sets

Spectral sets and weak tiling

Spectral and tiling properties for a class of planar self-affine sets

Tiling sets and spectral sets over finite fields

Periodicity and decidability of translational tilings by rational polygonal sets

Periodicity of joint co-tiles in $\mathbb{Z}^d$

The Spectrality of Infinite Convolutions in $\mathbb{R}^d$

Diffractive beauty photoproduction as a short distance probe of QCD pomeron

Intersections of sets, diophantine equations and Fourier analysis

Fuglede's conjecture fails in dimension 4

Aperiodic monotiles: from geometry to groups

Spectrality of a class of infinite convolutions with and without compact supports in $\mathbb{R}^d$

A Fuglede type conjecture for discrete Gabor bases

Packing, tiling, orthogonality and completeness

Spectrality of Infinite Convolutions and Random Convolutions

Spectral and Combinatorial Aspects of Cayley-Crystals

Periodic structure of translational multi-tilings in the plane

Fuglede's conjecture, differential operators and unitary groups of local translations

Length orthospectrum of convex bodies on flat tori

Functional tilings and the Coven-Meyerowitz tiling conditions

On rationality of spectrums for spectral sets in R