![]() |
![]() |
#1 |
May 2004
New York City
5·7·112 Posts |
![]()
This is a naive question:
Suppose I want to generate an N-digit prime. I pick an M > N, generate a (random) M-digit number (by choosing M random digits), and then try to factor M. What is the probabilty that such a random M-digit number has an N-digit prime factor (as a function of M and N)? |
![]() |
![]() |
![]() |
#2 |
"William"
May 2003
Near Grandkid
1001010001112 Posts |
![]()
If M is a "lot" larger then N, then M doesn't matter and the probability at least one factor between 10N-1 and 10N is 1/N. Here's how I explained it in the ElevenSmooth FAQ
http://elevensmooth.com/MathFAQ.html#NoFactors This heuristic breaks down when N gets close to M because you cannot have two 40 digit factors of a 50 digit number. For M < 2N you can use the Dickman function to find the probability the largest prime divisor exceeds N and N+1 digits. http://mathworld.wolfram.com/DickmanFunction.html for 2N < M < 3N the corresponding function for second largest divisor can be used. It's heuristically derived in this thread, with confirmation by Brent. http://www.mersenneforum.org/showthread.php?t=2996 William |
![]() |
![]() |
![]() |
#3 |
May 2004
New York City
5×7×112 Posts |
![]()
I never thought to ask myself the similar question for Mersenne Primes.
In particular, first, can anyone show why every digit range 10^n to 10^(n+1)-1 must contain at least one Mersenne Prime? |
![]() |
![]() |
![]() |
#4 |
Jun 2003
546110 Posts |
![]()
I would think that that is a false statement. It is quite conceivable that we would not have, for example, a 9-digit exponent yielding a mersenne prime.
|
![]() |
![]() |
![]() |
#5 |
May 2004
New York City
10000100010112 Posts |
![]()
Well, if we could PROVE a lower bound of 1.1 say, and a higher bound
of ten (10.000) for the ratio Mn+1/Mn, that would imply the truth of my suggestion. It would also prove that M.primes go on forever. The trick is, prove a better lower bound and prove 10 is an upper bound. Note I said "can anyone" not "I can here". |
![]() |
![]() |
![]() |
#6 | |
Jun 2003
155516 Posts |
![]() Quote:
Yes. I was betting on no one being able to prove it -- i.e. there is no fixed upper bound for Mn+1/Mn [actually this is a stronger statement than is probably needed] |
|
![]() |
![]() |
![]() |
#7 | ||
May 2004
New York City
102138 Posts |
![]() Quote:
Quote:
But you don't have to take that on faith ... |
||
![]() |
![]() |
![]() |
#8 | |
Aug 2006
22·3·499 Posts |
![]() Quote:
![]() |
|
![]() |
![]() |
![]() |
#9 |
May 2004
New York City
5×7×112 Posts |
![]()
And by 10^googolplex it's 99.99999999999999999999 % likely.
So what? Your basic assumption is random process, which is incorrect. I make no such necessary assumption in my "guess". |
![]() |
![]() |
![]() |
#10 | |
Aug 2006
22·3·499 Posts |
![]() Quote:
Of course the statement itself is conjectural, which makes the informality all the more sensible. But if you can't figure out what a nonrandom version of the statement would look like, I can provide an epsilon-delta transformation for you. Of course the result will be every bit as conjectural as the original version. |
|
![]() |
![]() |
![]() |
#11 |
May 2004
New York City
5×7×112 Posts |
![]()
I accept the PNT as proven, and I believe the RH is on the
verge of being proven. Randomness is an approximation to the prime distribution, and can and must be removed from any final proof of these two theorems. I think my YJ-Conjecture will prove to be a lemma in the proof of the infinitude of the Mersenne Primes. Anti-crankness forbids any grander claims here. |
![]() |
![]() |
![]() |
Thread Tools | |
![]() |
||||
Thread | Thread Starter | Forum | Replies | Last Post |
Generating a uniform random n-bit semiprime | danaj | Programming | 17 | 2017-09-15 16:41 |
random comments, random questions and thread titles made for Google | jasong | Lounge | 46 | 2017-05-09 12:32 |
About random number (random seed) in Msieve | Greenk12 | Factoring | 1 | 2008-11-15 13:56 |
Generating 2005 | Wacky | Puzzles | 46 | 2005-06-05 22:19 |
Generating Small Primes | wblipp | Software | 2 | 2005-01-05 13:29 |