arXiv++ Combinatorics

Given an ordered tuple $\mathbf v=(v_0,\ldots,v_d)$ of vectors in $\mathbb{R}^d$, let $A_{\mathbf v}=[\,v_1-v_0\ \cdots\ v_d-v_0\,]$ be its edge matrix. We prove that, in every finite colouring of $\mathbb{R}^d$, one colour class realizes every prescribed value of the higher characteristic coefficients \[ (c_2(A_{\mathbf v}),\ldots,c_d(A_{\mathbf v})). \] This extends Graham's theorem on volumes, which corresponds to the last coefficient $c_d(A_{\mathbf v})=\det(A_{\mathbf v})$. We also prove a discrete analogue: if $E\subseteq\mathbb{Z}^d$ has positive upper Banach density, then, for some $q\geq 1$, the set of coefficient tuples realized by ordered tuples in $E$ contains \[ q^2\mathbb{Z}\times q^3\mathbb{Z}\times\cdots\times q^d\mathbb{Z}. \] Finally, we show that the ordinary trace $c_1(A_{\mathbf v})$ cannot be added to these conclusions. The proof combines a quantitative directional expansion result for ergodic actions of free abelian groups with a trace calculation for a family of model edge matrices.

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.

We show that translational tiling problems in a quotient of $\mathbb{Z}^d$ can be effectively reduced or ``simulated'' by translational tiling problems in $\mathbb{Z}^d$. In particular, for any $d \in \mathbb{N}$, $k < d$ and $N_1,\ldots,N_k \in \mathbb{N}$ the existence of an aperiodic tile in $\mathbb{Z}^{d-k} \times (\mathbb{Z} / N_1\mathbb{Z} \times \ldots \times \mathbb{Z} / N_k \mathbb{Z})$ implies the existence of an aperiodic tile in $\mathbb{Z}^d$. Greenfeld and Tao have recently disproved the well-known periodic tiling conjecture in $\mathbb{Z}^d$ for sufficiently large $d \in \mathbb{N}$ by constructing an aperiodic tile in $\mathbb{Z}^{d-k} \times (\mathbb{Z} / N_1\mathbb{Z} \times \ldots \times \mathbb{Z} / N_k \mathbb{Z})$ for suitable $d,N_1,\ldots,N_k \in \mathbb{N}$.