{"id":"arxiv/2606.25475","url":"https://arxiv.org/abs/2606.25475","tags":["math.DS"],"score":0,"title":"A Krieger Embedding Theorem for Near Markov Sofic Shifts","domain":"math.DS","source":"arxiv","authors":["Brian Marcus","Tom Meyerovitch","Chengyu Wu"],"reviews":0,"subject":"math.DS","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-24","reactions":{}}