Bipartite powers of k-chordal graphs

Let k be an integer and k \geq 3. A graph G is k-chordal if G does not have an induced cycle of length greater than k. From the definition it is clear that 3-chordal graphs are precisely the class of chordal graphs. Duchet proved that, for every positive integer m, if G^m is chordal then so is G^{m+2}. Brandst\"adt et al. in [Andreas Brandst\"adt, Van Bang Le, and Thomas Szymczak. Duchet-type theorems for powers of HHD-free graphs. Discrete Mathematics, 177(1-3):9-16, 1997.] showed that if G^m is k-chordal, then so is G^{m+2}. Powering a bipartite graph does not preserve its bipartitedness. In order to preserve the bipartitedness of a bipartite graph while powering Chandran et al. introduced the notion of bipartite powering. This notion was introduced to aid their study of boxicity of chordal bipartite graphs. Given a bipartite graph G and an odd positive integer m, we define the graph G^{[m]} to be a bipartite graph with V(G^{[m]})=V(G) and E(G^{[m]})={(u,v) | u,v \in V(G), d_G(u,v) is odd, and d_G(u,v) \leq m}. The graph G^{[m]} is called the m-th bipartite power of G. In this paper we show that, given a bipartite graph G, if G is k-chordal then so is G^{[m]}, where k, m are positive integers such that k \geq 4 and m is odd.Comment: 10 page

Boxicity and Cubicity of Asteroidal Triple free graphs

An axis parallel $d$-dimensional box is the Cartesian product $R_1 \times R_2 \times ... \times R_d$ where each $R_i$ is a closed interval on the real line. The {\it boxicity} of a graph $G$, denoted as \boxi(G), is the minimum integer $d$ such that $G$ can be represented as the intersection graph of a collection of $d$-dimensional boxes. An axis parallel unit cube in $d$-dimensional space or a $d$-cube is defined as the Cartesian product $R_1 \times R_2 \times ... \times R_d$ where each $R_i$ is a closed interval on the real line of the form $[a_i,a_i + 1]$. The {\it cubicity} of $G$, denoted as \cub(G), is the minimum integer $d$ such that $G$ can be represented as the intersection graph of a collection of $d$-cubes. Let $S(m)$ denote a star graph on $m+1$ nodes. We define {\it claw number} of a graph $G$ as the largest positive integer $k$ such that $S(k)$ is an induced subgraph of $G$ and denote it as \claw. Let $G$ be an AT-free graph with chromatic number $\chi(G)$ and claw number \claw. In this paper we will show that \boxi(G) \leq \chi(G) and this bound is tight. We also show that \cub(G) \leq \boxi(G)(\ceil{\log_2 \claw} +2) $\leq$ \chi(G)(\ceil{\log_2 \claw} +2). If $G$ is an AT-free graph having girth at least 5 then \boxi(G) \leq 2 and therefore \cub(G) \leq 2\ceil{\log_2 \claw} +4.Comment: 15 pages: We are replacing our earlier paper regarding boxicity of permutation graphs with a superior result. Here we consider the boxicity of AT-free graphs, which is a super class of permutation graph

Intersections and Representations of Graphs

Given two graphs G and H sharing the same vertex set, the edge-intersection spectrum of G and H is the set of possible sizes of the intersection of the edge sets of both graphs. For example, the spectrum of two copies of the cycle C5 is {0, 2, 3, 5}, and the spectrum of two copies of the star K1,r is {1, r}. The intersection spectrum was initially studied for designs by Lindner and Fu and others and was originally extended to graphs by Eric Mendelsohn. Several examples are studied, both when G and H are isomorphic and when they are not isomorphic. It will also be shown any set S of positive integers is the edge-intersection spectrum of some pair of connected graphs. The other two chapters cover the area of conflict-tolerance graph representations. These representations consist of rules for measuring the rank and tolerance of each vertex, and for determining if two vertices are in conflict, by combining and comparing the ranks and tolerances of the vertices. The edge set of the graph is then the pairs of vertices which are in conflict. In the odd-intersection interval model, each vertex is represented by a subpath of a host path P, and two vertices are in conflict if and only if their corresponding subpaths intersect in an odd number of nodes. This model is not universal; in particular, the complete 4-partite graph K3,3,3,3 is a minimal forbidden subgraph. The parity of the subpaths affects the representation; graphs in which the subpaths are of a fixed odd order are strongly chordal (in fact, these are precisely the unit interval graphs), and graphs in which the subpaths are all of even order are bipartite. The converse of the latter statement is not true, as it will be shown that the number of bipartite graphs is asymptotically larger than the number of possible representations. A cross-comparison graph model\u3c\italic\u3e is one in which each vertex v is assigned a rank rv and a tolerance tv, and two vertices u and v are in conflict if rv ≥ tu and ru ≥ tv. Jamison showed that the cross-comparison model is universal, using n-dimensional vectors and coordinatewise comparison to represent a graph on n vertices. The inefficiency of a vector representation is the smallest number of dimensions d for which we can represent a graph G using d-dimensional vectors. The set of all graphs which can be represented using one-dimensional vectors (efficient cross-comparison graphs) is precisely the set of graphs which are the complement of a threshold tolerance graph (known as co-TT graphs; these were defined by Monma, Reed, and Trotter in 1988). The efficient cross-comparison graphs are characterized as those graphs which are chordal, and contain no strongly asteroidal triple --- a set of three vertices, such that there is a path between any two of these vertices which contains no neighbor of the third, and which does not contain two consecutive vertices adjacent to every neighbor of the third. In addition, a graph with a d-dimensional vector representation is the intersection of d efficient graphs. The inefficiency of G is bounded below by its chordality, and above by its boxicity; both of these bounds are tight. In addition, the graph Kn(2) has chordality and boxicity (and thus inefficiency) equal to n, and this is known to be the upper bound for boxicity, which shows that the efficiency of a graph is at most half its order, and that this bound is tight