Incremental verification of co-observability in discrete-event systems

Existing strategies for verifying co-observability, one of the properties that must be satisfied for synthesizing solutions to decentralized supervisory control problems, require the construction of the complete system model. When the system is composed of many subsystems, these monolithic approaches may be impractical due to the state-space explosion problem. To address this issue, we introduce an incremental verification of co-observability approach. Selected subgroups of the system are evaluated individually, until verification of co-observability is complete. The new method is potentially much more efficient than the monolithic approaches, in particular for systems composed of many subsystems, allowing for some intractable state-space explosion problems to be manageable. Properties of this new strategy are presented, along with a corresponding algorithm and an example

Search for gravitational waves from Scorpius X-1 in the second Advanced LIGO observing run with an improved hidden Markov model

We present results from a semicoherent search for continuous gravitational waves from the low-mass x-ray binary Scorpius X-1, using a hidden Markov model (HMM) to track spin wandering. This search improves on previous HMM-based searches of LIGO data by using an improved frequency domain matched filter, the J-statistic, and by analyzing data from Advanced LIGO's second observing run. In the frequency range searched, from 60 to 650 Hz, we find no evidence of gravitational radiation. At 194.6 Hz, the most sensitive search frequency, we report an upper limit on gravitational wave strain (at 95% confidence) of h095%=3.47×10-25 when marginalizing over source inclination angle. This is the most sensitive search for Scorpius X-1, to date, that is specifically designed to be robust in the presence of spin wandering. © 2019 American Physical Society

Search for Tensor, Vector, and Scalar Polarizations in the Stochastic Gravitational-Wave Background

The detection of gravitational waves with Advanced LIGO and Advanced Virgo has enabled novel tests of general relativity, including direct study of the polarization of gravitational waves. While general relativity allows for only two tensor gravitational-wave polarizations, general metric theories can additionally predict two vector and two scalar polarizations. The polarization of gravitational waves is encoded in the spectral shape of the stochastic gravitational-wave background, formed by the superposition of cosmological and individually unresolved astrophysical sources. Using data recorded by Advanced LIGO during its first observing run, we search for a stochastic background of generically polarized gravitational waves. We find no evidence for a background of any polarization, and place the first direct bounds on the contributions of vector and scalar polarizations to the stochastic background. Under log-uniform priors for the energy in each polarization, we limit the energy densities of tensor, vector, and scalar modes at 95% credibility to Ω0T<5.58×10-8, Ω0V<6.35×10-8, and Ω0S<1.08×10-7 at a reference frequency f0=25 Hz. © 2018 American Physical Society

Erratum: "A Gravitational-wave Measurement of the Hubble Constant Following the Second Observing Run of Advanced LIGO and Virgo" (2021, ApJ, 909, 218)

[no abstract available

TOI-222: A single-transit TESS candidate revealed to be a 34-d eclipsing binary with CORALIE, EulerCam, and NGTS

We report the period, eccentricity, and mass determination for the Transiting Exoplanet Survey Satellite (TESS) single-transit event candidate TOI-222, which displayed a single 3000 ppm transit in the TESS 2-min cadence data from Sector 2. We determine the orbital period via radial velocity measurements (P = 33.9 d), which allowed for ground-based photometric detection of two subsequent transits. Our data show that the companion to TOI-222 is a low-mass star, with a radius of 0.18+−003910 R☉ and a mass of 0.23 ± 0.01 M☉. This discovery showcases the ability to efficiently discover long-period systems from TESS single-transit events using a combination of radial velocity monitoring coupled with high-precision ground-based photometry

An ultrahot Neptune in the Neptune desert

About 1 out of 200 Sun-like stars has a planet with an orbital period shorter than one day: an ultrashort-period planet1,2. All of the previously known ultrashort-period planets are either hot Jupiters, with sizes above 10 Earth radii (R⊕), or apparently rocky planets smaller than 2 R⊕. Such lack of planets of intermediate size (the ‘hot Neptune desert’) has been interpreted as the inability of low-mass planets to retain any hydrogen/helium (H/He) envelope in the face of strong stellar irradiation. Here we report the discovery of an ultrashort-period planet with a radius of 4.6 R⊕ and a mass of 29 M⊕, firmly in the hot Neptune desert. Data from the Transiting Exoplanet Survey Satellite3 revealed transits of the bright Sun-like star LTT 9779 every 0.79 days. The planet’s mean density is similar to that of Neptune, and according to thermal evolution models, it has a H/He-rich envelope constituting 9.0−2.9+2.7% of the total mass. With an equilibrium temperature around 2,000 K, it is unclear how this ‘ultrahot Neptune’ managed to retain such an envelope. Follow-up observations of the planet’s atmosphere to better understand its origin and physical nature will be facilitated by the star’s brightness (Vmag = 9.8)

A remnant planetary core in the hot-Neptune desert

The interiors of giant planets remain poorly understood. Even for the planets in the Solar System, difficulties in observation lead to large uncertainties in the properties of planetary cores. Exoplanets that have undergone rare evolutionary processes provide a route to understanding planetary interiors. Planets found in and near the typically barren hot-Neptune ‘desert’1,2 (a region in mass–radius space that contains few planets) have proved to be particularly valuable in this regard. These planets include HD149026b3, which is thought to have an unusually massive core, and recent discoveries such as LTT9779b4 and NGTS-4b5, on which photoevaporation has removed a substantial part of their outer atmospheres. Here we report observations of the planet TOI-849b, which has a radius smaller than Neptune’s but an anomalously large mass of 39.1−2.6+2.7 Earth masses and a density of 5.2−0.8+0.7 grams per cubic centimetre, similar to Earth’s. Interior-structure models suggest that any gaseous envelope of pure hydrogen and helium consists of no more than 3.9−0.9+0.8 per cent of the total planetary mass. The planet could have been a gas giant before undergoing extreme mass loss via thermal self-disruption or giant planet collisions, or it could have avoided substantial gas accretion, perhaps through gap opening or late formation6. Although photoevaporation rates cannot account for the mass loss required to reduce a Jupiter-like gas giant, they can remove a small (a few Earth masses) hydrogen and helium envelope on timescales of several billion years, implying that any remaining atmosphere on TOI-849b is likely to be enriched by water or other volatiles from the planetary interior. We conclude that TOI-849b is the remnant core of a giant planet

A remnant planetary core in the hot-Neptune desert

The interiors of giant planets remain poorly understood. Even for the planets in the Solar System, difficulties in observation lead to large uncertainties in the properties of planetary cores. Exoplanets that have undergone rare evolutionary processes provide a route to understanding planetary interiors. Planets found in and near the typically barren hot-Neptune ‘desert’1,2 (a region in mass–radius space that contains few planets) have proved to be particularly valuable in this regard. These planets include HD149026b3, which is thought to have an unusually massive core, and recent discoveries such as LTT9779b4 and NGTS-4b5, on which photoevaporation has removed a substantial part of their outer atmospheres. Here we report observations of the planet TOI-849b, which has a radius smaller than Neptune’s but an anomalously large mass of Earth masses and a density of grams per cubic centimetre, similar to Earth’s. Interior-structure models suggest that any gaseous envelope of pure hydrogen and helium consists of no more than per cent of the total planetary mass. The planet could have been a gas giant before undergoing extreme mass loss via thermal self-disruption or giant planet collisions, or it could have avoided substantial gas accretion, perhaps through gap opening or late formation6. Although photoevaporation rates cannot account for the mass loss required to reduce a Jupiter-like gas giant, they can remove a small (a few Earth masses) hydrogen and helium envelope on timescales of several billion years, implying that any remaining atmosphere on TOI-849b is likely to be enriched by water or other volatiles from the planetary interior. We conclude that TOI-849b is the remnant core of a giant planet

TOI-431/HIP 26013: a super-Earth and a sub-Neptune transiting a bright, early K dwarf, with a third RV planet

Stars and planetary system