Showing 1–12 of 12 results for author: Krioukov, D

Ensemble inequivalence and phase transitions in unlabeled networks

Authors: Oleg Evnin, Dmitri Krioukov

Abstract: We discover a first-order phase transition in the canonical ensemble of random unlabeled networks with a prescribed average number of links. The transition is caused by the nonconcavity of microcanonical entropy. Above the critical point coinciding with the graph symmetry phase transition, the canonical and microcanonical ensembles are equivalent and have a well-behaved thermodynamic limit. Below… ▽ More We discover a first-order phase transition in the canonical ensemble of random unlabeled networks with a prescribed average number of links. The transition is caused by the nonconcavity of microcanonical entropy. Above the critical point coinciding with the graph symmetry phase transition, the canonical and microcanonical ensembles are equivalent and have a well-behaved thermodynamic limit. Below the critical point, the ensemble equivalence is broken, and the canonical ensemble is a mixture of phases: empty networks and networks with average degrees diverging logarithmically with the network size. As a consequence, networks with bounded average degrees do not survive in the thermodynamic limit, decaying into the empty phase. The celebrated percolation transition in labeled networks is thus absent in unlabeled networks. In view of these differences between labeled and unlabeled ensembles, the question of which one should be used as a null model of different real-world networks cannot be ignored. △ Less

Submitted 8 May, 2025; v1 submitted 4 November, 2024; originally announced November 2024.

Comments: v2: version accepted for publication

Journal ref: Phys. Rev. Lett. 134 (2025) 207401

Computing distances on Riemann surfaces

Authors: Huck Stepanyants, Alan Beardon, Jeremy Paton, Dmitri Krioukov

Abstract: Riemann surfaces are among the simplest and most basic geometric objects. They appear as key players in many branches of physics, mathematics, and other sciences. Despite their widespread significance, how to compute distances between pairs of points on compact Riemann surfaces is surprisingly unknown, unless the surface is a sphere or a torus. This is because on higher-genus surfaces, the distanc… ▽ More Riemann surfaces are among the simplest and most basic geometric objects. They appear as key players in many branches of physics, mathematics, and other sciences. Despite their widespread significance, how to compute distances between pairs of points on compact Riemann surfaces is surprisingly unknown, unless the surface is a sphere or a torus. This is because on higher-genus surfaces, the distance formula involves an infimum over infinitely many terms, so it cannot be evaluated in practice. Here we derive a computable distance formula for a broad class of Riemann surfaces. The formula reduces the infimum to a minimum over an explicit set consisting of finitely many terms. We also develop a distance computation algorithm, which cannot be expressed as a formula, but which is more computationally efficient on surfaces with high genuses. We illustrate both the formula and the algorithm in application to generalized Bolza surfaces, which are a particular class of highly symmetric compact Riemann surfaces of any genus greater than 1. △ Less

Submitted 9 August, 2024; v1 submitted 29 April, 2024; originally announced April 2024.

Journal ref: Journal of Physics A 57, 345201 (2024)

Nearest-neighbour directed random hyperbolic graphs

Authors: I. A. Kasyanov, P. van der Hoorn, D. Krioukov, M. V. Tamm

Abstract: 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 neighbours. We introduce also a canonical version of this network (which we call "network wi… ▽ More 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 neighbours. 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 spatial 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. △ Less

Submitted 26 November, 2023; v1 submitted 2 March, 2023; originally announced March 2023.

Comments: 26 papers, 12 figures

Journal ref: Phys.Rev. E 108, 054310 (2023)

Diameter of Compact Riemann Surfaces

Authors: Huck Stepanyants, Alan Beardon, Jeremy Paton, Dmitri Krioukov

Abstract: Diameter is one of the most basic properties of a geometric object, while Riemann surfaces are one of the most basic geometric objects. Surprisingly, the diameter of compact Riemann surfaces is known exactly only for the sphere and the torus. For higher genuses, only very general but loose upper and lower bounds are available. The problem of calculating the diameter exactly has been intractable si… ▽ More Diameter is one of the most basic properties of a geometric object, while Riemann surfaces are one of the most basic geometric objects. Surprisingly, the diameter of compact Riemann surfaces is known exactly only for the sphere and the torus. For higher genuses, only very general but loose upper and lower bounds are available. The problem of calculating the diameter exactly has been intractable since there is no simple expression for the distance between a pair of points on a high-genus surface. Here we prove that the diameters of a class of simple Riemann surfaces known as generalized Bolza surfaces of any genus greater than $1$ are equal to the radii of their fundamental polygons. This is the first exact result for the diameter of a compact hyperbolic manifold. △ Less

Submitted 3 July, 2024; v1 submitted 25 January, 2023; originally announced January 2023.

MSC Class: 53C22; 30F10

Journal ref: Computational Methods and Function Theory, 2024

Entropy of labeled versus unlabeled networks

Authors: Jeremy Paton, Harrison Hartle, Huck Stepanyants, Pim van der Hoorn, Dmitri Krioukov

Abstract: The structure of a network is an unlabeled graph, yet graphs in most models of complex networks are labeled by meaningless random integers. Is the associated labeling noise always negligible, or can it overpower the network-structural signal? To address this question, we introduce and consider the sparse unlabeled versions of popular network models, and compare their entropy against the original l… ▽ More The structure of a network is an unlabeled graph, yet graphs in most models of complex networks are labeled by meaningless random integers. Is the associated labeling noise always negligible, or can it overpower the network-structural signal? To address this question, we introduce and consider the sparse unlabeled versions of popular network models, and compare their entropy against the original labeled versions. We show that labeled and unlabeled Erdos-Renyi graphs are entropically equivalent, even though their degree distributions are very different. The labeled and unlabeled versions of the configuration model may have different prefactors in their leading entropy terms, although this remains conjectural. Our main results are upper and lower bounds for the entropy of labeled and unlabeled one-dimensional random geometric graphs. We show that their unlabeled entropy is negligible in comparison with the labeled entropy. This means that in sparse networks the entropy of meaningless labeling may dominate the entropy of the network structure. The main implication of this result is that the common practice of using exchangeable models to reason about real-world networks with distinguishable nodes may introduce uncontrolled aberrations into conclusions made about these networks, suggesting a need for a thorough reexamination of the statistical foundations and key results of network science. △ Less

Submitted 18 November, 2022; v1 submitted 18 April, 2022; originally announced April 2022.

Journal ref: Phys. Rev. E 106, 054308 (2022)

Random Simplicial Complexes: Models and Phenomena

Authors: Omer Bobrowski, Dmitri Krioukov

Abstract: We review a collection of models of random simplicial complexes together with some of the most exciting phenomena related to them. We do not attempt to cover all existing models, but try to focus on those for which many important results have been recently established rigorously in mathematics, especially in the context of algebraic topology. In application to real-world systems, the reviewed mode… ▽ More We review a collection of models of random simplicial complexes together with some of the most exciting phenomena related to them. We do not attempt to cover all existing models, but try to focus on those for which many important results have been recently established rigorously in mathematics, especially in the context of algebraic topology. In application to real-world systems, the reviewed models are typically used as null models, so that we take a statistical stance, emphasizing, where applicable, the entropic properties of the reviewed models. We also review a collection of phenomena and features observed in these models, and split the presented results into two classes: phase transitions and distributional limits. We conclude with an outline of interesting future research directions. △ Less

Submitted 2 May, 2022; v1 submitted 26 May, 2021; originally announced May 2021.

Journal ref: Higher-Order Systems (F. Battiston and G. Petri (edt.)), Chapter 2, Springer International Publishing, Cham, Switzerland, 2022

Ollivier curvature of random geometric graphs converges to Ricci curvature of their Riemannian manifolds

Authors: Pim van der Hoorn, Gabor Lippner, Carlo Trugenberger, Dmitri Krioukov

Abstract: Curvature is a fundamental geometric characteristic of smooth spaces. In recent years different notions of curvature have been developed for combinatorial discrete objects such as graphs. However, the connections between such discrete notions of curvature and their smooth counterparts remain lurking and moot. In particular, it is not rigorously known if any notion of graph curvature converges to a… ▽ More Curvature is a fundamental geometric characteristic of smooth spaces. In recent years different notions of curvature have been developed for combinatorial discrete objects such as graphs. However, the connections between such discrete notions of curvature and their smooth counterparts remain lurking and moot. In particular, it is not rigorously known if any notion of graph curvature converges to any traditional notion of curvature of smooth space. Here we prove that in proper settings the Ollivier-Ricci curvature of random geometric graphs in Riemannian manifolds converges to the Ricci curvature of the manifold. This is the first rigorous result linking curvature of random graphs to curvature of smooth spaces. Our results hold for different notions of graph distances, including the rescaled shortest path distance, and for different graph densities. With the scaling of the average degree, as a function of the graph size, ranging from nearly logarithmic to nearly linear. △ Less

Submitted 10 September, 2020; v1 submitted 9 September, 2020; originally announced September 2020.

MSC Class: 60D05 (primary); 05C80 (secondary)

Journal ref: Discrete & Computational Geometry, v.70(3), p.671-712 , 2023

Ollivier-Ricci curvature convergence in random geometric graphs

Authors: Pim van der Hoorn, William J. Cunningham, Gabor Lippner, Carlo Trugenberger, Dmitri Krioukov

Abstract: Connections between continuous and discrete worlds tend to be elusive. One example is curvature. Even though there exist numerous nonequivalent definitions of graph curvature, none is known to converge in any limit to any traditional definition of curvature of a Riemannian manifold. Here we show that Ollivier curvature of random geometric graphs in any Riemannian manifold converges in the continuu… ▽ More Connections between continuous and discrete worlds tend to be elusive. One example is curvature. Even though there exist numerous nonequivalent definitions of graph curvature, none is known to converge in any limit to any traditional definition of curvature of a Riemannian manifold. Here we show that Ollivier curvature of random geometric graphs in any Riemannian manifold converges in the continuum limit to Ricci curvature of the underlying manifold, but only if the definition of Ollivier graph curvature is properly generalized to apply to mesoscopic graph neighborhoods. This result establishes the first rigorous link between a definition of curvature applicable to networks and a traditional definition of curvature of smooth spaces. △ Less

Submitted 9 March, 2021; v1 submitted 3 August, 2020; originally announced August 2020.

Journal ref: Phys. Rev. Research 3, 013211 (2021)

Causal Set Generator and Action Computer

Authors: William J. Cunningham, Dmitri Krioukov

Abstract: The causal set approach to quantum gravity has gained traction over the past three decades, but numerical experiments involving causal sets have been limited to relatively small scales. The software suite presented here provides a new framework for the generation and study of causal sets. Its efficiency surpasses previous implementations by several orders of magnitude. We highlight several importa… ▽ More The causal set approach to quantum gravity has gained traction over the past three decades, but numerical experiments involving causal sets have been limited to relatively small scales. The software suite presented here provides a new framework for the generation and study of causal sets. Its efficiency surpasses previous implementations by several orders of magnitude. We highlight several important features of the code, including the compact data structures, the $O(N^2)$ causal set generation process, and several implementations of the $O(N^3)$ algorithm to compute the Benincasa-Dowker action of compact regions of spacetime. We show that by tailoring the data structures and algorithms to take advantage of low-level CPU and GPU architecture designs, we are able to increase the efficiency and reduce the amount of required memory significantly. The presented algorithms and their implementations rely on methods that use CUDA, OpenMP, x86 Assembly, SSE/AVX, Pthreads, and MPI. We also analyze the scaling of the algorithms' running times with respect to the problem size and available resources, with suggestions on how to modify the code for future hardware architectures. △ Less

Submitted 13 September, 2018; v1 submitted 9 September, 2017; originally announced September 2017.

Comments: 14 pages, 6 figures. Code may be downloaded at <https://bitbucket.org/dk-lab/causalsetgenerator>

Journal ref: Comput. Phys. Commun. 233, 123 (2018)

Sparse Maximum-Entropy Random Graphs with a Given Power-Law Degree Distribution

Authors: Pim van der Hoorn, Gabor Lippner, Dmitri Krioukov

Abstract: Even though power-law or close-to-power-law degree distributions are ubiquitously observed in a great variety of large real networks, the mathematically satisfactory treatment of random power-law graphs satisfying basic statistical requirements of realism is still lacking. These requirements are: sparsity, exchangeability, projectivity, and unbiasedness. The last requirement states that entropy of… ▽ More Even though power-law or close-to-power-law degree distributions are ubiquitously observed in a great variety of large real networks, the mathematically satisfactory treatment of random power-law graphs satisfying basic statistical requirements of realism is still lacking. These requirements are: sparsity, exchangeability, projectivity, and unbiasedness. The last requirement states that entropy of the graph ensemble must be maximized under the degree distribution constraints. Here we prove that the hypersoft configuration model (HSCM), belonging to the class of random graphs with latent hyperparameters, also known as inhomogeneous random graphs or $W$-random graphs, is an ensemble of random power-law graphs that are sparse, unbiased, and either exchangeable or projective. The proof of their unbiasedness relies on generalized graphons, and on mapping the problem of maximization of the normalized Gibbs entropy of a random graph ensemble, to the graphon entropy maximization problem, showing that the two entropies converge to each other in the large-graph limit. △ Less

Submitted 10 October, 2017; v1 submitted 29 May, 2017; originally announced May 2017.

MSC Class: 05C80 (Primary) 05C82; 54C70 (Secondary)

Journal ref: Journal of Statistical Physics, v.173(3), p.806-844, 2018

Clustering implies geometry in networks

Authors: Dmitri Krioukov

Abstract: Network models with latent geometry have been used successfully in many applications in network science and other disciplines, yet it is usually impossible to tell if a given real network is geometric, meaning if it is a typical element in an ensemble of random geometric graphs. Here we identify structural properties of networks that guarantee that random graphs having these properties are geometr… ▽ More Network models with latent geometry have been used successfully in many applications in network science and other disciplines, yet it is usually impossible to tell if a given real network is geometric, meaning if it is a typical element in an ensemble of random geometric graphs. Here we identify structural properties of networks that guarantee that random graphs having these properties are geometric. Specifically we show that random graphs in which expected degree and clustering of every node are fixed to some constants are equivalent to random geometric graphs on the real line, if clustering is sufficiently strong. Large numbers of triangles, homogeneously distributed across all nodes as in real networks, are thus a consequence of network geometricity. The methods we use to prove this are quite general and applicable to other network ensembles, geometric or not, and to certain problems in quantum gravity. △ Less

Submitted 19 May, 2016; v1 submitted 6 April, 2016; originally announced April 2016.

Journal ref: Phys. Rev. Lett. 116, 208302 (2016)

Exponential Random Simplicial Complexes

Authors: Konstantin Zuev, Or Eisenberg, Dmitri Krioukov

Abstract: Exponential random graph models have attracted significant research attention over the past decades. These models are maximum-entropy ensembles under the constraints that the expected values of a set of graph observables are equal to given values. Here we extend these maximum-entropy ensembles to random simplicial complexes, which are more adequate and versatile constructions to model complex syst… ▽ More Exponential random graph models have attracted significant research attention over the past decades. These models are maximum-entropy ensembles under the constraints that the expected values of a set of graph observables are equal to given values. Here we extend these maximum-entropy ensembles to random simplicial complexes, which are more adequate and versatile constructions to model complex systems in many applications. We show that many random simplicial complex models considered in the literature can be casted as maximum-entropy ensembles under certain constraints. We introduce and analyze the most general random simplicial complex ensemble $\mathbfΔ$ with statistically independent simplices. Our analysis is simplified by the observation that any distribution $\mathbb{P}(O)$ on any collection of objects $\mathcal{O}=\{O\}$, including graphs and simplicial complexes, is maximum-entropy under the constraint that the expected value of $-\ln \mathbb{P}(O)$ is equal to the entropy of the distribution. With the help of this observation, we prove that ensemble $\mathbfΔ$ is maximum-entropy under two types of constraints that fix the expected numbers of simplices and their boundaries. △ Less

Submitted 29 October, 2015; v1 submitted 17 February, 2015; originally announced February 2015.

Comments: 22 pages, 6 figures

Journal ref: J. Phys. A: Math. Theor. 48 465002 (2015)