Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs

We introduce a novel sampling algorithm for Bayesian inference on imperative probabilistic programs. It features a hierarchical architecture that separates control flows from data: the top-level samples a control flow, and the bottom level samples data values along the control flow picked by the top level. This separation allows us to plug various language-based analysis techniques in probabilistic program sampling; specifically, we use logical backward propagation of observations for sampling efficiency. We implemented our algorithm on top of Anglican. The experimental results demonstrate our algorithm's efficiency, especially for programs with while loops and rare observations.Comment: 11 pages with appendice

Positive trend in the Antarctic sea ice cover and associated changes in surface temperature

The Antarctic sea ice extent has been slowly increasing contrary to expected trends due to global warming and results from coupled climate models. After a record high extent in 2012 the extent was even higher in 2014 when the magnitude exceeded 20 × 106 km2 for the first time during the satellite era. The positive trend is confirmed with newly reprocessed sea ice data that addressed inconsistency issues in the time series. The variability in sea ice extent and ice area was studied alongside surface ice temperature for the 34-yr period starting in 1981, and the results of the analysis show a strong correlation of −0.94 during the growth season and −0.86 during the melt season. The correlation coefficients are even stronger with a one-month lag in surface temperature at −0.96 during the growth season and −0.98 during the melt season, suggesting that the trend in sea ice cover is strongly influenced by the trend in surface temperature. The correlation with atmospheric circulation as represented by the southern annular mode (SAM) index appears to be relatively weak. A case study comparing the record high in 2014 with a relatively low ice extent in 2015 also shows strong sensitivity to changes in surface temperature. The results suggest that the positive trend is a consequence of the spatial variability of global trends in surface temperature and that the ability of current climate models to forecast sea ice trend can be improved through better performance in reproducing observed surface temperatures in the Antarctic region

Characterization of the MASCOT landing area by Hayabusa2

Context. After landing on C-type asteroid Ryugu, MASCOT imaged brightly colored, submillimeter-sized inclusions in a small rock. Hayabusa2 successfully returned a sample of small particles from the surface of Ryugu, but none of these appear to harbor such inclusions. The samples are considered representative of Ryugu. Aims. To understand the apparent discrepancy between MASCOT observations and Ryugu samples, we assess whether the MASCOT landing site, and the rock by implication, is perhaps atypical for Ryugu. Methods. We analyzed observations of the MASCOT landing area acquired by three instruments on board Hayabusa2: a camera (ONC), a near-infrared spectrometer (NIRS3), and a thermal infrared imager. We compared the landing area properties thus retrieved with those of the average Ryugu surface. Results. We selected several areas and landforms in the landing area for analysis: a small crater, a collection of smooth rocks, and the landing site itself. The crater is relatively blue and the rocks are relatively red. The spectral and thermophysical properties of the landing site are very close to those of the average Ryugu surface. The spectral properties of the MASCOT rock are probably close to average, but its thermal inertia may be somewhat higher. Conclusions. The MASCOT rock can also be considered representative of Ryugu. Some of the submillimeter-sized particles in the returned samples stand out because of their atypical spectral properties. Such particles may be present as inclusions in the MASCOT rock

Preconception Health Knowledge among Undergraduate Women

Preconception health is a woman’s health before she becomes pregnant. It means knowing and understanding how preexisting health conditions and risk factors could affect a woman or her unborn child if she becomes pregnant (Office on Women’s Health, 2010). This study examined undergraduate students’ knowledge of recommended preconception health practices. A paper survey was distributed to general education classes in health, sociology, and family consumer science. This 33-item survey assessed demographics, barriers to practicing recommended preconception health behaviors, and knowledge of preconception health practices. Analyses included frequencies, independent t-test, and ANOVA. Respondents had a mean score of 42.85 (2.68) on the knowledge section of the survey; indicating that respondents had a high level of knowledge regarding preconception health practices and information. Respondents’ knowledge scores were statistically correlated with their preconception health practices and behaviors (r=.176, p=.000). As knowledge scores increased, preconception health practice and behaviors scores also increased. When analyzing participants’ current health behaviors as they relate to preconception health, it was found that most students are engaging in healthy behaviors

Coherence of a field-gradient-driven singlet-triplet qubit coupled to many-electron spin states in 28Si/SiGe

Engineered spin-electric coupling enables spin qubits in semiconductor nanostructures to be manipulated efficiently and addressed individually. While synthetic spin-orbit coupling using a micromagnet is widely used for driving qubits based on single spins in silicon, corresponding demonstration for encoded spin qubits is so far limited to natural silicon. Here, we demonstrate fast singlet-triplet qubit oscillation (~100 MHz) in a gate-defined double quantum dot in $^{28}$Si/SiGe with an on-chip micromagnet with which we show the oscillation quality factor of an encoded spin qubit exceeding 580. The coherence time $\textit{T}_{2}$* is analyzed as a function of potential detuning and an external magnetic field. In weak magnetic fields, the coherence is limited by fast noise compared to the data acquisition time, which limits $\textit{T}_{2}$* < 1 ${\mu}$s in the ergodic limit. We present evidence of sizable and coherent coupling of the qubit with the spin states of a nearby quantum dot, demonstrating that appropriate spin-electric coupling may enable a charge-based two-qubit gate in a (1,1) charge configuration

The resolution sensitivity of the Asian summer monsoon and its inter-model comparison between MRI-AGCM and MetUM

In this study, we compare the resolution sensitivity of the Asian Summer Monsoon (ASM) in two Atmospheric General Circulation Models (AGCMs): the MRI-AGCM and the MetUM. We analyze the MetUM at three different resolutions, N96 (approximately 200-km mesh on the equator), N216 (90-km mesh) and N512 (40-km mesh), and the MRI-AGCM at TL95 (approximately 180-km mesh on the equator), TL319 (60-km mesh), and TL959 (20-km mesh). The MRI-AGCM and the MetUM both show decreasing precipitation over the western Pacific with increasing resolution, but their precipitation responses differ over the Indian Ocean. In MRI-AGCM, a large precipitation increase appears off the equator (5–20°N). In MetUM, this off-equatorial precipitation increase is less significant and precipitation decreases over the equator. Moisture budget analysis demonstrates that a changing in moisture flux convergence at higher resolution is related to the precipitation response. Orographic effects, intra-seasonal variability and the representation of the meridional thermal gradient are explored as possible causes of the resolution sensitivity. Both high-resolution AGCMs (TL959 and N512) can represent steep topography, which anchors the rainfall pattern over south Asia and the Maritime Continent. In MRI-AGCM, representation of low pressure systems in TL959 also contributes to the rainfall pattern. Furthermore, the seasonal evolution of the meridional thermal gradient appears to be more accurate at higher resolution, particularly in the MRI-AGCM. These findings emphasize that the impact of resolution is only robust across the two AGCMs for some features of the ASM, and highlights the importance of multi-model studies of GCM resolution sensitivity