Complete characterization of polyhedral self-affine tiles (Q6050231)

A self-affine tile is a compact set \(G\subset \mathbb{R}^d\) that admits a partition (tiling) by parallel shifts of the set \(M^{-1}G\), where \(M\) is an expanding matrix. It is proved that a finite union of convex sets is a self-affine tile if and only if it is affinely equivalent to a disjoint union of integer translates of the unit cube which is a direct product of \(d\) one-dimensional self-affine sets. A union \(G\) of finitely many segments in \(\mathbb{R}\) is self-affine tile if and only if there exists \(r\) and vectors \(a,n\in\mathbb{Z}^r\) with \(a_1=n_1=1\), \(a_i\geq 2\), \(n_i\geq 2\) for each \(i\geq 2\) and \(a_i\) is divisible by \(a_{i-1}n_{i-1}\) such that \(G\) is equivalent (up to normalisation) to the set \(\{[k,k+1]:k\in S(a,n)\}\), where \(S(a,n)\) is the Minkowski sum of the progressions \(\{ka_i:0\leq k\leq n_i-1\}\). Further, assume that the expanding matrix \(M\) has integer entries and the set of shifts is a complete set of coset representatives in \(\mathbb{Z}^d/M\mathbb{Z}^d\). Under this additional conditions it is proved that any polyhedral self-affine tile is a parallelepiped.