Arithmetic Biases for Binary Quadratic Forms

The prime number theorem for arithmetic progressions tells us that there are asymptotically as many primes congruent to $1 \bmod 4$ as there are congruent to $3 \bmod 4$. That being said, Chebyshev noticed that (numerically) there almost always seems to be slightly more primes congruent to $3$. This simple fact has a highly non-trivial explanation. Rubinstein and Sarnak proved that the assumption of some natural (yet still unproven) conjectures, there is a way to prove that there are more primes congruent to $3$ than congruent to $1$ more than half of the time (in an appropriate sense). Many other sets of integers demonstrate a bias towards a certain residue class modulo some number $q$. Recently, Gorodetsky showed that the sums of two squares exhibit a Chebyshev-type bias, and that in this case the conjectures one must assume to prove the existence of the bias are weaker. In this thesis, we present two papers which demonstrate some bias in arithmetic progressions for sets of integers that are represented by a given binary quadratic form. In Chapter 2, we examine a bias towards the zero residue class for the integers represented by binary quadratic forms. In many cases, we are able to prove that the bias comes from a secondary term in the associated asymptotic expansion (unlike Chebyshev's bias, which lives somewhere at the level of $O(x^{1/2+\epsilon})$.) In some other cases, we are unable to prove that a bias exists, even though it is present numerically. We then make a conjecture on the general situation which includes the cases we could not prove. Many interesting results on the distribution of the integers represented by a quadratic form are proven, and the paper finishes with some numerical data that is illustrative of the generic data for any quadratic form. In Chapter 3, we examine a different kind of bias. We ask for the distribution of pairs of sums of two squares in arithmetic progressions, i.e. how many numbers are the sum of two squares, congruent to $a \bmod q$, and are such that the next largest sum of two squares is congruent to $b \bmod q$. We prove that when $q \equiv 1 \bmod 4$, we have equidistribution among the $q^2$ possible pairs of residue classes. That being said, there exist bizarre numerical biases, most notably a negative bias towards repetition. The main purpose of the second paper is to provide a conjecture which explains the bias, via a secondary and tertiary term in the associated asymptotic expansion. We then support this conjecture with both numerical and theoretical evidence. The paper contains many partial results in the direction of the conjecture, as well as some theorems on the sums of two squares that are of independent interest. For example, we provide an integral representation for the number of integers not exceeding $x$ which are the sum of two squares. This integral representation is akin to $li(x)$ for primes, in that it has a $O(x^{1/2+\epsilon})$ error term under the Generalized Riemann Hypothesis

Using hyperelliptic curves to find positive polynomials that are not a sum of three squares in R(x, y)

This article deals with a quantitative aspect of Hilbert's seventeenth problem: producing a collection of real polynomials in two variables of degree 8 in one variable which are positive but are not a sum of three squares of rational fractions. As explained by Huisman and Mahe, a given monic squarefree positive polynomial in two variables x and y of degree in y divisible by 4 is a sum of three squares of rational fractions if and only if the jabobian variety of some hyperelliptic curve (associated to P) has an "antineutral" point. Using this criterium, we follow a method developped by Cassels, Ellison and Pfister to solve our problem : at first we show the Mordell-Weil rank of the jacobian variety J associated to some polynomial is zero (this step is done by doing a 2-descent), and then we check that the jacobian variety J has no antineutral torsion point.Comment: 63 pages, a proposition has been added (proposition 2.8

Sum of Two Squares - Pair Correlation and Distribution in Short Intervals

In this work we show that based on a conjecture for the pair correlation of integers representable as sums of two squares, which was first suggested by Connors and Keating and reformulated here, the second moment of the distribution of the number of representable integers in short intervals is consistent with a Poissonian distribution, where "short" means of length comparable to the mean spacing between sums of two squares. In addition we present a method for producing such conjectures through calculations in prime power residue rings and describe how these conjectures, as well as the above stated result, may by generalized to other binary quadratic forms. While producing these pair correlation conjectures we arrive at a surprising result regarding Mertens' formula for primes in arithmetic progressions, and in order to test the validity of the conjectures, we present numericalz computations which support our approach.Comment: 3 figure