arXiv++ Combinatorics

For a given number of colors, $s$, the guessing number of a graph is the (base $s$) logarithm of the cardinality of the largest family of colorings of the vertex set of the graph such that the color of each vertex can be determined from the colors of the vertices in its neighborhood. This quantity is related to problems in network coding, circuit complexity and graph entropy. We study the guessing number of graphs as a graph property in the context of classic extremal questions, and its relationship to the forbidden subgraph property. We find the extremal number with respect to the property of having guessing number $\leq a$, for fixed $a$. Furthermore, we find an upper bound on the saturation number for this property, and a method to construct further saturated graphs that lie between these two extremes. We show that, for a fixed number of colors, bounding the guessing number is equivalent to forbidding a finite set of subgraphs.

It is known from the algebraic graph theory that if $L$ is the Laplacian matrix of some tree $G$ with a vertex degree sequence $\mathbf{d}=(d_1, ..., d_n)^\top$ and $D$ is its distance matrix, then $LD+2I=(2\cdot\mathbf{1}-\mathbf{d})\mathbf{1}^\top$, where $\mathbf{1}$ is an all-ones column vector. We prove that if this matrix identity holds for the Laplacian matrix of some graph $G$ with a degree sequence $\mathbf{d}$ and for some matrix $D$, then $G$ is essentially a tree, and $D$ is its distance matrix. This result immediately generalizes to weighted graphs. If the matrix $D$ is symmetric, the lower triangular part of this matrix identity is redundant and can be omitted. Therefore, the above bilinear matrix equation in $L$, $D$, and $\mathbf{d}$ characterizes trees in terms of their Laplacian and distance matrices. Applications to the extremal graph theory (especially, to topological index optimization and to optimal tree problems) and to road topology design are discussed.

We give a polynomial-time algorithm for detecting very long cycles in dense regular graphs. Specifically, we show that, given $α\in (0,1)$, there exists a $c=c(α)$ such that the following holds: there is a polynomial-time algorithm that, given a $D$-regular graph $G$ on $n$ vertices with $D\geq αn$, determines whether $G$ contains a cycle on at least $n - c$ vertices. The problem becomes NP-complete if we drop either the density or the regularity condition. The algorithm combines tools from extremal graph theory and spectral partitioning as well as some further algorithmic ingredients.

In 1964, Erdős, Hajnal and Moon introduced a saturation version of Turán's classical theorem in extremal graph theory. In particular, they determined the minimum number of edges in a $K_r$-free, $n$-vertex graph with the property that the addition of any further edge yields a copy of $K_r$. We consider analogues of this problem in other settings. We prove a saturation version of the Erdős-Szekeres theorem about monotone subsequences and saturation versions of some Ramsey-type theorems on graphs and Dilworth-type theorems on posets. We also consider semisaturation problems, wherein we allow the family to have the forbidden configuration, but insist that any addition to the family yields a new copy of the forbidden configuration. In this setting, we prove a semisaturation version of the Erdős-Szekeres theorem on convex $k$-gons, as well as multiple semisaturation theorems for sequences and posets.

Finding the maximum number of induced cycles of length $k$ in a graph on $n$ vertices has been one of the most intriguing open problems of Extremal Graph Theory. Recently Balogh, Hu, Lidický and Pfender answered the question in the case $k=5$. In this paper we determine precisely, for all sufficiently large $n$, the maximum number of induced $5$-cycles that an $n$-vertex planar graph can contain.

Extremal problems concerning the number of complete subgraphs have a long story in extremal graph theory. Let $k_s(G)$ be the number of $s$-cliques in a graph $G$ and $m={{r_m}\choose s}+t_m$, where $0\le t_m\leq r_m$. Edrős showed that $k_s(G)\le {{r_m}\choose s}+{{t_m}\choose{s-1}}$ over all graphs of size $m$ and order $n\geq r_m+1$. %Clearly, $K_{r_m}^{t_m}\cup (n-r_m-1)K_1$ is an extremal graph, where $K_{r_m}^{t_m}$ is the graph by joining a new vertex to $t_m$ vertices of $K_{r_m}$. It is natural to consider an improvement in connected situation: what is the maximum number of $s$-cliques over all connected graphs of size $m$ and order $n$? In this paper, the sharp upper bound of $k_s(G)$ is obtained and extremal graphs are completely characterized. The technique and the bound are different from those in general case. As an application, this result can be used to solve a question on spectral moment.

Motivated by a recent conjecture of the first author, we prove that every properly coloured triangle-free graph of chromatic number $χ$ contains a rainbow independent set of size $\lceil\frac12χ\rceil$. This is sharp up to a factor $2$. This result and its short proof have implications for the related notion of chromatic discrepancy. Drawing inspiration from both structural and extremal graph theory, we conjecture that every triangle-free graph of chromatic number $χ$ contains an induced cycle of length $Ω(χ\logχ)$ as $χ\to\infty$. Even if one only demands an induced path of length $Ω(χ\logχ)$, the conclusion would be sharp up to a constant multiple. We prove it for regular girth $5$ graphs and for girth $21$ graphs. As a common strengthening of the induced paths form of this conjecture and of Johansson's theorem (1996), we posit the existence of some $c >0$ such that for every forest $H$ on $D$ vertices, every triangle-free and induced $H$-free graph has chromatic number at most $c D/\log D$. We prove this assertion with `triangle-free' replaced by `regular girth $5$'.

Given an infinite family ${\mathcal G}$ of graphs and a monotone property ${\mathcal P}$, an (upper) threshold for ${\mathcal G}$ and ${\mathcal P}$ is a "fastest growing" function $p: \mathbb{N} \to [0,1]$ such that $\lim_{n \to \infty} \Pr(G_n(p(n)) \in {\mathcal P})= 1$ for any sequence $(G_n)_{n \in \mathbb{N}}$ over ${\mathcal G}$ with $\lim_{n \to \infty}\lvert V(G_n) \rvert = \infty$, where $G_n(p(n))$ is the random subgraph of $G_n$ such that each edge remains independently with probability $p(n)$. In this paper we study the upper threshold for the family of $H$-minor free graphs and for the graph property of being $(r-1)$-degenerate, which is one fundamental graph property with many applications. Even a constant factor approximation for the upper threshold for all pairs $(r,H)$ is expected to be very difficult by its close connection to a major open question in extremal graph theory. We determine asymptotically the thresholds (up to a constant factor) for being $(r-1)$-degenerate for a large class of pairs $(r,H)$, including all graphs $H$ of minimum degree at least $r$ and all graphs $H$ with no vertex-cover of size at most $r$, and provide lower bounds for the rest of the pairs of $(r,H)$. The results generalize to arbitrary proper minor-closed families and the properties of being $r$-colorable, being $r$-choosable, or containing an $r$-regular subgraph, respectively.

Extremal Graph Theory is a very deep and wide area of modern combinatorics. It is very fast developing, and in this long but relatively short survey we select some of those results which either we feel very important in this field or which are new breakthrough results, or which --- for some other reasons --- are very close to us. Some results discussed here got stronger emphasis, since they are connected to Lovász (and sometimes to us).

Extremal problems on the $4$-cycle $C_4$ played a heuristic important role in the development of extremal graph theory. A fundamental theorem of Füredi states that the Turán number $ex(q^2+q+1, C_4)\leq \frac12 q(q+1)^2$ holds for every $q\geq 14$, which matches with the classic construction of Erdős-R{é}nyi-Sós and Brown from finite geometry for prime powers $q$. Very recently, we obtained the first stability result on Füredi's theorem, by showing that for large even $q$, every $(q^2+q+1)$-vertex $C_4$-free graph with more than $\frac12 q(q+1)^2-0.2q$ edges must be a spanning subgraph of a unique polarity graph. Using new technical ideas in graph theory and finite geometry, we strengthen this by showing that the same conclusion remains true if the number of edges is lowered to $\frac12 q(q+1)^2-\frac12 q+o(q)$. Among other applications, this gives an immediate improvement on the upper bound of $ex(n,C_4)$ for infinitely many integers $n$. A longstanding conjecture of Erdős and Simonovits states that every $n$-vertex graph with $ex(n,C_4)+1$ edges contains at least $(1+o(1))\sqrt{n}$ 4-cycles. We proved an exact result and confirmed Erdős-Simonovits conjecture for infinitely many integers $n$. As the second main result of this paper, we further characterize all extremal graphs for which achieve the $\ell$th least number of copies of $C_4$ for any fixed positive integer $\ell$. This can be extended to more general settings and provides enhancements on the understanding of the supersaturation problem of $C_4$.

A classical result by Erdős, and later on by Bondy and Simonivits, states that every $n$-vertex graph with no cycle of length $2k$ has at most $O(n^{1+1 /k})$ edges. This bound is known to be tight when $k \in \{2,3,5\},$ but it is a major open problem in extremal graph theory to decide if this bound is tight for all $k$. In this paper, we study the effect of forbidding short even cycles in incidence graphs of point-line arrangements in the plane. It is not known if the Erdős upper bound stated above can be improved to $o(n^{1+1/k})$ in this geometric setting, and in this note, we establish non-trivial lower bounds for this problem by modifying known constructions arising in finite geometries. In particular, by modifying a construction due to Labeznik and Ustimenko, we construct an arrangement of $n$ points and $n$ lines in the plane, such that their incidence graph has girth at least $k + 5$, and determines at least $Ω({n^{1+\frac{4}{k^2+6k-3}}})$ incidences. We also apply the same technique to Wenger graphs, which gives a better lower bound for $k=5.$

We prove a new, efficient version of the hypergraph container theorems that is suited for hypergraphs with large uniformities. The main novelty is a refined approach to constructing containers that employs simple ideas from high-dimensional convex geometry. The existence of smaller families of containers for independent sets in such hypergraphs, which is guaranteed by the new theorem, allows us to improve upon the best currently known bounds for several problems in extremal graph theory, discrete geometry, and Ramsey theory.

We prove a selection of 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 reasonably short.

The $k$-Opt and Lin-Kernighan algorithm are two of the most important local search approaches for the Metric TSP. Both start with an arbitrary tour and make local improvements in each step to get a shorter tour. We show that for any fixed $k\geq 3$ the approximation ratio of the $k$-Opt algorithm for Metric TSP is $O(\sqrt[k]{n})$. Assuming the Erdős girth conjecture, we prove a matching lower bound of $Ω(\sqrt[k]{n})$. Unconditionally, we obtain matching bounds for $k=3,4,6$ and a lower bound of $Ω(n^{\frac{2}{3k-3}})$. Our most general bounds depend on the values of a function from extremal graph theory and are tight up to a factor logarithmic in the number of vertices unconditionally. Moreover, all the upper bounds also apply to a parameterized generalization of the Lin-Kernighan algorithm with appropriate parameters. We also show that the approximation ratio of $k$-Opt for Graph TSP is $Ω\left(\frac{\log(n)}{\log\log(n)}\right)$ and $O\left(\left(\frac{\log(n)}{\log\log(n)}\right)^{\log_2(9)+ε}\right)$ for all $ε>0$. For the (1,2)-TSP we give a lower bound of $\frac{11}{10}$ on the approximation ratio of the $k$-improv and $k$-Opt algorithm for arbitrary fixed $k$.

We systematically study a natural problem in extremal graph theory, to minimize the number of edges in a graph with a fixed number of vertices, subject to a certain local condition: each vertex must be in a copy of a fixed graph $H$. We completely solve this problem when $H$ is a clique, as well as more generally when $H$ is any regular graph with degree at least about half its number of vertices. We also characterize the extremal graphs when $H$ is an Erdős-Rényi random graph. The extremal structures turn out to have the similar form as the conjectured extremal structures for a well-studied but elusive problem of similar flavor with local constraints: to maximize the number of copies of a fixed clique in graphs in which all degrees have a fixed upper bound.

For two $r$-graphs $\mathcal{T}$ and $\mathcal{H}$, let $\text{ex}_{r}(n,\mathcal{T},\mathcal{H})$ be the maximum number of copies of $\mathcal{T}$ in an $n$-vertex $\mathcal{H}$-free $r$-graph. The determination of Turán number $\text{ex}_{r}(n,\mathcal{T},\mathcal{H})$ has become the fundamental core problem in extremal graph theory ever since the pioneering work Turán's Theorem was published in $1941$. Although we have some rich results for the simple graph case, only sporadic results have been known for the hypergraph Turán problems. In this paper, we mainly focus on the function $\text{ex}_{r}(n,\mathcal{T},\mathcal{H})$ when $\mathcal{H}$ is one of two different hypergraph extensions of the complete bipartite graph $K_{s,t}$. The first extension is the complete bipartite $r$-graph $K_{s,t}^{(r)}$, which was introduced by Mubayi and Verstraëte~[J. Combin. Theory Ser. A, 106: 237--253, 2004]. Using the powerful random algebraic method, we show that if $s$ is sufficiently larger than $t$, then \[\text{ex}_{r}(n,\mathcal{T},K_{s,t}^{(r)})=Ω(n^{v-\frac{e}{t}}),\] where $\mathcal{T}$ is an $r$-graph with $v$ vertices and $e$ edges. In particular, when $\mathcal{T}$ is an edge or some specified complete bipartite $r$-graph, we can determine their asymptotics. The second important extension is the complete $r$-partite $r$-graph $K_{s_{1},s_{2},\ldots,s_{r}}^{(r)}$, which has been widely studied. When $r=3$, we provide an explicit construction giving \[\text{ex}_{3}(n,K_{2,2,7}^{(3)})\geqslant\frac{1}{27}n^{\frac{19}{7}}+o(n^{\frac{19}{7}}).\] Our construction is based on the Norm graph, and improves the lower bound $Ω(n^{\frac{73}{27}})$ obtained by probabilistic method.

In this work we consider three well-studied broadcast protocols: Push, Pull and Push&Pull. A key property of all these models, which is also an important reason for their popularity, is that they are presumed to be very robust, since they are simple, randomized, and, crucially, do not utilize explicitly the global structure of the underlying graph. While sporadic results exist, there has been no systematic theoretical treatment quantifying the robustness of these models. Here we investigate this question with respect to two orthogonal aspects: (adversarial) modifications of the underlying graph and message transmission failures. We explore in particular the following notion of Local Resilience: beginning with a graph, we investigate up to which fraction of the edges an adversary has to be allowed to delete at each vertex, so that the protocols need significantly more rounds to broadcast the information. Our main findings establish a separation among the three models. It turns out that Pull is robust with respect to all parameters that we consider. On the other hand, Push may slow down significantly, even if the adversary is allowed to modify the degrees of the vertices by an arbitrarily small positive fraction only. Finally, Push&Pull is robust when no message transmission failures are considered, otherwise it may be slowed down. On the technical side, we develop two novel methods for the analysis of randomized rumour spreading protocols. First, we exploit the notion of self-bounding functions to facilitate significantly the round-based analysis: we show that for any graph the variance of the growth of informed vertices is bounded by its expectation, so that concentration results follow immediately. Second, in order to control adversarial modifications of the graph we make use of a powerful tool from extremal graph theory, namely Szemerèdi's Regularity Lemma.

Given an $n$-vertex pseudorandom graph $G$ and an $n$-vertex graph $H$ with maximum degree at most two, we wish to find a copy of $H$ in $G$, i.e.\ an embedding $\varphi\colon V(H)\to V(G)$ so that $\varphi(u)\varphi(v)\in E(G)$ for all $uv\in E(H)$. Particular instances of this problem include finding a triangle-factor and finding a Hamilton cycle in $G$. Here, we provide a deterministic polynomial time algorithm that finds a given $H$ in any suitably pseudorandom graph $G$. The pseudorandom graphs we consider are $(p,λ)$-bijumbled graphs of minimum degree which is a constant proportion of the average degree, i.e.\ $Ω(pn)$. A $(p,λ)$-bijumbled graph is characterised through the discrepancy property: $\left|e(A,B)-p|A||B|\right |<λ\sqrt{|A||B|}$ for any two sets of vertices $A$ and $B$. Our condition $λ=O(p^2n/\log n)$ on bijumbledness is within a log factor from being tight and provides a positive answer to a recent question of Nenadov. We combine novel variants of the absorption-reservoir method, a powerful tool from extremal graph theory and random graphs. Our approach is based on that of Nenadov (\emph{Bulletin of the London Mathematical Society}, to appear) and on ours (arXiv:1806.01676), together with additional ideas and simplifications.

Recently, it was discovered by several authors that a $q$-ary optimal locally recoverable code, i.e., a locally recoverable code archiving the Singleton-type bound, can have length much bigger than $q+1$. This is quite different from the classical $q$-ary MDS codes where it is conjectured that the code length is upper bounded by $q+1$ (or $q+2$ for some special case). This discovery inspired some recent studies on length of an optimal locally recoverable code. It was shown in \cite{LXY} that a $q$-ary optimal locally recoverable code is unbounded for $d=3,4$. Soon after, it was proved that a $q$-ary optimal locally recoverable code with distance $d$ and locality $r$ can have length $Ω_{d,r}(q^{1 + 1/\lfloor(d-3)/2\rfloor})$. Recently, an explicit construction of $q$-ary optimal locally recoverable codes for distance $d=5,6$ was given in \cite{J18} and \cite{BCGLP}. In this paper, we further investigate construction optimal locally recoverable codes along the line of using parity-check matrices. Inspired by classical Reed-Solomon codes and \cite{J18}, we equip parity-check matrices with the Vandermond structure. It is turns out that a parity-check matrix with the Vandermond structure produces an optimal locally recoverable code must obey certain disjoint property for subsets of $\mathbb{F}_q$. To our surprise, this disjoint condition is equivalent to a well-studied problem in extremal graph theory. With the help of extremal graph theory, we succeed to improve all of the best known results in \cite{GXY} for $d\geq 7$. In addition, for $d=6$, we are able to remove the constraint required in \cite{J18} that $q$ is even.

A long standing open problem in extremal graph theory is to describe all graphs that maximize the number of induced copies of a path on four vertices. The character of the problem changes in the setting of oriented graphs, and becomes more tractable. Here we resolve this problem in the setting of oriented graphs without transitive triangles.