A dimension-breaking phenomenon for water waves with weak surface tension

It is well known that the water-wave problem with weak surface tension has small-amplitude line solitary-wave solutions which to leading order are described by the nonlinear Schr\"odinger equation. The present paper contains an existence theory for three-dimensional periodically modulated solitary-wave solutions which have a solitary-wave profile in the direction of propagation and are periodic in the transverse direction; they emanate from the line solitary waves in a dimension-breaking bifurcation. In addition, it is shown that the line solitary waves are linearly unstable to long-wavelength transverse perturbations. The key to these results is a formulation of the water wave problem as an evolutionary system in which the transverse horizontal variable plays the role of time, a careful study of the purely imaginary spectrum of the operator obtained by linearising the evolutionary system at a line solitary wave, and an application of an infinite-dimensional version of the classical Lyapunov centre theorem.Comment: The final publication is available at Springer via http://dx.doi.org/10.1007/s00205-015-0941-

Arkansas Cotton Variety Test 2003

The primary aim of the Arkansas Cotton Variety Test is to provide unbiased data regarding the agronomic performance of cotton varieties and advanced breeding lines in the major cotton-growing areas of Arkansas. This information helps seed dealers establish marketing strategies and assists producers in choosing varieties to plant. In this way, the annual test facilitates the inclusion of new, improved genetic material in Arkansas cotton production

Defining correctness conditions for concurrent objects in multicore architectures

Correctness of concurrent objects is defined in terms of conditions that determine allowable relationships between histories of a concurrent object and those of the corresponding sequential object. Numerous correctness conditions have been proposed over the years, and more have been proposed recently as the algorithms implementing concurrent objects have been adapted to cope with multicore processors with relaxed memory architectures. We present a formal framework for defining correctness conditions for multicore architectures, covering both standard conditions for totally ordered memory and newer conditions for relaxed memory, which allows them to be expressed in uniform manner, simplifying comparison. Our framework distinguishes between order and commitment properties, which in turn enables a hierarchy of correctness conditions to be established. We consider the Total Store Order (TSO) memory model in detail, formalise known conditions for TSO using our framework, and develop sequentially consistent variations of these. We present a work-stealing deque for TSO memory that is not linearizable, but is correct with respect to these new conditions. Using our framework, we identify a new non-blocking compositional condition, fence consistency, which lies between known conditions for TSO, and aims to capture the intention of a programmer-specified fence

The Narrow Line Region: Current Models and Future Questions

I present a broad overview of modelling of the Narrow Line Region (NLR) of active galaxies, and discuss some of the more recent models we currently have for the emission from the NLR. I show why the emission line ratios from the NLR are constrained to certain observed values, and describe what physical parameters we can derive from observations using emission line models. Also presented are some examples of this, looking at the metallicity and excitation mechanism of active galaxies. As a final point, the limitations of the current models are discussed, and how how the combination of modelling and theory can help us solve some of the questions that still remain within the NLR

The Physical Conditions in Starbursts Derived from Bayesian Fitting of Mid-IR SEDS: 30 Doradus as a Template

To understand and interpret the observed Spectral Energy Distributions (SEDs) of starbursts, theoretical or semi-empirical SED models are necessary. Yet, while they are well-founded in theory, independent verification and calibration of these models, including the exploration of possible degeneracies between their parameters, are rarely made. As a consequence, a robust fitting method that leads to unique and reproducible results has been lacking. Here we introduce a novel approach based on Bayesian analysis to fit the Spitzer-IRS spectra of starbursts using the SED models proposed by Groves et al. (2008). We demonstrate its capabilities and verify the agreement between the derived best fit parameters and actual physical conditions by modelling the nearby, well-studied, giant HII region 30 Dor in the LMC. The derived physical parameters, such as cluster mass, cluster age, ISM pressure and covering fraction of photodissociation regions, are representative of the 30 Dor region. The inclusion of the emission lines in the modelling is crucial to break degeneracies. We investigate the limitations and uncertainties by modelling sub-regions, which are dominated by single components, within 30 Dor. A remarkable result for 30 Doradus in particular is a considerable contribution to its mid-infrared spectrum from hot ({\simeq} 300K) dust. The demonstrated success of our approach will allow us to derive the physical conditions in more distant, spatially unresolved starbursts.Comment: 17 pages, 10 figures. Accepted por publication in the Astrophysical Journa

Using coarse-grained abstractions to verify linearizability on TSO architectures

Most approaches to verifying linearizability assume a sequentially consistent memory model, which is not always realised in practice. In this paper we study correctness on a weak memory model: the TSO (Total Store Order) memory model, which is implemented in x86 multicore architectures. Our central result is a proof method that simplifies proofs of linearizability on TSO. This is necessary since the use of local buffers in TSO adds considerably to the verification overhead on top of the already subtle linearizability proofs. The proof method involves constructing a coarse-grained abstraction as an intermediate layer between an abstract description and the concurrent algorithm. This allows the linearizability proof to be split into two smaller components, where the effect of the local buffers in TSO is dealt with at a higher level of abstraction than it would have been otherwise

Stress-Energy Tensor for the Massless Spin 1/2 Field in Static Black Hole Spacetimes

The stress-energy tensor for the massless spin 1/2 field is numerically computed outside and on the event horizons of both charged and uncharged static non-rotating black holes, corresponding to the Schwarzschild, Reissner-Nordstrom and extreme Reissner-Nordstr\"om solutions of Einstein's equations. The field is assumed to be in a thermal state at the black hole temperature. Comparison is made between the numerical results and previous analytic approximations for the stress-energy tensor in these spacetimes. For the Schwarzschild (charge zero) solution, it is shown that the stress-energy differs even in sign from the analytic approximation. For the Reissner-Nordstrom and extreme Reissner-Nordstrom solutions, divergences predicted by the analytic approximations are shown not to exist.Comment: 5 pages, 4 figures, additional discussio

The Connection between Star-Forming Galaxies, AGN Host Galaxies and Early-Type Galaxies in the SDSS

We present a study of the connection between star-forming galaxies, AGN host galaxies, and normal early-type galaxies in the Sloan Digital Sky Survey (SDSS). Using the SDSS DR5 and DR4plus data, we select our early-type galaxy sample in the color versus color-gradient space, and we classify the spectral types of the selected early-type galaxies into normal, star-forming, Seyfert, and LINER classes, using several spectral line flux ratios. We investigate the slope in the fundamental space for each class of early-type galaxies and find that there are obvious differences in the slopes of the fundamental planes (FPs) among the different classes of early-type galaxies, in the sense that the slopes for Seyferts and star-forming galaxies are flatter than those for normal galaxies and LINERs. This may be the first identification of the systematic variation of the FP slope among the subclasses of early-type galaxies. The difference in the FP slope might be caused by the difference in the degree of nonhomology among different classes or by the difference of gas contents in their merging progenitors. One possible scenario is that the AGN host galaxies and star-forming galaxies are formed by gas-rich merging and that they may evolve into normal early-type galaxies after finishing their star formation or AGN activities.Comment: 5 pages with emulateapj, 2 figures, accepted for publication in the Astrophysical Journal Letter