A Krieger Embedding Theorem for Near Markov Sofic Shifts
Krieger's classical embedding theorem gives necessary and sufficient conditions for embedding a subshift into a mixing shift of finite type (SFT) as a proper subshift. The same result does not hold if one replaces mixing SFT by a mixing sofic shift. In this paper, we generalize Krieger's conditions to give necessary and sufficient conditions for embedding a subshift into a mixing (in fact irreducible) near Markov sofic shift (a special conjugacy-invariant class of sofic shifts). We also show that if the subshift to be embedded is irreducible sofic, then the conditions are finitely decidable.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.25475
curl -X POST /api/v1/records/arxiv/2606.25475/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.25475/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'