Abstract:We consider intersection graphs of disks of radius $r$ in the hyperbolic plane. Unlike the Euclidean setting, these graph classes are different for different values of $r$, where very small $r$ corresponds to an almost-Euclidean setting and $r \in \Omega(\log n)$ corresponds to a firmly hyperbolic setting. We observe that larger values of $r$ create simpler graph classes, at least in terms of separators and the computational complexity of the \textsc{Independent Set} problem. First, we show that intersection graphs of disks of radius $r$ in the hyperbolic plane can be separated with $\mathcal{O}((1+1/r)\log n)$ cliques in a balanced manner. Our second structural insight concerns Delaunay complexes in the hyperbolic plane and may be of independent interest. We show that for any set $S$ of $n$ points with pairwise distance at least $2r$ in the hyperbolic plane the corresponding Delaunay complex has outerplanarity $1+\mathcal{O}(\frac{\log n}{r})$, which implies a similar bound on the balanced separators and treewidth of such Delaunay complexes. Using this outerplanarity (and treewidth) bound we prove that \textsc{Independent Set} can be solved in $n^{\mathcal{O}(1+\frac{\log n}{r})}$ time. The algorithm is based on dynamic programming on some unknown sphere cut decomposition that is based on the solution. The resulting algorithm is a far-reaching generalization of a result of Kisfaludi-Bak (SODA 2020), and it is tight under the Exponential Time Hypothesis. In particular, \textsc{Independent Set} is polynomial-time solvable in the firmly hyperbolic setting of $r\in \Omega(\log n)$. Finally, in the case when the disks have ply (depth) at most $\ell$, we give a PTAS for \textsc{Maximum Independent Set} that has only quasi-polynomial dependence on $1/\varepsilon$ and $\ell$. Our PTAS is a further generalization of our exact algorithm.

Intersection properties of finite disk collections

Intersection Properties of Finite Disk Collections

Selected topics from the theory of intersections of balls

Half-space intersection properties for minimal hypersurfaces

Structure and Independence in Hyperbolic Uniform Disk Graphs

Generating Probability Distributions on Intervals and Spheres with Application to Finite Element Method.

On embeddedness of area-minimizing disks, and an application to constructing complete minimal surfaces

Collinearity of points on Poincaré unit disk and Riemann sphere

Dynamic Connectivity in Disk Graphs

A note on the intersection property for flat boxes and boxicity in $\mathbb{R}^d$

Spanning disks in triangulations of surfaces

Covering and Piercing Disks with Two Centers

Squares and their centers

Non planar free boundary minimal disks into ellipsoids

Covering a Disk by Disks

Isomorphic properties of Intersection bodies

Normalizing Topologically Minimal Surfaces II: Disks

On a Dowker-type problem for convex disks with almost constant curvature

Enclosing Points with Geometric Objects

A Gap Theorem for Free Boundary Minimal Surfaces in Geodesic Balls of Hyperbolic Space and Hemisphere