mersenneforum.org  

Go Back   mersenneforum.org > Extra Stuff > Miscellaneous Math

Reply
 
Thread Tools
Old 2023-04-25, 21:21   #1
jnml
 
Feb 2012
Prague, Czech Republ

110010102 Posts
Default What's known about Mersenne prime exponent composites?

In particular, the two prime factors ones, like \(M_{11}, M_{23}\).

Are there finitely many?

Infinitely many?

We don't know, but we expect some heuristics, like proportional to \(p^r\), for some \(r\)?

Is anything else interesting to note about them?
jnml is offline   Reply With Quote
Old 2023-04-26, 01:42   #2
kriesel
 
kriesel's Avatar
 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

7,823 Posts
Default

Some statistics related to Mersenne primes, composites, and factors are here.
kriesel is offline   Reply With Quote
Old 2023-04-26, 13:26   #3
science_man_88
 
science_man_88's Avatar
 
"Forget I exist"
Jul 2009
Dartmouth NS

8,461 Posts
Default

Quote:
Originally Posted by jnml View Post
In particular, the two prime factors ones, like \(M_{11}, M_{23}\).
If \((2kp+1)(2jp+1)=2(2jkp+k+j)p+1\) then \(2jkp+k+j\) must not be expressible in the same form for different variable values. That's all I state.

Last fiddled with by science_man_88 on 2023-04-26 at 13:38
science_man_88 is offline   Reply With Quote
Old 2023-04-27, 12:52   #4
Andrew Usher
 
Dec 2022

3×132 Posts
Default

The thing is, science_man_88, that as in the other thread your math is correct, but utterly trivial. Presenting it as though it were a real insight seems bizarre.
Andrew Usher is online now   Reply With Quote
Old 2023-04-28, 02:19   #5
R.D. Silverman
 
R.D. Silverman's Avatar
 
"Bob Silverman"
Nov 2003
North of Boston

5×17×89 Posts
Default

Quote:
Originally Posted by Andrew Usher View Post
The thing is, science_man_88, that as in the other thread your math is correct, but utterly trivial. Presenting it as though it were a real insight seems bizarre.
Oh, the irony.
R.D. Silverman is offline   Reply With Quote
Old 2023-04-28, 03:07   #6
cxc
 
cxc's Avatar
 
"Catherine"
Mar 2023
Melbourne

5·11 Posts
Default

According to mersenne.ca/prp.php, there are currently known to be 89 fully-factored Mersenne numbers with two and only two non-trivial factors; here are their exponents: {11,23,37,41,59,67,83,97,101,103, 109,131,137,139,149,167,197,199,227,241, 269,271,281,293,347,373,379,421,457,487, 523,727,809,881,971,983,997,1061,1063,1427, 1487,1637,1657,2357,2927,3079,3259,3359,4111,4243, 4729,5689,6043,6679,7331,7757,10169,14561,17029,26903, 28759,28771,58199,63703,86371,106391,130439,136883,151013,173867, 221509,245107,271211,271549,406583,432457,611999,684127,1010623,1168183, 1304983,1629469,2327417,3464473,4187251,5240707,7313983,10443557,12588091}

In terms of heuristics about their rarity, the range occupied by the 89 2-factor composites contains the first 38 Mersenne primes, so they might be more plentiful than their prime siblings over a larger range. (The wavefront for PRP testing cofactors of partially-factored Mersennes is considerably behind the waves for first-time primality tests and double checks, as testing is almost as expensive as the first-time primality test for the same exponent.)

Last fiddled with by cxc on 2023-04-28 at 03:18 Reason: Breaking up exponent list into tens
cxc is offline   Reply With Quote
Old 2023-04-28, 03:17   #7
kriesel
 
kriesel's Avatar
 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

782310 Posts
Default

12558091 is composite.
kriesel is offline   Reply With Quote
Old 2023-04-28, 04:53   #8
cxc
 
cxc's Avatar
 
"Catherine"
Mar 2023
Melbourne

5·11 Posts
Default

I see someone was paying attention :) The correct exponent is, of course, 12588091.
cxc is offline   Reply With Quote
Old 2023-04-28, 10:57   #9
R.D. Silverman
 
R.D. Silverman's Avatar
 
"Bob Silverman"
Nov 2003
North of Boston

11101100011012 Posts
Default

Quote:
Originally Posted by cxc View Post
According to mersenne.ca/prp.php, there are currently known to be 89 fully-factored Mersenne numbers with two and only two non-trivial factors; here are their exponents: {11,23,37,41,59,67,83,97,101,103, 109,131,137,139,149,167,197,199,227,241, 269,271,281,293,347,373,379,421,457,487, 523,727,809,881,971,983,997,1061,1063,1427, 1487,1637,1657,2357,2927,3079,3259,3359,4111,4243, 4729,5689,6043,6679,7331,7757,10169,14561,17029,26903, 28759,28771,58199,63703,86371,106391,130439,136883,151013,173867, 221509,245107,271211,271549,406583,432457,611999,684127,1010623,1168183, 1304983,1629469,2327417,3464473,4187251,5240707,7313983,10443557,12588091}

In terms of heuristics about their rarity, the range occupied by the 89 2-factor composites contains the first 38 Mersenne primes, so they might be more plentiful than their prime siblings over a larger range. (The wavefront for PRP testing cofactors of partially-factored Mersennes is considerably behind the waves for first-time primality tests and double checks, as testing is almost as expensive as the first-time primality test for the same exponent.)
This is supposed to be for math discussion. Please take the pure numerology to another forum.
Merely presenting data is not mathematics.

I will offer a hint: See Hardy & Wright's derivation for the distribution of p2's. There is a very strong reason
why we expect p2 Mersenne's to be more plentiful than the primes themselves. Perhaps you might like to
investigate and get back to us?
R.D. Silverman is offline   Reply With Quote
Old 2023-04-28, 11:35   #10
charybdis
 
charybdis's Avatar
 
Apr 2020

3×353 Posts
Default

Quote:
Originally Posted by cxc View Post
According to mersenne.ca/prp.php, there are currently known to be 89 fully-factored Mersenne numbers with two and only two non-trivial factors; here are their exponents: ...

In terms of heuristics about their rarity, the range occupied by the 89 2-factor composites contains the first 38 Mersenne primes, so they might be more plentiful than their prime siblings over a larger range. (The wavefront for PRP testing cofactors of partially-factored Mersennes is considerably behind the waves for first-time primality tests and double checks, as testing is almost as expensive as the first-time primality test for the same exponent.)
The PRP-CF wavefront is irrelevant here. We can only test the cofactor for primality if we know a factor in the first place, and any composite Mersenne without known factors could be a semiprime. There will be a *lot* of undiscovered semiprimes in that range.
charybdis is offline   Reply With Quote
Old 2023-04-28, 16:52   #11
R.D. Silverman
 
R.D. Silverman's Avatar
 
"Bob Silverman"
Nov 2003
North of Boston

1D8D16 Posts
Default

Quote:
Originally Posted by charybdis View Post
The PRP-CF wavefront is irrelevant here. We can only test the cofactor for primality if we know a factor in the first place, and any composite Mersenne without known factors could be a semiprime. There will be a *lot* of undiscovered semiprimes in that range.
Thank you.
R.D. Silverman is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Digit sum of a Mersenne-prime exponent Dobri Dobri 50 2023-04-21 09:33
Mersenne prime exponent not randomly distributed? alpertron Math 78 2019-10-02 14:31
Mersenne Prime Exponent Distribution PawnProver44 Miscellaneous Math 26 2016-03-18 08:48
Fun with the new Mersenne prime exponent ewmayer Lounge 4 2006-09-06 20:57
Mersenne composites (with prime exponent) Dougy Math 4 2005-03-11 12:14

All times are UTC. The time now is 13:28.


Fri Jul 7 13:28:52 UTC 2023 up 323 days, 10:57, 0 users, load averages: 1.42, 1.35, 1.24

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.

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