On subshift presentations

From MaRDI portal



Abstract: We consider partitioned graphs, by which we mean finite strongly connected directed graphs with a partitioned edge set mathcalE=mathcalE−cupmathcalE+. With additionally given a relation mathcalR between the edges in mathcalE− and the edges in mathcalE+, and denoting the vertex set of the graph by frakP, we speak of an an mathcalR-graph mathcalGmathcalR(frakP,mathcalE−,mathcalE+). From mathcalR-graphs mathcalGmathcalR(frakP,mathcalE−,mathcalE+) we construct semigroups (with zero) mathcalSmathcalR(frakP,mathcalE−,mathcalE+) that we call mathcalR-graph semigroups. We describe a method of presenting subshifts by means of suitably structured labelled directed graphs (mathcalV,Sigma,lambda) with vertex set mathcalV, edge set Sigma, and a label map that asigns to the edges in Sigma labels in an mathcalR-graph semigroup mathcalSmathcalR(frakP,mathcalE−,mathcalE−). We call the presented subshift an mathcalSmathcalR(frakP,mathcalE−,mathcalE−)-presentation. We introduce a Property (B) and a Property (c), tof subshifts, and we introduce a notion of strong instantaneity. Under an assumption on the structure of the mathcalR-graphs mathcalGmathcalR(frakP,mathcalE−,mathcalE−) we show for strongly instantaneous subshifts with Property (A) and associated semigroup mathcalSmathcalR(frakP,mathcalE−,mathcalE−), that Properties (B) and (c) are necessary and sufficient for the existence of an mathcalSmathcalR(frakP,mathcalE−,mathcalE−)-presentation, to which the subshift is topologically conjugate,



Cites work









This page was built for publication: On subshift presentations

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