CULLEN NUMBERS IN SUMS OF TERMS OF RECURRENCE SEQUENCE N.K. MEHER AND S. S. ROUT Abstract. Let (Un)n≥0 be a fixed linear recurrence sequence of integers with order at least two, and for any positive integer ℓ, let ℓ 2ℓ + 1 be a Cullen number. Recently in · [3], generalized Cullen numbers in terms of linear recurrence sequence (Un)n≥0 under certain weak assumptions has been studied. However, there is an error in their proof. In this paper, we generalize their work, as well as our result fixes their error. In particular, for a given polynomial Q(x) Z[x] we consider the Diophantine equation ℓ ∈ Un1 + + Unk = ℓ x + Q(x), and prove effective finiteness result. Furthermore, we demonstrate··· our method· by an example. 1. Introduction Let r be a positive integer. The linear recurrence sequence (Un)n≥0 of order r is defined as U = a U + + a U (1.1) n 1 n−1 ··· r n−r where a ,...,a Z with a = 0 and U ,...,U are integers not all zero. 1 r ∈ r 6 0 r−1 The characteristic polynomial of Un is defined by t f(x) := xr a xr−1 a = (x α )mi Z[X] (1.2) − 1 −···− r − i ∈ i=1 Y arXiv:2010.10014v1 [math.NT] 20 Oct 2020 where α1,...,αt are distinct algebraic numbers and m1,...,mt are positive integers. Then Un (see e.g. Theorem C1 in part C of [14]) has a nice representation of the form t U = f (n)αn for all n 0, (1.3) n i i ≥ i=1 X where f (x) is a polynomial of degree m 1 (i = 1,...,t) and this representation is i i − uniquely determined. We call the sequence (Un)n≥0 simple if t = r. In this paper, we assume that t 2, and the characteristic polynomial f is irreducible over Q. Thus, all the roots α , (1≥ i r) of (1.2) are simple roots and hence f (n) in (1.3) are constants, i ≤ ≤ i 2010 Mathematics Subject Classification: Primary 11B39, Secondary 11J86. Keywords: Cullen numbers, Linear recurrence sequence, linear forms in logarithms, Diophantine equation. 1 CULLEN NUMBERS IN SUMS OF TERMS OF RECURRENCE SEQUENCE 2 say fi (because the degree of fi(n) would be at most mi 1=1 1 = 0) and hence (1.3) becomes − − r U = f αn for all n 0. (1.4) n i i ≥ i=1 X If α > α for all j with 2 j r, then we say that α is a dominant root of the | 1| | j| ≤ ≤ 1 sequence (Un)n≥0. The Cullen numbers are elements of the sequence (Cℓ)ℓ≥0, where the ℓ-th term of the ℓ sequence is given by Cℓ := ℓ 2 +1, with ℓ Z≥0. This sequence was first introduced by Father J. Cullen [5] and it· is also mentioned∈ in Guy’s book [7, Section B20]. In 1976, C. Hooley [8] proved that almost all Cullen numbers are composite. However, there is a conjecture that there are infinitely many Cullen primes. One of the Cullen prime having more than 2 million digits is C6679881. Further, we define the generalized Cullen numbers are the numbers of the form C = ℓ sℓ +1 ℓ,s · where ℓ 1 and s 2. Clearly, Cℓ,2 = Cℓ for all ℓ 1. For simplicity we call Cℓ,s as s-Cullen≥ numbers. ≥ ≥ The occurrence of Cullen numbers in recurrence sequence has been analyzed by various authors. For instance, Luca and Shparlinski [9] studied on the pseudoprime Cullen numbers and Berrizbeitia et. al., [2] investigated on Cullen numbers which are both Riesel and Sierpinski numbers. Further, Luca and St˘anic˘a [10] proved that there are only finitely many Cullen numbers in a binary recurrence sequence under some additional assumptions. Besides this, they showed that the largest Fibonacci number in the Cullen sequence is F4. Recently, Bilu et. al., [3] studied the occurrence of generalized Cullen numbers in a fixed linear recurrence sequences. In particular, they proved that there are finitely many solutions in integers (n, m, x) of the Diophantine equation G = m xm + T (x) (1.5) n · for a given polynomial T (x) Z[x] with some assumptions on the roots of characteristic ∈ polynomial of the given linear recurrence sequence (Gn) of order at least two. However, there is an error in their proof [3, Theorem 1]. For instance, consider the linear recurrence sequence of order three defined by the recurrence relation G =3G 3G +2G , n 0 n+3 n+2 − n+1 n ≥ with initial values G0 = 0,G1 = 1 and G2 = 1. The characteristic polynomial of Gn is x3 3x2 +3x 2 and its roots are 2, (1 √3i)/2. Here these roots satisfy all the technical− conditions− in [3, Theorem 1]. Taking± T (x)= 1 in (1.5), we get − G = m xm 1. (1.6) n · − CULLEN NUMBERS IN SUMS OF TERMS OF RECURRENCE SEQUENCE 3 The integer solutions of (1.6) are precisely (n, m, x) (6k +1, 1, 2), (6k +2, 1, 2) k Z ∈{ | ∈ ≥0} which shows that the conclusion in [3, Theorem 1] is false. 1.1. Main results. In this paper, for a given polynomial Q(x) Z[x] we study the following Diophantine equation ∈ U + + U = ℓ xℓ + Q(x) (1.7) n1 ··· nk · in non negative integers n1,...,nk,ℓ with n1 > n2 > > nk 0. Our main result is the following. ··· ≥ Theorem 1. Let (Un)n≥0 be a linear recurrence sequence of order at least two such that its characteristic polynomial is irreducible over Q and has a real dominant root α > 1 and let Q(x) Z[x] be a polynomial. Then there exists an effectively computable 1 ∈ constant C depending only on (Un)n≥0, and Q(x) such that the solutions (n1, n2,...,nk,ℓ) of equation (1.7) satisfy max n , n ,...,n ,ℓ <C(log x )k. { 1 2 k } | | Remark 1.2. We note that if k = 1 in (1.7), then we do not need the assumptions α1 > 1 and α1 is real in Theorem 1. Also, we obtain the conclusion in [3, Theorem 1]. Fibonacci sequence (Fn)n 0 is a well known recurrence sequence of order two which satisfies the recurrence relation≥ F = F + F , n 2 n n−1 n−2 ≥ with initial values F0 = 1 and F1 = 1. Thus, from (1.4) we have the Binet form αn βn Fn = − (1.8) √5 where α = (1+ √5)/2 and αβ = 1. From the well known Binet form, we deduce the − bound of Fn as αn−2 F αn−1. (1.9) ≤ n ≤ Our next theorem illustrates Theorem 1 for Fibonacci sequence. Theorem 2. If (n1, n2,ℓ) is a solutions of the Diophantine equation F + F = ℓ 2ℓ + 1 (1.10) n1 n2 · in non-negative integers n , n ,ℓ with n n 0, then 1 2 1 ≥ 2 ≥ max n , n ,ℓ < 7 1018. { 1 2 } × Remark 1.3. However, we expect that if (1.10) holds with n n 0, then 1 ≥ 2 ≥ (n , n ,ℓ) (1, 0, 0), (2, 0, 0), (4, 0, 1), (3, 1, 1), (3, 2, 1), (6, 1, 2), (6, 2, 2), (14, 6, 6) . 1 2 ∈{ } CULLEN NUMBERS IN SUMS OF TERMS OF RECURRENCE SEQUENCE 4 2. Auxiliary results Let η be an algebraic number of degree d with minimal polynomial d c xd + c xd−1 + + c = c X η(i) , 0 1 ··· d 0 − i=1 Y (i) where c0 is the leading coefficient of the minimal polynomial of η over Z and the η ’s are conjugates of η in C. We define the absolute logarithmic height of an algebraic number η as 1 d h(η)= log c + log max(1, η(i) ) . d | 0| | | i=1 ! X In particular, if η = p/q is a rational number with gcd(p, q) = 1 and q > 0, then h(η) = log max p , q . {| | } To prove our theorem, we use lower bounds for linear forms in logarithms to get a bound for max n1,...,nk,ℓ appearing in (1.7). Generically, we need the following general lower bound{ for linear} forms in logarithms due to Matveev [11, Theorem 2.2]. Lemma 2.1 ([11]). Let γ1,...,γs be real algebraic numbers and let b1,...,bs be non-zero rational integer numbers. Let D be the degree of the number field Q(γ1,...,γs) over Q and let Aj be real numbers satisfying A max Dh(γ ), log γ , 0.16 , j =1, . , s. (2.1) j ≥ { j | j| } Assume that B max b ,..., b and Λ := γb1 γbs 1. If Λ =0, then ≥ {| 1| | s|} 1 ··· s − 6 Λ exp 1.4 30s+3 s4.5 D2(1 + log D)(1 + log B)A A . | | ≥ − × × × 1 ··· s Lemma 2.2. Suppose that (Un)n≥0 has a real simple dominant root α1 with 1 <α1 Z n 6∈ and f1 is the constant coefficient of α1 defined in the formula (1.3). Set −1 Λ =1 ℓf −1xℓα−n1 1+ αn2−n1 + + αni−n1 i − 1 1 1 ··· 1 for all 2 i k. If Λ = 0, then there exists an index m with 2 m t such that ≤ ≤ i ≤ ≤ nk < κi, where m log(i·(|f ( )|/|f |)) 1 1 if α 1 log α1 m κi := (m) | | ≤ (2.2) log(i·(|f1 |/|f1|)) if αm > 1. log(α1/|αm|) | | Proof. Suppose that Λi = 0. This implies ℓxℓ = f (αn1 + + αni ) .