Quote:
Originally Posted by jasonp
A few months ago, frmky and I were looking for a new angle on matrix multiplies, and he noticed something peculiar when plotting a histogram of the column counts of nonzeros in the matrix for 2,1036+. You would expect a smooth distribution of light columns that peaks at the matrix average, and then trails off into a smaller number of heavier columns.
What we actually see is attached. Why do you think it is that we get 'beats' at the lowest column weights? The matrix average is 81 nonzeros per column; if I had to make up a reason, I would think that the relations that survive the filtering have a bias towards an odd or even number of ideals, and combining a small number of relations into a matrix column magnifies that bias. But it still mystifies me; really I'm worried that the NFS filtering in msieve is actually doing something dumb that I don't know about :)
I'm also reminded for some reason of the 'minimax' phenomenon in function approximation, where the approximation with the lowest worstcase error will alternately overshoot and undershoot a true value.

Keep in mind that for the algebraic norms, not every prime is in the
factor base. The algebraic polynomial must have a root mod p.
Some primes are excluded .......