Symbolic dynamics and the category of graphs

MaRDI QIDQ2884471zbMATH OpenFDO

Authors Terrence Bisson, Aristide Tsemo

Publication date 29 May 2012

Published in Theory and Applications of Categories (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1104.1805, http://www.emis.de/journals/TAC/volumes/25/22/25-22abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

category of graphssymbolic dynamicswalkscoveringsQuillen model structure

Mathematics Subject Classification ID

Directed graphs (digraphs), tournaments (05C20) Graphs and abstract algebra (groups, rings, fields, etc.) (05C25) Symbolic dynamics (37B10) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: Symbolic dynamics is partly the study of walks in a directed graph. By a walk, here we mean a morphism to the graph from the Cayley graph of the monoid of non-negative integers. Sets of these walks are also important in other areas, such as stochastic processes, automata, combinatorial group theory, $C^{\ast }$-algebras, etc. We put a Quillen model structure on the category of directed graphs, for which the weak equivalences are those graph morphisms which induce bijections on the set of walks. We determine the resulting homotopy category. We also introduce a "finite-level" homotopy category which respects the natural topology on the set of walks. To each graph we associate a basal graph, well defined up to isomorphism. We show that the basal graph is a homotopy invariant for our model structure, and that it is a finer invariant than the zeta series of a finite graph. We also show that, for finite walkable graphs, if $B$ is basal and separated then the walk spaces for $X$ and $B$ are topologically conjugate if and only if $X$ and $B$ are homotopically equivalent for our model structure.

Recommendations

• Category theory of symbolic dynamics
• SYMBOLIC DYNAMICS GENERATED BY A COMBINATION OF GRAPHS
• scientific article; zbMATH DE number 2042127
• Group-theoretical graph categories
• Application of infinite labeled graphs to symbolic dynamical systems
• scientific article; zbMATH DE number 26780
• Visibility graphs and symbolic dynamics
• Dynamical systems and categories
• scientific article; zbMATH DE number 1264889
• Symbolic dynamics of tree maps

Cited in

(4)

• SYMBOLIC DYNAMICS GENERATED BY A COMBINATION OF GRAPHS
• Homotopy equivalence of isospectral graphs
• Closed models, strongly connected components and Euler graphs
• A homotopical algebra of graphs related to zeta series

This page was built for publication: Symbolic dynamics and the category of graphs

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