There is, however, another connection of the problem to ergodic
theory of that may conceivably yield more information on the
problem.
For each define the 0-1 variables by
Now define the function by ,
where
The value thus encodes the behavior of all the iterates of under T.