DM18 Abstracts 1

Total Page:16

File Type:pdf, Size:1020Kb

DM18 Abstracts 1 DM18 Abstracts 1 IP1 called game bias), in each round Waiter offers to Client Analytic Methods in Graph Theory q+1 previously unoffered edges of G. Client chooses one of the edges offered, the rest go to Waiter. Waiter wins The theory of graph limits provides analytic tools to study the game if by the time every edge of G has been claimed, large graphs. Such tools have found applications in various Client’s graph possesses a given graph theoretic property areas of computer science and mathematics; they are also P, Client wins otherwise. We will present several recent closely linked to the flag algebra method, which changed results about Waiter-Client games played on complete and the landscape of extremal combinatorics. We will present random graphs and discuss the role of the so called prob- an introduction to this rapidly developing area of graph abilistic intuition in their analysis. Based on joint works theory and survey some of the recent results obtained in with M. Bednarska-Bzdega, D. Hefetz, T. Luczak, W. E. the area. Tan, N. Trumer. Daniel Kral Michael Krivelevich University of Warwick Tel Aviv University [email protected] [email protected] IP2 IP5 Interpolation Polynomials, Operator Method, and New Developments in Hypergraph Ramsey Theory Theory of Enumeration The Ramsey number rk(s, n) is the minimum integer N, Goncarov Polynomials are the basis of solutions of the clas- such that for any red/blue coloring of the k-tuples of { } sical Goncarov Interpolation Problem, which have been 1, 2, ..., N ,thereares integers such that every k-tuple studied extensively by analysts due to their significance in among them is red, or there are n integers such that every the interpolation theory of smooth and analytic functions. k-tuple among them is blue. In this talk, I will discuss new These Polynomials also play an important role in combi- lower bounds for rk(s, n) which nearly settles a question natorics due to their close relations to parking functions. of Erdos and Hajnal from 1972. I will also discuss a more This is not just a coincidence. In this talk we will present general function introduced by Erdos and Hajnal, and sev- the interpolation problems with delta-operators, develop eral interesting open problems in the area. This is joint the algebraic and analytic theory of delta-Goncarov poly- work with Dhruv Mubayi. nomials, and apply these results to problems in binomial Andrew Suk enumeration and order statistics. University of California, San Diego Catherine Yan [email protected] Texas A&M University [email protected] IP6 Random Graph Processes IP3 When dealing with random objects, it is often useful to A Simply Exponential Upper Bound on the Maxi- reveal the randomness gradually, rather than all at once; mum Number of Stable Matchings that is, to turn a static random object into a random pro- cess. In this talk we will describe some classical proofs of Stable matching is a classical combinatorial problem that this type, and a few more recent applications, for example has been the subject of intense theoretical and empirical to Ramsey numbers, and to determining sharp thresholds study since its introduction in 1962 in a seminal paper by in G(n,p) and in random sets of integers. Various parts of Gale and Shapley. In this talk, we describe a new upper the talk are based on joint work with Paul Balister, B´ela bound on f(n), the maximum number of stable matchings Bollob´as, Asaf Ferber, Gonzalo Fiz Pontiveros, Simon Grif- that a stable matching instance with n men and nwomen fiths, Oliver Riordan, Wojciech Samotij, and Paul Smith. can have. It has been a long-standing open problem to understand the asymptotic behavior of f(n) as n goes to infinity, first posed by Donald Knuth in the 1970s. Until n Robert Morris now the best lower bound was approximately 2.28 ,and IMPA, Rio de Janeiro n log n−O(n) the best upper bound was 2 .Inthiswork,we [email protected] show that for all n, f(n)isatmostcn for some universal constant c. This matches the lower bound up to the base of the exponent. Joint work with Shayan Oveis Gharan IP7 and Robbie Weber. Deciphering Cellular Networks: From Normal Functioning to Disease Anna R. Karlin University of Washington Each cell in our body accomplishes its functions via a com- [email protected] plex network of molecular interactions. Analyses of these networks are thus key to understanding cellular function- ing (and, in the case of disease, malfunctioning). I will IP4 overview what has been discovered about the basic struc- Waiter-Client Games ture and organization of cellular networks, and present frameworks and algorithms that leverage these properties Waiter-Client games (also called Picker-Chooser games) is in order to gain a better understanding of diseases such as a type of positional games that gained popularity recently. cancer. When played on the edge set of a graph G (typically a com- plete graph Kn, or a random graph drawn from G(n,p)), Mona Singh the game goes as follows. For a positive integer q (the so Princeton University 2 DM18 Abstracts [email protected] is joint work with Arnaud Casteigts and Luis Goddyn. Kevin C. Halasz IP8 Simon Fraser University Algorithms for the Asymmetric Traveling Salesman [email protected] Problem Arnaud Casteigts The traveling salesman problem is one of the most funda- Universit´edeBordeaux mental optimization problems. Given n cities and pairwise [email protected] distances, it is the problem of finding a tour of minimum distance that visits each city once. In spite of significant Luis Goddyn research efforts, current techniques seem insufficient for set- Simon Fraser University tling the approximability of the traveling salesman prob- [email protected] lem. The gap in our understanding is especially large in the general asymmetric setting where the distance from city i to j is *not* assumed to equal the distance from j CP1 to i. In this talk, we will give an overview of old and new approaches for settling this question. We shall, in par- Algebraic Analysis of Spiking Neural Networks for ticular, talk about our new approach that gives the first Graph Partitioning constant-factor approximation algorithm for the asymmet- ric traveling salesman problem. This is based on joint work Spiking neural networks (SNNs) are weighted graphs of with Jakub Tarnawski and L´aszl´oV´egh. logistical units which are used for event-based computa- tion. Understanding the discrete spiking dynamics of these Ola Svensson systems is integral to designing algorithms for neuromor- EPFL phic hardware. Recently, we have shown how systems of ola.svensson@epfl.ch deterministic leaky-integrate and fire neurons can be in- corporated into label propagation for community detec- tion using a fully connected SNN with static edge weights SP1 [K.E. Hamilton and T.S. Humble, “Spiking spin-glass mod- 2018 Dnes Knig Prize Lecture: Pseudorandom els for label propagation and community detection” arXiv: Graphs and the Green-Tao Theorem 1801.03571]. However, deploying spiking label propagation on neuromorphic hardware requires sparse representations. The celebrated Green-Tao theorem states that there are In this talk we explore how sparsity affects our spiking la- arbitrarily long arithmetic progressions in the primes. I bel propagation method. We focus on how sparse can a will explain some of the main ideas of the proof from a SNN be in order to be used for label propagation and how graph theoretic perspective, with a focus on the role of the sparsity of the underlying graph affects the resolution pseudorandomness in the proof. (Based on joint work with limit of spike-based label propagation. DavidConlonandJacobFox) Kathleen Hamilton Yufei Zhao Oak Ridge National Laboratory Massachusetts Institute of Technology Complex Systems Division [email protected] [email protected] Catherine Schuman, Travis Humble SP2 Oak Ridge National Laboratory Hot Topics Session [email protected], [email protected] Abstract Not Available At Time Of Publication. CP1 Henry Cohn Large Degree Asymptotics and the Reconstruction Microsoft Research New England Threshold of Asymmetric Ising Model on Regular [email protected] D-Ary Trees Determining the reconstruction threshold of a broadcast CP1 models on on d-ary regular tree, as the interdisciplinary Robust Maximal Independent Sets subject, has attracted more and more attention from prob- abilists, statistical physicists, biologists, etc. It is known A maximal independent set (MIS) in a simple connected that the Kesten-Stigum reconstruction bound is tight for graph G is robust if it remains maximal in every span- roughly symmetric binary channels. However, rigorous re- ning connected subgraph of G. We refer to such a set construction thresholds have only been established in a as an RMIS. The notion of robustness was introduced by small number of models. By means of a refined analysis of Casteigts et al. as a means of studying highly dynamic net- moment recursion on a weighted version of the magnetiza- works. They characterized the class of graphs in which ev- tion, concentration investigation, and large degree asymp- ery MIS is robust, calling this class RMIS∀,andraisedthe ∃ totics, we establish the exact reconstruction threshold of question of whether the corresponding graph class RMIS the asymmetric Ising model on regular d-ary trees, when (graphs which contain some RMIS) admits a mathemati- the Kesten-Stigum bound is not tight for the asymmetric cally natural characterization. Towards a resolution of this ∃ channel. Furthermore, we figure out the critical asymme- question, we show that every graph G ∈ RMIS has at try threshold to keep the tightness of Kesten-Stigum recon- n2 most 4 edges, and that this bound is tight if and only if n struction bound, and develop an algorithm of determining is even and G is a balanced complete bipartite graph.
Recommended publications
  • Forbidding Subgraphs
    Graph Theory and Additive Combinatorics Lecturer: Prof. Yufei Zhao 2 Forbidding subgraphs 2.1 Mantel’s theorem: forbidding a triangle We begin our discussion of extremal graph theory with the following basic question. Question 2.1. What is the maximum number of edges in an n-vertex graph that does not contain a triangle? Bipartite graphs are always triangle-free. A complete bipartite graph, where the vertex set is split equally into two parts (or differing by one vertex, in case n is odd), has n2/4 edges. Mantel’s theorem states that we cannot obtain a better bound: Theorem 2.2 (Mantel). Every triangle-free graph on n vertices has at W. Mantel, "Problem 28 (Solution by H. most bn2/4c edges. Gouwentak, W. Mantel, J. Teixeira de Mattes, F. Schuh and W. A. Wythoff). Wiskundige Opgaven 10, 60 —61, 1907. We will give two proofs of Theorem 2.2. Proof 1. G = (V E) n m Let , a triangle-free graph with vertices and x edges. Observe that for distinct x, y 2 V such that xy 2 E, x and y N(x) must not share neighbors by triangle-freeness. Therefore, d(x) + d(y) ≤ n, which implies that d(x)2 = (d(x) + d(y)) ≤ mn. ∑ ∑ N(y) x2V xy2E y On the other hand, by the handshake lemma, ∑x2V d(x) = 2m. Now by the Cauchy–Schwarz inequality and the equation above, Adjacent vertices have disjoint neigh- borhoods in a triangle-free graph. !2 ! 4m2 = ∑ d(x) ≤ n ∑ d(x)2 ≤ mn2; x2V x2V hence m ≤ n2/4.
    [Show full text]
  • Estimating All Pairs Shortest Paths in Restricted Graph Families: a Unified Approach
    Estimating All Pairs Shortest Paths in Restricted Graph Families: A Unified Approach (Extended Abstract) Feodor F. Dragan Dept. of Computer Science, Kent State University, Kent, Ohio 44242, USA [email protected] Abstract. In this paper we show that a very simple and efficient ap- proach can be used to solve the all pairs almost shortest path problem on the class of weakly chordal graphs and its different subclasses. Moreover, this approach works well also on graphs with small size of largest induced cycle and gives a unified way to solve the all pairs almost shortest path and all pairs shortest path problems on different graph classes includ- ing chordal, strongly chordal, chordal bipartite, and distance-hereditary graphs. 1 Introduction Let G =(V,E) be a finite, unweighted, undirected, connected and simple (i.e., without loops and multiple edges) graph. Let also |V | = n and |E| = m. The distance d(v, u) between vertices v and u is the smallest number of edges in a path connecting v and u. The all pairs shortest path problem is to compute d(v, u) for all pairs of vertices v and u in G. The all pairs shortest path (APSP) problem is one of the most fundamental graph problems. There has been a renewed interest in it recently (see [1,2,4,6,12], [15,29] for general (unweighted, undirected) graphs, and [3,5,7,10,11,14,20,21,24], [28,32,33] for special graph classes). For general graphs, the best result known is by Seidel [29], who showed that the APSP problem can be solved in O(M(n) log n) time where M(n) denotes the time complexity for matrix multiplication involving small integers only.
    [Show full text]
  • The History of Degenerate (Bipartite) Extremal Graph Problems
    The history of degenerate (bipartite) extremal graph problems Zolt´an F¨uredi and Mikl´os Simonovits May 15, 2013 Alfr´ed R´enyi Institute of Mathematics, Budapest, Hungary [email protected] and [email protected] Abstract This paper is a survey on Extremal Graph Theory, primarily fo- cusing on the case when one of the excluded graphs is bipartite. On one hand we give an introduction to this field and also describe many important results, methods, problems, and constructions. 1 Contents 1 Introduction 4 1.1 Some central theorems of the field . 5 1.2 Thestructureofthispaper . 6 1.3 Extremalproblems ........................ 8 1.4 Other types of extremal graph problems . 10 1.5 Historicalremarks . .. .. .. .. .. .. 11 arXiv:1306.5167v2 [math.CO] 29 Jun 2013 2 The general theory, classification 12 2.1 The importance of the Degenerate Case . 14 2.2 The asymmetric case of Excluded Bipartite graphs . 15 2.3 Reductions:Hostgraphs. 16 2.4 Excluding complete bipartite graphs . 17 2.5 Probabilistic lower bound . 18 1 Research supported in part by the Hungarian National Science Foundation OTKA 104343, and by the European Research Council Advanced Investigators Grant 267195 (ZF) and by the Hungarian National Science Foundation OTKA 101536, and by the European Research Council Advanced Investigators Grant 321104. (MS). 1 F¨uredi-Simonovits: Degenerate (bipartite) extremal graph problems 2 2.6 Classification of extremal problems . 21 2.7 General conjectures on bipartite graphs . 23 3 Excluding complete bipartite graphs 24 3.1 Bipartite C4-free graphs and the Zarankiewicz problem . 24 3.2 Finite Geometries and the C4-freegraphs .
    [Show full text]
  • Finite Geometries
    Finite Geometries Gy¨orgyKiss June 26th, 2012, Rogla gyk Finite Geometries Chain of length h : x0 I x1 I ::: I xh where xi 2 P [ L: The distance of two elements d(x; y) : length of the shortest chain joining them. Generalized polygons Let S = (P; L; I) be a connected, finite point-line incidence geometry. P and L are two distinct sets, the elements of P are called points, the elements of L are called lines. I ⊂ (P × L) [ (L × P) is a symmetric relation, called incidence. gyk Finite Geometries The distance of two elements d(x; y) : length of the shortest chain joining them. Generalized polygons Let S = (P; L; I) be a connected, finite point-line incidence geometry. P and L are two distinct sets, the elements of P are called points, the elements of L are called lines. I ⊂ (P × L) [ (L × P) is a symmetric relation, called incidence. Chain of length h : x0 I x1 I ::: I xh where xi 2 P [ L: gyk Finite Geometries Generalized polygons Let S = (P; L; I) be a connected, finite point-line incidence geometry. P and L are two distinct sets, the elements of P are called points, the elements of L are called lines. I ⊂ (P × L) [ (L × P) is a symmetric relation, called incidence. Chain of length h : x0 I x1 I ::: I xh where xi 2 P [ L: The distance of two elements d(x; y) : length of the shortest chain joining them. gyk Finite Geometries Generalized polygons Definition Let n > 1 be a positive integer.
    [Show full text]
  • Minimum Fill-In for Chordal Bipartite Graphs
    Minimum fill-in for chordal bipartite graphs Citation for published version (APA): Kloks, A. J. J. (1993). Minimum fill-in for chordal bipartite graphs. (Universiteit Utrecht. UU-CS, Department of Computer Science; Vol. 9311). Utrecht University. Document status and date: Published: 01/01/1993 Document Version: Publisher’s PDF, also known as Version of Record (includes final page, issue and volume numbers) Please check the document version of this publication: • A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers. Link to publication General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal.
    [Show full text]
  • Graph Isomorphism Completeness for Chordal Bipartite Graphs and Strongly Chordal Graphs
    Graph Isomorphism Completeness for Chordal bipartite graphs and Strongly Chordal Graphs Ryuhei Uehara a Seinosuke Toda b Takayuki Nagoya c aNatural Science Faculty, Komazawa University. 1 bDepartment of Computer Science and System Analysis, College of Humanities and Sciences, Nihon University. cDepartment of Mathematical Sciences, Tokyo Denki University. Abstract This paper deals with the graph isomorphism (GI) problem for two graph classes: chordal bipartite graphs and strongly chordal graphs. It is known that GI problem is GI complete even for some special graph classes including regular graphs, bipar- tite graphs, chordal graphs, comparability graphs, split graphs, and k-trees with unbounded k. On the other side, the relative complexity of the GI problem for the above classes was unknown. We prove that deciding isomorphism of the classes are GI complete. Key words: Graph isomorphism problem, Graph isomorphism complete, Strongly chordal graphs, Chordal bipartite graphs 1 Introduction The graph isomorphism (GI) problem is a well-known problem and exploring its precise complexity has become an important open question in computa- tional complexity theory three decades ago (see (Kar72)). Although the prob- lem is trivially in NP, the problem is not known to be in P and not known to be NP-complete either (see (RC77; KST93)). It is very unlikely that the Email addresses: [email protected] (Ryuhei Uehara), [email protected] (Seinosuke Toda), [email protected] (Takayuki Nagoya). 1 This work was done while the author was visiting University of Waterloo. Preprint submitted to Elsevier Science 26 May 2004 GI problem is NP-complete.
    [Show full text]
  • NP-Hard Graph Problems and Boundary Classes of Graphs
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Theoretical Computer Science 389 (2007) 219–236 www.elsevier.com/locate/tcs NP-hard graph problems and boundary classes of graphs V.E. Alekseeva, R. Boliacb, D.V. Korobitsyna, V.V. Lozinb,∗ a University of Nizhny Novgorod, Gagarina 23, Nizhny Novgorod, 603950, Russia b RUTCOR, Rutgers University, 640 Bartholomew Road, Piscataway NJ, 08854-8003, USA Received 1 September 2004; received in revised form 7 February 2007; accepted 10 September 2007 Communicated by A. Razborov Abstract Any graph problem, which is NP-hard in general graphs, becomes polynomial-time solvable when restricted to graphs in special classes. When does a difficult problem become easy? To answer this question we study the notion of boundary classes. In the present paper we define this notion in its most general form, describe several approaches to identify boundary classes and apply them to various graph problems. c 2007 Elsevier B.V. All rights reserved. Keywords: Computational complexity; Hereditary class of graphs 1. Introduction We study graph problems that are NP-hard in general, i.e. in the class of all graphs. When we restrict the class of input graphs, any of these problems can become tractable, i.e. solvable in polynomial time. When does a difficult problem become easy? Is there any boundary that separates classes of graphs where the problem remains NP-hard from those where it has a polynomial-time solution? To answer these questions, we study the notion of boundary classes of graphs.
    [Show full text]
  • Cliques and Clubs⋆
    Cliques and Clubs? Petr A. Golovach1, Pinar Heggernes1, Dieter Kratsch2, and Arash Rafiey1 1 Department of Informatics, University of Bergen, Norway, fpetr.golovach,pinar.heggernes,[email protected] 2 LITA, Universit´ede Lorraine - Metz, France, [email protected] Abstract. Clubs are generalizations of cliques. For a positive integer s, an s-club in a graph G is a set of vertices that induces a subgraph of G of diameter at most s. The importance and fame of cliques are evident, whereas clubs provide more realistic models for practical applications. Computing an s-club of maximum cardinality is an NP-hard problem for every fixed s ≥ 1, and this problem has attracted significant attention recently. We present new positive results for the problem on large and important graph classes. In particular we show that for input G and s, a maximum s-club in G can be computed in polynomial time when G is a chordal bipartite or a strongly chordal or a distance hereditary graph. On a superclass of these graphs, weakly chordal graphs, we obtain a polynomial-time algorithm when s is an odd integer, which is best possible as the problem is NP-hard on this clas for even values of s. We complement these results by proving the NP-hardness of the problem for every fixed s on 4-chordal graphs, a superclass of weakly chordal graphs. Finally, if G is an AT-free graph, we prove that the problem can be solved in polynomial time when s ≥ 2, which gives an interesting contrast to the fact that the problem is NP-hard for s = 1 on this graph class.
    [Show full text]
  • New Min-Max Theorems for Weakly Chordal and Dually Chordal Graphs
    New Min-Max Theorems for Weakly Chordal and Dually Chordal Graphs Arthur H. Busch1,, Feodor F. Dragan2, and R. Sritharan3, 1 Department of Mathematics, The University of Dayton, Dayton, OH 45469 [email protected] 2 Department of Computer Science, Kent State University, Kent, OH 44242 [email protected] 3 Department of Computer Science, The University of Dayton, Dayton, OH 45469 [email protected] Abstract. Adistance-k matching in a graph G is matching M in which the distance between any two edges of M is at least k.Adistance-2 matching is more commonly referred to as an induced matching. In this paper, we show that when G is weakly chordal, the size of the largest induced matching in G is equal to the minimum number of co-chordal subgraphs of G needed to cover the edges of G, and that the co-chordal subgraphs of a minimum cover can be found in polynomial time. Us- ing similar techniques, we show that the distance-k matching problem for k>1 is tractable for weakly chordal graphs when k is even, and is NP-hard when k is odd. For dually chordal graphs, we use properties of hypergraphs to show that the distance-k matching problem is solvable in polynomial time whenever k is odd, and NP-hard when k is even. Moti- vated by our use of hypergraphs, we define a class of hypergraphs which lies strictly in between the well studied classes of acyclic hypergraphs and normal hypergraphs. 1 Background and Motivation In this paper, all graphs are undirected, simple, and finite.
    [Show full text]
  • Graph Theory
    Graph Theory Adam Kelly ([email protected]) August 22, 2021 Graph theory is an area of combinatorics which has lots of fun problems and plenty of interesting theorems. This article constitutes my notes for the `Graph Theory' course, held in Lent 2021 at Cambridge. These notes are not a transcription of the lectures, and differ significantly in quite a few areas. Still, all lectured material should be covered. Contents 1 Introduction2 1.1 Definitions....................................2 1.1.1 Common Graphs............................3 1.1.2 Subgraphs................................4 1.1.3 Graph Isomorphism..........................5 1.1.4 Connectivity..............................5 1.1.5 Edges and Distance..........................7 1.2 Trees.......................................8 1.3 Bipartite Graphs................................ 11 2 Hall's Theorem 13 2.1 Matchings.................................... 13 2.2 Matching in Bipartite Graphs......................... 14 2.3 Hall's Theorem................................. 15 2.4 Corollaries of Hall's Theorem......................... 16 3 Connectivity 19 3.1 Measuring Connectivity............................ 19 3.2 Preparing for Menger's Theorem....................... 21 3.3 Actually Menger's Theorem.......................... 22 3.4 Edge Connectivity............................... 23 4 Planar Graphs 25 4.1 Defining Planar Graphs............................ 26 4.2 What Graphs are Planar?........................... 27 5 Graph Colouring 29 5.1 Basic Concepts................................. 29 5.2
    [Show full text]
  • FPT Algorithms for Domination in Biclique-Free Graphs
    FPT algorithms for domination in biclique-free graphs J.A.Telle and Y.Villanger Department of Informatics, University of Bergen, Norway. [email protected], [email protected] Abstract. A class of graphs is said to be biclique-free if there is an in- teger t such that no graph in the class contains Kt;t as a subgraph. Large families of graph classes, such as any nowhere dense class of graphs or d-degenerate graphs, are biclique-free. We show that various domina- tion problems are fixed-parameter tractable on biclique-free classes of graphs, when parameterizing by both solution size and t. In particular, the problems k-Dominating Set, Connected k-Dominating Set, In- dependent k-Dominating Set and Minimum Weight k-Dominating Set are shown to be FPT, when parameterized by t + k, on graphs not containing Kt;t as a subgraph. With the exception of Connected k- Dominating Set all described algorithms are trivially linear in the size of the input graph. 1 Introduction The k-dominating set problem is one of the most well-studied NP-complete prob- lems in algorithmic graph theory. Given a graph G and an integer k, we ask if G contains a set S of at most k vertices such that every vertex of G is either in S or adjacent to a vertex of S. To cope with the intractability of this problem it has been studied both in terms of approximability [15] (relaxing the optimal- ity) and fixed-parameter tractability (relaxing the runtime). In this paper we consider also weighted k-domination and the variants asking for a connected or independent k-dominating set.
    [Show full text]
  • Short Proofs of Some Extremal Results II
    Short proofs of some extremal results II David Conlon∗ Jacob Foxy Benny Sudakovz Abstract We prove several results from different areas of extremal combinatorics, including complete or partial solutions to a number of open problems. These results, coming mainly from extremal graph theory and Ramsey theory, have been collected together because in each case the relevant proofs are quite short. 1 Introduction We study several questions from extremal combinatorics, a broad area of discrete mathematics which deals with the problem of maximizing or minimizing the cardinality of a collection of finite objects satisfying a certain property. The problems we consider come mainly from the areas of extremal graph theory and Ramsey theory. In many cases, we give complete or partial solutions to open problems posed by researchers in the area. While each of the results in this paper is interesting in its own right, the proofs are all quite short. Accordingly, in the spirit of Alon's `Problems and results in extremal combinatorics' papers [3, 4, 5] and our own earlier paper [15], we have chosen to combine them. We describe the results in brief below. For full details on each topic we refer the reader to the relevant section, each of which is self-contained and may be read separately from all others. In Section 2, we address old questions of Erd}osand Hajnal [20] and Caro [11] concerning extremal problems for set mappings. In Section 3, we answer a question of Foucaud, Krivelevich and Per- arnau [23], which extends an old problem of Bollob´asand Erd}os[18], about finding large Kr;r-free subgraphs in graphs with a given number of edges.
    [Show full text]