32 research outputs found
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, developed by the authors, goes back to Peter Gacs.Comment: Journ\'ees Automates Cellulaires, Turku : Finland (2010
Enumeration Reducibility in Closure Spaces with Applications to Logic and Algebra
In many instances in first order logic or computable algebra, classical
theorems show that many problems are undecidable for general structures, but
become decidable if some rigidity is imposed on the structure. For example, the
set of theorems in many finitely axiomatisable theories is nonrecursive, but
the set of theorems for any finitely axiomatisable complete theory is
recursive. Finitely presented groups might have an nonrecursive word problem,
but finitely presented simple groups have a recursive word problem. In this
article we introduce a topological framework based on closure spaces to show
that many of these proofs can be obtained in a similar setting. We will show in
particular that these statements can be generalized to cover arbitrary
structures, with no finite or recursive presentation/axiomatization. This
generalizes in particular work by Kuznetsov and others. Examples from first
order logic and symbolic dynamics will be discussed at length
Proceedings of JAC 2010. Journées Automates Cellulaires
The second Symposium on Cellular Automata “Journ´ees Automates Cellulaires” (JAC 2010) took place in Turku, Finland, on December 15-17, 2010. The first two conference days were held in the Educarium building of the University of Turku, while the talks of the third day were given onboard passenger ferry boats in the beautiful Turku archipelago, along the route Turku–Mariehamn–Turku. The conference was organized by FUNDIM, the Fundamentals of Computing and Discrete Mathematics research center at the mathematics department of the University of Turku.
The program of the conference included 17 submitted papers that were selected by the international program committee, based on three peer reviews of each paper. These papers form the core of these proceedings. I want to thank the members of the program committee and the external referees for the excellent work that have done in choosing the papers to be presented in the conference. In addition to the submitted papers, the program of JAC 2010 included four distinguished invited speakers: Michel Coornaert (Universit´e de Strasbourg, France), Bruno Durand (Universit´e de Provence, Marseille, France), Dora Giammarresi (Universit` a di Roma Tor Vergata, Italy) and Martin Kutrib (Universit¨at Gie_en, Germany). I sincerely thank the invited speakers for accepting our invitation to come and give a plenary talk in the conference. The invited talk by Bruno Durand was eventually given by his co-author Alexander Shen, and I thank him for accepting to make the presentation with a short notice. Abstracts or extended abstracts of the invited presentations appear in the first part of this volume.
The program also included several informal presentations describing very recent developments and ongoing research projects. I wish to thank all the speakers for their contribution to the success of the symposium. I also would like to thank the sponsors and our collaborators: the Finnish Academy of Science and Letters, the French National Research Agency project EMC (ANR-09-BLAN-0164), Turku Centre for Computer Science, the University of Turku, and Centro Hotel. Finally, I sincerely thank the members of the local organizing committee for making the conference possible.
These proceedings are published both in an electronic format and in print. The electronic proceedings are available on the electronic repository HAL, managed by several French research agencies. The printed version is published in the general publications series of TUCS, Turku Centre for Computer Science. We thank both HAL and TUCS for accepting to publish the proceedings.Siirretty Doriast
Computing (or not) Quasi-Periodicity Functions of Tilings
We know that tilesets that can tile the plane always admit a quasi-periodic
tiling [4, 8], yet they hold many uncomputable properties [3, 11, 21, 25]. The
quasi-periodicity function is one way to measure the regularity of a
quasi-periodic tiling. We prove that the tilings by a tileset that admits only
quasi-periodic tilings have a recursively (and uniformly) bounded
quasi-periodicity function. This corrects an error from [6, theorem 9] which
stated the contrary. Instead we construct a tileset for which any
quasi-periodic tiling has a quasi-periodicity function that cannot be
recursively bounded. We provide such a construction for 1-dimensional effective
subshifts and obtain as a corollary the result for tilings of the plane via
recent links between these objects [1, 10].Comment: Journ\'ees Automates Cellulaires 2010, Turku : Finland (2010
Around the Domino Problem – Combinatorial Structures and Algebraic Tools
Given a finite set of square tiles, the domino problem is the question of whether is it possible to tile the plane using these tiles. This problem is known to be undecidable in the planar case, and is strongly linked to the question of the periodicity of the tiling. In this thesis we look at this problem in two different ways: first, we look at the particular case of low complexity tilings and second we generalize it to more general structures than the plane, groups.
A tiling of the plane is said of low complexity if there are at most mn rectangles of size m × n appearing in it. Nivat conjectured in 1997 that any such tiling must be periodic, with the consequence that the domino problem would be decidable for low complexity tilings. Using algebraic tools introduced by Kari and Szabados, we prove a generalized version of Nivat’s conjecture for a particular class of tilings (a subclass of what is called of algebraic subshifts). We also manage to prove that Nivat’s conjecture holds for uniformly recurrent tilings, with the consequence that the domino problem is indeed decidable for low-complexity tilings.
The domino problem can be formulated in the more general context of Cayley graphs of groups. In this thesis, we develop new techniques allowing to relate the Cayley graph of some groups with graphs of substitutions on words. A first technique allows us to show that there exists both strongly periodic and weakly-but-not-strongly aperiodic tilings of the Baumslag-Solitar groups BS(1, n). A second technique is used to show that the domino problem is undecidable for surface groups. Which provides yet another class of groups verifying the conjecture saying that the domino problem of a group is decidable if and only if the group is virtually free
Computability in Symbolic Dynamics
International audienceWe give an overview of the interplay between computability and symbolic dynamics
Hierarchy and Expansiveness in Two-Dimensional Subshifts of Finite Type
Using a deterministic version of the self-similar (or hierarchical, or
fixed-point ) method for constructing 2-dimensional subshifts of finite type
(SFTs), we construct aperiodic 2D SFTs with a unique direction of
non-expansiveness and prove that the emptiness problem of SFTs is undecidable
even in this restricted case. As an additional application of our method, we
characterize the sets of directions that can be the set of non-expansive
directions of 2D SFTs.Comment: 72 pages, main body of the author's PhD Thesis, most of the results
obtained in collaboration with Pierre Guillo
27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2021)
The fixed point construction is a method for designing tile sets and cellular automata with highly nontrivial dynamical and computational properties. It produces an infinite hierarchy of systems where each layer simulates the next one. The simulations are implemented entirely by computations of Turing machines embedded in the tilings or spacetime diagrams. We present an overview of the construction and list its applications in the literature.</p