No Arabic abstract
Consider the extended hull of a weak model set together with its natural shift action. Equip the extended hull with the Mirsky measure, which is a certain natural pattern frequency measure. It is known that the extended hull is a measure-theoretic factor of some group rotation, which is called the underlying torus. Among other results, in the article Periods and factors of weak model sets we showed that the extended hull is isomorphic to a factor group of the torus, where certain periods of the window of the weak model set have been factored out. This was proved for weak model sets having a compact window. In this note, we argue that the same results hold for arbitrary measurable and relatively compact windows. Our arguments crucially rely on Moodys work on uniform distribution in model sets. We also discuss implications for the diffraction of such weak model sets.
The theory of regular model sets is highly developed, but does not cover examples such as the visible lattice points, the k-th power-free integers, or related systems. They belong to the class of weak model sets, where the window may have a boundary of positive measure, or even consists of boundary only. The latter phenomena are related to the topological entropy of the corresponding dynamical system and to various other unusual properties. Under a rather natural extremality assumption on the density of the weak model set we establish its pure point diffraction nature. We derive an explicit formula that can be seen as the generalisation of the case of regular model sets. Furthermore, the corresponding natural patch frequency measure is shown to be ergodic. Since weak model sets of extremal density are generic for this measure, one obtains that the dynamical spectrum of the hull is pure point as well.
The well-known plastic number substitution gives rise to a ternary inflation tiling of the real line whose inflation factor is the smallest Pisot-Vijayaraghavan number. The corresponding dynamical system has pure point spectrum, and the associated control point sets can be described as regular model sets whose windows in two-dimensional internal space are Rauzy fractals with a complicated structure. Here, we calculate the resulting pure point diffraction measure via a Fourier matrix cocycle, which admits a closed formula for the Fourier transform of the Rauzy fractals, via a rapidly converging infinite product.
In recent years much attention has been enjoyed by topological spaces which are dominated by second countable spaces. The origin of the concept dates back to the 1979 paper of Talagrand in which it was shown that for a compact space X, Cp(X) is dominated by P, the set of irrationals, if and only if Cp(X) is K-analytic. Cascales extended this result to spaces X which are angelic and finally in 2005 Tkachuk proved that the Talagrand result is true for all Tychnoff spaces X. In recent years, the notion of P-domination has enjoyed attention independent of Cp(X). In particular, Cascales, Orihuela and Tkachuk proved that a Dieudonne complete space is K-analytic if and only if it is dominated by P. A notion related to P-domination is that of strong P- domination. Christensen had earlier shown that a second countable space is strongly P-dominated if and only if it is completely metrizable. We show that a very small modification of the definition of P-domination characterizes Borel subsets of Polish spaces.
We study point sets arising from cut-and-project constructions. An important class is weak model sets, which include squarefree numbers and visible lattice points. For such model sets, we give a non-trivial upper bound on their pattern entropy in terms of the volume of the window boundary in internal space. This proves a conjecture by R.V. Moody.
The well-known Galvin-Prikry Theorem states that Borel subsets of the Baire space are Ramsey: Given any Borel subset $mathcal{X}subseteq [omega]^{omega}$, where $[omega]^{omega}$ is endowed with the metric topology, each infinite subset $Xsubseteq omega$ contains an infinite subset $Ysubseteq X$ such that $[Y]^{omega}$ is either contained in $mathcal{X}$ or disjoint from $mathcal{X}$. Kechris, Pestov, and Todorcevic point out in their seminal 2005 paper the dearth of similar results for homogeneous structures. Such results are a necessary step to the larger goal of finding a correspondence between structures with infinite dimensional Ramsey properties and topological dynamics, extending their correspondence between the Ramsey property and extreme amenability. In this article, we prove an analogue of the Galvin-Prikry theorem for the Rado graph. Any such infinite dimensional Ramsey theorem is subject to constraints following from the 2006 work of Laflamme, Sauer, and Vuksanovic. The proof uses techniques developed for the authors work on the Ramsey theory of the Henson graphs as well as some new methods for fusion sequences, used to bypass the lack of a certain amalgamation property enjoyed by the Baire space.