login
Numbers k such that both A359804(k) and A359804(k+1) are odd.
2

%I #17 Jun 22 2023 06:01:26

%S 3,8,22,29,36,42,45,53,57,64,82,85,88,94,110,119,124,132,135,141,144,

%T 152,159,165,170,177,183,190,195,201,214,220,224,231,239,246,252,264,

%U 270,281,287,292,299,302,306,309,323,328,334,341,347,350,356,361,372,378,381,386,397,402,411,418,424,431

%N Numbers k such that both A359804(k) and A359804(k+1) are odd.

%C Odd numbers may occur no more than twice in a row in A359804 as consequence of definition of that sequence.

%C Let b(n) = A359804(n). Let D(n) = b(a(n)..a(n)+1).

%C Since the product of 2 odd numbers b(n-2) and b(n-1) is odd, and since b(n) = mp, where p = A053669(b(n-2)*b(n-1)) = 2, D(n) implies b(a(n)+2) = 2m.

%C b(a(n)+2) = 2k and b(a(n+j)+2) = 2m, j >= 1 imply m > k as consequence of definition of A359804.

%C Perfect powers 2^k = b(j) occur such that j = a(n)+2 for some n. Therefore, A361505 is a subset of { a(n) + 2 }. Generally, perfect powers p^e in A246547 follow b(n-2) and b(n-1) such that b(n-2)*b(n-1) mod p != 0.

%C Conjecture: for prime q > 11, even squarefree semiprimes 2q follow D(n) for some n. Consider that primes in A359804 appear late for q > 11, yet pairs of successive odd numbers in that sequence occur rather often.

%C Conjectured to be an infinite sequence, meaning that consecutive odd terms appear infinitely many times in A359804. - _David James Sycamore_, Jun 21 2023

%H Michael De Vlieger, <a href="/A363593/b363593.txt">Table of n, a(n) for n = 1..10000</a>

%H Michael De Vlieger, <a href="/A363593/a363593.png">Plot A359804(n) mod 2 at (x,y) = (n mod 256, -floor(n/256))</a>, 8X magnification, where white represents even terms, and odd terms are shown in color. Singleton odd numbers are shown in dark blue, while red indicates two odd terms in a row. Shows A359804(n) mod 2 for n = 1..2^16.

%H Michael De Vlieger, <a href="/A363593/a363593_1.png">Plot A359804(n) mod 2 at (x,y) = (n mod 2^10, -floor(n/2^10))</a>, where white represents even terms, and odd terms are shown in color. Singleton odd numbers are shown in dark blue, while red indicates two odd terms in a row. Shows A359804(n) mod 2 for n = 1..2^20.

%F A361503(a(n)+1) = 2, consequence of definition of A359804.

%e Table of a(n) showing i = b(n) = p(i)*m(i), j = b(n+1) = p(j)*m(j), and k = b(n+2), where p(n) = A361503(n) and m(n) = A359804(n)/A361503(n):

%e n a(n) i j k p(i) p(j) m(i) m(j)

%e ----------------------------------------------

%e 1 3 3 5 4 3 5 1 1

%e 2 8 7 9 8 7 3 1 3

%e 3 22 33 35 16 11 7 3 5

%e 4 29 45 49 26 5 7 9 7

%e 5 36 55 63 32 5 7 11 9

%e 6 42 13 65 34 13 5 1 13

%e 7 45 39 75 38 3 5 13 15

%e 8 53 85 51 46 5 3 17 17

%e 9 57 91 99 52 7 11 13 9

%e 10 64 57 105 58 3 7 19 15

%e 11 82 143 81 62 11 3 13 27

%e 12 85 135 147 64 5 7 27 21

%e ...

%t nn = 432; c[_] = False; q[_] = 1;

%t Set[{i, j}, {1, 2}]; c[1] = c[2] = True; q[2] = 2; u = 3;

%t Reap[Do[

%t (k = q[#]; While[c[k #], k++]; k *= #;

%t While[c[# q[#]], q[#]++]) &[(p = 2;

%t While[Divisible[i j, p], p = NextPrime[p]]; p)];

%t If[OddQ[j k], Sow[n - 1]];

%t Set[{c[k], i, j}, {True, j, k}];

%t If[k == u, While[c[u], u++]], {n, 3, nn}] ][[-1, -1]]

%Y Cf. A000079, A053669, A100484, A359804, A361503, A361505, A363594.

%K nonn

%O 1,1

%A _Michael De Vlieger_ and _David James Sycamore_, Jun 12 2023