Search

Micromagnet-enabled electric-dipole spin resonance (EDSR) is an established method of high-fidelity single-spin control in silicon. However, the resulting architectural limitations have restrained silicon quantum processors to one-dimensional arrays, and heating effects from the associated microwave dissipation exacerbates crosstalk during multi-qubit operations. In contrast, qubit control based on hopping spins has recently emerged as a compelling primitive for high-fidelity baseband control in sparse two-dimensional hole arrays in germanium. In this work, we commission a $^{28}$Si/SiGe 2x2 quantum dot array both as a four-qubit device with pairwise exchange interactions using established EDSR techniques and as a two-qubit device using baseband hopping control. In this manner, we can evaluate the two modes of operation in terms of fidelity, coherence, and crosstalk. We establish a lower bound on the fidelity of the hopping gate of 99.50(6)%, which is similar to the average fidelity of the resonant gate of 99.54(4)%. Lowering the external field to reach the hopping regime nearly doubles the measured $T_2^{\mathrm{H}}$, suggesting a reduced coupling to charge noise. Finally, the hopping gate circumvents the transient pulse-induced resonance shift. To further motivate the hopping gate approach as an attractive means of scaling silicon spin-qubit arrays, we propose an extensible nanomagnet design that enables engineered baseband control of large spin arrays., Comment: main text with 12 pages and 5 figures, methods and extended data and supplementary materials with 22 pages and 11 figures and 1 table, in a single file

Markov decision processes (MDPs) are a standard model for sequential decision-making problems and are widely used across many scientific areas, including formal methods and artificial intelligence (AI). MDPs do, however, come with the restrictive assumption that the transition probabilities need to be precisely known. Robust MDPs (RMDPs) overcome this assumption by instead defining the transition probabilities to belong to some uncertainty set. We present a gentle survey on RMDPs, providing a tutorial covering their fundamentals. In particular, we discuss RMDP semantics and how to solve them by extending standard MDP methods such as value iteration and policy iteration. We also discuss how RMDPs relate to other models and how they are used in several contexts, including reinforcement learning and abstraction techniques. We conclude with some challenges for future work on RMDPs.

Aims. Recently, both the presence of multiple stellar chemo-kinematic components and rotation in the Sculptor dwarf spheroidal galaxy have been put into question. Therefore, we re-examine the chemo-kinematic properties of this galaxy making use of the best spectroscopic data-set available containing both line-of-sight velocities and metallicities of individual stars. Methods. We carry out a detailed, quantitative analysis on the recent spectroscopic data-set from Tolstoy et al. (2023) that contains high precision velocities and metallicities for 1339 members of Sculptor. In particular, we assess whether Sculptor is best represented by a single stellar population with a negative metallicity gradient or by the super-position of two or more components with different mean metallicity, spatial distribution and kinematic properties. For this analysis, we also include the incompleteness of the spectroscopic data-set. Results. We find that Sculptor is better described by a two-populations model than by a single-population model with a metallicity gradient. Moreover, given the assumptions of the current modeling, we find evidence of a third population, composed of few stars, that is more extended and metal-poor than the two other populations. This very metal-poor group of stars shows a shift of around 15 km/s in its average l.o.s. velocity (vlos) with respect to the rest of the galaxy. We discuss several possible origins for this new population, finding a minor merger as the most likely one. We also find a vlos gradient of 4.0 +1.5 -1.5 km s-1 deg-1 but its statistical evidence is inconclusive and, moreover, its detection is partially driven by the group of stars with off-set velocities., Comment: 17 pages, 9 figures, Accepted for publication in Astronomy & Astrophysics

Biological age scores are an emerging tool to characterize aging by estimating chronological age based on physiological biomarkers. Various scores have shown associations with aging-related outcomes. This study assessed the relation between an age score based on brain MRI images (BrainAge) and an age score based on metabolomic biomarkers (MetaboAge). We trained a federated deep learning model to estimate BrainAge in three cohorts. The federated BrainAge model yielded significantly lower error for age prediction across the cohorts than locally trained models. Harmonizing the age interval between cohorts further improved BrainAge accuracy. Subsequently, we compared BrainAge with MetaboAge using federated association and survival analyses. The results showed a small association between BrainAge and MetaboAge as well as a higher predictive value for the time to mortality of both scores combined than for the individual scores. Hence, our study suggests that both aging scores capture different aspects of the aging process.

This paper presents verification-guided development (VGD), a software engineering process we used to build Cedar, a new policy language for expressive, fast, safe, and analyzable authorization. Developing a system with VGD involves writing an executable model of the system and mechanically proving properties about the model; writing production code for the system and using differential random testing (DRT) to check that the production code matches the model; and using property-based testing (PBT) to check properties of unmodeled parts of the production code. Using VGD for Cedar, we can build fast, idiomatic production code, prove our model correct, and find and fix subtle implementation bugs that evade code reviews and unit testing. While carrying out proofs, we found and fixed 4 bugs in Cedar's policy validator, and DRT and PBT helped us find and fix 21 additional bugs in various parts of Cedar.

In this paper, we describe the wide-field spectroscopic survey telescope (WST) project. WST is a 12-metre wide-field spectroscopic survey telescope with simultaneous operation of a large field-of-view (3 sq. degree), high-multiplex (20,000) multi-object spectrograph (MOS), with both a low and high-resolution modes, and a giant 3x3 arcmin2 integral field spectrograph (IFS). In scientific capability, these specifications place WST far ahead of existing and planned facilities. In only 5 years of operation, the MOS would target 250 million galaxies and 25 million stars at low spectral resolution, plus 2 million stars at high resolution. Without need for pre-imaged targets, the IFS would deliver 4 billion spectra offering many serendipitous discoveries. Given the current investment in deep imaging surveys and noting the diagnostic power of spectroscopy, WST will fill a crucial gap in astronomical capability and work in synergy with future ground and space-based facilities. We show how it can address outstanding scientific questions in the areas of cosmology; galaxy assembly, evolution, and enrichment, including our own Milky Way; the origin of stars and planets; and time domain and multi-messenger astrophysics. WST's uniquely rich dataset may yield unforeseen discoveries in many of these areas. The telescope and instruments are designed as an integrated system and will mostly use existing technology, with the aim to minimise the carbon footprint and environmental impact. We will propose WST as the next European Southern Observatory (ESO) project after completion of the 39-metre ELT., Comment: 15 pages, 15 figures

Partially observable Markov decision processes (POMDPs) rely on the key assumption that probability distributions are precisely known. Robust POMDPs (RPOMDPs) alleviate this concern by defining imprecise probabilities, referred to as uncertainty sets. While robust MDPs have been studied extensively, work on RPOMDPs is limited and primarily focuses on algorithmic solution methods. We expand the theoretical understanding of RPOMDPs by showing that 1) different assumptions on the uncertainty sets affect optimal policies and values; 2) RPOMDPs have a partially observable stochastic game (POSG) semantic; and 3) the same RPOMDP with different assumptions leads to semantically different POSGs and, thus, different policies and values. These novel semantics for RPOMDPs give access to results for POSGs, studied in game theory; concretely, we show the existence of a Nash equilibrium. Finally, we classify the existing RPOMDP literature using our semantics, clarifying under which uncertainty assumptions these existing works operate., Comment: Accepted at IJCAI 2024

The Wide-field Spectroscopic Telescope (WST) is proposed as a new facility dedicated to the efficient delivery of spectroscopic surveys. This white paper summarises the initial concept as well as the corresponding science cases. WST will feature simultaneous operation of a large field-of-view (3 sq. degree), a high multiplex (20,000) multi-object spectrograph (MOS) and a giant 3x3 sq. arcmin integral field spectrograph (IFS). In scientific capability these requirements place WST far ahead of existing and planned facilities. Given the current investment in deep imaging surveys and noting the diagnostic power of spectroscopy, WST will fill a crucial gap in astronomical capability and work synergistically with future ground and space-based facilities. This white paper shows that WST can address outstanding scientific questions in the areas of cosmology; galaxy assembly, evolution, and enrichment, including our own Milky Way; origin of stars and planets; time domain and multi-messenger astrophysics. WST's uniquely rich dataset will deliver unforeseen discoveries in many of these areas. The WST Science Team (already including more than 500 scientists worldwide) is open to the all astronomical community. To register in the WST Science Team please visit https://www.wstelescope.com/for-scientists/participate, Comment: 194 pages, 66 figures. Comments are welcome (wstelescope@gmail.com)

Cedar is a new authorization policy language designed to be ergonomic, fast, safe, and analyzable. Rather than embed authorization logic in an application's code, developers can write that logic as Cedar policies and delegate access decisions to Cedar's evaluation engine. Cedar's simple and intuitive syntax supports common authorization use-cases with readable policies, naturally leveraging concepts from role-based, attribute-based, and relation-based access control models. Cedar's policy structure enables access requests to be decided quickly. Cedar's policy validator leverages optional typing to help policy writers avoid mistakes, but not get in their way. Cedar's design has been finely balanced to allow for a sound and complete logical encoding, which enables precise policy analysis, e.g., to ensure that when refactoring a set of policies, the authorized permissions do not change. We have modeled Cedar in the Lean programming language, and used Lean's proof assistant to prove important properties of Cedar's design. We have implemented Cedar in Rust, and released it open-source. Comparing Cedar to two open-source languages, OpenFGA and Rego, we find (subjectively) that Cedar has equally or more readable policies, but (objectively) performs far better.

Accurate 3D kinematics estimation of human body is crucial in various applications for human health and mobility, such as rehabilitation, injury prevention, and diagnosis, as it helps to understand the biomechanical loading experienced during movement. Conventional marker-based motion capture is expensive in terms of financial investment, time, and the expertise required. Moreover, due to the scarcity of datasets with accurate annotations, existing markerless motion capture methods suffer from challenges including unreliable 2D keypoint detection, limited anatomic accuracy, and low generalization capability. In this work, we propose a novel biomechanics-aware network that directly outputs 3D kinematics from two input views with consideration of biomechanical prior and spatio-temporal information. To train the model, we create synthetic dataset ODAH with accurate kinematics annotations generated by aligning the body mesh from the SMPL-X model and a full-body OpenSim skeletal model. Our extensive experiments demonstrate that the proposed approach, only trained on synthetic data, outperforms previous state-of-the-art methods when evaluated across multiple datasets, revealing a promising direction for enhancing video-based human motion capture

The rovibrational spectrum of the molecular ion H$_2$CCCH$^+$ was investigated in a 4~K cryogenic ion trap instrument employing the leak-out spectroscopy method. Transitions within the fundamental $\nu_1$ (C-H stretch) and the combination band $\nu_3$+$\nu_5$ (C-C stretches) were detected, the search aided by high level quantum chemical calculations. The analysis of the rovibrational measurements enabled us to predict the rotational structure of the ground state. Using a rotational-vibrational double-resonance scheme, 14 pure rotational transitions were measured. This, in turn, led to the radio astronomical detection of H$_2$CCCH$^+$ in the interstellar medium, as recently reported (Silva et al., Astron. Astrophys. 676, L1, 2023)., Comment: Accepted 12 Dec 2023, Published online: 29 Dec 2023. Molecular Physics (2023), Article: e2296613

Satellite galaxies within the Milky Way's (MW) virial radius $R_{\mathrm{vir}}$ are typically devoid of cold gas due to ram pressure stripping by the MW's corona. The density of this corona is poorly constrained today and essentially unconstrained in the past, but can be estimated using ram pressure stripping. In this paper, we probe the MW corona at $z\approx 1.6$ using the Draco dwarf spheroidal galaxy. We assume that i) Draco's orbit is determined by its interaction with the MW, whose dark matter halo we evolve in time following cosmologically-motivated prescriptions, ii) Draco's star formation was quenched by ram pressure stripping and iii) the MW's corona is approximately smooth, spherical and in hydrostatic equilibrium. We used GAIA proper motions to set the initial conditions and Draco's star formation history to estimate its past gas content. We found indications that Draco was stripped of its gas during the first pericentric passage. Using 3D hydrodynamical simulations at a resolution that enables us to resolve individual supernovae and assuming no tidal stripping, which we estimate to be a minor effect, we find a density of the MW corona $\geq 8\times 10^{-4}$ cm$^{-3}$ at a radius $\approx 0.72R_{\mathrm{vir}}$. This provides evidence that the MW's corona was already in place at $z\approx 1.6$ and with a higher density than today. If isothermal, this corona would have contained all the baryons expected by the cosmological baryon fraction. Extrapolating to today shows good agreement with literature constraints if feedback has removed $\lesssim 30$% of baryons accreted onto the halo., Comment: 20 pages, 11 figures. Accepted for publication in MNRAS