Given a set @math of @math points in the plane, we study the computation of the probability distribution function of both the area and perimeter of the convex hull of a random subset @math of @math . The random subset @math is formed by drawing each point @math of @math independently with a given rational probability @math . For both measures of the convex hull, we show that it is #P-hard to compute the probability that the measure is at least a given bound @math . For @math , we provide an algorithm that runs in @math time and returns a value that is between the probability that the area is at least @math , and the probability that the area is at least @math . For the perimeter, we show a similar algorithm running in @math time. Finally, given @math and for any measure, we show an @math -time Monte Carlo algorithm that returns a value that, with probability of success at least @math , differs at most @math from the probability that the measure is at least @math .
Stochastic finite point sets in the plane, as the one considered in this paper, appear in a natural manner in many database scenarios in which the gathered data has many false positives @cite_2 @cite_16 @cite_10 . This model of random points differs from the model in which @math points are chosen independently at random in some Euclidean region, and questions related to the final positions of the points are considered @cite_13 @cite_5 @cite_1 .
@cite_10 @cite_1 @cite_2 @cite_5 @cite_16 @cite_13
1825700702 1514180083 2116061856 2154085620
The binary symmetric stochastic block model deals with a random graph of @math vertices partitioned into two equal-sized clusters, such that each pair of vertices is connected independently with probability @math within clusters and @math across clusters. In the asymptotic regime of @math and @math for fixed @math and @math , we show that the semidefinite programming relaxation of the maximum likelihood estimator achieves the optimal threshold for exactly recovering the partition from the graph with probability tending to one, resolving a conjecture of Abbe14 . Furthermore, we show that the semidefinite programming relaxation also achieves the optimal recovery threshold in the planted dense subgraph model containing a single cluster of size proportional to @math . We consider the stochastic geometry model where the location of each node is a random point in a given metric space, or the existence of each node is uncertain. We study the problems of computing the expected lengths of several combinatorial or geometric optimization problems over stochastic points, including closest pair, minimum spanning tree, (k )-clustering, minimum perfect matching, and minimum cycle cover. We also consider the problem of estimating the probability that the length of closest pair, or the diameter, is at most, or at least, a given threshold. Most of the above problems are known to be ( # P )-hard. We obtain FPRAS (Fully Polynomial Randomized Approximation Scheme) for most of them in both the existential and locational uncertainty models. Our result for stochastic minimum spanning trees in the locational uncertain model improves upon the previously known constant factor approximation algorithm. Our results for other problems are the first known to the best of our knowledge. We develop an information-theoretic view of the stochastic block model, a popular statistical model for the large-scale structure of complex networks. A graph @math from such a model is generated by first assigning vertex labels at random from a finite alphabet, and then connecting vertices with edge probabilities depending on the labels of the endpoints. In the case of the symmetric two-group model, we establish an explicit single-letter' characterization of the per-vertex mutual information between the vertex labels and the graph. The explicit expression of the mutual information is intimately related to estimation-theoretic quantities, and --in particular-- reveals a phase transition at the critical point for community detection. Below the critical point the per-vertex mutual information is asymptotically the same as if edges were independent. Correspondingly, no algorithm can estimate the partition better than random guessing. Conversely, above the threshold, the per-vertex mutual information is strictly smaller than the independent-edges upper bound. In this regime there exists a procedure that estimates the vertex labels better than random guessing. This paper deals with a new class of random flights in ℝ d , d≥2, characterized by non-uniform probability distributions on the multidimensional sphere. These random motions differ from similar models appeared in literature where the directions are taken according to the uniform law. The family of angular probability distributions introduced in this paper depends on a parameter ν≥0, which gives the anisotropy of the motion. Furthermore, we assume that the number of changes of direction performed by the random flight is fixed. The time lengths between two consecutive changes of orientation have joint probability distribution given by a Dirichlet density function.