arXiv++ Combinatorics

Let $κ'(G)$, $κ(G)$, $μ_{n-1}(G)$ and $μ_1(G)$ denote the edge-connectivity, vertex-connectivity, the algebraic connectivity and the Laplacian spectral radius of $G$, respectively. In this paper, we prove that for integers $k\geq 2$ and $r\geq 2$, and any simple graph $G$ of order $n$ with minimum degree $δ\geq k$, girth $g\geq 3$ and clique number $ω(G)\leq r$, the edge-connectivity $κ'(G)\geq k$ if $μ_{n-1}(G) \geq \frac{(k-1)n}{N(δ,g)(n-N(δ,g))}$ or if $μ_{n-1}(G) \geq \frac{(k-1)n}{\varphi(δ,r)(n-\varphi(δ,r))}$, where $N(δ,g)$ is the Moore bound on the smallest possible number of vertices such that there exists a $δ$-regular simple graph with girth $g$, and $\varphi(δ,r) = \max\{δ+1,\lfloor\frac{rδ}{r-1}\rfloor\}$. Analogue results involving $μ_{n-1}(G)$ and $\frac{μ_1(G)}{μ_{n-1}(G)}$ to characterize vertex-connectivity of graphs with fixed girth and clique number are also presented. Former results in [Linear Algebra Appl. 439 (2013) 3777--3784], [Linear Algebra Appl. 578 (2019) 411--424], [Linear Algebra Appl. 579 (2019) 72--88], [Appl. Math. Comput. 344-345 (2019) 141--149] and [Electronic J. Linear Algebra 34 (2018) 428--443] are improved or extended.

A construction described by the current author in 2017 uses two linear `prototype' graphs to build a compound graph with Ramsey properties inherited from the prototypes. This paper describes a generalisation of that construction which has produced improved lower bounds in many cases for multicolour Ramsey numbers. The resulting graphs are linear, as before, and under certain specific conditions set out here, they can be cyclic. The mechanism of the new construction requires that the first prototype contains a triangle-free `template' in one colour, with defined properties. This paper shows that in the compound graph, clique numbers in the colours of the first prototype may exceed those of the prototype. However, it proves necessary only to test for a limited subset of the possible cliques using these colours, in order to evaluate the relevant clique numbers for the entire graph. Clique numbers in the colours of the second prototype are equal to those of that prototype. These attributes enable the efficient searching of a new family of graphs based on the `template' approach. It has also been found that there are a number of useful cases in which the clique numbers of the first prototype are not increased by the compounding process. As a result of this construction many lower bounds can be improved. The improvements include $R_4(5) \ge 4073$, $R_5(5) \ge 38914$, $R_3(6) \ge 1106$, $R_4(6) \ge 21302$, $R_4(7) \ge 84623$ and $R_3(9) \ge 14034$. It is also shown that $R_3(9) \ge 14081$ using a non-linear construction.

In 1998, Reed conjectured that every graph $G$ satisfies $χ(G) \leq \lceil \frac{1}{2}(Δ(G) + 1 + ω(G))\rceil$, where $χ(G)$ is the chromatic number of $G$, $Δ(G)$ is the maximum degree of $G$, and $ω(G)$ is the clique number of $G$. As evidence for his conjecture, he proved an "epsilon version" of it, i.e. that there exists some $\varepsilon > 0$ such that $χ(G) \leq (1 - \varepsilon)(Δ(G) + 1) + \varepsilonω(G)$. It is natural to ask if Reed's conjecture or an epsilon version of it is true for the list-chromatic number. In this paper we consider a "local version" of the list-coloring version of Reed's conjecture. Namely, we conjecture that if $G$ is a graph with list-assignment $L$ such that for each vertex $v$ of $G$, $|L(v)| \geq \lceil \frac{1}{2}(d(v) + 1 + ω(v))\rceil$, where $d(v)$ is the degree of $v$ and $ω(v)$ is the size of the largest clique containing $v$, then $G$ is $L$-colorable. Our main result is that an "epsilon version" of this conjecture is true, under some mild assumptions. Using this result, we also prove a significantly improved lower bound on the density of $k$-critical graphs with clique number less than $k/2$, as follows. For every $α> 0$, if $\varepsilon \leq \frac{α^2}{1350}$, then if $G$ is an $L$-critical graph for some $k$-list-assignment $L$ such that $ω(G) < (\frac{1}{2} - α)k$ and $k$ is sufficiently large, then $G$ has average degree at least $(1 + \varepsilon)k$. This implies that for every $α> 0$, there exists $\varepsilon > 0$ such that if $G$ is a graph with $ω(G)\leq (\frac{1}{2} - α)\mathrm{mad}(G)$, where $\mathrm{mad}(G)$ is the maximum average degree of $G$, then $χ_\ell(G) \leq \left\lceil (1 - \varepsilon)(\mathrm{mad}(G) + 1) + \varepsilon ω(G)\right\rceil$.

A family $\mathcal{A}$ of sets is said to be intersecting if every two sets in $\mathcal{A}$ intersect. An intersecting family is said to be \emph{trivial} it its sets have a common element. A graph $G$ is said to be $r$-EKR if at least one of the largest intersecting families of independent $r$-element sets of $G$ is trivial. Let $α(G)$ and $ω(G)$ denote the independence number and the clique number of $G$, respectively. Hilton and Spencer recently showed that if $G$ is the vertex-disjoint union of a cycle ${_*C}$ raised to the power $k^*$ and $s$ cycles ${_1C}, \dots, {_sC}$ raised to the powers $k_1, \dots, k_s$, respectively, $1 \leq r \leq α(G)$, and $$\min\big(ω(_1C^{k_1}), \dots, ω(_sC^{k_s})\big) \geq 2k^* + 1,$$ then $G$ is $r$-EKR. They had shown that the same holds if ${_*C}$ is replaced by a path and the condition on the clique numbers is relaxed to $$\min\big(ω(_1C^{k_1}), \dots, ω(_sC^{k_s})\big) \geq k^* + 1.$$ We use the classical Shadow Intersection Theorem of Katona to obtain a short proof of each result for the case where the inequality for the minimum clique number is strict.

For a simple connected graph $G$, let $D(G)$, $Tr(G)$, $D^{L}(G)$ and $D^{Q}(G)$, respectively be the distance matrix, the diagonal matrix of the vertex transmissions, distance Laplacian matrix and the distance signless Laplacian matrix of a graph $G$. The convex linear combinations $D_α(G)$ of $Tr(G)$ and $D(G)$ is defined as $D_α(G)=αTr(G)+(1-α)D(G)$, $0\leq α\leq 1$. As $D_{0}(G)=D(G), ~~~ 2D_{\frac{1}{2}}(G)=D^{Q}(G), ~~~ D_{1}(G)=Tr(G)$ and $D_α(G)-D_β(G)=(α-β)D^{L}(G)$, this matrix reduces to merging the distance spectral, distance Laplacian spectral and distance signless Laplacian spectral theories. Let $\partial_{1}(G)\geq \partial_{2}(G)\geq \dots \geq \partial_{n}(G)$ be the eigenvalues of $D_α(G)$ and let $D_αS(G)=\partial_{1}(G)-\partial_{n}(G)$ be the generalized distance spectral spread of the graph $G$. In this paper, we obtain some bounds for the generalized distance spectral spread $D_α(G)$. We also obtain relation between the generalized distance spectral spread $D_α(G)$ and the distance spectral spread $S_{D}(G)$. Further, we obtain the lower bounds for $D_αS(G)$ of bipartite graphs involving different graph parameters and we characterize the extremal graphs for some cases. We also obtain lower bounds for $D_αS(G)$ in terms of clique number and independence number of the graph $G$ and characterize the extremal graphs for some cases.

The Lovász theta number is a semidefinite programming bound on the clique number of (the complement of) a given graph. Given a vertex-transitive graph, every vertex belongs to a maximal clique, and so one can instead apply this semidefinite programming bound to the local graph. In the case of the Paley graph, the local graph is circulant, and so this bound reduces to a linear programming bound, allowing for fast computations. Impressively, the value of this program with Schrijver's nonnegativity constraint rivals the state-of-the-art closed-form bound recently proved by Hanson and Petridis. We conjecture that this linear programming bound improves on the Hanson-Petridis bound infinitely often, and we derive the dual program to facilitate proving this conjecture.

A $k$-$γ_{c}$-edge critical graph is a graph $G$ with the connected domination number $γ_{c}(G) = k$ and $γ_{c}(G + uv) < k$ for every $uv \in E(\overline{G})$. Further, a $2$-connected graph $G$ is said to be $k$-$γ_{c}$-vertex critical if $γ_{c}(G) = k$ and $γ_{c}(G - v) < k$ for all $v \in V(G)$. A maximal $k$-$γ_{c}$-vertex critical graph is a graph which are both $k$-$γ_{c}$-edge critical and $k$-$γ_{c}$-vertex critical. Let $κ, δ, ω$ and $α$ be respectively connectivity minimum degree, clique number and independence number. In this paper, we prove that every maximal $3$-$γ_{c}$-vertex critical graph $G$ satisfies $α\leq δ$ and this bound is best possible. We prove further that $G$ satisfies $α+ ω\leq n - 1$ and we also characterize all such graphs achieving the upper bounds. We finally show that if $G$ satisfies $κ< δ$, then every two vertices of $G$ are joined by hamiltonian path.

In this article we present the idea of clique ceiling numbers of the vertices of a given graph that has a universal vertex. We follow up with a polynomial-time algorithm to compute an upper bound for the clique number of such a graph using clique ceiling numbers. We compare this algorithm with some upper bound formulas for the clique number.

The general position number ${\rm gp}(G)$ of a connected graph $G$ is the cardinality of a largest set $S$ of vertices such that no three pairwise distinct vertices from $S$ lie on a common geodesic. It is proved that ${\rm gp}(G)\ge ω(G_{\rm SR}$, where $G_{\rm SR}$ is the strong resolving graph of $G$, and $ω(G_{\rm SR})$ is its clique number. That the bound is sharp is demonstrated with numerous constructions including for instance direct products of complete graphs and different families of strong products, of generalized lexicographic products, and of rooted product graphs. For the strong product it is proved that $gp(G\boxtimes H) \ge gp(G)gp(H)$, and asked whether the equality holds for arbitrary connected graphs $G$ and $H$. It is proved that the answer is in particular positive for strong products with a complete factor, for strong products of complete bipartite graphs, and for certain strong cylinders.

We prove that the chromatic number of a circle graph with clique number $ω$ is at most $7ω^2$.

We prove that the clique number of the Paley graph is at most $\sqrt{p/2} + 1$, and that any supposed additive decompositions of the set of quadratic residues can only come from co-Sidon sets.

We investigate the effect of a fixed forbidden clique minor upon the strong chromatic index, both in multigraphs and in simple graphs. We conjecture for each $k\ge 4$ that any $K_k$-minor-free multigraph of maximum degree $Δ$ has strong chromatic index at most $\frac32(k-2)Δ$. We present a construction certifying that if true the conjecture is asymptotically sharp as $Δ\to\infty$. In support of the conjecture, we show it in the case $k=4$ and prove the statement for strong clique number in place of strong chromatic index. By contrast, we make a basic observation that for $K_k$-minor-free simple graphs, the problem of strong edge-colouring is "between" Hadwiger's Conjecture and its fractional relaxation. For $k\geq5$, we also show that $K_k$-minor-free multigraphs of edge-diameter at most $2$ have strong clique number at most $(k-\frac{1}{2})Δ$.

Consider a $3$-uniform hypergraph of order $n$ with clique number $k$ such that the intersection of all its $k$-cliques is empty. Szemerédi and Petruska proved $n\leq 8m^2+3m$, for fixed $m=n-k$, and they conjectured the sharp bound $n\leq{m+2\choose 2}$. Tuza proved the best known bound, $n\leq \frac{3}{4}m^2+m+1$, using the machinery of $τ$-critical hypergraphs. Here we propose an alternative approach, combining a decomposition process introduced by Szemerédi and Petruska with the skew version of Bollobás's theorem to prove $n\leq m^2 + 6m + 2$. While the bound obtained here is weaker than Tuza's bound, it is a proof-of-concept for a different approach and a call to apply dimension bounds from linear algebra.

Given two graphs $H_1$ and $H_2$, a graph is $(H_1,\,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ or $H_2$. For a positive integer $t$, $P_t$ is the chordless path on $t$ vertices. A paraglider is the graph that consists of a chorless cycle $C_4$ plus a vertex adjacent to three vertices of the $C_4$. In this paper, we study the structure of ($P_5$, paraglider)-free graphs, and show that every such graph $G$ satisfies $χ(G)\le \lceil \frac{3}{2}ω(G) \rceil$, where $χ(G)$ and $ω(G)$ are the chromatic number and clique number of $G$, respectively. Our bound is attained by the complement of the Clebsch graph on 16 vertices. More strongly, we completely characterize all the ($P_5$, paraglider)-free graphs $G$ that satisfies $χ(G)> \frac{3}{2}ω(G)$. We also construct an infinite family of ($P_5$, paraglider)-free graphs such that every graph $G$ in the family has $χ(G)=\lceil \frac{3}{2}ω(G) \rceil-1$. This shows that our upper bound is optimal up to an additive constant and that there is no $(\frac{3}{2}-ε)$-approximation algorithm to the chromatic number of ($P_5$, paraglider)-free graphs for any $ε>0$.

Considering connected $K_{1,3}$-free graphs with independence number at least $3$, Chudnovsky and Seymour (2010) showed that every such graph, say $G$, is $2ω$-colourable where $ω$ denotes the clique number of $G$. We study $(K_{1,3}, Y)$-free graphs, and show that the following three statements are equivalent. (1) Every connected $(K_{1,3}, Y)$-free graph which is distinct from an odd cycle and which has independence number at least $3$ is perfect. (2) Every connected $(K_{1,3}, Y)$-free graph which is distinct from an odd cycle and which has independence number at least $3$ is $ω$-colourable. (3) $Y$ is isomorphic to an induced subgraph of $P_5$ or $Z_2$ (where $Z_2$ is also known as hammer). Furthermore, for connected $(K_{1,3}, Y)$-free graphs (without an assumption on the independence number), we show a similar characterisation featuring the graphs $P_4$ and $Z_1$ (where $Z_1$ is also known as paw).

If $\ell: V(G)\rightarrow {\mathbb N}$ is a vertex labeling of a graph $G = (V(G), E(G))$, then the $d$-lucky sum of a vertex $u\in V(G)$ is $d_\ell(u) = d_G(u) + \sum_{v\in N(u)}\ell(v)$. The labeling $\ell$ is a $d$-lucky labeling if $d_\ell(u)\neq d_\ell(v)$ for every $uv\in E(G)$. The $d$-lucky number $η_{dl}(G)$ of $G$ is the least positive integer $k$ such that $G$ has a $d$-lucky labeling $V(G)\rightarrow [k]$. A general lower bound on the $d$-lucky number of a graph in terms of its clique number and related degree invariants is proved. The bound is sharp as demonstrated with an infinite family of corona graphs. The $d$-lucky number is also determined for the so-called $G_{n,m}$-web graphs and graphs obtained by attaching the same number of pendant vertices to the vertices of a generalized cocktail-party graph.

Given a graph $G$, the strong clique number $ω_2'(G)$ of $G$ is the cardinality of a largest collection of edges every pair of which are incident or connected by an edge in $G$. We study the strong clique number of graphs missing some set of cycle lengths. For a graph $G$ of large enough maximum degree $Δ$, we show among other results the following: $ω_2'(G)\le5Δ^2/4$ if $G$ is triangle-free; $ω_2'(G)\le3(Δ-1)$ if $G$ is $C_4$-free; $ω_2'(G)\leΔ^2$ if $G$ is $C_{2k+1}$-free for some $k\ge 2$. These bounds are attained by natural extremal examples. Our work extends and improves upon previous work of Faudree, Gyárfás, Schelp and Tuza (1990), Mahdian (2000) and Faron and Postle (2019). We are motivated by the corresponding problems for the strong chromatic index.

In this paper we prove that the recursive (Knill) dimension of the join of two graphs has a simple formula in terms of the dimensions of the component graphs: $\mathrm{dim\,} (G_1+G_2) = 1 +\mathrm{dim\,} G_1+ \mathrm{dim\,} G_2$. We use this formula to derive an expression for the Knill dimension of a graph from its minimum clique cover. A corollary of the formula is that a graph made of the arbitrary union of complete graphs $K_N$ of the same order $N$ will have dimension $N-1$. We finish by finding lower and upper bounds on the Knill dimension of a graph in terms of its clique number.

In the theory of dense graph limits, a graphon is a symmetric measurable function $W:[0,1]^2\to [0,1]$. Each graphon gives rise naturally to a random graph distribution, denoted $\mathbb{G}(n,W)$, that can be viewed as a generalization of the Erdős-Rényi random graph. Recently, Doležal, Hladký, and Máthé gave an asymptotic formula of order $\log n$ for the clique number of $\mathbb{G}(n,W)$ when $W$ is bounded away from 0 and 1. We show that if $W$ is allowed to approach 1 at a finite number of points, and displays a moderate rate of growth near these points, then the clique number of $\mathbb{G}(n,W)$ will be $Θ(\sqrt{n})$ almost surely. We also give a family of examples with clique number $Θ(n^α)$ for any $α\in(0,1)$, and some conditions under which the clique number of $\mathbb{G}(n,W)$ will be $o(\sqrt{n})$, $ω(\sqrt{n}),$ or $Ω(n^α)$ for $α\in(0,1)$.

Circular perfect graphs are those undirected graphs such that the circular clique number is equal to the circular chromatic number for each induced subgraph. They form a strict superclass of the perfect graphs, whose index coding broadcast rates are well known. We present the broadcast rate of index coding for side-information graphs whose complements are circular perfect, along with an optimal achievable scheme. We thus enlarge the known classes of graphs for which the broadcast rate is exactly characterized. In an attempt to understand the broadcast rate of a graph given that of its complement, we obtain upper and lower bounds for the product and sum of the vector linear broadcast rates of a graph and its complement. We show that these bounds are satisfied with equality even for some perfect graphs. Curating prior results, we show that there are circular perfect but imperfect graphs which satisfy the lower bound on the product of the broadcast rate of the complementary graphs with equality.