We study the space of Killing fields on the four dimensional AdS spacetime AdS 3,1 . Two subsets S and O are identified: S (the spinor Killing fields) is constructed from imaginary Killing spinors, and O (the observer Killing fields) consists of all hypersurface orthogonal, future timelike unit Killing fields. When the cosmology constant vanishes, or in the Minkowski spacetime case, these two subsets have the same convex hull in the space of Killing fields. In presence of the cosmology constant, the convex hull of O is properly contained in that of S . This leads to two different notions of energy for an asymptotically AdS spacetime, the spinor energy and the observer energy. In [10], Chru\'sciel, Maerten and Tod proved the positivity of the spinor energy and derived important consequences among the related conserved quantities. We show that the positivity of the observer energy follows from the positivity of the spinor energy. A new notion called the "rest mass" of an asymptotically AdS spacetime is then defined by minimizing the observer energy, and is shown to be evaluated in terms of the adjoint representation of the Lie algebra of Killing fields. It is proved that the rest mass has the desirable rigidity property that characterizes the AdS spacetime.

The free-living SAR11 clade is a globally abundant group of oceanic Alphaproteobacteria, with small genome sizes and rich genomic A+T content. However, the taxonomy of SAR11 has become controversial recently. Some researchers argue that the position of SAR11 is a sister group to Rickettsiales. Other researchers advocate that SAR11 is located within free-living lineages of Alphaproteobacteria. Here, we use the natural vector representation method to identify the evolutionary origin of the SAR11 clade. This alignment-free method does not depend on any model assumptions. With this approach, the correspondence between proteome sequences and their natural vectors is one-to-one. After fixing a set of proteins, each bacterium is represented by a set of vectors. The Hausdorff distance is then used to compute the dissimilarity distance between two bacteria. The phylogenetic tree can be reconstructed based on these distances. Using our method, we systematically analyze four data sets of alphaproteobacterial proteomes in order to reconstruct the phylogeny of Alphaproteobacteria. From this we can see that the phylogenetic position of the SAR11 group is within a group of other free-living lineages of Alphaproteobacteria.

InthispaperwedevelopaconservativelocaldiscontinuousGalerkin(LDG) method for the Schro ̈ dinger-Korteweg-de Vries (Sch-KdV) system, which arises in var- ious physical contexts as a model for the interaction of long and short nonlinear waves. Conservative quantities in the discrete version of the number of plasmons, energy of the oscillations and the number of particles are proved for the LDG scheme of the Sch-KdV system. Semi-implicit time discretization is adopted to relax the time step constraint from the high order spatial derivatives. Numerical results for accuracy tests of stationary traveling soliton, and the collision of solitons are shown. Numerical ex- periments illustrate the accuracy and capability of the method.

No abstract uploaded!

For the physical vacuum free boundary problem with the sound speed being C^1/2-Holder continuous near vacuum boundaries of the one-dimensional compressible Euler equations with damping, the global existence of the smooth solution is proved, which is shown to converge to the Barenblatt self-similar solution for the porous media equation with the same total mass when the initial datum is a small perturbation of the Barenblatt solution. The pointwise convergence with a rate of density, the convergence rate of velocity in the supremum norm, and the precise expanding rate of the physical vacuum boundaries are also given. The proof is based on a construction of higher-order weighted functionals with both space and time weights capturing the behavior of solutions both near vacuum states and in large time, an introduction of a new ansatz, higher-order nonlinear energy estimates, and elliptic estimates.