mersenneforum.org  

Go Back   mersenneforum.org > New To GIMPS? Start Here! > Information & Answers

Reply
 
Thread Tools
Old 2009-07-18, 02:52   #1
Primeinator
 
Primeinator's Avatar
 
"Kyle"
Feb 2005
Somewhere near M52..

39616 Posts
Default Riesel primes

For Riesel primes of the form k*2^n -1, I know K is an odd integer. What are the restrictions for the value of n?
Primeinator is offline   Reply With Quote
Old 2009-07-18, 02:54   #2
TimSorbet
Account Deleted
 
TimSorbet's Avatar
 
"Tim Sorbera"
Aug 2006
San Antonio, TX USA

11·389 Posts
Default

I'm pretty sure it's only that n is such that 2^n>k (otherwise every number would be a Riesel number, and every prime a Riesel prime).

Last fiddled with by TimSorbet on 2009-07-18 at 02:55
TimSorbet is offline   Reply With Quote
Old 2009-07-18, 05:54   #3
Primeinator
 
Primeinator's Avatar
 
"Kyle"
Feb 2005
Somewhere near M52..

39616 Posts
Default

Quote:
Originally Posted by Mini-Geek View Post
I'm pretty sure it's only that n is such that 2^n>k (otherwise every number would be a Riesel number, and every prime a Riesel prime).
How would 2^n < k in of itself make a number riesel? I thought that any number of the form k*2^n -1 is a riesel number.
Primeinator is offline   Reply With Quote
Old 2009-07-18, 12:34   #4
TimSorbet
Account Deleted
 
TimSorbet's Avatar
 
"Tim Sorbera"
Aug 2006
San Antonio, TX USA

10000101101112 Posts
Default

Quote:
Originally Posted by Primeinator View Post
How would 2^n < k in of itself make a number riesel? I thought that any number of the form k*2^n -1 is a riesel number.
I was mistaken about every number being represented by some k*2^n-1. Every odd number can be represented by k*2^n-1 if 2^n can be less than k. Let's choose 15648132147819545 for example.
15648132147819545=k*2^n-1
15648132147819546=k*2^n
15648132147819546 has only one factor of 2, so we set n to 1
2*7824066073909773=k*2
7824066073909773=k
So 15648132147819545=7824066073909773*2^1-1

In case you're wondering, there is an identical requirement for Proth (k*2^n+1) numbers.
http://en.wikipedia.org/wiki/Proth_number
TimSorbet is offline   Reply With Quote
Old 2009-07-18, 15:23   #5
Primeinator
 
Primeinator's Avatar
 
"Kyle"
Feb 2005
Somewhere near M52..

91810 Posts
Default

Quote:
Originally Posted by Mini-Geek View Post
I was mistaken about every number being represented by some k*2^n-1. Every odd number can be represented by k*2^n-1 if 2^n can be less than k.

In case you're wondering, there is an identical requirement for Proth (k*2^n+1) numbers.
http://en.wikipedia.org/wiki/Proth_number
Now that makes sense. And of course, with the exception of two, being odd is a necessity for any number x being a Riesel prime.

However, you can still get an odd number by having n < k. A simple example:

3*2^2 -1 = 11 = ! prime.
15*2^3 - 1 = 119 = ! prime

Any number of k*2^n -1 will be odd, given k is odd. For n > k a prime can turn up. The first is k =3 and n = 6 which yields the following
3*2^6 - 1 = 191 = ! prime.

Finally, n = k is also a possibility. 3*2^3 -1 = 23 = ! prime.

Apparently, all three scenarios are possible?
Primeinator is offline   Reply With Quote
Old 2009-07-18, 15:50   #6
kar_bon
 
kar_bon's Avatar
 
Mar 2006
Germany

3·1,009 Posts
Default

if you search for a comprehensive collection of Riesel primes have a look at
www.rieselprime.de

BTW: n=k are called Woodall primes (see above link also)

Last fiddled with by kar_bon on 2009-07-18 at 15:51
kar_bon is offline   Reply With Quote
Old 2009-07-18, 16:05   #7
Primeinator
 
Primeinator's Avatar
 
"Kyle"
Feb 2005
Somewhere near M52..

91810 Posts
Default

Quote:
Originally Posted by kar_bon View Post
if you search for a comprehensive collection of Riesel primes have a look at
www.rieselprime.de

BTW: n=k are called Woodall primes (see above link also)
From this site it appears that N is always bigger than k. However, even though the opposite can still produce a prime, is it considered a Riesel prime?
Primeinator is offline   Reply With Quote
Old 2009-07-18, 16:19   #8
kar_bon
 
kar_bon's Avatar
 
Mar 2006
Germany

3×1,009 Posts
Default

Quote:
Originally Posted by Primeinator View Post
From this site it appears that N is always bigger than k. However, even though the opposite can still produce a prime, is it considered a Riesel prime?
mhhh?

have a look at the range for example 2000<k<4000 in the Data Section.
only k=2001 got 24 primes with n<k!!!
kar_bon is offline   Reply With Quote
Old 2009-07-18, 16:49   #9
TimSorbet
Account Deleted
 
TimSorbet's Avatar
 
"Tim Sorbera"
Aug 2006
San Antonio, TX USA

11·389 Posts
Default

Remember that the restriction is 2^n>k, not n>k, so e.g. n=4 k=15 is allowed (2^4=16, 16>15) 15*2^4-1=239 which is prime. www.rieselprime.de lists primes when 2^n<k, even though these aren't technically Riesel numbers.
Quote:
Originally Posted by Primeinator View Post
Finally, n = k is also a possibility. 3*2^3 -1 = 23 = ! prime.
This might interest you: n*2^n+1 is a Cullen Number. (essentially a Proth number with k=n and no 2^n>k restriction; the Proth side equivalent of a Woodall number)
Quote:
Originally Posted by Primeinator View Post
Apparently, all three scenarios are possible?
Apparently.

So...
When k*2^n+1 is prime, k*2^n+1 is called a Proth prime
When k*2^n-1 is prime, k*2^n-1 is called a Riesel prime
When k*2^n+1 is composite for every n with this specific k, k is called a Sierpinski number
When k*2^n-1 is composite for every n with this specific k, k is called a Riesel number
When k*2^n+1 with odd k, positive integer n, and 2^n>k, k*2^n+1 is called a Proth number
When k*2^n-1 with odd k, positive integer n, and 2^n>k, k*2^n-1 is called ...what? (we're referring to it as Riesel number here, but that's technically incorrect since that refers to the equiv. of a Sierpinski number)

or in text: "Riesel number" technically refers to a k such that all k*2^n-1 are composite, and "Riesel prime" refers to primes of the form k*2^n-1, right? Is there any name for numbers of the form k*2^n-1, analogous to "Proth number" for numbers of the form k*2^n+1? I know there is rarely confusion, at least in projects that aren't searching for Riesel numbers, but it is still an incorrect and vague reference.
TimSorbet is offline   Reply With Quote
Old 2009-07-19, 19:14   #10
R.D. Silverman
 
R.D. Silverman's Avatar
 
"Bob Silverman"
Nov 2003
North of Boston

23×3×313 Posts
Default

Quote:
Originally Posted by Primeinator View Post
How would 2^n < k in of itself make a number riesel? I thought that any number of the form k*2^n -1 is a riesel number.
Every single integer is of the form k*2^n - 1.
R.D. Silverman is offline   Reply With Quote
Old 2009-07-19, 23:14   #11
TimSorbet
Account Deleted
 
TimSorbet's Avatar
 
"Tim Sorbera"
Aug 2006
San Antonio, TX USA

11×389 Posts
Default

Quote:
Originally Posted by R.D. Silverman View Post
Every single integer is of the form k*2^n - 1.
Is this assuming k and n are integers? If so, I don't see how this could be.
TimSorbet is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Riesel Primes k*2^n-1, k<300 [Part II] Kosmaj Riesel Prime Search 1068 2023-03-16 15:10
Riesel base 3 reservations/statuses/primes KEP Conjectures 'R Us 1140 2022-12-26 17:36
Proth and Riesel Primes lukerichards Number Theory Discussion Group 7 2018-01-20 16:47
Sierpinski/Riesel Base 5: Post Primes Here robert44444uk Sierpinski/Riesel Base 5 358 2008-12-08 16:28
Riesel.15k.org LLRnet Primes Found! SlashDude 15k Search 3 2004-06-14 16:07

All times are UTC. The time now is 19:01.


Mon Mar 20 19:01:47 UTC 2023 up 214 days, 16:30, 0 users, load averages: 1.31, 1.21, 1.35

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2023, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.

≠ ± ∓ ÷ × · − √ ‰ ⊗ ⊕ ⊖ ⊘ ⊙ ≤ ≥ ≦ ≧ ≨ ≩ ≺ ≻ ≼ ≽ ⊏ ⊐ ⊑ ⊒ ² ³ °
∠ ∟ ° ≅ ~ ‖ ⟂ ⫛
≡ ≜ ≈ ∝ ∞ ≪ ≫ ⌊⌋ ⌈⌉ ∘ ∏ ∐ ∑ ∧ ∨ ∩ ∪ ⨀ ⊕ ⊗ 𝖕 𝖖 𝖗 ⊲ ⊳
∅ ∖ ∁ ↦ ↣ ∩ ∪ ⊆ ⊂ ⊄ ⊊ ⊇ ⊃ ⊅ ⊋ ⊖ ∈ ∉ ∋ ∌ ℕ ℤ ℚ ℝ ℂ ℵ ℶ ℷ ℸ 𝓟
¬ ∨ ∧ ⊕ → ← ⇒ ⇐ ⇔ ∀ ∃ ∄ ∴ ∵ ⊤ ⊥ ⊢ ⊨ ⫤ ⊣ … ⋯ ⋮ ⋰ ⋱
∫ ∬ ∭ ∮ ∯ ∰ ∇ ∆ δ ∂ ℱ ℒ ℓ
𝛢𝛼 𝛣𝛽 𝛤𝛾 𝛥𝛿 𝛦𝜀𝜖 𝛧𝜁 𝛨𝜂 𝛩𝜃𝜗 𝛪𝜄 𝛫𝜅 𝛬𝜆 𝛭𝜇 𝛮𝜈 𝛯𝜉 𝛰𝜊 𝛱𝜋 𝛲𝜌 𝛴𝜎𝜍 𝛵𝜏 𝛶𝜐 𝛷𝜙𝜑 𝛸𝜒 𝛹𝜓 𝛺𝜔