-
A Benchmark JWST Near-Infrared Spectrum for the Exoplanet WASP-39b
Authors:
A. L. Carter,
E. M. May,
N. Espinoza,
L. Welbanks,
E. Ahrer,
L. Alderson,
R. Brahm,
A. D. Feinstein,
D. Grant,
M. Line,
G. Morello,
R. O'Steen,
M. Radica,
Z. Rustamkulov,
K. B. Stevenson,
J. D. Turner,
M. K. Alam,
D. R. Anderson,
N. M. Batalha,
M. P. Battley,
D. Bayliss,
J. L. Bean,
B. Benneke,
Z. K. Berta-Thompson,
J. Brande
, et al. (55 additional authors not shown)
Abstract:
Observing exoplanets through transmission spectroscopy supplies detailed information on their atmospheric composition, physics, and chemistry. Prior to JWST, these observations were limited to a narrow wavelength range across the near-ultraviolet to near-infrared, alongside broadband photometry at longer wavelengths. To understand more complex properties of exoplanet atmospheres, improved waveleng…
▽ More
Observing exoplanets through transmission spectroscopy supplies detailed information on their atmospheric composition, physics, and chemistry. Prior to JWST, these observations were limited to a narrow wavelength range across the near-ultraviolet to near-infrared, alongside broadband photometry at longer wavelengths. To understand more complex properties of exoplanet atmospheres, improved wavelength coverage and resolution are necessary to robustly quantify the influence of a broader range of absorbing molecular species. Here we present a combined analysis of JWST transmission spectroscopy across four different instrumental modes spanning 0.5-5.2 micron using Early Release Science observations of the Saturn-mass exoplanet WASP-39b. Our uniform analysis constrains the orbital and stellar parameters within sub-percent precision, including matching the precision obtained by the most precise asteroseismology measurements of stellar density to-date, and further confirms the presence of Na, K, H$_2$O, CO, CO$_2$, and SO$_2$ atmospheric absorbers. Through this process, we also improve the agreement between the transmission spectra of all modes, except for the NIRSpec PRISM, which is affected by partial saturation of the detector. This work provides strong evidence that uniform light curve analysis is an important aspect to ensuring reliability when comparing the high-precision transmission spectra provided by JWST.
△ Less
Submitted 18 July, 2024;
originally announced July 2024.
-
Probing Cold-to-Temperate Exoplanetary Atmospheres: The Role of Water Condensation on Surface Identification with JWST
Authors:
Ziyu Huang,
Xinting Yu,
Shang-Min Tsai,
Julianne I. Moses,
Kazumasa Ohno,
Joshua Krissansen-Totton,
Xi Zhang,
Jonathan Fortney
Abstract:
Understanding the surface temperature and interior structure of cold-to-temperate sub-Neptunes is critical for assessing their habitability, yet direct observations are challenging. In this study, we investigate the impact of water condensation on the atmospheric compositions of sub-Neptunes, focusing on the implications for JWST spectroscopic observations. By modeling the atmospheric photochemist…
▽ More
Understanding the surface temperature and interior structure of cold-to-temperate sub-Neptunes is critical for assessing their habitability, yet direct observations are challenging. In this study, we investigate the impact of water condensation on the atmospheric compositions of sub-Neptunes, focusing on the implications for JWST spectroscopic observations. By modeling the atmospheric photochemistry of two canonical sub-Neptunes, K2-18 b and LHS 1140 b, both with and without water condensation and with and without thick atmospheres, we demonstrate that water condensation can significantly affect the predicted atmospheric compositions. This effect is driven by oxygen depletion from the condensation of water vapor and primarily manifests as an increase in the C/O ratio within the photochemically active regions of the atmosphere. This change in composition particularly affects planets with thin H2-dominated atmospheres, leading to a transition in dominant nitrogen and carbon carriers from N2 and oxygen-rich species like CO/CO2 towards heavier hydrocarbons and nitriles. While our models do not fully account for the loss mechanisms of these higher-order species, such molecules can go on to form more refractory molecules or hazes. Planets with thin H2-rich atmospheres undergoing significant water condensation are thus likely to exhibit very hazy atmospheres. The relatively flat JWST spectra observed for LHS 1140 b could be consistent with such a scenario, suggesting a shallow surface with extensive water condensation or a high atmospheric C/O ratio. Conversely, the JWST observations of K2-18 b are better aligned with a volatile-rich mini-Neptune with a thick atmosphere.
△ Less
Submitted 3 September, 2024; v1 submitted 12 July, 2024;
originally announced July 2024.
-
Multiple Clues for Dayside Aerosols and Temperature Gradients in WASP-69 b from a Panchromatic JWST Emission Spectrum
Authors:
Everett Schlawin,
Sagnick Mukherjee,
Kazumasa Ohno,
Taylor Bell,
Thomas G. Beatty,
Thomas P. Greene,
Michael Line,
Ryan C. Challener,
Vivien Parmentier,
Jonathan J. Fortney,
Emily Rauscher,
Lindsey Wiser,
Luis Welbanks,
Matthew Murphy,
Isaac Edelman,
Natasha Batalha,
Sarah E. Moran,
Nishil Mehta,
Marcia Rieke
Abstract:
WASP-69 b is a hot, inflated, Saturn-mass planet 0.26 Mjup with a zero-albedo equilibrium temperature of 963 K. Here, we report the JWST 2 to 12 um emission spectrum of the planet consisting of two eclipses observed with NIRCam grism time series and one eclipse observed with MIRI LRS. The emission spectrum shows absorption features of water vapor, carbon dioxide and carbon monoxide, but no strong…
▽ More
WASP-69 b is a hot, inflated, Saturn-mass planet 0.26 Mjup with a zero-albedo equilibrium temperature of 963 K. Here, we report the JWST 2 to 12 um emission spectrum of the planet consisting of two eclipses observed with NIRCam grism time series and one eclipse observed with MIRI LRS. The emission spectrum shows absorption features of water vapor, carbon dioxide and carbon monoxide, but no strong evidence for methane. WASP-69 b's emission spectrum is poorly fit by cloud-free homogeneous models. We find three possible model scenarios for the planet: 1) a Scattering Model that raises the brightness at short wavelengths with a free Geometric Albedo parameter 2) a Cloud Layer model that includes high altitude silicate aerosols to moderate long wavelength emission and 3) a Two-Region model that includes significant dayside inhomogeneity and cloud opacity with two different temperature-pressure profiles. In all cases, aerosols are needed to fit the spectrum of the planet. The Scattering model requires an unexpectedly high Geometric Albedo of 0.64. Our atmospheric retrievals indicate inefficient redistribution of heat and an inhomogeneous dayside distribution, which is tentatively supported by MIRI LRS broadband eclipse maps that show a central concentration of brightness. Our more plausible models (2 and 3) retrieve chemical abundances enriched in heavy elements relative to solar composition by 6x to 14x solar and a C/O ratio of 0.65 to 0.94, whereas the less plausible highly reflective scenario (1) retrieves a slightly lower metallicity and lower C/O ratio.
△ Less
Submitted 21 June, 2024;
originally announced June 2024.
-
Region of Interest Loss for Anonymizing Learned Image Compression
Authors:
Christoph Liebender,
Ranulfo Bezerra,
Kazunori Ohno,
Satoshi Tadokoro
Abstract:
The use of AI in public spaces continually raises concerns about privacy and the protection of sensitive data. An example is the deployment of detection and recognition methods on humans, where images are provided by surveillance cameras. This results in the acquisition of great amounts of sensitive data, since the capture and transmission of images taken by such cameras happens unaltered, for the…
▽ More
The use of AI in public spaces continually raises concerns about privacy and the protection of sensitive data. An example is the deployment of detection and recognition methods on humans, where images are provided by surveillance cameras. This results in the acquisition of great amounts of sensitive data, since the capture and transmission of images taken by such cameras happens unaltered, for them to be received by a server on the network. However, many applications do not explicitly require the identity of a given person in a scene; An anonymized representation containing information of the person's position while preserving the context of them in the scene suffices. We show how using a customized loss function on region of interests (ROI) can achieve sufficient anonymization such that human faces become unrecognizable while persons are kept detectable, by training an end-to-end optimized autoencoder for learned image compression that utilizes the flexibility of the learned analysis and reconstruction transforms for the task of mutating parts of the compression result. This approach enables compression and anonymization in one step on the capture device, instead of transmitting sensitive, nonanonymized data over the network. Additionally, we evaluate how this anonymization impacts the average precision of pre-trained foundation models on detecting faces (MTCNN) and humans (YOLOv8) in comparison to non-ANN based methods, while considering compression rate and latency.
△ Less
Submitted 9 June, 2024;
originally announced June 2024.
-
Sulfur Dioxide and Other Molecular Species in the Atmosphere of the Sub-Neptune GJ 3470 b
Authors:
Thomas G. Beatty,
Luis Welbanks,
Everett Schlawin,
Taylor J. Bell,
Michael R. Line,
Matthew Murphy,
Isaac Edelman,
Thomas P. Greene,
Jonathan J. Fortney,
Gregory W. Henry,
Sagnick Mukherjee,
Kazumasa Ohno,
Vivien Parmentier,
Emily Rauscher,
Lindsey S. Wiser,
Kenneth E. Arnold
Abstract:
We report observations of the atmospheric transmission spectrum of the sub-Neptune exoplanet GJ 3470 b taken using the Near-Infrared Camera (NIRCam) on JWST. Combined with two archival HST/WFC3 transit observations and fifteen archival Spitzer transit observations, we detect water, methane, sulfur dioxide, and carbon dioxide in the atmosphere of GJ 3470 b, each with a significance of >3-sigma. GJ…
▽ More
We report observations of the atmospheric transmission spectrum of the sub-Neptune exoplanet GJ 3470 b taken using the Near-Infrared Camera (NIRCam) on JWST. Combined with two archival HST/WFC3 transit observations and fifteen archival Spitzer transit observations, we detect water, methane, sulfur dioxide, and carbon dioxide in the atmosphere of GJ 3470 b, each with a significance of >3-sigma. GJ 3470 b is the lowest mass -- and coldest -- exoplanet known to show a substantial sulfur dioxide feature in its spectrum, at $M_{p}$=11.2${\,{\rm M}_{\oplus}}$ and $T_{eq}$=600$\,$K. This indicates disequilibrium photochemistry drives sulfur dioxide production in exoplanet atmospheres over a wider range of masses and temperatures than has been reported or expected. The water, carbon dioxide, and sulfur dioxide abundances we measure indicate an atmospheric metallicity of approximately $100\times$ Solar. We see further evidence for disequilibrium chemistry in our inferred methane abundance, which is significantly lower than expected from equilibrium models consistent with our measured water and carbon dioxide abundances.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
Simultaneous retrieval of orbital phase resolved JWST/MIRI emission spectra of the hot Jupiter WASP-43b: evidence of water, ammonia and carbon monoxide
Authors:
Jingxuan Yang,
Mark Hammond,
Anjali A. A. Piette,
Jasmina Blecic,
Taylor J. Bell,
Patrick G. J. Irwin,
Vivien Parmentier,
Shang-Min Tsai,
Joanna K. Barstow,
Nicolas Crouzet,
Laura Kreidberg,
João M. Mendonça,
Jake Taylor,
Robin Baeyens,
Kazumasa Ohno,
Lucas Teinturier,
Matthew C. Nixon
Abstract:
Spectroscopic phase curves of hot Jupiters measure their emission spectra at multiple orbital phases, thus enabling detailed characterisation of their atmospheres. Precise constraints on the atmospheric composition of these exoplanets offer insights into their formation and evolution. We analyse four phase-resolved emission spectra of the hot Jupiter WASP-43b, generated from a phase curve observed…
▽ More
Spectroscopic phase curves of hot Jupiters measure their emission spectra at multiple orbital phases, thus enabling detailed characterisation of their atmospheres. Precise constraints on the atmospheric composition of these exoplanets offer insights into their formation and evolution. We analyse four phase-resolved emission spectra of the hot Jupiter WASP-43b, generated from a phase curve observed with the MIRI/LRS onboard the JWST, to retrieve its atmospheric properties. Using a parametric 2D temperature model and assuming a chemically homogeneous atmosphere within the observed pressure region, we simultaneously fit the four spectra to constrain the abundances of atmospheric constituents, thereby yielding more precise constraints than previous work that analysed each spectrum independently. Our analysis reveals statistically significant evidence of NH3 (4$σ$) in a hot Jupiter's emission spectra for the first time, along with evidence of H2O (6.5$σ$), CO (3.1$σ$), and a non-detection of CH4. With our abundance constraints, we tentatively estimate the metallicity of WASP-43b at 0.6-6.5$\times$solar and its C/O ratio at 0.6-0.9. Our findings offer vital insights into the atmospheric conditions and formation history of WASP-43b by simultaneously constraining the abundances of carbon, oxygen, and nitrogen-bearing species.
△ Less
Submitted 5 June, 2024;
originally announced June 2024.
-
A High Internal Heat Flux and Large Core in a Warm Neptune Exoplanet
Authors:
Luis Welbanks,
Taylor J. Bell,
Thomas G. Beatty,
Michael R. Line,
Kazumasa Ohno,
Jonathan J. Fortney,
Everett Schlawin,
Thomas P. Greene,
Emily Rauscher,
Peter McGill,
Matthew Murphy,
Vivien Parmentier,
Yao Tang,
Isaac Edelman,
Sagnick Mukherjee,
Lindsey S. Wiser,
Pierre-Olivier Lagage,
Achrène Dyrek,
Kenneth E. Arnold
Abstract:
Interactions between exoplanetary atmospheres and internal properties have long been hypothesized to be drivers of the inflation mechanisms of gaseous planets and apparent atmospheric chemical disequilibrium conditions. However, transmission spectra of exoplanets has been limited in its ability to observational confirm these theories due to the limited wavelength coverage of HST and inferences of…
▽ More
Interactions between exoplanetary atmospheres and internal properties have long been hypothesized to be drivers of the inflation mechanisms of gaseous planets and apparent atmospheric chemical disequilibrium conditions. However, transmission spectra of exoplanets has been limited in its ability to observational confirm these theories due to the limited wavelength coverage of HST and inferences of single molecules, mostly H$_2$O. In this work, we present the panchromatic transmission spectrum of the approximately 750 K, low-density, Neptune-sized exoplanet WASP-107b using a combination of HST WFC3, JWST NIRCam and MIRI. From this spectrum, we detect spectroscopic features due to H$_2$O (21$σ$), CH$_4$ (5$σ$), CO (7$σ$), CO$_2$ (29$σ$), SO$_2$ (9$σ$), and NH$_3$ (6$σ$). The presence of these molecules enable constraints on the atmospheric metal enrichment (M/H is 10--18$\times$ Solar), vertical mixing strength (log$_{10}$K$_{zz}$=8.4--9.0 cm$^2$s$^{-1}$), and internal temperature ($>$345 K). The high internal temperature is suggestive of tidally-driven inflation acting upon a Neptune-like internal structure, which can naturally explain the planet's large radius and low density. These findings suggest that eccentricity driven tidal heating is a critical process governing atmospheric chemistry and interior structure inferences for a majority of the cool ($<$1,000K) super-Earth-to-Saturn mass exoplanet population.
△ Less
Submitted 17 May, 2024;
originally announced May 2024.
-
Toward Practical Benchmarks of Ising Machines: A Case Study on the Quadratic Knapsack Problem
Authors:
Kentaro Ohno,
Tatsuhiko Shirai,
Nozomu Togawa
Abstract:
Combinatorial optimization has wide applications from industry to natural science. Ising machines bring an emerging computing paradigm for efficiently solving a combinatorial optimization problem by searching a ground state of a given Ising model. Current cutting-edge Ising machines achieve fast sampling of near-optimal solutions of the max-cut problem. However, for problems with additional constr…
▽ More
Combinatorial optimization has wide applications from industry to natural science. Ising machines bring an emerging computing paradigm for efficiently solving a combinatorial optimization problem by searching a ground state of a given Ising model. Current cutting-edge Ising machines achieve fast sampling of near-optimal solutions of the max-cut problem. However, for problems with additional constraint conditions, their advantages have been hardly shown due to difficulties in handling the constraints. In this work, we focus on benchmarks of Ising machines on the quadratic knapsack problem (QKP). To bring out their practical performance, we propose fast two-stage post-processing for Ising machines, which makes handling the constraint easier. Simulation based on simulated annealing shows that the proposed method substantially improves the solving performance of Ising machines and the improvement is robust to a choice of encoding of the constraint condition. Through evaluation using an Ising machine called Amplify Annealing Engine, the proposed method is shown to dramatically improve its solving performance on the QKP. These results are a crucial step toward showing advantages of Ising machines on practical problems involving various constraint conditions.
△ Less
Submitted 14 July, 2024; v1 submitted 28 March, 2024;
originally announced March 2024.
-
Automatic Construction of a Large-Scale Corpus for Geoparsing Using Wikipedia Hyperlinks
Authors:
Keyaki Ohno,
Hirotaka Kameko,
Keisuke Shirai,
Taichi Nishimura,
Shinsuke Mori
Abstract:
Geoparsing is the task of estimating the latitude and longitude (coordinates) of location expressions in texts. Geoparsing must deal with the ambiguity of the expressions that indicate multiple locations with the same notation. For evaluating geoparsing systems, several corpora have been proposed in previous work. However, these corpora are small-scale and suffer from the coverage of location expr…
▽ More
Geoparsing is the task of estimating the latitude and longitude (coordinates) of location expressions in texts. Geoparsing must deal with the ambiguity of the expressions that indicate multiple locations with the same notation. For evaluating geoparsing systems, several corpora have been proposed in previous work. However, these corpora are small-scale and suffer from the coverage of location expressions on general domains. In this paper, we propose Wikipedia Hyperlink-based Location Linking (WHLL), a novel method to construct a large-scale corpus for geoparsing from Wikipedia articles. WHLL leverages hyperlinks in Wikipedia to annotate multiple location expressions with coordinates. With this method, we constructed the WHLL corpus, a new large-scale corpus for geoparsing. The WHLL corpus consists of 1.3M articles, each containing about 7.8 unique location expressions. 45.6% of location expressions are ambiguous and refer to more than one location with the same notation. In each article, location expressions of the article title and those hyperlinks to other articles are assigned with coordinates. By utilizing hyperlinks, we can accurately assign location expressions with coordinates even with ambiguous location expressions in the texts. Experimental results show that there remains room for improvement by disambiguating location expressions.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
StreamDiffusion: A Pipeline-level Solution for Real-time Interactive Generation
Authors:
Akio Kodaira,
Chenfeng Xu,
Toshiki Hazama,
Takanori Yoshimoto,
Kohei Ohno,
Shogo Mitsuhori,
Soichi Sugano,
Hanying Cho,
Zhijian Liu,
Kurt Keutzer
Abstract:
We introduce StreamDiffusion, a real-time diffusion pipeline designed for interactive image generation. Existing diffusion models are adept at creating images from text or image prompts, yet they often fall short in real-time interaction. This limitation becomes particularly evident in scenarios involving continuous input, such as Metaverse, live video streaming, and broadcasting, where high throu…
▽ More
We introduce StreamDiffusion, a real-time diffusion pipeline designed for interactive image generation. Existing diffusion models are adept at creating images from text or image prompts, yet they often fall short in real-time interaction. This limitation becomes particularly evident in scenarios involving continuous input, such as Metaverse, live video streaming, and broadcasting, where high throughput is imperative. To address this, we present a novel approach that transforms the original sequential denoising into the batching denoising process. Stream Batch eliminates the conventional wait-and-interact approach and enables fluid and high throughput streams. To handle the frequency disparity between data input and model throughput, we design a novel input-output queue for parallelizing the streaming process. Moreover, the existing diffusion pipeline uses classifier-free guidance(CFG), which requires additional U-Net computation. To mitigate the redundant computations, we propose a novel residual classifier-free guidance (RCFG) algorithm that reduces the number of negative conditional denoising steps to only one or even zero. Besides, we introduce a stochastic similarity filter(SSF) to optimize power consumption. Our Stream Batch achieves around 1.5x speedup compared to the sequential denoising method at different denoising levels. The proposed RCFG leads to speeds up to 2.05x higher than the conventional CFG. Combining the proposed strategies and existing mature acceleration tools makes the image-to-image generation achieve up-to 91.07fps on one RTX4090, improving the throughputs of AutoPipline developed by Diffusers over 59.56x. Furthermore, our proposed StreamDiffusion also significantly reduces the energy consumption by 2.39x on one RTX3060 and 1.99x on one RTX4090, respectively.
△ Less
Submitted 19 December, 2023;
originally announced December 2023.
-
Estimation of articulated angle in six-wheeled dump trucks using multiple GNSS receivers for autonomous driving
Authors:
Taro Suzuki,
Kazunori Ohno,
Syotaro Kojima,
Naoto Miyamoto,
Takahiro Suzuki,
Tomohiro Komatsu,
Yukinori Shibata,
Kimitaka Asano,
Keiji Nagatani
Abstract:
Due to the declining birthrate and aging population, the shortage of labor in the construction industry has become a serious problem, and increasing attention has been paid to automation of construction equipment. We focus on the automatic operation of articulated six-wheel dump trucks at construction sites. For the automatic operation of the dump trucks, it is important to estimate the position a…
▽ More
Due to the declining birthrate and aging population, the shortage of labor in the construction industry has become a serious problem, and increasing attention has been paid to automation of construction equipment. We focus on the automatic operation of articulated six-wheel dump trucks at construction sites. For the automatic operation of the dump trucks, it is important to estimate the position and the articulated angle of the dump trucks with high accuracy. In this study, we propose a method for estimating the state of a dump truck by using four global navigation satellite systems (GNSSs) installed on an articulated dump truck and a graph optimization method that utilizes the redundancy of multiple GNSSs. By adding real-time kinematic (RTK)-GNSS constraints and geometric constraints between the four antennas, the proposed method can robustly estimate the position and articulation angle even in environments where GNSS satellites are partially blocked. As a result of evaluating the accuracy of the proposed method through field tests, it was confirmed that the articulated angle could be estimated with an accuracy of 0.1$^\circ$ in an open-sky environment and 0.7$^\circ$ in a mountainous area simulating an elevation angle of 45$^\circ$ where GNSS satellites are blocked.
△ Less
Submitted 5 December, 2023;
originally announced December 2023.
-
Methane Throughout the Atmosphere of the Warm Exoplanet WASP-80b
Authors:
Taylor J. Bell,
Luis Welbanks,
Everett Schlawin,
Michael R. Line,
Jonathan J. Fortney,
Thomas P. Greene,
Kazumasa Ohno,
Vivien Parmentier,
Emily Rauscher,
Thomas G. Beatty,
Sagnick Mukherjee,
Lindsey S. Wiser,
Martha L. Boyer,
Marcia J. Rieke,
John A. Stansberry
Abstract:
The abundances of major carbon and oxygen bearing gases in the atmospheres of giant exoplanets provide insights into atmospheric chemistry and planet formation processes. Thermochemistry suggests that methane should be the dominant carbon-bearing species below $\sim$1000 K over a range of plausible atmospheric compositions; this is the case for the Solar System planets and has been confirmed in th…
▽ More
The abundances of major carbon and oxygen bearing gases in the atmospheres of giant exoplanets provide insights into atmospheric chemistry and planet formation processes. Thermochemistry suggests that methane should be the dominant carbon-bearing species below $\sim$1000 K over a range of plausible atmospheric compositions; this is the case for the Solar System planets and has been confirmed in the atmospheres of brown dwarfs and self-luminous directly imaged exoplanets. However, methane has not yet been definitively detected with space-based spectroscopy in the atmosphere of a transiting exoplanet, but a few detections have been made with ground-based, high-resolution transit spectroscopy including a tentative detection for WASP-80b. Here we report transmission and emission spectra spanning 2.4-4.0 micrometers of the 825 K warm Jupiter WASP-80b taken with JWST's NIRCam instrument, both of which show strong evidence for methane at greater than 6-sigma significance. The derived methane abundances from both viewing geometries are consistent with each other and with solar to sub-solar C/O and ~5$\times$ solar metallicity, which is consistent with theoretical predictions.
△ Less
Submitted 7 September, 2023;
originally announced September 2023.
-
Linearizing Binary Optimization Problems Using Variable Posets for Ising Machines
Authors:
Kentaro Ohno,
Nozomu Togawa
Abstract:
Ising machines are next-generation computers expected to efficiently sample near-optimal solutions of combinatorial optimization problems. Combinatorial optimization problems are modeled as quadratic unconstrained binary optimization (QUBO) problems to apply an Ising machine. However, current state-of-the-art Ising machines still often fail to output near-optimal solutions due to the complicated e…
▽ More
Ising machines are next-generation computers expected to efficiently sample near-optimal solutions of combinatorial optimization problems. Combinatorial optimization problems are modeled as quadratic unconstrained binary optimization (QUBO) problems to apply an Ising machine. However, current state-of-the-art Ising machines still often fail to output near-optimal solutions due to the complicated energy landscape of QUBO problems. Furthermore, the physical implementation of Ising machines severely restricts the size of QUBO problems to be input as a result of limited hardware graph structures. In this study, we take a new approach to these challenges by injecting auxiliary penalties preserving the optimum, which reduces quadratic terms in QUBO objective functions. The process simultaneously simplifies the energy landscape of QUBO problems, allowing the search for near-optimal solutions, and makes QUBO problems sparser, facilitating encoding into Ising machines with restriction on the hardware graph structure. We propose linearization of QUBO problems using variable posets as an outcome of the approach. By applying the proposed method to synthetic QUBO instances and to multi-dimensional knapsack problems, we empirically validate the effects on enhancing minor-embedding of QUBO problems and the performance of Ising machines.
△ Less
Submitted 19 June, 2024; v1 submitted 11 July, 2023;
originally announced July 2023.
-
A Security Verification Framework of Cryptographic Protocols Using Machine Learning
Authors:
Kentaro Ohno,
Misato Nakabayashi
Abstract:
We propose a security verification framework for cryptographic protocols using machine learning. In recent years, as cryptographic protocols have become more complex, research on automatic verification techniques has been focused on. The main technique is formal verification. However, the formal verification has two problems: it requires a large amount of computational time and does not guarantee…
▽ More
We propose a security verification framework for cryptographic protocols using machine learning. In recent years, as cryptographic protocols have become more complex, research on automatic verification techniques has been focused on. The main technique is formal verification. However, the formal verification has two problems: it requires a large amount of computational time and does not guarantee decidability. We propose a method that allows security verification with computational time on the order of linear with respect to the size of the protocol using machine learning. In training machine learning models for security verification of cryptographic protocols, a sufficient amount of data, i.e., a set of protocol data with security labels, is difficult to collect from academic papers and other sources. To overcome this issue, we propose a way to create arbitrarily large datasets by automatically generating random protocols and assigning security labels to them using formal verification tools. Furthermore, to exploit structural features of protocols, we construct a neural network that processes a protocol along its series and tree structures. We evaluate the proposed method by applying it to verification of practical cryptographic protocols.
△ Less
Submitted 25 April, 2023;
originally announced April 2023.
-
GREX-PLUS Science Book
Authors:
GREX-PLUS Science Team,
:,
Akio K. Inoue,
Yuichi Harikane,
Takashi Moriya,
Hideko Nomura,
Shunsuke Baba,
Yuka Fujii,
Naoteru Gouda,
Yasuhiro Hirahara,
Yui Kawashima,
Tadayuki Kodama,
Yusei Koyama,
Hiroyuki Kurokawa,
Taro Matsuo,
Yoshiki Matsuoka,
Shuji Matsuura,
Ken Mawatari,
Toru Misawa,
Kentaro Nagamine,
Kimihiko Nakajima,
Shota Notsu,
Takafumi Ootsubo,
Kazumasa Ohno,
Hideo Sagawa
, et al. (7 additional authors not shown)
Abstract:
GREX-PLUS (Galaxy Reionization EXplorer and PLanetary Universe Spectrometer) is a mission candidate for a JAXA's strategic L-class mission to be launched in the 2030s. Its primary sciences are two-fold: galaxy formation and evolution and planetary system formation and evolution. The GREX-PLUS spacecraft will carry a 1.2 m primary mirror aperture telescope cooled down to 50 K. The two science instr…
▽ More
GREX-PLUS (Galaxy Reionization EXplorer and PLanetary Universe Spectrometer) is a mission candidate for a JAXA's strategic L-class mission to be launched in the 2030s. Its primary sciences are two-fold: galaxy formation and evolution and planetary system formation and evolution. The GREX-PLUS spacecraft will carry a 1.2 m primary mirror aperture telescope cooled down to 50 K. The two science instruments will be onboard: a wide-field camera in the 2-8 $μ$m wavelength band and a high resolution spectrometer with a wavelength resolution of 30,000 in the 10-18 $μ$m band. The GREX-PLUS wide-field camera aims to detect the first generation of galaxies at redshift $z>15$. The GREX-PLUS high resolution spectrometer aims to identify the location of the water ``snow line'' in proto-planetary disks. Both instruments will provide unique data sets for a broad range of scientific topics including galaxy mass assembly, origin of supermassive blackholes, infrared background radiation, molecular spectroscopy in the interstellar medium, transit spectroscopy for exoplanet atmosphere, planetary atmosphere in the Solar system, and so on.
△ Less
Submitted 30 May, 2023; v1 submitted 17 April, 2023;
originally announced April 2023.
-
Stability and detectability of exomoons orbiting HIP 41378 f, a temperate Jovian planet with an anomalously low apparent density
Authors:
Caleb K. Harada,
Courtney D. Dressing,
Munazza K. Alam,
James Kirk,
Mercedes Lopez-Morales,
Kazumasa Ohno,
Babatunde Akinsanmi,
Susana C. Barros,
Lars A. Buchhave,
Andrew Collier Cameron,
Ian J. Crossfield,
Fei Dai,
Peter Gao,
Steven Giacalone,
Salome Grouffal,
Jorge Lillo-Box,
Andrew W. Mayo,
Annelies Mortier,
Alexandre Santerne,
Nuno Santos,
Sergio G. Sousa,
Emma V. Turtelboom,
Andrew Vanderburg,
Peter J. Wheatley
Abstract:
Moons orbiting exoplanets ("exomoons") may hold clues about planet formation, migration, and habitability. In this work, we investigate the plausibility of exomoons orbiting the temperate ($T_\text{eq}=294$ K) giant ($R = 9.2$ R$_\oplus$) planet HIP 41378 f, which has been shown to have a low apparent bulk density of $0.09\,\text{g}\,\text{cm}^{-3}$ and a flat near-infrared transmission spectrum,…
▽ More
Moons orbiting exoplanets ("exomoons") may hold clues about planet formation, migration, and habitability. In this work, we investigate the plausibility of exomoons orbiting the temperate ($T_\text{eq}=294$ K) giant ($R = 9.2$ R$_\oplus$) planet HIP 41378 f, which has been shown to have a low apparent bulk density of $0.09\,\text{g}\,\text{cm}^{-3}$ and a flat near-infrared transmission spectrum, hinting that it may possess circumplanetary rings. Given this planet's long orbital period ($P\approx1.5$ yr), it has been suggested that it may also host a large exomoon. Here, we analyze the orbital stability of a hypothetical exomoon with a satellite-to-planet mass ratio of 0.0123 orbiting HIP 41378 f. Combining a new software package, astroQTpy, with REBOUND and EqTide, we conduct a series of N-body and tidal migration simulations, demonstrating that satellites up to this size are largely stable against dynamical escape and collisions. We simulate the expected transit signal from this hypothetical exomoon and show that current transit observations likely cannot constrain the presence of exomoons orbiting HIP 41378 f, though future observations may be capable of detecting exomoons in other systems. Finally, we model the combined transmission spectrum of HIP 41378 f and a hypothetical moon with a low-metallicity atmosphere, and show that the total effective spectrum would be contaminated at the $\sim$10 ppm level. Our work not only demonstrates the feasibility of exomoons orbiting HIP 41378 f, but also shows that large exomoons may be a source of uncertainty in future high-precision measurements of exoplanet systems.
△ Less
Submitted 10 October, 2023; v1 submitted 24 March, 2023;
originally announced March 2023.
-
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.
-
Nitrogen as a Tracer of Giant Planet Formation. II.: Comprehensive Study of Nitrogen Photochemistry and Implications for Observing NH3 and HCN in Transmission and Emission Spectra
Authors:
Kazumasa Ohno,
Jonathan J. Fortney
Abstract:
Atmospheric nitrogen may provide important constraints on giant planet formation. Following our semi-analytical work (Ohno & Fortney 2022), we further pursue the relation between observable NH3 and an atmosphere's bulk nitrogen abundance by applying the photochemical kinetics model VULCAN across planetary equilibrium temperature, mass, age, eddy diffusion coefficient, atmospheric composition, and…
▽ More
Atmospheric nitrogen may provide important constraints on giant planet formation. Following our semi-analytical work (Ohno & Fortney 2022), we further pursue the relation between observable NH3 and an atmosphere's bulk nitrogen abundance by applying the photochemical kinetics model VULCAN across planetary equilibrium temperature, mass, age, eddy diffusion coefficient, atmospheric composition, and stellar spectral type. We confirm that the quenched NH3 abundance coincides with the bulk nitrogen abundance only at sub-Jupiter mass (< 1MJ) planets and old ages (> 1 Gyr) for solar composition atmospheres, highlighting important caveats for inferring atmospheric nitrogen abundances. Our semi-analytical model reproduces the quenched NH3 abundance computed by VULCAN and thus helps to infer the bulk nitrogen abundance from a retrieved NH3 abundance. By computing transmission and emission spectra, we predict that the equilibrium temperature range of 400--1000 K is optimal for detecting NH3 because NH3 depletion by thermochemistry and photochemistry is significant at hotter planets whereas entire spectral features become weak at colder planets. For Jupiter-mass planets around Sun-like stars in this temperature range, NH3 leaves observable signatures of $\sim$ 50 ppm at 1.5, 2.1, and 11 $\rm μm$ in transmission spectra and > 300--100 ppm at 6 $\rm μm$ and 11 $\rm μm$ in emission spectra. The photodissociation of NH3 leads HCN to replace NH3 at low pressures. However, the low HCN column densities lead to much weaker absorption features than for NH3. The NH3 features are readily accessible to JWST observations to constrain atmospheric nitrogen abundances, which may open a new avenue to understand the formation processes of giant exoplanets.
△ Less
Submitted 2 October, 2023; v1 submitted 30 November, 2022;
originally announced November 2022.
-
Nitrogen as a Tracer of Giant Planet Formation. I.: A Universal Deep Adiabatic Profile and Semi-analytical Predictions of Disequilibrium Ammonia Abundances in Warm Exoplanetary Atmospheres
Authors:
Kazumasa Ohno,
Jonathan J. Fortney
Abstract:
A major motivation of spectroscopic observations of giant exoplanets is to unveil planet formation processes from atmospheric compositions. Several recent studies suggested that atmospheric nitrogen, like carbon and oxygen, can provide important constrains on planetary formation environments. Since nitrogen chemistry can be far from thermochemical equilibrium in warm atmospheres, we extensively in…
▽ More
A major motivation of spectroscopic observations of giant exoplanets is to unveil planet formation processes from atmospheric compositions. Several recent studies suggested that atmospheric nitrogen, like carbon and oxygen, can provide important constrains on planetary formation environments. Since nitrogen chemistry can be far from thermochemical equilibrium in warm atmospheres, we extensively investigate under what conditions, and with what assumptions, the observable NH3 abundances can diagnose an atmosphere's bulk nitrogen abundance. In the first paper of this series, we investigate atmospheric T-P profiles across equilibrium temperature, surface gravity, intrinsic temperature, atmospheric metallicity, and C/O ratio using a 1D radiative-convective equilibrium model. Models with the same intrinsic temperature and surface gravity coincide with a shared "universal" adiabat in the deep atmosphere, across a wide equilibrium temperature range (250--1200 K), which is not seen in hotter or cooler models. We explain this behavior in terms of the classic "radiative zero solution" and then establish a semi-analytical T-P profile of the deep atmospheres of warm exoplanets. This profile is then used to predict vertically quenched NH3 abundances. At solar metallicity, our results show that the quenched NH3 abundance only coincides with the bulk nitrogen abundance (within 10%) at low intrinsic temperature, corresponding to a planet with a sub-Jupiter mass (< 1 MJ) and old age (> 1 Gyr). If a planet has a high metallicity ($\ge$ 10$\times$ solar) atmosphere, the quenched NH3 abundance significantly underestimates the bulk nitrogen abundance at almost all planetary masses and ages. We suggest modeling and observational strategies to improve the assessment of bulk nitrogen from NH3.
△ Less
Submitted 30 November, 2022;
originally announced November 2022.
-
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.
-
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.
-
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.
-
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.
-
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.
-
A Circumplanetary Dust Ring May Explain the Extreme Spectral Slope of the 10 Myr Young Exoplanet K2-33b
Authors:
Kazumasa Ohno,
Pa Chia Thao,
Andrew W. Mann,
Jonathan J. Fortney
Abstract:
Young exoplanets are attractive targets for atmospheric characterization to explore the early phase of planetary evolution and the surrounding environment. Recent observations of the 10 Myr young Neptune-sized exoplanet K2-33b revealed that the planet's transit depth drastically decreases from the optical to near-infrared wavelengths. Thao et al. (2022) suggested that a thick planetary haze and/or…
▽ More
Young exoplanets are attractive targets for atmospheric characterization to explore the early phase of planetary evolution and the surrounding environment. Recent observations of the 10 Myr young Neptune-sized exoplanet K2-33b revealed that the planet's transit depth drastically decreases from the optical to near-infrared wavelengths. Thao et al. (2022) suggested that a thick planetary haze and/or stellar spots may be the cause; however, even the best-fit model only barely explains the data. Here, we propose that the peculiar transmission spectrum may indicate that K2-33b possess a circumplanetary dust ring, an analog of Jupiter's dust ring. We demonstrate that the ring could produce a steep slope in the transmission spectrum even if its optical depth is as low as $\sim {10}^{-2}$. We then apply a novel joint atmosphere-ring retrieval to K2-33b and find that the ring scenario could well explain the observed spectrum for various possible ring compositions. Importantly, the dust ring also exhibits prominent absorption features of ring particles around $\sim$10 $\rmμm$, whose shape and strength depend on the composition of the ring. Thus, future observations by JWST-MIRI would be able to test not only the ring hypothesis but also, if it indeed exists, to constrain the composition of the ring -- providing a unique opportunity to explore the origins of the dust ring around its parent planet, soon after the planetary system's formation.
△ Less
Submitted 14 November, 2022;
originally announced November 2022.
-
Fast Saturating Gate for Learning Long Time Scales with Recurrent Neural Networks
Authors:
Kentaro Ohno,
Sekitoshi Kanai,
Yasutoshi Ida
Abstract:
Gate functions in recurrent models, such as an LSTM and GRU, play a central role in learning various time scales in modeling time series data by using a bounded activation function. However, it is difficult to train gates to capture extremely long time scales due to gradient vanishing of the bounded function for large inputs, which is known as the saturation problem. We closely analyze the relatio…
▽ More
Gate functions in recurrent models, such as an LSTM and GRU, play a central role in learning various time scales in modeling time series data by using a bounded activation function. However, it is difficult to train gates to capture extremely long time scales due to gradient vanishing of the bounded function for large inputs, which is known as the saturation problem. We closely analyze the relation between saturation of the gate function and efficiency of the training. We prove that the gradient vanishing of the gate function can be mitigated by accelerating the convergence of the saturating function, i.e., making the output of the function converge to 0 or 1 faster. Based on the analysis results, we propose a gate function called fast gate that has a doubly exponential convergence rate with respect to inputs by simple function composition. We empirically show that our method outperforms previous methods in accuracy and computational efficiency on benchmark tasks involving extremely long time scales.
△ Less
Submitted 3 October, 2022;
originally announced October 2022.
-
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.
-
The Molecular Composition of Shadowed Protosolar Disk Midplanes beyond the Water Snowline
Authors:
Shota Notsu,
Kazumasa Ohno,
Takahiro Ueda,
Catherine Walsh,
Christian Eistrup,
Hideko Nomura
Abstract:
The disk midplane temperature is potentially affected by the dust traps/rings. The dust depletion beyond the water snowline will cast a shadow. In this study, we adopt a detailed gas-grain chemical reaction network, and investigate the radial gas and ice abundance distributions of dominant carbon-, oxygen-, and nitrogen-bearing molecules in disks with shadow structures beyond the water snowline ar…
▽ More
The disk midplane temperature is potentially affected by the dust traps/rings. The dust depletion beyond the water snowline will cast a shadow. In this study, we adopt a detailed gas-grain chemical reaction network, and investigate the radial gas and ice abundance distributions of dominant carbon-, oxygen-, and nitrogen-bearing molecules in disks with shadow structures beyond the water snowline around a protosolar-like star. In shadowed disks, the dust grains at around $3-8$ au are predicted to have more than around $5-10$ times amounts of ices of organic molecules such as H$_{2}$CO, CH$_{3}$OH, and NH$_{2}$CHO, saturated hydrocarbon ices such as CH$_{4}$ and C$_{2}$H$_{6}$, in addition to H$_{2}$O, CO, CO$_{2}$, NH$_{3}$, N$_{2}$, and HCN ices, compared with those in non-shadowed disks. In the shadowed regions, we find that hydrogenation (especially of CO ice) is the dominant formation mechanism of complex organic molecules. The gas-phase N/O ratios show much larger spatial variations than the gas-phase C/O ratios, thus the N/O ratio is predicted to be a useful tracer of the shadowed region. N$_{2}$H$^{+}$ line emission is a potential tracer of the shadowed region. We conclude that a shadowed region allows the recondensation of key volatiles onto dust grains, provides a region of chemical enrichment of ices that is much closer to the star than within a non-shadowed disk, and may explain to some degree the trapping of O$_{2}$ ice in dust grains that formed comet 67P/Churyumov-Gerasimenko. We discuss that, if formed in a shadowed disk, Jupiter does not need to have migrated vast distances.
△ Less
Submitted 11 August, 2022;
originally announced August 2022.
-
One-vs-the-Rest Loss to Focus on Important Samples in Adversarial Training
Authors:
Sekitoshi Kanai,
Shin'ya Yamaguchi,
Masanori Yamada,
Hiroshi Takahashi,
Kentaro Ohno,
Yasutoshi Ida
Abstract:
This paper proposes a new loss function for adversarial training. Since adversarial training has difficulties, e.g., necessity of high model capacity, focusing on important data points by weighting cross-entropy loss has attracted much attention. However, they are vulnerable to sophisticated attacks, e.g., Auto-Attack. This paper experimentally reveals that the cause of their vulnerability is thei…
▽ More
This paper proposes a new loss function for adversarial training. Since adversarial training has difficulties, e.g., necessity of high model capacity, focusing on important data points by weighting cross-entropy loss has attracted much attention. However, they are vulnerable to sophisticated attacks, e.g., Auto-Attack. This paper experimentally reveals that the cause of their vulnerability is their small margins between logits for the true label and the other labels. Since neural networks classify the data points based on the logits, logit margins should be large enough to avoid flipping the largest logit by the attacks. Importance-aware methods do not increase logit margins of important samples but decrease those of less-important samples compared with cross-entropy loss. To increase logit margins of important samples, we propose switching one-vs-the-rest loss (SOVR), which switches from cross-entropy to one-vs-the-rest loss for important samples that have small logit margins. We prove that one-vs-the-rest loss increases logit margins two times larger than the weighted cross-entropy loss for a simple problem. We experimentally confirm that SOVR increases logit margins of important samples unlike existing methods and achieves better robustness against Auto-Attack than importance-aware methods.
△ Less
Submitted 26 April, 2023; v1 submitted 20 July, 2022;
originally announced July 2022.
-
A Framework for Characterizing Transmission Spectra of Exoplanets with Circumplanetary Rings
Authors:
Kazumasa Ohno,
Jonathan J. Fortney
Abstract:
Recent observations revealed that several extremely low-density exoplanets show featureless transmission spectra. While atmospheric aerosols are a promising explanation for both the low density and featureless spectra, there is another attractive possibility: the presence of circumplanetary rings. Previous studies suggested that rings cause anomalously large transit radii. However, it remains poor…
▽ More
Recent observations revealed that several extremely low-density exoplanets show featureless transmission spectra. While atmospheric aerosols are a promising explanation for both the low density and featureless spectra, there is another attractive possibility: the presence of circumplanetary rings. Previous studies suggested that rings cause anomalously large transit radii. However, it remains poorly understood how rings affect the transmission spectrum. Here, we provide a framework to characterize the transmission spectra of ringed exoplanets. We develop an analytical prescription to include rings in the transmission spectra for arbitrarily viewing geometries. We also establish a simple post-processing model that can include the ring's effects on precomputed ring-free spectra. The ring flattens the transmission spectrum for a wide range of viewing geometries, consistent with the featureless spectra of extremely low-density exoplanets. Near-future observations by JWST at longer wavelengths would be able to distinguish the aerosol and ring scenarios. We also find that rocky rings might cause a silicate feature at $\sim$10 $μ$m if the ring's optical depth is around unity. Thus, the ring's spectral features, if detected, would provide tight constrains on the physical properties of exoplanetary rings. We also discuss the ring's stability and suggest that thick rings are sustainable only at the equilibrium temperature of $\lesssim$300 K for the ring's age comparable to Kepler planets. This might indicate the intrinsic deficit of thick rings in the Kepler samples, unless rings are much younger than the planets as suggested for Saturn.
△ Less
Submitted 21 March, 2022; v1 submitted 8 January, 2022;
originally announced January 2022.
-
The First Near-Infrared Transmission Spectrum of HIP 41378 f, a Low-Mass Temperate Jovian World in a Multi-Planet System
Authors:
Munazza K. Alam,
James Kirk,
Courtney D. Dressing,
Mercedes Lopez-Morales,
Kazumasa Ohno,
Peter Gao,
Babatunde Akinsanmi,
Alexandre Santerne,
Salome Grouffal,
Vardan Adibekyan,
Susana C. C. Barros,
Lars A. Buchhave,
Ian J. M. Crossfield,
Fei Dai,
Magali Deleuil,
Steven Giacalone,
Jorge Lillo-Box,
Mark Marley,
Andrew W. Mayo,
Annelies Mortier,
Nuno C. Santos,
Sergio G. Sousa,
Emma V. Turtelboom,
Peter J. Wheatley,
Andrew M. Vanderburg
Abstract:
We present a near-infrared transmission spectrum of the long period (P=542 days), temperate ($T_{eq}$=294 K) giant planet HIP 41378 f obtained with the Wide-Field Camera 3 (WFC3) instrument aboard the Hubble Space Telescope (HST). With a measured mass of 12 $\pm$ 3 $M_{\oplus}$ and a radius of 9.2 $\pm$ 0.1 $R_{\oplus}$, HIP 41378 f has an extremely low bulk density (0.09 $\pm$ 0.02 g/cm$^{3}$). W…
▽ More
We present a near-infrared transmission spectrum of the long period (P=542 days), temperate ($T_{eq}$=294 K) giant planet HIP 41378 f obtained with the Wide-Field Camera 3 (WFC3) instrument aboard the Hubble Space Telescope (HST). With a measured mass of 12 $\pm$ 3 $M_{\oplus}$ and a radius of 9.2 $\pm$ 0.1 $R_{\oplus}$, HIP 41378 f has an extremely low bulk density (0.09 $\pm$ 0.02 g/cm$^{3}$). We measure the transit depth with a median precision of 84 ppm in 30 spectrophotometric channels with uniformly-sized widths of 0.018 microns. Within this level of precision, the spectrum shows no evidence of absorption from gaseous molecular features between 1.1-1.7 microns. Comparing the observed transmission spectrum to a suite of 1D radiative-convective-thermochemical-equilibrium forward models, we rule out clear, low-metallicity atmospheres and find that the data prefer high-metallicity atmospheres or models with an additional opacity source such as high-altitude hazes and/or circumplanetary rings. We explore the ringed scenario for this planet further by jointly fitting the K2 and HST light curves to constrain the properties of putative rings. We also assess the possibility of distinguishing between hazy, ringed, and high-metallicity scenarios at longer wavelengths with JWST. HIP 41378 f provides a rare opportunity to probe the atmospheric composition of a cool giant planet spanning the gap between the Solar System giants, directly imaged planets, and the highly-irradiated hot Jupiters traditionally studied via transit spectroscopy.
△ Less
Submitted 15 February, 2022; v1 submitted 7 January, 2022;
originally announced January 2022.
-
Cleaning our Hazy Lens: Exploring Trends in Transmission Spectra of Warm Exoplanets
Authors:
Austin H. Dymont,
Xinting Yu,
Kazumasa Ohno,
Xi Zhang,
Jonathan J. Fortney,
Daniel Thorngren
Abstract:
Relatively little is understood about the atmospheric composition of temperate to warm exoplanets (equilibrium temperature $T_{\rm eq}<$ 1000 K), as many of them are found to have uncharacteristically flat transmission spectra. Their flattened spectra are likely due to atmospheric opacity sources such as planet-wide photochemical hazes and condensation clouds. We compile the transmission spectra o…
▽ More
Relatively little is understood about the atmospheric composition of temperate to warm exoplanets (equilibrium temperature $T_{\rm eq}<$ 1000 K), as many of them are found to have uncharacteristically flat transmission spectra. Their flattened spectra are likely due to atmospheric opacity sources such as planet-wide photochemical hazes and condensation clouds. We compile the transmission spectra of 25 warm exoplanets previously observed by the Hubble Space Telescope and quantify the haziness of each exoplanet using a normalized amplitude of the water absorption feature ($A_{\rm H}$). By examining the relationships between $A_{\rm H}$ and various planetary and stellar forcing parameters, we endeavor to find correlations of haziness associated with planetary properties. We adopt new statistical correlation tests that are more suitable for the small, non-normally distributed warm exoplanet sample. Our analysis shows that none of the parameters hold statistically significant correlation with $A_{\rm H}$ ($p \le 0.01$) with the addition of new exoplanet data, including the previously identified linear trends between $A_{\rm H}$ and $T_{\rm{eq}}$ or hydrogen-helium envelope mass fraction (f$_{\rm{HHe}}$). This suggests that haziness in warm exoplanets is not simply controlled by any single planetary/stellar parameter. Among all the parameters we investigated, planet gravity ($g_{\rm p}$), atmospheric scale height ($H$), planet density ($ρ_{\rm p}$), orbital eccentricity ($e$), and age of the star ($t_{\rm age}$) hold tentative correlations with $A_{\rm H}$. Specifically, lower $H$, higher $g_{\rm p}$, $ρ_{\rm p}$, $e$, or $t_{\rm age}$ may lead to clearer atmospheres. We still need more observations and laboratory experiments to fully understand the complex physics and chemistry involved in creating hazy warm exoplanets.
△ Less
Submitted 25 June, 2022; v1 submitted 12 December, 2021;
originally announced December 2021.
-
Recurrent Neural Networks for Learning Long-term Temporal Dependencies with Reanalysis of Time Scale Representation
Authors:
Kentaro Ohno,
Atsutoshi Kumagai
Abstract:
Recurrent neural networks with a gating mechanism such as an LSTM or GRU are powerful tools to model sequential data. In the mechanism, a forget gate, which was introduced to control information flow in a hidden state in the RNN, has recently been re-interpreted as a representative of the time scale of the state, i.e., a measure how long the RNN retains information on inputs. On the basis of this…
▽ More
Recurrent neural networks with a gating mechanism such as an LSTM or GRU are powerful tools to model sequential data. In the mechanism, a forget gate, which was introduced to control information flow in a hidden state in the RNN, has recently been re-interpreted as a representative of the time scale of the state, i.e., a measure how long the RNN retains information on inputs. On the basis of this interpretation, several parameter initialization methods to exploit prior knowledge on temporal dependencies in data have been proposed to improve learnability. However, the interpretation relies on various unrealistic assumptions, such as that there are no inputs after a certain time point. In this work, we reconsider this interpretation of the forget gate in a more realistic setting. We first generalize the existing theory on gated RNNs so that we can consider the case where inputs are successively given. We then argue that the interpretation of a forget gate as a temporal representation is valid when the gradient of loss with respect to the state decreases exponentially as time goes back. We empirically demonstrate that existing RNNs satisfy this gradient condition at the initial training phase on several tasks, which is in good agreement with previous initialization methods. On the basis of this finding, we propose an approach to construct new RNNs that can represent a longer time scale than conventional models, which will improve the learnability for long-term sequential data. We verify the effectiveness of our method by experiments with real-world datasets.
△ Less
Submitted 5 November, 2021;
originally announced November 2021.
-
On the Effectiveness of Clone Detection for Detecting IoT-related Vulnerable Clones
Authors:
Kentaro Ohno,
Norihiro Yoshida,
Wenqing Zhu,
Hiroaki Takada
Abstract:
Since IoT systems provide services over the Internet, they must continue to operate safely even if malicious users attack them. Since the computational resources of edge devices connected to the IoT are limited, lightweight platforms and network protocols are often used. Lightweight platforms and network protocols are less resistant to attacks, increasing the risk that developers will embed vulner…
▽ More
Since IoT systems provide services over the Internet, they must continue to operate safely even if malicious users attack them. Since the computational resources of edge devices connected to the IoT are limited, lightweight platforms and network protocols are often used. Lightweight platforms and network protocols are less resistant to attacks, increasing the risk that developers will embed vulnerabilities. The code clone research community has been developing approaches to fix buggy (e.g., vulnerable) clones simultaneously. However, there has been little research on IoT-related vulnerable clones. It is unclear whether existing code clone detection techniques can perform simultaneous fixes of the vulnerable clones. In this study, we first created two datasets of IoT-related vulnerable code. We then conducted a preliminary investigation to show whether existing code clone detection tools (e.g., NiCaD, CCFinderSW) are capable of detecting IoT-related vulnerable clones by applying them to the created datasets. The preliminary result shows that the existing tools can detect them partially.
△ Less
Submitted 20 October, 2021;
originally announced October 2021.
-
Grain Growth in Escaping Atmospheres: Implications for the Radius Inflation of Super-Puffs
Authors:
Kazumasa Ohno,
Yuki A. Tanaka
Abstract:
Super-puffs -- low-mass exoplanets with extremely low bulk density -- are attractive targets for exploring their atmospheres and formation processes. Recent studies suggested that the large radii of super-puffs may be caused by atmospheric dust entrained in the escaping atmospheres. In this study, we investigate how the dust grows in escaping atmospheres and influence the transit radii using a mic…
▽ More
Super-puffs -- low-mass exoplanets with extremely low bulk density -- are attractive targets for exploring their atmospheres and formation processes. Recent studies suggested that the large radii of super-puffs may be caused by atmospheric dust entrained in the escaping atmospheres. In this study, we investigate how the dust grows in escaping atmospheres and influence the transit radii using a microphysical model of grain growth. Collision growth is efficient in many cases, leading to hinder the upward transport of dust via enhanced gravitational settling. We find that dust abundance in the outflow hardly exceeds the Mach number at the dust production region. Thus, dust formed at upper atmospheres, say $P\lesssim{10}^{-5}$ bar, are needed to launch a dusty outflow with high dust abundance. With sufficiently high dust production altitudes and rates, the dusty outflow can enhance the observable radius by a factor of $\sim$2 or even more. We suggest that photochemical haze is a promising candidate of high-altitude dust that can be entrained in the outflow. We also compute the synthetic transmission spectra of super-puff atmospheres and demonstrate that the dusty outflow produces a broad spectral slope and obscures molecular features, in agreement with recently reported featureless spectra. Lastly, using an interior structure model, we suggest that the atmospheric dust could drastically enhance the observable radius only for planets in a narrow mass range of $\sim2$--$5M_{\rm \oplus}$, in which the boil-off tends to cause total atmospheric loss. This may explain why super-puffs are uncommon despite the suggested universality of photochemical hazes.
△ Less
Submitted 15 September, 2021; v1 submitted 14 July, 2021;
originally announced July 2021.
-
Jupiter's "Cold" Formation in the Protosolar Disk Shadow: An Explanation for the Planet's Uniformly Enriched Atmosphere
Authors:
Kazumasa Ohno,
Takahiro Ueda
Abstract:
Atmospheric compositions offer valuable clues to planetary formation and evolution. Jupiter has been the most well-studied giant planet in terms of its atmosphere; however, the origin of the Jovian atmospheric composition remains a puzzle as the abundances of nitrogen and noble gases as high as those of other elements could only originate from extremely cold environments. We propose a novel idea f…
▽ More
Atmospheric compositions offer valuable clues to planetary formation and evolution. Jupiter has been the most well-studied giant planet in terms of its atmosphere; however, the origin of the Jovian atmospheric composition remains a puzzle as the abundances of nitrogen and noble gases as high as those of other elements could only originate from extremely cold environments. We propose a novel idea for explaining the Jovian atmospheric composition: Dust pileup at the H$_2$O snow line casts a shadow and cools the Jupiter orbit so that N$_2$ and noble gases can freeze. Planetesimals or a core formed in the shadowed region can enrich nitrogen and noble gases as much as other elements through their dissolution in the envelope. We compute the temperature structure of a shadowed protosolar disk with radiative transfer calculations. Then, we investigate the radial volatile distributions and predict the atmospheric composition of Jupiter with condensation calculations. We find that the vicinity of the current Jupiter orbit, approximately $3$--$7~{\rm AU}$, could be as cold as $30~{\rm K}$ if the small-dust surface density varies by a factor of $\gtrsim30$ across the H$_2$O snow line. According to previous grain growth simulations, this condition could be achieved by weak disk turbulence if silicate grains are more fragile than icy grains. The shadow can cause the condensation of most volatile substances, namely N$_2$ and Ar. We demonstrate that the dissolution of shadowed solids can explain the elemental abundance patterns of the Jovian atmosphere even if proto-Jupiter was formed near Jupiter's current orbit. The disk shadow may play a vital role in controlling atmospheric compositions. The effect of the shadow also impacts the interpretation of upcoming observations of exoplanetary atmospheres by JWST.
△ Less
Submitted 16 June, 2021;
originally announced June 2021.
-
Haze Formation on Triton
Authors:
Kazumasa Ohno,
Xi Zhang,
Ryo Tazaki,
Satoshi Okuzumi
Abstract:
The largest moon of Neptune, Triton, possess a cold and hazy atmosphere. Since the discovery of near-surface haze layer during the Voyager fly in 1989, the haze formation mechanism has not been investigated in detail. Here, we provide the first haze microphysical model on Triton. Our model solves the evolution of both size and porosity distributions of haze particles in a self-consistent manner. W…
▽ More
The largest moon of Neptune, Triton, possess a cold and hazy atmosphere. Since the discovery of near-surface haze layer during the Voyager fly in 1989, the haze formation mechanism has not been investigated in detail. Here, we provide the first haze microphysical model on Triton. Our model solves the evolution of both size and porosity distributions of haze particles in a self-consistent manner. We simulated the formation of sphere and aggregate hazes with and without condensation of the C$_2$H$_4$ ice. The haze particles can grow into fractal aggregates with mass-equivalent sphere sizes of $\sim0.1$--$1~{\rm μm}$ and fractal dimension of $D_{\rm f} = 1.8$--$2.2$. The ice-free hazes cannot simultaneously explain both UV and visible observations of Voyager 2, while including the condensation of C$_2$H$_4$ ices provides two better solutions. For ice aggregates, the required total haze mass flux is $\sim2\times{10}^{-15}~{\rm g~{cm}^{-2}~s^{-1}}$. For the icy sphere scenario, the column integrated C$_2$H$_4$ production rate is $\sim8\times{10}^{-15}~{\rm g~{cm}^{-2}~s^{-1}}$, and the ice-free mass flux of $\sim6\times{10}^{-17}~{\rm g~{cm}^{-2}~s^{-1}}$. The UV occultation observations at short wavelength $<0.15~{\rm μm}$ may slightly favor the icy aggregates. Observations of the haze optical depth and the degree of forward scattering in UV and visible should be able to distinguish whether Triton's hazes are icy spheres or ice aggregates in future Triton missions.
△ Less
Submitted 16 April, 2021; v1 submitted 22 December, 2020;
originally announced December 2020.
-
Constraining the Bulk Composition of Disintegrating Exoplanets Using Combined Transmission Spectra from JWST and SPICA
Authors:
Ayaka Okuya,
Satoshi Okuzumi,
Kazumasa Ohno,
Teruyuki Hirano
Abstract:
Disintegrating planets are ultra-short-period exoplanets that appear to have a comet-like dust tail. They are commonly interpreted as low-mass planets whose solid surface is evaporating and whose tail is made of recondensing minerals. Transmission spectroscopy of the dust tails could thus allow us to directly probe the elementary compositions of the planets. Previous work already investigated the…
▽ More
Disintegrating planets are ultra-short-period exoplanets that appear to have a comet-like dust tail. They are commonly interpreted as low-mass planets whose solid surface is evaporating and whose tail is made of recondensing minerals. Transmission spectroscopy of the dust tails could thus allow us to directly probe the elementary compositions of the planets. Previous work already investigated the feasibility of such observations using the JWST mid-infrared instrument. In this study, we explore if one can obtain a strong constrain on the tail composition by adding spectroscopy at longer wavelengths using SPICA mid-infrared instrument. We use a simple model for the spatial distribution of the dust tails and produce their synthetic transmission spectra assuming various dust compositions. We find that combined infrared spectra from JWST and SPICA will allow us to diagnose various components of the dust tails. JWST will be able to detect silicate and carbide absorption features with a feature-to-noise ratio of $\gtrsim$ 3 in the tail transmission spectrum of a disintegrating planet located within 100 pc from the Earth with a transit depth deeper than 0.5%. SPICA can distinguish between Fe- and Mg-bearing crystalline silicates for planets at $\lesssim$ 100 pc with a transit depth of $\gtrsim$ 2%. Transit searches with current and future space telescopes (e.g., $TESS$ and PLATO) will provide ideal targets for such spectroscopic observations.
△ Less
Submitted 18 August, 2020;
originally announced August 2020.
-
Thermal inertias of pebble-pile comet 67P/Churyumov-Gerasimenko
Authors:
Sota Arakawa,
Kazumasa Ohno
Abstract:
The Rosetta mission to comet 67P/Churyumov-Gerasimenko has provided new data to better understand what comets are made of. The weak tensile strength of the cometary surface materials suggests that the comet is a hierarchical dust aggregate formed through gravitational collapse of a bound clump of small dust aggregates so-called ``pebbles'' in the gaseous solar nebula. Since pebbles are the buildin…
▽ More
The Rosetta mission to comet 67P/Churyumov-Gerasimenko has provided new data to better understand what comets are made of. The weak tensile strength of the cometary surface materials suggests that the comet is a hierarchical dust aggregate formed through gravitational collapse of a bound clump of small dust aggregates so-called ``pebbles'' in the gaseous solar nebula. Since pebbles are the building blocks of comets, which are the survivors of planetesimals in the solar nebula, estimating the size of pebbles using a combination of thermal observations and numerical calculations is of great importance to understand the planet formation in the outer solar system. In this study, we calculated the thermal inertias and thermal skin depths of the hierarchical aggregates of pebbles, for both diurnal and orbital variations of the temperature. We found that the thermal inertias of the comet 67P/Churyumov-Gerasimenko are consistent with the hierarchical aggregate of cm- to dm-sized pebbles. Our findings indicate that the icy planetesimals may have formed via accretion of cm- to dm-sized pebbles in the solar nebula.
△ Less
Submitted 6 July, 2020;
originally announced July 2020.
-
Super-Rayleigh Slopes in Transmission Spectra of Exoplanets Generated by Photochemical Haze
Authors:
Kazumasa Ohno,
Yui Kawashima
Abstract:
Spectral slopes in optical transmission spectra of exoplanetary atmospheres encapsulate information on the properties of exotic clouds. The slope is usually attributed to the Rayleigh scattering caused by tiny aerosol particles, whereas recent retrieval studies have suggested that the slopes are often steeper than the canonical Rayleigh slopes. Here, we propose that photochemical haze formed in vi…
▽ More
Spectral slopes in optical transmission spectra of exoplanetary atmospheres encapsulate information on the properties of exotic clouds. The slope is usually attributed to the Rayleigh scattering caused by tiny aerosol particles, whereas recent retrieval studies have suggested that the slopes are often steeper than the canonical Rayleigh slopes. Here, we propose that photochemical haze formed in vigorously mixing atmospheres can explain such super-Rayleigh slopes. We first analytically show that the spectral slope can be steepened by the vertical opacity gradient in which atmospheric opacity increases with altitude. Using a microphysical model, we demonstrate that such opacity gradient can be naturally generated by photochemical haze, especially when the eddy mixing is substantially efficient. The transmission spectra of hazy atmospheres can be demarcated into four typical regimes in terms of the haze mass flux and eddy diffusion coefficient. We find that the transmission spectrum can have the spectral slope 2--4 times steeper than the Rayleigh slope if the eddy diffusion coefficient is sufficiently high and the haze mass flux falls into a moderate value. Based on the eddy diffusion coefficient suggested by a recent study of atmospheric circulations, we suggest that photochemical haze preferentially generates super-Rayleigh slopes at planets with equilibrium temperature of 1000--1500 K, which might be consistent with results of recent retrieval studies. Our results would help to interpret the observations of spectral slopes from the perspective of haze formation.
△ Less
Submitted 18 May, 2020;
originally announced May 2020.
-
Hundred Drones Land in a Minute
Authors:
Daiki Fujikura,
Kenjiro Tadakuma,
Masahiro Watanabe,
Yoshito Okada,
Kazunori Ohno,
Satoshi Tadokoro
Abstract:
Currently, drone research and development has received significant attention worldwide. Particularly, delivery services employ drones as it is a viable method to improve delivery efficiency by using a several unmanned drones. Research has been conducted to realize complete automation of drone control for such services. However, regarding the takeoff and landing port of the drones, conventional met…
▽ More
Currently, drone research and development has received significant attention worldwide. Particularly, delivery services employ drones as it is a viable method to improve delivery efficiency by using a several unmanned drones. Research has been conducted to realize complete automation of drone control for such services. However, regarding the takeoff and landing port of the drones, conventional methods have focused on the landing operation of a single drone, and the continuous landing of multiple drones has not been realized. To address this issue, we propose a completely novel port system, "EAGLES Port," that allows several drones to continuously land and takeoff in a short time. Experiments verified that the landing time efficiency of the proposed port is ideally 7.5 times higher than that of conventional vertical landing systems. Moreover, the system can tolerate 270 mm of horizontal positional error, +-30 deg of angular error in the drone's approach (+-40 deg with the proposed gate mechanism), and up to 1.9 m/s of drone's approach speed. This technology significantly contributes to the scalability of drone usage. Therefore, it is critical for the development of a future drone port for the landing of automated drone swarms.
△ Less
Submitted 11 March, 2020;
originally announced March 2020.
-
Modulation of Nearly Free Electron States in Hydroxyl-Functionalized MXenes: A First-Principles Study
Authors:
Jiaqi Zhou,
Mohammad Khazaei,
Ahmad Ranjbar,
Vei Wang,
Thomas D. Kühne,
Kaoru Ohno,
Yoshiyuki Kawazoe,
Yunye Liang
Abstract:
The transition metal carbides (namely MXenes) and their functionalized derivatives exhibit various physical and chemical characteristics and offer many potential applications in electronic devices and sensors. Using density functional theory (DFT), it is revealed that the nearly free electron (NFE) states are near the Fermi levels in hydroxyl (OH) functionalized MXenes. Most of the OH-terminated M…
▽ More
The transition metal carbides (namely MXenes) and their functionalized derivatives exhibit various physical and chemical characteristics and offer many potential applications in electronic devices and sensors. Using density functional theory (DFT), it is revealed that the nearly free electron (NFE) states are near the Fermi levels in hydroxyl (OH) functionalized MXenes. Most of the OH-terminated MXene are metallic, but some of them, e.g. Sc2C(OH)2, are semiconductors and the NFE states are conduction bands. In this paper, to investigate the NFE states in MXenes, an attractive image-potential well model is adopted. Compared the solutions of this model with the DFT calculations, it is found that due to the overlap of spatially extensive wave functions of NFE states and their hybridization between the artificial neighboring layers imposed by the periodical boundary conditions (PBCs), the DFT results represent the properties of multiple layers, intrinsically. Based on the DFT calculations, it is found that the energy gap widths are affected by the interlayer distances. We address that the energetics of the NFE states can be modulated by the external electric fields and it is possible to convert semiconducting MXenes into metals. This band-gap manipulation makes the OH-terminated semiconducting MXenes an excellent candidate for electronic switch applications. Finally, using a set of electron transport calculations, I-V characteristics of Sc2C(OH)2 devices are investigated with the gate voltages.
△ Less
Submitted 4 March, 2020; v1 submitted 6 December, 2019;
originally announced December 2019.
-
Clouds of Fluffy Aggregates: How They Form in Exoplanetary Atmospheres and Influence Transmission Spectra
Authors:
Kazumasa Ohno,
Satoshi Okuzumi,
Ryo Tazaki
Abstract:
Transmission spectrum surveys have suggested the ubiquity of high-altitude clouds in exoplanetary atmospheres. Theoretical studies have investigated the formation processes of the high-altitude clouds; however, cloud particles have been commonly approximated as compact spheres, which is not always true for solid mineral particles that likely constitute exoplanetary clouds. Here, we investigate how…
▽ More
Transmission spectrum surveys have suggested the ubiquity of high-altitude clouds in exoplanetary atmospheres. Theoretical studies have investigated the formation processes of the high-altitude clouds; however, cloud particles have been commonly approximated as compact spheres, which is not always true for solid mineral particles that likely constitute exoplanetary clouds. Here, we investigate how the porosity of cloud particles evolve in exoplanetary atmospheres and influence the cloud vertical profiles. We first construct a porosity evolution model that takes into account the fractal aggregation and the compression of cloud particle aggregates. Using a cloud microphysical model coupled with the porosity model, we demonstrate that the particle internal density can significantly decrease during the cloud formation. As a result, fluffy-aggregate clouds ascend to altitude much higher than that for compact-sphere clouds assumed so far. We also examine how the fluffy-aggregate clouds affect transmission spectra. We find that the clouds largely obscure the molecular features and produce a spectral slope originated by the scattering properties of aggregates. Finally, we compare the synthetic spectra with the observations of GJ1214 b and find that its flat spectrum could be explained if the atmospheric metallicity is sufficiently high ($\ge100\times$ solar) and the monomer size is sufficiently small ($r_{\rm mon}<1~{\rm μm}$). The high-metallicity atmosphere may offer the clues to explore the gas accretion processes onto past GJ1214b.
△ Less
Submitted 20 January, 2020; v1 submitted 6 August, 2019;
originally announced August 2019.
-
Understanding the atmospheric properties and chemical composition of the ultra-hot Jupiter HAT-P-7b: I. Cloud and chemistry mapping
Authors:
Ch. Helling,
N. Iro,
L. Corrales,
D. Samra,
K. Ohno,
M. K. Alam,
M. Steinrueck,
B. Lew,
K. Molaverdikhani,
R. J MacDonald,
O. Herbort,
P. Woitke,
V. Parmentier
Abstract:
Ultra-hot Jupiters have recently attracted interest from observers and theoreticians alike, as they provide observationally accessible test cases. We apply a hierarchical modelling approach as a virtual laboratory to study cloud formation and gas-phase chemistry. We utilise 97 vertical 1D profiles of a 3D GCM for HAT-P-7b to evaluate our kinetic cloud formation model consistently with the local eq…
▽ More
Ultra-hot Jupiters have recently attracted interest from observers and theoreticians alike, as they provide observationally accessible test cases. We apply a hierarchical modelling approach as a virtual laboratory to study cloud formation and gas-phase chemistry. We utilise 97 vertical 1D profiles of a 3D GCM for HAT-P-7b to evaluate our kinetic cloud formation model consistently with the local equilibrium gas-phase composition. The day/night temperature difference on HAT-P-7b (~ 2500K) causes clouds to form on the nightside (dominated by H2/He) while the dayside (dominated by H/He) retains cloud-free equatorial regions. The cloud particles vary in composition and size throughout the vertical extension of the cloud, but also globally. TiO2[s]/Al2O3[s]/CaTiO3[s]-particles of cm-sized radii occur in the higher dayside-latitudes, resulting in a dayside dominated by gas-phase opacity. The opacity on the nightside, however, is dominated by 0.01 ... 0.1 mum particles made of a material mix dominated by silicates. The gas pressure at which the atmosphere becomes optically thick is ~1d-4 bar in cloudy regions, and ~0.1 bar in cloud-free regions. HAT-P-7b features strong morning/evening terminator asymmetries, providing an example of patchy clouds and azimuthally-inhomogeneous chemistry. The large temperature differences result in an increasing geometrical extension from the night- to the dayside. The chemcial equilibrium H2O abundance at the terminator changes by < 1 dex with altitude and < 0.3 dex (a factor of 2) across the terminator for a given pressure, indicating that H2O abundances derived from transmission spectra can be representative of the well-mixed metallicity at P > 10 bar. We suggest the atmospheric C/O as an important tool to trace the presence and location of clouds in exoplanet atmospheres. Phase curve variability of HAT-P-7b is unlikely to be caused by dayside clouds.
△ Less
Submitted 19 June, 2019;
originally announced June 2019.
-
Atmospheres on Nonsynchronized Eccentric-tilted Exoplanets II: Thermal Light Curves
Authors:
Kazumasa Ohno,
Xi Zhang
Abstract:
Thermal light-curve analysis is a powerful approach to probe the thermal structures of exoplanetary atmospheres, which are greatly influenced by the planetary obliquity and eccentricity. Here we investigate the thermal light curves of eccentric-tilted exoplanets across various radiative timescales, eccentricities, obliquities, and viewing geometries using results of shallow-water simulations prese…
▽ More
Thermal light-curve analysis is a powerful approach to probe the thermal structures of exoplanetary atmospheres, which are greatly influenced by the planetary obliquity and eccentricity. Here we investigate the thermal light curves of eccentric-tilted exoplanets across various radiative timescales, eccentricities, obliquities, and viewing geometries using results of shallow-water simulations presented in Ohno $\&$ Zhang (2019). We also achieve an analytical theory of the thermal light curve that can explain general trends in the light curves of tilted exoplanets. For tilted planets in circular orbits, the orbital phase of the flux peak is largely controlled by either the flux from the hot spot projected onto the orbital plane or the pole heated at the summer solstice, depending on the radiative timescale $τ_{\rm rad}$, planetary day $P_{\rm orb}$, and obliquity $θ$. We find that tilted planets potentially produce the flux peak after the secondary eclipse when obliquity is $θ$ > 90 deg for the hot regime $τ_{\rm rad}<P_{\rm rot}$, or $θ>18$ deg for the cool regime $τ_{\rm rad} > P_{\rm rot}$. For tilted planets in eccentric orbits, the shape of the light curve is considerably influenced by the heating at the periapse. The flux peak occurring after the secondary eclipse can be used to distinguish tilted planets from nontilted planets when the periapse takes place before the secondary eclipse. Our results could help to constrain exoplanet obliquities in future observations.
△ Less
Submitted 3 March, 2019;
originally announced March 2019.
-
Atmospheres on Nonsynchronized Eccentric-tilted Exoplanets I: Dynamical Regimes
Authors:
Kazumasa Ohno,
Xi Zhang
Abstract:
Relatively long-period nonsynchronized planets---such as warm Jupiters---potentially retain the primordial rotation, eccentricity, and obliquity that might encapsulate information on planetary climate and formation processes. To date, there has not been a systematic study on climate patterns on these planets that will significantly influence their observations. Here we investigate the atmospheric…
▽ More
Relatively long-period nonsynchronized planets---such as warm Jupiters---potentially retain the primordial rotation, eccentricity, and obliquity that might encapsulate information on planetary climate and formation processes. To date, there has not been a systematic study on climate patterns on these planets that will significantly influence their observations. Here we investigate the atmospheric dynamics of nonsynchronized, fast-rotating exoplanets across various radiative timescales, eccentricities, and obliquities using a shallow water model. The dynamical pattern can be demarcated into five regimes in terms of radiative timescale $τ_{\rm rad}$ and obliquity $θ$. An atmosphere with $τ_{\rm rad}$ shorter than a planetary day usually exhibits a strong day--night temperature contrast and a day-to-night flow pattern. In the intermediate $τ_{\rm rad}$ regime between a planetary day and a year, the atmosphere is dominated by steady temperature and eastward jet patterns for $θ$ < 18 deg but shows a strong seasonal variation for $θ$ > 18 deg because the polar region undergoes an intense heating at around the summer solstice. If $τ_{\rm rad}$ is longer than a year, seasonal variation is very weak. In this regime, eastward jets are developed for $θ$ < 54 deg and westward jets are developed for $θ$ > 54 deg. These dynamical regimes are also applicable to the planets in eccentric orbits. The large effects of exoplanetary obliquities on circulation patterns might offer observational signatures, which will be investigated in Paper II of this study.
△ Less
Submitted 3 March, 2019;
originally announced March 2019.
-
Minimizing CM degree and slope stability of projective varieties
Authors:
Kentaro Ohno
Abstract:
We discuss a minimization problem of the degree of the CM line bundle among all possible fillings of a polarized family with fixed general fibers. We show that such minimization implies the slope semistability of the fiber if the central fiber is smooth.
We discuss a minimization problem of the degree of the CM line bundle among all possible fillings of a polarized family with fixed general fibers. We show that such minimization implies the slope semistability of the fiber if the central fiber is smooth.
△ Less
Submitted 4 November, 2019; v1 submitted 29 November, 2018;
originally announced November 2018.
-
Kyoto's Event-Driven X-ray Astronomy SOI pixel sensor for the FORCE mission
Authors:
Takeshi G. Tsuru,
Hideki Hayashi,
Katsuhiro Tachibana,
Sodai Harada,
Hiroyuki Uchida,
Takaaki Tanaka,
Yasuo Arai,
Ikuo Kurachi,
Koji Mori,
Ayaki Takeda,
Yusuke Nishioka,
Nobuaki Takebayashi,
Shoma Yokoyama,
Kohei Fukuda,
Takayoshi Kohmura,
Kouichi Hagino,
Kenji Ohno,
Kohsuke Negishi,
Keigo Yarita,
Shoji Kawahito,
Keiichiro Kagawa,
Keita Yasutomi,
Sumeet Shrestha,
Shunta Nakanishi,
Hiroki Kamehama
, et al. (1 additional authors not shown)
Abstract:
We have been developing monolithic active pixel sensors, X-ray Astronomy SOI pixel sensors, XRPIXs, based on a Silicon-On-Insulator (SOI) CMOS technology as soft X-ray sensors for a future Japanese mission, FORCE (Focusing On Relativistic universe and Cosmic Evolution). The mission is characterized by broadband (1-80 keV) X-ray imaging spectroscopy with high angular resolution ($<15$~arcsec), with…
▽ More
We have been developing monolithic active pixel sensors, X-ray Astronomy SOI pixel sensors, XRPIXs, based on a Silicon-On-Insulator (SOI) CMOS technology as soft X-ray sensors for a future Japanese mission, FORCE (Focusing On Relativistic universe and Cosmic Evolution). The mission is characterized by broadband (1-80 keV) X-ray imaging spectroscopy with high angular resolution ($<15$~arcsec), with which we can achieve about ten times higher sensitivity in comparison to the previous missions above 10~keV. Immediate readout of only those pixels hit by an X-ray is available by an event trigger output function implemented in each pixel with the time resolution higher than $10~{\rm μsec}$ (Event-Driven readout mode). It allows us to do fast timing observation and also reduces non-X-ray background dominating at a high X-ray energy band above 5--10~keV by adopting an anti-coincidence technique. In this paper, we introduce our latest results from the developments of the XRPIXs. (1) We successfully developed a 3-side buttable back-side illumination device with an imaging area size of 21.9~mm$\times$13.8~mm and an pixel size of $36~{\rm μm} \times 36~{\rm μm}$. The X-ray throughput with the device reaches higher than 0.57~kHz in the Event-Driven readout mode. (2) We developed a device using the double SOI structure and found that the structure improves the spectral performance in the Event-Driven readout mode by suppressing the capacitive coupling interference between the sensor and circuit layers. (3) We also developed a new device equipped with the Pinned Depleted Diode structure and confirmed that the structure reduces the dark current generated at the interface region between the sensor and the SiO$_2$ insulator layers. The device shows an energy resolution of 216~eV in FWHM at 6.4~keV in the Event-Driven readout mode.
△ Less
Submitted 29 July, 2018;
originally announced July 2018.
-
Microphysical Modeling of Mineral Clouds in GJ1214 b and GJ436 b: Predicting Upper Limits on the Cloud-Top Height
Authors:
Kazumasa Ohno,
Satoshi Okuzumi
Abstract:
The ubiquity of clouds in the atmospheres of exoplanets, especially of super-Earths, is one of the outstanding issues for transmission spectra survey. The understanding about the formation process of clouds in super-Earths is necessary to interpret the observed spectra correctly. In this study, we investigate the vertical distributions of particle size and mass density of mineral clouds in super-E…
▽ More
The ubiquity of clouds in the atmospheres of exoplanets, especially of super-Earths, is one of the outstanding issues for transmission spectra survey. The understanding about the formation process of clouds in super-Earths is necessary to interpret the observed spectra correctly. In this study, we investigate the vertical distributions of particle size and mass density of mineral clouds in super-Earths using a microphysical model that takes into account the vertical transport and growth of cloud particles in a self-consistent manner. We demonstrate that the vertical profiles of mineral clouds significantly vary with the concentration of cloud condensation nuclei and atmospheric metallicity. We find that the height of the cloud top increases with increasing metallicity as long as the metallicity is lower than a threshold. If the metallicity is larger than the threshold, the cloud-top height no longer increases appreciably with metallicity because coalescence yields larger particles of higher settling velocities. We apply our cloud model to GJ1214 b and GJ436 b for which recent transmission observations suggest the presence of high-altitude opaque clouds. For GJ436 b, we show that KCl particles can ascend high enough to explain the observation. For GJ1214 b, by contrast, the height of KCl clouds predicted from our model is too low to explain its flat transmission spectrum. Clouds made of highly porous KCl particles could explain the observations if the atmosphere is highly metal-rich, and hence the particle microstructure might be a key to interpret the flat spectrum of GJ1214 b.
△ Less
Submitted 16 April, 2018;
originally announced April 2018.
-
A simple derivation of the exact quasiparticle theory and its extension to arbitrary initial excited eigenstates
Authors:
Kaoru Ohno,
Shota Ono,
Tomoharu Isobe
Abstract:
The quasiparticle (QP) energies, which are minus of the energies required by removing or produced by adding one electron from/to the system, corresponding to the photoemission or inverse photoemission (PE/IPE) spectra, are determined together with the QP wave functions, which are not orthonormal and even not linearly independent but somewhat similar to the normal spin orbitals in the theory of the…
▽ More
The quasiparticle (QP) energies, which are minus of the energies required by removing or produced by adding one electron from/to the system, corresponding to the photoemission or inverse photoemission (PE/IPE) spectra, are determined together with the QP wave functions, which are not orthonormal and even not linearly independent but somewhat similar to the normal spin orbitals in the theory of the configuration interaction, by self-consistently solving the QP equation coupled with the equation for the self-energy. The electron density, kinetic and all interaction energies can be calculated using the QP wave functions. We prove in a simple way that the PE/IPE spectroscopy and therefore this QP theory can be applied to an arbitrary initial excited eigenstate. In this proof, we show that the energy-dependence of the self-energy is not an essential difficulty, and the QP picture holds exactly if there is no relaxation mechanism in the system. The validity of the present theory for some initial excited eigenstates is tested using the one-shot GW approximation for several atoms and molecules.
△ Less
Submitted 14 February, 2017; v1 submitted 2 February, 2017;
originally announced February 2017.