Boxicity and Cubicity of Divisor Graphs and Power Graphs

TL;DR

This paper investigates the boxicity and cubicity of specific subclasses of comparability graphs, especially divisor graphs and power graphs of cyclic groups, providing tight bounds and exact estimates for these graph parameters.

Contribution

It introduces the study of boxicity and cubicity for divisor graphs and power graphs, establishing bounds and exact values for cyclic groups.

Findings

Derived tight bounds for boxicity and cubicity of divisor graphs.

Established that studying divisor graphs suffices for power graphs of cyclic groups.

Provided exact estimates for power graphs of cyclic groups.

Abstract

The \textit{boxicity} (\textit{cubicity}) of an undirected graph $\Gamma$ is the smallest non-negative integer $k$ such that $\Gamma$ can be represented as the intersection graph of axis-parallel rectangular boxes (unit cubes) in $\mathbb{R}^k$. An undirected graph is classified as a \textit{comparability graph} if it is isomorphic to the comparability graph of some partial order. This paper studies boxicity and cubicity for subclasses of comparability graphs. We initiate the study of boxicity and cubicity of a special class of algebraically defined comparability graphs, namely the \textit{power graphs}. The power graph of a group is an undirected graph whose vertex set is the group itself, with two elements being adjacent if one is a power of the other. We analyse the case when the underlying groups of power graphs are cyclic. Another important family of comparability graphs is \textit{divisor graphs}, which arises from a number-theoretically defined poset, namely the \textit{divisibility poset}. We consider a subclass of divisor graphs, denoted by $D(n)$, where the vertex set is the set of positive divisors of a natural number $n$. We first show that to study the boxicity (cubicity) of the power graph of the cyclic group of order $n$, it is sufficient to study the boxicity (cubicity) of $D(n)$. We derive estimates, tight up to a factor of $2$, for the boxicity and cubicity of $D(n)$. The exact estimates hold good for power graphs of cyclic groups.