The proportion of polynomials over F_2 with positive orthogonal multiplicity

Source abstract

Let A = F_2[T]. The orthogonal multiplicity m(f) of a monic f in A of degree d >= 1 is the number of g in A with deg g 0 behaves as d tends to infinity. We attach to each prime divisor P of f a residue psi_P(f) in F_2 of the differential dT/(T(T+1)f), and prove two unconditional facts about this family: a reciprocity relation, namely that the psi_P(f) sum to zero whenever f is prime to T(T+1), and an exact local distribution, namely that psi_P vanishes for a proportion exactly (|P|-2)/(2(|P|-1)) of the admissible completions when P exactly divides f, and for exactly half of them when P^e exactly divides f with e >= 2. Granting that these local conditions pool independently, we obtain p(d) ~ L d^(-1/2) with L = (9/(4 sqrt(pi))) times the product over the monic irreducibles P of A of degree at least two of (1 + 1/(2|P|)) (1 - 1/|P|)^(1/2), equal to 1.2116120743... The same Euler product evaluated at a second parameter returns the exact identity that the m(f) of a given degree sum to 2^d, which fixes its normalisation. We give the exact value of 2^d p(d) for 1 <= d <= 33; the predicted values agree with these to within 5 10^(-5) for 27 <= d <= 33.