Expansive actions with specification of sofic groups, strong topological Markov property, and surjunctivity

A dynamical system is a pair $(X,G)$, where $X$ is a compact metrizable space and $G$ is a countable group acting by homeomorphisms of $X$. An endomorphism of $(X,G)$ is a continuous selfmap of $X$ which commutes with the action of $G$. One says that a dynamical system $(X,G)$ is surjunctive provided that every injective endomorphism of $(X,G)$ is surjective (and therefore is a homeomorphism). We show that when $G$ is sofic, every expansive dynamical system $(X,G)$ with nonnegative sofic topological entropy and satisfying the weak specification and the strong topological Markov properties, is surjunctive.