arXiv++ Combinatorics

Erdős and Hanani proved that for every fixed integer $k \ge 2$, the complete graph $K_n$ can be almost completely packed with copies of $K_k$; that is, $K_n$ contains pairwise edge-disjoint copies of $K_k$ that cover all but an $o_n(1)$ fraction of its edges. Equivalently, elements of the set $\C(k)$ of all red-blue edge colorings of $K_k$ can be used to almost completely pack every red-blue edge coloring of $K_n$. The following strengthening of the aforementioned Erdős-Hanani result is considered. Suppose $\C' \subset \C(k)$. Is it true that we can use elements only from $\C'$ and almost completely pack every red-blue edge coloring of $K_n$? An element $C \in \C(k)$ is {\em avoidable} if $\C'=\C(k) \setminus C$ has this property and a subset ${\cal F} \subset \C(k)$ is avoidable if $\C'=\C(k) \setminus {\cal F}$ has this property. It seems difficult to determine all avoidable graphs as well as all avoidable families. We prove some nontrivial sufficient conditions for avoidability. Our proofs imply, in particular, that (i) almost all elements of $\C(k)$ are avoidable (ii) all Eulerian elements of $\C(k)$ are avoidable and, in fact, the set of all Eulerian elements of $\C(k)$ is avoidable.

Let $G$, $H$ and $K$ represent three graphs without loops or parallel edges and $n$ represent an integer. Given any red blue coloring of the edges of $G$, we say that $K \rightarrow (G,H)$, if there exists red copy of $G$ in $K$ or a blue copy of $H$ in $K$. Let $K_n$ represent a complete graph on $n$ vertices, $C_n$ a cycle on $n$ vertices and $S_n=K_{1,n}$ a star on $n+1$ vertices. The Ramsey number $r(G, H)$ is defined as $\min\{n \mid K_n\rightarrow (G,H)\}$. Likewise, the star-critical Ramsey number $r_*(H, G)$ is defined $\min\{k \mid K_{r(G,H)-1} \sqcup K_{1,k} \rightarrow (H, G) \}$. When $n >3$, in this paper we show that $r_*(C_n,K_5)=3n-1$ except $r_*(C_4,K_5)=13$. We also characterize all Ramsey critical $r(C_n,K_5)$ graphs.

Let $K_4^+$ be the 5-vertex graph obtained from $K_4$, the complete graph on four vertices, by subdividing one edge precisely once (i.e. by replacing one edge by a path on three vertices). We prove that if the chromatic number of some graph $G$ is much larger than its clique number, then $G$ contains a subdivision of $K_4^+$ as an induced subgraph.

Given a graph $H$, the $k$-colored Gallai Ramsey number $gr_{k}(K_{3} : H)$ is defined to be the minimum integer $n$ such that every $k$-coloring of the edges of the complete graph on $n$ vertices contains either a rainbow triangle or a monochromatic copy of $H$. Fox et al. [J. Fox, A. Grinshpun, and J. Pach. The Erd{\H o}s-Hajnal conjecture for rainbow triangles. J. Combin. Theory Ser. B, 111:75-125, 2015.] conjectured the value of the Gallai Ramsey numbers for complete graphs. Recently, this conjecture has been verified for the first open case, when $H = K_{4}$. In this paper we attack the next case, when $H = K_5$. Surprisingly it turns out, that the validity of the conjecture depends upon the (yet unknown) value of the Ramsey number $R(5,5)$. It is known that $43 \leq R(5,5) \leq 48$ and conjectured that $R(5,5)=43$ [B.D. McKay and S.P. Radziszowski. Subgraph counting identities and Ramsey numbers. J. Combin. Theory Ser. B, 69:193-209, 1997]. If $44 \leq R(5,5) \leq 48$, then Fox et al.'s conjecture is true and we present a complete proof. If, however, $R(5,5)=43$, then Fox et al.'s conjecture is false, meaning that at least one of these two conjectures must be false. For the case when $R(5, 5) = 43$, we show lower and upper bounds for the Gallai Ramsey number $gr_{k}(K_{3} : K_5)$.

A graph $G$ is well-covered if all maximal independent sets of $G$ have the same cardinality. In 1992 Topp and Volkmann investigated the structure of well-covered graphs that have nontrivial factorizations with respect to some of the standard graph products. In particular, they showed that both factors of a well-covered direct product are also well-covered and proved that the direct product of two complete graphs (respectively, two cycles) is well-covered precisely when they have the same order (respectively, both have order 3 or 4). Furthermore, they proved that the direct product of two well-covered graphs with independence number one-half their order is well-covered. We initiate a characterization of nontrivial, connected well-covered graphs $G$ and $H$, whose independence numbers are strictly less than one-half their orders, such that their direct product $G \times H$ is well-covered. In particular, we show that in this case both $G$ and $H$ have girth 3 and we present several infinite families of such well-covered direct products. Moreover, we show that if $G$ is a factor of any well-covered direct product, then $G$ is a complete graph unless it is possible to create an isolated vertex by removing the closed neighborhood of some independent set of vertices in $G$.

Let $G=(V, E)$ be an undirected graph. The subtours elimination polytope $P(G)$ is the set of $x\in \mathbb{R}^E$ such that: $0\leq x(e)\leq 1$ for any edge $e\in E$, $x(δ(v))=2$ for any vertex $v\in V$, and $x(δ(U))\geq 2$ for any nonempty and proper subset $U$ of $V$. $P(G)$ is a relaxation of the Traveling Salesman Polytope, i.e., the convex hull of the Hamiton circuits of $G$. Maurras \cite{Maurras 1975} and Grötschel and Padberg \cite{Grotschel and Padberg 1979b} characterize the facets of $P(G)$ when $G$ is a complete graph. In this paper we generalize their result by giving a minimal description of $P(G)$ in the general case and by presenting a short proof of it.

An edge coloring of the $n$-vertex complete graph, $K_n$, is a Gallai coloring if it does not contain any rainbow triangle, that is, a triangle whose edges are colored with three distinct colors. We prove that for $n$ large and every $k$ with $k\le 2^{n/4300}$, the number of Gallai colorings of $K_n$ that use at most $k$ given colors is $(\binom{k}{2}+o_n(1))\,2^{\binom{n}{2}}$. Our result is asymptotically best possible and implies that, for those $k$, almost all Gallai $k$-colorings use only two colors. However, this is not true for $k \ge Ω(2^{2n})$.

We consider a family of 2-step nilpotent Lie algebras associated to uniform complete graphs on odd number of vertices. We prove that the symmetry group of such a graph is the holomorph of the additive cyclic group $\Z_n$. Moreover, we prove that the (Lie) automorphism group of the corresponding nilpotent Lie algebra contains the dihedral group of order $2n$ as a subgroup.

A signed graph is a graph whose edges are labeled positive or negative. The sign of a cycle is the product of the signs of its edges. Zaslavsky proved in 2012 that, up to switching isomorphism, there are six different signed Petersen graphs. It is also known that, up to switching isomorphism, there are two signed $K_3$'s, three signed $K_4$'s, and seven signed $K_5$'s. In this paper, we prove that there are sixteen signed $K_6$'s upto switching ismomorphism.

An edge coloring of a graph $G$ is a Gallai coloring if it contains no rainbow triangle. We show that the number of Gallai $r$-colorings of $K_n$ is $\left(\binom{r}{2}+o(1)\right)2^{\binom{n}{2}}$. This result indicates that almost all Gallai $r$-colorings of $K_n$ use only 2 colors. We also study the extremal behavior of Gallai $r$-colorings among all $n$-vertex graphs. We prove that the complete graph $K_n$ admits the largest number of Gallai $3$-colorings among all $n$-vertex graphs when $n$ is sufficiently large, while for $r\geq 4$, it is the complete bipartite graph $K_{\lfloor n/2 \rfloor, \lceil n/2 \rceil}$. Our main approach is based on the hypergraph container method, developed independently by Balogh, Morris, and Samotij as well as by Saxton and Thomason, together with some stability results for containers.

An edge-coloring of the complete graph $K_n$ we call $F$-caring if it leaves no $F$-subgraph of $K_n$ monochromatic and at the same time every subset of $|V(F)|$ vertices contains in it at least one completely multicolored version of $F$. For the first two meaningful cases, when $F=K_{1,3}$ and $F=P_4$ we determine for infinitely many $n$ the minimum number of colors needed for an $F$-caring edge-coloring of $K_n$. An explicit family of $2\lceil\log_2 n\rceil$ $3$-edge-colorings of $K_n$ so that every quadruple of its vertices contains a totally multicolored $P_4$ in at least one of them is also presented. Investigating related Ramsey-type problems we also show that the Shannon (OR-)capacity of the Grötzsch graph is strictly larger than that of the five length cycle.

In this work, we generalize and utilize the linear relations of LLT polynomials introduced by Lee \cite{Lee}. By using the fact that the chromatic quasisymmetric functions and the unicellular LLT polynomials are related via plethystic substitution and thus they satisfy the same linear relations, we can apply the linear relations to both sets of functions. As a result, in the chromatic quasisymmetric function side, we find a class of $e$-positive graphs, called \emph{melting lollipop graphs}, and explicitly prove the $e$-unimodality. In the unicellular LLT side, we obtain Schur expansion formulas for LLT polynomials corresponding to certain set of graphs, namely, complete graphs, path graphs, lollipop graphs and melting lollipop graphs.

The cut polytope ${\rm CUT}(n)$ is the convex hull of the cut vectors in a complete graph with vertex set $\{1,\ldots,n\}$. It is well known in the area of combinatorial optimization and recently has also been studied in a direct relation with admissible correlations of symmetric Bernoulli random variables. That probabilistic interpretation is a starting point of this work in conjunction with a natural binary encoding of the CUT($n$). We show that for any $n$, with appropriate scaling, all vertices of the polytope ${\mathbf 1}$-CUT($n$) encoded as integers are approximately on the line $y= x-1/2$.

The chromatic number of a graph is the minimum $k$ such that the graph has a proper $k$-coloring. There are many coloring parameters in the literature that are proper colorings that also forbid bicolored subgraphs. Some examples are $2$-distance coloring, acyclic coloring, and star coloring, which forbid a bicolored path on three vertices, bicolored cycles, and a bicolored path on four vertices, respectively. This notion was first suggested by Grünbaum in 1973, but no specific name was given. We revive this notion by defining an $H$-avoiding $k$-coloring to be a proper $k$-coloring that forbids a bicolored subgraph $H$. When considering the class $\mathcal C$ of graphs with no $F$ as an induced subgraph, it is not hard to see that every graph in $\mathcal C$ has bounded chromatic number if and only if $F$ is a complete graph of size at most two. We study this phenomena for the class of graphs with no $F$ as a subgraph for $H$-avoiding coloring. We completely characterize all graphs $F$ where the class of graphs with no $F$ as a subgraph has bounded $H$-avoiding chromatic number for a large class of graphs $H$. As a corollary, our main result implies a characterization of graphs $F$ where the class of graphs with no $F$ as a subgraph has bounded star chromatic number. We also obtain a complete characterization for the acyclic chromatic number.

The triangle game introduced by Chvátal and Erdős (1978) is one of the most famous combinatorial games. For $n,q\in\mathbb{N}$, the $(n,q)$-triangle game is played by two players, called Maker and Breaker, on the complete graph $K_n$. Alternately Maker claims one edge and thereafter Breaker claims $q$ edges of the graph. Maker wins the game if he can claim all three edges of a triangle, otherwise Breaker wins. Chvátal and Erdős (1978) proved that for $q<\sqrt{2n+2}-5/2\approx 1.414\sqrt{n}$ Maker has a winning strategy, and for $q\geq 2\sqrt{n}$ Breaker has a winning strategy. Since then, the problem of finding the exact leading constant for the threshold bias of the triangle game has been one of the famous open problems in combinatorial game theory. In fact, the constant is not known for any graph with a cycle and we do not even know if such a constant exists. Balogh and Samotij (2011) slightly improved the Chvátal-Erdős constant for Breaker's winning strategy from $2$ to $1.935$ with a randomized approach. Since then no progress was made. In this work, we present a new deterministic strategy for Breaker's win whenever $n$ is sufficiently large and $q\geq\sqrt{(8/3+o(1))n}\approx 1.633\sqrt{n}$, significantly reducing the gap towards the lower bound. In previous strategies Breaker chooses his edges such that one node is part of the last edge chosen by Maker, whereas the remaining node is chosen more or less arbitrarily. In contrast, we introduce a suitable potential function on the set of nodes. This allows Breaker to pick edges that connect the most `dangerous' nodes. The total potential of the game may still increase, even for several turns, but finally Breaker's strategy prevents the total potential of the game from exceeding a critical level and leads to Breaker's win.

We introduce a new bivariate polynomial which we call the defensive alliance polynomial and denote it by da(G; x, y). It is a generalization of the alliance polynomial [Carballosa et al., 2014] and the strong alliance polynomial [Carballosa et al., 2016]. We show the relation between da(G; x, y) and the alliance, the strong alliance and the induced connected subgraph [Tittmann et al., 2011] polynomials. Then, we investigate information encoded in da(G; x, y) about G. We discuss the defensive alliance polynomial for the path graphs, the cycle graphs, the star graphs, the double star graphs, the complete graphs, the complete bipartite graphs, the regular graphs, the wheel graphs, the open wheel graphs, the friendship graphs, the triangular book graphs and the quadrilateral book graphs. Also, we prove that the above classes of graphs are characterized by its defensive alliance polynomial. A relation between induced subgraphs with order three and both subgraphs with order three and size three and two respectively, is proved to characterize the complete bipartite graphs. Finally, we present the defensive alliance polynomial of the graph formed by attaching a vertex to a complete graph. We show two pairs of graphs which are not characterized by the alliance polynomial but characterized by the defensive alliance polynomial.

Given two graphs $G$ and $H$, the $k$-colored Gallai-Ramsey number $gr_k(G : H)$ is defined to be the minimum integer $n$ such that every $k$-coloring of the complete graph on $n$ vertices contains either a rainbow copy of $G$ or a monochromatic copy of $H$. In this paper, we consider $gr_k(K_3 : H)$ where $H$ is a connected graph with five vertices and at most six edges. There are in total thirteen graphs in this graph class, and the Gallai-Ramsey numbers for some of them have been studied step by step in several papers. We determine all the Gallai-Ramsey numbers for the remaining graphs, and we also obtain some related results for a class of unicyclic graphs.

Given a graph $G$ and $p \in [0,1]$, let $G_p$ denote the random subgraph of $G$ obtained by keeping each edge independently with probability $p$. Alon, Krivelevich, and Sudokov proved $\mathbb{E} [χ(G_p)] \geq C_p \frac{χ(G)}{\log |V(G)|}$, and Bukh conjectured an improvement of $\mathbb{E}[χ(G_p)] \geq C_p \frac{χ(G)}{\log χ(G)}$. We prove a new spectral lower bound on $\mathbb{E}[χ(G_p)]$, as progress towards Bukh's conjecture. We also propose the stronger conjecture that for any fixed $p \leq 1/2$, among all graphs of fixed chromatic number, $\mathbb{E}[χ(G_p)]$ is minimized by the complete graph. We prove this stronger conjecture when $G$ is planar or $χ(G) < 4$. We also consider weaker lower bounds on $\mathbb{E}[χ(G_p)]$ proposed in a recent paper by Shinkar; we answer two open questions of Shinkar negatively and propose a possible refinement of one of them.

We consider unavoidable chromatic patterns in $2$-colorings of the edges of the complete graph. Several such problems are explored being a junction point between Ramsey theory, extremal graph theory (Turán type problems), zero-sum Ramsey theory, and interpolation theorems in graph theory. A role-model of these problems is the following: Let $G$ be a graph with $e(G)$ edges. We say that $G$ is omnitonal if there exists a function ${\rm ot}(n,G)$ such that the following holds true for $n$ sufficiently large: For any $2$-coloring $f: E(K_n) \to \{red, blue \}$ such that there are more than ${\rm ot}(n,G)$ edges from each color, and for any pair of non-negative integers $r$ and $b$ with $r+b = e(G)$, there is a copy of $G$ in $K_n$ with exactly $r$ red edges and $b$ blue edges. We give a structural characterization of omnitonal graphs from which we deduce that omnitonal graphs are, in particular, bipartite graphs, and prove further that, for an omnitonal graph $G$, ${\rm ot}(n,G) = \mathcal{O}(n^{2 - \frac{1}{m}})$, where $m = m(G)$ depends only on $G$. We also present a class of graphs for which ${\rm ot}(n,G) = ex(n,G)$, the celebrated Turán numbers. Many more results and problems of similar flavor are presented.

The concept of a $1$-rotational factorization of a complete graph under a finite group $G$ was studied in detail by Buratti and Rinaldi. They found that if $G$ admits a $1$-rotational $2$-factorization, then the involutions of $G$ are pairwise conjugate. We extend their result by showing that if a finite group $G$ admits a $1$-rotational $k=2^nm$-factorization where $n\geq 1$, and $m$ is odd, then $G$ has at most $m(2^n-1)$ conjugacy classes containing involutions. Also, we show that if $G$ has exactly $m(2^n-1)$ conjugacy classes containing involutions, then the product of a central involution with an involution in one conjugacy class yields an involution in a different conjugacy class. We then demonstrate a method of constructing a $1$-rotational $2n$-factorization under $G \times \mathbb{Z}_n$ given a $1$-rotational $2$-factorization under a finite group $G$. This construction, given a $1$-rotational solution to the Oberwolfach problem $OP(a_{\infty},a_1, a_2 \cdots, a_n)$, allows us to find a solution to $OP(2a_{\infty}-1,^2a_1, ^2a_2\cdots, ^2a_n)$ when the $a_i$'s are even ($i \neq \infty$), and $OP(p(a_{\infty}-1)+1, ^pa_1, ^pa_2 \cdots, ^pa_n)$ when $p$ is an odd prime, with no restrictions on the $a_i$'s.