8
$\begingroup$

I know it's likely that, given a finite sequence of digits, one can find that sequence in the digits of pi, but is there a proof that this is possible for all finite sequences? Or is it just very probable?

$\endgroup$
1

3 Answers 3

12
$\begingroup$

This article contains the following statements.

Describing the normality property, Bailey explains that "in the familiar base 10 decimal number system, any single digit of a normal number occurs one tenth of the time, any two-digit combination occurs one one-hundredth of the time, and so on. It's like throwing a fair, ten-sided die forever and counting how often each side or combination of sides appears."

Pi certainly seems to behave this way. In the first six billion decimal places of pi, each of the digits from 0 through 9 shows up about six hundred million times. Yet such results, conceivably accidental, do not prove normality even in base 10, much less normality in other number bases.

In fact, not a single naturally occurring math constant has been proved normal in even one number base, to the chagrin of mathematicians. While many constants are believed to be normal -- including pi, the square root of 2, and the natural logarithm of 2, often written "log(2)" -- there are no proofs.

Edit: We seem to have lost Gerald Edgar's comment on another answer, which pointed out that the normality property implies but is not equivalent to the property of containing every finite sequence as a substring. For example, consider the sequence enumerating all possible finite strings, separated by increasingly huge oceans of zeros.

$\endgroup$
4
  • $\begingroup$ Wow! Three simultaneous answers! $\endgroup$ Mar 16, 2010 at 14:12
  • $\begingroup$ Does that mean someone deleted my comment? Or that there is a bug? $\endgroup$ Mar 16, 2010 at 16:37
  • $\begingroup$ It means that Pete deleted his answer, which was simultaneous and redundant with this answer. Your comment was attached to that question, so disappeared too. $\endgroup$ Mar 16, 2010 at 17:00
  • $\begingroup$ The results mentioned in the lead to the article cited by Joel David Hamkins above are available at: crd.lbl.gov/~dhbailey/dhbpapers "On the Random Character of Fundamental Constant Expansions" is paper no. 54. $\endgroup$
    – grshutt
    Mar 16, 2010 at 21:45
5
$\begingroup$

Numbers with this property belong to the set of normal numbers. All known normal numbers are "constructed"; it is not known whether a single "natural" number (square roots of nonsquares, pi, e, logarithms of integers $> 1$) is normal or not. It is believed, however, that these numbers are in fact normal (even independently from the chosen base), and thus have the desired property.

$\endgroup$
3
  • 2
    $\begingroup$ I wouldn't call Chaitin's Omega "constructed" in this sense. You can view it as the probability that a binary program constructed by coin flips will halt. This is normal in each base. $\endgroup$ Mar 16, 2010 at 14:29
  • $\begingroup$ You do have to make choices in the programming language, but it seems very different from specifying a number by its digits. $\endgroup$ Mar 16, 2010 at 15:07
  • 4
    $\begingroup$ In light of Gerald Edgar's comment (which I mention at the end of my answer), your first sentence is the converse of what you mean to say. Namely, all normal numbers belong to the set of numbers with this property, but there are some numbers with the property that are not normal. $\endgroup$ Mar 18, 2010 at 16:30
-1
$\begingroup$

This is an expansion for Pi in base 16 numeric system:

$$\pi = \sum_{k = 0}^{\infty}\frac{1}{16^k} \left( \frac{4}{8k + 1} - \frac{2}{8k + 4} - \frac{1}{8k + 5} - \frac{1}{8k + 6} \right)$$

So to get k-th digit you have to get one term and take account for possible translation from a neighboring digit.

Thus to find the number of digit from which starts your arbitrary sequence, you should to solve a system of equations about the particular digits:

$$\frac{1}{16^k} \left( \frac{4}{8k + 1} - \frac{2}{8k + 4} - \frac{1}{8k + 5} - \frac{1}{8k + 6}\right)=a_1$$ $$\frac{1}{16^{k+1}} \left( \frac{4}{8(k+1) + 1} - \frac{2}{8(k+1) + 4} - \frac{1}{8(k+1) + 5} - \frac{1}{8(k+1) + 6}\right)=a_2$$ $$\frac{1}{16^{k+2}} \left( \frac{4}{8(k+2) + 1} - \frac{2}{8(k+2) + 4} - \frac{1}{8(k+2) + 5} - \frac{1}{8(k+2) + 6}\right)=a_3$$

etc. The numbers $a_k$ are unique for any sequence you are searching for.

If the system has no solution, it is likely that your sequence does not appear in the sequence of digits of Pi.

$\endgroup$
5
  • 3
    $\begingroup$ The formula is due to Simon Plouffe. en.wikipedia.org/wiki/Bailey-Borwein-Plouffe_formula $\endgroup$
    – S. Carnahan
    Nov 5, 2010 at 8:58
  • $\begingroup$ I don't think you can get the $k$-th (decimal) digit from information about base 16 digits, which is what the formula gives you. Also, I don't see the relation between $a_1,a_2,\dots$ and the digit sequence we're trying to match. $\endgroup$ Nov 5, 2010 at 10:32
  • $\begingroup$ Yes, this is not for decimal digits. Only for bases 16 and 2. $\endgroup$
    – Anixx
    Nov 5, 2010 at 10:46
  • 5
    $\begingroup$ Maybe I'm being dumb, but I don't understand the proposed method. Since 8k+1, 8k+4, 8k+5 and 8k+6 usually won't be powers of 2, they will give infinite expansions in base 16. So, to calculate the j^{th} digit, I need to compute 1/n (in base 16) for roughly j different values of n. Your displayed equations seem to suggest that I only need to compute four values to get a given digit. $\endgroup$ Nov 5, 2010 at 13:07
  • $\begingroup$ For example, how would you use this method to find an occurrence of B in the base 16 representation of pi? (Here the hexadecimal digits are 0123456789ABCDE.) $\endgroup$ Nov 5, 2010 at 13:09

Not the answer you're looking for? Browse other questions tagged or ask your own question.