

A341654


Table read by antidiagonals upward: T(n,k) is the smallest number j such that j and j+1 have n and k divisors, respectively, or 0 if no such number exists, and the sign of T(n,k) is positive iff there exists only one such number j.


0



0, 0, 1, 0, 2, 0, 0, 4, 3, 0, 0, 6, 0, 5, 0, 0, 16, 8, 9, 0, 0, 0, 12, 0, 14, 0, 11, 0, 0, 0, 0, 81, 15, 49, 0, 0, 0, 30, 0, 20, 0, 27, 0, 23, 0, 0, 36, 24, 64, 0, 0, 0, 169, 0, 0, 0, 112, 0, 54, 0, 44, 0, 39, 0, 47, 0, 0, 0, 48, 225, 0, 0, 63, 130321, 35, 57121, 0, 0
(list;
table;
graph;
refs;
listen;
history;
text;
internal format)



OFFSET

1,5


COMMENTS

Absolute values of the nonzero terms here are the terms of A164119 (but the terms there are in ascending order).
The positive terms here are the terms of A161460 (although 50175 and 59049 there are conjectural).
The smallest number j such that j and j+1 have 11 and 12 divisors, respectively, is 59049, and (per the link at A161460) it isn't yet known whether that's the only such number. So T(11,12) is either 59049 or 59049.
T(n,k)=0 whenever both n and k are odd (since every number with an odd number of divisors is a square, and no two squares are consecutive integers).
Terms where both n and k are even (so neither j nor j+1 is a square) tend to be relatively small negative numbers. (T(2,2)=+2 is a special case; see Example section.)
Conjecture: T(n,k) < 0 for all T(n,k) where both n and k are even, other than the case n=k=2.


LINKS

Table of n, a(n) for n=1..78.


EXAMPLE

The only number j with 1 divisor is 1, so 1 is the only nonzero number in row n=1; its successor j+1 is 2 (a prime, so it has 2 divisors), so T(1,2)=1, and T(1,k)=0 for all k != 2.
The only two consecutive integers that are primes are 2 and 3, so 2 is the only number j such that both j and j+1 have 2 divisors, thus T(2,2)=2.
For j and j+1 to have 2 and 3 divisors, respectively, j must be a prime p, and j+1 must be the square of a prime q, and the only solution to p + 1 = q^2 is at p=3, so T(2,3)=3.
Numbers j such that j and j+1 have 2 and 4 divisors, respectively, begin 5, 7, 13, 37, 61, ...; since 5 is the smallest such number, T(2,4)=5.
Every number with 11 divisors is of the form p^10 (p prime), and primes p such that p^10 + 1 has 8 divisors begin 11, 19, 101, 139, ..., so T(11,8) = (11^10) = 25937424601.
.
Table begins:
n\k 1 2 3 4 5 6 7 8 9 10
+
1  0 1 0 0 0 0 0 0 0 0
2  0 2 3 5 0 11 0 23 0 47
3  0 4 0 9 0 49 0 169 0 57121
4  0 6 8 14 15 27 0 39 35 111
5  0 16 0 81 0 0 0 130321 0 0
6  0 12 0 20 0 44 63 153 99 175
7  0 0 0 64 0 0 0 729 0 0
8  0 30 24 54 0 152 0 104 195 890
9  0 36 0 225 0 1444 0 441 0 96393124
10  0 112 48 176 80 368 0 272 6723 2511
11  0 0 0 0 0 1024 0 25937424601 0 0
12  0 60 0 84 0 260 0 350 224 495


CROSSREFS

Cf. A161460, A164119.
Sequence in context: A230295 A147592 A108885 * A072740 A226288 A185146
Adjacent sequences: A341651 A341652 A341653 * A341655 A341656 A341657


KEYWORD

sign,tabl


AUTHOR

Jon E. Schoenfield, Feb 20 2021


STATUS

approved



