Here is a question which probably has a negative answer, but I couldn't find any literature directly on it.

Let $(A_n)$ be a sequence of rectangular 0-1 matrices (that is, the entries are restricted to zero or one), such that for all $n$, the matrix product $A_n A_{n-1}$ makes sense. Suppose in addition that the following hold:

(i) there is a bound on the dimensions (sizes) of all the $A_n$;

(ii) for all $k$, there exists $N(k)$ such that the product $$ A_{N(k)+k}\cdot A_{N(k) + k-1} \cdot \dots \cdot A_{k+1} $$ is strictly positive (meaning, every entry is nonzero);

(iii) every $A_n$ has at least one nonzero entry in each of its columns and in each of its rows.

Then is it true that the sequence $(A_n)$ is weakly ergodic?

That is, for every $k$, given any two states at time $k$, call them $i$ and $j$ (corresponding to the transition by $A_{k+1}$), and given $\epsilon > 0$, there exists $K > k$ such that for every state $m$ at time $K$, the number of paths from $i $ to $m$ divided by the number of paths from $j$ to $m$ is within $\epsilon$ of a real number depending only on $i$ and $j$.

[This is the translation to weak ergodicity in the non-stochastic case. It is really a statistical criterion about numbers of paths joining states $\dots$. It is also necessary and sufficient for a dimension group with Bratteli diagram implemented by the sequence of matrices to be simple and have unique trace.]

It $is$ true if $N(k)$ is bounded above (use Birkhoff metric and the corresponding contraction theorem) or if the matrices are all square of size two (since then, the matrices satisfying (iii) have determinant plus or minus one or are all ones). The theorem is also true if infinitely many $A_n$ have rank one (trivial), or a bit less trivially, if there is a telescoping so that infinitely many of the telescoped products have rank one. Also sufficient is a condition like $N(k) = o(\ln k)$, but this is far from what I want.

There is almost certainly a reduction to the case that the $A_n$ are all square, so (i) is probably a red herring, that is, we just assume they are all square of the same size. The 0-1 condition can be replaced by having uniform upper and lower bounds on the nonzero entries of the nonnegative matrices $A_n$.

There is a considerable amount of literature on similar-sounding problems (e.g., variations on Wolkowitz' theorem, where it is assumed that the $A_n$ and their products are at least primitive or similar, or the $A_n$ are column- or row-stochastic or at least have a strictly positive column, ...), but this one seems far harder, and thus more likely to fail. If there is a counter-example, I would like to see minimal strengthening hypotheses so that there is a positive (!) answer.