| Here "generic" means that no coefficient in the polynomial is zero. - Artur Jasinski (grafix(AT)csl.pl), Nov 01 2007
At one point it was suggested that this is the same sequence as A039744, but this is wrong. Dean Hickerson, Dec 16 2006, comments as follows: (Start)
The claim that A039744 equals the number of monomials in the discriminant is false. The first counterexample is n=4: There are 18 such partitions, but the discriminant has no terms corresponding to the partitions 3+2+2+2+2+1 and 2+2+2+2+2+2, so the number of monomials in the discriminant is only 16.
According to Wikipedia, the discriminant of a_0 + a_1 x + ... + a_n x^n is 1/a_n times the determinant of a particular matrix; for n=4 that matrix is
[ a_4...a_3...a_2...a_1...a_0...0.....0... ]
[ 0.....a_4...a_3...a_2...a_1...a_0...0... ]
[ 0.....0.....a_4...a_3...a_2...a_1...a_0. ]
[ 4a_4..3a_3..2a_2..1a_1..0.....0.....0... ]
[ 0.....4a_4..3a_3..2a_2..1a_1..0.....0... ]
[ 0.....0.....4a_4..3a_3..2a_2..1a_1..0... ]
[ 0.....0.....0.....4a_4..3a_3..2a_2..1a_1 ]
It is easy to see that there are no monomials in the expansion of this involving either a_4 * a_3 * a_2^4 * a_1 or a_4 * a_2^6.
For larger n, it's not clear to me what restrictions need to be put on the partitions to guarantee that the corresponding monomials occur in the expansion of the determinant.
Columns near the left or right have very few nonzero elements and this adds some restrictions to the partitions.
For example, from column 2 of the matrix, we see that the partition must have at least one term equal to n or n-1. From the last column, it must have at least one term equal to 0 or 1. Maybe the complete list of such conditions is enough; I don't know.
Even if we could figure out exactly which partitions correspond to monomials that occur in the expansion, I can't rule out the possibility that the coefficients of some such monomial could cancel out, further reducing the number of nonzero monomials in the discriminant. (End)
| 