Brjuno numbers and the symbolic dynamics of the complex exponential (Q2369461)

Set \(E(x)=\exp(x)\) and let \(A\) be a set of integer sequences such that \(\{s_j\}\in A\) if there is a real number \(x\) satisfying \(| s_j| \leq E^j(x)\), where \(E^j\) means the map \(E\) iterated \(j\) times. On the other hand, if \(s=\{s_j\}\) is a sequence of positive integers, one can define \[ \phi(s)=s_0+\frac{1}{s_1+\frac{1}{s_2+\cdots}}. \] Let \(B\) be the set of positive integer sequences \(s\) such that \(\phi(s)\) is a Brjuno number. Let \(\bar{B}\) be the smallest full set of sequences which contains \(B\), where the word ``full'' means that if \(s=\{s_j\}\in \bar{B}\) , then \(r=\{r_j\}\in \bar{B}\) when \(| r_j| \leq| s_j| \) for all \(j\). The author proved that \(\bar{B}=A\).