Generalizing Roberts' characterization of unit interval graphs

Virginia Ardévol Martínez,Romeo Rizzi,Abdallah Saffidine,Florian Sikora,Stéphane Vialette

2024-04-27

Abstract:For any natural number $d$, a graph $G$ is a (disjoint) $d$-interval graph if it is the intersection graph of (disjoint) $d$-intervals, the union of $d$ (disjoint) intervals on the real line. Two important subclasses of $d$-interval graphs are unit and balanced $d$-interval graphs (where every interval has unit length or all the intervals associated to a same vertex have the same length, respectively). A celebrated result by Roberts gives a simple characterization of unit interval graphs being exactly claw-free interval graphs. Here, we study the generalization of this characterization for $d$-interval graphs. In particular, we prove that for any $d \geq 2$, if $G$ is a $K_{1,2d+1}$-free interval graph, then $G$ is a unit $d$-interval graph. However, somehow surprisingly, under the same assumptions, $G$ is not always a \emph{disjoint} unit $d$-interval graph. This implies that the class of disjoint unit $d$-interval graphs is strictly included in the class of unit $d$-interval graphs. Finally, we study the relationships between the classes obtained under disjoint and non-disjoint $d$-intervals in the balanced case and show that the classes of disjoint balanced 2-intervals and balanced 2-intervals coincide, but this is no longer true for $d>2$.

Discrete Mathematics,Data Structures and Algorithms

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the generalization of Roberts' characterization of unit d - interval graphs. Specifically, the authors explore how to generalize Roberts' simple characterization of unit interval graphs to more complex d - interval graphs.

### Research Background

In 1969, Roberts proved that unit interval graphs can be simply described as interval graphs without specific subgraphs (such as \(K_{1,3}\)). This result provides a concise characterization for unit interval graphs and has important theoretical and application values. However, when considering more complex d - interval graphs, whether this simple characterization still applies is an open problem.

### Core Problems of the Paper

The core problem of the paper is: **Can Roberts' characterization of unit interval graphs be generalized to d - interval graphs?**

Specifically, the authors study the following two aspects:

1. **For any natural number \(d \geq 2\), if a graph \(G\) is an interval graph that is \(K_{1,2d + 1}\)-free, then is \(G\) necessarily a unit d - interval graph?**
2. **Furthermore, if \(G\) is an interval graph that is \(K_{1,2d + 1}\)-free, then is \(G\) necessarily a disjoint unit d - interval graph?**

### Main Conclusions

1. **For any \(d \geq 2\), if \(G\) is an interval graph that is \(K_{1,2d + 1}\)-free, then \(G\) is a unit d - interval graph.** This means that Roberts' characterization can be generalized to d - interval graphs to a certain extent.

\[
\text{If } G \text{ is an interval graph that is } K_{1,2d + 1}\text{-free, then } G \text{ is a unit } d\text{-interval graph}
\]

2. **However, surprisingly, under the same assumption, \(G\) is not always a disjoint unit d - interval graph.** This shows that the class of disjoint unit d - interval graphs is strictly contained in the class of unit d - interval graphs.

\[
\text{Even if } G \text{ is an interval graph that is } K_{1,2d + 1}\text{-free, } G \text{ is not necessarily a disjoint unit } d\text{-interval graph}
\]

### Further Research

In addition, the authors also study the relationships between different subclasses in the balanced case and find that for \(d = 2\), the classes of disjoint balanced 2 - intervals and balanced 2 - intervals are the same, but for \(d>2\), these two classes are no longer the same.

### Summary

Through strict mathematical proofs, this paper reveals the differences between unit d - interval graphs and disjoint unit d - interval graphs and points out the differences in the generalization of Roberts' characterization under different definitions. This provides a new perspective for understanding complex graph structures and lays the foundation for further research.