On absolutely continuous invariant measures and Krieger-type of Markov subshifts (Q2089918)

For a \(\{0, 1\}\)-valued \(|S|\times |S|\)-matrix \(A\) let the subshift of finite type associated to \(A\) be the shift-invariant space \(X_A = \{x \in X : A(x_n, x_{n+1}) = 1 \ \ \forall n\in\mathbb{Z}\}\). Let \(\mu = \mu(P_n:n\in\mathbb{Z})\) be a Markov measure on SFT \(X_A\). We say that \(\mu\) satisfies the Doeblin condition if \(\exists \delta> 0\), \(P_n(s, t) \geq\delta\) \(\Leftrightarrow\) \(A(s, t) = 1\) for all \(s, t\in S\) and \(n\in\mathbb{Z}\). In this study, the author classifies the shifts acting on a Markov subshift of finite type into its Krieger-type. With respect to the given measure, the shift is assumed to be nonsingular and conservative. The author introduces the general case of topologically-mixing Markov subshifts of finite type having the Doeblin condition. A deterministic criterium for equivalence of Markov measures is established. Using the technique developed in [\textit{Z. Kosloff}, J. Mod. Dyn. 13, 251--270 (2018; Zbl 1407.37034)], the author introduces a construction of a class of Markov subshifts of finite type whose shift is nonsingular and conservative.