Effective Closed Subshifts in 1D Can Be Implemented in 2D
نویسندگان
چکیده
In this paper we use fixed point tilings to answer a question posed by Michael Hochman and show that every one-dimensional effectively closed subshift can be implemented by a local rule in two dimensions. The proof uses the fixed-point construction of an aperiodic tile set and its extensions.
منابع مشابه
1D Effectively Closed Subshifts and 2D Tilings
Michael Hochman showed that every 1D effectively closed subshift can be simulated by a 3D subshift of finite type and asked whether the same can be done in 2D. It turned out that the answer is positive and necessary tools were already developed in tilings theory. We discuss two alternative approaches: first, developed by N. Aubrun and M. Sablik, goes back to Leonid Levin; the second one, develo...
متن کاملClosed-form Molecular Mechanics Formulations for the 3D Local Buckling and 2D Effective Young’s Modulus of the Nanosheets
A closed form three-dimensional solution is presented for determination of the local buckling (cell buckling) load of the nanosheets. Moreover, an expression is proposed for the effective 2D Young’s modulus of the unit cell of the nanosheet. In this regard, a three-dimensional efficient space-frame-like geometrical model with angular and extensional compliances is considered to investigate stab...
متن کاملTuring Degree Spectra of Minimal Subshifts
Subshifts are shift invariant closed subsets of Σ d , minimal subshifts are subshifts in which all points contain the same patterns. It has been proved by Jeandel and Vanier that the Turing degree spectra of nonperiodic minimal subshifts always contain the cone of Turing degrees above any of its degree. It was however not known whether each minimal subshift’s spectrum was formed of exactly one ...
متن کاملPseudovarieties Defining Classes of Sofic Subshifts Closed for Taking Shift Equivalent Subshifts
For a pseudovariety V of ordered semigroups, let S (V) be the class of sofic subshifts whose syntactic semigroup lies in V. It is proved that if V contains Sl− then S (V∗D) is closed for taking shift equivalent subshifts, and conversely, if S (V) is closed for taking conjugate subshifts then V contains LSl− and S (V) = S (V∗D). Almost finite type subshifts are characterized as the irreducible e...
متن کاملHierarchy and Expansiveness in Two-Dimensional Subshifts of Finite Type
Subshifts are sets of configurations over an infinite grid defined by a set of forbidden patterns. In this thesis, we study two-dimensional subshifts of finite type (2D SFTs), where the underlying grid is Z and the set of forbidden patterns is finite. We are mainly interested in the interplay between the computational power of 2D SFTs and their geometry, examined through the concept of expansiv...
متن کامل