« 2 Hours of McDonalds Hell | Main | Some Scattered Thoughts »

Comments

Westacular

Pi hasn't been proven to be normal, but all empiral evidence suggests that it is.

In which case, of course, the probability of anything (finite) happening is one (if you're not picky about where it happens)

Useful reference:
http://en.wikipedia.org/wiki/Pi#Open_questions

Polymath

That link is useful, thanks.

And I understand that anything finite must happen with a probability of 1. But I'm convinced of that if you name me the length of the finite string (with some desired property, like 1000 8's in a row) beforehand. But this question doesn't quite do that.

Every time we discover few more digits of pi, and those digits do not start with 314159, then the probability of the repeat gets exponetially smaller.

I'm very willing to be proven wrong, but I'm still not sure that "any finite string appears in pi" means that the first n digits have to repeat once for some n.

vlorbik

P just *can't* be .1;
that's the probability
that the *very first* digit
is repeated as the second!

1 - [1-.1][1-.01]
("first digit or first two")
is already .109 ; this is
(at least slightly) less
than P.

vlorbik

oops. for "P" read "1-P".

Polymath

yeah, vlorbik, i think you're right...i thought of that recently. .1 is the probability that the first will repeat. the probability that the the first two will repeat is .01, the first three, .001. clearly adding these up gives .111111.... or 1/9. but this seems too big, since more than one of those events could happen, so we have to subtract the probability of that, which is very hard because those probabilities arent independent. i also agree with your calculation, which means i think we have a lower and upper bound...a start!

Alon Levy

Actually, the E_n's aren't independent. To see why, suppose that we work in binary, and note that P(E_3) = 1/8. However, suppose that E_1 and E_2 hold; then by E_1, a_1 = a_2, and by E_2, a_2 = a_4. Therefore, a_1 = a_4, and P(E_3 | E_1 and E_2) = 1/4.

Polymath

i agree with you, actually, Alon, but thanks for a lucid explanation. the events that i think are independent are the (NOT E_n) events. if the first n digits don't repeat, then you have no information about whether any other string does or does not repeat. i think.

i also think i need a serious probabilitician (?) to tackle this one...because i'm getting lost in it, and it's my own dang problem.

David Harmon

I don't have a real answer, but here's a point or two that may be helpful:

1) For starters, we can discard the trivial (small-N) cases, precisely because pi isn't in fact a "random" real, and in fact we know the first "few" digits. It's just that its decimal *representation* has properties similar to a random stream of digits.

2) What you're looking for is the "probability" that there exists an integer N such that the N digits of pi starting at digit N (0-based) are successively identical to the first N digits. For any given N (where digits N and following are initially "unknown"), this would initially appear to be 10^(-N), which approaches 0 geometrically as N increases.

3) This property would be similar for pi/10, and that simplifies the exponents, so:

The conjecture would imply that there exists a (fairly large) integer N, another integer Q between 10^N and 10^(N-1), and a real value R less than 10^(-2N) such that:

pi/10 = (Q + Q/(10^N)) /10^N + R

In practice, Q has less range than given above, because as I said, we know the first few digits of pi. For example, Q must be between .314159 and .314160 times 10^N, and we can narrow those limiting ratios by supplying more digits.

Now at this point my own math expertise runs aground upon the long years since I attended college. Even so, I suspect the above features may well collide (or collude) with some other known feature of pi. Any more ideas?

Coconuts

This may sound a bit silly, but a certain number theory professor I had was of the opinion that pi hasn't actually been proven to be irrational, in the same way that sqrt(2) can be proven to be irrational...

GreedyAlgorithm

Here are the first few probabilities for binary strings of length 2N:

1: 0.5 = 2/4
2: 0.625 = 10/16
3: 0.6875 = 44/64
4: 0.7109375 = 182/256
5: 0.720703125 = 738/1024
6: 0.7255859375 = 2972/4096
7: 0.727783203125 = 11924/16384
8: 0.7288818359375 = 47768/65536
9: 0.7294235229492188 = 191214/262144
10: 0.7296905517578125 = 765136/1048576
11: 0.7298240661621094 = 3061104/4194304
12: 0.7298904657363892 = 12245530/16777216
13: 0.7299235761165619 = 48984342/67108864
14: 0.7299401015043259 = 195941804/268435456

Looks like 0.73? That's pretty rigorous, I'd say. It couldn't be any other number... I mean, look how slow it's growing, and there's no nice number just above 0.73, right? Or maybe it's 0.72999..., which we know is less than 0.73.

Anyway, if someone can find a sequence those numerators go in, and prove that sequence correct, it can probably be generalized to a base 10 random string.

Thingummy

0.72999..., which we know is less than 0.73.

Oh man, not THAT again!

GreedyAlgorithm

I asked this question in livejournal's mathematics community (link: http://community.livejournal.com/mathematics/869682.html ). It appears the probability for a random base-10 string to have this property is about 0.1099989899899190110911.

Sailorman

Hmm. For some odd reason this made me think of Penrose tilings. In a Pensorse universe, if I remember correctly, the universe is infinite and nonrepeating (like pi).

However, any SUBSET of the universe exists in multiple locations.

If I recall correctly (correct me, someone, if I'm wrong here) the shortest distance from the edge of a pattern (call it Pattern A) to the edge of an IDENTICAL Pattern A is linearly related to.... damn, can't remember if it's the pattern's diameter or area. Anyway. Could a similar proof be provided for pi?

Caity

doesn't pi continue on forever? if so why isn't it called infinity, because infinity continues forever.

Matt

Caity: its decimal expansion continue forever. But pi is still greater than 3 but less than 4, and so certainly not 'infinity'. This is because 0.1 < 1, so 3.1 < 4, 3.14 < 3.1, and so on.

As for infinity, that's not even a number really. It's a concept for 'the largest number', which of course can't actually be evaluated. Just because a number has an expansion going on forever, that doesn't mean it is infinity (the largest number). That's like saying crabs are fish because they both live in water.

The comments to this entry are closed.

The .999... Posts That Made Me Briefly Famous

My Feeble Attempts at Humor

Other blogs I like

  • EvolutionBlog
    He writes mostly about evolution, but he's a math guy.
  • Good Math, Bad Math
    Scienceblogs finally has a math guy!
  • Kung Fu Monkey
    A very smart, high-profile screen writer and comic with sensible politics and an amazing ability to rant
  • Math Spectrometer
    My ideas about life, teaching, and politics
  • Pharyngula
    Biology, lefty politics, and strident anti-Intelligent Design
Blog powered by Typepad