ON A CLASS OF APERIODIC SUM-FREE SETS NEIL J. CALKIN PAUL ERD OS. that is that there are innitely many n not in S which are not a sum of two elements
|
|
- Lester Wright
- 5 years ago
- Views:
Transcription
1 ON A CLASS OF APERIODIC SUM-FREE SETS NEIL J. CALKIN PAUL ERD OS Abstract. We show that certain natural aperiodic sum-free sets are incomplete, that is that there are innitely many n not in S which are not a sum of two elements of S.. Introduction An old question (ascribed to Dickson by Guy [6] and rediscovered in a more general setting by Cameron [4]) asks whether a sum-free set constructed in a greedy fashion from a nite initial set will be ultimately periodic. Cameron, Calkin and Finch have investigated this question, and it seems that the answer may be \no": in particular, the sum-free sets f; ; 8; 20; 26 : : : g and f2; 5; 6; 2; 27 : : : g are not known to be ultimately periodic. The approach taken by these authors is to compute a large number of elements of the respective sets, and to investigate the structure. Unfortunately there is currently no way to show that these sets are aperiodic (though there is good evidence [2, ] to suggest that they are). An alternative approach to answering Dickson's question in the negative would be to take a sum-free set already known to be aperiodic, and to show that it was complete. In this paper we shall show that this approach will fail for a natural set of aperiodic sum-free sets. 2. Definitions Given a set S of positive integers, we denote by S + S the set of pairwise sums, S + S = fx + y j x; y 2 Sg. A set S is said to be sum-free if S \ (S + S) = ;, that is if there do not exist x; y; z 2 S for which x + y = z. We call a sum-free set complete if there is an n 0 such that for all n > n 0, n 2 S [ (S + S), that is either n 2 S or there exist x; y 2 S with x + y = n. Equivalently, S is complete if and only if it is constructed greedily from a nite set. 99 Mathematics Subject Classication. B75. It seems that the problem as stated by Guy doesn't appear in the reference cited
2 2 NEIL J. CALKIN PAUL ERD OS We call S ultimately periodic with period m if its characteristic function is ultimately periodic with period m, that is if there exists a positive integer n o such that for all n > n 0, n 2 S if and only if n + m 2 S: otherwise we say that S is aperiodic. The following sets S are a natural set of aperiodic sum-free sets: for irrational, dene S = njfng 2 ( ; 2 ) where fxg denotes the fractional part of x. Clearly, S is aperiodic: indeed, if S were ultimately periodic with period m, then for suciently large k, km 62 S. However, since m is irrational, fkmg is dense on (0; ) as k runs through the positive integers. Since the sets S all have density and it is easily seen that S [ (S + S ) has density, it might be hoped that amongst the S we might nd a complete set, thus answering Dickson's question in the negative (it is clear that not every S can be complete, since the set of complete sum-free sets is countable, and there are uncountably many S ). We prove below that this is not the case.. Preliminaries We need an understanding of when n 62 S [ (S + S ). Lemma. n 2 S + S if and only if either (i) fng =? ; where 0 < < and there exists an m < n with 2? fmg = < or (ii) fng = 2 +; where 0 < < and there exists an m < n with fmg? = <. Further, we may choose m n or. 2 2 Proof: Suppose that n 2 S + S. Then either fng 2 (0; ) or fng 2 ( 2 ; ). Suppose the former. Let m ; m 2 2 S, with m + m 2 = n, and fm g = 2? ; and fm 2 g = 2? 2: Then f(m + m 2 )g = f 4?? 2 g = f? ( + 2 )g and since fng =?, we have + 2 =. Since m + m 2 = n, the smaller of m and m 2 is at most n, and 2 since + 2 =, the smaller of and 2 is at most. 2 Conversely, if there is an m with 2? fmg = < then clearly (n? m) 2 S, and so n 2 S + S. The case where fng 2 ( 2 ; ) is handled similarly. We also require the following basic facts about continued fractions (cf [7]): Lemma 2. If is irrational, with continued fraction convergents a i fraction expansion and continued
3 ON A CLASS OF APERIODIC SUM-FREE SETS then for every i, (i) a 2i b 2 < < a 2i+ b 2i+ (ii) a i +? a i+ = (iii) a i+ = q i a i + a i?, + = q i +? (iv) a i? < + q 0 + q + q 2 + q + q 4 + : : : (v) If a; b 2 Zwith 0 < b < b n+, and b 6= b n, then ja? bj > ja n? b n j. 4. The Result Theorem. For every irrational, the set S is incomplete. Proof: Consider the continued fraction convergents a i to =. Suppose i is even: then a i < ; so > a i : Hence if a i 2 (mod ), then 0 <? a i < + so 0 < f g? 2 < ; + and by Lemma 2(v), we see that there are no a; b; with b < and jb?aj < j?a i j: Hence 62 S [ (S + S ): Similarly, if i is odd, and a (mod ) then a i > ; so < a i and 0 <? fg < + and so 62 S [ (S + S ): In the remainder of the proof we may thus assume that for all i suciently large, a 2i 6 2 (mod ) and a 2i+ 6 (mod ): Further, since a i +? a i+ =, we have (a i ; a i+ ) =, and so a i ; a i+ cannot both be divisible by. Hence one of the following situations occurs: (i) a 2i (mod ); a 2i+ 2 (mod ) for innitely many i,
4 4 NEIL J. CALKIN PAUL ERD OS (ii) a 2i? 0 (mod ); a 2i (mod ) for innitely many i, (i) a 2i 0 (mod ); a 2i+ 2 (mod ) for innitely many i. Case (i): We will show that b 2i+? b 2i 62 S [ (S + S ). Let fb 2i g = + 2i Then fb 2i+ g = 2? 2i+: f(b 2i+? b 2i )g =? 2i+? 2i ; so b 2i+? b 2i 62 S. Further, for every a; b with b < b 2i+ ; b 6= b 2i we have 2? fbg b? a Thus there is no b < b 2i+? b 2i with = jb? aj > jb 2i? a 2i j = 2i > 2 ( 2i+ + 2i ) 2? 2 ( 2i+ + 2i ) < fbg < 2 : Hence by Lemma, b 2i+? b 2i 62 S + S. Case (ii): we will show that b 2i + b 2i? 62 S [ (S + S ) Let fb 2i? g =? 2i? fb 2i g = + 2i: Then f(b 2i? + b 2i )g =? ( 2i?? 2i )
5 ON A CLASS OF APERIODIC SUM-FREE SETS 5 so b 2i + b 2i? 62 S. Further, for every a; b with b < b 2i ; b 6= b 2i? we have fbg? 2 b? a = jb? aj > jb 2i?? a 2i? j = 2i? : Now, since 2 (b 2i + b 2i? ) < b 2i there is no b < 2 (b 2i + b 2i? ) with 2? ( 2i?? 2i ) < fbg < 2 : Hence, by Lemma, b 2i? + b 2i 62 S + S. Case (iii) is proved in a similar fashion to case (ii), obtaining b 2i +b 2i+ 62 S [(S +S ), completing the proof of the theorem. 5. Open Questions In this section we present some open questions in related areas. () The sets considered above show that there are aperiodic maximal sum-free sets for which S [ (S + S) omits about log n elements up to n. Are there maximal aperiodic sum-free sets which omit o(log n) elements? (2) If there are no aperiodic complete sum-free sets, then there is a function M = M(n) so that if S is a sum-free set, and if S [ (S + S) contains all integers greater than n, then S has period M. How fast must M(n) grow? () Erdos [5] and Alon and Kleitman [] have shown using similar ideas that if S is a set of n integers, then there is a sum-free subset of S of cardinality greater than n. Is n best possible? (4) By considering chosen uniformly at random from the interval ( ; m ) m 2? m 2? we see that any set of S of n positive integers contains a subset of cardinality n with the property that it has no solutions to the equation x m+ + x x m = y. Is this best possible? In particular, if c m is such that any set S of cardinality n contains a subset of cardinality c m n with no solutions to x + x x m = y then what is the behaviour of c m as m!? Does c m!? To 0? (5) Similarly, we see that if S = fs ; s 2 ; s ; : : : g then there is a subset S 0 = fs i ; s i2 ; s i ; : : : g having no solution to x + x x m = y for which i n lim n! n = m + :
6 6 NEIL J. CALKIN PAUL ERD OS Is m+ best possible here? (6) Call a set strongly m-sum-free if it contains no solution to x +x 2 + +x j = y for 2 j m. Given a set S of n positive integers, how large a strongly m- sum-free set must it contain? Let d m be such that S must contain a set of size d m n. What is the behaviour of d m as m!? Is it possible that d m is bounded away from 0? (7) Which sets S having no solutions to x + x x m = y have the greatest density? In particular, if k is the least integer not dividing m? then the set of integers congruent to (mod k) has no solutions. Is this best possible? This is easy to show when m = 2, and has been shown by Luczak (personal communication) in the case m =. The rst interesting case is thus m = 7. (8) Cameron [4] has considered a probability measure on the set of all sum-free sets: does fsj9 s.t. S S g have positive measure? References. N Alon and D.J. Kleitman. Sum-free subsets. In A. Baker, B Bollobas, and A. Hajnal, editors, A tribute to Paul Erdos, pages {26. Cambridge University Press, Neil J. Calkin and Steven R. Finch. Necessary and sucient conditions for periodicity of sum-free sets. In preparation.. Neil J. Calkin and Steven R. Finch. Dierence densities of sum-free sets. In preparation. 4. P. J. Cameron. Portrait of a typical sum-free set. In C. Whitehead, editor, Surveys in Combinatorics 987, volume 2 of London Mathematical Society Lecture Notes, pages {42. Cambridge University Press, P. Erdos. Extremal problems in number theory. Proc. Symp. Pure Maths., VIII:8{89, Richard K. Guy. Unsolved Problems in Number Theory. Springer Verlag, 980. Problem C9. 7. G. H. Hardy and E. M. Wright An Introduction to the Theory of Numbers. Oxford University Press, Oxford, England, 979. School of Mathematics, Georgia Institute of Technology, Atlanta, Ga 02, Hungarian Academy of Sciences, Mathematical Institute, Budapest, Hungary address: calkin@math.gatech.edu
ALMOST ODD RANDOM SUM-FREE SETS NEIL J. CALKIN AND P. J. CAMERON. 1. introduction
ALMOST ODD RANDOM SUM-FREE SETS NEIL J. CALKIN AND P. J. CAMERON Abstract. We show that if S 1 is a strongly complete sum-free set of positive integers, and if S 0 is a nite sum-free set, then with positive
More informationDIFFERENCE DENSITY AND APERIODIC SUM-FREE SETS. Neil J. Calkin Department of Mathematical Sciences, Clemson University, Clemson, SC 29634, USA
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 5(2) (2005), #A03 DIFFERENCE DENSITY AND APERIODIC SUM-FREE SETS Neil J. Calkin Department of Mathematical Sciences, Clemson University, Clemson,
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 informationOn the maximal density of sum-free sets
ACTA ARITHMETICA XCV.3 (2000) On the maximal density of sum-free sets by Tomasz Luczak (Poznań) and Tomasz Schoen (Kiel and Poznań) 1. Introduction. For a set A N, let A(n) = A {1,..., n} and { } P(A)
More informationLecture 9: Cardinality. a n. 2 n 1 2 n. n=1. 0 x< 2 n : x = :a 1 a 2 a 3 a 4 :::: s n = s n n+1 x. 0; if 0 x<
Lecture 9: Cardinality 9. Binary representations Suppose fa n g n= is a sequence such that, for each n =; 2; 3;:::, either a n =0ora n = and, for any integer N, there exists an integer n>n such that a
More informationNotes on Systems of Linear Congruences
MATH 324 Summer 2012 Elementary Number Theory Notes on Systems of Linear Congruences In this note we will discuss systems of linear congruences where the moduli are all different. Definition. Given the
More informationTheorem 1 can be improved whenever b is not a prime power and a is a prime divisor of the base b. Theorem 2. Let b be a positive integer which is not
A RESULT ON THE DIGITS OF a n R. Blecksmith*, M. Filaseta**, and C. Nicol Dedicated to the memory of David R. Richman. 1. Introduction Let d r d r,1 d 1 d 0 be the base b representation of a positive integer
More informationOn the number of co-prime-free sets. Neil J. Calkin and Andrew Granville *
On the number of co-prime-free sets. by Neil J. Calkin and Andrew Granville * Abstract: For a variety of arithmetic properties P such as the one in the title) we investigate the number of subsets of the
More informationMaximum union-free subfamilies
Maximum union-free subfamilies Jacob Fox Choongbum Lee Benny Sudakov Abstract An old problem of Moser asks: how large of a union-free subfamily does every family of m sets have? A family of sets is called
More informationExtremal Cases of the Ahlswede-Cai Inequality. A. J. Radclie and Zs. Szaniszlo. University of Nebraska-Lincoln. Department of Mathematics
Extremal Cases of the Ahlswede-Cai Inequality A J Radclie and Zs Szaniszlo University of Nebraska{Lincoln Department of Mathematics 810 Oldfather Hall University of Nebraska-Lincoln Lincoln, NE 68588 1
More informationEGYPTIAN FRACTIONS WITH EACH DENOMINATOR HAVING THREE DISTINCT PRIME DIVISORS
#A5 INTEGERS 5 (205) EGYPTIAN FRACTIONS WITH EACH DENOMINATOR HAVING THREE DISTINCT PRIME DIVISORS Steve Butler Department of Mathematics, Iowa State University, Ames, Iowa butler@iastate.edu Paul Erdős
More informationSum-free sets. Peter J. Cameron University of St Andrews
Sum-free sets Peter J. Cameron University of St Andrews Topological dynamics, functional equations, infinite combinatorics and probability LSE, June 2017 Three theorems A set of natural numbers is k-ap-free
More informationSum-free sets. Peter J. Cameron University of St Andrews
Sum-free sets Peter J. Cameron University of St Andrews Topological dynamics, functional equations, infinite combinatorics and probability LSE, June 2017 Three theorems The missing fourth? A set of natural
More informationOn the Distribution of Multiplicative Translates of Sets of Residues (mod p)
On the Distribution of Multiplicative Translates of Sets of Residues (mod p) J. Ha stad Royal Institute of Technology Stockholm, Sweden J. C. Lagarias A. M. Odlyzko AT&T Bell Laboratories Murray Hill,
More information2 ERDOS AND NATHANSON k > 2. Then there is a partition of the set of positive kth powers In k I n > } = A, u A Z such that Waring's problem holds inde
JOURNAL OF NUMBER THEORY 2, - ( 88) Partitions of Bases into Disjoint Unions of Bases* PAUL ERDÓS Mathematical Institute of the Hungarian Academy of Sciences, Budapest, Hungary AND MELVYN B. NATHANSON
More informationClassication of greedy subset-sum-distinct-sequences
Discrete Mathematics 271 (2003) 271 282 www.elsevier.com/locate/disc Classication of greedy subset-sum-distinct-sequences Joshua Von Kor Harvard University, Harvard, USA Received 6 November 2000; received
More informationOn primitive sets of squarefree integers
On primitive sets of suarefree integers R. Ahlswede and L. Khachatrian Fakultät für Mathematik Universität Bielefeld Postfach 003 3350 Bielefeld and A. Sárközy * Eötvös Loránd University Department of
More informationMATH 402 : 2017 page 1 of 6
ADMINISTRATION What? Math 40: Enumerative Combinatorics Who? Me: Professor Greg Smith You: students interested in combinatorics When and Where? lectures: slot 00 office hours: Tuesdays at :30 6:30 and
More informationOn prime factors of subset sums
On prime factors of subset sums by P. Erdös, A. Sárközy and C.L. Stewart * 1 Introduction For any set X let X denote its cardinality and for any integer n larger than one let ω(n) denote the number of
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need
More information4. (10 pts) Prove or nd a counterexample: For any subsets A 1 ;A ;::: of R n, the Hausdor dimension dim ([ 1 i=1 A i) = sup dim A i : i Proof : Let s
Math 46 - Final Exam Solutions, Spring 000 1. (10 pts) State Rademacher's Theorem and the Area and Co-area Formulas. Suppose that f : R n! R m is Lipschitz and that A is an H n measurable subset of R n.
More informationChoosability and fractional chromatic numbers
Choosability and fractional chromatic numbers Noga Alon Zs. Tuza M. Voigt This copy was printed on October 11, 1995 Abstract A graph G is (a, b)-choosable if for any assignment of a list of a colors to
More informationA version of for which ZFC can not predict a single bit Robert M. Solovay May 16, Introduction In [2], Chaitin introd
CDMTCS Research Report Series A Version of for which ZFC can not Predict a Single Bit Robert M. Solovay University of California at Berkeley CDMTCS-104 May 1999 Centre for Discrete Mathematics and Theoretical
More informationMarcos J. González Departamento de Matemáticas Puras y Aplicadas, Universidad Simón Bolívar, Sartenejas, Caracas, Venezuela
#A89 INTEGERS 16 (016) ON SIERPIŃSKI NUMBERS OF THE FORM '(N)/ n Marcos J. González Departamento de Matemáticas Puras y Aplicadas, Universidad Simón Bolívar, Sartenejas, Caracas, Venezuela mago@usb.ve
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 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 informationEquidivisible consecutive integers
& Equidivisible consecutive integers Ivo Düntsch Department of Computer Science Brock University St Catherines, Ontario, L2S 3A1, Canada duentsch@cosc.brocku.ca Roger B. Eggleton Department of Mathematics
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter The Real Numbers.. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {, 2, 3, }. In N we can do addition, but in order to do subtraction we need to extend
More informationAbstract. We dene the family of locally path-bounded digraphs, which is a
Innite cyclic impartial games Aviezri S. Fraenkel and Ofer Rahat Department of Applied Mathematics and Computer Science Weizmann Institute of Science Rehovot 76, Israel Abstract. We dene the family of
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 informationMidterm 1. Every element of the set of functions is continuous
Econ 200 Mathematics for Economists Midterm Question.- Consider the set of functions F C(0, ) dened by { } F = f C(0, ) f(x) = ax b, a A R and b B R That is, F is a subset of the set of continuous functions
More informationA Local-Global Principle for Diophantine Equations
A Local-Global Principle for Diophantine Equations (Extended Abstract) Richard J. Lipton and Nisheeth Vishnoi {rjl,nkv}@cc.gatech.edu Georgia Institute of Technology, Atlanta, GA 30332, USA. Abstract.
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 informationDecomposing dense bipartite graphs into 4-cycles
Decomposing dense bipartite graphs into 4-cycles Nicholas J. Cavenagh Department of Mathematics The University of Waikato Private Bag 3105 Hamilton 3240, New Zealand nickc@waikato.ac.nz Submitted: Jun
More informationBetter bounds for k-partitions of graphs
Better bounds for -partitions of graphs Baogang Xu School of Mathematics, Nanjing Normal University 1 Wenyuan Road, Yadong New District, Nanjing, 1006, China Email: baogxu@njnu.edu.cn Xingxing Yu School
More informationof Classical Constants Philippe Flajolet and Ilan Vardi February 24, 1996 Many mathematical constants are expressed as slowly convergent sums
Zeta Function Expansions of Classical Constants Philippe Flajolet and Ilan Vardi February 24, 996 Many mathematical constants are expressed as slowly convergent sums of the form C = f( ) () n n2a for some
More informationSZEMERÉDI S REGULARITY LEMMA FOR MATRICES AND SPARSE GRAPHS
SZEMERÉDI S REGULARITY LEMMA FOR MATRICES AND SPARSE GRAPHS ALEXANDER SCOTT Abstract. Szemerédi s Regularity Lemma is an important tool for analyzing the structure of dense graphs. There are versions of
More informationMEASURE AND CATEGORY { Department of Mathematics, University of Tennessee, Chattanooga,
Mathematica Pannonica 7/1 (1996), 69 { 78 MEASURE AND CATEGORY { SOME NON-ANALOGUES Harry I. Miller Department of Mathematics, University of Tennessee, Chattanooga, TN, 371403, USA Franz J. Schnitzer Institut
More informationOn an algebra related to orbit-counting. Peter J. Cameron. Queen Mary and Westeld College. London E1 4NS U.K. Abstract
On an algebra related to orbit-counting Peter J. Cameron School of Mathematical Sciences Queen Mary and Westeld College London E1 4NS U.K. Abstract With any permutation group G on an innite set is associated
More information2 THE COMPLEXITY OF TORSION-FREENESS On the other hand, the nite presentation of a group G also does not allow us to determine almost any conceivable
THE COMPUTATIONAL COMPLEXITY OF TORSION-FREENESS OF FINITELY PRESENTED GROUPS Steffen Lempp Department of Mathematics University of Wisconsin Madison, WI 53706{1388, USA Abstract. We determine the complexity
More informationBalance properties of multi-dimensional words
Theoretical Computer Science 273 (2002) 197 224 www.elsevier.com/locate/tcs Balance properties of multi-dimensional words Valerie Berthe a;, Robert Tijdeman b a Institut de Mathematiques de Luminy, CNRS-UPR
More informationNOWHERE LOCALLY UNIFORMLY CONTINUOUS FUNCTIONS
NOWHERE LOCALLY UNIFORMLY CONTINUOUS FUNCTIONS K. Jarosz Southern Illinois University at Edwardsville, IL 606, and Bowling Green State University, OH 43403 kjarosz@siue.edu September, 995 Abstract. Suppose
More informationDAVID ELLIS AND BHARGAV NARAYANAN
ON SYMMETRIC 3-WISE INTERSECTING FAMILIES DAVID ELLIS AND BHARGAV NARAYANAN Abstract. A family of sets is said to be symmetric if its automorphism group is transitive, and 3-wise intersecting if any three
More informationThe Inclusion Exclusion Principle and Its More General Version
The Inclusion Exclusion Principle and Its More General Version Stewart Weiss June 28, 2009 1 Introduction The Inclusion-Exclusion Principle is typically seen in the context of combinatorics or probability
More informationSplitting Fields for Characteristic Polynomials of Matrices with Entries in a Finite Field.
Splitting Fields for Characteristic Polynomials of Matrices with Entries in a Finite Field. Eric Schmutz Mathematics Department, Drexel University,Philadelphia, Pennsylvania, 19104. Abstract Let M n be
More informationAbstract. We show that a proper coloring of the diagram of an interval order I may require 1 +
Colorings of Diagrams of Interval Orders and -Sequences of Sets STEFAN FELSNER 1 and WILLIAM T. TROTTER 1 Fachbereich Mathemati, TU-Berlin, Strae des 17. Juni 135, 1000 Berlin 1, Germany, partially supported
More informationSQUARES AND DIFFERENCE SETS IN FINITE FIELDS
SQUARES AND DIFFERENCE SETS IN FINITE FIELDS C. Bachoc 1 Univ Bordeaux, Institut de Mathématiques de Bordeaux, 351, cours de la Libération 33405, Talence cedex, France bachoc@math.u-bordeaux1.fr M. Matolcsi
More information2 MICHAEL FILASETA proved the analogous result for irreducible cubics. Nair [9] has shown that in the case of an irreducible polynomial f(x) of degree
SQUAREFREE VALUES OF POLNOMIALS Michael Filaseta*. Introduction. The purpose of this paper is to present some results related to squarefree values of polynomials. For f(x) 2 Z[x] with f(x) 6 0; we dene
More informationA CONSTRUCTION OF ARITHMETIC PROGRESSION-FREE SEQUENCES AND ITS ANALYSIS
A CONSTRUCTION OF ARITHMETIC PROGRESSION-FREE SEQUENCES AND ITS ANALYSIS BRIAN L MILLER & CHRIS MONICO TEXAS TECH UNIVERSITY Abstract We describe a particular greedy construction of an arithmetic progression-free
More informationA CONSTRUCTIVE CONVERSE OF THE MEAN VALUE THEOREM.
A CONSTRUCTIVE CONVERSE OF THE MEAN VALUE THEOREM. BAS SPITTERS AND WIM VELDMAN Abstract. Consider the following converse of the Mean Value Theorem. Let f be a differentiable function on [a, b]. If c (a,
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 informationand right turns are selected independently with xed probabilities) and by dn(x) the
BINOMIAL-COEFFICIENT MULTIPLES OF IRRATIONALS Terrence M. Adams and Karl E. Petersen Abstract. Denote by x a random innite path in the graph of Pascal's triangle (left and right turns are selected independently
More informationSolutions to Tutorial 8 (Week 9)
The University of Sydney School of Mathematics and Statistics Solutions to Tutorial 8 (Week 9) MATH3961: Metric Spaces (Advanced) Semester 1, 2018 Web Page: http://www.maths.usyd.edu.au/u/ug/sm/math3961/
More informationName (please print) Mathematics Final Examination December 14, 2005 I. (4)
Mathematics 513-00 Final Examination December 14, 005 I Use a direct argument to prove the following implication: The product of two odd integers is odd Let m and n be two odd integers Since they are odd,
More informationThe Maximum Upper Density of a Set of Positive. Real Numbers with no solutions to x + y = kz. John L. Goldwasser. West Virginia University
The Maximum Upper Density of a Set of Positive Real Numbers with no solutions to x + y = z John L. Goldwasser West Virginia University Morgantown, WV 6506 Fan R. K. Chung University ofpennsylvania Philadelphia,
More informationResults of modern sieve methods in prime number theory and more
Results of modern sieve methods in prime number theory and more Karin Halupczok (WWU Münster) EWM-Conference 2012, Universität Bielefeld, 12 November 2012 1 Basic ideas of sieve theory 2 Classical applications
More informationNotes on Iterated Expectations Stephen Morris February 2002
Notes on Iterated Expectations Stephen Morris February 2002 1. Introduction Consider the following sequence of numbers. Individual 1's expectation of random variable X; individual 2's expectation of individual
More informationTutorial 1.3: Combinatorial Set Theory. Jean A. Larson (University of Florida) ESSLLI in Ljubljana, Slovenia, August 4, 2011
Tutorial 1.3: Combinatorial Set Theory Jean A. Larson (University of Florida) ESSLLI in Ljubljana, Slovenia, August 4, 2011 I. Generalizing Ramsey s Theorem Our proof of Ramsey s Theorem for pairs was
More informationSquares in products with terms in an arithmetic progression
ACTA ARITHMETICA LXXXVI. (998) Squares in products with terms in an arithmetic progression by N. Saradha (Mumbai). Introduction. Let d, k 2, l 2, n, y be integers with gcd(n, d) =. Erdős [4] and Rigge
More informationAbout sunflowers. Óbuda University Bécsi út 96, Budapest, Hungary, H-1037 April 27, 2018
arxiv:1804.10050v1 [math.co] 26 Apr 2018 About sunflowers Gábor Hegedűs Óbuda University Bécsi út 96, Budapest, Hungary, H-1037 hegedus.gabor@nik.uni-obuda.hu April 27, 2018 Abstract Alon, Shpilka and
More informationDecision Problems Concerning. Prime Words and Languages of the
Decision Problems Concerning Prime Words and Languages of the PCP Marjo Lipponen Turku Centre for Computer Science TUCS Technical Report No 27 June 1996 ISBN 951-650-783-2 ISSN 1239-1891 Abstract This
More informationPartition Identities
Partition Identities Alexander D. Healy ahealy@fas.harvard.edu May 00 Introduction A partition of a positive integer n (or a partition of weight n) is a non-decreasing sequence λ = (λ, λ,..., λ k ) of
More informationPart IA. Numbers and Sets. Year
Part IA Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2017 19 Paper 4, Section I 1D (a) Show that for all positive integers z and n, either z 2n 0 (mod 3) or
More informationLEBESGUE INTEGRATION. Introduction
LEBESGUE INTEGATION EYE SJAMAA Supplementary notes Math 414, Spring 25 Introduction The following heuristic argument is at the basis of the denition of the Lebesgue integral. This argument will be imprecise,
More informationInteger Sequences Avoiding Prime Pairwise Sums
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 11 (008), Article 08.5.6 Integer Sequences Avoiding Prime Pairwise Sums Yong-Gao Chen 1 Department of Mathematics Nanjing Normal University Nanjing 10097
More informationBaire measures on uncountable product spaces 1. Abstract. We show that assuming the continuum hypothesis there exists a
Baire measures on uncountable product spaces 1 by Arnold W. Miller 2 Abstract We show that assuming the continuum hypothesis there exists a nontrivial countably additive measure on the Baire subsets of
More informationThe Two Faces of Infinity Dr. Bob Gardner Great Ideas in Science (BIOL 3018)
The Two Faces of Infinity Dr. Bob Gardner Great Ideas in Science (BIOL 3018) From the webpage of Timithy Kohl, Boston University INTRODUCTION Note. We will consider infinity from two different perspectives:
More informationChapter 1. Sets and Mappings
Chapter 1. Sets and Mappings 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write
More informationARCHIVUM MATHEMATICUM (BRNO) Tomus 32 (1996), 13 { 27. ON THE OSCILLATION OF AN mth ORDER PERTURBED NONLINEAR DIFFERENCE EQUATION
ARCHIVUM MATHEMATICUM (BRNO) Tomus 32 (996), 3 { 27 ON THE OSCILLATION OF AN mth ORDER PERTURBED NONLINEAR DIFFERENCE EQUATION P. J. Y. Wong and R. P. Agarwal Abstract. We oer sucient conditions for the
More informationA Short Review of Cardinality
Christopher Heil A Short Review of Cardinality November 14, 2017 c 2017 Christopher Heil Chapter 1 Cardinality We will give a short review of the definition of cardinality and prove some facts about the
More informationPROOF OF TWO MATRIX THEOREMS VIA TRIANGULAR FACTORIZATIONS ROY MATHIAS
PROOF OF TWO MATRIX THEOREMS VIA TRIANGULAR FACTORIZATIONS ROY MATHIAS Abstract. We present elementary proofs of the Cauchy-Binet Theorem on determinants and of the fact that the eigenvalues of a matrix
More informationA) A simple way to know which reduction has a number is as follows.
Title: Prime numbers and composite numbers congruent to 1,4,7,2,5,8 (mod 9) Author: Zeolla, Gabriel Martin Comments: 27 pages, 6 graphics tables Subj-class: Theory number, Prime numbers. gabrielzvirgo@hotmail.com,
More informationSTOCHASTIC DIFFERENTIAL EQUATIONS WITH EXTRA PROPERTIES H. JEROME KEISLER. Department of Mathematics. University of Wisconsin.
STOCHASTIC DIFFERENTIAL EQUATIONS WITH EXTRA PROPERTIES H. JEROME KEISLER Department of Mathematics University of Wisconsin Madison WI 5376 keisler@math.wisc.edu 1. Introduction The Loeb measure construction
More informationMax-Planck-Institut fur Mathematik in den Naturwissenschaften Leipzig Uniformly distributed measures in Euclidean spaces by Bernd Kirchheim and David Preiss Preprint-Nr.: 37 1998 Uniformly Distributed
More informationMATH 13 FINAL EXAM SOLUTIONS
MATH 13 FINAL EXAM SOLUTIONS WINTER 2014 Problem 1 (15 points). For each statement below, circle T or F according to whether the statement is true or false. You do NOT need to justify your answers. T F
More informationSums and products. Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA. Dartmouth Mathematics Society May 16, 2012
Sums and products Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA Dartmouth Mathematics Society May 16, 2012 Based on joint work with P. Kurlberg, J. C. Lagarias, & A. Schinzel Let s begin
More informationof L(G), the square of the line graph of G 1. The strong chromatic index of G, sχ 0 (G) is the least integer k such that G has a strong edge-colouring
A Bound on the Strong Chromatic Index of a Graph Michael Molloy Department of Computer Science University of Toronto Toronto, Canada Bruce Reed Equipe Combinatoire CNRS Universite Pierre et Marie Curie
More informationUniversity of Toronto Faculty of Arts and Science Solutions to Final Examination, April 2017 MAT246H1S - Concepts in Abstract Mathematics
University of Toronto Faculty of Arts and Science Solutions to Final Examination, April 2017 MAT246H1S - Concepts in Abstract Mathematics Examiners: D. Burbulla, P. Glynn-Adey, S. Homayouni Time: 7-10
More informationBasic Proof Techniques
Basic Proof Techniques Joshua Wilde, revised by Isabel Tecu, Takeshi Suzuki and María José Boccardi August 13, 2013 1 Basic Notation The following is standard notation for proofs: A B. A implies B. A B.
More informationDiameter and Radius in the Manhattan Metric*
Discrete Comput Geom 5:351-356 (1990) 1990 Sprinser-Verla$ New York'Incry Diameter and Radius in the Manhattan Metric* D. Z. Du and D. J. Kleitman Mathematics Department, Massachusetts Institute of Technology,
More informationKatarzyna Mieczkowska
Katarzyna Mieczkowska Uniwersytet A. Mickiewicza w Poznaniu Erdős conjecture on matchings in hypergraphs Praca semestralna nr 1 (semestr letni 010/11 Opiekun pracy: Tomasz Łuczak ERDŐS CONJECTURE ON MATCHINGS
More informationMath 42, Discrete Mathematics
c Fall 2018 last updated 10/10/2018 at 23:28:03 For use by students in this class only; all rights reserved. Note: some prose & some tables are taken directly from Kenneth R. Rosen, and Its Applications,
More informationvan Rooij, Schikhof: A Second Course on Real Functions
vanrooijschikhof.tex April 25, 2018 van Rooij, Schikhof: A Second Course on Real Functions Notes from [vrs]. Introduction A monotone function is Riemann integrable. A continuous function is Riemann integrable.
More informationPeriodic decomposition of measurable integer valued functions
Periodic decomposition of measurable integer valued functions Tamás Keleti April 4, 2007 Abstract We study those functions that can be written as a sum of (almost everywhere) integer valued periodic measurable
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 informationVERTEX DEGREE SUMS FOR PERFECT MATCHINGS IN 3-UNIFORM HYPERGRAPHS
VERTEX DEGREE SUMS FOR PERFECT MATCHINGS IN 3-UNIFORM HYPERGRAPHS YI ZHANG, YI ZHAO, AND MEI LU Abstract. We determine the minimum degree sum of two adjacent vertices that ensures a perfect matching in
More informationA DEGREE VERSION OF THE HILTON MILNER THEOREM
A DEGREE VERSION OF THE HILTON MILNER THEOREM PETER FRANKL, JIE HAN, HAO HUANG, AND YI ZHAO Abstract An intersecting family of sets is trivial if all of its members share a common element Hilton and Milner
More information1 i<j k (g ih j g j h i ) 0.
CONSECUTIVE PRIMES IN TUPLES WILLIAM D. BANKS, TRISTAN FREIBERG, AND CAROLINE L. TURNAGE-BUTTERBAUGH Abstract. In a stunning new advance towards the Prime k-tuple Conjecture, Maynard and Tao have shown
More informationThe Real Number System
MATH 337 The Real Number System Sets of Numbers Dr. Neal, WKU A set S is a well-defined collection of objects, with well-defined meaning that there is a specific description from which we can tell precisely
More informationMAT115A-21 COMPLETE LECTURE NOTES
MAT115A-21 COMPLETE LECTURE NOTES NATHANIEL GALLUP 1. Introduction Number theory begins as the study of the natural numbers the integers N = {1, 2, 3,...}, Z = { 3, 2, 1, 0, 1, 2, 3,...}, and sometimes
More informationDiscussion Summary 10/16/2018
Discussion Summary 10/16/018 1 Quiz 4 1.1 Q1 Let r R and r > 1. Prove the following by induction for every n N, assuming that 0 N as in the book. r 1 + r + r 3 + + r n = rn+1 r r 1 Proof. Let S n = Σ n
More informationMathSciNet infinitude of prime
0 π(x) x π(x) > c log log x π(x) > c log x c MathSciNet infinitude of prime 2018/11/3 2012 arxiv Romeo Meštrović, Euclid s theorem on the infinitude of primes: a historical survey of its proofs (300 B.C.
More informationCharacters and triangle generation of the simple Mathieu group M 11
SEMESTER PROJECT Characters and triangle generation of the simple Mathieu group M 11 Under the supervision of Prof. Donna Testerman Dr. Claude Marion Student: Mikaël Cavallin September 11, 2010 Contents
More informationPartitioning a graph into highly connected subgraphs
Partitioning a graph into highly connected subgraphs Valentin Borozan 1,5, Michael Ferrara, Shinya Fujita 3 Michitaka Furuya 4, Yannis Manoussakis 5, Narayanan N 6 and Derrick Stolee 7 Abstract Given k
More informationGAPS BETWEEN FRACTIONAL PARTS, AND ADDITIVE COMBINATORICS. Antal Balog, Andrew Granville and Jozsef Solymosi
GAPS BETWEEN FRACTIONAL PARTS, AND ADDITIVE COMBINATORICS Antal Balog, Andrew Granville and Jozsef Solymosi Abstract. We give bounds on the number of distinct differences N a a as a varies over all elements
More informationGame saturation of intersecting families
Cent. Eur. J. Math. 129) 2014 1382-1389 DOI: 10.2478/s11533-014-0420-3 Central European Journal of Mathematics Game saturation of intersecting families Research Article Balázs Patkós 1, Máté Vizer 1 1
More informationFamilies that remain k-sperner even after omitting an element of their ground set
Families that remain k-sperner even after omitting an element of their ground set Balázs Patkós Submitted: Jul 12, 2012; Accepted: Feb 4, 2013; Published: Feb 12, 2013 Mathematics Subject Classifications:
More informationJaegug Bae and Sungjin Choi
J. Korean Math. Soc. 40 (2003), No. 5, pp. 757 768 A GENERALIZATION OF A SUBSET-SUM-DISTINCT SEQUENCE Jaegug Bae and Sungjin Choi Abstract. In 1967, as an answer to the question of P. Erdös on a set of
More informationLarge topological cliques in graphs without a 4-cycle
Large topological cliques in graphs without a 4-cycle Daniela Kühn Deryk Osthus Abstract Mader asked whether every C 4 -free graph G contains a subdivision of a complete graph whose order is at least linear
More informationCovering Subsets of the Integers and a Result on Digits of Fibonacci Numbers
University of South Carolina Scholar Commons Theses and Dissertations 2017 Covering Subsets of the Integers and a Result on Digits of Fibonacci Numbers Wilson Andrew Harvey University of South Carolina
More information