Kai Cai Autocorrelation-Run Formula for Binary Sequences http://arxiv.org/abs/0909.4592 2009 CoRR abs/0909.4592 db/journals/corr/corr0909.html#abs-0909-4592 informal publication