An alternating colouring function on strings

l \p w, r \p w are prefix and suffix with length \# w - 1 of w. m \p w is the proper infix of length \# w - 2. R \p w is the reverse of w (meaning that w is a palindrome if and only if R \p w = w) while C \p w is its complement. T^n, CT^n are the strings of length n starting with \bm 0, \bm 1 respectively and alternating between \bm 0 and \bm 1.

The function \xi tells on which side of the vertical axis a vertex appears in a de Bruijn graph when drawn as is done in the examples given in this thesis. In figures ? to ? the background is coloured according to the value of \xi evaluated on the vertices. The vertices w for which \xi \p w = 0 are found in the centre. The letter \xi was chosen with the word x-axis in mind.

When \xi \p{l \p w}, \xi \p{r \p w} \ne 0, it is equivalent to say \xi \p{l \p w} = -\xi \p{r \p w} or \xi \p{l \p w} \ne \xi \p{r \p w}. For aesthetic reasons, the latter formulation will be preferred, also in future occasions.

The argument used in this proof, considering l^3, l^2 \circ r, l \circ r^2 and r^3 of a certain string and using the fact that the functions \xi and \phi only attain three different values will be important also for the proof of lemma \zarabicsection.\zarabicthrm.

The number ? is omitted in numbering the results to keep section ? and ? having the same structure. There is nothing equivalent to say about the function \xi as is said about the function \phi in corollary \zarabicsection.\zarabicthrm.

One could try to redefine \xi in an attempt to shrink the subset of \mathcal A_{2}^* on which \xi is 0. However theorem \zarabicsection.\zarabicthrm shows that that is not easily possible: Already now \xi is zero only for vertices in the de Bruijn graph that have preceding and succeeding vertices with different \xi-value.

Already at this point, \# \crl{w \in \mathcal A_{2}^n; \xi \p w = 0} could be investigated. However, that result shall be postponed until section ?, as the relevance of that set and its size will be more obvious by then.

The statement also holds when switching the rolls of 1 and -1; the proof is analogous.

Using the notion of \xi as defining a left, a centre and a right part of the de Bruijn graph, theorem \zarabicsection.\zarabicthrm tells that there are no non-empty closed walks in the right part. Figure ? does not contain non-trivial closed walks in the blue (or red) highlighted area.

The proof idea is simpler than it seems: A string representing a walk in a certain de Bruijn graph also represents a walk in the de Bruijn graph one dimension lower. If a walk passes a vertex v for which \xi \p v = -1 of a graph by the construction of the \xi function it will also do so in a higher dimensional de Bruijn graph – with one notable exception: The vertex CT^n for even n. Take for example the walk \bm{0101} in the 2-dimensional de Bruijn graph. Glancing at figure ? shows that this walk passes both the area with blue and the area with red background. Now consider the same string a walk through the 3-dimensional de Bruijn graph. A look at figure ? tells that the graph does not pass the area with red background. This one exception is what makes the construction of \tilde w necessary.

Section ? has the same structure as the previous one. Each result but corollary \zarabicsection.\zarabicthrm can be compared with the result of the same number in section ?. Often the proofs are similar.

In figures ? to ? the vertices and edges are coloured according to the value \phi assigns to them.

By giving a necessary and sufficient condition for the exceptions, corollary  \zarabicsection.\zarabicthrm shows that usually \phi \p{l \p w} \ne \phi \p{r \p w}. Later the alternating colouring function \psi shall be introduced as an improvement of \phi for which the inequality always hold.

The proof idea is to determine those spots in the de Bruijn graph where several edges w for which \xi \p w = 0 follow upon each other. By looking at the graphs one gets the impression that happens only around \bm 0^n, \bm 1^n and around the centre of odd-dimensional de Bruijn graphs, which lemma \zarabicsection.\zarabicthrm confirms. In all other cases the statement is already established by corollary \zarabicsection.\zarabicthrm and lemma \zarabicsection.\zarabicthrm.

In figures ? to ? the vertices and edges are coloured according to the value \psi assigns to them. Colourable are those vertices and edges that are coloured blue or red.

The maximal n-colourable shift is the edge shift of the \p{n-1}-dimensional de Bruijn graph of which all the non-colourable edges (the green ones in figures ? to ? that is) have been removed. Equivalently it is the vertex shift of the n-dimensional de Bruijn graph of which all non-colourable vertices have been removed.

Lemma \zarabicsection.\zarabicthrm will often be used without explicit reference. Saying that w is colourable should always be understood as \xi \p w, \psi \p w \ne 0. To show colourability, of course the easier condition \xi \p w \ne 0 will be used.

Theorem \zarabicsection.\zarabicthrm states that in an infinite string, a colourable substring always has a different \psi" colour than the preceding colourable substring of the same length – no matter how many non-colourable substrings there are in between.

Compare corollary  \zarabicsection.\zarabicthrm with corollary  \zarabicsection.\zarabicthrm. While there were some special cases in which \phi \p{l \p w} \ne \phi \p{r \p w} would not hold, \psi \p{l \p w} \ne \psi \p{r \p w} always does.

Consider a de Bruijn graph of which all non-colourable vertices have been removed. Corollary \zarabicsection.\zarabicthrm states that the colour of the vertices a walk passes alternates between blue and red. For the resulting vertex shift that result will be expressed in corollary \zarabicsection.\zarabicthrm.

In the even powers of such a graph there are only walks from vertices of one colour to vertices of the same colour. Figure ? shows the 2 power of the 4-dimensional de Bruijn subgraph without non-colourable edges.

Corollary \zarabicsection.\zarabicthrm motivates the term alternating colouring.

Corollary \zarabicsection.\zarabicthrm states that any closed walk among the colourable edges of a de Bruijn graph has even length.

The definition of the Jacobsthal numbers, the values in table ? and fact \zarabicsection.\zarabicthrm have been taken from [wiki:jacobsthal].

Since there are 2^n strings of length n, corollary  \zarabicsection.\zarabicthrm tells that in the limit 1 out of 6 strings is not colourable.

Corollary  \zarabicsection.\zarabicthrm means that removing the non-colourable edges of a de Bruijn graph does not leave isolated vertices.

Theorem \zarabicsection.\zarabicthrm makes it possible to define a function that assigns to the vertices of a de Bruijn graph a colour that corresponds to the colour of the incoming edges while differing from the colour of the outgoing ones. Lemma \zarabicsection.\zarabicthrm and corollary \zarabicsection.\zarabicthrm show that for odd-dimensional de Bruijn graphs that function is just \phi. Figures ? and ? give examples for even-dimensional de Bruijn graphs.

Theorem \zarabicsection.\zarabicthrm is a little bit more surprising than it looks at first glance: Due to the definition of a colourability sink focusing on w \bm 0 and w \bm 1, S_n rather says something about \mathcal A_{2}^{n+1} than about \mathcal A_{2}^n. K_n in contrast should be seen as an information about \mathcal A_{2}^n.