mersenneforum.org  

Go Back   mersenneforum.org > Extra Stuff > Blogorrhea > sweety439

Reply
 
Thread Tools
Old 2021-11-09, 11:02   #1
sweety439
 
sweety439's Avatar
 
"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36

3,373 Posts
Default Two prime-related conjectures

Conjecture 1 (conjecture about square numbers and odd primes): Every number which is not twice a square number (A001105) can be written as (twice a nonzero square number) + (k*p), where k is 1 for odd numbers and 2 for even numbers, and p is an odd prime, there are 47 known counterexamples, the largest known counterexample is 43358, and I conjectured that all other numbers which is not twice a square number can be written as this form.

Code:
1, 3, 4, 6, 10, 17, 20, 26, 62, 68, 74, 116, 122, 137, 170, 182, 227, 254, 260, 428, 452, 740, 758, 878, 977, 1052, 1142, 1187, 1412, 1460, 1493, 1542, 1658, 1982, 2510, 2702, 2828, 3098, 3812, 5777, 5972, 5993, 6638, 7352, 15098, 19268, 43358
(the numbers in this set are:

* odd numbers: A060003 (including: 1, odd primes A042978 \ {2}, odd composites {5777, 5993} (Goldbach incorrectly conjectured that no such odd composites exist, see https://www.jstor.org/stable/2690477)) [10 elements]

* even numbers where n/2 is prime: 2*A065377 U {6} (3 is the only number when written as sum of square number and prime requiring the even prime 2, this is equivalent to 6=2*3 in this problem) [16 elements]

* even numbers where n/2 is composite: 2*A020495 [21 elements]

totally 10+16+21 = 47 elements, see the OEIS references, odd numbers have been checked to 2*10^13, even numbers where n/2 is prime have been checked to 2*10^9 (since "sum of square and prime" have been checked to 10^9), even numbers where n/2 is composite have been checked to 2*10^11 (since "sum of square and prime" have been checked to 10^11), thus my conjecture about square numbers and odd primes have been checked to 2*10^9)

Conjecture 2 (conjecture about triangular numbers and odd primes): Every number which is not twice a triangular number (A002378) can be written as (twice a nonzero triangular number) + (k*p), where k is 1 for odd numbers and 2 for even numbers, and p is an odd prime, there are 8 known counterexamples, the largest known counterexample is 432, and I conjectured that all other numbers which is not twice a triangular number can be written as this form.

Code:
1, 3, 4, 10, 14, 122, 422, 432
(the numbers in this set are:

* odd numbers: {1, 3}, no OEIS sequences for this, and (conjectured by Zhi-Wei Sun, see A144590) every odd number larger than 3 can be written as sum of a nonzero Pronic number and an odd prime [2 elements]

* even numbers where n/2 is prime: 2*A065397 U {10} (5 is the only number when written as sum of triangular number and prime requiring the even prime 2, this is equivalent to 10=2*5 in this problem) [5 elements]

* even numbers where n/2 is composite: {432} (Zhi-Wei Sun conjectured that 432 is the only such number, see https://arxiv.org/abs/0803.3737) [1 element]

totally 2+5+1 = 8 elements, see the OEIS references, odd numbers have been checked to 10^10, even numbers where n/2 is prime have been checked to 8*10^9 (since "sum of triangular and prime" have been checked to 4*10^9), even numbers where n/2 is composite have been checked to 2*10^12 (since "sum of triangular and prime" have been checked to 10^12), thus my conjecture about triangular numbers and odd primes have been checked to 8*10^9)

Note:

"U": set union
"\": set difference

Last fiddled with by sweety439 on 2021-11-18 at 06:03
sweety439 is offline   Reply With Quote
Old 2021-11-09, 11:22   #2
sweety439
 
sweety439's Avatar
 
"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36

1101001011012 Posts
Default

There are many numbers which is not twice a square number which can be uniquely written as (twice a nonzero square number) + (k*p), where k is 1 for odd numbers and 2 for even numbers, and p is an odd prime, but I conjectured there are only finite such numbers (there are 318 known such numbers, the largest such number is 89072), furthermore, for every number r>=0, there are only finitely many numbers which is not twice a square number which can be written as (twice a nonzero square number) + (k*p), where k is 1 for odd numbers and 2 for even numbers, no more than r ways.

Code:
5, 7, 9, 11, 12, 14, 16, 22, 23, 27, 29, 30, 33, 34, 36, 38, 41, 44, 47, 48, 52, 53, 57, 58, 59, 65, 71, 80, 83, 86, 92, 95, 100, 102, 107, 110, 113, 123, 140, 143, 146, 148, 149, 152, 158, 161, 164, 188, 194, 197, 198, 212, 218, 230, 233, 239, 240, 257, 266, 272, 278, 281, 284, 287, 290, 302, 308, 314, 317, 318, 323, 332, 340, 347, 356, 362, 368, 383, 386, 404, 407, 410, 413, 422, 438, 442, 443, 446, 449, 458, 470, 482, 492, 500, 506, 530, 536, 542, 548, 554, 566, 569, 590, 596, 602, 620, 626, 632, 638, 650, 656, 662, 668, 680, 692, 698, 743, 773, 782, 785, 788, 794, 798, 818, 824, 848, 863, 872, 884, 890, 926, 938, 980, 998, 1010, 1022, 1082, 1094, 1118, 1124, 1148, 1172, 1178, 1220, 1227, 1232, 1238, 1292, 1322, 1367, 1388, 1415, 1418, 1478, 1502, 1562, 1586, 1598, 1622, 1668, 1670, 1703, 1748, 1754, 1787, 1828, 1844, 1892, 1898, 1940, 1958, 1988, 2042, 2060, 2090, 2123, 2132, 2138, 2174, 2180, 2210, 2234, 2328, 2342, 2402, 2408, 2438, 2486, 2507, 2558, 2582, 2648, 2708, 2732, 2762, 2768, 2822, 2858, 2900, 2933, 3002, 3062, 3110, 3242, 3284, 3317, 3434, 3452, 3482, 3515, 3530, 3572, 3620, 3662, 3713, 3722, 3758, 3770, 3962, 3980, 3998, 4022, 4082, 4118, 4148, 4178, 4292, 4334, 4490, 4502, 4532, 4538, 4568, 4586, 4673, 4688, 4820, 4832, 4958, 5078, 5102, 5300, 5612, 5642, 5708, 5798, 5852, 5942, 5987, 6008, 6188, 6218, 6302, 6332, 6368, 6518, 6602, 6797, 6836, 6938, 7004, 7142, 7622, 7718, 7730, 7928, 7982, 8432, 8444, 8558, 8660, 8828, 9008, 9020, 9122, 9290, 9308, 9422, 9722, 9860, 10964, 11012, 11090, 11498, 11972, 12062, 12098, 12548, 12602, 12878, 14018, 14162, 14882, 15758, 15908, 16172, 16838, 17168, 17648, 18428, 19142, 20330, 20918, 21548, 21722, 23018, 23612, 25022, 27668, 30212, 30668, 31130, 32162, 32372, 47702, 63758, 66410, 89072
odd numbers: A346368

even numbers: 2*A143989 (square number=0 allowed, prime=2 allowed)

There are many numbers which is not twice a triangular number which can be uniquely written as (twice a nonzero triangular number) + (k*p), where k is 1 for odd numbers and 2 for even numbers, and p is an odd prime, but I conjectured there are only finite such numbers (there are 58 known such numbers, the largest such number is 16632), furthermore, for every number r>=0, there are only finitely many numbers which is not twice a triangular number which can be written as (twice a nonzero triangular number) + (k*p), where k is 1 for odd numbers and 2 for even numbers, no more than r ways.

Code:
5, 7, 8, 11, 18, 21, 22, 24, 27, 32, 38, 50, 51, 54, 57, 60, 62, 74, 84, 105, 108, 111, 126, 140, 150, 174, 180, 186, 242, 252, 258, 270, 357, 372, 471, 492, 510, 630, 666, 690, 765, 792, 810, 1080, 1112, 1380, 1434, 1602, 1848, 1920, 2160, 3726, 4752, 5397, 5652, 7800, 12420, 16632
even numbers: 2*A155190 (triangular number=0 allowed, prime=2 allowed)

Last fiddled with by sweety439 on 2022-01-16 at 17:01
sweety439 is offline   Reply With Quote
Old 2021-11-09, 17:36   #3
sweety439
 
sweety439's Avatar
 
"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36

3,373 Posts
Default

"Number of ways" sequences in OEIS:

Conjecture 1:

odd numbers:

A143539((n+1)/2)

A046923((n-1)/2) (allow the square number to be 0)

even numbers:

A064272(n/2) (allow the prime to be 2)

A002471(n/2) (allow the prime to be 2) (allow the square number to be 0)

Conjecture 2:

odd numbers:

A144590((n-1)/2)

even numbers:

A132399(n/2) (allow the prime to be 2) (allow the triangular number to be 0)

These two text files is the number of ways to write n as "(twice a nonzero square number) + (k*p), where k is 1 for odd numbers and 2 for even numbers, and p is an odd prime" or "(twice a nonzero triangular number) + (k*p), where k is 1 for odd numbers and 2 for even numbers, and p is an odd prime", the numbers n which is (for the former, n is itself twice a square number, for the latter n is itself twice a triangular number) are marked with star symbol "*", since they are not in our conjectures, many (in fact, almost all) such n cannot be written as this form, and we conjecture that all other n which is enough large (>43358 for square numbers, >432 for triangular numbers) can be written as this form.
Attached Files
File Type: txt square.txt (80.8 KB, 40 views)
File Type: txt triangular.txt (82.5 KB, 42 views)

Last fiddled with by sweety439 on 2021-11-18 at 06:08
sweety439 is offline   Reply With Quote
Old 2021-11-09, 17:49   #4
sweety439
 
sweety439's Avatar
 
"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36

D2D16 Posts
Default

Notes:

Conjecture 1:

* For a number which is twice a square number (2*n^2), can be written as (twice a nonzero square number) + (2*p), the only possible prime is when the nonzero square number is 2*(n-1)^2, because of algebraic factorization, and hence p=2*n-1, thus, if 2*n-1 is prime, then 2*n^2 can be uniquely written as this way, and if 2*n-1 is not prime, then 2*n^2 cannot be written as this way, for the fully such numbers divided by 2 (allow the prime to be 2), see A064233 (also see A014090 for both allow the prime to be 2 and allow the square number to be 0)

Conjecture 2:

* For a number which is twice a triangular number (n*(n+1)), can be written as (twice a nonzero triangular number) + (2*p), the only possible prime is when the nonzero triangular number is (n-1)*n or (n-2)*(n-1), because of algebraic factorization, and hence p=n or p=2*n-1, thus, if only one of n and 2*n-1 is prime, then n*(n+1) can be uniquely written as this way, and if neither n nor 2*n-1 is prime, then n*(n+1) cannot be written as this way, for the fully such numbers divided by 2 (allow the prime to be 2), see A111908 (also see A076768 for both allow the prime to be 2 and allow the triangular number to be 0)

Related OEIS sequences:

Conjecture 1:

2*n-1 is prime: A006254
2*n-1 is not prime: A104275
2*n-1 is composite: A053726

Conjecture 2:

n and 2*n-1 are both primes: A005382
n is prime but 2*n-1 is not prime: A307390
n is not prime but 2*n-1 is prime: A174166
n and 2*n-1 are both not primes: A138666

Last fiddled with by sweety439 on 2021-11-18 at 05:29
sweety439 is offline   Reply With Quote
Old 2021-11-16, 04:00   #5
sweety439
 
sweety439's Avatar
 
"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36

337310 Posts
Default

Update related text files.

Last fiddled with by sweety439 on 2021-11-17 at 03:47
sweety439 is offline   Reply With Quote
Old 2021-11-17, 03:53   #6
sweety439
 
sweety439's Avatar
 
"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36

3,373 Posts
Default

These are:

* Numbers not in A001105 which cannot be written as A001105(i) + A085118(j) for i >= 1, j >= 2 (note: i=0 and/or j=1 have been excluded)

{1, 3, 4, 6, 10, 17, 20, 26, 62, 68, 74, 116, 122, 137, 170, 182, 227, 254, 260, 428, 452, 740, 758, 878, 977, 1052, 1142, 1187, 1412, 1460, 1493, 1542, 1658, 1982, 2510, 2702, 2828, 3098, 3812, 5777, 5972, 5993, 6638, 7352, 15098, 19268, 43358}

* Numbers not in A002378 which cannot be written as A002378(i) + A085118(j) for i >= 1, j >= 2 (note: i=0 and/or j=1 have been excluded)

{1, 3, 4, 10, 14, 122, 422, 432}

Last fiddled with by sweety439 on 2021-11-17 at 03:54
sweety439 is offline   Reply With Quote
Old 2021-11-17, 03:59   #7
sweety439
 
sweety439's Avatar
 
"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36

1101001011012 Posts
Default Conjecture about prime numbers and square/triangular numbers

Conjecture 1: Except these 47 numbers, all numbers which is not twice a square number (A001105) can be written as (twice a nonzero square number) + (k*p), where k is 1 for odd numbers and 2 for even numbers, and p is an odd prime:

{1, 3, 4, 6, 10, 17, 20, 26, 62, 68, 74, 116, 122, 137, 170, 182, 227, 254, 260, 428, 452, 740, 758, 878, 977, 1052, 1142, 1187, 1412, 1460, 1493, 1542, 1658, 1982, 2510, 2702, 2828, 3098, 3812, 5777, 5972, 5993, 6638, 7352, 15098, 19268, 43358}

(i.e. except these 47 numbers, all positive integers which is not in A001105 can be written as A001105(i) + A085118(j) for i >= 1, j >= 2 (note: i=0 and/or j=1 have been excluded))

Conjecture 2: Except these 8 numbers, all numbers which is not twice a triangular number (A002378) can be written as (twice a nonzero triangular number) + (k*p), where k is 1 for odd numbers and 2 for even numbers, and p is an odd prime:

{1, 3, 4, 10, 14, 122, 422, 432}

(i.e. except these 8 numbers, all positive integers which is not in A002378 can be written as A002378(i) + A085118(j) for i >= 1, j >= 2 (note: i=0 and/or j=1 have been excluded))
sweety439 is offline   Reply With Quote
Old 2021-11-17, 04:20   #8
sweety439
 
sweety439's Avatar
 
"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36

3,373 Posts
Default

PARI/GP program:

Code:
isp(n)=(n==0)||(isprime(n)&&n>2)
is(n)=for(k=1,n,if(isp((n-2*k^2)/(2-(n%2))),return(0)));1
iss(n)=for(k=1,n,if(isp((n-k*(k+1))/(2-(n%2))),return(0)));1
another PARI/GP program:

Code:
isoddprime(n)=isprime(n)&&n>2
a(n)=sum(k=1,n,isoddprime((n-2*k^2)/(2-(n%2))))
b(n)=sum(k=1,n,isoddprime((n-k*(k+1))/(2-(n%2))))
sweety439 is offline   Reply With Quote
Old 2021-11-18, 04:56   #9
sweety439
 
sweety439's Avatar
 
"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36

3,373 Posts
Default

Quote:
Originally Posted by sweety439 View Post

{1, 3, 4, 6, 10, 17, 20, 26, 62, 68, 74, 116, 122, 137, 170, 182, 227, 254, 260, 428, 452, 740, 758, 878, 977, 1052, 1142, 1187, 1412, 1460, 1493, 1542, 1658, 1982, 2510, 2702, 2828, 3098, 3812, 5777, 5972, 5993, 6638, 7352, 15098, 19268, 43358}
For these counterexamples for conjecture 1, all numbers >10 except 1542 are == 2 mod 3 (reference: https://oeis.org/A060003, this says that these counterexamples for conjecture 1, all odd numbers >3 are == 2 mod 3)
sweety439 is offline   Reply With Quote
Old 2021-11-18, 05:41   #10
sweety439
 
sweety439's Avatar
 
"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36

3,373 Posts
Default

The counterexamples listed as sequences:

(A) Odd counterexamples
(AA) Odd prime counterexamples
(AB) Odd composite counterexamples
(AC) Odd unit (only for "1") counterexamples
[note: Odd counterexamples cannot allow the even prime 2, since (twice a square/triangular number) + (the even prime (2)) will be even number, not odd number]
(B) Even counterexamples
(BA) Even "twice prime" counterexamples
(BAA) Even "twice prime" counterexamples which are still counterexamples even if allowing the even prime 2
(BAB) Even "twice prime" counterexamples which if allowing the even prime 2, then will not be counterexamples
(BB) Even "twice composite" counterexamples
(BBA) Even "twice composite" counterexamples which are still counterexamples even if allowing the even prime 2
(BBB) Even "twice composite" counterexamples which if allowing the even prime 2, then will not be counterexamples
[note: no even "twice unit (only for "2")" counterexamples, since the number "2" is both "twice square number" and "twice triangular number", thus not in my conjectures]
(C) Even "not counterexamples" since they are "twice square numbers" or "twice triangular numbers", there are infinitely many such numbers
(CA) Even "not counterexamples" which are still counterexamples even if allowing the even prime 2
(CB) Even "not counterexamples" which if allowing the even prime 2, then will not be counterexamples

Conjecture 1 (positive square number) + (odd prime (or) twice odd prime):

(A) {1, 3, 17, 137, 227, 977, 1187, 1493, 5777, 5993} (A060003)
(AA) {3, 17, 137, 227, 977, 1187, 1493} (A042978 \ {2})
(AB) {5777, 5993}
(AA+AB) {3, 17, 137, 227, 977, 1187, 1493, 5777, 5993}
(AC) {1}
(B+C) (2*A064233 U {6})
(BAA+BBA+CA) (2*A064233)
(B) {4, 6, 10, 20, 26, 62, 68, 74, 116, 122, 170, 182, 254, 260, 428, 452, 740, 758, 878, 1052, 1142, 1412, 1460, 1542, 1658, 1982, 2510, 2702, 2828, 3098, 3812, 5972, 6638, 7352, 15098, 19268, 43358}
(BAA+BBA) {4, 10, 20, 26, 62, 68, 74, 116, 122, 170, 182, 254, 260, 428, 452, 740, 758, 878, 1052, 1142, 1412, 1460, 1542, 1658, 1982, 2510, 2702, 2828, 3098, 3812, 5972, 6638, 7352, 15098, 19268, 43358}
(BAB+BBB) {6}
(BA) {4, 6, 10, 26, 62, 74, 122, 254, 758, 878, 1142, 1658, 1982, 3098, 6638, 15098} (2*A065377 U {6})
(BAA) {4, 10, 26, 62, 74, 122, 254, 758, 878, 1142, 1658, 1982, 3098, 6638, 15098} (2*A065377)
(BAB) {6}
(BB+C) (2*A014090 U {})
(BBA+CA) (2*A014090)
(BB) {20, 68, 116, 170, 182, 260, 428, 452, 740, 1052, 1412, 1460, 1542, 2510, 2702, 2828, 3812, 5972, 7352, 19268, 43358} (2*A020495 U {})
(BBA) {20, 68, 116, 170, 182, 260, 428, 452, 740, 1052, 1412, 1460, 1542, 2510, 2702, 2828, 3812, 5972, 7352, 19268, 43358} (2*A020495)
(BBB) {}
(C) (twice_square(A104275) U {})
(CA) (twice_square(A104275))
(CB) {}

Conjecture 2 (positive triangular number) + (odd prime (or) twice odd prime):

(A) {1, 3}
(AA) {3}
(AB) {}
(AA+AB) {3}
(AC) {1}
(B+C) (2*A111908 U {6, 10})
(BAA+BBA+CA) (2*A111908)
(B) {4, 10, 14, 122, 422, 432} (2*A255904 U {10})
(BAA+BBA) {4, 14, 122, 422, 432} (2*A255904)
(BAB+BBB) {10}
(BA) {4, 10, 14, 122, 422} (2*A065397 U {10})
(BAA) {4, 14, 122, 422} (2*A065397)
(BAB) {10}
(BB+C) (2*A076768 U {6})
(BBA+CA) (2*A076768)
(BB) {432}
(BBA) {432}
(BBB) {}
(C) (twice_triangular(A138666) U {6})
(CA) (twice_triangular(A138666))
(CB) {6}

Last fiddled with by sweety439 on 2021-11-18 at 06:23
sweety439 is offline   Reply With Quote
Old 2021-11-18, 06:09   #11
sweety439
 
sweety439's Avatar
 
"99(4^34019)99 palind"
Nov 2016
(P^81993)SZ base 36

1101001011012 Posts
Default

Also:

Conjecture 1:

(A) A143539 = 0
(AB) A046923 = 0
(BAA+BBA+CA) A064272 = 0
(BBA+CA) A002471 = 0

Conjecture 2:

(A) A144590 = 0
(BBA+CA) A132399 = 0

Last fiddled with by sweety439 on 2021-11-18 at 06:19
sweety439 is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Are Bitcoins Prime Related a1call Miscellaneous Math 26 2021-03-18 14:18
Generalized Prime Riesel Conjectures Siemelink Conjectures 'R Us 6 2020-08-05 00:11
Oops - New Prime! (M49 related) Prime95 News 631 2017-11-10 20:35
Poll for new conjectures prime search effort gd_barnes Conjectures 'R Us 14 2007-12-22 07:13
Another new prime (M42-Related) Uncwilly News 132 2005-05-10 19:47

All times are UTC. The time now is 14:45.


Mon May 16 14:45:33 UTC 2022 up 32 days, 12:46, 1 user, load averages: 1.69, 1.64, 1.47

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2022, 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.

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