In mathematics, the ProuhetâÂÂThueâÂÂMorse constant, named for , Axel Thue, and Marston Morse, is the numberâÂÂdenoted by âÂÂwhose binary expansion 0.01101001100101101001011001101001... is given by the ProuhetâÂÂThueâÂÂMorse sequence. That is,
where is the element of the ProuhetâÂÂThueâÂÂMorse sequence.
The ProuhetâÂÂThueâÂÂMorse constant can also be expressed, without using , as an infinite product,
This formula is obtained by substituting x = 1/2 into generating series for
The continued fraction expansion of the constant is [0; 2, 2, 2, 1, 4, 3, 5, 2, 1, 4, 2, 1, 5, 44, 1, 4, 1, 2, 4, 1, â¦]
Yann Bugeaud and Martine Queffélec showed that infinitely many partial quotients of this continued fraction are 4 or 5, and infinitely many partial quotients are greater than or equal to 50.
The ProuhetâÂÂThueâÂÂMorse constant was shown to be transcendental by Kurt Mahler in 1929.
He also showed that the number
is also transcendental for any algebraic number ñ, where 0 < |ñ| < 1.
Yann Bugaeud proved that the ProuhetâÂÂThueâÂÂMorse constant has an irrationality measure of 2.
The ProuhetâÂÂThueâÂÂMorse constant appears in probability. If a language L over {0, 1} is chosen at random, by flipping a fair coin to decide whether each word w is in L, the probability that it contains at least one word for each possible length is