mersenneforum.org Maybe useless but still interesting thing about LL sequence terms
 User Name Remember Me? Password
 Register FAQ Search Today's Posts Mark Forums Read

2021-03-22, 17:12   #12
Viliam Furik

"Viliam Furík"
Jul 2018
Martin, Slovakia

31816 Posts

Quote:
 Originally Posted by LaurV No, no, no, big PP, smol pp, never confuse them !

Good one. :D

 2021-03-22, 17:18 #13 Viliam Furik     "Viliam Furík" Jul 2018 Martin, Slovakia 79210 Posts The pattern you observed is fairly trivial I would say. If the prime exponent you're testing modulo p is itself a Mersenne prime, then you are testing the Mersenne prime with a smaller exponent. For all Mersenne primes, S(x) (for x >= p) is equal to 2, because S(p-2) = 0 (mod p), S(p-1) = -2 (mod p), and S(p) = 2 (mod p). So if there can be such a test for Mersenne numbers modulo p, it won't work for double Mersennes.
 2021-03-23, 12:39 #14 Dr Sardonicus     Feb 2017 Nowhere 2×3×17×61 Posts The fact that S(P-2) mod p doesn't tell you anything about whether 2^P - 1 may be prime when P = 2^p - 1 is prime, disproves the existence of a general "S(p-2) mod p" test for Mersenne primes. More important than this specific case IMO is the fact that S(p-2) == trace(u^e) (mod p), where u = Mod(x+2,x^2 - 3) and e = 2^(p-2)%m, where m = p - 1 if p == 1 or 11 (mod 12) m = p + 1 if p == 5 or 7 (mod 12). We know that u^m == 1 (mod p) so the exact multiplicative order of u (mod p) is a divisor of m. I have not investigated when it might be known to be a proper divisor. If there were some pattern in S(p-2) (mod p) that indicated whether 2^p - 1 was prime, presumably it would somehow be manifest in the "reduced" exponent e = 2^(p-2)%m. I am not aware of any convenient formula for this remainder, but I don't know that there isn't one. So far the "trivial" pattern when p is a Mersenne prime is the only consistent one I am aware of, and in that case S(p-2) mod p utterly fails to indicate whether 2^p - 1 is prime.
 2021-04-11, 16:06 #15 Viliam Furik     "Viliam Furík" Jul 2018 Martin, Slovakia 23×32×11 Posts Update I have been trying to find something and came across the Wikipedia page for the LL test, where it says, that the sign of the S(p-3) is (-1)(p-1)/2 (except for p = 5), for starting value of 2/3, which is the Wagstaff number with exponent p, i.e. (2p+1)/3. This turns out to be 1 (mod p). Thus LL test with starting value of 2/3, and done modulo p is entirely composed of terms p-1, always. Using the property of the sign I tried to devise a checking test which under the assumption of the Mp being prime checks whether the conditions fit according to the known sign of the S(p-3). S(p-2) = X * (2p-1) S(p-2) = X (mod p) S(p-3) = K * (2p-1) + sign * 2(p+1)/2 S(p-3) = K + sign * 2(p+1)/2 (mod p) S(p-2) = S(p-3)2 - 2 = K2 + sigma * 2 * K * 2(p+1)/2 + 2p+1 - 2 = K2 + sigma * K * 2(p+3)/2 + 2 = K(K + sigma * 2(p+3)/2) + 2 using the property that all terms after the first one are -1 (mod p) S(p-2) = S(p-3) = -1 (mod p) S(p-2) = K(K + sigma * 2(p+3)/2) + 2 = -1 (mod p) K(K + sigma * 2(p+3)/2) = -3 (mod p) I observed that for all primes the 2(p+3)/2 is either 4 or -4 (mod p). I later realised that it's because 2p+3 is 16 (mod p), or equivalent if p < 16, thus the square root of 16 is 4 or -4. This means that the equation becomes K(K +- 4) = -3 (mod p) For the plus case, the solutions for K are -3 and -1, of which only -3 seems to satisfy the condition from the fourth row. For the minus case, the solutions are 1 and 3, and again, only 1 seems to ever satisfy the condition. That would all be nice unless ALL primes p satisfied these conditions, which they do. Is there any other way to modify this, so that we can use this test at all, or does it mean something in the sense of all Mersenne numbers being something like PRP modulo p (thus signifying impossibility of such test)? I also tried something with starting value 4, and 10, because there is a relation between signs of S(p-3) for these starting values, but it only gives the product of the signs.

 Thread Tools

 Similar Threads Thread Thread Starter Forum Replies Last Post garambois Aliquot Sequences 10 2017-09-02 00:21 Fusion_power Lounge 0 2013-09-27 17:52 XYYXF Math 7 2010-08-27 11:52 robert44444uk 15k Search 0 2005-04-06 23:00 jocelynl Data 4 2004-11-28 13:28

All times are UTC. The time now is 23:25.

Wed Feb 1 23:25:18 UTC 2023 up 167 days, 20:53, 0 users, load averages: 0.96, 0.86, 0.86

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.

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