arXiv++ Combinatorics

Battle, Harary, and Kodama (1962) and independently Tutte (1963) proved that the complete graph with nine vertices is not biplanar. Aiming towards simplicity and brevity, in this note we provide a short proof of this claim.

We prove that every $n$-vertex graph with at least $\binom{n}{2} - (n - 4)$ edges has a fractional triangle decomposition, for $n \ge 7$. This is a key ingredient in our proof, given in a companion paper, that every $n$-vertex $2$-coloured complete graph contains $n^2/12 + o(n^2)$ edge-disjoint monochromatic triangles, which confirms a conjecture of Erdős.

The class of all even-hole-free graphs has unbounded tree-width, as it contains all complete graphs. Recently, a class of (even-hole, $K_4$)-free graphs was constructed, that still has unbounded tree-width [Sintiari and Trotignon, 2019]. The class has unbounded degree and contains arbitrarily large clique-minors. We ask whether this is necessary. We prove that for every graph $G$, if $G$ excludes a fixed graph $H$ as a minor, then $G$ either has small tree-width, or $G$ contains a large wall or the line graph of a large wall as induced subgraph. This can be seen as a strengthening of Robertson and Seymour's excluded grid theorem for the case of minor-free graphs. Our theorem implies that every class of even-hole-free graphs excluding a fixed graph as a minor has bounded tree-width. In fact, our theorem applies to a more general class: (theta, prism)-free graphs. This implies the known result that planar even hole-free graph have bounded tree-width [da Silva and Linhares Sales, Discrete Applied Mathematics 2010]. We conjecture that even-hole-free graphs of bounded degree have bounded tree-width. If true, this would mean that even-hole-freeness is testable in the bounded-degree graph model of property testing. We prove the conjecture for subcubic graphs and we give a bound on the tree-width of the class of (even hole, pyramid)-free graphs of degree at most 4.

In this paper, we study the domination number of middle graphs. Indeed, we obtain tight bounds for this number in terms of the order of the graph. We also compute the domination number of some families of graphs such as star graphs, double start graphs, path graphs, cycle graphs, wheel graphs, complete graphs, complete bipartite graphs and friendship graphs, explicitly. Moreover, some Nordhaus-Gaddum-like relations are presented for the domination number of middle graphs.

A spanning tree of an edge-colored graph is rainbow provided that each of its edges receives a distinct color. In this paper we consider the natural extremal problem of maximizing and minimizing the number of rainbow spanning trees in a graph $G$. Such a question clearly needs restrictions on the colorings to be meaningful. For edge-colorings using $n-1$ colors and without rainbow cycles, known in the literature as JL-colorings, there turns out to be a particularly nice way of counting the rainbow spanning trees and we solve this problem completely for JL-colored complete graphs $K_n$ and complete bipartite graphs $K_{n,m}$. In both cases, we find tight upper and lower bounds; the lower bound for $K_n$, in particular, proves to have an unexpectedly chaotic and interesting behavior. We further investigate this question for JL-colorings of general graphs and prove several results including characterizing graphs which have JL-colorings achieving the lowest possible number of rainbow spanning trees. We establish other results for general $n-1$ colorings, including providing an analogue of Kirchoff's matrix tree theorem which yields a way of counting rainbow spanning trees in a general graph $G$.

In this paper, we introduce the clique-blew up graph $CL(G)$ of a given graph $G$, which is obtained from $G$ by replacing each edge of $G$ with a complete graph $K_n$. We characterize all the normalized Laplacian spectrum of the grpah $CL(G)$ in term of the given graph $G$. Based on the spectrum obtained, the formulae to calculate the multiplicative degree-Kirchhoff index, the Kemeny's constant and the number of spanning trees of $CL(G)$ are derived well. Finally, the spectrum and indexes of the clique-blew up iterative graphs are present.

Given a finite set $V$, a convexity $\mathscr{C}$, is a collection of subsets of $V$ that contains both the empty set and the set $V$ and is closed under intersections. The elements of $\mathscr{C}$ are called convex sets. The digital convexity, originally proposed as a tool for processing digital images, is defined as follows: a subset $S\subseteq V(G)$ is digitally convex if, for every $v\in V(G)$, we have $N[v]\subseteq N[S]$ implies $v\in S$. The number of cyclic binary strings with blocks of length at least $k$ is expressed as a linear recurrence relation for $k\geq 2$. A bijection is established between these cyclic binary strings and the digitally convex sets of the $(k-1)^{th}$ power of a cycle. A closed formula for the number of digitally convex sets of the Cartesian product of two complete graphs is derived. A bijection is established between the digitally convex sets of the Cartesian product of two paths, $P_n \square P_m$, and certain types of $n \times m$ binary arrays.

As introduced by Bollobás, a graph $G$ is weakly $H$-saturated if the complete graph $K_n$ is obtained by iteratively completing copies of $H$ minus an edge. For all graphs $H$, we obtain an asymptotic lower bound for the critical threshold $p_c$, at which point the Erdős--Rényi graph ${\mathcal G}_{n,p}$ is likely to be weakly $H$-saturated. We also prove an upper bound for $p_c$, for all $H$ which are, in a sense, strictly balanced. In particular, we improve the upper bound by Balogh, Bollob{á}s and Morris for $H=K_r$, and we conjecture that this is sharp up to constants.

Let $G$ be a connected undirected graph on $n$ vertices with no loops but possibly multiedges. Given an arithmetical structure $(\textbf{r}, \textbf{d})$ on $G$, we describe a construction which associates to it a graph $G'$ on $n-1$ vertices and an arithmetical structure $(\textbf{r}', \textbf{d}')$ on $G'$. By iterating this construction, we derive an upper bound for the number of arithmetical structures on $G$ depending only on the number of vertices and edges of $G$. In the specific case of complete graphs, possibly with multiple edges, we refine and compare our upper bounds to those arising from counting unit fraction representations.

In an edge-colored graph $(G,c)$, let $d^c(v)$ denote the number of colors on the edges incident with a vertex $v$ of $G$ and $δ^c(G)$ denote the minimum value of $d^c(v)$ over all vertices $v\in V(G)$. A cycle of $(G,c)$ is called proper if any two adjacent edges of the cycle have distinct colors. An edge-colored graph $(G,c)$ on $n\geq 3$ vertices is called properly vertex-pancyclic if each vertex of $(G,c)$ is contained in a proper cycle of length $\ell$ for every $\ell$ with $3 \le \ell \le n$. Fujita and Magnant conjectured that every edge-colored complete graph on $n\geq 3$ vertices with $δ^c(G)\geq \frac{n+1}{2}$ is properly vertex-pancyclic. Chen, Huang and Yuan partially solve this conjecture by adding an extra condition that $(G,c)$ does not contain any monochromatic triangle. In this paper, we show that this conjecture is true if the edge-colored complete graph contain no joint monochromatic triangles.

This paper offers a systematic study of a family of graphs called amoebas. Amoebas recently emerged from the study of forced patterns in $2$-colorings of the edges of the complete graph in the context of Ramsey-Turan theory and played an important role in extremal zero-sum problems. Amoebas are graphs with a unique behavior with regards to the following operation: Let $G$ be a graph and let $e\in E(G)$ and $e'\in E(\overline{G})$. If the graph $G'=G-e+e'$ is isomorphic to $G$, we say $G'$ is obtained from $G$ by performing a \emph{feasible edge-replacement}. We call $G$ a \emph{local amoeba} if, for any two copies $G_1$, $G_2$ of $G$ on the same vertex set, $G_1$ can be transformed into $G_2$ by a chain of feasible edge-replacements. On the other hand, $G$ is called \emph{global amoeba} if there is an integer $t_0 \ge 0$ such that $G \cup tK_1$ is a local amoeba for all $t \ge t_0$. To model the dynamics of the feasible edge-replacements of $G$, we define a group ${\rm Fer}(G)$ that satisfies that $G$ is a local amoeba if and only if ${\rm Fer}(G) \cong S_n$, where $n$ is the order of $G$. Via this algebraic setting, a deeper understanding of the structure of amoebas and their intrinsic properties comes into light. Moreover, we present different constructions that prove the richness of these graph families showing, among other things, that any connected graph can be a connected component of a global amoeba, that global amoebas can be very dense and that they can have, in proportion to their order, large clique and chromatic numbers. Also, a family of global amoeba trees with a Fibonacci-like structure and with arbitrary large maximum degree is constructed.

Recently, Li et al. [Appl. Math. Comput. 382 (2020) 125335] proposed the problem of determining the Kirchhoff index and multiplicative degree-Kirchhoff index of graphs derived from $S_n \times K_2$, the Catersian product of the star $S_n$ and the complete graph $K_2$. In the present paper, we completely solve this problem. That is, the explicit closed-form formulae of Kirchhoff index, multiplicative degree-Kirchhoff index, and number of spanning trees are obtained for some graphs derived from $S_n \times K_2$.

Large sets of combinatorial designs has always been a fascinating topic in design theory. These designs form a partition of the whole space into combinatorial designs with the same parameters. In particular, a large set of block designs, whose blocks are of size $k$ taken from an $n$-set, is a partition of all the $k$-subsets of the $n$-set into disjoint copies of block designs, defined on the $n$-set, and with the same parameters. The current most intriguing question in this direction is whether large sets of Steiner quadruple systems exist and to provide explicit constructions for those parameters for which they exist. In view of its difficulty no one ever presented an explicit construction even for one nontrivial order. Hence, we seek for related generalizations. As generalizations, to the existence question of large sets, we consider two related questions. The first one to provide constructions for sets on Steiner systems in which each block (quadruple or a $k$-subset) is contained in exactly $μ$ systems. The second question is to provide constructions for large set of H-designs (mainly for quadruples, but also for larger block size). We prove the existence of such systems for many parameters using orthogonal arrays, perpendicular arrays, ordered designs, sets of permutations, and one-factorizations of the complete graph.

We prove that every family of (not necessarily distinct) odd cycles $O_1, \dots, O_{2\lceil n/2 \rceil-1}$ in the complete graph $K_n$ on $n$ vertices has a rainbow odd cycle (that is, a set of edges from distinct $O_i$'s, forming an odd cycle). As part of the proof, we characterize those families of $n$ odd cycles in $K_{n+1}$ that do not have any rainbow odd cycle. We also characterize those families of $n$ cycles in $K_{n+1}$, as well as those of $n$ edge-disjoint nonempty subgraphs of $K_{n+1}$, without any rainbow cycle.

A class ${\cal F}$ of graphs is called {\em tame} if there exists a constant $k$ so that every graph in ${\cal F}$ on $n$ vertices contains at most $O(n^k)$ minimal separators, {\em strongly-quasi-tame} if every graph in ${\cal F}$ on $n$ vertices contains at most $O(n^{k \log n})$ minimal separators, and {\em feral} if there exists a constant $c > 1$ so that ${\cal F}$ contains $n$-vertex graphs with at least $c^n$ minimal separators for arbitrarily large $n$. The classification of graph classes into tame or feral has numerous algorithmic consequences, and has recently received considerable attention. A key graph-theoretic object in the quest for such a classification is the notion of a $k$-{\em creature}. In a recent manuscript [Abrishami et al., Arxiv 2020] conjecture that every hereditary class ${\cal F}$ that excludes $k$-creatures for some fixed constant $k$ is tame. We give a counterexample to this conjecture and prove the weaker result that a hereditary class ${\cal F}$ is strongly quasi-tame if it excludes $k$-creatures for some fixed constant $k$ and additionally every minimal separator can be dominated by another fixed constant $k'$ number of vertices. The tools developed also lead to a number of additional results of independent interest. {\bf (i) We obtain a complete classification of all hereditary graph classes defined by a finite set of forbidden induced subgraphs into strongly quasi-tame or feral. This generalizes Milanič and Pivač [WG'19]. {\bf (ii)} We show that hereditary class that excludes $k$-creatures and additionally excludes all cycles of length at least $c$, for some constant $c$, are tame. This generalizes the result of [Chudnovsky et al., Arxiv 2019]. {\bf (iii)} We show that every hereditary class that excludes $k$-creatures and additionally excludes a complete graph on $c$ vertices for some fixed constant $c$ is tame.

We study the homological algebra of edge ideals of Erdös-Rényi random graphs. These random graphs are generated by deleting edges of a complete graph on $n$ vertices independently of each other with probability $1-p$. We focus on some aspects of these random edge ideals - linear resolution, unmixedness and algebraic invariants like the Castelnuovo-Mumford regularity, projective dimension and depth. We first show a double phase transition for existence of linear presentation and resolution and determine the critical windows as well. As a consequence, we obtain that except for a very specific choice of parameters (i.e., $n,p := p(n)$), with high probability, a random edge ideal has linear presentation if and only if it has linear resolution. This shows certain conjectures hold true for large random graphs with high probability even though the conjectures were shown to fail for determinstic graphs. Next, we study asymptotic behaviour of some algebraic invariants - the Castelnuovo-Mumford regularity, projective dimension and depth - of such random edge ideals in the sparse regime (i.e., $p = \fracλ{n}, λ\in (0,\infty)$). These invariants are studied using local weak convergence (or Benjamini-Schramm convergence) and relating them to invariants on Galton-Watson trees. We also show that when $p \to 0$ or $p \to 1$ fast enough, then with high probability the edge ideals are unmixed and for most other choices of $p$, these ideals are not unmixed with high probability. This is further progress towards the conjecture that random monomial ideals are unlikely to have Cohen-Macaulay property (see De Loera et al. 2019a,2019b) in the setting when the number of variables goes to infinity but the degree is fixed.

We consider $2$-colourings $f : E(G) \rightarrow \{ -1 ,1 \}$ of the edges of a graph $G$ with colours $-1$ and $1$ in $\mathbb{Z}$. A subgraph $H$ of $G$ is said to be a zero-sum subgraph of $G$ under $f$ if $f(H) := \sum_{e\in E(H)} f(e) =0$. We study the following type of questions, in several cases obtaining best possible results: Under which conditions on $|f(G)|$ can we guarantee the existence of a zero-sum spanning tree of $G$? The types of $G$ we consider are complete graphs, $K_3$-free graphs, $d$-trees, and maximal planar graphs. We also answer the question of when any such colouring contains a zero-sum spanning path or a zero-sum spanning tree of diameter at most $3$, showing in passing that the diameter-$3$ condition is best possible. Finally, we give, for $G = K_n$, a sharp bound on $|f(K_n)|$ by which an interesting zero-sum connectivity property is forced, namely that any two vertices are joined by a zero-sum path of length at most $4$. One feature of this paper is the proof of an Interpolation Lemma leading to a Master Theorem from which many of the above results follow and which can be of independent interest.

Given a graph $G$ and a positive integer $k$, define the \emph{Gallai-Ramsey number} to be the minimum number of vertices $n$ such that any $k$-edge coloring of the complete graph $K_n$ contains either a rainbow (all different colored) triangle or a monochromatic copy of $G$. In this paper, we obtain the exact value of the Gallai-Ramsey numbers for the union of two stars in many cases and bounds in other cases. This work represents the first class of disconnected graphs to be considered as the desired monochromatic subgraph.

For two graphs $G,H$ and a positive integer $k$, the \emph{Gallai-Ramsey number} $\operatorname{gr}_k(G,H)$ is defined as the minimum number of vertices $n$ such that any $k$-edge-coloring of $K_n$ contains either a rainbow (all different colored) copy of $G$ or a monochromatic copy of $H$. If $G$ and $H$ are both complete graphs, then we call it Gallai-Ramsey function. Fox and Sudakov proved $\operatorname{gr}_k(K_s,K_t)\leq s^{4kt}$. Alon et al. showed that $\operatorname{gr}_k(K_s,K_t)\leq (2s^3+4s^2)^{kt}$. In this paper, we prove that $\operatorname{gr}_k(K_s,K_t)\leq 2^{kt}s^{3kt}$ for $t\geq 47$. We also give better upper bounds for $\operatorname{gr}_k(G,H)$ when $G,H$ are some special graphs. In this paper, we derive some lower bounds for Gallai-Ramsey functions and numbers by Lovász Local Lemma.

We obtain a general formula for the resistance distance (or effective resistance) between any pair of nodes in a general family of graphs which we call flower graphs. Flower graphs are obtained from identifying nodes of multiple copies of a given base graph in a cyclic way. We apply our general formula to two specific families of flower graphs, where the base graph is either a complete graph or a cycle. We also obtain bounds on the Kirchhoff index and Kemeny's constant of general flower graphs using our formula for resistance. For flower graphs whose base graph is a complete graph or a cycle, we obtain exact, closed form expressions for the Kirchhoff index and Kemeny's constant.