{"id":"arxiv/2604.11212","url":"https://arxiv.org/abs/2604.11212","tags":["math.PR","math.DS"],"score":0,"title":"Sofic measures","domain":"math.PR","source":"arxiv","authors":["Marie-Pierre Béal","Vincent Jugé","Eugene Gilburg","Jean Mairesse","Dominique Perrin"],"reviews":0,"subject":"math.PR","summary":"Sofic measures, also known as hidden Markov measures, have been extensively studied. In this paper, we survey some equivalent definitions of this notion and improve a bound for deciding whether a sofic measure is~$k$-step Markov. We prove that if an invariant sofic measure with a linear representation of dimension~$n$ is a~$k$-step Markov chain, then~$k$ can be chosen at most equal to~$\\binom{n}{2}$ and that this bound is tight for sofic measures over an alphabet of size $3$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-13","reactions":{}}