An integer linear program for mixed-weight open locating-dominating sets

Random graphs with latent geometric structure are popular models of social and biological networks, with applications ranging from network user profiling to circuit design. These graphs are also of purely theoretical interest within computer science, probability and statistics. A fundamental initial question regarding these models is: when are these random graphs affected by their latent geometry and when are they indistinguishable from simpler models without latent structure, such as the Erdős–Rényi graph $${\mathcal {G}}(n, p)$$ ? We address this question for two of the most well-studied models of random graphs with latent geometry—the random intersection and random geometric graph. Our results are as follows: (a) The random intersection graph is defined by sampling n random sets $$S_1, S_2, \ldots , S_n$$ by including each element of a set of size d in each $$S_i$$ independently with probability $$\delta $$ , and including the edge $$\{i, j\}$$ if $$S_i \cap S_j \ne \emptyset $$ . We prove that the random intersection graph converges in total variation to an Erdős–Rényi graph if $$d = {\tilde{\omega }}(n^3)$$ , and does not if $$d = o(n^3)$$ , for both dense and sparse edge densities p. This resolves an open problem in Fill et al. (Random Struct Algorithms 16(2):156–176, 2000), Rybarczyk (Random Struct Algorithms 38(1–2):205–234, 2011) and Kim et al. (Random Struct Algorithms 52(4):662–679, 2018). The same result was obtained simultaneously and independently by Bubeck et al. (When random intersection graphs lose geometry. Manuscript, 2019). (b) We strengthen the preceding argument to show that the matrix of random intersection sizes $$|S_i \cap S_j|$$ converges in total variation to a symmetric matrix with independent Poisson entries. This yields the first total variation convergence result for $$\tau $$ -random intersection graphs, where the edge $$\{i, j\}$$ is included if $$|S_i \cap S_j| \ge \tau $$ . More precisely, our results imply that, if p is bounded away from 1, then the $$\tau $$ -random intersection graph with edge density p converges to $${\mathcal {G}}(n, p)$$ if $$d = \omega (\tau ^3 n^3)$$ . (c) The random geometric graph on $${\mathbb {S}}^{d - 1}$$ is defined by sampling $$X_1, X_2, \dots , X_n$$ uniformly at random from $${\mathbb {S}}^{d - 1}$$ and including the edge $$\{i, j\}$$ if $$\Vert X_i - X_j \Vert _2 \le \tau $$ . A result of Bubeck et al. (Random Struct Algorithms 49:503–532, 2016) showed that this model converges to $${\mathcal {G}}(n, p)$$ in total variation, where p is chosen so that the models have matching edge densities, as long as $$d = \omega (n^3)$$ . It was conjectured in Bubeck et al. (2016) that this threshold decreases drastically for p small. We make the first progress towards this conjecture by showing convergence if $$d = {\tilde{\omega }}\left( \min \{ pn^3, p^2 n^{7/2} \} \right) $$ . Our proofs are a hybrid of combinatorial arguments, direct couplings and applications of information inequalities. Previous upper bounds on the total variation distance between random graphs with latent geometry and $${\mathcal {G}}(n, p)$$ have typically not been both combinatorial and information-theoretic, while this interplay is essential to the sharpness of our bounds.

Graph rigidity provides the conditions of unique localizability for cooperative localization of wireless ad hoc and sensor networks. Specifically, redundant rigidity and 3-connectivity are necessary and sufficient conditions for unique localizability of generic configurations. In this article, we introduce a graph invariant for 3-connectivity, called 3-connectivity index. Using this index along with the rigidity and redundancy indices provided in previous work, we explore the rigidity and connectivity properties of two classes of graphs, namely, random geometric graphs and clustered graphs. We have found out that, in random geometric graphs and clustered graphs, it needs significantly less effort to achieve 3-connectivity once we obtain redundant rigidity. In reconsidering the general conditions for unique localizability, the most striking finding in random geometric graphs is that it is unlikely to observe a graph, in which 3-connectivity is satisfied before the graph becomes redundantly rigid. Therefore, in random geometric graphs, it is more likely sufficient to test only 3-connectivity for unique localizability. On the contrary to random geometric graphs, our findings indicate that 3-connectivity may be satisfied before the graph becomes redundantly rigid in clustered graphs, which means that, in clustered graphs, we have to test both redundant rigidity and 3-connectivity for unique localizability.

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.

We consider Euclidean first passage percolation on a large family of connected random geometric graphs in the d-dimensional Euclidean space encompassing various well-known models from stochastic geometry. In particular, we establish a strong linear growth property for shortest-path lengths on random geometric graphs which are generated by point processes. We consider the event that the growth of shortest-path lengths between two (end) points of the path does not admit a linear upper bound. Our linear growth property implies that the probability of this event tends to zero sub-exponentially fast if the direct (Euclidean) distance between the endpoints tends to infinity. Besides, for a wide class of stationary and isotropic random geometric graphs, our linear growth property implies a shape theorem for the Euclidean first passage model defined by such random geometric graphs. Finally, this shape theorem can be used to investigate a problem which is considered in structural analysis of fixed-access telecommunication networks, where we determine the limiting distribution of the length of the longest branch in the shortest-path tree extracted from a typical segment system if the intensity of network stations converges to 0.

Random geometric graphs are good examples of random graphs with a tendency to demonstrate community structure. Vertices of such a graph are represented by points in Euclid space $R^d$ , and edge appearance depends on the distance between the points. Random geometric graphs were extensively explored and many of their basic properties are revealed. However, in the case of growing dimension $d → ∞$ practically nothing is known; this regime corresponds to the case of data with many features, a case commonly appearing in practice. In this paper, we focus on the cliques of these graphs in the situation when average vertex degree grows significantly slower than the number of vertices n with $n → ∞$ and $d → ∞$. We show that under these conditions random geometric graphs do not contain cliques of size 4 a.s. As for the size 3, we will present new bounds on the expected number of triangles in the case $log^2(n) << d << log^3(n)$ that improve previously known results.

In this article we study the one‐dimensional random geometric (random interval) graph when the location of the nodes are independent and exponentially distributed. We derive exact results and limit theorems for the connectivity and other properties associated with this random graph. We show that the asymptotic properties of a graph with a truncated exponential distribution can be obtained using the exponential random geometric graph. © 2007 Wiley Periodicals, Inc. Random Struct. Alg., 2008

The delay experienced by a probe due to interactions with a scattering media is highly related to the internal dynamics inside that media. This property is well captured by the Wigner delay time and the resonance widths. By the use of the equivalence between the adjacency matrix of a random graph and the tight-binding Hamiltonian of the corresponding electronic media, the scattering matrix approach to electronic transport is used to compute Wigner delay times and resonance widths of Erdős-Rényi graphs and random geometric graphs, including bipartite random geometric graphs. In particular, the situation when a single-channel lead attached to the graphs is considered. Our results show a smooth crossover towards universality as the graphs become complete. We also introduce a parameter ξ, depending on the graph average degree 〈k〉 and graph size N, that scales the distributions of both Wigner delay times and resonance widths, highlighting the universal character of both distributions. Specifically, ξ=〈k〉N^{-α} where α is graph-model dependent.

The subject of this workshop were probabilistic aspects of algorithms for fundamental problems such as sorting, searching, selecting of and within data, random permutations, algorithms based on combinatorial trees or search trees, continuous limits of random trees and random graphs as well as random geometric graphs. The deeper understanding of the complexity of such algorithms and of shape characteristics of large discrete structures require probabilistic models and an asymptotic analysis of random discrete structures. The talks of this workshop focused on probabilistic, combinatorial and analytic techniques to study asymptotic properties of large random combinatorial structures.

Gossip algorithms have recently received significant attention, mainly because they constitute simple and robust message-passing schemes for distributed information processing over networks. However, for many topologies that are realistic for wireless ad-hoc and sensor networks (like grids and random geometric graphs), the standard nearest-neighbor gossip converges as slowly as flooding (O(n <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sup> ) messages). A recently proposed algorithm called geographic gossip improves gossip efficiency by a √n factor, by exploiting geographic information to enable multihop long-distance communications. This paper proves that a variation of geographic gossip that averages along routed paths, improves efficiency by an additional √n factor, and is order optimal (O(n) messages) for grids and random geometric graphs with high probability. We develop a general technique (travel agency method) based on Markov chain mixing time inequalities which can give bounds on the performance of randomized message-passing algorithms operating over various graph topologies.

Percolation theory has become a useful tool for the analysis of large-scale wireless networks. We investigate the fundamental problem of characterizing the critical density lambdac <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">(d)</sup> for d-dimensional Poisson random geometric graphs in continuum percolation theory. By using a probabilistic analysis which incorporates the clustering effect in random geometric graphs, we develop a new class of analytical lower bounds for the critical density lambdac <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">(d)</sup> . These analytical lower bounds are the tightest known to date, and reveal a deep underlying relationship between clustering effects and percolation phenomena.

In this article, we analyze the limiting eigenvalue distribution (LED) of random geometric graphs (RGGs). The RGG is constructed by uniformly distributing $n$ nodes on the $d$-dimensional torus $\mathbb{T}^d \equiv [0, 1]^d$ and connecting two nodes if their $\ell_{p}$-distance, $p \in [1, \infty]$ is at most $r_{n}$. In particular, we study the LED of the adjacency matrix of RGGs in the connectivity regime, in which the average vertex degree scales as $\log\left( n\right)$ or faster, i.e., $Ω\left(\log(n) \right)$. In the connectivity regime and under some conditions on the radius $r_{n}$, we show that the LED of the adjacency matrix of RGGs converges to the LED of the adjacency matrix of a deterministic geometric graph (DGG) with nodes in a grid as $n$ goes to infinity. Then, for $n$ finite, we use the structure of the DGG to approximate the eigenvalues of the adjacency matrix of the RGG and provide an upper bound for the approximation error.

Gossip algorithm has been widely regarded as a simple and efficient method to improve quality of service (QoS) in large-scale network which requires rapid information dissemination. In this paper, information dissemination based on algebraic gossip in a random geometric graph (RGG) is considered. The n nodes only have knowledge about their own contents. In every time slot, each node communicates with a neighbor partner chosen randomly. The goal is to disseminate all of the messages rapidly among the nodes. We show that the gain of the convergence time is [Formula: see text] with network coding. Simulation results show that these bounds are valid for the random geometric graph and demonstrate that network coding significantly improves the bounds with the number of users increasing.

We consider the standard random geometric graph process in which n vertices are placed at random on the unit square and edges are sequentially added in increasing order of edge-length. For fixed k⩾1, weprove that the first edge in the process that creates a k-connected graph coincides a.a.s. with the first edge that causes the graph to contain k/2 pairwise edge-disjoint Hamilton cycles (for even k), or (k−1)/2 Hamilton cycles plus one perfect matching, all of them pairwise edge-disjoint (for odd k). This proves and extends a conjecture of Krivelevich and M **image**ler. In the special case when k = 2, our result says that the first edge that makes the random geometric graph Hamiltonian is a.a.s. exactly the same one that gives 2-connectivity, which answers a question of Penrose. (This result appeared in three independent preprints, one of which was a precursor to this article.) We prove our results with lengths measured using the lp norm for any p>1, and we also extend our result to higher dimensions. © 2011 Wiley Periodicals, Inc. J Graph Theory 68:299-322, 2011 © 2011 Wiley Periodicals, Inc.

In this paper, we investigate the role of power allocation in wireless ad hoc networks. First, by modeling the network with a random geometric graph, we propose a two-level power allocation scheme with the total power constraint which expands the min-cut of the underlying random geometric graph. Then, based on available information theoretic upper bounds on transport capacity of wireless networks, we find a new power allocation which improves such bound. As will be shown, the new bound is computed based on the largest eigenvalue of a structural matrix which depends on the random location of the nodes. Finally, it will be shown that both approaches (random geometric graph min-cut analysis and the information theoretic upper bound framework) reveal that it is a fundamental network design guideline that more power should be allocated to central nodes of the network.

We define quasirandom geometric networks using low-discrepancy sequences, such as Halton, Sobol, and Niederreiter. The networks are built in d dimensions by considering the d-tuples of digits generated by these sequences as the coordinates of the vertices of the networks in a d-dimensional I^{d} unit hypercube. Then, two vertices are connected by an edge if they are at a distance smaller than a connection radius. We investigate computationally 11 network-theoretic properties of two-dimensional quasirandom networks and compare them with analogous random geometric networks. We also study their degree distribution and their spectral density distributions. We conclude from this intensive computational study that in terms of the uniformity of the distribution of the vertices in the unit square, the quasirandom networks look more random than the random geometric networks. We include an analysis of potential strategies for generating higher-dimensional quasirandom networks, where it is know that some of the low-discrepancy sequences are highly correlated. In this respect, we conclude that up to dimension 20, the use of scrambling, skipping and leaping strategies generate quasirandom networks with the desired properties of uniformity. Finally, we consider a diffusive process taking place on the nodes and edges of the quasirandom and random geometric graphs. We show that the diffusion time is shorter in the quasirandom graphs as a consequence of their larger structural homogeneity. In the random geometric graphs the diffusion produces clusters of concentration that make the process more slow. Such clusters are a direct consequence of the heterogeneous and irregular distribution of the nodes in the unit square in which the generation of random geometric graphs is based on.