arXiv++ Combinatorics

This paper studies the co-maximal graph $\Om(R)$, the induced subgraph $\G(R)$ of $\Om(R)$ whose vertex set is $R\setminus (U(R)\cup J(R))$ and a retract $\G_r(R)$ of $\G(R)$, where $R$ is a commutative ring. We show that the core of $\G(R)$ is a union of triangles and rectangles, while a vertex in $\G(R)$ is either an end vertex or a vertex in the core. For a non-local ring $R$, we prove that both the chromatic number and clique number of $\G(R)$ are identical with the number of maximal ideals of $R$. A graph $\G_r(R)$ is also introduced on the vertex set $\{Rx|\,x\in R\setminus (U(R)\cup J(R))\}$, and graph properties of $\G_r(R)$ are studied.

For a vector space $V$ the \emph{intersection graph of subspaces} of $V$, denoted by $G(V)$, is the graph whose vertices are in a one-to-one correspondence with proper nontrivial subspaces of $V$ and two distinct vertices are adjacent if and only if the corresponding subspaces of $V$ have a nontrivial (nonzero) intersection. In this paper, we study the clique number, the chromatic number, the domination number and the independence number of the intersection graphs of subspaces of a vector space.

The concept of gcd-graphs is introduced by Klotz and Sander, which arises as a generalization of unitary Cayley graphs. The gcd-graph $X_n (d_1,...,d_k)$ has vertices $0,1,...,n-1$, and two vertices $x$ and $y$ are adjacent iff $\gcd(x-y,n)\in D = \{d_1,d_2,...,d_k\}$. These graphs are exactly the same as circulant graphs with integral eigenvalues characterized by So. In this paper we deal with the clique number of integral circulant graphs and investigate the conjecture proposed in \cite{klotz07} that clique number divides the number of vertices in the graph $X_n (D)$. We completely solve the problem of finding clique number for integral circulant graphs with exactly one and two divisors. For $k \geqslant 3$, we construct a family of counterexamples and disprove the conjecture in this case.

The clique cover number of a graph G is the minimum number of cliques required to cover the edges of graph G. In this paper we consider the random graph G(n,p), for p constant. We prove that with probability 1-o(1), the clique number of G(n,p) is Theta(n^2/\log^2n).

An identifying code is a subset of vertices of a graph such that each vertex is uniquely determined by its neighbourhood within the identifying code. If $\M(G)$ denotes the minimum size of an identifying code of a graph $G$, it was conjectured by F. Foucaud, R. Klasing, A. Kosowski and A. Raspaud that there exists a constant $c$ such that if a connected graph $G$ with $n$ vertices and maximum degree $d$ admits an identifying code, then $\M(G)\leq n-\tfrac{n}{d}+c$. We use probabilistic tools to show that for any $d\geq 3$, $\M(G)\leq n-\tfrac{n}{Θ(d)}$ holds for a large class of graphs containing, among others, all regular graphs and all graphs of bounded clique number. This settles the conjecture (up to constants) for these classes of graphs. In the general case, we prove $\M(G)\leq n-\tfrac{n}{Θ(d^{3})}$. In a second part, we prove that in any graph $G$ of minimum degree $δ$ and girth at least 5, $\M(G)\leq(1+o_δ(1))\tfrac{3\logδ}{2δ}n$. Using the former result, we give sharp estimates for the size of the minimum identifying code of random $d$-regular graphs, which is about $\tfrac{\log d}{d}n$.

Let $Δ(G)$ be the maximum degree of a graph $G$. Brooks' theorem states that the only connected graphs with chromatic number $χ(G)=Δ(G)+1$ are complete graphs and odd cycles. We prove a fractional analogue of Brooks' theorem in this paper. Namely, we classify all connected graphs $G$ such that the fractional chromatic number $χ_f(G)$ is at least $Δ(G)$. These graphs are complete graphs, odd cycles, $C^2_8$, $C_5\boxtimes K_2$, and graphs whose clique number $ω(G)$ equals the maximum degree $Δ(G)$. Among the two sporadic graphs, the graph $C^2_8$ is the square graph of cycle $C_8$ while the other graph $C_5\boxtimes K_2$ is the strong product of $C_5$ and $K_2$. In fact, we prove a stronger result; if a connected graph $G$ with $Δ(G)\geq 4$ is not one of the graphs listed above, then we have $χ_f(G)\leq Δ(G)- 2/67$.

We work out the graph limit theory for dense interval graphs. The theory developed departs from the usual description of a graph limit as a symmetric function $W(x,y)$ on the unit square, with $x$ and $y$ uniform on the interval $(0,1)$. Instead, we fix a $W$ and change the underlying distribution of the coordinates $x$ and $y$. We find choices such that our limits are continuous. Connections to random interval graphs are given, including some examples. We also show a continuity result for the chromatic number and clique number of interval graphs. Some results on uniqueness of the limit description are given for general graph limits.

Given independent random points $X_1,...,X_n\in\eR^d$ with common probability distribution $ν$, and a positive distance $r=r(n)>0$, we construct a random geometric graph $G_n$ with vertex set $\{1,...,n\}$ where distinct $i$ and $j$ are adjacent when $\norm{X_i-X_j}\leq r$. Here $\norm{.}$ may be any norm on $\eR^d$, and $ν$ may be any probability distribution on $\eR^d$ with a bounded density function. We consider the chromatic number $χ(G_n)$ of $G_n$ and its relation to the clique number $ω(G_n)$ as $n \to \infty$. Both McDiarmid and Penrose considered the range of $r$ when $r \ll (\frac{\ln n}{n})^{1/d}$ and the range when $r \gg (\frac{\ln n}{n})^{1/d}$, and their results showed a dramatic difference between these two cases. Here we sharpen and extend the earlier results, and in particular we consider the `phase change' range when $r \sim (\frac{t\ln n}{n})^{1/d}$ with $t>0$ a fixed constant. Both McDiarmid and Penrose asked for the behaviour of the chromatic number in this range. We determine constants $c(t)$ such that $\frac{χ(G_n)}{nr^d}\to c(t)$ almost surely. Further, we find a "sharp threshold" (except for less interesting choices of the norm when the unit ball tiles $d$-space): there is a constant $t_0>0$ such that if $t \leq t_0$ then $\frac{χ(G_n)}{ω(G_n)}$ tends to 1 almost surely, but if $t > t_0$ then $\frac{χ(G_n)}{ω(G_n)}$ tends to a limit $>1$ almost surely.

We define a perfect coloring of a graph $G$ as a proper coloring of $G$ such that every connected induced subgraph $H$ of $G$ uses exactly $ω(H)$ many colors where $ω(H)$ is the clique number of $H$. A graph is perfectly colorable if it admits a perfect coloring. We show that the class of perfectly colorable graphs is exactly the class of perfect paw-free graphs. It follows that perfectly colorable graphs can be recognized and colored in linear time.

The classical Erdős-Pósa theorem states that for each positive integer k there is an f(k) such that, in each graph G which does not have k+1 disjoint cycles, there is a blocker of size at most f(k); that is, a set B of at most f(k) vertices such that G-B has no cycles. We show that, amongst all such graphs on vertex set {1,..,n}, all but an exponentially small proportion have a blocker of size k. We also give further properties of a random graph sampled uniformly from this class; concerning uniqueness of the blocker, connectivity, chromatic number and clique number. A key step in the proof of the main theorem is to show that there must be a blocker as in the Erdős-Pósa theorem with the extra `redundancy' property that B-v is still a blocker for all but at most k vertices v in B.

A team of players plays the following game. After a strategy session, each player is randomly fitted with a blue or red hat. Then, without further communication, everybody can try to guess simultaneously his or her own hat color by looking at the hat colors of other players. Visibility is defined by a directed graph; that is, vertices correspond to players, and a player can see each player to whom she or he is connected by an arc. The team wins if at least one player guesses his hat color correctly, and no one guesses his hat color wrong; otherwise the team loses. The team aims to maximize the probability of a win, and this maximum is called the hat number of the graph. Previous works focused on the problem on complete graphs and on undirected graphs. Some cases were solved, e.g., complete graphs of certain orders, trees, cycles, bipartite graphs. These led Uriel Feige to conjecture that the hat number of any graph is equal to the hat number of its maximum clique. We show that the conjecture does not hold for directed graphs.Moreover, for every value of the maximum clique size, we provide a tight characterization of the range of possible values of the hat number. We construct families of directed graphs with a fixed clique number the hat number of which is asymptotically optimal. We also determine the hat number of tournaments to be one half.

The competition number k(G) of a graph G is the smallest number k such that G together with k isolated vertices added is the competition graph of an acyclic digraph. A chordless cycle of length at least 4 of a graph is called a hole of the graph. The number of holes of a graph is closely related to its competition number as the competition number of a graph which does not contain a hole is at most one and the competition number of a complete bipartite graph $K_{\lfloor \frac{n}{2} \rfloor, \lceil \frac{n}{2} \rceil}$ which has so many holes that no more holes can be added is the largest among those of graphs with n vertices. In this paper, we show that even if a connected graph G has many holes, the competition number of G can be as small as 2 under some assumption. In addition, we show that, for a connected graph G with exactly h holes and at most one non-edge maximal clique, if all the holes of G are pairwise edge-disjoint and the clique number $ω= ω(G)$ of G satisfies $2 \leq ω\leq h+1$, then the competition number of G is at most $h - ω+ 3$.

The (k,d)-hypersimplex is a (d-1)-dimensional polytope whose vertices are the (0,1)-vectors that sum to k. When k=1, we get a simplex whose graph is the complete graph with d vertices. Here we show how many of the well known graph parameters and attributes of the complete graph extend to a more general case. In particular we obtain explicit formulas in terms of d and k for the number of vertices, vertex degree, number of edges and the diameter. We show that the graphs are vertex transitive, hamilton connected, obtain the clique number and show how the graphs can be decomposed into self-similar subgraphs. The paper concludes with a discussion of the edge expansion rate of the graph of a (k,d)-hypersimplex which we show is at least d/2, and how this graph can be used to generate a random subset of {1,2,3,...,d} with k elements.

We associate a graph $\mathcal{C}_G$ to a non locally cyclic group $G$ (called the non-cyclic graph of $G$) as follows: take $G\backslash Cyc(G)$ as vertex set, where $Cyc(G)=\{x\in G | < x,y> \text{is cyclic for all} y\in G\}$ is called the cyclicizer of $G$, and join two vertices if they do not generate a cyclic subgroup. For a simple graph $Γ$, $w(Γ)$ denotes the clique number of $Γ$, which is the maximum size (if it exists) of a complete subgraph of $Γ$. In this paper we characterize groups whose non-cyclic graphs have clique numbers at most 4. We prove that a non-cyclic group $G$ is solvable whenever $w(\mathcal{C}_G)<31$ and the equality for a non-solvable group $G$ holds if and only if $G/Cyc(G)\cong A_5$ or $S_5$.

For each m>=1 and k>=2, we construct a graph G=(V,E) with ω(G)=m such that max_{1\leq i\leq k} ω(G[V_i])=m for arbitrary partition V=V_1\cup...\cup V_k, where ω(G) is the clique number of G and G[V_i] is the induced subgraph of G with the vertex set V_i. Using this result, we show that for each m>=2 there exists an exact m-cover of Z which is not the union of two 1-covers.

Let $G$ be a finite abelian group of order $n$. For any subset $B$ of $G$ with $B=-B$, the Cayley graph $G_B$ is a graph on vertex set $G$ in which $ij$ is an edge if and only if $i-j\in B.$ It was shown by Ben Green that when $G$ is a vector space over a finite field $Z/pZ$, then there is a Cayley graph containing neither a complete subgraph nor an independent set of size more than $clog nloglog n,$ where $c$ is an absolute constant. In this article we observe that a modification of his arguments shows that for an arbitrary finite abelian group of order $n$, there is a Cayley graph containing neither a complete subgraph nor an independent set of size more than $c(omega^3(n)log omega(n) +log nloglog n)$, where $c$ is an absolute constant and $omega(n)$ denotes the number of distinct prime divisors of $n$.

A bound on consecutive clique numbers of graphs is established. This bound is evaluated and shown to often be much better than the bound of the Kruskal-Katona theorem. A bound on non-consecutive clique numbers is also proven.

We associate a graph $Γ_G$ to a non locally cyclic group $G$ (called the non-cyclic graph of $G$) as follows: take $G\backslash Cyc(G)$ as vertex set, where $Cyc(G)=\{x\in G | \left<x,y\right> \text{is cyclic for all} y\in G\}$, and join two vertices if they do not generate a cyclic subgroup. We study the properties of this graph and we establish some graph theoretical properties (such as regularity) of this graph in terms of the group ones. We prove that the clique number of $Γ_G$ is finite if and only if $Γ_G$ has no infinite clique. We prove that if $G$ is a finite nilpotent group and $H$ is a group with $Γ_G\congΓ_H$ and $|Cyc(G)|=|Cyc(H)|=1$, then $H$ is a finite nilpotent group. We give some examples of groups $G$ whose non-cyclic graphs are ``unique'', i.e., if $Γ_G\cong Γ_H$ for some group $H$, then $G\cong H$. In view of these examples, we conjecture that every finite non-abelian simple group has a unique non-cyclic graph. Also we give some examples of finite non-cyclic groups $G$ with the property that if $Γ_G \cong Γ_H$ for some group $H$, then $|G|=|H|$. These suggest the question whether the latter property holds for all finite non-cyclic groups.

Stark and Terras introduced the edge zeta function of a finite graph in 1996. The edge zeta function is the reciprocal of a polynomial in twice as many variables as edges in the graph and can be computed in polynomial time. We look at graph properties which we can determine using the edge zeta function. In particular, the edge zeta function is enough to deduce the clique number, the number of Hamiltonian cycles, and whether a graph is perfect or chordal. Actually computing these properties takes exponential time. Finally, we present a new example illustrating that the Ihara zeta function cannot necessarily do the same.

We study vertex colorings of the square $G^2$ of an outerplanar graph $G$. We find the optimal bound of the inductiveness, chromatic number and the clique number of $G^2$ as a function of the maximum degree $Δ$ of $G$ for all $Δ\in \nats$. As a bonus, we obtain the optimal bound of the choosability (or the list-chromatic number) of $G^2$ when $Δ\geq 7$. In the case of chordal outerplanar graphs, we classify exactly which graphs have parameters exceeding the absolute minimum.