arXiv++ Combinatorics

A graceful k-coloring of a non-empty graph $G=(V,E)$ is a proper vertex coloring $f:V(G)\rightarrow\lbrace 1,2,...,k \rbrace$, $k\geq 2$, which induces a proper edge coloring $f^{*}:E(G)\rightarrow\lbrace 1, 2, . . . , k-1 \rbrace $ defined by $f^{*}(uv) = |f(u)-f(v)|$, where $u,v\in V(G)$. The minimum $k$ for which $G$ has a graceful $k$-coloring is called graceful chromatic number, $χ_{g}(G)$. The graceful chromatic number for a few variants of ladder graphs are investigated in this article.

An $r$-uniform hypergraph is linear if every two edges intersect in at most one vertex. The $r$-expansion $F^{r}$ of a graph $F$ is the $r$-uniform hypergraph obtained from $F$ by enlarging each edge of $F$ with a vertex subset of size $r-2$ disjoint from the vertex set of $F$ such that distinct edges are enlarged by disjoint subsets. Let $ex_{r}^{lin}(n,F^{r})$ and $spex_{r}^{lin}(n,F^{r})$ be the maximum number of edges and the maximum spectral radius of all $F^{r}$-free linear $r$-uniform hypergraphs with $n$ vertices, respectively. In this paper, we present the sharp (or asymptotic) bounds of $ex_{r}^{lin}( n,F^{r})$ and $spex_{r}^{lin}(n,F^{r})$ by establishing the connection between the spectral radii of linear hypergraphs and those of their shadow graphs, where $F$ is a $(k+1)$-color critical graph or a graph with chromatic number $k$.

For any two non-negative integers h and k, h > k, an L(h, k)-colouring of a graph G is a colouring of vertices such that adjacent vertices admit colours that at least differ by h and vertices that are two distances apart admit colours that at least differ by k. The smallest positive integer δ such that G permits an L(h, k)-colouring with maximum colour δ is known as the L(h, k)-chromatic number (L(h, k)-colouring number) denoted by λ_{h,k}(G). In this paper, we discuss some interesting invariants in hypergraphs. In fact, we study the relation between the spectral gap and L(2, 1)-chromatic number of hypergraphs. We derive some inequalities which relates L(2, 1)-chromatic number of a k-regular simple graph to its spectral gap and expansion constant. The upper bound of L(h, k)-chromatic number in terms of various hypergraph invariants such as strong chromatic number, strong independent number and maximum degree is obtained. We determine the sharp upper bound for L(2, 1)-chromatic number of hypertrees in terms of its maximum degree. Finally, we conclude this paper with a discussion on L(2, 1)-colouring in cartesian product of some classes of hypergraphs.

Let G = (V, E) be a finite simple connected graph. We say a graph G realizes a code of the type 0^s_1 1^t_1 0^s_2 1^t_2 ... 0^s_k1^t_k if and only if G can obtained from the code by some rule. Some classes of graphs such as threshold and chain graphs realizes a code of the above mentioned type. In this paper, we develop some computationally feasible methods to determine some interesting graph theoretical invariants. We present an efficient algorithm to determine the metric dimension of threshold and chain graphs. We compute threshold dimension and restricted threshold dimension of threshold graphs. We discuss L(2, 1)-coloring of threshold and chain graphs. In fact, for every threshold graph G, we establish a formula by which we can obtain the λ-chromatic number of G. Finally, we provide an algorithm to compute the λ-chromatic number of chain graphs.

Let $f_{o}(G)$ be the maximum order of an odd induced subgraph of $G$. In 1992, Scott proposed a conjecture that $f_{o}(G)\geq \frac {n} {2χ(G)}$ for a graph $G$ of order $n$ without isolated vertices, where $χ(G)$ is the chromatic number of $G$. In this paper, we show that the conjecture is not true for bipartite graphs, but is true for all line graphs. In addition, we also disprove a conjecture of Berman, Wang and Wargo in 1997, which states that $f_{o}(G)\geq 2\lfloor\frac {n} {4}\rfloor$ for a connected graph $G$ of order $n$. Scott's conjecture is open for a graph with chromatic number at least 3.

Flexible list coloring was introduced by Dvořák, Norin, and Postle in 2019. Suppose $0 \leq ε\leq 1$, $G$ is a graph, $L$ is a list assignment for $G$, and $r$ is a function with non-empty domain $D\subseteq V(G)$ such that $r(v) \in L(v)$ for each $v \in D$ ($r$ is called a request of $L$). The triple $(G,L,r)$ is $ε$-satisfiable if there exists a proper $L$-coloring $f$ of $G$ such that $f(v) = r(v)$ for at least $ε|D|$ vertices in $D$. We say $G$ is $(k, ε)$-flexible if $(G,L',r')$ is $ε$-satisfiable whenever $L'$ is a $k$-assignment for $G$ and $r'$ is a request of $L'$. It was shown by Dvořák et al. that if $d+1$ is prime, $G$ is a $d$-degenerate graph, and $r$ is a request for $G$ with domain of size $1$, then $(G,L,r)$ is $1$-satisfiable whenever $L$ is a $(d+1)$-assignment. In this paper, we extend this result to all $d$ for bipartite $d$-degenerate graphs. The literature on flexible list coloring tends to focus on showing that for a fixed graph $G$ and $k \in \mathbb{N}$ there exists an $ε> 0$ such that $G$ is $(k, ε)$-flexible, but it is natural to try to find the largest possible $ε$ for which $G$ is $(k,ε)$-flexible. In this vein, we improve a result of Dvořák et al., by showing $d$-degenerate graphs are $(d+2, 1/2^{d+1})$-flexible. In pursuit of the largest $ε$ for which a graph is $(k,ε)$-flexible, we observe that a graph $G$ is not $(k, ε)$-flexible for any $k$ if and only if $ε> 1/ ρ(G)$, where $ρ(G)$ is the Hall ratio of $G$, and we initiate the study of the list flexibility number of a graph $G$, which is the smallest $k$ such that $G$ is $(k,1/ ρ(G))$-flexible. We study relationships and connections between the list flexibility number, list chromatic number, list packing number, and degeneracy of a graph.

The Turán number of a graph $H$, $\text{ex}(n,H)$, is the maximum number of edges in an $n$-vertex graph that does not contain $H$ as a subgraph. For a vertex $v$ and a multi-set $\mathcal{F}$ of graphs, the suspension $\mathcal{F}+v$ of $\mathcal{F}$ is the graph obtained by connecting the vertex $v$ to all vertices of $F$ for each $F\in \mathcal{F}$. For two integers $k\ge1$ and $r\ge2$, let $H_i$ be a graph containing a critical edge with chromatic number $r$ for any $i\in\{1,\ldots,k\}$, and let $H=\{H_1,\ldots,H_k\}+v$. In this paper, we determine $\text{ex}(n, H)$ and characterize all the extremal graphs for sufficiently large $n$. This generalizes a result of Chen, Gould, Pfender and Wei on intersecting cliques. We also obtain a stability theorem for $H$, extending a result of Roberts and Scott on graphs containing a critical edge.

Given a graph $G$, a colouring of $G$ is \emph{acyclic} if it is a proper colouring of $G$ and every cycle contains at least three colours. Its acyclic chromatic number $χ_a(G)$ is the minimum~$k$ such that an acyclic $k$-colouring of $G$ exists. When $G$ has maximum degree $Δ$, it is known that $χ_a(G) = \mathcal {O}(Δ^{4/3})$ as $Δ\to \infty$, and that $χ_a(G) = \mathcal {O}(\sqrt{t} \cdot Δ)$ if in addition $G$ does not contain $K_{2,t}$ as a subgraph. We study the extremal value of the acyclic chromatic number in the class of graphs of maximum degree $Δ$ that do not contain some fixed subgraph $F$ on $t$ vertices. We establish that this extremal value is at most $\mathcal {O}(t^{8/3}Δ^{2/3})$ if $F$ is a tree, $\mathcal {O}(\sqrt{t} \cdot Δ)$ if $F$ is bipartite and can be made acyclic with the removal of one vertex, $2Δ+ \mathcal {O}(tΔ^{2/3})$ if $F$ is an even cycle of length at least $6$, and $\mathcal {O}(t^{1/4}Δ^{5/4})$ if $F=K_{3,t}$. Moreover, we exhibit an infinite family of obstructions $F$ that each induces a different asymptotic behaviour for this extremal value. This is obtained with the derivation of lower bounds that come from the analysis of the acyclic chromatic number of a random graph drawn from either $G(n,p)$ or $G(n,n,p)$, that we entirely determine up to a ${\rm polylog}(n)$ factor. As a byproduct, we can certify that most of our results are tight up to a $Δ^{\mathcal{O}(1/t)}$ factor.

For a subset $ S $ of $ \mathbb R^d$, $ S$-graphs are the intersection graphs of specific transformations of $ S $. The class of Burling graphs is a class of triangle-free graphs with arbitrarily large chromatic number that has attracted much attention in the last years. In 2012, Pawlik, Kozik, Krawczyk, Lasoń, Micek, Trotter, and Walczak showed that for every compact and path-connected set $ S \subseteq \mathbb R^2$ that is different from an axis-parallel rectangle, the class of $ S $-graphs contains all Burling graphs. There is, however, a gap between the two classes. In recent years, there have been improvements in understanding the subclasses of $ S $-graphs that are closer or equal to Burling graphs. In this article, we close this gap for every set $ S $ with the mentioned properties: we introduce the class of constrained $ S $-graphs, a subclass of $ S$-graphs, and prove that it is equal to the class of Burling graphs. We also introduce the class of constrained graphs, a subclass of intersection graphs of subsets of $ \mathbb R^2$, and prove that it is equal to the class of Burling graphs.

For an integer $k \geq 2$, an ordered $k$-uniform hypergraph $\mathcal{H}=(H,<)$ is a $k$-uniform hypergraph $H$ together with a fixed linear ordering $<$ of its vertex set. The ordered Ramsey number $\overline{R}(\mathcal{H},\mathcal{G})$ of two ordered $k$-uniform hypergraphs $\mathcal{H}$ and $\mathcal{G}$ is the smallest $N \in \mathbb{N}$ such that every red-blue coloring of the hyperedges of the ordered complete $k$-uniform hypergraph $\mathcal{K}^{(k)}_N$ on $N$ vertices contains a blue copy of $\mathcal{H}$ or a red copy of $\mathcal{G}$. The ordered Ramsey numbers are quite extensively studied for ordered graphs, but little is known about ordered hypergraphs of higher uniformity. We provide some of the first nontrivial estimates on ordered Ramsey numbers of ordered 3-uniform hypergraphs. In particular, we prove that for all $d,n \in \mathbb{N}$ and for every ordered $3$-uniform hypergraph $\mathcal{H}$ on $n$ vertices with maximum degree $d$ and with interval chromatic number $3$ there is an $\varepsilon=\varepsilon(d)>0$ such that $$\overline{R}(\mathcal{H},\mathcal{H}) \leq 2^{O(n^{2-\varepsilon})}.$$ In fact, we prove this upper bound for the number $\overline{R}(\mathcal{G},\mathcal{K}^{(3)}_3(n))$, where $\mathcal{G}$ is an ordered 3-uniform hypergraph with $n$ vertices and maximum degree $d$ and $\mathcal{K}^{(3)}_3(n)$ is the ordered complete tripartite hypergraph with consecutive color classes of size $n$. We show that this bound is not far from the truth by proving $\overline{R}(\mathcal{H},\mathcal{K}^{(3)}_3(n)) \geq 2^{Ω(n\log{n})}$ for some fixed ordered $3$-uniform hypergraph $\mathcal{H}$.

Given a graph $G$, we let $s^+(G)$ denote the sum of the squares of the positive eigenvalues of the adjacency matrix of $G$, and we similarly define $s^-(G)$. We prove that \[χ_f(G)\ge 1+\max\left\{\frac{s^+(G)}{s^-(G)},\frac{s^-(G)}{s^+(G)}\right\}\] and thus strengthen a result of Ando and Lin, who showed the same lower bound for the chromatic number $χ(G)$. We in fact show a stronger result wherein we give a bound using the eigenvalues of $G$ and $H$ whenever $G$ has a homomorphism to an edge-transitive graph $H$. Our proof utilizes ideas motivated by association schemes.

For a graph $H$ and an integer $k\ge1$, let $r(H;k)$ and $r_\ell(H;k)$ denote the $k$-color Ramsey number and list Ramsey number of $H$, respectively. Alon, Bucić, Kalvari, Kuperwasser and Szabó in 2021 initiated the systematic study of list Ramsey numbers of graphs and hypergraphs, and conjectured that $ r(K_{1,n};k)$ and $r_\ell(K_{1,n};k)$ are always equal. Motivated by their work, we study the $k$-color Ramsey number for double stars $S(n,m)$, where $n\ge m\ge1$. To the best of our knowledge, little is known on the exact value of $r(S(n,m);k)$ when $k\ge3$. A classic result of Erdős and Graham from 1975 asserts that $r(T;k)>k(n-1)+1$ for every tree $T$ with $n\ge 1$ edges and $k$ sufficiently large such that $n$ divides $k-1$. Using a folklore double counting argument in set system and the edge chromatic number of complete graphs, we prove that if $k$ is odd and $n$ is sufficiently large compared with $m$ and $k$, then \[ r(S(n,m);k)=kn+m+2.\] This is a step in our effort to determine whether $r(S(n,m);k)$ and $r_\ell(S(n,m);k)$ are always equal, which remains wide open. We also prove that $ r(S^m_n;k)=k(n-1)+m+2$ if $k $ is odd and $n$ is sufficiently large compared with $m$ and $k$, where $1\le m\le n$ and $S^m_n$ is obtained from $K_{1, n}$ by subdividing $m$ edges each exactly once. We end the paper with some observations towards the list Ramsey number for $S(n,m)$ and $S^m_n$.

An $r$-hued coloring of a simple graph $G$ is a proper coloring of its vertices such that every vertex $v$ is adjacent to at least $\min\{r, °(v)\}$ differently colored vertices. The minimum number of colors needed for an $r$-hued coloring of a graph $G$, the $r$-hued chromatic number, is denoted by $χ_{r}(G)$. In this note we show that $$χ_r(G) \leq (r - 1)(Δ(G) + 1) + 2,$$ for every simple graph $G$ and every $r \geq 2$, which in the case when $r < Δ(G)$ improves the presently known $Δ(G)$-based upper bound on $χ_r(G)$, namely $r Δ(G) + 1$. We also discuss the existence of graphs whose $r$-hued chromatic number is close to $(r-1)(Δ+ 1 ) + 2$ and we prove that there is a bipartite graph of maximum degree $Δ$ whose $r$-hued chromatic number is $(r-1)Δ+ 1$ for every $r \in \{2, \dots, 9\}$ and infinitely many values of $Δ\geq r + 2$; we believe that $(r-1)Δ(G) + 1$ is the best upper bound on the $r$-hued chromatic number of any bipartite graph $G$.

Kostochka and Woodall (2001) conjectured that the square of every graph has the same chromatic number and list chromatic number. In 2015 Kim and Park disproved this conjecture for non-bipartite and bipartite graphs. It was asked by several authors whether this conjecture holds for bipartite graphs with small degrees, claw-free graphs, or line graphs. In this paper, we introduce several kinds of counterexamples to this conjecture to solve three open problems posed by Kim and Park~(2015), Kim, Kwon, and Park~(2015), and Dai, Wang, Yang, and Yu~(2018). In particular, we disprove a planar version of this conjecture proposed by Havet, Heuvel, McDiarmid, and Reed (2017). This conjecture was originally proposed to make a stronger version of the List Total Coloring Conjecture. In order to make a revised version, it remains to decide whether this conjecture holds for bipartite graphs $G$ by imposing a lower bound on the chromatic number of the square graph $G^2$ in terms of its maximum degree as the condition $χ(G^2) \ge \frac{1}{2} Δ(G^2)+1$ (or by adding an upper bound on the number of colors used in lists for a weaker version). To support this version, we will show that the bipartite condition cannot be dropped even by increasing the lower bound arbitrarily. Finally, we investigate non-choosable graphs with bounded maximum degree in bipartite or planar graphs. Consequently, we improve several graph constructions due to Erd\H os, Rubin, and Taylor~(1980), Bessy, Havet, and Palaysi (2002), Voigt (1993), Mirzakhani (1996), and Glebov, Kostochka, and Tashkinov (2005) in terms of maximum degree or order. In addition, we characterize edge-minimal $3$-chromatic non-$3$-choosable (resp. $4$-chromatic non-$4$-choosable) graphs of order at most $9$ (resp. $11$) and settle a question posed by Nelsen~(2019).

We show that the discrete versions of the systolic inequality that estimate the number of vertices of a simplicial complex from below have substantial applications to graphs, the one-dimensional simplicial complexes. Almost directly they provide good estimates for the number of vertices of a graph in terms of its chromatic number and the length of the smallest odd cycle. Combined with the graph-theoretic techniques of Berlov and Bogdanov, the systolic approach produces even better estimates.

We prove that for every non-trivial hereditary family of graphs ${\cal P}$ and for every fixed $p \in (0,1)$, the maximum possible number of edges in a subgraph of the random graph $G(n,p)$ which belongs to ${\cal P}$ is, with high probability, $$ \left(1-\frac{1}{k-1}+o(1)\right)p{n \choose 2}, $$ where $k$ is the minimum chromatic number of a graph that does not belong to ${\cal P}$.

We consider the following problem: for a given graph $G$ and two integers $k$ and $d$, can we apply a fixed graph operation at most $k$ times in order to reduce a given graph parameter $π$ by at least $d$? We show that this problem is NP-hard when the parameter is the independence number and the graph operation is vertex deletion or edge contraction, even for fixed $d=1$ and when restricted to chordal graphs. We give a polynomial time algorithm for bipartite graphs when the operation is edge contraction, the parameter is the independence number and $d$ is fixed. Further, we complete the complexity dichotomy on $H$-free graphs when the parameter is the clique number and the operation is edge contraction by showing that this problem is NP-hard in $(C_3+P_1)$-free graphs even for fixed $d=1$. When the operation is edge deletion and the parameter is the chromatic number, we determine the computational complexity of the associated problem on cographs and complete multipartite graphs. Our results answer several open questions stated in [Diner et al., Theoretical Computer Science, 746, p. 49-72 (2012)].

An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $χ_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, we characterize $s$-bridge graphs with local antimagic chromatic number 2.

Let $G$ be a graph. We use $χ(G)$ and $ω(G)$ to denote the chromatic number and clique number of $G$ respectively. A $P_5$ is a path on 5 vertices. A family of graphs $\mathcal{G}$ is said to be {\it$χ$-bounded} if there exists some function $f$ such that $χ(G)\leq f(ω(G))$ for every $G\in\mathcal{G}$. In this paper, we show that the family of $(P_5, K_5-e)$-free graphs is $χ$-bounded by a linear function: $χ(G)\leq \max\{13,ω(G)+1\}$.

Let $K_p$ be a complete graph of order $p\geq 2$. A $K_p$-free $k$-coloring of a graph $H$ is a partition of $V(H)$ into $V_1, V_2\ldots,V_k$ such that $H[V_i]$ does not contain $K_p$ for each $i\leq k $. In 1977 Borodin and Kostochka conjectured that any graph $H$ with maximum degree $Δ(H)\geq 9$ and without $K_{Δ(H)}$ as a subgraph has chromatic number at most $Δ(H)-1$. As analogue of the Borodin-Kostochka conjecture, we prove that if $p_1\geq \cdots\geq p_k\geq 2$, $p_1+p_2\geq 7$, $\sum_{i=1}^kp_i=Δ(H)-1+k$, and $H$ does not contain $K_{Δ(H)}$ as a subgraph, then there is a partition of $V(H)$ into $V_1,\ldots,V_k$ such that for each $i$, $H[V_i]$ does not contain $K_{p_i}$. In particular, if $p\geq 4$ and $H$ does not contain $K_{Δ(H)}$ as a subgraph, then $H$ admits a $K_p$-free $\lceil{Δ(H)-1\over p-1}\rceil$-coloring. Catlin showed that every connected non-complete graph $H$ with $Δ(H)\geq 3$ has a $Δ(H)$-coloring such that one of the color classes is maximum $K_2$-free subset (maximum independent set). In this regard, we show that there is a partition of vertices of $H$ into $V_1$ and $V_2$ such that $H[V_1]$ does not contain $K_{p}$, $H[V_2]$ does not contain $K_{q}$, and $V_1$ is a maximum $K_p$-free subset of V(H) if $p\geq 4$, $q\geq 3$, $p+q=Δ(H)+1$, and its clique number $ω(H)=p$.