9 - The Combinatorial Nullstellensatz

Size: px
Start display at page:

Download "9 - The Combinatorial Nullstellensatz"

Transcription

1 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, x 2,..., x n ] where f vanishes on the common zeroes of g 1, g 2,..., g m, then there exists a positive integer k and polynomials h 1, h 2,..., h m such that f k = m g ih i. The combinatorial nullstellensatz, due to Alon (1995) is a refinement of Hilbert s nullstellensatz to the case that the g i are linear polynomials. The practical consequence is as follows, with an elementary proof due to Michalek (2009). Here the degree of f F[x 1, x 2,..., x n ], denoted deg(f) is the maximum of t 1 + t t n such that x t 1 1 x t x tn n with a non-zero coefficient in f. is a monomial appearing Theorem 1 (Combinatorial nullstellensatz). Let F be an arbitrary field and let f F[x 1, x 2,..., x n ]. Suppose x t 1 1 x t x tn n is a monomial of degree deg(f) appearing with a non-zero coefficient in f, and suppose S i F are sets of size at least t i + 1 for i = 1, 2,..., n. Then there exists x S 1 S 2 S n such that f(x) 0. Proof. We proceed by induction on deg(f); the case deg(f) = 1 is easy. If deg(f) > 1, suppose f(s 1 S 2 S n ) = 0 and t 1 > 0, but that the statement of the theorem is true for all polynomials of degree deg(f) 1. For any s S 1, write f = (x 1 s)g + h using the Euclidean division algorithm, and h does not contain the variable x 1. Since f({s} S 1 S n ) = 0, h({s} S 1 S n ) = 0 which means h(s 1 S 2 S n ) = 0. Now deg(g) = deg(f) 1 and a largest degree monomial in g is x t x t x tn n. But g(s 1 \{s} S 2 S n ) = 0, contradicting the induction hypothesis. 1

2 1 Cauchy-Davenport Theorem The combinatorial nullstellensatz has many applications in additive number theory. Recall the sumset of sets A and B in an abelian group is A + B = {a + b : a A, b B}. The following classical theorem was first proved by Cauchy in Theorem 2 (Cauchy-Davenport Theorem). Let A, B Z/pZ. Then A + B min{p, A + B 1}. Proof. If A + B > p, then A (a B) for every a Z/pZ, which implies A+B = Z/pZ. Therefore we assume A + B p. Suppose A+B A + B 2, and let C be a set of size A + B 2 containing A + B. Let F = Z/pZ. Define f F[x, y) by f(x, y) = c C(x + y c). Note deg(f) = C = A + B 2. Since A + B C, f is zero on F F. By the combinatorial nullstellensatz, the coefficient of x A 1 y B 1 in f must be zero. However, that coefficient is ( C A 1) which is not zero in F. Define (A + B) to be {a + b : a A, b B\{a}} in other words it is the sumset minus the diagonal. Then the above proof can be modified to show (A + B) min{p, A + B 3}. We leave this as an exercise. 2 Alon-Füredi Theorem Let Q n denote the n-dimensional cube in R n namely the set of all points in {0, 1} n. A hyperplane covers a point if it contains that point. In other words, if a, x = b defines the hyperplane, then a point P is covered if a, P = b. The following theorem was proved by Alon and Füredi: Theorem 3. Let H 1, H 2,..., H m be hyperplanes covering Q n \{0}. Then m n. Proof. Let a i, x = b i be the equations of the hyperplanes, and define f = m n b j j=1 (1 x i ) m (b j a j, x ). j=1 2

3 Then f R[x 1, x 2,..., x n ] and f(0) = 0 and deg(f) = max{m, n}. Furthermore, if the H i cover Q n \{0}, then is zero on {0, 1} n. If m < n, then the coefficient of x 1 x 2... x n is ( 1) n m j=1 b j, and since then deg(f) = n, this contradicts the combinatorial nullstellensat. Therefore m n. 3 Chevalley-Warning Theorem Here is an application to a theorem in algebraic geometry: Theorem 4 (Chevalley-Warning Theorem). Let f 1, f 2,..., f m F q [x 1, x 2,..., x n ] be homogeneous polynomials such that n > m deg(f i). Then there exists x 0 such that for all i [m], f i (x) = 0. Proof. Consider f = m (1 f q 1 ) i n (1 x q 1 i ). The condition on degrees of the f i implies deg(f) = (q 1)n, and x q 1 1 x q x q 1 n is a largest degree monomial in f. By the nullstellensatz, with S i = F q for i = 1, 2,..., n, there exists x S 1 S 2 S n such that f(x) 0. Note x 0 since f(0) = 0. Now since x 0, the second term in f disappears by Fermat s theorem, and the first is non-zero only if f i (x) = 0 for all i = 1, 2,..., m, again by Fermat s Theorem. 4 Erdős-Ginzburg Ziv Theorem For a finite group Γ, let s (Γ) be the minimum positive integer n such that any sequence of n elements of Γ contains a subsequence of Γ elements whose product is the identity. For instance, if Γ = Z/pZ, then s (Γ) 2p 1, since no sum of elements from the multiset of p 1 ones and p 1 zeroes is zero. It turns out this is tight: Theorem 5 (Erdős-Ginzburg-Ziv). s (Z/pZ) = 2p 1. Proof. Let (a 1, a 2,..., a 2p 1 ) be a multiset of 2p 1 elements of Z/pZ. Consider 3

4 the polynomials f 1 = n a i x p 1 i f 2 = n x p 1 i. Then deg(f 1 ) + deg(f 2 ) = 2p 2, whereas there are 2p 1 variables x i. By the Chevalley-Warning Theorem, there exists x 0 such that f 1 (x) = 0 and f 2 (x) = 0. If S [2p 1] is the set of i for which x i = 0, then by Fermat s Theorem, i S a i = 0 and i S xp 1 i = 0. This means S = 0 modulo p. In general the value of s (Γ) is not not known. The Kemnitz conjecture (1983) states that s (Z n Z n ) = 4n 3, and this was finally proved by Reinher (2007) using the nullstellensatz together with some additional combinatorial ideas: Theorem 6. Given at least 4n 3 integer lattice points in the plane, there exist n of them whose centroid is an integer lattice point. The question of determining s (Z k n) remains open for k 3. Alon and Dubiner (1993) showed s (Z k n) is linear in n as n, but even the asymptotics are not known. 5 The Davenport constant The Davenport constant of a finite group Γ, denoted s(γ), is the minimum n such that any sequence of n elements of Γ has a subsequence whose product is the identity. For instance, if Γ = Z/pZ, then s(γ) p, since no sum of elements from the sequence of p 1 ones is zero. It is not hard to show s(γ) = p in this case. It is in general an open problem to determine s(γ) for a general finite group Γ. Clearly for any finite group Γ, we have s(γ) Γ, since in a sequence (a 1, a 2,..., a k ) of more than Γ elements, two of the rising products j a i for j = 1, 2,..., k must coincide. If we consider a product of cyclic groups Γ = k Z n i, then s(γ) 1 + k (n i 1) by considering vectors with n i 1 copies of 1 in the ith position and zeroes elsewhere. In particular, if Γ = Z n then s(γ) = n since the above two bounds coincide. It is however not true that s(γ) = 1 + k (n i 1) for a Γ product of cyclic groups Z ni 4

5 (the reader can come up with examples). Olson s Theorem generalizes the statement s(z p ) = p to any p-group Γ = Z p n i. The most convenient language for the proof is that of group rings. Recall for an abelian group Γ and a ring R, the group ring R[Γ] comprises the set of all functions f : Γ R with addition defined pointwise and multiplication defined by the convolution f g(u) = f(x)g(y) x+y=u where we use additive notation for Γ. The following was proved by Olson (1969): Theorem 7 (Olson s Theorem). Let Γ be a finite product of cyclic groups Z p n i where p is prime. Then D(Γ) = 1 + k (pn i 1). Proof. Let (a 1, a 2,..., a m ) have no zero sum and let 1 be the identity in R[Γ]. Consider f = (1 a 1 ) (1 a 2 ) (1 a m ) Z p [Γ]. Let δ 0 be the number of even length subsequences of a 1, a 2,..., a m with sum equal to zero, and let δ 1 be the number of odd length subsequences with sum zero. Expanding the above product using inclusion-exclusion and considering f(0) in Z p, we get f(0) 1 = δ 1 δ 0 mod p and therefore if f(0) = 0 we have δ 0 0 or δ 1 0 and so there is a sum of elements that is zero. Now let us show that if m 1 + (p n i 1), then f(0) = 0, by showing more strongly that f = 0. Let x i denote the function with a 1 in position i and zero elsewhere. Then every monomial in the expansion of f in terms of the x i looks like k (1 x i ) d i where d 1 + d d k = m. The lower bound on m shows d i p n i for some i, which means that this monomial is zero since the additive order of any element of Z p n i is at most p n i. In other words, every monomial in the expansion of f vanishes, and so f = 0. A proof independent of group rings was given by Alon, Friedland and Kalai (1984). 5

6 6 Regular subgraphs Erdős and Berge raised the extremal problem for r-regular subgraphs: determine the maximum number of edges ex(n, r reg) in an n-vertex graph which has no r-regular subgraph. Clearly ex(n, 2 reg) = n 1, but for r 3 the problem is much more difficult. Erdős and Berge asked whether every 4-regular graph contains a 3-regular graph, and this was first proved by Tâskinov (1984). Here is a consequence of the nullstellensatz: Theorem 8. Let p be a prime, and let G be an n-vertex graph with more than (p 1)n edges. Then G has a non-empty subgraph in which the degrees are all multiples of p. Proof. Let G = (V, E) and consider f = v V ( 1 ( e v x e ) p 1 ) e E(1 x e ). Here x e {0, 1} for all e E. Then deg(f) = E > (p 1)n and a largest degree monomial is e E x e. The nullstellensatz applies with S e = {0, 1} for e E. This can also be derived from the Chevalley-Warning theorem. corollary: Here is an easy Corollary 9. Let p be a prime, and let G be a graph of average degree more than 2p 2 and maximum degree 2p 1. Then G has a p-regular subgraph. Proof. By the preceding theorem there is a subgraph where the degrees are multiples of p, and since the maximum degree is less than 2p, such a subgraph must be p- regular. This extends to powers of p using Olson s Theorem. 7 Degree-constrained subgraphs of graphs The notion of an f-factor of a graph where f assigns to each vertex a set of integers was introduced and studied by Lovász (1969). 6

7 Definition. Let f : V N ω be a function into subsets of non-negative integers. An f-factor of a graph G = (V, E) is a spanning subgraph H of G such that d H (v) f(v) for all v V. A partial f-factor of G is a non-empty subgraph H of G such that d H (v) f(v) {0} for all v V. Tutte s f-factor theorem gives a necessary and sufficient condition for a graph to have an f-factor when f : V N 1. Lovász [?] showed that a similar condition exists if the set f(v) does not contain a pair of integers differing by more than 2 for all v V, but that the problem becomes computationally hard otherwise. Using the nullstellensatz, it is possible to prove the existence of an f-factor if f(v) > d(v)/2 and f(v) {0, 1, 2,..., d(v)} for every v V (proved by Shirazi and the author (2008)): Theorem 10. Let G = (V, E) be a graph and let f : V N ω satisfy f(v) {0, 1, 2,..., d(v)} for all v V and f(v) > d(v)/2 for all v V. Then G has an f-factor. Proof. Let f(v) c = {0, 1, 2,..., d(v)}\f(v) and let S v be a set of integers of size d(v)/2 in {0, 1, 2,..., d(v)} containing f(v) c. Let (x e : e E) be 0-1 variables over R and define P R[x e : e E] by P (x) = ( ) X e d. v V e v d S v If P (x) 0, then for every v V and d f(v) c, x e d. e v This implies e v x e f(v) for every v V, and then F = {e : x e = 1} is the required subgraph. To show P (x) 0, note first that f(v) c d(v)/2 for all v V. We consider the coefficient of e E x e. Add a vertex to G joined to all vertices of G of odd degree. are eulerian. The result is a graph G all of whose components Therefore G contains a union of euler tours, and therefore some orientation of G assigns to every vertex v at most d (v)/2 edges oriented out from v, where d (v) is the degree of v in G. Removing the additional vertex, we obtain an orientation of G such that each vertex v has d(v)/2 edges oriented out from v. 7

8 The coefficient of e E x e is therefore positive: the edges out of v correspond to a choice of one x e from each of the terms ( ) x e d d S v e v and no x e is picked twice. By the combinatorial nullstellensatz, there is x {0, 1} E such that P (x) 0 in R. Similarly one obtains a condition for partial f-factors: Theorem 11. Let G = (V, E) be a graph and let f : V N ω {0, 1, 2,..., d(v)} for all v V and f(v) c \{0} < E. v V satisfy f(v) Then G has a partial f-factor. Proof. Let S v = f(v) c \{0}. Let x = (x e : e E) be 0-1 variables over R and define P R[x] by P (x) = v V ( d d S v e v x e d ) e E(1 x e ). Certainly P (0) = 0. If P (x) 0 for some x 0, then for all v V, x e f(v) {0} e v and then F = {e G : x e = 1} is a partial f-factor. To apply the nullstellensatz, note that the degree of the first term is at most S v < E v V and therefore ( 1) E +1 e E x e is the unique largest degree monomial. The nullstellensatz gives the result. Definition. Let f : V N ω be a function and p N. An f-factor mod p of a graph G = (V, E) is a spanning subgraph H of G such that d H (v) d mod p for 8

9 some d f(v) for all v V. A partial f-factor mod p of G is a non-empty subgraph H of G such that d H (v) = d mod p for some d f(v) {0} for all v V. The results in the last section say that if p be a prime, G = (V, E) has average degree more than 2p 2, and f(v) = 0 for all v V, then G contains a partial f-factor mod p. An interesting line of work is to determine conditions whereby a graph has an f-factor or a partial f-factor mod d. For instance, we can state Petersen s 2-factor theorem, that every 4-regular graph has a 2-factor, as stating that every 4-regular graph has a 2-factor mod 3. Is there an algebraic proof of this result along the lines of the nullstellensatz? 8 Counting solutions One can say a little bit more about the number of solutions in Chevalley s Theorem: Theorem 12. Let F be a finite field of characteristic p and let P 1, P 2,..., P m be homogeneous polynomials over F. Then the number of solutions to P 1 = 0, P 2 = 0,..., P m = 0 is zero mod p. Proof. The number of solutions is exactly x F n m (1 P i (x) F 1 ). Expanding the product in terms of monomials, each monomial has a term x d i i where d i < F 1, since the sum of the degrees of the P i is less than n. Adding that particular monomial over all x F n we get zero: for k < F 1 it is always true that x k = x F F 1 γ ik = 1 γk( F 1) 1 γ k = 0 where γ is a generator of the multiplicative group of F. This means that the monomial contributes zero mod p to the total number of solutions. This gives a condition for f-factors mod p: 9

10 Theorem 13. Let O k (G) be the number of orientations of a graph G in which every vertex has outdegree exactly k. If G has average degree 2p 2, then either O p 1 (G) 0 mod p, or for every f : V N, G has an f-factor mod p. Proof. As in the last proof, let (x e : e E) be 0-1 variables in Z p and define P (x) = v V ( 1 ( e v ) p 1 ) x e f(v). Then G has an f-factor mod p if P (x) 0 for some x. By the nullstellensatz, this is guaranteed if for each v V we can associate uniquely to v a set of exactly p 1 edges containing v and the total number of ways of doing it is non-zero mod p. This is independent of f, and equal to O p 1 (G). Here is a surprising corollary: Corollary 14. The number of eulerian orientations of a 2p 2-regular bipartite graph when p is a prime is zero mod p. Proof. If f(v) = {0} for all but one vertex v in a bipartite graph, and f(v ) = {1}, then the graph has no f-factor mod p. The last theorem gives the corollary. It appears to be difficult to determine the residue mod p of the number of Eulerian orientations. This comes up a lot in computing coefficients in problems involving the nullstellensatz. One open problem is to determine the complexity of computing the number of Eulerian tours in a 4-regular graph this is an open problem of M. Dyer. 8.1 Counting zero sums Let Γ be a abelian finite group. A non-trivial bound on the number of zero sums in a sequence of length at least s(γ) can be deduced quickly from Olson s Theorem on the number of zero sums. Here we declare the empty sequence to have zero sum. Theorem 15 (Olson). Let Γ be a finite abelian group with D(Γ) = m. Then any sequence of n m elements of Γ contains at least 2 n m+1 subsequences with zero sum. 10

11 Proof. This is clear for n = m by Olson s Theorem. Suppose n > m and let the elements be a 1, a 2,..., a n. Assume a 1 +a 2 + +a s = 0 for some s m. By induction there are at least 2 n m zero sums in the sequence ( a 2, a 3,..., a s, a s+1,..., a n ). When we add such a zero sum to a 1 + a a s, we get a zero sum involving a 1. So we have at least 2 n m zero sums using a 1. We also have 2 n m zero sums avoiding a 1 by induction, so we are done. This allows us for the degree problems to find large subgraphs with prescribed degrees: Corollary 16. Let q be a prime power and let G be a graph with m edges and n vertices. Then G has a subgraph H in which every vertex degree is a multiple of q where In particular, e(h) e(g) as e(g). ( ) e(g) 2 e(g) (q 1)n. e(h) A probabilistic approach due to Alon can be used to show that every graph G = (V, E) has a subgraph in which all vertices have degrees equal to a power of two and 0.01 E edges. Alon asks whether every graph G = (V, E) has a subgraph where the degrees are powers of three and with c E edges for some c > 0, and more generally: Conjecture. For every d there exists c d such that any graph G = (V, E) of average degree at least c d has a partial f-factor for every function f : V (G) N {0}. 9 The extremal problem for regular subgraphs The aim of this section is to estimate the extremal function for the family of k- regular graphs: how many edges can an n-vertex graph have if it has no k-regular subgraph? For k = 2 the answer is n 1 but for k > 2 the situation is expectedly much more complicated. Unlike subgraphs where the degrees are zero mod k, k- regular subgraphs have a much higher extremal function. The following is due to Pyber, Rödl and Szemerédi (1991): 11

12 Theorem 17. Any n-vertex graph with at least 128k 2 n log n edges has a k-regular subgraph. The proof requires a lemma. A bipartite graph G(A, B) is called r-half-regular if A B and every vertex in A has degree exactly r. Lemma 18. Let G be a bipartite graph of minimum degree at least r. Then G contains an r-half regular bipartite graph. Furthermore, any r-half-regular bipartite graph has an r-half-regular subgraph with a perfect matching. Proof. Suppose G = G(A, B) with A B. Take X A with X Γ(X) such that X is a minimum. Note X exists since A B. Now for Y X, we cannot have Γ(Y ) Y otherwise we would take Y instead of X. Also X = Γ(X) otherwise delete a vertex of X. Proof of Theorem 17. It is enough to prove that if p is prime, then an n-vertex graph G with at least 32p 2 n log n edges has a p-regular bipartite subgraph, since if k is any integer, then there is a prime p {k, k + 1,..., 2k} by Bertrand s Postulate, and if G has 128k 2 n log n 32p 2 n log n edges, then G has a p-regular bipartite subgraph and hence a k-regular subgraph. Pass to a bipartite subgraph H of G with minimum degree at least d = 8p 2 log n. By Lemma 18, H has a d-half-regular subgraph H 1 with a perfect matching M 1. Then again by Lemma 18, H 1 M 1 has a d 1-half-regular subgraph H 2 with a perfect matching M 2. Continuing in this way, we obtain matchings M 1, M 2,..., M d with V (M 1 ) V (M 2 ) V (M d ). If for any matching M i we have e(m i M i+1 M i+2p 1 ) > (2p 2) V (M i ) then by Theorem 3 there is a non-empty 0-factor mod p in M i M i+1 M i+2p 1. However, this graph has maximum degree 2p 1 so the 0-factor must be a p- regular subgraph. Therefore the union of those matchings always has size at most (2p 2) V (M i ). In particular we have ( 2p 3 ) d/(2p 1) M d n < 1 2p 2 by the choice of d. This contradiction completes the proof. 12

13 In fact it is possible to show that if G is a graph of maximum degree with average degree at least 256k 2 log, then G has a k-regular subgraph. One can then deduce the following Ramsey-type result here log n is an extremely slowly growing function of n, namely the inverse of the tower function T defined by T (n) = 2 T (n 1) with T (1) = 2. Corollary 19. If a graph G on n vertices has no k-regular subgraph, then G has an independent set of size Ω k (n/ log n). The proof is left as an exercise. We conjecture that the independence number show actually be Ω(n) and that the chromatic number is a constant. The above theorem is complemented by the following construction of Szemerédi, which gives a lower bound of order n log log n for the extremal function for regular subgraphs: Theorem 20. There exists an n by n bipartite graph of average degree 0.1 log log n not containing any k-regular subgraphs for k 3. Sketch Proof. The construction is random. Fix an increasing sequence of integers d 1 d 2 d m n such that d i n for all i and we ensure n/d 1 + n/d n/d m n. Form a bipartite graph with parts A and B where B = n and A = A 1 A 2 A m and A i = n/d i. For each i m, replace each vertex v of A i with a set D v of d i new vertices, and then randomly and uniformly place a perfect matching between {D v : v A i } and B, and then contract for each v A i each set D v to the single vertex v. Then the number of edges in this construction is exactly mn and every vertex of A i has degree d i, and every vertex of B has degree m. We consider the expected number of 3-regular subgraphs. Let f(t) denote the number of 3-regular subgraphs with t vertices in each part. Counting f(t) by the number t i of vertices in A i, the expected value of f(t) is at most ( )( ) n 3t m ( ) ti ( ) di n/di (n 3ti )!(3t i )!. t 3t 1 3t t m 3 t i n! Using the bound ( a b) (ea/b) b, we have f(t) ( 100t n ) t max t Ω(t) m ( di t ) 2ti. t i Here Ω(t) is the set of vectors (t 1, t 2,..., t m ) with sum equal to t and 0 t i min{n/d i, t/3}. Taking logaritheorems and applying the method of Lagrange Multipliers shows that a maximum occurs when for all but at most one value of i, 13

14 t i {0, t/3, n/d i }. There are at most three values of i such that t i = t/3. If j is the largest positive integer such that t/3 n/d j, then the contribution of those t i for which t i = t/3 is maximized when t j = t j 1 = t j 2 = t/3. The contribution to f(t) in that case is at most ( 100t ) t (27dj d j 1 d j 2 ) 2t/3 10 5t( d 2 j 1 d2 ) j 2 2t/3. n d j If d i d 5 i 1 (10m)5 for all i, then this quantity less than (2m) t. Under the same condition, it is possible but technical to show that the contribution of all terms t i = n/d i with i > j is also at most (2m) t, due to the rapid increase of the d i s. Therefore we have f(t) < 2(2m) t for all t, and this shows that the expected number of 3-regular subgraphs is at most Ω(t) 2(2m) t < t=3 ( ) m + t 1 2(2m) t < m 1 t=3 t=3 1 2 t < 1. The number of edges in the graph is mn and we take d 1 = (10m) 5, and d i d 5 i 1 for i 2. So it is enough to take d i = (10m) 10i for i 1, provided that (10m) 10m n. This is satisfied if we take m = 0.1 log log n. 14

A 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 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 information

Zero-sum sets of prescribed size

Zero-sum sets of prescribed size Zero-sum sets of prescribed size Noga Alon and Moshe Dubiner Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel Abstract Erdős, Ginzburg

More information

A lattice point problem and additive number theory

A 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 information

Cycle lengths in sparse graphs

Cycle lengths in sparse graphs Cycle lengths in sparse graphs Benny Sudakov Jacques Verstraëte Abstract Let C(G) denote the set of lengths of cycles in a graph G. In the first part of this paper, we study the minimum possible value

More information

ACO Comprehensive Exam March 17 and 18, Computability, Complexity and Algorithms

ACO Comprehensive Exam March 17 and 18, Computability, Complexity and Algorithms 1. Computability, Complexity and Algorithms (a) Let G(V, E) be an undirected unweighted graph. Let C V be a vertex cover of G. Argue that V \ C is an independent set of G. (b) Minimum cardinality vertex

More information

< k 2n. 2 1 (n 2). + (1 p) s) N (n < 1

< k 2n. 2 1 (n 2). + (1 p) s) N (n < 1 List of Problems jacques@ucsd.edu Those question with a star next to them are considered slightly more challenging. Problems 9, 11, and 19 from the book The probabilistic method, by Alon and Spencer. Question

More information

Out-colourings of Digraphs

Out-colourings of Digraphs Out-colourings of Digraphs N. Alon J. Bang-Jensen S. Bessy July 13, 2017 Abstract We study vertex colourings of digraphs so that no out-neighbourhood is monochromatic and call such a colouring an out-colouring.

More information

Product Representations of Polynomials

Product Representations of Polynomials Product Representations of Polynomials Jacques Verstraëte Abstract For a fixed polyomial f Z[X], let ρ k (N denote the maximum size of a set A {1, 2,..., N} such that no product of k distinct elements

More information

Some zero-sum constants with weights

Some 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 information

Decomposing oriented graphs into transitive tournaments

Decomposing oriented graphs into transitive tournaments Decomposing oriented graphs into transitive tournaments Raphael Yuster Department of Mathematics University of Haifa Haifa 39105, Israel Abstract For an oriented graph G with n vertices, let f(g) denote

More information

are the q-versions of n, n! and . The falling factorial is (x) k = x(x 1)(x 2)... (x k + 1).

are the q-versions of n, n! and . The falling factorial is (x) k = x(x 1)(x 2)... (x k + 1). Lecture A jacques@ucsd.edu Notation: N, R, Z, F, C naturals, reals, integers, a field, complex numbers. p(n), S n,, b(n), s n, partition numbers, Stirling of the second ind, Bell numbers, Stirling of the

More information

Jacques Verstraëte

Jacques Verstraëte 2 - Turán s Theorem Jacques Verstraëte jacques@ucsd.edu 1 Introduction The aim of this section is to state and prove Turán s Theorem [17] and to discuss some of its generalizations, including the Erdős-Stone

More information

Probabilistic Proofs of Existence of Rare Events. Noga Alon

Probabilistic Proofs of Existence of Rare Events. Noga Alon Probabilistic Proofs of Existence of Rare Events Noga Alon Department of Mathematics Sackler Faculty of Exact Sciences Tel Aviv University Ramat-Aviv, Tel Aviv 69978 ISRAEL 1. The Local Lemma In a typical

More information

Disjoint Subgraphs in Sparse Graphs 1

Disjoint Subgraphs in Sparse Graphs 1 Disjoint Subgraphs in Sparse Graphs 1 Jacques Verstraëte Department of Pure Mathematics and Mathematical Statistics Centre for Mathematical Sciences Wilberforce Road Cambridge CB3 OWB, UK jbav2@dpmms.cam.ac.uk

More information

Note on Vertex-Disjoint Cycles

Note on Vertex-Disjoint Cycles Note on Vertex-Disjoint Cycles Jacques Verstraëte Department of Pure Mathematics and Mathematical Statistics Centre for Mathematical Sciences Wilberforce Road, Cambridge CB3 OWB England. November 999.

More information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

SUMSETS MOD p ØYSTEIN J. RØDSETH

SUMSETS MOD p ØYSTEIN J. RØDSETH 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

More information

Rational exponents in extremal graph theory

Rational 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 information

On 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 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 information

A short course on matching theory, ECNU Shanghai, July 2011.

A short course on matching theory, ECNU Shanghai, July 2011. A short course on matching theory, ECNU Shanghai, July 2011. Sergey Norin LECTURE 3 Tight cuts, bricks and braces. 3.1. Outline of Lecture Ear decomposition of bipartite graphs. Tight cut decomposition.

More information

Higher-Dimensional Analogues of the Combinatorial Nullstellensatz

Higher-Dimensional Analogues of the Combinatorial Nullstellensatz Higher-Dimensional Analogues of the Combinatorial Nullstellensatz Jake Mundo July 21, 2016 Abstract The celebrated Combinatorial Nullstellensatz of Alon describes the form of a polynomial which vanishes

More information

A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees

A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees Yoshimi Egawa Department of Mathematical Information Science, Tokyo University of

More information

List of Theorems. Mat 416, Introduction to Graph Theory. Theorem 1 The numbers R(p, q) exist and for p, q 2,

List of Theorems. Mat 416, Introduction to Graph Theory. Theorem 1 The numbers R(p, q) exist and for p, q 2, List of Theorems Mat 416, Introduction to Graph Theory 1. Ramsey s Theorem for graphs 8.3.11. Theorem 1 The numbers R(p, q) exist and for p, q 2, R(p, q) R(p 1, q) + R(p, q 1). If both summands on the

More information

Katarzyna Mieczkowska

Katarzyna 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 information

On tight cycles in hypergraphs

On tight cycles in hypergraphs On tight cycles in hypergraphs Hao Huang Jie Ma Abstract A tight k-uniform l-cycle, denoted by T Cl k, is a k-uniform hypergraph whose vertex set is v 0,, v l 1, and the edges are all the k-tuples {v i,

More information

Jeong-Hyun Kang Department of Mathematics, University of West Georgia, Carrollton, GA

Jeong-Hyun Kang Department of Mathematics, University of West Georgia, Carrollton, GA #A33 INTEGERS 10 (2010), 379-392 DISTANCE GRAPHS FROM P -ADIC NORMS Jeong-Hyun Kang Department of Mathematics, University of West Georgia, Carrollton, GA 30118 jkang@westga.edu Hiren Maharaj Department

More information

Weighted Sequences in Finite Cyclic Groups

Weighted 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 information

Monochromatic and Rainbow Colorings

Monochromatic and Rainbow Colorings Chapter 11 Monochromatic and Rainbow Colorings There are instances in which we will be interested in edge colorings of graphs that do not require adjacent edges to be assigned distinct colors Of course,

More information

UNIFICATION OF ZERO-SUM PROBLEMS, SUBSET SUMS AND COVERS OF Z

UNIFICATION 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 information

18.5 Crossings and incidences

18.5 Crossings and incidences 18.5 Crossings and incidences 257 The celebrated theorem due to P. Turán (1941) states: if a graph G has n vertices and has no k-clique then it has at most (1 1/(k 1)) n 2 /2 edges (see Theorem 4.8). Its

More information

On the Turán number of forests

On the Turán number of forests On the Turán number of forests Bernard Lidický Hong Liu Cory Palmer April 13, 01 Abstract The Turán number of a graph H, ex(n, H, is the maximum number of edges in a graph on n vertices which does not

More information

Independent Transversals in r-partite Graphs

Independent Transversals in r-partite Graphs Independent Transversals in r-partite Graphs Raphael Yuster Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel Abstract Let G(r, n) denote

More information

Even Cycles in Hypergraphs.

Even 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 information

On the Waring problem for polynomial rings

On the Waring problem for polynomial rings On the Waring problem for polynomial rings Boris Shapiro jointly with Ralf Fröberg, Giorgio Ottaviani Université de Genève, March 21, 2016 Introduction In this lecture we discuss an analog of the classical

More information

Minimal Paths and Cycles in Set Systems

Minimal 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 information

Zero-Sum Flows in Regular Graphs

Zero-Sum Flows in Regular Graphs Zero-Sum Flows in Regular Graphs S. Akbari,5, A. Daemi 2, O. Hatami, A. Javanmard 3, A. Mehrabian 4 Department of Mathematical Sciences Sharif University of Technology Tehran, Iran 2 Department of Mathematics

More information

Lecture J. 10 Counting subgraphs Kirchhoff s Matrix-Tree Theorem.

Lecture J. 10 Counting subgraphs Kirchhoff s Matrix-Tree Theorem. Lecture J jacques@ucsd.edu Notation: Let [n] [n] := [n] 2. A weighted digraph is a function W : [n] 2 R. An arborescence is, loosely speaking, a digraph which consists in orienting eery edge of a rooted

More information

Course Notes. Part IV. Probabilistic Combinatorics. Algorithms

Course Notes. Part IV. Probabilistic Combinatorics. Algorithms Course Notes Part IV Probabilistic Combinatorics and Algorithms J. A. Verstraete Department of Mathematics University of California San Diego 9500 Gilman Drive La Jolla California 92037-0112 jacques@ucsd.edu

More information

ACO Comprehensive Exam 19 March Graph Theory

ACO Comprehensive Exam 19 March Graph Theory 1. Graph Theory Let G be a connected simple graph that is not a cycle and is not complete. Prove that there exist distinct non-adjacent vertices u, v V (G) such that the graph obtained from G by deleting

More information

ON THE NUMBER OF SUBSEQUENCES WITH GIVEN SUM OF SEQUENCES IN FINITE ABELIAN p-groups

ON THE NUMBER OF SUBSEQUENCES WITH GIVEN SUM OF SEQUENCES IN FINITE ABELIAN p-groups ON THE NUMBER OF SUBSEQUENCES WITH GIVEN SUM OF SEQUENCES IN FINITE ABELIAN p-groups WEIDONG GAO AND ALFRED GEROLDINGER Abstract. Let G be an additive finite abelian p-group. For a given (long) sequence

More information

1.1 Szemerédi s Regularity Lemma

1.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 information

Painting Squares in 2 1 Shades

Painting Squares in 2 1 Shades Painting Squares in 1 Shades Daniel W. Cranston Landon Rabern May 1, 014 Abstract Cranston and Kim conjectured that if G is a connected graph with maximum degree and G is not a Moore Graph, then χ l (G

More information

Induced subgraphs of prescribed size

Induced 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 information

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0

More information

1.3 Vertex Degrees. Vertex Degree for Undirected Graphs: Let G be an undirected. Vertex Degree for Digraphs: Let D be a digraph and y V (D).

1.3 Vertex Degrees. Vertex Degree for Undirected Graphs: Let G be an undirected. Vertex Degree for Digraphs: Let D be a digraph and y V (D). 1.3. VERTEX DEGREES 11 1.3 Vertex Degrees Vertex Degree for Undirected Graphs: Let G be an undirected graph and x V (G). The degree d G (x) of x in G: the number of edges incident with x, each loop counting

More information

Ramsey Theory. May 24, 2015

Ramsey Theory. May 24, 2015 Ramsey Theory May 24, 2015 1 König s Lemma König s Lemma is a basic tool to move between finite and infinite combinatorics. To be concise, we use the notation [k] = {1, 2,..., k}, and [X] r will denote

More information

Notes on the Matrix-Tree theorem and Cayley s tree enumerator

Notes on the Matrix-Tree theorem and Cayley s tree enumerator Notes on the Matrix-Tree theorem and Cayley s tree enumerator 1 Cayley s tree enumerator Recall that the degree of a vertex in a tree (or in any graph) is the number of edges emanating from it We will

More information

On subgraphs of large girth

On subgraphs of large girth 1/34 On subgraphs of large girth In Honor of the 50th Birthday of Thomas Vojtěch Rödl rodl@mathcs.emory.edu joint work with Domingos Dellamonica May, 2012 2/34 3/34 4/34 5/34 6/34 7/34 ARRANGEABILITY AND

More information

D-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 6. Unique Factorization Domains

D-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 6. Unique Factorization Domains D-MATH Algebra I HS18 Prof. Rahul Pandharipande Solution 6 Unique Factorization Domains 1. Let R be a UFD. Let that a, b R be coprime elements (that is, gcd(a, b) R ) and c R. Suppose that a c and b c.

More information

The cocycle lattice of binary matroids

The cocycle lattice of binary matroids Published in: Europ. J. Comb. 14 (1993), 241 250. The cocycle lattice of binary matroids László Lovász Eötvös University, Budapest, Hungary, H-1088 Princeton University, Princeton, NJ 08544 Ákos Seress*

More information

ON MATCHINGS IN GROUPS

ON 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 information

The concentration of the chromatic number of random graphs

The concentration of the chromatic number of random graphs The concentration of the chromatic number of random graphs Noga Alon Michael Krivelevich Abstract We prove that for every constant δ > 0 the chromatic number of the random graph G(n, p) with p = n 1/2

More information

MULTIPLICITIES OF MONOMIAL IDEALS

MULTIPLICITIES OF MONOMIAL IDEALS MULTIPLICITIES OF MONOMIAL IDEALS JÜRGEN HERZOG AND HEMA SRINIVASAN Introduction Let S = K[x 1 x n ] be a polynomial ring over a field K with standard grading, I S a graded ideal. The multiplicity of S/I

More information

Nowhere zero flow. Definition: A flow on a graph G = (V, E) is a pair (D, f) such that. 1. D is an orientation of G. 2. f is a function on E.

Nowhere zero flow. Definition: A flow on a graph G = (V, E) is a pair (D, f) such that. 1. D is an orientation of G. 2. f is a function on E. Nowhere zero flow Definition: A flow on a graph G = (V, E) is a pair (D, f) such that 1. D is an orientation of G. 2. f is a function on E. 3. u N + D (v) f(uv) = w ND f(vw) for every (v) v V. Example:

More information

Algebra Review. Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor. June 15, 2001

Algebra Review. Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor. June 15, 2001 Algebra Review Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor June 15, 2001 1 Groups Definition 1.1 A semigroup (G, ) is a set G with a binary operation such that: Axiom 1 ( a,

More information

Ramsey Unsaturated and Saturated Graphs

Ramsey 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 information

10. Noether Normalization and Hilbert s Nullstellensatz

10. Noether Normalization and Hilbert s Nullstellensatz 10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.

More information

Polynomials in graph theory

Polynomials in graph theory Polynomials in graph theory Alexey Bogatov Department of Software Engineering Faculty of Mathematics and Mechanics Saint Petersburg State University JASS 2007 Saint Petersburg Course 1: Polynomials: Their

More information

CIRCULAR CHROMATIC NUMBER AND GRAPH MINORS. Xuding Zhu 1. INTRODUCTION

CIRCULAR CHROMATIC NUMBER AND GRAPH MINORS. Xuding Zhu 1. INTRODUCTION TAIWANESE JOURNAL OF MATHEMATICS Vol. 4, No. 4, pp. 643-660, December 2000 CIRCULAR CHROMATIC NUMBER AND GRAPH MINORS Xuding Zhu Abstract. This paper proves that for any integer n 4 and any rational number

More information

Paul Erdős and Graph Ramsey Theory

Paul Erdős and Graph Ramsey Theory Paul Erdős and Graph Ramsey Theory Benny Sudakov ETH and UCLA Ramsey theorem Ramsey theorem Definition: The Ramsey number r(s, n) is the minimum N such that every red-blue coloring of the edges of a complete

More information

Packing and decomposition of graphs with trees

Packing and decomposition of graphs with trees Packing and decomposition of graphs with trees Raphael Yuster Department of Mathematics University of Haifa-ORANIM Tivon 36006, Israel. e-mail: raphy@math.tau.ac.il Abstract Let H be a tree on h 2 vertices.

More information

GROUPS AS GRAPHS. W. B. Vasantha Kandasamy Florentin Smarandache

GROUPS AS GRAPHS. W. B. Vasantha Kandasamy Florentin Smarandache GROUPS AS GRAPHS W. B. Vasantha Kandasamy Florentin Smarandache 009 GROUPS AS GRAPHS W. B. Vasantha Kandasamy e-mail: vasanthakandasamy@gmail.com web: http://mat.iitm.ac.in/~wbv www.vasantha.in Florentin

More information

Vertex colorings of graphs without short odd cycles

Vertex colorings of graphs without short odd cycles Vertex colorings of graphs without short odd cycles Andrzej Dudek and Reshma Ramadurai Department of Mathematical Sciences Carnegie Mellon University Pittsburgh, PA 1513, USA {adudek,rramadur}@andrew.cmu.edu

More information

Factors in Graphs With Multiple Degree Constraints

Factors in Graphs With Multiple Degree Constraints Factors in Graphs With Multiple Degree Constraints Richard C. Brewster, Morten Hegner Nielsen, and Sean McGuinness Thompson Rivers University Kamloops, BC V2C0C8 Canada October 4, 2011 Abstract For a graph

More information

4. Images of Varieties Given a morphism f : X Y of quasi-projective varieties, a basic question might be to ask what is the image of a closed subset

4. Images of Varieties Given a morphism f : X Y of quasi-projective varieties, a basic question might be to ask what is the image of a closed subset 4. Images of Varieties Given a morphism f : X Y of quasi-projective varieties, a basic question might be to ask what is the image of a closed subset Z X. Replacing X by Z we might as well assume that Z

More information

Constructive proof of deficiency theorem of (g, f)-factor

Constructive proof of deficiency theorem of (g, f)-factor SCIENCE CHINA Mathematics. ARTICLES. doi: 10.1007/s11425-010-0079-6 Constructive proof of deficiency theorem of (g, f)-factor LU HongLiang 1, & YU QingLin 2 1 Center for Combinatorics, LPMC, Nankai University,

More information

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2 8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose

More information

The Algorithmic Aspects of the Regularity Lemma

The Algorithmic Aspects of the Regularity Lemma The Algorithmic Aspects of the Regularity Lemma N. Alon R. A. Duke H. Lefmann V. Rödl R. Yuster Abstract The Regularity Lemma of Szemerédi is a result that asserts that every graph can be partitioned in

More information

Asymptotically optimal induced universal graphs

Asymptotically 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 (

More information

Packing and Covering Dense Graphs

Packing and Covering Dense Graphs Packing and Covering Dense Graphs Noga Alon Yair Caro Raphael Yuster Abstract Let d be a positive integer. A graph G is called d-divisible if d divides the degree of each vertex of G. G is called nowhere

More information

Irredundant Families of Subcubes

Irredundant 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 information

Math 145. Codimension

Math 145. Codimension Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in

More information

Sums of Squares. Bianca Homberg and Minna Liu

Sums of Squares. Bianca Homberg and Minna Liu Sums of Squares Bianca Homberg and Minna Liu June 24, 2010 Abstract For our exploration topic, we researched the sums of squares. Certain properties of numbers that can be written as the sum of two squares

More information

CYCLICITY OF (Z/(p))

CYCLICITY OF (Z/(p)) CYCLICITY OF (Z/(p)) KEITH CONRAD 1. Introduction For each prime p, the group (Z/(p)) is cyclic. We will give seven proofs of this fundamental result. A common feature of the proofs that (Z/(p)) is cyclic

More information

The additive structure of the squares inside rings

The additive structure of the squares inside rings The additive structure of the squares inside rings David Cushing arxiv:1611.01570v1 [math.co] 4 Nov 016 George Stagg August 10, 018 Abstract When defining the amount of additive structure on a set it is

More information

THE STRUCTURE OF ALMOST ALL GRAPHS IN A HEREDITARY PROPERTY

THE STRUCTURE OF ALMOST ALL GRAPHS IN A HEREDITARY PROPERTY THE STRUCTURE OF ALMOST ALL GRAPHS IN A HEREDITARY PROPERTY NOGA ALON, JÓZSEF BALOGH, BÉLA BOLLOBÁS, AND ROBERT MORRIS Abstract. A hereditary property of graphs is a collection of graphs which is closed

More information

Matchings in hypergraphs of large minimum degree

Matchings in hypergraphs of large minimum degree Matchings in hypergraphs of large minimum degree Daniela Kühn Deryk Osthus Abstract It is well known that every bipartite graph with vertex classes of size n whose minimum degree is at least n/2 contains

More information

REGULARITY LEMMAS FOR GRAPHS

REGULARITY LEMMAS FOR GRAPHS REGULARITY LEMMAS FOR GRAPHS Abstract. Szemerédi s regularity lemma proved to be a fundamental result in modern graph theory. It had a number of important applications and is a widely used tool in extremal

More information

Preliminaries. Graphs. E : set of edges (arcs) (Undirected) Graph : (i, j) = (j, i) (edges) V = {1, 2, 3, 4, 5}, E = {(1, 3), (3, 2), (2, 4)}

Preliminaries. Graphs. E : set of edges (arcs) (Undirected) Graph : (i, j) = (j, i) (edges) V = {1, 2, 3, 4, 5}, E = {(1, 3), (3, 2), (2, 4)} Preliminaries Graphs G = (V, E), V : set of vertices E : set of edges (arcs) (Undirected) Graph : (i, j) = (j, i) (edges) 1 2 3 5 4 V = {1, 2, 3, 4, 5}, E = {(1, 3), (3, 2), (2, 4)} 1 Directed Graph (Digraph)

More information

The Weil bounds. 1 The Statement

The Weil bounds. 1 The Statement The Weil bounds Topics in Finite Fields Fall 013) Rutgers University Swastik Kopparty Last modified: Thursday 16 th February, 017 1 The Statement As we suggested earlier, the original form of the Weil

More information

Perfect matchings in highly cyclically connected regular graphs

Perfect matchings in highly cyclically connected regular graphs Perfect matchings in highly cyclically connected regular graphs arxiv:1709.08891v1 [math.co] 6 Sep 017 Robert Lukot ka Comenius University, Bratislava lukotka@dcs.fmph.uniba.sk Edita Rollová University

More information

Algebraic Methods in Combinatorics

Algebraic Methods in Combinatorics Algebraic Methods in Combinatorics Po-Shen Loh 27 June 2008 1 Warm-up 1. (A result of Bourbaki on finite geometries, from Răzvan) Let X be a finite set, and let F be a family of distinct proper subsets

More information

PUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.

PUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime. PUTNAM TRAINING NUMBER THEORY (Last updated: December 11, 2017) Remark. This is a list of exercises on Number Theory. Miguel A. Lerma Exercises 1. Show that the sum of two consecutive primes is never twice

More information

LOWER BOUNDS ON BALANCING SETS AND DEPTH-2 THRESHOLD CIRCUITS

LOWER BOUNDS ON BALANCING SETS AND DEPTH-2 THRESHOLD CIRCUITS LOWER BOUNDS ON BALANCING SETS AND DEPTH-2 THRESHOLD CIRCUITS PAVEL HRUBEŠ, SIVARAMAKRISHNAN NATARAJAN RAMAMOORTHY, ANUP RAO, AND AMIR YEHUDAYOFF Abstract. There are various notions of balancing set families

More information

Removal Lemmas with Polynomial Bounds

Removal Lemmas with Polynomial Bounds Removal Lemmas with Polynomial Bounds Lior Gishboliner Asaf Shapira Abstract A common theme in many extremal problems in graph theory is the relation between local and global properties of graphs. One

More information

List coloring hypergraphs

List coloring hypergraphs List coloring hypergraphs Penny Haxell Jacques Verstraete Department of Combinatorics and Optimization University of Waterloo Waterloo, Ontario, Canada pehaxell@uwaterloo.ca Department of Mathematics University

More information

J. 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, 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 information

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of

More information

Euler s, Fermat s and Wilson s Theorems

Euler s, Fermat s and Wilson s Theorems Euler s, Fermat s and Wilson s Theorems R. C. Daileda February 17, 2018 1 Euler s Theorem Consider the following example. Example 1. Find the remainder when 3 103 is divided by 14. We begin by computing

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 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 information

10. Smooth Varieties. 82 Andreas Gathmann

10. Smooth Varieties. 82 Andreas Gathmann 82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It

More information

ALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers

ALGEBRA. 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 information

A Generalized Turán Problem and its Applications

A Generalized Turán Problem and its Applications A Generalized Turán Problem and its Applications Lior Gishboliner Asaf Shapira Abstract The investigation of conditions guaranteeing the appearance of cycles of certain lengths is one of the most well-studied

More information

RING ELEMENTS AS SUMS OF UNITS

RING ELEMENTS AS SUMS OF UNITS 1 RING ELEMENTS AS SUMS OF UNITS CHARLES LANSKI AND ATTILA MARÓTI Abstract. In an Artinian ring R every element of R can be expressed as the sum of two units if and only if R/J(R) does not contain a summand

More information

Topics in Graph Theory

Topics in Graph Theory Topics in Graph Theory September 4, 2018 1 Preliminaries A graph is a system G = (V, E) consisting of a set V of vertices and a set E (disjoint from V ) of edges, together with an incidence function End

More information

arxiv: v2 [math.co] 25 Jul 2016

arxiv: v2 [math.co] 25 Jul 2016 Partitioning a graph into a cycle and a sparse graph Alexey Pokrovskiy arxiv:1607.03348v [math.co] 5 Jul 016 ETH Zürich, Zürich, Switzerland Keywords: Partitioning graphs, Ramsey theory, cycles. July 6,

More information

Chapter 1. Introduction to prime number theory. 1.1 The Prime Number Theorem

Chapter 1. Introduction to prime number theory. 1.1 The Prime Number Theorem Chapter 1 Introduction to prime number theory 1.1 The Prime Number Theorem In the first part of this course, we focus on the theory of prime numbers. We use the following notation: we write f( g( as if

More information

Properties of θ-super positive graphs

Properties of θ-super positive graphs Properties of θ-super positive graphs Cheng Yeaw Ku Department of Mathematics, National University of Singapore, Singapore 117543 matkcy@nus.edu.sg Kok Bin Wong Institute of Mathematical Sciences, University

More information

INDUCED CYCLES AND CHROMATIC NUMBER

INDUCED CYCLES AND CHROMATIC NUMBER INDUCED CYCLES AND CHROMATIC NUMBER A.D. SCOTT DEPARTMENT OF MATHEMATICS UNIVERSITY COLLEGE, GOWER STREET, LONDON WC1E 6BT Abstract. We prove that, for any pair of integers k, l 1, there exists an integer

More information

Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.

Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u. 5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field

More information