Consistency of multidimensional combinatorial substitutions

DOI10.1007/978-3-642-30642-6_20zbMATH Open1280.68150DBLPjournals/tcs/JolivetK12arXiv1112.1841OpenAlexW2059456690WikidataQ62045910 ScholiaQ62045910MaRDI QIDQ714822FDOQ714822

Authors: Timo Jolivet, Jarkko Kari 

Publication date: 11 October 2012

Published in: Theoretical Computer Science, Computer Science – Theory and Applications (Search for Journal in Brave)

Abstract: Multidimensional combinatorial substitutions are rules that replace symbols by finite patterns of symbols in $mathbb{Z}^d$. We focus on the case where the patterns are not necessarily rectangular, which requires a specific description of the way they are glued together in the image by a substitution. Two problems can arise when defining a substitution in such a way: it can fail to be consistent, and the patterns in an image by the substitution might overlap. We prove that it is undecidable whether a two-dimensional substitution is consistent or overlapping, and we provide practical algorithms to decide these properties in some particular cases.

Full work available at URL: https://arxiv.org/abs/1112.1841

Recommendations

• Consistency of multidimensional combinatorial substitutions
• Multidimensional constant-length substitution sequences
• Homomorphisms between multidimensional constant-shape substitutions
• Substitution, complementarity, and stability
• Substitution, Complementarity, and Stability
• MULTIDIMENSIONAL STURMIAN SEQUENCES AND GENERALIZED SUBSTITUTIONS
• Combinatorial properties of differentially 2-uniform substitutions
• On the triplex substitution -- combinatorial properties
• Combinatorics related to NF consistency
• On the consistency of the combinatorial codifferential

zbMATH Keywords

consistencynon-overlappingmultidimensional combinatorial substitutionsymbol pattern

Mathematics Subject Classification ID

Combinatorics in computer science (68R05) Combinatorics on words (68R15)

Cites Work

• Pisot substitutions and Rauzy fractals
• Substitutions in dynamics, arithmetics and combinatorics
• Functional stepped surfaces, flips, and generalized substitutions
• A primer of substitution tilings of the Euclidean plane
• Two-dimensional iterated morphisms and discrete planes
• Local rule substitutions and stepped surfaces
• Combinatorial Image Analysis
• Detecting combinatorial hierarchy in tilings using derived Voronoi tessellations
• Title not available (Why is that?)

Cited In (4)

• Title not available (Why is that?)
• Decidability Problems for Self-induced Systems Generated by a Substitution
• Consistency of multidimensional combinatorial substitutions
• Substitution, Complementarity, and Stability

This page was built for publication: Consistency of multidimensional combinatorial substitutions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q714822)