Two asymptotic configurations on a full $\mathbb {Z}^d$-shift are indistinguishable if, for every finite pattern, the associated sets of occurrences in each configuration coincide up to a finitely supported permutation of $\mathbb {Z}^d$. We prove that indistinguishable asymptotic pairs satisfying a ‘flip condition’ are characterized by their pattern complexity on finite connected supports. Furthermore, we prove that uniformly recurrent indistinguishable asymptotic pairs satisfying the flip condition are described by codimension-one (dimension of the internal space) cut and project schemes, which symbolically correspond to multidimensional Sturmian configurations. Together, the two results provide a generalization to $\mathbb {Z}^d$ of the characterization of Sturmian sequences by their factor complexity $n+1$. Many open questions are raised by the current work and are listed in the introduction.

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.

The construction of a spectral cocycle from the case of one-dimensional substitution flows [A. I. Bufetov and B. Solomyak. A spectral cocycle for substitution systems and translation flows. J. Anal. Math. 141(1) (2020), 165–205] is extended to the setting of pseudo-self-similar tilings in ${\mathbb R}^d$, allowing expanding similarities with rotations. The pointwise upper Lyapunov exponent of this cocycle is used to bound the local dimension of spectral measures of deformed tilings. The deformations are considered, following the work of Treviño [Quantitative weak mixing for random substitution tilings. Israel J. Math., to appear], in the simpler, non-random setting. We review some of the results of Treviño in this special case and illustrate them on concrete examples.

In this paper, we prove that given a cut-and-project scheme $(G, H, \mathcal {L})$ and a compact window $W \subseteq H$, the natural projection gives a bijection between the Fourier transformable measures on $G \times H$ supported inside the strip ${\mathcal L} \cap (G \times W)$ and the Fourier transformable measures on G supported inside ${\LARGE \curlywedge }(W)$. We provide a closed formula relating the Fourier transform of the original measure and the Fourier transform of the projection. We show that this formula can be used to re-derive some known results about Fourier analysis of measures with weak Meyer set support.

We give a characterization of inter-model sets with Euclidean internal space. This characterization is similar to previous results for general inter-model sets obtained independently by Baake, Lenz and Moody, and Aujogue. The new ingredients are two additional conditions. The first condition is on the rank of the abelian group generated by the set of internal differences. The second condition is on a flow on a torus defined via the address map introduced by Lagarias. This flow plays the role of the maximal equicontinuous factor in the previous characterizations.

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 present a single, connected tile which can tile the plane but only nonperiodically. The tile is hexagonal with edge markings, which impose simple rules as to how adjacent tiles are allowed to meet across edges. The first of these rules is a standard matching rule, that certain decorations match across edges. The second condition is a new type of matching rule, which allows tiles to meet only when certain decorations in a particular orientation are given the opposite charge. This forces the tiles to form a hierarchy of triangles, following a central idea of the Socolar–Taylor tilings. However, the new edge-to-edge orientational matching rule forces this structure in a very different way, which allows for a surprisingly simple proof of aperiodicity. We show that the hull of all tilings satisfying our rules is uniquely ergodic and that almost all tilings in the hull belong to a minimal core of tilings generated by substitution. Identifying tilings which are charge-flips of each other, these tilings are shown to have pure point dynamical spectrum and a regular model set structure.

We prove that in every compact space of Delone sets in ${\mathbb {R}}^d$ , which is minimal with respect to the action by translations, either all Delone sets are uniformly spread or continuously many distinct bounded displacement equivalence classes are represented, none of which contains a lattice. The implied limits are taken with respect to the Chabauty–Fell topology, which is the natural topology on the space of closed subsets of ${\mathbb {R}}^d$ . This topology coincides with the standard local topology in the finite local complexity setting, and it follows that the dichotomy holds for all minimal spaces of Delone sets associated with well-studied constructions such as cut-and-project sets and substitution tilings, whether or not finite local complexity is assumed.

We study the repetition of patches in self-affine tilings in ${\mathbb {R}}^d$ . In particular, we study the existence and non-existence of arithmetic progressions. We first show that an arithmetic condition of the expansion map for a self-affine tiling implies the non-existence of certain one-dimensional arithmetic progressions. Next, we show that the existence of full-rank infinite arithmetic progressions, pure discrete dynamical spectrum, and limit-periodicity are all equivalent for a certain class of self-affine tilings. We finish by giving a complete picture for the existence or non-existence of full-rank infinite arithmetic progressions in the self-similar tilings in ${\mathbb {R}}^d$ .

Higher-dimensional binary shifts of number-theoretic origin with positive topological entropy are considered. We are particularly interested in analysing their symmetries and extended symmetries. They form groups, known as the topological centralizer and normalizer of the shift dynamical system, which are natural topological invariants. Here, our focus is on shift spaces with trivial centralizers, but large normalizers. In particular, we discuss several systems where the normalizer is an infinite extension of the centralizer, including the visible lattice points and the k-free integers in some real quadratic number fields.

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.

In the realm of Delone sets in locally compact, second countable Hausdorff groups, we develop a dynamical systems approach in order to study the continuity behavior of measured quantities arising from point sets. A special focus is both on the autocorrelation, as well as on the density of states for random bounded operators. It is shown that for uniquely ergodic limit systems, the latter measures behave continuously with respect to the Chabauty–Fell convergence of hulls. In the special situation of Euclidean spaces, our results complement recent developments in describing spectra as topological limits: we show that the measured quantities under consideration can be approximated via periodic analogs.

Meyer sets have a relatively dense set of Bragg peaks, and for this reason they may be considered as basic mathematical examples of (aperiodic) crystals. In this paper we investigate the pure point part of the diffraction of Meyer sets in more detail. The results are of two kinds. First, we show that, given a Meyer set and any positive intensity $a$ less than the maximum intensity of its Bragg peaks, the set of Bragg peaks whose intensity exceeds $a$ is itself a Meyer set (in the Fourier space). Second, we show that if a Meyer set is modified by addition and removal of points in such a way that its density is not altered too much (the allowable amount being given explicitly as a proportion of the original density), then the newly obtained set still has a relatively dense set of Bragg peaks.

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

The groups of (linear) similarity and coincidence isometries of certain modules $\Gamma $ in $d$-dimensional Euclidean space, which naturally occur in quasicrystallography, are considered. It is shown that the structure of the factor group of similarity modulo coincidence isometries is the direct sum of cyclic groups of prime power orders that divide $d$. In particular, if the dimension $d$ is a prime number $p$, the factor group is an elementary abelian $p$-group. This generalizes previous results obtained for lattices to situations relevant in quasicrystallography.

We show how to construct a topological groupoid directly from an inverse semigroup and prove that it is isomorphic to the universal groupoid introduced by Paterson. We then turn to a certain reduction of this groupoid. In the case of inverse semigroups arising from graphs (respectively, tilings), we prove that this reduction is the graph groupoid introduced by Kumjian \et (respectively, the tiling groupoid of Kellendonk). We also study the open invariant sets in the unit space of this reduction in terms of certain order ideals of the underlying inverse semigroup. This can be used to investigate the ideal structure of the associated reduced $C^\ast$-algebra.

We define a uniform structure on the set of discrete sets of a locally compact topological space on which a locally compact topological group acts continuously. Then we investigate the completeness of these uniform spaces and study these spaces by means of topological dynamical systems.

Unlike the (classical) Kolakoski sequence on the alphabet {1, 2}, its analogue on {1, 3} can be related to a primitive substitution rule. Using this connection, we prove that the corresponding bi-infinite fixed point is a regular generic model set and thus has a pure point diffraction spectrum. The Kolakoski-(3, 1) sequence is then obtained as a deformation, without losing the pure point diffraction property.

This paper is about the topologies arising from statistical coincidence on locally finite point sets in locally compact Abelian groups $G$. The first part defines a uniform topology (autocorrelation topology) and proves that, in effect, the set of all locally finite subsets of $G$ is complete in this topology. Notions of statistical relative denseness, statistical uniform discreteness, and statistical Delone sets are introduced.

The second part looks at the consequences of mixing the original and autocorrelation topologies, which together produce a new Abelian group, the autocorrelation group. In particular the relation between its compactness (which leads then to a $G$-dynamical system) and pure point diffractivity is considered. Finally for generic regular model sets it is shown that the autocorrelation group can be identified with the associated compact group of the cut and project scheme that defines it. For such a set the autocorrelation group, as a $G$-dynamical system, is a factor of the dynamical local hull.

A Dirac comb of point measures in Euclidean space with bounded complex weights that is supported on a lattice $\Gamma$ inherits certain general properties from the lattice structure. In particular, its autocorrelation admits a factorization into a continuous function and the uniformlattice Dirac comb, and its diffraction measure is periodic, with the dual lattice ${{\Gamma }^{*}}$ as lattice of periods. This statement remains true in the setting of a locally compact Abelian group whose topology has a countable base.