Hyperbolic Random Graphs Research Articles

(ω_{1},ω_{2})-temporal random hyperbolic graphs.

We extend a recent model of temporal random hyperbolic graphs by allowing connections and disconnections to persist across network snapshots with different probabilities ω_{1} and ω_{2}. This extension, while conceptually simple, poses analytical challenges involving the Appell F_{1} series. Despite these challenges, we are able to analyze key properties of the model, which include the distributions of contact and intercontact durations, as well as the expected time-aggregated degree. The incorporation of ω_{1} and ω_{2} enables more flexible tuning of the average contact and intercontact durations, and of the average time-aggregated degree, providing a finer control for exploring the effect of temporal network dynamics on dynamical processes. Overall, our results provide new insights into the analysis of temporal networks and contribute to a more general representation of real-world scenarios.

Cover and hitting times of hyperbolic random graphs

AbstractWe study random walks on the giant component of Hyperbolic Random Graphs (HRGs), in the regime when the degree distribution obeys a power law with exponent in the range . In particular, we first focus on the expected time for a random walk to hit a given vertex or visit, that is, cover, all vertices. We show that, a.a.s. (with respect to the HRG), and up to multiplicative constants: the cover time is , the maximum hitting time is , and the average hitting time is . We then determine the expected time to commute between two given vertices a.a.s., up to a small factor polylogarithmic in , and under some mild hypothesis on the pair of vertices involved. Our results are proved by controlling effective resistances using the energy dissipated by carefully designed network flows associated to a tiling of the hyperbolic plane, on which we overlay a forest‐like structure.

Random hyperbolic graphs in d+1 dimensions.

We consider random hyperbolic graphs in hyperbolic spaces of any dimension d+1≥2. We present a rescaling of model parameters that casts the random hyperbolic graph model of any dimension to a unified mathematical framework, leaving the degree distribution invariant with respect to the dimension. Unlike the degree distribution, clustering does depend on the dimension, decreasing to 0 at d→∞. We analyze all of the other limiting regimes of the model, and we release a software package that generates random hyperbolic graphs and their limits in hyperbolic spaces of any dimension.

Nearest-neighbor directed random hyperbolic graphs.

Undirected hyperbolic graph models have been extensively used as models of scale-free small-world networks with high clustering coefficient. Here we presented a simple directed hyperbolic model where nodes randomly distributed on a hyperbolic disk are connected to a fixed number m of their nearest spatial neighbors. We introduce also a canonical version of this network (which we call "network with varied connection radius"), where maximal length of outgoing bond is space dependent and is determined by fixing the average out-degree to m. We study local bond length, in-degree, and reciprocity in these networks as a function of spacial coordinates of the nodes and show that the network has a distinct core-periphery structure. We show that for small densities of nodes the overall in-degree has a truncated power-law distribution. We demonstrate that reciprocity of the network can be regulated by adjusting an additional temperature-like parameter without changing other global properties of the network.

Efficiently Approximating Vertex Cover on Scale-Free Networks with Underlying Hyperbolic Geometry

Finding a minimum vertex cover in a network is a fundamental NP-complete graph problem. One way to deal with its computational hardness, is to trade the qualitative performance of an algorithm (allowing non-optimal outputs) for an improved running time. For the vertex cover problem, there is a gap between theory and practice when it comes to understanding this trade-off. On the one hand, it is known that it is NP-hard to approximate a minimum vertex cover within a factor of sqrt{2}. On the other hand, a simple greedy algorithm yields close to optimal approximations in practice. A promising approach towards understanding this discrepancy is to recognize the differences between theoretical worst-case instances and real-world networks. Following this direction, we narrow the gap between theory and practice by providing an algorithm that efficiently computes nearly optimal vertex cover approximations on hyperbolic random graphs; a network model that closely resembles real-world networks in terms of degree distribution, clustering, and the small-world property. More precisely, our algorithm computes a (1 + o(1))-approximation, asymptotically almost surely, and has a running time of {mathcal {O}}(m log (n)). The proposed algorithm is an adaptation of the successful greedy approach, enhanced with a procedure that improves on parts of the graph where greedy is not optimal. This makes it possible to introduce a parameter that can be used to tune the trade-off between approximation performance and running time. Our empirical evaluation on real-world networks shows that this allows for improving over the near-optimal results of the greedy approach.

Dimension matters when modeling network communities in hyperbolic spaces.

Over the last decade, random hyperbolic graphs have proved successful in providing geometric explanations for many key properties of real-world networks, including strong clustering, high navigability, and heterogeneous degree distributions. These properties are ubiquitous in systems as varied as the internet, transportation, brain or epidemic networks, which are thus unified under the hyperbolic network interpretation on a surface of constant negative curvature. Although a few studies have shown that hyperbolic models can generate community structures, another salient feature observed in real networks, we argue that the current models are overlooking the choice of the latent space dimensionality that is required to adequately represent clustered networked data. We show that there is an important qualitative difference between the lowest-dimensional model and its higher-dimensional counterparts with respect to how similarity between nodes restricts connection probabilities. Since more dimensions also increase the number of nearest neighbors for angular clusters representing communities, considering only one more dimension allows us to generate more realistic and diverse community structures.

Local limits of spatial inhomogeneous random graphs

AbstractConsider a set of n vertices, where each vertex has a location in $\mathbb{R}^d$ that is sampled uniformly from the unit cube in $\mathbb{R}^d$ , and a weight associated to it. Construct a random graph by placing edges independently for each vertex pair with a probability that is a function of the distance between the locations and the vertex weights.Under appropriate integrability assumptions on the edge probabilities that imply sparseness of the model, after appropriately blowing up the locations, we prove that the local limit of this random graph sequence is the (countably) infinite random graph on $\mathbb{R}^d$ with vertex locations given by a homogeneous Poisson point process, having weights which are independent and identically distributed copies of limiting vertex weights. Our set-up covers many sparse geometric random graph models from the literature, including geometric inhomogeneous random graphs (GIRGs), hyperbolic random graphs, continuum scale-free percolation, and weight-dependent random connection models.We prove that the limiting degree distribution is mixed Poisson and the typical degree sequence is uniformly integrable, and we obtain convergence results on various measures of clustering in our graphs as a consequence of local convergence. Finally, as a byproduct of our argument, we prove a doubly logarithmic lower bound on typical distances in this general setting.

Dynamics of cold random hyperbolic graphs with link persistence.

We consider and analyze a dynamic model of random hyperbolic graphs with link persistence. In the model, both connections and disconnections can be propagated from the current to the next snapshot with probability ω∈[0,1). Otherwise, with probability 1-ω, connections are reestablished according to the random hyperbolic graphs model. We show that while the persistence probability ω affects the averages of the contact and intercontact distributions, it does not affect the tails of these distributions, which decay as power laws with exponents that do not depend on ω. We also consider examples of real temporal networks, and we show that the considered model can adequately reproduce several of their dynamical properties. Our results advance our understanding of the realistic modeling of temporal networks and of the effects of link persistence on temporal network properties.

Engineering Nearly Linear-time Algorithms for Small Vertex Connectivity

Vertex connectivity is a well-studied concept in graph theory with numerous applications. A graph is k -connected if it remains connected after removing any k −1 vertices. The vertex connectivity of a graph is the maximum k such that the graph is k -connected. There is a long history of algorithmic development for efficiently computing vertex connectivity. Recently, two near linear-time algorithms for small k were introduced by Forster et al. [SODA 2020]. Prior to that, the best-known algorithm was one by Henzinger et al. [FOCS 1996] with quadratic running time when k is small. In this article, we study the practical performance of the algorithms by Forster et al. In addition, we introduce a new heuristic on a key subroutine called local cut detection, which we call degree counting. We prove that the new heuristic improves space-efficiency (which can be good for caching purposes) and allows the subroutine to terminate earlier. According to experimental results on random graphs with planted vertex cuts, random hyperbolic graphs, and real-world graphs with vertex connectivity between 4 and 8, the degree counting heuristic offers a factor of 2–4 speedup over the original non-degree counting version for small graphs and almost 20 times for some graphs with millions of edges. It also outperforms the previous state-of-the-art algorithm by Henzinger et al., even on relatively small graphs.

Efficiently generating geometric inhomogeneous and hyperbolic random graphs

AbstractHyperbolic random graphs (HRGs) and geometric inhomogeneous random graphs (GIRGs) are two similar generative network models that were designed to resemble complex real-world networks. In particular, they have a power-law degree distribution with controllable exponent $\beta$ and high clustering that can be controlled via the temperature $T$ .We present the first implementation of an efficient GIRG generator running in expected linear time. Besides varying temperatures, it also supports underlying geometries of higher dimensions. It is capable of generating graphs with ten million edges in under a second on commodity hardware. The algorithm can be adapted to HRGs. Our resulting implementation is the fastest sequential HRG generator, despite the fact that we support non-zero temperatures. Though non-zero temperatures are crucial for many applications, most existing generators are restricted to $T = 0$ . We also support parallelization, although this is not the focus of this paper. Moreover, we note that our generators draw from the correct probability distribution, that is, they involve no approximation.Besides the generators themselves, we also provide an efficient algorithm to determine the non-trivial dependency between the average degree of the resulting graph and the input parameters of the GIRG model. This makes it possible to specify the desired expected average degree as input.Moreover, we investigate the differences between HRGs and GIRGs, shedding new light on the nature of the relation between the two models. Although HRGs represent, in a certain sense, a special case of the GIRG model, we find that a straightforward inclusion does not hold in practice. However, the difference is negligible for most use cases.

On Searching Multiple Disjoint Shortest Paths in Scale-Free Networks With Hyperbolic Geometry

Intensive research efforts have been devoted to the study of multiple disjoint shortest paths (MDSP) in complex networks. Most existing studies on this subject, unfortunately, either require global topology information about the network to find multiple shortest paths, or merely aim at finding a single unconstrained shortest path, leaving the (constrained) MDSP on local topology much less-investigated. In this paper, we model and analyze the problem of MDSP per hyperbolic random graphs. We find that the locations of MDSP have a high probability to be close to the corresponding hyperbolic geodesics. On the basis of this observation, we identify the network navigation skeleton for the source-destination pair, and subsequently devise an algorithm for searching MDSP on such a skeleton (local topology information) in a hyperbolic space. Our experiments on both synthetic and real-world networks demonstrate that the proposed algorithm not only guarantees the success of MDSP searching, but also achieves significant gains in terms of running time.

Sub-tree counts on hyperbolic random geometric graphs

AbstractThe hyperbolic random geometric graph was introduced by Krioukov et al. (Phys. Rev. E82, 2010). Among many equivalent models for the hyperbolic space, we study the d-dimensional Poincaré ball ( $d\ge 2$ ), with a general connectivity radius. While many phase transitions are known for the expectation asymptotics of certain subgraph counts, very little is known about the second-order results. Two of the distinguishing characteristics of geometric graphs on the hyperbolic space are the presence of tree-like hierarchical structures and the power-law behaviour of the degree distribution. We aim to reveal such characteristics in detail by investigating the behaviour of sub-tree counts. We show multiple phase transitions for expectation and variance in the resulting hyperbolic geometric graph. In particular, the expectation and variance of the sub-tree counts exhibit an intricate dependence on the degree sequence of the tree under consideration. Additionally, unlike the thermodynamic regime of the Euclidean random geometric graph, the expectation and variance may exhibit different growth rates, which is indicative of power-law behaviour. Finally, we also prove a normal approximation for sub-tree counts using the Malliavin–Stein method of Last et al. (Prob. Theory Relat. Fields165, 2016), along with the Palm calculus for Poisson point processes.

Efficient Shortest Paths in Scale-Free Networks with Underlying Hyperbolic Geometry

A standard approach to accelerating shortest path algorithms on networks is the bidirectional search, which explores the graph from the start and the destination, simultaneously. In practice this strategy performs particularly well on scale-free real-world networks. Such networks typically have a heterogeneous degree distribution (e.g., a power-law distribution) and high clustering (i.e., vertices with a common neighbor are likely to be connected themselves). These two properties can be obtained by assuming an underlying hyperbolic geometry. To explain the observed behavior of the bidirectional search, we analyze its running time on hyperbolic random graphs and prove that it is Õ( n 2 - 1/α + n 1/(2α) + δ max ) with high probability, where α ∈ (1/2, 1) controls the power-law exponent of the degree distribution, and δ max is the maximum degree. This bound is sublinear, improving the obvious worst-case linear bound. Although our analysis depends on the underlying geometry, the algorithm itself is oblivious to it.

Dynamics of hot random hyperbolic graphs.

We derive the most basic dynamical properties of random hyperbolic graphs (the distributions of contact and intercontact durations) in the hot regime (network temperature T>1). We show that for sufficiently large networks the contact distribution decays as a power law with exponent 2+T>3 for durations t>T, while for t<T it exhibits exponential-like decays. This result holds irrespective of the expected degree distribution, as long as it has a finite Tth moment. Otherwise, the contact distribution depends on the expected degree distribution and we show that if the latter is a power law with exponent γ∈(2,T+1], then the former decays as a power law with exponent γ+1>3. However, the intercontact distribution exhibits power-law decays with exponent 2-T∈(0,1) for T∈(1,2), while for T>2 it displays linear decays with a slope that depends on the observation interval. This result holds irrespective of the expected degree distribution as long as it has a finite Tth moment if T∈(1,2), or a finite second moment if T>2. Otherwise, the intercontact distribution depends on the expected degree distribution and if the latter is a power law with exponent γ∈(2,3), then the former decays as a power law with exponent 3-γ∈(0,1). Thus, hot random hyperbolic graphs can give rise to contact and intercontact distributions that both decay as power laws. These power laws, however, are unrealistic for the case of the intercontact distribution, as their exponent is always less than one. These results mean that hot random hyperbolic graphs are not adequate for modeling real temporal networks, in stark contrast to cold random hyperbolic graphs (T<1). Since the configuration model emerges at T→∞, these results also suggest that this is not an adequate null temporal network model.

Generalised popularity-similarity optimisation model for growing hyperbolic networks beyond two dimensions

Hyperbolic network models have gained considerable attention in recent years, mainly due to their capability of explaining many peculiar features of real-world networks. One of the most widely known models of this type is the popularity-similarity optimisation (PSO) model, working in the native disk representation of the two-dimensional hyperbolic space and generating networks with small-world property, scale-free degree distribution, high clustering and strong community structure at the same time. With the motivation of better understanding hyperbolic random graphs, we hereby introduce the dPSO model, a generalisation of the PSO model to any arbitrary integer dimension d>2. The analysis of the obtained networks shows that their major structural properties can be affected by the dimension of the underlying hyperbolic space in a non-trivial way. Our extended framework is not only interesting from a theoretical point of view but can also serve as a starting point for the generalisation of already existing two-dimensional hyperbolic embedding techniques.

Solving Vertex Cover in Polynomial Time on Hyperbolic Random Graphs

The computational complexity of the VertexCover problem has been studied extensively. Most notably, it is NP-complete to find an optimal solution and typically NP-hard to find an approximation with reasonable factors. In contrast, recent experiments suggest that on many real-world networks the run time to solve VertexCover is way smaller than even the best known FPT-approaches can explain. We link these observations to two properties that are observed in many real-world networks, namely a heterogeneous degree distribution and high clustering. To formalize these properties and explain the observed behavior, we analyze how a branch-and-reduce algorithm performs on hyperbolic random graphs, which have become increasingly popular for modeling real-world networks. In fact, we are able to show that the VertexCover problem on hyperbolic random graphs can be solved in polynomial time, with high probability. The proof relies on interesting structural properties of hyperbolic random graphs. Since these predictions of the model are interesting in their own right, we conducted experiments on real-world networks showing that these properties are also observed in practice.

Public goods games on random hyperbolic graphs with mixing

Understanding the evolution of cooperation in structured populations remains one of the fundamental challenges of the 21st century, with far-reaching implications for the wellbeing of modern human societies. Studies over the past two decades showed that the structure of the network of contacts plays a crucial role in determining whether cooperation prevails or not. An important step to more realistic networks was made with the shift from regular grids and lattices to complex social networks at the turn of the century. Real networks exhibit a high mean local clustering coefficient, short average path lengths, and community structure. Recent studies have revealed that random geometric graphs in hyperbolic spaces exhibit properties that are frequently found in real networks. We here study the public goods game on random geometric graphs in hyperbolic spaces, and we consider assortative and disassortative mixing with different frequencies. We show that in hyperbolic spaces heterogeneous networks promote the evolution of public cooperation in comparison to the more homogeneous networks. We also confirm that assortative and disassortative mixing on random hyperbolic networks both impair the evolutionary success of cooperators, regardless of the network architecture. The differences between the two mixing protocols are most expressed at low mixing frequencies, whilst at high mixing frequencies the two almost converge.

On the largest component of subcritical random hyperbolic graphs

We consider the random hyperbolic graph model introduced by [KPK+10] and then formalized by [GPP12]. We show that, in the subcritical case α>1, the size of the largest component is asymptotically almost surely n1∕(2α)+o(1), thus strengthening a result of [BFM15] which gave only an upper bound of n1∕α+o(1).

The contact process on random hyperbolic graphs: Metastability and critical exponents

We consider the contact process on the model of hyperbolic random graph, in the regime when the degree distribution obeys a power law with exponent χ∈(1,2) (so that the degree distribution has finite mean and infinite second moment). We show that the probability of nonextinction as the rate of infection goes to zero decays as a power law with an exponent that only depends on χ and which is the same as in the configuration model, suggesting some universality of this critical exponent. We also consider finite versions of the hyperbolic graph and prove metastability results, as the size of the graph goes to infinity.

Greed is Good for Deterministic Scale-Free Networks

Large real-world networks typically follow a power-law degree distribution. To study such networks, numerous random graph models have been proposed. However, real-world networks are not drawn at random. Therefore, Brach et al. (27th symposium on discrete algorithms (SODA), pp 1306–1325, 2016) introduced two natural deterministic conditions: (1) a power-law upper bound on the degree distribution (PLB-U) and (2) power-law neighborhoods, that is, the degree distribution of neighbors of each vertex is also upper bounded by a power law (PLB-N). They showed that many real-world networks satisfy both properties and exploit them to design faster algorithms for a number of classical graph problems. We complement their work by showing that some well-studied random graph models exhibit both of the mentioned PLB properties. PLB-U and PLB-N hold with high probability for Chung–Lu Random Graphs and Geometric Inhomogeneous Random Graphs and almost surely for Hyperbolic Random Graphs. As a consequence, all results of Brach et al. also hold with high probability or almost surely for those random graph classes. In the second part we study three classical textsf {NP}-hard optimization problems on PLB networks. It is known that on general graphs with maximum degree Delta, a greedy algorithm, which chooses nodes in the order of their degree, only achieves a Omega (ln Delta )-approximation for Minimum Vertex Cover and Minimum Dominating Set, and a Omega (Delta )-approximation for Maximum Independent Set. We prove that the PLB-U property with beta >2 suffices for the greedy approach to achieve a constant-factor approximation for all three problems. We also show that these problems are APX-hard even if PLB-U, PLB-N, and an additional power-law lower bound on the degree distribution hold. Hence, a PTAS cannot be expected unless P = NP. Furthermore, we prove that all three problems are in MAX SNP if the PLB-U property holds.