arXiv subjects

Marco Rocchetto

Publications and source records attributed to Marco Rocchetto.

15 recordsLinked to original sources

arXiv2020

ExoClock Project: An open platform for monitoring the ephemerides of Ariel targets with contributions from the public

The Ariel mission will observe spectroscopically around 1000 exoplanets to further characterise their atmospheres. For the mission to be as efficient as possible, a good knowledge of the planets' ephemerides is needed before its launch in 2028. While ephemerides for some planets are being refined on a per-case basis, an organised effort to collectively verify or update them when necessary does not exist. In this study, we introduce the ExoClock project, an open, integrated and interactive platform with the purpose of producing a confirmed list of ephemerides for the planets that will be observed by Ariel. The project has been developed in a manner to make the best use of all available resources: observations reported in the literature, observations from space instruments and, mainly, observations from ground-based telescopes, including both professional and amateur observatories. To facilitate inexperienced observers and at the same time achieve homogeneity in the results, we created data collection and validation protocols, educational material and easy to use interfaces, open to everyone. ExoClock was launched in September 2019 and now counts over 140 participants from more than 15 countries around the world. In this release, we report the results of observations obtained until the 15h of April 2020 for 119 Ariel candidate targets. In total, 632 observations were used to either verify or update the ephemerides of 83 planets. Additionally, we developed the Exoplanet Characterisation Catalogue (ECC), a catalogue built in a consistent way to assist the ephemeris refinement process. So far, the collaborative open framework of the ExoClock project has proven to be highly efficient in coordinating scientific efforts involving diverse audiences. Therefore, we believe that it is a paradigm that can be applied in the future for other research purposes, too.

astro-ph.EP↗

arXiv2020

The ExoMolOP Database: Cross-sections and k-tables for Molecules of Interest in High-Temperature Exoplanet Atmospheres

A publicly available database of opacities for molecules of astrophysical interest, ExoMolOP, has been compiled for over 80 species, based on the latest line list data from the ExoMol, HITEMP and MoLLIST databases. These data are generally suitable for characterising high temperature exoplanet or cool stellar/substellar atmospheres, and have been computed at a variety of pressures and temperatures, with a few molecules included at room-temperature only from the HITRAN database. The data are formatted in different ways for four different exoplanet atmosphere retrieval codes; ARCiS, TauREx, NEMESIS and petitRADTRANS, and include both cross-sections (at R~=~$\fracλ{Δλ}$~=~15,000) and k-tables (at R~=~$\fracλ{Δλ}$~=~1000) for the 0.3~-~50$μ$m wavelength region. Opacity files can be downloaded and used directly for these codes. Atomic data for alkali metals Na and K are also included, using data from the NIST database and the latest line shapes for the resonance lines. Broadening parameters have been taken from the literature where available, or from those for a known molecule with similar molecular properties where no broadening data are available. The data are available from www.exomol.com.

astro-ph.EP↗

arXiv2020

Original Research By Young Twinkle Students (ORBYTS): Ephemeris Refinement of Transiting Exoplanets

We report follow-up observations of transiting exoplanets that have either large uncertainties (>10 minutes) in their transit times or have not been observed for over three years. A fully robotic ground-based telescope network, observations from citizen astronomers and data from TESS have been used to study eight planets, refining their ephemeris and orbital data. Such follow-up observations are key for ensuring accurate transit times for upcoming ground and space-based telescopes which may seek to characterise the atmospheres of these planets. We find deviations from the expected transit time for all planets, with transits occurring outside the 1 sigma uncertainties for seven planets. Using the newly acquired observations, we subsequently refine their periods and reduce the current predicted ephemeris uncertainties to 0.28 - 4.01 minutes. A significant portion of this work has been completed by students at two high schools in London as part of the Original Research By Young Twinkle Students (ORBYTS) programme.

astro-ph.EP↗

arXiv2020

A comparison of exoplanet spectroscopic retrieval tools

Over the last several years, spectroscopic observations of transiting exoplanets have begun to uncover information about their atmospheres, including atmospheric composition and indications of the presence of clouds and hazes. Spectral retrieval is the leading technique for interpretation of transmission spectra and is employed by several teams using a variety of forward models and parameter estimation algorithms. However, different model suites have mostly been used in isolation and so it is unknown whether the results from each are comparable. As we approach the launch of the James Webb Space Telescope we anticipate advances in wavelength coverage, precision, and resolution of transit spectroscopic data, so it is important that the tools that will be used to interpret these information rich spectra are validated. To this end, we present an inter-model comparison of three retrieval suites: TauREx, NEMESIS and CHIMERA. We demonstrate that the forward model spectra are in good agreement (residual deviations on the order of 20 - 40 ppm), and discuss the results of cross retrievals between the three tools. Generally, the constraints from the cross retrievals are consistent with each other and with input values to within 1 sigma However, for high precision scenarios with error envelopes of order 30 ppm, subtle differences in the simulated spectra result in discrepancies between the different retrieval suites, and inaccuracies in retrieved values of several sigma. This can be considered analogous to substantial systematic/astrophysical noise in a real observation, or errors/omissions in a forward model such as molecular linelist incompleteness or missing absorbers.

astro-ph.EP↗

arXiv2019

Effects of a fully 3D atmospheric structure on exoplanet transmission spectra: retrieval biases due to day-night temperature gradients

Transmission spectroscopy provides us with information on the atmospheric properties at the limb, which is often intuitively assumed to be a narrow annulus around the planet. Consequently, studies have focused on the effect of atmospheric horizontal heterogeneities along the limb. Here we demonstrate that the region probed in transmission -- the limb -- extends significantly toward the day and night sides of the planet. We show that the strong day-night thermal and compositional gradients expected on synchronous exoplanets create sufficient heterogeneities across the limb to result in important systematic effects on the spectrum and bias its interpretation. To quantify these effects, we developed a 3D radiative transfer model able to generate transmission spectra of atmospheres based on 3D atmospheric structures. We first produce synthetic JWST observations from a simulation of GJ 1214b and demonstrate the necessity of a real 3D approach to model data for such precise observatories. Second, we investigate how day-night temperature gradients cause a systematic bias in retrieval analysis performed with 1D forward models. For that purpose we synthesize a large set of forward spectra for prototypical HD 209458 b and GJ 1214 b type planets varying the temperatures of the day and night sides as well as the width of the transition region. We then perform typical retrieval analyses and compare the retrieved parameters to the ground truth of the input model. This study reveals systematic biases on the retrieved temperature (found to be higher than the terminator temperature) and abundances. This is due to the fact that the hotter dayside is more extended vertically and screens the nightside. These biases are difficult to detect as the 1D profiles used in the retrieval are found to provide an excellent match to the observed spectra. This needs to be kept in mind when interpreting real data.

astro-ph.EP↗

arXiv2017

Lightning Chemistry on Earth-like Exoplanets

We present a model for lightning shock induced chemistry that can be applied to atmospheres of arbitrary H/C/N/O chemistry, hence for extrasolar planets and brown dwarfs. The model couples hydrodynamics and the STAND2015 kinetic gas-phase chemistry. For an exoplanet analogue to the contemporary Earth, our model predicts NO and NO2 yields in agreement with observation. We predict height-dependent mixing ratios during a storm soon after a lightning shock of NO ~ 1e-3 at 40 km and NO2 ~ 1e-4 below 40 km, with O3 reduced to trace quantities (<< 1e-10). For an Earth-like exoplanet with a CO2/N2 dominated atmosphere and with an extremely intense lightning storm over its entire surface, we predict significant changes in the amount of NO, NO2, O3, H2O, H2, and predict significant abundance of C2N. We find that, for the Early Earth, O2 is formed in large quantities by lightning but is rapidly processed by the photochemistry, consistent with previous work on lightning. The effect of persistent global lightning storms are predicted to be significant, primarily due to NO2, with the largest spectral features present at ~3.4 μm and ~6.2 μm. The features within the transmission spectrum are on the order of 1 ppm and therefore are not likely detectable with JWST. Depending on its spectral properties, C2N could be a key tracer for lightning on Earth-like exoplanets with a N2/CO2 bulk atmosphere, unless destroyed by yet unknown chemical reactions.

astro-ph.EP↗

arXiv2016

Potassium detection in the clear atmosphere of a hot-Jupiter: FORS2 transmission spectroscopy of WASP-17b

We present FORS2 (attached to ESO's Very Large Telescope) observations of the exoplanet WASP-17b during its primary transit, for the purpose of differential spectrophotometry analysis. We use the instrument in its Mask eXchange Unit (MXU) mode to simultaneously obtain low resolution spectra of the planet hosting star, as well as several reference stars in the field of view. The integration of these spectra within broadband and smaller 100$Å$ bins provides us with 'white' and spectrophotometric light curves, from 5700 to 8000$Å$. Through modelling the white light curve, we obtain refined bulk and transit parameters of the planet, as well as wavelength-dependent variations of the planetary radius from smaller spectral bins through which the transmission spectrum is obtained. The inference of transit parameters, as well as the noise statistics, is performed using a Gaussian Process model. We achieve a typical precision in the transit depth of a few hundred parts per million from various transit light curves. From the transmission spectra we rule out a flat spectrum at >3$σ$ and detect marginal presence of the pressure-broadened sodium wings. Furthermore, we detect the wing of the potassium absorption line in the upper atmosphere of the planet with 3$σ$ confidence, both facts pointing to a relatively shallow temperature gradient of the atmosphere. These conclusions are mostly consistent with previous studies of this exo-atmosphere, although previous potassium measurements have been inconclusive.

astro-ph.EP↗

arXiv2016

Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection (Extended Version)

We present a formal approach that exploits attacks related to SQL Injection (SQLi) searching for security flaws in a web application. We give a formal representation of web applications and databases, and show that our formalization effectively exploits SQLi attacks. We implemented our approach in a prototype tool called SQLfast and we show its efficiency on real-world case studies, including the discovery of an attack on Joomla! that no other tool can find.

cs.CR↗

arXiv2016

Influence of Stellar Flares on the Chemical Composition of Exoplanets and Spectra

More than 3000 exoplanets have been detected so far, and more and more spectroscopic observations of exoplanets are performed. Future instruments are eagerly awaited as they will be able to provide spectroscopic data with a greater accuracy and sensitivity than what is currently available. An important aspect to consider is temporal stellar atmospheric disturbances that can influence the planetary composition, and hence spectra, and potentially can lead to incorrect assumptions about the steady-state atmospheric composition of the planet. We focus on perturbations that come from the host star in the form of flare events that significantly increase the photon flux impingement on the exoplanet atmosphere. In some cases, and particularly for M stars, this sudden increase may last for several hours. We aim at answering the question to what extent a stellar flare is able to modify the chemical composition of the planetary atmosphere and, therefore influence the resulting spectra. We use a 1D thermo-photochemical model to study the neutral atmospheric composition of two hypothetic planets located around the star AD Leo. This active star has already been observed during a flare. We use the spectroscopic data from this flare event to simulate the evolution of the chemical composition of the atmospheres of the two hypothetic planets. We compute synthetic spectra to evaluate the implications for observations. The increase of the incoming photon flux affects the chemical abundances of some important species down to altitudes associated with an atmospheric pressure of 1 bar, that can lead to variations in planetary spectra if performed during transit.

astro-ph.EP↗

arXiv2016

CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions

We propose extensions to the Dolev-Yao attacker model to make it suitable for arguments about security of Cyber-Physical Systems. The Dolev-Yao attacker model uses a set of rules to define potential actions by an attacker with respect to messages (i.e. information) exchanged between parties during a protocol execution. As the traditional Dolev-Yao model considers only information (exchanged over a channel controlled by the attacker), the model cannot directly be used to argue about the security of cyber-physical systems where physical-layer interactions are possible. Our Dolev-Yao extension, called cyber-physical Dolev-Yao (CPDY) attacker model, allows additional orthogonal interaction channels between the parties. In particular, such orthogonal channels can be used to model physical-layer mechanical, chemical, or electrical interactions between components. In addition, we discuss the inclusion of physical properties such as location or distance in the rule set. We present an example set of additional rules for the Dolev-Yao attacker, using those we are able to formally discover physical attacks that previously could only be found by empirical methods or detailed physical process models.

cs.CR↗

arXiv2016

Transiting Exoplanet Studies and Community Targets for JWST's Early Release Science Program

The James Webb Space Telescope will revolutionize transiting exoplanet atmospheric science due to its capability for continuous, long-duration observations and its larger collecting area, spectral coverage, and spectral resolution compared to existing space-based facilities. However, it is unclear precisely how well JWST will perform and which of its myriad instruments and observing modes will be best suited for transiting exoplanet studies. In this article, we describe a prefatory JWST Early Release Science (ERS) program that focuses on testing specific observing modes to quickly give the community the data and experience it needs to plan more efficient and successful future transiting exoplanet characterization programs. We propose a multi-pronged approach wherein one aspect of the program focuses on observing transits of a single target with all of the recommended observing modes to identify and understand potential systematics, compare transmission spectra at overlapping and neighboring wavelength regions, confirm throughputs, and determine overall performances. In our search for transiting exoplanets that are well suited to achieving these goals, we identify 12 objects (dubbed "community targets") that meet our defined criteria. Currently, the most favorable target is WASP-62b because of its large predicted signal size, relatively bright host star, and location in JWST's continuous viewing zone. Since most of the community targets do not have well-characterized atmospheres, we recommend initiating preparatory observing programs to determine the presence of obscuring clouds/hazes within their atmospheres. Measurable spectroscopic features are needed to establish the optimal resolution and wavelength regions for exoplanet characterization. Other initiatives from our proposed ERS program include testing the instrument brightness limits and performing phase-curve observations.(Abridged)

astro-ph.EP↗

arXiv2015

Tau-REx II: Retrieval of emission spectra

Tau-REx (Tau Retrieval of Exoplanets) is a novel, fully Bayesian atmospheric retrieval code custom built for extrasolar atmospheres. In Waldmann et al. (2015) the transmission spectroscopic case was introduced, here we present the emission spectroscopy spectral retrieval for the Tau-REx framework. Compared to transmission spectroscopy, the emission case is often significantly more degenerate due to the need to retrieve the full atmospheric temperature-pressure (TP) profile. This is particularly true in the case of current measurements of exoplanetary atmospheres, which are either of low signal-to-noise, low spectral resolution or both. Here we present a new way of combining two existing approaches to the modelling of the said TP profile: 1) the parametric profile, where the atmospheric TP structure is analytically approximated by a few model parameters, 2) the Layer-by-Layer approach, where individual atmospheric layers are modelled. Both these approaches have distinct advantages and disadvantages in terms of convergence properties and potential model biases. The Tau-REx hybrid model presented here is a new two-stage TP profile retrieval, which combines the robustness of the analytic solution with the accuracy of the Layer-by-Layer approach. The retrieval process is demonstrated using simulations of the hot-Jupiter WASP-76b and the hot SuperEarth 55 Cnc e, as well as on the secondary eclipse measurements of HD189733b.

astro-ph.EP↗

arXiv2015

Tau-REx I: A next generation retrieval code for exoplanetary atmospheres

Spectroscopy of exoplanetary atmospheres has become a well established method for the characterisation of extrasolar planets. We here present a novel inverse retrieval code for exoplanetary atmospheres. TauRex (Tau Retrieval for Exoplanets) is a line-by-line radiative transfer fully Bayesian retrieval framework. TauRex includes the following features: 1) the optimised use of molecular line-lists from the Exomol project; 2) an unbiased atmospheric composition prior selection, through custom built pattern recognition software; 3) the use of two independent algorithms to fully sample the Bayesian likelihood space: nested sampling as well as a more classical Markov Chain Monte Carlo approach; 4) iterative Bayesian parameter and model selection using the full Bayesian Evidence as well as the Savage-Dickey Ratio for nested models, and 5) the ability to fully map very large parameter spaces through optimal code parallelisation and scalability to cluster computing. In this publication we outline the TauRex framework and demonstrate, using a theoretical hot-Jupiter transmission spectrum, the parameter retrieval and model selection. We investigate the impact of Signal-to-Noise and spectral resolution on the retrievability of individual model parameters, both in terms of error bars on the temperature and molecular mixing ratios as well as its effect on the model's global Bayesian evidence.

astro-ph.EP↗

arXiv2014

Signs of a faint disc population at polluted white dwarfs

Observations of atmospheric metals and dust discs around white dwarfs provide important clues to the fate of terrestrial planetary systems around intermediate mass stars. We present Spitzer IRAC observations of 15 metal polluted white dwarfs to investigate the occurrence and physical properties of circumstellar dust created by the disruption of planetary bodies. We find subtle infrared excess emission consistent with warm dust around KUV 15519+1730 and HS 2132+0941, and weaker excess around the DZ white dwarf G245-58, which, if real, makes it the coolest white dwarf known to exhibit a 3.6 micron excess and the first DZ star with a bright disc. All together our data corroborate a picture where 1) discs at metal-enriched white dwarfs are commonplace and most escape detection in the infrared (possibly as narrow rings), 2) the discs are long lived, having lifetimes on the order of 10^6 yr or longer, and 3) the frequency of bright, infrared detectable discs decreases with age, on a timescale of roughly 500 Myr, suggesting large planetesimal disruptions decline on this same timescale.

astro-ph.EP↗

arXiv2012

Near-UV and optical observations of the transiting exoplanet TrES-3b

We observed nine primary transits of the hot Jupiter TrES-3b in several optical and near-UV photometric bands from 2009 June to 2012 April in an attempt to detect its magnetic field. Vidotto, Jardine and Helling suggest that the magnetic field of TrES-3b can be constrained if its near-UV light curve shows an early ingress compared to its optical light curve, while its egress remains unaffected. Predicted magnetic field strengths of Jupiter-like planets should range between 8 G and 30 G. Using these magnetic field values and an assumed B_star of 100 G, the Vidotto et al. method predicts a timing difference of 5-11 min. We did not detect an early ingress in our three nights of near-UV observations, despite an average cadence of 68 s and an average photometric precision of 3.7 mmag. However, we determined an upper limit of TrES-3b's magnetic field strength to range between 0.013 and 1.3 G (for a 1-100 G magnetic field strength range for the host star, TrES-3) using a timing difference of 138 s derived from the Nyquist-Shannon sampling theorem. To verify our results of an abnormally small magnetic field strength for TrES-3b and to further constrain the techniques of Vidotto et al., we propose future observations of TrES-3b with other platforms capable of achieving a shorter near-UV cadence. We also present a refinement of the physical parameters of TrES-3b, an updated ephemeris and its first published near-UV light curve. We find that the near-UV planetary radius of Rp = 1.386+0.248-0.144 RJup is consistent with the planet's optical radius.

astro-ph.EP↗