The bias conjecture for elliptic curves over finite fields and Hurwitz class numbers in arithmetic progressions

In this paper, we consider a version of the bias conjecture for second moments in the setting of elliptic curves over finite fields whose trace of Frobenius lies in a fixed arithmetic progression. Contrary to the classical setting of reductions of one-parameter families over the rationals, where it is conjectured by Steven J. Miller that the bias is always negative, we prove that in our setting the bias is positive for a positive density of arithmetic progressions and negative for a positive density of arithmetic progressions. Along the way, we obtain explicit formulas for moments of traces of Frobenius of elliptic curves over finite fields in arithmetic progressions and related moments of Hurwitz class numbers in arithmetic progressions, the distribution of which are of independent interest.