Searcharxiv⌕ Search

arXiv subjects

Jeong-Yup Lee

Publications and source records attributed to Jeong-Yup Lee.

At least 19 recordsLinked to original sources
arXiv2021

On arithmetic progressions in non-periodic self-affine tilings

We study the repetition of patches in self-affine tilings in 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/non-existence of full-rank infinite arithmetic progressions in the self-similar tilings in R^d.

math.DS↗
arXiv2020

Modulated crystals and almost periodic measures

Modulated crystals and quasicrystals can simultaneously be described as modulated quasicrystals, a class of point sets introduced by de Bruijn in 1987. With appropriate modulation functions, modulated quasicrystals themselves constitute a substantial subclass of strongly almost periodic point measures. We re-analyse these structures using methods from modern mathematical diffraction theory, thereby providing a coherent view over that class. Similarly to de Bruijn's analysis, we find stability with respect to almost periodic modulations.

math.DS↗
arXiv2020

Pure Discrete Spectrum and Regular Model Sets in Unimodular Substitution Tilings on R^d

We consider primitive substitution tilings on R^d whose expansion maps are unimodular. We assume that all the eigenvalues of the expansion maps are algebraic conjugates with the same multiplicity. In this case, we can construct a cut-and-project scheme with a Euclidean internal space. Under some additional condition, we show that if the substitution tiling has pure discrete spectrum, then the corresponding representative point sets are regular model sets in that cut-and-project scheme.

math.DS↗
arXiv2019

On substitution tilings and Delone sets without finite local complexity

We consider substitution tilings and Delone sets without the assumption of finite local complexity (FLC). We first give a sufficient condition for tiling dynamical systems to be uniquely ergodic and a formula for the measure of cylinder sets. We then obtain several results on their ergodic-theoretic properties, notably absence of strong mixing and conditions for existence of eigenvalues, which have number-theoretic consequences. In particular, if the set of eigenvalues of the expansion matrix is totally non-Pisot, then the tiling dynamical system is weakly mixing. Further, we define the notion of rigidity for substitution tilings and demonstrate that the result of [Lee-Solomyak (2012)] on the equivalence of four properties: relatively dense discrete spectrum, being not weakly mixing, the Pisot family, and the Meyer set property, extends to the non-FLC case, if we assume rigidity instead.

math.DS↗
arXiv2018

Gröbner-Shirshov bases for Temperley-Lieb algebras of the complex reflection group of type $G(d,1,n)$

We construct a Gröbner-Shirshov basis of the Temperley-Lieb algebra $\mathfrak{T}(d,n)$ of the complex reflection group $G(d,1,n)$, inducing the standard monomials expressed by the generators $\{E_i\}$ of $\mathfrak{T}(d,n)$. This result generalizes the one for the Coxeter group of type $B_n$ in \cite{KimSSLeeDI}. We also give a combinatorial interpretation of the standard monomials of $\mathfrak{T}(d,n)$, relating to the fully commutative elements of the complex reflection group $G(d,1,n)$. In this way, we obtain the dimension formula of $\mathfrak{T}(d,n)$.

math.RA↗
arXiv2017

On the Penrose and Taylor-Socolar Hexagonal Tilings

We study the intimate relationship between the Penrose and the Taylor-Socolar tilings, within both the context of double hexagon tiles and the algebraic context of hierarchical inverse sequences of triangular lattices. This unified approach produces both types of tilings together, clarifies their relationship, and offers straightforward proofs of their basic properties.

math.MG↗
arXiv2014

Determining pure discrete spectrum for some self-affine tilings

By the algorithm implemented in the paper [2] by Akiyama-Lee and some of its predecessors, we have examined the pure discreteness of the spectrum for all irreducible Pisot substitutions of trace less than or equal to $2$, and some cases of planar tilings generated by boundary substitutions due to the paper [17] by Kenyon.

math.MG↗
arXiv2014

Overlap coincidence to strong coincidence in substitution tiling dynamics

Overlap coincidence is an equivalent criterion to pure discrete spectrum of the dynamics of self affine tilings. In the case of one dimension, strong coincidence on m letter irreducible substitution has been introduced in Dekking (1978) and Arnoux and Ito (2001) which implies that the system is metrically conjugate to a domain exchange. However being a domain exchange does not imply the property of pure discrete spectrum of the tiling dynamics. The relation between two coincidences has not been established completely. In this paper we generalize strong coincidence to higher dimensions and show the implication from overlap coincidence to the new strong coincidence when the associated height group is trivial. Furthermore we introduce a new criterion simultaneous coincidence and show the implication from overlap coincidence to the simultaneous coincidence. The triviality of the height group is shown in Barge and Kwapisz (2006) and Sing (2006) for 1 dimension irreducible Pisot substitutions.

math.MG↗
arXiv2012

The computation of overlap coincidence in Taylor-Socolar substitution tiling

Recently Taylor and Socolar introduced an aperiodic mono-tile. The associated tiling can be viewed as a substitution tiling. We use the substitution rule for this tiling and apply the algorithm of \cite{AL} to check overlap coincidence. It turns out that the tiling has overlap coincidence. So the tiling dynamics has pure point spectrum and we can conclude that this tiling has a quasicrystalline structure.

math.MG↗
arXiv2012

Taylor-Socolar hexagonal tilings as model sets

The Taylor-Socolar tilings are regular hexagonal tilings of the plane but are distinguished in being comprised of hexagons of two colors in an aperiodic way. We place the Taylor-Socolar tilings into an algebraic setting which allows one to see them directly as model sets and to understand the corresponding tiling hull along with its generic and singular parts. Although the tilings were originally obtained by matching rules and by substitution, our approach sets the tilings into the framework of a cut and project scheme and studies how the tilings relate to the corresponding internal space. The centers of the entire set of tiles of one tiling form a lattice $Q$ in the plane. If $X_Q$ denotes the set of all Taylor-Socolar tilings with centers on $Q$ then $X_Q$ forms a natural hull under the standard local topology of hulls and is a dynamical system for the action of $Q$. The $Q$-adic completion $\bar{Q}$ of $Q$ is a natural factor of $X_Q$ and the natural mapping $X_Q \longrightarrow \bar{Q}$ is bijective except at a dense set of points of measure 0 in $\bar{Q}$. We show that $X_Q$ consists of three LI classes under translation. Two of these LI classes are very small, namely countable $Q$-orbits in $X_Q$. The other is a minimal dynamical system which maps surjectively to $\bar{Q}$ and which is variously $2:1$, $6:1$, and $12:1$ at the singular points. We further develop the formula of Socolar and Taylor (2011) that determines the parity of the tiles of a tiling in terms of the co-ordinates of its tile centers. Finally we show that the hull of the parity tilings can be identified with the hull $X_Q$; more precisely the two hulls are mutually locally derivable.

math.MG↗
arXiv2010

Algorithm for determining pure pointedness of self-affine tilings

Overlap coincidence in a self-affine tiling in $\R^d$ is equivalent to pure point dynamical spectrum of the tiling dynamical system. We interpret the overlap coincidence in the setting of substitution Delone set in $\R^d$ and find an efficient algorithm to check the pure point dynamical spectrum. This algorithm is easy to implement into a computer program. We give the program and apply it to several examples. In the course the proof of the algorithm, we show a variant of the conjecture of Urbański (Solomyak \cite{Solomyak:08}) on the Hausdorff dimension of the boundaries of fractal tiles.

math.MG↗
arXiv2010

Pisot family self-affine tilings, discrete spectrum, and the Meyer property

We consider self-affine tilings in the Euclidean space and the associated tiling dynamical systems, namely, the translation action on the orbit closure of the given tiling. We investigate the spectral properties of the system. It turns out that the presence of the discrete component depends on the algebraic properties of the eigenvalues of the expansion matrix $ϕ$ for the tiling. Assuming that $ϕ$ is diagonalizable over $\C$ and all its eigenvalues are algebraic conjugates of the same multiplicity, we show that the dynamical system has a relatively dense discrete spectrum if and only if it is not weakly mixing, and if and only if the spectrum of $ϕ$ is a "Pisot family". Moreover, this is equivalent to the Meyer property of the associated discrete set of "control points" for the tiling.

math.DS↗
arXiv2009

Pure Point Dynamical and Diffraction Spectra

We show that for multi-colored Delone point sets with finite local complexity and uniform cluster frequencies the notions of pure point diffraction and pure point dynamical spectrum are equivalent.

math.DS↗
arXiv2009

Consequences of Pure Point Diffraction Spectra for Multiset Substitution Systems

There is a growing body of results in the theory of discrete point sets and tiling systems giving conditions under which such systems are pure point diffractive. Here we look at the opposite direction: what can we infer about a discrete point set or tiling, defined through a primitive substitution system, given that it is pure point diffractive? Our basic objects are Delone multisets and tilings, which are self-replicating under a primitive substitution system of affine mappings with a common expansive map $Q$. Our first result gives a partial answer to a question of Lagarias and Wang: we characterize repetitive substitution Delone multisets that can be represented by substitution tilings using a concept of "legal cluster". This allows us to move freely between both types of objects. Our main result is that for lattice substitution multiset systems (in arbitrary dimensions) being a regular model set is not only sufficient for having pure point spectrum--a known fact--but is also necessary. This completes a circle of equivalences relating pure point dynamical and diffraction spectra, modular coincidence, and model sets for lattice substitution systems begun by the first two authors of this paper.

math.MG↗
arXiv2009

Deforming Meyer sets

A linear deformation of a Meyer set $M$ in $\RR^d$ is the image of $M$ under a group homomorphism of the group $[M]$ generated by $M$ into $\RR^d$. We provide a necessary and sufficient condition for such a deformation to be a Meyer set. In the case that the deformation is a Meyer set and the deformation is injective, the deformation is pure point diffractive if the orginal set $M$ is pure point diffractive.

math.MG↗
arXiv2009

Substitution Delone Sets with Pure Point Spectrum are Inter Model Sets

The paper establishes an equivalence between pure point diffraction and certain types of model sets, called inter model sets, in the context of substitution point sets and substitution tilings. The key ingredients are a new type of coincidence condition in substitution point sets, which we call algebraic coincidence, and the use of a recent characterization of model sets through dynamical systems associated with the point sets or tilings.

math.MG↗
arXiv2006

Pure point diffractive substitution Delone sets have the Meyer property

We prove that a primitive substitution Delone set, which is pure point diffractive, is a Meyer set. This answers a question of J. C. Lagarias. We also show that for primitive substitution Delone sets, being a Meyer set is equivalent to having a relatively dense set of Bragg peaks. The proof is based on tiling dynamical systems and the connection between the diffraction and dynamical spectra.

math.DS↗