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.

The Complexity of Intersection Graphs of Lines in Space and Circle Orders

Recognition of Unit Segment and Polyline Graphs is $\exists\mathbb{R}$-Complete

The Complexity of Recognizing Geometric Hypergraphs

Simultaneous PQ-Ordering with Applications to Constrained Embedding Problems

Complexity and Stop Conditions for NP as General Assignment Problems, the Travel Salesman Problem in $\mathbb{R}^2$, Knight Tour Problem and Boolean Satisfiability Problem

The Complexity of Drawing Graphs on Few Lines and Few Planes

Intersection Graphs of Rays and Grounded Segments

Intersection Graphs with and without Product Structure

Some properties of the Zero-set Intersection graph of $C(X)$ and its Line graph

Balanced Connected Subgraph Problem in Geometric Intersection Graphs

Tight bounds for intersection-reverse sequences, edge-ordered graphs and applications

Topological Invariance of Intersection Lattices of Arrangements in CP^2

Recognizing Visibility Graphs of Polygons with Holes and Internal-External Visibility Graphs of Polygons

Enumeration of points, lines, planes, etc

Neighborhood Complexity of Planar Graphs

Min Orderings and List Homomorphism Dichotomies for Graphs and Signed Graphs

Structure and Independence in Hyperbolic Uniform Disk Graphs

Finding Triangles and Other Small Subgraphs in Geometric Intersection Graphs

Topological complexity of enumerative problems and classifying spaces of $PU_n$

The Complexity of Simultaneous Geometric Graph Embedding

Characterizing graph-nonedge pairs with single interval Cayley configuration spaces in 3-dimensions