arxiv: v1 [math.co] 30 Jun 2016
|
|
- Solomon Ryan
- 5 years ago
- Views:
Transcription
1 UPPER BOUNDS FOR SUNFLOWER-FREE SETS ERIC NASLUND, WILLIAM F. SAWIN arxiv: v [math.co] 3 Jun 6 Abstract. A collection of sets is said to form a -sunflower, or -system if the intersection of any two sets from the collection is the same, and we call a family of sets F sunflower-free if it contains no sunflowers. Following the recent breathrough of Ellenberg and Gijswijt and Croot, Lev and Pach [4, 3] we apply the polynomial method directly to Erdős-Szemerédi sunflower problem [6] and prove that any sunflower-free family F of subsets of {,,..., n} has size at most F 3n n/3 n 3 n+o /3. We say that a set A Z/DZ n {,,...,D} n for D > is sunflower-free if every distinct triple x,y,z A there exists a coordinate i where exactly two of x i,y i,z i are equal. Using a version of the polynomial method with characters : Z/DZ C instead of polynomials, we show that any sunflower-free set A Z/DZ n has size A c n D where c D 3 /3D /3. This can be seen as maing further progress on a possible approach to proving the Erdős-Rado sunflower conjecture [5], which by the wor of Alon, Sphila and Umans [, Theorem.6] is equivalent to proving that c D C for some constant C independent of D.. Introduction A collection of sets is said to form a -sunflower, or -system, if the intersection of any two sets from the collection is the same. A family of sets F is said to be -sunflower free if no members form a -sunflower, and when 3 we simply say that the collection F is sunflower-free. It is a longstanding conjecture that sunflower-free families must be small, and there are two natural situations in which we may as this question. The first, and most general case, is when each set in the family has size m. Erdős and Rado made the following conjecture which is now nown as the Sunflower Conjecture. Conjecture. Erdős-Rado Sunflower Conjecture [5] Let 3, and suppose that F is a -sunflower free family of sets, each of size m. Then F C m for a constant C > depending only on. In their paper, Erdős and Rado [5] proved that any -sunflower free family of sets of size m has size at most m! m, and the conjectured bound of C m remains out of reach for any 3. The second setting for upper bounds for -sunflower-free sets concerns the case where each member of F is a subset of the same n-element set. There can be at most n such subsets, and the Erdős-Szemerédi sunflower conjecture states that this trivial upper bound can be improved by an exponential factor. Conjecture. Erdős-Szemerédi Sunflower Conjecture [6] Let S be a -sunflower free collection of subsets of {,,...,n}. Then S < c n for some constant c < depending only on. In Erdős and Szemerédi s paper [6], they prove that conjecture follows from conjecture see also [, Theorem.3], and so it is a weaer variant of the sunflower problem. Let F n denote the size of the largest -sunflower-free collection F of subsets of {,,..., n}, and define µ S limsup F n /n n to be the the Erdős-Szmerédi--sunflower-free capacity. The trivial bound is µ S, and the Erdős-Szemerédi sunflower conjecture states that µ S < for all 3. In this paper we prove new bounds for the sunflowerfree capacity µ S 3. It is a theorem of Alon, Shpila and Umans [, pp. 7] that the recent wor of Ellenberg Date: May 7th 6.
2 UPPER BOUNDS FOR SUNFLOWER-FREE SETS and Gijswijt [4] on progression-free sets in F n 3 implies that µs 3 <, and before this, the best upper bound for a sunflower-free collection of {,,...,n} was n exp c n due to Erdős and Szemerédi [6]. We give a simple proof of a quantitative version of [, pp. 7], showing that µ S 3 +C where C is the capset capacity. However, using the ideas from the recent breathrough of Ellenberg and Gijswijt and Croot, Lev and Pach, [3, 4] on progressions in F n 3, and from Tao s version of the argument [9], we apply the polynomial method directly to this problem, and obtain a stronger result: Theorem 3. Let F be a sunflower-free collection of subsets of {,,..., n}. Then F 3n+ n, and n/3 µ S /3 The best nown lower bound for this problem is µ S due to the first author [8], and so there is still a large gap between upper and lower bounds for the sunflower-free capacity µ S 3. In section 3 we turn to the sunflower problem in the set {,,...,D}, which we will always thin of as Z/DZ. Alon, Shpila and Umans [, Definition.5], defined a -sunflower in Z/DZ n for D to be a collection of vectors such that in each coordinate they are either all different or all the same. When 3 and D 3 this condition is equivalent to being a three-term arithmetic progression in F n 3. Conjecture 4. Sunflower-Conjecture in Z/DZ Let D, and let A Z/DZ n be a -sunflower-free set. Then A b n for a constant b depending only on. The motivation for this problem comes from [, Theorem.6] where they proved that conjecture 4 is equivalent to the Erdős-Rado sunflower conjecture. In particular, if there exists a constant C independent of D such that any 3-sunflower-free set in Z/DZ n has size at most C n, then Conjecture holds for 3 with c 3 e C. Since a sunflower-free set cannot contain a 3-term arithmetic progression, the recent result of Ellenberg and Gijswijt [4] implies an upper bound for sunflower-free sets A Z/DZ n for D prime of the form A c n D, where c D De ID /3 for a function I defined in [4] in terms of a certain optimization problem. It s not too hard to see that c D < lim D D < Using the characters : Z/DZ C instead of polynomials, we prove the following theorem: Theorem 5. Let D 3, and let A Z/DZ n be a sunflower-free set. Then where c D 3 /3 D /3. A c n D This can be seen as progress towards the Erdős-Rado sunflower conjecture, and we remar that the now resolved Erdős-Szemerédi conjecture for 3 is equivalent to proving that c D < D ǫ for some ǫ and all D sufficiently large [, Theorem.7]. To prove Theorem 3 and 5 we bound the slice ran of a function of three variables Tx,y,z which is nonvanishing if and only if x y z or x,y,z form a sunflower. A function f : A F, where A A A A denotes the cartesian product and F is a field, is said to be a slice if it can be written in the form fx,...,x hx i gx,...,x i,x i+,...,x where h : A F and g : A F. The slice ran of a general function f : A F is the smallest number m such that f is a linear combination of m slices. If A is a sunflower-free set, it follows that, for x,y,z A, Tx,y,z is nonzero if and only if x y z. We then have the following lemma: Lemma 6. Ran of diagonal hypermatrices [9, Lemma ] Let A be a finite set and F a field. Let Tx,y,z be a function A A A F such that Tx,y,z if and only if x y z. Then the slice ran of T is equal to A.
3 UPPER BOUNDS FOR SUNFLOWER-FREE SETS 3 Using this lemma, we need only find an upper bound on the slice ran of T to obtain an upper bound on the size of the sunflower-free set. In each case we do this by an explicit decomposition of T into slices found by writing T as either a polynomial or as a sum of characters. We refer the reader to section 4 of [] for further discussion of the slice ran. This method is the direct analogue of Tao s interpretation [9] of the Ellenberg-Gijswijt argument for capsets, and can be thought of as a 3-tensor generalization of the Haemmer bound [7], which bounds the Sperner capacity of a hypergraph rather than the Shannon capacity of a graph. We stress two differences between our result and several other papers which use the slice ran method [9] [], or which have been reinterpreted to use the slice ran [3] [4]. First, these papers study functions valued in finite fields, whose characteristic is chosen for the specific problem and cannot be changed without affecting the bound. Our wor uses functions valued in a field of characteristic zero, though we could have done the same thing in any finite field of sufficiently large characteristic. Second, these papers mainly describe functions as low-degree polynomials and use that structure to bound their slice ran. In the proof of Theorem 5, we describe functions as sums of characters. One can interpret characters as polynomials restricted to the set of roots of unity, but under this interpretation the degree of the polynomial is not relevant to the proof of Theorem 5 - only the number of nontrivial characters is. Remar 7. The proofs of theorems 3 and 5 can be extended without modification to handle a multicolored version of the problem analogous to multicolored sum-free sets as defined in [].. The Erdős-Szemerédi Sunflower Problem Any subset of {,,...n} corresponds to a vector in {,} n where a or in coordinate i denotes whether or not i lies in the subset. A sunflower-free collection of subsets of {,,...,n} gives rise to a set S {,} n with the property that for any three distinct vectors x,y,z S, there exists i such that {x i,y i,z i } {,,}. Moreover, a sunflower-free collection of subsets of {,,...,n} that also does not contain two subsets with one a proper subset of the other gives rise to a set S {,} n such that for any x,y,z S not all equal, there exists i such that {x i,y i,z i } {,,}. This holds because the only new case is when two are equal and the third is not say x y and z is distinct, and then because x z, x is not a subset of z, so there exists some i such that x i y i and z i. Given a sunflower-free set S {,} n, let S l, for l,...,n, denote the elements of S with exactly l ones so that S n l S l. Then for each l, S l is a sunflower-free collection of subsets with none a proper subset of another, hence whenever x,y,z S l satisfy x + y + z / {,,3} n we must have x y z. For x,y,z {,} n consider the function T : {,} n {,} n {,} n R given by n Tx,y,z x i +y i +z i. i The function Tx,y,z is nonvanishing precisely on triples x,y,z such that there does not exist i where {x i,y i,z i } {,,}. Hence restricted to S l S l S l, Tx,y,z is nonzero if and only if x y z. So by Lemma 6, the slice ran of T is at least S l. Expanding the product form for Tx,y,z, we may write Tx,y,z as a linear combination of products of three monomials where i,...,i n,j,...,j n,,..., n {,} n, and x i xin n yj yjn n z zn n i + +i n +j + +j n n n. For each product of three monomials, at least one of i + +i n, j + +j n, + + n is at most n/3. For each term in T, choose either x i xin n, yj yjn n, or z zn n, maing sure to choose one of total degree at most n/3. Divide the expansion of T into, for each possible monomial, the sum of all the terms where we chose that monomial. Because one monomial in each of these sums is fixed, we can express each sum as a product of that monomial a function of one variable times the sum of all the other terms a function of the other variables, hence each of these sums is a slice. The total slice ran is at most the number of slices, which is at most the number of monomials we can choose: 3 times the number of monomials in n variables of degree at most in each variable and of total degree at most. The number of such monomials is exactly n n/3, so this yields the upper bound S l 3 n, n/3
4 UPPER BOUNDS FOR SUNFLOWER-FREE SETS 4 which is the statement of Theorem 3. S n S l 3n+ l.. Capset Capacity. A capset A is a subset of F n 3 containing no three-term arithmetic progressions. Let A n F n 3 denote the largest capset in dimension in n, and define n/3 C limsup A n /n n to be the capset capacity. Note that A n is super-multiplicative, that is for m,n we have A mn A n m since A n Cartesian-producted with itself m times is a capset in F mn 3. Ellenberg and Gijswijt [4] proved that C.755, and the following theorem is a quantitative version of a result of Alon, Sphlia, and Umans [, pp. 7]. Theorem 8. We have that µ S 3 +C where C is the capset capacity and µ S 3 is the Erdős-Szmeredisunflower-free capacity. Proof. We will bound the size of the largest sunflower-free set in {,} n by writing each vector in terms of the four vectors in {,} [ ] [ ] u, u. ] [, u n ] [, u 3 Every set S {,} n corresponds to a set S {,,,3} n where we obtain S from S by replacing each symbol i for i {,,,3} with the vector u i. For example, [ ] [ ] and 3. For each x {,} n consider S x { v S } : v i 3 if and only if x i. We may view elements of S x as elements of {,,} n x F n x 3 by ignoring the coordinates where x is. If three elements in S x form an arithmetic progression in F n x 3, then in each coordinate the elements of S x are either all the same or are,, in any order, so the entries of the corresponding vectors in S are either all the same or u,u,u in any order. Because u,u,u form a sunflower, these three elements of S form a sunflower. Because S is a sunflower-free set, S x is a capset. Let wx n i x i be the weight of the vector x, then S x C n wx where C is the capset capacity. Hence and we obtain the desired bound. S x C n wx n j n C n j +C n, j Using the Ellenberg-Gijswijt upper bound on capset capacity, this gives µ S 3.938, which is not as strong a bound as Theorem Sunflower-Free Sets in Z/DZ n Consider the D characters : Z/DZ C. By the orthogonality relations, for any a,b Z/DZ { if a b a b otherwise. Hence ab + bc + ac if a,b,c are distinct if exactly two of a, b, c are equal. 3 if a b c
5 UPPER BOUNDS FOR SUNFLOWER-FREE SETS 5 For x,y,z Z/DZ n, define the function T : Z/DZ n Z/DZ n Z/DZ n C by n 3. Tx,y,z ab + bc + ac, j n abc + abc + abc abc j which is non-zero if and only if x,y,z form az/dz-sunflower or all equal. LetA Z/DZ n be a sunflower free set. Then restricted to A A A, T is nonzero if and only if x y z. Hence by Lemma 6 the slice ran of T is at least A. Expanding the product in 3., we see that T can be written as a linear combination of terms of the form x n x n ψ y ψ n y n ξ z ξ n z n where,..., n,ψ,...,ψ n,ξ,...,ξ n are characters on Z/DZ, at most n of which are nontrivial. For any such term, at least one of the tuples,..., n, ψ,...,ψ n, ξ,...,ξ n must contain at most n/3 nontrivial characters. Grouping the terms by the one containing the fewest nontrivial characters lie this, we are able to upper bound the slice ran of T by 3 n D, n/3 where the D comes from the fact that for each set of indices, we have D possible choices of non-trivial characters. Because D 3, D, so: n D n/3 n n D D D 3 n n D D n/3 D n 3 n n n/3 D D n D n n/3 3 D + D n n 3 /3D /3 Let c D 3 D /3. This inequality proves that for A a sunflower-free set, /3 A 3c n D To prove Theorem 5 that A c n D, we can remove the factor of 3 by a standard amplification argument, as for A a sunflower-free set in Z/DZ n, A is a sunflower-free set in Z/DZ n, so A 3c n D / 3 / c n D. Taing, we obtain Theorem 5. References [] Noga Alon, Amir Shpila, and Christopher Umans. On sunflowers and matrix multiplication. Comput. Complexity, :9 43, 3. [] Jonah Blasia, Thomas Church, Henry Cohn, Joshua Grochow, Eric Naslund, Will Sawin, and Christopher Umans. On cap sets and the group-theoretic approach to matrix multiplication. 6. URL: [3] Ernie Croot, Vsevolod Lev, and Peter Pach. Progression-free sets in Z n 4 are exponentially small. 6. URL: [4] Jordan Ellenberg and Dion Gijswijt. On large subsets of F n q with no three-term arithmetic progression. 6. URL: [5] P. Erdős and R. Rado. Intersection theorems for systems of sets. J. London Math. Soc., 35:85 9, 96. [6] P. Erdős and E. Szemerédi. Combinatorial properties of systems of sets. J. Combinatorial Theory Ser. A, 43:38 33, 978. [7] W. Haemers. An upper bound for the Shannon capacity of a graph. In Algebraic methods in graph theory, Vol. I, II Szeged, 978, volume 5 of Colloq. Math. Soc. János Bolyai, pages North-Holland, Amsterdam-New Yor, 98. [8] Eric Naslund. Lower bounds for capsets and sunflower-free sets. Unpublished. [9] Terence Tao. A symmetric formulation of the croot-lev-pach-ellenberg-gijswijt capset bound, 6. URL: address: naslund@princeton.edu, wsawin@math.princeton.edu
arxiv: v1 [math.co] 24 Aug 2017
arxiv:1708.07263v1 [math.co] 24 Aug 2017 An upper bound on tricolored ordered sum-free sets Taegyun Kim and Sang-il Oum Department of Mathematical Sciences, KAIST Daejeon, South Korea. August 25, 2017
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 informationResolution of the Cap Set Problem: Progression Free Subsets of F n q are exponentially small
Resolution of the Cap Set Problem: Progression Free Subsets of F n q are exponentially small Jordan S. Ellenberg, Dion Gijswijt Presented by: Omri Ben-Eliezer Tel-Aviv University January 25, 2017 The Cap
More informationSlice rank of tensors and its applications
Slice rank of tensors and its applications Wenjie Fang, LIP, ENS de Lyon Work of Terence Tao and William Sawin One Day Meeting in Discrete Structures April 14 2017, ENS de Lyon Two problems in extremal
More informationarxiv: v1 [math.co] 13 Sep 2018
SIDON SETS AND 2-CAPS IN F n 3 YIXUAN HUANG, MICHAEL TAIT, AND ROBERT WON arxiv:1809.05117v1 [math.co] 13 Sep 2018 Abstract. For each natural number d, we introduce the concept of a d-cap in F n 3. A subset
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 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: v2 [math.nt] 21 May 2016
arxiv:165.156v2 [math.nt] 21 May 216 PROGRESSION-FREE SETS IN Z n 4 ARE EXPONENTIALLY SMALL ERNIE CROOT, VSEVOLOD F. LEV, AND PÉTER PÁL PACH Abstract. We show that for integer n 1, any subset A Z n 4 free
More informationSzemerédi-Trotter type theorem and sum-product estimate in finite fields
Szemerédi-Trotter type theorem and sum-product estimate in finite fields arxiv:0711.4427v1 [math.co] 28 Nov 2007 Le Anh Vinh Mathematics Department Harvard University Cambridge, MA 02138, US vinh@math.harvard.edu
More informationarxiv: v1 [math.co] 28 Aug 2017
Popular progression differences in vector spaces Jacob Fox Huy Tuan Pham arxiv:708.08482v [math.co] 28 Aug 207 August 30, 207 Abstract Green proved an arithmetic analogue of Szemerédi s celebrated regularity
More informationOff-diagonal hypergraph Ramsey numbers
Off-diagonal hypergraph Ramsey numbers Dhruv Mubayi Andrew Suk Abstract The Ramsey number r k (s, n) is the minimum such that every red-blue coloring of the k- subsets of {1,..., } contains a red set of
More informationOn Sunflowers and Matrix Multiplication
On Sunflowers and Matrix Multiplication Noga Alon Amir Shpilka Christopher Umans Abstract We present several variants of the sunflower conjecture of Erdős and Rado [ER60] and discuss the relations among
More informationProof of a Conjecture of Erdős on triangles in set-systems
Proof of a Conjecture of Erdős on triangles in set-systems Dhruv Mubayi Jacques Verstraëte November 11, 005 Abstract A triangle is a family of three sets A, B, C such that A B, B C, C A are each nonempty,
More informationBURGESS INEQUALITY IN F p 2. Mei-Chu Chang
BURGESS INEQUALITY IN F p 2 Mei-Chu Chang Abstract. Let be a nontrivial multiplicative character of F p 2. We obtain the following results.. Given ε > 0, there is δ > 0 such that if ω F p 2\F p and I,
More informationApproximate Sunflowers
Approximate Sunflowers Benamin Rossman January 26, 2019 Abstract A (p, ε-approximate sunflower is a family of sets S with the property that a p-random subset of the universe is 1 ε likely to contain a
More informationA NEW PROOF OF ROTH S THEOREM ON ARITHMETIC PROGRESSIONS
A NEW PROOF OF ROTH S THEOREM ON ARITHMETIC PROGRESSIONS ERNIE CROOT AND OLOF SISASK Abstract. We present a proof of Roth s theorem that follows a slightly different structure to the usual proofs, in that
More informationIrredundant Families of Subcubes
Irredundant Families of Subcubes David Ellis January 2010 Abstract We consider the problem of finding the maximum possible size of a family of -dimensional subcubes of the n-cube {0, 1} n, none of which
More informationForbidding complete hypergraphs as traces
Forbidding complete hypergraphs as traces Dhruv Mubayi Department of Mathematics, Statistics, and Computer Science University of Illinois Chicago, IL 60607 Yi Zhao Department of Mathematics and Statistics
More informationThe Intersection Theorem for Direct Products
Europ. J. Combinatorics 1998 19, 649 661 Article No. ej9803 The Intersection Theorem for Direct Products R. AHLSWEDE, H.AYDINIAN AND L. H. KHACHATRIAN c 1998 Academic Press 1. INTRODUCTION Before we state
More informationLinear independence, a unifying approach to shadow theorems
Linear independence, a unifying approach to shadow theorems by Peter Frankl, Rényi Institute, Budapest, Hungary Abstract The intersection shadow theorem of Katona is an important tool in extremal set theory.
More informationI. Approaches to bounding the exponent of matrix multiplication
I. Approaches to bounding the exponent of matrix multiplication Chris Umans Caltech Based on joint work with Noga Alon, Henry Cohn, Bobby Kleinberg, Amir Shpilka, Balazs Szegedy Modern Applications of
More informationarxiv: v1 [math.co] 18 Dec 2018
A Construction for Difference Sets with Local Properties Sara Fish Ben Lund Adam Sheffer arxiv:181.07651v1 [math.co] 18 Dec 018 Abstract We construct finite sets of real numbers that have a small difference
More informationOn an Extremal Hypergraph Problem of Brown, Erdős and Sós
On an Extremal Hypergraph Problem of Brown, Erdős and Sós Noga Alon Asaf Shapira Abstract Let f r (n, v, e) denote the maximum number of edges in an r-uniform hypergraph on n vertices, which does not contain
More informationApproaches to bounding the exponent of matrix multiplication
Approaches to bounding the exponent of matrix multiplication Chris Umans Caltech Based on joint work with Noga Alon, Henry Cohn, Bobby Kleinberg, Amir Shpilka, Balazs Szegedy Simons Institute Sept. 7,
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 a hypergraph matching problem
On a hypergraph matching problem Noga Alon Raphael Yuster Abstract Let H = (V, E) be an r-uniform hypergraph and let F 2 V. A matching M of H is (α, F)- perfect if for each F F, at least α F vertices of
More informationThe number of edge colorings with no monochromatic cliques
The number of edge colorings with no monochromatic cliques Noga Alon József Balogh Peter Keevash Benny Sudaov Abstract Let F n, r, ) denote the maximum possible number of distinct edge-colorings of a simple
More informationON THE SIZE OF KAKEYA SETS IN FINITE FIELDS
ON THE SIZE OF KAKEYA SETS IN FINITE FIELDS ZEEV DVIR Abstract. A Kakeya set is a subset of F n, where F is a finite field of q elements, that contains a line in every direction. In this paper we show
More informationNilpotency and the number of word maps of a finite group
Nilpotency and the number of word maps of a finite group arxiv:1704.08214v1 [math.gr] 26 Apr 2017 Alexander Bors September 20, 2018 Abstract For a finite group G and a non-negative integer d, denote by
More informationA Hilton-Milner Theorem for Vector Spaces
A Hilton-Milner Theorem for ector Spaces A Blohuis, A E Brouwer, A Chowdhury 2, P Franl 3, T Mussche, B Patós 4, and T Szőnyi 5,6 Dept of Mathematics, Technological University Eindhoven, PO Box 53, 5600
More informationMinimal Paths and Cycles in Set Systems
Minimal Paths and Cycles in Set Systems Dhruv Mubayi Jacques Verstraëte July 9, 006 Abstract A minimal k-cycle is a family of sets A 0,..., A k 1 for which A i A j if and only if i = j or i and j are consecutive
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 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 informationNeighborly families of boxes and bipartite coverings
Neighborly families of boxes and bipartite coverings Noga Alon Dedicated to Professor Paul Erdős on the occasion of his 80 th birthday Abstract A bipartite covering of order k of the complete graph K n
More informationAn Erdős-Ko-Rado problem on the strip
An Erdős-Ko-Rado problem on the strip Steve Butler 1 1 Department of Mathematics University of California, San Diego www.math.ucsd.edu/~sbutler GSCC 2008 12 April 2008 Extremal set theory We will consider
More informationarxiv: v1 [math.co] 18 Nov 2017
Short proofs for generalizations of the Lovász Local Lemma: Shearer s condition and cluster expansion arxiv:171106797v1 [mathco] 18 Nov 2017 Nicholas J A Harvey Abstract Jan Vondrák The Lovász Local Lemma
More informationApplications of model theory in extremal graph combinatorics
Applications of model theory in extremal graph combinatorics Artem Chernikov (IMJ-PRG, UCLA) Logic Colloquium Helsinki, August 4, 2015 Szemerédi regularity lemma Theorem [E. Szemerédi, 1975] Every large
More informationSum-product estimates over arbitrary finite fields
Sum-product estimates over arbitrary finite fields Doowon Koh Sujin Lee Thang Pham Chun-Yen Shen Abstract arxiv:1805.08910v3 [math.nt] 16 Jul 2018 In this paper we prove some results on sum-product estimates
More informationGraph powers, Delsarte, Hoffman, Ramsey and Shannon
Graph powers, Delsarte, Hoffman, Ramsey and Shannon Noga Alon Eyal Lubetzy May 14, 2006 Abstract The -th p-power of a graph G is the graph on the vertex set V (G), where two -tuples are adjacent iff the
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 informationarxiv: v1 [math.co] 28 Jan 2019
THE BROWN-ERDŐS-SÓS CONJECTURE IN FINITE ABELIAN GROUPS arxiv:191.9871v1 [math.co] 28 Jan 219 JÓZSEF SOLYMOSI AND CHING WONG Abstract. The Brown-Erdős-Sós conjecture, one of the central conjectures in
More informationRoth s Theorem on 3-term Arithmetic Progressions
Roth s Theorem on 3-term Arithmetic Progressions Mustazee Rahman 1 Introduction This article is a discussion about the proof of a classical theorem of Roth s regarding the existence of three term arithmetic
More informationA lattice point problem and additive number theory
A lattice point problem and additive number theory Noga Alon and Moshe Dubiner Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel Abstract
More informationThe Lefthanded Local Lemma characterizes chordal dependency graphs
The Lefthanded Local Lemma characterizes chordal dependency graphs Wesley Pegden March 30, 2012 Abstract Shearer gave a general theorem characterizing the family L of dependency graphs labeled with probabilities
More informationRemarks on a Ramsey theory for trees
Remarks on a Ramsey theory for trees János Pach EPFL, Lausanne and Rényi Institute, Budapest József Solymosi University of British Columbia, Vancouver Gábor Tardos Simon Fraser University and Rényi Institute,
More informationWelsh s problem on the number of bases of matroids
Welsh s problem on the number of bases of matroids Edward S. T. Fan 1 and Tony W. H. Wong 2 1 Department of Mathematics, California Institute of Technology 2 Department of Mathematics, Kutztown University
More informationarxiv: v2 [math.co] 25 Jun 2015
ON THE SET OF ELASTICITIES IN NUMERICAL MONOIDS THOMAS BARRON, CHRISTOPHER O NEILL, AND ROBERTO PELAYO arxiv:409.345v [math.co] 5 Jun 05 Abstract. In an atomic, cancellative, commutative monoid S, 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 informationTowards a Katona type proof for the 2-intersecting Erdős-Ko-Rado theorem
Towards a Katona type proof for the 2-intersecting Erdős-Ko-Rado theorem Ralph Howard Department of Mathematics, University of South Carolina Columbia, SC 29208, USA howard@math.sc.edu Gyula Károlyi Department
More informationRoth s Theorem on Arithmetic Progressions
September 25, 2014 The Theorema of Szemerédi and Roth For Λ N the (upper asymptotic) density of Λ is the number σ(λ) := lim sup N Λ [1, N] N [0, 1] The Theorema of Szemerédi and Roth For Λ N the (upper
More informationLow Rank Co-Diagonal Matrices and Ramsey Graphs
Low Rank Co-Diagonal Matrices and Ramsey Graphs Vince Grolmusz Department of Computer Science Eötvös University, H-1053 Budapest HUNGARY E-mail: grolmusz@cs.elte.hu Submitted: March 7, 000. Accepted: March
More informationMaximum subsets of (0, 1] with no solutions to x + y = kz
Maximum subsets of 0, 1] with no solutions to x + y = z Fan R. K. Chung Department of Mathematics University of Pennsylvania Philadelphia, PA 19104 John L. Goldwasser West Virginia University Morgantown,
More informationMonochromatic simplices of any volume
Monochromatic simplices of any volume Adrian Dumitrescu Department of Computer Science University of Wisconsin Milwaukee WI 53201-0784, USA Email: ad@cs.uwm.edu Minghui Jiang Department of Computer Science
More informationHow many units can a commutative ring have?
How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the
More informationCodegree problems for projective geometries
Codegree problems for projective geometries Peter Keevash Yi Zhao Abstract The codegree density γ(f ) of an r-graph F is the largest number γ such that there are F -free r-graphs G on n vertices such that
More informationErdős and arithmetic progressions
Erdős and arithmetic progressions W. T. Gowers University of Cambridge July 2, 2013 W. T. Gowers (University of Cambridge) Erdős and arithmetic progressions July 2, 2013 1 / 22 Two famous Erdős conjectures
More informationMulticolour Ramsey Numbers of Odd Cycles
Multicolour Ramsey Numbers of Odd Cycles JOHNSON, JR; Day, A 2017 Elsevier Inc This is a pre-copyedited, author-produced PDF of an article accepted for publication in Journal of Combinatorial Theory, Series
More informationRational exponents in extremal graph theory
Rational exponents in extremal graph theory Boris Bukh David Conlon Abstract Given a family of graphs H, the extremal number ex(n, H) is the largest m for which there exists a graph with n vertices and
More informationarxiv: v1 [math.nt] 4 Oct 2016
ON SOME MULTIPLE CHARACTER SUMS arxiv:1610.01061v1 [math.nt] 4 Oct 2016 ILYA D. SHKREDOV AND IGOR E. SHPARLINSKI Abstract. We improve a recent result of B. Hanson (2015) on multiplicative character sums
More informationNew lower bounds for hypergraph Ramsey numbers
New lower bounds for hypergraph Ramsey numbers Dhruv Mubayi Andrew Suk Abstract The Ramsey number r k (s, n) is the minimum N such that for every red-blue coloring of the k-tuples of {1,..., N}, there
More informationOn Locating-Dominating Codes in Binary Hamming Spaces
Discrete Mathematics and Theoretical Computer Science 6, 2004, 265 282 On Locating-Dominating Codes in Binary Hamming Spaces Iiro Honkala and Tero Laihonen and Sanna Ranto Department of Mathematics and
More informationThe Gaussian coefficient revisited
The Gaussian coefficient revisited Richard EHRENBORG and Margaret A. READDY Abstract We give new -(1+)-analogue of the Gaussian coefficient, also now as the -binomial which, lie the original -binomial
More informationOn judicious bipartitions of graphs
On judicious bipartitions of graphs Jie Ma Xingxing Yu Abstract For a positive integer m, let fm be the maximum value t such that any graph with m edges has a bipartite subgraph of size at least t, and
More informationarxiv: v1 [math.co] 19 Mar 2019
arxiv:1903.07876v1 [math.co] 19 Mar 2019 Sum-Product type Estimates over Finite Fields Esen Aksoy Yazici March 20, 2019 Abstract Let F q denote the finite field with q elements where q = p l is a prime
More informationRamsey-type problem for an almost monochromatic K 4
Ramsey-type problem for an almost monochromatic K 4 Jacob Fox Benny Sudakov Abstract In this short note we prove that there is a constant c such that every k-edge-coloring of the complete graph K n with
More informationInduced subgraphs of prescribed size
Induced subgraphs of prescribed size Noga Alon Michael Krivelevich Benny Sudakov Abstract A subgraph of a graph G is called trivial if it is either a clique or an independent set. Let q(g denote the maximum
More informationEdge-disjoint induced subgraphs with given minimum degree
Edge-disjoint induced subgraphs with given minimum degree Raphael Yuster Department of Mathematics University of Haifa Haifa 31905, Israel raphy@math.haifa.ac.il Submitted: Nov 9, 01; Accepted: Feb 5,
More informationA Combinatorial Interpretation of the Numbers 6 (2n)! /n! (n + 2)!
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 8 (2005), Article 05.2.3 A Combinatorial Interpretation of the Numbers 6 (2n)! /n! (n + 2)! Ira M. Gessel 1 and Guoce Xin Department of Mathematics Brandeis
More informationON THE REDUCIBILITY OF EXACT COVERING SYSTEMS
ON THE REDUCIBILITY OF EXACT COVERING SYSTEMS OFIR SCHNABEL arxiv:1402.3957v2 [math.co] 2 Jun 2015 Abstract. There exist irreducible exact covering systems (ECS). These are ECS which are not a proper split
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 informationEven Cycles in Hypergraphs.
Even Cycles in Hypergraphs. Alexandr Kostochka Jacques Verstraëte Abstract A cycle in a hypergraph A is an alternating cyclic sequence A 0, v 0, A 1, v 1,..., A k 1, v k 1, A 0 of distinct edges A i and
More informationTitle Project Summary
Title Project Summary The aim of the project is an estimation theory of those special functions of analysis called zeta functions after the zeta function of Euler (1730). The desired estimates generalize
More informationON PERMUTATION POLYNOMIALS OF PRESCRIBED SHAPE
ON PERMUTATION POLYNOMIALS OF PRESCRIBED SHAPE AMIR AKBARY, DRAGOS GHIOCA, AND QIANG WANG Abstract. We count permutation polynomials of F q which are sums of m + 2 monomials of prescribed degrees. This
More informationHigher-order Fourier analysis of F n p and the complexity of systems of linear forms
Higher-order Fourier analysis of F n p and the complexity of systems of linear forms Hamed Hatami School of Computer Science, McGill University, Montréal, Canada hatami@cs.mcgill.ca Shachar Lovett School
More informationc 2010 Society for Industrial and Applied Mathematics
SIAM J. DISCRETE MATH. Vol. 24, No. 3, pp. 1038 1045 c 2010 Society for Industrial and Applied Mathematics SET SYSTEMS WITHOUT A STRONG SIMPLEX TAO JIANG, OLEG PIKHURKO, AND ZELEALEM YILMA Abstract. A
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 informationOn Zeros of a Polynomial in a Finite Grid: the Alon-Füredi Bound
On Zeros of a Polynomial in a Finite Grid: the Alon-Füredi Bound John R. Schmitt Middlebury College, Vermont, USA joint work with Anurag Bishnoi (Ghent), Pete L. Clark (U. Georgia), Aditya Potukuchi (Rutgers)
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #5 09/19/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #5 09/19/2013 5.1 The field of p-adic numbers Definition 5.1. The field of p-adic numbers Q p is the fraction field of Z p. As a fraction field,
More informationTheorem (Special Case of Ramsey s Theorem) R(k, l) is finite. Furthermore, it satisfies,
Math 16A Notes, Wee 6 Scribe: Jesse Benavides Disclaimer: These notes are not nearly as polished (and quite possibly not nearly as correct) as a published paper. Please use them at your own ris. 1. Ramsey
More informationThe Interlace Polynomial of Graphs at 1
The Interlace Polynomial of Graphs at 1 PN Balister B Bollobás J Cutler L Pebody July 3, 2002 Department of Mathematical Sciences, University of Memphis, Memphis, TN 38152 USA Abstract In this paper we
More informationOn the Distribution of Sums of Vectors in General Position
draft date: October 30, 1997 On the Distribution of Sums of Vectors in General Position Jerrold R. Griggs 1 Department of Mathematics University of South Carolina Columbia, SC 29208 USA email: griggs@math.sc.edu
More informationMinimum Repair Bandwidth for Exact Regeneration in Distributed Storage
1 Minimum Repair andwidth for Exact Regeneration in Distributed Storage Vivec R Cadambe, Syed A Jafar, Hamed Malei Electrical Engineering and Computer Science University of California Irvine, Irvine, California,
More informationErdős-Szekeres without induction
Erdős-Szekeres without induction arxiv:1509.03332v1 [math.co] 10 Sep 2015 Sergey Norin Yelena Yuditsky October 1, 2018 Abstract Let ES(n) be the minimal integer such that any set of ES(n) points in the
More informationarxiv: v1 [math.co] 20 Dec 2016
F-POLYNOMIAL FORMULA FROM CONTINUED FRACTIONS MICHELLE RABIDEAU arxiv:1612.06845v1 [math.co] 20 Dec 2016 Abstract. For cluster algebras from surfaces, there is a known formula for cluster variables and
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 informationArithmetic Progressions with Constant Weight
Arithmetic Progressions with Constant Weight Raphael Yuster Department of Mathematics University of Haifa-ORANIM Tivon 36006, Israel e-mail: raphy@oranim.macam98.ac.il Abstract Let k n be two positive
More informationNonnegative k-sums, fractional covers, and probability of small deviations
Nonnegative k-sums, fractional covers, and probability of small deviations Noga Alon Hao Huang Benny Sudakov Abstract More than twenty years ago, Manickam, Miklós, and Singhi conjectured that for any integers
More informationAdvanced Engineering Mathematics Prof. Pratima Panigrahi Department of Mathematics Indian Institute of Technology, Kharagpur
Advanced Engineering Mathematics Prof. Pratima Panigrahi Department of Mathematics Indian Institute of Technology, Kharagpur Lecture No. # 02 Vector Spaces, Subspaces, linearly Dependent/Independent of
More information1.1 Szemerédi s Regularity Lemma
8 - Szemerédi s Regularity Lemma Jacques Verstraëte jacques@ucsd.edu 1 Introduction Szemerédi s Regularity Lemma [18] tells us that every graph can be partitioned into a constant number of sets of vertices
More informationConstructions in Ramsey theory
Constructions in Ramsey theory Dhruv Mubayi Andrew Suk Abstract We provide several constructions for problems in Ramsey theory. First, we prove a superexponential lower bound for the classical 4-uniform
More informationZero-sum square matrices
Zero-sum square matrices Paul Balister Yair Caro Cecil Rousseau Raphael Yuster Abstract Let A be a matrix over the integers, and let p be a positive integer. A submatrix B of A is zero-sum mod p if the
More informationReference Material /Formulas for Pre-Calculus CP/ H Summer Packet
Reference Material /Formulas for Pre-Calculus CP/ H Summer Packet Week # 1 Order of Operations Step 1 Evaluate expressions inside grouping symbols. Order of Step 2 Evaluate all powers. Operations Step
More informationChapter 6 Orthogonal representations II: Minimal dimension
Chapter 6 Orthogonal representations II: Minimal dimension Nachdiplomvorlesung by László Lovász ETH Zürich, Spring 2014 1 Minimum dimension Perhaps the most natural way to be economic in constructing an
More informationWAITING FOR A BAT TO FLY BY (IN POLYNOMIAL TIME)
WAITING FOR A BAT TO FLY BY (IN POLYNOMIAL TIME ITAI BENJAMINI, GADY KOZMA, LÁSZLÓ LOVÁSZ, DAN ROMIK, AND GÁBOR TARDOS Abstract. We observe returns of a simple random wal on a finite graph to a fixed node,
More informationRamsey Unsaturated and Saturated Graphs
Ramsey Unsaturated and Saturated Graphs P Balister J Lehel RH Schelp March 20, 2005 Abstract A graph is Ramsey unsaturated if there exists a proper supergraph of the same order with the same Ramsey number,
More informationMATH 423 Linear Algebra II Lecture 3: Subspaces of vector spaces. Review of complex numbers. Vector space over a field.
MATH 423 Linear Algebra II Lecture 3: Subspaces of vector spaces. Review of complex numbers. Vector space over a field. Vector space A vector space is a set V equipped with two operations, addition V V
More informationShort Kloosterman Sums for Polynomials over Finite Fields
Short Kloosterman Sums for Polynomials over Finite Fields William D Banks Department of Mathematics, University of Missouri Columbia, MO 65211 USA bbanks@mathmissouriedu Asma Harcharras Department of Mathematics,
More informationAsymptotically optimal induced universal graphs
Asymptotically optimal induced universal graphs Noga Alon Abstract We prove that the minimum number of vertices of a graph that contains every graph on vertices as an induced subgraph is (1+o(1))2 ( 1)/2.
More informationVariants of the Erdős-Szekeres and Erdős-Hajnal Ramsey problems
Variants of the Erdős-Szekeres and Erdős-Hajnal Ramsey problems Dhruv Mubayi December 19, 2016 Abstract Given integers l, n, the lth power of the path P n is the ordered graph Pn l with vertex set v 1
More informationNew Lower Bounds for the Number of Blocks in Balanced Incomplete Block Designs
New Lower Bounds for the Number of Blocs in Balanced Incomplete Bloc Designs MUHAMMAD A KHAN ABSTRACT: Bose [1] proved the inequality b v+ r 1 for resolvable balanced incomplete bloc designs (RBIBDs) and
More information