arXiv++ Combinatorics

We study structural properties of graphs with fixed clique number and high minimum degree. In particular, we show that there exists a function $L=L(r,\varepsilon)$, such that every $K_r$-free graph $G$ on $n$ vertices with minimum degree at least $(\frac{2r-5}{2r-3}+\varepsilon)n$ is homomorphic to a $K_r$-free graph on at most $L$ vertices. It is known that the required minimum degree condition is approximately best possible for this result. For $r=3$ this result was obtained by Łuczak [On the structure of triangle-free graphs of large minimum degree, Combinatorica 26 (2006), no. 4, 489-493] and, more recently, Goddard and Lyle [Dense graphs with small clique number, J. Graph Theory 66 (2011), no. 4, 319-331] deduced the general case from Łuczak's result. Łuczak's proof was based on an application of Szemerédi's regularity lemma and, as a consequence, it only gave rise to a tower-type bound on $L(3,\varepsilon)$. The proof presented here replaces the application of the regularity lemma by a probabilistic argument, which yields a bound for $L(r,\varepsilon)$ that is doubly exponential in poly($\varepsilon$).

The clique number of a random graph in the Erdos-Renyi model G(n,p) yields a random variable which is known to be asymptotically (as n tends to infinity) almost surely within one of an explicit logarithmic (on n) function r(n,p). We extend this fact by showing that random graphs have, asymptotically almost surely, arbitrarily many pairwise disjoint complete subgraphs with as many vertices as r(n,p). The result is motivated by and applied to the sequential motion planning problem on random right angled Artin groups. Indeed, we give an asymptotical description of all the higher topological complexities of Eilenberg-MacLane spaces associated to random graph groups.

A graph is normal if it admits a clique cover $\mathcal C$ and a stable set cover $\mathcal S$ such that each clique in $\mathcal C$ and each stable set in $\mathcal S$ have a vertex in common. The pair $(\mathcal{C,S})$ is a normal cover of the graph. We present the following extremal property of normal covers. For positive integers $c,s$, if a graph with $n$ vertices admits a normal cover with cliques of sizes at most $c$ and stable sets of sizes at most $s$, then $c+s\geq\log_2(n)$. For infinitely many $n$, we also give a construction of a graph with $n$ vertices that admits a normal cover with cliques and stable sets of sizes less than $0.87\log_2(n)$. Furthermore, we show that for all $n$, there exists a normal graph with $n$ vertices, clique number $Θ(\log_2(n))$ and independence number $Θ(\log_2(n))$. When $c$ or $s$ are very small, we can describe all normal graphs with the largest possible number of vertices that allow a normal cover with cliques of sizes at most $c$ and stable sets of sizes at most $s$. However, such extremal graphs remain elusive even for moderately small values of $c$ and $s$.

A median graph is a connected graph, such that for any three vertices $u,v,w$ there is exactly one vertex $x$ that lies simultaneously on a shortest $(u,v)$-path, a shortest $(v,w)$-path and a shortest $(w,u)$-path. Examples of median graphs are trees and hypercubes. We introduce and study a generalisation of tree decompositions, to be called median decompositions, where instead of decomposing a graph $G$ in a treelike fashion, we use general median graphs as the underlying graph of the decomposition. We show that the corresponding width parameter $\text{mw}(G)$, the medianwidth of $G$, is equal to the clique number of the graph, while a suitable variation of it is equal to the chromatic number of $G$. We study in detail the $i$-medianwidth $\text{mw}_i(G)$ of a graph, for which we restrict the underlying median graph of a decomposition to be isometrically embeddable to the Cartesian product of $i$ trees. For $i\geq 1$, the parameters $\text{mw}_i$ constitute a hierarchy starting from treewidth and converging to the clique number. We characterize the $i$-medianwidth of a graph to be, roughly said, the largest "intersection" of the best choice of $i$ many tree decompositions of the graph. Lastly, we extend the concept of tree and median decompositions and propose a general framework of how to decompose a graph $G$ in any fixed graphlike fashion.

We provide a finite forbidden induced subgraph characterization for the graph class $\varUpsilon_k$, for all $k \in \mathbb{N}_0$, which is defined as follows. A graph is in $\varUpsilon_k$ if for any induced subgraph, $Δ\leq χ-1 + k$ holds, where $Δ$ is the maximum degree and $χ$ is the chromatic number of the subgraph. We compare these results with those given in [O. Schaudt, V. Weil, On bounding the difference between the maximum degree and the clique number, Graphs and Combinatorics 31(5), 1689-1702 (2015). DOI: 10.1007/s00373-014-1468-3], where we studied the graph class $\varOmega_k$, for $k \in \mathbb{N}_0$, whose graphs are such that for any induced subgraph, $Δ\leq ω-1 + k$ holds, where $ω$ denotes the clique number of a graph. In particular, we give a characterization in terms of $\varOmega_k$ and $\varUpsilon_k$ of those graphs where the neighborhood of every vertex is perfect.

A {\em hole} is a chordless cycle of length at least four. A hole is {\em even} (resp. {\em odd}) if it contains an even (resp. odd) number of vertices. A \emph{cap} is a graph induced by a hole with an additional vertex that is adjacent to exactly two adjacent vertices on the hole. In this note, we use a decomposition theorem by Conforti et al. (1999) to show that if a graph $G$ does not contain any even hole or cap as an induced subgraph, then $χ(G)\le \lfloor\frac{3}{2}ω(G)\rfloor$, where $χ(G)$ and $ω(G)$ are the chromatic number and the clique number of $G$, respectively. This bound is attained by odd holes and the Hajos graph. The proof leads to a polynomial-time $3/2$-approximation algorithm for coloring (even-hole,cap)-free graphs.

Green showed that there exist constants $C_1,C_2>0$ such that the clique number $ω$ of the random Cayley graph on $\mathbb{F}_2^n$ satisfies $\lim_{n\to\infty}\mathbb{P}(C_1n\log n < ω< C_2n\log n)=1$. In this paper we find the best possible $C_1$ and $C_2$. Moreover, we prove that for $n$ in a set of density $1$, clique number is actually concentrated on a single value. As a simple consequence of these results, we also prove the one-point concentration result for the chromatic number, thus proving the $\mathbb{F}_2^n$ analogue of the famous conjecture by Bollobás and giving almost the complete answer to the question by Green.

The theory of dense graph limits comes with a natural sampling process which yields an inhomogeneous variant G(n,W) of the Erdos-Renyi random graph. Here we study the clique number of these random graphs. We establish the concentration of the clique number of G(n,W) for each fixed n, and give examples of graphons for which G(n,W) exhibits wild long-term behavior. Our main result is an asymptotic formula which gives the almost sure clique number of these random graphs. We obtain a similar result for the bipartite version of the problem. We also make an observation that might be of independent interest: Every graphon avoiding a fixed graph is countably-partite.

A vertex $w$ of a connected graph $G$ strongly resolves two vertices $u,v\in V(G)$, if there exists some shortest $u-w$ path containing $v$ or some shortest $v-w$ path containing $u$. A set $S$ of vertices is a strong metric generator for $G$ if every pair of vertices of $G$ is strongly resolved by some vertex of $S$. The smallest cardinality of a strong metric generator for $G$ is called the strong metric dimension of $G$. In this paper we obtain several tight bounds or closed formulae for the strong metric dimension of the Cartesian sum of graphs in terms of the strong metric dimension, clique number or twins-free clique number of its factor graphs.

Given a finite simple graph G, let G' be its barycentric refinement: it is the graph in which the vertices are the complete subgraphs of G and in which two such subgraphs are connected, if one is contained into the other. If L(0)=0<L(1) <= L(2) ... <= L(n) are the eigenvalues of the Laplacian of G, define the spectral function F(x) as the function F(x) = L([n x]) on the interval [0,1], where [r] is the floor function giving the largest integer smaller or equal than r. The graph G' is known to be homotopic to G with Euler characteristic chi(G')=chi(G) and dim(G') >= dim(G). Let G(m) be the sequence of barycentric refinements of G=G(0). We prove that for any finite simple graph G, the spectral functions F(G(m)) of successive refinements converge for m to infinity uniformly on compact subsets of (0,1) and exponentially fast to a universal limiting eigenvalue distribution function F which only depends on the clique number respectively the dimension d of the largest complete subgraph of G and not on the starting graph G. In the case d=1, where we deal with graphs without triangles, the limiting distribution is the smooth function F(x) = 4 sin^2(pi x/2). This is related to the Julia set of the quadratic map T(z) = 4z-z^2 which has the one dimensional Julia set [0,4] and F satisfies T(F(k/n))=F(2k/n) as the Laplacians satisfy such a renormalization recursion. The spectral density in the d=1 case is then the arc-sin distribution which is the equilibrium measure on the Julia set. In higher dimensions, where the limiting function F still remains unidentified, F' appears to have a discrete or singular component.

Let $q_{\min}(G)$ stand for the smallest eigenvalue of the signless Laplacian of a graph $G$ of order $n.$ This paper gives some results on the following extremal problem: How large can $q_\min\left( G\right) $ be if $G$ is a graph of order $n,$ with no complete subgraph of order $r+1?$ It is shown that this problem is related to the well-known topic of making graphs bipartite. Using known classical results, several bounds on $q_{\min}$ are obtained, thus extending previous work of Brandt for regular graphs. In addition, using graph blowups, a general asymptotic result about the maximum $q_{\min}$ is established. As a supporting tool, the spectra of the Laplacian and the signless Laplacian of blowups of graphs are calculated.

Let $S$ be an orientable surface with negative Euler characteristic. For $k \in \mathbb{N}$, let $\mathcal{C}_{k}(S)$ denote the $\textit{k-curve graph}$, whose vertices are isotopy classes of essential simple closed curves on $S$, and whose edges correspond to pairs of curves that can be realized to intersect at most $k$ times. The theme of this paper is that the geometry of Teichmüller space and of the mapping class group captures local combinatorial properties of $\mathcal{C}_{k}(S)$. Using techniques for measuring distance in Teichmüller space, we obtain upper bounds on the following three quantities for large $k$: the clique number of $\mathcal{C}_{k}(S)$ (exponential in $k$, which improves on all previously known bounds and which is essentially sharp); the maximum size of the intersection, whenever it is finite, of a pair of links in $\mathcal{C}_{k}$ (quasi-polynomial in $k$); and the diameter in $\mathcal{C}_{0}(S)$ of a large clique in $\mathcal{C}_{k}(S)$ (uniformly bounded). As an application, we obtain quasi-polynomial upper bounds, depending only on the topology of $S$, on the number of short simple closed geodesics on any square-tiled surface homeomorphic to $S$.

In this paper, we generalize the concept of {\it{perfect graphs}} to other parameters related to graph vertex coloring. This idea was introduced by Christen and Selkow in 1979 and Yegnanarayanan in 2001. Let $ a,b \in \{ ω, χ, Γ, α, ψ\} $ where $ ω$ is the clique number, $ χ$ is the chromatic number, $ Γ$ is the Grundy number, $ α$ is the achromatic number and $ ψ$ is the pseudoachromatic number. A graph $ G $ is \emph{$ ab $-perfect}, if for every induced subgraph $ H $ of $G$, $ a(H)$ equals $b(H) $. In this paper, we characterize the $ab$-perfect graphs when $a=ω$ and $b=ψ$.

In this thesis, which is supervised by Dr. David Penman, we examine random interval graphs. Recall that such a graph is defined by letting $X_{1},\ldots X_{n},Y_{1},\ldots Y_{n}$ be $2n$ independent random variables, with uniform distribution on $[0,1]$. We then say that the $i$th of the $n$ vertices is the interval $[X_{i},Y_{i}]$ if $X_{i}<Y_{i}$ and the interval $[Y_{i},X_{i}]$ if $Y_{i}<X_{i}$. We then say that two vertices are adjacent if and only if the corresponding intervals intersect. We recall from our MA902 essay that fact that in such a graph, each edge arises with probability $2/3$, and use this fact to obtain estimates of the number of edges. Next, we turn to how these edges are spread out, seeing that (for example) the range of degrees for the vertices is much larger than classically, by use of an interesting geometrical lemma. We further investigate the maximum degree, showing it is always very close to the maximum possible value $(n-1)$, and the striking result that it is equal to $(n-1)$ with probability exactly $2/3$. We also recall a result on the minimum degree, and contrast all these results with the much narrower range of values obtained in the alternative \lq comparable\rq\, model $G(n,2/3)$ (defined later). We then study clique numbers, chromatic numbers and independence numbers in the Random Interval Graphs, presenting (for example) a result on independence numbers which is proved by considering the largest chain in the associated interval order. Last, we make some brief remarks about other ways to define random interval graphs, and extensions of random interval graphs, including random dot product graphs and other ways to define random interval graphs. We also discuss some areas these ideas should be usable in. We close with a summary and some comments.

In this note, we show that a complete $k$-partite graph is the only graph with clique number $k$ among all degree-equivalent simple graphs. This result gives a lower bound on the clique number, which is sharper than existing bounds on a large family of graphs.

In this paper we explore maximal deviations of large random structures from their typical behavior. We introduce a model for a high-dimensional random graph process and ask analogous questions to those of Vapnik and Chervonenkis for deviations of averages: how "rich" does the process have to be so that one sees atypical behavior. In particular, we study a natural process of Erdős-Rényi random graphs indexed by unit vectors in $\mathbb{R}^d$. We investigate the deviations of the process with respect to three fundamental properties: clique number, chromatic number, and connectivity. In all cases we establish upper and lower bounds for the minimal dimension $d$ that guarantees the existence of "exceptional directions" in which the random graph behaves atypically with respect to the property. For each of the three properties, four theorems are established, to describe upper and lower bounds for the threshold dimension in the subcritical and supercritical regimes.

The \textit{Kite graph}, denoted by $Kite_{p,q}$ is obtained by appending a complete graph $K_{p}$ to a pendant vertex of a path $P_{q}$. In this paper, firstly we show that no two non-isomorphic kite graphs are cospectral w.r.t adjacency matrix. Let $G$ be a graph which is cospectral with $Kite_{p,q}$ and the clique number of $G$ is denoted by $w(G)$. Then, it is shown that $w(G)\geq p-2q+1$. Also, we prove that $Kite_{p,2}$ graphs are determined by their adjacency spectrum.

An \emph{edge coloring} of a graph $G$ is strong if each color class is an induced matching of $G$. The \emph{strong chromatic index} of $G$, denoted by $χ_{s}^{\prime }(G)$, is the minimum number of colors for which $G$ has a strong edge coloring. The strong chromatic index of $G$ is equal to the chromatic number of the square of the line graph of $G$. The chromatic number of the square of the line graph of $G$ is greater than or equal to the clique number of the square of the line graph of $G$, denoted by $ω(L)$. In this note we prove that $ω(L) \le 1.5 Δ_{G}^2$ for every graph $G$. Our result allows to calculate an upper bound for the fractional strong chromatic index of $G$, denoted by $χ_{fs}^\prime(G)$. We prove that $χ_{fs}^{\prime}(G) \le 1.75 Δ_G^2$ for every graph $G$.

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.

In this paper, we study the structure of the permutability graphs of subgroups, and the permutability graphs of non-normal subgroups of the following groups: the dihedral groups $D_n$, the generalized quaternion groups $Q_n$, the quasi-dihedral groups $QD_{2^n}$ and the modular groups $M_{p^n}$. Further, we investigate the number of edges, degrees of the vertices, independence number, dominating number, clique number, chromatic number, weakly perfectness, Eulerianness, Hamiltonicity of these graphs.