Skip to main content
3 of 7
added 17 characters in body
Pietro Majer
  • 60.6k
  • 4
  • 122
  • 269

More experimental facts. I think it should not be too hard prove them by induction, taking into account that we know exactly when the coefficients of $a_n$ are non-zero (see my comment in მამუკა ჯიბლაძე's answer).

Given a sequence $\epsilon_{2^n}\in\{-1,+1\}$ for $n\ge1$, let's define inductively the sequence $(\epsilon_j)_{j\ge1}$ for all positive integers according to the recurrence relations:

$$\epsilon_{2^n+1}=-\epsilon_{2^n}\qquad\text{for }n\ge1 $$

$$\epsilon_{2^n+j}=\epsilon_{2^n-j+1}\qquad\text{for }2\le j< 2^n\ ,$$

and also define

$$ \delta_j:=\begin{cases} (-1)^{ j\over 2},& \text {for even }\ j \\ \\ (-1)^{ j+1\over 2}\epsilon_{j+2}, &\text {for odd } j \ .\\ \end{cases} $$

Then (experimentally) the polynomials $a_k= a_k(x,\epsilon_2,\epsilon_4,\dots,\epsilon_{2^n})$ are determined inductively by $a_{-1}:=0, a_0:=1,a_1:=x$ and by the recurrence relation, for any $0\le n$ and any $0\le j< 2^n\ $

$$a_{2^n+j}=x^{2^n}b_j+\epsilon_{2^n} \delta_j a_{2^n-1-j},$$

where
$$b_j:=a_j(\epsilon_2,\epsilon_4,\dots,\epsilon_{2^{n-2}},-\epsilon_{2^{n-1}}).$$

For, instance the above gives $$a_{51}={x}^{51}-\epsilon_{{4}}\epsilon_{{16}}{x}^{43}+ \epsilon_{{8}} \epsilon_{{16}}{x}^{35}+ \epsilon_{{4}}\epsilon_{{32}}{x}^{11}-\epsilon_ {{8}}\epsilon_{{32}}x^3$$

Pietro Majer
  • 60.6k
  • 4
  • 122
  • 269