The aim of this paper is to determine the asymptotic growth rate of the complexity function of cut-and-project sets in the non-abelian case. In the case of model sets of polytopal type in homogeneous two-step nilpotent Lie groups, we can establish that the complexity function asymptotically behaves like $r^{{\mathrm {homdim}}(G) \dim (H)}$. Further, we generalize the concept of acceptance domains to locally compact second countable groups.

In this paper we study the existence of higher dimensional arithmetic progressions in Meyer sets. We show that the case when the ratios are linearly dependent over ${\mathbb Z}$ is trivial and focus on arithmetic progressions for which the ratios are linearly independent. Given a Meyer set $\Lambda $ and a fully Euclidean model set with the property that finitely many translates of cover $\Lambda $ , we prove that we can find higher dimensional arithmetic progressions of arbitrary length with k linearly independent ratios in $\Lambda $ if and only if k is at most the rank of the ${\mathbb Z}$ -module generated by . We use this result to characterize the Meyer sets that are subsets of fully Euclidean model sets.

We calculate the growth rate of the complexity function for polytopal cut and project sets. This generalizes work of Julien where the almost canonical condition is assumed. The analysis of polytopal cut and project sets has often relied on being able to replace acceptance domains of patterns by so-called cut regions. Our results correct mistakes in the literature where these two notions are incorrectly identified. One may only relate acceptance domains and cut regions when additional conditions on the cut and project set hold. We find a natural condition, called the quasicanonical condition, guaranteeing this property and demonstrate by counterexample that the almost canonical condition is not sufficient for this. We also discuss the relevance of this condition for the current techniques used to study the algebraic topology of polytopal cut and project sets.

Examples of distinct weighted model sets with equal 2, 3, 4, 5-point correlations are given.