On The Discriminator of Lucas Sequences
|
|
- Kory Reed
- 5 years ago
- Views:
Transcription
1 On The Discriminator of Lucas Sequences Bernadette Faye Ph.D Student FraZA, Bordeaux November 8, 2017
2 The Discriminator Let a = {a n } n 1 be a sequence of distinct integers. The Discriminator is defined as D a (n) = min{m : a 0,..., a n 1 are pairwise distinct modulo m}.
3 The Discriminator Example For a = {1, 2, 8, 14}, D a = 5.
4 The Discriminator Example For a = {1, 2, 8, 14}, D a = 5. For a = {1 2, 2 2, 3 2, 4 2, 5 2 }, D a = 10.
5 The Discriminator Problem Give an easy description or characterization of the Discriminator.
6 The Discriminator Problem Give an easy description or characterization of the Discriminator. Remark: D a (n) n.
7 Motivation: A problem in computer simulation Let S = {1 2, 2 2,..., n 2 } be a set of integers. Compute the square roots of its elements.
8 Motivation: A problem in computer simulation Let S = {1 2, 2 2,..., n 2 } be a set of integers. Compute the square roots of its elements. Solution: Take A be a 1 n 2 array with A(x) = x 1/2. For any value s S, A(s) is the square root of s.
9 Motivation: A problem in computer simulation Let S = {1 2, 2 2,..., n 2 } be a set of integers. Compute the square roots of its elements. Solution: Take A be a 1 n 2 array with A(x) = x 1/2. For any value s S, A(s) is the square root of s. modulo function: if 1 2, 2 2,..., n 2 are distinct modulo k, then letting A(r) = x 1/2 with r x mod k and 1 r k allow the same look up procedure to be performed.
10 Motivation: A problem in computer simulation Let S = {1 2, 2 2,..., n 2 } be a set of integers. Compute the square roots of its elements. Solution: Take A be a 1 n 2 array with A(x) = x 1/2. For any value s S, A(s) is the square root of s. modulo function: if 1 2, 2 2,..., n 2 are distinct modulo k, then letting A(r) = x 1/2 with r x mod k and 1 r k allow the same look up procedure to be performed.
11 History Theorem (Arnold, Benkoski, McCabe (1985)) If n > 4, and a = {1 2, 2 2,..., n 2 } D a (n) = min{m 2n : m = p or m = 2p with p an odd prime}.
12 History Bremser, Schumer and Washington (1990): for a cycle polynomial f = x d and d is odd, D f (n) = min{k n : f : Z/kZ Z/kZ is a permutation}
13 History Bremser, Schumer and Washington (1990): for a cycle polynomial f = x d and d is odd, D f (n) = min{k n : f : Z/kZ Z/kZ is a permutation} Moree and Mullen (1996): when f is a Dickson polynomial of degree coprime to 6.
14 On function taking only prime values Theorem (Zhi-Wei Sun, 2013) For n Z + let S(n) denote the smallest integer m > 1 such that those 2k(k 1) modulo m for k = 1,..., n are pairwise distinct. Then S(n) is the least prime greater than 2n 2.
15 On function taking only prime values Theorem (Zhi-Wei Sun, 2013) For n Z + let S(n) denote the smallest integer m > 1 such that those 2k(k 1) modulo m for k = 1,..., n are pairwise distinct. Then S(n) is the least prime greater than 2n 2. Fact S(n) is exactly the set of all prime numbers!
16 On function taking only prime values Theorem (Zhi-Wei Sun, 2013) For n Z + let S(n) denote the smallest integer m > 1 such that those 2k(k 1) modulo m for k = 1,..., n are pairwise distinct. Then S(n) is the least prime greater than 2n 2. Fact S(n) is exactly the set of all prime numbers! Remark The way to generate all primes via this theorem is simple in concept, but it has no advantage in algorithm. Nevertheless, it is of certain theoretical interest since it provides a surprising new characterization of primes.
17 Discriminator for non polynomial sequences Moree and Zumalacárregui(2016) : u(j) = 3j 5( 1) j 4, j = 1, 2, 3,... D u (n) := min{2 e, 5 f }, where e = log 2 (n) and f = log 5 (5n/4).
18 Discriminator for non polynomial sequences Moree and Zumalacárregui(2016) : u(j) = 3j 5( 1) j 4, j = 1, 2, 3,... D u (n) := min{2 e, 5 f }, where e = log 2 (n) and f = log 5 (5n/4). Ciolan and Moree(Preprint arxiv 2017): For every prime q 7, the discriminator of the family u q (j) = 3j q( 1) j+(q 1)/2, j = 1, 2, 3,... 4
19 Shallit s Conjecture In May 2016, Jeffrey Shallit posed the following conjecture. Conjecture: Given k 1, consider the recurrence with numbers determined by u k (n + 2) = (4k + 2)u k (n + 1) u k (n), u k (0) = 0, u k (1) = 1.
20 Shallit s Conjecture In May 2016, Jeffrey Shallit posed the following conjecture. Conjecture: Given k 1, consider the recurrence with numbers determined by u k (n + 2) = (4k + 2)u k (n + 1) u k (n), u k (0) = 0, u k (1) = 1. Then, for k 6, the discriminator D k (n) of the sequence u k (n) is the smallest number m n taken from the sets D k defined as.
21 Shallit s Conjecture In May 2016, Jeffrey Shallit posed the following conjecture. Conjecture: Given k 1, consider the recurrence with numbers determined by u k (n + 2) = (4k + 2)u k (n + 1) u k (n), u k (0) = 0, u k (1) = 1. Then, for k 6, the discriminator D k (n) of the sequence u k (n) is the smallest number m n taken from the sets D k defined as. D 1 = {2 i, i }. D 2 = {2 i, 3 2 i }. D 3 = {2 i 3 j }. D 4 = {2 i 5 j+1 }. D 5 = {2 i+1 3 j 5 l }. D 6 = {2 i+1 3 j 7 l }.
22 Case k = 1 Theorem (Moree, Luca, F. (2017)) Let v n be the smallest power of two such that v n n. Let w n be the smallest integer of the form 2 a 5 b satisfying 2 a 5 b 5n/3 with a, b 1. Then D 1 (n) = min{v n, w n }.
23 Case k = 1 Theorem (Moree, Luca, F. (2017)) Let v n be the smallest power of two such that v n n. Let w n be the smallest integer of the form 2 a 5 b satisfying 2 a 5 b 5n/3 with a, b 1. Then D 1 (n) = min{v n, w n }. Let M = { { m 1 : m log 5 } 1 log(6/5) } = {3, 6, 9, 12, 15,...}. log 2 log 2
24 Case k = 1 Theorem (Moree, Luca, F. (2017)) Let v n be the smallest power of two such that v n n. Let w n be the smallest integer of the form 2 a 5 b satisfying 2 a 5 b 5n/3 with a, b 1. Then D 1 (n) = min{v n, w n }. Let M = We have { { m 1 : m log 5 } 1 log(6/5) } = {3, 6, 9, 12, 15,...}. log 2 log 2 {D 1 (2), D 1 (3), D 1 (4),...} = {2 a 5 b : a 1, b M {0}}.
25 Case k = 2 Theorem (Moree, Luca, F. (2017)) Let e 0 be the smallest integer such that 2 e n and f 1 the smallest integer such that 3 2 f n. Then D 2 (n) = min{2 e, 3 2 f }.
26 Case k > 2 Theorem (Moree, Luca, F. (2017)) Put A k = { {m odd : if p m, then p k} if k 6 (mod 9); {m odd, 9 m : if p m, then p k} if k 6 (mod 9),
27 Case k > 2 Theorem (Moree, Luca, F. (2017)) Put A k = and B k = { {m odd : if p m, then p k} if k 6 (mod 9); {m odd, 9 m : if p m, then p k} if k 6 (mod 9), { {m even : if p m, then p k(k + 1)} if k 2 (mod 9); {m even, 9 m : if p m, then p k(k + 1)} if k 2 (mod 9).
28 Case k > 2 Theorem (Moree, Luca, F. (2017)) Put A k = and B k = { {m odd : if p m, then p k} if k 6 (mod 9); {m odd, 9 m : if p m, then p k} if k 6 (mod 9), { {m even : if p m, then p k(k + 1)} if k 2 (mod 9); {m even, 9 m : if p m, then p k(k + 1)} if k 2 (mod 9). Let k > 2. We have D k (n) min{m n : m A k B k }, with equality if the interval [n, 3n/2) contains an integer m A k B k and with at most finitely many n for which strict inequality holds.
29 Main Tools The main tools used for the proof of Shallit s conjecture are: properties of a binary recurrent sequence {u n } n 0,
30 Main Tools The main tools used for the proof of Shallit s conjecture are: properties of a binary recurrent sequence {u n } n 0, order of appearance z(m) of an integer m is the sequence u n, U 0, U 1,..., U z(m),...,
31 Main Tools The main tools used for the proof of Shallit s conjecture are: properties of a binary recurrent sequence {u n } n 0, order of appearance z(m) of an integer m is the sequence u n, U 0, U 1,..., U z(m),..., U i 0 (mod m), i [0, z(m) 1] but U z(m) 0 (mod m).
32 Method of the Proof Find an interval for the D u (n) : for example if 2 e is a discriminator, then 2 e n, and, D u (n) [n, 2n].
33 Method of the Proof Find an interval for the D u (n) : for example if 2 e is a discriminator, then 2 e n, and, D u (n) [n, 2n]. Find a form for an eligible or ineligible value of the discriminator: For example, we consider a 0, a 1,..., a n 1, with a 0 = 0. For an integer k to be a discriminant, z(k) n.
34 Method of the Proof Find a form for an eligible or ineligible value of the discriminator: For example, we consider a 0, a 1,..., a n 1, with a 0 = 0. For an integer k to be a discriminant, z(k) n.
35 Method of the Proof Find a form for an eligible or ineligible value of the discriminator: For example, we consider a 0, a 1,..., a n 1, with a 0 = 0. For an integer k to be a discriminant, z(k) n. Study the congruence relation U i U j (mod k).
36 Sketch of the Proofs The congruence U i U j (mod k) Consider the sequence U 0, U 1,..., U n 1.
37 Sketch of the Proofs The congruence U i U j (mod k) Consider the sequence U 0, U 1,..., U n 1. If k is a discriminator, then U i U j (mod k) for 0 i, j n 1
38 Sketch of the Proofs The congruence U i U j (mod k) Consider the sequence U 0, U 1,..., U n 1. If k is a discriminator, then U i U j (mod k) for 0 i, j n 1 Otherwise, (i, j) [0, n 1] such that U i U j (mod k). = k U i U j.
39 Some properties of Lucas recurrent sequences We consider the Lucas sequence {u n } n 0, with u 0 = 0, u 1 = 1 and u n+2 = ru n+1 + su n for all n 0, (1) where s = 1 and r := 4k + 2 are integers. Put = r 2 4 and assume that 0.
40 Some properties of Lucas recurrent sequences We consider the Lucas sequence {u n } n 0, with u 0 = 0, u 1 = 1 and u n+2 = ru n+1 + su n for all n 0, (1) where s = 1 and r := 4k + 2 are integers. Put = r 2 4 and assume that 0. Let (α, β) be the roots of the characteristic equation x 2 rx + 1 = 0 of the binary sequence {u n } n 0, then the so-called Binet formula u n = αn β n α β holds for all n 0. (2)
41 We let {v n } n 0 for the companion Lucas sequence of {u n } n 0 given by v 0 = 2, v 1 = r and v n+2 = rv n+1 v n. Its Binet formula is v n = α n + β n for all n 0. (3)
42 We let {v n } n 0 for the companion Lucas sequence of {u n } n 0 given by v 0 = 2, v 1 = r and v n+2 = rv n+1 v n. Its Binet formula is v n = α n + β n for all n 0. (3) Lemma Let i and j be two integers with the same parity i.e i j (mod 2). Then u i u j = u (i j)/2 v (i+j)/2.
43 We let {v n } n 0 for the companion Lucas sequence of {u n } n 0 given by v 0 = 2, v 1 = r and v n+2 = rv n+1 v n. Its Binet formula is v n = α n + β n for all n 0. (3) Lemma Let i and j be two integers with the same parity i.e i j (mod 2). Then u i u j = u (i j)/2 v (i+j)/2. Lemma (Bertrand s Postulate(1845)) For every natural number n > 3, there is a prime p satisfying n < p < 2n.
44 Index of appearance z(m) Lemma (Bilu, Hanrot, Voutier (2001).) The index of appearance z of the sequence U(k) has the following properties. i) If p (k), then z(p) = p. ii) If p (k), then z(p) p e, where e = ( (k) p ). iii) Let c = ν p (U z(p) (k)). Then z(p b ) = p max{b c,0} z(p). iv) If p U m (k), then z(p) m. v) If n = m 1 m s with m 1,..., m s pairwise coprime, then z(m 1 m s ) = lcm[z(m 1 ),..., z(m s )].
45 Steps of the Proof for k = 1 In this case, we consider the binary recurrent sequence {u n } n 0 given by u 0 = 0, u 1 = 1 and u n+1 = 6u n u n 1 for all n 0. Its first terms are 0, 1, 6, 35, 204, 1189, 6930, 40391, , , ,....
46 Steps of the Proof for k = 1 In this case, we consider the binary recurrent sequence {u n } n 0 given by u 0 = 0, u 1 = 1 and u n+1 = 6u n u n 1 for all n 0. Its first terms are 0, 1, 6, 35, 204, 1189, 6930, 40391, , , ,.... Result: D u (n) = min{2 e, 2 a 5 b }, with 2 a 5 b 5n/3.
47 Step 1: Structure of D 1 (n) Lemma Let m = D 1 (n) for some n > 1. Then i) m has at most one odd prime divisor. ii) If m is divisible by exactly one odd prime p, then e = ( 2 p ) = 1 and z(p) = (p + 1)/2. iii) If m is not a power of 2, then m can be written as 2 a p b with a, b 1 and p 5 (mod 8).
48 Step 1: Structure of D 1 (n) Lemma Let m = D 1 (n) for some n > 1. Then i) m has at most one odd prime divisor. ii) If m is divisible by exactly one odd prime p, then e = ( 2 p ) = 1 and z(p) = (p + 1)/2. iii) If m is not a power of 2, then m can be written as 2 a p b with a, b 1 and p 5 (mod 8). Lemma Assume that m = 2 a p b 1 1 is such that a 1, p 1 5 (mod 8) and z(p 1 ) = (p 1 + 1)/2. Then U i U j (mod m) holds if and only if i j (mod z(m)).
49 Proof Assume that D 1 (n) = m and write it as m = 2 a p b 1 1 pbr r, where the p i are distinct odd primes.
50 Proof Assume that D 1 (n) = m and write it as m = 2 a p b 1 1 pbr r, where the p i are distinct odd primes. If r 2, we obtain the inequality ( ) ( ) z(m) 2 a p b p b p1 + 1 pr + 1 k 1 r < m 2 2 2, (4)
51 Proof Assume that D 1 (n) = m and write it as m = 2 a p b 1 1 pbr r, where the p i are distinct odd primes. If r 2, we obtain the inequality ( ) ( ) z(m) 2 a p b p b p1 + 1 pr + 1 k 1 r < m 2 2 2, (4) it follows that the interval [z(m), 2z(m)) contains a power of 2, say 2 b < 2z(m) < m. But then since 2 b z(m) n, we get a contradiction.
52 Proof Assume that D 1 (n) = m and write it as m = 2 a p b 1 1 pbr r, where the p i are distinct odd primes. If r 2, we obtain the inequality ( ) ( ) z(m) 2 a p b p b p1 + 1 pr + 1 k 1 r < m 2 2 2, (4) it follows that the interval [z(m), 2z(m)) contains a power of 2, say 2 b < 2z(m) < m. But then since 2 b z(m) n, we get a contradiction. If r = 1 and e 1 = ( 2 p 1 ) = 1, then a contradiction z(m) = z(2 a p b 1 1 ) 2a p b (p 1 1)/2 < m/2,
53 Assume now that e 1 = 1 and that z(p 1 ) is a proper divisor of (p + 1)/2. Then z(m) 2 a p b z(p 1 ) 2 a p b (p 1 + 1)/4 < m/2, again the same contradiction.
54 Assume now that e 1 = 1 and that z(p 1 ) is a proper divisor of (p + 1)/2. Then z(m) 2 a p b z(p 1 ) 2 a p b (p 1 + 1)/4 < m/2, again the same contradiction. We write m = 2 a p b 1 1. We know that a 1 and e = 1. Thus, p ±3 (mod 8). If p 3 (mod 8), then z(m) = lcm[z(2 a ), z(p b )] 2 a p b 1 (p + 1)/4. In particular, z(m) < m/2, and we get again a contradiction. Thus, p 5 (mod 8).
55 Step 2 Lemma For n the interval [5n/3, 37n/19) contains a number of the form 2 a 5 b with a 1 and b 0.
56 Step 2 Lemma For n the interval [5n/3, 37n/19) contains a number of the form 2 a 5 b with a 1 and b 0. Corollary Suppose that m = 2 a p b, p > 5, a, b 1. If m , then m is not a discriminator value.
57 Step 2 Lemma For n the interval [5n/3, 37n/19) contains a number of the form 2 a 5 b with a 1 and b 0. Corollary Suppose that m = 2 a p b, p > 5, a, b 1. If m , then m is not a discriminator value. Suppose that D 1 (n) = m, then we must have z(m) = 2 a p b 1 (p + 1)/(2) 19m/37 n, that is m 37n/19; a contradiction
58 Step 3 Lemma We say that m discriminates U 0,..., U n 1 if these integers are pairwise distinct modulo m. i) The integer m = 2 a discriminates U 0,..., U n 1 if and only if m n.
59 Step 3 Lemma We say that m discriminates U 0,..., U n 1 if these integers are pairwise distinct modulo m. i) The integer m = 2 a discriminates U 0,..., U n 1 if and only if m n. ii) The integer m = 2 a 5 b with a, b 1 discriminates U 0,..., U n 1 if and only if m 5n/3.
60 Step 3 Lemma We say that m discriminates U 0,..., U n 1 if these integers are pairwise distinct modulo m. i) The integer m = 2 a discriminates U 0,..., U n 1 if and only if m n. ii) The integer m = 2 a 5 b with a, b 1 discriminates U 0,..., U n 1 if and only if m 5n/3. Proof. m discriminates U 0,..., U z(m) 1, but not U 0,..., U z(m).
61 Step 3 Lemma We say that m discriminates U 0,..., U n 1 if these integers are pairwise distinct modulo m. i) The integer m = 2 a discriminates U 0,..., U n 1 if and only if m n. ii) The integer m = 2 a 5 b with a, b 1 discriminates U 0,..., U n 1 if and only if m 5n/3. Proof. m discriminates U 0,..., U z(m) 1, but not U 0,..., U z(m). then m discriminates U 0,..., U n 1 iff n z(m).
62 Step 3 Lemma We say that m discriminates U 0,..., U n 1 if these integers are pairwise distinct modulo m. i) The integer m = 2 a discriminates U 0,..., U n 1 if and only if m n. ii) The integer m = 2 a 5 b with a, b 1 discriminates U 0,..., U n 1 if and only if m 5n/3. Proof. m discriminates U 0,..., U z(m) 1, but not U 0,..., U z(m). then m discriminates U 0,..., U n 1 iff n z(m). As it is easily seen that z(m) = 3m/5, the result follows.
63 Case k = 2, D 2 (n) = min{2 e, 3 2 f }. if z(m) = m, then m 3 2 a for some a 0.
64 Case k = 2, D 2 (n) = min{2 e, 3 2 f }. if z(m) = m, then m 3 2 a for some a 0. or z(m) 3m/5.
65 Case k = 2, D 2 (n) = min{2 e, 3 2 f }. if z(m) = m, then m 3 2 a for some a 0. or z(m) 3m/5. if m is a discriminator then m 5n/3.
66 Case k = 2, D 2 (n) = min{2 e, 3 2 f }. if z(m) = m, then m 3 2 a for some a 0. or z(m) 3m/5. if m is a discriminator then m 5n/3. for n 2, there is a power of two or a number of the form 3 2 a in the interval [n, 5n/3).
67 Case k = 2 Theorem (Moree, Luca, F. (2017)) Let e 0 be the smallest integer such that 2 e n and f 1 the smallest integer such that 3 2 f n. Then D 2 (n) = min{2 e, 3 2 f }.
68 Case k > 2 Theorem (Moree, Luca, F. (2017)) Put A k = { {m odd : if p m, then p k} if k 6 (mod 9); {m odd, 9 m : if p m, then p k} if k 6 (mod 9),
69 Case k > 2 Theorem (Moree, Luca, F. (2017)) Put A k = and B k = { {m odd : if p m, then p k} if k 6 (mod 9); {m odd, 9 m : if p m, then p k} if k 6 (mod 9), { {m even : if p m, then p k(k + 1)} if k 2 (mod 9); {m even, 9 m : if p m, then p k(k + 1)} if k 2 (mod 9).
70 Case k > 2 Theorem (Moree, Luca, F. (2017)) Put A k = and B k = { {m odd : if p m, then p k} if k 6 (mod 9); {m odd, 9 m : if p m, then p k} if k 6 (mod 9), { {m even : if p m, then p k(k + 1)} if k 2 (mod 9); {m even, 9 m : if p m, then p k(k + 1)} if k 2 (mod 9). Let k > 2. We have D k (n) min{m n : m A k B k }, with equality if the interval [n, 3n/2) contains an integer m A k B k and with at most finitely many n for which strict inequality holds.
71 Case k > 2 Here, we have to consider two cases: p k(k + 1)
72 Case k > 2 Here, we have to consider two cases: p k(k + 1) p k(k + 1)
73 The congruence U i (k) U j (k) (mod m) u k (n + 2) = (4k + 2)u k (n + 1) u k (n). (k) = 16k(k + 1).
74 The congruence U i (k) U j (k) (mod m) u k (n + 2) = (4k + 2)u k (n + 1) u k (n). (k) = 16k(k + 1). k(k + 1) = du 2, and let K = Q[ d].
75 The congruence U i (k) U j (k) (mod m) u k (n + 2) = (4k + 2)u k (n + 1) u k (n). (k) = 16k(k + 1). k(k + 1) = du 2, and let K = Q[ d]. Let p a k and π be any prime ideal diving p and let e be such that π e p.
76 The congruence U i (k) U j (k) (mod m) u k (n + 2) = (4k + 2)u k (n + 1) u k (n). (k) = 16k(k + 1). k(k + 1) = du 2, and let K = Q[ d]. Let p a k and π be any prime ideal diving p and let e be such that π e p. We assume U i λ (mod p b ) then α i α i 4 k(k + 1)λ 0 (mod π eb+ae/2 ).
77 The congruence U i (k) U j (k) (mod m) u k (n + 2) = (4k + 2)u k (n + 1) u k (n). (k) = 16k(k + 1). k(k + 1) = du 2, and let K = Q[ d]. Let p a k and π be any prime ideal diving p and let e be such that π e p. We assume U i λ (mod p b ) then α i α i 4 k(k + 1)λ 0 (mod π eb+ae/2 ). then it satisfied the quadratic congruence x 2 4 k(k + 1)λx 1 = 0 (mod π eb+ae/2 ).
78 Taking their difference we get (α i α j )(α i + α j 4 k(k + 1))λ 0 (mod π be+ae/2 ).
79 Taking their difference we get (α i α j )(α i + α j 4 k(k + 1))λ 0 (mod π be+ae/2 ). If p k, we have that α = 2k k(k + 1) 1 (mod π). Then (α i + α j 4 k(k + 1)) 2 (mod π ae/2 )
80 Taking their difference we get (α i α j )(α i + α j 4 k(k + 1))λ 0 (mod π be+ae/2 ). If p k, we have that α = 2k k(k + 1) 1 (mod π). Then (α i + α j 4 k(k + 1)) 2 (mod π ae/2 ) Thus, α i α j (mod π be+ae/2 )
81 Taking their difference we get (α i α j )(α i + α j 4 k(k + 1))λ 0 (mod π be+ae/2 ). If p k, we have that α = 2k k(k + 1) 1 (mod π). Then (α i + α j 4 k(k + 1)) 2 (mod π ae/2 ) Thus, α i α j (mod π be+ae/2 ) This give π eb U i j and. i j 0 (mod z(p b ))
82 Lemma Assume p k is odd. Then U i U j (mod z(p b )). (mod p b ) if and only if i j
83 If p (k + 1), we have that the factors (α i α j ) and (α i + α j 4 k(k + 1)) ( 1) i + ( 1) j (mod π ae/2 ).
84 If p (k + 1), we have that the factors (α i α j ) and (α i + α j 4 k(k + 1)) ( 1) i + ( 1) j (mod π ae/2 ). Thus, π never divides both factors, and π ae/2 divides α i α j in case i j (mod 2), and it divides α i + α j 4 k(k + 1)λ in case i j (mod 2).
85 Lemma Assume that p is odd and p (k + 1). Then U i U j equivalent to one of the following: i) If i j (mod 2), then i j (mod z(p b )). (mod p b ) is
86 Lemma Assume that p is odd and p (k + 1). Then U i U j equivalent to one of the following: i) If i j (mod 2), then i j (mod z(p b )). ii) If i j (mod 2), then i + j 0 (mod z(p b )). (mod p b ) is
87 Lemma We have i j (mod m) U i U j (mod m), (5) precisely when m A k B k.
88 Lemma We have i j (mod m) U i U j (mod m), (5) precisely when m A k B k. {m odd : z(m) = m and m P(k)}. {m even : z(m) = m}.
89 The set F k For k > 1 there is a finite set F k such that D k = A k B k F k. Lemma There are infinitely many k for the finite set F k is non-empty. It can have a cardinality larger than any given bound.
90 The set F k For k > 1 there is a finite set F k such that D k = A k B k F k. A 1 = {1}, B 1 = {2 e : e 1} F 1 = {2 a 5 m : a 1 and m M}.
91 The set F k For k > 1 there is a finite set F k such that D k = A k B k F k. A 1 = {1}, B 1 = {2 e : e 1} F 1 = {2 a 5 m : a 1 and m M}. F 2 is empty.
92 The set F k For k > 1 there is a finite set F k such that D k = A k B k F k. A 1 = {1}, B 1 = {2 e : e 1} F 1 = {2 a 5 m : a 1 and m M}. F 2 is empty. F k is finite for k > 1.
93 Example For k = 3, we have the following sequence u n+1 = 14u n u n 1 for all n 0. Its first terms are 0, 1, 14, 195, 2716, 37829, , The discrimator for n = 1..., 20. D(1) = 1 D(2) = 2 D(3) = 3 D(4) = 2 2 D(5) = 2 3 D(6) = 2 3 D(7) = 2 3 D(8) = 2 3 D(9) = 3 2 D(10) = D(11) = D(12) = D(13) = 2 4 D(14) = 2 4 D(15) = 2 4 D(16) = 2 4 D(17) = D(18) = D(19) = D(20) = 2 3 3
94 Open Problems Give a characterization of D u (n) for a given Lucas sequence u n : Fibonacci sequence, Prime numbers sequence, etc. D P (n) P n Give a classification of all recurrent sequence with D u (2 e ) = 2 e D u (2 e ) = 2 e = D u [n, 2n]
95 Open Problems Conjecture: Let {u n } n 0 be a binary sequence given by the recurrence u 0 = a u 1 = b u n+2 = ru n+1 + su n for n 0 where r, s are two integers such that r > 0 and (r, s) (2, 1), (1, 1). For all e 1, D u (2 e ) = 2 e ν 2 (r) = 1, s 3 (mod 4) and a, b have different parity.
96 I love mathematics for its own sake, because it allows for no hypocrisy and no vagueness. Stendhal THANKS FOR YOUR ATTENTION!
Some new representation problems involving primes
A talk given at Hong Kong Univ. (May 3, 2013) and 2013 ECNU q-series Workshop (Shanghai, July 30) Some new representation problems involving primes Zhi-Wei Sun Nanjing University Nanjing 210093, P. R.
More informationVarious new observations about primes
A talk given at Univ. of Illinois at Urbana-Champaign (August 28, 2012) and the 6th National Number Theory Confer. (October 20, 2012) and the China-Korea Number Theory Seminar (October 27, 2012) Various
More informationWilson s Theorem and Fermat s Little Theorem
Wilson s Theorem and Fermat s Little Theorem Wilson stheorem THEOREM 1 (Wilson s Theorem): (p 1)! 1 (mod p) if and only if p is prime. EXAMPLE: We have (2 1)!+1 = 2 (3 1)!+1 = 3 (4 1)!+1 = 7 (5 1)!+1 =
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 informationTewodros Amdeberhan, Dante Manna and Victor H. Moll Department of Mathematics, Tulane University New Orleans, LA 70118
The -adic valuation of Stirling numbers Tewodros Amdeberhan, Dante Manna and Victor H. Moll Department of Mathematics, Tulane University New Orleans, LA 7011 Abstract We analyze properties of the -adic
More informationDivisibility in the Fibonacci Numbers. Stefan Erickson Colorado College January 27, 2006
Divisibility in the Fibonacci Numbers Stefan Erickson Colorado College January 27, 2006 Fibonacci Numbers F n+2 = F n+1 + F n n 1 2 3 4 6 7 8 9 10 11 12 F n 1 1 2 3 8 13 21 34 89 144 n 13 14 1 16 17 18
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 informationFibonacci numbers of the form p a ± p b
Fibonacci numbers of the form p a ± p b Florian Luca 1 and Pantelimon Stănică 2 1 IMATE, UNAM, Ap. Postal 61-3 (Xangari), CP. 8 089 Morelia, Michoacán, Mexico; e-mail: fluca@matmor.unam.mx 2 Auburn University
More informationAlgebra for error control codes
Algebra for error control codes EE 387, Notes 5, Handout #7 EE 387 concentrates on block codes that are linear: Codewords components are linear combinations of message symbols. g 11 g 12 g 1n g 21 g 22
More informationNotes on Systems of Linear Congruences
MATH 324 Summer 2012 Elementary Number Theory Notes on Systems of Linear Congruences In this note we will discuss systems of linear congruences where the moduli are all different. Definition. Given the
More information= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2
8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose
More informationChapter 3 Basic Number Theory
Chapter 3 Basic Number Theory What is Number Theory? Well... What is Number Theory? Well... Number Theory The study of the natural numbers (Z + ), especially the relationship between different sorts of
More information7. Prime Numbers Part VI of PJE
7. Prime Numbers Part VI of PJE 7.1 Definition (p.277) A positive integer n is prime when n > 1 and the only divisors are ±1 and +n. That is D (n) = { n 1 1 n}. Otherwise n > 1 is said to be composite.
More informationM381 Number Theory 2004 Page 1
M81 Number Theory 2004 Page 1 [[ Comments are written like this. Please send me (dave@wildd.freeserve.co.uk) details of any errors you find or suggestions for improvements. ]] Question 1 20 = 2 * 10 +
More informationSECOND-ORDER RECURRENCES. Lawrence Somer Department of Mathematics, Catholic University of America, Washington, D.C
p-stability OF DEGENERATE SECOND-ORDER RECURRENCES Lawrence Somer Department of Mathematics, Catholic University of America, Washington, D.C. 20064 Walter Carlip Department of Mathematics and Computer
More informationEXTENDING A THEOREM OF PILLAI TO QUADRATIC SEQUENCES
#A7 INTEGERS 15A (2015) EXTENDING A THEOREM OF PILLAI TO QUADRATIC SEQUENCES Joshua Harrington Department of Mathematics, Shippensburg University, Shippensburg, Pennsylvania JSHarrington@ship.edu Lenny
More informationGeneralized Lucas Sequences Part II
Introduction Generalized Lucas Sequences Part II Daryl DeFord Washington State University February 4, 2013 Introduction Èdouard Lucas: The theory of recurrent sequences is an inexhaustible mine which contains
More informationarxiv: v1 [math.nt] 24 Aug 2015
LUCAS NUMBERS WITH THE LEHMER PROPERTY arxiv:1508.05709v1 [math.nt] 24 Aug 2015 BERNADETTE FAYE AND FLORIAN LUCA Abstract. A composite positive integer n is Lehmer if φ(n) divides n 1, where φ(n) is the
More informationKnow the Well-ordering principle: Any set of positive integers which has at least one element contains a smallest element.
The first exam will be on Monday, June 8, 202. The syllabus will be sections. and.2 in Lax, and the number theory handout found on the class web site, plus the handout on the method of successive squaring
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 informationPart II. Number Theory. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section I 1G 70 Explain what is meant by an Euler pseudoprime and a strong pseudoprime. Show that 65 is an Euler
More information#A11 INTEGERS 12 (2012) FIBONACCI VARIATIONS OF A CONJECTURE OF POLIGNAC
#A11 INTEGERS 12 (2012) FIBONACCI VARIATIONS OF A CONJECTURE OF POLIGNAC Lenny Jones Department of Mathematics, Shippensburg University, Shippensburg, Pennsylvania lkjone@ship.edu Received: 9/17/10, Revised:
More informationPELL NUMBERS WHOSE EULER FUNCTION IS A PELL NUMBER. Bernadette Faye and Florian Luca
PUBLICATIONS DE L INSTITUT MATHÉMATIQUE Nouvelle série tome 05 207 23 245 https://doiorg/02298/pim7523f PELL NUMBERS WHOSE EULER FUNCTION IS A PELL NUMBER Bernadette Faye and Florian Luca Abstract We show
More informationSummary Slides for MATH 342 June 25, 2018
Summary Slides for MATH 342 June 25, 2018 Summary slides based on Elementary Number Theory and its applications by Kenneth Rosen and The Theory of Numbers by Ivan Niven, Herbert Zuckerman, and Hugh Montgomery.
More informationTHE ORDER OF APPEARANCE OF PRODUCT OF CONSECUTIVE FIBONACCI NUMBERS
THE ORDER OF APPEARANCE OF PRODUCT OF CONSECUTIVE FIBONACCI NUMBERS DIEGO MARQUES Abstract. Let F n be the nth Fibonacci number. The order of appearance z(n) of a natural number n is defined as the smallest
More informationLecture notes: Algorithms for integers, polynomials (Thorsten Theobald)
Lecture notes: Algorithms for integers, polynomials (Thorsten Theobald) 1 Euclid s Algorithm Euclid s Algorithm for computing the greatest common divisor belongs to the oldest known computing procedures
More informationarxiv: v1 [math.nt] 2 Oct 2015
PELL NUMBERS WITH LEHMER PROPERTY arxiv:1510.00638v1 [math.nt] 2 Oct 2015 BERNADETTE FAYE FLORIAN LUCA Abstract. In this paper, we prove that there is no number with the Lehmer property in the sequence
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 informationCourse 2BA1: Trinity 2006 Section 9: Introduction to Number Theory and Cryptography
Course 2BA1: Trinity 2006 Section 9: Introduction to Number Theory and Cryptography David R. Wilkins Copyright c David R. Wilkins 2006 Contents 9 Introduction to Number Theory and Cryptography 1 9.1 Subgroups
More informationA LOWER BOUND FOR THE SIZE OF A MINKOWSKI SUM OF DILATES. 1. Introduction
A LOWER BOUND FOR THE SIZE OF A MINKOWSKI SUM OF DILATES Y. O. HAMIDOUNE AND J. RUÉ Abstract. Let A be a finite nonempty set of integers. An asymptotic estimate of several dilates sum size was obtained
More informationThis exam contains 5 pages (including this cover page) and 4 questions. The total number of points is 100. Grade Table
MAT115A-21 Summer Session 2 2018 Practice Final Solutions Name: Time Limit: 1 Hour 40 Minutes Instructor: Nathaniel Gallup This exam contains 5 pages (including this cover page) and 4 questions. The total
More informationOn Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers
A tal given at the Institute of Mathematics, Academia Sinica (Taiwan (Taipei; July 6, 2011 On Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers Zhi-Wei Sun Nanjing University
More informationChapter 1 : The language of mathematics.
MAT 200, Logic, Language and Proof, Fall 2015 Summary Chapter 1 : The language of mathematics. Definition. A proposition is a sentence which is either true or false. Truth table for the connective or :
More informationTwo Diophantine Approaches to the Irreducibility of Certain Trinomials
Two Diophantine Approaches to the Irreducibility of Certain Trinomials M. Filaseta 1, F. Luca 2, P. Stănică 3, R.G. Underwood 3 1 Department of Mathematics, University of South Carolina Columbia, SC 29208;
More informationARITHMETIC OF POSITIVE INTEGERS HAVING PRIME SUMS OF COMPLEMENTARY DIVISORS
Math. J. Okayama Univ. 60 (2018), 155 164 ARITHMETIC OF POSITIVE INTEGERS HAVING PRIME SUMS OF COMPLEMENTARY DIVISORS Kenichi Shimizu Abstract. We study a class of integers called SP numbers (Sum Prime
More informationPUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.
PUTNAM TRAINING NUMBER THEORY (Last updated: December 11, 2017) Remark. This is a list of exercises on Number Theory. Miguel A. Lerma Exercises 1. Show that the sum of two consecutive primes is never twice
More informationFadwa S. Abu Muriefah. ON THE DIOPHANTINE EQUATION x fc = y n
DEMONSTRATIO MATHEMATICA Vol. XXXIX No 2 2006 Fadwa S. Abu Muriefah ON THE DIOPHANTINE EQUATION x 2 + 5 2fc = y n Abstract. In this paper we prove that the title equation where k > 0 and n > 3, may have
More informationZhi-Wei Sun Department of Mathematics, Nanjing University Nanjing , People s Republic of China
J. Number Theory 16(016), 190 11. A RESULT SIMILAR TO LAGRANGE S THEOREM Zhi-Wei Sun Department of Mathematics, Nanjing University Nanjing 10093, People s Republic of China zwsun@nju.edu.cn http://math.nju.edu.cn/
More informationMath 319 Problem Set #2 Solution 14 February 2002
Math 39 Problem Set # Solution 4 February 00. (.3, problem 8) Let n be a positive integer, and let r be the integer obtained by removing the last digit from n and then subtracting two times the digit ust
More informationCourse MA2C02, Hilary Term 2013 Section 9: Introduction to Number Theory and Cryptography
Course MA2C02, Hilary Term 2013 Section 9: Introduction to Number Theory and Cryptography David R. Wilkins Copyright c David R. Wilkins 2000 2013 Contents 9 Introduction to Number Theory 63 9.1 Subgroups
More informationOdd prime values of the Ramanujan tau function
Ramanujan J DOI 10.1007/s11139-012-9420-8 Odd prime values of the Ramanujan tau function Nik Lygeros Olivier Rozier Received: 22 May 2012 / Accepted: 8 July 2012 Springer Science+Business Media, LLC 2013
More informationTHE TRIANGULAR THEOREM OF THE PRIMES : BINARY QUADRATIC FORMS AND PRIMITIVE PYTHAGOREAN TRIPLES
THE TRIANGULAR THEOREM OF THE PRIMES : BINARY QUADRATIC FORMS AND PRIMITIVE PYTHAGOREAN TRIPLES Abstract. This article reports the occurrence of binary quadratic forms in primitive Pythagorean triangles
More informationAlgebraic function fields
Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which
More informationOn the prime divisors of elements of a D( 1) quadruple
arxiv:1309.4347v1 [math.nt] 17 Sep 2013 On the prime divisors of elements of a D( 1) quadruple Anitha Srinivasan Abstract In [4] it was shown that if {1,b,c,d} is a D( 1) quadruple with b < c < d and b
More informationQuadratic Congruences, the Quadratic Formula, and Euler s Criterion
Quadratic Congruences, the Quadratic Formula, and Euler s Criterion R. C. Trinity University Number Theory Introduction Let R be a (commutative) ring in which 2 = 1 R + 1 R R. Consider a quadratic equation
More informationLagrange s polynomial
Lagrange s polynomial Nguyen Trung Tuan November 16, 2016 Abstract In this article, I will use Lagrange polynomial to solve some problems from Mathematical Olympiads. Contents 1 Lagrange s interpolation
More informationCS 514, Mathematics for Computer Science Mid-semester Exam, Autumn 2017 Department of Computer Science and Engineering IIT Guwahati
CS 514, Mathematics for Computer Science Mid-semester Exam, Autumn 2017 Department of Computer Science and Engineering IIT Guwahati Important 1. No questions about the paper will be entertained during
More informationAn integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p.
Chapter 6 Prime Numbers Part VI of PJE. Definition and Fundamental Results Definition. (PJE definition 23.1.1) An integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p. If n > 1
More informationNumbers and their divisors
Chapter 1 Numbers and their divisors 1.1 Some number theoretic functions Theorem 1.1 (Fundamental Theorem of Arithmetic). Every positive integer > 1 is uniquely the product of distinct prime powers: n
More informationChapter 5. Modular arithmetic. 5.1 The modular ring
Chapter 5 Modular arithmetic 5.1 The modular ring Definition 5.1. Suppose n N and x, y Z. Then we say that x, y are equivalent modulo n, and we write x y mod n if n x y. It is evident that equivalence
More informationABSTRACT. In this note, we find all the solutions of the Diophantine equation x k = y n, 1, y 1, k N, n INTRODUCTION
Florian Luca Instituto de Matemáticas UNAM, Campus Morelia Apartado Postal 27-3 (Xangari), C.P. 58089, Morelia, Michoacán, Mexico e-mail: fluca@matmor.unam.mx Alain Togbé Mathematics Department, Purdue
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 informationA talk given at the University of California at Irvine on Jan. 19, 2006.
A talk given at the University of California at Irvine on Jan. 19, 2006. A SURVEY OF ZERO-SUM PROBLEMS ON ABELIAN GROUPS Zhi-Wei Sun Department of Mathematics Nanjing University Nanjing 210093 People s
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 informationON UNIVERSAL SUMS OF POLYGONAL NUMBERS
Sci. China Math. 58(2015), no. 7, 1367 1396. ON UNIVERSAL SUMS OF POLYGONAL NUMBERS Zhi-Wei SUN Department of Mathematics, Nanjing University Nanjing 210093, People s Republic of China zwsun@nju.edu.cn
More informationDefinition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively
6 Prime Numbers Part VI of PJE 6.1 Fundamental Results Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively D (p) = { p 1 1 p}. Otherwise
More informationSolutions to Problem Set 3 - Fall 2008 Due Tuesday, Sep. 30 at 1:00
Solutions to 18.781 Problem Set 3 - Fall 2008 Due Tuesday, Sep. 30 at 1:00 1. (Niven 2.3.3) Solve the congruences x 1 (mod 4), x 0 (mod 3), x 5 (mod 7). First we note that 4, 3, and 7 are pairwise relatively
More informationWe want to show P (n) is true for all integers
Generalized Induction Proof: Let P (n) be the proposition 1 + 2 + 2 2 + + 2 n = 2 n+1 1. We want to show P (n) is true for all integers n 0. Generalized Induction Example: Use generalized induction to
More informationarxiv: v1 [math.nt] 22 Jun 2017
lexander Kalmynin arxiv:1706.07343v1 [math.nt] 22 Jun 2017 Nová-Carmichael numbers and shifted primes without large prime factors bstract. We prove some new lower bounds for the counting function N C (x)
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 informationSOLUTIONS TO PROBLEM SET 1. Section = 2 3, 1. n n + 1. k(k + 1) k=1 k(k + 1) + 1 (n + 1)(n + 2) n + 2,
SOLUTIONS TO PROBLEM SET 1 Section 1.3 Exercise 4. We see that 1 1 2 = 1 2, 1 1 2 + 1 2 3 = 2 3, 1 1 2 + 1 2 3 + 1 3 4 = 3 4, and is reasonable to conjecture n k=1 We will prove this formula by induction.
More informationMATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.
MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences. Congruences Let n be a postive integer. The integers a and b are called congruent modulo n if they have the same
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 informationFermat s Little Theorem. Fermat s little theorem is a statement about primes that nearly characterizes them.
Fermat s Little Theorem Fermat s little theorem is a statement about primes that nearly characterizes them. Theorem: Let p be prime and a be an integer that is not a multiple of p. Then a p 1 1 (mod p).
More informationFibonacci Diophantine Triples
Fibonacci Diophantine Triples Florian Luca Instituto de Matemáticas Universidad Nacional Autonoma de México C.P. 58180, Morelia, Michoacán, México fluca@matmor.unam.mx László Szalay Institute of Mathematics
More informationThe primitive root theorem
The primitive root theorem Mar Steinberger First recall that if R is a ring, then a R is a unit if there exists b R with ab = ba = 1. The collection of all units in R is denoted R and forms a group under
More informationMATH 2112/CSCI 2112, Discrete Structures I Winter 2007 Toby Kenney Homework Sheet 5 Hints & Model Solutions
MATH 11/CSCI 11, Discrete Structures I Winter 007 Toby Kenney Homework Sheet 5 Hints & Model Solutions Sheet 4 5 Define the repeat of a positive integer as the number obtained by writing it twice in a
More informationOn the number of semi-primitive roots modulo n
Notes on Number Theory and Discrete Mathematics ISSN 1310 5132 Vol. 21, 2015, No., 8 55 On the number of semi-primitive roots modulo n Pinkimani Goswami 1 and Madan Mohan Singh 2 1 Department of Mathematics,
More informationLARGE PRIME NUMBERS (32, 42; 4) (32, 24; 2) (32, 20; 1) ( 105, 20; 0).
LARGE PRIME NUMBERS 1. Fast Modular Exponentiation Given positive integers a, e, and n, the following algorithm quickly computes the reduced power a e % n. (Here x % n denotes the element of {0,, n 1}
More informationMTH 346: The Chinese Remainder Theorem
MTH 346: The Chinese Remainder Theorem March 3, 2014 1 Introduction In this lab we are studying the Chinese Remainder Theorem. We are going to study how to solve two congruences, find what conditions are
More informationarxiv: v1 [math.nt] 7 Sep 2015
THE ARITHMETIC OF CONSECUTIVE POLYNOMIAL SEQUENCES OVER FINITE FIELDS arxiv:1509.01936v1 [math.nt] 7 Sep 2015 DOMINGO GÓMEZ-PÉREZ, ALINA OSTAFE, AND MIN SHA Abstract. Motivated by a question of van der
More informationFIBONACCI DIOPHANTINE TRIPLES. Florian Luca and László Szalay Universidad Nacional Autonoma de México, Mexico and University of West Hungary, Hungary
GLASNIK MATEMATIČKI Vol. 436300, 53 64 FIBONACCI DIOPHANTINE TRIPLES Florian Luca and László Szalay Universidad Nacional Autonoma de México, Mexico and University of West Hungary, Hungary Abstract. In
More informationKevin James. MTHSC 412 Section 3.4 Cyclic Groups
MTHSC 412 Section 3.4 Cyclic Groups Definition If G is a cyclic group and G =< a > then a is a generator of G. Definition If G is a cyclic group and G =< a > then a is a generator of G. Example 1 Z is
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 informationCALCULATING EXACT CYCLE LENGTHS IN THE GENERALIZED FIBONACCI SEQUENCE MODULO p
CALCULATING EXACT CYCLE LENGTHS IN THE GENERALIZED FIBONACCI SEQUENCE MODULO p DOMINIC VELLA AND ALFRED VELLA. Introduction The cycles that occur in the Fibonacci sequence {F n } n=0 when it is reduced
More informationCongruences and Residue Class Rings
Congruences and Residue Class Rings (Chapter 2 of J. A. Buchmann, Introduction to Cryptography, 2nd Ed., 2004) Shoichi Hirose Faculty of Engineering, University of Fukui S. Hirose (U. Fukui) Congruences
More informationTomáš Madaras Congruence classes
Congruence classes For given integer m 2, the congruence relation modulo m at the set Z is the equivalence relation, thus, it provides a corresponding partition of Z into mutually disjoint sets. Definition
More informationODD REPDIGITS TO SMALL BASES ARE NOT PERFECT
#A34 INTEGERS 1 (01) ODD REPDIGITS TO SMALL BASES ARE NOT PERFECT Kevin A. Broughan Department of Mathematics, University of Waikato, Hamilton 316, New Zealand kab@waikato.ac.nz Qizhi Zhou Department of
More informationCullen Numbers in Binary Recurrent Sequences
Cullen Numbers in Binary Recurrent Sequences Florian Luca 1 and Pantelimon Stănică 2 1 IMATE-UNAM, Ap. Postal 61-3 (Xangari), CP 58 089 Morelia, Michoacán, Mexico; e-mail: fluca@matmor.unam.mx 2 Auburn
More informationColloq. Math. 145(2016), no. 1, ON SOME UNIVERSAL SUMS OF GENERALIZED POLYGONAL NUMBERS. 1. Introduction. x(x 1) (1.1) p m (x) = (m 2) + x.
Colloq. Math. 145(016), no. 1, 149-155. ON SOME UNIVERSAL SUMS OF GENERALIZED POLYGONAL NUMBERS FAN GE AND ZHI-WEI SUN Abstract. For m = 3, 4,... those p m (x) = (m )x(x 1)/ + x with x Z are called generalized
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 informationPRIMITIVE PRIME FACTORS IN SECOND-ORDER LINEAR RECURRENCE SEQUENCES
PRIMITIVE PRIME FACTORS IN SECOND-ORDER LINEAR RECURRENCE SEQUENCES Andrew Granville To Andrzej Schinzel on his 75th birthday, with thanks for the many inspiring papers Abstract. For a class of Lucas sequences
More information3 The fundamentals: Algorithms, the integers, and matrices
3 The fundamentals: Algorithms, the integers, and matrices 3.4 The integers and division This section introduces the basics of number theory number theory is the part of mathematics involving integers
More information586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws
Index absolute value, 135 141 additive identity, 254 additive inverse, 254 aleph, 465 algebra of sets, 245, 278 antisymmetric relation, 387 arcsine function, 349 arithmetic sequence, 208 arrow diagram,
More informationCorollary 4.2 (Pepin s Test, 1877). Let F k = 2 2k + 1, the kth Fermat number, where k 1. Then F k is prime iff 3 F k 1
4. Primality testing 4.1. Introduction. Factorisation is concerned with the problem of developing efficient algorithms to express a given positive integer n > 1 as a product of powers of distinct primes.
More informationOn a Balanced Property of Compositions
On a Balanced Property of Compositions Miklós Bóna Department of Mathematics University of Florida Gainesville FL 32611-8105 USA Submitted: October 2, 2006; Accepted: January 24, 2007; Published: March
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 informationarxiv: v2 [math.ho] 31 Dec 2018
Solutions to Diophantine equation of Erdős Straus Conjecture arxiv:82.0568v2 [math.ho] 3 Dec 208 Abstract Dagnachew Jenber Negash Addis Ababa Science and Technology University Addis Ababa, Ethiopia Email:
More informationPart IA Numbers and Sets
Part IA Numbers and Sets Definitions Based on lectures by A. G. Thomason Notes taken by Dexter Chua Michaelmas 2014 These notes are not endorsed by the lecturers, and I have modified them (often significantly)
More informationNumber Theory and Graph Theory. Prime numbers and congruences.
1 Number Theory and Graph Theory Chapter 2 Prime numbers and congruences. By A. Satyanarayana Reddy Department of Mathematics Shiv Nadar University Uttar Pradesh, India E-mail: satya8118@gmail.com 2 Module-1:Primes
More informationMATH 361: NUMBER THEORY FOURTH LECTURE
MATH 361: NUMBER THEORY FOURTH LECTURE 1. Introduction Everybody knows that three hours after 10:00, the time is 1:00. That is, everybody is familiar with modular arithmetic, the usual arithmetic of the
More informationAndrew Granville To Andrzej Schinzel on his 75th birthday, with thanks for the many inspiring papers
PRIMITIVE PRIME FACTORS IN SECOND-ORDER LINEAR RECURRENCE SEQUENCES Andrew Granville To Andrzej Schinzel on his 75th birthday, with thanks for the many inspiring papers Abstract. For a class of Lucas sequences
More informationCHAPTER 3. Congruences. Congruence: definitions and properties
CHAPTER 3 Congruences Part V of PJE Congruence: definitions and properties Definition. (PJE definition 19.1.1) Let m > 0 be an integer. Integers a and b are congruent modulo m if m divides a b. We write
More informationNORTHWESTERN UNIVERSITY Thrusday, Oct 6th, 2011 ANSWERS FALL 2011 NU PUTNAM SELECTION TEST
Problem A1. Let a 1, a 2,..., a n be n not necessarily distinct integers. exist a subset of these numbers whose sum is divisible by n. Prove that there - Answer: Consider the numbers s 1 = a 1, s 2 = a
More informationCS 5319 Advanced Discrete Structure. Lecture 9: Introduction to Number Theory II
CS 5319 Advanced Discrete Structure Lecture 9: Introduction to Number Theory II Divisibility Outline Greatest Common Divisor Fundamental Theorem of Arithmetic Modular Arithmetic Euler Phi Function RSA
More informationPartial Sums of Powers of Prime Factors
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 10 (007), Article 07.1.6 Partial Sums of Powers of Prime Factors Jean-Marie De Koninck Département de Mathématiques et de Statistique Université Laval Québec
More informationMath 3000 Section 003 Intro to Abstract Math Final Exam
Math 3000 Section 003 Intro to Abstract Math Final Exam Department of Mathematical and Statistical Sciences University of Colorado Denver, Spring 2012 Name: Problem 1a-j 2 3a-b 4a-b 5a-c 6a-c 7a-b 8a-j
More informationSums of Squares. Bianca Homberg and Minna Liu
Sums of Squares Bianca Homberg and Minna Liu June 24, 2010 Abstract For our exploration topic, we researched the sums of squares. Certain properties of numbers that can be written as the sum of two squares
More informationClimbing an Infinite Ladder
Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite
More informationMath 109 HW 9 Solutions
Math 109 HW 9 Solutions Problems IV 18. Solve the linear diophantine equation 6m + 10n + 15p = 1 Solution: Let y = 10n + 15p. Since (10, 15) is 5, we must have that y = 5x for some integer x, and (as we
More information