Entropy rate of product of independent processes

TL;DR

This paper investigates the entropy behavior of the product of independent processes, providing formulas and conditions under which entropy drops occur, with implications for $ ext{B}$-free systems and open problems in invariant measures.

Contribution

It introduces formulas for the entropy of the product process and characterizes when entropy drops occur, advancing understanding of $ ext{B}$-free systems and their invariant measures.

Findings

Entropy formulas for the product of independent processes.

Conditions for entropy drop when multiplying by a process with zero entropy.

Characterization of proximality in $ ext{B}$-free systems based on entropy drop.

Abstract

We study the multiplicative version of the classical Furstenberg's filtering problem, where instead of the sum $\mathbf{X}+\mathbf{Y}$ one considers the product $\mathbf{X}\cdot \mathbf{Y}$ ($\mathbf{X}$ and $\mathbf{Y}$ are bilateral, real, finitely-valued, stationary independent processes, $\mathbf{Y}$ is taking values in $\{0,1\}$). We provide formulas for $\mathbf{H}(\mathbf{X}\cdot\mathbf{Y}|\mathbf{Y})$. As a consequence, we show that if $\mathbf{H}(\mathbf{X})>\mathbf{H}(\mathbf{Y})=0$ and $\mathbf{X}\amalg \mathbf{Y}$, then $\mathbf{H}(\mathbf{X}\cdot \mathbf{Y})<\mathbf{H}(\mathbf{X})$ (and thus $\mathbf{X}$ cannot be filtered out from $\mathbf{X}\cdot\mathbf{Y}$) whenever $\mathbf{X}$ is not bilaterally deterministic, $\mathbf{Y}$ is ergodic and $\mathbf{Y}$ first return to $1$ can take arbitrarily long with positive probability. On the other hand, if almost surely $\mathbf{Y}$ visits $1$ along an infinite arithmetic progression of a fixed difference (with possibly some more visits in between) then we can find $\mathbf{X}$ that is not bilaterally deterministic and such that $\mathbf{H}(\mathbf{X}\cdot\mathbf{Y})=\mathbf{H}(\mathbf{X})$. As a consequence, a $\mathscr{B}$-free system $(X_\eta,S)$ is proximal if and only if there is always an entropy drop $h(\kappa\ast\nu_\eta)<h(\kappa)$ for any $\kappa$ corresponding to a non-bilaterally deterministic process of positive entropy. These results partly settle some open problems on invariant measures for $\mathscr{B}$-free systems.