141 research outputs found
Polynomial approximations of the relational semantics of imperative programs
AbstractWe present a static analysis that approximates the relational semantics of imperative programs by systems of low-degree polynomial equalities. Our method is based on Abstract Interpretation in a lattice of polynomial pseudo ideals — finite-dimensional vector spaces of degree-bounded polynomials that are closed under degree-bounded products. For a fixed degree bound, the sizes of bases of pseudo ideals and the lengths of chains in the lattice of pseudo ideals are bounded by polynomials in the number of program variables. Despite the approximate nature of our analysis, for several programs taken from the literature on non-linear polynomial invariant generation our method produces results that are as precise as those produced by methods based on polynomial ideals and Gröbner bases
KELT-10b: The First Transiting Exoplanet from the KELT-South Survey -- A Hot Sub-Jupiter Transiting a V = 10.7 Early G-Star
We report the discovery of KELT-10b, the first transiting exoplanet
discovered using the KELT-South telescope. KELT-10b is a highly inflated
sub-Jupiter mass planet transiting a relatively bright star (TYC
8378-64-1), with T = K, =
and [Fe/H] = , an inferred mass
M = M and radius R =
R. The planet has a radius R =
R and mass M =
M. The planet has an eccentricity consistent with zero and a semi-major
axis = AU. The best fitting linear
ephemeris is = 2457066.720450.00027 BJD and P =
4.16627390.0000063 days. This planet joins a group of highly inflated
transiting exoplanets with a radius much larger and a mass much less than those
of Jupiter. The planet, which boasts deep transits of 1.4%, has a relatively
high equilibrium temperature of T = K, assuming zero
albedo and perfect heat redistribution. KELT-10b receives an estimated
insolation of 10 erg s cm,
which places it far above the insolation threshold above which hot Jupiters
exhibit increasing amounts of radius inflation. Evolutionary analysis of the
host star suggests that KELT-10b is unlikely to survive beyond the current
subgiant phase, due to a concomitant in-spiral of the planet over the next
1 Gyr. The planet transits a relatively bright star and exhibits the
third largest transit depth of all transiting exoplanets with V 11 in the
southern hemisphere, making it a promising candidate for future atmospheric
characterization studies.Comment: 20 pages, 13 figures, 7 tables, accepted for publication in MNRA
An Unusual Transmission Spectrum for the Sub-Saturn KELT-11b Suggestive of a Sub-Solar Water Abundance
We present an optical-to-infrared transmission spectrum of the inflated
sub-Saturn KELT-11b measured with the Transiting Exoplanet Survey Satellite
(TESS), the Hubble Space Telescope (HST) Wide Field Camera 3 G141 spectroscopic
grism, and the Spitzer Space Telescope (Spitzer) at 3.6 m, in addition to
a Spitzer 4.5 m secondary eclipse. The precise HST transmission spectrum
notably reveals a low-amplitude water feature with an unusual shape. Based on
free retrieval analyses with varying molecular abundances, we find strong
evidence for water absorption. Depending on model assumptions, we also find
tentative evidence for other absorbers (HCN, TiO, and AlO). The retrieved water
abundance is generally solar (0.001--0.7 solar
over a range of model assumptions), several orders of magnitude lower than
expected from planet formation models based on the solar system metallicity
trend. We also consider chemical equilibrium and self-consistent 1D
radiative-convective equilibrium model fits and find they too prefer low
metallicities (, consistent with the free retrieval
results). However, all the retrievals should be interpreted with some caution
since they either require additional absorbers that are far out of chemical
equilibrium to explain the shape of the spectrum or are simply poor fits to the
data. Finally, we find the Spitzer secondary eclipse is indicative of full heat
redistribution from KELT-11b's dayside to nightside, assuming a clear dayside.
These potentially unusual results for KELT-11b's composition are suggestive of
new challenges on the horizon for atmosphere and formation models in the face
of increasingly precise measurements of exoplanet spectra.Comment: Accepted to The Astronomical Journal. 31 pages, 20 figures, 7 table
The K2 & TESS Synergy II: Revisiting 26 systems in the TESS Primary Mission
The legacy of NASA's K2 mission has provided hundreds of transiting
exoplanets that can be revisited by new and future facilities for further
characterization, with a particular focus on studying the atmospheres of these
systems. However, the majority of K2-discovered exoplanets have typical
uncertainties on future times of transit within the next decade of greater than
four hours, making observations less practical for many upcoming facilities.
Fortunately, NASA's Transiting exoplanet Survey Satellite (TESS) mission is
reobserving most of the sky, providing the opportunity to update the
ephemerides for 300 K2 systems. In the second paper of this series, we
reanalyze 26 single-planet, K2-discovered systems that were observed in the
TESS primary mission by globally fitting their K2 and TESS lightcurves
(including extended mission data where available), along with any archival
radial velocity measurements. As a result of the faintness of the K2 sample, 13
systems studied here do not have transits detectable by TESS. In those cases,
we re-fit the K2 lightcurve and provide updated system parameters. For the 23
systems with , we determine the host star parameters
using a combination of Gaia parallaxes, Spectral Energy Distribution (SED)
fits, and MESA Isochrones and Stellar Tracks (MIST) stellar evolution models.
Given the expectation of future TESS extended missions, efforts like the K2 &
TESS Synergy project will ensure the accessibility of transiting planets for
future characterization while leading to a self-consistent catalog of stellar
and planetary parameters for future population efforts.Comment: Accepted for publication in ApJ. 29 pages, 9 figures, 12 table
First radial velocity results from the MINiature Exoplanet Radial Velocity Array (MINERVA)
The MINiature Exoplanet Radial Velocity Array (MINERVA) is a dedicated
observatory of four 0.7m robotic telescopes fiber-fed to a KiwiSpec
spectrograph. The MINERVA mission is to discover super-Earths in the habitable
zones of nearby stars. This can be accomplished with MINERVA's unique
combination of high precision and high cadence over long time periods. In this
work, we detail changes to the MINERVA facility that have occurred since our
previous paper. We then describe MINERVA's robotic control software, the
process by which we perform 1D spectral extraction, and our forward modeling
Doppler pipeline. In the process of improving our forward modeling procedure,
we found that our spectrograph's intrinsic instrumental profile is stable for
at least nine months. Because of that, we characterized our instrumental
profile with a time-independent, cubic spline function based on the profile in
the cross dispersion direction, with which we achieved a radial velocity
precision similar to using a conventional "sum-of-Gaussians" instrumental
profile: 1.8 m s over 1.5 months on the RV standard star HD 122064.
Therefore, we conclude that the instrumental profile need not be perfectly
accurate as long as it is stable. In addition, we observed 51 Peg and our
results are consistent with the literature, confirming our spectrograph and
Doppler pipeline are producing accurate and precise radial velocities.Comment: 22 pages, 9 figures, submitted to PASP, Peer-Reviewed and Accepte
SSAGES : Software Suite for Advanced General Ensemble Simulations
Molecular simulation has emerged as an essential tool for modern-day research, but obtaining proper results and making reliable conclusions from simulations requires adequate sampling of the system under consideration. To this end, a variety of methods exist in the literature that can enhance sampling considerably, and increasingly sophisticated, effective algorithms continue to be developed at a rapid pace. Implementation of these techniques, however, can be challenging for experts and non-experts alike. There is a clear need for software that provides rapid, reliable, and easy access to a wide range of advanced sampling methods and that facilitates implementation of new techniques as they emerge. Here we present SSAGES, a publicly available Software Suite for Advanced General Ensemble Simulations designed to interface with multiple widely used molecular dynamics simulations packages. SSAGES allows facile application of a variety of enhanced sampling techniques—including adaptive biasing force, string methods, and forward flux sampling—that extract meaningful free energy and transition path data from all-atom and coarse-grained simulations. A noteworthy feature of SSAGES is a user-friendly framework that facilitates further development and implementation of new methods and collective variables. In this work, the use of SSAGES is illustrated in the context of simple representative applications involving distinct methods and different collective variables that are available in the current release of the suite. The code may be found at: https://github.com/MICCoM/SSAGES-public
The L 98-59 System: Three Transiting, Terrestrial-size Planets Orbiting a Nearby M Dwarf
We report the Transiting Exoplanet Survey Satellite (TESS) discovery of three terrestrial-size planets transiting L 98-59 (TOI-175, TIC 307210830)-a bright M dwarf at a distance of 10.6 pc. Using the Gaia-measured distance and broadband photometry, we find that the host star is an M3 dwarf. Combined with the TESS transits from three sectors, the corresponding stellar parameters yield planet radii ranging from 0.8 R ⊕ to 1.6 R ⊕. All three planets have short orbital periods, ranging from 2.25 to 7.45 days with the outer pair just wide of a 2:1 period resonance. Diagnostic tests produced by the TESS Data Validation Report and the vetting package DAVE rule out common false-positive sources. These analyses, along with dedicated follow-up and the multiplicity of the system, lend confidence that the observed signals are caused by planets transiting L 98-59 and are not associated with other sources in the field. The L 98-59 system is interesting for a number of reasons: the host star is bright (V = 11.7 mag, K = 7.1 mag) and the planets are prime targets for further follow-up observations including precision radial-velocity mass measurements and future transit spectroscopy with the James Webb Space Telescope; the near-resonant configuration makes the system a laboratory to study planetary system dynamical evolution; and three planets of relatively similar size in the same system present an opportunity to study terrestrial planets where other variables (age, metallicity, etc.) can be held constant. L 98-59 will be observed in four more TESS sectors, which will provide a wealth of information on the three currently known planets and have the potential to reveal additional planets in the system.Funding for the TESS mission is provided by NASA’s Science Mission directorate. Funding for the DPAC has been provided
by national institutions, in particular the institutions participating in
the Gaia Multilateral Agreement. The research
leading to these results has received funding from the European
Research Council under the European Union’s Seventh Framework
Programme (FP/2007-2013) ERC grant agreement No. 336480,
and from the ARC grant for Concerted Research Actions, financed
by the Wallonia-Brussels Federatio
KELT-22Ab: A Massive, Short-Period Hot Jupiter Transiting a Near-solar Twin
We present the discovery of KELT-22Ab, a hot Jupiter from the KELT-South survey. KELT-22Ab transits the moderately bright (V ∼ 11.1) Sun-like G2V star TYC 7518-468-1. The planet has an orbital period of days, a radius of , and a relatively large mass of . The star has , , K, (cgs), and [m/H] = ; thus other than its slightly super-solar metallicity, it appears to be a near-solar twin. Surprisingly, KELT-22A exhibits kinematics and a Galactic orbit that are somewhat atypical for thin-disk stars. Nevertheless, the star is rotating rapidly for its estimated age, and shows evidence of chromospheric activity. Imaging reveals a slightly fainter companion to KELT-22A that is likely bound, with a projected separation of 6″ (∼1400 au). In addition to the orbital motion caused by the transiting planet, we detect a possible linear trend in the radial velocity of KELT-22A, suggesting the presence of another relatively nearby body that is perhaps non-stellar. KELT-22Ab is highly irradiated (as a consequence of the small semimajor axis of ), and is mildly inflated. At such small separations, tidal forces become significant. The configuration of this system is optimal for measuring the rate of tidal dissipation within the host star. Our models predict that, due to tidal forces, the semimajor axis is decreasing rapidly, and KELT-22Ab is predicted to spiral into the star within the next Gyr
KELT-12b: A P ∼ 5 day, Highly Inflated Hot Jupiter Transiting a Mildly Evolved Hot Star
We announce the discovery of KELT-12b, a highly inflated Jupiter-mass planet transiting the mildly evolved, V = 10.64 host star TYC 2619-1057-1. We followed up the initial transit signal in the KELT-North survey data with precise ground-based photometry, high-resolution spectroscopy, precise radial velocity measurements, and high-resolution adaptive optics imaging. Our preferred best-fit model indicates that the host star has = 6279 ±51 K, = 3.89 ±0.05, [Fe/H] = 0.19+0.08-0.09, = M∗ = 1.59+0.070.09M, and R ∗= 2.37 ±0.17 . The planetary companion has Mp= 0.95 ±0.14 MJ, RP = 1.78+0.17-0.16 RJ, log gP = 2.87+0.9-0.09 and density pp 0.210.070.05= g cm-3, making it one of the most inflated giant planets known. Furthermore, for future follow-up, we report a high-precision time of inferior conjunction in BJDTDB of 2,457,083.660459 ±0.000894 and period of P = 5.0316216 ± 0.000032days. Despite the relatively large separation of ∼0.07 au implied by its ∼5.03-day orbital period, KELT-12b receives significant flux of 2.38+0.32-0.29 × 109 erg s-1 cm-2 from its host. We compare the radii and insolations of transiting gas giant planets around hot (Teff 6250 K) and cool stars, noting that the observed paucity of known transiting giants around hot stars with low insolation is likely due to selection effects. We underscore the significance of long-term ground-based monitoring of hot stars and space-based targeting of hot stars with the Transiting Exoplanet Survey Satellite to search for inflated gas giants in longer-period orbits
- …