[Buffy]

I wanted to come up with a fun and frivolous but scientific topic for my 100th thread, and while I was out on my jog this afternoon the following popped into my head:

Decimal numbers come in two varieties:

• Finite decimals which have nothing but trailing zeros after some point (e.g. )
• Infinite (or "unbounded") decimals which continue on indefinitely given some definition of how they are constructed (e.g. or for those mathematicians out there more correctly )

This latter group can then be divided into Rational and Irrational Numbers.

Now, definitionally, Rational numbers have repeating sequences of digits, so the fraction repeats the three on and on endlessly. Conversely, irrational numbers however have random sequences that do not repeat at all.

Here's where my pondering came in: for any particular decimal number, you can create a distribution map of the digits in the decimal representation. For the finite representations, this is just counting appearances so for the number you have the distribution of digits:

0: 0
1: 1
2: 1
3: 0
4: 0
5: 2
6: 1
7: 0
8: 0
9: 0

Which is not only limited but boring to boot!

With unbounded numbers, you have an infinite number of digits, so things get a bit more interesting. In order to "compute" the distribution, you need to start working with ratios of each digit to the others. With unbounded rational numbers, this is relatively easy since you can take just the "repeating sequence" and count the occurrences of each digit and then divide by the length of the sequence, so the number has the distribution:

0:
1:
2:
3: 0
4: 0
5: 0
6: 0
7: 0
8: 0
9: 0

This is obviously a skewed distribution!

On the other hand this lovely fraction: has the perfectly Poisson Distribution curve of:

0:
1:
2:
3:
4:
5:
6:
7:
8:
9:

When you bring in Irrational Numbers though, there's no immediately obvious way to figure this out. Being to lazy to do it right away, I thought I'd throw it out to all the math whizzes out there:

What are the distributions of digits in Irrational Numbers?

Can we make any interesting generalizations? Since the digits in an Irrational number are random, they *could* all be Poisson Distributed, but are they? How's about or e?

Any references to cool Abstract Algebra or Number Theory proofs that are relevant (or have solved this one completely!)?

Anyone want to contribute some code to test any theories?

The creator of the universe works in mysterious ways. But he uses a base ten counting system and likes round numbers,
Buffy

[C1ay]

From the looks of this page on the frequency of digits in Pi it looks to be approaching a uniform distribution.

OTOH, e does not seem to have a normal distribution according to this source.

[Tormod]

Not sure if I understand this, but I was reminded of a book I read a while ago which discussed the distribution of prime numbers, the Riemann hypothesis and some other stuff.

Maybe you can find some relevant ideas here?

Prime number theorem - Wikipedia, the free encyclopedia

[Qfwfq]

Originally Posted by Buffy

Can we make any interesting generalizations? Since the digits in an Irrational number are random, they *could* all be Poisson Distributed, but are they?

For a given base b, given any histogram (distribution of b numbers that add to 1), there are certainly at least one, and typically infinitely many, numbers who's digits in base b have that histogram. The "number" of them isn't in general easy to express except in simple cases; it's the number of permutations over elements, reduced for equivalent ones. Obviously, permutations are all equivalent in the case of a single digit, otherwise there are infinitely many non equivalent permutations.

For a rational number, the b numbers of the histogram must be rational, they needn't be for an irrational number but they may be.

Cute question, go jogging more often!

[snoopy]

Hi
The poisson distribution for rational numbers is given as
f(k;λ) = e^(-λ) λ^k / k!

Where k is the actual number of occurrences and λ is the expected number
and k! is the facotrial of k
code hmm try this java code not sure if its what your looking for though.

/**Calculates an approximation of the Poisson probability. * @param mean - lambda, the average number of occurrences * @param observed - the actual number of occurences observed * @return ln(Poisson probability) - the natural log of the Poisson probability. */public static double poissonProbabilityApproximation (double mean, int observed){ double k = observed; double a = k * Math.log(mean); double b = -1.0 * mean * Math.log(Math.E); return a + b - Num.factorialApproximation(k);}/**Srivivasa Ramanuja ln(n!) factorial estimation. * Good for larger values of n. * @return ln(n!) */public static double factorialApproximation(double n){ if (n < 2) return 0; double a = (n * Math.log(n)) - n; double b = (Math.log(n * (1.0+ (4 * n * (1.0 + (2.0 * n)))))) / 6.0; return a + b + (Math.log(Math.PI) / 2.0);}

Peace

[CraigD]

This reminds me of a question I read (can’t remember the source) that asked the simple question:

“Does there exists any finite sequence of digits that does not appear in some irrational number?”

For example, the digit sequence 04261960 (my birthday ) appears in starting at the 103245729th position after the decimal (according to The Pi-Search Page).

The base of the numeration system used appears unimportant to this question.

The assumption is that the answer to this question is “no”, but to the best of my knowledge, this is not only unproven, but nobody has much of an idea how to go about even finding an approach to a proof of it.

The question is reminiscent of Borges’s story "The Library of Babel", and Sagan’s novel “Contact”. If it’s answer is indeed, as is expected for at least some irrational number, then in the digits of some (or all) irrational number contain the text of every work that can ever be written using the Latin alphabet, including the complete works of Shakespeare, a compelling theory of everything, an engineering description of a practical fusion power plant, etc.

Following the maxim that everything involving numeration becomes as simple as it can get when done in base 2, these similar question about the normalcy (in the sense used upthread) of an irrational number can be asked:

“Does there exist an irrational number for which there exists no truncated binary representation contains an equal counts of 1s and 0s?”

“Does there exist an number L for which no truncated binary representation of a given irrational number contains equal counts of 1s and 0s greater than L?”

For example, the first question is not true of , as it’s first 4, 6, 8, 30, etc. digits consist of equal numbers of 1s and 0s.

These questions are related to a coin tossing question I discovered in Krauss's “Beyond Star Trek”, which asks “What is the probability that a true coin will ever produce the same # of heads & tails?” (the answer is “1, a certainty”)

[Buffy]

Originally Posted by C1ay

OTOH, e does not seem to have a normal distribution according to this source.

Those are really interesting graphs C1ay! That's exactly what I was looking for. And I think its really interesting that even if does converge to Poisson, it sure takes its own sweet time in getting there, huh!

Originally Posted by Qfwfq

For a given base b, given any histogram (distribution of b numbers that add to 1), there are certainly at least one, and typically infinitely many, numbers who's digits in base b have that histogram.

Which would make perfect sense, because the sequences in rational numbers *always* repeat eventually, and while they can obviously get "long," "long" is always small enough to do anything in the infinite set of rational numbers!

Originally Posted by Qfwfq

For a rational number, the b numbers of the histogram must be rational, they needn't be for an irrational number but they may be.

Yet another reason why I think that the irrational numbers make for an interesting focus on this little topic. Its like opening a whole bunch of cans of worms!

Originally Posted by Qfwfq

Cute question, go jogging more often!

I do every day! But only occasionally does hitting the wall result in fun stuff. Usually its just an epiphany about a bug or an old boyfriend...

Originally Posted by CraigD

This reminds me of a question I read (can’t remember the source) that asked the simple question:

“Does there exists any finite sequence of digits that does not appear in some irrational number?”

For example, the digit sequence 04261960 (my birthday ) appears in starting at the 103245729th position after the decimal...

Which is an irrational analogue to what Q said about rationals above...

Originally Posted by CraigD

The assumption is that the answer to this question is “no”, but to the best of my knowledge, this is not only unproven, but nobody has much of an idea how to go about even finding an approach to a proof of it.

Good! Unbroken ground! Maybe it will succumb to brute force programming! (I'm an applied mathematician, so sue me... )...

snoopy: I'm going to try to diambiguate your code sniplet, but could you post an explanation of what its supposed to *do*?

It may be irrational of me, but human beings are quite my favorite species,
Buffy

[snoopy]

Hi Buffy the code snippet never turned out well enough pasted it will just type it

it calculates the approximation of the poisson probability

{if (n<2) return 0;
double a = (n * Math.log(n)) - n;
double b = (Math.log(n * (1.0+ (4 * n * (1.0 + (2.0 * n)))))) / 6.0;
return a + b + (Math.log(Math.PI) / 2.0);}

The trouble is it doesnt do much right now its just the core math
found it in a old java compiler, but I will work on it so it prints the value of n and a + b + (Math.log(Math.PI) / 2.0) alongside it.

Peace

[Qfwfq]

Originally Posted by CraigD

The assumption is that the answer to this question is “no”, but to the best of my knowledge, this is not only unproven, but nobody has much of an idea how to go about even finding an approach to a proof of it.

I'd say it's pretty obviously "no", give me a sequence of base b digits and I'll construct an infinity of irrational numbers in which it appears!

Originally Posted by CraigD

“Does there exist an irrational number for which there exists no truncated binary representation contains an equal counts of 1s and 0s?”

“Does there exist an number L for which no truncated binary representation of a given irrational number contains equal counts of 1s and 0s greater than L?”

The former ones exist, by construction, for the latter question I'm not sure of your wording. If you mean "of any given irrational number" the answer is clearly "no" if there's such a thing as normal irrationals, else it depends on the given irrational.

Originally Posted by Buffy

Which would make perfect sense, because the sequences in rational numbers *always* repeat eventually, and while they can obviously get "long," "long" is always small enough to do anything in the infinite set of rational numbers!

I'm not 100% sure where you're going, here.

However, I would say that if the number is rational, it always has a period (which may be the digit 0) whereas any other sequence of its digits (comprising ones previous to the period) needn't eventually repeat.

Originally Posted by Buffy

I do every day!

Knew you'd say that! But ya know what I meant.

Originally Posted by Buffy

Which is an irrational analogue to what Q said about rationals above...

Actually that's just a corollary of what I said, and I meant it about all reals.

[CraigD]

Originally Posted by Buffy

On the other hand this lovely fraction: 1/81 = 0. 0123456790123… = 0. 0123456789 ... has the perfectly Poisson Distribution curve of:
0: 1/10
…

Despite it being months old, we’ve not yet noticed that this is wrong!

. It's missing the 8.

To get the latter repeating fraction, we need the much less lovely fractions or, in canonic form, .

Any fraction of the form where is a simply normal positive integer -digit integer is simply normal.

I don’t know what the loveliest fraction (that is, with the fewest numerator and denominator digits) with a perfectly even distribution of digits, and can’t right off think of a not-too computationally intense (9! or more iterations) way to find it.