Sums of two squares in short intervals in polynomial rings over finite fields
Landau's theorem asserts that the asymptotic density of sums of two squares in the interval 1≤n≤x is K/logx, where K is the Landau-Ramanujan constant. It is an old problem in number theory whether the asymptotic density remains the same in intervals ∣n−x∣≤xε for a fixed ε and x→∞. This work resolves a function field analogue of this problem, in the limit of a large finite field. More precisely, consider monic f0∈Fq[T] of degree n and take ε with 1>ε≥n2. Then the asymptotic density of polynomials f in the `interval' deg(f−f0)≤εn that are of the form f=A2+TB2, A,B∈Fq[T] is 4n1(n2n) as q→∞. This density agrees with the asymptotic density of such monic f's of degree n as q→∞, as was shown by the second author, Smilanski, and Wolf. A key point in the proof is the calculation of the Galois group of f(−T2), where f is a polynomial of degree n with a few variable coefficients: The Galois group is the hyperoctahedral group of order 2nn!.