arXiv++ Combinatorics

A graph is called equimatchable if all of its maximal matchings have the same size. Frendrup et al. [8] provided a characterization of equimatchable graphs with girth at least $5$. In this paper, we extend this result by providing a complete structural characterization of equimatchable graphs with girth at least $4$, i.e., equimatchable graphs with no triangle, by identifying the equimatchable triangle-free graph families. Our characterization also extends the result given by Akbari et al. in [1], which proves that the only connected triangle-free equimatchable $r$-regular graphs are $C_5$, $C_7$ and $K_{r,r}$, where $r$ is a positive integer. Given a non-bipartite graph, our characterization implies a linear time recognition algorithm for triangle-free equimatchable graphs.

We prove that for each odd integer $k \geq 7$, every graph on $n$ vertices without odd cycles of length less than $k$ contains at most $(n/k)^k$ cycles of length $k$. This generalizes the previous results on the maximum number of pentagons in triangle-free graphs, conjectured by Erdős in 1984, and asymptotically determines the generalized Turán number $\mathrm{ex}(n,C_k,C_{k-2})$ for odd $k$. In contrary to the previous results on the pentagon case, our proof is not computer-assisted.

We show that if the second eigenvalue $λ$ of a $d$-regular graph $G$ on $n \in 3 \mathbb{Z}$ vertices is at most $\varepsilon d^2/(n \log n)$, for a small constant $\varepsilon > 0$, then $G$ contains a triangle-factor. The bound on $λ$ is at most an $O(\log n)$ factor away from the best possible one: Krivelevich, Sudakov and Szabó, extending a construction of Alon, showed that for every function $d = d(n)$ such that $Ω(n^{2/3}) \le d \le n$ and infinitely many $n \in \mathbb{N}$ there exists a $d$-regular triangle-free graph $G$ with $Θ(n)$ vertices and $λ= Ω(d^2 / n)$.

Let $G$ be a connected graph. The Steiner distance $d(S)$ of a set $S$ of vertices is the minimum size of a connected subgraph of $G$ containing all vertices of $S$. For $k\in \mathbb{N}$, the Steiner $k$-Wiener index $SW_k(G)$ is defined as $\sum_S d(S)$, where the sum is over all $k$-element subsets of the vertex set of $G$. The average Steiner $k$-distance $μ_k(G)$ of $G$ is defined as $\binom{n}{k}^{-1} SW_k(G)$. In this paper we prove upper bounds on the Steiner Wiener index and the average Steiner distance of graphs with given order $n$ and minimum degree $δ$. Specifically we show that $SW_k(G) \leq \frac{k-1}{k+1}\frac{3n}{δ+1} \binom{n}{k} + O(n^{k})$, and that $μ_k(G) \leq \frac{k-1}{k+1}\frac{3n}{δ+1} + O(1)$. We improve this bound for triangle-free graphs to $SW_k(G) \leq \frac{k-1}{k+1}\frac{2n}δ \binom{n}{k} + O(n^{k})$, and $μ_k(G) \leq \frac{k-1}{k+1}\frac{2n}δ + O(1)$. All bounds are best possible.

Following the groundbreaking algorithm of Moser and Tardos for the Lovasz Local Lemma (LLL), there has been a plethora of results analyzing local search algorithms for various constraint satisfaction problems. The algorithms considered fall into two broad categories: resampling algorithms, analyzed via different algorithmic LLL conditions; and backtracking algorithms, analyzed via entropy compression arguments. This paper introduces a new convergence condition that seamlessly handles resampling, backtracking, and hybrid algorithms, i.e., algorithms that perform both resampling and backtracking steps. Unlike all past LLL work, our condition replaces the notion of a dependency or causality graph by quantifying point-to-set correlations between bad events. As a result, our condition simultaneously: (i)~captures the most general algorithmic LLL condition known as a special case; (ii)~significantly simplifies the analysis of entropy compression applications; (iii)~relates backtracking algorithms, which are conceptually very different from resampling algorithms, to the LLL; and most importantly (iv)~allows for the analysis of hybrid algorithms, which were outside the scope of previous techniques. We give several applications of our condition, including a new hybrid vertex coloring algorithm that extends the recent breakthrough result of Molloy for coloring triangle-free graphs to arbitrary graphs.

It is well known that $n/(n - μ)$, where $μ$ is the spectral radius of a graph with $n$ vertices, is a lower bound for the clique number. We conjecture that $μ$ can be replaced in this bound with $\sqrt{s^+}$, where $s^+$ is the sum of the squares of the positive eigenvalues. We prove this conjecture for various classes of graphs, including triangle-free graphs, and for almost all graphs.

Let $G$ be a non-trivial finite group. The well-known Dold's theorem states that: There is no continuous $G$-equivariant map from an $n$-connected simplicial $G$-complex to a free simplicial $G$-complex of dimension at most $n$. In this paper, we give a new generalization of Dold's theorem, by replacing "dimension at most $n$" with a sharper combinatorial parameter. Indeed, this parameter is the chromatic number of a new family of graphs, called strong compatibility graphs, associated to the target space. Moreover, in a series of examples, we will see that one can hope to infer much more information from this generalization than ordinary Dold's theorem. In particular, we show that this new parameter is significantly better than the dimension of target space "for almost all free $\mathbb{Z}_2$-simplicial complex." In addition, some other applications of strong compatibility graphs will be presented as well. In particular, a new way for constructing triangle-free graphs with high chromatic numbers from an n-sphere $\mathbb{S}^n$, and some new results on the limitations of topological methods for determining the chromatic number of graphs will be given.

A coloured version of classic extremal problems dates back to Erdős and Rothschild, who in 1974 asked which $n$-vertex graph has the maximum number of 2-edge-colourings without monochromatic triangles. They conjectured that the answer is simply given by the largest triangle-free graph. Since then, this new class of coloured extremal problems has been extensively studied by various researchers. In this paper we pursue the Erdős--Rothschild versions of Sperner's Theorem, the classic result in extremal set theory on the size of the largest antichain in the Boolean lattice, and Erdős' extension to $k$-chain-free families. Given a family $\mathcal{F}$ of subsets of $[n]$, we define an $(r,k)$-colouring of $\mathcal{F}$ to be an $r$-colouring of the sets without any monochromatic $k$-chains $F_1 \subset F_2 \subset \dots \subset F_k$. We prove that for $n$ sufficiently large in terms of $k$, the largest $k$-chain-free families also maximise the number of $(2,k)$-colourings. We also show that the middle level, $\binom{[n]}{\lfloor n/2 \rfloor}$, maximises the number of $(3,2)$-colourings, and give asymptotic results on the maximum possible number of $(r,k)$-colourings whenever $r(k-1)$ is divisible by three.

We study a restricted form of list colouring, for which every pair of lists that correspond to adjacent vertices may not share more than one colour. The optimal list size such that a proper list colouring is always possible given this restriction, we call separation choosability. We show for bipartite graphs that separation choosability increases with (the logarithm of) the minimum degree. This strengthens results of Molloy and Thron and, partially, of Alon. One attempt to drop the bipartiteness assumption precipitates a natural class of Ramsey-type questions, of independent interest. For example, does every triangle-free graph of minimum degree $d$ contain a bipartite induced subgraph of minimum degree $Ω(\log d)$ as $d\to\infty$?

For graphs $T, H$, let $ex(n,T,H)$ denote the maximum number of copies of $T$ in an $n$-vertex $H$-free graph. In this paper we prove some sharp results on this generalization of Turán numbers, where our focus is for the graphs $T,H$ satisfying $χ(T)<χ(H)$. This can be dated back to Erdős, where he generalized the celebrated Turán's theorem by showing that for any $r\geq m$, the Turán graph $T_r(n)$ uniquely attains $ex(n,K_m,K_{r+1})$. For general graphs $H$ with $χ(H)=r+1>m$, Alon and Shikhelman showed that $ex(n,K_m,H)=\binom{r}{m}(\frac{n}{r})^m+o(n^m)$. Here we determine this error term $o(n^m)$ up to a constant factor. We prove that $ex(n,K_m,H)=\binom{r}{m}(\frac{n}{r})^m+biex(n,H)\cdotΘ(n^{m-2})$, where $biex(n,H)$ is the Turán number of the decomposition family of $H$. As a special case, we extend Erdős' result, by showing that $T_r(n)$ uniquely attains $ex(n,K_m,H)$ for any edge-critical graph $H$. We also consider $T$ being non-clique, where even the simplest case seems to be intricate. Following from a more general result, we show that for all $s\leq t$, $T_2(n)$ maximizes the number of $K_{s,t}$ in $n$-vertex triangle-free graphs if and only if $t<s+\frac12+\sqrt{2s+\frac14}$.

The theory of Dvorak, Kral, and Thomas (2015) shows that a 4-critical triangle-free graph embedded in the torus has only a bounded number of faces of length greater than 4 and that the size of these faces is also bounded. We study the natural reduction in such embedded graphs - identification of opposite vertices in 4-faces. We give a computer-assisted argument showing that there are exactly four 4-critical triangle-free irreducible toroidal graphs in which this reduction cannot be applied without creating a triangle. Using this result, we show that every 4-critical triangle-free graph embedded in the torus has at most four 5-faces, or a 6-face and two 5-faces, or a 7-face and a 5-face, in addition to at least seven 4-faces. This result serves as a basis for the exact description of $4$-critical triangle-free toroidal graphs, which we present in a followup paper.

We prove two results: 1. A graph $G$ on at least seven vertices with a vertex $v$ such that $G-v$ is planar and $t$ triangles satisfies $|E(G)| \leq 3|V(G)|- 9 + t/3$. 2. For $p=2,3,\ldots,9$, a triangle-free graph $G$ on at least $2p-5$ vertices with no $K_p$-minor satisfies $|E(G)|\leq (p-2)|V(G)| - (p-2)^2$.

For all $n\ge 9$, we show that the only triangle-free graphs on $n$ vertices maximizing the number $5$-cycles are balanced blow-ups of a 5-cycle. This completely resolves a conjecture by Erdős, and extends results by Grzesik and Hatami, Hladký, Král', Norin and Razborov, where they independently showed this same result for large $n$ and for all $n$ divisible by $5$.

Daligault, Rao and Thomassé asked whether every hereditary graph class that is well-quasi-ordered by the induced subgraph relation has bounded clique-width. Lozin, Razgon and Zamaraev (JCTB 2017+) gave a negative answer to this question, but their counterexample is a class that can only be characterised by infinitely many forbidden induced subgraphs. This raises the issue of whether the question has a positive answer for finitely defined hereditary graph classes. Apart from two stubborn cases, this has been confirmed when at most two induced subgraphs $H_1,H_2$ are forbidden. We confirm it for one of the two stubborn cases, namely for the $(H_1,H_2)=(\mbox{triangle},P_2+P_4)$ case, by proving that the class of $(\mbox{triangle},P_2+P_4)$-free graphs has bounded clique-width and is well-quasi-ordered. Our technique is based on a special decomposition of $3$-partite graphs. We also use this technique to prove that the class of $(\mbox{triangle},P_1+P_5)$-free graphs, which is known to have bounded clique-width, is well-quasi-ordered. Our results enable us to complete the classification of graphs $H$ for which the class of $(\mbox{triangle},H)$-free graphs is well-quasi-ordered.

A graph $G$ is called a $(3,j;n)$-minimal Ramsey graph if it has the least amount of edges, $e(3,j;n)$, given that $G$ is triangle-free, the independence number $α(G) < j$ and that $G$ has $n$ vertices. Triangle-free graphs $G$ with $α(G) < j$ and where $e(G) - e(3,j;n)$ is small are said to be almost minimal Ramsey graphs. We look at a construction of some almost minimal Ramsey graphs, called $H_{13}$-patterned graphs. We make computer calculations of the number of almost minimal Ramsey triangle-free graphs that are $H_{13}$-patterned. The results of these calculations indicate that many of these graphs are in fact $H_{13}$-patterned. In particular, all but one of the connected $(3,j;n)$-minimal Ramsey graphs for $j \leq 9$ are indeed $H_{13}$-patterned.

Obtaining an efficient bound for the triangle removal lemma is one of the most outstanding open problems of extremal combinatorics. Perhaps the main bottleneck for achieving this goal is that triangle-free graphs can be highly unstructured. For example, triangle-free graphs might have only regular partitions (in the sense of Szemerédi) of tower-type size. And indeed, essentially all the graph properties ${\cal P}$ for which removal lemmas with reasonable bounds were obtained, are such that every graph satisfying ${\cal P}$ has a small regular partition. So in some sense, a barrier for obtaining an efficient removal lemma for property ${\cal P}$ was having an efficient regularity lemma for graphs satisfying ${\cal P}$. In this paper we consider the property of being induced $C_4$-free, which also suffers from the fact that a graph might satisfy this property but still have only regular partitions of tower-type size. By developing a new approach for this problem we manage to overcome this barrier and thus obtain a merely exponential bound for the induced $C_4$ removal lemma. We thus obtain the first efficient removal lemma that does not rely on an efficient version of the regularity lemma. This is the first substantial progress on a problem raised by Alon in 2001, and more recently by Alon, Conlon and Fox.

We prove that, in several settings, a graph has exponentially many nowhere-zero flows. These results may be seen as a counting alternative to the well-known proofs of existence of $Z_3$-, $Z_4$-, and $Z_6$-flows. In the dual setting, proving exponential number of 3-colorings of planar triangle-free graphs is a related open question due to Thomassen. As a part of the proof we obtain a new splitting lemma for 6-edge-connected graphs, that may be of independent interest.

For a positive integer $k$, we say that a graph is $k$-existentially complete if for every $0 \leq a \leq k$, and every tuple of distinct vertices $x_1,\ldots,x_a$, $y_1,\ldots,y_{k-a}$, there exists a vertex $z$ that is joined to all of the vertices $x_1,\ldots,x_a$ and none of the vertices $y_1,\ldots,y_{k-a}$. While it is easy to show that the binomial random graph $G_{n,1/2}$ satisfies this property with high probability for $k \sim c\log n$, little is known about the "triangle-free" version of this problem; does there exist a finite triangle-free graph $G$ with a similar "extension property". This question was first raised by Cherlin in 1993 and remains open even in the case $k=4$. We show that there are no $k$-existentially complete triangle-free graphs with $k >\frac{8\log n}{\log\log n}$, thus giving the first non-trivial, non-existence result on this "old chestnut" of Cherlin. We believe that this result breaks through a natural barrier in our understanding of the problem.

Let $G$ be a connected graph with minimum degree $δ(G)$ and vertex-connectivity $κ(G)$. The graph $G$ is $k$-connected if $κ(G)\geq k$, maximally connected if $κ(G) = δ(G)$, and super-connected (or super-$κ$) if every minimum vertex-cut isolates a vertex of minimum degree. In this paper, we show that a connected graph or a connected triangle-free graph is $k$-connected, maximally connected or super-connected if the number of edges or the spectral radius is large enough.

Let $G$ be an edge-colored graph with $n$ vertices. A subgraph $H$ of $G$ is called a rainbow subgraph of $G$ if the colors of each pair of the edges in $E(H)$ are distinct. We define the minimum color degree of $G$ to be the smallest number of the colors of the edges that are incident to a vertex $v$, for all $v\in V(G)$. Suppose that $G$ contains no rainbow-cycle subgraph of length four. We show that if the minimum color degree of $G$ is at least $\frac{n+3k-2}{2}$, then $G$ contains a rainbow-cycle subgraph of length at least $k$, where $k\geq 5$. Moreover, if the condition of $G$ is restricted to a triangle-free graph that contains a rainbow path of length at least $\frac{3k}{2}$, then the lower bound of the minimum color degree of $G$ that guarantees an existence of a rainbow-cycle subgraph of length to at least $k$ can be reduced to $\frac{2n+3k-1}{4}$.