Showing 1–50 of 71 results for author: Caro, Y

Nordhaus-Gaddum-type theorems for maximum average degree

Authors: Yair Caro, Zsolt Tuza

Abstract: A $k$-decomposition $(G_1,\dots,G_k)$ of a graph $G$ is a partition of its edge set into $k$ spanning subgraphs $G_1,\dots,G_k$. The classical theorem of Nordhaus and Gaddum bounds $χ(G_1) + χ(G_2)$ and $χ(G_1) χ(G_2)$ over all 2-decompositions of $K_n$. For a graph parameter $p$, let $p(k,G) = \max \{ \sum_{i=1}^k p(Gi) \}$, taken over all $k$-decompositions of graph $G$. In this paper we consi… ▽ More A $k$-decomposition $(G_1,\dots,G_k)$ of a graph $G$ is a partition of its edge set into $k$ spanning subgraphs $G_1,\dots,G_k$. The classical theorem of Nordhaus and Gaddum bounds $χ(G_1) + χ(G_2)$ and $χ(G_1) χ(G_2)$ over all 2-decompositions of $K_n$. For a graph parameter $p$, let $p(k,G) = \max \{ \sum_{i=1}^k p(Gi) \}$, taken over all $k$-decompositions of graph $G$. In this paper we consider $M(k,K_n) = M(k,n) = \max \{ \sum_{i=1}^k \mathrm{Mad}(G_i) \}$, taken over all $k$-decompositions of the complete graph $K_n$, where $\mathrm{Mad}(G)$ denotes the maximum average degree of $G$, $\mathrm{Mad}(G) = \max \{ 2e(H)/|H| : H \subseteq G \} = \max \{d(H) : H \subseteq G \}$. Among the many results obtained in this paper we mention the following selected ones. (1) $M(k, n) < \sqrt{k} n$, and $\lim_{k\to\infty} ( \liminf_{n\to\infty} \frac{M(k,n)}{\sqrt{k}\,n} ) = 1$. (2) Exact determination of $M(2,n)$. (3) Exact determination of $M(k,n)$ when $k = \binom{n}{2} - t$, $0 \leq t\leq (n-1)^2/3$. Applications of these bounds to other parameters considered before in the literature are given. △ Less

Submitted 8 May, 2025; originally announced May 2025.

Comments: 46 pages

MSC Class: 05B05; 05C07; 05C35

Bipartite Turán number of trees

Authors: Yair Caro, Balázs Patkós, Zsolt Tuza

Abstract: We start a systematic investigation concerning bipartite Turán number for trees. For a graph $F$ and integers $1 \leq a \leq b$ we define: $(i)$\quad $ex_b(a, b, F)$ is the largest number of edges that an $F$-free bipartite graph can have with part sizes $a$ and $b$. We write $ex_b(n, F)$ for $ex_b(n, n, F)$. $(ii)$\quad $ex_{b,c}(a, b, F)$ is the largest number of edges that an $F$-free conne… ▽ More We start a systematic investigation concerning bipartite Turán number for trees. For a graph $F$ and integers $1 \leq a \leq b$ we define: $(i)$\quad $ex_b(a, b, F)$ is the largest number of edges that an $F$-free bipartite graph can have with part sizes $a$ and $b$. We write $ex_b(n, F)$ for $ex_b(n, n, F)$. $(ii)$\quad $ex_{b,c}(a, b, F)$ is the largest number of edges that an $F$-free connected, bipartite graph can have with part sizes $a$ and $b$. We write $ex_{b,c}(n, F)$ for $ex{b,c}(n, n, F)$. Both definitions are similar for a family $\mathcal{F}$ of graphs. We prove general lower bounds depending on the maximum degree of $F$, as well as on the cardinalities of the two vertex classes of $F$. We derive upper and lower bounds for $ex_b(n,F)$ in terms of $ex(2n,F)$ and $ex(n, F)$, the corresponding classical (not bipartite) Turán numbers. We solve both problems for various classes of graphs, including all trees up to six vertices for any $n$, for double stars $D_{s ,t}$ if $a \geq f(s,t )$, for some families of spiders, and more. We use these results to supply an answer to a problem raised by L. T. Yuan and X. D. Zhang [{\it Graphs and Combinatorics}, 2017] concerning $ex_b( n, \mathcal{T}_{k,\ell} )$, where $\mathcal{T}_{k,\ell}$ is the family of all trees with vertex classes of respective cardinalities $k$ and $\ell$. The asymptotic worst-case ratios between Turán-type functions are also inverstigated. △ Less

Submitted 13 February, 2025; originally announced February 2025.

On zero-sum Ramsey numbers modulo 3

Authors: Yair Caro, Xandru Mifsud

Abstract: We start with a systematic study of the zero-sum Ramsey numbers. For a graph $G$ with $0 \ (\!\!\!\!\mod 3)$ edges, the zero-sum Ramsey number is defined as the smallest positive integer $R(G, \mathbb{Z}_3)$ such that for every $n \geq R(G, \mathbb{Z}_3)$ and every edge-colouring $f$ of $K_n$ using $\mathbb{Z}_3$, there is a zero-sum copy of $G$ in $K_n$ coloured by $f$, that is:… ▽ More We start with a systematic study of the zero-sum Ramsey numbers. For a graph $G$ with $0 \ (\!\!\!\!\mod 3)$ edges, the zero-sum Ramsey number is defined as the smallest positive integer $R(G, \mathbb{Z}_3)$ such that for every $n \geq R(G, \mathbb{Z}_3)$ and every edge-colouring $f$ of $K_n$ using $\mathbb{Z}_3$, there is a zero-sum copy of $G$ in $K_n$ coloured by $f$, that is: $\sum_{e \in E(G)} f(e) \equiv 0 \ (\!\!\!\!\mod 3)$. Only sporadic results are known for these Ramsey numbers, and we discover many new ones. In particular we prove that for every forest $F$ on $n$ vertices and with $0 \ (\!\!\!\!\mod 3)$ edges, $R(F, \mathbb{Z}_3) \leq n+2$, and this bound is tight if all the vertices of $F$ have degrees $1 \ (\!\!\!\!\mod 3)$. We also determine exact values of $R(T, \mathbb{Z}_3)$ for infinite families of trees. △ Less

Submitted 6 February, 2025; originally announced February 2025.

Comments: 17 pages, 6 figures

MSC Class: 05C15; 05C35; 05C55; 05D10

Monochromatic graph decompositions and monochromatic piercing inspired by anti-Ramsey colorings

Authors: Yair Caro, Zsolt Tuza

Abstract: Anti-Ramsey theory was initiated in 1975 by Erdős, Simonovits and Sós, inspiring hundreds of publications since then. The present work is the third and last piece of our trilogy in which we introduce a far-reaching generalization via the following two functions for any graph $G$ and family ${\cal F}$ of graphs: If $K_2 \in {\cal F}$, let $f(n,G|{\cal F})$ be the smallest integer $k$ such that ev… ▽ More Anti-Ramsey theory was initiated in 1975 by Erdős, Simonovits and Sós, inspiring hundreds of publications since then. The present work is the third and last piece of our trilogy in which we introduce a far-reaching generalization via the following two functions for any graph $G$ and family ${\cal F}$ of graphs: If $K_2 \in {\cal F}$, let $f(n,G|{\cal F})$ be the smallest integer $k$ such that every edge coloring of $K_n$ with at least $k$ colors forces a copy of $G$ in which all color classes are members of ${\cal F}$. If $K_2 \notin {\cal F}$, let $g(n,G|{\cal F})$ be the largest integer $k$ for which there exists an edge coloring of $K_n$ using exactly $k$ colors, such that every copy of $G$ contains an induced color class which is a member of ${\cal F}$. We develop methods suitable for deriving asymptotically tight results for the $f$-function and the $g$-function for many combinations of $G$ and ${\cal F}$. The preceding parts of the trilogy are arXiv: 2405.19812 and 2408.04257, published in Discrete Applied Math. Vol. 363 and Mathematics Vol. 12:23, respectively. △ Less

Submitted 16 January, 2025; originally announced January 2025.

Comments: 64 pages; related articles: arXiv:2405.19812, arXiv:2408.04257

Independence, induced subgraphs, and domination in $K_{1,r}$-free graphs

Authors: Yair Caro, Randy Davila, Michael A. Henning, Ryan Pepper

Abstract: Let $G$ be a graph and $\mathcal{F}$ a family of graphs. Define $α_{\mathcal{F}}(G)$ as the maximum order of any induced subgraph of $G$ that belongs to the family $\mathcal{F}$. For the family $\mathcal{F}$ of graphs with \emph{chromatic number} at most~$k$, we prove that if $G$ is $K_{1,r}$-free, then $α_{\mathcal{F}}(G) \le (r-1)kγ(G)$, where $γ(G)$ is the \emph{domination number}. When… ▽ More Let $G$ be a graph and $\mathcal{F}$ a family of graphs. Define $α_{\mathcal{F}}(G)$ as the maximum order of any induced subgraph of $G$ that belongs to the family $\mathcal{F}$. For the family $\mathcal{F}$ of graphs with \emph{chromatic number} at most~$k$, we prove that if $G$ is $K_{1,r}$-free, then $α_{\mathcal{F}}(G) \le (r-1)kγ(G)$, where $γ(G)$ is the \emph{domination number}. When $\mathcal{F}$ is the family of empty graphs, this bound simplifies to $α(G) \le 2γ(G)$ for $K_{1,3}$-free (claw-free) graphs, where $α(G)$ is the \emph{independence number} of $G$. For $d$-regular graphs, this is further refined to the bound $α(G) \le 2\left(\frac{d+1}{d+2}\right)γ(G)$, which is tight for $d \in \{2, 3, 4\}$. Using Ramsey theory, we extend this framework to edge-hereditary graph families, showing that for $K_{1,r}$-free graphs, we have $α_{\mathcal{F}}(G) \le r(K_r, \mathcal{F^*})γ(G)$, where $\mathcal{F^*}$ is the set of graphs not in $\mathcal{F}$. Specializing to $K_q$-free graphs, we show $α_{\mathcal{F}}(G) \le (r(K_q, K_r) - 1)γ(G)$. Finally, for the \emph{$k$-independence number} $α_k(G)$, we prove that if $G$ is $K_{1,r}$-free with order $n$ and minimum degree $δ\ge k+1$, \[ α_k(G) \le \left( \frac{(r-1)(k+1)}{δ- k + (r-1)(k+1)} \right) n, \] and this bound is sharp for all parameters. △ Less

Submitted 9 January, 2025; originally announced January 2025.

On strong odd colorings of graphs

Authors: Yair Caro, Mirko Petruševski, Riste Škrekovski, Zsolt Tuza

Abstract: A strong odd coloring of a simple graph $G$ is a proper coloring of the vertices of $G$ such that for every vertex $v$ and every color $c$, either $c$ is used an odd number of times in the open neighborhood $N_G(v)$ or no neighbor of $v$ is colored by $c$. The smallest integer $k$ for which $G$ admits a strong odd coloring with $k$ colors is the strong odd chromatic number, $χ_{soc}(G)$. These col… ▽ More A strong odd coloring of a simple graph $G$ is a proper coloring of the vertices of $G$ such that for every vertex $v$ and every color $c$, either $c$ is used an odd number of times in the open neighborhood $N_G(v)$ or no neighbor of $v$ is colored by $c$. The smallest integer $k$ for which $G$ admits a strong odd coloring with $k$ colors is the strong odd chromatic number, $χ_{soc}(G)$. These coloring notion and graph parameter were recently defined in [H. Kwon and B. Park, Strong odd coloring of sparse graphs, ArXiv:2401.11653v2]. We answer a question raised by the originators concerning the existence of a constant bound for the strong odd chromatic number of all planar graphs. We also consider strong odd colorings of trees, unicyclic graphs and graph products. △ Less

Submitted 3 October, 2024; originally announced October 2024.

Comments: 26 pages

Graphs with constant links and induced Turán numbers

Authors: Yair Caro, Adriana Hansberg, Zsolt Tuza

Abstract: A graph $G$ of constant link $L$ is a graph in which the neighborhood of any vertex induces a graph isomorphic to $L$. Given two different graphs, $H$ and $G$, the induced Turán number ${\rm ex}(n; H, G{\rm -ind})$ is defined as the maximum number of edges in an $n$-vertex graph having no subgraph isomorphic to $H$ and no copy from $G$ as an induced subgraph. Our main motivation in this paper is… ▽ More A graph $G$ of constant link $L$ is a graph in which the neighborhood of any vertex induces a graph isomorphic to $L$. Given two different graphs, $H$ and $G$, the induced Turán number ${\rm ex}(n; H, G{\rm -ind})$ is defined as the maximum number of edges in an $n$-vertex graph having no subgraph isomorphic to $H$ and no copy from $G$ as an induced subgraph. Our main motivation in this paper is to establish a bridge between graphs with constant link and induced Turán numbers via the class of $t$-regular, $k$-uniform (linear) hypergraphs of girth at least $4$, as well as to present several methods of constructing connected graphs with constant link. We show that, for integers $t \geq 3$ and $k \geq 3$, ${\rm ex}(n; C_k, K_{1,t}{\rm -ind}) \leq (k - 2)(t - 1)n/2$ and that equality holds for infinitely many values of $n$. This result is built upon the existence of graphs with constant link $tL$ with restricted cycle length, which we prove in another theorem. More precisely, we show that, given a graph $F$ with constant link $L$ and circumference $c$, then, for all integers $t \geq 2$ and $g > c$, there exists a graph with constant link $tL$ which is free of cycles of length $l$, for all $c < l < g$. We provide two proofs of this result using distinct approaches. We further present constructions of graphs with constant links $tL$, $t \geq 2$, and restricted cycle length based on Steiner Systems. Finally, starting from a connected graph of constant link $tL$, for $t \geq 2$, having order $n$ and restricted cycle lengths, we provide a method to construct an infinite collection of connected graphs of constant link $tL$ that preserves the cycle length restriction, and whose orders form an arithmetic progression $qn$, $q \geq 1$. △ Less

Submitted 19 September, 2024; originally announced September 2024.

Comments: 23 pages, 5 figures

MSC Class: 05B05; 05B25; 05C35; 05C65

Comparing the $p$-independence number of regular graphs to the $q$-independence number of their line graphs

Authors: Yair Caro, Randy Davila, Ryan Pepper

Abstract: Let $G$ be a simple graph and let $L(G)$ denote the \emph{line graph} of $G$. A \emph{$p$-independent} set in $G$ is a set of vertices $S \subseteq V(G)$ such that the subgraph induced by $S$ has maximum degree at most $p$. The \emph{$p$-independence number} of $G$, denoted by $α_p(G)$, is the cardinality of a maximum $p$-independent set in $G$. In this paper, and motivated by the recent result th… ▽ More Let $G$ be a simple graph and let $L(G)$ denote the \emph{line graph} of $G$. A \emph{$p$-independent} set in $G$ is a set of vertices $S \subseteq V(G)$ such that the subgraph induced by $S$ has maximum degree at most $p$. The \emph{$p$-independence number} of $G$, denoted by $α_p(G)$, is the cardinality of a maximum $p$-independent set in $G$. In this paper, and motivated by the recent result that independence number is at most matching number for regular graphs~\cite{CaDaPe2020}, we investigate which values of the non-negative integers $p$, $q$, and $r$ have the property that $α_p(G) \leq α_q(L(G))$ for all r-regular graphs. Triples $(p, q, r)$ having this property are called \emph{valid $α$-triples}. Among the results we prove are: \begin{itemize} \item $(p, q, r)$ is valid $α$-triple for $p \geq 0$, $q \geq 3$ , and $r\geq 2$. \item $(p, q, r)$ is valid $α$-triple for $p \leq q < 3$ and $r\geq 2$. \item $(p, q, r)$ is valid $α$-triple for $p \geq 0$, $q = 2$, and $r$ even. \item $(p, q, r)$ is valid $α$-triple for $p \geq 0$, $q = 2$, and $r$ odd with $r = \max \Big \{ 3, \frac{17(p+1)}{16}\Big \}$. \end{itemize} We also show a close relation between undetermined possible valid $α$-triples, the Linear Aboricity Conjecture, and the Path-Cover Conjecture. △ Less

Submitted 9 May, 2025; v1 submitted 4 September, 2024; originally announced September 2024.

Monochromatic graph decompositions inspired by anti-Ramsey theory and the odd-coloring problem

Authors: Yair Caro, Zsolt Tuza

Abstract: We consider extremal edge-coloring problems inspired by the theory of anti-Ramsey / rainbow coloring, and further by odd-colorings and conflict-free colorings. Let $G$ be a graph, and $F$ any given family of graphs. For every integer $n \geq |G|$, let $f(n,G|F)$ denote the smallest integer $k$ such that any edge coloring of the complete graph $K_n$ with at least $k$ colors forces a copy of $G$ i… ▽ More We consider extremal edge-coloring problems inspired by the theory of anti-Ramsey / rainbow coloring, and further by odd-colorings and conflict-free colorings. Let $G$ be a graph, and $F$ any given family of graphs. For every integer $n \geq |G|$, let $f(n,G|F)$ denote the smallest integer $k$ such that any edge coloring of the complete graph $K_n$ with at least $k$ colors forces a copy of $G$ in which each color class induces a member of $F$. Observe that in anti-Ramsey problems each color class is a single edge; i.e., $F=\{K_2\}$. In our previous paper [arXiv:2405.19812], attention was given mostly to the case where $F$ is hereditary under subgraph inclusion. In the present work we consider coloring problems inspired by odd-coloring and conflict-free coloring. As we shall see, dealing with these problems requires distinct additional tools to those used in our first paper on the subject. Among the many results introduced in this paper, we mention: (1) For every graph $G$, there exists a constant $c=c(G)$ such that in any edge coloring of $K_n$ with at least $cn$ colors there is a copy of $G$ in which every vertex $v$ is incident with an edge whose color appears only once among all edges incident with $v$. (2) In sharp contrast to the above result we prove that if $F$ is the class of all odd graphs (having vertices with odd degrees only) then $f(n,K_k|F)=(1+o(1))$ex$(n,K_{\lceil k/2 \rceil})$, which is quadratic for $k \geq 5$. (3) We exactly determine $f(n,G|F)$ for small graphs when $F$ belongs to several families representing various odd/even coloring constraints. △ Less

Submitted 8 August, 2024; originally announced August 2024.

Comments: 56 pages

Journal ref: Mathematics 2024, 12(23), 3665

Monochromatic graph decompositions inspired by anti-Ramsey colorings

Authors: Yair Caro, Zsolt Tuza

Abstract: We consider coloring problems inspired by the theory of anti-Ramsey / rainbow colorings that we generalize to a far extent. Let $\mathcal{F}$ be a hereditary family of graphs; i.e., if $H\in \mathcal{F}$ and $H'\subset H$ then also $H'\subset \mathcal{F}$. For a graph $G$ and any integer $n \geq |G|$, let $f(n,G|\mathcal{F})$ denote the smallest number $k$ of colors such that any edge coloring o… ▽ More We consider coloring problems inspired by the theory of anti-Ramsey / rainbow colorings that we generalize to a far extent. Let $\mathcal{F}$ be a hereditary family of graphs; i.e., if $H\in \mathcal{F}$ and $H'\subset H$ then also $H'\subset \mathcal{F}$. For a graph $G$ and any integer $n \geq |G|$, let $f(n,G|\mathcal{F})$ denote the smallest number $k$ of colors such that any edge coloring of $K_n$ with at least $k$ colors forces a copy of $G$ in which each color class induces a member of $\mathcal{F}$. The case $\mathcal{F} = \{K_2\}$ is the notorious anti-Ramsey / rainbow coloring problem introduced by Erdős, Simonovits and Sós in 1973. Using the $\mathcal{F}$-deck of $G$, $D(G|\mathcal{F}) = \{ H : H = G - D, \, D \in \mathcal{F}\}$, we define $χ_\mathcal{F}(G) = \min \{ χ(H) : H \in D(G|\mathcal{F}) \}$. The main theorem we prove is: Suppose $\mathcal{F}$ is a hereditary family of graphs, and let $G$ be a graph not a member of $\mathcal{F}$. (1) If $χ_\mathcal{F}(G) \geq 3$, then $f(n, G |\mathcal{F}) = (1+o(1)) \, ex(n, K_{χ_\mathcal{F}(G)})$. (2) Otherwise $f(n, G |\mathcal{F}) = o(n^2)$. Among the families covered by this theorem are: matchings, acyclic graphs, planar and outerplanar graphs, $d$-degenerate graphs, graphs with chromatic number at most $k$, graphs with bounded maximum degree, and many more. We supply many concrete examples to demonstrate the wide range of applications of the main theorem; the next result is a representative of these examples. For $p \geq 5$ and $\mathcal{F} = \{ tK_2 : t \geq 1 \}$, we have $f(n,K_p |\mathcal{F}) = (1+o(1)) \, ex(n, K_{\lceil p/2 \rceil})$; this means a properly colored copy of $K_p$. In other words, a certain number of colors forces nearly twice as large properly edge-colored complete subgraphs as rainbow ones. △ Less

Submitted 30 May, 2024; originally announced May 2024.

Comments: 23 pages

MSC Class: 05C15; 05C35; 05C70

Journal ref: Discrete Applied Mathematics, 363 (2025), 190-200

On $(r,c)$-constant, planar and circulant graphs

Authors: Yair Caro, Xandru Mifsud

Abstract: This paper concerns $(r,c)$-constant graphs, which are $r$-regular graphs in which the subgraph induced by the open neighbourhood of every vertex has precisely $c$ edges. The family of $(r,c)$-graphs contains vertex-transitive graphs (and in particular Cayley graphs), graphs with constant link (sometimes called locally isomorphic graphs), $(r,b)$-regular graphs, strongly regular graphs, and much m… ▽ More This paper concerns $(r,c)$-constant graphs, which are $r$-regular graphs in which the subgraph induced by the open neighbourhood of every vertex has precisely $c$ edges. The family of $(r,c)$-graphs contains vertex-transitive graphs (and in particular Cayley graphs), graphs with constant link (sometimes called locally isomorphic graphs), $(r,b)$-regular graphs, strongly regular graphs, and much more. This family was recently introduced in [arXiv:2312.08777] serving as important tool in constructing flip graphs [arXiv:2312.08777, arXiv:2401.02315]. In this paper we shall mainly deal with the following: i. Existence and non-existence of $(r, c)$-planar graphs. We completely determine the cases of existence and non-existence of such graphs and supply the smallest order in the case when they exist. ii. We consider the existence of $(r, c)$-circulant graphs. We prove that for $c \equiv 2 \ (\mathrm{mod} \ 3)$ no $(r,c)$-circulant graph exists and that for $c \equiv 0, 1 \ (\mathrm{mod} \ 3)$, $c > 0$ and $r \geq 6 + \sqrt{\frac{8c - 5}{3}}$ there exists $(r,c)$-circulant graphs. Moreover for $c = 0$ and $r \geq 1$, $(r, 0)$-circulants exist. iii. We consider the existence and non-existence of small $(r,c)$-constant graphs, supplying a complete table of the smallest order of graphs we found for $0 \leq c \leq \binom{r}{2}$ and $r \leq 6$. We shall also determine all the cases in this range for which $(r,c)$-constant graphs don't exist. We establish a public database of $(r,c)$-constant graphs for varying $r$, $c$ and order. △ Less

Submitted 7 March, 2024; originally announced March 2024.

Comments: 17 pages, 8 figures, 3 tables

MSC Class: 05C07; 05C10

Edge mappings of graphs: Turán type parameters

Authors: Yair Caro, Balázs Patkós, Zsolt Tuza, Máté Vizer

Abstract: In this paper, we address problems related to parameters concerning edge mappings of graphs. The quantity $h(n,G)$ is defined to be the maximum number of edges in an $n$-vertex graph $H$ such that there exists a mapping $f: E(H)\rightarrow E(H)$ with $f(e)\neq e$ for all $e\in E$ and further in all copies $G'$ of $G$ in $H$ there exists $e\in E(G')$ with $f(e)\in E(G')$. Among other results, we de… ▽ More In this paper, we address problems related to parameters concerning edge mappings of graphs. The quantity $h(n,G)$ is defined to be the maximum number of edges in an $n$-vertex graph $H$ such that there exists a mapping $f: E(H)\rightarrow E(H)$ with $f(e)\neq e$ for all $e\in E$ and further in all copies $G'$ of $G$ in $H$ there exists $e\in E(G')$ with $f(e)\in E(G')$. Among other results, we determine $h(n, G)$ when $G$ is a matching and $n$ is large enough. As a related concept, we say that $H$ is unavoidable for $G$ if for any mapping $f: E(H)\rightarrow E(H)$ with $f(e)\neq e$ there exists a copy $G'$ of $G$ in $H$ such that $f(e)\notin E(G')$ for all $e\in E(G)$. The set of minimal unavoidable graphs for $G$ is denoted by $\mathcal{M}(G)$. We prove that if $F$ is a forest, then $\mathcal{M}(F)$ is finite if and only if $F$ is a matching, and we conjecture that for all non-forest graphs $G$, the set $\mathcal{M}(G)$ is infinite. Several other parameters are defined with basic results proved. Lots of open problems remain. △ Less

Submitted 1 February, 2024; originally announced February 2024.

Edge mappings of graphs: Ramsey type parameters

Authors: Yair Caro, Balázs Patkós, Zsolt Tuza, Máté Vizer

Abstract: In this paper, we address problems related to parameters concerning edge mappings of graphs. Inspired by Ramsey's Theorem, the quantity $m(G, H)$ is defined to be the minimum number $n$ such that for every $f: E(K_n) \rightarrow E(K_n)$ either there is a fixed copy of $G$ with $f ( e) = e$ for all $e\in E(G)$, or a free copy of $H$ with $f( e) \notin E(H)$ for all $e\in E(H)$. We extend many old r… ▽ More In this paper, we address problems related to parameters concerning edge mappings of graphs. Inspired by Ramsey's Theorem, the quantity $m(G, H)$ is defined to be the minimum number $n$ such that for every $f: E(K_n) \rightarrow E(K_n)$ either there is a fixed copy of $G$ with $f ( e) = e$ for all $e\in E(G)$, or a free copy of $H$ with $f( e) \notin E(H)$ for all $e\in E(H)$. We extend many old results from the 80's as well as proving many new results. We also consider several new interesting parameters with the same spirit. △ Less

Submitted 1 February, 2024; originally announced February 2024.

Flip colouring of graphs

Authors: Yair Caro, Josef Lauri, Xandru Mifsud, Raphael Yuster, Christina Zarb

Abstract: It is proved that for integers $b, r$ such that $3 \leq b < r \leq \binom{b+1}{2} - 1$, there exists a red/blue edge-colored graph such that the red degree of every vertex is $r$, the blue degree of every vertex is $b$, yet in the closed neighborhood of every vertex there are more blue edges than red edges. The upper bound $r \le \binom{b+1}{2}-1$ is best possible for any $b \ge 3$. We further ext… ▽ More It is proved that for integers $b, r$ such that $3 \leq b < r \leq \binom{b+1}{2} - 1$, there exists a red/blue edge-colored graph such that the red degree of every vertex is $r$, the blue degree of every vertex is $b$, yet in the closed neighborhood of every vertex there are more blue edges than red edges. The upper bound $r \le \binom{b+1}{2}-1$ is best possible for any $b \ge 3$. We further extend this theorem to more than two colours, and to larger neighbourhoods. A useful result required in some of our proofs, of independent interest, is that for integers $r,t$ such that $0 \leq t \le \frac{r^2}{2} - 5r^{3/2}$, there exists an $r$-regular graph in which each open neighborhood induces precisely $t$ edges. Several explicit constructions are introduced and relationships with constant linked graphs, $(r,b)$-regular graphs and vertex transitive graphs are revealed. △ Less

Submitted 14 December, 2023; originally announced December 2023.

MSC Class: 05C15; 05C70

The Feasibility Problem -- the family ${\cal F}$$(G)$ of all induced $G$-free graphs

Authors: Yair Caro, Matthew Cassar, Josef Lauri, Christina Zarb

Abstract: An infinite family of graphs ${\cal F}$ is called feasible if for any pair of integers $(n,m)$, $n \geq 1$, $0 \leq m \leq \binom{n}{2}$, there is a member $G \in {\cal F}$ such that $G$ has $n$ vertices and $m$ edges. We prove that given a graph $G$, the family ${\cal F}$$(G)$ of all induced $G$-free graphs is feasible if and only if $G$ is not $K_k$, $K_k\backslash K_2$, $\overline{K_k}$,… ▽ More An infinite family of graphs ${\cal F}$ is called feasible if for any pair of integers $(n,m)$, $n \geq 1$, $0 \leq m \leq \binom{n}{2}$, there is a member $G \in {\cal F}$ such that $G$ has $n$ vertices and $m$ edges. We prove that given a graph $G$, the family ${\cal F}$$(G)$ of all induced $G$-free graphs is feasible if and only if $G$ is not $K_k$, $K_k\backslash K_2$, $\overline{K_k}$, $\overline{K_k\backslash K_2}$, for $k \geq 2$. △ Less

Submitted 2 November, 2023; originally announced November 2023.

MSC Class: 05C75

Counting Connected Partitions of Graphs

Authors: Yair Caro, Balázs Patkós, Zsolt Tuza, Máté Vizer

Abstract: Motivated by the theorem of Gy\H ori and Lovász, we consider the following problem. For a connected graph $G$ on $n$ vertices and $m$ edges determine the number $P(G,k)$ of unordered solutions of positive integers $\sum_{i=1}^k m_i = m$ such that every $m_i$ is realized by a connected subgraph $H_i$ of $G$ with $m_i$ edges such that $\cup_{i=1}^kE(H_i)=E(G)$. We also consider the vertex-partition… ▽ More Motivated by the theorem of Gy\H ori and Lovász, we consider the following problem. For a connected graph $G$ on $n$ vertices and $m$ edges determine the number $P(G,k)$ of unordered solutions of positive integers $\sum_{i=1}^k m_i = m$ such that every $m_i$ is realized by a connected subgraph $H_i$ of $G$ with $m_i$ edges such that $\cup_{i=1}^kE(H_i)=E(G)$. We also consider the vertex-partition analogue. We prove various lower bounds on $P(G,k)$ as a function of the number $n$ of vertices in $G$, as a function of the average degree $d$ of $G$, and also as the size $\mathrm{CMC}_r(G)$ of $r$-partite connected maximum cuts of $G$. Those three lower bounds are tight up to a multiplicative constant. We also prove that the number $π(G,k)$ of unordered $k$-tuples with $\sum_{i=1}^kn_i=n$, that are realizable by vertex partitions into $k$ connected parts of respective sizes $n_1,n_2,\dots,n_k$, is $Ω(d^{k-1})$. △ Less

Submitted 10 October, 2023; v1 submitted 20 October, 2022; originally announced October 2022.

Connected Turán number of trees

Authors: Yair Caro, Balázs Patkós, Zsolt Tuza

Abstract: As a variant of the much studied Turán number, $ex(n,F)$, the largest number of edges that an $n$-vertex $F$-free graph may contain, we introduce the connected Turán number $ex_c(n,F)$, the largest number of edges that an $n$-vertex connected $F$-free graph may contain. We focus on the case where the forbidden graph is a tree. The celebrated conjecture of Erdős and Sós states that for any tree… ▽ More As a variant of the much studied Turán number, $ex(n,F)$, the largest number of edges that an $n$-vertex $F$-free graph may contain, we introduce the connected Turán number $ex_c(n,F)$, the largest number of edges that an $n$-vertex connected $F$-free graph may contain. We focus on the case where the forbidden graph is a tree. The celebrated conjecture of Erdős and Sós states that for any tree $T$, we have $ex(n,T)\le(|T|-2)\frac{n}{2}$. We address the problem how much smaller $ex_c(n,T)$ can be, what is the smallest possible ratio of $ex_c(n,T)$ and $(|T|-2)\frac{n}{2}$ as $|T|$ grows. We also determine the exact value of $ex_c(n,T)$ for small trees, in particular for all trees with at most six vertices. We introduce general constructions of connected $T$-free graphs based on graph parameters as longest path, matching number, branching number, etc. △ Less

Submitted 12 August, 2022; originally announced August 2022.

Higher Degree Erdos-Ginzburg-Ziv Constants

Authors: Yair Caro, John R. Schmitt

Abstract: We generalize the notion of Erdős-Ginzburg-Ziv constants -- along the same lines we generalized in earlier work the notion of Davenport constants -- to a ``higher degree" and obtain various lower and upper bounds. These bounds are sometimes exact as is the case for certain finite commutative rings of prime power cardinality. We also consider to what extent a theorem due independently to W.D.~Gao a… ▽ More We generalize the notion of Erdős-Ginzburg-Ziv constants -- along the same lines we generalized in earlier work the notion of Davenport constants -- to a ``higher degree" and obtain various lower and upper bounds. These bounds are sometimes exact as is the case for certain finite commutative rings of prime power cardinality. We also consider to what extent a theorem due independently to W.D.~Gao and the first author that relates these two parameters extends to this higher degree setting. Two simple examples that capture the essence of these higher degree Erdős-Ginzburg-Ziv constants are the following. 1) Let $ν_p(m)$ denote the $p-$adic valuation of the integer $m$. Suppose we have integers $t | {m \choose 2}$ and $n=t+2^{ν_2(m)}$, then every sequence $S$ over ${\mathbb Z}_2$ of length $|S| \geq n$ contains a subsequence $S'$ of length $t$ for which $\sum_{a_{i_1},\ldots, a_{i_m} \in S'} a_{i_1}\cdots a_{i_m} \equiv 0 \pmod{2}$, and this is sharp. 2) Suppose $k=3^α$ for some integer $α\geq 2$. Then every sequence $S$ over ${\mathbb Z}_3$ of length $|S| \geq k+6$ contains a subsequence $S'$ of length $k$ for which $\sum_{a_h, a_i, a_j \in S'} a_ha_ia_j \equiv 0 \pmod{3}$. These examples illustrate that if a sequence of elements from a finite commutative ring is long enough, certain symmetric expressions (symmetric polynomials) have to vanish on the elements of a subsequence of prescribed length. The Erdős-Ginzburg-Ziv Theorem is just the case where a sequence of length $2n-1$ over ${\mathbb Z}_n$ contains a subsequence $S'=(a_1, \ldots, a_n)$ of length $n$ that vanishes when substituted in the linear symmetric polynomial $a_1+\cdots+a_n.$ △ Less

Submitted 22 July, 2022; v1 submitted 18 July, 2022; originally announced July 2022.

The evolution of unavoidable bi-chromatic patterns and extremal cases of balanceability

Authors: Yair Caro, Adriana Hansberg, Amanda Montejano

Abstract: We study the color patterns that, for $n$ sufficiently large, are unavoidable in $2$-colorings of the edges of a complete graph $K_n$ with respect to $\min \{e(R), e(B)\}$, where $e(R)$ and $e(B)$ are the numbers of red and, respectively, blue edges. More precisely, we determine how such unavoidable patterns evolve from the case without restriction in the coloring, namely that… ▽ More We study the color patterns that, for $n$ sufficiently large, are unavoidable in $2$-colorings of the edges of a complete graph $K_n$ with respect to $\min \{e(R), e(B)\}$, where $e(R)$ and $e(B)$ are the numbers of red and, respectively, blue edges. More precisely, we determine how such unavoidable patterns evolve from the case without restriction in the coloring, namely that $\min \{e(R), e(B)\} \ge 0$ (given by Ramsey's theorem), to the highest possible restriction, namely that $|e(R) - e(B)| \le 1$. We also investigate the effect of forbidding certain sub-structures in each color. In particular, we show that, in $2$-colorings whose graphs induced by each of the colors are both free from an induced matching on $r$ edges, the appearance of the unavoidable patterns is already granted with a much weaker restriction on $\min \{e(R), e(B)\}$. We finish analyzing the consequences of these results to the balancing number $bal(n,G)$ of a graph $G$ (i.e. the minimum $k$ such that every $2$-edge coloring of $K_n$ with $\min \{e(R), e(B)\} > k$ contains a copy of $G$ with half the edges in each color), and show that, for every $\varepsilon > 0$, there are graphs $G$ with $bal(n,G) \ge c n^{2-\varepsilon}$, which is the highest order of magnitude that is possible to achieve, as well as graphs where $bal(n,G) \le c(G)$, where $c(G)$ is a constant that depends only $G$. We characterize the latter ones. △ Less

Submitted 7 June, 2023; v1 submitted 8 April, 2022; originally announced April 2022.

Comments: 16 pages, 2 figures

MSC Class: 05c15 05c35 05c55

Remarks on proper conflict-free colorings of graphs

Authors: Yair Caro, Mirko Petruševski, Riste Škrekovski

Abstract: A vertex coloring of a graph is said to be \textit{conflict-free} with respect to neighborhoods if for every non-isolated vertex there is a color appearing exactly once in its (open) neighborhood. As defined in [Fabrici et al., \textit{Proper Conflict-free and Unique-maximum Colorings of Planar Graphs with Respect to Neighborhoods}, arXiv preprint], the minimum number of colors in any such proper… ▽ More A vertex coloring of a graph is said to be \textit{conflict-free} with respect to neighborhoods if for every non-isolated vertex there is a color appearing exactly once in its (open) neighborhood. As defined in [Fabrici et al., \textit{Proper Conflict-free and Unique-maximum Colorings of Planar Graphs with Respect to Neighborhoods}, arXiv preprint], the minimum number of colors in any such proper coloring of graph $G$ is the PCF chromatic number of $G$, denoted $χ_{\mathrm{pcf}}(G)$. In this paper, we determine the value of this graph parameter for several basic graph classes including trees, cycles, hypercubes and subdivisions of complete graphs. We also give upper bounds on $χ_{\mathrm{pcf}}(G)$ in terms of other graph parameters. In particular, we show that $χ_{\mathrm{pcf}}(G) \leq5Δ(G)/2$ and characterize equality. Several sufficient conditions for PCF $k$-colorability of graphs are established for $4\le k\le 6$. The paper concludes with few open problems. △ Less

Submitted 2 March, 2022; originally announced March 2022.

Comments: 20 pages, 0 figures

MSC Class: 05C15

Remarks on odd colorings of graphs

Authors: Yair Caro, Mirko Petruševski, Riste Škrekovski

Abstract: A proper vertex coloring $\varphi$ of graph $G$ is said to be odd if for each non-isolated vertex $x\in V(G)$ there exists a color $c$ such that $\varphi^{-1}(c)\cap N(x)$ is odd-sized. The minimum number of colors in any odd coloring of $G$, denoted $χ_o(G)$, is the odd chromatic number. Odd colorings were recently introduced in [M.~Petruševski, R.~Škrekovski: \textit{Colorings with neighborhood… ▽ More A proper vertex coloring $\varphi$ of graph $G$ is said to be odd if for each non-isolated vertex $x\in V(G)$ there exists a color $c$ such that $\varphi^{-1}(c)\cap N(x)$ is odd-sized. The minimum number of colors in any odd coloring of $G$, denoted $χ_o(G)$, is the odd chromatic number. Odd colorings were recently introduced in [M.~Petruševski, R.~Škrekovski: \textit{Colorings with neighborhood parity condition}]. Here we discuss various basic properties of this new graph parameter, characterize acyclic graphs and hypercubes in terms of odd chromatic number, establish several upper bounds in regard to degenericity or maximum degree, and pose several questions and problems. △ Less

Submitted 20 July, 2022; v1 submitted 10 January, 2022; originally announced January 2022.

Comments: 15 pages, 1 figure

MSC Class: 05C15

The feasibility problem for line graphs

Authors: Yair Caro, Josef Lauri, Christina Zarb

Abstract: We consider the following feasibility problem: given an integer $n \geq 1$ and an integer $m$ such that $0 \leq m \leq \binom{n}{2}$, does there exist a line graph $L = L(G)$ with exactly $n$ vertices and $m$ edges ? We say that a pair $(n,m)$ is non-feasible if there exists no line graph $L(G)$ on $n$ vertices and $m$ edges, otherwise we say $(n,m)$ is a feasible pair. Our main result shows tha… ▽ More We consider the following feasibility problem: given an integer $n \geq 1$ and an integer $m$ such that $0 \leq m \leq \binom{n}{2}$, does there exist a line graph $L = L(G)$ with exactly $n$ vertices and $m$ edges ? We say that a pair $(n,m)$ is non-feasible if there exists no line graph $L(G)$ on $n$ vertices and $m$ edges, otherwise we say $(n,m)$ is a feasible pair. Our main result shows that for fixed $n\geq 5$, the values of $m$ for which $(n, m)$ is a non-feasible pair, form disjoint blocks of consecutive integers which we completely determine. On the other hand we prove, among other things, that for the more general family of claw-free graphs (with no induced $K_{1,3}$-free subgraph), all $(n,m)$-pairs in the range $0 \leq m \leq \binom{n}{2}$ are feasible pairs. △ Less

Submitted 19 May, 2022; v1 submitted 29 July, 2021; originally announced July 2021.

MSC Class: 05C76

Index of Parameters of Iterated Line Graphs

Authors: Yair Caro, Josef Lauri, Christina Zarb

Abstract: Let $G$ be a prolific graph, that is a finite connected simple graph which is not isomorphic to a cycle nor a path nor the star graph $K_{1,3}$. The line-graph of $G$, denoted by $L(G)$, is defined by having its vertex-set equal to the edge-set of $G$ and two vertices of $L(G)$ are adjacent if the corresponding edges are adjacent in $G$. For a positive integer $k$, the iterated line-graph… ▽ More Let $G$ be a prolific graph, that is a finite connected simple graph which is not isomorphic to a cycle nor a path nor the star graph $K_{1,3}$. The line-graph of $G$, denoted by $L(G)$, is defined by having its vertex-set equal to the edge-set of $G$ and two vertices of $L(G)$ are adjacent if the corresponding edges are adjacent in $G$. For a positive integer $k$, the iterated line-graph $L^k(G)$ is defined recursively by $L^k(G)=L(L^{k-1}(G))$. We consider fifteen graph parameters and study their behaviour when the operation of taking the line-graph is iterated. We shall first show that all of these parameters are unbounded. This idea is motivated by a well-known result of van Rooij and Wilf that says that the number of vertices is unbounded if and only if the graph is prolific. We then study of the value of $k(P,{\mathcal F})$, which is the index of a family of prolific graphs with regards to a given graph parameter $P(G)$. For a given parameter $P(G)$, the index of $G$ is denoted by $ind(P,G) = \min \{ r : P(G) < P(L^r(G) \}$. Now for a family $\mathcal F$ of prolific graphs, the index of the family is $k(P,\mathcal{F}) = \max \{ ind(P,G) : G \in \mathcal F\}$. The problem of determining the index of a parameter over the family of prolific graphs is motivated by a result of Chartrand who showed that it could require $k=|V(G)|-3$ iterations for $L^k(G)$ to have a hamiltonian cycle. For twelve of the parameters considered, we exactly determine $k(P,\mathcal F)$ where $\mathcal F$ is the family of all prolific graphs, and for some parameters we also characterize the class of prolific graphs realizing the extremal value $k(P,\mathcal F$). Interesting open problems remain, in particular completing the determination of $k(P,\mathcal F)$ for the three parameters: the independence number, independent domination number and domination number. △ Less

Submitted 13 January, 2022; v1 submitted 6 May, 2021; originally announced May 2021.

MSC Class: 05C76

Recursive constructions of amoebas

Authors: Adriana Hansberg, Amanda Montejano, Yair Caro

Abstract: Global amoebas are a wide and rich family of graphs that emerged from the study of certain Ramsey-Turán problems in $2$-colorings of the edges of the complete graph $K_n$ that deal with the appearance of unavoidable patterns once a certain amount of edges in each color is guaranteed. Indeed, it turns out that, as soon as such coloring constraints are satisfied and if $n$ is sufficiently large, the… ▽ More Global amoebas are a wide and rich family of graphs that emerged from the study of certain Ramsey-Turán problems in $2$-colorings of the edges of the complete graph $K_n$ that deal with the appearance of unavoidable patterns once a certain amount of edges in each color is guaranteed. Indeed, it turns out that, as soon as such coloring constraints are satisfied and if $n$ is sufficiently large, then every global amoeba can be found embedded in $K_n$ such that it has half its edges in each color. Even more surprising, every bipartite global amoeba $G$ is unavoidable in every tonal-variation, meaning that, for any pair of integers $r, b$ such that $r + b $ is the number of edges of $G$, there is a subgraph of $K_n$ isomorphic to $G$ with $r$ edges in the first color and $b$ edges in the second. The feature that makes global amoebas work are one-by-one edge replacements that leave the structure of the graph invariant. By means of a group theoretical approach, the dynamics of this feature can be modeled. As a counterpart to the global amoebas that "live" inside a possibly large complete graph $K_n$, we also consider local amoebas which are spanning subgraphs of $K_n$ with the same feature. In an effort to highlight their richness and versatility, we present here three different recursive constructions of amoebas, two of them yielding interesting families per se and one of them offering a wide range of possibilities. △ Less

Submitted 19 April, 2021; originally announced April 2021.

Comments: 11 pages, 3 figures to be published in the LAGOS 2021 proceedings

Conjecture of TxGraffiti: Independence, domination, and matchings

Authors: Yair Caro, Randy Davila, Michael Henning, Ryan Pepper

Abstract: TxGraffiti is an automated conjecturing program that produces graph theoretic conjectures in the form of conjectured inequalities. This program written and maintained by the second author since 2017 was inspired by the successes of previous automated conjecturing programs including Fajtlowicz's GRAFFITI and DeLaViña's GRAFFITI.pc. In this paper we prove and generalize several conjectures generated… ▽ More TxGraffiti is an automated conjecturing program that produces graph theoretic conjectures in the form of conjectured inequalities. This program written and maintained by the second author since 2017 was inspired by the successes of previous automated conjecturing programs including Fajtlowicz's GRAFFITI and DeLaViña's GRAFFITI.pc. In this paper we prove and generalize several conjectures generated by TxGraffiti when it was prompted to conjecture on the \emph{independence number}, the \emph{domination number}, and the \emph{matching number} (and generalizations of each of these graph invariants). Moreover, in several instances we also show the proposed inequalities relating these graph invariants are sharp. △ Less

Submitted 2 April, 2021; originally announced April 2021.

Higher Degree Davenport Constants over Finite Commutative Rings

Authors: Yair Caro, Benjamin Girard, John R. Schmitt

Abstract: We generalize the notion of Davenport constants to a `higher degree' and obtain various lower and upper bounds, which are sometimes exact as is the case for certain finite commutative rings of prime power cardinality. Two simple examples that capture the essence of these higher degree Davenport constants are the following. 1) Suppose $n = 2^k$, then every sequence of integers $S$ of length $2n$ co… ▽ More We generalize the notion of Davenport constants to a `higher degree' and obtain various lower and upper bounds, which are sometimes exact as is the case for certain finite commutative rings of prime power cardinality. Two simple examples that capture the essence of these higher degree Davenport constants are the following. 1) Suppose $n = 2^k$, then every sequence of integers $S$ of length $2n$ contains a subsequence $S'$ of length at least two such that $\sum_{a_i,a_j \in S'} a_ia_j \equiv 0 \pmod{n}$ and the bound is sharp. 2) Suppose $n \equiv1 \pmod{2}$, then every sequence of integers $S$ of length $2n -1$ contains a subsequence $S'$ of length at least two such that $\sum_{a_i,a_j \in S'} a_ia_j \equiv 0 \pmod{n}$. These examples illustrate that if a sequence of elements from a finite commutative ring is long enough, certain symmetric expressions have to vanish on the elements of a subsequence. △ Less

Submitted 13 February, 2022; v1 submitted 11 February, 2021; originally announced February 2021.

Comments: 16 pages

MSC Class: 05E40 (Primary); 11B30; 13M10 (Secondary)

Journal ref: Integers 21 (2021), Paper No. A120, 17 pp

Sum-distinguishing number of sparse hypergraphs

Authors: Maria Axenovich, Yair Caro, Raphael Yuster

Abstract: A vertex labeling of a hypergraph is sum distinguishing if it uses positive integers and the sums of labels taken over the distinct hyperedges are distinct. Let s(H) be the smallest integer N such that there is a sum-distinguishing labeling of H with each label at most N. The largest value of s(H) over all hypergraphs on n vertices and m hyperedges is denoted s(n,m). We prove that s(n,m) is almost… ▽ More A vertex labeling of a hypergraph is sum distinguishing if it uses positive integers and the sums of labels taken over the distinct hyperedges are distinct. Let s(H) be the smallest integer N such that there is a sum-distinguishing labeling of H with each label at most N. The largest value of s(H) over all hypergraphs on n vertices and m hyperedges is denoted s(n,m). We prove that s(n,m) is almost-quadratic in m as long as m is not too large. More precisely, the following holds: If n < m < n^{O(1)} then s(n,m)= m^2/w(m), where w(m) is a function that goes to infinity and is smaller than any polynomial in m. The parameter s(n,m) has close connections to several other graph and hypergraph functions, such as the irregularity strength of hypergraphs. Our result has several applications, notably: 1. We answer a question of Gyarfas et al. whether there are n-vertex hypergraphs with irregularity strength greater than 2n. In fact we show that there are n-vertex hypergraphs with irregularity strength at least n^{2-o(1)}. 2. Our results imply that s*(n)=n^2/w(n) where s*(n) is the distinguishing closed-neighborhood number, i.e., the smallest integer N such that any n-vertex graph allows for a vertex labeling with positive integers at most N so that the sums of labels on distinct closed neighborhoods of vertices are distinct. △ Less

Submitted 4 February, 2021; originally announced February 2021.

MSC Class: 05C65; 05C78; 05C35

Graphs isomorphisms under edge-replacements and the family of amoebas

Authors: Yair Caro, Adriana Hansberg, Amanda Montejano

Abstract: 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… ▽ More 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. △ Less

Submitted 31 May, 2023; v1 submitted 22 July, 2020; originally announced July 2020.

Comments: 37 pages, 13 figures

MSC Class: 05C25; 05C60

On zero-sum spanning trees and zero-sum connectivity

Authors: Yair Caro, Adriana Hansberg, Josef Lauri, Christina Zarb

Abstract: 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 existen… ▽ More 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. △ Less

Submitted 16 July, 2020; originally announced July 2020.

A note on totally-omnitonal graphs

Authors: Yair Caro, Josef Lauri, Christina Zarb

Abstract: Let the edges of the complete graph $K_n$ be coloured red or blue, and let $G$ be a graph with $|V(G)| < n$. Then ot(n,G) is defined to be the minimum integer, if it exists, such that any such colouring of $K_n$ contains a copy of $G$ with $r$ red edges and $b$ blue edges for any $r,b \geq 0$ with $r+b= e(G)$. If ot(n,G) exists for every sufficiently large $n$, we say that $G$ is \emph{omnitonal}.… ▽ More Let the edges of the complete graph $K_n$ be coloured red or blue, and let $G$ be a graph with $|V(G)| < n$. Then ot(n,G) is defined to be the minimum integer, if it exists, such that any such colouring of $K_n$ contains a copy of $G$ with $r$ red edges and $b$ blue edges for any $r,b \geq 0$ with $r+b= e(G)$. If ot(n,G) exists for every sufficiently large $n$, we say that $G$ is \emph{omnitonal}. Omnitonal graphs were introduced by Caro, Hansberg and Montejano [arXiv:1810.12375,2019]. Now let $G_1$, $G_2$ be two copies of $G$ with their edges coloured red or blue. If there is a colour-preserving isomorphism from $G_1$ to $G_2$ we say that the 2-colourings of $G$ are equivalent. Now we define tot(n,G) to be the minimum integer, if it exists, such that any such colouring of $K_n$ contains all non-quivalent colourings of $G$ with $r$ red edges and $b$ blue edges for any $r,b \geq 0$ with $r+b= e(G)$. If tot(n, G) exists for every sufficiently large $n$, we say that G is \emph{totally-omnitotal}. In this note we show that the only totally-omnitonal graphs are stars or star forests namely a forest all of whose components are stars. △ Less

Submitted 7 November, 2019; originally announced November 2019.

MSC Class: 05C15

Regular Turán numbers

Authors: Yair Caro, Zsolt Tuza

Abstract: The regular Turán number of a graph $F$, denoted by rex$(n,F)$, is the largest number of edges in a regular graph $G$ of order $n$ such that $G$ does not contain subgraphs isomorphic to $F$. Giving a partial answer to a recent problem raised by Gerbner et al. [arXiv:1909.04980] we prove that rex$(n,F)$ asymptotically equals the (classical) Turán number whenever the chromatic number of $F$ is at le… ▽ More The regular Turán number of a graph $F$, denoted by rex$(n,F)$, is the largest number of edges in a regular graph $G$ of order $n$ such that $G$ does not contain subgraphs isomorphic to $F$. Giving a partial answer to a recent problem raised by Gerbner et al. [arXiv:1909.04980] we prove that rex$(n,F)$ asymptotically equals the (classical) Turán number whenever the chromatic number of $F$ is at least four; but it is substantially different for some 3-chromatic graphs $F$ if $n$ is odd. △ Less

Submitted 31 October, 2019; originally announced November 2019.

MSC Class: 05C35

New results relating independence and matchings

Authors: Yair Caro, Randy Davila, Ryan Pepper

Abstract: In this paper we study relationships between the \emph{matching number}, written $μ(G)$, and the \emph{independence number}, written $α(G)$. Our first main result is to show \[ α(G) \le μ(G) + |X| - μ(G[N_G[X]]), \] where $X$ is \emph{any} intersection of maximum independent sets in $G$. Our second main result is to show \[ δ(G)α(G) \le Δ(G)μ(G), \] where $δ(G)$ and $Δ(G)$ denote the minimum and m… ▽ More In this paper we study relationships between the \emph{matching number}, written $μ(G)$, and the \emph{independence number}, written $α(G)$. Our first main result is to show \[ α(G) \le μ(G) + |X| - μ(G[N_G[X]]), \] where $X$ is \emph{any} intersection of maximum independent sets in $G$. Our second main result is to show \[ δ(G)α(G) \le Δ(G)μ(G), \] where $δ(G)$ and $Δ(G)$ denote the minimum and maximum vertex degrees of $G$, respectively. These results improve on and generalize known relations between $μ(G)$ and $α(G)$. Further, we also give examples showing these improvements. △ Less

Submitted 19 September, 2019; originally announced September 2019.

On small balanceable, strongly-balanceable and omnitonal graphs

Authors: Yair Caro, Josef Lauri, Christina Zarb

Abstract: In Ramsey theory for graphs we are given a graph $G$ and we are required to find the least $n_0$ such that, for any $n\geq n_0$, any red/blue colouring of the edges of $K_n$ gives a subgraph $G$ all of whose edges are blue or all are red. Here we shall be requiring that, for any red/blue colouring of the edges of $K_n$, there must be a copy of $G$ such that its edges are partitioned equally as red… ▽ More In Ramsey theory for graphs we are given a graph $G$ and we are required to find the least $n_0$ such that, for any $n\geq n_0$, any red/blue colouring of the edges of $K_n$ gives a subgraph $G$ all of whose edges are blue or all are red. Here we shall be requiring that, for any red/blue colouring of the edges of $K_n$, there must be a copy of $G$ such that its edges are partitioned equally as red or blue (or the sizes of the colour classes differs by one in the case when $G$ has an odd number of edges). This introduces the notion of balanceable graphs and the balance number of $G$ which, if it exists, is the minimum integer bal$(n, G)$ such that, for any red/blue colouring of $E(K_n)$ with more than bal$(n, G)$ edges of either colour, $K_n$ will contain a balanced coloured copy of $G$ as described above. This parameter was introduced by Caro, Hansberg and Montejano in \cite{2018arXivCHM}. There, the authors also introduce the strong balance number sbal$(n,G)$ and the more general omnitonal number ot$(n, G)$ which requires copies of $G$ containing a complete distribution of the number of red and blue edges over $E(G)$. In this paper we shall catalogue bal$(n, G)$, sbal$(n, G)$ and ot$(n,G)$ for all graphs $G$ on at most four edges. We shall be using some of the key results of Caro et al, which we here reproduce in full, as well as some new results which we prove here. For example, we shall prove that the union of two bipartite graphs with the same number of edges is always balanceable. △ Less

Submitted 22 January, 2020; v1 submitted 22 August, 2019; originally announced August 2019.

MSC Class: 05C55

Directed domination in oriented hypergraphs

Authors: Yair Caro, Adriana Hansberg

Abstract: Erdős [On Schütte problem, Math. Gaz. 47 (1963)] proved that every tournament on $n$ vertices has a directed dominating set of at most $\log (n+1)$ vertices, where $\log$ is the logarithm to base $2$. He also showed that there is a tournament on $n$ vertices with no directed domination set of cardinality less than $\log n - 2 \log \log n + 1$. This notion of directed domination number has been gen… ▽ More Erdős [On Schütte problem, Math. Gaz. 47 (1963)] proved that every tournament on $n$ vertices has a directed dominating set of at most $\log (n+1)$ vertices, where $\log$ is the logarithm to base $2$. He also showed that there is a tournament on $n$ vertices with no directed domination set of cardinality less than $\log n - 2 \log \log n + 1$. This notion of directed domination number has been generalized to arbitrary graphs by Caro and Henning in [Directed domination in oriented graphs, Discrete Appl. Math. (2012) 160:7--8.]. However, the generalization to directed r-uniform hypergraphs seems to be rare. Among several results, we prove the following upper and lower bounds on $\overrightarrowΓ_{r-1}(H(n,r))$, the upper directed $(r-1)$-domination number of the complete $r$-uniform hypergraph on $n$ vertices $H(n,r)$, which is the main theorem of this paper: \[c (\ln n)^{\frac{1}{r-1}} \le \overrightarrowΓ_{r-1}(H(n,r)) \le C \ln n,\] where $r$ is a positive integer and $c= c(r) > 0$ and $C = C(r) > 0$ are constants depending on $r$. △ Less

Submitted 4 April, 2019; originally announced April 2019.

MSC Class: 05C69

Singular Ramsey and Turán numbers

Authors: Yair Caro, Zsolt Tuza

Abstract: We say that a subgraph $F$ of a graph $G$ is singular if the degrees $d_G(v)$ are all equal or all distinct for the vertices $v\in V(F)$. The singular Ramsey number Rs$(F)$ is the smallest positive integer $n$ such that, for every $m\geq n$, in every edge 2-coloring of $K_m$, at least one of the color classes contains $F$ as a singular subgraph. In a similar flavor, the singular Turán number Ts… ▽ More We say that a subgraph $F$ of a graph $G$ is singular if the degrees $d_G(v)$ are all equal or all distinct for the vertices $v\in V(F)$. The singular Ramsey number Rs$(F)$ is the smallest positive integer $n$ such that, for every $m\geq n$, in every edge 2-coloring of $K_m$, at least one of the color classes contains $F$ as a singular subgraph. In a similar flavor, the singular Turán number Ts$(n,F)$ is defined as the maximum number of edges in a graph of order $n$, which does not contain $F$ as a singular subgraph. In this paper we initiate the study of these extremal problems. We develop methods to estimate Rs$(F)$ and Ts$(n,F)$, present tight asymptotic bounds and exact results. △ Less

Submitted 27 January, 2019; originally announced January 2019.

Comments: 43 pages

MSC Class: 05D10

Induced subgraphs with many repeated degrees

Authors: Yair Caro, Raphael Yuster

Abstract: Erdős, Fajtlowicz and Staton asked for the least integer $f(k)$ such that every graph with more than $f(k)$ vertices has an induced regular subgraph with at least $k$ vertices. Here we consider the following relaxed notions. Let $g(k)$ be the least integer such that every graph with more than $g(k)$ vertices has an induced subgraph with at least $k$ repeated degrees and let $h(k)$ be the least int… ▽ More Erdős, Fajtlowicz and Staton asked for the least integer $f(k)$ such that every graph with more than $f(k)$ vertices has an induced regular subgraph with at least $k$ vertices. Here we consider the following relaxed notions. Let $g(k)$ be the least integer such that every graph with more than $g(k)$ vertices has an induced subgraph with at least $k$ repeated degrees and let $h(k)$ be the least integer such that every graph with more than $h(k)$ vertices has an induced subgraph with at least $k$ maximum degree vertices. We obtain polynomial lower bounds for $h(k)$ and $g(k)$ and nontrivial linear upper bounds when the host graph has bounded maximum degree. △ Less

Submitted 17 November, 2018; originally announced November 2018.

MSC Class: 05C35; 05C07

Unavoidable chromatic patterns in 2-colorings of the complete graph

Authors: Yair Caro, Adriana Hansberg, Amanda Montejano

Abstract: 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 omni… ▽ More 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. △ Less

Submitted 8 April, 2019; v1 submitted 29 October, 2018; originally announced October 2018.

Comments: 27 pages

Notes on Spreads of Degrees in Graphs

Authors: Yair Caro, Josef Lauri, Christina Zarb

Abstract: Perhaps the very first elementary exercise one encounters in graph theory is the result that any graph on at least two vertices must have at least two vertices with the same degree. There are various ways in which this result can be non-trivially generalised. For example, one can interpret this result as saying that in any graph $G$ on at least two vertices there is a set $B$ of at least two verti… ▽ More Perhaps the very first elementary exercise one encounters in graph theory is the result that any graph on at least two vertices must have at least two vertices with the same degree. There are various ways in which this result can be non-trivially generalised. For example, one can interpret this result as saying that in any graph $G$ on at least two vertices there is a set $B$ of at least two vertices such that the difference between the largest and the smallest degrees (in $G$) of the vertices of $B$ is zero. In this vein we make the following definition. For any $B\subset V(G)$, let the spread $sp(B)$ of $B$ be defined to be the difference between the largest and the smallest of the degrees of the vertices in $B$. For any $k\geq 0$, let $sp(G,k)$ be the largest cardinality of a set of vertices $B$ such that $sp(B)\leq k$. Therefore the first elementary result in graph theory says that, for any graph $G$ on at least two vertices, $sp(G,0)\geq 2$. In this paper we first give a proof of a result of Erd\" os, Chen, Rousseau and Schelp which generalises the above to $sp(G,k)\geq k+2$ for any graph on at least $k+2$ vertices. Our proof is short and elementary and does not use the famous Erd\" os-Gallai Theorem on vertex degrees. We then develop lower bounds for $sp(G,k)$ in terms of the order of $G$ and its minimum, maximum and average degree. We then use these results to give lower bounds on $sp(G,k)$ for trees and maximal outerplanar graphs, most of which we show to be sharp. △ Less

Submitted 21 June, 2018; originally announced June 2018.

MSC Class: 05C07

The effect of local majority on global majority in connected graphs

Authors: Yair Caro, Raphael Yuster

Abstract: Let ${\mathcal G}$ be an infinite family of connected graphs and let $k$ be a positive integer. We say that $k$ is ${\it forcing}$ for ${\mathcal G}$ if for all $G \in {\mathcal G}$ but finitely many, the following holds. Any $\{-1,1\}$-weighing of the edges of $G$ for which all connected subgraphs on $k$ edges are positively weighted implies that $G$ is positively weighted. Otherwise, we say that… ▽ More Let ${\mathcal G}$ be an infinite family of connected graphs and let $k$ be a positive integer. We say that $k$ is ${\it forcing}$ for ${\mathcal G}$ if for all $G \in {\mathcal G}$ but finitely many, the following holds. Any $\{-1,1\}$-weighing of the edges of $G$ for which all connected subgraphs on $k$ edges are positively weighted implies that $G$ is positively weighted. Otherwise, we say that it is ${\it weakly~forcing}$ for ${\mathcal G}$ if any such weighing implies that the weight of $G$ is bounded from below by a constant. Otherwise we say that $k$ ${\it collapses}$ for ${\mathcal G}$. We classify $k$ for some of the most prominent classes of graphs, such as all connected graphs, all connected graphs with a given maximum degree and all connected graphs with a given average degree. △ Less

Submitted 26 November, 2017; originally announced November 2017.

MSC Class: 05C78

Maximum oriented forcing number for complete graphs

Authors: Yair Caro, Ryan Pepper

Abstract: The maximum oriented $k$-forcing number of a simple graph $G$, written $\MOF_k(G)$, is the maximum directed $k$-forcing number among all orientations of $G$. This invariant was recently introduced by Caro, Davila and Pepper in [CaroDavilaPepper], and in the current paper we study the special case where $G$ is the complete graph with order $n$, denoted $K_n$. While $\MOF_k(G)$ is an invariant for t… ▽ More The maximum oriented $k$-forcing number of a simple graph $G$, written $\MOF_k(G)$, is the maximum directed $k$-forcing number among all orientations of $G$. This invariant was recently introduced by Caro, Davila and Pepper in [CaroDavilaPepper], and in the current paper we study the special case where $G$ is the complete graph with order $n$, denoted $K_n$. While $\MOF_k(G)$ is an invariant for the underlying simple graph $G$, $\MOF_k(K_n)$ can also be interpreted as an interesting property for tournaments. Our main results further focus on the case when $k=1$. These include a lower bound on $\MOF(K_n)$ of roughly $\frac{3}{4}n$, and for $n\ge 2$, a lower bound of $n - \frac{2n}{\log_2(n)}$. Along the way, we also consider various lower bounds on the maximum oriented $k$-forcing number for the closely related complete $q$-partite graphs. △ Less

Submitted 21 September, 2017; originally announced September 2017.

Extremal $k$-forcing sets in oriented graphs

Authors: Yair Caro, Randy Davila, Ryan Pepper

Abstract: This article studies the \emph{$k$-forcing number} for oriented graphs, generalizing both the \emph{zero forcing number} for directed graphs and the $k$-forcing number for simple graphs. In particular, given a simple graph $G$, we introduce the maximum (minimum) oriented $k$-forcing number, denoted $\MOF_k(G)$ ($\mof_k(G)$), which is the largest (smallest) $k$-forcing number among all possible ori… ▽ More This article studies the \emph{$k$-forcing number} for oriented graphs, generalizing both the \emph{zero forcing number} for directed graphs and the $k$-forcing number for simple graphs. In particular, given a simple graph $G$, we introduce the maximum (minimum) oriented $k$-forcing number, denoted $\MOF_k(G)$ ($\mof_k(G)$), which is the largest (smallest) $k$-forcing number among all possible orientations of $G$. These new ideas are compared to known graph invariants and it is shown that, among other things, $\mof(G)$ equals the path covering number of $G$ while $\MOF_k(G)$ is greater than or equal to the independence number of $G$ -- with equality holding if $G$ is a tree or if $k$ is at least the maximum degree of $G$. Along the way, we also show that many recent results about $k$-forcing number can be modified for oriented graphs. △ Less

Submitted 9 September, 2017; originally announced September 2017.

Zero-sum $K_m$ over $\mathbb{Z}$ and the story of $K_4$

Authors: Yair Caro, Adriana Hansberg, Amanda Montejano

Abstract: We prove the following results solving a problem raised in [Y. Caro, R. Yuster, On zero-sum and almost zero-sum subgraphs over $\mathbb{Z}$, Graphs Combin. 32 (2016), 49--63]. For a positive integer $m\geq 2$, $m\neq 4$, there are infinitely many values of $n$ such that the following holds: There is a weighting function $f:E(K_n)\to \{-1,1\}$ (and hence a weighting function… ▽ More We prove the following results solving a problem raised in [Y. Caro, R. Yuster, On zero-sum and almost zero-sum subgraphs over $\mathbb{Z}$, Graphs Combin. 32 (2016), 49--63]. For a positive integer $m\geq 2$, $m\neq 4$, there are infinitely many values of $n$ such that the following holds: There is a weighting function $f:E(K_n)\to \{-1,1\}$ (and hence a weighting function $f: E(K_n)\to \{-1,0,1\}$), such that $\sum_{e\in E(K_n)}f(e)=0$ but, for every copy $H$ of $K_m$ in $K_n$, $\sum_{e\in E(H)}f(e)\neq 0$. On the other hand, for every integer $n\geq 5$ and every weighting function $f:E(K_n)\to \{-1,1\}$ such that $|\sum_{e\in E(K_n)}f(e)|\leq \binom{n}{2}-h(n)$, where $h(n)=2(n+1)$ if $n \equiv 0$ (mod $4$) and $h(n)=2n$ if $n \not\equiv 0$ (mod $4$), there is always a copy $H$ of $K_4$ in $K_n$ for which $\sum_{e\in E(H)}f(e)=0$, and the value of $h(n)$ is sharp. △ Less

Submitted 31 August, 2017; originally announced August 2017.

MSC Class: 05C55

Irregular independence and irregular domination

Authors: Peter Borg, Yair Caro, Kurt Fenech

Abstract: If $A$ is an independent set of a graph $G$ such that the vertices in $A$ have different degrees, then we call $A$ an irregular independent set of $G$. If $D$ is a dominating set of $G$ such that the vertices that are not in $D$ have different numbers of neighbours in $D$, then we call $D$ an irregular dominating set of $G$. The size of a largest irregular independent set of $G$ and the size of a… ▽ More If $A$ is an independent set of a graph $G$ such that the vertices in $A$ have different degrees, then we call $A$ an irregular independent set of $G$. If $D$ is a dominating set of $G$ such that the vertices that are not in $D$ have different numbers of neighbours in $D$, then we call $D$ an irregular dominating set of $G$. The size of a largest irregular independent set of $G$ and the size of a smallest irregular dominating set of $G$ are denoted by $α_{ir}(G)$ and $γ_{ir}(G)$, respectively. We initiate the investigation of these two graph parameters. For each of them, we obtain sharp bounds in terms of basic graph parameters such as the order, the size, the minimum degree and the maximum degree, and we obtain Nordhaus-Gaddum-type bounds. We also establish sharp bounds relating the two parameters. Furthermore, we characterize the graphs $G$ with $α_{ir}(G)=1$, we determine those that are planar, and we determine those that are outerplanar. △ Less

Submitted 21 June, 2017; originally announced June 2017.

Comments: 15 pages

MSC Class: 05C69; 05C35; 05C10

Equating two maximum degrees

Authors: Yair Caro, Josef Lauri, Christina Zarb

Abstract: Given a graph $G$, we would like to find (if it exists) the largest induced subgraph $H$ in which there are at least $k$ vertices realizing the maximum degree of $H$. This problem was first posed by Caro and Yuster. They proved, for example, that for every graph $G$ on $n$ vertices we can guarantee, for $k = 2$, such an induced subgraph $H$ by deleting at most $2\sqrt{n}$ vertices, but the questio… ▽ More Given a graph $G$, we would like to find (if it exists) the largest induced subgraph $H$ in which there are at least $k$ vertices realizing the maximum degree of $H$. This problem was first posed by Caro and Yuster. They proved, for example, that for every graph $G$ on $n$ vertices we can guarantee, for $k = 2$, such an induced subgraph $H$ by deleting at most $2\sqrt{n}$ vertices, but the question if $2\sqrt{n}$ is best possible remains open. Among the results obtained in this paper we prove that: 1. For every graph $G$ on $n \geq 4$ vertices we can delete at most $\lceil \frac{- 3 + \sqrt{ 8n- 15}}{2 } \rceil$ vertices to get an induced subgraph $H$ with at least two vertices realizing $Δ(H)$, and this bound is sharp, solving the problems left open by Caro and Yuster. 2.For every graph $G$ with maximum degree $Δ\geq 1$ we can delete at most $\lceil \frac{ -3 + \sqrt{8Δ+1}}{2 } \rceil$ vertices to get an induced subgraph $H$ with at least two vertices realizing $Δ(H)$, and this bound is sharp. 3. Every graph $G$ with $Δ(G) \leq 2$ and least $2k - 1$ vertices (respectively $2k - 2$ vertices if k is even) contains an induced subgraph $H$ in which at least $k$ vertices realise $Δ(H)$, and these bound are sharp. △ Less

Submitted 27 April, 2017; originally announced April 2017.

MSC Class: 05C07

Zero-sum subsequences in bounded-sum $\{-1, 1\}$-sequences

Authors: Yair Caro, Adriana Hansberg, Amanda Montejano

Abstract: The following result gives the flavor of this paper: Let $t$, $k$ and $q$ be integers such that $q\geq 0$, $0\leq t < k$ and $t \equiv k \,({\rm mod}\, 2)$, and let $s\in [0,t+1]$ be the unique integer satisfying $s \equiv q + \frac{k-t-2}{2} \,({\rm mod} \, (t+2))$. Then for any integer $n$ such that \[n \ge \max\left\{k,\frac{1}{2(t+2)}k^2 + \frac{q-s}{t+2}k - \frac{t}{2} + s\right\}\] and any f… ▽ More The following result gives the flavor of this paper: Let $t$, $k$ and $q$ be integers such that $q\geq 0$, $0\leq t < k$ and $t \equiv k \,({\rm mod}\, 2)$, and let $s\in [0,t+1]$ be the unique integer satisfying $s \equiv q + \frac{k-t-2}{2} \,({\rm mod} \, (t+2))$. Then for any integer $n$ such that \[n \ge \max\left\{k,\frac{1}{2(t+2)}k^2 + \frac{q-s}{t+2}k - \frac{t}{2} + s\right\}\] and any function $f:[n]\to \{-1,1\}$ with $|\sum_{i=1}^nf(i)| \le q$, there is a set $B \subseteq [n]$ of $k$ consecutive integers with $|\sum_{y\in B}f(y)| \le t$. Moreover, this bound is sharp for all the parameters involved and a characterization of the extremal sequences is given. This and other similar results involving different subsequences are presented, including decompositions of sequences into subsequences of bounded weight. △ Less

Submitted 20 December, 2016; originally announced December 2016.

Comments: 29 pages

Two short proofs of the Perfect Forest Theorem

Authors: Yair Caro, Josef Lauri, Christina Zarb

Abstract: A perfect forest is a spanning forest of a connected graph $G$, all of whose components are induced subgraphs of $G$ and such that all vertices have odd degree in the forest. A perfect forest generalised a perfect matching since, in a matching, all components are trees on one edge. Scott first proved the Perfect Forest Theorem, namely, that every connected graph of even order has a perfect forest.… ▽ More A perfect forest is a spanning forest of a connected graph $G$, all of whose components are induced subgraphs of $G$ and such that all vertices have odd degree in the forest. A perfect forest generalised a perfect matching since, in a matching, all components are trees on one edge. Scott first proved the Perfect Forest Theorem, namely, that every connected graph of even order has a perfect forest. Gutin then gave another proof using linear algebra. We give here two very short proofs of the Perfect Forest Theorem which use only elementary notions from graph theory. Both our proofs yield polynomial-time algorithms for finding a perfect forest in a connected graph of even order. △ Less

Submitted 15 December, 2016; originally announced December 2016.

MSC Class: 05C05; 05C70

Partial domination - the isolation number of a graph

Authors: Yair Caro, Adriana Hansberg

Abstract: We prove the following result: If $G$ be a connected graph on $n \ge 6$ vertices, then there exists a set of vertices $D$ with $|D| \le \frac{n}{3}$ and such that $V(G) \setminus N[D]$ is an independent set, where $N[D]$ is the closed neighborhood of $D$. Furthermore, the bound is sharp. This seems to be the first result in the direction of partial domination with constrained structure on the grap… ▽ More We prove the following result: If $G$ be a connected graph on $n \ge 6$ vertices, then there exists a set of vertices $D$ with $|D| \le \frac{n}{3}$ and such that $V(G) \setminus N[D]$ is an independent set, where $N[D]$ is the closed neighborhood of $D$. Furthermore, the bound is sharp. This seems to be the first result in the direction of partial domination with constrained structure on the graph induced by the non-dominated vertices, which we further elaborate in this paper. △ Less

Submitted 29 April, 2015; originally announced April 2015.

Comments: 28 pages

MSC Class: 05C65

Selective Hypergraph Colourings

Authors: Yair Caro, Josef Lauri, Christina Zarb

Abstract: We look at colourings of $r$-uniform hypergraphs, focusing our attention on unique colourability and gaps in the chromatic spectrum. The pattern of an edge $E$ in an $r$-uniform hypergraph $H$ whose vertices are coloured is the partition of $r$ induced by the colour classes of the vertices in $E$. Let $Q$ be a set of partitions of $r$. A $Q$-colouring of $H$ is a colouring of its vertices such tha… ▽ More We look at colourings of $r$-uniform hypergraphs, focusing our attention on unique colourability and gaps in the chromatic spectrum. The pattern of an edge $E$ in an $r$-uniform hypergraph $H$ whose vertices are coloured is the partition of $r$ induced by the colour classes of the vertices in $E$. Let $Q$ be a set of partitions of $r$. A $Q$-colouring of $H$ is a colouring of its vertices such that only patterns appearing in $Q$ are allowed. We first show that many known hypergraph colouring problems, including Ramsey theory, can be stated in the language of $Q$-colourings. Then, using as our main tools the notions of $Q$-colourings and $Σ$-hypergraphs, we define and prove a result on tight colourings, which is a strengthening of the notion of unique colourability. $Σ$-hypergraphs are a natural generalisation of $σ$-hypergraphs introduced by the first two authors in an earlier paper. We also show that there exist $Σ$-hypergraphs with arbitrarily large $Q$-chromatic number and chromatic number but with bounded clique number. Dvorak et al. have characterised those $Q$ which can lead to a hypergraph with a gap in its $Q$-spectrum. We give a short direct proof of the necessity of their condition on $Q$. We also prove a partial converse for the special case of $Σ$-hypergraphs. Finally, we show that, for at least one family $Q$ which is known to yield hypergraphs with gaps, there exist no $Σ$-hypergraphs with gaps in their $Q$-spectrum. △ Less

Submitted 16 April, 2015; originally announced April 2015.

MSC Class: 05C65

Ramsey numbers for degree monotone paths

Authors: Yair Caro, Raphael Yuster, Christina Zarb

Abstract: A path $v_1,v_2,\ldots,v_m$ in a graph $G$ is $degree$-$monotone$ if $deg(v_1) \leq deg(v_2) \leq \cdots \leq deg(v_m)$ where $deg(v_i)$ is the degree of $v_i$ in $G$. Longest degree-monotone paths have been studied in several recent papers. Here we consider the Ramsey type problem for degree monotone paths. Denote by $M_k(m)$ the minimum number $M$ such that for all $n \geq M$, in any $k$-edge co… ▽ More A path $v_1,v_2,\ldots,v_m$ in a graph $G$ is $degree$-$monotone$ if $deg(v_1) \leq deg(v_2) \leq \cdots \leq deg(v_m)$ where $deg(v_i)$ is the degree of $v_i$ in $G$. Longest degree-monotone paths have been studied in several recent papers. Here we consider the Ramsey type problem for degree monotone paths. Denote by $M_k(m)$ the minimum number $M$ such that for all $n \geq M$, in any $k$-edge coloring of $K_n$ there is some $1\leq j \leq k$ such that the graph formed by the edges colored $j$ has a degree-monotone path of order $m$. We prove several nontrivial upper and lower bounds for $M_k(m)$. △ Less

Submitted 26 March, 2015; originally announced March 2015.

MSC Class: 05C55; 05C07; 05C38

The Saturation Number for the length of Degree Monotone Paths

Authors: Yair Caro, Josef Lauri, Christina Zarb

Abstract: A degree monotone path in a graph $G$ is a path $P$ such that the sequence of degrees of the vertices in the order in which they appear on $P$ is monotonic. The length of the longest degree monotone path in $G$ is denoted by $mp(G)$. This parameter, inspired by the well-known Erdos-Szekeres theorem, has been studied by the authors in two earlier papers. Here we consider a saturation problem for th… ▽ More A degree monotone path in a graph $G$ is a path $P$ such that the sequence of degrees of the vertices in the order in which they appear on $P$ is monotonic. The length of the longest degree monotone path in $G$ is denoted by $mp(G)$. This parameter, inspired by the well-known Erdos-Szekeres theorem, has been studied by the authors in two earlier papers. Here we consider a saturation problem for the parameter $mp(G)$. We call $G$ saturated if, for every edge $e$ added to $G$, $mp(G+e) >mp(G)$, and we define $h(n,k)$ to be the least possible number of edges in a saturated graph $G$ on $n$ vertices with $mp(G) < k$, while $mp(G+e) \geq k$ for every new edge $e$. We obtain linear lower and upper bounds for $h(n,k)$, we determine exactly the values of $h(n,k)$ for $k=3$ and $4$, and we present constructions of saturated graphs. △ Less

Submitted 18 September, 2014; originally announced September 2014.

MSC Class: 05C07; 05C76; 05C38