Arxiv:2104.15004V2 [Math.NT] 21 May 2021 Eoe H Ubro Rm Atr Fteinteger the of Factors Words, Prime Other in of Multiplicity
Total Page:16
File Type:pdf, Size:1020Kb
INFINITELY MANY SIGN CHANGES OF THE LIOUVILLE FUNCTION ON x2 + d ANITHA SRINIVASAN Abstract. We show that the Liouville function λ changes sign infinitely often on n2 + d for any non-zero integer d. 1. Introduction For a given non-zero integer d, is n2 + d prime for infinitely many integers n? While hardly anyone would doubt that the answer here is a yes, no one has been able to prove it yet! In order to make some progress towards the answer, one could modify the question to ask instead, whether n2 + d has an odd number of prime divisors (count- ing multiplicities) infinitely often. In this work we answer this latter question in the affirmative. The Liouville function is defined as λ(n)=( 1)Ω(n), where Ω(n) denotes the number of prime factors of the integer− n counted with multiplicity. In other words, λ is a completely multiplicative function, where λ(p)= 1 for each prime p and λ(1) is taken as 1. Cassaigne et− al. in [CFMRS00] made the following conjecture. Conjecture 1.1. (Cassaigne et al.) If f(x) Z[x] and f(x) = b(g(x))2 for any integer b and g(x) Z[x], then λ(f∈(n) changes sign6 infinitely often. ∈ arXiv:2104.15004v2 [math.NT] 21 May 2021 This was a weaker form of the following conjecture made by Chowla in [C65, p. 96]. Conjecture 1.2. (Chowla) Let f(x) be an arbitrary polynomial with integer coefficients, which is not, however, of the form c(g(x))2 where c is an integer and g(x) is a polynomial with integer coefficients. Then x λ(f(n)) = o(x). Xn=1 2010 Mathematics Subject Classification. 11C08 (primary), 11R29 (secondary). Key words and phrases. binary quadratic form, Liouville function, Pell equation. 1 2 ANITHASRINIVASAN Chowla also added the comment: “ If f(x)= x this is equivalent to the Prime Number Theorem. If the degree of f(x) is at least 2, this seems an extremely hard conjecture.” Conjecture 1.1 though far weaker than Chowla’s conjecture, has been proved only for some special cases. Several cases of specific quadratic polynomials have been dealt with by Cassaigne et al. [CFMRS00], Borwein, Choi and Ganguly [BCG13] and Srinivasan [S15]. Ter¨av¨ainen [T20] proved Conjecture 1.1 for polynomials that factor into linear fac- tors, for those with certain special quadratic factors, and for reducible cubics. Borwein, Choi and Ganguly [BCG13] gave a useful algorithm to show that the Liouville function changes sign infinitely often for any given quadratic polynomial, hence proving the conjecture for a fixed qua- dratic polynomial. However, this algorithm cannot be used for arbi- trary quadratic polynomials. In our main theorem below we settle Conjecture 1.1 for all the qua- dratic polynomials x2 + d. Theorem 1.3. Let f(x)= x2 +d where d =0. Then λ(n2 +d) changes sign infinitely often. 6 Our approach uses the theory of genera of binary quadratic forms. For every discriminant there is a set of assigned characters that deter- mine the genera of the forms. Each form belongs to a genus depending on its associated generic values. Now consider the form n2 + d with d> 0. Our main tool is the construction of a positive integer M that satisfies λ(M) = λ(d), and such that (M, 0, d) is the only ambigu- ous form (with first− coefficient greater than 1)− in the principal genus. We also ensure that the norm of the fundamental unit corresponding to the discriminant dM is positive. The positivity of this norm implies that there is an ambiguous form other than the identity form in the principal class and hence in the principal genus. As mentioned above, our choice of M forces this form to be (M, 0, d), giving us infinitely many solutions (x, l) to Mx2 dl2 = 1 (all− forms in the principal class represent the integer 1).− If we now take n = dl, then we have λ(n2 + d)= λ(d(dl2 +1)) = λ(dMx2)= 1. It follows that the nega- tive sign is attained infinitely often by λ(−n2 + d) and this is sufficient to conclude that there are infinitely many sign changes (Lemma 3.1). We remark here that our method does not work for quadratic poly- nomials not of the form x2 + d. For a general quadratic polynomial ax2 + bx + c of discriminant d, we may re-write ax2 + bx + c = m as (2ax + b)2 d =4am. Observe that X =2ax + b and b are of the same parity (as− are b and d). Furthermore, if a> 1 or b = 0, then we require 6 INFINITELY MANY SIGN CHANGES OF THE LIOUVILLE FUNCTION 3 X b (mod 2a), so that in the approach above, the integers l coming from≡ the solutions to Mx2 dl2 = 1 need to satisfy certain conditions. However in our case of x2 +−d, there are no restraints on the integers l. 2. The theory of genera Let d 0 or 1 mod 4 be an integer that is not a square A primitive≡ binary quadratic form f = (a, b, c) of discriminant d is a function f(x, y) = ax2 + bxy + cy2, where a, b, c are integers with b2 4ac = d and gcd(a, b, c) = 1. All forms considered here are primitive binary− quadratic forms and henceforth we shall refer to them simply as forms. Two forms f and f ′ are said to be equivalent, written as f f ′, if for ∼ α β ′ some A = SL (Z) we have f (x, y)= f(αx + βy,γx + δy). γ δ ∈ 2 The equivalence classes form an abelian group called the class group with group law given by composition of forms. −d 1−d The identity form is defined as the form (1, 0, 4 ) or (1, 1, 4 ) de- pending on whether d is even or odd, respectively. The class repre- sented by the identity form is called the principal class. The inverse of f =(a, b, c), denoted by f −1 is given by (a, b, c) or (c, b, a). A form f is said to represent an integer−m if there exist coprime integers x and y such that f(x, y)= m. It is easy to see that equivalent forms represent the same integers, as do a form f and its inverse f −1. A form (a, b, c) is said to be ambiguous if a divides b. It follows then that a divides d. Ambiguous classes have orders 1 or 2 in the class group. The assigned characters for all discriminants is given in [R00, Page 138]. Below, we list these characters only for discriminants 4d with d square-free, as this is the case we are interested in. Definition 2.1. (Assigned characters) Let D > 0 be a square-free integer and let r1,r2 rt be its distinct odd prime divisors. Let m be an integer such that··· gcd(m, 2D) = 1. For each 1 i t, let ≤ m≤−1 χ (m)=( m ) be a character modulo r . Let δ(m)=( 1) 2 and i ri i 2 m −1 − η(m)=( 1) 8 be characters modulo 4 and 8 respectively. The set of assigned− characters associated to D are given by the following rule: Let f be a form of discriminant D and m with gcd(2d, m)=1beany integer represented by f. Then the generic values assigned to f are the values of the assigned characters at m. The principal genus consists of all forms with all generic values equal to 1. Clearly the principal class belongs to the principal genus, as it represents the integer 1. It can be 4 ANITHASRINIVASAN Discriminant Assigned characters D =4d,d 1 (mod 4) χ1, χt D =4d,d ≡ 3 (mod 4) χ , ···χ , δ ≡ 1 ··· t D =4d,d 2 (mod 8) χ1, χt, η D =4d,d ≡ 6 (mod 8) χ , ···χ , δη ≡ 1 ··· t shown that the generic values for a given class of forms is independent of the integer m represented. The subject of the following lemma is a particular factorization of the discriminant that corresponds to the principal class, in the case when the fundamental unit has positive norm. The lemma is a slightly altered version of [MS12, Proposition 3.1], where we have added a remark that is pertinent to the problem at hand. Lemma 2.2. ([MS12, Proposition 3.1]) Let d be a positive integer that is not a square. Suppose that the norm of the fundamental unit of the quadratic field Q(√d) is positive. Then one of the following occurs. (1) There exists a factorization d = ab with with 1 <a<b such that one of the following equations has an integral solution (x, y). ax2 by2 = 1. − ± (2) There exists a factorization d = ab with 1 a < b and d 1, 2 (mod 4), such that one of the following equations≤ has an integral6≡ solution (x, y) with xy odd. ax2 by2 = 2. − ± Furthermore, for d = ab, exactly one of the following ambiguous forms is in the principal class, where the first set corresponds to part 1 above, and the second to part 2: a b (2.1) (a, 0, b) with 1 < a, or 2a, 2a, − with 1 a. − 2 ≤ Proof. Parts 1 and 2 are given in [MS12, Proposition 3.1]. If ax2 by2 = 1 holds, then clearly the form (a, 0, b) represents 1 and hence− is in the principal class. Similarly, if ax2 − by2 = 1, then (b, 0, a) is in the principal class.