Boxicity and Cubicity of Product Graphs

The 'boxicity' ('cubicity') of a graph G is the minimum natural number k such that G can be represented as an intersection graph of axis-parallel rectangular boxes (axis-parallel unit cubes) in $R^k$. In this article, we give estimates on the boxicity and the cubicity of Cartesian, strong and direct products of graphs in terms of invariants of the component graphs. In particular, we study the growth, as a function of $d$, of the boxicity and the cubicity of the $d$-th power of a graph with respect to the three products. Among others, we show a surprising result that the boxicity and the cubicity of the $d$-th Cartesian power of any given finite graph is in $O(\log d / \log\log d)$ and $\theta(d / \log d)$, respectively. On the other hand, we show that there cannot exist any sublinear bound on the growth of the boxicity of powers of a general graph with respect to strong and direct products.Comment: 14 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

An upper bound for Cubicity in terms of Boxicity

AbstractAn axis-parallel b-dimensional box is a Cartesian product R1×R2×⋯×Rb where each Ri (for 1≤i≤b) is a closed interval of the form [ai,bi] on the real line. The boxicity of any graph G, box(G) is the minimum positive integer b such that G can be represented as the intersection graph of axis-parallel b-dimensional boxes. A b-dimensional cube is a Cartesian product R1×R2×⋯×Rb, where each Ri (for 1≤i≤b) is a closed interval of the form [ai,ai+1] on the real line. When the boxes are restricted to be axis-parallel cubes in b-dimension, the minimum dimension b required to represent the graph is called the cubicity of the graph (denoted by cub(G)). In this paper we prove that cub(G)≤⌈log2n⌉box(G), where n is the number of vertices in the graph. We also show that this upper bound is tight.Some immediate consequences of the above result are listed below: 1.Planar graphs have cubicity at most 3⌈log2n⌉.2.Outer planar graphs have cubicity at most 2⌈log2n⌉.3.Any graph of treewidth tw has cubicity at most (tw+2)⌈log2n⌉. Thus, chordal graphs have cubicity at most (ω+1)⌈log2n⌉ and circular arc graphs have cubicity at most (2ω+1)⌈log2n⌉, where ω is the clique number.The above upper bounds are tight, but for small constant factors

Cubicity of interval graphs and the claw number

Let $G(V,E)$ be a simple, undirected graph where $V$ is the set of vertices and $E$ is the set of edges. A $b$-dimensional cube is a Cartesian product $I_1\times I_2\times...\times I_b$, where each $I_i$ is a closed interval of unit length on the real line. The \emph{cubicity} of $G$, denoted by \cub(G) is the minimum positive integer $b$ such that the vertices in $G$ can be mapped to axis parallel $b$-dimensional cubes in such a way that two vertices are adjacent in $G$ if and only if their assigned cubes intersect. Suppose $S(m)$ denotes a star graph on $m+1$ nodes. We define \emph{claw number} $\psi(G)$ of the graph to be the largest positive integer $m$ such that $S(m)$ is an induced subgraph of $G$. It can be easily shown that the cubicity of any graph is at least \ceil{\log_2\psi(G)}. In this paper, we show that, for an interval graph $G$ \ceil{\log_2\psi(G)}\le\cub(G)\le\ceil{\log_2\psi(G)}+2. Till now we are unable to find any interval graph with \cub(G)>\ceil{\log_2\psi(G)}. We also show that, for an interval graph $G$, \cub(G)\le\ceil{\log_2\alpha}, where $\alpha$ is the independence number of $G$. Therefore, in the special case of $\psi(G)=\alpha$, \cub(G) is exactly \ceil{\log_2\alpha}. The concept of cubicity can be generalized by considering boxes instead of cubes. A $b$-dimensional box is a Cartesian product $I_1\times I_2\times...\times I_b$, where each $I_i$ is a closed interval on the real line. The \emph{boxicity} of a graph, denoted $box(G)$, is the minimum $k$ such that $G$ is the intersection graph of $k$-dimensional boxes. It is clear that box(G)\le\cub(G). From the above result, it follows that for any graph $G$, \cub(G)\le box(G)\ceil{\log_2\alpha}

Cubicity, Degeneracy, and Crossing Number

A $k$-box $B=(R_1,...,R_k)$, where each $R_i$ is a closed interval on the real line, is defined to be the Cartesian product $R_1\times R_2\times ...\times R_k$. If each $R_i$ is a unit length interval, we call $B$ a $k$-cube. Boxicity of a graph $G$, denoted as \boxi(G), is the minimum integer $k$ such that $G$ is an intersection graph of $k$-boxes. Similarly, the cubicity of $G$, denoted as \cubi(G), is the minimum integer $k$ such that $G$ is an intersection graph of $k$-cubes. It was shown in [L. Sunil Chandran, Mathew C. Francis, and Naveen Sivadasan: Representing graphs as the intersection of axis-parallel cubes. MCDES-2008, IISc Centenary Conference, available at CoRR, abs/cs/ 0607092, 2006.] that, for a graph $G$ with maximum degree $\Delta$, \cubi(G)\leq \lceil 4(\Delta +1)\log n\rceil. In this paper, we show that, for a $k$-degenerate graph $G$, \cubi(G) \leq (k+2) \lceil 2e \log n \rceil. Since $k$ is at most $\Delta$ and can be much lower, this clearly is a stronger result. This bound is tight. We also give an efficient deterministic algorithm that runs in $O(n^2k)$ time to output a $8k(\lceil 2.42 \log n\rceil + 1)$ dimensional cube representation for $G$. An important consequence of the above result is that if the crossing number of a graph $G$ is $t$, then \boxi(G) is $O(t^{1/4}{\lceil\log t\rceil}^{3/4})$ . This bound is tight up to a factor of $O((\log t)^{1/4})$. We also show that, if $G$ has $n$ vertices, then \cubi(G) is $O(\log n + t^{1/4}\log t)$. Using our bound for the cubicity of $k$-degenerate graphs we show that cubicity of almost all graphs in $\mathcal{G}(n,m)$ model is $O(d_{av}\log n)$, where $d_{av}$ denotes the average degree of the graph under consideration.Comment: 21 page