Title: Sofic approximations for topological full groups

Abstract: In this paper, we study sofic approximation graph sequences for sofic topological full groups. In particular, we show that for a free distal action $\alpha$ of a countable discrete group $G$ on the Cantor set, the topological full group $[[\alpha]]$ is amenable if and only if $G$ is amenable. This is established by verifying the hyperfiniteness for certain sofic approximation graph sequences of finitely generated subgroups of $[[\alpha]]$. Then we show the topological full group $[[\alpha]]$ of a minimal residually finite action $\alpha$ with a free point on the Cantor set, is LEF. This generalizes a result obtained by Grigorchuk and Medynets in the case of minimal $\mathbb{Z}$-actions.