通过滑动块码编码子移位

我们证明了 Krieger 嵌入定理的一个推广，其精神源于零误差信息论。具体而言，给定混合有限型移位 $X$、混合柔型移位 $Y$ 以及满射滑动块码 $\pi: X \to Y$，我们给出拓扑熵严格低于 $Y$ 的子移位 $Z$ 容许嵌入 $\psi: Z \to X$ 使得 $\pi \circ \psi$ 为单射的充要条件。