Марковские сплетающие операторы, джойнинги и асимптотические свойства динамических систем

The paper proves that HI-systems are tensor simple (Theorem 2.2.2), and explains that tensor simplicity is equivalent to property S(3,4), i.e., the only self-adjoint bistochastic intertwiner J commuting with T⊗T and satisfying J(I⊗Θ)=J(Θ⊗I)=Θ⊗Θ is J=Θ⊗Θ. The candidate solution independently derives exactly this S(3,4) conclusion from HI by translating an intertwiner into a 4-fold joining and using hereditary independence to force factorization. The two arguments are logically consistent; the paper’s approach uses induced joinings, while the model uses a direct joining-based independence argument. Minor details (ergodic decomposition when invoking HI) can be made explicit, but do not affect correctness.