Arxiv:2104.15004V2 [Math.NT] 21 May 2021 Eoe H Ubro Rm Atr Fteinteger the of Factors Words, Prime Other in of Multiplicity

Home , Liouville function

arXiv:2104.15004v2 [math.NT] 21 May 2021 eoe h ubro rm atr fteinteger the of factors words, prime other In of multiplicity. number the denotes where n utpiiis nntl fe.I hswr ease hslatter this answer we work this affirmative. the In in question often. infinitely multiplicities) ing ojcue1.1. Conjecture e,n n a enal opoei e!I re omk some make as to to order question In the yet! modify it could prove one to whether answer, able instead, been the has towards one progress no yes, a integers o n integer any for ojcue1.2. Conjecture 96]. p. [C65, in often. nee offiins hc snt oee,o h form the of however, not, c is which coefficients, integer sa nee and integer an is e od n phrases. and words Key 2010 h iuil ucini endas defined is function Liouville The asin ta.i CMS0 aetefloigconjecture. following the made [CFMRS00] in al. et Cassaigne o ie o-eointeger non-zero given a For hswsawae omo h olwn ojcuemd yChowla by made conjecture following the of form weaker a was This NIIEYMN INCAGSO THE OF CHANGES SIGN MANY INFINITELY λ ahmtc ujc Classification. Subject Mathematics nntl fe on often infinitely Abstract. ( n p hl adyayn ol ob httease eeis here answer the that doubt would anyone hardly While ? = ) IUIL UCINON FUNCTION LIOUVILLE − b o ahprime each for 1 and n eso htteLovlefunction Liouville the that show We Csagee l)If al.) et (Cassaigne Col)Let (Chowla) 2 g ( + x g saplnma ihitgrcecet.Then coefficients. integer with polynomial a is ) d n iayqartcfr,Lovlefnto,Pl equation. Pell function, Liouville form, quadratic binary ( 2 x NTASRINIVASAN ANITHA a nodnme fpiedvsr (count- divisors prime of number odd an has + ) X n 1. =1 x ∈ d Introduction o n o-eointeger non-zero any for λ λ Z ( [ sacmltl utpiaiefunction, multiplicative completely a is f x d f ( p ,then ], is , n ( 1 and x )= )) ea rirr oyoilwith polynomial arbitrary an be ) n 10 piay,1R9(secondary). 11R29 (primary), 11C08 f 2 λ ( o λ + λ 1 stkna 1. as taken is (1) x ( ( ( x ) n d f ) ∈ ( = ) ( . rm o nntl many infinitely for prime n Z hne ininfinitely sign changes ) [ x and ] − d x λ . 1) 2 hne sign changes + Ω( n f n d c ) ( ( hr Ω( where , one with counted x g ) ( x 6= )) b 2 ( g where ( x )) n k 2 ) 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äväinen [T20] proved Conjecture 1.1 for polynomials that factor into linear factors, 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 quadratic polynomial. However, this algorithm cannot be used for arbitrary quadratic polynomials. In our main theorem below we settle Conjecture 1.1 for all the quadratic 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 determine 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 ambiguous 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 negative 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 polynomials 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 deﬁned as the form (1, 0, 4 ) or (1, 1, 4 ) depending on whether d is even or odd, respectively. The class represented 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. Deﬁnition 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 ﬁeld Q(√d) is positive. Then one of the following occurs. (1) There exists a factorization d = ab with with 1

3. Construction of the integer M We begin this section with the following lemma, stated a little differ- ently from its original version, where only one negative sign for λ(f(n)) was required. Lemma 3.1. ([BCG13, Theorem 2.4]) Let f(x) = x2 + bx + c with b, c Z. Then if λ(f(n)) is equal to 1 infinitely often, then it changes sign∈ infinitely many times. − Lemma 3.2. Let d > 0 be an integer that is not a square. There are infinitely many integers n such that λ(n2 + d)= λ(d). Proof. It is well known that the Pell equation x2 dy2 = 1 has infinitely many solutions (x, y). For a solution (r, l), let −m = d + d2l2 = d(1 + dl2) = dr2. Observe that the form (m, 0, 1) represents d via the representation (1,dl). Thus there are infinitely− many representations (α, β) satisfying mα2 β2 = d, so that we may choose β as large as we please. We have β2 +−d = mα2 from which it follows that λ(β2 + d)= λ(m)= λ(dr2)= λ(d), and the lemma follows. Lemma 3.3. Let d be a square-free integer. If λ(n2 + d) changes sign infinitely often, then λ(n2 + dt2) also changes sign infinitely often for any integer t. Proof. The claim follows from the observation that λ(t2(n2 + d)) = λ((nt)2 + dt2)= λ(n2 + d). Lemma 3.4. If d = p is prime, then λ(n2 d) changes sign infinitely often. ± Proof. A well known fact is that if p 1 (mod 4) then both Pell equations y2 pk2 = 1 have infinitely many≡ solutions. Let n = dk. Then n2 d =−d(dk2 ±1) = dy2 and thus λ(n2 d) = λ(d) = 1 and the result± follows from± Lemma 3.1. Observe that± in the case of−n2 + d we used the positive Pell equation, which holds for any p. Hence it remains to consider the case n2 p with p 3 (mod 4). In this case the fundamental− unit≡ has positive norm. Using the Chi- nese remainder theorem and Dirichlet’s theorem of primes in arithmetic progressions, we can find primes e1 3 (mod 4) and e2 1 (mod 4) that satisfy the following: ≡ ≡ p p (1) e1 = e2 = 1. e1 (2) e2 = 1. − Let m = e1e2. Then Lemma 2.2 for d = mp applies; in particular, part 1 holds. Thus one of the forms (a, 0, b), where ab = mp is in the − 6 ANITHASRINIVASAN principal class, and hence in the principal genus. We will show that the only such form in the principal genus is (p, 0, m). To determine the generic characters of the form (a, 0, b) we will− use the integers − θ1 = 4a b or θ2 = a 4b that satisfy gcd(θ1θ2, 2mp) = 1 and are represented− by the form− in question. We will work with the generic characters modulo p, e1 and e2. θ2 e1 When a = e1 (and b = pe2) we have p = p = 1. Similarly − θ1 −e2 for the forms with a = pe1 and a = e1e2, we have p = p = 1, − θ2 e1e2 and p = p = 1 respectively. For the forms with a = e2 and − θ1 −pe1 a = pe2 we consider the character modulo e2, to get e2 = e2 = 1 for the former and θ1 = −e1 = 1 for the latter. − e2 e2 − We have eliminated above all forms (a, 0, b) with a = p from the principal genus (and hence from the principal− class). Thus6 the only form from (2.1) in the principal class is (p, 0, m) and therefore we have pk2 my2 = 1, and as before, taking n =− pk we get n2 p = p(pk2 1)− = pmy2 yielding λ(n2 p) = λ(pm) = 1 and again− the result− follows from Lemma 3.1. − − Theorem 3.5. Let d = p p p , where r 2 and p are primes with 1 2 ··· r ≥ i pr = 2 if d is even. Let m = m1m2 mr−1, where mi are primes. If r = 2, then m 5 (mod 8). For···r 3, m 1 (mod 8) for 1 ≡ ≥ i ≡ 1 i r 2 and mr−1 5 (mod 8). Let e1, e2 be primes that are≤ congruent≤ − to 1 and 3t ≡(mod 8) respectively, where t = 1 or 1. Moreover, if λ(d)− = 1, then t = 1. Suppose that the Legendre− − − symbols of pi modulo mi and ei are as given in the following table, where the plus and minus signs stand for 1 and 1, and s = t. − − pj ( ∗ ) m1 m2 m3 mr−2 mr−1 e1 e2 p ··· λ(d)s t 1 − − − ··· − − p2 + + + + λ(d)s λ(d)t p −+ + ···+ + λ(d)s λ(d)t 3 − ··· p4 + + + + λ(d)s λ(d)t . − ··· . ··· pr−1 + + + + λ(d)s λ(d)t p + + + ··· +− + r ··· − − Table 1

Additionally, assume that the primes mi and ei satisfy the following. INFINITELY MANY SIGN CHANGES OF THE LIOUVILLE FUNCTION 7

mi mi (1) e =1 for all i, j and m =1 for all i = j. j j 6 e1 e2 (2) e2 = t, e1 = 1. − Then for D = mde1e2 = ab, of all the forms given in (2.1), the only one that is in the principal genus is, (me1e2, 0, d) if t = 1 and (d, 0, me e ) if t = 1. − − 1 2 − Proof. We ﬁrst note the following for all i, from the table in the hypotheses, where the ﬁrst observation follows from looking at the columns of the table and the second one, the rows. d d (3.1) =1, = s. mi ei

p (3.2) i =1. me1e2 In the case when d is odd, the generic characters include the Legendre symbols modulo the primes mi, pi and ei. When D 3 (mod 4) we also have the character modulo 4. For even d, additionally≡ we have the characters η or δη depending on whether D 2 or 6 (mod 8). Recall that to determine the genus of a form we compute≡ the generic values of an integer θ represented by the form such that gcd(θ, 2D) = 1.

Claim 1. The forms (me1e2, 0, d) when t = 1 and (d, 0, me1e2) when t = 1 are in the principal− genus. − − Let θ = t(4me e d), θ = t(me e 4d). 1 1 2 − 2 1 2 − Note that when t = 1 both θ1 and θ2 are represented by the form (me e , 0, d), and when t = 1 both are represented by (d, 0, me e ). 1 2 − − − 1 2 We ﬁrst consider d odd. Then (θ1θ2, 2D) = 1, so we may use these integers to show that all the generic characters have value 1 for the forms in consideration. From equation (3.2) we have θ t me e 2 = 1 2 =1, pi pi pi noting that me1e2 t (mod 8). Next we have ≡ θ t d d 1 = − = =1 mi mi mi mi using (3.1) and as m 1 (mod 4). i ≡ 8 ANITHASRINIVASAN

Finally θ t d t 1 1 = − = − s ei ei ei ei ei using (3.1) again. The above value is 1 if t = 1 (and hence s = 1). If − t = 1 the value is again 1, as s = 1 and e1 e2 3 mod 4. −2 ≡ ≡ If d is even then θ2 tme1e2 t (mod 8) and hence the values for the generic characters≡η and δ are≡ both 1. When D dt 3 (mod 4) we also have the character δ modulo 4. ≡ ≡ Here θ1 dt 1 (mod 4), and hence δ(θ1) = 1. As all the generic values are≡ equal − ≡ to 1, the claim follows. Next we will show that none of the other ambiguous forms given in (2.1) is in the principal genus.

Claim 2. Of all the forms (a, 0, b), with ab = mde1e2 and a> 1, the only ones that are in the principal− genus are the ones given in Claim 1. Consider the form F =(R d , 0, R d ), where 1 1 − 2 2 R = R1R2 = me1e2, and d = d1d2. When d is odd let θ =4R d R d and θ = R d 4R d . 1 1 1 − 2 2 2 1 1 − 2 2 For d even, we choose θ = θ = R d R d . Both θ and θ are inte- 1 2 1 1 − 2 2 1 2 gers represented by the form (R1d1, 0, R2d2) and satisfy gcd(θ1θ2, 2D)= 1 and hence we will use these integers− to evaluate the generic values of F . Suppose that m R . If F is in the principal genus then 1| 1 θ R d d 1 = 2 2 = 2 =1. m1 −m1 m1 m1 Similarly if m R 1| 2 θ d 2 = 1 =1. m1 m1

d d1 d2 As m1 = 1 we have m1 = m1 = 1. Looking at the ﬁrst col- umn of Table 1 (in particular the minus signs), we conclude that either p p d or p p d . Using the same reasoning for the prime m , we 1 2| 1 1 2| 2 2 obtain that p1p3 divides either d1 or d2, so that combining with the conclusion above, we obtain that p1p2p3 divides either d1 or d2. Con- tinuing in this way with all the primes m3 mr−1, we obtain that either d d or d d and therefore ··· | 1 | 2 F =(R d, 0, R ) or (R , 0, R d). 1 − 2 1 − 2 INFINITELY MANY SIGN CHANGES OF THE LIOUVILLE FUNCTION 9

Consider the form (R d, 0, R ). Then 1 − 2 θ =4R d R and θ = R d 4R . 1 1 − 2 2 1 − 2 If e R and e R , then F is not in the principal genus as 2| 1 1| 2 θ R 1 e R /e 1 1 1 = − 2 = − 1 2 1 = − t = − t = 1, e2 e2 e2 e2 e2 e2 3t − where we have used assumptions 1. and 2. from the hypotheses, as well as the fact that e2 3t (mod 8). If e1e2 R1, again F is not in the principal genus as ≡ | θ R 1 1 = − 2 = − = 1. e1 e1 e1 − Next consider the case when e R . Suppose that e R . Then we have 2| 2 1| 1 θ e d R /e 2 = 1 1 1 = ts = 1, e2 e2 e2 e2 − using hypotheses 1. and 2. and (3.1). Assume now that e e R . Then 1 2| 2 θ R d 2 = 1 = s. e1 e1 e1 Therefore if s = 1 then this form is not in the principal genus. Sup- pose that s = 1 (and− hence t = 1). Then we have e e 3 (mod 8) − 1 2 ≡ and p2 = 1 and thus e1e2 − (3.3) θ R e e R /(e e ) R /(e e ) 1 = − 2 = − 1 2 2 1 2 = 2 1 2 . p2 p2 p2 p2 − p2

Now if p2 = 2, then d = 2p1 and m = m1, and the forms to consider here are (2p , 0, e e m) (in which case the claim holds), and 1 − 1 2 (2mp1, 0, e1e2). For the latter form consider θ = 8pm e1e2 5 (mod 8),− which implies that η(θ) = 1 and δ(θ) = 1, and− therefore≡ both characters η and δη have value −1, and hence the form is not in − the principal genus. We may assume now that p2 is odd. If F is in the principal genus then from (3.3) we have R /(e e ) p 2 1 2 = 2 = 1. p2 R2/(e1e2) − Looking at the second row in Table 1 we infer that m R , as we must 1| 2 choose the ﬁrst minus sign in the row corresponding to p2. Using an identical reasoning with the primes p3,p4 pr−1 we obtain that m ··· R2. Now in the case when d is odd, we may also consider the mr−1 | prime p , to obtain m R and hence m R , yielding the claimed form r r| 2 | 2 10 ANITHASRINIVASAN

(d, 0, me e ). In the case when d is even, as p = 2, we have the − 1 2 r characters corresponding to either η or δη. Consider θ = 4R1d R2. Then θ me1e2 5 (mod 8) (t = 1). Hence both the characters− η ≡ − mr−1 ≡ − or δη have value 1 and thus F is not in the principal genus. Now we turn to− the form (R , 0, R d). In this case we have 1 − 2 θ =4R R d and θ = R 4dR . 1 1 − 2 2 1 − 2 Suppose e1 R1 and e2 R2. Then using (3.1), 1. and 2. from the hypotheses we| have | θ R d e R /e d 1 = − 2 = 2 2 2 = s. e1 e1 − e1 e1 e1 Also θ R e 2 = 1 = 1 = t. e2 e2 e2 Therefore one of θ1 or θ2 is 1 and hence the form in consideration e1 e2 − is not in the principal genus. In the case when e R and e R we get 1| 2 2| 1 θ R e 2 = 1 = 2 = 1. e1 e1 e1 −

Hence we now assume that either R1 or R2 is divisible by e1e2. Suppose that R1 is divisible by e1e2. Note that e1e2 t (mod 4). If t = 1 then the form is not in the principal genus as ≡ − θ R d 1 = 2 = s2 e1e2 − e1e2 − When t = 1, we have for all i e e 1 2 = 1 pi − and thus θ R e e R /(e e ) R /(e e ) 2 = 1 = 1 2 1 1 2 = 1 1 2 . pi pi pi pi − pi To be in the principal genus the above value must be equal to 1 for all odd p , which means that R1 = 1. If r =2(m = m ), it follows that i e1e2 6 1 R1 = me1e2 and we have the desired form in the principal genus. We may assume now that r 3. If F is in the principal≥ genus then for the generic character corre- R1/e1e2 − − sponding to pr 1, we have p −1 = 1, which means that mr 2 R1 r − | (we need to choose the minus sign corresponding to mr−2 in the last but one row). Using the exact same reasoning with each prime p − , p r 2 ··· 1 INFINITELY MANY SIGN CHANGES OF THE LIOUVILLE FUNCTION 11

m we arrive at the fact that R1. In the case when d is odd, we mr−1 | also have that mr−1 R1 (using the last row) and hence our form is (me e , 0, d) and the| claim is true. 1 2 − In the case when d is even, we have the form (R/m − , 0, m − d). r 1 − r 1 Consider θ = R/mr−1 4mr−1d. Then θ R/mr−1 5 (mod 8) (t = 1) which means that− the characters η(θ≡) and ηδ(θ)≡ are both 1 and hence the form in question is not in the principal genus. − It remains to consider the case when R2 is divisible by e1e2. If the form is in the principal genus, then for all odd pi we have θ R p 2 = 1 = i =1. pi pi R1 Reasoning as above for each i = r, r 1, 2 (looking at the ith row), we get that m R if d is odd, giving the− form··· (1, 0, Rd) (which is not in | 2 − the list (2.1)). For d even as before we get the form (m − , 0, Rd/m − ), r 1 − r 1 and since mr−1 5 (mod 8), as argued above, we conclude that the form is not in the≡ principal genus. a−b Claim 3. The forms (2a, 2a, 2 ) for me1e2d = ab are not in the principal genus.

Note from Lemma 2.2 that this case occurs only when ab = me1e2d a−b ≡ 3 (mod 4). For the forms in question we consider θ = 2 . We have θ 4θ 2(a b) a b = = − = − = 1 mr−1 mr−1 mr−1 − mr−1 −

a−b since mr−1 5 (mod 8) and as mr−1 a or mr−1 b, we have =1 ≡ | | mr−1 (using (3.1) and statement 1. from the hypotheses).

Corollary 3.6. Let d be a square-free positive integer that is not prime. Then there exists a square-free positive integer M with λ(M)= λ(d) that satisfies one of the following. − (1) If λ(d)=1 then there are infinitely many integer solutions (y,k) and (x, n) to My2 dk2 =1 and dx2 Mn2 =1. (2) If λ(d) = 1 then− there are infinitely− many integer solutions (x, n) to dx−2 Mn2 =1. − Proof. For any square-free positive integer d, using the Chinese Re- mainder Theorem we may find integers mi and ei that satisfy all the conditions given in Theorem 3.5. To further ensure that these integers are primes, we may use Dirichlet’s theorem of primes in arithmetic progressions. 12 ANITHASRINIVASAN

We apply Theorem 3.5 with t = 1 in the ﬁrst case above and t = 1 for the second case (as required by± the theorem when λ(d)= 1). Note− that M = me e and λ(M)= λ(d). − 1 2 − Observe that as D = mde1e2 has a prime divisor congruent to 3 (mod 4), namely e1, the norm of the fundamental unit is 1. Therefore by Lemma 2.2 one of the forms given in (2.1) is in the principal class and hence in the principal genus. The result now follows from Theorem 3.5 which states that the only forms in the principal genus are (M, 0, d) when t =1 and (d, 0, M) when t = 1. The corollary now follows− as all forms in the principal− class represent− the integer 1.

4. Sign changes for λ(x2 d) ± In this section we will prove our main result, Theorem 1.3. Suppose that D = dt2, where d is square-free. From Lemma 3.3 if λ(n2 + d) changes sign infinitely often, then so does λ(n2 + D). Thus we may assume that d is square-free and positive when we consider polynomials x2 d. By Lemma 3.4 we may further assume that d is not prime. ± Consider n2 + d where d > 0. By Lemmas 3.1 and 3.2 we may assume that λ(d) = 1. From Corollary 3.6 we have an integer M such that there are infinitely many solutions (k,l) to Mk2 dl2 = 1 with λ(M) = λ(d). Taking n = dl we have n2 + d = d(dl2−+1) = dMk2. For n2 −d with d > 0, again Corollary 3.6 gives an integer M with λ(M) =− λ(d) such that there are infinitely many solutions (k,l) to Mk2 dl2−= 1. As above, if n = dl then n2 d = d(dl2 1) = dMk2. Therefore− we− have λ(n2 d) = λ(dM) =− 1 and hence− λ(n2 d) takes on the negative sign infinitely± often and− hence the result follow± s from Lemma 3.1.

References [BCG13] P. Borwein, S.K.K. Choi and H. Ganguly, Sign changes of the Liouville function on quadratics, Canad. Math. Bull. 56 (2013), pp. 251 – 257. [CFMRS00] J. Cassaigne, S. Ferenczi, C. Mauduit, J. Rivat and A. Sarkozy The Liouville function II, Acta Arithmetica XCV. 4 (2000), 343–359. [C65] S. Chowla, The Riemann hypothesis and Hilbert’s tenth problem Gordon and Breach, New York, 1965. [MS12] R. A. Mollin and A. Srinivasan, Pell equations: non-principal Lagrange criteria and central norms, Canadian Mathematical bulletin, 55 (2012), 774– 782. [R00] P. Ribenboim, My Numbers, My Friends, Popular Lectures on Number The- ory, Springer-Verlag, 2000. [S15] A. Srinivasan, Sign changes of the Liouville function on some irreducible quadratic polynomials, Journal of Combinatorics and Number Theory, 7.1 (2015). INFINITELY MANY SIGN CHANGES OF THE LIOUVILLE FUNCTION 13

[T20] J. Ter¨av¨ainen, On the Liouville function at polynomial arguments, arXiv:2010.07924v2

Department of Mathematics, Saint Louis University-Madrid campus, Avenida del Valle 34, 28003 Madrid, Spain