Showing 1–50 of 115 results for author: Gibson, P

High-resolution atmospheric retrievals of WASP-76b transmission spectroscopy with ESPRESSO: Monitoring limb asymmetries across multiple transits

Authors: Cathal Maguire, Neale P. Gibson, Stevanus K. Nugroho, Mark Fortune, Swaetha Ramkumar, Siddharth Gandhi, Ernst de Mooij

Abstract: Direct atmospheric retrievals of exoplanets at high-resolution have recently allowed for a more detailed characterisation of their chemistry and dynamics from the ground. By monitoring the longitudinal distribution of species, as well as the varying vertical temperature structure and dynamics between the limbs of WASP-76b, across multiple transits, we aim to enhance our understanding of the 3D nat… ▽ More Direct atmospheric retrievals of exoplanets at high-resolution have recently allowed for a more detailed characterisation of their chemistry and dynamics from the ground. By monitoring the longitudinal distribution of species, as well as the varying vertical temperature structure and dynamics between the limbs of WASP-76b, across multiple transits, we aim to enhance our understanding of the 3D nature and chemical/dynamical evolution of such objects over the timescales of months/years. We present retrievals of three VLT/ESPRESSO observations of the ultra-hot Jupiter WASP-76b, including one not yet reported in the literature, from which we constrain the atmospheric abundances, vertical temperature structure, and atmospheric dynamics for both the leading and trailing limbs of the atmosphere separately, via novel rotational broadening kernels. We confirm the presence of VO recently reported in the atmosphere of WASP-76b. We find a uniform longitudinal distribution of Fe and Mg across the limbs of the atmosphere, for each of our transits, consistent with previous works as well as with stellar values. We constrain substellar Na/Fe and Cr/Fe ratios across each of our transits, consistent with previous studies of WASP-76b. Where constrained, V/Fe and VO/Fe ratios were also found to be broadly consistent between the limbs of the atmosphere for each of the transits, as well as with previous studies. However, for two of the transits, both V and VO were unconstrained in the leading limb, suggesting possible depletion due to recombination and condensation. The consistency of our constraints across multiple high-resolution observations, as well as with previous studies using varying modelling/retrieval frameworks and/or instruments, affirms the efficacy of high-resolution ground-based retrievals of exoplanetary atmospheres. △ Less

Submitted 17 April, 2024; v1 submitted 16 April, 2024; originally announced April 2024.

Comments: Accepted for publication in Astronomy & Astrophysics. 23 pages, 16 figures (including appendix)

Journal ref: A&A 687, A49 (2024)

How do wavelength correlations affect transmission spectra? Application of a new fast and flexible 2D Gaussian process framework to transiting exoplanet spectroscopy

Authors: Mark Fortune, Neale P. Gibson, Daniel Foreman-Mackey, Thomas M. Evans-Soma, Cathal Maguire, Swaetha Ramkumar

Abstract: The use of Gaussian processes (GPs) is a common approach to account for correlated noise in exoplanet time series, particularly for transmission and emission spectroscopy. This analysis has typically been performed for each wavelength channel separately, with the retrieved uncertainties in the transmission spectrum assumed to be independent. However, the presence of noise correlated in wavelength… ▽ More The use of Gaussian processes (GPs) is a common approach to account for correlated noise in exoplanet time series, particularly for transmission and emission spectroscopy. This analysis has typically been performed for each wavelength channel separately, with the retrieved uncertainties in the transmission spectrum assumed to be independent. However, the presence of noise correlated in wavelength could cause these uncertainties to be correlated, which could significantly affect the results of atmospheric retrievals. We present a method that uses a GP to model noise correlated in both wavelength and time simultaneously for the full spectroscopic dataset while avoiding the use of a 'common-mode' correction. To make this analysis computationally tractable, we introduce a new fast and flexible GP method that can analyse 2D datasets when the input points lie on a (potentially non-uniform) 2D grid - in our case a time by wavelength grid - and the kernel function has a Kronecker product structure. This simultaneously fits all light curves and enables the retrieval of the covariance matrix of the transmission spectrum. By testing on synthetic datasets, we demonstrate that our new approach can reliably recover atmospheric features contaminated by noise correlated in time and wavelength. In contrast, fitting each spectroscopic light curve separately performed poorly when wavelength-correlated noise was present. It frequently underestimated the uncertainty of the scattering slope and overestimated the uncertainty in the strength of sharp absorption peaks in transmission spectra. Two archival VLT/FORS2 transit observations of WASP-31b were re-analysed, with our method strongly constraining the presence of wavelength-correlated noise in both datasets and recovering significantly different constraints on atmospheric features such as the scattering slope and strength of sodium and potassium features. △ Less

Submitted 4 March, 2024; v1 submitted 23 February, 2024; originally announced February 2024.

Comments: Language revised version accepted for publication in Astronomy & Astrophysics. 35 pages, 18 figures (including appendix)

Journal ref: A&A 686, A89 (2024)

Nightside clouds and disequilibrium chemistry on the hot Jupiter WASP-43b

Authors: Taylor J. Bell, Nicolas Crouzet, Patricio E. Cubillos, Laura Kreidberg, Anjali A. A. Piette, Michael T. Roman, Joanna K. Barstow, Jasmina Blecic, Ludmila Carone, Louis-Philippe Coulombe, Elsa Ducrot, Mark Hammond, João M. Mendonça, Julianne I. Moses, Vivien Parmentier, Kevin B. Stevenson, Lucas Teinturier, Michael Zhang, Natalie M. Batalha, Jacob L. Bean, Björn Benneke, Benjamin Charnay, Katy L. Chubb, Brice-Olivier Demory, Peter Gao , et al. (58 additional authors not shown)

Abstract: Hot Jupiters are among the best-studied exoplanets, but it is still poorly understood how their chemical composition and cloud properties vary with longitude. Theoretical models predict that clouds may condense on the nightside and that molecular abundances can be driven out of equilibrium by zonal winds. Here we report a phase-resolved emission spectrum of the hot Jupiter WASP-43b measured from 5… ▽ More Hot Jupiters are among the best-studied exoplanets, but it is still poorly understood how their chemical composition and cloud properties vary with longitude. Theoretical models predict that clouds may condense on the nightside and that molecular abundances can be driven out of equilibrium by zonal winds. Here we report a phase-resolved emission spectrum of the hot Jupiter WASP-43b measured from 5-12 $μ$m with JWST's Mid-Infrared Instrument (MIRI). The spectra reveal a large day-night temperature contrast (with average brightness temperatures of 1524$\pm$35 and 863$\pm$23 Kelvin, respectively) and evidence for water absorption at all orbital phases. Comparisons with three-dimensional atmospheric models show that both the phase curve shape and emission spectra strongly suggest the presence of nightside clouds which become optically thick to thermal emission at pressures greater than ~100 mbar. The dayside is consistent with a cloudless atmosphere above the mid-infrared photosphere. Contrary to expectations from equilibrium chemistry but consistent with disequilibrium kinetics models, methane is not detected on the nightside (2$σ$ upper limit of 1-6 parts per million, depending on model assumptions). △ Less

Submitted 23 January, 2024; originally announced January 2024.

Comments: 61 pages, 13 figures, 4 tables. This preprint has been submitted to and accepted in principle for publication in Nature Astronomy without significant changes

Fix-Con: Automatic Fault Localization and Repair of Deep Learning Model Conversions between Frameworks

Authors: Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan

Abstract: Converting deep learning models between frameworks is a common step to maximize model compatibility across devices and leverage optimization features that may be exclusively provided in one deep learning framework. However, this conversion process may be riddled with bugs, making the converted models either undeployable or problematic, considerably degrading their prediction correctness. In this… ▽ More Converting deep learning models between frameworks is a common step to maximize model compatibility across devices and leverage optimization features that may be exclusively provided in one deep learning framework. However, this conversion process may be riddled with bugs, making the converted models either undeployable or problematic, considerably degrading their prediction correctness. In this paper we propose an automated approach for fault localization and repair, Fix-Con, during model conversion between deep learning frameworks. Fix-Con is capable of detecting and fixing faults introduced in model input, parameters, hyperparameters, and the model graph during conversion. Fix-Con uses a set of fault types (mined from surveying conversion issues reported \nick{in code repositories and forums}) to localize potential conversion faults in the converted target model and then repair them appropriately, e.g., replacing the parameters of the target model with those from the source model. This is done iteratively for every image in the dataset, comparing output label differences between the source model and the converted target model until all differences are resolved. We evaluate the effectiveness of Fix-Con in fixing model conversion bugs of three widely used image recognition models converted across four different deep learning frameworks. Overall, Fix-Con was able to fix $462$ out of $755$ detected conversion faults, either completely repairing or significantly improving the performance of $14$ out of the $15$ erroneous conversion cases. △ Less

Submitted 25 March, 2024; v1 submitted 22 December, 2023; originally announced December 2023.

Comments: 12 pages, 4 figures, 3 tables, 1 algorithm

AXI4MLIR: User-Driven Automatic Host Code Generation for Custom AXI-Based Accelerators

Authors: Nicolas Bohm Agostini, Jude Haris, Perry Gibson, Malith Jayaweera, Norm Rubin, Antonino Tumeo, José L. Abellán, José Cano, David Kaeli

Abstract: This paper addresses the need for automatic and efficient generation of host driver code for arbitrary custom AXI-based accelerators targeting linear algebra algorithms, an important workload in various applications, including machine learning and scientific computing. While existing tools have focused on automating accelerator prototy**, little attention has been paid to the host-accelerator in… ▽ More This paper addresses the need for automatic and efficient generation of host driver code for arbitrary custom AXI-based accelerators targeting linear algebra algorithms, an important workload in various applications, including machine learning and scientific computing. While existing tools have focused on automating accelerator prototy**, little attention has been paid to the host-accelerator interaction. This paper introduces AXI4MLIR, an extension of the MLIR compiler framework designed to facilitate the automated generation of host-accelerator driver code. With new MLIR attributes and transformations, AXI4MLIR empowers users to specify accelerator features (including their instructions) and communication patterns and exploit the host memory hierarchy. We demonstrate AXI4MLIR's versatility across different types of accelerators and problems, showcasing significant CPU cache reference reductions (up to 56%) and up to a 1.65x speedup compared to manually optimized driver code implementations. AXI4MLIR implementation is open-source and available at: https://github.com/AXI4MLIR/axi4mlir. △ Less

Submitted 22 December, 2023; originally announced December 2023.

Comments: 13 pages, 17 figures, to appear in CGO2024

ACM Class: D.3.3

DLAS: An Exploration and Assessment of the Deep Learning Acceleration Stack

Authors: Perry Gibson, José Cano, Elliot J. Crowley, Amos Storkey, Michael O'Boyle

Abstract: Deep Neural Networks (DNNs) are extremely computationally demanding, which presents a large barrier to their deployment on resource-constrained devices. Since such devices are where many emerging deep learning applications lie (e.g., drones, vision-based medical technology), significant bodies of work from both the machine learning and systems communities have attempted to provide optimizations to… ▽ More Deep Neural Networks (DNNs) are extremely computationally demanding, which presents a large barrier to their deployment on resource-constrained devices. Since such devices are where many emerging deep learning applications lie (e.g., drones, vision-based medical technology), significant bodies of work from both the machine learning and systems communities have attempted to provide optimizations to accelerate DNNs. To help unify these two perspectives, in this paper we combine machine learning and systems techniques within the Deep Learning Acceleration Stack (DLAS), and demonstrate how these layers can be tightly dependent on each other with an across-stack perturbation study. We evaluate the impact on accuracy and inference time when varying different parameters of DLAS across two datasets, seven popular DNN architectures, four DNN compression techniques, three algorithmic primitives with sparse and dense variants, untuned and auto-scheduled code generation, and four hardware platforms. Our evaluation highlights how perturbations across DLAS parameters can cause significant variation and across-stack interactions. The highest level observation from our evaluation is that the model size, accuracy, and inference time are not guaranteed to be correlated. Overall we make 13 key observations, including that speedups provided by compression techniques are very hardware dependent, and that compiler auto-tuning can significantly alter what the best algorithm to use for a given configuration is. With DLAS, we aim to provide a reference framework to aid machine learning and systems practitioners in reasoning about the context in which their respective DNN acceleration solutions exist in. With our evaluation strongly motivating the need for co-design, we believe that DLAS can be a valuable concept for exploring the next generation of co-designed accelerated deep learning solutions. △ Less

Submitted 15 November, 2023; originally announced November 2023.

High-resolution emission spectroscopy retrievals of MASCARA-1b with CRIRES+: Strong detections of CO, H$_2$O and Fe emission lines and a C$/$O consistent with solar

Authors: Swaetha Ramkumar, Neale P. Gibson, Stevanus K. Nugroho, Cathal Maguire, Mark Fortune

Abstract: The characterization of exoplanet atmospheres has proven to be successful using high-resolution spectroscopy. Phase curve observations of hot/ultra-hot Jupiters can reveal their compositions and thermal structures, thereby allowing the detection of molecules and atoms in the planetary atmosphere using the cross-correlation technique. We present pre-eclipse observations of the ultra-hot Jupiter, MA… ▽ More The characterization of exoplanet atmospheres has proven to be successful using high-resolution spectroscopy. Phase curve observations of hot/ultra-hot Jupiters can reveal their compositions and thermal structures, thereby allowing the detection of molecules and atoms in the planetary atmosphere using the cross-correlation technique. We present pre-eclipse observations of the ultra-hot Jupiter, MASCARA-1b, observed with the recently upgraded CRIRES+ high-resolution infrared spectrograph at the VLT. We report a detection of $\rm Fe$ ($\approx$8.3$σ$) in the K-band and confirm previous detections of $\rm CO$ (>15$σ$) and $\rm H_2O$ (>10$σ$) in the day-side atmosphere of MASCARA-1b. Using a Bayesian inference framework, we retrieve the abundances of the detected species and constrain planetary orbital velocities, $T$-$P$ profiles, and the carbon-to-oxygen ratio ($\rm C/O$). A free retrieval results in an elevated $\rm CO$ abundance ($\log_{10}$($χ_{\rm{{}^{12}CO}}$) = $-2.85^{+0.57}_{-0.69}$), leading to a super-solar $\rm C/O$ ratio. More realistically, allowing for vertically-varying chemistry in the atmosphere by incorporating a chemical-equilibrium model results in a $\rm C/O$ of $0.68^{+0.12}_{-0.22}$ and a metallicity of $[\rm M/H] = 0.62^{+0.28}_{-0.55}$, both consistent with solar values. Finally, we also report a slight offset of the $\rm Fe$ feature in both K$_{\rm p}$ and v$_{\rm sys}$ that could be a signature of atmospheric dynamics. Due to the 3D structure of exoplanet atmospheres and the exclusion of time/phase dependence in our 1D forward models, further follow-up observations and analysis are required to confirm or refute this result. △ Less

Submitted 14 August, 2023; originally announced August 2023.

Comments: 21 pages, 18 figures, 4 tables, accepted for publication in Monthly Notices of the Royal Astronomical Society

DeltaNN: Assessing the Impact of Computational Environment Parameters on the Performance of Image Recognition Models

Authors: Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan

Abstract: Image recognition tasks typically use deep learning and require enormous processing power, thus relying on hardware accelerators like GPUs and TPUs for fast, timely processing. Failure in real-time image recognition tasks can occur due to sub-optimal map** on hardware accelerators during model deployment, which may lead to timing uncertainty and erroneous behavior. Map** on hardware accelerato… ▽ More Image recognition tasks typically use deep learning and require enormous processing power, thus relying on hardware accelerators like GPUs and TPUs for fast, timely processing. Failure in real-time image recognition tasks can occur due to sub-optimal map** on hardware accelerators during model deployment, which may lead to timing uncertainty and erroneous behavior. Map** on hardware accelerators is done using multiple software components like deep learning frameworks, compilers, and device libraries, that we refer to as the computational environment. Owing to the increased use of image recognition tasks in safety-critical applications like autonomous driving and medical imaging, it is imperative to assess their robustness to changes in the computational environment, as the impact of parameters like deep learning frameworks, compiler optimizations, and hardware devices on model performance and correctness is not yet well understood. In this paper we present a differential testing framework, DeltaNN, that allows us to assess the impact of different computational environment parameters on the performance of image recognition models during deployment, post training. DeltaNN generates different implementations of a given image recognition model for variations in environment parameters, namely, deep learning frameworks, compiler optimizations and hardware devices and analyzes differences in model performance as a result. Using DeltaNN, we conduct an empirical study of robustness analysis of three popular image recognition models using the ImageNet dataset. We report the impact in terms of misclassifications and inference time differences across different settings. In total, we observed up to 100% output label differences across deep learning frameworks, and up to 81% unexpected performance degradation in terms of inference time, when applying compiler optimizations. △ Less

Submitted 25 March, 2024; v1 submitted 5 June, 2023; originally announced June 2023.

Comments: 11 pages, 10 figures, 2 tables

Fault Localization for Buggy Deep Learning Framework Conversions in Image Recognition

Authors: Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan

Abstract: When deploying Deep Neural Networks (DNNs), developers often convert models from one deep learning framework to another (e.g., TensorFlow to PyTorch). However, this process is error-prone and can impact target model accuracy. To identify the extent of such impact, we perform and briefly present a differential analysis against three DNNs widely used for image recognition (MobileNetV2, ResNet101, an… ▽ More When deploying Deep Neural Networks (DNNs), developers often convert models from one deep learning framework to another (e.g., TensorFlow to PyTorch). However, this process is error-prone and can impact target model accuracy. To identify the extent of such impact, we perform and briefly present a differential analysis against three DNNs widely used for image recognition (MobileNetV2, ResNet101, and InceptionV3) converted across four well-known deep learning frameworks (PyTorch, Keras, TensorFlow (TF), and TFLite), which revealed numerous model crashes and output label discrepancies of up to 100%. To mitigate such errors, we present a novel approach towards fault localization and repair of buggy deep learning framework conversions, focusing on pre-trained image recognition models. Our technique consists of four stages of analysis: 1) conversion tools, 2) model parameters, 3) model hyperparameters, and 4) graph representation. In addition, we propose various strategies towards fault repair of the faults detected. We implement our technique on top of the Apache TVM deep learning compiler, and we test it by conducting a preliminary fault localization analysis for the conversion of InceptionV3 from TF to TFLite. Our approach detected a fault in a common DNN converter tool, which introduced precision errors in weights, reducing model accuracy. After our fault localization, we repaired the issue, reducing our conversion error to zero. △ Less

Submitted 25 March, 2024; v1 submitted 10 June, 2023; originally announced June 2023.

Comments: 5 pages, 3 figures, 1 table

MutateNN: Mutation Testing of Image Recognition Models Deployed on Hardware Accelerators

Authors: Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan

Abstract: The increased utilization of Artificial Intelligence (AI) solutions brings with it inherent risks, such as misclassification and sub-optimal execution time performance, due to errors introduced in their deployment infrastructure because of problematic configuration and software faults. On top of that, AI methods such as Deep Neural Networks (DNNs) are utilized to perform demanding, resource-intens… ▽ More The increased utilization of Artificial Intelligence (AI) solutions brings with it inherent risks, such as misclassification and sub-optimal execution time performance, due to errors introduced in their deployment infrastructure because of problematic configuration and software faults. On top of that, AI methods such as Deep Neural Networks (DNNs) are utilized to perform demanding, resource-intensive and even safety-critical tasks, and in order to effectively increase the performance of the DNN models deployed, a variety of Machine Learning (ML) compilers have been developed, allowing compatibility of DNNs with a variety of hardware acceleration devices, such as GPUs and TPUs. Furthermore the correctness of the compilation process should be verified. In order to allow developers and researchers to explore the robustness of DNN models deployed on different hardware accelerators via ML compilers, in this paper we propose MutateNN, a tool that provides mutation testing and model analysis features in the context of deployment on different hardware accelerators. To demonstrate the capabilities of MutateNN, we focus on the image recognition domain by applying mutation testing to 7 well-established models utilized for image classification. We instruct 21 mutations of 6 different categories, and deploy our mutants on 4 different hardware acceleration devices of varying capabilities. Our results indicate that models are proven robust to changes related to layer modifications and arithmetic operators, while presenting discrepancies of up to 90.3% in mutants related to conditional operators. We also observed unexpectedly severe performance degradation on mutations related to arithmetic types of variables, leading the mutants to produce the same classifications for all dataset inputs. △ Less

Submitted 31 January, 2024; v1 submitted 2 June, 2023; originally announced June 2023.

Comments: 7 pages, 7 figures

Retrieval survey of metals in six ultra-hot Jupiters: Trends in chemistry, rain-out, ionisation and atmospheric dynamics

Authors: Siddharth Gandhi, Aurora Kesseli, Yapeng Zhang, Amy Louca, Ignas Snellen, Matteo Brogi, Yamila Miguel, Núria Casasayas-Barris, Stefan Pelletier, Rico Landman, Cathal Maguire, Neale P. Gibson

Abstract: Ground-based high-resolution spectroscopy (HRS) has detected numerous chemical species and atmospheric dynamics in exoplanets, most notably ultra-hot Jupiters (UHJs). However, quantitative estimates on abundances have been challenging but are essential for accurate comparative characterisation and to determine formation scenarios. In this work we retrieve the atmospheres of six UHJs (WASP-76~b, MA… ▽ More Ground-based high-resolution spectroscopy (HRS) has detected numerous chemical species and atmospheric dynamics in exoplanets, most notably ultra-hot Jupiters (UHJs). However, quantitative estimates on abundances have been challenging but are essential for accurate comparative characterisation and to determine formation scenarios. In this work we retrieve the atmospheres of six UHJs (WASP-76~b, MASCARA-4~b, MASCARA-2~b, WASP-121~b, HAT-P-70~b and WASP-189~b) with ESPRESSO and HARPS-N/HARPS observations, exploring trends in eleven neutral species and dynamics. While Fe abundances agree well with stellar values, Mg, Ni, Cr, Mn and V show more variation, highlighting the difficulty in using a single species as a proxy for metallicity. We find that Ca, Na, Ti and TiO are under-abundant, potentially due to ionisation and/or night-side rain-out. Our retrievals also show that relative abundances between species are more robust, consistent with previous works. We perform spatially- and phase-resolved retrievals for WASP-76~b and WASP-121~b given their high signal-to-noise observations, and find the chemical abundances in each of the terminator regions are broadly consistent. We additionally constrain dynamics for our sample through Doppler shifts and broadening of the planetary signals during the primary eclipse, with median blue shifts between $\sim$0.9-9.0~km/s due to day-night winds. Furthermore, we constrain spectroscopic masses for MASCARA-2~b and HAT-P-70~b consistent with their known upper limits, but we note that these may be biased due to degeneracies. This work highlights the importance of future HRS studies to further probe differences and trends between exoplanets. △ Less

Submitted 26 May, 2023; originally announced May 2023.

Comments: 26 pages, 11 figures, 5 tables, published in AJ

Journal ref: The Astronomical Journal, Volume 165, 242 (2023)

A spectroscopic thermometer: individual vibrational band spectroscopy with the example of OH in the atmosphere of WASP-33b

Authors: Sam O. M. Wright, Stevanus K. Nugroho, Matteo Brogi, Neale P. Gibson, Ernst J. W. de Mooij, Ingo Waldmann, Jonathan Tennyson, Hajime Kawahara, Masayuki Kuzuhara, Teruyuki Hirano, Takayuki Kotani, Yui Kawashima, Kento Masuda, Jayne L. Birkby, Chris A. Watson, Motohide Tamura, Konstanze Zwintz, Hiroki Harakawa, Tomoyuki Kudo, Klaus Hodapp, Shane Jacobson, Mihoko Konishi, Takashi Kurokawa, Jun Nishikawa, Masashi Omiya , et al. (4 additional authors not shown)

Abstract: Individual vibrational band spectroscopy presents an opportunity to examine exoplanet atmospheres in detail by distinguishing where the vibrational state populations of molecules differ from the current assumption of a Boltzmann distribution. Here, retrieving vibrational bands of OH in exoplanet atmospheres is explored using the hot Jupiter WASP-33b as an example. We simulate low-resolution spectr… ▽ More Individual vibrational band spectroscopy presents an opportunity to examine exoplanet atmospheres in detail by distinguishing where the vibrational state populations of molecules differ from the current assumption of a Boltzmann distribution. Here, retrieving vibrational bands of OH in exoplanet atmospheres is explored using the hot Jupiter WASP-33b as an example. We simulate low-resolution spectroscopic data for observations with the JWST's NIRSpec instrument and use high resolution observational data obtained from the Subaru InfraRed Doppler instrument (IRD). Vibrational band-specific OH cross section sets are constructed and used in retrievals on the (simulated) low and (real) high resolution data. Low resolution observations are simulated for two WASP-33b emission scenarios: under the assumption of local thermal equilibrium (LTE) and a toy non-LTE model for vibrational excitation of selected bands. We show that mixing ratios for individual bands can be retrieved with sufficient precision to allow the vibrational population distributions of the forward models to be reconstructed. A simple fit for the Boltzmann distribution in the LTE case shows that the vibrational temperature is recoverable in this manner. For high resolution, cross-correlation applications, we apply the individual vibrational band analysis to an IRD spectrum of WASP-33b, applying an 'un-peeling' technique. Individual detection significances for the two strongest bands are shown to be in line with Boltzmann distributed vibrational state populations consistent with the effective temperature of the WASP-33b atmosphere reported previously. We show the viability of this approach for analysing the individual vibrational state populations behind observed and simulated spectra including reconstructing state population distributions. △ Less

Submitted 18 May, 2023; originally announced May 2023.

Comments: Submitted for publication in AJ

Explicit solution of the 1D Schrödinger equation

Authors: Peter Gibson

Abstract: Evaluation of a product integral with values in the Lie group SU(1,1) yields the explicit solution to the impedance form of the Schrödinger equation. Explicit formulas for the transmission coefficient and $S$-matrix of the classical one-dimensional Schrödinger operator with arbitrary compactly supported potential are obtained as a consequence. The formulas involve operator theoretic analogues of t… ▽ More Evaluation of a product integral with values in the Lie group SU(1,1) yields the explicit solution to the impedance form of the Schrödinger equation. Explicit formulas for the transmission coefficient and $S$-matrix of the classical one-dimensional Schrödinger operator with arbitrary compactly supported potential are obtained as a consequence. The formulas involve operator theoretic analogues of the standard hyperbolic functions, and provide a new window on acoustic and quantum scattering in one dimension. △ Less

Submitted 16 May, 2023; originally announced May 2023.

Comments: 28 pages

MSC Class: 34L40; 34A05; 34L25

A broadband thermal emission spectrum of the ultra-hot Jupiter WASP-18b

Authors: Louis-Philippe Coulombe, Björn Benneke, Ryan Challener, Anjali A. A. Piette, Lindsey S. Wiser, Megan Mansfield, Ryan J. MacDonald, Hayley Beltz, Adina D. Feinstein, Michael Radica, Arjun B. Savel, Leonardo A. Dos Santos, Jacob L. Bean, Vivien Parmentier, Ian Wong, Emily Rauscher, Thaddeus D. Komacek, Eliza M. -R. Kempton, Xianyu Tan, Mark Hammond, Neil T. Lewis, Michael R. Line, Elspeth K. H. Lee, Hinna Shivkumar, Ian J. M. Crossfield , et al. (51 additional authors not shown)

Abstract: Close-in giant exoplanets with temperatures greater than 2,000 K (''ultra-hot Jupiters'') have been the subject of extensive efforts to determine their atmospheric properties using thermal emission measurements from the Hubble and Spitzer Space Telescopes. However, previous studies have yielded inconsistent results because the small sizes of the spectral features and the limited information conten… ▽ More Close-in giant exoplanets with temperatures greater than 2,000 K (''ultra-hot Jupiters'') have been the subject of extensive efforts to determine their atmospheric properties using thermal emission measurements from the Hubble and Spitzer Space Telescopes. However, previous studies have yielded inconsistent results because the small sizes of the spectral features and the limited information content of the data resulted in high sensitivity to the varying assumptions made in the treatment of instrument systematics and the atmospheric retrieval analysis. Here we present a dayside thermal emission spectrum of the ultra-hot Jupiter WASP-18b obtained with the NIRISS instrument on JWST. The data span 0.85 to 2.85 $μ$m in wavelength at an average resolving power of 400 and exhibit minimal systematics. The spectrum shows three water emission features (at $>$6$σ$ confidence) and evidence for optical opacity, possibly due to H$^-$, TiO, and VO (combined significance of 3.8$σ$). Models that fit the data require a thermal inversion, molecular dissociation as predicted by chemical equilibrium, a solar heavy element abundance (''metallicity'', M/H = 1.03$_{-0.51}^{+1.11}$ $\times$ solar), and a carbon-to-oxygen (C/O) ratio less than unity. The data also yield a dayside brightness temperature map, which shows a peak in temperature near the sub-stellar point that decreases steeply and symmetrically with longitude toward the terminators. △ Less

Submitted 20 January, 2023; v1 submitted 19 January, 2023; originally announced January 2023.

Comments: JWST ERS bright star observations. Uploaded to inform JWST Cycle 2 proposals. Manuscript under review. 50 pages, 14 figures, 2 tables

Early Release Science of the exoplanet WASP-39b with JWST NIRISS

Authors: Adina D. Feinstein, Michael Radica, Luis Welbanks, Catriona Anne Murray, Kazumasa Ohno, Louis-Philippe Coulombe, Néstor Espinoza, Jacob L. Bean, Johanna K. Teske, Björn Benneke, Michael R. Line, Zafar Rustamkulov, Arianna Saba, Angelos Tsiaras, Joanna K. Barstow, Jonathan J. Fortney, Peter Gao, Heather A. Knutson, Ryan J. MacDonald, Thomas Mikal-Evans, Benjamin V. Rackham, Jake Taylor, Vivien Parmentier, Natalie M. Batalha, Zachory K. Berta-Thompson , et al. (64 additional authors not shown)

Abstract: Transmission spectroscopy provides insight into the atmospheric properties and consequently the formation history, physics, and chemistry of transiting exoplanets. However, obtaining precise inferences of atmospheric properties from transmission spectra requires simultaneously measuring the strength and shape of multiple spectral absorption features from a wide range of chemical species. This has… ▽ More Transmission spectroscopy provides insight into the atmospheric properties and consequently the formation history, physics, and chemistry of transiting exoplanets. However, obtaining precise inferences of atmospheric properties from transmission spectra requires simultaneously measuring the strength and shape of multiple spectral absorption features from a wide range of chemical species. This has been challenging given the precision and wavelength coverage of previous observatories. Here, we present the transmission spectrum of the Saturn-mass exoplanet WASP-39b obtained using the SOSS mode of the NIRISS instrument on the JWST. This spectrum spans $0.6 - 2.8 μ$m in wavelength and reveals multiple water absorption bands, the potassium resonance doublet, as well as signatures of clouds. The precision and broad wavelength coverage of NIRISS-SOSS allows us to break model degeneracies between cloud properties and the atmospheric composition of WASP-39b, favoring a heavy element enhancement ("metallicity") of $\sim 10 - 30 \times$ the solar value, a sub-solar carbon-to-oxygen (C/O) ratio, and a solar-to-super-solar potassium-to-oxygen (K/O) ratio. The observations are best explained by wavelength-dependent, non-gray clouds with inhomogeneous coverage of the planet's terminator. △ Less

Submitted 18 November, 2022; originally announced November 2022.

Comments: 48 pages, 12 figures, 2 tables. Under review at Nature

Photochemically-produced SO$_2$ in the atmosphere of WASP-39b

Authors: Shang-Min Tsai, Elspeth K. H. Lee, Diana Powell, Peter Gao, Xi Zhang, Julianne Moses, Eric Hébrard, Olivia Venot, Vivien Parmentier, Sean Jordan, Renyu Hu, Munazza K. Alam, Lili Alderson, Natalie M. Batalha, Jacob L. Bean, Björn Benneke, Carver J. Bierson, Ryan P. Brady, Ludmila Carone, Aarynn L. Carter, Katy L. Chubb, Julie Inglis, Jérémy Leconte, Mercedes Lopez-Morales, Yamila Miguel , et al. (60 additional authors not shown)

Abstract: Photochemistry is a fundamental process of planetary atmospheres that regulates the atmospheric composition and stability. However, no unambiguous photochemical products have been detected in exoplanet atmospheres to date. Recent observations from the JWST Transiting Exoplanet Early Release Science Program found a spectral absorption feature at 4.05 $μ$m arising from SO$_2$ in the atmosphere of WA… ▽ More Photochemistry is a fundamental process of planetary atmospheres that regulates the atmospheric composition and stability. However, no unambiguous photochemical products have been detected in exoplanet atmospheres to date. Recent observations from the JWST Transiting Exoplanet Early Release Science Program found a spectral absorption feature at 4.05 $μ$m arising from SO$_2$ in the atmosphere of WASP-39b. WASP-39b is a 1.27-Jupiter-radii, Saturn-mass (0.28 M$_J$) gas giant exoplanet orbiting a Sun-like star with an equilibrium temperature of $\sim$1100 K. The most plausible way of generating SO$_2$ in such an atmosphere is through photochemical processes. Here we show that the SO$_2$ distribution computed by a suite of photochemical models robustly explains the 4.05 $μ$m spectral feature identified by JWST transmission observations with NIRSpec PRISM (2.7$σ$) and G395H (4.5$σ$). SO$_2$ is produced by successive oxidation of sulphur radicals freed when hydrogen sulphide (H$_2$S) is destroyed. The sensitivity of the SO$_2$ feature to the enrichment of the atmosphere by heavy elements (metallicity) suggests that it can be used as a tracer of atmospheric properties, with WASP-39b exhibiting an inferred metallicity of $\sim$10$\times$ solar. We further point out that SO$_2$ also shows observable features at ultraviolet and thermal infrared wavelengths not available from the existing observations. △ Less

Submitted 24 March, 2023; v1 submitted 18 November, 2022; originally announced November 2022.

Comments: 39 pages, 14 figures, accepted to be published in Nature

Early Release Science of the exoplanet WASP-39b with JWST NIRCam

Authors: Eva-Maria Ahrer, Kevin B. Stevenson, Megan Mansfield, Sarah E. Moran, Jonathan Brande, Giuseppe Morello, Catriona A. Murray, Nikolay K. Nikolov, Dominique J. M. Petit dit de la Roche, Everett Schlawin, Peter J. Wheatley, Sebastian Zieba, Natasha E. Batalha, Mario Damiano, Jayesh M Goyal, Monika Lendl, Joshua D. Lothringer, Sagnick Mukherjee, Kazumasa Ohno, Natalie M. Batalha, Matthew P. Battley, Jacob L. Bean, Thomas G. Beatty, Björn Benneke, Zachory K. Berta-Thompson , et al. (74 additional authors not shown)

Abstract: Measuring the metallicity and carbon-to-oxygen (C/O) ratio in exoplanet atmospheres is a fundamental step towards constraining the dominant chemical processes at work and, if in equilibrium, revealing planet formation histories. Transmission spectroscopy provides the necessary means by constraining the abundances of oxygen- and carbon-bearing species; however, this requires broad wavelength covera… ▽ More Measuring the metallicity and carbon-to-oxygen (C/O) ratio in exoplanet atmospheres is a fundamental step towards constraining the dominant chemical processes at work and, if in equilibrium, revealing planet formation histories. Transmission spectroscopy provides the necessary means by constraining the abundances of oxygen- and carbon-bearing species; however, this requires broad wavelength coverage, moderate spectral resolution, and high precision that, together, are not achievable with previous observatories. Now that JWST has commenced science operations, we are able to observe exoplanets at previously uncharted wavelengths and spectral resolutions. Here we report time-series observations of the transiting exoplanet WASP-39b using JWST's Near InfraRed Camera (NIRCam). The long-wavelength spectroscopic and short-wavelength photometric light curves span 2.0 - 4.0 $μ$m, exhibit minimal systematics, and reveal well-defined molecular absorption features in the planet's spectrum. Specifically, we detect gaseous H$_2$O in the atmosphere and place an upper limit on the abundance of CH$_4$. The otherwise prominent CO$_2$ feature at 2.8 $μ$m is largely masked by H$_2$O. The best-fit chemical equilibrium models favour an atmospheric metallicity of 1-100$\times$ solar (i.e., an enrichment of elements heavier than helium relative to the Sun) and a sub-stellar carbon-to-oxygen (C/O) ratio. The inferred high metallicity and low C/O ratio may indicate significant accretion of solid materials during planet formation or disequilibrium processes in the upper atmosphere. △ Less

Submitted 18 November, 2022; originally announced November 2022.

Comments: 35 pages, 13 figures, 3 tables, Nature, accepted

Early Release Science of the Exoplanet WASP-39b with JWST NIRSpec G395H

Authors: Lili Alderson, Hannah R. Wakeford, Munazza K. Alam, Natasha E. Batalha, Joshua D. Lothringer, Jea Adams Redai, Saugata Barat, Jonathan Brande, Mario Damiano, Tansu Daylan, Néstor Espinoza, Laura Flagg, Jayesh M. Goyal, David Grant, Renyu Hu, Julie Inglis, Elspeth K. H. Lee, Thomas Mikal-Evans, Lakeisha Ramos-Rosado, Pierre-Alexis Roy, Nicole L. Wallack, Natalie M. Batalha, Jacob L. Bean, Björn Benneke, Zachory K. Berta-Thompson , et al. (67 additional authors not shown)

Abstract: Measuring the abundances of carbon and oxygen in exoplanet atmospheres is considered a crucial avenue for unlocking the formation and evolution of exoplanetary systems. Access to an exoplanet's chemical inventory requires high-precision observations, often inferred from individual molecular detections with low-resolution space-based and high-resolution ground-based facilities. Here we report the m… ▽ More Measuring the abundances of carbon and oxygen in exoplanet atmospheres is considered a crucial avenue for unlocking the formation and evolution of exoplanetary systems. Access to an exoplanet's chemical inventory requires high-precision observations, often inferred from individual molecular detections with low-resolution space-based and high-resolution ground-based facilities. Here we report the medium-resolution (R$\sim$600) transmission spectrum of an exoplanet atmosphere between 3-5 $μ$m covering multiple absorption features for the Saturn-mass exoplanet WASP-39b, obtained with JWST NIRSpec G395H. Our observations achieve 1.46x photon precision, providing an average transit depth uncertainty of 221 ppm per spectroscopic bin, and present minimal impacts from systematic effects. We detect significant absorption from CO$_2$ (28.5$σ$) and H$_2$O (21.5$σ$), and identify SO$_2$ as the source of absorption at 4.1 $μ$m (4.8$σ$). Best-fit atmospheric models range between 3 and 10x solar metallicity, with sub-solar to solar C/O ratios. These results, including the detection of SO$_2$, underscore the importance of characterising the chemistry in exoplanet atmospheres, and showcase NIRSpec G395H as an excellent mode for time series observations over this critical wavelength range. △ Less

Submitted 18 November, 2022; originally announced November 2022.

Comments: 44 pages, 11 figures, 3 tables. Resubmitted after revision to Nature

Early Release Science of the exoplanet WASP-39b with JWST NIRSpec PRISM

Authors: Z. Rustamkulov, D. K. Sing, S. Mukherjee, E. M. May, J. Kirk, E. Schlawin, M. R. Line, C. Piaulet, A. L. Carter, N. E. Batalha, J. M. Goyal, M. López-Morales, J. D. Lothringer, R. J. MacDonald, S. E. Moran, K. B. Stevenson, H. R. Wakeford, N. Espinoza, J. L. Bean, N. M. Batalha, B. Benneke, Z. K. Berta-Thompson, I. J. M. Crossfield, P. Gao, L. Kreidberg , et al. (69 additional authors not shown)

Abstract: Transmission spectroscopy of exoplanets has revealed signatures of water vapor, aerosols, and alkali metals in a few dozen exoplanet atmospheres. However, these previous inferences with the Hubble and Spitzer Space Telescopes were hindered by the observations' relatively narrow wavelength range and spectral resolving power, which precluded the unambiguous identification of other chemical species… ▽ More Transmission spectroscopy of exoplanets has revealed signatures of water vapor, aerosols, and alkali metals in a few dozen exoplanet atmospheres. However, these previous inferences with the Hubble and Spitzer Space Telescopes were hindered by the observations' relatively narrow wavelength range and spectral resolving power, which precluded the unambiguous identification of other chemical species$-$in particular the primary carbon-bearing molecules. Here we report a broad-wavelength 0.5-5.5 $μ$m atmospheric transmission spectrum of WASP-39 b, a 1200 K, roughly Saturn-mass, Jupiter-radius exoplanet, measured with JWST NIRSpec's PRISM mode as part of the JWST Transiting Exoplanet Community Early Release Science Team program. We robustly detect multiple chemical species at high significance, including Na (19$σ$), H$_2$O (33$σ$), CO$_2$ (28$σ$), and CO (7$σ$). The non-detection of CH$_4$, combined with a strong CO$_2$ feature, favours atmospheric models with a super-solar atmospheric metallicity. An unanticipated absorption feature at 4$μ$m is best explained by SO$_2$ (2.7$σ$), which could be a tracer of atmospheric photochemistry. These observations demonstrate JWST's sensitivity to a rich diversity of exoplanet compositions and chemical processes. △ Less

Submitted 18 November, 2022; originally announced November 2022.

Comments: 41 pages, 4 main figures, 10 extended data figures, 4 tables. Under review in Nature

High-resolution atmospheric retrievals of WASP-121b transmission spectroscopy with ESPRESSO: Consistent relative abundance constraints across multiple epochs and instruments

Authors: Cathal Maguire, Neale P. Gibson, Stevanus K. Nugroho, Swaetha Ramkumar, Mark Fortune, Stephanie R. Merritt, Ernst de Mooij

Abstract: Recent progress in high-resolution transmission spectroscopy has offered new avenues in which to characterise the atmospheres of transiting exoplanets. High-resolution cross-correlation spectroscopy allows for the unambiguous detection of molecules/atoms. It has also been used to map both atmospheric dynamics and longitudinal variations in the abundance of species across the morning and evening li… ▽ More Recent progress in high-resolution transmission spectroscopy has offered new avenues in which to characterise the atmospheres of transiting exoplanets. High-resolution cross-correlation spectroscopy allows for the unambiguous detection of molecules/atoms. It has also been used to map both atmospheric dynamics and longitudinal variations in the abundance of species across the morning and evening limbs. We present multiple VLT/ESPRESSO observations of the ultra-hot Jupiter WASP-121b, from which we constrain relative abundances of various neutral metals consistently across all observations, whilst accounting for the distortion of the exoplanet's signal caused by traditional data processing techniques. We also constrain planetary orbital velocities and $T$-$P$ profiles. We compare our abundance constraints with previous constraints using VLT/UVES transmission spectroscopy of WASP-121b, and find our results to be consistent between observations, and also in agreement with stellar values for species previously detected in the atmosphere of WASP-121b. Our retrieval framework can also be used to identify potential exospheric species, resulting in extended absorption features beyond the transit equivalent Roche limit of WASP-121b ($R_{\rm eqRL}$ $\sim$ 1.3 $R_{\rm p}$). H$α$, Fe II, and Ca II were found to extend to high altitudes ($1.54\pm0.04$ $R_{\rm p}$, $1.17\pm0.01$ $R_{\rm p}$, and $2.52\pm0.34$ $R_{\rm p}$, respectively), which are broadly consistent with literature values. The consistency of our constraints across multiple high-resolution observations is a strong validation of our model filtering and retrieval framework, as well as the stability of the atmosphere over the timescales of months/years, and could allow for planet formation processes to be inferred from future ground-based observations of exoplanetary atmospheres. △ Less

Submitted 17 November, 2022; originally announced November 2022.

Comments: 20 pages, 12 figures, 3 tables, accepted for publication in Monthly Notices of the Royal Astronomical Society

Exploring Effects of Computational Parameter Changes to Image Recognition Systems

Authors: Nikolaos Louloudakis, Perry Gibson, José Cano, Ajitha Rajan

Abstract: Image recognition tasks typically use deep learning and require enormous processing power, thus relying on hardware accelerators like GPUs and FPGAs for fast, timely processing. Failure in real-time image recognition tasks can occur due to incorrect map** on hardware accelerators, which may lead to timing uncertainty and incorrect behavior. Owing to the increased use of image recognition tasks i… ▽ More Image recognition tasks typically use deep learning and require enormous processing power, thus relying on hardware accelerators like GPUs and FPGAs for fast, timely processing. Failure in real-time image recognition tasks can occur due to incorrect map** on hardware accelerators, which may lead to timing uncertainty and incorrect behavior. Owing to the increased use of image recognition tasks in safety-critical applications like autonomous driving and medical imaging, it is imperative to assess their robustness to changes in the computational environment as parameters like deep learning frameworks, compiler optimizations for code generation, and hardware devices are not regulated with varying impact on model performance and correctness. In this paper we conduct robustness analysis of four popular image recognition models (MobileNetV2, ResNet101V2, DenseNet121 and InceptionV3) with the ImageNet dataset, assessing the impact of the following parameters in the model's computational environment: (1) deep learning frameworks; (2) compiler optimizations; and (3) hardware devices. We report sensitivity of model performance in terms of output label and inference time for changes in each of these environment parameters. We find that output label predictions for all four models are sensitive to choice of deep learning framework (by up to 57%) and insensitive to other parameters. On the other hand, model inference time was affected by all environment parameters with changes in hardware device having the most effect. The extent of effect was not uniform across models. △ Less

Submitted 21 February, 2023; v1 submitted 1 November, 2022; originally announced November 2022.

Comments: 9 pages, 8 figures, 1 table

Higher dimensional versions of theorems of Euler and Fuss

Authors: Peter Gibson, Nicolau Saldanha, Carlos Tomei

Abstract: We present higher dimensional versions of the classical results of Euler and Fuss, both of which are special cases of the celebrated Poncelet porism. Our results concern polytopes, specifically simplices, parallelotopes and cross polytopes, inscribed in a given ellipsoid and circumscribed to another. The statements and proofs use the language of linear algebra. Without loss, one of the ellipsoids… ▽ More We present higher dimensional versions of the classical results of Euler and Fuss, both of which are special cases of the celebrated Poncelet porism. Our results concern polytopes, specifically simplices, parallelotopes and cross polytopes, inscribed in a given ellipsoid and circumscribed to another. The statements and proofs use the language of linear algebra. Without loss, one of the ellipsoids is the unit sphere and the other one is also centered at the origin. Let $A$ be the positive symmetric matrix taking the outer ellipsoid to the inner one. If $trace A = 1$, there exists a bijection between the orthogonal group $O(n)$ and the set of such labeled simplices. Similarly, if $trace A^2 = 1$, there are families of parallelotopes and of cross polytopes, also indexed by $O(n)$. △ Less

Submitted 31 October, 2022; originally announced October 2022.

Comments: 15 pages, 4 figures

MSC Class: 51M20; 51M16; 52A40; 15A63; 52B11; 52C17; 52C07

Identification of carbon dioxide in an exoplanet atmosphere

Authors: The JWST Transiting Exoplanet Community Early Release Science Team, Eva-Maria Ahrer, Lili Alderson, Natalie M. Batalha, Natasha E. Batalha, Jacob L. Bean, Thomas G. Beatty, Taylor J. Bell, Björn Benneke, Zachory K. Berta-Thompson, Aarynn L. Carter, Ian J. M. Crossfield, Néstor Espinoza, Adina D. Feinstein, Jonathan J. Fortney, Neale P. Gibson, Jayesh M. Goyal, Eliza M. -R. Kempton, James Kirk, Laura Kreidberg, Mercedes López-Morales, Michael R. Line, Joshua D. Lothringer, Sarah E. Moran, Sagnick Mukherjee , et al. (107 additional authors not shown)

Abstract: Carbon dioxide (CO2) is a key chemical species that is found in a wide range of planetary atmospheres. In the context of exoplanets, CO2 is an indicator of the metal enrichment (i.e., elements heavier than helium, also called "metallicity"), and thus formation processes of the primary atmospheres of hot gas giants. It is also one of the most promising species to detect in the secondary atmospheres… ▽ More Carbon dioxide (CO2) is a key chemical species that is found in a wide range of planetary atmospheres. In the context of exoplanets, CO2 is an indicator of the metal enrichment (i.e., elements heavier than helium, also called "metallicity"), and thus formation processes of the primary atmospheres of hot gas giants. It is also one of the most promising species to detect in the secondary atmospheres of terrestrial exoplanets. Previous photometric measurements of transiting planets with the Spitzer Space Telescope have given hints of the presence of CO2 but have not yielded definitive detections due to the lack of unambiguous spectroscopic identification. Here we present the detection of CO2 in the atmosphere of the gas giant exoplanet WASP-39b from transmission spectroscopy observations obtained with JWST as part of the Early Release Science Program (ERS). The data used in this study span 3.0 to 5.5 μm in wavelength and show a prominent CO2 absorption feature at 4.3 μm (26σ significance). The overall spectrum is well matched by one-dimensional, 10x solar metallicity models that assume radiative-convective-thermochemical equilibrium and have moderate cloud opacity. These models predict that the atmosphere should have water, carbon monoxide, and hydrogen sulfide in addition to CO2, but little methane. Furthermore, we also tentatively detect a small absorption feature near 4.0 μm that is not reproduced by these models. △ Less

Submitted 24 August, 2022; originally announced August 2022.

Comments: 27 pages, 6 figures, Accepted for publication in Nature, data and models available at https://doi.10.5281/zenodo.6959427

Productive Reproducible Workflows for DNNs: A Case Study for Industrial Defect Detection

Authors: Perry Gibson, José Cano

Abstract: As Deep Neural Networks (DNNs) have become an increasingly ubiquitous workload, the range of libraries and tooling available to aid in their development and deployment has grown significantly. Scalable, production quality tools are freely available under permissive licenses, and are accessible enough to enable even small teams to be very productive. However within the research community, awareness… ▽ More As Deep Neural Networks (DNNs) have become an increasingly ubiquitous workload, the range of libraries and tooling available to aid in their development and deployment has grown significantly. Scalable, production quality tools are freely available under permissive licenses, and are accessible enough to enable even small teams to be very productive. However within the research community, awareness and usage of said tools is not necessarily widespread, and researchers may be missing out on potential productivity gains from exploiting the latest tools and workflows. This paper presents a case study where we discuss our recent experience producing an end-to-end artificial intelligence application for industrial defect detection. We detail the high level deep learning libraries, containerized workflows, continuous integration/deployment pipelines, and open source code templates we leveraged to produce a competitive result, matching the performance of other ranked solutions to our three target datasets. We highlight the value that exploiting such systems can bring, even for research, and detail our solution and present our best results in terms of accuracy and inference time on a server class GPU, as well as inference times on a server class CPU, and a Raspberry Pi 4. △ Less

Submitted 19 June, 2022; originally announced June 2022.

Comments: 7 pages, 5 figures, AccML 2022

Solar-to-supersolar sodium and oxygen absolute abundances for a "hot Saturn" orbiting a metal-rich star

Authors: Nikolay K. Nikolov, David K. Sing, Jessica J. Spake, Barry Smalley, Jayesh M. Goyal, Thomas Mikal-Evans, Hannah R. Wakeford, Zafar Rustamkulov, Drake Deming, Jonathan J. Fortney, Aarynn Carter, Neale P. Gibson, Nathan J. Mayne

Abstract: We present new analysis of infrared transmission spectroscopy of the cloud-free hot-Saturn WASP-96b performed with the Hubble and Spitzer Space Telescopes (HST and Spitzer). The WASP-96b spectrum exhibits the absorption feature from water in excellent agreement with synthetic spectra computed assuming a cloud-free atmosphere. The HST-Spitzer spectrum is coupled with Very Large Telescope (VLT) opti… ▽ More We present new analysis of infrared transmission spectroscopy of the cloud-free hot-Saturn WASP-96b performed with the Hubble and Spitzer Space Telescopes (HST and Spitzer). The WASP-96b spectrum exhibits the absorption feature from water in excellent agreement with synthetic spectra computed assuming a cloud-free atmosphere. The HST-Spitzer spectrum is coupled with Very Large Telescope (VLT) optical transmission spectroscopy which reveals the full pressure-broadened profile of the sodium absorption feature and enables the derivation of absolute abundances. We confirm and correct for a spectral offset of $ΔR_{\rm p}/R_{\ast}=(-4.29^{+0.31}_{-0.37})\,\times10^{-3}$ of the VLT data relative to the HST-Spitzer spectrum. This offset can be explained by the assumed radius for the common-mode correction of the VLT spectra, which is a well-known feature of ground-based transmission spectroscopy. We find evidence for a lack of chromospheric and photometric activity of the host star which, therefore, make a negligible contribution to the offset. We measure abundances for Na and O that are consistent with solar to supersolar, with abundances relative to solar values of $21^{+27}_{-14}$ and $7^{+11}_{-4}$, respectively. We complement the transmission spectrum with new thermal emission constraints from Spitzer observations at 3.6 and $4.5μ$m, which are best explained by the spectrum of an atmosphere with a temperature decreasing with altitude. A fit to the spectrum assuming an isothermal blackbody atmosphere constrains the dayside temperature to be $T_{\rm{p}}$=$1545$$\pm$$90$K. △ Less

Submitted 31 May, 2022; originally announced June 2022.

Comments: Accepted for publication in MNRAS

Bifrost: End-to-End Evaluation and Optimization of Reconfigurable DNN Accelerators

Authors: Axel Stjerngren, Perry Gibson, José Cano

Abstract: Reconfigurable accelerators for deep neural networks (DNNs) promise to improve performance such as inference latency. STONNE is the first cycle-accurate simulator for reconfigurable DNN inference accelerators which allows for the exploration of accelerator designs and configuration space. However, preparing models for evaluation and exploring configuration space in STONNE is a manual developer-tim… ▽ More Reconfigurable accelerators for deep neural networks (DNNs) promise to improve performance such as inference latency. STONNE is the first cycle-accurate simulator for reconfigurable DNN inference accelerators which allows for the exploration of accelerator designs and configuration space. However, preparing models for evaluation and exploring configuration space in STONNE is a manual developer-timeconsuming process, which is a barrier for research. This paper introduces Bifrost, an end-to-end framework for the evaluation and optimization of reconfigurable DNN inference accelerators. Bifrost operates as a frontend for STONNE and leverages the TVM deep learning compiler stack to parse models and automate offloading of accelerated computations. We discuss Bifrost's advantages over STONNE and other tools, and evaluate the MAERI and SIGMA architectures using Bifrost. Additionally, Bifrost introduces a module leveraging AutoTVM to efficiently explore accelerator designs and dataflow map** space to optimize performance. This is demonstrated by tuning the MAERI architecture and generating efficient dataflow map**s for AlexNet, obtaining an average speedup of $50\times$ for the convolutional layers and $11\times$ for the fully connected layers. Our code is available at www.github.com/gicLAB/bifrost. △ Less

Submitted 26 April, 2022; originally announced April 2022.

Comments: This paper is accepted to ISPASS 2022

Constraints on TESS albedos for five hot Jupiters

Authors: Martin Blažek, Petr Kabáth, Anjali A. A. Piette, Nikku Madhusudhan, Marek Skarka, Ján Šubjak, David R. Anderson, Henri M. J. Boffin, Claudio C. Cáceres, Neale P. Gibson, Sergio Hoyer, Valentin D. Ivanov, Patricio M. Rojo

Abstract: Photometric observations of occultations of transiting exoplanets can place important constraints on the thermal emission and albedos of their atmospheres. We analyse photometric measurements and derive geometric albedo ($A_\mathrm{g}$) constraints for five hot Jupiters observed with TESS in the optical: WASP-18 b, WASP-36 b, WASP-43 b, WASP-50 b and WASP-51 b. For WASP-43 b, our results are compl… ▽ More Photometric observations of occultations of transiting exoplanets can place important constraints on the thermal emission and albedos of their atmospheres. We analyse photometric measurements and derive geometric albedo ($A_\mathrm{g}$) constraints for five hot Jupiters observed with TESS in the optical: WASP-18 b, WASP-36 b, WASP-43 b, WASP-50 b and WASP-51 b. For WASP-43 b, our results are complemented by a VLT/HAWK-I observation in the near-infrared at $2.09~μ$m. We derive the first geometric albedo constraints for WASP-50 b and WASP-51 b: $A_\mathrm{g}<0.445$ and $A_\mathrm{g}<0.368$, respectively. We find that WASP-43 b and WASP-18 b are both consistent with low geometric albedos ($A_\mathrm{g}<0.16$) even though they lie at opposite ends of the hot Jupiter temperature range with equilibrium temperatures of $\sim1400$ K and $\sim2500$ K, respectively. We report self-consistent atmospheric models which explain broadband observations for both planets from TESS, \HST, \Spitzer and VLT/HAWK-I. We find that the data of both hot Jupiters can be explained by thermal emission alone and inefficient day-night energy redistribution. The data do not require optical scattering from clouds/hazes, consistent with the low geometric albedos observed. △ Less

Submitted 7 April, 2022; originally announced April 2022.

Comments: 21 pages, 7 figures

Day-side Fe I Emission, Day-Night Brightness Contrast and Phase Offset of the Exoplanet WASP-33b

Authors: Miranda K. Herman, Ernst J. W. de Mooij, Stevanus K. Nugroho, Neale P. Gibson, Ray Jayawardhana

Abstract: We report on Fe I in the day-side atmosphere of the ultra-hot Jupiter WASP-33b, providing evidence for a thermal inversion in the presence of an atomic species. We also introduce a new way to constrain the planet's brightness variation throughout its orbit, including its day-night contrast and peak phase offset, using high-resolution Doppler spectroscopy alone. We do so by analyzing high-resolutio… ▽ More We report on Fe I in the day-side atmosphere of the ultra-hot Jupiter WASP-33b, providing evidence for a thermal inversion in the presence of an atomic species. We also introduce a new way to constrain the planet's brightness variation throughout its orbit, including its day-night contrast and peak phase offset, using high-resolution Doppler spectroscopy alone. We do so by analyzing high-resolution optical spectra of six arcs of the planet's phase curve, using ESPaDOnS on the Canada-France-Hawaii telescope and HDS on the Subaru telescope. By employing a likelihood map** technique, we explore the marginalized distributions of parameterized atmospheric models, and detect Fe I emission at high significance ($>10.4σ$) in our combined data sets, located at $K_{\rm p}=222.1\pm0.4$ km/s and $v_{\rm sys}=-6.5\pm0.3$ km/s. Our values agree with previous reports. By accounting for WASP-33b's brightness variation, we find evidence that its night-side flux is $<10\%$ of the day-side flux and the emission peak is shifted westward of the substellar point, assuming the spectrum is dominated by Fe I. Our ESPaDOnS data, which cover phases before and after the secondary eclipse more evenly, weakly constrain the phase offset to $+22\pm12$ degrees. We caution that the derived volume-mixing-ratio depends on our choice of temperature-pressure profile, but note it does not significantly influence our constraints on day-night contrast or phase offset. Finally, we use simulations to illustrate how observations with increased phase coverage and higher signal-to-noise ratios can improve these constraints, showcasing the expanding capabilities of high-resolution Doppler spectroscopy. △ Less

Submitted 21 March, 2022; originally announced March 2022.

Comments: 19 pages, 10 figures; accepted to AJ

Theorems of Szegő-Verblunsky type in the multivariate and almost periodic settings

Authors: Peter C. Gibson

Abstract: The classical Szegő-Verblunsky theorem relates integrability of the logarithm of the absolutely continuous part of a probability measure on the circle to square summability of the sequence of recurrence coefficients for the orthogonal polynomials determined by the measure. The present paper constructs orthogonal polynomials on the torus of arbitrary finite dimension in order to prove theorems of S… ▽ More The classical Szegő-Verblunsky theorem relates integrability of the logarithm of the absolutely continuous part of a probability measure on the circle to square summability of the sequence of recurrence coefficients for the orthogonal polynomials determined by the measure. The present paper constructs orthogonal polynomials on the torus of arbitrary finite dimension in order to prove theorems of Szegő-Verblunsky type in the multivariate and almost periodic settings. The results are applied to the one-dimensional Schrödinger equation in impedance form to yield a new trace formula valid for piecewise constant impedance, a case where the classical trace formula breaks down. As a byproduct, the analysis gives an explicit formula for the Taylor coefficients of a bounded holomorphic function on the open disk in terms of its continued fraction expansion. △ Less

Submitted 21 February, 2022; originally announced February 2022.

Comments: 32 pages

MSC Class: 42C05 (32A10; 42B30; 42A75; 34L25)

Transfer-Tuning: Reusing Auto-Schedules for Efficient Tensor Program Code Generation

Authors: Perry Gibson, José Cano

Abstract: Auto-scheduling for tensor programs is a process where a search algorithm automatically explores candidate schedules (program transformations) for a given program on a target hardware platform to improve its performance. However this can be a very time consuming process depending on the complexity of the tensor program and the capacity of the target device, with often many thousands of program var… ▽ More Auto-scheduling for tensor programs is a process where a search algorithm automatically explores candidate schedules (program transformations) for a given program on a target hardware platform to improve its performance. However this can be a very time consuming process depending on the complexity of the tensor program and the capacity of the target device, with often many thousands of program variants being explored. To address this, in this paper we introduce the idea of transfer-tuning, a novel approach to identify and reuse auto-schedules between tensor programs. We demonstrate this concept using Deep Neural Networks (DNNs), taking sets of auto-schedules from pre-tuned DNNs and using them to reduce the inference time of a new DNN. We compare transfer-tuning against the state-of-the-art Ansor auto-scheduler, defining the maximum possible speedup for a given DNN model as what Ansor achieves using its recommended full tuning time. On a server-class CPU and across 11 widely used DNN models, we observe that transfer-tuning achieves up to $88.41\%$ ($49.13\%$ on average) of this maximum speedup, while Ansor requires $6.5\times$ more search time on average to match it. We also evaluate transfer-tuning on a constrained edge CPU and observe that the differences in search time are exacerbated, with Ansor requiring $10.8\times$ more time on average to match transfer-tuning's speedup, which further demonstrates its value. Our code is available at https://www.github.com/gicLAB/transfer-tuning △ Less

Submitted 7 September, 2022; v1 submitted 14 January, 2022; originally announced January 2022.

Comments: 12 pages, 8 figures, in PACT 2022

Relative abundance constraints from high-resolution optical transmission spectroscopy of WASP-121b, and a fast model-filtering technique for accelerating retrievals

Authors: Neale P. Gibson, Stevanus K. Nugroho, Joshua Lothringer, Cathal Maguire, David K. Sing

Abstract: High-resolution Doppler-resolved spectroscopy has presented new opportunities for studying the atmospheres of exoplanets. While the 'classical' cross-correlation approach has proven to be efficient at finding atmospheric species, it is unable to perform direct atmospheric retrievals. Recent work has shown that retrievals are possible using a direct likelihood evaluation or likelihood 'map**s'. T… ▽ More High-resolution Doppler-resolved spectroscopy has presented new opportunities for studying the atmospheres of exoplanets. While the 'classical' cross-correlation approach has proven to be efficient at finding atmospheric species, it is unable to perform direct atmospheric retrievals. Recent work has shown that retrievals are possible using a direct likelihood evaluation or likelihood 'map**s'. The unique aspect of high-resolution retrievals is that the data-processing methods required to remove the stellar and telluric lines also distort the underlying exoplanet's signal and therefore the forward model must be pre-processed to match this filtering. This was the key remaining limitation in our previously published framework. This paper directly addresses this by introducing a simple and fast model-filtering technique that can replicate the processing performed by algorithms such as SysRem and PCA. This enables retrievals to be performed without having to perform expensive injection and pre-processing steps for every model. We show that we can reliably constrain quantitative measures of the atmosphere from transmission spectra including the temperature-pressure profile, relative abundances, planetary velocities and rotational broadening parameters. Finally, we demonstrate our framework using UVES transmission spectroscopy of WASP-121b. We constrain the temperature-pressure profile and relative abundances of Fe, Cr, and V to be $\log_{10}(χ_{\rm Fe}/χ_{\rm Cr})$=1.66$\pm$0.28, $\log_{10}(χ_{\rm Fe}/χ_{\rm V})$=3.78$\pm$0.29 and $\log_{10}(χ_{\rm Fe}/χ_{\rm Mg})$=-1.26$\pm$0.60. The relative abundances are consistent with solar values, with the exception of Fe/Mg, where the large Mg abundance is probably explained by the esca** atmosphere of WASP-121b that is not accounted for in our atmospheric model. △ Less

Submitted 11 January, 2022; originally announced January 2022.

Comments: Accepted for publication in MNRAS. 22 pages, 14 figures

SECDA: Efficient Hardware/Software Co-Design of FPGA-based DNN Accelerators for Edge Inference

Authors: Jude Haris, Perry Gibson, José Cano, Nicolas Bohm Agostini, David Kaeli

Abstract: Edge computing devices inherently face tight resource constraints, which is especially apparent when deploying Deep Neural Networks (DNN) with high memory and compute demands. FPGAs are commonly available in edge devices. Since these reconfigurable circuits can achieve higher throughput and lower power consumption than general purpose processors, they are especially well-suited for DNN acceleratio… ▽ More Edge computing devices inherently face tight resource constraints, which is especially apparent when deploying Deep Neural Networks (DNN) with high memory and compute demands. FPGAs are commonly available in edge devices. Since these reconfigurable circuits can achieve higher throughput and lower power consumption than general purpose processors, they are especially well-suited for DNN acceleration. However, existing solutions for designing FPGA-based DNN accelerators for edge devices come with high development overheads, given the cost of repeated FPGA synthesis passes, reimplementation in a Hardware Description Language (HDL) of the simulated design, and accelerator system integration. In this paper we propose SECDA, a new hardware/software co-design methodology to reduce design time of optimized DNN inference accelerators on edge devices with FPGAs. SECDA combines cost-effective SystemC simulation with hardware execution, streamlining design space exploration and the development process via reduced design evaluation time. As a case study, we use SECDA to efficiently develop two different DNN accelerator designs on a PYNQ-Z1 board, a platform that includes an edge FPGA. We quickly and iteratively explore the system's hardware/software stack, while identifying and mitigating performance bottlenecks. We evaluate the two accelerator designs with four common DNN models, achieving an average performance speedup across models of up to 3.5$\times$ with a 2.9$\times$ reduction in energy consumption over CPU-only inference. Our code is available at https://github.com/gicLAB/SECDA △ Less

Submitted 1 October, 2021; originally announced October 2021.

Comments: This paper is accepted to SBAC-PAD 2021

Scattering on the line via singular approximation

Authors: Peter C. Gibson

Abstract: Motivated by applications to acoustic imaging, the present work establishes a framework to analyze scattering for the one-dimensional wave, Helmholtz, Schrödinger and Riccati equations that allows for coefficients which are more singular than can be accommodated by previous theory. In place of the standard scattering matrix or the Weyl-Titchmarsh $m$-function, the analysis centres on a new object,… ▽ More Motivated by applications to acoustic imaging, the present work establishes a framework to analyze scattering for the one-dimensional wave, Helmholtz, Schrödinger and Riccati equations that allows for coefficients which are more singular than can be accommodated by previous theory. In place of the standard scattering matrix or the Weyl-Titchmarsh $m$-function, the analysis centres on a new object, the generalized reflection coefficient, which maps frequency (or the spectral parameter) to automorphisms of the Poincaré disk. Purely singular versions of the generalized reflection coefficient, which are amenable to direct analysis, serve to approximate the general case. Orthogonal polynomials on both the unit circle and unit disk play a key technical role, as does an exotic Riemannian structure on PSL$(2,\mathbb{R})$. A central role is also played by the newly-defined harmonic exponential operator, introduced to mediate between impedance (or index of refraction) and the reflection coefficient. The approach leads to new, explicit formulas and effective algorithms for both forward and inverse scattering. The algorithms may be viewed as nonlinear analogues of the FFT. In addition, the scattering relation is shown to be elementary in a precise sense at or below the critical threshold of continuous impedance. For discontinuous impedance, however, the reflection coefficient ceases to decay at infinity, the classical trace formula breaks down, and the scattering relation is complicated by the emergence of almost periodic structure. △ Less

Submitted 25 February, 2022; v1 submitted 22 August, 2021; originally announced August 2021.

Comments: 88 pages, 5 figures

MSC Class: 34L25; 35P25; 42C05; 65L09; 34B24; 34L40

An inventory of atomic species in the atmosphere of WASP-121b using UVES high-resolution spectroscopy

Authors: Stephanie R. Merritt, Neale P. Gibson, Stevanus K. Nugroho, Ernst J. W. de Mooij, Matthew J. Hooton, Joshua D. Lothringer, Shannon M. Matthews, Thomas Mikal-Evans, Nikolay Nikolov, David K. Sing, Chris A. Watson

Abstract: Ultra-hot Jupiters (UHJs) present excellent targets for atmospheric characterisation. Their hot dayside temperatures (T $\gtrsim$ 2200 K) strongly suppress the formation of condensates, leading to clear and highly-inflated atmospheres extremely conducive to transmission spectroscopy. Recent studies using optical high-resolution spectra have discovered a plethora of neutral and ionised atomic speci… ▽ More Ultra-hot Jupiters (UHJs) present excellent targets for atmospheric characterisation. Their hot dayside temperatures (T $\gtrsim$ 2200 K) strongly suppress the formation of condensates, leading to clear and highly-inflated atmospheres extremely conducive to transmission spectroscopy. Recent studies using optical high-resolution spectra have discovered a plethora of neutral and ionised atomic species in UHJs, placing constraints on their atmospheric structure and composition. Our recent work has presented a search for molecular features and detection of Fe I in the UHJ WASP-121b using VLT/UVES transmission spectroscopy. Here, we present a systematic search for atomic species in its atmosphere using cross-correlation methods. In a single transit, we uncover potential signals of 17 atomic species which we investigate further, categorising 5 as strong detections, 3 as tentative detections, and 9 as weak signals worthy of further exploration. We confirm previous detections of Cr I, V I, Ca I, K I and exospheric H I and Ca II made with HARPS and ESPRESSO, and independently re-recover our previous detection of Fe I at 8.8 $σ$ using both the blue and red arms of the UVES data. We also add a novel detection of Sc II at 4.2 $σ$. Our results further demonstrate the richness of UHJs for optical high-resolution spectroscopy. △ Less

Submitted 5 July, 2021; v1 submitted 29 June, 2021; originally announced June 2021.

Comments: 20 pages, 8 figures, 3 tables. Accepted for publication in MNRAS

Transmission spectroscopy with VLT FORS2: a featureless spectrum for the low-density transiting exoplanet WASP-88b

Authors: Petros Spyratos, Nikolay Nikolov, John Southworth, Savvas Constantinou, Nikku Madhusudhan, Aarynn L. Carter, Ernst J. W. de Mooij, Jonathan J. Fortney, Neale P. Gibson, Jayesh M. Goyal, Christiane Helling, Nathan J. Mayne, Thomas Mikal-Evans

Abstract: We present ground-based optical transmission spectroscopy of the low-density hot Jupiter WASP-88b covering the wavelength range 4413-8333 Å with the FORS2 spectrograph on the Very Large Telescope. The FORS2 white light curves exhibit a significant time-correlated noise which we model using a Gaussian Process and remove as a wavelength-independent component from the spectroscopic light curves. We a… ▽ More We present ground-based optical transmission spectroscopy of the low-density hot Jupiter WASP-88b covering the wavelength range 4413-8333 Å with the FORS2 spectrograph on the Very Large Telescope. The FORS2 white light curves exhibit a significant time-correlated noise which we model using a Gaussian Process and remove as a wavelength-independent component from the spectroscopic light curves. We analyse complementary photometric observations from the Transiting Exoplanet Survey Satellite and refine the system properties and ephemeris. We find a featureless transmission spectrum with increased absorption towards shorter wavelengths. We perform an atmospheric retrieval analysis with the AURA code, finding tentative evidence for haze in the upper atmospheric layers and a lower likelihood for a dense cloud deck. Whilst our retrieval analysis results point toward clouds and hazes, further evidence is needed to definitively reject a clear-sky scenario. △ Less

Submitted 28 June, 2021; originally announced June 2021.

Comments: 19 pages, 12 figures, 3 tables, Accepted for publication in MNRAS

Ground-Based Transmission Spectroscopy with VLT FORS2: Evidence for faculae and clouds in the optical spectrum of the warm Saturn WASP-110b

Authors: Nikolay Nikolov, Gracjan Maciejewski, Savvas Constantinou, Nikku Madhusudhan, Jonathan J. Fortney, Barry Smalley, Aarynn L. Carter, Ernst J. W. de Mooij, Benjamin Drummond, Neale P. Gibson, Christiane Helling, Nathan J. Mayne, Thomas Mikal-Evans, David K. Sing, Jamie Wilson

Abstract: We present a ground-based optical transmission spectrum for the warm Saturn-mass exoplanet WASP-110b from two transit observations made with the FOcal Reducer and Spectrograph (FORS2) on the Very Large Telescope (VLT). The spectrum covers the wavelength range from 4000 to 8333Å, which is binned in 46 transit depths measured to an averaged precision of 220 parts per million (ppm) over an averaged 8… ▽ More We present a ground-based optical transmission spectrum for the warm Saturn-mass exoplanet WASP-110b from two transit observations made with the FOcal Reducer and Spectrograph (FORS2) on the Very Large Telescope (VLT). The spectrum covers the wavelength range from 4000 to 8333Å, which is binned in 46 transit depths measured to an averaged precision of 220 parts per million (ppm) over an averaged 80Å~bin for a Vmag=12.8 star. The measured transit depths are unaffected by a dilution from a close A-type field dwarf, which was fully resolved. The overall main characteristic of the transmission spectrum is an increasing radius with wavelength and a lack of the theoretically predicted pressure-broadened sodium and potassium absorption features for a cloud-free atmosphere. We analyze archival high-resolution optical spectroscopy and find evidence for low to moderate activity of the host star, which we take into account in the atmospheric retrieval analysis. Using the AURA retrieval code, we find that the observed transmission spectrum can be best explained by a combination of unocculted stellar faculae and a cloud deck. Transmission spectra of cloud-free and hazy atmospheres are rejected at a high confidence. With a possible cloud deck at its terminator, WASP-110b joins the increasing population of irradiated hot-Jupiter exoplanets with cloudy atmospheres observed in transmission. △ Less

Submitted 13 May, 2021; originally announced May 2021.

Comments: Accepted for publication in The Astronomical Journal

ACCESS & LRG-BEASTS: a precise new optical transmission spectrum of the ultrahot Jupiter WASP-103b

Authors: James Kirk, Ben Rackham, Ryan MacDonald, Mercedes López-Morales, Néstor Espinoza, Monika Lendl, Jamie Wilson, David J. Osip, Peter J. Wheatley, Ian Skillen, Dániel Apai, Alex Bixel, Neale P. Gibson, Andrés Jordan, Nikole K. Lewis, Tom Louden, Chima D. McGruder, Nikolay Nikolov, Florian Rodler, Ian C. Weaver

Abstract: We present a new ground-based optical transmission spectrum of the ultrahot Jupiter WASP-103b ($T_{eq} = 2484$K). Our transmission spectrum is the result of combining five new transits from the ACCESS survey and two new transits from the LRG-BEASTS survey with a reanalysis of three archival Gemini/GMOS transits and one VLT/FORS2 transit. Our combined 11-transit transmission spectrum covers a wavel… ▽ More We present a new ground-based optical transmission spectrum of the ultrahot Jupiter WASP-103b ($T_{eq} = 2484$K). Our transmission spectrum is the result of combining five new transits from the ACCESS survey and two new transits from the LRG-BEASTS survey with a reanalysis of three archival Gemini/GMOS transits and one VLT/FORS2 transit. Our combined 11-transit transmission spectrum covers a wavelength range of 3900--9450A with a median uncertainty in the transit depth of 148 parts-per-million, which is less than one atmospheric scale height of the planet. In our retrieval analysis of WASP-103b's combined optical and infrared transmission spectrum, we find strong evidence for unocculted bright regions ($4.3σ$) and weak evidence for H$_2$O ($1.9σ$), HCN ($1.7σ$), and TiO ($2.1σ$), which could be responsible for WASP-103b's observed temperature inversion. Our optical transmission spectrum shows significant structure that is in excellent agreement with the extensively studied ultrahot Jupiter WASP-121b, for which the presence of VO has been inferred. For WASP-103b, we find that VO can only provide a reasonable fit to the data if its abundance is implausibly high and we do not account for stellar activity. Our results highlight the precision that can be achieved by ground-based observations and the impacts that stellar activity from F-type stars can have on the interpretation of exoplanet transmission spectra. △ Less

Submitted 30 April, 2021; originally announced May 2021.

Comments: 33 pages, 17 figures, 7 tables. Accepted for publication in AJ

Gemini/GMOS Optical Transmission Spectroscopy of WASP-121b: signs of variability in an ultra-hot Jupiter?

Authors: Jamie Wilson, Neale P. Gibson, Joshua D. Lothringer, David K. Sing, Thomas Mikal-Evans, Ernst J. W. de Mooij, Nikolay Nikolov, Chris A. Watson

Abstract: We present ground-based, spectroscopic observations of two transits of the ultra-hot Jupiter WASP-121b covering the wavelength range $\approx$500 - 950 nm using Gemini/GMOS. We use a Gaussian process framework to model instrumental systematics in the light curves, and also demonstrate the use of the more generalised Student's-T process to verify our results. We find that our measured transmission… ▽ More We present ground-based, spectroscopic observations of two transits of the ultra-hot Jupiter WASP-121b covering the wavelength range $\approx$500 - 950 nm using Gemini/GMOS. We use a Gaussian process framework to model instrumental systematics in the light curves, and also demonstrate the use of the more generalised Student's-T process to verify our results. We find that our measured transmission spectrum, whilst showing overall agreement, is slightly discrepant with results obtained using HST/STIS, particularly for wavelengths shortward of $\approx$650 nm. In contrast to the STIS results, we find evidence for an increasing blueward slope and little evidence for absorption from either TiO or VO in our retrieval, in agreement with a number of recent studies performed at high-resolution. We suggest that this might point to some other absorbers, particularly some combination of recently detected atomic metals, in addition to scattering by hazes, being responsible for the excess optical absorption and observed vertical thermal inversion. Our results are also broadly consistent with previous ground-based photometry and 3D GCM predictions, however, these assumed different chemistry to our retrievals. In addition, we show that the GMOS observations are repeatable over short periods (days), similarly to the HST/STIS observations. Their difference over longer periods (months) could well be the result of temporal variability in the atmospheric properties (i.e. weather) as predicted by theoretical models of ultra-hot Jupiters; however, more mundane explanations such as instrumental systematics and stellar activity cannot be fully ruled out, and we encourage future observations to explore this possibility. △ Less

Submitted 9 March, 2021; originally announced March 2021.

Comments: 17 pages, 10 Figures. Accepted for publication in MNRAS

First Detection of Hydroxyl Radical Emission from an Exoplanet Atmosphere: High-dispersion Characterization of WASP-33b using Subaru/IRD

Authors: Stevanus K. Nugroho, Hajime Kawahara, Neale P. Gibson, Ernst J. W. de Mooij, Teruyuki Hirano, Takayuki Kotani, Yui Kawashima, Kento Masuda, Matteo Brogi, Jayne L. Birkby, Chris A. Watson, Motohide Tamura, Konstanze Zwintz, Hiroki Harakawa, Tomoyuki Kudo, Masayuki Kuzuhara, Klaus Hodapp, Masato Ishizuka, Shane Jacobson, Mihoko Konishi, Takashi Kurokawa, Jun Nishikawa, Masashi Omiya, Takuma Serizawa, Akitoshi Ueda , et al. (1 additional authors not shown)

Abstract: We report the first detection of a hydroxyl radical (OH) emission signature in the planetary atmosphere outside the solar system, in this case, in the day-side of WASP-33b. We analyze high-resolution near-infrared emission spectra of WASP-33b taken using the InfraRed Doppler spectrograph on the 8.2-m Subaru telescope. The telluric and stellar lines are removed using a de-trending algorithm, SysRem… ▽ More We report the first detection of a hydroxyl radical (OH) emission signature in the planetary atmosphere outside the solar system, in this case, in the day-side of WASP-33b. We analyze high-resolution near-infrared emission spectra of WASP-33b taken using the InfraRed Doppler spectrograph on the 8.2-m Subaru telescope. The telluric and stellar lines are removed using a de-trending algorithm, SysRem. The residuals are then cross-correlated with OH and H$_{2}$O planetary spectrum templates produced using several different line-lists. We check and confirm the accuracy of OH line-lists by cross-correlating with the spectrum of GJ 436. As a result, we detect the emission signature of OH at $K_\mathrm{p}$ of 230.9$^{+6.9}_{-7.4}$ km s$^{-1}$ and $v_{\mathrm{sys}}$ of $-$0.3$^{+5.3}_{-5.6}$ km s$^{-1}$ with S/N of 5.4 and significance of 5.5$σ$. Additionally, we marginally detect H$_{2}$O emission in the H-band with S/N of 4.0 and significance of 5.2$σ$ using the POKAZATEL line-list. However, no significant signal is detected using the HITEMP 2010, which might be due to differences in line positions and strengths, as well as the incompleteness of the line-lists. Nonetheless, this marginal detection is consistent with the prediction that H$_{2}$O is mostly thermally dissociated in the upper atmosphere of the ultra-hot Jupiters. Therefore, along with CO, OH is expected to be one of the most abundant O-bearing molecules in the day-side atmosphere of ultra-hot Jupiters and should be considered when studying their atmosphere. △ Less

Submitted 4 March, 2021; originally announced March 2021.

Comments: Accepted for publication on ApJL; 12 pages, 6 figures

A New Window into Planet Formation and Migration: Refractory-to-Volatile Elemental Ratios in Ultra-hot Jupiters

Authors: Joshua D. Lothringer, Zafar Rustamkulov, David K. Sing, Neale P. Gibson, Jamie Wilson, Kevin C. Schlaufman

Abstract: A primary goal of exoplanet characterization is to use a planet's current composition to understand how that planet formed. For example, the C/O ratio has long been recognized as carrying important information on the chemistry of volatile species. Refractory elements, like Fe, Mg, and Si, are usually not considered in this conversation because they condense into solids like Fe(s) or MgSiO$_3$ and… ▽ More A primary goal of exoplanet characterization is to use a planet's current composition to understand how that planet formed. For example, the C/O ratio has long been recognized as carrying important information on the chemistry of volatile species. Refractory elements, like Fe, Mg, and Si, are usually not considered in this conversation because they condense into solids like Fe(s) or MgSiO$_3$ and would be removed from the observable, gaseous atmosphere in exoplanets cooler than about 2000~K. However, planets hotter than about 2000~K, called ultra-hot Jupiters (UHJs), are warm enough to largely avoid the condensation of refractory species. In this paper, we explore the insight that the measurement of refractory abundances can provide into a planet's origins. Through refractory-to-volatile elemental abundance ratios, we can estimate a planet's atmospheric rock-to-ice fraction and constrain planet formation and migration scenarios. We first relate a planet's present-day refractory-to-volatile ratio to its rock-to-ice ratio from formation using various compositional models for the rocky and icy components of the protoplanetary disk. We discuss potential confounding factors like the sequestration of heavy metals in the core and condensation. We then show such a measurement using atmospheric retrievals of the low-resolution UV-IR transmission spectrum of WASP-121b with PETRA, from which we estimate a refractory-to-volatile ratio of 5.0$^{+6.0}_{-2.7}\times$ solar and a rock-to-ice ratio greater than 2/3. This result is consistent with significant atmospheric enrichment by rocky planetismals. Lastly, we discuss the rich future potential for measuring refractory-to-volatile ratios in ultra-hot Jupiters with the arrival of JWST and by combining observations at low- and high-resolution. △ Less

Submitted 15 April, 2021; v1 submitted 20 November, 2020; originally announced November 2020.

Comments: 20 pages, 9 Figures. Accepted for publication in ApJ

Is TiO emission present in the ultra-hot Jupiter WASP-33b? A reassessment using the improved ExoMol Toto line list

Authors: Dilovan B. Serindag, Stevanus K. Nugroho, Paul Mollière, Ernst J. W. de Mooij, Neale P. Gibson, Ignas A. G. Snellen

Abstract: [abridged] Efficient absorption of stellar UV and visible radiation by TiO and VO is predicted to drive temperature inversions in the upper atmospheres of hot Jupiters. However, few inversions or detections of TiO or VO have been reported, and results are often contradictory. Using the improved ExoMol Toto line list, we searched for TiO emission in the dayside spectrum of WASP-33b using the same d… ▽ More [abridged] Efficient absorption of stellar UV and visible radiation by TiO and VO is predicted to drive temperature inversions in the upper atmospheres of hot Jupiters. However, few inversions or detections of TiO or VO have been reported, and results are often contradictory. Using the improved ExoMol Toto line list, we searched for TiO emission in the dayside spectrum of WASP-33b using the same data in which the molecule was previously detected with an older line list at 4.8$σ$. We intended to confirm the molecular detection and quantify the signal improvement offered by the ExoMol Toto line list. Data from the High Dispersion Spectrograph on the Subaru Telescope was extracted and reduced in an identical manner to the previous study. Stellar and telluric contamination were then removed. High-resolution TiO emission models of WASP-33b were created using the radiative transfer code petitRADTRANS and cross-correlated with the data. We measure a 4.3$σ$ TiO emission signature using the ExoMol Toto models, corresponding to a WASP-33b orbital velocity semi-amplitude of $K_\mathrm{p}=252.9^{+5.0}_{-5.3}\ \mathrm{km\ s^{-1}}$ and a system velocity of $v_\mathrm{sys}=-23.0^{+4.7}_{-4.6}\ \mathrm{km\ s^{-1}}$. Injection-recovery tests using models based on the new and earlier line lists indicate that if the new models provide a perfect match to the planet spectrum, the significance of the TiO detection should have increased by a factor of $\sim$2. Although the TiO signal we find is statistically significant, comparison with previous works makes our result too ambiguous to claim a clear-cut detection. Unexpectedly, the new ExoMol Toto models provide a weaker signal than that found previously, which is offset in $K_\mathrm{p}$-$v_\mathrm{sys}$ space. This sheds some doubt on both detections, especially in light of a recently published TiO non-detection using a different dataset. △ Less

Submitted 20 November, 2020; originally announced November 2020.

Comments: 17 pages, 15 figures, Accepted for publication in A&A

Journal ref: A&A 645, A90 (2021)

Orpheus: A New Deep Learning Framework for Easy Deployment and Evaluation of Edge Inference

Authors: Perry Gibson, José Cano

Abstract: Optimising deep learning inference across edge devices and optimisation targets such as inference time, memory footprint and power consumption is a key challenge due to the ubiquity of neural networks. Today, production deep learning frameworks provide useful abstractions to aid machine learning engineers and systems researchers. However, in exchange they can suffer from compatibility challenges (… ▽ More Optimising deep learning inference across edge devices and optimisation targets such as inference time, memory footprint and power consumption is a key challenge due to the ubiquity of neural networks. Today, production deep learning frameworks provide useful abstractions to aid machine learning engineers and systems researchers. However, in exchange they can suffer from compatibility challenges (especially on constrained platforms), inaccessible code complexity, or design choices that otherwise limit research from a systems perspective. This paper presents Orpheus, a new deep learning framework for easy prototy**, deployment and evaluation of inference optimisations. Orpheus features a small codebase, minimal dependencies, and a simple process for integrating other third party systems. We present some preliminary evaluation results. △ Less

Submitted 3 August, 2020; v1 submitted 24 July, 2020; originally announced July 2020.

Comments: To be published as a poster in 2020 IEEE International Symposium on Performance Analysis of Systems and Software

Ground-Based Transmission Spectroscopy with FORS2: A featureless optical transmission spectrum and detection of H$_2$O for the ultra-hot Jupiter WASP-103b

Authors: J. Wilson, N. P. Gibson, N. Nikolov, S. Constantinou, N. Madhusudhan, J. Goyal, J. K. Barstow, A. L. Carter, E. J. W. de Mooij, B. Drummond, T. Mikal-Evans, C. Helling, N. J. Mayne, D. K. Sing

Abstract: We report ground-based transmission spectroscopy of the highly irradiated and ultra-short period hot-Jupiter WASP-103b covering the wavelength range $\approx$ 400-600 nm using the FORS2 instrument on the Very Large Telescope. The light curves show significant time-correlated noise which is mainly invariant in wavelength and which we model using a Gaussian process. The precision of our transmission… ▽ More We report ground-based transmission spectroscopy of the highly irradiated and ultra-short period hot-Jupiter WASP-103b covering the wavelength range $\approx$ 400-600 nm using the FORS2 instrument on the Very Large Telescope. The light curves show significant time-correlated noise which is mainly invariant in wavelength and which we model using a Gaussian process. The precision of our transmission spectrum is improved by applying a common-mode correction derived from the white light curve, reaching typical uncertainties in transit depth of $\approx$ 2x10$^{-4}$ in wavelength bins of 15 nm. After correction for flux contamination from a blended companion star, our observations reveal a featureless spectrum across the full range of the FORS2 observations and we are unable to confirm the Na absorption previously inferred using Gemini/GMOS or the strong Rayleigh scattering observed using broad-band light curves. We performed a Bayesian atmospheric retrieval on the full optical-infrared transmission spectrum using the additional data from Gemini/GMOS, HST/WFC3 and Spitzer observations and recover evidence for H$_2$O absorption at the 4.0$σ$ level. However, our observations are not able to completely rule out the presence of Na, which is found at 2.0$σ$ in our retrievals. This may in part be explained by patchy/inhomogeneous clouds or hazes dam** any absorption features in our FORS2 spectrum, but an inherently small scale height also makes this feature challenging to probe from the ground. Our results nonetheless demonstrate the continuing potential of ground-based observations for investigating exoplanet atmospheres and emphasise the need for the application of consistent and robust statistical techniques to low-resolution spectra in the presence of instrumental systematics. △ Less

Submitted 27 July, 2020; originally announced July 2020.

Comments: 17 pages, 8 Figures, Accepted for publication in MNRAS

Detection of Fe\,{\sc i} Emission in the Day-side Spectrum of WASP-33b

Authors: Stevanus K. Nugroho, Neale P. Gibson, Ernst J. W. de Mooij, Miranda K. Herman, Chris A. Watson, Hajime Kawahara, Stephanie Merrit

Abstract: We analyze the high-resolution emission spectrum of WASP-33b taken using the High Dispersion Spectrograph (R\,$\approx$\,165,000) on the 8.2-m Subaru telescope. The data cover $λ$\,$\approx$\,$6170$-$8817$\,Å, divided over 30 spectral orders. The telluric and stellar lines are removed using a de-trending algorithm, {\sc SysRem}, before cross-correlating with planetary spectral templates. We calcul… ▽ More We analyze the high-resolution emission spectrum of WASP-33b taken using the High Dispersion Spectrograph (R\,$\approx$\,165,000) on the 8.2-m Subaru telescope. The data cover $λ$\,$\approx$\,$6170$-$8817$\,Å, divided over 30 spectral orders. The telluric and stellar lines are removed using a de-trending algorithm, {\sc SysRem}, before cross-correlating with planetary spectral templates. We calculate the templates assuming a 1-D plane-parallel hydrostatic atmosphere including continuum opacity of bound-free H$^{-}$ and Rayleigh scattering by H$_{2}$ with a range of constant abundances of Fe\,{\sc i}. Using a likelihood-map** analysis, we detect an Fe\,{\sc i} emission signature at 6.4-$σ$ located at $K_{\mathrm{p}}$ of 226.0\,$^{+2.1}_{-2.3}$\,km\,s$^{-1}$and $v_{\mathrm{sys}}$ of -3.2\,$^{+2.1}_{-1.8}$\,km\,s$^{-1}$ -- consistent with the planet's expected velocity in the literature. We also confirm the existence of a thermal inversion in the day-side of the planet which is very likely to be caused by the presence of Fe\,{\sc i} and previously-detected TiO in the atmosphere. This makes WASP-33b one of the prime targets to study the relative contributions of both species to the energy budget of an ultra-hot Jupiter. △ Less

Submitted 10 July, 2020; originally announced July 2020.

Comments: Accepted for publication on ApJL; 8 pages, 4 figures, 1 table

Optimizing Grouped Convolutions on Edge Devices

Authors: Perry Gibson, José Cano, Jack Turner, Elliot J. Crowley, Michael O'Boyle, Amos Storkey

Abstract: When deploying a deep neural network on constrained hardware, it is possible to replace the network's standard convolutions with grouped convolutions. This allows for substantial memory savings with minimal loss of accuracy. However, current implementations of grouped convolutions in modern deep learning frameworks are far from performing optimally in terms of speed. In this paper we propose Group… ▽ More When deploying a deep neural network on constrained hardware, it is possible to replace the network's standard convolutions with grouped convolutions. This allows for substantial memory savings with minimal loss of accuracy. However, current implementations of grouped convolutions in modern deep learning frameworks are far from performing optimally in terms of speed. In this paper we propose Grouped Spatial Pack Convolutions (GSPC), a new implementation of grouped convolutions that outperforms existing solutions. We implement GSPC in TVM, which provides state-of-the-art performance on edge devices. We analyze a set of networks utilizing different types of grouped convolutions and evaluate their performance in terms of inference time on several edge devices. We observe that our new implementation scales well with the number of groups and provides the best inference times in all settings, improving the existing implementations of grouped convolutions in TVM, PyTorch and TensorFlow Lite by 3.4x, 8x and 4x on average respectively. Code is available at https://github.com/gecLAB/tvm-GSPC/ △ Less

Submitted 17 June, 2020; originally announced June 2020.

Comments: Camera ready version to be published at ASAP 2020 - The 31st IEEE International Conference on Application-specific Systems, Architectures and Processors. 8 pages, 6 figures

ACM Class: I.2.6; D.3.4; C.1.4

Searching for Thermal Inversion Agents in the Transmission Spectrum of MASCARA-2b/KELT-20b: Detection of Neutral Iron and Ionised Calcium H$\&$K Lines

Authors: Stevanus K. Nugroho, Neale P. Gibson, Ernst J. W. de Mooij, Chris A. Watson, Hajime Kawahara, Stephanie Merritt

Abstract: We analyse the transmission spectra of KELT-20b/MASCARA-2b to search for possible thermal inversion agents. The data consist of three transits obtained using HARPSN and one using CARMENES. We removed stellar and telluric lines before cross-correlating the residuals with spectroscopic templates produced using a 1D plane-parallel model assuming an isothermal atmosphere and chemical equilibrium at so… ▽ More We analyse the transmission spectra of KELT-20b/MASCARA-2b to search for possible thermal inversion agents. The data consist of three transits obtained using HARPSN and one using CARMENES. We removed stellar and telluric lines before cross-correlating the residuals with spectroscopic templates produced using a 1D plane-parallel model assuming an isothermal atmosphere and chemical equilibrium at solar metallicity. Using a likelihood-map** method, we detect Fe\,{\sc i} at $>$ 13-$σ$, Ca\,{\sc ii} H$\&$K at $>$ 6-$σ$ and confirm the previous detections of Fe\,{\sc ii}, Ca\,{\sc ii} IRT and Na\,{\sc i} D. The detected signal of Fe\,{\sc i} is shifted by -3.4$\pm$0.4 km s$^{-1}$ from the planetary rest frame, which indicates a strong day-night wind. Our likelihood-map** technique also reveals that the absorption features of the detected species extend to different altitudes in the planet's atmosphere. Assuming that the line lists are accurate, we do not detect other potential thermal inversion agents (NaH, MgH, AlO, SH, CaO, VO, FeH and TiO) suggesting that non-chemical equilibrium mechanisms (e.g. a cold-trap) might have removed Ti- and V-bearing species from the upper atmosphere. Our results, therefore, shows that KELT-20b/MASCARA-2b cannot possess an inversion layer caused by a TiO/VO-related mechanism. The presence of an inversion layer would therefore likely be caused by metal atoms such as Fe\,{\sc i} and Fe\,{\sc ii}. Finally, we report a double-peak structure in the Fe\,{\sc i} signal in all of our data-sets that could be a signature of atmospheric dynamics. However, further investigation is needed to robustly determine the origin of the signal. △ Less

Submitted 8 June, 2020; v1 submitted 10 March, 2020; originally announced March 2020.

Comments: 20 pages, 16 figures, 3 tables, Accepted for publication in MNRAS

Non-detection of TiO and VO in the atmosphere of WASP-121b using high-resolution spectroscopy

Authors: Stephanie R. Merritt, Neale P. Gibson, Stevanus K. Nugroho, Ernst J. W. de Mooij, Matthew J. Hooton, Shannon M. Matthews, Laura K. McKemmish, Thomas Mikal-Evans, Nikolay Nikolov, David K. Sing, Jessica J. Spake, Chris A. Watson

Abstract: Thermal inversions have long been predicted to exist in the atmospheres of ultra-hot Jupiters. However, detection of two species thought to be responsible -- TiO and VO -- remain elusive. We present a search for TiO and VO in the atmosphere of the ultra-hot Jupiter WASP-121b ($T_\textrm{eq} \gtrsim 2400$ K), an exoplanet already known to show water features in its dayside spectrum characteristic o… ▽ More Thermal inversions have long been predicted to exist in the atmospheres of ultra-hot Jupiters. However, detection of two species thought to be responsible -- TiO and VO -- remain elusive. We present a search for TiO and VO in the atmosphere of the ultra-hot Jupiter WASP-121b ($T_\textrm{eq} \gtrsim 2400$ K), an exoplanet already known to show water features in its dayside spectrum characteristic of a temperature inversion as well as tentative evidence for VO at low-resolution. We observed its transmission spectrum with UVES/VLT and used the cross-correlation method -- a powerful tool for the unambiguous identification of the presence of atomic and molecular species -- in an effort to detect whether TiO or VO were responsible for the observed temperature inversion. No evidence for the presence of TiO or VO was found at the terminator of WASP-121b. By injecting signals into our data at varying abundance levels, we set rough detection limits of $[\text{VO}] \lesssim -7.9$ and $[\text{TiO}] \lesssim -9.3$. However, these detection limits are largely degenerate with scattering properties and the position of the cloud deck. Our results may suggest that neither TiO or VO are the main drivers of the thermal inversion in WASP-121b, but until a more accurate line list is developed for VO, we cannot conclusively rule out its presence. Future work will search for finding other strong optically-absorbing species that may be responsible for the excess absorption in the red-optical. △ Less

Submitted 7 February, 2020; originally announced February 2020.

Comments: 12 pages, 7 figures, accepted for publication in A&A

Journal ref: A&A 636, A117 (2020)

Detection of Fe I in the atmosphere of the ultra-hot Jupiter WASP-121b, and a new likelihood-based approach for Doppler-resolved spectroscopy

Authors: Neale P. Gibson, Stephanie Merritt, Stevanus K. Nugroho, Patricio E. Cubillos, Ernst J. W. de Mooij, Thomas Mikal-Evans, Luca Fossati, Joshua Lothringer, Nikolay Nikolov, David K. Sing, Jessica J. Spake, Chris A. Watson, Jamie Wilson

Abstract: High-resolution Doppler-resolved spectroscopy has opened up a new window into the atmospheres of both transiting and non-transiting exoplanets. Here, we present VLT/UVES observations of a transit of WASP-121b, an 'ultra-hot' Jupiter previously found to exhibit a temperature inversion and detections of multiple species at optical wavelengths. We present initial results using the blue arm of UVES (… ▽ More High-resolution Doppler-resolved spectroscopy has opened up a new window into the atmospheres of both transiting and non-transiting exoplanets. Here, we present VLT/UVES observations of a transit of WASP-121b, an 'ultra-hot' Jupiter previously found to exhibit a temperature inversion and detections of multiple species at optical wavelengths. We present initial results using the blue arm of UVES ($\approx$3700-5000A), recovering a clear signal of neutral Fe in the planet's atmosphere at >8$σ$, which could contribute to (or even fully explain) the temperature inversion in the stratosphere. However, using standard cross-correlation methods, it is difficult to extract physical parameters such as temperature and abundances. Recent pioneering efforts have sought to develop likelihood `map**s' that can be used to directly fit models to high-resolution datasets. We introduce a new framework that directly computes the likelihood of the model fit to the data, and can be used to explore the posterior distribution of parameterised model atmospheres via MCMC techniques. Our method also recovers the physical extent of the atmosphere, as well as account for time- and wavelength-dependent uncertainties. We measure a temperature of $3710^{+490}_{-510}$K, indicating a higher temperature in the upper atmosphere when compared to low-resolution observations. We also show that the Fe I signal is physically separated from the exospheric Fe II. However, the temperature measurements are highly degenerate with aerosol properties; detection of additional species, using more sophisticated atmospheric models, or combining these methods with low-resolution spectra should help break these degeneracies. △ Less

Submitted 17 January, 2020; originally announced January 2020.

Comments: Accepted for publication in MNRAS. 14 pages, 7 figures

Inverse scattering for the one-dimensional Helmholtz equation with piecewise constant wave speed

Authors: Sophia Bugarija, Peter C. Gibson, Guanghui Hu, Peijun Li, Yue Zhao

Abstract: This paper analyzes inverse scattering for the one-dimensional Helmholtz equation in the case where the wave speed is piecewise constant. Scattering data recorded for an arbitrarily small interval of frequencies is shown to determine the wave speed uniquely, and a direct reconstruction algorithm is presented. The algorithm is exact provided data is recorded for a sufficiently wide range of frequen… ▽ More This paper analyzes inverse scattering for the one-dimensional Helmholtz equation in the case where the wave speed is piecewise constant. Scattering data recorded for an arbitrarily small interval of frequencies is shown to determine the wave speed uniquely, and a direct reconstruction algorithm is presented. The algorithm is exact provided data is recorded for a sufficiently wide range of frequencies and the jump points of the wave speed are equally spaced with respect to travel time. Numerical examples show that the algorithm works also in the general case of arbitrary wave speed (either with jumps or continuously varying etc.) giving progressively more accurate approximations as the range of recorded frequencies increases. A key underlying theoretical insight is to associate scattering data to compositions of automorphisms of the unit disk, which are in turn related to orthogonal polynomials on the unit circle. The algorithm exploits the three-term recurrence of orthogonal polynomials to reduce the required computation. △ Less

Submitted 11 December, 2019; originally announced December 2019.

Comments: 21 pages, 3 figures

MSC Class: 35J05; 34L25; 35R05; 35R30

Detection of Na, K and H$_2$O in the hazy atmosphere of WASP-6b

Authors: Aarynn L. Carter, Nikolay Nikolov, David K. Sing, Munazza K. Alam, Jayesh M. Goyal, Thomas Mikal-Evans, Hannah R. Wakeford, Gregory W. Henry, Sam Morrell, Mercedes López-Morales, Barry Smalley, Panayotis Lavvas, Joanna K. Barstow, Antonio García Muñoz, Paul A. Wilson, Neale P. Gibson

Abstract: We present new observations of the transmission spectrum of the hot Jupiter WASP-6b both from the ground with the Very Large Telescope (VLT) FOcal Reducer and Spectrograph (FORS2) from 0.45-0.83 $μ$m, and space with the Transiting Exoplanet Survey Satellite (TESS) from 0.6-1.0 $μ$m and the Hubble Space Telescope (HST) Wide Field Camera 3 from 1.12-1.65 $μ$m. Archival data from the HST Space Telesc… ▽ More We present new observations of the transmission spectrum of the hot Jupiter WASP-6b both from the ground with the Very Large Telescope (VLT) FOcal Reducer and Spectrograph (FORS2) from 0.45-0.83 $μ$m, and space with the Transiting Exoplanet Survey Satellite (TESS) from 0.6-1.0 $μ$m and the Hubble Space Telescope (HST) Wide Field Camera 3 from 1.12-1.65 $μ$m. Archival data from the HST Space Telescope Imaging Spectrograph (STIS) and Spitzer is also reanalysed on a common Gaussian process framework, of which the STIS data show a good overall agreement with the overlap** FORS2 data. We also explore the effects of stellar heterogeneity on our observations and its resulting implications towards determining the atmospheric characteristics of WASP-6b. Independent of our assumptions for the level of stellar heterogeneity we detect Na I, K I and H$_2$O absorption features and constrain the elemental oxygen abundance to a value of [O/H] $\simeq -0.9\pm0.3$ relative to solar. In contrast, we find that the stellar heterogeneity correction can have significant effects on the retrieved distributions of the [Na/H] and [K/H] abundances, primarily through its degeneracy with the slo** optical opacity of scattering haze species within the atmosphere. Our results also show that despite this presence of haze, WASP-6b remains a favourable object for future atmospheric characterisation with upcoming missions such as the James Webb Space Telescope. △ Less

Submitted 6 May, 2020; v1 submitted 28 November, 2019; originally announced November 2019.

Comments: Accepted to MNRAS