arXiv++ Combinatorics

There is a remarkable connection between the clique number and the Lagrangian of a 2-graph proved by Motzkin and Straus in 1965. It is useful in practice if similar results hold for hypergraphs. However the obvious generalization of Motzkin and Straus' result to hypergraphs is false. Frankl and Füredi conjectured that the $r$-uniform hypergraph with $m$ edges formed by taking the first $m$ sets in the colex ordering of ${\mathbb N}^{(r)}$ has the largest Lagrangian of all $r$-uniform hypergraphs with $m$ edges. For $r=2$, Motzkin and Straus' theorem confirms this conjecture. For $r=3$, it is shown by Talbot that this conjecture is true when $m$ is in certain ranges. In this paper, we explore the connection between the clique number and Lagrangians for $3$-uniform hypergraphs. As an application of this connection, we confirm that Frankl and Füredi's conjecture holds for bigger ranges of $m$ when $r$=3. We also obtain two weaker versions of Turán type theorem for left-compressed $3$-uniform hypergraphs.

An outerstring graph is an intersection graph of curves that lie in a common half-plane and have one endpoint on the boundary of that half-plane. We prove that the class of outerstring graphs is $χ$-bounded, which means that their chromatic number is bounded by a function of their clique number. This generalizes a series of previous results on $χ$-boundedness of outerstring graphs with various additional restrictions on the shape of curves or the number of times the pairs of curves can cross. The assumption that each curve has an endpoint on the boundary of the half-plane is justified by the known fact that triangle-free intersection graphs of straight-line segments can have arbitrarily large chromatic number.

We prove that $\frac{7}{4}α(G)+β(G)\geq n(G)$ and $α(G)+\frac{3}{2}β(G)\geq n(G)$ for every triangle-free graph $G$ with maximum degree at most $4$, where $α(G)$ is the independence number and $β(G)$ is the matching number of $G$, respectively. These results are sharp for a graph on $13$ vertices. Furthermore we show $χ(G)\leq \frac{7}{4}ω(G)$ for $\{3K_1,K_1\cup K_5\}$-free graphs, where $χ(G)$ is the chromatic number and $ω(G)$ is the clique number of $G$, respectively.

The critical ideals of a graph are the determinantal ideals of the generalized Laplacian matrix associated to a graph. In this article we provide a set of minimal forbidden graphs for the set of graphs with at most three trivial critical ideals. Then we use these forbidden graphs to characterize the graphs with at most three trivial critical ideals and clique number equal to 2 and 3.

Motzkin and Straus established a remarkable connection between the maximum clique and the Lagrangian of a graph in 1965. This connection and its extensions were successfully employed in optimization to provide heuristics for the maximum clique number in graphs. It is useful in practice if similar results hold for hypergraphs. In this paper, we provide upper bounds on the Lagrangian of a hypergraph containing dense subgraphs when the number of edges of the hypergraph is in certain ranges. These results support a pair of conjectures introduced by Y. Peng and C. Zhao (2012) and extend a result of J. Talbot (2002). \keywords{Cliques of hypergraphs \and Colex ordering \and Lagrangians of hypergraphs \and Polynomial optimization}

A family of sets in the plane is simple if the intersection of its any subfamily is arc-connected, and it is pierced by a line $L$ if the intersection of its any member with $L$ is a nonempty segment. It is proved that the intersection graphs of simple families of compact arc-connected sets in the plane pierced by a common line have chromatic number bounded by a function of their clique number.

A graph is Berge if it has no induced odd cycle on at least 5 vertices and no complement of induced odd cycle on at least 5 vertices. A graph is perfect if the chromatic number equals the maximum clique number for every induced subgraph. Chudnovsky, Robertson, Seymour and Thomas proved that every Berge graph either falls into some classical family of perfect graphs, or has a structural fault that cannot occur in a minimal imperfect graph. A corollary of this is the strong perfect graph theorem conjectured by Berge: every Berge graph is perfect. An even pair of vertices in a graph is a pair of vertices such that every induced path between them has even length. Meyniel proved that a minimal imperfect graph cannot contain an even pair. So even pairs may be considered as a structural fault. Chudnovsky et al. do not use them, and it is known that some classes of Berge graph have no even pairs. The aim of this work is to investigate an "even-pair-like" notion that could be a structural fault present in every Berge graph. An odd pair of cliques is a pair of cliques $\{K_1, K_2\}$ such that every induced path from $K_1$ to $K_2$ with no interior vertex in $K_1 \cup K_2$ has odd length. We conjecture that for every Berge graph $G$ on at least two vertices, either one of $G, \bar{G}$ has an even pair, or one of $G, \bar{G}$ has an odd pair of cliques. We conjecture that a minimal imperfect graph has no odd pair of maximal cliques. We prove these conjectures in some special cases. We show that adding all edges between any 2 vertices of the cliques of an odd pair of cliques is an operation that preserves perfectness.

We study a graph parameter related to resolving sets and metric dimension, namely the resolving number, introduced by Chartrand, Poisson and Zhang. First, we establish an important difference between the two parameters: while computing the metric dimension of an arbitrary graph is known to be NP-hard, we show that the resolving number can be computed in polynomial time. We then relate the resolving number to classical graph parameters: diameter, girth, clique number, order and maximum degree. With these relations in hand, we characterize the graphs with resolving number 3 extending other studies that provide characterizations for smaller resolving number.

This paper gives a tight upper bound on the spectral radius of the signless Laplacian of graphs of given order and clique number. More precisely, let G be a graph of order n, let A be its adjacency matrix, and let D be the diagonal matrix of the row-sums of A. If G has clique number r, then the largest eigenvalue q(G) of the matrix Q=A+D satisfies q(G)<= 2(1-1/r)n. If G is a complete regular r-partite graph, then equality holds in the above inequality. This result confirms a conjecture of Hansen and Lucas.

Let $B$ and $R$ be two simple graphs with vertex set $V$, and let $G(B,R)$ be the simple graph with vertex set $V$, in which two vertices are adjacent if they are adjacent in at least one of $B$ and $R$. For $X \subseteq V$, we denote by $B|X$ the subgraph of $B$ induced by $X$; let $R|X$ and $G(B,R)|X$ be defined similarly. We say that the pair $(B,R)$ is {\em additive} if for every $X \subseteq V$, the sum of the clique numbers of $B|X$ and $R|X$ is at least the clique number of $G(B,R)|X$. In this paper we give a necessary and sufficient characterization of additive pairs of graphs. This is a numerical variant of a structural question studied in \cite{ABC}.

This paper investigates some relationship between the algebraic connectivity and the clique number of graphs. We characterize all extremal graphs which have the maximum and minimum the algebraic connectivity among all graphs of order $n$ with the clique number $r$, respectively. In turn, an upper and lower bounds for the clique number of a graph in terms of the algebraic connectivity are obtained. Moreover, a spectral version of the Erdős-Stone theorem in terms of the algebraic connectivity of graphs is presented.

Let $R$ be a commutative ring and $M$ be an $R$-module, and let $Z(M)$ be the set of all zero-divisors on $M$. In 2008, D.F. Anderson and A. Badawi introduced the regular graph of $R$. In this paper, we generalize the regular graph of $R$ to the \textit{$M$-regular graph} of $R$, denoted by $M$-$Reg(Γ(R))$. It is the undirected graph with all $M$-regular elements of $R$ as vertices, and two distinct vertices $x$ and $y$ are adjacent if and only if $x+y\in Z(M)$. The basic properties and possible structures of the $M$-$Reg(Γ(R))$ are studied. We determine the girth of the $M$-regular graph of $R$. Also, we provide some lower bounds for the independence number and the clique number of the $M$-$Reg(Γ(R))$. Among other results, we prove that for every Noetherian ring $R$ and every finitely generated module $M$ over $R$, if $2\notin Z(M)$ and the independence number of the $M$-$Reg(Γ(R))$ is finite, then $R$ is finite.

A graph is called weakly perfect if its vertex chromatic number equals its clique number. Let $R$ be a ring and $I(R)^*$ be the set of all left proper non-trivial ideals of $R$. The intersection graph of ideals of $R$, denoted by $G(R)$, is a graph with the vertex set $I(R)^*$ and two distinct vertices $I$ and $J$ are adjacent if and only if $I\cap J\neq 0$. In this paper, it is shown that $G(\mathbb{Z}_n)$, for every positive integer $n$, is a weakly perfect graph. Also, for some values of $n$, we give an explicit formula for the vertex chromatic number of $G(\mathbb{Z}_n)$. Furthermore, it is proved that the edge chromatic number of $G(\mathbb{Z}_n)$ is equal to the maximum degree of $G(\mathbb{Z}_n)$ unless either $G(\mathbb{Z}_n)$ is a null graph with two vertices or a complete graph of odd order.

Let $R$ be a commutative ring with unity and $Z(R)$ and ${\rm Reg}(R)$ be the set of zero-divisors and non-zero zero-divisors of $R$, respectively. We denote by $T(Γ(R))$, the total graph of $R$, a simple graph with the vertex set $R$ and two distinct vertices $x$ and $y$ are adjacent if and only if $x+y\in Z(R)$. The induced subgraphs on $Z(R)$ and ${\rm Reg}(R)$ are denoted by $Z(Γ(R))$ and $Reg(Γ(R))$, respectively. These graphs were first introduced by D.F. Anderson and A. Badawi in 2008. In this paper, we prove the following result: let $R$ be a finite ring and one of the following conditions hold: (i) The residue field of $R$ of minimum size has even characteristic, (ii) Every residue field of $R$ has odd characteristic and $\frac{R}{J(R)}$ has no summand isomorphic to $\mathbb{Z}_3\times \mathbb{Z}_3$, then the chromatic number and clique number of $T(Γ(R))$ are equal to $\max\{|\mathfrak{m}|\,:\, \mathfrak{m}\in {\rm Max}(R)\}$. The same result holds for $Z(Γ(R))$. Moreover, if the residue field of $R$ of minimum size has even characteristic or every residue field of $R$ has odd characteristic, then we determine the chromatic number and clique number of $Reg(Γ(R))$ as well.

Let $R$ be a commutative ring with unity and $R^{+}$ be $Z^*(R)$ be the additive group and the set of all non-zero zero-divisors of $R$, respectively. We denote by $\mathbb{CAY}(R)$ the Cayley graph $Cay(R^+,Z^*(R))$. In this paper, we study $\mathbb{CAY}(R)$. Among other results, it is shown that for every zero-dimensional non-local ring $R$, $\mathbb{CAY}(R)$ is a connected graph of diameter 2. Moreover, for a finite ring $R$, we obtain the vertex connectivity and the edge connectivity of $\mathbb{CAY}(R)$. We investigate rings $R$ with perfect $\mathbb{CAY}(R)$ as well. We also study $Reg(\mathbb{CAY}(R))$ the induced subgraph on the regular elements of $R$. This graph gives a family of vertex transitive graphs. We show that if $R$ is a Noetherian ring and $Reg(\mathbb{CAY}(R))$ has no infinite clique, then $R$ is finite. Furthermore, for every finite ring $R$, the clique number and the chromatic number of $Reg(\mathbb{CAY}(R))$ are determined.

Maximum Clique Problem(MCP) is one of the 21 original NP--complete problems enumerated by Karp in 1972. In recent years a large number of exact methods to solve MCP have been appeared(Babel, Wood, Kumlander, Fahle, Li, Tomita and etc). Most of them are branch and bound algorithms that use branching rule introduced by Balas and Yu and based on coloring heuristics to establish an upper bound on the clique number. They differ from each other primarily in vertex preordering and vertex coloring methods. Current methods of worst case running time analysis for branch and bound algorithms do not allow to provide tight upper bounds. This motivates the study of lower bounds for such algorithms. We prove 2^(n\5) lower bound for group of MCP algorithms based on usage of coloring heuristics.

Given positive integers n and m, and a probability measure P on {0, 1, ..., m} the random intersection graph G(n,m,P) on vertex set V = {1,2, ..., n} and with attribute set W = {w_1, w_2, ..., w_m} is defined as follows. Let S_1, S_2, ..., S_n be independent random subsets of W such that for any v \in V and any S \subseteq W we have \pr(S_v = S) = P(|S|) / \binom (m, |S|). The edge set of G(n,m,P) consists of those pairs {u,v} V for which S_u and S_v intersect. We study the asymptotic order of the clique number ω(G(n,m,P)) in random intersection graphs with bounded expected degrees. For instance, in the case m = Θ(n) we show that if the vertex degree distribution is power-law with exponent α\in (1;2), then the maximum clique is of a polynomial size, while if the variance of the degrees is bounded, then the maximum clique has (ln n)/(ln ln n) (1 + o_P(1)) vertices whp. In each case there is a polynomial algorithm which finds a clique of size ω(G(n,m,P)) (1-o_P(1)).

A circulant is a Cayley graph over a cyclic group. A well-covered graph is a graph in which all maximal stable sets are of the same size, or in other words, they are all maximum. A CIS graph is a graph in which every maximal stable set and every maximal clique intersect. It is not difficult to show that a circulant G is a CIS graph if and only if G and its complement are both well-covered and the product of the independence and the clique numbers of G is equal to the number of vertices. It is also easy to demonstrate that both families, the circulants and the CIS graphs, are closed with respect to the operations of taking the complement and lexicographic product. We study the structure of the CIS circulants. It is well-known that all P_4-free graphs are CIS. In this paper, in addition to the simple family of the P_4-free circulants, we construct a non-trivial sparse but infinite family of CIS circulants. We are not aware of any CIS circulant that could not be obtained from graphs in this family by the operations of taking the complement and lexicographic product.

A remarkable connection between the order of a maximum clique and the Lagrangian of a graph was established by Motzkin and Straus in [7]. This connection and its extensions were successfully employed in optimization to provide heuristics for the maximum clique number in graphs. It has been also applied in spectral graph theory. Estimating the Lagrangians of hypergraphs has been successfully applied in the course of studying the Turan densities of several hypergraphs as well. It is useful in practice if Motzkin-Straus type results hold for hypergraphs. However, the obvious generalization of Motzkin and Straus' result to hypergraphs is false. We attempt to explore the relationship between the Lagrangian of a hypergraph and the order of its maximum cliques for hypergraphs when the number of edges is in certain range. In this paper, we give some Motzkin-Straus type results for r-uniform hypergraphs. These results generalize and refine a result of Talbot in [19] and a result in [11].

Several classical constructions illustrate the fact that the chromatic number of a graph can be arbitrarily large compared to its clique number. However, until very recently, no such construction was known for intersection graphs of geometric objects in the plane. We provide a general construction that for any arc-connected compact set $X$ in $\mathbb{R}^2$ that is not an axis-aligned rectangle and for any positive integer $k$ produces a family $\mathcal{F}$ of sets, each obtained by an independent horizontal and vertical scaling and translation of $X$, such that no three sets in $\mathcal{F}$ pairwise intersect and $χ(\mathcal{F})>k$. This provides a negative answer to a question of Gyarfas and Lehel for L-shapes. With extra conditions, we also show how to construct a triangle-free family of homothetic (uniformly scaled) copies of a set with arbitrarily large chromatic number. This applies to many common shapes, like circles, square boundaries, and equilateral L-shapes. Additionally, we reveal a surprising connection between coloring geometric objects in the plane and on-line coloring of intervals on the line.