Largest Values of the Stern Sequence, Alternating Binary Expansions and Continuants
|
|
- Caren Hopkins
- 5 years ago
- Views:
Transcription
1 Journal of Integer Sequences, Vol. 0 (017), Article Largest Values of the Stern Sequence, Alternating Binary Expansions Continuants Rol Paulin Max-Planck-Institut für Mathematik Vivatsgasse 7 D-53111, Bonn Germany paulinrol@gmail.com Abstract We study the largest values of the rth row of Stern s diatomic array. In particular, we prove some conjectures of Lansing. Our main tool is the connection between the Stern sequence, alternating binary expansions, continuants. This allows us to reduce the problem of ordering the elements of the Stern sequence to the problem of ordering continuants. We describe an operation that increases the value of a continuant, allowing us to reduce the problem of largest continuants to ordering continuants of very special shape. Finally, we order these special continuants using some identities inequalities involving Fibonacci numbers. 1 Introduction The Stern sequence A00487 is defined as follows: s(0) = 0, s(1) = 1, s(n) = s(n) s(n+1) = s(n)+s(n+1) for every n 0. Stern s diatomic array consists of rows indexed by 0,1,,..., where if r 0, then the rth row is s( r ),s( r +1),...,s( r+1 ). Stern s diatomic array can also be constructed in the following way. Start with the 0th row 1,1. If r 1, then to construct the rth row, copy the previous row, between every two consecutive numbers x,y, write their sum x+y. This array was first studied by Stern [7]. Lehmer [4] 1
2 summarized several properties of this array. Recently Defant [1] gave upper bounds for the elements of the Stern sequence. For r 0 m 1, let L m (r) denote the mth largest distinct value of the rth row of Stern s diatomic array. If there are fewer than m distinct values in the rth row, then we just take L m (r) =. Lucas [5] has observed that the largest value in the rth row is L 1 (r) = F r+, where F n denotes the nth Fibonacci number. Lansing [3] determined the second third largest values L (r) L 3 (r), formulated the following conjectures about the L m (r) s. Her Conjecture 7 [3] says that if m 1 r 4m, then L m (r) = L m (r 1)+L m (r ). Her Conjecture 9 [3] says that if m r 4m 4, then m L m (r) = L m 1 (r) F r (4m 5) = F r+ F r (4j 5). The following theorem is our main result. It gives a formula for L m (r) for certain values of r m, it implies the two conjectures of Lansing stated above. Theorem 1. If r Z 0, then {L 1 (r),...,l r (r)} = {F r+ F i F j ; i,j Z 0, i+j = r 1}. More explicitly, if 1 m r, then where j= L m (r) = F r+ F m b F r m+1+b, { 0, if m r+3 or r; 4 b = b(m,r) = 1, if m > r+3 r. 4 We show now that Theorem 1 implies the two conjectures stated above. Proof of Conjecture 7 [3]. Let m 1 r 4m. Then m (r 1)+3, so L 4 m (r) = F r+ F m F r m+1 L m (r 1) = F r+1 F m F r m by Theorem 1. If r 4m 1, then m (r )+3, while if r = 4m, then r, so either way L 4 m (r ) = F r F m F r m 1. The conjecture now follows from F r+ F m F r m+1 = (F r+1 F m F r m )+(F r F m F r m 1 ). Proof of Conjecture 9 [3]. It is enough to prove L m 1 (r) L m (r) = F r (4m 5), because L 1 (r) = F r+. Now m 1 r+3, either r = 4m 4, or m r+3. So 4 4 L m 1 (r) = F r+ F m 4 F r m+3 L m (r) = F r+ F m F r m+1 by Theorem 1. Hence L m 1 (r) L m (r) = F m F r m+1 F m 4 F r m+3 = ( 1) m 4 F F r (4m 5) = F r (4m 5) by Lemma 3.
3 Here is a brief description of the contents of the paper. In Section we state some basic results about Fibonacci numbers, alternating binary expansions continuants. In Section 3 we describe the connection between the Stern sequence, alternating binary expansions continuants. Using this description we reduce the problem of comparing the elements of the Stern sequence to the problem of comparing continuants, which is the subject of Section 4. (For earlier work on comparing continuants, see Ramharter s paper [6].) Using some identities involving Fibonacci numbers, we finish the proof of Theorem 1 in Section 5. Finally, in Section 6 we discuss possible extensions of our results. Preliminaries In this section we introduce some notation, state some basic results about Fibonacci numbers, alternating binary expansions continuants. Let F n denote the nth Fibonacci number for every n Z. So F 0 = 0, F 1 = 1, F n = F n 1 +F n for every n Z. Note ( ) Fn+1 F n F n F n 1 that ( ) n = the Fibonacci numbers. for every n Z. The following basic lemma describes the sign of Lemma. If n Z, then F n = ( 1) n+1 F n. Hence = 0, if n = 0; F n > 0, if n > 0 or n; < 0, if n < 0 n. Proof. The first part is easy to check by induction on n, the second part follows from the first part. The following lemma describes a useful identity, which allows us to compare F i F j s with fixed i+j. Lemma 3. If i,j,k,l Z i+j = k +l, then F i F j F k F l = ( 1) k F i k F j k. Hence if i+j = k +l, then F i F j = F k F l if only if {i,j} = {k,l}. Proof. If n,i,j Z, then F n+i F n+j F n F n+i+j = ( 1) n F i F j. Dickson [, p. 404] attributes this identity to A. Tagiuri. Substituting k, i k j k into n, i j, we obtain the stated identity. To prove the second part, note that by Lemma, if n Z, then F n = 0 if only if n = 0. 3
4 The following lemma describes the ordering of F i F j s with i,j 0 i+j fixed. We need this result to prove the second half of Theorem 1. Lemma 4. Let n Z 0, then the set {F i F j ; i,j Z 0, i+j = n} has cardinality n+1, if m {1,..., n+1 }, then the mth smallest element of this set is F m c F n (m c), where { 0, if m n+4 or n; 4 c = 1, if m > n+4 n. 4 Proof. ThelastpartofLemma3impliesthatthecardinalityis n+1. Form {1,..., n+1 } let c(m) be defined as c in the statement above, let u(m) = m c(m) v(m) = n (m c(m)). Then u(m),v(m) 0 u(m) + v(m) = n, so F u(m) F v(m) is an element of the set. Let 1 m < m n+1. All we need to prove is that F u(m) F v(m) < F u(m )F v(m ). The difference is by Lemma 3. Here F u(m )F v(m ) F u(m) F v(m) = ( 1) u(m) F u(m ) u(m)f v(m ) u(m) u(m ) u(m) = (m m) c(m )+c(m) 1 > 0, so F u(m ) u(m) > 0. Therefore we need to prove that ( 1) c(m) F v(m ) u(m) > 0. First suppose that n. Then c(m) = c(m ) = 0, so v(m ) u(m) = n (m + m ) is odd, hence ( 1) c(m) F v(m ) u(m) > 0 by Lemma. So let n. Suppose that m > n+4. Then c(m) = 4 c(m ) = 1, m > n+4 = 4 n+, so 4 m 1 n+ n+ > n, hence v(m ) u(m) = n (m +m 3) n (m+1 3) = n 4(m 1) < 0. Thus ( 1) c(m) F v(m ) u(m) > 0 by Lemma. Finally, let m n+4. Then c(m) = 0. If 4 m > n+4, then 4 c(m ) = 1 v(m ) u(m), so F v(m ) u(m) > 0. If m n+4, then 4 c(m ) = 0 4m 4 n, so v(m ) u(m) = n (m +m ) n (m 3) > n (4m 4) 0, hence F v(m ) u(m) > 0. Now we turn to the discussion of alternating binary expansions. For d,l 0 Z 0, l 1,...,l d Z 1 we define A(l 0,...,l d ) = d ( 1) d i l 0+ +l i. i=0 We call this an alternating binary expansion. The following lemma gives a bound for A(l 0,...,l d ). 4
5 Lemma 5. If d,l 0 Z 0 l 1,...,l d Z 1, then If d > 0, then A(l 0,...,l d ) < l 0+ +l d. l 0+ +l d 1 A(l 0,...,l d ) l 0+ +l d. Proof. We prove by induction on d. For d = 0 this is trivial, so suppose that d 1 that the statement is true for smaller values of d. Let k i = l 0 + +l i for every i {0,1,...,d}. Then 0 k 0 < k 1 < < k d, A(l 0,...,l d ) = k d k d 1 + k d + ( 1) d k 0 = k d A(l0,...,l d 1 ). Here 0 < k d 1 1 A(l 0,...,l d 1 ) k d 1 k d 1 by the induction hypothesis, so k d 1 A(l 0,...,l d ) < k d. The following lemma describes the number of alternating binary expansions of a positive integer. Lemma 6. Every n Z 1 has exactly two alternating binary expansions, exactly one of these has the form n = A(l 0,1,l,...,l d ), where l 0 Z 0 d,l,...,l d Z 1. If n is a power of, then d = 1 the other expansion is n = A(l 0 ), while otherwise d the other expansion is A(l 0,l +1,l 3,...,l d ). Proof. It is easy to check that A(l 0,1) = A(l 0 ) = l 0 A(l 0,1,l,...,l d ) = A(l 0,l + 1,l 3,...,l d ) for d. Hence it is enough to prove that every n Z 1 has exactly one alternating binary expansion of the form n = A(l 0,...,l d ) such that d 1 l 1 = 1. We prove by induction on n. Let k be the unique positive integer such that k 1 n < k. Let k i = l 0 + +l i for i {0,...,d}. Then k d n < k d by Lemma 5, so kd = k. Moreover n = k A(l 0,...,l d 1 ), so n = A(l 0,...,l d 1 ) = k n. If d = 1, then l 0 = k 1 n = A(l 0,1) = k 1. Now let d. Then A(l 0,...,l d 1 ) < k d 1 k 1 by Lemma 5, so k 1 < n < k n < k 1 < n. By the induction hypothesis, there is a unique expansion n = A(l 0,...,l d 1 ) with l 1 = 1, where furthermore l 0 + +l d 1 k 1, because n < k 1. Then l d = k (l 0 + +l d 1 ) Z 1 is also determined. Now we will recall some basic facts about continuants. Continuants are polynomials in several variables, which come up often when working with continued fractions. We define the dth continuant K d (X 1,...,X d ) Z[X 1,...,X d ] for every d Z 0, by the following recursion: K 0 = 1, K 1 (X 1 ) = X 1, K d (X 1,...,X d ) = X d K d 1 (X 1,...,X d 1 )+K d (X 1,...,X d ) for every d. We can safely write K(X 1,...,X d ) instead of K d (X 1,...,X d ), because d is anyway determined by the number of variables. If X = (X 1,...,X d ), then we will also use the notation K(X) = K(X 1,...,X d ). The continuants are related to continued fractions by the following identity: [a 0,a 1,...,a d ] = a a a d = K(a 0,...,a d ) K(a 1,...,a d ) 5
6 for every d 0. The following lemma gives maybe the most practical description of continuants, using matrices. Lemma 7. If d, then ( ) ( ) Kd (X 1,...,X d ) K d 1 (X 1,...,X d 1 ) X1 1 = K d 1 (X,...,X d ) K d (X,...,X d 1 ) 1 0 ) ( Xd 1 1 0). So if d 0, then K d (X 1,...,X d ) = M 1,1, where M = ( X Proof. This easily follows from the defining recursion by induction on d. The continuants have the following symmetry property. Lemma 8. K(X 1,...,X d ) = K(X d,...,x 1 ) for every d 0. Proof. Let M = ( ) ( X 1 1 Xd ), then M T = ( ) X d 1 T ( X1 ) 1 T ( = Xd ) ( 1 X ), hence K(X d,...,x 1 ) = (M T ) 1,1 = M 1,1 = K(X 1,...,X d ) by Lemma 7. ( ) Xd The following lemma states a few simple identities involving continuants. Lemma 9. If d 1, then If d, then If d 1, then K(X 1,...,X d ) = K(X 1 1,X,...,X d )+K(X,...,X d ). K(1,X,...,X d ) = K(X,...,X d )+K(X 3,...,X d ). K(1,X 1,X,...,X d ) = K(X 1 +1,X,...,X d ) K(X 1,...,X d 1,X d,1) = K(X 1,...,X d 1,X d +1). Proof. The identities are trivial for d = 1, so assume that d. Using Lemma 8 the defining recursion of the continuants, we obtain Substituting X 1 1 into X 1, we get K(X 1,...,X d ) = X 1 K(X,...,X d )+K(X 3,...,X d ). K(X 1 1,X,...,X d ) = (X 1 1)K(X,...,X d )+K(X 3,...,X d ). These two equations immediately imply the first part of the lemma. Substituting 1 into X 1 in the first equation, we obtain the second part of the lemma. The fourth identity follows from the third one by Lemma 8. Finally, K(X 1 +1,X,...,X d ) = K(X 1,...,X d )+K(X,...,X d ) = K(1,X 1,...,X d ) by the first two parts of the lemma. 6
7 3 Connecting the Stern sequence, alternating binary expansions continuants The following proposition describes the connection between the Stern sequence, alternating binary expansions continuants. This result plays a central role in this paper: it allows us to reduce the problem of ordering the elements of the Stern sequence to the problem of ordering continuants. Proposition 10. If d,l 0 Z 0 l 1,...,l d Z 1, then s(a(l 0,l 1,...,l d )) = K(l 1,...,l d ). Proof. We prove by induction on l 0 + +l d. So let S Z 0, suppose the statement is true if l l d < S. Now let l l d = S. If l 0 > 0, then A(l 0,l 1,...,l d ) = l 0 A(0,l 1,...,l d ), so s(a(l 0,l 1,...,l d )) = s(a(0,l 1,...,l d )) = K(l 1,...,l d ) by the induction hypothesis. So assume that l 0 = 0. Letk i = l 0 + +l i foreveryi {0,...,d}, letn = A(l 0,l 1,...,l d ) = d i=0 ( 1)d i k i. Note that k 0 = l 0 = 0, so k 1 = l 1. Here n > 0 by Lemma 5, n is odd, so n = m+1 for some m Z 0. If d = 0, then n = 1, s(1) = 1 = K(). So let d 1. First suppose that l 1. If d is even, then m = A(l 1 1,l,...,l d ) m+1 = A(0,l 1 1,l,...,l d ), while if d is odd, then m+1 = A(l 1 1,l,...,l d ) m = A(0,l 1 1,l,...,l d ). (Note that l ) So either way we get s(n) = s(m)+s(m+1) = s(a(0,l 1 1,l,...,l d ))+s(a(l 1 1,l,...,l d )) = K(l 1 1,l,...,l d )+K(l,...,l d ) = K(l 1,...,l d ) using the induction hypothesis Lemma 9. Now suppose that l 1 = 1. If d = 1, then n = A(0,1) = 1 s(n) = 1 = K(1). So let d. If d is odd, then m = A(l,...,l d ) m + 1 = A(0,l,...,l d ), while if d is even, then m+1 = A(l,...,l d ) m = A(0,l,...,l d ). So either way we get s(n) = s(m)+s(m+1) = s(a(0,l,...,l d ))+s(a(l,...,l d )) = K(l,...,l d )+K(l 3,...,l d ) = K(1,l,...,l d ) = K(l 1,...,l d ) using the induction hypothesis Lemma 9. For r Z let us define E r = {(l 1,...,l d ); d Z 1,l 1,...,l d Z 1, l 1 = l d = 1, l 1 + +l d = r +1} E r = {(l 1,...,l d ); d Z 1,l 1,...,l d Z 1, l 1 = l d = 1, l 1 + +l d r +1}. Using Lemmas 5, 6 Proposition 10, we obtain the following corollary. 7
8 Corollary 11. If r Z 0, then the set of values of the rth row of Stern s diatomic array is {s(n); r n r+1 } = {K(l); l E r}. Proof. Suppose that l E r. Let l 0 = r +1 r i=1 l i n = A(l 0,...,l d ). Then r n r+1 s(n) = K(l)byLemma5Proposition10. Sothelefthsidecontainstheright h side. Conversely, let n { r,..., r+1 }. If n = r or n = r+1, then s(n) = 1 = K(1). So suppose that r < n < r+1. According to Lemma 6, n has an alternating binary expansion n = A(l 0,...,l d ) with d 1 l 1 = 1. Here l 1 + +l d l 0 + +l d = r+1 by Lemma 5, s(n) = K(l 1,...,l d ) by Proposition 10. So if l d = 1, then l = (l 1,...,l d ) E r s(n) = K(l). If l d > 1, then l = (l 1,...,l d 1,1) E r s(n) = K(l) = K(l ) by Lemma 9. So the right h side contains the left h side. This corollary implies that L m (r) is the mth largest distinct value in {K(l); l E r}. So we need to compare the continuants K(l), where l E r. 4 Comparing continuants Thefollowingpropositiondescribesasimpleoperationon(l 1,...,l d )thatincreasesk(l 1,...,l d ). This operation is our main tool in comparing continuants. Proposition 1. Let d,l 1,...,l d Z 1, j {1,...,d}, suppose that l j = u + v for some u,v Z 1. Then K(l 1,...,l d ) K(l 1,...,l j 1,u,v,l j+1,...,l d ), where equality holds if only if j = 1 u = 1, or j = d v = 1. Proof. Lemma 7 implies that where P = ( l we obtain ) ( lj K(l 1,...,l d ) = (P ( u+v )Q) 1,1 K(l 1,...,l j 1,u,v,l j+1,...,l d ) = (P ( u 1 1 0)( v 1 0)Q) 1 1,1, ) ( Q = lj+1 ) ( 1 ld ). Using ( u 1 1 0)( v 1 1 0) ( u+v ) = ( (u 1)(v 1) u 1 v 1 1 ) = ( u 1 1 )(v 1,1) = K(l 1,...,l j 1,u,v,l j+1,...,l d ) K(l 1,...,l d ) = (P ( u 1 1 )(v 1,1)Q) 1,1 = (P 1,1 (u 1)+P 1, )(Q 1,1 (v 1)+Q,1 ). Here P 1,1,P 1,,Q 1,1,Q,1,u 1,v 1 0, so 0. Note that detp,detq { 1,1}, since det( X ) = 1. So (P 1,1,P 1, ) (0,0) (Q 1,1,Q,1 ) (0,0). Hence = 0 if only if u = 1 P 1, = 0, or v = 1 Q,1 = 0. It is easy to see that P 1, = 0 if only if j = 1, similarly, Q,1 = 0 if only if j = d. 8
9 We introduce some notation. Let For r Z a Z 0 let h(l 1,...,l d ) = d (l i 1) = l 1 + +l d d. i=1 E r,a = {(l 1,...,l d ) E r ; h(l 1,...,l d ) = a} E r,a = {(l 1,...,l d ) E r; h(l 1,...,l d ) = a}. Then E r = a 0 E r,a = t r a 0 E t,a. For s,p 0,p 1,...,p s Z 0 let w p0,...,p s (X 1,...,X s ) = (1,...,1,X }{{} 1,1,...,1,X }{{},...,1,...,1,X }{{} s,1,...,1 }{{} p 0 p 1 p s 1 κ p0,...,p s (X 1,...,X s ) = K(w p0,...,p s (X 1,...,X s )). p s ) For s = 0 we simply write w p0 = (1,...,1) }{{} p 0 κ p0 = K(w p0 ). The idea is that starting from (l 1,...,l d ) E r, using the operation of Proposition 1 several times, also possibly increasing elements or adding new elements to (l 1,...,l d ), we can increase K(l 1,...,l n ) to K(w r+1 ). If we stop a bit earlier, we get the largest continuants. The precise statement is described in the following proposition. Proposition 13. If r Z 0 l E r \(E r,0 E r,1 ), then there is an m E r 1,0 E r, such that K(l) K(m). Proof. We will use several times that if u 1,...,u d Z 1, then K(u 1,...,u d ) K(u 1,...,u d,1), if u 1,...,u d Z 1 u i u i for every i, then K(u 1,...,u d ) K(u 1,...,u d). We prove by induction on h(l). If h(l) = 0, then l = w d for some d r, so we can take m = w r E r 1,0. If h(l) = 1, then l = w p0,p 1 () for some p 0,p 1 Z 1 with p 0 +p 1 r, so we can take m = w p0,r p 0 (3) E r,. Finally, let h(l), suppose that the statement is true for smaller values of h. Then there is a j {,...,d 1} such that l j. Let l = (l 1,...,l j 1,l j 1,1,l j+1,...,l d ), then l E r, K(l) K(l ) by Proposition 1. Moreover h(l ) = h(l) 1 1, so l / E r,0. If l / E r,1, then by the induction hypothesis there is an m E r 1,0 E r, such that K(l) K(l ) K(m). So suppose that l E r,1. Then l E r,, so we can take m = l. 9
10 5 Fibonacci identities Based on Proposition 13, our next goal is to calculate K(l) for l E r,0 E r,1 E r 1,0 E r,. If r 1, then E r,0 = {w r+1 }, E r 1,0 = {w r }, E r, = U r V r, where E r,1 = {w p0,p 1 (); p 0,p 1 Z 1, p 0 +p 1 = r 1}, U r = {w p0,p 1 (3); p 0,p 1 Z 1, p 0 +p 1 = r } V r = {w p0,p 1,p (); p 0,p Z 1, p 1 Z 0, p 0 +p 1 +p = r 3}. In general κ p0,...,p s (X 1,...,X s ) = M 1,1, where ) ( ) p 1 ( X ) ( X s )( ) ps. M = ( ) p ( 0 X ( ) Note that ( ) p Fp+1 F = p F p F p 1 for every p Z. Calculating the matrix products, we get κ p0 = F p0 +1, κ p0,p 1 () = F p0 +1F p1 +1 +F p0 +1F p1 +F p0 F p1 +1, κ p0,p 1 (3) = 3F p0 +1F p1 +1 +F p0 +1F p1 +F p0 F p1 +1, κ p0,p 1,p (,) =F p0 +1F p1 F p +F p0 F p1 +1F p +F p0 +1F p1 +1F p +F p0 +1F p1 1F p +1 +F p0 F p1 F p +1 +4F p0 +1F p1 F p +1 +F p0 F p1 +1F p +1 +4F p0 +1F p1 +1F p +1. In the following lemma we express these values in more useful forms. Lemma 14. If p 0,p 1,p Z 0, then κ p0,p 1 () = F p0 +p 1 +3 F p0 F p1 = F p0 +p 1 + +F p0 +p 1 +F p0 1F p1 1, κ p0,p 1 (3) = F p0 +p F p0 +p 1 +1 F p0 +p 1 F p0 F p1, κ p0,p 1,p (,) =(F p0 +p 1 +p +4 +F p0 +p 1 +p + F p0 +p 1 +p 4) ( F p1 (F p0 1F p 1 +3F p0 F p 1 +3F p0 1F p )+F p0 F p1 +1F p ). Proof. If i,j Z, then ( ) ( )( ) Fi+j+1 F i+j F i+j F i+j 1 = ( ) i+j = ( ) i ( ) j = Fi+1 F i Fj+1 F j F i F i 1 F j F j 1, hence F i+j = F i+1 F j +F i F j 1. Applying this identity twice, we get that F i+j+k = F i+j+1 F k + F i+j F k 1 = (F i+1 F j+1 + F i F j )F k + (F i+1 F j + F i F j 1 )F k 1 for i,j,k Z. Using these identities, one can express every term in the statement of the Lemma as a polynomial of F p0,f p0 +1,F p1,f p1 +1,F p,f p +1. Comparing the obtained polynomials, one can check the stated identities. The calculations could be done by h, but they are tedious. Instead we have used Mathematica [8] to carry out these symbolic calculations, this is done in the attached file. 10
11 Corollary 15. If r 6, then So if r 6, then with strict inequality for r 7. max{k(l); l E r,1 } < F r+ = κ r+1, min{k(l); l E r,1 } = κ 1,r () = F r+1 +F r 1, max{k(l); l U r } = κ,r 4 (3) = F r+1 +F r 1 F r 4, max{k(l); l V r } = κ,0,r 5 (,) = F r+1 +F r 1 F r 7. max{k(l); l E r 1,0 E r, } min{k(l); l E r,1 }, Proof. Let r 6. Recalling the description of E r,1, U r V r, we see that {K(l); l E r,1 } = {κ p0,p 1 (); p 0,p 1 Z 1, p 0 +p 1 = r 1}, {K(l); l U r } = {κ p0,p 1 (3); p 0,p 1 Z 1, p 0 +p 1 = r }, {K(l); l V r } = {κ p0,p 1,p (); p 0,p Z 1, p 1 Z 0, p 0 +p 1 +p = r 3}. Using Lemma 14 one can easily reduce the first part of the proposition to the following statements. If p 0,p 1 Z 1 p 0 + p 1 = r 1, then F p0 F p1 > 0 F p0 1F p If p 0,p 1 Z 1 p 0 + p 1 = r, then F p0 F p1 0. If p 0,p Z 1, p 1 Z 0 p 0 +p 1 +p = r 3, thenf p1 (F p0 1F p 1+3F p0 F p 1+3F p0 1F p )+F p0 F p1 +1F p 0. These statements follow from the facts that F n > 0 for n 1, F n 0 for n 1. Now we prove the last part. If l E r 1,0, then K(l) = κ r = F r+1 < F r+1 + F r 1. Since E r, = U r V r, the statement follows from F r+1 + F r 1 F r 4 < F r+1 + F r 1 F r+1 +F r 1 F r 7 F r+1 +F r 1. Note that here F r 7 > 0 if r 6 r 7. Now we are ready to prove our main result. Proof of Theorem 1. The second part of the theorem follows from the first part by Lemma 4. We prove now the first part. For r {0,1,,3,4,5} one could check the statement by h. The attached Mathematica file contains a program that does this. Suppose that r 6, let m 1. By Corollary 11, L m (r) is the mth largest distinct value in {K(l);l E r}. If l E r \(E r,0 E r,1 ), then K(l) min(k(l ); l E r,1 ) by Proposition 13 Corollary 15. Moreover {K(l); l E r,0 } = {F r+ } {K(l); l E r,1 } = {F r+ F i F j ; i,j Z 1, i+j = r 1} by Lemma 14. So {L 1 (r),...,l H (r)} = H, where Here H = r by Lemma 4. H = {F r+ F i F j ; i,j Z 0, i+j = r 1}. 11
12 6 Further research Using our results, it would not be hard to describe the exact positions where the first r largest values in the rth row of Stern s diatomic sequence appear. To determine L m (r) for 1 m r, we needed to calculate (sometimes) compare the values of K(l) for l E r,0 E r,1 E r,. To go a step further, i.e., to determine L m (r) for some m > r, we would probably need to calculate compare the values of K(l) for l 3 i=0 E r,i. For example, we have ordered {K(l); l E r,0 E r,1 }, but we have not yet ordered {K(l); l E r, }. Instead of studying Stern s diatomic array, which starts with the 0th row 1,1, we could study the following generalization. Start with the 0th row a,b, where a,b R, in each step construct a new row by copying the last row, writing between each two consecutive elements their sum. One could try to underst the largest values in the rth row of this array. 7 Acknowledgments The work presented here was carried out at the University of Salzburg, where I was supported by the Austrian Science Fund (FWF): P4574. References [1] C. Defant, Upper bounds for Stern s diatomic sequence related sequences, preprint, [] L. E. Dickson, History of the Theory of Numbers, Vol. I: Divisibility Primality. Chelsea Publishing Co., [3] J. Lansing, Largest values for the Stern sequence, J. Integer Seq., 17 (014), Article [4] D. H. Lehmer, On Stern s diatomic series, Amer. Math. Monthly, 36 (199), [5] E. Lucas, Sur les suites de Farey, Bull. Soc. Math. France, 6 (1878), [6] G. Ramharter, Extremal values of continuants, Proc. Amer. Math. Soc., 89 (1983), [7] M. Stern, Über eine zahlentheoretische Funktion, J. Reine Angew. Math., 55 (1858), [8] Wolfram Research, Inc., Mathematica, Version 10.0,
13 010 Mathematics Subject Classification: Primary 11A55; Secondary 11B39. Keywords: Stern sequence, alternating binary expansion, continuant. (Concerned with sequence A00487.) Received September ; revised version received November Published in Journal of Integer Sequences, December Return to Journal of Integer Sequences home page. 13
Transformations Preserving the Hankel Transform
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol 10 (2007), Article 0773 Transformations Preserving the Hankel Transform Christopher French Department of Mathematics and Statistics Grinnell College Grinnell,
More informationNotes on Continued Fractions for Math 4400
. Continued fractions. Notes on Continued Fractions for Math 4400 The continued fraction expansion converts a positive real number α into a sequence of natural numbers. Conversely, a sequence of natural
More informationA Proof of the Lucas-Lehmer Test and its Variations by Using a Singular Cubic Curve
1 47 6 11 Journal of Integer Sequences, Vol. 1 (018), Article 18.6. A Proof of the Lucas-Lehmer Test and its Variations by Using a Singular Cubic Curve Ömer Küçüksakallı Mathematics Department Middle East
More informationRefining the Stern Diatomic Sequence
Refining the Stern Diatomic Sequence Richard P. Stanley Massachusetts Institute of Technology Cambridge, MA 0139-4307 Herbert S. Wilf University of Pennsylvania Philadelphia, PA 19104-6395
More informationNEW CONSTRUCTION OF THE EAGON-NORTHCOTT COMPLEX. Oh-Jin Kang and Joohyung Kim
Korean J Math 20 (2012) No 2 pp 161 176 NEW CONSTRUCTION OF THE EAGON-NORTHCOTT COMPLEX Oh-Jin Kang and Joohyung Kim Abstract The authors [6 introduced the concept of a complete matrix of grade g > 3 to
More informationOn the Composite Terms in Sequence Generated from Mersenne-type Recurrence Relations
On the Composite Terms in Sequence Generated from Mersenne-type Recurrence Relations Pingyuan Zhou E-mail:zhoupingyuan49@hotmail.com Abstract We conjecture that there is at least one composite term in
More informationCHVÁTAL-ERDŐS CONDITION AND PANCYCLISM
Discussiones Mathematicae Graph Theory 26 (2006 ) 335 342 8 9 13th WORKSHOP 3in1 GRAPHS 2004 Krynica, November 11-13, 2004 CHVÁTAL-ERDŐS CONDITION AND PANCYCLISM Evelyne Flandrin, Hao Li, Antoni Marczyk
More informationMath 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction
Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationLegendre s Equation. PHYS Southern Illinois University. October 18, 2016
Legendre s Equation PHYS 500 - Southern Illinois University October 18, 2016 PHYS 500 - Southern Illinois University Legendre s Equation October 18, 2016 1 / 11 Legendre s Equation Recall We are trying
More informationREPRESENTING HOMOLOGY AUTOMORPHISMS OF NONORIENTABLE SURFACES
REPRESENTING HOMOLOGY AUTOMORPHISMS OF NONORIENTABLE SURFACES JOHN D. MCCARTHY AND ULRICH PINKALL Abstract. In this paper, we prove that every automorphism of the first homology group of a closed, connected,
More informationRANK AND PERIOD OF PRIMES IN THE FIBONACCI SEQUENCE. A TRICHOTOMY
RANK AND PERIOD OF PRIMES IN THE FIBONACCI SEQUENCE. A TRICHOTOMY Christian Ballot Université de Caen, Caen 14032, France e-mail: ballot@math.unicaen.edu Michele Elia Politecnico di Torino, Torino 10129,
More informationGENERALIZED FIBONACCI AND LUCAS NUMBERS OF THE FORM wx 2 AND wx 2 1
Bull. Korean Math. Soc. 51 (2014), No. 4, pp. 1041 1054 http://dx.doi.org/10.4134/bkms.2014.51.4.1041 GENERALIZED FIBONACCI AND LUCAS NUMBERS OF THE FORM wx 2 AND wx 2 1 Ref ik Kesk in Abstract. Let P
More informationTHE SUM OF DIGITS OF n AND n 2
THE SUM OF DIGITS OF n AND n 2 KEVIN G. HARE, SHANTA LAISHRAM, AND THOMAS STOLL Abstract. Let s q (n) denote the sum of the digits in the q-ary expansion of an integer n. In 2005, Melfi examined the structure
More informationOn integer solutions to x 2 dy 2 = 1, z 2 2dy 2 = 1
ACTA ARITHMETICA LXXXII.1 (1997) On integer solutions to x 2 dy 2 = 1, z 2 2dy 2 = 1 by P. G. Walsh (Ottawa, Ont.) 1. Introduction. Let d denote a positive integer. In [7] Ono proves that if the number
More informationarxiv: v2 [math.nt] 4 Jun 2016
ON THE p-adic VALUATION OF STIRLING NUMBERS OF THE FIRST KIND PAOLO LEONETTI AND CARLO SANNA arxiv:605.07424v2 [math.nt] 4 Jun 206 Abstract. For all integers n k, define H(n, k) := /(i i k ), where the
More informationMinimal order semigroups with specified commuting probability
Minimal order semigroups with specified commuting probability STEPHEN M. BUCKLEY Abstract. We determine the minimal order of a semigroup whose commuting probability equals any specified rational value
More informationCharacterization of 2 n -Periodic Binary Sequences with Fixed 2-error or 3-error Linear Complexity
Characterization of n -Periodic Binary Sequences with Fixed -error or 3-error Linear Complexity Ramakanth Kavuluru Department of Computer Science, University of Kentucky, Lexington, KY 40506, USA. Abstract
More informationOn p-blocks of symmetric and alternating groups with all irreducible Brauer characters of prime power degree. Christine Bessenrodt
On p-blocks of symmetric and alternating groups with all irreducible Brauer characters of prime power degree Christine Bessenrodt Institut für Algebra, Zahlentheorie und Diskrete Mathematik Leibniz Universität
More informationON QUADRAPELL NUMBERS AND QUADRAPELL POLYNOMIALS
Hacettepe Journal of Mathematics and Statistics Volume 8() (009), 65 75 ON QUADRAPELL NUMBERS AND QUADRAPELL POLYNOMIALS Dursun Tascı Received 09:0 :009 : Accepted 04 :05 :009 Abstract In this paper we
More informationA Digit Reversal Property for an Analogue of Stern s Sequence
arxiv:1709.05651v1 [math.nt] 17 Sep 2017 A Digit Reversal Property for an Analogue of Stern s Seuence Lukas Spiegelhofer Institute of Discrete Mathematics and Geometry Vienna University of Technology Wiedner
More informationDICKSON INVARIANTS HIT BY THE STEENROD SQUARES
DICKSON INVARIANTS HIT BY THE STEENROD SQUARES K F TAN AND KAI XU Abstract Let D 3 be the Dickson invariant ring of F 2 [X 1,X 2,X 3 ]bygl(3, F 2 ) In this paper, we prove each element in D 3 is hit by
More informationA CONGRUENTIAL IDENTITY AND THE 2-ADIC ORDER OF LACUNARY SUMS OF BINOMIAL COEFFICIENTS
A CONGRUENTIAL IDENTITY AND THE 2-ADIC ORDER OF LACUNARY SUMS OF BINOMIAL COEFFICIENTS Gregory Tollisen Department of Mathematics, Occidental College, 1600 Campus Road, Los Angeles, USA tollisen@oxy.edu
More informationCONGRUENCES CONCERNING LUCAS SEQUENCES ZHI-HONG SUN
Int. J. Number Theory 004, no., 79-85. CONGRUENCES CONCERNING LUCAS SEQUENCES ZHI-HONG SUN School of Mathematical Sciences Huaiyin Normal University Huaian, Jiangsu 00, P.R. China zhihongsun@yahoo.com
More information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
More informationSeries of Error Terms for Rational Approximations of Irrational Numbers
2 3 47 6 23 Journal of Integer Sequences, Vol. 4 20, Article..4 Series of Error Terms for Rational Approximations of Irrational Numbers Carsten Elsner Fachhochschule für die Wirtschaft Hannover Freundallee
More informationDeterminants: Introduction and existence
Math 5327 Spring 2018 Determinants: Introduction and existence In this set of notes I try to give the general theory of determinants in a fairly abstract setting. I will start with the statement of the
More informationDiophantine quadruples and Fibonacci numbers
Diophantine quadruples and Fibonacci numbers Andrej Dujella Department of Mathematics, University of Zagreb, Croatia Abstract A Diophantine m-tuple is a set of m positive integers with the property that
More information1. Introduction. Let P and Q be non-zero relatively prime integers, α and β (α > β) be the zeros of x 2 P x + Q, and, for n 0, let
C O L L O Q U I U M M A T H E M A T I C U M VOL. 78 1998 NO. 1 SQUARES IN LUCAS SEQUENCES HAVING AN EVEN FIRST PARAMETER BY PAULO R I B E N B O I M (KINGSTON, ONTARIO) AND WAYNE L. M c D A N I E L (ST.
More informationarxiv: v1 [math.gm] 1 Oct 2015
A WINDOW TO THE CONVERGENCE OF A COLLATZ SEQUENCE arxiv:1510.0174v1 [math.gm] 1 Oct 015 Maya Mohsin Ahmed maya.ahmed@gmail.com Accepted: Abstract In this article, we reduce the unsolved problem of convergence
More informationMATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.
MATH 4 Summer 011 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationNecessary and Sufficient Conditions for the Central Norm to Equal 2 h in the Simple Continued Fraction Expansion of 2 h c for Any Odd Non-Square c > 1
Necessary and Sufficient Conditions for the Central Norm to Equal 2 h in the Simple Continued Fraction Expansion of 2 h c for Any Odd Non-Square c > 1 R.A. Mollin Abstract We look at the simple continued
More informationarxiv: v1 [math.nt] 8 Jan 2014
A NOTE ON p-adic VALUATIONS OF THE SCHENKER SUMS PIOTR MISKA arxiv:1401.1717v1 [math.nt] 8 Jan 2014 Abstract. A prime number p is called a Schenker prime if there exists such n N + that p nandp a n, wherea
More informationChebyshev polynomials, quadratic surds and a variation of Pascal s triangle
Chebyshev polynomials, quadratic surds and a variation of Pascal s triangle Roland Bacher To cite this version: Roland Bacher. Chebyshev polynomials, quadratic surds and a variation of Pascal s triangle.
More informationSYMMETRY AND SPECIALIZABILITY IN THE CONTINUED FRACTION EXPANSIONS OF SOME INFINITE PRODUCTS
SYMMETRY AND SPECIALIZABILITY IN THE CONTINUED FRACTION EXPANSIONS OF SOME INFINITE PRODUCTS J MC LAUGHLIN Abstract Let fx Z[x] Set f 0x = x and for n 1 define f nx = ff n 1x We describe several infinite
More informationPRODUCTS THAT ARE POWERS. A mathematical vignette Ed Barbeau, University of Toronto
PRODUCTS THAT ARE POWERS. A mathematical vignette Ed Barbeau, University of Toronto This investigation was originally designed for school students to gain fluency with the factoring of positive integers
More informationNewton, Fermat, and Exactly Realizable Sequences
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 8 (2005), Article 05.1.2 Newton, Fermat, and Exactly Realizable Sequences Bau-Sen Du Institute of Mathematics Academia Sinica Taipei 115 TAIWAN mabsdu@sinica.edu.tw
More informationPolynomials of small degree evaluated on matrices
Polynomials of small degree evaluated on matrices Zachary Mesyan January 1, 2013 Abstract A celebrated theorem of Shoda states that over any field K (of characteristic 0), every matrix with trace 0 can
More informationCSC 344 Algorithms and Complexity. Proof by Mathematical Induction
CSC 344 Algorithms and Complexity Lecture #1 Review of Mathematical Induction Proof by Mathematical Induction Many results in mathematics are claimed true for every positive integer. Any of these results
More informationPOLYGONAL-SIERPIŃSKI-RIESEL SEQUENCES WITH TERMS HAVING AT LEAST TWO DISTINCT PRIME DIVISORS
#A40 INTEGERS 16 (2016) POLYGONAL-SIERPIŃSKI-RIESEL SEQUENCES WITH TERMS HAVING AT LEAST TWO DISTINCT PRIME DIVISORS Daniel Baczkowski Department of Mathematics, The University of Findlay, Findlay, Ohio
More informationarxiv: v1 [math.nt] 6 Apr 2018
THE GEOMETRY OF SOME FIBONACCI IDENTITIES IN THE HOSOYA TRIANGLE RIGOBERTO FLÓREZ, ROBINSON A. HIGUITA, AND ANTARA MUKHERJEE arxiv:1804.02481v1 [math.nt] 6 Apr 2018 Abstract. In this paper we explore some
More informationA Recursive Relation for Weighted Motzkin Sequences
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 8 (005), Article 05.1.6 A Recursive Relation for Weighted Motzkin Sequences Wen-jin Woan Department of Mathematics Howard University Washington, D.C. 0059
More informationALGEBRAIC PROPERTIES OF WEAK PERRON NUMBERS. 1. Introduction
t m Mathematical Publications DOI: 10.2478/tmmp-2013-0023 Tatra Mt. Math. Publ. 56 (2013), 27 33 ALGEBRAIC PROPERTIES OF WEAK PERRON NUMBERS Horst Brunotte ABSTRACT. We study algebraic properties of real
More informationA PERIODIC APPROACH TO PLANE PARTITION CONGRUENCES
A PERIODIC APPROACH TO PLANE PARTITION CONGRUENCES MATTHEW S. MIZUHARA, JAMES A. SELLERS, AND HOLLY SWISHER Abstract. Ramanujan s celebrated congruences of the partition function p(n have inspired a vast
More informationDiscrete Math, Spring Solutions to Problems V
Discrete Math, Spring 202 - Solutions to Problems V Suppose we have statements P, P 2, P 3,, one for each natural number In other words, we have the collection or set of statements {P n n N} a Suppose
More informationUnisequences and nearest integer continued fraction midpoint criteria for Pell s equation
Unisequences and nearest integer continued fraction midpoint criteria for Pell s equation Keith R. Matthews Department of Mathematics University of Queensland Brisbane Australia 4072 and Centre for Mathematics
More informationMINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS
MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS LORENZ HALBEISEN, MARTIN HAMILTON, AND PAVEL RŮŽIČKA Abstract. A subset X of a group (or a ring, or a field) is called generating, if the smallest subgroup
More informationPrimitive Matrices with Combinatorial Properties
Southern Illinois University Carbondale OpenSIUC Research Papers Graduate School Fall 11-6-2012 Primitive Matrices with Combinatorial Properties Abdulkarem Alhuraiji al_rqai@yahoo.com Follow this and additional
More informationYi Wang Department of Applied Mathematics, Dalian University of Technology, Dalian , China (Submitted June 2002)
SELF-INVERSE SEQUENCES RELATED TO A BINOMIAL INVERSE PAIR Yi Wang Department of Applied Mathematics, Dalian University of Technology, Dalian 116024, China (Submitted June 2002) 1 INTRODUCTION Pairs of
More informationOn Counting the Number of Tilings of a Rectangle with Squares of Size 1 and 2
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 20 (2017), Article 17.2.2 On Counting the Number of Tilings of a Rectangle with Squares of Size 1 and 2 Johan Nilsson LIPN Université Paris 13 93430
More informationWelsh s problem on the number of bases of matroids
Welsh s problem on the number of bases of matroids Edward S. T. Fan 1 and Tony W. H. Wong 2 1 Department of Mathematics, California Institute of Technology 2 Department of Mathematics, Kutztown University
More informationDepartment of Mathematics, Nanjing University Nanjing , People s Republic of China
Proc Amer Math Soc 1382010, no 1, 37 46 SOME CONGRUENCES FOR THE SECOND-ORDER CATALAN NUMBERS Li-Lu Zhao, Hao Pan Zhi-Wei Sun Department of Mathematics, Naning University Naning 210093, People s Republic
More informationOn a Generalization of the Coin Exchange Problem for Three Variables
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 9 (006), Article 06.4.6 On a Generalization of the Coin Exchange Problem for Three Variables Amitabha Tripathi Department of Mathematics Indian Institute
More informationNilpotency and the number of word maps of a finite group
Nilpotency and the number of word maps of a finite group arxiv:1704.08214v1 [math.gr] 26 Apr 2017 Alexander Bors September 20, 2018 Abstract For a finite group G and a non-negative integer d, denote by
More informationPowers of Two as Sums of Two Lucas Numbers
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 17 (014), Article 14.8.3 Powers of Two as Sums of Two Lucas Numbers Jhon J. Bravo Mathematics Department University of Cauca Street 5 No. 4-70 Popayán,
More informationTHE DENOMINATORS OF POWER SUMS OF ARITHMETIC PROGRESSIONS. Bernd C. Kellner Göppert Weg 5, Göttingen, Germany
#A95 INTEGERS 18 (2018) THE DENOMINATORS OF POWER SUMS OF ARITHMETIC PROGRESSIONS Bernd C. Kellner Göppert Weg 5, 37077 Göttingen, Germany b@bernoulli.org Jonathan Sondow 209 West 97th Street, New Yor,
More information(n = 0, 1, 2,... ). (2)
Bull. Austral. Math. Soc. 84(2011), no. 1, 153 158. ON A CURIOUS PROPERTY OF BELL NUMBERS Zhi-Wei Sun and Don Zagier Abstract. In this paper we derive congruences expressing Bell numbers and derangement
More informationq-counting hypercubes in Lucas cubes
Turkish Journal of Mathematics http:// journals. tubitak. gov. tr/ math/ Research Article Turk J Math (2018) 42: 190 203 c TÜBİTAK doi:10.3906/mat-1605-2 q-counting hypercubes in Lucas cubes Elif SAYGI
More informationStudy of some equivalence classes of primes
Notes on Number Theory and Discrete Mathematics Print ISSN 3-532, Online ISSN 2367-8275 Vol 23, 27, No 2, 2 29 Study of some equivalence classes of primes Sadani Idir Department of Mathematics University
More informationCIRCULAR CHROMATIC NUMBER AND GRAPH MINORS. Xuding Zhu 1. INTRODUCTION
TAIWANESE JOURNAL OF MATHEMATICS Vol. 4, No. 4, pp. 643-660, December 2000 CIRCULAR CHROMATIC NUMBER AND GRAPH MINORS Xuding Zhu Abstract. This paper proves that for any integer n 4 and any rational number
More informationTHE THERMODYNAMIC FORMALISM APPROACH TO SELBERG'S ZETA FUNCTION FOR PSL(2, Z)
BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 25, Number 1, July 1991 THE THERMODYNAMIC FORMALISM APPROACH TO SELBERG'S ZETA FUNCTION FOR PSL(2, Z) DIETER H. MAYER I. INTRODUCTION Besides
More informationarxiv: v2 [math.nt] 29 Jul 2017
Fibonacci and Lucas Numbers Associated with Brocard-Ramanujan Equation arxiv:1509.07898v2 [math.nt] 29 Jul 2017 Prapanpong Pongsriiam Department of Mathematics, Faculty of Science Silpakorn University
More informationPolynomial functions on upper triangular matrix algebras
Monatsh Math DOI 10.1007/s00605-016-1013-y Polynomial functions on upper triangular matrix algebras Sophie Frisch 1 Received: 30 May 2016 / Accepted: 1 December 2016 The Author(s) 2016. This article is
More informationTHE ZECKENDORF ARRAY EQUALS THE WYTHOFF ARRAY
Clark Kimberllng University of Evansville, Evansville, IN 47722 (Submitted February 1993) 1. INTRODUCTION It is well known that every n in the set N of positive integers is uniquely a sum of nonconsecutive
More informationPolynomials Characterizing Hyper b-ary Representations
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 21 (2018), Article 18.4.3 Polynomials Characterizing Hyper -ary Representations Karl Dilcher 1 Department of Mathematics and Statistics Dalhousie University
More informationThe lowest degree 0, 1-polynomial divisible by cyclotomic polynomial arxiv: v2 [math.nt] 15 Nov 2011
The lowest degree 0, 1-polynomial divisible by cyclotomic polynomial arxiv:1106.1271v2 [math.nt] 15 Nov 2011 A. Satyanarayana Reddy Abstract Let n be an even positive integer with at most three distinct
More informationInteger Sequences Avoiding Prime Pairwise Sums
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 11 (008), Article 08.5.6 Integer Sequences Avoiding Prime Pairwise Sums Yong-Gao Chen 1 Department of Mathematics Nanjing Normal University Nanjing 10097
More informationCollatz cycles with few descents
ACTA ARITHMETICA XCII.2 (2000) Collatz cycles with few descents by T. Brox (Stuttgart) 1. Introduction. Let T : Z Z be the function defined by T (x) = x/2 if x is even, T (x) = (3x + 1)/2 if x is odd.
More informationA lattice point problem and additive number theory
A lattice point problem and additive number theory Noga Alon and Moshe Dubiner Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel Abstract
More informationarxiv: v1 [math.co] 29 Nov 2018
ON THE INDUCIBILITY OF SMALL TREES AUDACE A. V. DOSSOU-OLORY AND STEPHAN WAGNER arxiv:1811.1010v1 [math.co] 9 Nov 018 Abstract. The quantity that captures the asymptotic value of the maximum number of
More informationOn The Discriminator of Lucas Sequences
On The Discriminator of Lucas Sequences Bernadette Faye Ph.D Student FraZA, Bordeaux November 8, 2017 The Discriminator Let a = {a n } n 1 be a sequence of distinct integers. The Discriminator is defined
More informationFactorization of integer-valued polynomials with square-free denominator
accepted by Comm. Algebra (2013) Factorization of integer-valued polynomials with square-free denominator Giulio Peruginelli September 9, 2013 Dedicated to Marco Fontana on the occasion of his 65th birthday
More informationReciprocity formulae for general Dedekind Rademacher sums
ACTA ARITHMETICA LXXIII4 1995 Reciprocity formulae for general Dedekind Rademacher sums by R R Hall York, J C Wilson York and D Zagier Bonn 1 Introduction Let B 1 x = { x [x] 1/2 x R \ Z, 0 x Z If b and
More informationProblem Set 5 Solutions
Problem Set 5 Solutions Section 4.. Use mathematical induction to prove each of the following: a) For each natural number n with n, n > + n. Let P n) be the statement n > + n. The base case, P ), is true
More information#A87 INTEGERS 18 (2018) A NOTE ON FIBONACCI NUMBERS OF EVEN INDEX
#A87 INTEGERS 8 (208) A NOTE ON FIBONACCI NUMBERS OF EVEN INDEX Achille Frigeri Dipartimento di Matematica, Politecnico di Milano, Milan, Italy achille.frigeri@polimi.it Received: 3/2/8, Accepted: 0/8/8,
More informationarxiv: v1 [math.nt] 4 Nov 2017
Weighted Mediants and Fractals arxiv:7.0475v [math.nt] 4 Nov 207 Dhroova Aiylam Tanya Khovanova MIT MIT dhroova@mit.edu tanyakh@yahoo.com November 7, 207 Abstract In this paper we study a natural generalization
More informationarxiv: v2 [math.nt] 9 Oct 2013
UNIFORM LOWER BOUND FOR THE LEAST COMMON MULTIPLE OF A POLYNOMIAL SEQUENCE arxiv:1308.6458v2 [math.nt] 9 Oct 2013 SHAOFANG HONG, YUANYUAN LUO, GUOYOU QIAN, AND CHUNLIN WANG Abstract. Let n be a positive
More informationMathematical Induction
Mathematical Induction MAT30 Discrete Mathematics Fall 018 MAT30 (Discrete Math) Mathematical Induction Fall 018 1 / 19 Outline 1 Mathematical Induction Strong Mathematical Induction MAT30 (Discrete Math)
More informationk 2r n k n n k) k 2r+1 k 2r (1.1)
J. Number Theory 130(010, no. 1, 701 706. ON -ADIC ORDERS OF SOME BINOMIAL SUMS Hao Pan and Zhi-Wei Sun Abstract. We prove that for any nonnegative integers n and r the binomial sum ( n k r is divisible
More informationC2 Sequences and Series
C Sequences and Series. June 00 qu. (i) Find and simplify the first four terms in the binomial expansion of ( + x) 0 in ascending powers of x. [4] Hence find the coefficient of x in the expansion of (
More informationPUTNAM TRAINING MATHEMATICAL INDUCTION. Exercises
PUTNAM TRAINING MATHEMATICAL INDUCTION (Last updated: December 11, 017) Remark. This is a list of exercises on mathematical induction. Miguel A. Lerma 1. Prove that n! > n for all n 4. Exercises. Prove
More informationON THE POSSIBLE QUANTITIES OF FIBONACCI NUMBERS THAT OCCUR IN SOME TYPES OF INTERVALS
Acta Math. Univ. Comenianae Vol. LXXXVII, 2 (2018), pp. 291 299 291 ON THE POSSIBLE QUANTITIES OF FIBONACCI NUMBERS THAT OCCUR IN SOME TYPES OF INTERVALS B. FARHI Abstract. In this paper, we show that
More informationThe generalized order-k Fibonacci Pell sequence by matrix methods
Journal of Computational and Applied Mathematics 09 (007) 33 45 wwwelseviercom/locate/cam The generalized order- Fibonacci Pell sequence by matrix methods Emrah Kilic Mathematics Department, TOBB University
More informationMyung-Hwan Kim and Byeong-Kweon Oh. Department of Mathematics, Seoul National University, Seoul , Korea
REPRESENTATIONS OF POSITIVE DEFINITE SENARY INTEGRAL QUADRATIC FORMS BY A SUM OF SQUARES Myung-Hwan Kim and Byeong-Kweon Oh Department of Mathematics Seoul National University Seoul 151-742 Korea Abstract.
More informationThe Collatz Problem and Analogues
2 3 47 6 23 Journal of Integer Sequences, Vol. (2008), Article 08.4.7 The Collatz roblem and Analogues Bart Snapp and Matt Tracy Department of Mathematics and Statistics Coastal Carolina University Conway,
More information198 VOLUME 46/47, NUMBER 3
LAWRENCE SOMER Abstract. Rotkiewicz has shown that there exist Fibonacci pseudoprimes having the forms p(p + 2), p(2p 1), and p(2p + 3), where all the terms in the products are odd primes. Assuming Dickson
More informationEdge Isoperimetric Theorems for Integer Point Arrays
Edge Isoperimetric Theorems for Integer Point Arrays R. Ahlswede, S.L. Bezrukov Universität Bielefeld, Fakultät für Mathematik Postfach 100131, 33501 Bielefeld, Germany Abstract We consider subsets of
More informationDiophantine triples in a Lucas-Lehmer sequence
Annales Mathematicae et Informaticae 49 (01) pp. 5 100 doi: 10.33039/ami.01.0.001 http://ami.uni-eszterhazy.hu Diophantine triples in a Lucas-Lehmer sequence Krisztián Gueth Lorand Eötvös University Savaria
More informationIntroduction to Lucas Sequences
A talk given at Liaoning Normal Univ. (Dec. 14, 017) Introduction to Lucas Sequences Zhi-Wei Sun Nanjing University Nanjing 10093, P. R. China zwsun@nju.edu.cn http://math.nju.edu.cn/ zwsun Dec. 14, 017
More information#A19 INTEGERS 17 (2017) A GENERALIZED STERN-BROCOT TREE
#A9 INTEGERS 7 (07) A GENERALIZED STERN-BROCOT TREE Dhroova Aiylam Massachusetts Institute of Technology, Cambridge, Massachusetts dhroova@mit.edu Received: 3//3, Revised: /3/6, Accepted: 5/3/7, Published:
More informationMACMAHON S PARTITION ANALYSIS IX: k-gon PARTITIONS
MACMAHON S PARTITION ANALYSIS IX: -GON PARTITIONS GEORGE E. ANDREWS, PETER PAULE, AND AXEL RIESE Dedicated to George Szeeres on the occasion of his 90th birthday Abstract. MacMahon devoted a significant
More informationOn a quantitative refinement of the Lagrange spectrum
ACTA ARITHMETICA 102.1 (2002) On a quantitative refinement of the Lagrange spectrum by Edward B. Burger Amanda Folsom Alexander Pekker Rungporn Roengpitya and Julia Snyder (Williamstown MA) 1. Introduction.
More informationAND RELATED NUMBERS. GERHARD ROSENBERGER Dortmund, Federal Republic of Germany (Submitted April 1982)
ON SOME D I V I S I B I L I T Y PROPERTIES OF FIBONACCI AND RELATED NUMBERS Universitat GERHARD ROSENBERGER Dortmund, Federal Republic of Germany (Submitted April 1982) 1. Let x be an arbitrary natural
More informationParabolas infiltrating the Ford circles
Bull. Math. Soc. Sci. Math. Roumanie Tome 59(07) No. 2, 206, 75 85 Parabolas infiltrating the Ford circles by S. Corinne Hutchinson and Alexandru Zaharescu Abstract We define and study a new family of
More informationCDM. Recurrences and Fibonacci. 20-fibonacci 2017/12/15 23:16. Terminology 4. Recurrence Equations 3. Solution and Asymptotics 6.
CDM Recurrences and Fibonacci 1 Recurrence Equations Klaus Sutner Carnegie Mellon University Second Order 20-fibonacci 2017/12/15 23:16 The Fibonacci Monoid Recurrence Equations 3 Terminology 4 We can
More informationTHE CLASSIFICATION OF PLANAR MONOMIALS OVER FIELDS OF PRIME SQUARE ORDER
THE CLASSIFICATION OF PLANAR MONOMIALS OVER FIELDS OF PRIME SQUARE ORDER ROBERT S COULTER Abstract Planar functions were introduced by Dembowski and Ostrom in [3] to describe affine planes possessing collineation
More informationCounting Palindromic Binary Strings Without r-runs of Ones
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 16 (013), Article 13.8.7 Counting Palindromic Binary Strings Without r-runs of Ones M. A. Nyblom School of Mathematics and Geospatial Science RMIT University
More informationSOME PROPERTIES OF THIRD-ORDER RECURRENCE RELATIONS
SOME PROPERTIES OF THIRD-ORDER RECURRENCE RELATIONS A. G. SHANNON* University of Papua New Guinea, Boroko, T. P. N. G. A. F. HORADAIVS University of New Engl, Armidale, Australia. INTRODUCTION In this
More informationDIFFERENTIAL POSETS SIMON RUBINSTEIN-SALZEDO
DIFFERENTIAL POSETS SIMON RUBINSTEIN-SALZEDO Abstract. In this paper, we give a sampling of the theory of differential posets, including various topics that excited me. Most of the material is taken from
More informationPHYS 301 HOMEWORK #5
PHY 3 HOMEWORK #5 olutions On this homework assignment, you may use Mathematica to compute integrals, but you must submit your Mathematica output with your assignment.. For f x = -, - < x
More informationAlmost fifth powers in arithmetic progression
Almost fifth powers in arithmetic progression L. Hajdu and T. Kovács University of Debrecen, Institute of Mathematics and the Number Theory Research Group of the Hungarian Academy of Sciences Debrecen,
More information