Creation of ultracold Sr2 molecules in the electronic ground state

We report on the creation of ultracold 84Sr2 molecules in the electronic ground state. The molecules are formed from atom pairs on sites of an optical lattice using stimulated Raman adiabatic passage (STIRAP). We achieve a transfer efficiency of 30% and obtain 4x10^4 molecules with full control over the external and internal quantum state. STIRAP is performed near the narrow 1S0-3P1 intercombination transition, using a vibrational level of the 0u potential as intermediate state. In preparation of our molecule association scheme, we have determined the binding energies of the last vibrational levels of the 0u, 1u excited-state, and the 1\Sigma_g^+ ground-state potentials. Our work overcomes the previous limitation of STIRAP schemes to systems with Feshbach resonances, thereby establishing a route that is applicable to many systems beyond bi-alkalis.Comment: 7 pages, 7 figures, 3 table

Towards more Dependable Verification of Mixed-Signal Systems

The verification of complex mixed-signal systems is a challenge, especially considering the impact of parameter variations. Besides the established approaches like Monte-Carlo or Corner-Case simulation, a novel semi-symbolic approach emerged in recent years. In this approach, parameter variations and tolerances are maintained as symbolic ranges during numerical simulation runs by using affine arithmetic. Maintaining parameter variations and tolerances in a symbolic way significantly increases verification coverage. In the following we give a brief introduction and an overview of research on semi-symbolic simulation of both circuits and systems and discuss possible application for system level verification and optimization

Bose-Einstein condensation of 86Sr

We report on the attainment of Bose-Einstein condensation of 86Sr. This isotope has a scattering length of about +800 a0 and thus suffers from fast three-body losses. To avoid detrimental atom loss, evaporative cooling is performed at low densities around 3x10^12 cm^-3 in a large volume optical dipole trap. We obtain almost pure condensates of 5x10^3 atoms.Comment: 4 pages, 3 figure

XTSC-Bench: Quantitative Benchmarking for Explainers on Time Series Classification

Despite the growing body of work on explainable machine learning in time series classification (TSC), it remains unclear how to evaluate different explainability methods. Resorting to qualitative assessment and user studies to evaluate explainers for TSC is difficult since humans have difficulties understanding the underlying information contained in time series data. Therefore, a systematic review and quantitative comparison of explanation methods to confirm their correctness becomes crucial. While steps to standardized evaluations were taken for tabular, image, and textual data, benchmarking explainability methods on time series is challenging due to a) traditional metrics not being directly applicable, b) implementation and adaption of traditional metrics for time series in the literature vary, and c) varying baseline implementations. This paper proposes XTSC-Bench, a benchmarking tool providing standardized datasets, models, and metrics for evaluating explanation methods on TSC. We analyze 3 perturbation-, 6 gradient- and 2 example-based explanation methods to TSC showing that improvements in the explainers' robustness and reliability are necessary, especially for multivariate data.Comment: Accepted at ICMLA 202