Colored Saturation Parameters for Bipartite Graphs

Let F and H be fixed graphs and let G be a spanning subgraph of H. G is an F-free subgraph of H if F is not a subgraph of G. We say that G is an F-saturated subgraph of H if G is F-free and for any edge e in E(H)-E(G), F is a subgraph of G+e. The saturation number of F in K_{n,n}, denoted sat(K_{n,n}, F), is the minimum size of an F-saturated subgraph of K_{n,n}. A t-edge-coloring of a graph G is a labeling f: E(G) to [t], where [t] denotes the set { 1, 2, ..., t }. The labels assigned to the edges are called colors. A rainbow coloring is a coloring in which all edges have distinct colors. Given a family F of edge-colored graphs, a t-edge-colored graph H is (F, t)-saturated if H contains no member of F but the addition of any edge in any color completes a member of F. In this thesis we study the minimum size of ( F,t)-saturated subgraphs of edge-colored complete bipartite graphs. Specifically we provide bounds on the minimum size of these subgraphs for a variety of families of edge-colored bipartite graphs, including monochromatic matchings, rainbow matchings, and rainbow stars

Rainbow saturation for complete graphs

We call an edge-colored graph rainbow if all of its edges receive distinct colors. An edge-colored graph $\Gamma$ is called $H$-rainbow saturated if $\Gamma$ does not contain a rainbow copy of $H$ and adding an edge of any color to $\Gamma$ creates a rainbow copy of $H$. The rainbow saturation number $sat(n,{R}(H))$ is the minimum number of edges in an $n$-vertex $H$-rainbow saturated graph. Gir\~{a}o, Lewis, and Popielarz conjectured that $sat(n,{R}(K_r))=2(r-2)n+O(1)$ for fixed $r\geq 3$. Disproving this conjecture, we establish that for every $r\geq 3$, there exists a constant $\alpha_r$ such that $$r + \Omega\left(r^{1/3}\right) \le \alpha_r \le r + r^{1/2} \qquad \text{and} \qquad sat(n,{R}(K_r)) = \alpha_r n + O(1).$$ Recently, Behague, Johnston, Letzter, Morrison, and Ogden independently gave a slightly weaker upper bound which was sufficient to disprove the conjecture. They also introduced the weak rainbow saturation number, and asked whether this is equal to the rainbow saturation number of $K_r$, since the standard weak saturation number of complete graphs equals the standard saturation number. Surprisingly, our lower bound separates the rainbow saturation number from the weak rainbow saturation number, answering this question in the negative. The existence of the constant $\alpha_r$ resolves another of their questions in the affirmative for complete graphs. Furthermore, we show that the conjecture of Gir\~{a}o, Lewis, and Popielarz is true if we have an additional assumption that the edge-colored $K_r$-rainbow saturated graph must be rainbow. As an ingredient of the proof, we study graphs which are $K_r$-saturated with respect to the operation of deleting one edge and adding two edges

A generalization of heterochromatic graphs

In 2006, Suzuki, and Akbari & Alipour independently presented a necessary and sufficient condition for edge-colored graphs to have a heterochromatic spanning tree, where a heterochromatic spanning tree is a spanning tree whose edges have distinct colors. In this paper, we propose $f$-chromatic graphs as a generalization of heterochromatic graphs. An edge-colored graph is $f$-chromatic if each color $c$ appears on at most $f(c)$ edges. We also present a necessary and sufficient condition for edge-colored graphs to have an $f$-chromatic spanning forest with exactly $m$ components. Moreover, using this criterion, we show that a $g$-chromatic graph $G$ of order $n$ with $|E(G)|>\binom{n-m}{2}$ has an $f$-chromatic spanning forest with exactly $m$ ($1 \le m \le n-1$) components if $g(c) \le \frac{|E(G)|}{n-m}f(c)$ for any color $c$.Comment: 14 pages, 4 figure

Saturation numbers for Ramsey-minimal graphs

Given graphs $H_1, \dots, H_t$, a graph $G$ is $(H_1, \dots, H_t)$-Ramsey-minimal if every $t$-coloring of the edges of $G$ contains a monochromatic $H_i$ in color $i$ for some $i\in\{1, \dots, t\}$, but any proper subgraph of $G$ does not possess this property. We define $\mathcal{R}_{\min}(H_1, \dots, H_t)$ to be the family of $(H_1, \dots, H_t)$-Ramsey-minimal graphs. A graph $G$ is \dfn{$\mathcal{R}_{\min}(H_1, \dots, H_t)$-saturated} if no element of $\mathcal{R}_{\min}(H_1, \dots, H_t)$ is a subgraph of $G$, but for any edge $e$ in $\overline{G}$, some element of $\mathcal{R}_{\min}(H_1, \dots, H_t)$ is a subgraph of $G + e$. We define $sat(n, \mathcal{R}_{\min}(H_1, \dots, H_t))$ to be the minimum number of edges over all $\mathcal{R}_{\min}(H_1, \dots, H_t)$-saturated graphs on $n$ vertices. In 1987, Hanson and Toft conjectured that $sat(n, \mathcal{R}_{\min}(K_{k_1}, \dots, K_{k_t}) )= (r - 2)(n - r + 2)+\binom{r - 2}{2}$ for $n \ge r$, where $r=r(K_{k_1}, \dots, K_{k_t})$ is the classical Ramsey number for complete graphs. The first non-trivial case of Hanson and Toft's conjecture for sufficiently large $n$ was setteled in 2011, and is so far the only settled case. Motivated by Hanson and Toft's conjecture, we study the minimum number of edges over all $\mathcal{R}_{\min}(K_3, \mathcal{T}_k)$-saturated graphs on $n$ vertices, where $\mathcal{T}_k$ is the family of all trees on $k$ vertices. We show that for $n \ge 18$, $sat(n, \mathcal{R}_{\min}(K_3, \mathcal{T}_4)) =\lfloor {5n}/{2}\rfloor$. For $k \ge 5$ and $n \ge 2k + (\lceil k/2 \rceil +1) \lceil k/2 \rceil -2$, we obtain an asymptotic bound for $sat(n, \mathcal{R}_{\min}(K_3, \mathcal{T}_k))$.Comment: to appear in Discrete Mathematic

The 1/N1/N expansion of tensor models with two symmetric tensors

It is well known that tensor models for a tensor with no symmetry admit a $1/N$ expansion dominated by melonic graphs. This result relies crucially on identifying \emph{jackets} which are globally defined ribbon graphs embedded in the tensor graph. In contrast, no result of this kind has so far been established for symmetric tensors because global jackets do not exist. In this paper we introduce a new approach to the $1/N$ expansion in tensor models adapted to symmetric tensors. In particular we do not use any global structure like the jackets. We prove that, for any rank $D$, a tensor model with two symmetric tensors and interactions the complete graph $K_{D+1}$ admits a $1/N$ expansion dominated by melonic graphs.Comment: misprints corrected, references adde

Near-colorings: non-colorable graphs and NP-completeness

A graph G is (d_1,..,d_l)-colorable if the vertex set of G can be partitioned into subsets V_1,..,V_l such that the graph G[V_i] induced by the vertices of V_i has maximum degree at most d_i for all 1 <= i <= l. In this paper, we focus on complexity aspects of such colorings when l=2,3. More precisely, we prove that, for any fixed integers k,j,g with (k,j) distinct form (0,0) and g >= 3, either every planar graph with girth at least g is (k,j)-colorable or it is NP-complete to determine whether a planar graph with girth at least g is (k,j)-colorable. Also, for any fixed integer k, it is NP-complete to determine whether a planar graph that is either (0,0,0)-colorable or non-(k,k,1)-colorable is (0,0,0)-colorable. Additionally, we exhibit non-(3,1)-colorable planar graphs with girth 5 and non-(2,0)-colorable planar graphs with girth 7