Positive energy theorem for (4+1)-dimensional asymptotically anti-de Sitter spacetimes

We define the total energy-momenta for(4+1)-dimensional asymptotically anti-de Sitter spacetimes,which comes from the boundary terms at infinity in the integral form of the Weitzenbck formula.Then we prove the positive energy theorem for such spacetimes,following Witten’s original argumentsfor the positive energy theorem in asymptotically flat spacetimes.     

Positive mass theorems for high-dimensional spacetimes with black holes

We give a rigorous proof of the positive mass theorem for high-dimensional spacetimes with black holes if the spacetime contains an asymptotically flat spacelike spin hypersurface and satisfies the dominant energy condition along the hypersurface. We also weaken the spin structure on the spacelike hypersurface to spinc structure and give a modified positive mass theorem for spacetimes with black holes in dimensions 4, 5 and 6.     

Achronal Limits,Lorentzian Spheres,and Splitting

In the early 1980s Yau posed the problem of establishing the rigidity of the Hawking–Penrose singularity theorems. Approaches to this problem have involved the introduction of Lorentzian Busemann functions and the study of the geometry of their level sets—the horospheres. The regularity theory in the Lorentzian case is considerably more complicated and less complete than in the Riemannian case. In this paper, we introduce a broad generalization of the notion of horosphere in Lorentzian geometry and take a completely different (and highly geometric) approach to regularity. These generalized horospheres are defined in terms of achronal limits, and the improved regularity we obtain is based on regularity properties of achronal boundaries. We establish a splitting result for generalized horospheres, which when specialized to Cauchy horospheres yields new results on the Bartnik splitting conjecture, a concrete realization of the problem posed by Yau. Our methods are also applied to spacetimes with positive cosmological constant. We obtain a rigid singularity result for future asymptotically de Sitter spacetimes related to results in Andersson and Galloway (Adv Theor Math Phys 6:307–327, 2002), and Cai and Galloway (Adv Theor Math Phys 3:1769–1783, 2000).     

Existence of Constant Mean Curvature Hypersurfaces in Asymptotically Flat Spacetimes

The problem of existence of spacelike hypersurfaces with constant mean curvature in asymptotically flat spacetimes is considered for a class of asymptotically Schwarzschild spacetimes satisfying an interior condition. Using a barrier construction, a proof is given of the existence of complete hypersurfaces with constant mean cuvature which intersect null infinity in a regular cut.     

A cone programming approach to the bilinear matrix inequality problem and its geometry

We discuss an approach for solving the Bilinear Matrix Inequality (BMI) based on its connections with certain problems defined over matrix cones. These problems are, among others, the cone generalization of the linear programming (LP) and the linear complementarity problem (LCP) (referred to as the Cone-LP and the Cone-LCP, respectively). Specifically, we show that solving a given BMI is equivalent to examining the solution set of a suitably constructed Cone-LP or Cone-LCP. This approach facilitates our understanding of the geometry of the BMI and opens up new avenues for the development of the computational procedures for its solution. Research supported in part by the National Science Foundation under Grant CCR-9222734.     

Computing Asymptotic Invariants with the Ricci Tensor on Asymptotically Flat and Asymptotically Hyperbolic Manifolds

We prove in a simple and coordinate-free way the equivalence between the classical definitions of the mass or of the center of mass of an asymptotically flat manifold and their alternative definitions depending on the Ricci tensor and conformal Killing fields. This enables us to prove an analogous statement in the asymptotically hyperbolic case.     

Time Flat Surfaces and the Monotonicity of the Spacetime Hawking Mass II

In this sequel paper, we give a shorter, second proof of the monotonicity of the Hawking mass for time flat surfaces under spacelike uniformly area expanding flows in spacetimes that satisfy the dominant energy condition. We also include a third proof which builds on a known formula and describe a class of sufficient conditions of divergence type for the monotonicity of the Hawking mass. These flows of surfaces may have connections to the problem in general relativity of bounding the total mass of a spacetime from below by the quasi-local mass of spacelike 2-surfaces in the spacetime.     

Limiting results for multiprocessor systems with breakdowns and repairs

An M/M/N queue, where each of the processors is subject to independent random breakdowns and repairs, is analyzed in the steady state under two limiting regimes. The first is the usual heavy traffic limit where the offered load approaches the available processing capacity. The (suitably normalized) queue size is shown to be asymptotically exponentially distributed and independent of the number of operative processors. The second limiting regime involves increasing the average lengths of the operative and inoperative periods, while keeping their ratio constant. Again the asymptotic distribution of an appropriately normalized queue size is determined. This time it turns out to have a rational Laplace transform with simple poles. In both cases, the relevant parameters are easily computable.     

On the behavior of quasi-local mass at the infinity along nearly round surfaces

In this article, we study the limiting behavior of the Brown–York mass and Hawking mass along nearly round surfaces at infinity of an asymptotically flat manifold. Nearly round surfaces can be defined in an intrinsic way. Our results show that the ADM mass of an asymptotically flat three manifold can be approximated by some geometric invariants of a family of nearly round surfaces, which approach to infinity of the manifold.     

Unique continuation from infinity in asymptotically anti-de Sitter spacetimes II: Non-static boundaries

We generalize our unique continuation results recently established for a class of linear and nonlinear wave equations □_g?+σ? = 𝒢(?,??) on asymptotically anti-de Sitter (aAdS) spacetimes to aAdS spacetimes admitting nonstatic boundary metrics. The new Carleman estimates established in this setting constitute an essential ingredient in proving unique continuation results for the full nonlinear Einstein equations, which will be addressed in forthcoming papers. Key to the proof is a new geometrically adapted construction of foliations of pseudo-convex hypersurfaces near the conformal boundary.     

Morse homology for the Yang–Mills gradient flow

We use the Yang–Mills gradient flow on the space of connections over a closed Riemann surface to construct a Morse chain complex. The chain groups are generated by Yang–Mills connections. The boundary operator is defined by counting the elements of appropriately defined moduli spaces of Yang–Mills gradient flow lines that converge asymptotically to Yang–Mills connections.     

Elliptic boundary value problems for Bessel operators,with applications to anti-de Sitter spacetimes

This paper considers boundary value problems for a class of singular elliptic operators that appear naturally in the study of asymptotically anti-de Sitter (aAdS) spacetimes. These problems involve a singular Bessel operator acting in the normal direction. After formulating a Lopatinski?? condition, elliptic estimates are established for functions supported near the boundary. The Fredholm property follows from additional hypotheses in the interior. This paper provides a rigorous framework for mode analysis on aAdS spacetimes for a wide range of boundary conditions considered in the physics literature. Completeness of eigenfunctions for some Bessel operator pencils is shown.     

Random attractors for the stochastic Benjamin-Bona-Mahony equation on unbounded domains

We prove the existence of a compact random attractor for the stochastic Benjamin-Bona-Mahony equation defined on an unbounded domain. This random attractor is invariant and attracts every pulled-back tempered random set under the forward flow. The asymptotic compactness of the random dynamical system is established by a tail-estimates method, which shows that the solutions are uniformly asymptotically small when space and time variables approach infinity.     

A variational approach to second-order approximability of sliding mode control systems

We consider robustness properties of second-order methods for the sliding mode control of nonlinear ordinary differential equations. A new approach is presented based on the theory of well-posed optimization problems. It is shown that the convergence of the real states of the control system to the ideal one is intimately related to Tykhonov well-posedness of suitably defined dynamic optimization problems.     

Limit laws for the Randić index of random binary tree models

We investigate the Randić index of random binary trees under two standard probability models: the one induced by random permutations and the Catalan (uniform). In both cases the mean and variance are computed by recurrence methods and shown to be asymptotically linear in the size of the tree. The recursive nature of binary search trees lends itself in a natural way to application of the contraction method, by which a limit distribution (for a suitably normalized version of the index) is shown to be Gaussian. The Randić index (suitably normalized) is also shown to be normally distributed in binary Catalan trees, but the methodology we use for this derivation is singularity analysis of formal generating functions.     

The distance approach to approximate combinatorial counting

We develop general methods to obtain fast (polynomial time) estimates of the cardinality of a combinatorially defined set via solving some randomly generated optimization problems on the set. Examples include enumeration of perfect matchings in a graph, linearly independent subsets of a set of vectors and colored spanning subgraphs of a graph. Geometrically, we estimate the cardinality of a subset of the Boolean cube via the average distance from a point in the cube to the subset with respect to some distance function. We derive asymptotically sharp cardinality bounds in the case of the Hamming distance and show that for small subsets a suitably defined “randomized” Hamming distance allows one to get tighter estimates of the cardinality. Submitted: June 2000, Revised version: January 2001.     

The asymptotic of the necessary sample size in testing the hypotheses on the shape parameter of a distribution close to the normal one

We study the problem of testing the hypothesis on the “approximate normality” formulated in terms of large values of the shape parameter of an asymptotically normal underlying distribution. Considering the examples of gamma-and generalized Birnbaum—Saunders distributions, we propose one way to obtain the asymptotic of the necessary sample size for testing the mentioned hypothesis. Our approach differs from those based on contiguous alternatives or on the use of the large deviations theory for distributions of sums of independent random variables. Our method yields remarkably precise approximate formulas, what is illustrated by numerical data.     

Two-dimensional asymptotic expansions for large deviations of spherically distributed random vectors if the dominating point degenerates asymptotically

A geometric approach to asymptotic expansions for large-deviation probabilities, developed for the Gaussian law by Breitung and Richter [J. Multivariate Anal.,58, 1–20 (1996)], will be extended in the present paper to the class of spherical measures by utilizing their common geometric properties. This approach consists of rewriting the probabilities under consideration as large parameter values of the Laplace transform of a suitably defined function, expanding this function in a power series, and then applying Watson’s lemma. A geometric representation of the Laplace transform allows one to combine the global and local properties of both the underlying measure and the large-deviation domain. A special new type of difficulty is to be dealt with because the so-called dominating points of the large-deviation domain degenerate asymptotically. As is shown in Richter and Schumacher (in print), the typical statistical applications of large-deviation theory lead to such situations. In the present paper, consideration is restricted to a certain two-dimensional domain of large-deviations having asymptotically degenerating dominating points. The key assumption is a parametrized expansion for the inverse $\bar g^{ - 1} $ of the negative logarithm of the density-generating function of the two-dimensional spherical law under consideration.     

On the Topology of Vacuum Spacetimes

We prove that there are no restrictions on the spatial topology of asymptotically flat solutions of the vacuum Einstein equations in (n + 1)-dimensions. We do this by gluing a solution of the vacuum constraint equations on an arbitrary compact manifold Sⁿ \Sigma^n to an asymptotically Euclidean solution of the constraints on \mathbbRⁿ \mathbb{R}^n . For any Sⁿ \Sigma^n which does not admit a metric of positive scalar curvature, this provides for the existence of asymptotically flat vacuum spacetimes with no maximal slices. Our main theorem is a special case of a more general gluing construction for nondegenerate solutions of the vacuum constraint equations which have some restrictions on the mean curvature, but for which the mean curvature is not necessarily constant. This generalizes the construction [16], which is restricted to constant mean curvature data.     

Existence of oscillating solutions of Einstein Yang-Mills equations

We give a rigorous proof that for small positive values of the cosmological constant the Einstein equations coupled to an SU(2) Yang-Mills connection yield oscillating spacetimes. These are static, spherically symmetric spacetimes that have the same topology as particle-like spacetimes but differ in geometry. We also give a strict upper bound on values of the cosmological constant that admit such spacetimes.