Showing 1–50 of 58 results for author: Wenzel, M

LineFlow: A Framework to Learn Active Control of Production Lines

Authors: Kai Müller, Martin Wenzel, Tobias Windisch

Abstract: Many production lines require active control mechanisms, such as adaptive routing, worker reallocation, and rescheduling, to maintain optimal performance. However, designing these control systems is challenging for various reasons, and while reinforcement learning (RL) has shown promise in addressing these challenges, a standardized and general framework is still lacking. In this work, we introduc… ▽ More Many production lines require active control mechanisms, such as adaptive routing, worker reallocation, and rescheduling, to maintain optimal performance. However, designing these control systems is challenging for various reasons, and while reinforcement learning (RL) has shown promise in addressing these challenges, a standardized and general framework is still lacking. In this work, we introduce LineFlow, an extensible, open-source Python framework for simulating production lines of arbitrary complexity and training RL agents to control them. To demonstrate the capabilities and to validate the underlying theoretical assumptions of LineFlow, we formulate core subproblems of active line control in ways that facilitate mathematical analysis. For each problem, we provide optimal solutions for comparison. We benchmark state-of-the-art RL algorithms and show that the learned policies approach optimal performance in well-understood scenarios. However, for more complex, industrial-scale production lines, RL still faces significant challenges, highlighting the need for further research in areas such as reward shaping, curriculum learning, and hierarchical control. △ Less

Submitted 10 May, 2025; originally announced May 2025.

Comments: Accepted at ICML 2025

High-pressure modulation of breathing kagome lattice: Cascade of Lifshitz transitions and evolution of the electronic structure

Authors: Marcos V. Gonçalves-Faria, Maxim Wenzel, Yuk Tai Chan, Olga Iakutkina, Francesco Capitani, Davide Comboni, Michael Hanfland, Qi Wang, Hechang Lei, Martin Dressel, Alexander A. Tsirlin, Alexej Pashkin, Stephan Winnerl, Manfred Helm, Ece Uykur

Abstract: The interplay between electronic correlations, density wave orders, and magnetism gives rise to several fascinating phenomena. In recent years, kagome metals have emerged as an excellent platform for investigating these unique properties, which stem from their itinerant carriers arranged in a kagome lattice. Here, we show that electronic structure of the prototypical kagome metal, Fe$_3$Sn$_2$, ca… ▽ More The interplay between electronic correlations, density wave orders, and magnetism gives rise to several fascinating phenomena. In recent years, kagome metals have emerged as an excellent platform for investigating these unique properties, which stem from their itinerant carriers arranged in a kagome lattice. Here, we show that electronic structure of the prototypical kagome metal, Fe$_3$Sn$_2$, can be tailored by manipulating the breathing distortion of its kagome lattice with external pressure. The breathing distortion is suppressed around 15 GPa and reversed at higher pressures. These changes lead to a series of Lifshitz transitions that we detect using broadband and transient optical spectroscopy. Remarkably, the strength of the electronic correlations and the tendency to carrier localization are enhanced as the kagome network becomes more regular, suggesting that breathing distortion can be a unique control parameter for the microscopic regime of the kagome metals and their electron dynamics. △ Less

Submitted 4 February, 2025; originally announced February 2025.

Comments: Main text (4 figures) + Supplementary Materials (4 figures)

Interplay of $d$- and $p$-States in RbTi$_3$Bi$_5$ and CsTi$_3$Bi$_5$ Flat-Band Kagome Metals

Authors: M. Wenzel, E. Uykur, A. A. Tsirlin, A. N Capa Salinas, B. R. Ortiz, S. D. Wilson, M. Dressel

Abstract: Shifting the Fermi level of the celebrated $AM_3X_5$ (135) compounds into proximity of flat bands strongly enhances electronic correlations and severely affects the formation of density waves and superconductivity. Our broadband infrared spectroscopy measurements of RbTi$_3$Bi$_5$ and CsTi$_3$Bi$_5$ combined with density-functional band-structure calculations reveal that the correlated Ti $d$-stat… ▽ More Shifting the Fermi level of the celebrated $AM_3X_5$ (135) compounds into proximity of flat bands strongly enhances electronic correlations and severely affects the formation of density waves and superconductivity. Our broadband infrared spectroscopy measurements of RbTi$_3$Bi$_5$ and CsTi$_3$Bi$_5$ combined with density-functional band-structure calculations reveal that the correlated Ti $d$-states are intricately coupled with the Bi $p$-states that form a tilted Dirac crossing. Electron-phonon coupling manifests itself in the strong damping of itinerant carriers and in the anomalous shape of the phonon line in RbTi$_3$Bi$_5$. An anomaly in these spectral features around 150 K can be paralleled to the onset of nematicity detected by low-temperature probes. Our findings show that the materials with low band filling open unexplored directions in the physics of kagome metals and involve electronic states of different nature strongly coupled with lattice dynamics. △ Less

Submitted 30 January, 2025; originally announced January 2025.

Interlayer charge transfer induced by electronic instabilities in the natural van der Waals hetrostructure 4H$_b$-TaS$_2$

Authors: R. Mathew Roy, X. Feng, M. Wenzel, V. Hasse, C. Shekhar, M. G. Vergniory, C. Felser, A. V. Pronin, M. Dressel

Abstract: The natural van der Waals heterostructure 4H$_b$-TaS$_2$ composed of alternating 1T- and 1H-TaS$_2$ layers serves as a platform for investigating the electronic correlations and layer-dependent properties of novel quantum materials. The temperature evolution of the conductivity spectra $σ(ω)$ obtained through infrared spectroscopy elucidates the influence of band modifications associated with the… ▽ More The natural van der Waals heterostructure 4H$_b$-TaS$_2$ composed of alternating 1T- and 1H-TaS$_2$ layers serves as a platform for investigating the electronic correlations and layer-dependent properties of novel quantum materials. The temperature evolution of the conductivity spectra $σ(ω)$ obtained through infrared spectroscopy elucidates the influence of band modifications associated with the charge-density-wave (CDW) superlattice on the 1T layer, resulting in a room-temperature energy gap, $Δ_{\rm CDW}\approx$ 0.35 eV. However, there is no gap associated to the 1H layer. Supported by density functional theory calculations, we attribute the behavior of interband transitions to the convergence of the layers, which amplifies the charge transfer from the 1T to the 1H layers, progressing as the temperature decreases. This phenomenon leads to an enhanced low-energy spectral weight and carrier density. The presence of an energy gap and the temperature-tunable charge transfer within the bulk of 4H$_b$-TaS$_2$ driven by layer-dependent CDW states contribute to a more comprehensive understanding of other complex compounds of transition-metal dichalcogenides. △ Less

Submitted 12 November, 2024; originally announced November 2024.

Comments: 11 pages including SM

Synthetic Generation of Dermatoscopic Images with GAN and Closed-Form Factorization

Authors: Rohan Reddy Mekala, Frederik Pahde, Simon Baur, Sneha Chandrashekar, Madeline Diep, Markus Wenzel, Eric L. Wisotzky, Galip Ümit Yolcu, Sebastian Lapuschkin, Jackie Ma, Peter Eisert, Mikael Lindvall, Adam Porter, Wojciech Samek

Abstract: In the realm of dermatological diagnoses, where the analysis of dermatoscopic and microscopic skin lesion images is pivotal for the accurate and early detection of various medical conditions, the costs associated with creating diverse and high-quality annotated datasets have hampered the accuracy and generalizability of machine learning models. We propose an innovative unsupervised augmentation so… ▽ More In the realm of dermatological diagnoses, where the analysis of dermatoscopic and microscopic skin lesion images is pivotal for the accurate and early detection of various medical conditions, the costs associated with creating diverse and high-quality annotated datasets have hampered the accuracy and generalizability of machine learning models. We propose an innovative unsupervised augmentation solution that harnesses Generative Adversarial Network (GAN) based models and associated techniques over their latent space to generate controlled semiautomatically-discovered semantic variations in dermatoscopic images. We created synthetic images to incorporate the semantic variations and augmented the training data with these images. With this approach, we were able to increase the performance of machine learning models and set a new benchmark amongst non-ensemble based models in skin lesion classification on the HAM10000 dataset; and used the observed analytics and generated models for detailed studies on model explainability, affirming the effectiveness of our solution. △ Less

Submitted 7 October, 2024; originally announced October 2024.

Comments: This preprint has been submitted to the Workshop on Synthetic Data for Computer Vision (SyntheticData4CV 2024 is a side event on 18th European Conference on Computer Vision 2024). This preprint has not undergone peer review or any post-submission improvements or corrections

Fermi-liquid behavior of non-altermagnetic RuO$_2$

Authors: Maxim Wenzel, Ece Uykur, Sahana Rößler, Marcus Schmidt, Oleg Janson, Achyut Tiwari, Martin Dressel, Alexander A. Tsirlin

Abstract: Presence of magnetism in potentially altermagnetic RuO$_2$ has been a subject of intense debate. Using broadband infrared spectroscopy combined with density-functional band-structure calculations, we show that optical conductivity of RuO$_2$, the bulk probe of its electronic structure, is well described by the nonmagnetic model of this material. The sharp Pauli edge demonstrates the presence of a… ▽ More Presence of magnetism in potentially altermagnetic RuO$_2$ has been a subject of intense debate. Using broadband infrared spectroscopy combined with density-functional band-structure calculations, we show that optical conductivity of RuO$_2$, the bulk probe of its electronic structure, is well described by the nonmagnetic model of this material. The sharp Pauli edge demonstrates the presence of a Dirac nodal line lying 45 meV below the Fermi level. Good match between the experimental and ab initio plasma frequencies underpins weakness of electronic correlations. The intraband part of the optical conductivity indicates Fermi-liquid behavior with two distinct scattering rates below 150 K. Fermi-liquid theory also accounts for the temperature-dependent magnetic susceptibility of RuO$_2$ and allows a consistent description of this material as paramagnetic metal. △ Less

Submitted 15 July, 2024; originally announced July 2024.

Comments: Main text + Supplementary

Journal ref: Phys. Rev. B 111, L041115 (2025)

Phonon and magnon dynamics across antiferromagnetic transition in 2D layered van der Waals material CrSBr

Authors: E. Uykur, A. A. Tsirlin, F. Long, M. Wenzel, M. Dressel, K. Mosina, Z. Sofer, M. Helm, S. Zhou

Abstract: We report temperature-dependent reflectivity spectra of the layered van der Waals magnet CrSBr in the far-infrared region. Polarization-dependent measurements resolve the vibrational modes along the E$\|a$- and $b$-axes and reveal the clear structural anisotropy. While the $a$-axis phonons notably harden on cooling, the $b$-axis phonon frequencies are almost temperature-independent. A phonon split… ▽ More We report temperature-dependent reflectivity spectra of the layered van der Waals magnet CrSBr in the far-infrared region. Polarization-dependent measurements resolve the vibrational modes along the E$\|a$- and $b$-axes and reveal the clear structural anisotropy. While the $a$-axis phonons notably harden on cooling, the $b$-axis phonon frequencies are almost temperature-independent. A phonon splitting due to the antiferromagnetic phase transition is observed for the 180~cm$^{-1}$ $a$-axis vibrational mode, accompanied by a phonon softening below $T_N$. Furthermore, an additional mode with strong magnetic characteristics at $\sim$360~cm$^{-1}$ is identified and attributed to the magnon excitation of CrSBr. △ Less

Submitted 13 May, 2024; originally announced May 2024.

Comments: 6 pages, 3 figures

Journal ref: Phys. Rev. B 111, 174434 (2025)

Shape Optimization of Geometrically Nonlinear Modal Coupling Coefficients: An Application to MEMS Gyroscopes

Authors: Daniel Schiwietz, Marian Hörsting, Eva Maria Weig, Matthias Wenzel, Peter Degenfeld-Schonburg

Abstract: Micro- and nanoelectromechanical system (MEMS and NEMS) resonators can exhibit rich nonlinear dynamics as they are often operated at large amplitudes with high quality factors and possess a high mode density with a variety of nonlinear modal couplings. Their impact is strongly influenced by internal resonance conditions and by the strength of the modal coupling coefficients. On one hand, strong no… ▽ More Micro- and nanoelectromechanical system (MEMS and NEMS) resonators can exhibit rich nonlinear dynamics as they are often operated at large amplitudes with high quality factors and possess a high mode density with a variety of nonlinear modal couplings. Their impact is strongly influenced by internal resonance conditions and by the strength of the modal coupling coefficients. On one hand, strong nonlinear couplings are of academic interest and promise novel device concepts. On the other hand, however, they have the potential to disturb the linear system behavior on which industrial devices such as gyroscopes and micro mirrors are based on. In either case, being able to optimize the coupling coefficients by design is certainly beneficial. A main source of nonlinear modal couplings are geometric nonlinearities. In this work, we apply node-based shape optimization to tune the geometrically nonlinear 3-wave coupling coefficients of a MEMS gyroscope. We demonstrate that individual coupling coefficients can be tuned over several orders of magnitude by shape optimization, while satisfying typical constraints on manufacturability and operability of the devices. The optimized designs contain unintuitive geometrical features far away from any solution an experienced human MEMS or NEMS designer could have thought of. Thus, this work demonstrates the power of shape optimization for tailoring the complex nonlinear dynamic properties of MEMS and NEMS resonators. △ Less

Submitted 26 March, 2024; originally announced March 2024.

Shape Optimization of Eigenfrequencies in MEMS Gyroscopes

Authors: Daniel Schiwietz, Marian Hörsting, Eva Maria Weig, Peter Degenfeld-Schonburg, Matthias Wenzel

Abstract: Microelectromechanical systems (MEMS) gyroscopes are widely used in consumer and automotive applications. They have to fulfill a vast number of product requirements which lead to complex mechanical designs of the resonating structure. Arriving at a final design is a cumbersome process that relies heavily on human experience in conjunction with design optimization methods. In this work, we apply no… ▽ More Microelectromechanical systems (MEMS) gyroscopes are widely used in consumer and automotive applications. They have to fulfill a vast number of product requirements which lead to complex mechanical designs of the resonating structure. Arriving at a final design is a cumbersome process that relies heavily on human experience in conjunction with design optimization methods. In this work, we apply node-based shape optimization to the design of a MEMS gyroscope. For that purpose, we parametrize the coordinates of the nodes of the finite element method (FEM) mesh that discretize the shapes of the springs. We then implement the gradients of the mechanical eigenfrequencies and typical MEMS manufacturability constraints, with respect to the design parameters, in a FEM code. Using gradient-based optimization we tune the gyroscope's frequency split and shift spurious modes away from the first three multiples of the gyroscope's drive frequency while manufacturability constraints are fulfilled. The resulting optimized design exhibits novel geometrical shapes which defy any human intuition. Overall, we demonstrate that shape optimization can not only solve optimization problems in MEMS design without required human intervention, but also explores geometry solutions which can otherwise not be addressed. In this way, node-based shape optimization opens up a much larger space of possible design solutions, which is crucial for facing the ever increasing product requirements. Our approach is generic and applicable to many other types of MEMS resonators. △ Less

Submitted 8 February, 2024; originally announced February 2024.

Intriguing Low-Temperature Phase in the Antiferromagnetic Kagome Metal FeGe

Authors: M. Wenzel, E. Uykur, A. A. Tsirlin, S. Pal, R. Mathew Roy, C. Yi, C. Shekhar, C. Felser, A. V. Pronin, M. Dressel

Abstract: The properties of kagome metals are governed by the interdependence of band topology and electronic correlations resulting in remarkably rich phase diagrams. Here, we study the temperature evolution of the bulk electronic structure of the antiferromagnetic kagome metal FeGe using infrared spectroscopy. We uncover drastic changes in the low-energy interband absorption at the 100 K structural phase… ▽ More The properties of kagome metals are governed by the interdependence of band topology and electronic correlations resulting in remarkably rich phase diagrams. Here, we study the temperature evolution of the bulk electronic structure of the antiferromagnetic kagome metal FeGe using infrared spectroscopy. We uncover drastic changes in the low-energy interband absorption at the 100 K structural phase transition that has been linked to a charge-density-wave (CDW) instability. We explain this effect by the minuscule Fe displacement in the kagome plane, which results in parallel bands in the vicinity of the Fermi level. In contrast to conventional CDW materials, however, the spectral weight shifts to low energies, ruling out the opening of a CDW gap in FeGe. △ Less

Submitted 12 July, 2024; v1 submitted 24 January, 2024; originally announced January 2024.

Journal ref: Phys. Rev. Lett. 132, 266505 (2024)

Prediction of Fluorescence Quantum Yields using the Extended Thawed Gaussian Approximation

Authors: Michael Wenzel, Roland Mitric

Abstract: Spontaneous emission and internal conversion rates are calculated within harmonic approximations and compared to results obtained within the semi-classical extended thawed Gaussian approximation. This is the first application of the ETGA in the calculation of internal conversion and emission rates for real molecular systems, namely formaldehyde, fluorobenzene, azulene and a dicyano-squaraine dye.… ▽ More Spontaneous emission and internal conversion rates are calculated within harmonic approximations and compared to results obtained within the semi-classical extended thawed Gaussian approximation. This is the first application of the ETGA in the calculation of internal conversion and emission rates for real molecular systems, namely formaldehyde, fluorobenzene, azulene and a dicyano-squaraine dye. The viability of the models as black-box tools for prediction of spontaneous emission and internal conversion rates is assessed. All calculations were done using a consistent protocol in order to investigate how different methods perform without previous experimental knowledge. Contrasting the results with experimental data shows that there are further improvements required before theoretical predictions of emission and internal conversion rates can be used as reliable indicator for the photo-luminescence properties of molecules. We find that the extended thawed Gaussian approximation performs rather similar to the vertical harmonical model. Including anharmonicities in the calculation of internal conversion rates has a moderate effect on the quantitative results in the studied systems. The electronic structure calculations were done using the B3LYP, PBE0, $ω$B97XD and CAM-B3LYP functionals. The choice of the functional does not appear to be a major limiting factor for a black-box approach, when it comes to the prediction of radiative and nonradiative rates for organic molecules. The emission rates are fairly stable with respect to computational parameters, but the internal conversion rate reveals itself to be highly dependent on the choice of the spectral lineshape function, particularly the width of the Lorentzian function, associated with homogeneous broadening. △ Less

Submitted 9 January, 2024; v1 submitted 26 September, 2023; originally announced September 2023.

Journal ref: J. Chem. Phys. 159, 234113 (2023)

FUTURE-AI: International consensus guideline for trustworthy and deployable artificial intelligence in healthcare

Authors: Karim Lekadir, Aasa Feragen, Abdul Joseph Fofanah, Alejandro F Frangi, Alena Buyx, Anais Emelie, Andrea Lara, Antonio R Porras, An-Wen Chan, Arcadi Navarro, Ben Glocker, Benard O Botwe, Bishesh Khanal, Brigit Beger, Carol C Wu, Celia Cintas, Curtis P Langlotz, Daniel Rueckert, Deogratias Mzurikwao, Dimitrios I Fotiadis, Doszhan Zhussupov, Enzo Ferrante, Erik Meijering, Eva Weicken, Fabio A González , et al. (95 additional authors not shown)

Abstract: Despite major advances in artificial intelligence (AI) for medicine and healthcare, the deployment and adoption of AI technologies remain limited in real-world clinical practice. In recent years, concerns have been raised about the technical, clinical, ethical and legal risks associated with medical AI. To increase real world adoption, it is essential that medical AI tools are trusted and accepted… ▽ More Despite major advances in artificial intelligence (AI) for medicine and healthcare, the deployment and adoption of AI technologies remain limited in real-world clinical practice. In recent years, concerns have been raised about the technical, clinical, ethical and legal risks associated with medical AI. To increase real world adoption, it is essential that medical AI tools are trusted and accepted by patients, clinicians, health organisations and authorities. This work describes the FUTURE-AI guideline as the first international consensus framework for guiding the development and deployment of trustworthy AI tools in healthcare. The FUTURE-AI consortium was founded in 2021 and currently comprises 118 inter-disciplinary experts from 51 countries representing all continents, including AI scientists, clinicians, ethicists, and social scientists. Over a two-year period, the consortium defined guiding principles and best practices for trustworthy AI through an iterative process comprising an in-depth literature review, a modified Delphi survey, and online consensus meetings. The FUTURE-AI framework was established based on 6 guiding principles for trustworthy AI in healthcare, i.e. Fairness, Universality, Traceability, Usability, Robustness and Explainability. Through consensus, a set of 28 best practices were defined, addressing technical, clinical, legal and socio-ethical dimensions. The recommendations cover the entire lifecycle of medical AI, from design, development and validation to regulation, deployment, and monitoring. FUTURE-AI is a risk-informed, assumption-free guideline which provides a structured approach for constructing medical AI tools that will be trusted, deployed and adopted in real-world practice. Researchers are encouraged to take the recommendations into account in proof-of-concept stages to facilitate future translation towards clinical practice of medical AI. △ Less

Submitted 8 July, 2024; v1 submitted 11 August, 2023; originally announced September 2023.

ACM Class: I.2.0; I.4.0; I.5.0

Insights Into the Inner Workings of Transformer Models for Protein Function Prediction

Authors: Markus Wenzel, Erik Grüner, Nils Strodthoff

Abstract: Motivation: We explored how explainable artificial intelligence (XAI) can help to shed light into the inner workings of neural networks for protein function prediction, by extending the widely used XAI method of integrated gradients such that latent representations inside of transformer models, which were finetuned to Gene Ontology term and Enzyme Commission number prediction, can be inspected too… ▽ More Motivation: We explored how explainable artificial intelligence (XAI) can help to shed light into the inner workings of neural networks for protein function prediction, by extending the widely used XAI method of integrated gradients such that latent representations inside of transformer models, which were finetuned to Gene Ontology term and Enzyme Commission number prediction, can be inspected too. Results: The approach enabled us to identify amino acids in the sequences that the transformers pay particular attention to, and to show that these relevant sequence parts reflect expectations from biology and chemistry, both in the embedding layer and inside of the model, where we identified transformer heads with a statistically significant correspondence of attribution maps with ground truth sequence annotations (e.g. transmembrane regions, active sites) across many proteins. Availability and Implementation: Source code can be accessed at https://github.com/markuswenzel/xai-proteins . △ Less

Submitted 9 February, 2024; v1 submitted 7 September, 2023; originally announced September 2023.

Comments: 26 pages, 12 figures, 5 tables, source code available at https://github.com/markuswenzel/xai-proteins

Journal ref: Bioinformatics (2024) btae031

Pressure evolution of electron dynamics in the superconducting kagome metal CsV$_3$Sb$_5$

Authors: Maxim Wenzel, Alexander A. Tsirlin, Francesco Capitani, Yuk T. Chan, Brenden R. Ortiz, Stephen D. Wilson, Martin Dressel, Ece Uykur

Abstract: The coexistence of the charge-density wave (CDW) and superconducting phases and their tunability under external pressure remains one of the key points in understanding the electronic structure of $A$V$_3$Sb$_5$ ($A$ = K, Rb, Cs) kagome metals. Here, we employ synchrotron-based infrared spectroscopy assisted by density-functional calculations to study the pressure evolution of the electronic struct… ▽ More The coexistence of the charge-density wave (CDW) and superconducting phases and their tunability under external pressure remains one of the key points in understanding the electronic structure of $A$V$_3$Sb$_5$ ($A$ = K, Rb, Cs) kagome metals. Here, we employ synchrotron-based infrared spectroscopy assisted by density-functional calculations to study the pressure evolution of the electronic structure at room temperature up to 17 GPa experimentally. The optical spectrum of CsV$_3$Sb$_5$ is characterized by the presence of localized carriers seen as a broad peak at finite frequencies in addition to the conventional metallic Drude response. The pressure dependence of this low-energy peak reflects the re-entrant behavior of superconductivity and may be interpreted in terms of electron-phonon coupling, varying with the growth and shrinkage of the Fermi surface. Moreover, drastic modifications in the low-energy interband absorptions are observed upon the suppression of CDW. These changes are related to the upward shift of the Sb2 $p_x+p_y$ band that eliminates part of the Fermi surface around the $M$-point, whereas band saddle points do not move significantly. These observations shed new light on the mixed electronic and lattice origin of the CDW in CsV$_3$Sb$_5$. △ Less

Submitted 27 October, 2023; v1 submitted 4 May, 2023; originally announced May 2023.

Journal ref: npj Quantum Mater. 8, 45 (2023)

Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode

Authors: Klaus Miesenberger, Walther Neuper, Bernhard Stöger, Makarius Wenzel

Abstract: The paper collects preparatory work for interdisciplinary collaboration between three partners, between (1) expertise in improving accessibility of studies for impaired individuals, (2) expertise in developing educational mathematics software and (3) expertise in designing and implementing interactive proof assistants. The cooperation was started with the goal to develop an accessible mathemat… ▽ More The paper collects preparatory work for interdisciplinary collaboration between three partners, between (1) expertise in improving accessibility of studies for impaired individuals, (2) expertise in developing educational mathematics software and (3) expertise in designing and implementing interactive proof assistants. The cooperation was started with the goal to develop an accessible mathematics working environment for education with reasonable efforts. The start was triggered by the lucky discovery that the upcoming Isabelle/VSCode is greatly accessible for blind users without further impairments; this is envisaged as the project's target group. Technical details are described to an extent necessary to understand essential details of efforts required for development. A survey of demand from practice of education with respect to (1) and (2) leads to a vision for educational math software, which necessarily is sketchy but suffices to guide development and which shall invite experts in didactics of mathematics to collaborate. △ Less

Submitted 10 March, 2023; originally announced March 2023.

Comments: In Proceedings ThEdu'22, arXiv:2303.05360

ACM Class: I.2.3; K.3.1

Journal ref: EPTCS 375, 2023, pp. 92-111

Internal Conversion Rates from the Extended Thawed Gaussian Approximation: Theory and Validation

Authors: Michael Wenzel, Roland Mitric

Abstract: The theoretical prediction of the rates of nonradiative processes in molecules is fundamental to assess their emissive properties. In this context, global harmonic models have been widely used to simulate vibronic spectra as well as internal conversion rates and to predict photoluminescence quantum yields. However, these simplified models suffer from the limitations that are inherent to the harmon… ▽ More The theoretical prediction of the rates of nonradiative processes in molecules is fundamental to assess their emissive properties. In this context, global harmonic models have been widely used to simulate vibronic spectra as well as internal conversion rates and to predict photoluminescence quantum yields. However, these simplified models suffer from the limitations that are inherent to the harmonic approximation and can have a severe effect on the calculated internal conversion rates. Therefore, the development of more accurate semiclassical methods is highly desirable. Here, we introduce a procedure for the calculation of nonradiative rates in the framework of the time-dependent semi-classical Extended Thawed Gaussian Approximation (ETGA). We systematically investigate the performance of the ETGA method by comparing it to the the adiabatic and vertical harmonic method, which belong to the class of widely used global harmonic models. Its performance is tested in potentials that cannot be treated adequately by global harmonic models, beginning with Morse potentials of varying anharmonicity followed by a double well potential. The calculated radiative and nonradiative internal conversion rates are compared to reference values based on exact quantum dynamics. We find that the ETGA has the capability to predict internal conversion rates in anharmonic systems with an appreciable energy gap, whereas the global harmonic models prove to be insufficient. △ Less

Submitted 14 December, 2022; v1 submitted 11 October, 2022; originally announced October 2022.

Effect of magnetism and phonons on localized carriers in the ferrimagnetic kagome metals GdMn$_6$Sn$_6$ and TbMn$_6$Sn$_6$

Authors: M. Wenzel, A. A. Tsirlin, O. Iakutkina, Q. Yin, H. C. Lei, M. Dressel, E. Uykur

Abstract: Kagome metals possess peculiar optical spectra consisting of contributions from free charge carriers in a Drude-type response, localized carriers seen as a strongly temperature-dependent localization peak, and, in some cases, phonons displaying strong anomalies. The rare-earth kagome metal series, $R$Mn$_6$Sn$_6$, provides a marvelous playground to study the electronic properties of kagome metals… ▽ More Kagome metals possess peculiar optical spectra consisting of contributions from free charge carriers in a Drude-type response, localized carriers seen as a strongly temperature-dependent localization peak, and, in some cases, phonons displaying strong anomalies. The rare-earth kagome metal series, $R$Mn$_6$Sn$_6$, provides a marvelous playground to study the electronic properties of kagome metals in the presence of variable magnetic order. Here, we report temperature-dependent reflectivity studies on two members of the $R$Mn$_6$Sn$_6$ family, GdMn$_6$Sn$_6$ (in-plane ferrimagnet) and TbMn$_6$Sn$_6$ (out-of-plane ferrimagnet), in a broad energy range (50 - 18000 cm$^{-1}$, equivalent to 6.2 meV - 2.23 eV) down to 10 K. At high temperatures, a phonon mode at approximately 160 cm$^{-1}$ is observed, which becomes screened out in TbMn$_6$Sn$_6$ below $\sim$ 150 K as the localization peak linearly passes through the mode. In GdMn$_6$Sn$_6$, the disappearance of the phonon is accompanied by the onset of saturation of the peak position, suggesting an unusual interplay between the two features. △ Less

Submitted 21 December, 2022; v1 submitted 1 August, 2022; originally announced August 2022.

Comments: 7 pages, 3 figures

Journal ref: Phys. Rev. B 106, L241108 (2022)

Generative Adversarial Networks and Other Generative Models

Authors: Markus Wenzel

Abstract: Generative networks are fundamentally different in their aim and methods compared to CNNs for classification, segmentation, or object detection. They have initially not been meant to be an image analysis tool, but to produce naturally looking images. The adversarial training paradigm has been proposed to stabilize generative methods, and has proven to be highly successful -- though by no means fro… ▽ More Generative networks are fundamentally different in their aim and methods compared to CNNs for classification, segmentation, or object detection. They have initially not been meant to be an image analysis tool, but to produce naturally looking images. The adversarial training paradigm has been proposed to stabilize generative methods, and has proven to be highly successful -- though by no means from the first attempt. This chapter gives a basic introduction into the motivation for Generative Adversarial Networks (GANs) and traces the path of their success by abstracting the basic task and working mechanism, and deriving the difficulty of early practical approaches. Methods for a more stable training will be shown, and also typical signs for poor convergence and their reasons. Though this chapter focuses on GANs that are meant for image generation and image analysis, the adversarial training paradigm itself is not specific to images, and also generalizes to tasks in image analysis. Examples of architectures for image semantic segmentation and abnormality detection will be acclaimed, before contrasting GANs with further generative modeling approaches lately entering the scene. This will allow a contextualized view on the limits but also benefits of GANs. △ Less

Submitted 8 July, 2022; originally announced July 2022.

From Modern CNNs to Vision Transformers: Assessing the Performance, Robustness, and Classification Strategies of Deep Learning Models in Histopathology

Authors: Maximilian Springenberg, Annika Frommholz, Markus Wenzel, Eva Weicken, Jackie Ma, Nils Strodthoff

Abstract: While machine learning is currently transforming the field of histopathology, the domain lacks a comprehensive evaluation of state-of-the-art models based on essential but complementary quality requirements beyond a mere classification accuracy. In order to fill this gap, we developed a new methodology to extensively evaluate a wide range of classification models, including recent vision transform… ▽ More While machine learning is currently transforming the field of histopathology, the domain lacks a comprehensive evaluation of state-of-the-art models based on essential but complementary quality requirements beyond a mere classification accuracy. In order to fill this gap, we developed a new methodology to extensively evaluate a wide range of classification models, including recent vision transformers, and convolutional neural networks such as: ConvNeXt, ResNet (BiT), Inception, ViT and Swin transformer, with and without supervised or self-supervised pretraining. We thoroughly tested the models on five widely used histopathology datasets containing whole slide images of breast, gastric, and colorectal cancer and developed a novel approach using an image-to-image translation model to assess the robustness of a cancer classification model against stain variations. Further, we extended existing interpretability methods to previously unstudied models and systematically reveal insights of the models' classifications strategies that can be transferred to future model architectures. △ Less

Submitted 9 May, 2023; v1 submitted 11 April, 2022; originally announced April 2022.

Comments: 14 pages, 6 figures, v2: version accepted by Medical Image Analysis, code available under https://github.com/hhi-aml/histobenchmark

Infant Brain Age Classification: 2D CNN Outperforms 3D CNN in Small Dataset

Authors: Mahdieh Shabanian, Markus Wenzel, John P. DeVincenzo

Abstract: Determining if the brain is developing normally is a key component of pediatric neuroradiology and neurology. Brain magnetic resonance imaging (MRI) of infants demonstrates a specific pattern of development beyond simply myelination. While radiologists have used myelination patterns, brain morphology and size characteristics to determine age-adequate brain maturity, this requires years of experien… ▽ More Determining if the brain is developing normally is a key component of pediatric neuroradiology and neurology. Brain magnetic resonance imaging (MRI) of infants demonstrates a specific pattern of development beyond simply myelination. While radiologists have used myelination patterns, brain morphology and size characteristics to determine age-adequate brain maturity, this requires years of experience in pediatric neuroradiology. With no standardized criteria, visual estimation of the structural maturity of the brain from MRI before three years of age remains dominated by inter-observer and intra-observer variability. A more objective estimation of brain developmental age could help physicians identify many neurodevelopmental conditions and diseases earlier and more reliably. Such data, however, is naturally hard to obtain, and the observer ground truth not much of a gold standard due to subjectivity of assessment. In this light, we explore the general feasibility to tackle this task, and the utility of different approaches, including two- and three-dimensional convolutional neural networks (CNN) that were trained on a fusion of T1-weighted, T2-weighted, and proton density (PD) weighted sequences from 84 individual subjects divided into four age groups from birth to 3 years of age. In the best performing approach, we achieved an accuracy of 0.90 [95% CI:0.86-0.94] using a 2D CNN on a central axial thick slab. We discuss the comparison to 3D networks and show how the performance compares to the use of only one sequence (T1w). In conclusion, despite the theoretical superiority of 3D CNN approaches, in limited-data situations, such approaches are inferior to simpler architectures. The code can be found in https://github.com/shabanian2018/Age_MRI-Classification △ Less

Submitted 27 December, 2021; originally announced December 2021.

Comments: 8 pages, 5 figures, 3 tables. arXiv admin note: text overlap with arXiv:2010.03963

Journal ref: SPIE 2022 Medical Imaging Conference

Optical study of RbV$_3$Sb$_5$: Multiple density-wave gaps and phonon anomalies

Authors: M. Wenzel, B. R. Ortiz, S. D. Wilson, M. Dressel, A. A. Tsirlin, E. Uykur

Abstract: Temperature-dependent reflectivity studies on the non-magnetic kagome metal RbV$_3$Sb$_5$ in a broad energy range (50 cm$^{-1}$ $-$ 20000 cm$^{-1}$, equivalent to 6 meV $-$ 2.5 eV) down to 10 K are reported. Below $T_{\rm CDW}=102$ K, the optical spectra demonstrate a prominent spectral-weight transfer from low to higher energies as the fingerprint of the charge-density wave (CDW) formation with t… ▽ More Temperature-dependent reflectivity studies on the non-magnetic kagome metal RbV$_3$Sb$_5$ in a broad energy range (50 cm$^{-1}$ $-$ 20000 cm$^{-1}$, equivalent to 6 meV $-$ 2.5 eV) down to 10 K are reported. Below $T_{\rm CDW}=102$ K, the optical spectra demonstrate a prominent spectral-weight transfer from low to higher energies as the fingerprint of the charge-density wave (CDW) formation with the opening of a partial gap. A detailed analysis reveals two energy scales of, respectively, $\sim$ 800 cm$^{-1}$ (100 meV) and 360 cm$^{-1}$ (45 meV), the latter visible below 50 K only. Additionally, two modes at, respectively, 160 cm$^{-1}$ (20 meV) and 430 cm$^{-1}$ (53 meV) can be traced both above and below $T_{\rm CDW}$. They show strong anomalies already above $T_{\rm CDW}$ with a further renormalization across the transition, suggesting the importance of the electron-phonon coupling in RbV$_3$Sb$_5$ in both normal and CDW states. While the 160 cm$^{-1}$ mode can be attributed to the E$_{1u}$ phonon, the 430 cm$^{-1}$ mode could not be reproduced in our phonon calculations. The antiresonance nature of this mode suggests a nontrivial electron-phonon coupling in RbV$_3$Sb$_5$. A distinct localization peak observed at all temperatures signals damped electron dynamics, whereas the reduced Drude spectral weight manifests moderate deviations from the band picture in RbV$_3$Sb$_5$. △ Less

Submitted 23 June, 2022; v1 submitted 14 December, 2021; originally announced December 2021.

Comments: 14 pages, 12 figures

Journal ref: Phys. Rev. B 105, 245123 (2022)

Low-energy optical properties of the non-magnetic kagome metal CsV$_3$Sb$_5$

Authors: E. Uykur, B. R. Ortiz, O. Iakutkina, M. Wenzel, S. D. Wilson, M. Dressel, A. A. Tsirlin

Abstract: Temperature-dependent reflectivity measurements on the kagome metal CsV$_3$Sb$_5$ in a broad frequency range of $50-20000$ cm$^{-1}$ down to $T$=10 K are reported. The charge-density wave (CDW) formed below $T_{\rm CDW}$ = 94 K manifests itself in a prominent spectral-weight transfer from low to higher energy regions. The CDW gap of 60-75 meV is observed at the lowest temperature and shows signifi… ▽ More Temperature-dependent reflectivity measurements on the kagome metal CsV$_3$Sb$_5$ in a broad frequency range of $50-20000$ cm$^{-1}$ down to $T$=10 K are reported. The charge-density wave (CDW) formed below $T_{\rm CDW}$ = 94 K manifests itself in a prominent spectral-weight transfer from low to higher energy regions. The CDW gap of 60-75 meV is observed at the lowest temperature and shows significant deviations from an isotropic BCS-type mean-field behavior. Absorption peaks appear at frequencies as low as 200 cm$^{-1}$ and can be identified with interband transitions according to density-functional calculations. The change in the interband absorption compared to KV$_3$Sb$_5$ reflects the inversion of band saddle points between the K and Cs compounds. Additionally, a broader and strongly temperature-dependent absorption feature is observed below 1000 cm$^{-1}$ and assigned to a displaced Drude peak. It reflects localization effects on charge carriers. △ Less

Submitted 19 July, 2021; v1 submitted 28 April, 2021; originally announced April 2021.

Comments: 9 pages, 7 figures

Journal ref: Phys. Rev. B 104, 045130 (2021)

Predicting the Binding of SARS-CoV-2 Peptides to the Major Histocompatibility Complex with Recurrent Neural Networks

Authors: Johanna Vielhaben, Markus Wenzel, Eva Weicken, Nils Strodthoff

Abstract: Predicting the binding of viral peptides to the major histocompatibility complex with machine learning can potentially extend the computational immunology toolkit for vaccine development, and serve as a key component in the fight against a pandemic. In this work, we adapt and extend USMPep, a recently proposed, conceptually simple prediction algorithm based on recurrent neural networks. Most notab… ▽ More Predicting the binding of viral peptides to the major histocompatibility complex with machine learning can potentially extend the computational immunology toolkit for vaccine development, and serve as a key component in the fight against a pandemic. In this work, we adapt and extend USMPep, a recently proposed, conceptually simple prediction algorithm based on recurrent neural networks. Most notably, we combine regressors (binding affinity data) and classifiers (mass spectrometry data) from qualitatively different data sources to obtain a more comprehensive prediction tool. We evaluate the performance on a recently released SARS-CoV-2 dataset with binding stability measurements. USMPep not only sets new benchmarks on selected single alleles, but consistently turns out to be among the best-performing methods or, for some metrics, to be even the overall best-performing method for this task. △ Less

Submitted 16 April, 2021; originally announced April 2021.

Comments: Accepted at ICLR 2021 Workshop: Machine Learning for Preventing and Combating Pandemics; code available at https://github.com/nstrodt/USMPep

Dual Dynamic Programming for Multi-Scale Mixed-Integer MPC

Authors: Ranjeet Kumar, Michael J. Wenzel, Mohammad N. ElBsat, Michael J. Risbeck, Kirk H. Drees, Victor M. Zavala

Abstract: We propose a dual dynamic integer programming (DDIP) framework for solving multi-scale mixed-integer model predictive control (MPC) problems. Such problems arise in applications that involve long horizons and/or fine temporal discretizations as well as mixed-integer states and controls (e.g., scheduling logic and discrete actuators). The approach uses a nested cutting-plane scheme that performs fo… ▽ More We propose a dual dynamic integer programming (DDIP) framework for solving multi-scale mixed-integer model predictive control (MPC) problems. Such problems arise in applications that involve long horizons and/or fine temporal discretizations as well as mixed-integer states and controls (e.g., scheduling logic and discrete actuators). The approach uses a nested cutting-plane scheme that performs forward and backward sweeps along the time horizon to adaptively approximate cost-to-go functions. The DDIP scheme proposed can handle general MPC formulations with mixed-integer controls and states and can perform forward-backward sweeps over block time partitions. We demonstrate the performance of the proposed scheme by solving mixed-integer MPC problems that arise in the scheduling of central heating, ventilation, and air-conditioning (HVAC) plants. We show that the proposed scheme is scalable and dramatically outperforms state-of-the-art mixed-integer solvers. △ Less

Submitted 16 July, 2020; originally announced July 2020.

Comments: 32 pages, 13 figures. arXiv admin note: text overlap with arXiv:2002.10065

Making Isabelle Content Accessible in Knowledge Representation Formats

Authors: Michael Kohlhase, Florian Rabe, Makarius Wenzel

Abstract: The libraries of proof assistants like Isabelle, Coq, HOL are notoriously difficult to interpret by external tools: de facto, only the prover itself can parse and process them adequately. In the case of Isabelle, an export of the library into a FAIR (Findable, Accessible, Interoperable, and Reusable) knowledge exchange format was already envisioned by the authors in 1999 but had previously proved… ▽ More The libraries of proof assistants like Isabelle, Coq, HOL are notoriously difficult to interpret by external tools: de facto, only the prover itself can parse and process them adequately. In the case of Isabelle, an export of the library into a FAIR (Findable, Accessible, Interoperable, and Reusable) knowledge exchange format was already envisioned by the authors in 1999 but had previously proved too difficult. After substantial improvements of the Isabelle Prover IDE (PIDE) and the OMDoc/Mmt format since then, we are now able to deliver such an export. Concretely we present an integration of PIDE and MMT that allows exporting all Isabelle libraries in OMDoc format. Our export covers the full Isabelle distribution and the Archive of Formal Proofs (AFP) -- more than 12 thousand theories and locales resulting in over 65GB of OMDoc/XML. Such a systematic export of Isabelle content to a well-defined interchange format like OMDoc enables many applications such as dependency management, independent proof checking, or library search. △ Less

Submitted 5 May, 2020; originally announced May 2020.

MSC Class: 68V20 68V30

Risk Estimation of SARS-CoV-2 Transmission from Bluetooth Low Energy Measurements

Authors: Felix Sattler, Jackie Ma, Patrick Wagner, David Neumann, Markus Wenzel, Ralf Schäfer, Wojciech Samek, Klaus-Robert Müller, Thomas Wiegand

Abstract: Digital contact tracing approaches based on Bluetooth low energy (BLE) have the potential to efficiently contain and delay outbreaks of infectious diseases such as the ongoing SARS-CoV-2 pandemic. In this work we propose a novel machine learning based approach to reliably detect subjects that have spent enough time in close proximity to be at risk of being infected. Our study is an important proof… ▽ More Digital contact tracing approaches based on Bluetooth low energy (BLE) have the potential to efficiently contain and delay outbreaks of infectious diseases such as the ongoing SARS-CoV-2 pandemic. In this work we propose a novel machine learning based approach to reliably detect subjects that have spent enough time in close proximity to be at risk of being infected. Our study is an important proof of concept that will aid the battery of epidemiological policies aiming to slow down the rapid spread of COVID-19. △ Less

Submitted 22 April, 2020; originally announced April 2020.

Stochastic Model Predictive Control for Central HVAC Plants

Authors: Ranjeet Kumar, Michael J. Wenzel, Mohammad N. ElBsat, Michael J. Risbeck, Kirk H. Drees, Victor M. Zavala

Abstract: We present a stochastic model predictive control (MPC) framework for central heating, ventilation, and air conditioning (HVAC) plants. The framework uses real data to forecast and quantify uncertainty of disturbances affecting the system over multiple timescales (electrical loads, heating/cooling loads, and energy prices). We conduct detailed closed-loop simulations and systematic benchmarks for t… ▽ More We present a stochastic model predictive control (MPC) framework for central heating, ventilation, and air conditioning (HVAC) plants. The framework uses real data to forecast and quantify uncertainty of disturbances affecting the system over multiple timescales (electrical loads, heating/cooling loads, and energy prices). We conduct detailed closed-loop simulations and systematic benchmarks for the central HVAC plant of a typical university campus. Results demonstrate that deterministic MPC fails to properly capture disturbances and that this translates into economic penalties associated with peak demand charges and constraint violations in thermal storage capacity (overflow and/or depletion). Our results also demonstrate that stochastic MPC provides a more systematic approach to mitigate uncertainties and that this ultimately leads to cost savings of up to 7.5% and to mitigation of storage constraint violations. Benchmark results also indicate that these savings are close to ideal savings (9.6%) obtained under MPC with perfect information. △ Less

Submitted 23 February, 2020; originally announced February 2020.

Comments: 34 pages, 15 figures

Bandwidth-tuning from insulating Mott quantum spin liquid to Fermi liquid via chemical substitution in $κ$-[(BEDT-TTF)$_{1-x}$(BEDT-STF)$_x$]$_2$Cu$_2$(CN)$_3$

Authors: Y. Saito, R. Rösslhuber, A. Löhle, M. Sanz Alonso, M. Wenzel, A. Kawamoto, A. Pustogow, M. Dressel

Abstract: The electronic properties of molecular conductors can be readily varied via physical or chemical pressure as it increases the bandwidth W; this enables crossing the Mott insulator-to-metal phase transition by reducing electronic correlations U/W. Here we introduce an alternative path by increasing the molecular orbitals when partially replacing sulfur by selenium in the constituting bis-(ethylened… ▽ More The electronic properties of molecular conductors can be readily varied via physical or chemical pressure as it increases the bandwidth W; this enables crossing the Mott insulator-to-metal phase transition by reducing electronic correlations U/W. Here we introduce an alternative path by increasing the molecular orbitals when partially replacing sulfur by selenium in the constituting bis-(ethylenedithio)-tetrathiafulvalene (BEDT-TTF) molecules of the title compound. We characterize the tuning of the insulating quantum spin liquid state via a Mott transition to the metallic Fermi-liquid state by transport, dielectric, and optical measurements. At this first-order phase transition, metallic regions coexist in the insulating matrix leading to pronounced percolative effects most obvious in a strong enhancement of the dielectric constant at low temperatures. △ Less

Submitted 15 November, 2019; originally announced November 2019.

Declarative Programming for Microcontrollers -- Datalog on Arduino

Authors: Mario Wenzel, Stefan Brass

Abstract: In this paper we describe an approach to programming microcontrollers based on the Arduino platform using Datalog as a clear and concise description language for system behaviors. The application areas of cheap and easily programmable microcontrollers, like robotics, home automation, and IoT devices hold mainstream appeal and are often used as motivation in natural science and technology teaching.… ▽ More In this paper we describe an approach to programming microcontrollers based on the Arduino platform using Datalog as a clear and concise description language for system behaviors. The application areas of cheap and easily programmable microcontrollers, like robotics, home automation, and IoT devices hold mainstream appeal and are often used as motivation in natural science and technology teaching. The choice of programming languages for microcontrollers is severely limited, especially with regard to rule-based declarative languages. We use an approach that is based on the Dedalus language augmented with operations that allow for side-effects and takes the limited resources of a microcontroller into account. Our compiler and runtime environment allow to run Datalog programs on Arduino-based systems. △ Less

Submitted 30 August, 2019; originally announced September 2019.

Comments: Part of DECLARE 19 proceedings

Low-Temperature Dielectric Anomalies at the Mott Insulator-Metal Transition

Authors: A. Pustogow, R. Rösslhuber, Y. Tan, E. Uykur, M. Wenzel, A. Böhme, A. Löhle, R. Hübner, Y. Saito, A. Kawamoto, J. A. Schlueter, V. Dobrosavljević, M. Dressel

Abstract: The correlation-driven Mott transition is commonly characterized by a drop in resistivity across the insulator-metal phase boundary; yet, the complex permittivity provides a deeper insight into the microscopic nature. We investigate the frequency- and temperature-dependent dielectric response of the Mott insulator $κ$-(BEDT-TTF)$_{2}$-Cu$_2$(CN)$_3$ when tuning from a quantum spin liquid into the… ▽ More The correlation-driven Mott transition is commonly characterized by a drop in resistivity across the insulator-metal phase boundary; yet, the complex permittivity provides a deeper insight into the microscopic nature. We investigate the frequency- and temperature-dependent dielectric response of the Mott insulator $κ$-(BEDT-TTF)$_{2}$-Cu$_2$(CN)$_3$ when tuning from a quantum spin liquid into the Fermi-liquid state by applying external pressure and chemical substitution of the donor molecules. At low temperatures the coexistence region at the first-order transition leads to a strong enhancement of the quasi-static dielectric constant $ε_1$ when the effective correlations are tuned through the critical value. Several dynamical regimes are identified around the Mott point and vividly mapped through pronounced permittivity crossovers. All experimental trends are captured by dynamical mean-field theory of the single-band Hubbard model supplemented by percolation theory. △ Less

Submitted 28 November, 2019; v1 submitted 9 July, 2019; originally announced July 2019.

Comments: 6 pages, 4 figures

Journal ref: npj Quantum Materials 6, 9 (2021)

From LCF to Isabelle/HOL

Authors: Lawrence C. Paulson, Tobias Nipkow, Makarius Wenzel

Abstract: Interactive theorem provers have developed dramatically over the past four decades, from primitive beginnings to today's powerful systems. Here, we focus on Isabelle/HOL and its distinctive strengths. They include automatic proof search, borrowing techniques from the world of first order theorem proving, but also the automatic search for counterexamples. They include a highly readable structured l… ▽ More Interactive theorem provers have developed dramatically over the past four decades, from primitive beginnings to today's powerful systems. Here, we focus on Isabelle/HOL and its distinctive strengths. They include automatic proof search, borrowing techniques from the world of first order theorem proving, but also the automatic search for counterexamples. They include a highly readable structured language of proofs and a unique interactive development environment for editing live proof documents. Everything rests on the foundation conceived by Robin Milner for Edinburgh LCF: a proof kernel, using abstract types to ensure soundness and eliminate the need to store proofs. Compared with the research prototypes of the 1970s, Isabelle is a practical and versatile tool. It is used by system designers, mathematicians and many others. △ Less

Submitted 17 July, 2019; v1 submitted 5 July, 2019; originally announced July 2019.

Comments: 25 pages. Accepted to Formal Aspects of Computing

Journal ref: Formal Aspects of Computing 31:6 (2019), 675-698

The low-energy Goldstone mode in a trapped dipolar supersolid

Authors: Mingyang Guo, Fabian Böttcher, Jens Hertkorn, Jan-Niklas Schmidt, Matthias Wenzel, Hans Peter Büchler, Tim Langen, Tilman Pfau

Abstract: A supersolid is a counter-intuitive state of matter that combines the frictionless flow of a superfluid with the crystal-like periodic density modulation of a solid. Since the first prediction in the 1950s, experimental efforts to realize this state have focussed mainly on Helium, where supersolidity remains elusive. Recently, supersolidity has also been studied intensively in ultracold quantum ga… ▽ More A supersolid is a counter-intuitive state of matter that combines the frictionless flow of a superfluid with the crystal-like periodic density modulation of a solid. Since the first prediction in the 1950s, experimental efforts to realize this state have focussed mainly on Helium, where supersolidity remains elusive. Recently, supersolidity has also been studied intensively in ultracold quantum gases, and some of its defining properties have been induced in spin-orbit coupled Bose-Einstein condensates (BECs) and BECs coupled to two crossed optical cavities. However, the periodicity of the crystals in both systems is fixed to the wavelength of the applied periodic optical potentials. Recently, hallmark properties of a supersolid -- the periodic density modulation and simultaneous global phase coherence -- have been observed in arrays of dipolar quantum droplets, where the crystallization happens in a self-organized manner due to intrinsic interactions. In this letter, we prove the genuine supersolid nature of these droplet arrays by directly observing the low-energy Goldstone mode. The dynamics of this mode is reminiscent of the effect of second sound in other superfluid systems and features an out-ofphase oscillation of the crystal array and the superfluid density. This mode exists only due to the phase rigidity of the experimentally realized state, and therefore confirms the genuine superfluidity of the supersolid. △ Less

Submitted 11 June, 2019; originally announced June 2019.

Journal ref: Nature 574, 386-389 (2019)

Isabelle technology for the Archive of Formal Proofs with application to MMT

Authors: Makarius Wenzel

Abstract: This is an overview of the Isabelle technology behind the Archive of Formal Proofs (AFP). Interactive development and quasi-interactive build jobs impose significant demands of scalability on the logic (usually Isabelle/HOL), on Isabelle/ML for mathematical tool implementation, and on Isabelle/Scala for physical system integration --- all integrated in Isabelle/PIDE (the Prover IDE). Continuous gr… ▽ More This is an overview of the Isabelle technology behind the Archive of Formal Proofs (AFP). Interactive development and quasi-interactive build jobs impose significant demands of scalability on the logic (usually Isabelle/HOL), on Isabelle/ML for mathematical tool implementation, and on Isabelle/Scala for physical system integration --- all integrated in Isabelle/PIDE (the Prover IDE). Continuous growth of AFP has demanded continuous improvements of Isabelle performance. This is a report on the situation in Isabelle2019 (June 2019), with notable add-ons like prover session exports and headless PIDE for automated updates based on semantic information. An example application is Isabelle/MMT, which is able to turn all of Isabelle + AFP into OMDoc and RDF triples, but it is straight-forward to reuse the Isabelle technology for other applications. △ Less

Submitted 11 June, 2019; v1 submitted 17 May, 2019; originally announced May 2019.

Interaction with Formal Mathematical Documents in Isabelle/PIDE

Authors: Makarius Wenzel

Abstract: Isabelle/PIDE has emerged over more than 10 years as the standard Prover IDE for interactive theorem proving in Isabelle. The well-established Archive of Formal Proofs (AFP) testifies the success of such applications of formalized mathematics in Isabelle/HOL. More recently, the scope of PIDE has widened towards languages that are not connected to logic and proof in Isabelle, but taken from a broad… ▽ More Isabelle/PIDE has emerged over more than 10 years as the standard Prover IDE for interactive theorem proving in Isabelle. The well-established Archive of Formal Proofs (AFP) testifies the success of such applications of formalized mathematics in Isabelle/HOL. More recently, the scope of PIDE has widened towards languages that are not connected to logic and proof in Isabelle, but taken from a broader repertoire of mathematics on the computer. The present paper provides a general overview of the PIDE project and its underlying document model, with built-in parallel evaluation and asynchronous interaction. There is also some discussion of original aims and approaches, successes and failures, later changes to the plan, and ideas for the future. △ Less

Submitted 5 May, 2019; originally announced May 2019.

Dilute dipolar quantum droplets beyond the extended Gross-Pitaevskii equation

Authors: Fabian Böttcher, Matthias Wenzel, Jan-Niklas Schmidt, Mingyang Guo, Tim Langen, Igor Ferrier-Barbut, Tilman Pfau, Raúl Bombín, Joan Sánchez-Baena, Jordi Boronat, Ferran Mazzanti

Abstract: Dipolar quantum droplets are exotic quantum objects that are self-bound due to the subtle balance of attraction, repulsion and quantum correlations. Here we present a systematic study of the critical atom number of these self-bound droplets, comparing the experimental results with extended mean-field Gross-Pitaevskii equation (eGPE) and quantum Monte-Carlo simulations of the dilute system. The res… ▽ More Dipolar quantum droplets are exotic quantum objects that are self-bound due to the subtle balance of attraction, repulsion and quantum correlations. Here we present a systematic study of the critical atom number of these self-bound droplets, comparing the experimental results with extended mean-field Gross-Pitaevskii equation (eGPE) and quantum Monte-Carlo simulations of the dilute system. The respective theoretical predictions differ, questioning the validity of the current theoretical state-of-the-art description of quantum droplets within the eGPE framework and indicating that correlations in the system are significant. Furthermore, we show that our system can serve as a sensitive testing ground for many-body theories in the near future. △ Less

Submitted 4 November, 2019; v1 submitted 23 April, 2019; originally announced April 2019.

Journal ref: Phys. Rev. Research 1, 033088 (2019)

Transient supersolid properties in an array of dipolar quantum droplets

Authors: Fabian Böttcher, Jan-Niklas Schmidt, Matthias Wenzel, Jens Hertkorn, Mingyang Guo, Tim Langen, Tilman Pfau

Abstract: We study theoretically and experimentally the emergence of supersolid properties in a dipolar Bose-Einstein condensate. The theory reveals a ground state phase diagram with three distinct regimes - a regular Bose-Einstein condensate, incoherent and coherent arrays of quantum droplets. In the latter the droplets are connected by a finite superfluid density, which leads - in addition to the periodic… ▽ More We study theoretically and experimentally the emergence of supersolid properties in a dipolar Bose-Einstein condensate. The theory reveals a ground state phase diagram with three distinct regimes - a regular Bose-Einstein condensate, incoherent and coherent arrays of quantum droplets. In the latter the droplets are connected by a finite superfluid density, which leads - in addition to the periodic density modulation - to a robust phase coherence throughout the whole system. We further theoretically demonstrate that we are able to dynamically approach the ground state in our experiment and that its lifetime is only limited by three-body losses. Experimentally we probe and confirm the signatures of the phase diagram by observing the in-situ density modulation as well as the phase coherence using matter wave interference. △ Less

Submitted 8 March, 2019; v1 submitted 23 January, 2019; originally announced January 2019.

Journal ref: Phys. Rev. X 9, 011051 (2019)

Isabelle/jEdit as IDE for Domain-specific Formal Languages and Informal Text Documents

Authors: Makarius Wenzel

Abstract: Isabelle/jEdit is the main application of the Prover IDE (PIDE) framework and the default user-interface of Isabelle, but it is not limited to theorem proving. This paper explores possibilities to use it as a general IDE for formal languages that are defined in user-space, and embedded into informal text documents. It covers overall document structure with auxiliary files and document antiquotatio… ▽ More Isabelle/jEdit is the main application of the Prover IDE (PIDE) framework and the default user-interface of Isabelle, but it is not limited to theorem proving. This paper explores possibilities to use it as a general IDE for formal languages that are defined in user-space, and embedded into informal text documents. It covers overall document structure with auxiliary files and document antiquotations, formal text delimiters and markers for interpretation (via control symbols). The ultimate question behind this: How far can we stretch a plain text editor like jEdit in order to support semantic text processing, with support by the underlying PIDE framework? △ Less

Submitted 27 November, 2018; originally announced November 2018.

Comments: In Proceedings F-IDE 2018, arXiv:1811.09014

Journal ref: EPTCS 284, 2018, pp. 71-84

Focus Group on Artificial Intelligence for Health

Authors: Marcel Salathé, Thomas Wiegand, Markus Wenzel

Abstract: Artificial Intelligence (AI) - the phenomenon of machines being able to solve problems that require human intelligence - has in the past decade seen an enormous rise of interest due to significant advances in effectiveness and use. The health sector, one of the most important sectors for societies and economies worldwide, is particularly interesting for AI applications, given the ongoing digitalis… ▽ More Artificial Intelligence (AI) - the phenomenon of machines being able to solve problems that require human intelligence - has in the past decade seen an enormous rise of interest due to significant advances in effectiveness and use. The health sector, one of the most important sectors for societies and economies worldwide, is particularly interesting for AI applications, given the ongoing digitalisation of all types of health information. The potential for AI assistance in the health domain is immense, because AI can support medical decision making at reduced costs, everywhere. However, due to the complexity of AI algorithms, it is difficult to distinguish good from bad AI-based solutions and to understand their strengths and weaknesses, which is crucial for clarifying responsibilities and for building trust. For this reason, the International Telecommunication Union (ITU) has established a new Focus Group on "Artificial Intelligence for Health" (FG-AI4H) in partnership with the World Health Organization (WHO). Health and care services are usually the responsibility of a government - even when provided through private insurance systems - and thus under the responsibility of WHO/ITU member states. FG-AI4H will identify opportunities for international standardization, which will foster the application of AI to health issues on a global scale. In particular, it will establish a standardized assessment framework with open benchmarks for the evaluation of AI-based methods for health, such as AI-based diagnosis, triage or treatment decisions. △ Less

Submitted 13 September, 2018; originally announced September 2018.

Comments: Whitepaper on ITU Focus Group AI4H for 1st workshop at WHO

A fermionic impurity in a dipolar quantum droplet

Authors: Matthias Wenzel, Tilman Pfau, Igor Ferrier-Barbut

Abstract: In this article we develop the framework to describe Bose-Fermi mixtures of magnetic atoms, focusing on the interaction of bosonic self-bound dipolar quantum droplets with a small number of fermions. We find an attractive interaction potential due to the dipolar interaction with several bound states, which can be occupied by one fermion each, resulting in a very weak back-action on the bosons. We… ▽ More In this article we develop the framework to describe Bose-Fermi mixtures of magnetic atoms, focusing on the interaction of bosonic self-bound dipolar quantum droplets with a small number of fermions. We find an attractive interaction potential due to the dipolar interaction with several bound states, which can be occupied by one fermion each, resulting in a very weak back-action on the bosons. We conclude, that these impurities might act as unique probes giving access to inherent properties of dipolar quantum droplets. △ Less

Submitted 2 July, 2018; originally announced July 2018.

Comments: To appear in the "Focus issue: Quantum Optics and Beyond - in honour of Wolfgang Schleich" of Physica Scripta

Hierarchical MPC Schemes for Periodic Systems using Stochastic Programming

Authors: Ranjeet Kumar, Michael J. Wenzel, Matthew J. Ellis, Mohammad N. ElBsat, Kirk H. Drees, Victor M. Zavala

Abstract: We show that stochastic programming (SP) provides a framework to design hierarchical model predictive control (MPC) schemes for periodic systems. This is based on the observation that, if the state policy of an infinite-horizon problem is periodic, the problem can be cast as a stochastic program (SP). This reveals that it is possible to update periodic state targets by solving a retroactive optimi… ▽ More We show that stochastic programming (SP) provides a framework to design hierarchical model predictive control (MPC) schemes for periodic systems. This is based on the observation that, if the state policy of an infinite-horizon problem is periodic, the problem can be cast as a stochastic program (SP). This reveals that it is possible to update periodic state targets by solving a retroactive optimization problem that progressively accumulates historical data. Moreover, we show that the retroactive problem is a statistical approximation of the SP and thus delivers optimal targets in the long run. Notably, this optimality property can be achieved without the need for data forecasts and cannot be achieved by any known proactive receding horizon scheme. The SP setting also reveals that the retroactive problem can be seen as a high-level hierarchical layer that provides targets to guide a low-level MPC controller that operates over a short period at high resolution. We derive a retroactive scheme tailored to linear systems by using cutting plane techniques and suggest strategies to handle nonlinear systems. △ Less

Submitted 28 April, 2018; originally announced April 2018.

Comments: 10 pages, 9 figures

Anisotropic Superfluid Behavior of a Dipolar Bose-Einstein Condensate

Authors: Matthias Wenzel, Fabian Böttcher, Jan-Niklas Schmidt, Michael Eisenmann, Tim Langen, Tilman Pfau, Igor Ferrier-Barbut

Abstract: We present transport measurements on a dipolar superfluid using a Bose-Einstein condensate of Dy-162 with strong magnetic dipole-dipole interactions. By moving an attractive laser beam through the condensate we observe an anisotropy in superfluid flow. This observation is compatible with an anisotropic critical velocity for the breakdown of dissipationless flow, which, in the spirit of the Landau… ▽ More We present transport measurements on a dipolar superfluid using a Bose-Einstein condensate of Dy-162 with strong magnetic dipole-dipole interactions. By moving an attractive laser beam through the condensate we observe an anisotropy in superfluid flow. This observation is compatible with an anisotropic critical velocity for the breakdown of dissipationless flow, which, in the spirit of the Landau criterion, can directly be connected to the anisotropy of the underlying dipolar excitation spectrum. In addition, the heating rate above this critical velocity reflects the same anisotropy. Our observations are in excellent agreement with simulations based on the Gross-Pitaevskii equation and highlight the effect of dipolar interactions on macroscopic transport properties, rendering dissipation anisotropic. △ Less

Submitted 18 July, 2018; v1 submitted 12 April, 2018; originally announced April 2018.

Journal ref: Phys. Rev. Lett. 121, 030401 (2018)

Scissors mode of dipolar quantum droplets of dysprosium atoms

Authors: Igor Ferrier-Barbut, Matthias Wenzel, Fabian Böttcher, Tim Langen, Mathieu Isoard, Sandro Stringari, Tilman Pfau

Abstract: We report on the observation of the scissors mode of a single dipolar quantum droplet. The existence of this mode is due to the breaking of the rotational symmetry by the dipole-dipole interaction, which is fixed along an external homogeneous magnetic field. By modulating the orientation of this magnetic field, we introduce a new spectroscopic technique for studying dipolar quantum droplets. This… ▽ More We report on the observation of the scissors mode of a single dipolar quantum droplet. The existence of this mode is due to the breaking of the rotational symmetry by the dipole-dipole interaction, which is fixed along an external homogeneous magnetic field. By modulating the orientation of this magnetic field, we introduce a new spectroscopic technique for studying dipolar quantum droplets. This provides a precise probe for interactions in the system allowing to extract a background scattering length for \textsuperscript{164}Dy of $69(4)\,a_0$. Our results establish an analogy between quantum droplets and atomic nuclei, where the existence of the scissors mode is also only due to internal interactions. They further open the possibility to explore physics beyond the available theoretical models for strongly-dipolar quantum gases. △ Less

Submitted 25 March, 2018; v1 submitted 19 December, 2017; originally announced December 2017.

Journal ref: Phys. Rev. Lett. 120, 160402 (2018)

Onset of a modulational instability in trapped dipolar Bose-Einstein condensates

Authors: Igor Ferrier-Barbut, Matthias Wenzel, Matthias Schmitt, Fabian Böttcher, Tilman Pfau

Abstract: We explore the phase diagram of a finite-sized dysprosium dipolar Bose-Einstein condensate in a cylindrical harmonic trap. We monitor the final state after the scattering length is lowered from the repulsive BEC regime to the quantum droplet regime. Either an adiabatic transformation between a BEC and a quantum droplet is obtained or, above a critical trap aspect ratio $λ_{\rm c}=1.87(14)$, a modu… ▽ More We explore the phase diagram of a finite-sized dysprosium dipolar Bose-Einstein condensate in a cylindrical harmonic trap. We monitor the final state after the scattering length is lowered from the repulsive BEC regime to the quantum droplet regime. Either an adiabatic transformation between a BEC and a quantum droplet is obtained or, above a critical trap aspect ratio $λ_{\rm c}=1.87(14)$, a modulational instability results in the formation of multiple droplets. This is in full agreement with the predicted structure of the phase diagram with a crossover region below $λ_{\rm c}$ and a multistable region above. Our results provide the missing piece connecting the previously explored regimes resulting in a single or multiple dipolar quantum droplets. △ Less

Submitted 23 January, 2018; v1 submitted 20 November, 2017; originally announced November 2017.

Journal ref: Phys. Rev. A 97, 011604 (2018)

Striped states in a many-body system of tilted dipoles

Authors: Matthias Wenzel, Fabian Böttcher, Tim Langen, Igor Ferrier-Barbut, Tilman Pfau

Abstract: We study theoretically and experimentally the behaviour of a strongly confined dipolar Bose-Einstein condensate, in the regime of quantum-mechanical stabilization by beyond-mean-field effects. Theoretically, we demonstrate that self-organized striped ground states are predicted in the framework of the extended Gross-Pitaevskii theory. Experimentally, by tilting the magnetic dipoles we show that se… ▽ More We study theoretically and experimentally the behaviour of a strongly confined dipolar Bose-Einstein condensate, in the regime of quantum-mechanical stabilization by beyond-mean-field effects. Theoretically, we demonstrate that self-organized striped ground states are predicted in the framework of the extended Gross-Pitaevskii theory. Experimentally, by tilting the magnetic dipoles we show that self-organized striped states can be generated, likely in their metastable state. Matter-wave interference experiments with multiple stripes show that there is no long-range off-diagonal order (global phase coherence). We outline a parameter range where global phase coherence could be established, thus paving the way towards the observation of supersolid states in this system. △ Less

Submitted 28 November, 2017; v1 submitted 28 June, 2017; originally announced June 2017.

Comments: 9 pages, 7 figures

Journal ref: Phys. Rev. A 96, 053630 (2017)

Liquid quantum droplets of ultracold magnetic atoms

Authors: Igor Ferrier-Barbut, Matthias Schmitt, Matthias Wenzel, Holger Kadau, Tilman Pfau

Abstract: The simultaneous presence of two competing inter-particle interactions can lead to the emergence of new phenomena in a many-body system. Among others, such effects are expected in dipolar Bose-Einstein condensates, subject to dipole-dipole interaction and short-range repulsion. Magnetic quantum gases and in particular Dysprosium gases, offering a comparable short-range contact and a long-range dip… ▽ More The simultaneous presence of two competing inter-particle interactions can lead to the emergence of new phenomena in a many-body system. Among others, such effects are expected in dipolar Bose-Einstein condensates, subject to dipole-dipole interaction and short-range repulsion. Magnetic quantum gases and in particular Dysprosium gases, offering a comparable short-range contact and a long-range dipolar interaction energy, remarkably exhibit such emergent phenomena. In addition an effective cancellation of mean-field effects of the two interactions results in a pronounced importance of quantum-mechanical beyond mean-field effects. For a weakly-dominant dipolar interaction the striking consequence is the existence of a new state of matter equilibrated by the balance between weak mean-field attraction and beyond mean-field repulsion. Though exemplified here in the case of dipolar Bose gases, this state of matter should appear also with other microscopic interactions types, provided a competition results in an effective cancellation of the total mean-field. The macroscopic state takes the form of so-called quantum droplets. We present the effects of a long-range dipolar interaction between these droplets. △ Less

Submitted 13 September, 2016; originally announced September 2016.

Comments: Revised manuscript for publication in a special issue of JPhysB

Journal ref: Journal of Physics B: Atomic, Molecular and Optical Physics 49, 214004 (2016)

Self-bound droplets of a dilute magnetic quantum liquid

Authors: Matthias Schmitt, Matthias Wenzel, Fabian Böttcher, Igor Ferrier-Barbut, Tilman Pfau

Abstract: Self-bound many-body systems are formed through a balance of attractive and repulsive forces and occur in many physical scenarios. Liquid droplets are an example of a self-bound system, formed by a balance of the mutual attractive and repulsive forces that derive from different components of the inter-particle potential. It has been suggested that self-bound ensembles of ultracold atoms should exi… ▽ More Self-bound many-body systems are formed through a balance of attractive and repulsive forces and occur in many physical scenarios. Liquid droplets are an example of a self-bound system, formed by a balance of the mutual attractive and repulsive forces that derive from different components of the inter-particle potential. It has been suggested that self-bound ensembles of ultracold atoms should exist for atom number densities that are 10^8 times lower than in a helium droplet, which is formed from a dense quantum liquid. However, such ensembles have been elusive up to now because they require forces other than the usual zero-range contact interaction, which is either attractive or repulsive but never both. On the basis of the recent finding that an unstable bosonic dipolar gas can be stabilized by a repulsive many-body term, it was predicted that three-dimensional self-bound quantum droplets of magnetic atoms should exist. Here we report the observation of such droplets in a trap-free levitation field. We find that this dilute magnetic quantum liquid requires a minimum, critical number of atoms, below which the liquid evaporates into an expanding gas as a result of the quantum pressure of the individual constituents. Consequently, around this critical atom number we observe an interaction-driven phase transition between a gas and a self-bound liquid in the quantum degenerate regime with ultracold atoms. These droplets are the dilute counterpart of strongly correlated self-bound systems such as atomic nuclei and helium droplets. △ Less

Submitted 10 November, 2016; v1 submitted 25 July, 2016; originally announced July 2016.

Journal ref: Nature 539, 259-262 (2016)

Observation of quantum droplets in a strongly dipolar Bose gas

Authors: Igor Ferrier-Barbut, Holger Kadau, Matthias Schmitt, Matthias Wenzel, Tilman Pfau

Abstract: Quantum fluctuations are the origin of genuine quantum many-body effects, and can be neglected in classical mean-field phenomena. Here we report on the observation of stable quantum droplets containing $\sim$ 800 atoms which are expected to collapse at the mean-field level due to the essentially attractive interaction. By systematic measurements on individual droplets we demonstrate quantitatively… ▽ More Quantum fluctuations are the origin of genuine quantum many-body effects, and can be neglected in classical mean-field phenomena. Here we report on the observation of stable quantum droplets containing $\sim$ 800 atoms which are expected to collapse at the mean-field level due to the essentially attractive interaction. By systematic measurements on individual droplets we demonstrate quantitatively that quantum fluctuations stabilize them against the mean-field collapse. We observe in addition interference of several droplets indicating that this stable many-body state is phase coherent. △ Less

Submitted 18 March, 2016; v1 submitted 13 January, 2016; originally announced January 2016.

Journal ref: Phys. Rev. Lett. 116, 215301 (2016)

Observing the Rosensweig instability of a quantum ferrofluid

Authors: Holger Kadau, Matthias Schmitt, Matthias Wenzel, Clarissa Wink, Thomas Maier, Igor Ferrier-Barbut, Tilman Pfau

Abstract: Ferrofluids show unusual hydrodynamic effects due to the magnetic nature of their constituents. For increasing magnetization a classical ferrofluid undergoes a Rosensweig instability and creates self-organized ordered surface structures or droplet crystals. A Bose-Einstein condensate with strong dipolar interactions is a quantum ferrofluid that also shows superfluidity. The field of dipolar quantu… ▽ More Ferrofluids show unusual hydrodynamic effects due to the magnetic nature of their constituents. For increasing magnetization a classical ferrofluid undergoes a Rosensweig instability and creates self-organized ordered surface structures or droplet crystals. A Bose-Einstein condensate with strong dipolar interactions is a quantum ferrofluid that also shows superfluidity. The field of dipolar quantum gases is motivated by the search for new phases that break continuous symmetries. The simultaneous breaking of continuous symmetries like the phase invariance for the superfluid state and the translational symmetry for a crystal provides the basis of novel states of matter. However, interaction-induced crystallization in a superfluid has not been observed. Here we use in situ imaging to directly observe the spontaneous transition from an unstructured superfluid to an ordered arrangement of droplets in an atomic dysprosium Bose-Einstein condensate. By utilizing a Feshbach resonance to control the interparticle interactions, we induce a finite-wavelength instability and observe discrete droplets in a triangular structure, growing with increasing atom number. We find that these states are surprisingly long-lived and measure a hysteretic behaviour, which is typical for a crystallization process and in close analogy to the Rosensweig instability. Our system can show both superfluidity and, as shown here, spontaneous translational symmetry breaking. The presented observations do not probe superfluidity in the structured states, but if the droplets establish a common phase via weak links, this system is a very good candidate for a supersolid ground state. △ Less

Submitted 8 October, 2015; v1 submitted 20 August, 2015; originally announced August 2015.

Journal ref: Nature 530, 194-197 (2016)

Emergence of chaotic scattering in ultracold Er and Dy

Authors: T. Maier, H. Kadau, M. Schmitt, M. Wenzel, I. Ferrier-Barbut, T. Pfau, A. Frisch, S. Baier, K. Aikawa, L. Chomaz, M. J. Mark, F. Ferlaino, C. Makrides, E. Tiesinga, A. Petrov, S. Kotochigova

Abstract: We show that for ultracold magnetic lanthanide atoms chaotic scattering emerges due to a combination of anisotropic interaction potentials and Zeeman coupling under an external magnetic field. This scattering is studied in a collaborative experimental and theoretical effort for both dysprosium and erbium. We present extensive atom-loss measurements of their dense magnetic Feshbach resonance spectr… ▽ More We show that for ultracold magnetic lanthanide atoms chaotic scattering emerges due to a combination of anisotropic interaction potentials and Zeeman coupling under an external magnetic field. This scattering is studied in a collaborative experimental and theoretical effort for both dysprosium and erbium. We present extensive atom-loss measurements of their dense magnetic Feshbach resonance spectra, analyze their statistical properties, and compare to predictions from a random-matrix-theory inspired model. Furthermore, theoretical coupled-channels simulations of the anisotropic molecular Hamiltonian at zero magnetic field show that weakly-bound, near threshold diatomic levels form overlapping, uncoupled chaotic series that when combined are randomly distributed. The Zeeman interaction shifts and couples these levels, leading to a Feshbach spectrum of zero-energy bound states with nearest-neighbor spacings that changes from randomly to chaotically distributed for increasing magnetic field. Finally, we show that the extreme temperature sensitivity of a small, but sizeable fraction of the resonances in the Dy and Er atom-loss spectra is due to resonant non-zero partial-wave collisions. Our threshold analysis for these resonances indicates a large collision-energy dependence of the three-body recombination rate. △ Less

Submitted 8 October, 2015; v1 submitted 17 June, 2015; originally announced June 2015.

Journal ref: Phys. Rev. X 5, 041029 (2015)

Broad universal Feshbach resonances in the chaotic spectrum of Dysprosium atoms

Authors: Thomas Maier, Igor Ferrier-Barbut, Holger Kadau, Matthias Schmitt, Matthias Wenzel, Clarissa Wink, Tilman Pfau, Krzysztof Jachymski, Paul Sebastian Julienne

Abstract: We report on the observation of weakly-bound dimers of bosonic Dysprosium with a strong universal s-wave halo character, associated with broad magnetic Feshbach resonances. These states surprisingly decouple from the chaotic backgound of narrow resonances, persisting across many such narrow resonances. In addition they show the highest reported magnetic moment $μ\simeq20\,μ_{\rm B}$ of any ultraco… ▽ More We report on the observation of weakly-bound dimers of bosonic Dysprosium with a strong universal s-wave halo character, associated with broad magnetic Feshbach resonances. These states surprisingly decouple from the chaotic backgound of narrow resonances, persisting across many such narrow resonances. In addition they show the highest reported magnetic moment $μ\simeq20\,μ_{\rm B}$ of any ultracold molecule. We analyze our findings using a coupled-channel theory taking into account the short range van der Waals interaction and a correction due to the strong dipole moment of Dysprosium. We are able to extract the scattering length as a function of magnetic field associated with these resonances and obtain a background scattering length $a_{\rm bg}=91(16)\,a_0$. These results offer prospects of a tunability of the interactions in Dysprosium, which we illustrate by observing the saturation of three-body losses. △ Less

Submitted 12 October, 2015; v1 submitted 5 June, 2015; originally announced June 2015.

Journal ref: Phys. Rev. A 92, 060702 (2015)