second coefficient

In essence, this sum runs over all cycles of length 2 in the de Bruijn diagram. The solution to the requirements that by = xi and ax=yj is that insofar as this notation can be respected on account of the fact that y might not have even length.