Showing 1–50 of 793 results for author: Mueller, P

Millimeter-millimeter-wave double-modulation double-resonance spectroscopy

Authors: Oliver Zingsheim, Luis Bonah, Frank Lewen, Sven Thorwirth, Holger S. P. Müller, Stephan Schlemmer

Abstract: A new millimeter- to millimeter-wave double-modulation double-resonance (MMW-MMW DM-DR) scheme has been applied to record spectra of two astronomically relevant complex organic molecules (COMs), propanal (C2H5CHO) and ethyl cyanide (C2H5CN), to demonstrate advantages of the DM-DR experimental technique. The DR technique helps to identify target transitions in a forest of lines and the implementati… ▽ More A new millimeter- to millimeter-wave double-modulation double-resonance (MMW-MMW DM-DR) scheme has been applied to record spectra of two astronomically relevant complex organic molecules (COMs), propanal (C2H5CHO) and ethyl cyanide (C2H5CN), to demonstrate advantages of the DM-DR experimental technique. The DR technique helps to identify target transitions in a forest of lines and the implementation of a DM procedure (modulation of the pump and probe source) allows for confusion- and baseline-free spectra containing only the line(s) of interest. In particular the unambiguous assignment of weak and blended transitions in very dense MMW spectra is highlighted. Details of the observed Autler-Townes line splitting and possible future applications, such as automated analyses and adaptions of DM-DR methods to other experimental setups, are discussed. △ Less

Submitted 1 July, 2024; originally announced July 2024.

Investigation of the rotational spectrum of CH$_3$$^{17}$OH and its tentative detection toward Sagittarius B2(N)

Authors: Holger S. P. Müller, Vadim V. Ilyushin, Arnaud Belloche, Frank Lewen, Stephan Schlemmer

Abstract: Methanol is an abundant molecule in space. The column density of CH$_3^{18}$OH is in some star-forming regions so high that the search for CH$_3^{17}$OH is promising. But only very few transition frequencies of CH$_3^{17}$OH with a microwave accuracy have been published thus far. We recorded the rotational spectrum of CH$_3^{17}$OH between 38 and 1095 GHz employing a methanol sample enriched in… ▽ More Methanol is an abundant molecule in space. The column density of CH$_3^{18}$OH is in some star-forming regions so high that the search for CH$_3^{17}$OH is promising. But only very few transition frequencies of CH$_3^{17}$OH with a microwave accuracy have been published thus far. We recorded the rotational spectrum of CH$_3^{17}$OH between 38 and 1095 GHz employing a methanol sample enriched in $^{17}$O to 20\%. A torsion-rotation Hamiltonian model based on the rho-axis method was employed to fit the data, as in our previous studies. We searched for rotational transitions of CH$_3^{17}$OH in the imaging spectral line survey ReMoCA obtained with the Atacama Large Millimeter/submillimeter Array (ALMA) toward the high-mass star-forming region Sgr B2(N). The observed spectra were modeled under the assumption of local thermodynamic equilibrium (LTE). The assignments cover $0 \le J \le 45$, $K_a \le 16$, and mainly the $v_ t = 0$ and 1 torsional states. The Hamiltonian model describes our data well. The model was applied to derive a line list for radio-astronomical observations. We report a tentative detection of CH$_3^{17}$OH along with secure detections of the more abundant isotopologs of methanol toward Sgr B2(N2b). The derived column densities yield isotopic ratios $^{12}$C/$^{13}$C = 25, $^{16}$O/$^{18}$O = 240, and $^{18}$O/$^{17}$O = 3.3, which are consistent with values found earlier for other molecules in Sgr B2. The agreement between the $^{18}$O/$^{17}$O isotopic ratio that we obtained for methanol and the $^{18}$O/$^{17}$O ratios reported in the past for other molecules in Sgr B2(N) strongly supports our tentative interstellar identification of CH$_3^{17}$OH. The accuracy of the derived line list is sufficient for further radio astronomical searches for this methanol isotopolog toward other star-forming regions. △ Less

Submitted 1 July, 2024; originally announced July 2024.

Comments: 16 pages, including tables, figures, references and appendices. Abstract slightly shortened. Astronomy and Astrophysics, accepted for publication

Evaluation of Language Models in the Medical Context Under Resource-Constrained Settings

Authors: Andrea Posada, Daniel Rueckert, Felix Meissen, Philip Müller

Abstract: Since the emergence of the Transformer architecture, language model development has increased, driven by their promising potential. However, releasing these models into production requires properly understanding their behavior, particularly in sensitive domains such as medicine. Despite this need, the medical literature still lacks technical assessments of pre-trained language models, which are es… ▽ More Since the emergence of the Transformer architecture, language model development has increased, driven by their promising potential. However, releasing these models into production requires properly understanding their behavior, particularly in sensitive domains such as medicine. Despite this need, the medical literature still lacks technical assessments of pre-trained language models, which are especially valuable in resource-constrained settings in terms of computational power or limited budget. To address this gap, we provide a comprehensive survey of language models in the medical domain. In addition, we selected a subset of these models for thorough evaluation, focusing on classification and text generation tasks. Our subset encompasses 53 models, ranging from 110 million to 13 billion parameters, spanning the three families of Transformer-based models and from diverse knowledge domains. This study employs a series of approaches for text classification together with zero-shot prompting instead of model training or fine-tuning, which closely resembles the limited resource setting in which many users of language models find themselves. Encouragingly, our findings reveal remarkable performance across various tasks and datasets, underscoring the latent potential of certain models to contain medical knowledge, even without domain specialization. Consequently, our study advocates for further exploration of model applications in medical contexts, particularly in resource-constrained settings. The code is available on https://github.com/anpoc/Language-models-in-medicine. △ Less

Submitted 24 June, 2024; originally announced June 2024.

Clustering and Meta-Analysis Using a Mixture of Dependent Linear Tail-Free Priors

Authors: Bernardo Flores, Peter Mueller

Abstract: We propose a novel nonparametric Bayesian approach for meta-analysis with event time outcomes. The model is an extension of linear dependent tail-free processes. The extension includes a modification to facilitate (conditionally) conjugate posterior updating and a hierarchical extension with a random partition of studies. The partition is formalized as a Dirichlet process mixture. The model develo… ▽ More We propose a novel nonparametric Bayesian approach for meta-analysis with event time outcomes. The model is an extension of linear dependent tail-free processes. The extension includes a modification to facilitate (conditionally) conjugate posterior updating and a hierarchical extension with a random partition of studies. The partition is formalized as a Dirichlet process mixture. The model development is motivated by a meta-analysis of cancer immunotherapy studies. The aim is to validate the use of relevant biomarkers in the design of immunotherapy studies. The hypothesis is about immunotherapy in general, rather than about a specific tumor type, therapy and marker. This broad hypothesis leads to a very diverse set of studies being included in the analysis and gives rise to substantial heterogeneity across studies △ Less

Submitted 22 June, 2024; originally announced June 2024.

Resource-efficient Medical Image Analysis with Self-adapting Forward-Forward Networks

Authors: Johanna P. Müller, Bernhard Kainz

Abstract: We introduce a fast Self-adapting Forward-Forward Network (SaFF-Net) for medical imaging analysis, mitigating power consumption and resource limitations, which currently primarily stem from the prevalent reliance on back-propagation for model training and fine-tuning. Building upon the recently proposed Forward-Forward Algorithm (FFA), we introduce the Convolutional Forward-Forward Algorithm (CFFA… ▽ More We introduce a fast Self-adapting Forward-Forward Network (SaFF-Net) for medical imaging analysis, mitigating power consumption and resource limitations, which currently primarily stem from the prevalent reliance on back-propagation for model training and fine-tuning. Building upon the recently proposed Forward-Forward Algorithm (FFA), we introduce the Convolutional Forward-Forward Algorithm (CFFA), a parameter-efficient reformulation that is suitable for advanced image analysis and overcomes the speed and generalisation constraints of the original FFA. To address hyper-parameter sensitivity of FFAs we are also introducing a self-adapting framework SaFF-Net fine-tuning parameters during warmup and training in parallel. Our approach enables more effective model training and eliminates the previously essential requirement for an arbitrarily chosen Goodness function in FFA. We evaluate our approach on several benchmarking datasets in comparison with standard Back-Propagation (BP) neural networks showing that FFA-based networks with notably fewer parameters and function evaluations can compete with standard models, especially, in one-shot scenarios and large batch sizes. The code will be available at the time of the conference. △ Less

Submitted 20 June, 2024; originally announced June 2024.

Comments: Under Review

First detection of coherent elastic neutrino-nucleus scattering on germanium

Authors: S. Adamski, M. Ahn, P. S. Barbeau, V. Belov, I. Bernardi, C. Bock, A. Bolozdynya, R. Bouabid, J. Browning, B. Cabrera-Palmer, N. Cedarblade-Jones, J. Colón Rivera, E. Conley, V. da Silva, J. Daughhetee, J. Detwiler, K. Ding, M. R. Durand, Y. Efremenko, S. R. Elliott, A. Erlandson, L. Fabris, A. Galindo-Uribarri, M. P. Green, J. Hakenmüller , et al. (62 additional authors not shown)

Abstract: We report the first detection of coherent elastic neutrino-nucleus scattering (CEvNS) on germanium, measured at the Spallation Neutron Source at Oak Ridge National Laboratory. The Ge-Mini detector of the COHERENT collaboration employs large-mass, low-noise, high-purity germanium spectrometers, enabling excellent energy resolution, and an analysis threshold of 1.5 keV electron-equivalent ionization… ▽ More We report the first detection of coherent elastic neutrino-nucleus scattering (CEvNS) on germanium, measured at the Spallation Neutron Source at Oak Ridge National Laboratory. The Ge-Mini detector of the COHERENT collaboration employs large-mass, low-noise, high-purity germanium spectrometers, enabling excellent energy resolution, and an analysis threshold of 1.5 keV electron-equivalent ionization energy. We observe a on-beam excess of 20.6$_{+7.1}^{-6.3}$ counts with a total exposure of 10.22 GWhkg and we reject the no-CEvNS hypothesis with 3.9 sigma significance. The result agrees with the predicted standard model of particle physics signal rate within 2 sigma. △ Less

Submitted 19 June, 2024; originally announced June 2024.

Comments: 7 pages, 5 figures

Final Search for Short-Baseline Neutrino Oscillations with the PROSPECT-I Detector at HFIR

Authors: M. Andriamirado, B. Balantekin, C. D. Bass, O. Benevides Rodrigues, E. P. Bernard, N. S. Bowden, C. D. Bryan, R. Carr, T. Classen, A. J. Conant, G. Deichert, M. J. Dolinski, A. Erickson, A. Galindo-Uribarri, S. Gokhale, C. Grant, S. Hans, A. B. Hansell, K. M. Heeger, B. Heffron, D. E. Jaffe, S. Jayakumar, J. R. Koblanski, P. Kunkle, C. E. Lane , et al. (22 additional authors not shown)

Abstract: The PROSPECT experiment is designed to perform precise searches for antineutrino disappearance at short distances (7 - 9~m) from compact nuclear reactor cores. This Letter reports results from a new neutrino oscillation analysis performed using the complete data sample from the PROSPECT-I detector operated at the High Flux Isotope Reactor in 2018. The analysis uses a multi-period selection of inve… ▽ More The PROSPECT experiment is designed to perform precise searches for antineutrino disappearance at short distances (7 - 9~m) from compact nuclear reactor cores. This Letter reports results from a new neutrino oscillation analysis performed using the complete data sample from the PROSPECT-I detector operated at the High Flux Isotope Reactor in 2018. The analysis uses a multi-period selection of inverse beta decay neutrino interactions with reduced backgrounds and enhanced statistical power to set limits on electron-flavor disappearance caused by mixing with sterile neutrinos with 0.2 - 20 eV$^2$ mass splittings. Inverse beta decay positron energy spectra from six different reactor-detector distance ranges are found to be statistically consistent with one another, as would be expected in the absence of sterile neutrino oscillations. The data excludes at 95% confidence level the existence of sterile neutrinos in regions above 3~eV$^2$ previously unexplored by terrestrial experiments, including all space below 10~eV$^2$ suggested by the recently strengthened Gallium Anomaly. The best-fit point of the Neutrino-4 reactor experiment's claimed observation of short-baseline oscillation is ruled out at more than five standard deviations. △ Less

Submitted 14 June, 2024; originally announced June 2024.

Comments: 6 pages, 4 figures

Reactor Antineutrino Directionality Measurement with the PROSPECT-I Detector

Authors: M. Andriamirado, B. Balantekin, C. D. Bass, O. Benevides Rodrigues, E. P. Bernard, N. S. Bowden, C. D. Bryan, R. Carr, T. Classen, A. J. Conant, G. Deichert, M. J. Dolinski, A. Erickson, A. Galindo-Uribarri, S. Gokhale, C. Grant, S. Hans, A. B. Hansell, K. M. Heeger, B. Heffron, D. E. Jaffe, S. Jayakumar, D. C. Jones, J. R. Koblanski, P. Kunkle , et al. (24 additional authors not shown)

Abstract: The PROSPECT-I detector has several features that enable measurement of the direction of a compact neutrino source. In this paper, a detailed report on the directional measurements made on electron antineutrinos emitted from the High Flux Isotope Reactor is presented. With an estimated true neutrino (reactor to detector) direction of $φ= 40.8\unicode{xB0} \pm 0.7\unicode{xB0}$ and… ▽ More The PROSPECT-I detector has several features that enable measurement of the direction of a compact neutrino source. In this paper, a detailed report on the directional measurements made on electron antineutrinos emitted from the High Flux Isotope Reactor is presented. With an estimated true neutrino (reactor to detector) direction of $φ= 40.8\unicode{xB0} \pm 0.7\unicode{xB0}$ and $θ= 98.6\unicode{xB0} \pm 0.4\unicode{xB0}$, the PROSPECT-I detector is able to reconstruct an average neutrino direction of $φ= 39.4\unicode{xB0} \pm 2.9\unicode{xB0}$ and $θ= 97.6\unicode{xB0} \pm 1.6\unicode{xB0}$. This measurement is made with approximately 48000 Inverse Beta Decay signal events and is the most precise directional reconstruction of reactor antineutrinos to date. △ Less

Submitted 12 June, 2024; originally announced June 2024.

Rotational spectroscopy of CH$_3$OD with a reanalysis of CH$_3$OD toward IRAS 16293$-$2422

Authors: V. V. Ilyushin, H. S. P. Müller, M. N. Drozdovskaya, J. K. Jørgensen, S. Bauerecker, C. Maul, R. Porohovoi, E. A. Alekseev, O. Dorovskaya, O. Zakharenko, F. Lewen, S. Schlemmer, R. M. Lees

Abstract: We have started a measurement campaign of numerous methanol isotopologs in low-lying torsional states in order to provide extensive line lists for radio astronomical observations from an adequate spectroscopic model and to investigate how the intricate vibration-torsion-rotation interactions manifest themselves in the spectra of different isotopic species. After CD$_3$OH and CD$_3$OD, we turn our… ▽ More We have started a measurement campaign of numerous methanol isotopologs in low-lying torsional states in order to provide extensive line lists for radio astronomical observations from an adequate spectroscopic model and to investigate how the intricate vibration-torsion-rotation interactions manifest themselves in the spectra of different isotopic species. After CD$_3$OH and CD$_3$OD, we turn our focus to CH$_3$OD, which is an important species for studying deuteration in prestellar cores and envelopes that enshroud protostars. Notably, deuteration is frequently viewed as a diagnostic tool for star formation. The measurements used in this study were obtained in two spectroscopic laboratories and cover large fractions of the 34 GHz--1.35 THz range. As done in previous studies, we employed a torsion-rotation Hamiltonian model for our analysis that is based on the rho-axis method. The resulting model describes the ground and first excited torsional states of CH$_3$OD well up to quantum numbers $J \leqslant 51$ and $K_a \leqslant 18$. We derived a line list for radio astronomical observations from this model that is accurate up to at least 1.35~THz and should be sufficient for all types of radio astronomical searches for this methanol isotopolog in these two lowest torsional states. This line list was applied to a reinvestigation of CH$_3$OD in data from the Protostellar Interferometric Line Survey of IRAS 16293--2422 obtained with the Atacama Large Millimeter/submillimeter Array. The new accurately determined value for the column density of CH$_3$OD implies that the deuteration in methanol differs in its two functional groups by a factor of $\sim$7.5. △ Less

Submitted 12 June, 2024; originally announced June 2024.

Comments: 12 pages including figures, tables, references and appendix. Astron. Astrophys., in press

Diffusion-based Generative Image Outpainting for Recovery of FOV-Truncated CT Images

Authors: Michelle Espranita Liman, Daniel Rueckert, Florian J. Fintelmann, Philip Müller

Abstract: Field-of-view (FOV) recovery of truncated chest CT scans is crucial for accurate body composition analysis, which involves quantifying skeletal muscle and subcutaneous adipose tissue (SAT) on CT slices. This, in turn, enables disease prognostication. Here, we present a method for recovering truncated CT slices using generative image outpainting. We train a diffusion model and apply it to truncated… ▽ More Field-of-view (FOV) recovery of truncated chest CT scans is crucial for accurate body composition analysis, which involves quantifying skeletal muscle and subcutaneous adipose tissue (SAT) on CT slices. This, in turn, enables disease prognostication. Here, we present a method for recovering truncated CT slices using generative image outpainting. We train a diffusion model and apply it to truncated CT slices generated by simulating a small FOV. Our model reliably recovers the truncated anatomy and outperforms the previous state-of-the-art despite being trained on 87% less data. △ Less

Submitted 7 June, 2024; originally announced June 2024.

Comments: Shared last authorship: Florian J. Fintelmann and Philip Müller

ADESSE: Advice Explanations in Complex Repeated Decision-Making Environments

Authors: Sören Schleibaum, Lu Feng, Sarit Kraus, Jörg P. Müller

Abstract: In the evolving landscape of human-centered AI, fostering a synergistic relationship between humans and AI agents in decision-making processes stands as a paramount challenge. This work considers a problem setup where an intelligent agent comprising a neural network-based prediction component and a deep reinforcement learning component provides advice to a human decision-maker in complex repeated… ▽ More In the evolving landscape of human-centered AI, fostering a synergistic relationship between humans and AI agents in decision-making processes stands as a paramount challenge. This work considers a problem setup where an intelligent agent comprising a neural network-based prediction component and a deep reinforcement learning component provides advice to a human decision-maker in complex repeated decision-making environments. Whether the human decision-maker would follow the agent's advice depends on their beliefs and trust in the agent and on their understanding of the advice itself. To this end, we developed an approach named ADESSE to generate explanations about the adviser agent to improve human trust and decision-making. Computational experiments on a range of environments with varying model sizes demonstrate the applicability and scalability of ADESSE. Furthermore, an interactive game-based user study shows that participants were significantly more satisfied, achieved a higher reward in the game, and took less time to select an action when presented with explanations generated by ADESSE. These findings illuminate the critical role of tailored, human-centered explanations in AI-assisted decision-making. △ Less

Submitted 31 May, 2024; originally announced May 2024.

Enhanced area law in the Widom-Sobolev formula for the free Dirac operator in arbitrary dimension

Authors: Leon Bollmann, Peter Müller

Abstract: We prove a logarithmically enhanced area law for all Rényi entanglement entropies of the ground state of a free gas of relativistic Dirac fermions. Such asymptotics occur in any dimension if the modulus of the Fermi energy is larger than the mass of the particles and in the massless case at Fermi energy zero in one space dimension. In all other cases of mass, Fermi energy and dimension, the entang… ▽ More We prove a logarithmically enhanced area law for all Rényi entanglement entropies of the ground state of a free gas of relativistic Dirac fermions. Such asymptotics occur in any dimension if the modulus of the Fermi energy is larger than the mass of the particles and in the massless case at Fermi energy zero in one space dimension. In all other cases of mass, Fermi energy and dimension, the entanglement entropy grows no faster than the area of the involved spatial region. The result is established for a general class of test functions which includes the ones corresponding to Rényi entropies and relies on a recently proved extension of the Widom-Sobolev formula to matrix-valued symbols by the authors. △ Less

Submitted 23 May, 2024; originally announced May 2024.

Comments: 18 pages

Electromagnetic moments of the odd-mass nickel isotopes $^{59-67}$Ni

Authors: P. Müller, S. Kaufmann, T. Miyagi, J. Billowes, M. L. Bissell, K. Blaum, B. Cheal, R. F. Garcia Ruiz, W. Gins, C. Gorges, H. Heylen, A. Kanellakopoulos, S. Malbrunot-Ettenauer, R. Neugart, G. Neyens, W. Nörtershäuser, T. Ratajczyk, L. V. Rodríguez, R. Sánchez, S. Sailer, A. Schwenk, L. Wehner, C. Wraith, L. Xie, Z. Y. Xu , et al. (2 additional authors not shown)

Abstract: The magnetic dipole and the spectroscopic quadrupole moments of the nuclear ground states in the odd-mass nickel isotopes $^{59-67}$Ni have been determined using collinear laser spectroscopy at the CERN-ISOLDE facility. They are compared to ab initio valence-space in-medium similarity renormalization group (VS-IMSRG) calculations including contributions of two-body currents as well as to shell-mod… ▽ More The magnetic dipole and the spectroscopic quadrupole moments of the nuclear ground states in the odd-mass nickel isotopes $^{59-67}$Ni have been determined using collinear laser spectroscopy at the CERN-ISOLDE facility. They are compared to ab initio valence-space in-medium similarity renormalization group (VS-IMSRG) calculations including contributions of two-body currents as well as to shell-model calculations. The two-body-current contributions significantly improve the agreement with experimental data, reducing the mean-square deviation from the experimental moments by a factor of 3 to 5, depending on the employed interaction. For all interactions, the largest contributions are obtained for the $5/2^-$ ($7/2^-$) isotopes $^{65}$Ni ($^{55}$Ni), which is ascribed to the high angular momentum of the $f$ orbitals. Our results demonstrate that the inclusion of two-body-current contributions to the magnetic moment in an isotopic chain of complex nuclei can be handled by the VS-IMSRG and can outperform phenomenological shell-model calculations using effective $g$-factors in the nickel region. △ Less

Submitted 30 May, 2024; v1 submitted 22 May, 2024; originally announced May 2024.

Comments: Published in Physics Letters B, 10 pages, 3 figures

Journal ref: Physics Letters B 854 (2024) 138737

Verification Algorithms for Automated Separation Logic Verifiers

Authors: Marco Eilers, Malte Schwerhoff, Peter Müller

Abstract: Most automated program verifiers for separation logic use either symbolic execution or verification condition generation to extract proof obligations, which are then handed over to an SMT solver. Existing verification algorithms are designed to be sound, but differ in performance and completeness. These characteristics may also depend on the programs and properties to be verified. Consequently, de… ▽ More Most automated program verifiers for separation logic use either symbolic execution or verification condition generation to extract proof obligations, which are then handed over to an SMT solver. Existing verification algorithms are designed to be sound, but differ in performance and completeness. These characteristics may also depend on the programs and properties to be verified. Consequently, developers and users of program verifiers have to select a verification algorithm carefully for their application domain. Taking an informed decision requires a systematic comparison of the performance and completeness characteristics of the verification algorithms used by modern separation logic verifiers, but such a comparison does not exist. This paper describes five verification algorithms for separation logic, three that are used in existing tools and two novel algorithms that combine characteristics of existing symbolic execution and verification condition generation algorithms. A detailed evaluation of implementations of these five algorithms in the Viper infrastructure assesses their performance and completeness for different classes of input programs. Based on the experimental results, we identify candidate portfolios of algorithms that maximize completeness and performance. △ Less

Submitted 27 May, 2024; v1 submitted 17 May, 2024; originally announced May 2024.

The 3He(\vec n,p)3H parity-conserving asymmetry

Authors: M. Viviani, S. Baeßler, L. Barrón-Palos, N. Birge, J. D. Bowman, J. Calarco, V. Cianciolo, C. E. Coppola, C. B. Crawford, G. Dodson, N. Fomin, I. Garishvili, M. T. Gericke, L. Girlanda, G. L. Greene, G. M. Hale, J. Hamblen, C. Hayes, E. B. Iverson, M. L. Kabir, A. Kievsky, L. E. Marcucci, M. McCrea, E. Plemons, A. Ramírez-Morales , et al. (6 additional authors not shown)

Abstract: Recently, the n$^3$He collaboration reported a measurement of the parity-violating (PV) proton directional asymmetry $A_{\mathrm {PV}} = (1.55\pm 0.97~\mathrm {(st\ at)} \pm 0.24~\mathrm {(sys)})\times 10^{-8}$ in the capture reaction of ${}^3$He$(\vec {n},{\mathrm p}){}^3$H at meV incident neutron energies. The result increased the limited inventory of precisely measured and calculable PV observa… ▽ More Recently, the n$^3$He collaboration reported a measurement of the parity-violating (PV) proton directional asymmetry $A_{\mathrm {PV}} = (1.55\pm 0.97~\mathrm {(st\ at)} \pm 0.24~\mathrm {(sys)})\times 10^{-8}$ in the capture reaction of ${}^3$He$(\vec {n},{\mathrm p}){}^3$H at meV incident neutron energies. The result increased the limited inventory of precisely measured and calculable PV observables in few-body systems required to further understand the structure of hadronic weak interaction. In this letter, we report the experimental and theoretical investigation of a parity conserving (PC) asymmetry $A_{\mathrm {PC}}$ in the same reaction (the first ever measured PC observable at meV neutron energies). As a result of S- and P-wave mixing in the reaction, the $A_{\mathrm {PC}}$ is inversely proportional to the neutron wavelength $λ$. The experimental value is $(λ\times A_{\mathrm {PC}})\equivβ= (-1.97 \pm 0.28~\mathrm{(stat)}\pm 0.12~\mathrm{(sys)}) \times 10^{-6}$ Amstrongs. We present results for a theoretical analysis of this reaction by solving the four-body scattering problem within the hyperspherical harmonic method. We find that in the ${}^3$He$(\vec {n},{\mathrm p}){}^3$H reaction, $A_{\mathrm {PC}}$ depends critically on the energy and width of the close $0^-$ resonant state of ${}^4$He, resulting in a large sensitivity to the spin-orbit components of the nucleon-nucleon force and even to the three-nucleon force. The analysis of the accurately measured $A_{\mathrm {PC}}$ and $A_{\mathrm {PV}}$ using the same few-body theoretical models gives essential information needed to interpret the PV asymmetry in the ${}^3$He$(\vec {n}, {\mathrm p}){}^3$H reaction. △ Less

Submitted 16 May, 2024; originally announced May 2024.

Comments: 8 pages, 3 figures

Reasoning about Interior Mutability in Rust using Library-Defined Capabilities

Authors: Federico Poli, Xavier Denis, Peter Müller, Alexander J. Summers

Abstract: Existing automated verification techniques for safe Rust code rely on the strong type-system properties to reason about programs, especially to deduce which memory locations do not change (i.e., are framed) across function calls. However, these type guarantees do not hold in the presence of interior mutability (e.g., when interacting with any concurrent data structure). As a consequence, existing… ▽ More Existing automated verification techniques for safe Rust code rely on the strong type-system properties to reason about programs, especially to deduce which memory locations do not change (i.e., are framed) across function calls. However, these type guarantees do not hold in the presence of interior mutability (e.g., when interacting with any concurrent data structure). As a consequence, existing verification techniques for safe code such as Prusti and Creusot are either unsound or fundamentally incomplete if applied to this setting. In this work, we present the first technique capable of automatically verifying safe clients of existing interiorly mutable types. At the core of our approach, we identify a novel notion of implicit capabilities: library-defined properties that cannot be expressed using Rust's types. We propose new annotations to specify these capabilities and a first-order logic encoding suitable for program verification. We have implemented our technique in a verifier called Mendel and used it to prove absence of panics in Rust programs that make use of popular standard-library types with interior mutability, including Rc, Arc, Cell, RefCell, AtomicI32, Mutex and RwLock. Our evaluation shows that these library annotations are useful for verifying usages of real-world libraries, and powerful enough to require zero client-side annotations in many of the verified programs. △ Less

Submitted 14 May, 2024; originally announced May 2024.

Larmor Power Limit for Cyclotron Radiation of Relativistic Particles in a Waveguide

Authors: N. Buzinsky, R. J. Taylor, W. Byron, W. DeGraw, B. Dodson, M. Fertl, A. García, A. P. Goodson, B. Graner, H. Harrington, L. Hayen, L. Malavasi, D. McClain, D. Melconian, P. Müller, E. Novitski, N. S. Oblath, R. G. H. Robertson, G. Rybka, G. Savard, E. Smith, D. D. Stancil, D. W. Storm, H. E. Swanson, J. R. Tedeschi , et al. (3 additional authors not shown)

Abstract: Cyclotron radiation emission spectroscopy (CRES) is a modern technique for high-precision energy spectroscopy, in which the energy of a charged particle in a magnetic field is measured via the frequency of the emitted cyclotron radiation. The He6-CRES collaboration aims to use CRES to probe beyond the standard model physics at the TeV scale by performing high-resolution and low-background beta-dec… ▽ More Cyclotron radiation emission spectroscopy (CRES) is a modern technique for high-precision energy spectroscopy, in which the energy of a charged particle in a magnetic field is measured via the frequency of the emitted cyclotron radiation. The He6-CRES collaboration aims to use CRES to probe beyond the standard model physics at the TeV scale by performing high-resolution and low-background beta-decay spectroscopy of ${}^6\textrm{He}$ and ${}^{19}\textrm{Ne}$. Having demonstrated the first observation of individual, high-energy (0.1 -- 2.5 MeV) positrons and electrons via their cyclotron radiation, the experiment provides a novel window into the radiation of relativistic charged particles in a waveguide via the time-derivative (slope) of the cyclotron radiation frequency, $\mathrm{d}f_\textrm{c}/\mathrm{d}t$. We show that analytic predictions for the total cyclotron radiation power emitted by a charged particle in circular and rectangular waveguides are approximately consistent with the Larmor formula, each scaling with the Lorentz factor of the underlying $e^\pm$ as $γ^4$. This hypothesis is corroborated with experimental CRES slope data. △ Less

Submitted 10 May, 2024; originally announced May 2024.

Comments: 20 pages, 5 figures

Protocols to Code: Formal Verification of a Next-Generation Internet Router

Authors: João C. Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix A. Wolf, Marco Eilers, Christoph Sprenger, David Basin, Peter Müller, Adrian Perrig

Abstract: We present the first formally-verified Internet router, which is part of the SCION Internet architecture. SCION routers run a cryptographic protocol for secure packet forwarding in an adversarial environment. We verify both the protocol's network-wide security properties and low-level properties of its implementation. More precisely, we develop a series of protocol models by refinement in Isabelle… ▽ More We present the first formally-verified Internet router, which is part of the SCION Internet architecture. SCION routers run a cryptographic protocol for secure packet forwarding in an adversarial environment. We verify both the protocol's network-wide security properties and low-level properties of its implementation. More precisely, we develop a series of protocol models by refinement in Isabelle/HOL and we use an automated program verifier to prove that the router's Go code satisfies memory safety, crash freedom, freedom from data races, and adheres to the protocol model. Both verification efforts are soundly linked together. Our work demonstrates the feasibility of coherently verifying a critical network component from high-level protocol models down to performance-optimized production code, developed by an independent team. In the process, we uncovered critical bugs in both the protocol and its implementation, which were confirmed by the code developers, and we strengthened the protocol's security properties. This paper explains our approach, summarizes the main results, and distills lessons for the design and implementation of verifiable systems, for the handling of continuous changes, and for the verification techniques and tools employed. △ Less

Submitted 9 May, 2024; originally announced May 2024.

High Voltage Determination and Stabilization for Collinear Laser Spectroscopy Applications

Authors: Kristian König, Finn Köhler, Julian Palmes, Henrik Badura, Adam Dockery, Kei Minamisono, Johann Meisner, Patrick Müller, Wilfried Nörtershäuser, Stephan Passon

Abstract: Fast beam collinear laser spectroscopy is the established method to investigate nuclear ground state properties such as the spin, the electromagnetic moments, and the charge radius of exotic nuclei. These are extracted with high precision from atomic observables, i.e., the hyperfine splitting and its the isotope shift, which becomes possible due to a large reduction of the Doppler broadening by co… ▽ More Fast beam collinear laser spectroscopy is the established method to investigate nuclear ground state properties such as the spin, the electromagnetic moments, and the charge radius of exotic nuclei. These are extracted with high precision from atomic observables, i.e., the hyperfine splitting and its the isotope shift, which becomes possible due to a large reduction of the Doppler broadening by compressing the velocity width of the ion beam through electrostatic acceleration. With the advancement of the experimental methods and applied devices, e.g., to measure and stabilize the laser frequency, the acceleration potential became the dominant systematic uncertainty contribution. To overcome this, we present a custom-built high-voltage divider, which was developed and tested at the German metrology institute (PTB), and a feedback loop that enabled collinear laser spectroscopy to be performed at a 100-kHz level. Furthermore, we describe the impact of field penetration into the laser-ion-interaction region. This strongly affects the determined isotope shifts and hyperfine splittings, if Doppler tuning is applied, i.e., the ion beam energy is altered instead of scanning the laser frequency. Using different laser frequencies that were referenced to a frequency comb, the field penetration was extracted laser spectroscopically. This allowed us to define an effective scanning potential to still apply the faster and easier Doppler tuning without introducing systematic deviations. △ Less

Submitted 8 May, 2024; originally announced May 2024.

The rotation-tunneling spectrum of 3-hydroxypropenal and confirmation of its detection toward IRAS 16293$-$2422 B

Authors: H. S. P. Müller, A. Coutens, J. K. Jørgensen, L. Margulès, R. A. Motiyenko, J. -C. Guillemin

Abstract: 3-Hydroxypropenal (HOCHCHCHO) is the lower energy tautomer of malonaldehyde which displays a complex rotation-tunneling spectrum. It was detected tentatively toward the solar-type protostar IRAS 16293$-$2422 B with ALMA in the framework of the Protostellar Interferometric Line Survey (PILS). Several transitions, however, had large residuals, preventing not only their detection, but also the excita… ▽ More 3-Hydroxypropenal (HOCHCHCHO) is the lower energy tautomer of malonaldehyde which displays a complex rotation-tunneling spectrum. It was detected tentatively toward the solar-type protostar IRAS 16293$-$2422 B with ALMA in the framework of the Protostellar Interferometric Line Survey (PILS). Several transitions, however, had large residuals, preventing not only their detection, but also the excitation temperature of the species from being determined unambiguously. We want to extend the existing rotational line list of 3-hydroxypropenal to shed more light on the recent observational results and to facilitate additional radio astronomical searches for this molecule. We analyzed the rotation-tunneling spectrum of 3-hydroxypropenal in the frequency regions between 150 and 330 GHz and between 400 and 660 GHz. Transitions were searched for in the PILS observations of IRAS 16293$-$2422. Local thermodynamic equilibrium (LTE) models were carried out and compared to the observations to constrain the excitation temperature. Additional transitions were searched for in other ALMA archival data of the same source to confirm the presence of 3-hydroxypropenal. More than 11500 transitions were assigned in the course of our investigation with quantum numbers $2 \le J \le 100$, $K_a \le 59$, and $K_c \le 97$, resulting in a greatly improved set of spectroscopic parameters. The comparison between the LTE models and the observations yields an excitation temperature of 125 K with a column density $N = 1.0 \times 10^{15}$ cm$^{-2}$ for this species. We identified seven additional lines of 3-hydroxypropenal that show a good agreement with the model in the ALMA archive data. The calculated rotation-tunneling spectrum of 3-hydroxypropenal has sufficient accuracy for radio astronomical searches. The detection of 3-hydroxypropenal toward IRAS 16293$-$2422 B is now secure. △ Less

Submitted 12 June, 2024; v1 submitted 2 May, 2024; originally announced May 2024.

Comments: 11 pages with figures, tables, and references. Abstract here slightly abbreviated. Accepted at Astron. Astrophys

Journal ref: A&A 687, A8 (2024)

ChEX: Interactive Localization and Region Description in Chest X-rays

Authors: Philip Müller, Georgios Kaissis, Daniel Rueckert

Abstract: Report generation models offer fine-grained textual interpretations of medical images like chest X-rays, yet they often lack interactivity (i.e. the ability to steer the generation process through user queries) and localized interpretability (i.e. visually grounding their predictions), which we deem essential for future adoption in clinical practice. While there have been efforts to tackle these i… ▽ More Report generation models offer fine-grained textual interpretations of medical images like chest X-rays, yet they often lack interactivity (i.e. the ability to steer the generation process through user queries) and localized interpretability (i.e. visually grounding their predictions), which we deem essential for future adoption in clinical practice. While there have been efforts to tackle these issues, they are either limited in their interactivity by not supporting textual queries or fail to also offer localized interpretability. Therefore, we propose a novel multitask architecture and training paradigm integrating textual prompts and bounding boxes for diverse aspects like anatomical regions and pathologies. We call this approach the Chest X-Ray Explainer (ChEX). Evaluations across a heterogeneous set of 9 chest X-ray tasks, including localized image interpretation and report generation, showcase its competitiveness with SOTA models while additional analysis demonstrates ChEX's interactive capabilities. △ Less

Submitted 24 April, 2024; originally announced April 2024.

Model geometries of porous materials

Authors: Felix Buchele, Patric Müller, Michael Blank, Thorsten Pöschel

Abstract: We describe a method for modeling the geometry of porous materials. The approach enables the independent selection of crucial parameters, including porosity, pore size distribution, pore shape, and connectivity. Consequently, it can effectively model a wide range of porous systems. Due to the diverse and systematic variation possibilities, the method is suitable for develo** and optimizing porou… ▽ More We describe a method for modeling the geometry of porous materials. The approach enables the independent selection of crucial parameters, including porosity, pore size distribution, pore shape, and connectivity. Consequently, it can effectively model a wide range of porous systems. Due to the diverse and systematic variation possibilities, the method is suitable for develo** and optimizing porous structures. The geometries can be exported as triangular meshes, facilitating their immediate use in numerical simulation and further digital processing. We showcase the method's capabilities by minimizing the foam structure's thermal conductivity through geometry optimization. △ Less

Submitted 18 April, 2024; originally announced April 2024.

Comments: 18 pages, 14 figures

Automated tomographic assessment of structural defects of freeze-dried pharmaceuticals

Authors: Patric Müller, Achim Sack, Jens Dümler, Michael Heckel, Tim Wenzel, Teresa Siegert, Sonja Schuldt-Lieb, Henning Gieseler, Thorsten Pöschel

Abstract: The topology and surface characteristics of lyophilisates significantly impact the stability and reconstitutability of freeze-dried pharmaceuticals. Consequently, visual quality control of the product is imperative. However, this procedure is not only time-consuming and labor-intensive but also expensive and prone to errors. In this paper, we present an approach for fully automated, non-destructiv… ▽ More The topology and surface characteristics of lyophilisates significantly impact the stability and reconstitutability of freeze-dried pharmaceuticals. Consequently, visual quality control of the product is imperative. However, this procedure is not only time-consuming and labor-intensive but also expensive and prone to errors. In this paper, we present an approach for fully automated, non-destructive inspection of freeze-dried pharmaceuticals, leveraging robotics, computed tomography, and machine learning. △ Less

Submitted 17 April, 2024; originally announced April 2024.

Comments: 20 pages, 6 figures

A VUV light source for enhanced production of metastable krypton and xenon beams

Authors: Patrick R. Stollenwerk, Kevin G. Bailey, Daniel Koch, Peter Mueller, Thomas P. O'Connor, Jake C. Zappala, Michael Bishof

Abstract: We demonstrate excitation of metastable krypton and xenon beams using a vacuum ultraviolet lamp and directly compare the performance of this method to metastable excitation based on a radiofrequency-driven plasma discharge. In our apparatus, lamp-based metastable excitation outperforms the plasma discharge across a wide range of beam flux values relevant for Atom Trap Trace Analysis (ATTA). Moreov… ▽ More We demonstrate excitation of metastable krypton and xenon beams using a vacuum ultraviolet lamp and directly compare the performance of this method to metastable excitation based on a radiofrequency-driven plasma discharge. In our apparatus, lamp-based metastable excitation outperforms the plasma discharge across a wide range of beam flux values relevant for Atom Trap Trace Analysis (ATTA). Moreover, we do not observe significant degradation in lamp performance after over 160 hours of operation. We find that lamp-based excitation is particularly advantageous at the smallest and largest beam fluxes tested, demonstrating the utility of this approach both for improving krypton ATTA and for enabling the detection of radioactive xenon isotopes using ATTA. Finally, we demonstrate an additional enhancement to lamp-based metastable excitation efficiency and stability by applying an external magnetic field. △ Less

Submitted 17 April, 2024; originally announced April 2024.

Van der Waals epitaxy of Weyl-semimetal Td-WTe$_2$

Authors: Alexandre Llopez, Frédéric Leroy, Calvin Tagne-Kaegom, Boris Croes, Adrien Michon, Chiara Mastropasqua, Mohamed Al Khalfioui, Stefano Curiotto, Pierre Müller, Andrés Saùl, Bertrand Kierren, Geoffroy Kremer, Patrick Le Fèvre, François Bertran, Yannick Fagot-Revurat, Fabien Cheynis

Abstract: Epitaxial growth of WTe$_2$ offers significant advantages, including the production of high-qualityfilms, possible long range in-plane ordering and precise control over layer thicknesses. However,the mean island size of WTe$_2$ grown by molecular beam epitaxy (MBE) in litterature is only a fewtens of nanometers, which is not suitable for an implementation of devices at large lateral scales.Here we… ▽ More Epitaxial growth of WTe$_2$ offers significant advantages, including the production of high-qualityfilms, possible long range in-plane ordering and precise control over layer thicknesses. However,the mean island size of WTe$_2$ grown by molecular beam epitaxy (MBE) in litterature is only a fewtens of nanometers, which is not suitable for an implementation of devices at large lateral scales.Here we report the growth of Td-WTe$_2$ ultrathin films by MBE on monolayer (ML) graphenereaching a mean flake size of $\cong$110nm, which is, on overage, more than three time larger thanprevious results. WTe$_2$ films thicker than 5nm have been successfully synthesized and exhibit theexpected Td-phase atomic structure. We rationalize epitaxial growth of Td-WTe$_2$ and propose asimple model to estimate the mean flake size as a function of growth parameters that can be appliedto other transition metal dichalcogenides (TMDCs). Based on nucleation theory and Kolmogorov-Johnson-Meh-Avrami (KJMA) equation, our analytical model supports experimental data showinga critical coverage of 0.13ML above which WTe$_2$ nucleation becomes negligible. The quality ofmonolayer WTe$_2$ films is demonstrated from electronic band structure analysis using angle-resolved photoemission spectroscopy (ARPES) in agreement with first-principle calculationsperformed on free-standing WTe$_2$ and previous reports. △ Less

Submitted 15 April, 2024; originally announced April 2024.

Comments: ACS Applied Materials and Interfaces, 2024

Multi-Image Visual Question Answering for Unsupervised Anomaly Detection

Authors: Jun Li, Cosmin I. Bercea, Philip Müller, Lina Felsner, Suhwan Kim, Daniel Rueckert, Benedikt Wiestler, Julia A. Schnabel

Abstract: Unsupervised anomaly detection enables the identification of potential pathological areas by juxtaposing original images with their pseudo-healthy reconstructions generated by models trained exclusively on normal images. However, the clinical interpretation of resultant anomaly maps presents a challenge due to a lack of detailed, understandable explanations. Recent advancements in language models… ▽ More Unsupervised anomaly detection enables the identification of potential pathological areas by juxtaposing original images with their pseudo-healthy reconstructions generated by models trained exclusively on normal images. However, the clinical interpretation of resultant anomaly maps presents a challenge due to a lack of detailed, understandable explanations. Recent advancements in language models have shown the capability of mimicking human-like understanding and providing detailed descriptions. This raises an interesting question: \textit{How can language models be employed to make the anomaly maps more explainable?} To the best of our knowledge, we are the first to leverage a language model for unsupervised anomaly detection, for which we construct a dataset with different questions and answers. Additionally, we present a novel multi-image visual question answering framework tailored for anomaly detection, incorporating diverse feature fusion strategies to enhance visual knowledge extraction. Our experiments reveal that the framework, augmented by our new Knowledge Q-Former module, adeptly answers questions on the anomaly detection dataset. Besides, integrating anomaly maps as inputs distinctly aids in improving the detection of unseen pathologies. △ Less

Submitted 11 April, 2024; originally announced April 2024.

Comments: 13 pages, 8 figures

Dir-SPGLM: A Bayesian semiparametric GLM with data-driven reference distribution

Authors: Entejar Alam, Peter Müller, Paul J. Rathouz

Abstract: The recently developed semi-parametric generalized linear model (SPGLM) offers more flexibility as compared to the classical GLM by including the baseline or reference distribution of the response as an additional parameter in the model. However, some inference summaries are not easily generated under existing maximum-likelihood based inference (ML-SPGLM). This includes uncertainty in estimation f… ▽ More The recently developed semi-parametric generalized linear model (SPGLM) offers more flexibility as compared to the classical GLM by including the baseline or reference distribution of the response as an additional parameter in the model. However, some inference summaries are not easily generated under existing maximum-likelihood based inference (ML-SPGLM). This includes uncertainty in estimation for model-derived functionals such as exceedance probabilities. The latter are critical in a clinical diagnostic or decision-making setting. In this article, by placing a Dirichlet prior on the baseline distribution, we propose a Bayesian model-based approach for inference to address these important gaps. We establish consistency and asymptotic normality results for the implied canonical parameter. Simulation studies and an illustration with data from an aging research study confirm that the proposed method performs comparably or better in comparison with ML-SPGLM. The proposed Bayesian framework is most attractive for inference with small sample training data or in sparse-data scenarios. △ Less

Submitted 7 April, 2024; originally announced April 2024.

Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version)

Authors: Gaurav Parthasarathy, Thibault Dardinier, Benjamin Bonneau, Peter Müller, Alexander J. Summers

Abstract: Automated program verifiers are typically implemented using an intermediate verification language (IVL), such as Boogie or Why3. A verifier front-end translates the input program and specification into an IVL program, while the back-end generates proof obligations for the IVL program and employs an SMT solver to discharge them. Soundness of such verifiers therefore requires that the front-end tran… ▽ More Automated program verifiers are typically implemented using an intermediate verification language (IVL), such as Boogie or Why3. A verifier front-end translates the input program and specification into an IVL program, while the back-end generates proof obligations for the IVL program and employs an SMT solver to discharge them. Soundness of such verifiers therefore requires that the front-end translation faithfully captures the semantics of the input program and specification in the IVL program, and that the back-end reports success only if the IVL program is actually correct. For a verification tool to be trustworthy, these soundness conditions must be satisfied by its actual implementation, not just the program logic it uses. In this paper, we present a novel validation methodology that, given a formal semantics for the input language and IVL, provides formal soundness guarantees for front-end implementations. For each run of the verifier, we automatically generate a proof in Isabelle showing that the correctness of the produced IVL program implies the correctness of the input program. This proof can be checked independently from the verifier, in Isabelle, and can be combined with existing work on validating back-ends to obtain an end-to-end soundness result. Our methodology based on forward simulation employs several modularisation strategies to handle the large semantic gap between the input language and the IVL, as well as the intricacies of practical, optimised translations. We present our methodology for the widely-used Viper and Boogie languages. Our evaluation shows that it is effective in validating the translations performed by the existing Viper implementation. △ Less

Submitted 9 May, 2024; v1 submitted 4 April, 2024; originally announced April 2024.

Comments: Extended version of PLDI 2024 publication

M3TCM: Multi-modal Multi-task Context Model for Utterance Classification in Motivational Interviews

Authors: Sayed Muddashir Hossain, Jan Alexandersson, Philipp Müller

Abstract: Accurate utterance classification in motivational interviews is crucial to automatically understand the quality and dynamics of client-therapist interaction, and it can serve as a key input for systems mediating such interactions. Motivational interviews exhibit three important characteristics. First, there are two distinct roles, namely client and therapist. Second, they are often highly emotiona… ▽ More Accurate utterance classification in motivational interviews is crucial to automatically understand the quality and dynamics of client-therapist interaction, and it can serve as a key input for systems mediating such interactions. Motivational interviews exhibit three important characteristics. First, there are two distinct roles, namely client and therapist. Second, they are often highly emotionally charged, which can be expressed both in text and in prosody. Finally, context is of central importance to classify any given utterance. Previous works did not adequately incorporate all of these characteristics into utterance classification approaches for mental health dialogues. In contrast, we present M3TCM, a Multi-modal, Multi-task Context Model for utterance classification. Our approach for the first time employs multi-task learning to effectively model both joint and individual components of therapist and client behaviour. Furthermore, M3TCM integrates information from the text and speech modality as well as the conversation context. With our novel approach, we outperform the state of the art for utterance classification on the recently introduced AnnoMI dataset with a relative improvement of 20% for the client- and by 15% for therapist utterance classification. In extensive ablation studies, we quantify the improvement resulting from each contribution. △ Less

Submitted 4 April, 2024; originally announced April 2024.

Comments: Accepted for publication at LREC-COLING'24

Discovery of thionylimide, HNSO, in space: the first N-, S- and O-bearing interstellar molecule

Authors: Miguel Sanz-Novo, Víctor M. Rivilla, Holger S. P. Müller, Izaskun Jiménez-Serra, Jesús Martín-Pintado, Laura Colzi, Shaoshan Zeng, Andrés Megías, Álvaro López-Gallifa, Antonio Martínez-Henares, Belén Tercero, Pablo de Vicente, David San Andrés, Sergio Martín, Miguel A. Requena-Torres

Abstract: We present the first detection in space of thionylimide (HNSO) toward the Galactic Center molecular cloud G+0.693-0.027, thanks to the superb sensitivity of an ultradeep molecular line survey carried out with the Yebes 40$\,$m and IRAM 30$\,$m telescopes. This molecule is the first species detected in the interstellar medium containing, simultaneously, N, S and O. We have identified numerous $K$… ▽ More We present the first detection in space of thionylimide (HNSO) toward the Galactic Center molecular cloud G+0.693-0.027, thanks to the superb sensitivity of an ultradeep molecular line survey carried out with the Yebes 40$\,$m and IRAM 30$\,$m telescopes. This molecule is the first species detected in the interstellar medium containing, simultaneously, N, S and O. We have identified numerous $K$$_a$ = 0, 1 and 2 transitions belonging to HNSO covering from $J$$_{\rm up}$ = 2 to $J$$_{\rm up}$ = 10, including several completely unblended features. We derive a molecular column density of $N$ = (8 $\pm$ 1)$\times$10$^{13}$ cm$^{-2}$, yielding a fractional abundance relative to H$_2$ of $\sim$6$\times$10$^{-10}$, which is about $\sim$37 and $\sim$4.8 times less abundant than SO and SO2, respectively. Although there are still many unknowns in the interstellar chemistry of NSO-bearing molecules, we propose that HNSO is likely formed through the reaction of the NSO radical and atomic H on the surface of icy grains, with alternative routes also deserving exploration. Finally, HNSO appears as a promising link between N- , S- and O- interstellar chemistry and its discovery paves the route to the detection of a new family of molecules in space. △ Less

Submitted 1 April, 2024; originally announced April 2024.

Comments: Forthcoming paper in The Astrophysical Journal Letters (in press)

Algorithmic Details behind the Predator Shape Analyser

Authors: Kamil Dudka, Petr Muller, Petr Peringer, Veronika Šoková, Tomáš Vojnar

Abstract: This chapter, which is an extended and revised version of the conference paper 'Predator: Byte-Precise Verification of Low-Level List Manipulation', concentrates on a detailed description of the algorithms behind the Predator shape analyser based on abstract interpretation and symbolic memory graphs. Predator is particularly suited for formal analysis and verification of sequential non-recursive C… ▽ More This chapter, which is an extended and revised version of the conference paper 'Predator: Byte-Precise Verification of Low-Level List Manipulation', concentrates on a detailed description of the algorithms behind the Predator shape analyser based on abstract interpretation and symbolic memory graphs. Predator is particularly suited for formal analysis and verification of sequential non-recursive C code that uses low-level pointer operations to manipulate various kinds of linked lists of unbounded size as well as various other kinds of pointer structures of bounded size. The tool supports practically relevant forms of pointer arithmetic, block operations, address alignment, or memory reinterpretation. We present the overall architecture of the tool, along with selected implementation details of the tool as well as its extension into so-called Predator Hunting Party, which utilises multiple concurrently-running Predator analysers with various restrictions on their behaviour. Results of experiments with Predator within the SV-COMP competition as well as on our own benchmarks are provided. △ Less

Submitted 27 March, 2024; originally announced March 2024.

Comments: Book chapter preview

Weakly Supervised Object Detection in Chest X-Rays with Differentiable ROI Proposal Networks and Soft ROI Pooling

Authors: Philip Müller, Felix Meissen, Georgios Kaissis, Daniel Rueckert

Abstract: Weakly supervised object detection (WSup-OD) increases the usefulness and interpretability of image classification algorithms without requiring additional supervision. The successes of multiple instance learning in this task for natural images, however, do not translate well to medical images due to the very different characteristics of their objects (i.e. pathologies). In this work, we propose We… ▽ More Weakly supervised object detection (WSup-OD) increases the usefulness and interpretability of image classification algorithms without requiring additional supervision. The successes of multiple instance learning in this task for natural images, however, do not translate well to medical images due to the very different characteristics of their objects (i.e. pathologies). In this work, we propose Weakly Supervised ROI Proposal Networks (WSRPN), a new method for generating bounding box proposals on the fly using a specialized region of interest-attention (ROI-attention) module. WSRPN integrates well with classic backbone-head classification algorithms and is end-to-end trainable with only image-label supervision. We experimentally demonstrate that our new method outperforms existing methods in the challenging task of disease localization in chest X-ray images. Code: https://github.com/philip-mueller/wsrpn △ Less

Submitted 19 February, 2024; originally announced February 2024.

Thinking twice inside the box: is Wigner's friend really quantum?

Authors: Caroline L. Jones, Markus P. Mueller

Abstract: There has been a surge of recent interest in the Wigner's friend paradox, sparking several novel thought experiments and no-go theorems. The main narrative has been that Wigner's friend highlights a counterintuitive feature that is unique to quantum theory, and which is closely related to the quantum measurement problem. Here, we challenge this view. We argue that the gist of the Wigner's friend p… ▽ More There has been a surge of recent interest in the Wigner's friend paradox, sparking several novel thought experiments and no-go theorems. The main narrative has been that Wigner's friend highlights a counterintuitive feature that is unique to quantum theory, and which is closely related to the quantum measurement problem. Here, we challenge this view. We argue that the gist of the Wigner's friend paradox can be reproduced without assuming quantum physics, and that it underlies a much broader class of enigmas in the foundations of physics and philosophy. To show this, we first consider several recently proposed extended Wigner's friend scenarios, and demonstrate that their implications for the absoluteness of observations can be reproduced by classical thought experiments that involve the duplication of agents. Crucially, some of these classical scenarios are technologically much easier to implement than their quantum counterparts. Then, we argue that the essential structural ingredient of all these scenarios is a feature that we call "Restriction A": essentially, that a physical theory cannot give us a probabilistic description of the observations of all agents. Finally, we argue that this difficulty is at the core of other puzzles in the foundations of physics and philosophy, and demonstrate this explicitly for cosmology's Boltzmann brain problem. Our analysis suggests that Wigner's friend should be studied in a larger context, addressing a frontier of human knowledge that exceeds the boundaries of quantum physics: to obtain reliable predictions for experiments in which these predictions can be privately but not intersubjectively verified. △ Less

Submitted 13 February, 2024; originally announced February 2024.

Comments: 21+8 pages, 3 figures

ReNeLiB: Real-time Neural Listening Behavior Generation for Socially Interactive Agents

Authors: Daksitha Withanage Don, Philipp Müller, Fabrizio Nunnari, Elisabeth André, Patrick Gebhard

Abstract: Flexible and natural nonverbal reactions to human behavior remain a challenge for socially interactive agents (SIAs) that are predominantly animated using hand-crafted rules. While recently proposed machine learning based approaches to conversational behavior generation are a promising way to address this challenge, they have not yet been employed in SIAs. The primary reason for this is the lack o… ▽ More Flexible and natural nonverbal reactions to human behavior remain a challenge for socially interactive agents (SIAs) that are predominantly animated using hand-crafted rules. While recently proposed machine learning based approaches to conversational behavior generation are a promising way to address this challenge, they have not yet been employed in SIAs. The primary reason for this is the lack of a software toolkit integrating such approaches with SIA frameworks that conforms to the challenging real-time requirements of human-agent interaction scenarios. In our work, we for the first time present such a toolkit consisting of three main components: (1) real-time feature extraction capturing multi-modal social cues from the user; (2) behavior generation based on a recent state-of-the-art neural network approach; (3) visualization of the generated behavior supporting both FLAME-based and Apple ARKit-based interactive agents. We comprehensively evaluate the real-time performance of the whole framework and its components. In addition, we introduce pre-trained behavioral generation models derived from psychotherapy sessions for domain-specific listening behaviors. Our software toolkit, pivotal for deploying and assessing SIAs' listening behavior in real-time, is publicly available. Resources, including code, behavioural multi-modal features extracted from therapeutic interactions, are hosted at https://daksitha.github.io/ReNeLib △ Less

Submitted 12 February, 2024; originally announced February 2024.

Comments: 8 pages, 11 figures, ICMI conference, project page https://daksitha.github.io/ReNeLib/

On the return probability of the simple random walk on Galton-Watson trees

Authors: Peter Müller, Jakob Stern

Abstract: We consider the simple random walk on Galton-Watson trees with supercritical offspring distribution, conditioned on non-extinction. In case the offspring distribution has finite support, we prove an upper bound for the annealed return probability to the root which decays subexponentially in time with exponent 1/3. This exponent is optimal. Our result improves the previously known subexponential up… ▽ More We consider the simple random walk on Galton-Watson trees with supercritical offspring distribution, conditioned on non-extinction. In case the offspring distribution has finite support, we prove an upper bound for the annealed return probability to the root which decays subexponentially in time with exponent 1/3. This exponent is optimal. Our result improves the previously known subexponential upper bound with exponent 1/5 by Piau [Ann. Probab. 26, 1016-1040 (1998)]. For offspring distributions with unbounded support but sufficiently fast decay, our method also yields improved subexponential upper bounds. △ Less

Submitted 2 February, 2024; originally announced February 2024.

Comments: 23 pages

MSC Class: 05C81; 60K37; 60J80

Classification of Volatile Organic Compounds by Differential Mobility Spectrometry Based on Continuity of Alpha Curves

Authors: Anton Rauhameri, Angelo Robiños, Osmo Anttalainen, Timo Salpavaara, Jussi Rantala, Veikko Surakka, Pasi Kallio, Antti Vehkaoja, Philipp Müller

Abstract: Background: Classification of volatile organic compounds (VOCs) is of interest in many fields. Examples include but are not limited to medicine, detection of explosives, and food quality control. Measurements collected with electronic noses can be used for classification and analysis of VOCs. One type of electronic noses that has seen considerable development in recent years is Differential Mobili… ▽ More Background: Classification of volatile organic compounds (VOCs) is of interest in many fields. Examples include but are not limited to medicine, detection of explosives, and food quality control. Measurements collected with electronic noses can be used for classification and analysis of VOCs. One type of electronic noses that has seen considerable development in recent years is Differential Mobility Spectrometry (DMS). DMS yields measurements that are visualized as dispersion plots that contain traces, also known as alpha curves. Current methods used for analyzing DMS dispersion plots do not usually utilize the information stored in the continuity of these traces, which suggests that alternative approaches should be investigated. Results: In this work, for the first time, dispersion plots were interpreted as a series of measurements evolving sequentially. Thus, it was hypothesized that time-series classification algorithms can be effective for classification and analysis of dispersion plots. An extensive dataset of 900 dispersion plots for five chemicals measured at five flow rates and two concentrations was collected. The data was used to analyze the classification performance of six algorithms. According to our hypothesis, the highest classification accuracy of 88\% was achieved by a Long-Short Term Memory neural network, which supports our hypothesis. Significance: A new concept for approaching classification tasks of dispersion plots is presented and compared with other well-known classification algorithms. This creates a new angle of view for analysis and classification of the dispersion plots. In addition, a new dataset of dispersion plots is openly shared to public. △ Less

Submitted 13 March, 2024; v1 submitted 13 January, 2024; originally announced January 2024.

A deep search for large complex organic species toward IRAS16293-2422 B at 3 mm with ALMA

Authors: P. Nazari, J. S. Y. Cheung, J. Ferrer Asensio, N. M. Murillo, E. F. van Dishoeck, J. K. Jørgensen, T. L. Bourke, K. -J. Chuang, M. N. Drozdovskaya, G. Fedoseev, R. T. Garrod, S. Ioppolo, H. Linnartz, B. A. McGuire, H. S. P. Müller, D. Qasim, S. F. Wampfler

Abstract: Complex organic molecules (COMs) have been detected ubiquitously in protostellar systems. However, at shorter wavelengths (~0.8mm) it is more difficult to detect larger molecules than at longer wavelengths (~3mm) because of the increase of millimeter dust opacity, line confusion, and unfavorable partition function. We aim to search for large molecules (>8 atoms) in the ALMA Band 3 spectrum of IRAS… ▽ More Complex organic molecules (COMs) have been detected ubiquitously in protostellar systems. However, at shorter wavelengths (~0.8mm) it is more difficult to detect larger molecules than at longer wavelengths (~3mm) because of the increase of millimeter dust opacity, line confusion, and unfavorable partition function. We aim to search for large molecules (>8 atoms) in the ALMA Band 3 spectrum of IRAS 16293-2422 B. We search for more than 70 molecules and identify as many lines as possible in the spectrum. The spectral settings were set to specifically target three-carbon species such as propanol and glycerol. We identify lines of 31 molecules including many oxygen-bearing COMs such as CH3OH and c-C2H4O and a few nitrogen- and sulfur-bearing ones such as HOCH2CN and CH3SH. The largest detected molecules are gGg-(CH2OH)2 and CH3COCH3. We do not detect glycerol or propanol but provide upper limits for them which are in line with previous laboratory and observational studies. The line density in Band 3 is only ~2.5 times lower in frequency space than in Band 7. From the detected lines in Band 3 at a $\gtrsim 6σ$ level, ~25-30% of them could not be identified indicating the need for more laboratory data of rotational spectra. We find similar column densities and column density ratios of COMs (within a factor ~2) between Band 3 and Band 7. The effect of dust optical depth for IRAS 16293-2422 B at an off-source location on column densities and column density ratios is minimal. Moreover, for warm protostars, long wavelength spectra are not only crowded, but also take longer integration times to reach the same sensitivity limit. The 3mm search has not yet resulted in detection of larger and more complex molecules in warm sources. A full deep ALMA Band 2-3 (i.e., 3-4 mm) survey is needed to assess whether low frequency data have the potential to reveal more complex molecules in warm sources. △ Less

Submitted 9 January, 2024; originally announced January 2024.

Comments: Accepted for publication in A&A

Journal ref: A&A 686, A59 (2024)

Double diffraction imaging of X-ray induced structural dynamics in single free nanoparticles

Authors: M. Sauppe, T. Bischoff, C. Bomme, C. Bostedt, A. Colombo, B. Erk, T. Feigl, L. Flückiger, T. Gorkhover, A. Heilrath, K. Kolatzki, Y. Kumagai, B. Langbehn, J. P. Müller, C. Passow, D. Ramm, D. Rolles, D. Rompotis, J. Schäfer-Zimmermann, B. Senfftleben, R. Treusch, A. Ulmer, J. Zimbalski, T. Möller, D. Rupp

Abstract: Because of their high photon flux, X-ray free-electron lasers (FEL) allow to resolve the structure of individual nanoparticles via coherent diffractive imaging (CDI) within a single X-ray pulse. Since the inevitable rapid destruction of the sample limits the achievable resolution, a thorough understanding of the spatiotemporal evolution of matter on the nanoscale following the irradiation is cruci… ▽ More Because of their high photon flux, X-ray free-electron lasers (FEL) allow to resolve the structure of individual nanoparticles via coherent diffractive imaging (CDI) within a single X-ray pulse. Since the inevitable rapid destruction of the sample limits the achievable resolution, a thorough understanding of the spatiotemporal evolution of matter on the nanoscale following the irradiation is crucial. We present a technique to track X-ray induced structural changes in time and space by recording two consecutive diffraction patterns of the same single, free-flying nanoparticle, acquired separately on two large-area detectors opposite to each other, thus examining both the initial and evolved particle structure. We demonstrate the method at the extreme ultraviolet (XUV) and soft X-ray Free-electron LASer in Hamburg (FLASH), investigating xenon clusters as model systems. By splitting a single XUV pulse, two diffraction patterns from the same particle can be obtained. For focus intensities of about $2\cdot10^{12}\,\text{W/cm}^2$ we observe still largely intact clusters even at the longest delays of up to 650 picoseconds of the second pulse, indicating that in the highly absorbing systems the damage remains confined to one side of the cluster. Instead, in case of five times higher flux, the diffraction patterns show clear signatures of disintegration, namely increased diameters and density fluctuations in the fragmenting clusters. Future improvements to the accessible range of dynamics and time resolution of the approach are discussed. △ Less

Submitted 22 May, 2024; v1 submitted 19 December, 2023; originally announced December 2023.

Gemini: A Family of Highly Capable Multimodal Models

Authors: Gemini Team, Rohan Anil, Sebastian Borgeaud, Jean-Baptiste Alayrac, Jiahui Yu, Radu Soricut, Johan Schalkwyk, Andrew M. Dai, Anja Hauth, Katie Millican, David Silver, Melvin Johnson, Ioannis Antonoglou, Julian Schrittwieser, Amelia Glaese, Jilin Chen, Emily Pitler, Timothy Lillicrap, Angeliki Lazaridou, Orhan Firat, James Molloy, Michael Isard, Paul R. Barham, Tom Hennigan, Benjamin Lee , et al. (1325 additional authors not shown)

Abstract: This report introduces a new family of multimodal models, Gemini, that exhibit remarkable capabilities across image, audio, video, and text understanding. The Gemini family consists of Ultra, Pro, and Nano sizes, suitable for applications ranging from complex reasoning tasks to on-device memory-constrained use-cases. Evaluation on a broad range of benchmarks shows that our most-capable Gemini Ultr… ▽ More This report introduces a new family of multimodal models, Gemini, that exhibit remarkable capabilities across image, audio, video, and text understanding. The Gemini family consists of Ultra, Pro, and Nano sizes, suitable for applications ranging from complex reasoning tasks to on-device memory-constrained use-cases. Evaluation on a broad range of benchmarks shows that our most-capable Gemini Ultra model advances the state of the art in 30 of 32 of these benchmarks - notably being the first model to achieve human-expert performance on the well-studied exam benchmark MMLU, and improving the state of the art in every one of the 20 multimodal benchmarks we examined. We believe that the new capabilities of the Gemini family in cross-modal reasoning and language understanding will enable a wide variety of use cases. We discuss our approach toward post-training and deploying Gemini models responsibly to users through services including Gemini, Gemini Advanced, Google AI Studio, and Cloud Vertex AI. △ Less

Submitted 17 June, 2024; v1 submitted 18 December, 2023; originally announced December 2023.

Spin-bounded correlations: rotation boxes within and beyond quantum theory

Authors: Albert Aloy, Thomas D. Galley, Caroline L. Jones, Stefan L. Ludescher, Markus P. Mueller

Abstract: How can detector click probabilities respond to spatial rotations around a fixed axis, in any possible physical theory? Here, we give a thorough mathematical analysis of this question in terms of "rotation boxes", which are analogous to the well-known notion of non-local boxes. We prove that quantum theory admits the most general rotational correlations for spins 0, 1/2, and 1, but we describe a m… ▽ More How can detector click probabilities respond to spatial rotations around a fixed axis, in any possible physical theory? Here, we give a thorough mathematical analysis of this question in terms of "rotation boxes", which are analogous to the well-known notion of non-local boxes. We prove that quantum theory admits the most general rotational correlations for spins 0, 1/2, and 1, but we describe a metrological game where beyond-quantum resources of spin 3/2 outperform all quantum resources of the same spin. We prove a multitude of fundamental results about these correlations, including an exact convex characterization of the spin-1 correlations, a Tsirelson-type inequality for spins 3/2 and higher, and a proof that the general spin-J correlations provide an efficient outer SDP approximation to the quantum set. Furthermore, we review and consolidate earlier results that hint at a wealth of applications of this formalism: a theory-agnostic semi-device-independent randomness generator, an exact characterization of the quantum (2,2,2)-Bell correlations in terms of local symmetries, and the derivation of multipartite Bell witnesses. Our results illuminate the foundational question of how space constrains the structure of quantum theory, they build a bridge between semi-device-independent quantum information and spacetime physics, and they demonstrate interesting relations to topics such as entanglement witnesses, spectrahedra, and orbitopes. △ Less

Submitted 14 December, 2023; originally announced December 2023.

Comments: 27+22 pages, 9 figures

A Multivariate Polya Tree Model for Meta-Analysis with Event Time Distributions

Authors: Giovanni Poli, Elena Fountzilas, Apostolia-Maria Tsimeridou, Peter Müller

Abstract: We develop a non-parametric Bayesian prior for a family of random probability measures by extending the Polya tree ($PT$) prior to a joint prior for a set of probability measures $G_1,\dots,G_n$, suitable for meta-analysis with event time outcomes. In the application to meta-analysis $G_i$ is the event time distribution specific to study $i$. The proposed model defines a regression on study-specif… ▽ More We develop a non-parametric Bayesian prior for a family of random probability measures by extending the Polya tree ($PT$) prior to a joint prior for a set of probability measures $G_1,\dots,G_n$, suitable for meta-analysis with event time outcomes. In the application to meta-analysis $G_i$ is the event time distribution specific to study $i$. The proposed model defines a regression on study-specific covariates by introducing increased correlation for any pair of studies with similar characteristics. The desired multivariate $PT$ model is constructed by introducing a hierarchical prior on the conditional splitting probabilities in the $PT$ construction for each of the $G_i$. The hierarchical prior replaces the independent beta priors for the splitting probability in the $PT$ construction with a Gaussian process prior for corresponding (logit) splitting probabilities across all studies. The Gaussian process is indexed by study-specific covariates, introducing the desired dependence with increased correlation for similar studies. The main feature of the proposed construction is (conditionally) conjugate posterior updating with commonly reported inference summaries for event time data. The construction is motivated by a meta-analysis over cancer immunotherapy studies. △ Less

Submitted 10 December, 2023; originally announced December 2023.

ATOMIUM: Molecular inventory of 17 oxygen-rich evolved stars observed with ALMA

Authors: S. H. J. Wallstrom, T. Danilovich, H. S. P. Muller, C. A. Gottlieb, S. Maes, M. Van de Sande, L. Decin, A. M. S. Richards, A. Baudry, J. Bolte, T. Ceulemans, F. De Ceuster, A. de Koter, I. El Mellah, M. Esseldeurs, S. Etoka, D. Gobrecht, E. Gottlieb, M. Gray, F. Herpin, M. Jeste, D. Kee, P. Kervella, T. Khouri, E. Lagadec , et al. (13 additional authors not shown)

Abstract: The dusty winds of cool evolved stars are a major contributor of the newly synthesised material enriching the Galaxy and future generations of stars. However, the details of the physics and chemistry behind dust formation and wind launching have yet to be pinpointed. Recent spatially resolved observations show the importance of gaining a more comprehensive view of the circumstellar chemistry, but… ▽ More The dusty winds of cool evolved stars are a major contributor of the newly synthesised material enriching the Galaxy and future generations of stars. However, the details of the physics and chemistry behind dust formation and wind launching have yet to be pinpointed. Recent spatially resolved observations show the importance of gaining a more comprehensive view of the circumstellar chemistry, but a comparative study of the intricate interplay between chemistry and physics is still difficult because observational details such as frequencies and angular resolutions are rarely comparable. Aiming to overcome these deficiencies, ATOMIUM is an ALMA Large Programme to study the physics and chemistry of the circumstellar envelopes of a diverse set of oxygen-rich evolved stars under homogeneous observing conditions at three angular resolutions between ~0.02"-1.4". Here we summarize the molecular inventory of these sources, and the correlations between stellar parameters and molecular content. Seventeen oxygen-rich or S-type asymptotic giant branch (AGB) and red supergiant (RSG) stars have been observed in several tunings with ALMA Band 6, targeting a range of molecules to probe the circumstellar envelope and especially the chemistry of dust formation close to the star. We systematically assigned the molecular carriers of the spectral lines and measured their spectroscopic parameters and the angular extent of the emission of each line from integrated intensity maps. Across the ATOMIUM sample, we detect 291 transitions of 24 different molecules and their isotopologues. This includes several first detections in oxygen-rich AGB/RSG stars: PO v=1, SO2 v1=1 and v2=2, and several high energy H2O transitions. We also find several first detections in S-type AGB stars: vibrationally excited HCN v2=2,3 and SiS v=4,5,6, as well as first detections of the molecules SiC, AlCl, and AlF in W Aql... △ Less

Submitted 6 December, 2023; originally announced December 2023.

Comments: 19 pages plus appendices, forthcoming publication in Astronomy & Astrophysics

Stochastic Vision Transformers with Wasserstein Distance-Aware Attention

Authors: Franciskus Xaverius Erick, Mina Rezaei, Johanna Paula Müller, Bernhard Kainz

Abstract: Self-supervised learning is one of the most promising approaches to acquiring knowledge from limited labeled data. Despite the substantial advancements made in recent years, self-supervised models have posed a challenge to practitioners, as they do not readily provide insight into the model's confidence and uncertainty. Tackling this issue is no simple feat, primarily due to the complexity involve… ▽ More Self-supervised learning is one of the most promising approaches to acquiring knowledge from limited labeled data. Despite the substantial advancements made in recent years, self-supervised models have posed a challenge to practitioners, as they do not readily provide insight into the model's confidence and uncertainty. Tackling this issue is no simple feat, primarily due to the complexity involved in implementing techniques that can make use of the latent representations learned during pre-training without relying on explicit labels. Motivated by this, we introduce a new stochastic vision transformer that integrates uncertainty and distance awareness into self-supervised learning (SSL) pipelines. Instead of the conventional deterministic vector embedding, our novel stochastic vision transformer encodes image patches into elliptical Gaussian distributional embeddings. Notably, the attention matrices of these stochastic representational embeddings are computed using Wasserstein distance-based attention, effectively capitalizing on the distributional nature of these embeddings. Additionally, we propose a regularization term based on Wasserstein distance for both pre-training and fine-tuning processes, thereby incorporating distance awareness into latent representations. We perform extensive experiments across different tasks such as in-distribution generalization, out-of-distribution detection, dataset corruption, semi-supervised settings, and transfer learning to other datasets and tasks. Our proposed method achieves superior accuracy and calibration, surpassing the self-supervised baseline in a wide range of experiments on a variety of datasets. △ Less

Submitted 30 November, 2023; originally announced November 2023.

Collinear laser spectroscopy of highly charged ions produced with an electron beam ion source

Authors: Phillip Imgram, Kristian König, Bernhard Maaß, Patrick Müller, Wilfried Nörtershäuser

Abstract: Collinear laser spectroscopy has been performed on He-like C$^{4+}$ ions extracted from an electron beam ion source (EBIS). In order to determine the transition frequency with the highest-possible accuracy, the lineshape of the fluorescence response function was studied for pulsed and continuous ion extraction modes of the EBIS in order to optimize its symmetry and linewidth. We found that the bes… ▽ More Collinear laser spectroscopy has been performed on He-like C$^{4+}$ ions extracted from an electron beam ion source (EBIS). In order to determine the transition frequency with the highest-possible accuracy, the lineshape of the fluorescence response function was studied for pulsed and continuous ion extraction modes of the EBIS in order to optimize its symmetry and linewidth. We found that the best signal-to-noise ratio is obtained using the continuous beam mode for ion extraction. Applying frequency-comb-referenced collinear and anticollinear laser spectroscopy, we achieved a measurement accuracy of better than 2\,MHz including statistical and systematic uncertainties. The origin and size of systematic uncertainties, as well as further applications for other isotopes and elements are discussed. △ Less

Submitted 27 November, 2023; originally announced November 2023.

Collinear Laser Spectroscopy of $2\,{}^3\!S_1 \rightarrow 2\,{}^3\!P_{\!J}$ transitions in helium-like $^{12}\mathrm{C}^{4+}$

Authors: Phillip Imgram, Kristian König, Bernhard Maaß, Patrick Müller, Wilfried Nörtershäuser

Abstract: Transition frequencies and fine-structure splittings of the $2\,{}^3\!S_1 \rightarrow 2\,{}^3\!P_{\!J}$ transitions in helium-like $^{12}\mathrm{C}^{4+}$ were measured by collinear laser spectroscopy on a 1-ppb level. Accuracy is increased by more than three orders of magnitude with respect to previous measurements, enabling tests of recent non-relativistic QED calculations including terms up to… ▽ More Transition frequencies and fine-structure splittings of the $2\,{}^3\!S_1 \rightarrow 2\,{}^3\!P_{\!J}$ transitions in helium-like $^{12}\mathrm{C}^{4+}$ were measured by collinear laser spectroscopy on a 1-ppb level. Accuracy is increased by more than three orders of magnitude with respect to previous measurements, enabling tests of recent non-relativistic QED calculations including terms up to $mα^7$. Deviations between the theoretical and experimental values are within theoretical uncertainties and are ascribed to $mα^8$ and higher-order contributions in the series expansion of the NR-QED calculations. Finally, prospects for an all-optical charge radius determination of light isotopes are evaluated. △ Less

Submitted 27 November, 2023; originally announced November 2023.

A note on Galois groups of linearized polynomials

Authors: Peter Müller

Abstract: Let $L(X)$ be a monic $q$-linearized polynomial over $F_q$ of degree $q^n$, where $n$ is an odd prime. Recently Gow and McGuire showed that the Galois group of $L(X)/X-t$ over the field of rational functions $F_q(t)$ is $GL_n(q)$ unless $L(X)=X^{q^n}$. The case of even $q$ remained open, but it was conjectured that the result holds too and partial results were given. In this note we settle this co… ▽ More Let $L(X)$ be a monic $q$-linearized polynomial over $F_q$ of degree $q^n$, where $n$ is an odd prime. Recently Gow and McGuire showed that the Galois group of $L(X)/X-t$ over the field of rational functions $F_q(t)$ is $GL_n(q)$ unless $L(X)=X^{q^n}$. The case of even $q$ remained open, but it was conjectured that the result holds too and partial results were given. In this note we settle this conjecture. In fact we use Hensel's Lemma to give a unified proof for all prime powers $q$. △ Less

Submitted 25 November, 2023; originally announced November 2023.

Comments: 5 pages

MSC Class: 12E05 (Primary) 12F10 (Secondary)

Refinement Proofs in Rust Using Ghost Locks

Authors: Aurel Bílý, João C. Pereira, Jan Schär, Peter Müller

Abstract: Refinement transforms an abstract system model into a concrete, executable program, such that properties established for the abstract model carry over to the concrete implementation. Refinement has been used successfully in the development of substantial verified systems. Nevertheless, existing refinement techniques have limitations that impede their practical usefulness. Some techniques generate… ▽ More Refinement transforms an abstract system model into a concrete, executable program, such that properties established for the abstract model carry over to the concrete implementation. Refinement has been used successfully in the development of substantial verified systems. Nevertheless, existing refinement techniques have limitations that impede their practical usefulness. Some techniques generate executable code automatically, which generally leads to implementations with sub-optimal performance. Others employ bottom-up program verification to reason about efficient implementations, but impose strict requirements on the structure of the code, the structure of the refinement proofs, as well as the employed verification logic and tools. In this paper, we present a novel refinement technique that removes these limitations. It supports a wide range of program structures, data representations, and proof structures. Our approach supports reasoning about both safety and liveness properties. We implement our approach in a state-of-the-art verifier for the Rust language, which itself offers a strong foundation for memory safety. We demonstrate the practicality of our approach on a number of substantial case studies. △ Less

Submitted 24 November, 2023; originally announced November 2023.

Comments: 21 pages, 3 figures, submitted to PLDI 2024

MSC Class: 68Q60 ACM Class: F.3.1

Accessing new physics with an undoped, cryogenic CsI CEvNS detector for COHERENT at the SNS

Authors: P. S. Barbeau, V. Belov, I. Bernardi, C. Bock, A. Bolozdynya, R. Bouabid, J. Browning, B. Cabrera-Palmer, E. Conley, V. da Silva, J. Daughhetee, J. Detwiler, K. Ding, M. R. Durand, Y. Efremenko, S. R. Elliott, A. Erlandson, L. Fabris, M. Febbraro, A. Galindo-Uribarri, M. P. Green, J. Hakenmüller, M. R. Heath, S. Hedges, B. A. Johnson , et al. (55 additional authors not shown)

Abstract: We consider the potential for a 10-kg undoped cryogenic CsI detector operating at the Spallation Neutron Source to measure coherent elastic neutrino-nucleus scattering and its sensitivity to discover new physics beyond the standard model. Through a combination of increased event rate, lower threshold, and good timing resolution, such a detector would significantly improve on past measurements. We… ▽ More We consider the potential for a 10-kg undoped cryogenic CsI detector operating at the Spallation Neutron Source to measure coherent elastic neutrino-nucleus scattering and its sensitivity to discover new physics beyond the standard model. Through a combination of increased event rate, lower threshold, and good timing resolution, such a detector would significantly improve on past measurements. We considered tests of several beyond-the-standard-model scenarios such as neutrino non-standard interactions and accelerator-produced dark matter. This detector's performance was also studied for relevant questions in nuclear physics and neutrino astronomy, namely the weak charge distribution of CsI nuclei and detection of neutrinos from a core-collapse supernova. △ Less

Submitted 21 November, 2023; originally announced November 2023.

The Widom-Sobolev formula for discontinuous matrix-valued symbols

Authors: Leon Bollmann, Peter Müller

Abstract: We prove the Widom-Sobolev formula for the asymptotic behaviour of truncated Wiener-Hopf operators with discontinuous matrix-valued symbols for three different classes of test functions. The symbols may depend on both position and momentum except when closing the asymptotics for twice differentiable test functions with Hölder singularities. The cut-off domains are allowed to have piecewise differe… ▽ More We prove the Widom-Sobolev formula for the asymptotic behaviour of truncated Wiener-Hopf operators with discontinuous matrix-valued symbols for three different classes of test functions. The symbols may depend on both position and momentum except when closing the asymptotics for twice differentiable test functions with Hölder singularities. The cut-off domains are allowed to have piecewise differentiable boundaries. In contrast to the case where the symbol is smooth in one variable, the resulting coefficient in the enhanced area law we obtain here remains as explicit for matrix-valued symbols as it is for scalar-valued symbols. △ Less

Submitted 21 March, 2024; v1 submitted 10 November, 2023; originally announced November 2023.

Comments: 40 pages; Changes in v2: Introduction changed. New Remark 3.4 adds information on the scaling properties of the constants in Lemma 3.3. Proof of Theorem 3.9 corrected and expanded. Proof of Theorem 4.22 reorganised with parts of it now contained in the new Lemma 4.19

The Beta-decay Paul Trap Mk IV: Design and commissioning

Authors: L. Varriano, G. Savard, J. A. Clark, D. P. Burdette, M. T. Burkey, A. T. Gallant, T. Y. Hirsh, B. Longfellow, N. D. Scielzo, R. Segel, E. J. Boron III, M. Brodeur, N. Callahan, A. Cannon, K. Kolos, B. Liu, S. Lopez-Caceres, M. Gott, B. Maaß, S. T. Marley, C. Mohs, G. E. Morgan, P. Mueller, M. Oberling, P. D. O'Malley , et al. (7 additional authors not shown)

Abstract: The Beta-decay Paul Trap is an open-geometry, linear trap used to measure the decays of $^8$Li and $^8$B to search for a tensor contribution to the weak interaction. In the latest $^8$Li measurement of Burkey et al. (2022), $β$ scattering was the dominant experimental systematic uncertainty. The Beta-decay Paul Trap Mk IV reduces the prevalence of $β$ scattering by a factor of 4 through a redesign… ▽ More The Beta-decay Paul Trap is an open-geometry, linear trap used to measure the decays of $^8$Li and $^8$B to search for a tensor contribution to the weak interaction. In the latest $^8$Li measurement of Burkey et al. (2022), $β$ scattering was the dominant experimental systematic uncertainty. The Beta-decay Paul Trap Mk IV reduces the prevalence of $β$ scattering by a factor of 4 through a redesigned electrode geometry and the use of glassy carbon and graphite as electrode materials. The trap has been constructed and successfully commissioned with $^8$Li in a new data campaign that collected 2.6 million triple coincidence events, an increase in statistics by 30% with 4 times less $β$ scattering compared to the previous $^8$Li data set. △ Less

Submitted 30 October, 2023; originally announced November 2023.

Comments: 17 pages, 7 figures

Journal ref: Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment 1058, 168818 (2024)