# Subsequence of a sequence of digits of an algebraic irrational number

Consider an algebraic irrational number in $(0,1)$ with binary expansion $x = \sum_{n\ge 1} \frac{a_n}{2^n}$. Is it possible that the number $\sum_{n\ge 1}\frac{a_{2n}}{2^n}$ is again algebraic irrational ?

My opinion is no. Heuristics: it should be difficult to determine binary expansions of other algebraic irrationals, even if we have a supply of other expansions, except for trivial operations. My previous question (see link) is of a similar flavor.

• Do you really mean what you've just written down, or $\sum_{n\geq 1}\frac{a_{2n}}{2^{2n}}$ ? – Loïc Teyssier Oct 16 '17 at 18:34
• Most likely the answer is not known... – Wojowu Oct 16 '17 at 18:35
• @Loïc Teyssier: Correct, what is written down. – orangeskid Oct 16 '17 at 18:43
• Ok, only to check (though I guess it wouldn't make the question any easier). – Loïc Teyssier Oct 16 '17 at 18:45
• It might be fun to do some experiments here. Take some such algebraic irrational, maybe $\sqrt2-1$, apply your operation to it, and then feed the result into the Inverse Symbolic Calculator or into an integer-relation finder like PSLQ, and see whether anything interesting comes out. – Gerry Myerson Oct 16 '17 at 22:46