e05b1e55593a66f3.tex
1: \begin{definition}[Definition of $\Phi$]\label{def:4.8} 
2: Let $(X, \phi)$ be an acyclic Sturmian coloring.
3: \begin{enumerate}
4: \item
5: Define $\mathbf{i}_k$ by
6: $$\mathbf{i}_{k} = \begin{cases} 
7: (i,j) , &\text{for \; case\; (1)},\\
8: (i,i',j) , &\text{for \;  case\; (2)(a)},\\
9: (i,j) , &\text{for \;  case\; (2)(b)},\\
10: (i)\; \text{or} \;(i,j) , &\text{for \;  case\; (3)},
11: \end{cases} $$
12: where the cases are as in Theorem~\ref{thm:4}.
13: 
14: \item For a fixed vertex $t \in T$, define $\beta_k = \beta_k(t)$ as follows:
15: \begin{enumerate}
16: \item[(i)] if $[\B_{n_{k}}(t)] \in V\G^{\overline{\alpha_{k}}}_{n_{k}}$ then set $\beta_{k-1} =\overline {\alpha_{k}}$.
17: \item[(ii)] if $[\B_{n_{k}}(t)] \notin %V\G^{{\alpha_{k}}}_{n_{k}} -
18: V\G^{\overline{\alpha_{k}}}_{n_{k}}$ then set $\beta_{k-1} = \alpha_{k}$.
19: \end{enumerate}
20: \end{enumerate}
21: 
22: \end{definition}
23: