Symbolic dynamics and the category of graphs

zbMATH Open1253.05075arXiv1104.1805MaRDI QIDQ2884471FDOQ2884471

Authors: Terrence Bisson, Aristide Tsemo 

Publication date: 29 May 2012

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

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^{*}$-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.

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

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

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

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)

Cited In (4)

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

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)