Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics

We present two embeddings of infinite-valued Lukasiewicz logic L into Meyer and Slaney's abelian logic A, the logic of lattice-ordered abelian groups. We give new analytic proof systems for A and use the embeddings to derive corresponding systems for L. These include: hypersequent calculi for A and L and terminating versions of these calculi; labelled single sequent calculi for A and L of complexity co-NP; unlabelled single sequent calculi for A and L.Comment: 35 pages, 1 figur

Local energy decay for scalar fields on time dependent non-trapping backgrounds

We consider local energy decay estimates for solutions to scalar wave equations on nontrapping asymptotically flat space-times. Our goals are two-fold. First we consider the stationary case, where we can provide a full spectral characterization of local energy decay bounds; this characterization simplifies in the stationary symmetric case. Then we consider the almost stationary, almost symmetric case. There we establish two main results: The first is a “two point” local energy decay estimate which is valid for a general class of (non-symmetric) almost stationary wave equations which satisfy a certain nonresonance property at zero frequency. The second result, which also requires the almost symmetry condition, is to establish an exponential trichotomy in the energy space via finite dimensional time dependent stable and unstable sub-spaces, with an infinite dimensional complement on which solutions disperse via the usual local energy decay estimate

Preliminary Constraints on 12C(alpha,gamma)16O from White Dwarf Seismology

For many years, astronomers have promised that the study of pulsating white dwarfs would ultimately lead to useful information about the physics of matter under extreme conditions of temperature and pressure. In this paper we finally make good on that promise. Using observational data from the Whole Earth Telescope and a new analysis method employing a genetic algorithm, we empirically determine that the central oxygen abundance in the helium-atmosphere variable white dwarf GD 358 is 84+/-3 percent. We use this value to place preliminary constraints on the 12C(alpha,gamma)16O nuclear reaction cross-section. More precise constraints will be possible with additional detailed simulations. We also show that the pulsation modes of our best-fit model probe down to the inner few percent of the stellar mass. We demonstrate the feasibility of reconstructing the internal chemical profiles of white dwarfs from asteroseismological data, and find an oxygen profile for GD 358 that is qualitatively similar to recent theoretical calculations.Comment: Accepted for publication in the Astrophysical Journal, 7 pages, 6 figures, 2 tables, uses emulateapj5.st