cp's OEIS Frontend

Conjecture: (i) All the terms are odd integers. For any prime p, if p == 3 (mod 4) then a(p) == -5 (mod p^2), otherwise a(p) == -1 (mod p).

(ii) For n = 0,1,2,... let D_n(x) = Sum_{k=0..n} binomial(n,k)*binomial(n+k,k)*x^k and R_n(x) = Sum_{k=0..n} binomial(n,k)*binomial(n+k,k)*x^k/(2k-1). For any positive integer n, all the coefficients of the polynomial (1/n)*Sum_{k=0..n-1} D_k(x)*R_k(x) are integral and the polynomial is irreducible over the field of rational numbers.

Conjecture: (i) All the terms are odd integers. Also, p | a(p) for any odd prime p.

(ii) Let D_n(x) = Sum_{k=0..n} binomial(n,k)*binomial(n+k,k)*x^k = Sum_{k=0..n} binomial(n,k)^2*x^k*(x+1)^(n-k) for n >= 0, and s_n(x) = Sum_{k=1..n} (binomial(n,k)*binomial(n,k-1)/n)*x^(k-1)*(x+1)^(n-k) = (Sum_{k=0..n} binomial(n,k)*binomial(n+k,k)*x^k/(k+1))/(x+1) for n > 0. Then, for any positive integer n, all the coefficients of the polynomial (1/n)*Sum_{k=0..n-1} D_k(x)*s_{k+1}(x) are integral and the polynomial is irreducible over the field of rational numbers.

The conjecture was essentially proved by the author in arXiv:1602.00574, except for the irreducibility of (Sum_{k=0..n-1} D_k(x)*s_{k+1}(x))/n. - Zhi-Wei Sun, Feb 01 2016