---
title: Hyperbolic Random Graphs
url: https://www.emergentmind.com/topics/hyperbolic-random-graphs
type: topic
---

# Hyperbolic Random Graphs

Hyperbolic random graphs (HRGs), also called random hyperbolic graphs or RHGs, are random geometric graph models in negatively curved latent spaces used to model large complex networks with heterogeneous degree distributions and strong clustering. In the standard two-dimensional formulation, one samples \(n\) vertices independently in a hyperbolic disk of radius \(R=2\ln n + C\), draws angular coordinates uniformly, draws radial coordinates from a density proportional to \(\sinh(\alpha r)\), and then connects pairs either by a hard distance threshold or by a Fermi–Dirac-type probability depending on hyperbolic distance [1205.1470]. In the sparse scale-free regime, the model yields a power-law degree distribution with exponent \(2\alpha+1\), nonvanishing clustering, and polylogarithmic diameter bounds, while also admitting efficient generation procedures and, for some problems, unexpectedly efficient exact algorithms [1205.1470].

## 1. Canonical definition and geometric formulation

The standard threshold HRG is defined in the hyperbolic plane \(\mathbb H^2\) of curvature \(-1\), usually in native polar coordinates. A point \(v\) is represented as \((r_v,\phi_v)\), where \(r_v\) is hyperbolic distance from the origin and \(\phi_v\in[0,2\pi)\) is angular position. Hyperbolic distance between \(u=(r_u,\phi_u)\) and \(v=(r_v,\phi_v)\) satisfies
\[
d(u,v)=\cosh^{-1}\!\bigl(\cosh r_u\cosh r_v-\sinh r_u\sinh r_v\cos(\Delta\phi_{u,v})\bigr),
\]
with angular separation defined modulo \(2\pi\) [2306.16775].

For the classical sparse model one fixes \(\alpha\in(\tfrac12,1)\), \(C\in\mathbb R\), and
\[
R=2\ln n + C.
\]
Then one samples \(n\) independent points in the disk \(B_o(R)\) with angular coordinate uniform in \([0,2\pi)\) and radial density
\[
\rho(r)=\frac{\alpha\,\sinh(\alpha r)}{\cosh(\alpha R)-1},\qquad 0\le r\le R.
\]
In the threshold version, two vertices are adjacent if and only if \(d(u,v)\le R\) [2306.16775].

A widely used soft variant replaces the threshold rule by an independent edge probability
\[
p_T(d)=\bigl(1+e^{(d-R)/(2T)}\bigr)^{-1},
\]
where \(T\in(0,1]\) is a temperature parameter. In the limit \(T\to 0\), this reduces to the threshold model \(p_0(d)=1\) if \(d\le R\), and \(0\) otherwise [1905.06706]. The temperature controls clustering strength: smaller \(T\) sharpens the geometric cutoff, whereas larger \(T\) smooths it [1503.05180].

This formulation combines a popularity coordinate, encoded by radius, with a similarity coordinate, encoded by angle. The model therefore functions both as a probabilistic graph ensemble and as a latent-space representation of network structure.

## 2. Degree laws, clustering, and parameter regimes

In the scale-free regime \(\alpha>\tfrac12\), the degree distribution follows a power law with exponent
\[
\beta=2\alpha+1,
\]
and this relation is rigorously established for the threshold model [1205.1470]. Gugelmann, Panagiotou, and Peter proved exact asymptotic expressions for the number \(N_k\) of vertices of degree \(k\), concentration of \(N_k\) around its expectation, a maximum degree of order \(n^{1/(2\alpha)+o(1)}\), and a global clustering coefficient bounded away from zero [1205.1470]. They also showed that the average degree remains bounded in \(n\) under the scaling \(R=2\ln n + C\), with \(C\) tuning the average degree through a factor \(e^{-C/2}\) [1205.1470].

For soft HRGs, the parameter \(T\) controls a regime change. In the inverse-temperature notation of Fountoulakis, a phase transition occurs around \(\beta=1\): for \(\beta>1\), the degree of a typical vertex is bounded in probability and has a power-law tail whose exponent depends only on the curvature; for \(\beta=1\), typical degrees grow logarithmically; and for \(\beta<1\), expected degree grows polynomially in \(N\) [1205.2923]. The same work shows that, conditional on radial types, the cold regime \(\beta>1\) is asymptotically equivalent up to a constant factor to a Chung–Lu kernel \(p_{ij}=C_\beta w_i w_j/N\), with weights \(w_i=e^{(\zeta t_i)/2}\) [1205.2923].

Recent results refine the structure of large degrees. In the scale-free regime \(\alpha>\tfrac12\), the ranking of vertices by decreasing degree coincides with the ranking by increasing distance to the center up to rank \(n^{1/(1+8\alpha)+o(1)}\) with high probability [2404.06383]. The same work proves convergence of the normalized top-degree process to a Poisson point process and identifies a phase transition at \(\alpha=\tfrac12\): for \(\alpha<\tfrac12\), the maximum degree is of order \(n-O(n^{\alpha+1/2})\), whereas for \(\alpha\ge\tfrac12\), it is of order \(n^{1/(2\alpha)}\) [2404.06383].

These results make the geometric meaning of hub formation unusually explicit. Small radius is not merely correlated with large degree; over a substantial initial rank range, it determines the high-degree ordering itself.

## 3. Components, distances, and spectral structure

For \(\alpha>\tfrac12\), the standard threshold HRG has with high probability a connected small-diameter highly clustered structure in the sparse regime, and in the range \(\tfrac12<\alpha<1\) the graph contains a unique giant component of linear size [2306.16775; 1606.02240]. The ball \(B_O(R/2)\) forms a central clique with expected size \(\Theta(n^{1-\alpha})\), and this core plays a central role in proofs of distance and connectivity bounds [1408.2947].

Kiwi and Mitsche proved that when \(\tfrac12<\alpha<1\), any two vertices in the same component are at graph distance
\[
O(\log^{C_0+1+o(1)} n),
\qquad
C_0=\frac{2}{\tfrac12-\frac34\alpha+\frac{\alpha^2}{4}},
\]
and obtained as a corollary that the second largest component has size \(O(\log^{2C_0+1+o(1)} n)\) [1408.2947]. They also showed that isolated components may form a path of length \(\Omega(\log n)\), providing a lower bound on the size of the second largest component [1408.2947].

Friedrich and Krohmer later gave simpler proofs of an improved upper bound for the diameter of the giant component,
\[
O\bigl((\ln n)^{2/(3-\beta)}\bigr)
=
O\bigl((\ln n)^{1/(1-\alpha)}\bigr),
\]
together with a lower bound \(\Omega(\ln n)\) [1512.00184]. Their argument separates the disk into an inner band, whose vertices reach a central clique in \(O(\log\log n)\) hops, and an outer band, whose vertices find a path into the inner band in polylogarithmic length [1512.00184].

The spectral picture is correspondingly anisotropic. For the normalized Laplacian of the giant component \(H\), the second eigenvalue satisfies
\[
\lambda_1(H)=\Omega\!\Bigl(\frac{1}{D}n^{-(2\alpha-1)}\Bigr)
\]
and also
\[
\lambda_1(H)=O\!\bigl(n^{-(2\alpha-1)}(\log n)^{1+o(1)}\bigr),
\]
where \(D\) is the diameter of \(H\) [1606.02240]. The conductance upper bound obtained via Cheeger’s inequality is essentially tight, and the bottleneck is attained by a linear-size subset, while subsets of volume \(O(n^\varepsilon)\) have much larger conductance [1606.02240]. This implies that HRGs combine short metric distances with weak global expansion.

## 4. Sampling, generation, and dynamic updates

A direct generator samples coordinates and then tests all \(\binom{N}{2}\) pairs, yielding \(O(N^2)\) distance-and-Bernoulli steps [1503.05180]. Aldecoa and Krioukov’s “Hyperbolic Graph Generator” implements this approach in C++, uses GSL for Monte Carlo integration and special functions, and supports several limiting regimes, including the hard-threshold hyperbolic random geometric graph, the soft configuration model, spherical random geometric graphs, and Erdős–Rényi graphs [1503.05180].

Efficient large-scale generation relies on geometric decomposition. Bringmann, Keusch, and Lengler gave an expected \(O(n+m)\)-time generator for geometric inhomogeneous random graphs and adapted it to HRGs by flattening the angular coordinate to the torus, assigning weights
\[
w_v=e^{(R-r_v)/2},
\]
and reusing GIRG machinery based on weight buckets, hierarchical cells, Morton codes, and geometric-jump sampling [1905.06706]. Their implementation supports non-zero temperatures, higher-dimensional underlying geometries on the GIRG side, and produces graphs with ten million edges in under a second on commodity hardware; they also emphasize that the generators draw from the correct probability distribution and involve no approximation [1905.06706].

The same paper clarifies the relation to GIRGs. HRGs embed into GIRGs via \(w_v=e^{(R-r_v)/2}\) and \(x_v=\theta_v/(2\pi)\), and the edge probability takes the GIRG-binomial form up to constant factors [1905.06706]. At the same time, a straight-forward inclusion does not hold in practice, although the difference is negligible for most use cases [1905.06706]. This qualification is important because it limits any literal identification of the two models.

Dynamic HRGs can also be updated sublinearly. Von Looz, Meyerhenke, and Prutkin introduced probabilistic neighborhood queries and a polar quadtree data structure that supports node movement while preserving the stationary distribution of point positions [1802.03297]. For suitable planar point distributions, the query time is
\[
O\bigl((|N(q,f)|+\sqrt n)\log n\bigr)
\]
with high probability, yielding about one order of magnitude practical speedup over the fastest previous dynamic approach [1802.03297].

## 5. Algorithmic consequences on HRGs

One reason HRGs attract algorithmic interest is that latent geometry can make hard graph problems markedly easier on this distribution. Oh and Oh studied the Maximum Clique problem on hyperbolic random graphs and proposed a two-phase exact algorithm: a greedy degree-ordered clique initialization followed by peeling of low-degree vertices, leaving a kernel of size
\[
|V_{\rm kernel}|=O(n^{1-\alpha})
\quad\text{w.h.p.}
\]
[2306.16775]. With a geometric embedding, they then apply the BFK18 procedure to the kernel and obtain expected running time
\[
O\bigl(m+n^{4.5(1-\alpha)}\bigr).
\]
Without the embedding, they use a Co-Bipartite Neighborhood Edge Elimination Ordering (CNEEO) and obtain
\[
O\bigl(m+n^{6(1-\alpha)}\bigr)
\]
expected time [2306.16775].

The empirical results are equally explicit. On synthetic HRGs, total running time at \(n=10^6\) is under \(0.1\) s, described as a \(200\times\) speedup over BFK18; on several real-world collaboration and web graphs, the robust algorithm either finds the exact clique or a near-optimum lower bound within seconds, and on the 4M-vertex LiveJournal network the entire computation completes in minutes [2306.16775]. The same paper situates this within a broader pattern: preprocessing-plus-kernelization also yields efficient algorithms for shortest paths, matchings, and separators in hyperbolic-network settings [2306.16775].

Subsequent work has sharpened the clique-theoretic picture. For threshold HRGs, degeneracy-based greedy colouring admits an approximation ratio ranging from \((2/\sqrt{3})\) to \(4/3\), depending on the power-law exponent [2410.11549]. The same study shows that degeneracy and clique number are substantially different, derives an improved upper bound on the clique number, and proves that the core of HRGs does not constitute the largest clique [2410.11549]. A plausible implication is that core-based intuition, while often effective algorithmically, does not by itself characterize extremal clique structure.

## 6. Generalizations, discrete analogues, and mesoscale extensions

Several extensions modify either the ambient geometry or the constraints imposed on the graph ensemble. One line of work replaces continuous hyperbolic space by a regular tessellation. In the discrete hyperbolic random graph model (DHRG), nodes are mapped to vertices of a triangulation, edge probabilities depend on graph distance in the tessellation, and the main computations become combinatorial rather than floating-point geometric [2109.11772]. DHRG preserves the power-law exponent \(\gamma=2\alpha+1\), retains high clustering at low temperature, and supports log-likelihood computation and local search in \(O(nR^2+mR)\) time [2109.11772]. Related work on hyperbolic triangulations reports that discrete embeddings can match or slightly improve continuous maximum-likelihood embeddings on real networks at comparable wall-clock time [1707.01124].

A second line generalizes the model to dimension \(d+1\). Budel et al. give a rescaling that leaves the degree distribution invariant across dimensions, with degree exponent \(\gamma=a+1\) in the cold regime and dimension-dependent clustering that decreases to \(0\) as \(d\to\infty\) [2010.12303]. They also analyze limiting regimes connecting RHGs to spherical random geometric graphs, soft configuration models, and Erdős–Rényi graphs [2010.12303].

A third line addresses a structural limitation of purely geometric HRGs: mesoscale mixing patterns are constrained by the geometry. The Random Hyperbolic Block Model (RHBM) extends the \(\mathbb S^1/\mathbb H^2\) framework by adding a symmetric block-mixing matrix \(F_{IJ}\) and latent block-specific forces \(\Phi_{IJ}\) within a maximum-entropy construction [2506.02686]. The resulting model preserves heavy-tailed degrees, high clustering, and small-world structure while enforcing arbitrary expected block-to-block edge counts [2506.02686]. This directly addresses the fact that purely geometric RHGs cannot reproduce certain non-geometric community patterns because angular similarity obeys triangle-inequality constraints [2506.02686].

Taken together, these variants indicate both the reach and the limitations of the classical HRG. The original model captures sparsity, heavy tails, clustering, and navigable geometry with unusual analytical tractability; however, higher-dimensional, discrete, and block-structured extensions show that some empirically important mesoscale phenomena require additional structure beyond pure hyperbolic proximity.

Source: https://www.emergentmind.com/topics/hyperbolic-random-graphs