Monotone factors of i.i.d. processes (Q2382258)

Let \(B(p)\) and \(B(q)\) be Bernoulli shifts on \(\{0,1,\dots,d-1\}^{\mathbb Z}\). Then if for their corresponding entropies \(h(p)\) and \(h(q)\) exists \(h(p)>h(q)\) then this is a classical problem of Sinai regarding the question if there is a factor map taking \(B(p)\) to \(B(q)\). If moreover \(p\) stochastically dominates \(q\) then one can ask whether there is such a factor map \(\varphi\) which is monotone, that is, \(\varphi(x)_i\leq x_i\), for each coordinate of almost every point \(x\). The aim of the present paper is to show that there is a monotone finitary code from \(B(p)\) to \(B(q)\) in the case that \(B(q)\) is a shift on two symbols.