Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Is this number algebraic or transcendental?

  1. May 13, 2010 #1
    When we first encounter irrational numbers, we usually define them as decimal numbers with infinite number of decimals that do not repeat in a periodic fashion. The canonical example one sees is the number:

    \beta = 0.1010010001\ldots

    i.e. there is one more zero between each consecutive pair of ones.

    Another way of representing this number is by a series. Let us find the positions of the ones in this representation. Let us denote by [itex]n_{k}[/itex] the decimal position of the k-th one. Obviously, [itex]n_{1} = 1[/itex].

    The number of zeros between the second and first one is 1.

    The number of zeros between the third and second one is 2.


    The number of zeros between the (k + 1)-st and the k-th one is k.

    However, the number of decimal places between a figure in the n-th and a figure in the m-th place is equal to [itex]n - m - 1[/itex] (not counting the end decimals themselves). So, we can write the recursion.

    n_{k+1} - n_{k} - 1 = k, \ k \ge 1

    n_{k+1} - n_{k} = k + 1, \ k \ge 1

    n_{k} - n_{k - 1} = k, \ k \ge 2

    which, together with the initial condition has the solution:

    n_{k} = \sum_{j=1}^{k} {j} = \frac{k(k + 1)}{2}.

    As a sanity check, we confirm that this formula gives 1, 3, 6, 10 as the decimal places where the first, second, third and fourth one occur, respectively. The value of a one in the n-th decimal place is:


    Combining these results, we see that we can write [itex]\beta[/itex] as:

    \beta = \sum_{k = 1}^{\infty} {\frac{1}{10^{\frac{k (k+1)}{2}}}}

    The question is: Is this number algebraic or transcendental?
  2. jcsd
  3. May 13, 2010 #2


    User Avatar
    Science Advisor

    Without further analysis, it looks transcendental to me. I can't imagine a polynomial with integer coefficients having that number as a root.
  4. May 13, 2010 #3


    User Avatar
    Science Advisor
    Homework Helper

    I agree with mathman:
    [tex]\beta = \sum_{k = 1}^{\infty} 10^{-k(k+1)/2}[/tex]
    is almost surely transcendental. Actually, the form is unusual enough that ot may even be provable, though I can't think of a way at the moment.
  5. May 13, 2010 #4
    Well, I found this link http://sprott.physics.wisc.edu/pickover/trans.html". In it, one of the numbers, called Morse-Thue's number [itex]x = 0.01101001\ldots[/itex], which has a simple relation to my [itex]\beta[/itex] as:

    100 \, x = 1 + \beta

    So, if [itex]\beta[/itex] were an alberaic number, then any rational function of it is still an algebraic number. Since it says x is transcendental (without proof), we can conclude that [itex]\beta[/itex] cannot be algebraic, i.e. it must be transcendental.

    On to reading more about Morse-Thue's number.
    Last edited by a moderator: Apr 25, 2017
  6. May 13, 2010 #5

    D H

    User Avatar
    Staff Emeritus
    Science Advisor

    The number 0.11010010001... is obviously related to your number and to your newly-found Morse-Thue's number.

    Let s1=0.1, s2=0.11, s3=0.1101, s4=0.1101001, ... Writing sn as a rational sn=pn/qn, then

    p_1 &= 1 \\
    q_1 &= 10 \\
    p_{n+1} &= 10^np_n+1 \\
    q_{n+1} &= 10^nq_n

    Suggestion: Try expressing it as a continued fraction. (Not a hint; when I say "hint" it means I know the solution.)
  7. May 13, 2010 #6
    I found the first 100 terms in the continued fraction of [itex]\beta[/itex] (not the number you suggested):

    Code (Text):

    If you make a scatter plot of these values, you can't see any regularity:


    I tried to see if there are some hidden periodicities in the sequence by performing the discrete Fourier transform. Here is the power spectrum:


    It looks pretty much like white noise to me.

    Attached Files:

  8. May 13, 2010 #7

    D H

    User Avatar
    Staff Emeritus
    Science Advisor

    Finally! Sometimes LaTeX can be a beotch -- and I've been using it for decades.

    Not quite canonical form, but

    1.1010010001\cdots =
    Last edited: May 13, 2010
  9. May 13, 2010 #8
    Yeah, it might be true. I didn't check it. Nevertheless, is this a proof of transcendence? Because the continued fraction of [itex]\sqrt[3]{2}[/itex] has no periodicity or regularity as far as I know.


    Mathematica gives the result of the series in terms of elliptic theta function:

    \frac{\sqrt[8]{10}}{2} \vartheta_{2}(0; \frac{1}{\sqrt{10}}) - 1
    Last edited: May 13, 2010
  10. May 14, 2010 #9
    Be aware that http://en.wikipedia.org/wiki/Thue%E2%80%93Morse_sequence" [Broken] is not [itex]\frac{(1+\beta)}{100}[/itex] as it goes on .01101001100101101001011001101001... so even if you found a proof for it, that wouldn't apply to your number anyway.
    Last edited by a moderator: May 4, 2017
  11. May 14, 2010 #10
    Which is exactly what I quoted as Morse-Thue's number. Nevertheless, even if it is connected through some transformation involving algebraic operations only, the proof still holds. BTW, Wikipedia gives an article for a sequence, not a number.
    Last edited by a moderator: May 4, 2017
  12. May 14, 2010 #11
    Assuming D H's continued fraction expansion in post #7, I think I can prove that [itex]\beta[/itex] is irrational. Not what the OP was looking for, but it's a partial result. I use the following result, taken from p. 512 of Vol. II of Chrystal's Textbook of Algebra, AMC Chelsea edition, 1999:

    17. If [itex]a_2, a_3, ..., a_n, b_2, b_3, ..., b_n[/itex] be all positive integers, then


    II. The infinite continued fraction




    converges to an incommensurable limit provided that after some finite value of n the condition [itex]a_n \geq b_n + 1[/itex] be always satisfied, where the sign > need not always occur but must occur infinitely often.

    (Chrystal uses the word incommensurable to mean what we now call irrational.)

    The continued fraction in post #7 satisfies these conditions. Thus [itex]\beta[/itex] is irrational.

  13. May 15, 2010 #12
    Isn't that already obvious because it doesn't recur?
  14. May 15, 2010 #13
    Yes, you're right.
  15. May 22, 2010 #14
    The Thue number is not clearly related to your number. The decimals with 1s in positions that are n(n+1)/2 or n^2, etc., are related to the Jacobi identity and, in particular,

    Product [0 to infinity] {(1+x^n)(1-x^(2n+2))} = 2Sum [x^(n(n+1)/2)]

    {I am having a little trouble seeing the product at n=0 and the 2 coefficient in the sum! Possibly, 1+x^n is not done at n=0 and there is no 2 on the right}

    For x=.1, this gives (1+1)*(1-.1^2)*(1+.1)*(1-.1^4)*(1+.1^2)*(1-.1^6)*(1+.1^3)*(1-.1^8)*(1+.1^4)*(1-.1^10)*(1+.1^5)*(1-.1^12)*(1+.1^6)*(1-.1^14)... = 2( 1.1010010001...)

    This does not prove transcendentalness, but gives new details.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook