Abstract:We develop a theory of soficity for actions on graphs and obtain new applications to the study of sofic groups. We establish various examples, stability and permanence properties of sofic actions on graphs, in particular soficity is preserved by taking several natural graph join operations. We prove that an action of a group on its Cayley graph is sofic if and only if the group is sofic. We show that arbitrary actions of amenable groups on graphs are sofic. Using a graph theoretic result of E. Hrushovski, we also show that arbitrary actions of free groups on graphs are sofic. Notably we show that arbitrary actions of sofic groups on graphs, with amenable stabilizers, are sofic, settling completely an open problem from \cite{gao2024soficity}. We also show that soficity is preserved by taking limits under a natural Gromov-Hausdorff topology, generalizing prior work of the first author \cite{gao2024actionslerfgroupssets}. Our work sheds light on a family of groups called graph wreath products, simultaneously generalizing graph products and generalized wreath products. Extending various prior results in this direction including soficity of generalized wreath products \cite{gao2024soficity}, B. Hayes and A. Sale \cite{HayesSale}, and soficity of graph products \cite{CHR, charlesworth2021matrix}, we show that graph wreath products are sofic if the action and acting groups are sofic. These results provide several new examples of sofic groups in a systematic manner.

SFT covers for actions of the first Grigorchuk group

G-covering Subgroup Systems for Some Classes of Σ-Soluble Groups

Shifts of Finite Type on Locally Finite Groups

On Derivatives and Subpattern Orders of Countable Subshifts

Hyperfiniteness for group actions on trees

Substitutional subshifts and growth of groups

Sofic actions on graphs

Soficity of free extensions of effective subshifts

Complexities of Theories of Profinite Subgroups of $S_ω$ via Tree Presentations

On Sushchansky p-groups

Effective dynamical systems beyond dimension zero and factors of SFTs

Realizability of Subgroups by Subshifts of Finite Type

On a finite state representation of $GL(n,\mathbb{Z})$

Medvedev degrees of subshifts on groups

Eventual conjugacy of free inert $G$-SFTs

Soficity for group actions on sets and applications

Finite Groups with Systems of Σ-embedded Subgroups

On the growth of actions of free products