Evidence for orbital motion of CW Leonis from ground-based astrometry

© 2017 The Authors.Recent Atacama Large Millimeter/submillimeter Array (ALMA) observations indicate that CW Leo, the closest carbon-rich asymptotic giant branch star to Sun, might have a low-mass stellar companion. We present archival ground-based astrometric measurements of CW Leo obtained within the context of the Torino Parallax Program and with > 6 yr (1995-2001) of time baseline. The residuals to a single-star solution show significant curvature, and they are strongly correlatedwith thewell-known I-band photometric variations due to stellar pulsations. We describe successfully the astrometry of CW Leo with a variability-induced motion (VIM) + acceleration model. We obtain proper motion and parallax of the centre-of-mass of the binary, the former in fair agreement with recent estimates, the latter at the near end of the range of inferred distances based on indirect methods. The VIM + acceleration model results allow us to derive a companion mass in agreement with that inferred by ALMA, they point towards a somewhat longer period than implied by ALMA, but are not compatible with much longer period estimates. These data will constitute a fundamental contribution towards the full understanding of the orbital architecture of the system when combined with Gaia astrometry, providing an ~25 yr time baseline.Peer reviewe

Exoplanet atmospheres with GIANO II. Detection of molecular absorption in the dayside spectrum of HD 102195b

The study of exoplanetary atmospheres is key to understand the differences between their physical, chemical and dynamical processes. Up to now, the bulk of atmospheric characterization analysis has been conducted on transiting planets. On some sufficiently bright targets, high-resolution spectroscopy (HRS) has also been successfully tested for non-transiting planets. We study the dayside of the non-transiting planet HD 102195b using the GIANO spectrograph mounted at TNG, demonstrating the feasibility of atmospheric characterization measurements and molecular detection for non-transiting planets with the HRS technique using 4-m class telescopes. The Doppler-shifted planetary signal changes on the order of many km/s during the observations, in contrast with the telluric absorption which is stationary in wavelength, allowing us to remove the contamination from telluric lines while preserving the features of the planetary spectrum. The emission signal from HD 102195b's atmosphere is then extracted by cross-correlating the residual spectra with atmospheric models. We detect molecular absorption from water vapor at 4.4$\sigma$ level. We also find convincing evidence for the presence of methane, which is detected at the 4.1$\sigma$ level. The two molecules are detected with a combined significance of 5.3$\sigma$, at a semi-amplitude of the planet radial velocity $K_P=128\pm 6$ km/s. We estimate a planet true mass of $M_P=0.46\pm 0.03~M_J$ and orbital inclination between 72.5 and 84.79$^{\circ}$ (1$\sigma$). Our analysis indicates a non-inverted atmosphere for HD 102195b, as expected given the relatively low temperature of the planet, inefficient to keep TiO/VO in gas phase. Moreover, a comparison with theoretical expectations and chemical model predictions corroborates our methane detection and suggests that the detected $CH_4$ and $H_2O$ signatures could be consistent with a low C/O ratio.Comment: 12 pages, 12 figures, accepted for publication in A&

Exoplanet atmospheres with GIANO. I. Water in the transmission spectrum of HD 189733b

High-resolution spectroscopy (R $\ge$ 20,000) at near-infrared wavelengths can be used to investigate the composition, structure, and circulation patterns of exoplanet atmospheres. However, up to now it has been the exclusive dominion of the biggest telescope facilities on the ground, due to the large amount of photons necessary to measure a signal in high-dispersion spectra. Here we show that spectrographs with a novel design - in particular a large spectral range - can open exoplanet characterisation to smaller telescope facilities too. We aim to demonstrate the concept on a series of spectra of the exoplanet HD 189733 b taken at the Telescopio Nazionale Galileo with the near-infrared spectrograph GIANO during two transits of the planet. In contrast to absorption in the Earth's atmosphere (telluric absorption), the planet transmission spectrum shifts in radial velocity during transit due to the changing orbital motion of the planet. This allows us to remove the telluric spectrum while preserving the signal of the exoplanet. The latter is then extracted by cross-correlating the residual spectra with template models of the planet atmosphere computed through line-by-line radiative transfer calculations, and containing molecular absorption lines from water and methane. By combining the signal of many thousands of planet molecular lines, we confirm the presence of water vapour in the atmosphere of HD 189733 b at the 5.5-$\sigma$ level. This signal was measured only in the first of the two observing nights. By injecting and retrieving artificial signals, we show that the non-detection on the second night is likely due to an inferior quality of the data. The measured strength of the planet transmission spectrum is fully consistent with past CRIRES observations at the VLT, excluding a strong variability in the depth of molecular absorption lines.Comment: 10 pages, 8 figures. Accepted for publication in Astronomy & Astrophysics. v2 includes language editin

Possibility to realize spin-orbit-induced correlated physics in iridium fluorides

Recent theoretical predictions of "unprecedented proximity" of the electronic ground state of iridium fluorides to the SU(2) symmetric $j_{\mathrm{eff}}=1/2$ limit, relevant for superconductivity in iridates, motivated us to investigate their crystal and electronic structure. To this aim, we performed high-resolution x-ray powder diffraction, Ir L$_3$-edge resonant inelastic x-ray scattering, and quantum chemical calculations on Rb$_2$[IrF$_6$] and other iridium fluorides. Our results are consistent with the Mott insulating scenario predicted by Birol and Haule [Phys. Rev. Lett. 114, 096403 (2015)], but we observe a sizable deviation of the $j_{\mathrm{eff}}=1/2$ state from the SU(2) symmetric limit. Interactions beyond the first coordination shell of iridium are negligible, hence the iridium fluorides do not show any magnetic ordering down to at least 20 K. A larger spin-orbit coupling in iridium fluorides compared to oxides is ascribed to a reduction of the degree of covalency, with consequences on the possibility to realize spin-orbit-induced strongly correlated physics in iridium fluorides

LNCS

Quantization converts neural networks into low-bit fixed-point computations which can be carried out by efficient integer-only hardware, and is standard practice for the deployment of neural networks on real-time embedded devices. However, like their real-numbered counterpart, quantized networks are not immune to malicious misclassification caused by adversarial attacks. We investigate how quantization affects a network’s robustness to adversarial attacks, which is a formal verification question. We show that neither robustness nor non-robustness are monotonic with changing the number of bits for the representation and, also, neither are preserved by quantization from a real-numbered network. For this reason, we introduce a verification method for quantized neural networks which, using SMT solving over bit-vectors, accounts for their exact, bit-precise semantics. We built a tool and analyzed the effect of quantization on a classifier for the MNIST dataset. We demonstrate that, compared to our method, existing methods for the analysis of real-numbered networks often derive false conclusions about their quantizations, both when determining robustness and when detecting attacks, and that existing methods for quantized networks often miss attacks. Furthermore, we applied our method beyond robustness, showing how the number of bits in quantization enlarges the gender bias of a predictor for students’ grades