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.