An Abstract Interpretation for ML Equality Kinds

The definition of Standard ML provides a form of generic equality which is inferred for certain types, called equality types, on which it is possible to define an equality relation in ML. However, the standard definition is incomplete in the sense that there are interesting and useful types which are not inferred to be equality types but for which an equality relation can be defined in ML in a uniform manner. In this paper, a refinement of the Standard ML system of equality types is introduced and is proven sound and complete with respect to the existence of a definable equality. The technique used here is based on an abstract interpretation of ML operators as monotone functions over a three point lattice. It is shown how the equality relation can be defined (as an ML program) from the definition of a type with our equality property. Finally, a sound, efficient algorithm for inferring the equality property which corrects the limitations of the standard definition in all cases of practical interest is demonstrated

Revised Stellar Properties of Kepler Targets for the Q1-17 (DR25) Transit Detection Run

The determination of exoplanet properties and occurrence rates using Kepler data critically depends on our knowledge of the fundamental properties (such as temperature, radius and mass) of the observed stars. We present revised stellar properties for 197,096 Kepler targets observed between Quarters 1-17 (Q1-17), which were used for the final transiting planet search run by the Kepler Mission (Data Release 25, DR25). Similar to the Q1--16 catalog by Huber et al. the classifications are based on conditioning published atmospheric parameters on a grid of Dartmouth isochrones, with significant improvements in the adopted methodology and over 29,000 new sources for temperatures, surface gravities or metallicities. In addition to fundamental stellar properties the new catalog also includes distances and extinctions, and we provide posterior samples for each stellar parameter of each star. Typical uncertainties are ~27% in radius, ~17% in mass, and ~51% in density, which is somewhat smaller than previous catalogs due to the larger number of improved logg constraints and the inclusion of isochrone weighting when deriving stellar posterior distributions. On average, the catalog includes a significantly larger number of evolved solar-type stars, with an increase of 43.5% in the number of subgiants. We discuss the overall changes of radii and masses of Kepler targets as a function of spectral type, with particular focus on exoplanet host stars.Comment: 19 pages, 13 figures. ApJS in pres

The Kepler Follow-up Observation Program

The Kepler Mission was launched on March 6, 2009 to perform a photometric survey of more than 100,000 dwarf stars to search for terrestrial-size planets with the transit technique. Follow-up observations of planetary candidates identified by detection of transit-like events are needed both for identification of astrophysical phenomena that mimic planetary transits and for characterization of the true planets and planetary systems found by Kepler. We have developed techniques and protocols for detection of false planetary transits and are currently conducting observations on 177 Kepler targets that have been selected for follow-up. A preliminary estimate indicates that between 24% and 62% of planetary candidates selected for follow-up will turn out to be true planets.Comment: 12 pages, submitted to the Astrophysical Journal Letter

Seven Years of SN 2014C: A Multiwavelength Synthesis of an Extraordinary Supernova

SN 2014C was originally classified as a Type Ib supernova, but at phase ϕ = 127 days, post-explosion strong Hα emission was observed. SN 2014C has since been observed in radio, infrared, optical and X-ray bands. Here we present new optical spectroscopic and photometric data spanning ϕ = 947–2494 days post-explosion. We address the evolution of the broadened Hα emission line, as well as broad [O iii] emission and other lines. We also conduct a parallel analysis of all publicly available multiwavelength data. From our spectra, we find a nearly constant Hα FWHM velocity width of ∼2000 km s−1 that is significantly lower than that of other broadened atomic transitions (∼3000–7000 km s−1) present in our spectra ([O i] λ6300; [O iii] λλ4959, 5007; He i λ7065; [Ca ii] λλ7291, 7324). The late radio data demand a fast forward shock (∼10,000 km s−1 at ϕ = 1700 days) in rarified matter that contrasts with the modest velocity of the Hα. We propose that the infrared flux originates from a toroidal-like structure of hydrogen surrounding the progenitor system, while later emission at other wavelengths (radio, X-ray) likely originates predominantly from the reverse shock in the ejecta and the forward shock in the quasi-spherical progenitor He-wind. We propose that the Hα emission arises in the boundary layer between the ejecta and torus. We also consider the possible roles of a pulsar and a binary companion

The genetic basis for panicle trait variation in switchgrass (Panicum virgatum)

Key message: We investigate the genetic basis of panicle architecture in switchgrass in two mapping populations across a latitudinal gradient, and find many stable, repeatable genetic effects and limited genetic interactions with the environment. Abstract: Grass species exhibit large diversity in panicle architecture influenced by genes, the environment, and their interaction. The genetic study of panicle architecture in perennial grasses is limited. In this study, we evaluate the genetic basis of panicle architecture including panicle length, primary branching number, and secondary branching number in an outcrossed switchgrass QTL population grown across ten field sites in the central USA through multi-environment mixed QTL analysis. We also evaluate genetic effects in a diversity panel of switchgrass grown at three of the ten field sites using genome-wide association (GWAS) and multivariate adaptive shrinkage. Furthermore, we search for candidate genes underlying panicle traits in both of these independent mapping populations. Overall, 18 QTL were detected in the QTL mapping population for the three panicle traits, and 146 unlinked genomic regions in the diversity panel affected one or more panicle trait. Twelve of the QTL exhibited consistent effects (i.e., no QTL by environment interactions or no QTL × E), and most (four of six) of the effects with QTL × E exhibited site-specific effects. Most (59.3%) significant partially linked diversity panel SNPs had significant effects in all panicle traits and all field sites and showed pervasive pleiotropy and limited environment interactions. Panicle QTL co-localized with significant SNPs found using GWAS, providing additional power to distinguish between true and false associations in the diversity panel

Kepler-424 b: A "lonely" hot Jupiter that found a companion

Peer reviewedFinal Accepted Versio

Five Kepler target stars that show multiple transiting exoplanet candidates

We present and discuss five candidate exoplanetary systems identified with the Kepler spacecraft. These five systems show transits from multiple exoplanet candidates. Should these objects prove to be planetary in nature, then these five systems open new opportunities for the field of exoplanets and provide new insights into the formation and dynamical evolution of planetary systems. We discuss the methods used to identify multiple transiting objects from the Kepler photometry as well as the false-positive rejection methods that have been applied to these data. One system shows transits from three distinct objects while the remaining four systems show transits from two objects. Three systems have planet candidates that are near mean motion commensurabilities---two near 2:1 and one just outside 5:2. We discuss the implications that multitransiting systems have on the distribution of orbital inclinations in planetary systems, and hence their dynamical histories; as well as their likely masses and chemical compositions. A Monte Carlo study indicates that, with additional data, most of these systems should exhibit detectable transit timing variations (TTV) due to gravitational interactions---though none are apparent in these data. We also discuss new challenges that arise in TTV analyses due to the presence of more than two planets in a system.Comment: Accepted to Ap

Transit Timing Observations from Kepler: III. Confirmation of 4 Multiple Planet Systems by a Fourier-Domain Study of Anti-correlated Transit Timing Variations

We present a method to confirm the planetary nature of objects in systems with multiple transiting exoplanet candidates. This method involves a Fourier-Domain analysis of the deviations in the transit times from a constant period that result from dynamical interactions within the system. The combination of observed anti-correlations in the transit times and mass constraints from dynamical stability allow us to claim the discovery of four planetary systems Kepler-25, Kepler-26, Kepler-27, and Kepler-28, containing eight planets and one additional planet candidate.Comment: Accepted to MNRA

Characteristics of Kepler Planetary Candidates Based on the First Data Set: The Majority are Found to be Neptune-Size and Smaller

In the spring of 2009, the Kepler Mission commenced high-precision photometry on nearly 156,000 stars to determine the frequency and characteristics of small exoplanets, conduct a guest observer program, and obtain asteroseismic data on a wide variety of stars. On 15 June 2010 the Kepler Mission released data from the first quarter of observations. At the time of this publication, 706 stars from this first data set have exoplanet candidates with sizes from as small as that of the Earth to larger than that of Jupiter. Here we give the identity and characteristics of 306 released stars with planetary candidates. Data for the remaining 400 stars with planetary candidates will be released in February 2011. Over half the candidates on the released list have radii less than half that of Jupiter. The released stars include five possible multi-planet systems. One of these has two Neptune-size (2.3 and 2.5 Earth-radius) candidates with near-resonant periods.Comment: Paper to accompany Kepler's June 15, 2010 data release; submitted to Astrophysical Journal Figures 1,2,& 3 revised. Improved labeling on all figures. Slight changes to planet frequencies in result