Intersection Graphs with and without Product Structure

TL;DR

This paper investigates when classes of intersection graphs of geometric objects admit product structure, identifying a threshold parameter that determines the presence or absence of such structure for various shapes.

Contribution

It establishes necessary and sufficient conditions for intersection graph classes to admit product structure based on a parameter lpha, and characterizes this for multiple geometric sets.

Findings

For many shapes, lpha^*(S) = 1, so no product structure except contact graphs.

For some shapes, 0 < lpha^*(S) < 1, indicating a threshold behavior.

Identifies geometric conditions influencing the existence of product structure in intersection graphs.

Abstract

A graph class $\mathcal{G}$ admits product structure if there exists a constant $k$ such that every $G \in \mathcal{G}$ is a subgraph of $H \boxtimes P$ for a path $P$ and some graph $H$ of treewidth $k$. Famously, the class of planar graphs, as well as many beyond-planar graph classes are known to admit product structure. However, we have only few tools to prove the absence of product structure, and hence know of only a few interesting examples of classes. Motivated by the transition between product structure and no product structure, we investigate subclasses of intersection graphs in the plane (e.g., disk intersection graphs) and present necessary and sufficient conditions for these to admit product structure. Specifically, for a set $S \subset \mathbb{R}^2$ (e.g., a disk) and a real number $\alpha \in [0,1]$, we consider intersection graphs of $\alpha$-free homothetic copies of $S$. That is, each vertex $v$ is a homothetic copy of $S$ of which at least an $\alpha$-portion is not covered by other vertices, and there is an edge between $u$ and $v$ if and only if $u \cap v \neq \emptyset$. For $\alpha = 1$ we have contact graphs, which are in most cases planar, and hence admit product structure. For $\alpha = 0$ we have (among others) all complete graphs, and hence no product structure. In general, there is a threshold value $\alpha^*(S) \in [0,1]$ such that $\alpha$-free homothetic copies of $S$ admit product structure for all $\alpha > \alpha^*(S)$ and do not admit product structure for all $\alpha < \alpha^*(S)$. We show for a large family of sets $S$, including all triangles and all trapezoids, that it holds $\alpha^*(S) = 1$, i.e., we have no product structure, except for the contact graphs (when $\alpha= 1$). For other sets $S$, including regular $n$-gons for infinitely many values of $n$, we show that $0 < \alpha^*(S) < 1$ by proving upper and lower bounds.