Presented in this paper is a sweepline algorithm to compute the Voronoi diagram of a set of circles in a two-dimensional Euclidean space. The radii of the circles are non-negative and not necessarily equal. It is allowed that circles intersect each other, and a circle contains others. The proposed algorithm constructs the correct Voronoi diagram as a sweepline moves on the plane from top to bottom. While moving on the plane, the sweepline stops only at certain event points where the topology changes occur for the Voronoi diagram being constructed. The worst-case time complexity of the proposed algorithm is $O((n+m)log n)$, where $n$ is the number of input circles, and $m$ is the number of intersection points among circles. As $m$ can be $O(n^22)$, the presented algorithm is optimal with $O(n^2 log n) $ worst-case time complexity.

No abstract uploaded!

We give interior estimates for first derivatives of solutions to a type of complex Monge-Ampère equations in convex domains. We also show global estimates for first derivatives of solutions in arbitrary domains. These global estimates are then used to show interior regularity of solutions to the complex Monge-Ampère equations in hyperconvex domains having a bounded exhaustion function which is globally Lipschitz. Finally we give examples of domains which have such an exhaustion function and domains which do not.

Strong compactness results for families of functions in seminormed nonnegative cones in the spirit of the Aubin-Lions-Dubinski\u{\i} lemma are proven, refining some recent results in the literature. The first theorem sharpens slightly a result of Dubinski\u{\i} (1965) for seminormed cones. The second theorem applies to piecewise constant functions in time and sharpens slightly the results of Dreher and J\"ungel (2012) and Chen and Liu (2012). An application is given, which is useful in the study of porous-medium or fast-diffusion type equations.

Let<i>M</i> be a space-time whose local mass density is non-negative everywhere. Then we prove that the total mass of<i>M</i> as viewed from spatial infinity (the ADM mass) must be positive unless<i>M</i> is the flat Minkowski space-time. (So far we are making the reasonable assumption of the existence of a maximal spacelike hypersurface. We will treat this topic separately.) We can generalize our result to admit wormholes in the initial-data set. In fact, we show that the total mass associated with each asymptotic regime is non-negative with equality only if the space-time is flat.