OFFSET
1,2
COMMENTS
A complete classification of all elements of this list has been obtained. In particular, all elements of this list have at most 3 distinct prime divisors.
Consequently, the above list has asymptotic density zero in the natural numbers.
Any prime belongs to this sequence since the tuple (1) vacuously satisfies some second-order linear recurrence.
LINKS
A. Anas Chentouf, Linear Recurrences of Order at Most Two in Small Divisors, arXiv:2108.13173 [math.NT], 2021.
EXAMPLE
36, whose divisors are (1,2,3,4,6,9,12,28,36), is the smallest non-recurrent number as (1,2,3,4,6) do not satisfy a second-order linear recurrence.
60 is in the sequence as its divisors <= sqrt(60) are (1, 2, 3, 4, 5, 6). These numbers satisfy b(n) = 2*b(n-1) - b(n-2), b(1) = 1, b(2) = 2. - David A. Corneth, Aug 14 2021
PROG
(PARI) is(n) = { my(f = factor(n), d, m, linrec, nd); if(#f~ > 3, return(0)); if(numdiv(f) <= 6, return(1) ); d = divisors(n); d = vector((#d + 1)\2, i, d[i]); m = [d[2], d[1]; d[3], d[2]]; if(matdet(m) != 0, linrec = matsolve([d[2], d[1]; d[3], d[2]], [d[3]; d[4]]); nd = vector(#d); nd[1] = d[1]; nd[2] = d[2]; for(i = 3, #nd, nd[i] = nd[i-1] * linrec[1, 1] + nd[i-2]*linrec[2, 1]; ); return(nd==d) , my(r = d[2]/d[1]); for(i = 3, #d, if(d[i-1]*r != d[i], return(0)); ); return(1) ) } \\ David A. Corneth, Aug 14 2021
CROSSREFS
KEYWORD
nonn
AUTHOR
A. Anas Chentouf, Aug 14 2021
STATUS
approved