Hyperbolic Random Graphs: Clique Number and Degeneracy with Implications for Colouring

Samuel Baguley,Yannic Maus,Janosch Ruff,George Skretas

2024-10-15

Abstract:Hyperbolic random graphs inherit many properties that are present in real-world networks. The hyperbolic geometry imposes a scale-free network with a strong clustering coefficient. Other properties like a giant component, the small world phenomena and others follow. This motivates the design of simple algorithms for hyperbolic random graphs. In this paper we consider threshold hyperbolic random graphs (HRGs). Greedy heuristics are commonly used in practice as they deliver a good approximations to the optimal solution even though their theoretical analysis would suggest otherwise. A typical example for HRGs are degeneracy-based greedy algorithms [Bläsius, Fischbeck; Transactions of Algorithms '24]. In an attempt to bridge this theory-practice gap we characterise the parameter of degeneracy yielding a simple approximation algorithm for colouring HRGs. The approximation ratio of our algorithm ranges from $(2/\sqrt{3})$ to $4/3$ depending on the power-law exponent of the model. We complement our findings for the degeneracy with new insights on the clique number of hyperbolic random graphs. We show that degeneracy and clique number are substantially different and derive an improved upper bound on the clique number. Additionally, we show that the core of HRGs does not constitute the largest clique. Lastly we demonstrate that the degeneracy of the closely related standard model of geometric inhomogeneous random graphs behaves inherently different compared to the one of hyperbolic random graphs.

Data Structures and Algorithms

What problem does this paper attempt to address?

The main problems that this paper attempts to solve are how to understand and quantify the clique number and degeneracy in Hyperbolic Random Graphs (HRGs), and to explore the influence of these parameters on the graph coloring problem. Specifically, the authors focus on the following aspects:

1. **Relationship between clique number and degeneracy**:
- The paper studies the relationship between the clique number and degeneracy in HRGs and proves that there is a gap of a constant factor between the two. Specifically, they show that for any threshold HRG \(G\), there exists a constant \(\varepsilon > 0\) such that \(\omega(G) \leq (1 - \varepsilon)\cdot\kappa(G)\) holds with extremely high probability (w.e.h.p.). Here, \(\omega(G)\) represents the clique number and \(\kappa(G)\) represents the degeneracy.

2. **Upper and lower bounds of degeneracy**:
- The authors provide new upper and lower bounds for the degeneracy of HRGs. Specifically, they prove that there exist constants \(\delta_1, \delta_2 > 0\) such that for any threshold HRG \(G\), \((1 + \delta_1)\sigma(G) \leq \kappa(G) \leq (2 - \delta_2)\cdot\sigma(G)\) holds with extremely high probability. Here, \(\sigma(G)\) represents the core size of the HRG.

3. **Improved coloring algorithm**:
- Based on the above results, the authors propose an efficient approximate coloring algorithm. This algorithm can calculate the approximate vertex coloring of HRG within the time complexity of \(O(n)\), and its approximation ratio is \(((4/3)\alpha + o(1))\) with extremely high probability.

4. **Location of the maximum clique**:
- The paper also explores the formation location of the maximum clique in HRGs. They find that although the core of the HRG forms a relatively large clique, it is not the largest clique in the graph. The size of the largest clique is at most a constant factor larger than the core.

5. **Degeneracy of Geometric Inhomogeneous Random Graphs (GIRGs)**:
- Finally, the authors also study the degeneracy of Geometric Inhomogeneous Random Graphs (GIRGs), which are closely related to HRGs, and find that the behavior of HRGs and GIRGs in terms of degeneracy is significantly different.

Through these studies, the paper not only deepens the understanding of the structural characteristics of HRGs but also provides a theoretical basis for designing more effective algorithms.