Do you want to publish a course? Click here

A self-similar aperiodic set of 19 Wang tiles

130   0   0.0 ( 0 )
 Publication date 2018
  fields
and research's language is English




Ask ChatGPT about the research

We define a Wang tile set $mathcal{U}$ of cardinality 19 and show that the set $Omega_mathcal{U}$ of all valid Wang tilings $mathbb{Z}^2tomathcal{U}$ is self-similar, aperiodic and is a minimal subshift of $mathcal{U}^{mathbb{Z}^2}$. Thus $mathcal{U}$ is the second smallest self-similar aperiodic Wang tile set known after Ammanns set of 16 Wang tiles. The proof is based on the unique composition property. We prove the existence of an expansive, primitive and recognizable $2$-dimensional morphism $omega:Omega_mathcal{U}toOmega_mathcal{U}$ that is onto up to a shift. The proof of recognizability is done in two steps using at each step the same criteria (the existence of marker tiles) for proving the existence of a recognizable one-dimensional substitution that sends each tile either on a single tile or on a domino of two tiles.



rate research

Read More

247 - Emmanuel Jeandel 2015
We present a new aperiodic tileset containing 11 Wang tiles on 4 colors, and we show that this tileset is minimal, in the sense that no Wang set with either fewer than 11 tiles or fewer than 4 colors is aperiodic. This gives a definitive answer to the problem raised by Wang in 1961.
129 - Sebastien Labbe 2020
The goal of this chapter is to illustrate a generalization of the Fibonacci word to the case of 2-dimensional configurations on $mathbb{Z}^2$. More precisely, we consider a particular subshift of $mathcal{A}^{mathbb{Z}^2}$ on the alphabet $mathcal{A}={0,dots,18}$ for which we give three characterizations: as the subshift $mathcal{X}_phi$ generated by a 2-dimensional morphism $phi$ defined on $mathcal{A}$; as the Wang shift $Omega_mathcal{U}$ defined by a set $mathcal{U}$ of 19 Wang tiles; as the symbolic dynamical system $mathcal{X}_{mathcal{P}_mathcal{U},R_mathcal{U}}$ representing the orbits under some $mathbb{Z}^2$-action $R_mathcal{U}$ defined by rotations on $mathbb{T}^2$ and coded by some topological partition $mathcal{P}_mathcal{U}$ of $mathbb{T}^2$ into 19 polygonal atoms. We prove their equality $Omega_mathcal{U} =mathcal{X}_phi=mathcal{X}_{mathcal{P}_mathcal{U},R_mathcal{U}}$ by showing they are self-similar with respect to the substitution $phi$. This chapter provides a transversal reading of results divided into four different articles obtained through the study of the Jeandel-Rao Wang shift. It gathers in one place the methods introduced to desubstitute Wang shifts and to desubstitute codings of $mathbb{Z}^2$-actions by focussing on a simple 2-dimensional self-similar subshift. SageMath code to find marker tiles and compute the Rauzy induction of $mathbb{Z}^2$-rotations is provided allowing to reproduce the computations.
This investigation completely classifies the spatial chaos problem in plane edge coloring (Wang tiles) with two symbols. For a set of Wang tiles $mathcal{B}$, spatial chaos occurs when the spatial entropy $h(mathcal{B})$ is positive. $mathcal{B}$ is called a minimal cycle generator if $mathcal{P}(mathcal{B}) eqemptyset$ and $mathcal{P}(mathcal{B})=emptyset$ whenever $mathcal{B}subsetneqq mathcal{B}$, where $mathcal{P}(mathcal{B})$ is the set of all periodic patterns on $mathbb{Z}^{2}$ generated by $mathcal{B}$. Given a set of Wang tiles $mathcal{B}$, write $mathcal{B}=C_{1}cup C_{2} cupcdots cup C_{k} cup N$, where $C_{j}$, $1leq jleq k$, are minimal cycle generators and $mathcal{B}$ contains no minimal cycle generator except those contained in $C_{1}cup C_{2} cupcdots cup C_{k}$. Then, the positivity of spatial entropy $h(mathcal{B})$ is completely determined by $C_{1}cup C_{2} cupcdots cup C_{k}$. Furthermore, there are 39 equivalent classes of marginal positive-entropy (MPE) sets of Wang tiles and 18 equivalent classes of saturated zero-entropy (SZE) sets of Wang tiles. For a set of Wang tiles $mathcal{B}$, $h(mathcal{B})$ is positive if and only if $mathcal{B}$ contains an MPE set, and $h(mathcal{B})$ is zero if and only if $mathcal{B}$ is a subset of an SZE set.
Microstructural geometry plays a critical role in the response of heterogeneous materials. Consequently, methods for generating microstructural samples are increasingly crucial to advanced numerical analyses. We extend Sonon et al.s unified framework, developed originally for generating particulate and foam-like microstructural geometries of Periodic Unit Cells, to non-periodic microstructural representations based on the formalism of Wang tiles. This formalism has been recently proposed in order to generalize the Periodic Unit Cell approach, enabling a fast synthesis of arbitrarily large, stochastic microstructural samples from a handful of domains with predefined compatibility constraints. However, a robust procedure capable of designing complex, three-dimensional, foam-like and cellular morphologies of Wang tiles has not yet been proposed. This contribution fills the gap by significantly broadening the applicability of the tiling concept. Since the original Sonon et al.s framework builds on a random sequential addition of particles enhanced with an implicit representation of particle boundaries by the level-set field, we first devise an analysis based on a connectivity graph of a tile set, resolving the question where a particle should be copied when it intersects a tile boundary. Next, we introduce several modifications to the original algorithm that are necessary to ensure microstructural compatibility in the generalized periodicity setting of Wang tiles. Having established a universal procedure for generating tile morphologies, we compare strictly aperiodic and stochastic sets with the same cardinality in terms of reducing the artificial periodicity in reconstructed microstructural samples. We demonstrate the superiority of the vertex-defined tile sets for two-dimensional problems and illustrate the capabilities of the algorithm with two- and three-dimensional examples.
201 - Simon Baker 2021
In this paper we prove that if ${varphi_i(x)=lambda x+t_i}$ is an equicontractive iterated function system and $b$ is a positive integer satisfying $frac{log b}{log |lambda|} otinmathbb{Q},$ then almost every $x$ is normal in base $b$ for any non-atomic self-similar measure of ${varphi_i}$.
comments
Fetching comments Fetching comments
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا