Search

We observed the ultra hot Jupiter WASP-33b with the Spectro-Polarim\`etre Infra-Rouge on the Canada Fance Hawaii Telescope. Previous observations of the dayside of WASP-33b show evidence of CO and Fe emission indicative of a thermal inversion. We observed its nightside over five Earth-nights to search for spectral signatures of CO in the planet's thermal emission. Our three pre-transit observations and two post-transit observations are sensitive to regions near the morning or evening terminators, respectively. From spectral retrievals, we detect CO molecular absorption in the planet's emission spectrum after transit at $\sim$6.6$\sigma$. This is the strongest ground-based detection of nightside thermal emission from an exoplanet, and only the third ever. CO appearing in absorption suggests that the nightside near the evening terminator does not have a temperature inversion; this makes sense if the dayside inversion is driven by absorption of stellar radiation. On the contrary, we do not detect CO from the morning terminator. This may be consistent with heat advection by an eastward jet. Phase-resolved high-resolution spectroscopy offers an economical alternative to space-based full-orbit spectroscopic phase curves for studying the vertical and horizontal atmospheric temperature profiles of short-period exoplanets., Comment: 13 pages, 9 figures; Accepted for publication in ApJ Letters

Diffusion plays an important role in a wide variety of phenomena, from bacterial quorum sensing to the dynamics of traffic flow. While it generally tends to level out gradients and inhomogeneities, diffusion has nonetheless been shown to promote pattern formation in certain classes of systems. Formation of stable structures often serves as a key factor in promoting the emergence and persistence of cooperative behavior in otherwise competitive environments, however an in-depth analysis on the impact of diffusion on such systems is lacking. We therefore investigate the effects of diffusion on cooperative behavior using a cellular automaton (CA) model of the noisy spatial iterated prisoner's dilemma (IPD), physical extension and stochasticity being unavoidable characteristics of several natural phenomena. We further derive a mean-field (MF) model that captures the 3-species predation dynamics from the CA model and highlight how pattern formation arises in this new model, then characterize how including diffusion by interchange similarly enables the emergence of large scale structures in the CA model as well. We investigate how these emerging patterns favors cooperative behavior for parameter space regions where IPD error rates classically forbid such dynamics. We thus demonstrate how the coupling of diffusion with non-linear dynamics can, counter-intuitively, promote large scale structure formation and in return establish new grounds for cooperation to take hold in stochastic spatial systems., Comment: 13 pages, 8 figures

Named Entity Recognition (NER) is a well-studied problem in NLP. However, there is much less focus on studying NER datasets, compared to developing new NER models. In this paper, we employed three simple techniques to detect annotation errors in the OntoNotes 5.0 corpus for English NER, which is the largest available NER corpus for English. Our techniques corrected ~10% of the sentences in train/dev/test data. In terms of entity mentions, we corrected the span and/or type of ~8% of mentions in the dataset, while adding/deleting/splitting/merging a few more. These are large numbers of changes, considering the size of OntoNotes. We used three NER libraries to train, evaluate and compare the models trained with the original and the re-annotated datasets, which showed an average improvement of 1.23% in overall F-scores, with large (>10%) improvements for some of the entity types. While our annotation error detection methods are not exhaustive and there is some manual annotation effort involved, they are largely language agnostic and can be employed with other NER datasets, and other sequence labelling tasks., Comment: Unpublished report. Originally submitted to LREC 2022

Close to the origin, the nonlinear Klein--Gordon equations on the circle are nearly integrable Hamiltonian systems which have infinitely many almost conserved quantities called harmonic actions or super-actions. We prove that, at low regularity and with a CFL number of size 1, this property is preserved if we discretize the nonlinear Klein--Gordon equations with the symplectic mollified impulse methods. This extends previous results of D. Cohen, E. Hairer and C. Lubich to non-smooth solutions.

Quantum simulators have the potential to shed light on the study of quantum many-body systems and materials, offering unique insights into various quantum phenomena. While adiabatic evolution has been conventionally employed for state preparation, it faces challenges when the system evolves too quickly or the coherence time is limited. In such cases, shortcuts to adiabaticity, such as spatiotemporal quenches, provide a promising alternative. This paper numerically investigates the application of spatiotemporal quenches in the two-dimensional transverse field Ising model with ferromagnetic interactions, focusing on the emergence of the ground state and its correlation properties at criticality when the gap vanishes. We demonstrate the effectiveness of these quenches in rapidly preparing ground states in critical systems. Our simulations reveal the existence of an optimal quench front velocity at the emergent speed of light, leading to minimal excitation energy density and correlation lengths of the order of finite system sizes we can simulate. These findings emphasize the potential of spatiotemporal quenches for efficient ground state preparation in quantum systems, with implications for the exploration of strongly correlated phases and programmable quantum computing., Comment: 12 pages, 13 figures

We consider nonlinear Schr\"odinger equations on flat tori satisfying a simple and explicit Diophantine non-degeneracy condition. Provided that the nonlinearity contains a cubic term, we prove the almost global existence and stability of most of the small solutions in high regularity Sobolev spaces. To this end, we develop a normal form approach designed to handle general resonant Hamiltonian partial differential equations for which it is possible to modulate the frequencies by using the initial data.

Accurate and scalable annotation of medical data is critical for the development of medical AI, but obtaining time for annotation from medical experts is challenging. Gamified crowdsourcing has demonstrated potential for obtaining highly accurate annotations for medical data at scale, and we demonstrate the same in this study for the segmentation of B-lines, an indicator of pulmonary congestion, on still frames within point-of-care lung ultrasound clips. We collected 21,154 annotations from 214 annotators over 2.5 days, and we demonstrated that the concordance of crowd consensus segmentations with reference standards exceeds that of individual experts with the same reference standards, both in terms of B-line count (mean squared error 0.239 vs. 0.308, p<0.05) as well as the spatial precision of B-line annotations (mean Dice-H score 0.755 vs. 0.643, p<0.05). These results suggest that expert-quality segmentations can be achieved using gamified crowdsourcing.

We prove an exponential stability result for the small solutions of the Schr{\"o}dinger-Poisson equation on the circle without exterior parameters in Gevrey class. More precisely we prove that for most of the initial data of Gevrey-norm smaller than $\varepsilon$ small enough, the solution of the Schr{\"o}dinger-Poisson equation remains smaller than $2\varepsilon$ for times of order $exp(\alpha |\log \varepsilon|^2 / \log |\log \varepsilon|)$. We stress out that this is the optimal time expected for PDEs as conjectured by Jean Bourgain in [Bou04].

The JWST Early Release Observations (ERO) included a NIRISS/SOSS (0.6-2.8$\,\mu$m) transit of the $\sim\,$850$\,$K Saturn-mass exoplanet HAT-P-18$\,$b. Initial analysis of these data reported detections of water, escaping helium, and haze. However, active K dwarfs like HAT-P-18 possess surface heterogeneities $-$ starspots and faculae $-$ that can complicate the interpretation of transmission spectra, and indeed, a spot-crossing event is present in HAT-P-18$\,$b's NIRISS/SOSS light curves. Here, we present an extensive reanalysis and interpretation of the JWST ERO transmission spectrum of HAT-P-18$\,$b, as well as HST/WFC3 and $\textit{Spitzer}$/IRAC transit observations. We detect H$_2$O (12.5$\,\sigma$), CO$_2$ (7.3$\,\sigma$), a cloud deck (7.4$\,\sigma$), and unocculted starspots (5.8$\,\sigma$), alongside hints of Na (2.7$\,\sigma$). We do not detect the previously reported CH$_4$ ($\log$ CH$_4$ $<$ -6 to 2$\,\sigma$). We obtain excellent agreement between three independent retrieval codes, which find a sub-solar H$_2$O abundance ($\log$ H$_2$O $\approx -4.4 \pm 0.3$). However, the inferred CO$_2$ abundance ($\log$ CO$_2$ $\approx -4.8 \pm 0.4$) is significantly super-solar and requires further investigation into its origin. We also introduce new stellar heterogeneity considerations by fitting for the active regions' surface gravities $-$ a proxy for the effects of magnetic pressure. Finally, we compare our JWST inferences to those from HST/WFC3 and $\textit{Spitzer}$/IRAC. Our results highlight the exceptional promise of simultaneous planetary atmosphere and stellar heterogeneity constraints in the era of JWST and demonstrate that JWST transmission spectra may warrant more complex treatments of the transit light source effect.

The traditional picture of solid-solid phase transformations assumes an ordered parent phase transforms into an ordered daughter phase via a single unique pathway. Zirconium and its prototypical phase transition from hexagonal close-packed (hcp) to simple hexagonal (hex-3) structure has generated considerable controversy over several decades regarding which mechanism mediates the transformation. However, a lack of in situ measurements over the relevant atomistic timescales has hindered our ability to identify the true pathway. In this study, we exploit femtosecond X-ray diffraction coupled with nanosecond laser compression to give unprecedented insights into the complexities of how materials transform at the lattice level. We observe single-crystal zirconium changing from hcp to a hex-3 structure via not one but three competing pathways simultaneously. Concurrently, we also observe a broad diffuse background underlying the sharp Bragg diffraction during the transition. We corroborate our observation of the diffuse signal with multimillion-atom molecular dynamics simulations using a machine-learned interatomic potential. Our study demonstrates that the traditional mechanistic view of transitions may fail for even an elemental metal and that the mechanisms by which materials transform are far more intricate than generally thought.

TRAPPIST-1 is a nearby system of seven Earth-sized, temperate, rocky exoplanets transiting a Jupiter-sized M8.5V star, ideally suited for in-depth atmospheric studies. Each TRAPPIST-1 planet has been observed in transmission both from space and from the ground, confidently rejecting cloud-free, hydrogen-rich atmospheres. Secondary eclipse observations of TRAPPIST-1 b with JWST/MIRI are consistent with little to no atmosphere given the lack of heat redistribution. Here we present the first transmission spectra of TRAPPIST-1 b obtained with JWST/NIRISS over two visits. The two transmission spectra show moderate to strong evidence of contamination from unocculted stellar heterogeneities, which dominates the signal in both visits. The transmission spectrum of the first visit is consistent with unocculted starspots and the second visit exhibits signatures of unocculted faculae. Fitting the stellar contamination and planetary atmosphere either sequentially or simultaneously, we confirm the absence of cloud-free hydrogen-rich atmospheres, but cannot assess the presence of secondary atmospheres. We find that the uncertainties associated with the lack of stellar model fidelity are one order of magnitude above the observation precision of 89 ppm (combining the two visits). Without affecting the conclusion regarding the atmosphere of TRAPPIST-1 b, this highlights an important caveat for future explorations, which calls for additional observations to characterize stellar heterogeneities empirically and/or theoretical works to improve model fidelity for such cool stars. This need is all the more justified as stellar contamination can affect the search for atmospheres around the outer, cooler TRAPPIST-1 planets for which transmission spectroscopy is currently the most efficient technique., Comment: 26 pages, 11 figures, accepted for publication in The Astrophysical Journal Letters

We propose an energy transfer model with a cubic atomic population dependence to accurately model the behavior of various reported high-power erbium-doped fluoride fiber lasers operating near 2.8 microns. We first show that the previously introduced weakly interacting (WI) and strongly interacting (SI) models are not adequate for precisely modeling such high-power erbium-doped fluoride fiber lasers. We compare results obtained with the WI and SI models to the proposed model by simulating 4 different highly doped (7 mol.%) fiber lasers previously reported in the literature. Laser efficiencies and powers are reproduced with great accuracy. In addition, four other independent fiber laser systems based on erbium doping concentrations varying from 1-6 mol.% are also simulated with good accuracy using the proposed model with the exact same set of spectroscopic parameters, which confirms its validity for various erbium doping concentrations. Redshifting of laser wavelength is also taken into account by considering the full cross section spectra and computing signal powers over several wavelength channels., Comment: 9 pages, 18 figures, Accepted for publication in IEEE Journal of Quantum Electronics

The Trusted Platform Module (TPM) is a cryptoprocessor designed to protect integrity and security of modern computers. Communications with the TPM go through the TPM Software Stack (TSS), a popular implementation of which is the open-source library tpm2-tss. Vulnerabilities in its code could allow attackers to recover sensitive information and take control of the system. This paper describes a case study on formal verification of tpm2-tss using the Frama-C verification platform. Heavily based on linked lists and complex data structures, the library code appears to be highly challenging for the verification tool. We present several issues and limitations we faced, illustrate them with examples and present solutions that allowed us to verify functional properties and the absence of runtime errors for a representative subset of functions. We describe verification results and desired tool improvements necessary to achieve a full formal verification of the target code., Comment: 28 pages

The metastable helium triplet in the near-infrared (10833{\AA}) is among the most important probes of exoplanet atmospheres. It can trace their extended outer layers and constrain mass-loss. We use the near-infrared high-resolution spectropolarimeter SPIRou on the CFHT to search for the spectrally resolved helium triplet in the atmospheres of eleven exoplanets, ranging from warm mini-Neptunes to hot Jupiters and orbiting G, K, and M dwarfs. Observations were obtained as part of the SPIRou Legacy Survey and complementary open-time programs. We apply a homogeneous data reduction to all datasets and set constraints on the presence of metastable helium, despite the presence of systematics in the data. We confirm published detections for HAT-P-11b, HD189733b, and WASP-69b and set upper limits for the other planets. We apply the p-winds open source code to set upper limits on the mass-loss rate for the non-detections and to constrain the thermosphere temperature, mass-loss rate, line-of-sight velocity, and the altitude of the thermosphere for the detections. We confirm that the presence of metastable helium correlates with the stellar mass and the XUV flux received by the planets. We investigated the correlation between the mass-loss rate and the presence of metastable helium, but it remains difficult to draw definitive conclusions. Finally, some of our results are in contradiction with previous results in the literature, therefore we stress the importance of repeatable, homogeneous, and larger-scale analyses of the helium triplet to obtain robust statistics, study temporal variability, and better understand how the helium triplet can be used to explore the evolution of exoplanets., Comment: 28 pages, 13 figures, Accepted in A&A for publication

We study the excitation spectrum of the one-dimensional spin-1/2 XXZ chain with antiferromagnetic Ising anisotropy across a magnetic quantum phase transition induced by the application of a site-dependent transverse magnetic field. Motivated by the chain antiferromagnet BaCo$_2$V$_2$O$_8$, we consider a situation where the transverse magnetic field has a strong uniform component and a weaker staggered part. To determine the nature of the excitations giving rise to the spin dynamical structure factor, we use a combination of analytical approaches and the numerically exact time-dependent matrix product state method. We identify below the quantum phase transition high-energy many-body two-magnon and three-magnon repulsively bound states which are clearly visible due to the staggered component of the magnetic field. At high magnetic fields and low temperature, single magnons dominate the dynamics. Our theory results are in very good agreement with terahertz spectroscopy experimental results presented in [Wang et al., Nature 631, 760 (2024)].

Study Objective: Machine learning models have advanced medical image processing and can yield faster, more accurate diagnoses. Despite a wealth of available medical imaging data, high-quality labeled data for model training is lacking. We investigated whether a gamified crowdsourcing platform enhanced with inbuilt quality control metrics can produce lung ultrasound clip labels comparable to those from clinical experts. Methods: 2,384 lung ultrasound clips were retrospectively collected from 203 patients. Six lung ultrasound experts classified 393 of these clips as having no B-lines, one or more discrete B-lines, or confluent B-lines to create two sets of reference standard labels (195 training set clips and 198 test set clips). Sets were respectively used to A) train users on a gamified crowdsourcing platform, and B) compare concordance of the resulting crowd labels to the concordance of individual experts to reference standards. Results: 99,238 crowdsourced opinions on 2,384 lung ultrasound clips were collected from 426 unique users over 8 days. On the 198 test set clips, mean labeling concordance of individual experts relative to the reference standard was 85.0% +/- 2.0 (SEM), compared to 87.9% crowdsourced label concordance (p=0.15). When individual experts' opinions were compared to reference standard labels created by majority vote excluding their own opinion, crowd concordance was higher than the mean concordance of individual experts to reference standards (87.4% vs. 80.8% +/- 1.6; p<0.001). Conclusion: Crowdsourced labels for B-line classification via a gamified approach achieved expert-level quality. Scalable, high-quality labeling approaches may facilitate training dataset creation for machine learning model development., Comment: 27 pages total

The Near Infrared Imager and Slitless Spectrograph instrument (NIRISS) is the Canadian Space Agency (CSA) contribution to the suite of four science instruments of JWST. As one of the three NIRISS observing modes, the Single Object Slitless Spectroscopy (SOSS) mode is tailor-made to undertake time-series observations of exoplanets to perform transit spectroscopy. The SOSS permits observing point sources between 0.6 and 2.8 um at a resolving power of 650 at 1.25 um using a slit-less cross-dispersing grism while its defocussing cylindrical lens enables observing targets as bright as J=6.7 by spreading light across 23 pixels along the cross-dispersion axis. This paper officially presents the design of the SOSS mode, its operation, characterization, and its performance, from ground-based testing and flight-based Commissioning. On-sky measurements demonstrate a peak photon conversion efficiency of 55% at 1.2 um. The first time-series on the A-type star BD+60o1753 achieves a flux stability close to the photon-noise limit, so far tested to a level of 20 parts per million on 40-minute time-scales after simply subtracting a long-term trend. Uncorrected 1/f noise residuals underneath the spectral traces add an extra source of noise equivalent to doubling the readout noise. Preliminary analysis of a HAT-P-14b transit time-series indicates that it is difficult to remove all the noise in pixels with partially saturated ramps. Overall, the SOSS delivers performance at the level required to tackle key exoplanet science programs such as detecting secondary atmospheres on terrestrial planets and measuring abundances of several chemical species in gas giants., Comment: 41 pages, 28 figures, accepted for publication in PASP

Federated Learning (FL) is an emerging paradigm that allows a model to be trained across a number of participants without sharing data. Recent works have begun to consider the effects of using pre-trained models as an initialization point for existing FL algorithms; however, these approaches ignore the vast body of efficient transfer learning literature from the centralized learning setting. Here we revisit the problem of FL from a pre-trained model considered in prior work and expand it to a set of computer vision transfer learning problems. We first observe that simply fitting a linear classification head can be efficient and effective in many cases. We then show that in the FL setting, fitting a classifier using the Nearest Class Means (NCM) can be done exactly and orders of magnitude more efficiently than existing proposals, while obtaining strong performance. Finally, we demonstrate that using a two-phase approach of obtaining the classifier and then fine-tuning the model can yield rapid convergence and improved generalization in the federated setting. We demonstrate the potential our method has to reduce communication and compute costs while achieving better model performance.

The Near-Infrared Imager and Slitless Spectrograph (NIRISS) is the science module of the Canadian-built Fine Guidance Sensor (FGS) onboard the James Webb Space Telescope (JWST). NIRISS has four observing modes: 1) broadband imaging featuring seven of the eight NIRCam broadband filters, 2) wide-field slitless spectroscopy (WFSS) at a resolving power of $\sim$150 between 0.8 and 2.2 $\mu$m, 3) single-object cross-dispersed slitless spectroscopy (SOSS) enabling simultaneous wavelength coverage between 0.6 and 2.8 $\mu$m at R$\sim$700, a mode optimized for exoplanet spectroscopy of relatively bright ($J<6.3$) stars and 4) aperture masking interferometry (AMI) between 2.8 and 4.8 $\mu$m enabling high-contrast ($\sim10^{-3}-10^{-4}$) imaging at angular separations between 70 and 400 milliarcsec for relatively bright ($M<8$) sources. This paper presents an overview of the NIRISS instrument, its design, its scientific capabilities, and a summary of in-flight performance. NIRISS shows significantly better response shortward of $\sim2.5\,\mu$m resulting in 10-40% sensitivity improvement for broadband and low-resolution spectroscopy compared to pre-flight predictions. Two time-series observations performed during instrument commissioning in the SOSS mode yield very stable spectro-photometry performance within $\sim$10% of the expected noise. The first space-based companion detection of the tight binary star AB Dor AC through AMI was demonstrated.