SUMSETS MOD p ØYSTEIN J. RØDSETH
|
|
- Norah Rose
- 5 years ago
- Views:
Transcription
1 SUMSETS MOD p ØYSTEIN J. RØDSETH Abstract. In this paper we present some basic addition theorems modulo a prime p and look at various proof techniques. We open with the Cauchy-Davenport theorem and a proof using the Davenport transform. We continue with a result, due to Davenport, on strongly connected digraphs. We include a brief application of Philip Hall s theorem on distinct representatives to sumsets mod p. Then we give a simple proof of Vosper s theorem using the Davenport transform. Finally, we look at sums of distinct residue classes mod p. Complete results for this type of restricted sumsets were first obtained using representation theory and multilinear algebra. These results do not seem to lend themselves to transformation proofs. However, now we have the beautiful technique called the polynomial method, which gives simple proofs of such results. We demonstrate the polynomial method by using it in a second proof of the Cauchy-Davenport theorem. 1. Introduction Let A be a set of k 1 distinct integers a 1, a 2,...,a k, and let B be a set of l 1 distinct integers b 1, b 2,...,b l. The sumset A + B is defined as A + B = {a + b a A, b B}. (1) Thus the sumset A + B consists of the distinct integers appearing in the rectangular array a 1 + b 1 a 1 + b 2... a 1 + b l a 2 + b 1. a 2 + b a 2 + b l. (2) a k + b 1 a k + b 2... a k + b l What can be said about the number A + B of elements in A + B? That is, what can be said about the number of distinct integers in the array (2)? Trivially, we have A+B kl, and it might very well happen that all the integers in the array (2) actually are distinct. What about a lower bound for A + B? We arrange the notation such that a 1 < a 2 < < a k and b 1 < b 2 < < b l. In the array (2) we start at the upper left hand corner, move along the first row, and continue down the last column. Then we have a strictly increasing sequence of integers in A + B, a 1 + b 1, a 1 + b 2,...,a 1 + b l, a 2 + b l,..., a k + b l. (3) 2000 Mathematics Subject Classification. 11A07. Key words and phrases. Sumsets, congruences, residue classes mod p. 1
2 2 Ø. J. RØDSETH This sequence consists of k + l 1 distinct integers. Hence, A + B k + l 1. (4) By choosing A and B to be arithmetic progressions with a common difference, we see that this result is best possible. Let p be a prime. What happens to the considerations above if we replace the integers by residue classes modulo p? Thus A = {a 1, a 2,...,a k } and B = {b 1, b 2,...,b l } are now subsets of Z/pZ, the finite field of p elements. We continue to write k for the number of elements in A, and the number of elements in B is l. The sumset A + B is defined by (1). Consequently, A + B consists of the distinct residue classes among those listed in the array (2). We continue to write A + B for the number of elements in A + B. Still we have, of course, that A + B kl, or rather A + B min(p, kl). The question is if (4) still holds. The answer is not unconditionally yes. We always have A + B p, so if p < k + l 1, then the answer is no. But let us assume that k +l 1 p. Is (4) then correct? The proof above for ordinary integers, where we looked at the sequence (3), fails for residue classes. It is true that the residue classes in the first row in (2) are all distinct, and the same goes for the residue classes in the last column. But more than one of the elements in the first row may very well also appear in the last column. Nevertheless, the inequality (4) does hold. Theorem 1 (Cauchy-Davenport). A + B min(p, k + l 1). This is a basic result in the part of additive/combinatorial number theory known as addition theorems mod p (and more generally as addition theorems in groups ). The theorem was proved by Cauchy [4] in 1813 and rediscovered by Davenport [6, 7] in As we have already indicated, the proof is more complicated than that for integers. Both Cauchy and Davenport employed what are known as transformation proofs. In the literature it is mainly the so-called (Dyson) e-transform that is used. This is essentially the same transform as the one employed by Cauchy. The Davenport transform is more or less forgotten. In this paper we use the Davenport transform to prove Theorem 1. This does not offer special advantages over the use of the e-transform in the proof of Theorem 1. But in Section 7 we shall see that the Davenport transform gives a rather nice proof of Vosper s theorem. This paper is organized in 8 sections. In Section 2 we introduce some notation. In Section 3 we describe the Davenport transform. Then, in a brief Section 4 we prove Theorem 1. In Section 5 we show a result about directed graphs, a result which, according to Davenport, is equivalent to Theorem 1. In Section 6 we employ Philip Hall s theorem on distinct representatives to say a bit more about where in the array (2) we can find k +l 1 distinct residue classes when k +l 1 p. In Section 7 we consider an inverse theorem mod p, and in Section 8 we close by mentioning a type of result which does not seem to lend itself to any transformation proof.
3 SUMSETS MOD p 3 2. Notation As before, let A and B be non-empty subsets of Z/pZ. The sumset A + B is defined by (1). This set operation is commutative and associative. Also the sum of more than two sets is uniquely defined. In particular, we write ha for A + + A (h addends). For c Z/pZ we write c+a for {c}+a. We set B = { b b B}, and A B = A+( B). The number of elements in A is denoted by A. We write A B when A is a subset of B. We reserve the symbol for proper inclusion. Thus A B means that A is contained in B, but is not equal to B. We denote the relative complement of B in A by A \ B, while B denotes the complement of B in Z/pZ. If there are residue classes a, d Z/pZ such that A consists of the distinct residue classes a, a + d, a + 2d,..., a + (k 1)d, then A is an arithmetic progression with difference d. For an integer r we will on some occasions also write r for the residue class modulo p represented by r. 3. The Davenport Transform We now introduce the Davenport transform (in modern notation), and give its most important properties. Suppose that 0 B, B 2, and A + B Z/pZ. Then A + B A + 2B. If A + B = A + 2B, then A + B = A + 2B = A + 3B =... For an a A and 0 b B, we then have a + nb A + B for n = 0, 1, 2,... Thus we have A + B = Z/pZ, contrary to assumptions. Therefore A + B A + 2B. Putting we thus have X. For x X we set X = (A + 2B) \ (A + B), (5) B x = {b B x b A + B}, B x = B \ B x. We shall call B x for a Davenport transform of B. Now, we have 0 B x, and 0 B x B. Clearly, We also have (A + B x ) (x B x) A + B. (6) (A + B x ) (x B x) =, (7) since we (in self-explanatory notation) have that if a+b x = x b x, then x b x = a+b x A + B, so that b x Bx, a contradiction. By (6) and (7) we thus have A + B A + B x + x B x, that is, A + B A + B x + B B x. (8)
4 4 Ø. J. RØDSETH 4. Proof of Theorem 1 Assume the theorem false. Then there are pairs of sets A, B such that A + B Z/pZ, and A + B A + B 2. (9) These properties remain valid if we replace B by b+b for some b B. We may therefore assume that 0 B. Choose such a pair A, B for which B is minimal. Then B 2. By Section 3, there exists a Davenport transform B x such that (8) holds. We have 1 B x < B and A + B x < A + B < p. By (8) and (9), A + B x A + B B + B x A + B x 2, which contradicts the minimality of B. 5. Digraphs The Cauchy-Davenport theorem is given as statement A in Davenport s 1935 paper. What seems to be less known, is that Davenport s paper also contains a statement B, which he describes as equivalent to statement A. By this, he obviously means that statement B follows easily from statement A, and vice versa. Davenport did not use modern graph-theoretic language. Today we can formulate Davenport s statement B as follows: Let B, V Z/pZ, where 0 B. Set E = {(x, y) V V y x B}. Then D = (V, E) is a digraph with vertex set V and edge set E. For a moment, think of V as fixed, while B is allowed to vary. If B is small, then there are few edges, and the digraph D falls apart into several pieces (the graph D is disconnected). On the other side, if B is large, then we probably have many edges, and the chances should be good of D being in one piece (the graph D is connected). If B is large, the chances should even be good of D being strongly connected, that is, there is a directed path from any vertex v V to any other vertex w V. Therefore the following theorem, which is Davenport s statement B, appears quite natural. Theorem 2 (Davenport). If B > p V, then D is strongly connected. Let us deduce this theorem from the Cauchy-Davenport theorem. Let v V, and By putting B 0 = {0} B, we have A = {a V v = a or there is a path from v to a}. (A + B 0 ) V A. To see this, let a + b 0 = w (A + B 0 ) V. If b 0 = 0, then w = a A. If b 0 B, we have w a = b 0 B, such that there is an edge from a A to w. Hence w A. So, we have A (A + B 0 ) V A, that is, (A + B 0 ) V = A.
5 By inclusion-exclusion, we get SUMSETS MOD p 5 p (A + B 0 ) V = A + B 0 + V (A + B 0 ) V, that is, p V A + B 0 A. We now assume that B > p V. Then B > A + B 0 A, or since B 0 = B + 1, A + B 0 < A + B 0 1. The Cauchy-Davenport Theorem now gives A +B 0 = p, that is A + B 0 = Z/pZ. Hence, A = (A + B 0 ) V = (Z/pZ) V = V, which means that there is a path from an arbitrary vertex v to any other vertex. This completes the proof of Theorem Distinct Representatives Davenport s paper [6] begins on page 30 in the 1935 volume of Journal of the London Mathematical Society. On this very page ends a paper by Philip Hall [11]. Hall s paper contains his famous theorem about distinct representatives. Theorem 3 (P. Hall). Let C 1, C 2,..., C k be sets. Suppose that the union of every selection of s of these sets contains at least s elements for all s = 1, 2,..., k. Then we can find a set of k distinct elements, one from each of the k sets. There are many proofs of this result in the literature. Our two favourites are the ones presented in [1, p. 28] (due to D. J. Shoesmith) and [19, p. 116] (due to R. Rado). As before, let A = {a 1,...,a k }, B = {b 1,...,b l } Z/pZ, A = k 1, B = l 1. Suppose that A + B Z/pZ. By the Cauchy-Davenport theorem we have A + B k + l 1. All a i +b j are given by (2). Is it possible to say something about where in the rectangular array (2) we can find k + l 1 distinct residue classes? Let C be an (l 1)-subset of A + B. (For example, C = a 1 + {b 1,...,b l 1 }.) Then we may choose one element from each row in (2), such that C and these elements constitute k + l 1 distinct residue classes in (2). (We may, for instance, choose all elements in the first row in (2) and one element from each of the other rows.) This is seen in the following way. The set of elements in row i in the rectangular array (2) is equal to a i + B. Let C i = (a i + B) \ C. For 1 i 1 < i 2 < < i s k we have, by the Cauchy-Davenport theorem, C i1... C is = ({a i1,...,a is } + B) \ C {a i1,...,a is } + B C s + l 1 (l 1) = s,
6 6 Ø. J. RØDSETH and by Hall s theorem we can find k distinct elements, one from each C i. Along with the l 1 elements of C, we thus have k + l 1 distinct elements of A + B. 7. An Inverse Theorem mod p The Cauchy-Davenport Theorem is a direct addition theorem mod p. Given sets A and B, such a theorem usually gives a result about A + B; in our case a lower bound for A + B. The corresponding inverse problem is to describe the structure of the sets A, B for which A + B is small. The first non-trivial inverse theorem mod p is due to Vosper [17]. Theorem 4 (Vosper). We have A + B = min(p, A + B 1) if and only if one of the following conditions is satisfied: (i) A + B > p, (ii) A = 1 or B = 1, (iii) B = c A for a c Z/pZ, (iv) A and B are arithmetic progressions with the same difference. The principal step in the proof of Vosper s theorem is the proof of the following result. Theorem 5 (Vosper). Suppose that B 2, and that Then A is an arithmetic progression. A + B = A + B 1 < p 1. (10) Vosper first used the Davenport transform to prove this result. Later he gave in [18] a simpler proof by employing the e-transform. Another transform was employed by Chowla, Mann, and Straus in [5], where they also gave a beautiful application of Vosper s theorem to diagonal forms over Z/pZ; cf. [15, p. 57], [14, Ch. 2]. Now we shall show how the Davenport transform gives us an even simpler proof of Theorem 5 than Vosper s second. Proof of Theorem 5. Assume that the theorem is false. Let A, B be a pair of sets such that A does not form an arithmetic progression, (10) holds, and B 2 is minimal. We may also assume that 0 B. Let X be given by (5). For an x X, let B x be the corresponding Davenport transform of B. By (8) and (10), we then have A + B x A + B B + B x A + B x 1 < p 2. By the minimality of B we have B x = {0}. Setting B = B \ {0}, we thus have B x = B for all x X, so that x B A + B for all x X, and we see that A (X B ) A + B and A (X B ) =.
7 It follows by (10) that and application of Theorem 1 gives SUMSETS MOD p 7 A + B 1 = A + B A + X B, B 1 X B X + B 1 = X + B 2. Thus we have X 1, that is, X = 1. Since A + B < p 1, it follows that Applying Theorem 1 once more, we obtain A + 2B = A + B + 1 < p. 1 = A + 2B A + B A + B + B 1 A + B = B 1. Hence B = 2. If 0 b B, the conditions upon A and B also hold for the sets {ab 1 a A} and {0, 1}. Therefore it is no restriction to assume that B = {0, 1}. Thus we have by (10), A + {0, 1} = A + 1. (11) Consider the residue classes 0, 1,..., p 1 as consecutive points on a circle. By (11), we have exactly one element a A with a + 1 A. Hence, the elements of A form a set of consecutive points on the circle, that is, A is an arithmetic progression with difference 1. This completes the proof of Theorem 5. If we in Theorem 5 also assume that A 2, it is now easy to see that B is an arithmetic progression with the same difference as A. For we may assume that A = {0, 1,..., A 1}. Then A = {0, 1}+A for A = {0, 1,..., A 2}. By (10) we have A+B < p, and using Theorem 1 we get that is, A + B 1 = A + B = {0, 1} + A + B {0, 1} + B + A 1 = {0, 1} + B + A 2; {0, 1} + B B + 1. (12) If we once more regard the residue classes mod p as points on a circle, we see that (12) holds if and only if B is an arithmetic progression with difference 1. The proof of Theorem 4 is now easily completed. In [12] the authors go one step beyond Vosper, and in [13] another step is taken. But we are far away from existing conjectures generalizing Vosper s theorem. On the other hand, related to Vosper s theorem, there is a strong inverse theorem by Freiman [10, Theorem 2.1], [15, Theorem 2.11]. This theorem of Freiman is the subject of [16].
8 8 Ø. J. RØDSETH 8. The Polynomial Method We define another type of addition of sets of residue classes mod p by putting As before, we let A = k and B = l. By the Cauchy-Davenport theorem we have A +B = {a + b a A, b B, a b}. (13) A + A min(p, 2k 1). More than 40 years ago, Erdős and Heilbronn conjectured that we have the similar result A +A min(p, 2k 3). (14) If (14) is true, it is best possible. This is seen by taking A as an arithmetic progression. If we want to prove (14) by transformation, we actually have to prove a more general result for the set (13), since one or both sets are altered by transformation. But this plan does not work, since the condition a b in (13) is destroyed by all (known) transformations. So a non-transformation proof is what we need. Then it is natural first to try to find such a proof of the Cauchy-Davenport theorem. And the first non-transformation proof of the Cauchy-Davenport theorem was given in 1990 by Dias da Silva and Hamidoune [8] using multilinear algebra. In 1994, more than 30 years after Erdős and Heilbronn stated their conjecture, Dias da Silva and Hamidoune [9] proved the conjecture using results from representation theory and multilinear algebra. Soon after, Alon, Nathanson, and Ruzsa [2, 3] found a beautiful elementary proof of (14). They even proved that A +B min(p, k + l 2} if k l. (15) Alon, Nathanson, and Ruzsa s new method of proof is called the polynomial method. To demonstrate this method, we now use this technique to give a second proof of the Cauchy-Davenport theorem. We consider polynomials over the field Z/pZ. We put f(x, y) = (x + y c), and define g(x, y) by c A+B g(x, y) f(x, y) (mod a A (x a), b B(y b)), where g(x, y) is of degree at most k 1 in x, and of degree at most l 1 in y. We have g(a, b) = f(a, b) = 0 for all (a, b) A B. A well-known theorem of Lagrange states that if a polynomial of degree at most n 1 in one variable over Z/pZ has n zeros, then the polynomial is identically zero. It is now a simple exercise to show that g(x, y) is the zero polynomial.
9 We have f(x, y) = A+B j=0 ( A + B j SUMSETS MOD p 9 ) x j y A+B j + terms of lower degree. Suppose that A + B p. Then the monomial x k 1 y A+B k+1 has non-zero coefficient, and the exponent of y must be reducible when the monomial is taken mod b B (y b). Thus A + B k + 1 l, and the proof is complete. To prove (15), consider the polynomial h(x, y) = (x y) (x + y c) instead of f(x, y). c Ab+B While it is straightforward to generalize the Cauchy-Davenport theorem to the sum of more than two sets, this is not the case with (14) or (15). Dias da Silva and Hamidoune nevertheless showed how (14) generalizes to h equal addends, while Alon, Nathanson, and Ruzsa showed how (15) generalizes to h not necessarily equal sets. The polynomial method has its obvious advantages to transformation methods. But the opposite is also true. It is an unsolved problem to produce inverse results by the polynomial method. Nobody has succeeded in determining the structure of those A for which equality holds in (14), nor the structure of those A, B for which equality holds in (15). Nor do we know if the polynomial method can be used to prove Vosper s theorem. Nevertheless, problems of the type touched upon in this paper constitute a very active field of research. References [1] I. Anderson, A First Course in Combinatorial Mathematics, Second ed., Oxford University Press, New York, [2] N. Alon, M. B. Nathanson, and I. Z. Ruzsa, Adding distinct congruence classes modulo a prime, American Math. Monthly 102 (1995), [3] N. Alon, M. B. Nathanson, and I. Z. Ruzsa, The polynomial method and restricted sums of residue classes, J. Number Theory 56 (1996), [4] A. L. Cauchy, Recherches sur les nombres, J. École Polytech. 9 (1813), ; also in Oevres, Série 2, Tome 1, [5] S. Chowla, H. B. Mann, and E. G. Straus, Some applications of the Cauchy-Davenport theorem, Det Kongelige Norske Videnskabers Selskabs Skrifter 32 (1959), [6] H. Davenport, On the addition of residue classes, J. London Math. Soc. 10 (1935), [7] H. Davenport, A historical note, J. London Math. Soc. 22 (1947), [8] J. A. Dias da Silva and Y. O. Hamidoune, A note on the minimal polynomial of the Kronecker sum of two linear operators, Linear Algebra and its Applications 141 (1990), [9] J. A. Dias da Silva and Y. O. Hamidoune, Cyclic spaces for Grassmann derivatives and additive theory, Bull. London Math. Soc. 26 (1994), [10] G. A. Freiman, Foundations of a Structural Theory of Set Addition, Translations of Mathematical Monographs, Vol. 37, American Math. Soc., Providence, R. I. (1973).
10 10 Ø. J. RØDSETH [11] P. Hall, On representatives of subsets, J. London Math. Soc. 10 (1935), [12] Y. O. Hamidoune and Ø. J. Rødseth, An inverse theorem mod p, Acta Arith., 92 (3) (2000), [13] Y. O. Hamidoune, O. Serra, and G. Zémor, On the critical pair theory in Z/pZ, Acta Arith. 121 (2) (2006), [14] H. B. Mann, Addition Theorems: The Addition Theorems of Group Theory and Number Theory, Interscience Publishers, New York [15] M. B. Nathanson, Additive Number Theory: Inverse Problems and the Geometry of Sumsets, Springer-Verlag, New York [16] Ø. J. Rødseth, On Freiman s 2.4-theorem, Trans. R. Norw. Soc. Sci. Lett. (to appear). [17] A. G. Vosper, The critical pairs of subsets of a group of prime order, J. London Math. Soc. 31 (1956), [18] A. G. Vosper, Addendum to The critical pairs of subsets of a group of prime order, J. London Math. Soc. 31, (1956), [19] R. J. Wilson, Introduction to Graph Theory, Forth ed., Longman, Essex Department of Mathematics, University of Bergen, Johs. Brunsgt. 12, N-5008 Bergen, Norway address: Oystein.Rodseth@uib.no URL:
ON 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 informationJ. Combin. Theory Ser. A 116(2009), no. 8, A NEW EXTENSION OF THE ERDŐS-HEILBRONN CONJECTURE
J. Combin. Theory Ser. A 116(2009), no. 8, 1374 1381. A NEW EXTENSION OF THE ERDŐS-HEILBRONN CONJECTURE Hao Pan and Zhi-Wei Sun Department of Mathematics, Naning University Naning 210093, People s Republic
More informationON MATCHINGS IN GROUPS
ON MATCHINGS IN GROUPS JOZSEF LOSONCZY Abstract. A matching property conceived for lattices is examined in the context of an arbitrary abelian group. The Dyson e-transform and the Cauchy Davenport inequality
More informationON THE INVERSE ERDŐS-HEILBRONN PROBLEM FOR RESTRICTED SET ADDITION IN FINITE GROUPS
ON THE INVERSE ERDŐS-HEILBRONN PROBLEM FOR RESTRICTED SET ADDITION IN FINITE GROUPS Suren M. Jayasuriya Department of Electrical and Computer Engineering, Cornell University, Ithaca, New York 1453, USA
More informationWeighted Sequences in Finite Cyclic Groups
Weighted Sequences in Finite Cyclic Groups David J. Grynkiewicz and Jujuan Zhuang December 11, 008 Abstract Let p > 7 be a prime, let G = Z/pZ, and let S 1 = p gi and S = p hi be two sequences with terms
More informationThe Cauchy-Davenport Theorem for Finite Groups
arxiv:1202.1816v1 [math.co] 8 Feb 2012 The Cauchy-Davenport Theorem for Finite Groups Jeffrey Paul Wheeler February 2006 Abstract The Cauchy-Davenport theorem states that for any two nonempty subsetsaandb
More informationTHE STRUCTURE OF RAINBOW-FREE COLORINGS FOR LINEAR EQUATIONS ON THREE VARIABLES IN Z p. Mario Huicochea CINNMA, Querétaro, México
#A8 INTEGERS 15A (2015) THE STRUCTURE OF RAINBOW-FREE COLORINGS FOR LINEAR EQUATIONS ON THREE VARIABLES IN Z p Mario Huicochea CINNMA, Querétaro, México dym@cimat.mx Amanda Montejano UNAM Facultad de Ciencias
More informationJournal of Number Theory
Journal of Number Theory 129 (2009) 2766 2777 Contents lists available at ScienceDirect Journal of Number Theory www.elsevier.com/locate/jnt The critical number of finite abelian groups Michael Freeze
More informationRestricted set addition in Abelian groups: results and conjectures
Journal de Théorie des Nombres de Bordeaux 17 (2005), 181 193 Restricted set addition in Abelian groups: results and conjectures par Vsevolod F. LEV Résumé. Nous présentons un ensemble de conjectures imbriquées
More informationAdditive Latin Transversals
Additive Latin Transversals Noga Alon Abstract We prove that for every odd prime p, every k p and every two subsets A = {a 1,..., a k } and B = {b 1,..., b k } of cardinality k each of Z p, there is a
More informationTerence Tao s harmonic analysis method on restricted sumsets
Huaiyin Normal University 2009.7.30 Terence Tao s harmonic analysis method on restricted sumsets Guo Song 1 1 24 0. Abstract Let p be a prime, and A, B be finite subsets of Z p. Set A + B = {a + b : a
More informationRESTRICTED SET ADDITION IN GROUPS, I. THE CLASSICAL SETTING
RESTRICTED SET ADDITION IN GROUPS, I. THE CLASSICAL SETTING VSEVOLOD F. LEV Abstract. We survey the existing and prove several new results for the cardinality of the restricted doubling 2ˆA = {a +a : a,a
More informationADDITION THEOREMS IN Fp VIA THE POLYNOMIAL METHOD
ADDITION THEOREMS IN Fp VIA THE POLYNOMIAL METHOD Eric Balandraud To cite this version: Eric Balandraud ADDITION THEOREMS IN Fp VIA THE POLYNOMIAL METHOD 017 HAL Id: hal-01469950 https://halarchives-ouvertesfr/hal-01469950
More information9 - The Combinatorial Nullstellensatz
9 - The Combinatorial Nullstellensatz Jacques Verstraëte jacques@ucsd.edu Hilbert s nullstellensatz says that if F is an algebraically closed field and f and g 1, g 2,..., g m are polynomials in F[x 1,
More informationSubset sums modulo a prime
ACTA ARITHMETICA 131.4 (2008) Subset sums modulo a prime by Hoi H. Nguyen, Endre Szemerédi and Van H. Vu (Piscataway, NJ) 1. Introduction. Let G be an additive group and A be a subset of G. We denote by
More informationSome zero-sum constants with weights
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 118, No. 2, May 2008, pp. 183 188. Printed in India Some zero-sum constants with weights S D ADHIKARI 1, R BALASUBRAMANIAN 2, F PAPPALARDI 3 andprath 2 1 Harish-Chandra
More informationSUM-PRODUCT ESTIMATES APPLIED TO WARING S PROBLEM MOD P
SUM-PRODUCT ESTIMATES APPLIED TO WARING S PROBLEM MOD P TODD COCHRANE AND CHRISTOPHER PINNER Abstract. Let γ(k, p) denote Waring s number (mod p) and δ(k, p) denote the ± Waring s number (mod p). We use
More informationProblems and Results in Additive Combinatorics
Problems and Results in Additive Combinatorics Zhi-Wei Sun Nanjing University Nanjing 210093, P. R. China zwsun@nju.edu.cn http://math.nju.edu.cn/ zwsun August 2, 2010 While in the past many of the basic
More information8 Primes and Modular Arithmetic
8 Primes and Modular Arithmetic 8.1 Primes and Factors Over two millennia ago already, people all over the world were considering the properties of numbers. One of the simplest concepts is prime numbers.
More informationThe Erdős-Heilbronn Problem for Finite Groups
The Erdős-Heilbronn Problem for Finite Groups Paul Balister Department of Mathematical Sciences, the University of Memphis Memphis, TN 38152, USA pbalistr@memphis.edu Jeffrey Paul Wheeler Department of
More informationPair dominating graphs
Pair dominating graphs Paul Balister Béla Bollobás July 25, 2004 Department of Mathematical Sciences, University of Memphis, Memphis, TN 38152 USA Abstract An oriented graph dominates pairs if for every
More informationGENERALIZATIONS OF SOME ZERO-SUM THEOREMS. Sukumar Das Adhikari Harish-Chandra Research Institute, Chhatnag Road, Jhusi, Allahabad , INDIA
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (2008), #A52 GENERALIZATIONS OF SOME ZERO-SUM THEOREMS Sukumar Das Adhikari Harish-Chandra Research Institute, Chhatnag Road, Jhusi, Allahabad
More informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
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 information2. Introduction to commutative rings (continued)
2. Introduction to commutative rings (continued) 2.1. New examples of commutative rings. Recall that in the first lecture we defined the notions of commutative rings and field and gave some examples of
More informationSolving a linear equation in a set of integers II
ACTA ARITHMETICA LXXII.4 (1995) Solving a linear equation in a set of integers II by Imre Z. Ruzsa (Budapest) 1. Introduction. We continue the study of linear equations started in Part I of this paper.
More informationPowers of 2 with five distinct summands
ACTA ARITHMETICA * (200*) Powers of 2 with five distinct summands by Vsevolod F. Lev (Haifa) 0. Summary. We show that every sufficiently large, finite set of positive integers of density larger than 1/3
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 informationFACTORIZATION AND THE PRIMES
I FACTORIZATION AND THE PRIMES 1. The laws of arithmetic The object of the higher arithmetic is to discover and to establish general propositions concerning the natural numbers 1, 2, 3,... of ordinary
More informationSzemerédi-Trotter theorem and applications
Szemerédi-Trotter theorem and applications M. Rudnev December 6, 2004 The theorem Abstract These notes cover the material of two Applied post-graduate lectures in Bristol, 2004. Szemerédi-Trotter theorem
More informationJónsson posets and unary Jónsson algebras
Jónsson posets and unary Jónsson algebras Keith A. Kearnes and Greg Oman Abstract. We show that if P is an infinite poset whose proper order ideals have cardinality strictly less than P, and κ is a cardinal
More informationFactorization of integer-valued polynomials with square-free denominator
accepted by Comm. Algebra (2013) Factorization of integer-valued polynomials with square-free denominator Giulio Peruginelli September 9, 2013 Dedicated to Marco Fontana on the occasion of his 65th birthday
More informationMaximum exponent of boolean circulant matrices with constant number of nonzero entries in its generating vector
Maximum exponent of boolean circulant matrices with constant number of nonzero entries in its generating vector MI Bueno, Department of Mathematics and The College of Creative Studies University of California,
More information2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31
Contents 1 Lecture 1: Introduction 2 2 Lecture 2: Logical statements and proof by contradiction 7 3 Lecture 3: Induction and Well-Ordering Principle 11 4 Lecture 4: Definition of a Group and examples 15
More informationOn Systems of Diagonal Forms II
On Systems of Diagonal Forms II Michael P Knapp 1 Introduction In a recent paper [8], we considered the system F of homogeneous additive forms F 1 (x) = a 11 x k 1 1 + + a 1s x k 1 s F R (x) = a R1 x k
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 informationSOLUTIONS Math 345 Homework 6 10/11/2017. Exercise 23. (a) Solve the following congruences: (i) x (mod 12) Answer. We have
Exercise 23. (a) Solve the following congruences: (i) x 101 7 (mod 12) Answer. We have φ(12) = #{1, 5, 7, 11}. Since gcd(7, 12) = 1, we must have gcd(x, 12) = 1. So 1 12 x φ(12) = x 4. Therefore 7 12 x
More informationFermat numbers and integers of the form a k + a l + p α
ACTA ARITHMETICA * (200*) Fermat numbers and integers of the form a k + a l + p α by Yong-Gao Chen (Nanjing), Rui Feng (Nanjing) and Nicolas Templier (Montpellier) 1. Introduction. In 1849, A. de Polignac
More information2. Prime and Maximal Ideals
18 Andreas Gathmann 2. Prime and Maximal Ideals There are two special kinds of ideals that are of particular importance, both algebraically and geometrically: the so-called prime and maximal ideals. Let
More informationARITHMETIC PROGRESSIONS IN SPARSE SUMSETS. Dedicated to Ron Graham on the occasion of his 70 th birthday
ARITHMETIC PROGRESSIONS IN SPARSE SUMSETS Dedicated to Ron Graham on the occasion of his 70 th birthday Ernie Croot 1 School of Mathematics, Georgia Institute of Technology, Atlanta, GA 30332 Imre Ruzsa
More informationCONSECUTIVE INTEGERS IN HIGH-MULTIPLICITY SUMSETS
CONSECUTIVE INTEGERS IN HIGH-MULTIPLICITY SUMSETS VSEVOLOD F. LEV Abstract. Sharpening (a particular case of) a result of Szemerédi and Vu [4] and extending earlier results of Sárközy [3] and ourselves
More informationHanna Furmańczyk EQUITABLE COLORING OF GRAPH PRODUCTS
Opuscula Mathematica Vol. 6 No. 006 Hanna Furmańczyk EQUITABLE COLORING OF GRAPH PRODUCTS Abstract. A graph is equitably k-colorable if its vertices can be partitioned into k independent sets in such a
More informationarxiv: v3 [math.co] 23 Jun 2008
BOUNDING MULTIPLICATIVE ENERGY BY THE SUMSET arxiv:0806.1040v3 [math.co] 23 Jun 2008 Abstract. We prove that the sumset or the productset of any finite set of real numbers, A, is at least A 4/3 ε, improving
More informationALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers
ALGEBRA CHRISTIAN REMLING 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers by Z = {..., 2, 1, 0, 1,...}. Given a, b Z, we write a b if b = ac for some
More informationSZEMERÉDI-TROTTER INCIDENCE THEOREM AND APPLICATIONS
SZEMERÉDI-TROTTER INCIDENCE THEOREM AND APPLICATIONS PAUL H. KOESTER Given a finite set of points P R 2 and a finite family of lines L, we define the set of incidences of P and L by I(P, L) = {(p, l) P
More informationTHE RELATIVE SIZES OF SUMSETS AND DIFFERENCE SETS. Merlijn Staps Department of Mathematics, Utrecht University, Utrecht, The Netherlands
#A42 INTEGERS 15 (2015) THE RELATIVE SIZES OF SUMSETS AND DIFFERENCE SETS Merlijn Staps Department of Mathematics, Utrecht University, Utrecht, The Netherlands M.Staps@uu.nl Received: 10/9/14, Revised:
More informationDiagnostic quiz for M303: Further Pure Mathematics
Diagnostic quiz for M303: Further Pure Mathematics Am I ready to start M303? M303, Further pure mathematics is a fascinating third level module, that builds on topics introduced in our second level module
More informationUNIFICATION OF ZERO-SUM PROBLEMS, SUBSET SUMS AND COVERS OF Z
ELECTRONIC RESEARCH ANNOUNCEMENTS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 9, Pages 51 60 (July 10, 2003) S 1079-6762(03)00111-2 UNIFICATION OF ZERO-SUM PROBLEMS, SUBSET SUMS AND COVERS OF Z ZHI-WEI
More informationarxiv: v1 [math.co] 31 May 2018
A step beyond Freiman s theorem for set addition modulo a prime Pablo Candela 1 Oriol Serra 2 Christoph Spiegel 3 June 1, 2018 arxiv:1805.12374v1 [math.co] 31 May 2018 Abstract Freiman s 2.4-Theorem states
More informationSum of dilates in vector spaces
North-Western European Journal of Mathematics Sum of dilates in vector spaces Antal Balog 1 George Shakan 2 Received: September 30, 2014/Accepted: April 23, 2015/Online: June 12, 2015 Abstract Let d 2,
More informationNotes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.
Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3
More informationLecture 6: Finite Fields
CCS Discrete Math I Professor: Padraic Bartlett Lecture 6: Finite Fields Week 6 UCSB 2014 It ain t what they call you, it s what you answer to. W. C. Fields 1 Fields In the next two weeks, we re going
More informationarxiv:math/ v3 [math.co] 15 Oct 2006
arxiv:math/060946v3 [math.co] 15 Oct 006 and SUM-PRODUCT ESTIMATES IN FINITE FIELDS VIA KLOOSTERMAN SUMS DERRICK HART, ALEX IOSEVICH, AND JOZSEF SOLYMOSI Abstract. We establish improved sum-product bounds
More informationExtension of continuous functions in digital spaces with the Khalimsky topology
Extension of continuous functions in digital spaces with the Khalimsky topology Erik Melin Uppsala University, Department of Mathematics Box 480, SE-751 06 Uppsala, Sweden melin@math.uu.se http://www.math.uu.se/~melin
More informationArithmetic progressions in sumsets
ACTA ARITHMETICA LX.2 (1991) Arithmetic progressions in sumsets by Imre Z. Ruzsa* (Budapest) 1. Introduction. Let A, B [1, N] be sets of integers, A = B = cn. Bourgain [2] proved that A + B always contains
More information#A34 INTEGERS 13 (2013) A NOTE ON THE MULTIPLICATIVE STRUCTURE OF AN ADDITIVELY SHIFTED PRODUCT SET AA + 1
#A34 INTEGERS 13 (2013) A NOTE ON THE MULTIPLICATIVE STRUCTURE OF AN ADDITIVELY SHIFTED PRODUCT SET AA + 1 Steven Senger Department of Mathematics, University of Delaware, Newark, Deleware senger@math.udel.edu
More informationCLASS NOTES FOR APRIL 14, 2000
CLASS NOTES FOR APRIL 14, 2000 Announcement: Section 1.2, Questions 3,5 have been deferred from Assignment 1 to Assignment 2. Section 1.4, Question 5 has been dropped entirely. 1. Review of Wednesday class
More informationarxiv:math.gr/ v1 12 Nov 2004
A talk given at the Institute of Math. Science, Nanjing Univ. on Oct. 8, 2004. GROUPS AND COMBINATORIAL NUMBER THEORY arxiv:math.gr/0411289 v1 12 Nov 2004 Zhi-Wei Sun Department of Mathematics Nanjing
More informationANSWER TO A QUESTION BY BURR AND ERDŐS ON RESTRICTED ADDITION, AND RELATED RESULTS Mathematics Subject Classification: 11B05, 11B13, 11P99
ANSWER TO A QUESTION BY BURR AND ERDŐS ON RESTRICTED ADDITION, AND RELATED RESULTS N. HEGYVÁRI, F. HENNECART AND A. PLAGNE Abstract. We study the gaps in the sequence of sums of h pairwise distinct elements
More informationANEWPROOFOFKEMPERMAN STHEOREM. Tomas Boothby Simon Fraser University, Burnaby, Canada
#A15 INTEGERS 15 (2015) ANEWPROOFOFKEMPERMAN STHEOREM Tomas Boothby Simon Fraser University, Burnaby, Canada Matt DeVos 1 Department of Mathematics, Simon Fraser University, Burnaby, Canada mdevos@sfu.ca
More informationProof: Let the check matrix be
Review/Outline Recall: Looking for good codes High info rate vs. high min distance Want simple description, too Linear, even cyclic, plausible Gilbert-Varshamov bound for linear codes Check matrix criterion
More informationON BARYCENTRIC CONSTANTS
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Vol. 53, No. 2, 2012, 1 12 ON BARYCENTRIC CONSTANTS FLORIAN LUCA, OSCAR ORDAZ, AND MARÍA TERESA VARELA Abstract. Let G be an abelian group with n elements. Let
More informationSQUARE PATTERNS AND INFINITUDE OF PRIMES
SQUARE PATTERNS AND INFINITUDE OF PRIMES KEITH CONRAD 1. Introduction Numerical data suggest the following patterns for prime numbers p: 1 mod p p = 2 or p 1 mod 4, 2 mod p p = 2 or p 1, 7 mod 8, 2 mod
More informationSUM-PRODUCT ESTIMATES IN FINITE FIELDS VIA KLOOSTERMAN SUMS
SUM-PRODUCT ESTIMATES IN FINITE FIELDS VIA KLOOSTERMAN SUMS DERRICK HART, ALEX IOSEVICH, AND JOZSEF SOLYMOSI Abstract. We establish improved sum-product bounds in finite fields using incidence theorems
More informationstrengthened. In 1971, M. M. Dodson [5] showed that fl(k; p) <c 1 if p>k 2 (here and below c 1 ;c 2 ;::: are some positive constants). Various improve
Nonlinear Analysis: Modelling and Control, Vilnius, IMI, 1999, No 4, pp. 23-30 ON WARING'S PROBLEM FOR A PRIME MODULUS A. Dubickas Department of Mathematics and Informatics, Vilnius University, Naugarduko
More informationAhlswede Khachatrian Theorems: Weighted, Infinite, and Hamming
Ahlswede Khachatrian Theorems: Weighted, Infinite, and Hamming Yuval Filmus April 4, 2017 Abstract The seminal complete intersection theorem of Ahlswede and Khachatrian gives the maximum cardinality of
More informationBasic counting techniques. Periklis A. Papakonstantinou Rutgers Business School
Basic counting techniques Periklis A. Papakonstantinou Rutgers Business School i LECTURE NOTES IN Elementary counting methods Periklis A. Papakonstantinou MSIS, Rutgers Business School ALL RIGHTS RESERVED
More informationSets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant).
Sets and Functions 1. The language of sets Informally, a set is any collection of objects. The objects may be mathematical objects such as numbers, functions and even sets, or letters or symbols of any
More informationRINGS IN POST ALGEBRAS. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXXVI, 2(2007), pp. 263 272 263 RINGS IN POST ALGEBRAS S. RUDEANU Abstract. Serfati [7] defined a ring structure on every Post algebra. In this paper we determine all the
More informationDR.RUPNATHJI( DR.RUPAK NATH )
Contents 1 Sets 1 2 The Real Numbers 9 3 Sequences 29 4 Series 59 5 Functions 81 6 Power Series 105 7 The elementary functions 111 Chapter 1 Sets It is very convenient to introduce some notation and terminology
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationWalk through Combinatorics: Sumset inequalities.
Walk through Combinatorics: Sumset inequalities (Version 2b: revised 29 May 2018) The aim of additive combinatorics If A and B are two non-empty sets of numbers, their sumset is the set A+B def = {a+b
More informationWe are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero
Chapter Limits of Sequences Calculus Student: lim s n = 0 means the s n are getting closer and closer to zero but never gets there. Instructor: ARGHHHHH! Exercise. Think of a better response for the instructor.
More informationMINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS
MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS LORENZ HALBEISEN, MARTIN HAMILTON, AND PAVEL RŮŽIČKA Abstract. A subset X of a group (or a ring, or a field) is called generating, if the smallest subgroup
More informationarxiv: v2 [math.co] 7 Sep 2013
The Structure of Critical Product Sets Matt DeVos mdevos@sfu.ca arxiv:1301.0096v2 [math.co] 7 Sep 2013 August 14, 2018 Abstract Let G be a multiplicative group, let A, B G be finite and nonempty, and define
More informationELEMENTARY LINEAR ALGEBRA
ELEMENTARY LINEAR ALGEBRA K R MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND First Printing, 99 Chapter LINEAR EQUATIONS Introduction to linear equations A linear equation in n unknowns x,
More informationRELATIVE N-TH NON-COMMUTING GRAPHS OF FINITE GROUPS. Communicated by Ali Reza Ashrafi. 1. Introduction
Bulletin of the Iranian Mathematical Society Vol. 39 No. 4 (2013), pp 663-674. RELATIVE N-TH NON-COMMUTING GRAPHS OF FINITE GROUPS A. ERFANIAN AND B. TOLUE Communicated by Ali Reza Ashrafi Abstract. Suppose
More informationSumset Estimates in Abelian Groups
Central European University Masters Thesis Sumset Estimates in Abelian Groups Author: Daniel Glasscoc Supervisor: Dr. Gergely Harcos May 29, 2011 Contents Introduction 1 Chapter 1: Single set sumset estimates
More information* 8 Groups, with Appendix containing Rings and Fields.
* 8 Groups, with Appendix containing Rings and Fields Binary Operations Definition We say that is a binary operation on a set S if, and only if, a, b, a b S Implicit in this definition is the idea that
More information1 Basic Combinatorics
1 Basic Combinatorics 1.1 Sets and sequences Sets. A set is an unordered collection of distinct objects. The objects are called elements of the set. We use braces to denote a set, for example, the set
More informationSeminaar Abstrakte Wiskunde Seminar in Abstract Mathematics Lecture notes in progress (27 March 2010)
http://math.sun.ac.za/amsc/sam Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics 2009-2010 Lecture notes in progress (27 March 2010) Contents 2009 Semester I: Elements 5 1. Cartesian product
More informationRINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS
RINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS JACOB LOJEWSKI AND GREG OMAN Abstract. Let G be a nontrivial group, and assume that G = H for every nontrivial subgroup H of G. It is a simple matter to prove
More informationAll Ramsey numbers for brooms in graphs
All Ramsey numbers for brooms in graphs Pei Yu Department of Mathematics Tongji University Shanghai, China yupeizjy@16.com Yusheng Li Department of Mathematics Tongji University Shanghai, China li yusheng@tongji.edu.cn
More informationThe maximal determinant and subdeterminants of ±1 matrices
Linear Algebra and its Applications 373 (2003) 297 310 www.elsevier.com/locate/laa The maximal determinant and subdeterminants of ±1 matrices Jennifer Seberry a,, Tianbing Xia a, Christos Koukouvinos b,
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 informationNOTES ON DIOPHANTINE APPROXIMATION
NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics
More informationPermutation groups/1. 1 Automorphism groups, permutation groups, abstract
Permutation groups Whatever you have to do with a structure-endowed entity Σ try to determine its group of automorphisms... You can expect to gain a deep insight into the constitution of Σ in this way.
More informationON INTEGERS EXPRESSIBLE BY SOME SPECIAL LINEAR FORM. 1. Introduction
ON INTEGERS EXPRESSIBLE BY SOME SPECIAL LINEAR FORM A. DUBICKAS and A. NOVIKAS Abstract. Let E(4) be the set of positive integers expressible by the form 4M d, where M is a multiple of the product ab and
More informationCHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998
CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic
More informationLacunary Polynomials over Finite Fields Course notes
Lacunary Polynomials over Finite Fields Course notes Javier Herranz Abstract This is a summary of the course Lacunary Polynomials over Finite Fields, given by Simeon Ball, from the University of London,
More informationPlaces of Number Fields and Function Fields MATH 681, Spring 2018
Places of Number Fields and Function Fields MATH 681, Spring 2018 From now on we will denote the field Z/pZ for a prime p more compactly by F p. More generally, for q a power of a prime p, F q will denote
More informationarxiv:math/ v2 [math.nt] 3 Dec 2003
arxiv:math/0302091v2 [math.nt] 3 Dec 2003 Every function is the representation function of an additive basis for the integers Melvyn B. Nathanson Department of Mathematics Lehman College (CUNY) Bronx,
More informationAnother Proof of Nathanson s Theorems
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 14 (2011), Article 11.8.4 Another Proof of Nathanson s Theorems Quan-Hui Yang School of Mathematical Sciences Nanjing Normal University Nanjing 210046
More informationON A FAMILY OF ELLIPTIC CURVES
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLIII 005 ON A FAMILY OF ELLIPTIC CURVES by Anna Antoniewicz Abstract. The main aim of this paper is to put a lower bound on the rank of elliptic
More information3.7 Non-linear Diophantine Equations
37 Non-linear Diophantine Equations As an example of the use of congruences we can use them to show when some Diophantine equations do not have integer solutions This is quite a negative application -
More informationZhi-Wei Sun Department of Mathematics, Nanjing University Nanjing , People s Republic of China. Received 8 July 2005; accepted 2 February 2006
Adv in Appl Math 382007, no 2, 267 274 A CONNECTION BETWEEN COVERS OF THE INTEGERS AND UNIT FRACTIONS Zhi-Wei Sun Department of Mathematics, Nanjing University Nanjing 20093, People s Republic of China
More information1 2 3 style total. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.
1 2 3 style total Math 415 Examination 3 Please print your name: Answer Key 1 True/false Circle the correct answer; no explanation is required. Each problem in this section counts 5 points. 1. The rings
More informationEstimates for probabilities of independent events and infinite series
Estimates for probabilities of independent events and infinite series Jürgen Grahl and Shahar evo September 9, 06 arxiv:609.0894v [math.pr] 8 Sep 06 Abstract This paper deals with finite or infinite sequences
More informationCountability. 1 Motivation. 2 Counting
Countability 1 Motivation In topology as well as other areas of mathematics, we deal with a lot of infinite sets. However, as we will gradually discover, some infinite sets are bigger than others. Countably
More informationThe Complete Intersection Theorem for Systems of Finite Sets
Europ. J. Combinatorics (1997) 18, 125 136 The Complete Intersection Theorem for Systems of Finite Sets R UDOLF A HLSWEDE AND L EVON H. K HACHATRIAN 1. H ISTORIAL B ACKGROUND AND THE N EW T HEOREM We are
More information