Gaps in Semigroups. Université Pierre et Marie Curie, Paris 6, Equipe Combinatoire - Case 189, 4 Place Jussieu Paris Cedex 05, France.
|
|
- Percival Anthony
- 5 years ago
- Views:
Transcription
1 Gas in Semigrous J.L. Ramírez Alfonsín Université Pierre et Marie Curie, Paris 6, Equie Combinatoire - Case 189, 4 Place Jussieu Paris 755 Cedex 05, France. Abstract In this aer we investigate the behaviour of the gas in numerical semigrous. We will give an exlicit formula for the i th ga of a semigrou generated by k+1 consecutive integers (generalizing a result due to Brauer) as well as for a secial semigrou of three generators. It is also roved that the number of gas of the semigrou <, q > in the interval [q (k + 1)( + q),..., q k( + q)] is equals to (k + 1) + kq + k q for each k = 1,..., q +q. We actually give two roofs of the latter result, the first one uses the so-called Aery sets and the second one is an alication of the well-known Pick s theorem. Keywords Semigrous, gas, Frobenius number AMS Mathematics Subject Classification: 11B5, 11B75 1 Introduction Let s 1,..., s n be ositive integers such that their greatest common divisor, denoted by (s 1,..., s n ), is one. Let S =< s 1,..., s n > be the numerical ramirez@math.jussieu.fr 1
2 semigrou 1 generated by s 1,..., s n. The genus of a numerical semigrou S is the number N(S) = #(IN + {0} \ S). The ositive elements of S (res. elements of IN + {0} \ S) are called the non-gas (res. gas) of S. One motivation to study gas comes from the imortant role they lay in the concet of symmetry [3] as well as in the investigations of Weierstrass semigrous [5, 6, 8] and its alications to algebraic codes [9]. In 188, while investigating the artition number function, J.J. Sylvester [15, age 134] (see also [14]) roved that if S q =<, q > with (, q) = 1 then N(S q ) = 1 ( 1)(q 1) (1) The so-called Frobenius number denoted by g(s) = g(s 1,..., s n ), is the largest integer not belonging to S (g(s) is also known as the conductor of S). From equation (1) it can be deduced that g(s q ) = q q. () Finding g(s) is a difficult roblem from the comutational oint of view, in general [11]. There exist numerous bounds (and formulas for articular semigrous S) for g(s) as well as generalizations and alications of it. We refer the reader to [1] for a detailed discussion on the Frobenius number. Let us enumerate the gas of S by increasing order l 1 < < l N(S). So, l N(S) = g(s) is both the largest ga of S as the N(S) th ga. Not surrisingly, comuting the i th ga of a semigrou is also difficult since it comes down to calculate the Frobenius number. Indeed, for calculating the i th ga of a semigrou S we may calculate g N(S) i (S) = g(s {g N(S) (S)} {g N(S) i+1 (S)}) where g N(S) (S) = g(s). There is not much known about the 1 Recall that a semigrou (S, ) consists of a nonemty set S and an associative binary oeration on S. If, in addition, there exists an element, which is usually denoted by 0, in S such that a 0 = 0 a = a for all a S, we say that (S, ) is a monoid. A numerical semigrou is a submonoid of (IN, +) such that the greatest common divisor of its elements is equal to one. In the introduction section of [1], A. Brauer stated that G. Frobenius mentioned, occasionally in his lectures, the roblem of finding the largest natural number that is not reresentable as a nonnegative integer combination of s 1,..., s n.
3 behaviour of the gas in semigrous. The main intention of this aer is to investigate the distribution of gas in some semigrous. In the next section, we rove the following two theorems. Theorem 1.1 Let a, k 1 be integers and let S =< a, a + 1,..., a + k > be a semigrou with gas l 1 < < l N(S). Let v m = (m+1)(a 1) k ( ) m(m+1), v 1 = 0 and r = a k. Then, N(S) = v r and l i = t i (a + k) + i v ti 1 for each i = 1,..., N(S) where t i is the smallest integer such that v ti i. In [1], Brauer found a formula for the Frobenius number of k + 1 consecutive ositive integers, this is given by ( a g(a, a + 1,..., a + k) = a k ) We remark that Theorem 1.1 contains Brauer s result as a articular case. Indeed, since v r = v r 1 + a (rk + 1) and t N(S) = r then l N(S) = r(a + k) + N(S) v r 1 = r(a + k) + v r (v r + rk + 1 a) = r(a + k) + a 1 kr = a(r + 1) 1 = a ( ) a k Theorem 1.1 yields us to consider the following question. Question: Let S =< a, a + d,..., a + kd > with d 1 and gcd(a, d) = 1. Is there a formula that comutes the i th ga of S for each 1 i N(S)? A ositive answer to the above question is obtained when i = N(S) since, for any integer d, it is known [13] that 3
4 ( ) a l N(S) = g(a, a + d,..., a + kd) = a + d(a 1). (3) k The following Theorem answers this question when k = and d = a 1. Theorem 1. Let a 1 be an integer and let S =< a, a 1, 3a > be a semigrou with gas l 1 < < l N(S). Let r = (r 0, r 1,..., r 3n ) = (0, n 1, n, n 3, n 3, n 4, n 5, n 5, n 6,...,, 1, 1) and r = (r 0, r 1,..., r 3n 1) = (0, n, n 1, n, n, n 3, n 4, n 4, n 5,...,,, 1). We set v m = m r i and v m = m r i. Then, N(S) = { 3 4 n 3 n + 1 if a = n, n 1, 3 4 (n n + 1) if a = n + 1, n 1, and l i = { (ti 1)n + i v ti 1 if a = n, n 1, (t i 1)(n + 1) + i v t i 1 if a = n + 1, n 1, where t i is the smallest integer such that v ti i if a = n (or v t i i if a = n + 1). We notice that Theorem 1. contains equality (3) when k = and d = a 1. Indeed, equation (3) imlies that if a = n, n 1 then 4
5 g(a, a 1, 3a ) = a ( ) a + (a 1) = n ( n ) + (n 1) = n(n 1) + (n 1) = 6n 6n + 1 = 6n(n 1) + 1 and a = n + 1, n 1 then g(a, a 1, 3a ) = a ( ) a + (a 1) = (n + 1) ( n+1 ) + (n) = (n + 1)(n 1) + 4n = 6n n 1 = n(6n 1) 1. On other hand, by Theorem 1., we have that. (a) If a = n, n 1 then t N(S) = 3n, N(S) = v 3n and v 3n = v 3n 3 + r 3n 1 = v 3n So, l N(S) = (3n 3)n + N(S) v 3n 1 = (3n 3)n + v 3n (v 3n 1) = 6n 6n + 1 = 6n(n 1) + 1. (b) If a = n + 1, n 1 then t N(S) = 3n 1, N(S) = v 3n 1 and v 3n 1 = v 3n + r 3n 1 = v 3n + 1. So, l N(S) = (3n )(n + 1) + N(S) v 3n 1 1 = (3n )(n + 1) + v 3n 1 (v 3n 1 1) = 6n 4n + 3n + 1 = n(6n + 1) 1. In this aer, we also study the gas of semigrous with two generators. 5
6 Theorem 1.3 Let, q ositive integers such that g.c.d.(, q) = 1. Let g k (S q ) be the number of gas of S q =<, q > in the interval [q (k + 1)( + q),..., q k( + q)], for each 0 k q +q 1. Then, { 1 if k = 0 g k (S q ) = (k + 1) + kq + k q if 1 k q +q 1. In Section 3, we give two roofs of Theorem 1.3, the first one uses the notions of Aery set and the second one the well-known Pick s theorem. These algebraic and geometric roofs may motivate further investigations on the study of gas of semigrous with n 4. We remark that Theorem 1.3 can be regarded as a generalization, to some extent, of equation () contained when k = 0 (an arithmetical and an algebraic roofs of equation () are given in [7] and [] resectively). Arithmetic sequences We may now rove Theorems 1.1 and 1.. Proof of Theorem 1.1. Let S i = {i(a + k) + 1,..., (i + 1)a 1} for each i = 0,..., r = a k. So, Si = a (ik + 1). We shall rove, by induction on i, that if s S i then s S. It is clear for i = 0 since S 0 = {1,..., a 1}. Let us suose that it is true for i = m r 1 and let s S m+1. Notice that s S if and only if s (a + j) S for some 0 j k. So, if we show that s (a + j) S m for all 0 j k then, by the inductive hyothesis, s S. To this end, it can be easily checked that m(a + k) + 1 s (a + j) = (m + 1)(a + k) + l (a + j) (m + 1)a 1 6
7 for all 1 l a (k(m + 1) + 1) and all 0 j k with equality on the left-hand side when l = 1 and j = k and equality on the right-hand side when l = a (k(m + 1) + 1) and j = 0. Now, we claim that if t S i for all i = 0,..., r = a k then t S. For this, we consider the sets T i = {(i + 1)a,..., (i + 1)(a + k)} for each i = 0,..., r = a k and Tr+1 = {x x (r + 1)(a + k) + 1}. We show, by induction on i, that if t T i for some i then t S. This is clear for i = 0 since T 0 = {a,..., a + k}. Now, suose that it is true for i = m 1 r 1. Then, by inductive hyothesis, all elements in T m 1 = {ma,..., ma + mk = m(a + k)} belong to S. So, all elements in A = {x + a x T m 1 } also belong to S. Moreover, all elements in B = {m(a + k) + a + 1, m(a + k) + a +,..., m(a + k) + a + k} also belong to S since m(a + k) belong to T m. Hence, all the elements in T m = {(m + 1)a,..., (m + 1)(a + k)} = {ma + a,..., m(a + k) + a + k} = {ma + a,..., ma + a + mk = m(a + k) + a, m(a + k) + a + 1,..., m(a + k) + a + k} = A B belong to S. Finally, note that ( ) a T r = T a k = + 1 k + 1 a. k So, T r contains a consecutive elements forming a comlete system modulo a, that is, T r contain elements t(0),..., t(a 1) such that t(i) i mod a. It is clear if t T r+1 then t = t(i) + la with l 0 integer and where t i mod a. 7
8 Thus, the set of all gas in S is given by {S i } 0 i r. So, ( ) r r(r + 1) N(S) = S i = a (ik + 1) = (r + 1)(a 1) k and l i = t i (a + k) + i v ti 1 for each i = 1,..., N(S) where t i is the smallest integer such that v ti i. Examle: Let S =< 8, 9, 10, 11 >. Then, k = 3 and r =. S 0 = {1,, 3, 4, 5, 6, 7}, S 1 = {1, 13, 14, 15}, S = {3}, T 0 = {8, 9, 10, 11}, T 1 = {16, 17, 19, 19, 0, 1, }, T = {4,..., 33} and T 3 = {34, 35,...}. Proof of Theorem 1.. We consider two cases according with the arity of a. Case A) If a = n, n 1 then S =< n, 4n 1, 6n >. We consider the sets S i = {(i 1)n + 1,..., (i 1)n + r i } for each i = 1,..., 3n. We shall show, by induction on i, that if s S i then s S. This can be easily checked for i = 1, and 3. Let us suose that it is true for i = m 4 and let s S m+1. Again, as in the above roof, we use the fact that s S if and only if s l S with either l = n or l = 4n 1 or l = 6n. We then show that s l S j, for some 1 j m when either l = n or l = 4n 1 or l = 6n and thus, by the inductive hyothesis, s l S (and therefore s S). Remark.1 (a) If r m+1 = r m then r m 1 = r m and r m = r m+1 +. (b) If r m+1 < r m then r m = r m and either r m 1 = r m and r m = r m+1 + or r m 1 = r m+1 + and r m = r m+1 +. From (a) and (b) we have that r m+1 r m, r m r m 1 and r m+1 + = r m. We now check three cases. (1) If l = n then s l = m(n) + j n = (m 1)n + j with 1 j r m+1. So, s l S m since, by the above remark, 1 j r m+1 r m. 8
9 () If l = 4n 1 then s l = m(n) + j (4n 1) = (m )n + j + 1 with 1 j r m+1. So, s l S m 1 since, by the above remark, 1 j + 1 r m r m 1. (3) If l = 6n then s l = m(n) + j (6n ) = (m 3)n + j + with 1 j r m+1. So, s l S m since, by the above remark, 1 j + r m+1 + = r m. Now, we claim that if t S i for all i = 1,..., 3n then t S. For this, we consider the set T i = {(i 1)n + r i + 1,..., in}) for each i = 1,..., 3n and T 3n 1 = {(3n )n + 1,..., (3n )n + n}. We show, by induction on i, that if t T i for some i then s S. This is clear for i = 1, and 3. Indeed, the elements in T 1 = {n}, T = {4n 1, 4n = (n)} and T 3 = {6n, 6n 1 = 4n 1 + n, 6n = 3(n)} all belong to S. Now, we suose that it is true for i = m with 4 m 3n 3 and notice that T j = (j 1)n + s where r j + 1 s n for each 1 j 3n. Let t T m+1. If s = n then t = (m + 1 1)n + n = (m + 1)n that clearly belongs to S (t is a multile of n) and if s = n 1 then t = (m + 1 1)n + n 1 = (m + 1)n 1 = 4n 1 + (m 1)n that also belongs to S (t is a combination of elements 4n 1 and n). Let us suose now that r m s < n 1. We have three subcases according to the above remark (we recall that t S if and only if t l S where l = n or 4n 1 or 6n ). (1) If r m+1 = r m then t l = m(n) + s n = (m 1)n + s with r m s n. But, t l S m since r m + 1 = r m s n. Thus, by the inductive hyothesis, t l S and therefore t S. () If r m = r m+1 + 1, r m 1 = r m and r m = r m+1 + then t l = m(n) + s (4n 1) = (m )n + s + 1 with r m s < n 1. But, t l S m 1 since r m = r m+1 + s + 1 n. Thus, by the inductive hyothesis, t l S and therefore t S. (3) If r m = r m+1 + 1, r m 1 = r m+1 + and r m = r m+1 + then t l = m(n) + j (6n ) = (m 3)n + s + with with r m s < n 1. But, t l S m since r m = r m s + n. Thus, by the inductive hyothesis, t l S and therefore t S. For the case i = 3n 1 we have that T 3n 1 = (3n )n+j with j = 1,..., n. So, if t T 3n 1 then t = (3n )n + j = (3n 3)n + j + n and since 9
10 (3n )n + j belongs to T 3n then t S. Since the elements in T 3n 1 are consecutive and T 3n 1 = a then they form a comlete system modulo a, that is, T 3n 1 contain elements t(0),..., t(a 1) such that t(i) i mod a. From this, it is clear that if t > max{t 3n 1 } then t = t(i) + la with l 0 integer and where t i mod a. Thus, the sets S i are the gas in S (increasingly ordered) and N(S) = v 3n = 3n r i = 3 4 n 3 n + 1. In order to find the i th -ga of S we first find out to which set S j the ga l i belongs to. The latter is done by comuting the smallest integer t i such that v ti i obtaining that l i S ti. And thus, l i is given by (t i 1)n + j with j = i v ti 1. Case B) If a = n + 1, n 1 then S =< n + 1, 4n + 1, 6n + 1 >. This case is analogous as the first one by considering the sets S i = {(i 1)(n + 1) + 1,..., (i 1)(n + 1) + r i} for each i = 1,..., 3n 1 and T j = {(j 1)(n + 1) + r j + 1,..., j(n + 1)} with j = 1,..., 3n. Again, in this case, the sets S i are the gas in S (increasingly ordered). So, N(S) = v 3n 1 = 3n 1 r i = 3 4 (n n + 1) and l i = (i 1)(n + 1) + i v t i 1. Examle: Let S =< 7, 13, 19 >. Then, n = 3 and r = (0, 6, 5, 4, 4, 3,,, 1). S 1 = {1,, 3, 4, 5, 6}, S = {8, 9, 10, 11, 1}, S 3 = {15, 16, 17, 18}, S 4 = {, 3, 4, 5}, S 5 = {9, 30, 31}, S 6 = {36, 37}, S 7 = {43, 44}, S 8 = {50}, T 1 = {7}, T = {13, 14}, T 3 = {19, 0, 1}, T 4 = {6, 7, 8}, T 5 = {3, 33, 34, 35}, T 6 = {38, 39, 40, 41, 4} and T 7 = {45, 46, 47, 48, 49}. 10
11 3 Gas in <, q > The Aéry set of element a, a S \ {0} is defined as A(S, a) = {s S s a S}. It is known that the set A(S, a) is a comlete system modulo a, that is, A(S, a) = {0 = w(0),..., w(a 1)} where w(i) is the least element in S congruent with i modulo a. Let, q ositive integers such that g.c.d.(, q) = 1. The semigrou S q =<, q > is symmetric, that is, for any integer x [0,..., g(s q )], x S q if and only if g(s q ) x S q. Proof of Theorem 1.3. As S q is symmetric then for each k = 0,..., q +q 1 there exists a one-to-one corresondence between the sets and {x IN x S q and q (k + 1)( + q) x q k( + q)} {x S q (k 1)( + q) x k( + q)}. Let A(S q, + q) = {w(0),..., w( + q 1)} where w(i) is the least element in S q congruent with i modulo + q. Then, for each i {0,..., + q 1} we have that (k 1)( + q) + i S q if and only if (k 1)( + q) + i w(i). Hence, {x S q (k 1)(+q) x k(+q)} = {w A(S q, +q) w < k(+q)} +1 (4) Since g.c.d.(, q) = 1 then A(S q, +q) = {0,,,..., (q 1), q, q,..., ( 1)q, q}. Besides, tq < k( + q) if and only if t < k + k/q or equivalently, t k + k/q. Analogously, t < k( + q) if and only if t k + kq/. Therefore, {w A(S q, +q) w < k(+q)} = {0,,..., (k+ kq/ ), q,..., (k+ k/q )q} and {0,,..., (k + kq/ ), q,..., (k + k/q )q} = 1+k + kq/ +k + k/q. Thus, by equation (4), 11
12 {x S q (k 1)( + q) x k( + q)} = (k + 1) + kq + k q and the result follows by the above bijection. Pick s theorem [10] is considered as one of the gems of elementary mathematics. It asserts that the area of a simlest lattice olygon 3 S, denoted by A(S), is given by I(S) + B(S)/ 1 where I(S) and B(S) are the number of lattice oints in the interior of S and in the boundary of S resectively; see [16] for a short roof of Pick s theorem. Second roof of Theorem 1.3. Let P be the lattice olygon with vertices (q 1, 1), ( 1, 1), (q, 0) and (0, ). Notice that there are no other lattice oints on the boundary of P and that the set of lattice oints inside P, denoted by I(P ), are all in the first quadrant. The equation of the line connecting the the first (res. the last) two oints is given by x + qy = q q (res. by x + qy = q). Let T 1 and T be the triangles formed by oints (q, 0), (0, ), ( 1, 1) and ( 1, 1), (q 1, 1), (q, 0) resectively. Since A(T 1 ) = 1 q = 1(q + ) = q q 0 1 = A(T ) then A(P ) = A(T 1 ) + A(T ) = + q and, by Pick s theorem, we have that I(P ) = + q 1. We claim that line x + qy = q q + i contains 3 We call a olygon simle if its boundary is a simle closed curve. A lattice olygon is a olygon where its vertices have integer coordinates. 1
13 exactly one oint in I(P ) for each i = 1,..., + q 1. Suose that there exists 1 j + q 1 such that the line x + qy = q q + j contains two oints of I(P ), that is, x 1 + qy 1 = q q + j = x + qy for some 0 x 1, x < q, x 1 x and 0 y 1, y < q, y 1 y. But then, (x 1 x ) = (y y 1 )q and since (, q) = 1 then (x 1 x ) = sq q which is imossible. So each line x + qy = q q + i contains at most one oint of I(P ). Moreover, each line x + qy = q q + i has at least one oint of I(P ) otherwise, by the igeon hole rincile, it would exists a line x + qy = q q + j for some 1 j + q 1 containing two oints of I(P ), which is a contradiction. Notice that, since all lines x + qy = n q clearly have at least one lattice oint in the first quadrant then q q is the largest value for which x + qy = q q does not have solution on the nonnegative integers. Thus F 0 (S q ) = 1. Let k be the largest integer such that q k ( + q) 0. Let Q k be the olygon formed by the oints (q k, k), (q (k + 1), (k + 1)), ( k, k) and ( (k+1), (k+1)). Notice that Q 0 = P, that Q k is just a translation of Q 0 and that Q k 1 does not contains oints ( x, y), x, y > 0 (by definition of k ). Let rk 1 (res. rk) be the intersection of the line x+qy = q k(+q) with the x-axis (res. with the y-axis) for each k = 0,..., k. Let Q 1 k (res. Q k), k = 0,..., k 1 be the (not necessarily lattice) olygon formed by the oints (rk, 1 0), (rk+1, 1 0), (q k, k) and (q (k + 1), (k + 1)) (res. formed by the oints (0, rk), (0, rk+1), ( k, k) and ( (k + 1), (k + 1))). We notice that Q 1 k (res. Q k) is the iece of Q k that lies below the x-axis (res. on the left-hand side of the y-axis). Since each line x+qy = q (+q)+j, 1 j + q 1 has a unique solution with nonnegative integers (x, y) then the translated line x + qy = q k( + q) + j (lying in Q k ) does not have solution with nonnegative integers if the corresonding translation of (x, y) lies either in Q 1 k or Q k. Hence, F k (S q ) = I(Q 1 k) + I(Q k) + for each k = 1,..., k 1 (the term counts the gas corresonding to the inexistence of solutions for x + qy = q k( + q) and x + qy = q (k + 1)( + q)). We calculate I(Q 1 k) and I(Q k) for each k = 1,..., k 1. To this end, we first observe that the number of integer oints lying on the interval [( rk, 1 0),..., (q, 0)[= [(q k kq, 0),..., (q, 0)[ (res. lying on the interval [(0, ),..., (0, rk )[= [(0, ),..., (0, k k )[) is equals to k + kq q (res. 13
14 equals to k + k q ). Let 1 k and k the number of integer oints lying on the intervals [(r 1 k+1, 0),..., (r 1 k, 0)[ and [(0, r k+1),..., (0, r k)[ resectively for each k = 1,..., k 1. Then, I(Q 1 k) = k 1 = k 1 1 i = k 1 ( 1 + (i+1)q ( ( )) (i + 1) + (i+1)q i + iq iq ) = k + kq. Similarly, I(Q k) = k + k q, k = 1,..., k 1 and the result follows. We end this section with the following question. Let ρ i (S) = ρ i be the i th non-ga of S and let M(i) be the number of gas smaller than ρ i. Question 3.1 Is M(i) comutable in olynomial time? References [1] A. Brauer, On a roblem of artitions, Amer. Journal of Math. 64 (194), [] T.C. Brown and P.J. Shiue, A remark related to the Frobenius roblem, The Fibonacci Quarterly 31(1) (1993), [3] R. Frőberg, C. Gottlieb and R. H aggkvist, On numerical semigrous, Semigrou Forum 35 (1987), [4] R. Kannan, Lattice translates of a olytoe and the Frobenius roblem, Combinatorica 1() (199), [5] J. Komeda, Non-Weierstrass numerical semigrous, Semigrou Forum 57 (1998),
15 [6] J. Komeda, Remarks on non-weierstrass numerical semigrous, Algebras and Combinatorics. An International Congress, ICAC 97, Hong Kong (eds. K.-P. Shum, E.J. Taft and Z.-X. Wan), Sringer-Verlag (1999), [7] M. Nijenhuis and H.S. Wilf, Reresentation of integers by linear forms in nonnegative integers, J. Number Theory 4 (197), [8] G. Oliveira, Weierstrass semigrous and the canonical ideal of nontrigonial curves, Manuscrita Math. 71 (1991), [9] R. Pellikaan and F. Torres, On Weierstrass semigrous and the redundancy of imroved geometric Goa codes, IEEE Transactions on Information Theory 45(7) (1999), [10] G. Pick, Geometrisches zur Zahlenlehre, Sitzungsber. Lotos (Prague) 19 (1899), [11] J.L. Ramírez Alfonsín, Comlexity of the Frobenius roblem, Combinatorica 16(1) (1996), [1] J.L. Ramírez Alfonsín, The diohantine Frobenius roblem, Forschungsinstitut für Diskrete Mathematik, Bonn, Reort No (000), (43 ages). [13] J.B. Roberts, Note on linear forms, Proc. Amer. Math. Soc. 7 (1956), [14] J.J. Sylvester, Problem 738, Educational Times 37 (1884), 6; rerinted in: Mathematical questions with their solution, Educational Times (with additional aers and solutions) 41 (1884), 1. [15] J.J. Sylvester, On subinvariants, i.e. semi-invariants to binary quantities of an unlimited order, Amer. J. Math. 5 (188), [16] D.E. Varberg, Pick s theorem revisited, Amer. Math. Monthly 9 (1985),
On the Multiplicative Order of a n Modulo n
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 13 2010), Article 10.2.1 On the Multilicative Order of a n Modulo n Jonathan Chaelo Université Lille Nord de France F-59000 Lille France jonathan.chaelon@lma.univ-littoral.fr
More informationRepresenting Integers as the Sum of Two Squares in the Ring Z n
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 17 (2014), Article 14.7.4 Reresenting Integers as the Sum of Two Squares in the Ring Z n Joshua Harrington, Lenny Jones, and Alicia Lamarche Deartment
More informationMath 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,
MATH 4400 roblems. Math 4400/6400 Homework # solutions 1. Let P be an odd integer not necessarily rime. Show that modulo, { P 1 0 if P 1, 7 mod, 1 if P 3, mod. Proof. Suose that P 1 mod. Then we can write
More informationOn generalizing happy numbers to fractional base number systems
On generalizing hay numbers to fractional base number systems Enriue Treviño, Mikita Zhylinski October 17, 018 Abstract Let n be a ositive integer and S (n) be the sum of the suares of its digits. It is
More informationON INTEGERS NONREPRESENTABLE BY A GENERALIZED ARITHMETIC PROGRESSION
ON INTEGERS NONREPRESENTABLE BY A GENERALIZED ARITHMETIC PROGRESSION Gretchen L. Matthews 1 Department of Mathematical Sciences, Clemson University, Clemson, SC 9634-0975, USA gmatthe@clemson.edu Received:
More informationOn the irreducibility of a polynomial associated with the Strong Factorial Conjecture
On the irreducibility of a olynomial associated with the Strong Factorial Conecture Michael Filaseta Mathematics Deartment University of South Carolina Columbia, SC 29208 USA E-mail: filaseta@math.sc.edu
More informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick
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 informationARITHMETIC PROGRESSIONS OF POLYGONAL NUMBERS WITH COMMON DIFFERENCE A POLYGONAL NUMBER
#A43 INTEGERS 17 (2017) ARITHMETIC PROGRESSIONS OF POLYGONAL NUMBERS WITH COMMON DIFFERENCE A POLYGONAL NUMBER Lenny Jones Deartment of Mathematics, Shiensburg University, Shiensburg, Pennsylvania lkjone@shi.edu
More informationIntrinsic Approximation on Cantor-like Sets, a Problem of Mahler
Intrinsic Aroximation on Cantor-like Sets, a Problem of Mahler Ryan Broderick, Lior Fishman, Asaf Reich and Barak Weiss July 200 Abstract In 984, Kurt Mahler osed the following fundamental question: How
More informationThe Fibonacci Quarterly 44(2006), no.2, PRIMALITY TESTS FOR NUMBERS OF THE FORM k 2 m ± 1. Zhi-Hong Sun
The Fibonacci Quarterly 44006, no., 11-130. PRIMALITY TESTS FOR NUMBERS OF THE FORM k m ± 1 Zhi-Hong Sun eartment of Mathematics, Huaiyin Teachers College, Huaian, Jiangsu 3001, P.R. China E-mail: zhsun@hytc.edu.cn
More informationON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS
#A13 INTEGERS 14 (014) ON THE LEAST SIGNIFICANT ADIC DIGITS OF CERTAIN LUCAS NUMBERS Tamás Lengyel Deartment of Mathematics, Occidental College, Los Angeles, California lengyel@oxy.edu Received: 6/13/13,
More information#A47 INTEGERS 15 (2015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS
#A47 INTEGERS 15 (015) QUADRATIC DIOPHANTINE EQUATIONS WITH INFINITELY MANY SOLUTIONS IN POSITIVE INTEGERS Mihai Ciu Simion Stoilow Institute of Mathematics of the Romanian Academy, Research Unit No. 5,
More informationArithmetic Consequences of Jacobi s Two-Squares Theorem
THE RAMANUJAN JOURNAL 4, 51 57, 2000 c 2000 Kluwer Academic Publishers. Manufactured in The Netherlands. Arithmetic Consequences of Jacobi s Two-Squares Theorem MICHAEL D. HIRSCHHORN School of Mathematics,
More informationSmall Zeros of Quadratic Forms Mod P m
International Mathematical Forum, Vol. 8, 2013, no. 8, 357-367 Small Zeros of Quadratic Forms Mod P m Ali H. Hakami Deartment of Mathematics, Faculty of Science, Jazan University P.O. Box 277, Jazan, Postal
More informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCITY JORDAN SCHETTLER Abstract. The goals of this roject are to have the reader(s) gain an areciation for the usefulness of Legendre symbols and ultimately recreate Eisenstein s slick
More informationAdditive results for the generalized Drazin inverse in a Banach algebra
Additive results for the generalized Drazin inverse in a Banach algebra Dragana S. Cvetković-Ilić Dragan S. Djordjević and Yimin Wei* Abstract In this aer we investigate additive roerties of the generalized
More informationCombinatorics of topmost discs of multi-peg Tower of Hanoi problem
Combinatorics of tomost discs of multi-eg Tower of Hanoi roblem Sandi Klavžar Deartment of Mathematics, PEF, Unversity of Maribor Koroška cesta 160, 000 Maribor, Slovenia Uroš Milutinović Deartment of
More informationMODULAR FORMS, HYPERGEOMETRIC FUNCTIONS AND CONGRUENCES
MODULAR FORMS, HYPERGEOMETRIC FUNCTIONS AND CONGRUENCES MATIJA KAZALICKI Abstract. Using the theory of Stienstra and Beukers [9], we rove various elementary congruences for the numbers ) 2 ) 2 ) 2 2i1
More informationBEST POSSIBLE DENSITIES OF DICKSON m-tuples, AS A CONSEQUENCE OF ZHANG-MAYNARD-TAO
BEST POSSIBLE DENSITIES OF DICKSON m-tuples, AS A CONSEQUENCE OF ZHANG-MAYNARD-TAO ANDREW GRANVILLE, DANIEL M. KANE, DIMITRIS KOUKOULOPOULOS, AND ROBERT J. LEMKE OLIVER Abstract. We determine for what
More information#A8 INTEGERS 12 (2012) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS
#A8 INTEGERS 1 (01) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS Mohammadreza Bidar 1 Deartment of Mathematics, Sharif University of Technology, Tehran, Iran mrebidar@gmailcom
More informationp-adic Properties of Lengyel s Numbers
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 17 (014), Article 14.7.3 -adic Proerties of Lengyel s Numbers D. Barsky 7 rue La Condamine 75017 Paris France barsky.daniel@orange.fr J.-P. Bézivin 1, Allée
More informationMAS 4203 Number Theory. M. Yotov
MAS 4203 Number Theory M. Yotov June 15, 2017 These Notes were comiled by the author with the intent to be used by his students as a main text for the course MAS 4203 Number Theory taught at the Deartment
More informationVarious Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various Families of R n Norms and Some Open Problems
Int. J. Oen Problems Comt. Math., Vol. 3, No. 2, June 2010 ISSN 1998-6262; Coyright c ICSRS Publication, 2010 www.i-csrs.org Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various
More informationarxiv: v2 [math.nt] 9 Oct 2018
ON AN EXTENSION OF ZOLOTAREV S LEMMA AND SOME PERMUTATIONS LI-YUAN WANG AND HAI-LIANG WU arxiv:1810.03006v [math.nt] 9 Oct 018 Abstract. Let be an odd rime, for each integer a with a, the famous Zolotarev
More informationPositive decomposition of transfer functions with multiple poles
Positive decomosition of transfer functions with multile oles Béla Nagy 1, Máté Matolcsi 2, and Márta Szilvási 1 Deartment of Analysis, Technical University of Budaest (BME), H-1111, Budaest, Egry J. u.
More informationANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM
ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM JOHN BINDER Abstract. In this aer, we rove Dirichlet s theorem that, given any air h, k with h, k) =, there are infinitely many rime numbers congruent to
More informationOn the Toppling of a Sand Pile
Discrete Mathematics and Theoretical Comuter Science Proceedings AA (DM-CCG), 2001, 275 286 On the Toling of a Sand Pile Jean-Christohe Novelli 1 and Dominique Rossin 2 1 CNRS, LIFL, Bâtiment M3, Université
More informationA Note on Guaranteed Sparse Recovery via l 1 -Minimization
A Note on Guaranteed Sarse Recovery via l -Minimization Simon Foucart, Université Pierre et Marie Curie Abstract It is roved that every s-sarse vector x C N can be recovered from the measurement vector
More informationBy Evan Chen OTIS, Internal Use
Solutions Notes for DNY-NTCONSTRUCT Evan Chen January 17, 018 1 Solution Notes to TSTST 015/5 Let ϕ(n) denote the number of ositive integers less than n that are relatively rime to n. Prove that there
More informationON FREIMAN S 2.4-THEOREM
ON FREIMAN S 2.4-THEOREM ØYSTEIN J. RØDSETH Abstract. Gregory Freiman s celebrated 2.4-Theorem says that if A is a set of residue classes modulo a rime satisfying 2A 2.4 A 3 and A < /35, then A is contained
More informationMatching Transversal Edge Domination in Graphs
Available at htt://vamuedu/aam Al Al Math ISSN: 19-9466 Vol 11, Issue (December 016), 919-99 Alications and Alied Mathematics: An International Journal (AAM) Matching Transversal Edge Domination in Grahs
More informationGOOD MODELS FOR CUBIC SURFACES. 1. Introduction
GOOD MODELS FOR CUBIC SURFACES ANDREAS-STEPHAN ELSENHANS Abstract. This article describes an algorithm for finding a model of a hyersurface with small coefficients. It is shown that the aroach works in
More informationNumber Theory Naoki Sato
Number Theory Naoki Sato 0 Preface This set of notes on number theory was originally written in 1995 for students at the IMO level. It covers the basic background material that an IMO
More informationMarch 4, :21 WSPC/INSTRUCTION FILE FLSpaper2011
International Journal of Number Theory c World Scientific Publishing Comany SOLVING n(n + d) (n + (k 1)d ) = by 2 WITH P (b) Ck M. Filaseta Deartment of Mathematics, University of South Carolina, Columbia,
More informationDistribution of Matrices with Restricted Entries over Finite Fields
Distribution of Matrices with Restricted Entries over Finite Fields Omran Ahmadi Deartment of Electrical and Comuter Engineering University of Toronto, Toronto, ON M5S 3G4, Canada oahmadid@comm.utoronto.ca
More informationCERIAS Tech Report The period of the Bell numbers modulo a prime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education
CERIAS Tech Reort 2010-01 The eriod of the Bell numbers modulo a rime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education and Research Information Assurance and Security Purdue University,
More informationA FEW EQUIVALENCES OF WALL-SUN-SUN PRIME CONJECTURE
International Journal of Mathematics & Alications Vol 4, No 1, (June 2011), 77-86 A FEW EQUIVALENCES OF WALL-SUN-SUN PRIME CONJECTURE ARPAN SAHA AND KARTHIK C S ABSTRACT: In this aer, we rove a few lemmas
More informationThe Frobenius number in the set of numerical semigroups with fixed multiplicity and genus
The robenius number in the set of numerical semigroups with fixed multiplicity and genus Aureliano M Robles-Pérez and José Carlos Rosales Abstract We compute all possible numbers that are the robenius
More informationDiophantine Equations and Congruences
International Journal of Algebra, Vol. 1, 2007, no. 6, 293-302 Diohantine Equations and Congruences R. A. Mollin Deartment of Mathematics and Statistics University of Calgary, Calgary, Alberta, Canada,
More informationMath 104B: Number Theory II (Winter 2012)
Math 104B: Number Theory II (Winter 01) Alina Bucur Contents 1 Review 11 Prime numbers 1 Euclidean algorithm 13 Multilicative functions 14 Linear diohantine equations 3 15 Congruences 3 Primes as sums
More informationSOME SUMS OVER IRREDUCIBLE POLYNOMIALS
SOME SUMS OVER IRREDUCIBLE POLYNOMIALS DAVID E SPEYER Abstract We rove a number of conjectures due to Dinesh Thakur concerning sums of the form P hp ) where the sum is over monic irreducible olynomials
More informationZhi-Wei Sun Department of Mathematics, Nanjing University Nanjing , People s Republic of China
Ramanuan J. 40(2016, no. 3, 511-533. CONGRUENCES INVOLVING g n (x n ( n 2 ( 2 0 x Zhi-Wei Sun Deartment of Mathematics, Naning University Naning 210093, Peole s Reublic of China zwsun@nu.edu.cn htt://math.nu.edu.cn/
More informationJonathan Sondow 209 West 97th Street, New York, New York
#A34 INTEGERS 11 (2011) REDUCING THE ERDŐS-MOSER EQUATION 1 n + 2 n + + k n = (k + 1) n MODULO k AND k 2 Jonathan Sondow 209 West 97th Street, New York, New York jsondow@alumni.rinceton.edu Kieren MacMillan
More information19th Bay Area Mathematical Olympiad. Problems and Solutions. February 28, 2017
th Bay Area Mathematical Olymiad February, 07 Problems and Solutions BAMO- and BAMO- are each 5-question essay-roof exams, for middle- and high-school students, resectively. The roblems in each exam are
More information2 Asymptotic density and Dirichlet density
8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime
More informationAn Estimate For Heilbronn s Exponential Sum
An Estimate For Heilbronn s Exonential Sum D.R. Heath-Brown Magdalen College, Oxford For Heini Halberstam, on his retirement Let be a rime, and set e(x) = ex(2πix). Heilbronn s exonential sum is defined
More information2 Asymptotic density and Dirichlet density
8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime
More informationWeil s Conjecture on Tamagawa Numbers (Lecture 1)
Weil s Conjecture on Tamagawa Numbers (Lecture ) January 30, 204 Let R be a commutative ring and let V be an R-module. A quadratic form on V is a ma q : V R satisfying the following conditions: (a) The
More informationPythagorean triples and sums of squares
Pythagorean triles and sums of squares Robin Chaman 16 January 2004 1 Pythagorean triles A Pythagorean trile (x, y, z) is a trile of ositive integers satisfying z 2 + y 2 = z 2. If g = gcd(x, y, z) then
More informationPARTITIONS AND (2k + 1) CORES. 1. Introduction
PARITY RESULTS FOR BROKEN k DIAMOND PARTITIONS AND 2k + CORES SILVIU RADU AND JAMES A. SELLERS Abstract. In this aer we rove several new arity results for broken k-diamond artitions introduced in 2007
More informationDISCRIMINANTS IN TOWERS
DISCRIMINANTS IN TOWERS JOSEPH RABINOFF Let A be a Dedekind domain with fraction field F, let K/F be a finite searable extension field, and let B be the integral closure of A in K. In this note, we will
More information1. INTRODUCTION. Fn 2 = F j F j+1 (1.1)
CERTAIN CLASSES OF FINITE SUMS THAT INVOLVE GENERALIZED FIBONACCI AND LUCAS NUMBERS The beautiful identity R.S. Melham Deartment of Mathematical Sciences, University of Technology, Sydney PO Box 23, Broadway,
More informationThe inverse Goldbach problem
1 The inverse Goldbach roblem by Christian Elsholtz Submission Setember 7, 2000 (this version includes galley corrections). Aeared in Mathematika 2001. Abstract We imrove the uer and lower bounds of the
More informationBOUNDS FOR THE SIZE OF SETS WITH THE PROPERTY D(n) Andrej Dujella University of Zagreb, Croatia
GLASNIK MATMATIČKI Vol. 39(59(2004, 199 205 BOUNDS FOR TH SIZ OF STS WITH TH PROPRTY D(n Andrej Dujella University of Zagreb, Croatia Abstract. Let n be a nonzero integer and a 1 < a 2 < < a m ositive
More informationInfinitely Many Quadratic Diophantine Equations Solvable Everywhere Locally, But Not Solvable Globally
Infinitely Many Quadratic Diohantine Equations Solvable Everywhere Locally, But Not Solvable Globally R.A. Mollin Abstract We resent an infinite class of integers 2c, which turn out to be Richaud-Degert
More informationElementary Analysis in Q p
Elementary Analysis in Q Hannah Hutter, May Szedlák, Phili Wirth November 17, 2011 This reort follows very closely the book of Svetlana Katok 1. 1 Sequences and Series In this section we will see some
More informationON A VARIATION OF THE COIN EXCHANGE PROBLEM FOR ARITHMETIC PROGRESSIONS
ON A VARIATION OF THE COIN EXCHANGE PROBLEM FOR ARITHMETIC PROGRESSIONS Amitabha Tripathi Department of Mathematics, Indian Institute of Technology, Hauz Khas, New Delhi - 110016, India atripath@maths.iitd.ac.in
More informationON THE NORM OF AN IDEMPOTENT SCHUR MULTIPLIER ON THE SCHATTEN CLASS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 000-9939XX)0000-0 ON THE NORM OF AN IDEMPOTENT SCHUR MULTIPLIER ON THE SCHATTEN CLASS WILLIAM D. BANKS AND ASMA HARCHARRAS
More information#A45 INTEGERS 12 (2012) SUPERCONGRUENCES FOR A TRUNCATED HYPERGEOMETRIC SERIES
#A45 INTEGERS 2 (202) SUPERCONGRUENCES FOR A TRUNCATED HYPERGEOMETRIC SERIES Roberto Tauraso Diartimento di Matematica, Università di Roma Tor Vergata, Italy tauraso@mat.uniroma2.it Received: /7/, Acceted:
More informationOn the Diophantine Equation x 2 = 4q n 4q m + 9
JKAU: Sci., Vol. 1 No. 1, : 135-141 (009 A.D. / 1430 A.H.) On the Diohantine Equation x = 4q n 4q m + 9 Riyadh University for Girls, Riyadh, Saudi Arabia abumuriefah@yahoo.com Abstract. In this aer, we
More informationHASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES
HASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES AHMAD EL-GUINDY AND KEN ONO Astract. Gauss s F x hyergeometric function gives eriods of ellitic curves in Legendre normal form. Certain truncations of this
More informationCONGRUENCES SATISFIED BY APÉRY-LIKE NUMBERS
International Journal of Number Theory Vol 6, No 1 (2010 89 97 c World Scientific Publishing Comany DOI: 101142/S1793042110002879 CONGRUENCES SATISFIED BY APÉRY-LIKE NUMBERS HENG HUAT CHAN, SHAUN COOPER
More informationAN IMPROVED BABY-STEP-GIANT-STEP METHOD FOR CERTAIN ELLIPTIC CURVES. 1. Introduction
J. Al. Math. & Comuting Vol. 20(2006), No. 1-2,. 485-489 AN IMPROVED BABY-STEP-GIANT-STEP METHOD FOR CERTAIN ELLIPTIC CURVES BYEONG-KWEON OH, KIL-CHAN HA AND JANGHEON OH Abstract. In this aer, we slightly
More information1. Introduction. = (2n)! (n N)
Included in: Combinatorial Additive Number Theory: CANT 2011 2012 (edited by M.B. Nathanson, Sringer Proc. in Math. & Stat., Vol. 101, Sringer, New Yor, 2014,. 257 312. ON SUMS RELATED TO CENTRAL BINOMIAL
More informationarxiv: v5 [math.nt] 22 Aug 2013
Prerint, arxiv:1308900 ON SOME DETERMINANTS WITH LEGENDRE SYMBOL ENTRIES arxiv:1308900v5 [mathnt] Aug 013 Zhi-Wei Sun Deartment of Mathematics, Nanjing University Nanjing 10093, Peole s Reublic of China
More informationCHAPTER 2: SMOOTH MAPS. 1. Introduction In this chapter we introduce smooth maps between manifolds, and some important
CHAPTER 2: SMOOTH MAPS DAVID GLICKENSTEIN 1. Introduction In this chater we introduce smooth mas between manifolds, and some imortant concets. De nition 1. A function f : M! R k is a smooth function if
More informationPrimes of the form ±a 2 ± qb 2
Stud. Univ. Babeş-Bolyai Math. 58(2013), No. 4, 421 430 Primes of the form ±a 2 ± qb 2 Eugen J. Ionascu and Jeff Patterson To the memory of Professor Mircea-Eugen Craioveanu (1942-2012) Abstract. Reresentations
More informationApplicable Analysis and Discrete Mathematics available online at HENSEL CODES OF SQUARE ROOTS OF P-ADIC NUMBERS
Alicable Analysis and Discrete Mathematics available online at htt://efmath.etf.rs Al. Anal. Discrete Math. 4 (010), 3 44. doi:10.98/aadm1000009m HENSEL CODES OF SQUARE ROOTS OF P-ADIC NUMBERS Zerzaihi
More informationCongruences modulo 3 for two interesting partitions arising from two theta function identities
Note di Matematica ISSN 113-53, e-issn 1590-093 Note Mat. 3 01 no., 1 7. doi:10.185/i1590093v3n1 Congruences modulo 3 for two interesting artitions arising from two theta function identities Kuwali Das
More informationTRACES OF SCHUR AND KRONECKER PRODUCTS FOR BLOCK MATRICES
Khayyam J. Math. DOI:10.22034/kjm.2019.84207 TRACES OF SCHUR AND KRONECKER PRODUCTS FOR BLOCK MATRICES ISMAEL GARCÍA-BAYONA Communicated by A.M. Peralta Abstract. In this aer, we define two new Schur and
More informationClass Numbers and Iwasawa Invariants of Certain Totally Real Number Fields
Journal of Number Theory 79, 249257 (1999) Article ID jnth.1999.2433, available online at htt:www.idealibrary.com on Class Numbers and Iwasawa Invariants of Certain Totally Real Number Fields Dongho Byeon
More informationMATH 2710: NOTES FOR ANALYSIS
MATH 270: NOTES FOR ANALYSIS The main ideas we will learn from analysis center around the idea of a limit. Limits occurs in several settings. We will start with finite limits of sequences, then cover infinite
More informationBent Functions of maximal degree
IEEE TRANSACTIONS ON INFORMATION THEORY 1 Bent Functions of maximal degree Ayça Çeşmelioğlu and Wilfried Meidl Abstract In this article a technique for constructing -ary bent functions from lateaued functions
More informationHEAT AND LAPLACE TYPE EQUATIONS WITH COMPLEX SPATIAL VARIABLES IN WEIGHTED BERGMAN SPACES
Electronic Journal of ifferential Equations, Vol. 207 (207), No. 236,. 8. ISSN: 072-669. URL: htt://ejde.math.txstate.edu or htt://ejde.math.unt.edu HEAT AN LAPLACE TYPE EQUATIONS WITH COMPLEX SPATIAL
More informationLegendre polynomials and Jacobsthal sums
Legendre olynomials and Jacobsthal sums Zhi-Hong Sun( Huaiyin Normal University( htt://www.hytc.edu.cn/xsjl/szh Notation: Z the set of integers, N the set of ositive integers, [x] the greatest integer
More information#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS
#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS Ramy F. Taki ElDin Physics and Engineering Mathematics Deartment, Faculty of Engineering, Ain Shams University, Cairo, Egyt
More informationNOTES. Hyperplane Sections of the n-dimensional Cube
NOTES Edited by Sergei Tabachnikov Hyerlane Sections of the n-dimensional Cube Rolfdieter Frank and Harald Riede Abstract. We deduce an elementary formula for the volume of arbitrary hyerlane sections
More informationOn the Rank of the Elliptic Curve y 2 = x(x p)(x 2)
On the Rank of the Ellitic Curve y = x(x )(x ) Jeffrey Hatley Aril 9, 009 Abstract An ellitic curve E defined over Q is an algebraic variety which forms a finitely generated abelian grou, and the structure
More informationSolvability and Number of Roots of Bi-Quadratic Equations over p adic Fields
Malaysian Journal of Mathematical Sciences 10(S February: 15-35 (016 Secial Issue: The 3 rd International Conference on Mathematical Alications in Engineering 014 (ICMAE 14 MALAYSIAN JOURNAL OF MATHEMATICAL
More informationAn Inverse Problem for Two Spectra of Complex Finite Jacobi Matrices
Coyright 202 Tech Science Press CMES, vol.86, no.4,.30-39, 202 An Inverse Problem for Two Sectra of Comlex Finite Jacobi Matrices Gusein Sh. Guseinov Abstract: This aer deals with the inverse sectral roblem
More informationMersenne and Fermat Numbers
NUMBER THEORY CHARLES LEYTEM Mersenne and Fermat Numbers CONTENTS 1. The Little Fermat theorem 2 2. Mersenne numbers 2 3. Fermat numbers 4 4. An IMO roblem 5 1 2 CHARLES LEYTEM 1. THE LITTLE FERMAT THEOREM
More informationGAUSSIAN INTEGERS HUNG HO
GAUSSIAN INTEGERS HUNG HO Abstract. We will investigate the ring of Gaussian integers Z[i] = {a + bi a, b Z}. First we will show that this ring shares an imortant roerty with the ring of integers: every
More informationApproximating min-max k-clustering
Aroximating min-max k-clustering Asaf Levin July 24, 2007 Abstract We consider the roblems of set artitioning into k clusters with minimum total cost and minimum of the maximum cost of a cluster. The cost
More information#A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS
#A37 INTEGERS 15 (2015) NOTE ON A RESULT OF CHUNG ON WEIL TYPE SUMS Norbert Hegyvári ELTE TTK, Eötvös University, Institute of Mathematics, Budaest, Hungary hegyvari@elte.hu François Hennecart Université
More informationElementary Number Theory
Elementary Number Theory WISB321 = F.Beukers 2012 Deartment of Mathematics UU ELEMENTARY NUMBER THEORY Frits Beukers Fall semester 2013 Contents 1 Integers and the Euclidean algorithm 4 1.1 Integers................................
More informationMath 751 Lecture Notes Week 3
Math 751 Lecture Notes Week 3 Setember 25, 2014 1 Fundamental grou of a circle Theorem 1. Let φ : Z π 1 (S 1 ) be given by n [ω n ], where ω n : I S 1 R 2 is the loo ω n (s) = (cos(2πns), sin(2πns)). Then
More informationON THE DIOPHANTINE FROBENIUS PROBLEM
PORTUGALIAE MATHEMATICA Vol. 55 Fasc. 4 1998 ON THE DIOPHANTINE FROBENIUS PROBLEM Y.O. Hamidoune Abstract: Let X N be a finite subset such that gcdx = 1. The Frobenius number of X denoted by GX is the
More informationδ(xy) = φ(x)δ(y) + y p δ(x). (1)
LECTURE II: δ-rings Fix a rime. In this lecture, we discuss some asects of the theory of δ-rings. This theory rovides a good language to talk about rings with a lift of Frobenius modulo. Some of the material
More informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCIT POOJA PATEL Abstract. This aer is an self-contained exosition of the law of uadratic recirocity. We will give two roofs of the Chinese remainder theorem and a roof of uadratic recirocity.
More informationFactorizations Of Functions In H p (T n ) Takahiko Nakazi
Factorizations Of Functions In H (T n ) By Takahiko Nakazi * This research was artially suorted by Grant-in-Aid for Scientific Research, Ministry of Education of Jaan 2000 Mathematics Subject Classification
More informationApproximation of the Euclidean Distance by Chamfer Distances
Acta Cybernetica 0 (0 399 47. Aroximation of the Euclidean Distance by Chamfer Distances András Hajdu, Lajos Hajdu, and Robert Tijdeman Abstract Chamfer distances lay an imortant role in the theory of
More informationIMPROVED BOUNDS IN THE SCALED ENFLO TYPE INEQUALITY FOR BANACH SPACES
IMPROVED BOUNDS IN THE SCALED ENFLO TYPE INEQUALITY FOR BANACH SPACES OHAD GILADI AND ASSAF NAOR Abstract. It is shown that if (, ) is a Banach sace with Rademacher tye 1 then for every n N there exists
More informationHENSEL S LEMMA KEITH CONRAD
HENSEL S LEMMA KEITH CONRAD 1. Introduction In the -adic integers, congruences are aroximations: for a and b in Z, a b mod n is the same as a b 1/ n. Turning information modulo one ower of into similar
More informationCharacteristics of Fibonacci-type Sequences
Characteristics of Fibonacci-tye Sequences Yarden Blausa May 018 Abstract This aer resents an exloration of the Fibonacci sequence, as well as multi-nacci sequences and the Lucas sequence. We comare and
More informationDirichlet s Theorem on Arithmetic Progressions
Dirichlet s Theorem on Arithmetic Progressions Thai Pham Massachusetts Institute of Technology May 2, 202 Abstract In this aer, we derive a roof of Dirichlet s theorem on rimes in arithmetic rogressions.
More informationOn the normality of p-ary bent functions
Noname manuscrit No. (will be inserted by the editor) On the normality of -ary bent functions Ayça Çeşmelioğlu Wilfried Meidl Alexander Pott Received: date / Acceted: date Abstract In this work, the normality
More informationLinear mod one transformations and the distribution of fractional parts {ξ(p/q) n }
ACTA ARITHMETICA 114.4 (2004) Linear mod one transformations and the distribution of fractional arts {ξ(/q) n } by Yann Bugeaud (Strasbourg) 1. Introduction. It is well known (see e.g. [7, Chater 1, Corollary
More informationLinear diophantine equations for discrete tomography
Journal of X-Ray Science and Technology 10 001 59 66 59 IOS Press Linear diohantine euations for discrete tomograhy Yangbo Ye a,gewang b and Jiehua Zhu a a Deartment of Mathematics, The University of Iowa,
More informationMultiplicity of weak solutions for a class of nonuniformly elliptic equations of p-laplacian type
Nonlinear Analysis 7 29 536 546 www.elsevier.com/locate/na Multilicity of weak solutions for a class of nonuniformly ellitic equations of -Lalacian tye Hoang Quoc Toan, Quô c-anh Ngô Deartment of Mathematics,
More information