A New Stellar Atmosphere Grid and Comparisons with HST/STIS Calspec Flux Distributions

The Space Telescope Imaging Spectrograph (STIS) has measured the spectral energy distributions (SEDs) for several stars of types O, B, A, F, and G. These absolute fluxes from the CALSPEC database are fit with a new spectral grid computed from the ATLAS-APOGEE ATLAS9 model atmosphere database using a chi-square minimization technique in four parameters. The quality of the fits are compared for complete LTE grids by Castelli & Kurucz (CK04) and our new comprehensive LTE grid (BOSZ). For the cooler stars, the fits with the MARCS LTE grid are also evaluated, while the hottest stars are also fit with the NLTE Lanz & Hubeny OB star grids. Unfortunately, these NLTE models do not transition smoothly in the infrared to agree with our new BOSZ LTE grid at the NLTE lower limit of Teff =15,000K. The new BOSZ grid is available via the Space Telescope Institute MAST archive and has a much finer sampled IR wavelength scale than CK04, which will facilitate the modeling of stars observed by the James Webb Space Telescope (JWST). Our result for the angular diameter of Sirius agrees with the ground- based interferometric value.Comment: 11 figure

The Baryon-Dark Matter Ratio Via Moduli Decay After Affleck-Dine Baryogenesis

Low-scale supersymmetry breaking in string motivated theories implies the presence of O(100) TeV scale moduli, which generically lead to a significant modification of the history of the universe prior to Big Bang Nucleosynthesis. Such an approach implies a non-thermal origin for dark matter resulting from scalar decay, where the lightest supersymmetric particle can account for the observed dark matter relic density. We study the further effect of the decay on the baryon asymmetry of the universe, and find that this can satisfactorily address the problem of the over-production of the baryon asymmetry by the Affleck-Dine mechanism in the MSSM. Remarkably, there is a natural connection between the baryon and dark matter abundances today, which leads to a solution of the `Cosmic Coincidence Problem'.Comment: 12 pages, no figure. v2: references adde

On the kinks and dynamical phase transitions of alpha-helix protein chains

Heuristic insights into a physical picture of Davydov's solitonic model of the one-dimensional protein chain are presented supporting the idea of a non-equilibrium competition between the Davydov phase and a complementary, dynamical- `ferroelectric' phase along the chainComment: small latex file with possible glue problems, just go on !, no figures, small corrections with respect to the published text, follow-up work to cond-mat/9304034 [PRE 47 (June 1993) R3818

Dark Matter and LHC: What is the Connection?

We review what can (and cannot) be learned if dark matter is detected in one or more experiments, emphasizing the importance of combining LHC data with direct, astrophysical and cosmological probes of dark matter. We briefly review the conventional picture of a thermally produced WIMP relic density and its connection with theories of electroweak symmetry breaking. We then discuss both experimental and theoretical reasons why one might generically expect this picture to fail. If this is the case, we argue that a combined effort bringing together all types of data -- combined with explicitly constructed theoretical models -- will be the only way to achieve a complete understanding of the dark matter in our universe and become confident that any candidate actually provides the relic density.Comment: 25 pages, 2 figures, Invited review for Modern Physics Letters

Inflation without Inflaton(s)

We propose a model for early universe cosmology without the need for fundamental scalar fields. Cosmic acceleration and phenomenologically viable reheating of the universe results from a series of energy transitions, where during each transition vacuum energy is converted to thermal radiation. We show that this `cascading universe' can lead to successful generation of adiabatic density fluctuations and an observable gravity wave spectrum in some cases, where in the simplest case it reproduces a spectrum similar to slow-roll models of inflation. We also find the model provides a reasonable reheating temperature after inflation ends. This type of model may also be relevant for addressing the smallness of the vacuum energy today.Comment: 13 pages, 4 figures, published versio

Formal Component-Based Semantics

One of the proposed solutions for improving the scalability of semantics of programming languages is Component-Based Semantics, introduced by Peter D. Mosses. It is expected that this framework can also be used effectively for modular meta theoretic reasoning. This paper presents a formalization of Component-Based Semantics in the theorem prover Coq. It is based on Modular SOS, a variant of SOS, and makes essential use of dependent types, while profiting from type classes. This formalization constitutes a contribution towards modular meta theoretic formalizations in theorem provers. As a small example, a modular proof of determinism of a mini-language is developed.Comment: In Proceedings SOS 2011, arXiv:1108.279

SDSS J115517.35+634622.0: A Newly Discovered Gravitationally Lensed Quasar

We report the discovery of SDSSJ115517.35+634622.0, a previously unknown gravitationally lensed quasar. The lens system exhibits two images of a $z = 2.89$ quasar, with an image separation of 1{\farcs}832 \pm 0.007 . Near-IR imaging of the system reveals the presence of the lensing galaxy between the two quasar images. Based on absorption features seen in the Sloan Digital Sky Survey (SDSS) spectrum, we determine a lens galaxy redshift of $z = 0.1756$. The lens is rather unusual in that one of the quasar images is only 0{\farcs}22\pm0{\farcs}07 ($\sim 0.1 R_{\rm eff}$) from the center of the lens galaxy and photometric modeling indicates that this image is significantly brighter than predicted by a SIS model. This system was discovered in the course of an ongoing search for strongly lensed quasars in the dataset from the SDSS.Comment: 18 pages, 6 figures. Accepted for publication in A