Undecidability of Linear Inequalities Between Graph Homomorphism Densities
|
|
- Jewel Singleton
- 5 years ago
- Views:
Transcription
1 Undecidability of Linear Inequalities Between Graph Homomorphism Densities Hamed Hatami joint work with Sergey Norin School of Computer Science McGill University December 4, 2013 Hamed Hatami (McGill University) December 4, / 43
2 Introduction Hamed Hatami (McGill University) December 4, / 43
3 Asymptotic extremal graph theory has been studied for more than a century (Mantel 1908). Hamed Hatami (McGill University) December 4, / 43
4 Asymptotic extremal graph theory has been studied for more than a century (Mantel 1908). Few techniques are very common (Induction, Cauchy-Schwarz,... ). Hamed Hatami (McGill University) December 4, / 43
5 Asymptotic extremal graph theory has been studied for more than a century (Mantel 1908). Few techniques are very common (Induction, Cauchy-Schwarz,... ). Recently, there has been several developments explaining this: Freedman, Lovász, Schrijver, Szegedy, Razborov, Chayes, Borgs, Sös, Vesztergombi,... Hamed Hatami (McGill University) December 4, / 43
6 Asymptotic extremal graph theory has been studied for more than a century (Mantel 1908). Few techniques are very common (Induction, Cauchy-Schwarz,... ). Recently, there has been several developments explaining this: Freedman, Lovász, Schrijver, Szegedy, Razborov, Chayes, Borgs, Sös, Vesztergombi,... Discovery of rich algebraic structure underlying many of these techniques. Hamed Hatami (McGill University) December 4, / 43
7 Asymptotic extremal graph theory has been studied for more than a century (Mantel 1908). Few techniques are very common (Induction, Cauchy-Schwarz,... ). Recently, there has been several developments explaining this: Freedman, Lovász, Schrijver, Szegedy, Razborov, Chayes, Borgs, Sös, Vesztergombi,... Discovery of rich algebraic structure underlying many of these techniques. Neater proofs with no low-order terms. Hamed Hatami (McGill University) December 4, / 43
8 Asymptotic extremal graph theory has been studied for more than a century (Mantel 1908). Few techniques are very common (Induction, Cauchy-Schwarz,... ). Recently, there has been several developments explaining this: Freedman, Lovász, Schrijver, Szegedy, Razborov, Chayes, Borgs, Sös, Vesztergombi,... Discovery of rich algebraic structure underlying many of these techniques. Neater proofs with no low-order terms. Methods for applying these techniques in semi-automatic ways. Hamed Hatami (McGill University) December 4, / 43
9 Density of H in G number of copies of H in G ). ( V (G) V (H) Hamed Hatami (McGill University) December 4, / 43
10 Density of H in G number of copies of H in G ). ( V (G) V (H) We can think of these densities as moments of the graph G. Hamed Hatami (McGill University) December 4, / 43
11 Density of H in G number of copies of H in G ). ( V (G) V (H) We can think of these densities as moments of the graph G. Many fundamental theorems in extremal graph theory can be expressed as algebraic inequalities between subgraph densities. Hamed Hatami (McGill University) December 4, / 43
12 Theorem (Freedman, Lovász, Schrijver 2007) Every such inequality follows from the positive semi-definiteness of a certain infinite matrix. Hamed Hatami (McGill University) December 4, / 43
13 Theorem (Freedman, Lovász, Schrijver 2007) Every such inequality follows from the positive semi-definiteness of a certain infinite matrix. Equivalently (possibly infinitely many) applications of Cauchy-Schwarz. Hamed Hatami (McGill University) December 4, / 43
14 Theorem (Freedman, Lovász, Schrijver 2007) Every such inequality follows from the positive semi-definiteness of a certain infinite matrix. Equivalently (possibly infinitely many) applications of Cauchy-Schwarz. Razborov s flag algebras A formal calculus capturing many standard arguments (induction, Cauchy-Schwarz,...) in the area. Hamed Hatami (McGill University) December 4, / 43
15 Applications Automatic methods for proving theorems (based on SDP): Hamed Hatami (McGill University) December 4, / 43
16 Applications Automatic methods for proving theorems (based on SDP): Razborov: Significant improvement over the known bounds on Turán s Hypergraph Problem. Hamed Hatami (McGill University) December 4, / 43
17 Applications Automatic methods for proving theorems (based on SDP): Razborov: Significant improvement over the known bounds on Turán s Hypergraph Problem. HH, Hladky, Kral, Norin, Razborov: A question of Sidorenko and Jagger, Št ovíček and Thomason. Hamed Hatami (McGill University) December 4, / 43
18 Applications Automatic methods for proving theorems (based on SDP): Razborov: Significant improvement over the known bounds on Turán s Hypergraph Problem. HH, Hladky, Kral, Norin, Razborov: A question of Sidorenko and Jagger, Št ovíček and Thomason. HH, Hladky, Kral, Norin, Razborov: A conjecture of Erdös. Hamed Hatami (McGill University) December 4, / 43
19 Applications SDP methods + thinking: Hamed Hatami (McGill University) December 4, / 43
20 Applications SDP methods + thinking: Razborov: Minimal density of triangles, given an edge density. Hamed Hatami (McGill University) December 4, / 43
21 Applications SDP methods + thinking: Razborov: Minimal density of triangles, given an edge density. Razborov: Turán s hypergraph problem under mild extra conditions. Hamed Hatami (McGill University) December 4, / 43
22 Applications SDP methods + thinking: Razborov: Minimal density of triangles, given an edge density. Razborov: Turán s hypergraph problem under mild extra conditions. other conjectures of Erdös, crossing number of complete bipartite graphs, etc. Hamed Hatami (McGill University) December 4, / 43
23 How far can we go? Is asymptotic extremal graph theory trivial? Is lack of enough computational power the only barrier? Hamed Hatami (McGill University) December 4, / 43
24 How far can we go? Is asymptotic extremal graph theory trivial? Is lack of enough computational power the only barrier? Question (Razborov) Can every true algebraic inequality between subgraph densities be proved using a finite amount of manipulation with subgraph densities of finitely many graphs? Hamed Hatami (McGill University) December 4, / 43
25 How far can we go? Is asymptotic extremal graph theory trivial? Is lack of enough computational power the only barrier? Question (Razborov) Can every true algebraic inequality between subgraph densities be proved using a finite amount of manipulation with subgraph densities of finitely many graphs? HH-Norine 2011 The answer is negative in a strong sense. Hamed Hatami (McGill University) December 4, / 43
26 Formal definitions Hamed Hatami (McGill University) December 4, / 43
27 Extremal graph theory Studies the relations between the number of occurrences of different subgraphs in a graph G. Hamed Hatami (McGill University) December 4, / 43
28 Extremal graph theory Studies the relations between the number of occurrences of different subgraphs in a graph G. Equivalently one can study the relations between the homomorphism densities. Hamed Hatami (McGill University) December 4, / 43
29 Homomorphism Density Definition Map the vertices of H to the vertices of G independently at random. H Hamed Hatami (McGill University) December 4, / 43
30 Homomorphism Density Definition Map the vertices of H to the vertices of G independently at random. t H (G) := Pr[edges go to edges]. H Hamed Hatami (McGill University) December 4, / 43
31 Definition A map f : H G is called a homomorphism if it maps edges to edges. Hamed Hatami (McGill University) December 4, / 43
32 Definition A map f : H G is called a homomorphism if it maps edges to edges. t H (G) = Pr[f : H G is a homomorphism]. Hamed Hatami (McGill University) December 4, / 43
33 Asymptotically t H ( ) and subgraph densities are equivalent. Hamed Hatami (McGill University) December 4, / 43
34 Asymptotically t H ( ) and subgraph densities are equivalent. The functions t H have nice algebraic structures: t H1 H 2 (G) = t H1 (G)t H2 (G). H1 G H2 Hamed Hatami (McGill University) December 4, / 43
35 Many fundamental theorems in extremal graph theory can be expressed as algebraic inequalities between homomorphism densities. Hamed Hatami (McGill University) December 4, / 43
36 Many fundamental theorems in extremal graph theory can be expressed as algebraic inequalities between homomorphism densities. Example (Goodman s bound 1959) t K3 (G) 2t K2 (G) 2 t K2 (G). Hamed Hatami (McGill University) December 4, / 43
37 Many fundamental theorems in extremal graph theory can be expressed as algebraic inequalities between homomorphism densities. Example (Goodman s bound 1959) t K3 (G) 2t K2 (G) 2 t K2 (G). Every such inequality can be turned to a linear inequality: a 1 t H1 (G) a m t Hm (G) 0. Hamed Hatami (McGill University) December 4, / 43
38 Many fundamental theorems in extremal graph theory can be expressed as algebraic inequalities between homomorphism densities. Example (Goodman s bound 1959) t K3 (G) 2t K2 (G) 2 t K2 (G). Every such inequality can be turned to a linear inequality: a 1 t H1 (G) a m t Hm (G) 0. Example (Goodman s bound 1959) t K3 (G) 2t K2 K 2 (G) + t K2 (G) 0. Hamed Hatami (McGill University) December 4, / 43
39 Algebra of Partially labeled graphs Hamed Hatami (McGill University) December 4, / 43
40 Definition A partially labeled graph is a graph in which some vertices are labeled by distinct natural numbers. Example 2 3 Hamed Hatami (McGill University) December 4, / 43
41 Definition A partially labeled graph is a graph in which some vertices are labeled by distinct natural numbers. Recall t H (G) := Pr [f : H G is a homomorphism]. Hamed Hatami (McGill University) December 4, / 43
42 Definition A partially labeled graph is a graph in which some vertices are labeled by distinct natural numbers. Recall t H (G) := Pr [f : H G is a homomorphism]. Definition Let H be partially labeled with labels L. For φ : L G, define t H,φ (G) := Pr [f : H G is a hom. f L = φ]. Hamed Hatami (McGill University) December 4, / 43
43 Definition Let H be partially labeled with labels L. For φ : L G, define t H,φ (G) := Pr [f : H G is a hom. f L = φ]. Example G H 1 φ t H,φ (G) = 3 6 = 1 2. Hamed Hatami (McGill University) December 4, / 43
44 Example G G H [[H]] 1 φ Definition Let [H] be H with no labels. Hamed Hatami (McGill University) December 4, / 43
45 Example G G H [[H]] 1 φ Definition Let [H] be H with no labels. E φ [ th,φ (G) ] = t [H] (G) Hamed Hatami (McGill University) December 4, / 43
46 Recall that: t H1 H 2 (G) = t H1 (G)t H2 (G). H1 G H2 Hamed Hatami (McGill University) December 4, / 43
47 Recall that: t H1 H 2 (G) = t H1 (G)t H2 (G). H1 G H2 This motivates us to define H 1 H 2 := H 1 H 2. Hamed Hatami (McGill University) December 4, / 43
48 Definition The product H 1 H 2 of partially labeled graphs H 1 and H 2 : Hamed Hatami (McGill University) December 4, / 43
49 Definition The product H 1 H 2 of partially labeled graphs H 1 and H 2 : Take their disjoint union, and then identify vertices with the same label. Hamed Hatami (McGill University) December 4, / 43
50 Definition The product H 1 H 2 of partially labeled graphs H 1 and H 2 : Take their disjoint union, and then identify vertices with the same label. If multiple edges arise, only one copy is kept. Example = Hamed Hatami (McGill University) December 4, / 43
51 Let H 1 and H 2 be partially labeled with labels L 1 and L 2. Hamed Hatami (McGill University) December 4, / 43
52 Let H 1 and H 2 be partially labeled with labels L 1 and L 2. Let φ : L 1 L 2 G. Hamed Hatami (McGill University) December 4, / 43
53 Let H 1 and H 2 be partially labeled with labels L 1 and L 2. Let φ : L 1 L 2 G. We have t H1,φ(G)t H2,φ(G) = t H1 H 2,φ(G). Example G G φ = H1 H2 H1 H2 Hamed Hatami (McGill University) December 4, / 43
54 We want to understand the set of all valid inequalities of the form: For all G a 1 t H1 (G) a k t Hk (G) 0. Hamed Hatami (McGill University) December 4, / 43
55 We want to understand the set of all valid inequalities of the form: For all G a 1 t H1 (G) a k t Hk (G) 0. Let H 1,..., H k be partially labeled graphs with the set of labels L. Hamed Hatami (McGill University) December 4, / 43
56 We want to understand the set of all valid inequalities of the form: For all G a 1 t H1 (G) a k t Hk (G) 0. Let H 1,..., H k be partially labeled graphs with the set of labels L. Let b 1,..., b k be real numbers and φ : L G. Hamed Hatami (McGill University) December 4, / 43
57 We want to understand the set of all valid inequalities of the form: For all G a 1 t H1 (G) a k t Hk (G) 0. Let H 1,..., H k be partially labeled graphs with the set of labels L. Let b 1,..., b k be real numbers and φ : L G. 0 ( ) 2 bi t Hi,φ(G) = bi b j t Hi,φ(G)t Hj,φ(G) = b i b j t Hi H j,φ(g) Hamed Hatami (McGill University) December 4, / 43
58 We want to understand the set of all valid inequalities of the form: For all G a 1 t H1 (G) a k t Hk (G) 0. Let H 1,..., H k be partially labeled graphs with the set of labels L. Let b 1,..., b k be real numbers and φ : L G. bi b j t Hi H j,φ(g) 0 Hamed Hatami (McGill University) December 4, / 43
59 We want to understand the set of all valid inequalities of the form: For all G a 1 t H1 (G) a k t Hk (G) 0. Let H 1,..., H k be partially labeled graphs with the set of labels L. Let b 1,..., b k be real numbers and φ : L G. bi b j t Hi H j,φ(g) 0 [ ] E φ bi b j t Hi H j,φ(g) 0 Hamed Hatami (McGill University) December 4, / 43
60 We want to understand the set of all valid inequalities of the form: For all G a 1 t H1 (G) a k t Hk (G) 0. Let H 1,..., H k be partially labeled graphs with the set of labels L. Let b 1,..., b k be real numbers and φ : L G. bi b j t Hi H j,φ(g) 0 [ ] E φ bi b j t Hi H j,φ(g) 0 bi b j t [Hi H j] (G) 0 Hamed Hatami (McGill University) December 4, / 43
61 Reflection positivity bi b j t [Hi H j] (G) 0 Hamed Hatami (McGill University) December 4, / 43
62 Reflection positivity bi b j t [Hi H j] (G) 0 Let H 1, H 2,... be all partially labeled graphs. For every G: Hamed Hatami (McGill University) December 4, / 43
63 Reflection positivity bi b j t [Hi H j] (G) 0 Let H 1, H 2,... be all partially labeled graphs. For every G: Condition I: t K1 (G) = 1. Hamed Hatami (McGill University) December 4, / 43
64 Reflection positivity bi b j t [Hi H j] (G) 0 Let H 1, H 2,... be all partially labeled graphs. For every G: Condition I: t K1 (G) = 1. Condition II: t H K1 (G) = t H (G) for all graph H. Hamed Hatami (McGill University) December 4, / 43
65 Reflection positivity bi b j t [Hi H j] (G) 0 Let H 1, H 2,... be all partially labeled graphs. For every G: Condition I: t K1 (G) = 1. Condition II: t H K1 (G) = t H (G) for all graph H. Condition III: The infinite matrix whose ij-th entry is t [Hi H j] (G) is positive semi-definite. Hamed Hatami (McGill University) December 4, / 43
66 Reflection positivity bi b j t [Hi H j] (G) 0 Let H 1, H 2,... be all partially labeled graphs. For every G: Condition I: t K1 (G) = 1. Condition II: t H K1 (G) = t H (G) for all graph H. Condition III: The infinite matrix whose ij-th entry is t [Hi H j] (G) is positive semi-definite. Theorem (Freedman, Lovász, Shrijver 2007) These conditions describe the closure of the set {(t F1 (G), t F2 (G),...) : G} [0, 1] N. Hamed Hatami (McGill University) December 4, / 43
67 Quantum Graphs Hamed Hatami (McGill University) December 4, / 43
68 A quantum graph is a formal linear combination of graphs: a 1 H a k H k. Hamed Hatami (McGill University) December 4, / 43
69 A quantum graph is a formal linear combination of graphs: a 1 H a k H k. A quantum graph a 1 H a k H k is called positive, if for all G, a 1 t H1 (G) a k t Hk (G) 0. Hamed Hatami (McGill University) December 4, / 43
70 A quantum graph is a formal linear combination of graphs: a 1 H a k H k. A quantum graph a 1 H a k H k is called positive, if for all G, a 1 t H1 (G) a k t Hk (G) 0. Goodman: K 3 2(K 2 K 2 ) + K 2 0. Hamed Hatami (McGill University) December 4, / 43
71 A quantum graph is a formal linear combination of graphs: a 1 H a k H k. A quantum graph a 1 H a k H k is called positive, if for all G, a 1 t H1 (G) a k t Hk (G) 0. Goodman: K 3 2(K 2 K 2 ) + K 2 0. We want to understand the set of all positive quantum graphs. Hamed Hatami (McGill University) December 4, / 43
72 A partially labeled quantum graph is a formal linear combination of partially labeled graphs: a 1 H a k H k. Hamed Hatami (McGill University) December 4, / 43
73 A partially labeled quantum graph is a formal linear combination of partially labeled graphs: a 1 H a k H k. Partially labeled quantum graphs form an algebra: (a 1 H a k H k ) (b 1 L b l L l ) = a i b j H i L j. Hamed Hatami (McGill University) December 4, / 43
74 Unlabeling operator [ ] : partially labeled quantum graph quantum graph Hamed Hatami (McGill University) December 4, / 43
75 Unlabeling operator [ ] : partially labeled quantum graph quantum graph Recall [ ( b i H i ) 2] = b i b j [ Hi H j ] 0 Hamed Hatami (McGill University) December 4, / 43
76 Unlabeling operator [ ] : partially labeled quantum graph quantum graph Recall [ ( b i H i ) 2] = b i b j [ Hi H j ] 0 Equivalently For every partially labeled quantum graph g we have [ g 2] 0. Hamed Hatami (McGill University) December 4, / 43
77 Unlabeling operator [ ] : partially labeled quantum graph quantum graph Recall [ ( b i H i ) 2] = b i b j [ Hi H j ] 0 Equivalently For every partially labeled quantum graph g we have [ g 2] 0. Corollary Always [ ] g g2 k 0. Hamed Hatami (McGill University) December 4, / 43
78 Question (Lovász s 17th Problem, Lovász-Szegedy, Razborov) Is it true that every f 0 is of the form [ ] f = g1 2 + g g2 k Hamed Hatami (McGill University) December 4, / 43
79 Question (Lovász s 17th Problem, Lovász-Szegedy, Razborov) Is it true that every f 0 is of the form [ ] f = g1 2 + g g2 k Observation (Lovasz-Szegedy and Razborov) If f 0 and ɛ > 0, there exists a positive integer k and quantum labeled graphs g 1, g 2,..., g k such that [ ] ɛ f g1 2 + g g2 k ɛ. Hamed Hatami (McGill University) December 4, / 43
80 Question (Lovász s 17th Problem, Lovász-Szegedy, Razborov) Is it true that every f 0 is of the form [ ] f = g1 2 + g g2 k Observation (Lovasz-Szegedy and Razborov) If f 0 and ɛ > 0, there exists a positive integer k and quantum labeled graphs g 1, g 2,..., g k such that [ ] ɛ f g1 2 + g g2 k ɛ. Theorem (HH and Norin) The answer to the above question is negative. Hamed Hatami (McGill University) December 4, / 43
81 positive polynomials Hamed Hatami (McGill University) December 4, / 43
82 Polynomial p R[x 1,..., x n ] is called positive if it takes only non-negative values. Hamed Hatami (McGill University) December 4, / 43
83 Polynomial p R[x 1,..., x n ] is called positive if it takes only non-negative values. p p2 k is always positive. Hamed Hatami (McGill University) December 4, / 43
84 Polynomial p R[x 1,..., x n ] is called positive if it takes only non-negative values. p p2 k is always positive. Theorem (Hilbert 1888) There exist 3-variable positive homogenous polynomials which are not sums of squares of polynomials. Hamed Hatami (McGill University) December 4, / 43
85 Polynomial p R[x 1,..., x n ] is called positive if it takes only non-negative values. p p2 k is always positive. Theorem (Hilbert 1888) There exist 3-variable positive homogenous polynomials which are not sums of squares of polynomials. Example (Motzkin s polynomial) x 4 y 2 + y 4 z 2 + z 4 x 2 6x 2 y 2 z 2 0. Hamed Hatami (McGill University) December 4, / 43
86 Extending to quantum graphs Hamed Hatami (McGill University) December 4, / 43
87 Theorem (HH and Norin) There are positive quantum graphs f which are not sums of squares. That is, always f [ g g2 k ]. Hamed Hatami (McGill University) December 4, / 43
88 Theorem (HH and Norin) There are positive quantum graphs f which are not sums of squares. That is, always f [ g g2 k ]. The proof is based on converting x 4 y 2 + y 4 z 2 + z 4 x 2 6x 2 y 2 z 2 to a quantum graph. Hamed Hatami (McGill University) December 4, / 43
89 Theorem (Artin 1927, Solution to Hilbert s 17th Problem) Every positive polynomial is of the form (p 1 /q 1 ) (p k /q k ) 2. Hamed Hatami (McGill University) December 4, / 43
90 Theorem (Artin 1927, Solution to Hilbert s 17th Problem) Every positive polynomial is of the form (p 1 /q 1 ) (p k /q k ) 2. Corollary The problem of checking the positivity of a polynomial is decidable. Hamed Hatami (McGill University) December 4, / 43
91 Theorem (Artin 1927, Solution to Hilbert s 17th Problem) Every positive polynomial is of the form Corollary (p 1 /q 1 ) (p k /q k ) 2. The problem of checking the positivity of a polynomial is decidable. Co-recursively enumerable: Try to find a point that makes p negative. Hamed Hatami (McGill University) December 4, / 43
92 Theorem (Artin 1927, Solution to Hilbert s 17th Problem) Every positive polynomial is of the form (p 1 /q 1 ) (p k /q k ) 2. Corollary The problem of checking the positivity of a polynomial is decidable. Co-recursively enumerable: Try to find a point that makes p negative. recursively enumerable: Try to write p = (p i /q i ) 2. Hamed Hatami (McGill University) December 4, / 43
93 Our solution to Lovász s 17th problem was based on an analogy to polynomials. Hamed Hatami (McGill University) December 4, / 43
94 Our solution to Lovász s 17th problem was based on an analogy to polynomials. Since there are polynomials which are positive but not sums of squares, our theorem was expected. Hamed Hatami (McGill University) December 4, / 43
95 Our solution to Lovász s 17th problem was based on an analogy to polynomials. Since there are polynomials which are positive but not sums of squares, our theorem was expected. Lovász: Does Artin s theorem (sums of rational functions) hold for graph homomorphisms? Hamed Hatami (McGill University) December 4, / 43
96 Our solution to Lovász s 17th problem was based on an analogy to polynomials. Since there are polynomials which are positive but not sums of squares, our theorem was expected. Lovász: Does Artin s theorem (sums of rational functions) hold for graph homomorphisms? Maybe at least the decidability? (A 10th problem) Hamed Hatami (McGill University) December 4, / 43
97 Our solution to Lovász s 17th problem was based on an analogy to polynomials. Since there are polynomials which are positive but not sums of squares, our theorem was expected. Lovász: Does Artin s theorem (sums of rational functions) hold for graph homomorphisms? Maybe at least the decidability? (A 10th problem) Theorem (HH and Norin) The following problem is undecidable. QUESTION: Does the inequality a 1 t H1 (G) a k t Hk (G) 0 hold for every graph G? Hamed Hatami (McGill University) December 4, / 43
98 Proof Hamed Hatami (McGill University) December 4, / 43
99 Theorem (HH and Norin) The following problem is undecidable. QUESTION: Does the inequality a 1 t H1 (G) a k t Hk (G) 0 hold for every graph G? Hamed Hatami (McGill University) December 4, / 43
100 Theorem (HH and Norin) The following problem is undecidable. QUESTION: Does the inequality a 1 t H1 (G) a k t Hk (G) 0 hold for every graph G? Equivalently Theorem (HH and Norin) The following problem is undecidable. INSTANCE: A polynomial p(x 1,..., x k ) and graphs H 1,..., H k. QUESTION: Does the inequality p(t H1 (G),..., t Hk (G)) 0 hold for every graph G? Hamed Hatami (McGill University) December 4, / 43
101 Theorem (HH and Norin) The following problem is undecidable. INSTANCE: A polynomial p(x 1,..., x k ) and graphs H 1,..., H k. QUESTION: Does the inequality p(t H1 (G),..., t Hk (G)) 0 hold for every graph G? Hamed Hatami (McGill University) December 4, / 43
102 Theorem (HH and Norin) The following problem is undecidable. INSTANCE: A polynomial p(x 1,..., x k ) and graphs H 1,..., H k. QUESTION: Does the inequality p(t H1 (G),..., t Hk (G)) 0 hold for every graph G? Instead I will prove the following theorem: Theorem The following problem is undecidable. INSTANCE: A polynomial p(x 1,..., x k, y 1,..., y k ). QUESTION: Does the inequality p(t K2 (G 1 ),..., t K2 (G k ), t K3 (G 1 ),..., t K3 (G k )) 0 hold for every G 1,..., G k? Hamed Hatami (McGill University) December 4, / 43
103 Matiyasevich 1970 Solution to Hilbert s 10th problem: Checking the positivity of p R[x 1,..., x k ] on { 1 1 n : n Z} k is undecidable. Hamed Hatami (McGill University) December 4, / 43
104 Matiyasevich 1970 Solution to Hilbert s 10th problem: Checking the positivity of p R[x 1,..., x k ] on { 1 1 n : n Z} k is undecidable. Bollobás, Razborov: Goodman s bound is achieved only when t K2 (G) { 1 1 n : n Z}. 1 t(k 3 ; G) 1/2 Kruskal-Katona Goodman 4/5 3/4 2/3 Razborov 1/2 t(k 2 ; G) 1 Hamed Hatami (McGill University) December 4, / 43
105 Let S be the grey area and g(x) = 2x 2 x. (Goodman: t K3 (G) 2t K2 (G) 2 t K2 (G).) 1 t(k 3 ; G) 1/2 Kruskal-Katona Goodman 4/5 3/4 2/3 Razborov 1/2 t(k 2 ; G) 1 Hamed Hatami (McGill University) December 4, / 43
106 Let S be the grey area and g(x) = 2x 2 x. (Goodman: t K3 (G) 2t K2 (G) 2 t K2 (G).) Lemma Let p R[x 1,..., x k ]. Define q(x 1,..., x k, y 1,..., y k ) as T.F.A.E. q := p ( k k ) (1 x i ) 6 + C p y i g(x i ). i=1 i=1 Hamed Hatami (McGill University) December 4, / 43
107 Let S be the grey area and g(x) = 2x 2 x. (Goodman: t K3 (G) 2t K2 (G) 2 t K2 (G).) Lemma Let p R[x 1,..., x k ]. Define q(x 1,..., x k, y 1,..., y k ) as T.F.A.E. q := p ( k k ) (1 x i ) 6 + C p y i g(x i ). i=1 p < 0 for some x 1,..., x k {1 1/n : n N}. (undecidable) i=1 Hamed Hatami (McGill University) December 4, / 43
108 Let S be the grey area and g(x) = 2x 2 x. (Goodman: t K3 (G) 2t K2 (G) 2 t K2 (G).) Lemma Let p R[x 1,..., x k ]. Define q(x 1,..., x k, y 1,..., y k ) as T.F.A.E. q := p ( k k ) (1 x i ) 6 + C p y i g(x i ). i=1 p < 0 for some x 1,..., x k {1 1/n : n N}. (undecidable) q < 0 for some (x i, y i ) S s. i=1 Hamed Hatami (McGill University) December 4, / 43
109 Let S be the grey area and g(x) = 2x 2 x. (Goodman: t K3 (G) 2t K2 (G) 2 t K2 (G).) Lemma Let p R[x 1,..., x k ]. Define q(x 1,..., x k, y 1,..., y k ) as T.F.A.E. q := p ( k k ) (1 x i ) 6 + C p y i g(x i ). i=1 p < 0 for some x 1,..., x k {1 1/n : n N}. (undecidable) q < 0 for some (x i, y i ) S s. q < 0 for some x i = t K2 (G i ) and y i = t K3 (G i ). (reduction) i=1 Hamed Hatami (McGill University) December 4, / 43
110 Where do we go from here? Hamed Hatami (McGill University) December 4, / 43
111 On can hope decidability for restricted classes of graphs. Hamed Hatami (McGill University) December 4, / 43
112 On can hope decidability for restricted classes of graphs. Bollobas: Linear inequalities a 1 K n a k K nk 0 is decidable. Hamed Hatami (McGill University) December 4, / 43
113 On can hope decidability for restricted classes of graphs. Bollobas: Linear inequalities a 1 K n a k K nk 0 is decidable. Question: What about unions of cliques? Hamed Hatami (McGill University) December 4, / 43
114 Let R denote the closure of {(t H1 (G), t H2 (G),...) : G} [0, 1] N. R Hamed Hatami (McGill University) December 4, / 43
115 Graphons: The points in R (graph limits) can be represented by symmetric measurable W : [0, 1] 2 [0, 1]. Hamed Hatami (McGill University) December 4, / 43
116 Graphons: The points in R (graph limits) can be represented by symmetric measurable W : [0, 1] 2 [0, 1]. Finitely Forcible: A point in R is finitely forcible if a finite number of coordinates uniquely determine it. Hamed Hatami (McGill University) December 4, / 43
117 Graphons: The points in R (graph limits) can be represented by symmetric measurable W : [0, 1] 2 [0, 1]. Finitely Forcible: A point in R is finitely forcible if a finite number of coordinates uniquely determine it. Lovász s Conjecture: Every feasible inequality a 1 t H1 (W ) a k t Hk (W ) < 0 has a finitely forcible solution W. Hamed Hatami (McGill University) December 4, / 43
118 Graphons: The points in R (graph limits) can be represented by symmetric measurable W : [0, 1] 2 [0, 1]. Finitely Forcible: A point in R is finitely forcible if a finite number of coordinates uniquely determine it. Lovász s Conjecture: Every feasible inequality a 1 t H1 (W ) a k t Hk (W ) < 0 has a finitely forcible solution W. Lovász-Szegedy s Conjecture: Finitely forcible graphons have simple structures (finite dimensional). Hamed Hatami (McGill University) December 4, / 43
119 Graphons: The points in R (graph limits) can be represented by symmetric measurable W : [0, 1] 2 [0, 1]. Finitely Forcible: A point in R is finitely forcible if a finite number of coordinates uniquely determine it. Lovász s Conjecture: Every feasible inequality a 1 t H1 (W ) a k t Hk (W ) < 0 has a finitely forcible solution W. Lovász-Szegedy s Conjecture: Finitely forcible graphons have simple structures (finite dimensional). [Glebov, Klimošová, Král 2013+] There are finitely forcible W s such that {W (x, ) : x [0, 1]} with the L 1 distance contains a subset homeomorphic to [0, 1]. Hamed Hatami (McGill University) December 4, / 43
Elusive problems in extremal graph theory
Elusive problems in extremal graph theory Andrzej Grzesik (Krakow) Dan Král (Warwick) László Miklós Lovász (MIT/Stanford) 2/5/27 Overview of talk uniqueness of extremal configurations motivation and formulation
More informationCharacterizing extremal limits
Characterizing extremal limits Oleg Pikhurko University of Warwick ICERM, 11 February 2015 Rademacher Problem g(n, m) := min{#k 3 (G) : v(g) = n, e(g) = m} Mantel 1906, Turán 41: max{m : g(n, m) = 0} =
More informationLarge graphs and symmetric sums of squares
Large graphs and symmetric sums of squares Annie Raymond joint with Greg Blekherman, Mohit Singh and Rekha Thomas University of Massachusetts, Amherst October 18, 018 An example Theorem (Mantel, 1907)
More informationOn the Logarithmic Calculus and Sidorenko s Conjecture
On the Logarithmic Calculus and Sidorenko s Conjecture by Xiang Li A thesis submitted in conformity with the requirements for the degree of Msc. Mathematics Graduate Department of Mathematics University
More informationGraph limits Graph convergence Approximate asymptotic properties of large graphs Extremal combinatorics/computer science : flag algebra method, proper
Jacob Cooper Dan Král Taísa Martins University of Warwick Monash University - Discrete Maths Research Group Graph limits Graph convergence Approximate asymptotic properties of large graphs Extremal combinatorics/computer
More informationOn the 3-local profiles of graphs
On the -local profiles of graphs Hao Huang Nati Linial Humberto Naves Yuval Peled Benny Sudakov Abstract For a graph G, let p i (G), i = 0,..., be the probability that three distinct random vertices span
More informationHypergraph Turán Problems (IPAM Tutorial)
(IPAM Tutorial) Peter Keevash School of Mathematical Sciences, Queen Mary, University of London. p.keevash@qmul.ac.uk Introduction: From graphs to hypergraphs Mantel s Theorem (1907) The largest graph
More informationThe large deviation principle for the Erdős-Rényi random graph
The large deviation principle for the Erdős-Rényi random graph (Courant Institute, NYU) joint work with S. R. S. Varadhan Main objective: how to count graphs with a given property Only consider finite
More informationAn exact Turán result for tripartite 3-graphs
An exact Turán result for tripartite 3-graphs Adam Sanitt Department of Mathematics University College London WC1E 6BT, United Kingdom adam@sanitt.com John Talbot Department of Mathematics University College
More informationA reverse Sidorenko inequality Independent sets, colorings, and graph homomorphisms
A reverse Sidorenko inequality Independent sets, colorings, and graph homomorphisms Yufei Zhao (MIT) Joint work with Ashwin Sah (MIT) Mehtaab Sawhney (MIT) David Stoner (Harvard) Question Fix d. Which
More informationContainment restrictions
Containment restrictions Tibor Szabó Extremal Combinatorics, FU Berlin, WiSe 207 8 In this chapter we switch from studying constraints on the set operation intersection, to constraints on the set relation
More informationThe rank of connection matrices and the dimension of graph algebras
The rank of connection matrices and the dimension of graph algebras László Lovász Microsoft Research One Microsoft Way Redmond, WA 98052 August 2004 Microsoft Research Technical Report TR-2004-82 Contents
More informationarxiv: v1 [math.co] 20 Dec 2018
SIMPLE GRAPH DENSITY INEQUALITIES WITH NO SUM OF SQUARES PROOFS GRIGORIY BLEKHERMAN, ANNIE RAYMOND, MOHIT SINGH, AND REKHA R. THOMAS arxiv:1812.08820v1 [math.co] 20 Dec 2018 Abstract. Establishing inequalities
More informationOn the 3-Local Profiles of Graphs
On the -Local Profiles of Graphs Hao Huang, Nati Linial, 2 Humberto Naves, Yuval Peled, 4 and Benny Sudakov 5,6 SCHOOL OF MATHEMATICS INSTITUTE FOR ADVANCED STUDY PRINCETON, NJ 08540 E-mail: huanghao@math.ias.edu
More informationGRAPHS CONTAINING TRIANGLES ARE NOT 3-COMMON
GRAPHS CONTAINING TRIANGLES ARE NOT 3-COMMON JAMES CUMMINGS AND MICHAEL YOUNG Abstract. A finite graph G is k-common if the minimum (over all k- colourings of the edges of K n) of the number of monochromatic
More informationSzemerédi s Lemma for the Analyst
Szemerédi s Lemma for the Analyst László Lovász and Balázs Szegedy Microsoft Research April 25 Microsoft Research Technical Report # MSR-TR-25-9 Abstract Szemerédi s Regularity Lemma is a fundamental tool
More informationInduced subgraphs with many repeated degrees
Induced subgraphs with many repeated degrees Yair Caro Raphael Yuster arxiv:1811.071v1 [math.co] 17 Nov 018 Abstract Erdős, Fajtlowicz and Staton asked for the least integer f(k such that every graph with
More informationSymmetric Sums of Squares
Symmetric Sums of Squares Annie Raymond University of Washington MSRI University of Massachusetts Joint with James Saunderson (Monash University), Mohit Singh (Georgia Tech), and Rekha Thomas (UW) November
More informationCS 6820 Fall 2014 Lectures, October 3-20, 2014
Analysis of Algorithms Linear Programming Notes CS 6820 Fall 2014 Lectures, October 3-20, 2014 1 Linear programming The linear programming (LP) problem is the following optimization problem. We are given
More informationCompact orbit spaces in Hilbert spaces and limits of edge-colouring models
Compact orbit spaces in Hilbert spaces and limits of edge-colouring models Guus Regts 1 and Alexander Schrijver 2 Abstract. Let G be a group of orthogonal transformations of a real Hilbert space H. Let
More informationGraphs with Large Variance
Graphs with Large Variance Yair Caro Raphael Yuster Abstract For a graph G, let V ar(g) denote the variance of the degree sequence of G, let sq(g) denote the sum of the squares of the degrees of G, and
More informationInduced Turán numbers
Induced Turán numbers Michael Tait Carnegie Mellon University mtait@cmu.edu Atlanta Lecture Series XVIII Emory University October 22, 2016 Michael Tait (CMU) October 22, 2016 1 / 25 Michael Tait (CMU)
More informationIndependent 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 informationMoments of Two-Variable Functions and the Uniqueness of Graph Limits
Moments of Two-Variable Functions and the Uniqueness of Graph Limits Christian Borgs Jennifer Chayes László Lovász Microsoft Research, Redmond, WA 98052 October 2008; revised May 2009 Abstract For a symmetric
More information1 Strict local optimality in unconstrained optimization
ORF 53 Lecture 14 Spring 016, Princeton University Instructor: A.A. Ahmadi Scribe: G. Hall Thursday, April 14, 016 When in doubt on the accuracy of these notes, please cross check with the instructor s
More informationOn the number of cycles in a graph with restricted cycle lengths
On the number of cycles in a graph with restricted cycle lengths Dániel Gerbner, Balázs Keszegh, Cory Palmer, Balázs Patkós arxiv:1610.03476v1 [math.co] 11 Oct 2016 October 12, 2016 Abstract Let L be a
More informationOn the number of edge-disjoint triangles in K 4 -free graphs
On the number of edge-disjoint triangles in K 4 -free graphs arxiv:1506.03306v1 [math.co] 10 Jun 2015 Ervin Győri Rényi Institute Hungarian Academy of Sciences Budapest, Hungary gyori.ervin@renyi.mta.hu
More informationGraph coloring, perfect graphs
Lecture 5 (05.04.2013) Graph coloring, perfect graphs Scribe: Tomasz Kociumaka Lecturer: Marcin Pilipczuk 1 Introduction to graph coloring Definition 1. Let G be a simple undirected graph and k a positive
More informationFlag Algebras in Extremal Graph Theory
Jagiellonian University Faculty of Mathematics and Computer Science Theoretical Computer Science Department Andrzej Grzesik Flag Algebras in Extremal Graph Theory PhD Thesis Supervisor: Jaros law Grytczuk
More informationGraph invariants in the spin model
Graph invariants in the spin model Alexander Schrijver 1 Abstract. Given a symmetric n n matrix A, we define, for any graph G, f A (G) := a φ(u),φ(v). φ:v G {1,...,n} uv EG We characterize for which graph
More informationProbabilistic Method. Benny Sudakov. Princeton University
Probabilistic Method Benny Sudakov Princeton University Rough outline The basic Probabilistic method can be described as follows: In order to prove the existence of a combinatorial structure with certain
More informationLecture 4: Graph Limits and Graphons
Lecture 4: Graph Limits and Graphons 36-781, Fall 2016 3 November 2016 Abstract Contents 1 Reprise: Convergence of Dense Graph Sequences 1 2 Calculating Homomorphism Densities 3 3 Graphons 4 4 The Cut
More informationLimits of dense graph sequences
Limits of dense graph sequences László Lovász and Balázs Szegedy Microsoft Research One Microsoft Way Redmond, WA 98052 Technical Report TR-2004-79 August 2004 Contents 1 Introduction 2 2 Definitions and
More informationReflection positivity, rank connectivity, and homomorphism of graphs
Reflection positivity, rank connectivity, and homomorphism of graphs Michael Freedman, László Lovász Microsoft Research One Microsoft Way Redmond, WA 98052 and Alexander Schrijver CWI Amsterdam The Netherlands
More informationMultiply Erdős-Ko-Rado Theorem
arxiv:1712.09942v1 [math.co] 28 Dec 2017 Multiply Erdős-Ko-Rado Theorem Carl Feghali Department of Informatics, University of Bergen, Bergen, Norway feghali.carl@gmail.com December 29, 2017 Abstract A
More informationRainbow triangles in 3-edge-colored graphs
Rainbow triangles in 3-edge-colored graphs József Balogh, Ping Hu, Bernard Lidický, Florian Pfender, Jan Volec, Michael Young SIAM Conference on Discrete Mathematics Jun 17, 2014 2 Problem Find a 3-edge-coloring
More informationThe Lopsided Lovász Local Lemma
Department of Mathematics Nebraska Wesleyan University With Linyuan Lu and László Székely, University of South Carolina Note on Probability Spaces For this talk, every a probability space Ω is assumed
More informationMINIMALLY NON-PFAFFIAN GRAPHS
MINIMALLY NON-PFAFFIAN GRAPHS SERGUEI NORINE AND ROBIN THOMAS Abstract. We consider the question of characterizing Pfaffian graphs. We exhibit an infinite family of non-pfaffian graphs minimal with respect
More informationApplications of the Lopsided Lovász Local Lemma Regarding Hypergraphs
Regarding Hypergraphs Ph.D. Dissertation Defense April 15, 2013 Overview The Local Lemmata 2-Coloring Hypergraphs with the Original Local Lemma Counting Derangements with the Lopsided Local Lemma Lopsided
More informationGraph homomorphisms between trees
Jimei University Joint work with Petér Csikvári (arxiv:1307.6721) Graph homomorphism Homomorphism: adjacency-preserving map f : V (G) V (H) uv E(G) = f (u)f (v) E(H) Hom(G, H) := the set of homomorphisms
More informationCounting independent sets of a fixed size in graphs with a given minimum degree
Counting independent sets of a fixed size in graphs with a given minimum degree John Engbers David Galvin April 4, 01 Abstract Galvin showed that for all fixed δ and sufficiently large n, the n-vertex
More informationA Readable Introduction to Real Mathematics
Solutions to selected problems in the book A Readable Introduction to Real Mathematics D. Rosenthal, D. Rosenthal, P. Rosenthal Chapter 10: Sizes of Infinite Sets 1. Show that the set of all polynomials
More informationSequences. Chapter 3. n + 1 3n + 2 sin n n. 3. lim (ln(n + 1) ln n) 1. lim. 2. lim. 4. lim (1 + n)1/n. Answers: 1. 1/3; 2. 0; 3. 0; 4. 1.
Chapter 3 Sequences Both the main elements of calculus (differentiation and integration) require the notion of a limit. Sequences will play a central role when we work with limits. Definition 3.. A Sequence
More informationSergey Norin Department of Mathematics and Statistics McGill University Montreal, Quebec H3A 2K6, Canada. and
NON-PLANAR EXTENSIONS OF SUBDIVISIONS OF PLANAR GRAPHS Sergey Norin Department of Mathematics and Statistics McGill University Montreal, Quebec H3A 2K6, Canada and Robin Thomas 1 School of Mathematics
More informationA 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 informationThe Lopsided Lovász Local Lemma
Joint work with Linyuan Lu and László Székely Georgia Southern University April 27, 2013 The lopsided Lovász local lemma can establish the existence of objects satisfying several weakly correlated conditions
More informationCPSC 536N: Randomized Algorithms Term 2. Lecture 9
CPSC 536N: Randomized Algorithms 2011-12 Term 2 Prof. Nick Harvey Lecture 9 University of British Columbia 1 Polynomial Identity Testing In the first lecture we discussed the problem of testing equality
More informationGenerating all subsets of a finite set with disjoint unions
Generating all subsets of a finite set with disjoint unions David Ellis, Benny Sudakov May 011 Abstract If X is an n-element set, we call a family G PX a k-generator for X if every x X can be expressed
More informationQuasi-randomness is determined by the distribution of copies of a fixed graph in equicardinal large sets
Quasi-randomness is determined by the distribution of copies of a fixed graph in equicardinal large sets Raphael Yuster 1 Department of Mathematics, University of Haifa, Haifa, Israel raphy@math.haifa.ac.il
More informationLARGE GRAPHS AND THE RELATIONSHIP BETWEEN EDGE AND TRIANGLE DENSITY
LARGE GRAPHS AND THE RELATIONSHIP BETWEEN EDGE AND TRIANGLE DENSITY Submitted to the Department of Mathematics in partial fulfillment of the requirements for the degree of Bachelor of Arts in Mathematics
More informationGraph Limits: Some Open Problems
Graph Limits: Some Open Problems 1 Introduction Here are some questions from the open problems session that was held during the AIM Workshop Graph and Hypergraph Limits, Palo Alto, August 15-19, 2011.
More informationChapter 2. Limits and Continuity 2.6 Limits Involving Infinity; Asymptotes of Graphs
2.6 Limits Involving Infinity; Asymptotes of Graphs Chapter 2. Limits and Continuity 2.6 Limits Involving Infinity; Asymptotes of Graphs Definition. Formal Definition of Limits at Infinity.. We say that
More information2a 2 4ac), provided there is an element r in our
MTH 310002 Test II Review Spring 2012 Absractions versus examples The purpose of abstraction is to reduce ideas to their essentials, uncluttered by the details of a specific situation Our lectures built
More informationREGULARITY 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 informationThe chromatic covering number of a graph
The chromatic covering number of a graph Reza Naserasr a Claude Tardif b May 7, 005 a: Department of Mathematics, Simon Fraser University, Burnaby BC, V5A 1S6, Canada. Current address: Department of Combinatorics
More informationThe Turán number of sparse spanning graphs
The Turán number of sparse spanning graphs Noga Alon Raphael Yuster Abstract For a graph H, the extremal number ex(n, H) is the maximum number of edges in a graph of order n not containing a subgraph isomorphic
More informationRamsey theory and the geometry of Banach spaces
Ramsey theory and the geometry of Banach spaces Pandelis Dodos University of Athens Maresias (São Paulo), August 25 29, 2014 1.a. The Hales Jewett theorem The following result is due to Hales & Jewett
More informationSolutions to Exercises, Section 2.5
Instructor s Solutions Manual, Section 2.5 Exercise 1 Solutions to Exercises, Section 2.5 For Exercises 1 4, write the domain of the given function r as a union of intervals. 1. r(x) 5x3 12x 2 + 13 x 2
More informationACO Comprehensive Exam October 14 and 15, 2013
1. Computability, Complexity and Algorithms (a) Let G be the complete graph on n vertices, and let c : V (G) V (G) [0, ) be a symmetric cost function. Consider the following closest point heuristic for
More informationDecomposing 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 informationLarge topological cliques in graphs without a 4-cycle
Large topological cliques in graphs without a 4-cycle Daniela Kühn Deryk Osthus Abstract Mader asked whether every C 4 -free graph G contains a subdivision of a complete graph whose order is at least linear
More informationThe typical structure of graphs without given excluded subgraphs + related results
The typical structure of graphs without given excluded subgraphs + related results Noga Alon József Balogh Béla Bollobás Jane Butterfield Robert Morris Dhruv Mubayi Wojciech Samotij Miklós Simonovits.
More informationThe Number of Independent Sets in a Regular Graph
Combinatorics, Probability and Computing (2010) 19, 315 320. c Cambridge University Press 2009 doi:10.1017/s0963548309990538 The Number of Independent Sets in a Regular Graph YUFEI ZHAO Department of Mathematics,
More informationDefining Valuation Rings
East Carolina University, Greenville, North Carolina, USA June 8, 2018 Outline 1 What? Valuations and Valuation Rings Definability Questions in Number Theory 2 Why? Some Questions and Answers Becoming
More informationA Linear Round Lower Bound for Lovasz-Schrijver SDP Relaxations of Vertex Cover
A Linear Round Lower Bound for Lovasz-Schrijver SDP Relaxations of Vertex Cover Grant Schoenebeck Luca Trevisan Madhur Tulsiani Abstract We study semidefinite programming relaxations of Vertex Cover arising
More informationSparse halves in dense triangle-free graphs
Sparse halves in dense triangle-free graphs Sergey Norin and Liana Yepremyan 2 Department of Mathematics and Statistics, McGill University 2 School of Computer Science, McGill University arxiv:3.588v2
More informationChromatic number, clique subdivisions, and the conjectures of Hajós and Erdős-Fajtlowicz
Chromatic number, clique subdivisions, and the conjectures of Hajós and Erdős-Fajtlowicz Jacob Fox Choongbum Lee Benny Sudakov Abstract For a graph G, let χ(g) denote its chromatic number and σ(g) denote
More informationConvex Optimization. (EE227A: UC Berkeley) Lecture 28. Suvrit Sra. (Algebra + Optimization) 02 May, 2013
Convex Optimization (EE227A: UC Berkeley) Lecture 28 (Algebra + Optimization) 02 May, 2013 Suvrit Sra Admin Poster presentation on 10th May mandatory HW, Midterm, Quiz to be reweighted Project final report
More informationarxiv: v1 [math.co] 20 Sep 2014
On some papers of Nikiforov Bo Ning Department of Applied Mathematics, School of Science, Northwestern Polytechnical University, Xi an, Shaanxi 71007, P.R. China arxiv:109.588v1 [math.co] 0 Sep 01 Abstract
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 informationA Hilton-Milner-type theorem and an intersection conjecture for signed sets
A Hilton-Milner-type theorem and an intersection conjecture for signed sets Peter Borg Department of Mathematics, University of Malta Msida MSD 2080, Malta p.borg.02@cantab.net Abstract A family A of sets
More informationOn the densities of cliques and independent sets in graphs
On the densities of cliques and independent sets in graphs Hao Huang Nati Linial Humberto Naves Yuval Peled Benny Sudakov Abstract Let r, s 2 be integers. Suppose that the number of blue r-cliques in a
More informationParameterised Subgraph Counting Problems
Parameterised Subgraph Counting Problems Kitty Meeks University of Glasgow University of Strathclyde, 27th May 2015 Joint work with Mark Jerrum (QMUL) What is a counting problem? Decision problems Given
More informationFinding Limits Analytically
Finding Limits Analytically Most of this material is take from APEX Calculus under terms of a Creative Commons License In this handout, we explore analytic techniques to compute its. Suppose that f(x)
More informationOn the Local Profiles of Trees
On the Local Profiles of Trees Sébastien Bubeck 1 and Nati Linial 1 DEPARTMENT OF OPERATIONS RESEARCH AND FINANCIAL ENGINEERING PRINCETON UNIVERSITY PRINCETON 08540, NJ E-mail: sbubeck@princeton.edu SCHOOL
More informationGenerating p-extremal graphs
Generating p-extremal graphs Derrick Stolee Department of Mathematics Department of Computer Science University of Nebraska Lincoln s-dstolee1@math.unl.edu August 2, 2011 Abstract Let f(n, p be the maximum
More informationPacking nearly optimal Ramsey R(3, t) graphs
Packing nearly optimal Ramsey R(3, t) graphs He Guo Joint work with Lutz Warnke Context of this talk Ramsey number R(s, t) R(s, t) := minimum n N such that every red/blue edge-coloring of complete n-vertex
More informationTesting Hereditary Properties of Ordered Graphs and Matrices
Testing Hereditary Properties of Ordered Graphs and Matrices Noga Alon, Omri Ben-Eliezer, Eldar Fischer April 6, 2017 Abstract We consider properties of edge-colored vertex-ordered graphs, i.e., graphs
More informationSzemerédi s regularity lemma revisited. Lewis Memorial Lecture March 14, Terence Tao (UCLA)
Szemerédi s regularity lemma revisited Lewis Memorial Lecture March 14, 2008 Terence Tao (UCLA) 1 Finding models of large dense graphs Suppose we are given a large dense graph G = (V, E), where V is a
More informationOn the Turán number of Triple-Systems
On the Turán number of Triple-Systems Dhruv Mubayi Vojtĕch Rödl June 11, 005 Abstract For a family of r-graphs F, the Turán number ex(n, F is the maximum number of edges in an n vertex r-graph that does
More informationMath 115 Spring 11 Written Homework 10 Solutions
Math 5 Spring Written Homework 0 Solutions. For following its, state what indeterminate form the its are in and evaluate the its. (a) 3x 4x 4 x x 8 Solution: This is in indeterminate form 0. Algebraically,
More informationOn Computably Enumerable Sets over Function Fields
On Computably Enumerable Sets over Function Fields Alexandra Shlapentokh East Carolina University Joint Meetings 2017 Atlanta January 2017 Some History Outline 1 Some History A Question and the Answer
More informationON SENSITIVITY OF k-uniform HYPERGRAPH PROPERTIES
ON SENSITIVITY OF k-uniform HYPERGRAPH PROPERTIES JOSHUA BIDERMAN, KEVIN CUDDY, ANG LI, MIN JAE SONG Abstract. In this paper we present a graph property with sensitivity Θ( n), where n = ( v 2) is the
More informationRamanujan Graphs of Every Size
Spectral Graph Theory Lecture 24 Ramanujan Graphs of Every Size Daniel A. Spielman December 2, 2015 Disclaimer These notes are not necessarily an accurate representation of what happened in class. The
More informationThe Rainbow Turán Problem for Even Cycles
The Rainbow Turán Problem for Even Cycles Shagnik Das University of California, Los Angeles Aug 20, 2012 Joint work with Choongbum Lee and Benny Sudakov Plan 1 Historical Background Turán Problems Colouring
More informationRECAP: Extremal problems Examples
RECAP: Extremal problems Examples Proposition 1. If G is an n-vertex graph with at most n edges then G is disconnected. A Question you always have to ask: Can we improve on this proposition? Answer. NO!
More informationDecomposition of random graphs into complete bipartite graphs
Decomposition of random graphs into complete bipartite graphs Fan Chung Xing Peng Abstract We consider the problem of partitioning the edge set of a graph G into the minimum number τg) of edge-disjoint
More informationAn asymptotic multipartite Kühn-Osthus theorem
An asymptotic multipartite Kühn-Osthus theorem Ryan R. Martin 1 Richard Mycroft 2 Jozef Skokan 3 1 Iowa State University 2 University of Birmingham 3 London School of Economics 08 August 2017 Algebraic
More informationResolution and the Weak Pigeonhole Principle
Resolution and the Weak Pigeonhole Principle Sam Buss 1 and Toniann Pitassi 2 1 Departments of Mathematics and Computer Science University of California, San Diego, La Jolla, CA 92093-0112. 2 Department
More informationProperly ergodic random structures
Properly ergodic random structures Alex Kruckman University of California, Berkeley June 11, 2015 Alex Kruckman (UC Berkeley) Properly ergodic random structures June 11, 2015 1 / 14 Properly ergodic random
More informationDiscrete mathematics , Fall Instructor: prof. János Pach
Discrete mathematics 016-017, Fall Instructor: prof. János Pach - covered material - Lecture 1. Counting problems To read: [Lov]: 1.. Sets, 1.3. Number of subsets, 1.5. Sequences, 1.6. Permutations, 1.7.
More information8. Limit Laws. lim(f g)(x) = lim f(x) lim g(x), (x) = lim x a f(x) g lim x a g(x)
8. Limit Laws 8.1. Basic Limit Laws. If f and g are two functions and we know the it of each of them at a given point a, then we can easily compute the it at a of their sum, difference, product, constant
More informationAN APPROXIMATE VERSION OF SIDORENKO S CONJECTURE. David Conlon, Jacob Fox and Benny Sudakov
Geom. Funct. Anal. Vol. 20 (2010) 1354 1366 DOI 10.1007/s00039-010-0097-0 Published online October 20, 2010 2010 The Author(s). GAFA Geometric And Functional Analysis This article is published with open
More informationNotes 6 : First and second moment methods
Notes 6 : First and second moment methods Math 733-734: Theory of Probability Lecturer: Sebastien Roch References: [Roc, Sections 2.1-2.3]. Recall: THM 6.1 (Markov s inequality) Let X be a non-negative
More informationThe regularity method and blow-up lemmas for sparse graphs
The regularity method and blow-up lemmas for sparse graphs Y. Kohayakawa (São Paulo) SPSAS Algorithms, Combinatorics and Optimization University of São Paulo July 2016 Partially supported CAPES/DAAD (430/15),
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 informationNear-domination in graphs
Near-domination in graphs Bruce Reed Researcher, Projet COATI, INRIA and Laboratoire I3S, CNRS France, and Visiting Researcher, IMPA, Brazil Alex Scott Mathematical Institute, University of Oxford, Oxford
More information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More informationBjorn Poonen. MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties. January 18, 2006
University of California at Berkeley MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties January 18, 2006 The original problem H10: Find an algorithm that solves
More informationBounds for pairs in partitions of graphs
Bounds for pairs in partitions of graphs Jie Ma Xingxing Yu School of Mathematics Georgia Institute of Technology Atlanta, GA 30332-0160, USA Abstract In this paper we study the following problem of Bollobás
More information