-
Piezo-optomechanical cantilever modulators for VLSI visible photonics
Authors:
Mark Dong,
David Heim,
Alex Witte,
Genevieve Clark,
Andrew J. Leenheer,
Daniel Dominguez,
Matthew Zimmermann,
Y. Henry Wen,
Gerald Gilbert,
Dirk Englund,
Matt Eichenfield
Abstract:
Visible-wavelength very large-scale integration (VLSI) photonic circuits have potential to play important roles in quantum information and sensing technologies. The realization of scalable, high-speed, and low-loss photonic mesh circuits depends on reliable and well-engineered visible photonic components. Here we report a low-voltage optical phase shifter based on piezo-actuated mechanical cantile…
▽ More
Visible-wavelength very large-scale integration (VLSI) photonic circuits have potential to play important roles in quantum information and sensing technologies. The realization of scalable, high-speed, and low-loss photonic mesh circuits depends on reliable and well-engineered visible photonic components. Here we report a low-voltage optical phase shifter based on piezo-actuated mechanical cantilevers, fabricated on a CMOS compatible, 200 mm wafer-based visible photonics platform. We show linear phase and amplitude modulation with 6 V$_π$-cm in differential operation, -1.5 dB to -2 dB insertion loss, and up to 40 dB contrast in the 700 nm - 780 nm range. By adjusting selected cantilever parameters, we demonstrate a low-displacement and a high-displacement device, both exhibiting a nearly flat frequency response from DC to a peak mechanical resonance at 23 MHz and 6.8 MHz respectively, which through resonant enhancement of Q~40, further decreases the operating voltage down to 0.15 V$_π$-cm.
△ Less
Submitted 28 January, 2022;
originally announced January 2022.
-
Robust Computation Tree Logic
Authors:
Satya Prakash Nayak,
Daniel Neider,
Rajarshi Roy,
Martin Zimmermann
Abstract:
It is widely accepted that every system should be robust in that ``small'' violations of environment assumptions should lead to ``small'' violations of system guarantees, but it is less clear how to make this intuition mathematically precise. While significant efforts have been devoted to providing notions of robustness for Linear Temporal Logic (LTL), branching-time logics, such as Computation Tr…
▽ More
It is widely accepted that every system should be robust in that ``small'' violations of environment assumptions should lead to ``small'' violations of system guarantees, but it is less clear how to make this intuition mathematically precise. While significant efforts have been devoted to providing notions of robustness for Linear Temporal Logic (LTL), branching-time logics, such as Computation Tree Logic (CTL) and CTL*, have received less attention in this regard. To address this shortcoming, we develop ``robust'' extensions of CTL and CTL*, which we name robust CTL (rCTL) and robust CTL* (rCTL*). Both extensions are syntactically similar to their parent logics but employ multi-valued semantics to distinguish between ``large'' and ``small'' violations of the specification. We show that the multi-valued semantics of rCTL make it more expressive than CTL, while rCTL* is as expressive as CTL*. Moreover, we show that the model checking problem, the satisfiability problem, and the synthesis problem for rCTL and rCTL* have the same asymptotic complexity as their non-robust counterparts, implying that robustness can be added to branching-time logics for free.
△ Less
Submitted 24 October, 2023; v1 submitted 18 January, 2022;
originally announced January 2022.
-
Crystal Symmetry of Stripe Ordered La1.88Sr0.12CuO4
Authors:
Ruggero Frison,
Julia Kuespert,
Qisi Wang,
Oleh Ivashko,
Martin von Zimmermann,
Martin Meven,
Damian Bucher,
Jakob Larsen,
Christof Niedermayer,
Marc Janoschek,
Tohru Kurosawa,
Naoki Momono,
Migaku Oda,
Niels Bech Christensen,
Johan Chang
Abstract:
We present a combined x-ray and neutron diffraction study of the stripe ordered superconductor \lscox{0.12}. The average crystal structure is consistent with the orthorhombic $Bmab$ space group as commonly reported in the literature. This structure however is not symmetry compatible with a second order phase transition into the stripe order phase, and, as we report here numerous Bragg peaks forbid…
▽ More
We present a combined x-ray and neutron diffraction study of the stripe ordered superconductor \lscox{0.12}. The average crystal structure is consistent with the orthorhombic $Bmab$ space group as commonly reported in the literature. This structure however is not symmetry compatible with a second order phase transition into the stripe order phase, and, as we report here numerous Bragg peaks forbidden in the $Bmab$ space group are observed. We have studied and analysed these $Bmab$-forbidden Bragg reflections. Fitting of the diffraction intensities yields monoclinic lattice distortions that are symmetry consistent with charge stripe order.
△ Less
Submitted 10 May, 2022; v1 submitted 13 January, 2022;
originally announced January 2022.
-
Real space texture and pole figure analysis using the three-dimensional pair distribution function (PDF) on a Platinum thin film
Authors:
Sani Y. Harouna-Mayer,
Songsheng Tao,
ZiZhou Gong,
Martin v. Zimmermann,
Dorota Koziej,
Ann-Christin Dippel,
Simon J. L. Billinge
Abstract:
An approach is described for studying texture in nanostructured materials. The approach implements the real space texture PDF, txPDF, laid out in [Gong and Billinge (2018) arXiv:1805.10342 [cond-mat]]. It is demonstrated on a fiber textured polycrystalline Pt thin film. The approach uses 3D PDF methods to reconstruct the orientation distribution function (ODF) of the powder crystallites from a set…
▽ More
An approach is described for studying texture in nanostructured materials. The approach implements the real space texture PDF, txPDF, laid out in [Gong and Billinge (2018) arXiv:1805.10342 [cond-mat]]. It is demonstrated on a fiber textured polycrystalline Pt thin film. The approach uses 3D PDF methods to reconstruct the orientation distribution function (ODF) of the powder crystallites from a set of diffraction patterns taken at different tilt angles of the substrate with respect to the incident beam directly from the 3D PDF of the sample. A real space equivalent of the reciprocal space pole figure is defined in terms of interatomic vectors in the PDF and computed for various interatomic vectors in the Pt film. Further, it is shown how a valid isotropic PDF may be obtained from a weighted average over the tilt series, and the measurement conditions for the best approximant to the isotropic PDF from a single exposure, which for the case of the fiber textured film was in a nearly grazing incidence orientation of around 10 degrees. Finally, we describe an open source Python software package, Fourigui, that may be used to help in studies of texture from 3D reciprocal space data, and indeed for Fourier transforming and visualizing 3D PDF data in general.
△ Less
Submitted 10 January, 2022;
originally announced January 2022.
-
Towards Explainable End-to-End Prostate Cancer Relapse Prediction from H&E Images Combining Self-Attention Multiple Instance Learning with a Recurrent Neural Network
Authors:
Esther Dietrich,
Patrick Fuhlert,
Anne Ernst,
Guido Sauter,
Maximilian Lennartz,
H. Siegfried Stiehl,
Marina Zimmermann,
Stefan Bonn
Abstract:
Clinical decision support for histopathology image data mainly focuses on strongly supervised annotations, which offers intuitive interpretability, but is bound by expert performance. Here, we propose an explainable cancer relapse prediction network (eCaReNet) and show that end-to-end learning without strong annotations offers state-of-the-art performance while interpretability can be included thr…
▽ More
Clinical decision support for histopathology image data mainly focuses on strongly supervised annotations, which offers intuitive interpretability, but is bound by expert performance. Here, we propose an explainable cancer relapse prediction network (eCaReNet) and show that end-to-end learning without strong annotations offers state-of-the-art performance while interpretability can be included through an attention mechanism. On the use case of prostate cancer survival prediction, using 14,479 images and only relapse times as annotations, we reach a cumulative dynamic AUC of 0.78 on a validation set, being on par with an expert pathologist (and an AUC of 0.77 on a separate test set). Our model is well-calibrated and outputs survival curves as well as a risk score and group per patient. Making use of the attention weights of a multiple instance learning layer, we show that malignant patches have a higher influence on the prediction than benign patches, thus offering an intuitive interpretation of the prediction. Our code is available at www.github.com/imsb-uke/ecarenet.
△ Less
Submitted 26 November, 2021;
originally announced November 2021.
-
Image prediction of disease progression by style-based manifold extrapolation
Authors:
Tianyu Han,
Jakob Nikolas Kather,
Federico Pedersoli,
Markus Zimmermann,
Sebastian Keil,
Maximilian Schulze-Hagen,
Marc Terwoelbeck,
Peter Isfort,
Christoph Haarburger,
Fabian Kiessling,
Volkmar Schulz,
Christiane Kuhl,
Sven Nebelung,
Daniel Truhn
Abstract:
Disease-modifying management aims to prevent deterioration and progression of the disease, not just relieve symptoms. Unfortunately, the development of necessary therapies is often hampered by the failure to recognize the presymptomatic disease and limited understanding of disease development. We present a generic solution for this problem by a methodology that allows the prediction of progression…
▽ More
Disease-modifying management aims to prevent deterioration and progression of the disease, not just relieve symptoms. Unfortunately, the development of necessary therapies is often hampered by the failure to recognize the presymptomatic disease and limited understanding of disease development. We present a generic solution for this problem by a methodology that allows the prediction of progression risk and morphology in individuals using a latent extrapolation optimization approach. To this end, we combined a regularized generative adversarial network (GAN) and a latent nearest neighbor algorithm for joint optimization to generate plausible images of future time points. We evaluated our method on osteoarthritis (OA) data from a multi-center longitudinal study (the Osteoarthritis Initiative, OAI). With presymptomatic baseline data, our model is generative and significantly outperforms the end-to-end learning model in discriminating the progressive cohort. Two experiments were performed with seven experienced radiologists. When no synthetic follow-up radiographs were provided, our model performed better than all seven radiologists. In cases where the synthetic follow-ups generated by our model were available, the specificity and sensitivity of all readers in discriminating progressors increased from $72.3\%$ to $88.6\%$ and from $42.1\%$ to $51.6\%$, respectively. Our results open up a new possibility of using model-based morphology and risk prediction to make predictions about future disease occurrence, as demonstrated in the example of OA.
△ Less
Submitted 8 April, 2022; v1 submitted 22 November, 2021;
originally announced November 2021.
-
HiRID-ICU-Benchmark -- A Comprehensive Machine Learning Benchmark on High-resolution ICU Data
Authors:
Hugo Yèche,
Rita Kuznetsova,
Marc Zimmermann,
Matthias Hüser,
Xinrui Lyu,
Martin Faltys,
Gunnar Rätsch
Abstract:
The recent success of machine learning methods applied to time series collected from Intensive Care Units (ICU) exposes the lack of standardized machine learning benchmarks for develo** and comparing such methods. While raw datasets, such as MIMIC-IV or eICU, can be freely accessed on Physionet, the choice of tasks and pre-processing is often chosen ad-hoc for each publication, limiting comparab…
▽ More
The recent success of machine learning methods applied to time series collected from Intensive Care Units (ICU) exposes the lack of standardized machine learning benchmarks for develo** and comparing such methods. While raw datasets, such as MIMIC-IV or eICU, can be freely accessed on Physionet, the choice of tasks and pre-processing is often chosen ad-hoc for each publication, limiting comparability across publications. In this work, we aim to improve this situation by providing a benchmark covering a large spectrum of ICU-related tasks. Using the HiRID dataset, we define multiple clinically relevant tasks in collaboration with clinicians. In addition, we provide a reproducible end-to-end pipeline to construct both data and labels. Finally, we provide an in-depth analysis of current state-of-the-art sequence modeling methods, highlighting some limitations of deep learning approaches for this type of data. With this benchmark, we hope to give the research community the possibility of a fair comparison of their work.
△ Less
Submitted 17 January, 2022; v1 submitted 16 November, 2021;
originally announced November 2021.
-
An Adaptive Honeypot Configuration, Deployment and Maintenance Strategy
Authors:
Daniel Fraunholz,
Marc Zimmermann,
Hans D. Schotten
Abstract:
Since honeypots first appeared as an advanced network security concept they suffer from poor deployment and maintenance strategies. State-of-the-Art deployment is a manual process in which the honeypot needs to be configured and maintained by a network administrator. In this paper we present a method for a dynamic honeypot configuration, deployment and maintenance strategy based on machine learnin…
▽ More
Since honeypots first appeared as an advanced network security concept they suffer from poor deployment and maintenance strategies. State-of-the-Art deployment is a manual process in which the honeypot needs to be configured and maintained by a network administrator. In this paper we present a method for a dynamic honeypot configuration, deployment and maintenance strategy based on machine learning techniques. Our method features an identification mechanism for machines and devices in a network. These entities are analysed and clustered. Based on the clusters, honeypots are intelligently deployed in the network. The proposed method needs no configuration and maintenance and is therefore a major advantage for the honeypot technology in modern network security.
△ Less
Submitted 6 November, 2021;
originally announced November 2021.
-
Tensor Product Scheme for Computing Bound States of the Quantum Mechanical Three-Body Problem
Authors:
Jonas Thies,
Moritz Travis Hof,
Matthias Zimmermann,
Maxim Efremov
Abstract:
We develop a computationally and numerically efficient method to calculate binding energies and corresponding wave functions of quantum mechanical three-body problems in low dimensions. Our approach exploits the tensor structure of the multidimensional stationary Schrödinger equation, being expressed as a discretized linear eigenvalue problem. In one spatial dimension, we solve the three-body prob…
▽ More
We develop a computationally and numerically efficient method to calculate binding energies and corresponding wave functions of quantum mechanical three-body problems in low dimensions. Our approach exploits the tensor structure of the multidimensional stationary Schrödinger equation, being expressed as a discretized linear eigenvalue problem. In one spatial dimension, we solve the three-body problem with the help of iterative methods. Here the application of the Hamiltonian operator is represented by dense matrix-matrix products. In combination with a newly-designed preconditioner for the Jacobi-Davidson QR, our highly accurate tensor method offers a significantly faster computation of three-body energies and bound states than other existing approaches. For the two-dimensional case, we additionally make use of a hybrid distributed/shared memory parallel implementation to calculate the corresponding three-body energies. Our novel method is of high relevance for the analysis of few-body systems and their universal behavior, which is only governed by the particle masses, overall symmetries, and the spatial dimensionality. Our results have straightforward applications for ultracold atomic gases that are widespread and nowadays utilized in quantum sensors.
△ Less
Submitted 2 March, 2022; v1 submitted 3 November, 2021;
originally announced November 2021.
-
Symmetry- and curvature effects on spin waves in vortex-state hexagonal nanotubes
Authors:
Lukas Körber,
Michael Zimmermann,
Sebastian Wintz,
Simone Finizio,
Matthias Kronseder,
Dominique Bougeard,
Florian Dirnberger,
Markus Weigand,
Jörg Raabe,
Jorge A. Otálora,
Helmut Schultheiss,
Elisabeth Josten,
Jürgen Lindner,
István Kézmárki,
Christian H. Back,
Attila Kákay
Abstract:
Analytic and numerical studies on curved magnetic nano-objects predict numerous exciting effects that can be referred to as magneto-chiral effects, which do not originate from intrinsic Dzyaloshinskii-Moriya interaction or interface-induced anisotropies. In constrast, these chiral effects stem from isotropic exchange or dipole-dipole interaction, present in all magnetic materials, which acquire as…
▽ More
Analytic and numerical studies on curved magnetic nano-objects predict numerous exciting effects that can be referred to as magneto-chiral effects, which do not originate from intrinsic Dzyaloshinskii-Moriya interaction or interface-induced anisotropies. In constrast, these chiral effects stem from isotropic exchange or dipole-dipole interaction, present in all magnetic materials, which acquire asymmetric contributions in case of curved geometry of the specimen. As a result, for example, the spin-wave dispersion in round magnetic nanotubes becomes asymmetric, namely spin waves of the same frequency propagating in opposite directions along the nanotube exhibit different wavelenghts. Here, using time-resolved scanning transmission X-ray microscopy experiments, standard micromagntic simulations and a dynamic-matrix approach, we show that the spin-wave spectrum undergoes additional drastic changes when transitioning from a continuous to a discrete rotational symmetry, i.e. from round to hexagonal nanotubes, which are much easier to fabricate. The polygonal shape introduces localization of the modes both to the sharp, highly curved corners and flat edges. Moreover, due to the discrete rotational symmetry, the degenerate nature of the modes with azimuthal wave vectors known from round tubes is partly lifted, resulting in singlet and duplet modes. For comparison with our experiments, we calculate the microwave absorption from the numerically obtained mode profiles which shows that a dedicated antenna design is paramount for magnonic applications in 3D nano-structures. To our knowledge these are the first experiments directly showing real space spin-wave propagation in 3D nano objects.
△ Less
Submitted 16 August, 2021;
originally announced August 2021.
-
High-speed programmable photonic circuits in a cryogenically compatible, visible-NIR 200 mm CMOS architecture
Authors:
Mark Dong,
Genevieve Clark,
Andrew J. Leenheer,
Matthew Zimmermann,
Daniel Dominguez,
Adrian J. Menssen,
David Heim,
Gerald Gilbert,
Dirk Englund,
Matt Eichenfield
Abstract:
Recent advances in photonic integrated circuits (PICs) have enabled a new generation of "programmable many-mode interferometers" (PMMIs) realized by cascaded Mach Zehnder Interferometers (MZIs) capable of universal linear-optical transformations on N input-output optical modes. PMMIs serve critical functions in photonic quantum information processing, quantum-enhanced sensor networks, machine lear…
▽ More
Recent advances in photonic integrated circuits (PICs) have enabled a new generation of "programmable many-mode interferometers" (PMMIs) realized by cascaded Mach Zehnder Interferometers (MZIs) capable of universal linear-optical transformations on N input-output optical modes. PMMIs serve critical functions in photonic quantum information processing, quantum-enhanced sensor networks, machine learning and other applications. However, PMMI implementations reported to date rely on thermo-optic phase shifters, which limit applications due to slow response times and high power consumption. Here, we introduce a large-scale PMMI platform, based on a 200 mm CMOS process, that uses aluminum nitride (AlN) piezo-optomechanical actuators coupled to silicon nitride (SiN) waveguides, enabling low-loss propagation with phase modulation at greater than 100 MHz in the visible to near-infrared wavelengths. Moreover, the vanishingly low holding-power consumption of the piezo-actuators enables these PICs to operate at cryogenic temperatures, paving the way for a fully integrated device architecture for a range of quantum applications.
△ Less
Submitted 26 May, 2021;
originally announced May 2021.
-
Deep learning-based bias transfer for overcoming laboratory differences of microscopic images
Authors:
Ann-Katrin Thebille,
Esther Dietrich,
Martin Klaus,
Lukas Gernhold,
Maximilian Lennartz,
Christoph Kuppe,
Rafael Kramann,
Tobias B. Huber,
Guido Sauter,
Victor G. Puelles,
Marina Zimmermann,
Stefan Bonn
Abstract:
The automated analysis of medical images is currently limited by technical and biological noise and bias. The same source tissue can be represented by vastly different images if the image acquisition or processing protocols vary. For an image analysis pipeline, it is crucial to compensate such biases to avoid misinterpretations. Here, we evaluate, compare, and improve existing generative model arc…
▽ More
The automated analysis of medical images is currently limited by technical and biological noise and bias. The same source tissue can be represented by vastly different images if the image acquisition or processing protocols vary. For an image analysis pipeline, it is crucial to compensate such biases to avoid misinterpretations. Here, we evaluate, compare, and improve existing generative model architectures to overcome domain shifts for immunofluorescence (IF) and Hematoxylin and Eosin (H&E) stained microscopy images. To determine the performance of the generative models, the original and transformed images were segmented or classified by deep neural networks that were trained only on images of the target bias. In the scope of our analysis, U-Net cycleGANs trained with an additional identity and an MS-SSIM-based loss and Fixed-Point GANs trained with an additional structure loss led to the best results for the IF and H&E stained samples, respectively. Adapting the bias of the samples significantly improved the pixel-level segmentation for human kidney glomeruli and podocytes and improved the classification accuracy for human prostate biopsies by up to 14%.
△ Less
Submitted 25 May, 2021;
originally announced May 2021.
-
Critical even unimodular lattices in the Gaussian core model
Authors:
Arne Heimendahl,
Aurelio Marafioti,
Antonia Thiemeyer,
Frank Vallentin,
Marc Christian Zimmermann
Abstract:
We consider even unimodular lattices which are critical for potential energy with respect to Gaussian potential functions in the manifold of lattices having point density 1. All even unimodular lattices up to dimension 24 are critical. We show how to determine the Morse index in these cases. While all these lattices are either local minima or saddle points, we find lattices in dimension 32 which a…
▽ More
We consider even unimodular lattices which are critical for potential energy with respect to Gaussian potential functions in the manifold of lattices having point density 1. All even unimodular lattices up to dimension 24 are critical. We show how to determine the Morse index in these cases. While all these lattices are either local minima or saddle points, we find lattices in dimension 32 which are local maxima. Also starting from dimension 32 there are non-critical even unimodular lattices.
△ Less
Submitted 24 May, 2022; v1 submitted 17 May, 2021;
originally announced May 2021.
-
On single crystal total scattering data reduction and correction protocols for analysis in direct space
Authors:
Robert J. Koch,
Nikolaj Roth,
Yiu Liu,
Oleh Ivashko,
Ann-Christin Dippel,
Cedomir Petrovic,
Bo B. Iversen,
Martin v. Zimmermann,
Emil S. Bozin
Abstract:
We explore data reduction and correction steps and processed data reproducibility in the emerging single crystal total scattering based technique of three-dimensional differential atomic pair distribution function (3D-$Δ$PDF) analysis. All steps from sample measurement to data-processing are outlined in detail using a CuIr$_2$S$_4$ example crystal studied in a setup equipped with a high-energy x-r…
▽ More
We explore data reduction and correction steps and processed data reproducibility in the emerging single crystal total scattering based technique of three-dimensional differential atomic pair distribution function (3D-$Δ$PDF) analysis. All steps from sample measurement to data-processing are outlined in detail using a CuIr$_2$S$_4$ example crystal studied in a setup equipped with a high-energy x-ray beam and a flat panel area detector. Computational overhead as it pertains to data-sampling and the associated data processing steps is also discussed. Various aspects of the final 3D-$Δ$PDF reproducibility are explicitly tested by varying data-processing order and included steps, and by carrying out a crystal-to-crystal data comparison. We identify situations in which the 3D-$Δ$PDF is robust, and caution against a few particular cases which can lead to inconsistent 3D-$Δ$PDFs. Although not all the approaches applied here-in will be valid across all systems, and a more in-depth analysis of some of the effects of the data processing steps may still needed, the methods collected here-in represent the start of a more systematic discussion about data processing and corrections in this field.
△ Less
Submitted 20 July, 2021; v1 submitted 14 May, 2021;
originally announced May 2021.
-
HyperLTL Satisfiability is $Σ_1^1$-complete, HyperCTL* Satisfiability is $Σ_1^2$-complete
Authors:
Marie Fortin,
Louwe B. Kuijer,
Patrick Totzke,
Martin Zimmermann
Abstract:
Temporal logics for the specification of information-flow properties are able to express relations between multiple executions of a system. The two most important such logics are HyperLTL and HyperCTL*, which generalise LTL and CTL* by trace quantification. It is known that this expressiveness comes at a price, i.e. satisfiability is undecidable for both logics.
In this paper we settle the exact…
▽ More
Temporal logics for the specification of information-flow properties are able to express relations between multiple executions of a system. The two most important such logics are HyperLTL and HyperCTL*, which generalise LTL and CTL* by trace quantification. It is known that this expressiveness comes at a price, i.e. satisfiability is undecidable for both logics.
In this paper we settle the exact complexity of these problems, showing that both are in fact highly undecidable: we prove that HyperLTL satisfiability is $Σ_1^1$-complete and HyperCTL* satisfiability is $Σ_1^2$-complete. These are significant increases over the previously known lower bounds and the first upper bounds. To prove $Σ_1^2$-membership for HyperCTL*, we prove that every satisfiable HyperCTL* sentence has a model that is equinumerous to the continuum, the first upper bound of this kind. We prove this bound to be tight. Finally, we show that the membership problem for every level of the HyperLTL quantifier alternation hierarchy is $Π_1^1$-complete.
△ Less
Submitted 10 May, 2021;
originally announced May 2021.
-
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
Authors:
Shibashis Guha,
Ismaël Jecker,
Karoliina Lehtinen,
Martin Zimmermann
Abstract:
We study the expressiveness and succinctness of history-deterministic pushdown automata (HD-PDA) over finite words, that is, pushdown automata whose nondeterminism can be resolved based on the run constructed so far, but independently of the remainder of the input word. These are also known as good-for-games pushdown automata. We prove that HD-PDA recognise more languages than deterministic PDA (D…
▽ More
We study the expressiveness and succinctness of history-deterministic pushdown automata (HD-PDA) over finite words, that is, pushdown automata whose nondeterminism can be resolved based on the run constructed so far, but independently of the remainder of the input word. These are also known as good-for-games pushdown automata. We prove that HD-PDA recognise more languages than deterministic PDA (DPDA) but not all context-free languages (CFL). This class is orthogonal to unambiguous CFL. We further show that HD-PDA can be exponentially more succinct than DPDA, while PDA can be double-exponentially more succinct than HD-PDA. We also study HDness in visibly pushdown automata (VPA), which enjoy better closure properties than PDA, and for which we show that deciding HDness is ExpTime-complete. HD-VPA can be exponentially more succinct than deterministic VPA, while VPA can be exponentially more succinct than HD-VPA. Both of these lower bounds are tight. We then compare HD-PDA with PDA for which composition with games is well-behaved, i.e. good-for-games automata. We show that these two notions coincide, but only if we consider potentially infinitely branching games. Finally, we study the complexity of resolving nondeterminism in HD-PDA. Every HDPDA has a positional resolver, a function that resolves nondeterminism and that is only dependant on the current configuration. Pushdown transducers are sufficient to implement the resolvers of HD-VPA, but not those of HD-PDA. HD-PDA with finite-state resolvers are determinisable.
△ Less
Submitted 10 January, 2024; v1 submitted 6 May, 2021;
originally announced May 2021.
-
Open community platform for hearing aid algorithm research: open Master Hearing Aid (openMHA)
Authors:
Hendrik Kayser,
Tobias Herzke,
Paul Maanen,
Max Zimmermann,
Giso Grimm,
Volker Hohmann
Abstract:
open Master Hearing Aid (openMHA) was developed and provided to the hearing aid research community as an open-source software platform with the aim to support sustainable and reproducible research towards improvement and new types of assistive hearing systems not limited by proprietary software. The software offers a flexible framework that allows the users to conduct hearing aid research using to…
▽ More
open Master Hearing Aid (openMHA) was developed and provided to the hearing aid research community as an open-source software platform with the aim to support sustainable and reproducible research towards improvement and new types of assistive hearing systems not limited by proprietary software. The software offers a flexible framework that allows the users to conduct hearing aid research using tools and a number of signal processing plugins provided with the software as well as the implementation of own methods. The openMHA software is independent of a specific hardware and supports Linux, macOS and Windows operating systems as well as 32-bit and 64-bit ARM-based architectures such as used in small portable integrated systems. www.openmha.org
△ Less
Submitted 24 January, 2022; v1 submitted 3 March, 2021;
originally announced March 2021.
-
Universality of excited three-body bound states in one dimension
Authors:
Lucas Happ,
Matthias Zimmermann,
Maxim A. Efremov
Abstract:
We study a heavy-heavy-light three-body system confined to one space dimension provided the binding energy of an excited state in the heavy-light subsystems approaches zero. The associated two-body system is characterized by (i) the structure of the weakly-bound excited heavy-light state and (ii) the presence of deeply-bound heavy-light states. The consequences of these aspects for the behavior of…
▽ More
We study a heavy-heavy-light three-body system confined to one space dimension provided the binding energy of an excited state in the heavy-light subsystems approaches zero. The associated two-body system is characterized by (i) the structure of the weakly-bound excited heavy-light state and (ii) the presence of deeply-bound heavy-light states. The consequences of these aspects for the behavior of the three-body system are analyzed. We find strong indication for universal behavior of both three-body binding energies and wave functions for different weakly-bound excited states in the heavy-light subsystems.
△ Less
Submitted 5 July, 2021; v1 submitted 12 February, 2021;
originally announced February 2021.
-
Field-induced electronic phase separation in the high-temperature superconductor La$_{1.94}$Sr$_{0.06}$CuO$_{4+y}$
Authors:
S. Holm-Dahlin,
J. Larsen,
H. Jacobsen,
A. T. Rømer,
A. -E. Ţuţueanu,
M. Ahmad,
J. -C. Grivel,
R. Scheuermann,
M. v. Zimmermann,
M. Boehm,
P. Steffens,
Ch. Niedermayer,
K. S. Pedersen,
N. B. Christensen,
B. O. Wells,
K. Lefmann,
L. Udby
Abstract:
We present a combined neutron diffraction and high field muon spin rotation ($μ$SR) study of the magnetically ordered and superconducting phases of the high-temperature superconductor La$_{1.94}$Sr$_{0.06}$CuO$_{4+y}$ ($T_{\rm c} = 37.5(2)$~K) in a magnetic field applied perpendicular to the CuO$_2$ planes. We observe a linear field-dependence of the intensity of the neutron diffraction peak that…
▽ More
We present a combined neutron diffraction and high field muon spin rotation ($μ$SR) study of the magnetically ordered and superconducting phases of the high-temperature superconductor La$_{1.94}$Sr$_{0.06}$CuO$_{4+y}$ ($T_{\rm c} = 37.5(2)$~K) in a magnetic field applied perpendicular to the CuO$_2$ planes. We observe a linear field-dependence of the intensity of the neutron diffraction peak that reflects the modulated antiferromagnetic stripe order. The magnetic volume fraction extracted from $μ$SR data likewise increases linearly with applied magnetic field. The combination of these two observations allows us to unambiguously conclude that stripe-ordered regions grow in an applied field, whereas the stripe-ordered magnetic moment itself is field-independent. This contrasts with earlier suggestions that the field-induced neutron diffraction intensity in La-based cuprates is due to an increase in the ordered moment. We discuss a microscopic picture that is capable of reconciling these conflicting viewpoints.
△ Less
Submitted 25 April, 2024; v1 submitted 26 January, 2021;
originally announced January 2021.
-
Projectile motion of surface gravity water wave packets: An analogy to quantum mechanics
Authors:
Georgi Gary Rozenman,
Matthias Zimmermann,
Maxim A. Efremov,
Wolfgang P. Schleich,
William B. Case,
Daniel M. Greenberger,
Lev Shemer,
Ady Arie
Abstract:
We study phase contributions of wave functions that occur in the evolution of Gaussian surface gravity water wave packets with nonzero initial momenta propagating in the presence and absence of an effective external linear potential. Our approach takes advantage of the fact that in contrast to matter waves, water waves allow us to measure both their amplitudes and phases.
We study phase contributions of wave functions that occur in the evolution of Gaussian surface gravity water wave packets with nonzero initial momenta propagating in the presence and absence of an effective external linear potential. Our approach takes advantage of the fact that in contrast to matter waves, water waves allow us to measure both their amplitudes and phases.
△ Less
Submitted 14 January, 2021;
originally announced January 2021.
-
Advancing diagnostic performance and clinical usability of neural networks via adversarial training and dual batch normalization
Authors:
Tianyu Han,
Sven Nebelung,
Federico Pedersoli,
Markus Zimmermann,
Maximilian Schulze-Hagen,
Michael Ho,
Christoph Haarburger,
Fabian Kiessling,
Christiane Kuhl,
Volkmar Schulz,
Daniel Truhn
Abstract:
Unmasking the decision-making process of machine learning models is essential for implementing diagnostic support systems in clinical practice. Here, we demonstrate that adversarially trained models can significantly enhance the usability of pathology detection as compared to their standard counterparts. We let six experienced radiologists rate the interpretability of saliency maps in datasets of…
▽ More
Unmasking the decision-making process of machine learning models is essential for implementing diagnostic support systems in clinical practice. Here, we demonstrate that adversarially trained models can significantly enhance the usability of pathology detection as compared to their standard counterparts. We let six experienced radiologists rate the interpretability of saliency maps in datasets of X-rays, computed tomography, and magnetic resonance imaging scans. Significant improvements were found for our adversarial models, which could be further improved by the application of dual batch normalization. Contrary to previous research on adversarially trained models, we found that the accuracy of such models was equal to standard models when sufficiently large datasets and dual batch norm training were used. To ensure transferability, we additionally validated our results on an external test set of 22,433 X-rays. These findings elucidate that different paths for adversarial and real images are needed during training to achieve state of the art results with superior clinical interpretability.
△ Less
Submitted 25 November, 2020;
originally announced November 2020.
-
Approximating the Minimal Lookahead Needed to Win Infinite Games
Authors:
Martin Zimmermann
Abstract:
We present an exponential-time algorithm approximating the minimal lookahead necessary to win an $ω$-regular delay game.
We present an exponential-time algorithm approximating the minimal lookahead necessary to win an $ω$-regular delay game.
△ Less
Submitted 1 March, 2022; v1 submitted 22 October, 2020;
originally announced October 2020.
-
Optimal Strategies in Weighted Limit Games
Authors:
Aniello Murano,
Sasha Rubin,
Martin Zimmermann
Abstract:
We prove the existence and computability of optimal strategies in weighted limit games, zero-sum infinite-duration games with a Büchi-style winning condition requiring to produce infinitely many play prefixes that satisfy a given regular specification. Quality of plays is measured in the maximal weight of infixes between successive play prefixes that satisfy the specification.
We prove the existence and computability of optimal strategies in weighted limit games, zero-sum infinite-duration games with a Büchi-style winning condition requiring to produce infinitely many play prefixes that satisfy a given regular specification. Quality of plays is measured in the maximal weight of infixes between successive play prefixes that satisfy the specification.
△ Less
Submitted 22 September, 2020;
originally announced September 2020.
-
Disentangling Intertwined Quantum States in a Prototypical Cuprate Superconductor
Authors:
J. Choi,
Q. Wang,
S. Jöhr,
N. B. Christensen,
J. Küspert,
D. Bucher,
D. Biscette,
M. Hücker,
T. Kurosawa,
N. Momono,
M. Oda,
O. Ivashko,
M. v. Zimmermann,
M. Janoschek,
J. Chang
Abstract:
Spontaneous symmetry breaking constitutes a paradigmatic classification scheme of matter. However, broken symmetry also entails domain degeneracy that often impedes identification of novel low symmetry states. In quantum matter, this is additionally complicated by competing intertwined symmetry breaking orders. A prime example is that of unconventional superconductivity and density-wave orders in…
▽ More
Spontaneous symmetry breaking constitutes a paradigmatic classification scheme of matter. However, broken symmetry also entails domain degeneracy that often impedes identification of novel low symmetry states. In quantum matter, this is additionally complicated by competing intertwined symmetry breaking orders. A prime example is that of unconventional superconductivity and density-wave orders in doped cuprates in which their respective symmetry relation remains a key question. Using uniaxial pressure as a domain-selective stimulus in combination with x-ray diffraction, we unambiguously reveal that the fundamental symmetry of the charge order in the prototypical cuprate La$_{1.88}$Sr$_{0.12}$CuO$_4$ is characterized by uniaxial stripes. We further demonstrate the direct competition of this stripe order with unconventional superconductivity via magnetic field tuning. The stripy nature of the charge-density-wave state established by our study is a prerequisite for the existence of a superconducting pair-density-wave -- a theoretical proposal that clarifies the interrelation of intertwined quantum phases in unconventional superconductors -- and paves the way for its high-temperature realization.
△ Less
Submitted 15 September, 2020;
originally announced September 2020.
-
Experimental observation of the curvature-induced asymmetric spin-wave dispersion in hexagonal nanotubes
Authors:
Lukas Körber,
Michael Zimmermann,
Sebastian Wintz,
Simone Finizio,
Markus Weigand,
Jörg Raabe,
Jorge A. Otálora,
Helmut Schultheiss,
Elisabeth Josten,
Jürgen Lindner,
Christian H. Back,
Attila Kákay
Abstract:
Theoretical and numerical studies on curved magnetic nano-objects predict numerous exciting effects that can be referred to as magneto-chiral effects, which do not originate from the intrinsic Dzyaloshinskii-Moriya interaction or surface-induced anisotropies. The origin of these chiral effects is the isotropic exchange or the dipole-dipole interaction present in all magnetic materials but renormal…
▽ More
Theoretical and numerical studies on curved magnetic nano-objects predict numerous exciting effects that can be referred to as magneto-chiral effects, which do not originate from the intrinsic Dzyaloshinskii-Moriya interaction or surface-induced anisotropies. The origin of these chiral effects is the isotropic exchange or the dipole-dipole interaction present in all magnetic materials but renormalized by the curvature. Here, we demonstrate experimentally that curvature induced effects originating from the dipole-dipole interaction are directly observable by measuring spin-wave propagation in magnetic nanotubes with hexagonal cross section using time resolved scanning transmission X-ray microscopy. We show that the dispersion relation is asymmetric upon reversal of the wave vector when the propagation direction is perpendicular to the static magnetization. Therefore counter-propagating spin waves of the same frequency exhibit different wavelenghts. Hexagonal nanotubes have a complex dispersion, resulting from spin-wave modes localised to the flat facets or to the extremely curved regions between the facets. The dispersion relations obtained experimentally and from micromagnetic simulations are in good agreement. %The asymmetric spin-wave transport is present for all modes, promoting hexagonal nanotubes for magnonic applications. These results show that spin-wave transport is possible in 3D, and that the dipole-dipole induced magneto-chiral effects are significant.
△ Less
Submitted 4 September, 2020;
originally announced September 2020.
-
Optimal Strategies in Weighted Limit Games (full version)
Authors:
Aniello Murano,
Sasha Rubin,
Martin Zimmermann
Abstract:
We prove the existence and computability of optimal strategies in weighted limit games, zero-sum infinite-duration games with a Büchi-style winning condition requiring to produce infinitely many play prefixes that satisfy a given regular specification. Quality of plays is measured in the maximal weight of infixes between successive play prefixes that satisfy the specification.
We prove the existence and computability of optimal strategies in weighted limit games, zero-sum infinite-duration games with a Büchi-style winning condition requiring to produce infinitely many play prefixes that satisfy a given regular specification. Quality of plays is measured in the maximal weight of infixes between successive play prefixes that satisfy the specification.
△ Less
Submitted 7 September, 2020; v1 submitted 26 August, 2020;
originally announced August 2020.
-
On the Potential of Extending Aircraft Service Time Using a Fatigue Damage Index
Authors:
Simon Pfingstl,
Dominik Steinweg,
Markus Zimmermann,
Mirko Hornung
Abstract:
Aircraft structures experience various kinds of loads over their entire lifetime, typically leading to fatigue and ultimately structural failure. In order to avoid structural failure during operation, the maximum number of flight cycles and flight hours is regulated by laws ensuring continued airworthiness. However, since every flight impacts the aircraft differently, not all airframes are equally…
▽ More
Aircraft structures experience various kinds of loads over their entire lifetime, typically leading to fatigue and ultimately structural failure. In order to avoid structural failure during operation, the maximum number of flight cycles and flight hours is regulated by laws ensuring continued airworthiness. However, since every flight impacts the aircraft differently, not all airframes are equally stressed at the time of decommissioning. This paper proposes a new retirement criterion based on the so-called fatigue damage index (FDI). The criterion takes into account that aircraft are differently operated and thus enables an individual decommissioning of aircraft without compromising its safety. Based on aircraft sample data covering 95% of the Airbus A320 fleet over two years, the enhanced decommissioning criterion is estimated to significantly extend the average aircraft service life. The impact varies within the fleet, depending on the experienced seat load factors, cruise altitudes, and taxi times considered for the individual aircraft during operation. While seat load factors and flight altitudes significantly affect the defined FDI, the influence of taxi times is only minor. Based on the estimated increase in aircraft service life, the paper argues that for service life extensions, the FDI shall be considered as the limit of validity in the regulatory framework governing the decommissioning of aircraft.
△ Less
Submitted 11 August, 2021; v1 submitted 7 August, 2020;
originally announced August 2020.
-
Predicting Crack Growth and Fatigue Life with Surrogate Models
Authors:
Simon Pfingstl,
Jose Ignacio Rios,
Horst Baier,
Markus Zimmermann
Abstract:
Fatigue-induced damage is still one of the most uncertain failures in structural systems. Prognostic health monitoring together with surrogate models can help to predict the fatigue life of a structure. This paper demonstrates how to combine data from previously observed crack evolutions with data from the currently observed structure in order to predict crack growth and the total fatigue life. We…
▽ More
Fatigue-induced damage is still one of the most uncertain failures in structural systems. Prognostic health monitoring together with surrogate models can help to predict the fatigue life of a structure. This paper demonstrates how to combine data from previously observed crack evolutions with data from the currently observed structure in order to predict crack growth and the total fatigue life. We show the application of one physics-based model, which is based on Paris' law, and four mathematical surrogate models: recurrent neural networks, Gaussian process regression, k-nearest neighbors, and support vector regression. For a coupon test, we predict the time to failure and the crack growth with confidence intervals. Moreover, we compare the performance of all proposed models by the mean absolute error, coefficient of determination, mean of log-likelihood, and their confidence intervals. The results show that the best mathematical surrogate models are Gaussian process regression and recurrent neural networks. Furthermore, this paper shows that the mathematical surrogate models tend to have conservative confidence intervals, whereas the physics-based model exhibits overly optimistic (too small) confidence intervals.
△ Less
Submitted 26 October, 2020; v1 submitted 5 August, 2020;
originally announced August 2020.
-
Analysis of process-induced damage in remote laser cut carbon fibre reinforced polymers
Authors:
Benjamin Schmidt,
Michael Rose,
Martina Zimmermann,
Markus Kästner
Abstract:
In this contribution a method is introduced that allows for a linkage between the process-induced structural damage and the fracture behaviour. Based on an anisotropic elastic material model, different modelling approaches for initial damage effects are introduced and compared. The approaches are applied to remote laser cut carbon fibre reinforced polymers in order to model various thermally induc…
▽ More
In this contribution a method is introduced that allows for a linkage between the process-induced structural damage and the fracture behaviour. Based on an anisotropic elastic material model, different modelling approaches for initial damage effects are introduced and compared. The approaches are applied to remote laser cut carbon fibre reinforced polymers in order to model various thermally induced damage effects like chemical decomposition, micro-cracks and delamination. The dimensions of this heat affected zone are calculated with 1D-heat conduction. In experiment and simulation milled and laser cut specimens with different process parameters are compared in order to quantify the impact of the cutting technology on the fracture behaviour. For this purpose open hole specimens were used.
△ Less
Submitted 29 June, 2020;
originally announced June 2020.
-
Origin of the quasi-quantized Hall effect in ZrTe5
Authors:
Stanislaw Galeski,
Toni Ehmcke,
Rafal Wawrzynczak,
Pedro Mercado Lozano,
Kyungjune Cho,
Ankit Sharma,
Souvik Das,
Felix Kuster,
Paolo Sessi,
Manuel Brando,
Robert Kuchler,
Anastasios Markou,
Markus Konig,
Claudia Felser,
Yasmine Sassa,
Qiang Li,
Genda Gu,
Peter Swekis,
Martin Zimmermann,
Oleh Ivashko,
Dennis I. Gorbunov,
Sergei Zherlitsyn,
Tobias Forster,
Stuart Parkin,
Joachim Wosnitza
, et al. (2 additional authors not shown)
Abstract:
The quantum Hall effect (QHE) is traditionally considered a purely two-dimensional (2D) phenomenon. Recently, a three-dimensional (3D) version of the QHE has been reported in the Dirac semimetal ZrTe5. It was proposed to arise from a magnetic-field-driven Fermi surface instability, transforming the original 3D electron system into a stack of 2D sheets. Here, we report thermodynamic, thermoelectric…
▽ More
The quantum Hall effect (QHE) is traditionally considered a purely two-dimensional (2D) phenomenon. Recently, a three-dimensional (3D) version of the QHE has been reported in the Dirac semimetal ZrTe5. It was proposed to arise from a magnetic-field-driven Fermi surface instability, transforming the original 3D electron system into a stack of 2D sheets. Here, we report thermodynamic, thermoelectric and charge transport measurements on ZrTe5 in the quantum Hall regime. The measured thermodynamic properties: magnetization and ultrasound propagation, show no signatures of a Fermi surface instability, consistent with in-field single crystal X-ray diffraction. Instead, a direct comparison of the experimental data with linear response calculations based on an effective 3D Dirac Hamiltonian suggests that the quasi-quantization of the observed Hall response is an intrinsic property of the 3D electronic structure. Our findings render the Hall effect in ZrTe5 a truly 3D counterpart of the QHE in 2D systems.
△ Less
Submitted 22 February, 2021; v1 submitted 26 May, 2020;
originally announced May 2020.
-
Atom interferometry and its applications
Authors:
Sven Abend,
Matthias Gersemann,
Christian Schubert,
Dennis Schlippert,
Ernst M. Rasel,
Matthias Zimmermann,
Maxim A. Efremov,
Albert Roura,
Frank A. Narducci,
Wolfgang P. Schleich
Abstract:
We provide an introduction into the field of atom optics and review our work on interferometry with cold atoms, and in particular with Bose-Einstein condensates. Here we emphasize applications of atom interferometry with sources of this kind. We discuss tests of the equivalence principle, a quantum tiltmeter, and a gravimeter.
We provide an introduction into the field of atom optics and review our work on interferometry with cold atoms, and in particular with Bose-Einstein condensates. Here we emphasize applications of atom interferometry with sources of this kind. We discuss tests of the equivalence principle, a quantum tiltmeter, and a gravimeter.
△ Less
Submitted 29 January, 2020;
originally announced January 2020.
-
Good-for-games $ω$-Pushdown Automata
Authors:
Karoliina Lehtinen,
Martin Zimmermann
Abstract:
We introduce good-for-games $ω$-pushdown automata ($ω$-GFG-PDA). These are automata whose nondeterminism can be resolved based on the input processed so far. Good-for-gameness enables automata to be composed with games, trees, and other automata, applications which otherwise require deterministic automata. Our main results are that $ω$-GFG-PDA are more expressive than deterministic $ω$- pushdown a…
▽ More
We introduce good-for-games $ω$-pushdown automata ($ω$-GFG-PDA). These are automata whose nondeterminism can be resolved based on the input processed so far. Good-for-gameness enables automata to be composed with games, trees, and other automata, applications which otherwise require deterministic automata. Our main results are that $ω$-GFG-PDA are more expressive than deterministic $ω$- pushdown automata and that solving infinite games with winning conditions specified by $ω$-GFG-PDA is EXPTIME-complete. Thus, we have identified a new class of $ω$-contextfree winning conditions for which solving games is decidable. It follows that the universality problem for $ω$-GFG-PDA is in EXPTIME as well. Moreover, we study closure properties of the class of languages recognized by $ω$-GFG- PDA and decidability of good-for-gameness of $ω$-pushdown automata and languages. Finally, we compare $ω$-GFG-PDA to $ω$-visibly PDA, study the resources necessary to resolve the nondeterminism in $ω$-GFG-PDA, and prove that the parity index hierarchy for $ω$-GFG-PDA is infinite.
This is a corrected version of the paper arXiv:2001.04392v6 published originally on January 7, 2022.
△ Less
Submitted 14 February, 2023; v1 submitted 13 January, 2020;
originally announced January 2020.
-
Optimally Resilient Strategies in Pushdown Safety Games
Authors:
Daniel Neider,
Patrick Totzke,
Martin Zimmermann
Abstract:
Infinite-duration games with disturbances extend the classical framework of infinite-duration games, which captures the reactive synthesis problem, with a discrete measure of resilience against non-antagonistic external influence. This concerns events where the observed system behavior differs from the intended one prescribed by the controller. For games played on finite arenas it is known that co…
▽ More
Infinite-duration games with disturbances extend the classical framework of infinite-duration games, which captures the reactive synthesis problem, with a discrete measure of resilience against non-antagonistic external influence. This concerns events where the observed system behavior differs from the intended one prescribed by the controller. For games played on finite arenas it is known that computing optimally resilient strategies only incurs a polynomial overhead over solving classical games.
This paper studies safety games with disturbances played on infinite arenas induced by pushdown systems. We show how to compute optimally resilient strategies in triply-exponential time. For the subclass of safety games played on one-counter configuration graphs, we show that determining the degree of resilience of the initial configuration is PSPACE-complete and that optimally resilient strategies can be computed in doubly-exponential time.
△ Less
Submitted 8 July, 2020; v1 submitted 10 December, 2019;
originally announced December 2019.
-
Possible quantum fluctuations in the vicinity of the quantum critical point of $\mathbf{(Sr, Ca)_3Ir_4Sn_{13}}$ revealed by high-energy X-ray diffraction study
Authors:
L. S. I. Veiga,
J. R. L. Mardegan,
M. v. Zimmermann,
D. T. Maimone,
F. B. Carneiro,
M. B. Fontes,
J. Strempfer,
E. Granado,
P. G. Pagliuso,
E. M. Bittar
Abstract:
We explore the evolution of the structural phase transition of $\rm{(Sr, Ca)_3Ir_4Sn_{13}}$, a model system to study the interplay between structural quantum criticality and superconductivity, by means of high-energy x-ray diffraction measurements at high pressures and low temperatures. Our results confirm a rapid suppression of the superlattice transition temperature $T^*$ against pressure, which…
▽ More
We explore the evolution of the structural phase transition of $\rm{(Sr, Ca)_3Ir_4Sn_{13}}$, a model system to study the interplay between structural quantum criticality and superconductivity, by means of high-energy x-ray diffraction measurements at high pressures and low temperatures. Our results confirm a rapid suppression of the superlattice transition temperature $T^*$ against pressure, which extrapolates to zero at a critical pressure of $\approx 1.79(4)$ GPa. The temperature evolution of the superlattice Bragg peak in $\rm{Ca_3Ir_4Sn_{13}}$ reveals a drastic decrease of the intensity and an increase of the linewidth when $T \rightarrow 0$ K and $p \rightarrow p_c$. Such anomaly is likely associated to the emergence of quantum fluctuations that disrupt the formation of long-range superlattice modulation. The revisited temperature-pressure phase diagram of $\rm{(Sr, Ca)_3Ir_4Sn_{13}}$ thus highlights the intertwined nature of the distinct order parameters present in this system and demonstrates some similarities between this family and the unconventional superconductors.
△ Less
Submitted 9 April, 2020; v1 submitted 19 November, 2019;
originally announced November 2019.
-
Promptness and Bounded Fairness in Concurrent and Parameterized Systems
Authors:
Swen Jacobs,
Mouhammad Sakr,
Martin Zimmermann
Abstract:
We investigate the satisfaction of specifications in Prompt Linear Temporal Logic (Prompt-LTL) by concurrent systems. Prompt-LTL is an extension of LTL that allows to specify parametric bounds on the satisfaction of eventualities, thus adding a quantitative aspect to the specification language. We establish a connection between bounded fairness, bounded stutter equivalence, and the satisfaction of…
▽ More
We investigate the satisfaction of specifications in Prompt Linear Temporal Logic (Prompt-LTL) by concurrent systems. Prompt-LTL is an extension of LTL that allows to specify parametric bounds on the satisfaction of eventualities, thus adding a quantitative aspect to the specification language. We establish a connection between bounded fairness, bounded stutter equivalence, and the satisfaction of Prompt-LTL\X formulas. Based on this connection, we prove the first cutoff results for different classes of systems with a parametric number of components and quantitative specifications, thereby identifying previously unknown decidable fragments of the parameterized model checking problem.
△ Less
Submitted 15 November, 2019; v1 submitted 8 November, 2019;
originally announced November 2019.
-
Decoupling of Lattice and Orbital Degrees of Freedom in an Iron-Pnictide Superconductor
Authors:
Christian E. Matt,
O. Ivashko,
M. Horio,
D. Sutter,
N. Dennler,
J. Choi,
Q. Wang,
M. H. Fischer,
S. Katrych,
L. Forro,
J. Ma,
B. Fu,
B. Lv,
M. v. Zimmermann,
T. K. Kim,
N. C. Plumb,
N. Xu,
M. Shi,
J. Chang
Abstract:
The interplay of structural and electronic phases in iron-based superconductors is a central theme in the search for the superconducting pairing mechanism. While electronic nematicity, defined as the breaking of four-fold symmetry triggered by electronic degrees of freedom, is competing with superconductivity, the effect of purely structural orthorhombic order is unexplored. Here, using x-ray diff…
▽ More
The interplay of structural and electronic phases in iron-based superconductors is a central theme in the search for the superconducting pairing mechanism. While electronic nematicity, defined as the breaking of four-fold symmetry triggered by electronic degrees of freedom, is competing with superconductivity, the effect of purely structural orthorhombic order is unexplored. Here, using x-ray diffraction (XRD), we reveal a new structural orthorhombic phase with an exceptionally high onset temperature ($T_\mathrm{ort} \sim 250$ K), which coexists with superconductivity ($T_\mathrm{c} = 25$ K), in an electron-doped iron-pnictide superconductor far from the underdoped region. Furthermore, our angle-resolved photoemission spectroscopy (ARPES) measurements demonstrate the absence of electronic nematic order as the driving mechanism, in contrast to other underdoped iron pnictides where nematicity is commonly found. Our results establish a new, high temperature phase in the phase diagram of iron-pnictide superconductors and impose strong constraints for the modeling of their superconducting pairing mechanism.
△ Less
Submitted 28 July, 2020; v1 submitted 3 October, 2019;
originally announced October 2019.
-
Spatially Inhomogeneous Competition between Superconductivity and the Charge Density Wave in YBa$_2$Cu$_3$O$_{6.67}$
Authors:
J. Choi,
O. Ivashko,
E. Blackburn,
R. Liang,
D. A. Bonn,
W. N. Hardy,
A. T. Holmes,
N. B. Christensen,
M. Hücker,
S. Gerber,
O. Gutowski,
U. Rütt,
M. v. Zimmermann,
E. M. Forgan,
S. M. Hayden,
J. Chang
Abstract:
The charge density wave in the high-temperature superconductor YBa$_2$Cu$_3$O$_{7-x}$ (YBCO) is now known to have two different ordering tendencies differentiated by their $c$-axis correlations. These correspond to ferro- (F-CDW) and antiferro- (AF-CDW) couplings between CDW in neighbouring CuO$_2$ bilayers. This discovery has prompted a number of fundamental questions. For example, how does super…
▽ More
The charge density wave in the high-temperature superconductor YBa$_2$Cu$_3$O$_{7-x}$ (YBCO) is now known to have two different ordering tendencies differentiated by their $c$-axis correlations. These correspond to ferro- (F-CDW) and antiferro- (AF-CDW) couplings between CDW in neighbouring CuO$_2$ bilayers. This discovery has prompted a number of fundamental questions. For example, how does superconductivity adjust to two competing orders and are either of these orders responsible for the electronic reconstruction? Here we use high-energy x-ray diffraction to study YBa$_2$Cu$_3$O$_{6.67}$ as a function of magnetic field and temperature. We show that regions of the sample with F-CDW correlations suppress superconductivity more strongly than those with AF-CDW correlations. This implies that an inhomogeneous superconducting state exists, in which some regions show a weak or fragile form of superconductivity. By comparison of F-CDW and AF-CDW correlation lengths, it is furthermore concluded that F-CDW ordering is sufficiently long-range to modify the electronic structure. Our study thus suggests that F-CDW correlations have an important impact on superconducting and normal state properties of underdoped YBCO.
△ Less
Submitted 2 March, 2020; v1 submitted 20 September, 2019;
originally announced September 2019.
-
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free
Authors:
Daniel Neider,
Alexander Weinert,
Martin Zimmermann
Abstract:
Linear Temporal Logic (LTL) is the standard specification language for reactive systems and is successfully applied in industrial settings. However, many shortcomings of LTL have been identified in the literature, among them the limited expressiveness, the lack of quantitative features, and the inability to express robustness. There is work on overcoming these shortcomings, but each of these is ty…
▽ More
Linear Temporal Logic (LTL) is the standard specification language for reactive systems and is successfully applied in industrial settings. However, many shortcomings of LTL have been identified in the literature, among them the limited expressiveness, the lack of quantitative features, and the inability to express robustness. There is work on overcoming these shortcomings, but each of these is typically addressed in isolation. This is insufficient for applications where all shortcomings manifest themselves simultaneously. Here, we tackle this issue by introducing logics that address more than one shortcoming. To this end, we combine the logics Linear Dynamic Logic, Prompt-LTL, and robust LTL, each addressing one aspect, to new logics. For all combinations of two aspects, the resulting logic has the same desirable algorithmic properties as plain LTL. In particular, the highly efficient algorithmic backends that have been developed for LTL are also applicable to these new logics. Finally, we discuss how to address all three aspects simultaneously.
△ Less
Submitted 17 September, 2019;
originally announced September 2019.
-
T^3-Stern-Gerlach Matter-Wave Interferometer
Authors:
O. Amit,
Y. Margalit,
O. Dobkowski,
Z. Zhou,
Y. Japha,
M. Zimmermann,
M. A. Efremov,
F. A. Narducci,
E. M. Rasel,
W. P. Schleich,
R. Folman
Abstract:
We present a unique matter-wave interferometer whose phase scales with the cube of the time the atom spends in the interferometer. Our scheme is based on a full-loop Stern-Gerlach interferometer incorporating four magnetic field gradient pulses to create a state-dependent force. In contrast to typical atom interferometers which make use of laser light for the splitting and recombination of the wav…
▽ More
We present a unique matter-wave interferometer whose phase scales with the cube of the time the atom spends in the interferometer. Our scheme is based on a full-loop Stern-Gerlach interferometer incorporating four magnetic field gradient pulses to create a state-dependent force. In contrast to typical atom interferometers which make use of laser light for the splitting and recombination of the wave packets, this realization uses no light and can therefore serve as a high-precision surface probe at very close distances.
△ Less
Submitted 11 August, 2019;
originally announced August 2019.
-
The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas
Authors:
Corto Mascle,
Martin Zimmermann
Abstract:
HyperLTL, the extension of Linear Temporal Logic by trace quantifiers, is a uniform framework for expressing information flow policies by relating multiple traces of a security-critical system. HyperLTL has been successfully applied to express fundamental security policies like noninterference and observational determinism, but has also found applications beyond security, e.g., distributed protoco…
▽ More
HyperLTL, the extension of Linear Temporal Logic by trace quantifiers, is a uniform framework for expressing information flow policies by relating multiple traces of a security-critical system. HyperLTL has been successfully applied to express fundamental security policies like noninterference and observational determinism, but has also found applications beyond security, e.g., distributed protocols and coding theory. However, HyperLTL satisfiability is undecidable as soon as there are existential quantifiers in the scope of a universal one. To overcome this severe limitation to applicability, we investigate here restricted variants of the satisfiability problem to pinpoint the decidability border.
First, we restrict the space of admissible models and show decidability when restricting the search space to models of bounded size or to finitely representable ones. Second, we consider formulas with restricted nesting of temporal operators and show that nesting depth one yields decidability for a slightly larger class of quantifier prefixes. We provide tight complexity bounds in almost all cases.
△ Less
Submitted 13 December, 2019; v1 submitted 11 July, 2019;
originally announced July 2019.
-
On orbit performance of the GRACE Follow-On Laser Ranging Interferometer
Authors:
Klaus Abich,
Claus Braxmaier,
Martin Gohlke,
Josep Sanjuan,
Alexander Abramovici,
Brian Bachman Okihiro,
David C. Barr,
Maxime P. Bize,
Michael J. Burke,
Ken C. Clark,
Glenn de Vine,
Jeffrey A. Dickson,
Serge Dubovitsky,
William M. Folkner,
Samuel Francis,
Martin S. Gilbert,
Mark Katsumura,
William Klipstein,
Kameron Larsen,
Carl Christian Liebe,
Jehhal Liu,
Kirk McKenzie,
Phillip R. Morton,
Alexander T. Murray,
Don J. Nguyen
, et al. (58 additional authors not shown)
Abstract:
The Laser Ranging Interferometer (LRI) instrument on the Gravity Recovery and Climate Experiment (GRACE) Follow-On mission has provided the first laser interferometric range measurements between remote spacecraft, separated by approximately 220 km. Autonomous controls that lock the laser frequency to a cavity reference and establish the 5 degree of freedom two-way laser link between remote spacecr…
▽ More
The Laser Ranging Interferometer (LRI) instrument on the Gravity Recovery and Climate Experiment (GRACE) Follow-On mission has provided the first laser interferometric range measurements between remote spacecraft, separated by approximately 220 km. Autonomous controls that lock the laser frequency to a cavity reference and establish the 5 degree of freedom two-way laser link between remote spacecraft succeeded on the first attempt. Active beam pointing based on differential wavefront sensing compensates spacecraft attitude fluctuations. The LRI has operated continuously without breaks in phase tracking for more than 50 days, and has shown biased range measurements similar to the primary ranging instrument based on microwaves, but with much less noise at a level of $1\,{\rm nm}/\sqrt{\rm Hz}$ at Fourier frequencies above 100 mHz.
△ Less
Submitted 28 June, 2019;
originally announced July 2019.
-
Performance of the large scale HV-CMOS pixel sensor MuPix8
Authors:
H. Augustin,
N. Berger,
C. Blattgerste,
S. Dittmeier,
F. Ehrler,
C Grzesik,
J. Hammerich. A. Herkert,
L. Huth,
D. Immig,
A. Kozlinskiy,
M. Köppel,
J. Kröger,
F. Meier,
A. Meneses Gonzales,
M. Müller,
L. Noehte,
I. Perić,
M. Prathapan,
T. Rudzki,
R. Schimassek,
A. Schöning,
I. Sorokin,
F. Stieler,
A. Tyukin,
T. Wagner
, et al. (4 additional authors not shown)
Abstract:
The Mu3e experiment is searching for the charged lepton flavour violating decay $ μ^+\rightarrow e^+ e^- e^+ $, aiming for an ultimate sensitivity of one in $10^{16}$ decays. In an environment of up to $10^9$ muon decays per second the detector needs to provide precise vertex, time and momentum information to suppress accidental and physics background. The detector consists of cylindrical layers o…
▽ More
The Mu3e experiment is searching for the charged lepton flavour violating decay $ μ^+\rightarrow e^+ e^- e^+ $, aiming for an ultimate sensitivity of one in $10^{16}$ decays. In an environment of up to $10^9$ muon decays per second the detector needs to provide precise vertex, time and momentum information to suppress accidental and physics background. The detector consists of cylindrical layers of $50\, μ\text{m}$ thin High Voltage Monolithic Active Pixel Sensors (HV-MAPS) placed in a $1\,\text{T}$ magnetic field. The measurement of the trajectories of the decay particles allows for a precise vertex and momentum reconstruction. Additional layers of fast scintillating fibre and tile detectors provide sub-nanosecond time resolution. The MuPix8 chip is the first large scale prototype, proving the scalability of the HV-MAPS technology. It is produced in the AMS aH18 $180\, \text{nm}$ HV-CMOS process. It consists of three sub-matrices, each providing an untriggered datastream of more than $10\,\text{MHits}/\text{s}$. The latest results from laboratory and testbeam characterisation are presented, showing an excellent performance with efficiencies $>99.6\,\text{\%}$ and a time resolution better than $10\, \text{ns}$ achieved with time walk correction.
△ Less
Submitted 22 May, 2019;
originally announced May 2019.
-
Two Decades of SCADA Exploitation: A Brief History
Authors:
Simon Duque Anton,
Daniel Fraunholz,
Christoph Lipps,
Frederic Pohl,
Marc Zimmermann,
Hans D. Schotten
Abstract:
Since the early 1960, industrial process control has been applied by electric systems. In the mid 1970's, the term SCADA emerged, describing the automated control and data acquisition. Since most industrial and automation networks were physically isolated, security was not an issue. This changed, when in the early 2000's industrial networks were opened to the public internet. The reasons were mani…
▽ More
Since the early 1960, industrial process control has been applied by electric systems. In the mid 1970's, the term SCADA emerged, describing the automated control and data acquisition. Since most industrial and automation networks were physically isolated, security was not an issue. This changed, when in the early 2000's industrial networks were opened to the public internet. The reasons were manifold. Increased interconnectivity led to more productivity, simplicity and ease of use. It decreased the configuration overhead and downtimes for system adjustments. However, it also led to an abundance of new attack vectors. In recent time, there has been a remarkable amount of attacks on industrial companies and infrastructures. In this paper, known attacks on industrial systems are analysed. This is done by investigating the exploits that are available on public sources. The different types of attacks and their points of entry are reviewed in this paper. Trends in exploitation as well as targeted attack campaigns against industrial enterprises are introduced.
△ Less
Submitted 21 May, 2019;
originally announced May 2019.
-
A tutorial on recursive models for analyzing and predicting path choice behavior
Authors:
Maëlle Zimmermann,
Emma Fre**ger
Abstract:
The problem at the heart of this tutorial consists in modeling the path choice behavior of network users. This problem has been extensively studied in transportation science, where it is known as the route choice problem. In this literature, individuals' choice of paths are typically predicted using discrete choice models. This article is a tutorial on a specific category of discrete choice models…
▽ More
The problem at the heart of this tutorial consists in modeling the path choice behavior of network users. This problem has been extensively studied in transportation science, where it is known as the route choice problem. In this literature, individuals' choice of paths are typically predicted using discrete choice models. This article is a tutorial on a specific category of discrete choice models called recursive, and it makes three main contributions: First, for the purpose of assisting future research on route choice, we provide a comprehensive background on the problem, linking it to different fields including inverse optimization and inverse reinforcement learning. Second, we formally introduce the problem and the recursive modeling idea along with an overview of existing models, their properties and applications. Third, we extensively analyze illustrative examples from different angles so that a novice reader can gain intuition on the problem and the advantages provided by recursive models in comparison to path-based ones.
△ Less
Submitted 19 March, 2020; v1 submitted 2 May, 2019;
originally announced May 2019.
-
Machine learning for early prediction of circulatory failure in the intensive care unit
Authors:
Stephanie L. Hyland,
Martin Faltys,
Matthias Hüser,
Xinrui Lyu,
Thomas Gumbsch,
Cristóbal Esteban,
Christian Bock,
Max Horn,
Michael Moor,
Bastian Rieck,
Marc Zimmermann,
Dean Bodenham,
Karsten Borgwardt,
Gunnar Rätsch,
Tobias M. Merz
Abstract:
Intensive care clinicians are presented with large quantities of patient information and measurements from a multitude of monitoring systems. The limited ability of humans to process such complex information hinders physicians to readily recognize and act on early signs of patient deterioration. We used machine learning to develop an early warning system for circulatory failure based on a high-res…
▽ More
Intensive care clinicians are presented with large quantities of patient information and measurements from a multitude of monitoring systems. The limited ability of humans to process such complex information hinders physicians to readily recognize and act on early signs of patient deterioration. We used machine learning to develop an early warning system for circulatory failure based on a high-resolution ICU database with 240 patient years of data. This automatic system predicts 90.0% of circulatory failure events (prevalence 3.1%), with 81.8% identified more than two hours in advance, resulting in an area under the receiver operating characteristic curve of 94.0% and area under the precision-recall curve of 63.0%. The model was externally validated in a large independent patient cohort.
△ Less
Submitted 19 April, 2019; v1 submitted 16 April, 2019;
originally announced April 2019.
-
Universality in a one-dimensional three-body system
Authors:
Lucas Happ,
Matthias Zimmermann,
Santiago I. Betelu,
Wolfgang P. Schleich,
Maxim A. Efremov
Abstract:
We study a heavy-heavy-light three-body system confined to one space dimension. Both binding energies and corresponding wave functions are obtained for (i) the zero-range, and (ii) two finite-range attractive heavy-light interaction potentials. In case of the zero-range potential, we apply the method of Skorniakov and Ter-Martirosian to explore the accuracy of the Born-Oppenheimer approach. For th…
▽ More
We study a heavy-heavy-light three-body system confined to one space dimension. Both binding energies and corresponding wave functions are obtained for (i) the zero-range, and (ii) two finite-range attractive heavy-light interaction potentials. In case of the zero-range potential, we apply the method of Skorniakov and Ter-Martirosian to explore the accuracy of the Born-Oppenheimer approach. For the finite-range potentials, we solve the Schrödinger equation numerically using a pseudospectral method. We demonstrate that when the two-body ground state energy approaches zero, the three-body bound states display a universal behavior, independent of the shape of the interaction potential.
△ Less
Submitted 11 June, 2019; v1 submitted 16 April, 2019;
originally announced April 2019.
-
High-temperature ferroelectric order and magnetic field-cooled effect driven magnetoelectric coupling in R2BaCuO5 (R= Er, Dy, Sm)
Authors:
A. Indra,
S. Mukherjee,
S. Majumdar,
O. Gutowski,
M. v. Zimmermann,
S. Giri
Abstract:
The high-temperature ferroelectric order and a remarkable magnetoelectric effect driven by the magnetic field cooling are reported in R2BaCuO5 (R = Er, Dy, Sm) series. The ferroelectric (FE) orders are observed at much higher temperatures than their magnetic orders for all three members. The value of FE Curie temperature (TFE) is considerably high as ~ 235 K with the polarization value (P) of ~ 14…
▽ More
The high-temperature ferroelectric order and a remarkable magnetoelectric effect driven by the magnetic field cooling are reported in R2BaCuO5 (R = Er, Dy, Sm) series. The ferroelectric (FE) orders are observed at much higher temperatures than their magnetic orders for all three members. The value of FE Curie temperature (TFE) is considerably high as ~ 235 K with the polarization value (P) of ~ 1410 μC/m2 for a 4 kV/cm poling field in case of Er2BaCuO5, whereas the values of TFE and P are also promising as ~ 232 K and ~ 992 μC/m2 for Dy2BaCuO5, and ~ 184 K and ~ 980 μC/m2 for Sm2BaCuO5. The synchrotron diffraction studies of Dy2BaCuO5 confirm a structural transition at TFE to a polar Pna21 structure, which correlates the FE order. An unusual magnetoelectric coupling is observed below the R order for Er and Dy compounds and below the Cu order for Sm compound, when the pyroelectric current is recorded only with the magnetic field both in heating and cooling cycles i.e. typical magnetic field cooled effect. The magnetic field cooled effect driven emergence of polarization is ferroelectric in nature, as it reverses due to the opposite poling field. The unexplored R2BaCuO5 series attracts the community for large TFE, high P value, and strange magnetoelectric consequences.
△ Less
Submitted 3 April, 2019;
originally announced April 2019.
-
Early deafness leads to re-sha** of global functional connectivity beyond the auditory cortex
Authors:
Kamil Bonna,
Karolina Finc,
Maria Zimmermann,
Łukasz Bola,
Piotr Mostowski,
Maciej Szul,
Paweł Rutkowski,
Włodzisław Duch,
Artur Marchewka,
Katarzyna Jednoróg,
Marcin Szwed
Abstract:
Early sensory deprivation such as blindness or deafness shapes brain development in multiple ways. While it is established that deprived brain areas start to be engaged in the processing of stimuli from the remaining modalities and in high-level cognitive tasks, some reports have also suggested the possibility of structural and functional changes in non-deprived brain areas. We compared resting-st…
▽ More
Early sensory deprivation such as blindness or deafness shapes brain development in multiple ways. While it is established that deprived brain areas start to be engaged in the processing of stimuli from the remaining modalities and in high-level cognitive tasks, some reports have also suggested the possibility of structural and functional changes in non-deprived brain areas. We compared resting-state functional network organization of the brain in early-deaf adults and hearing controls by examining global network segregation and integration. Relative to hearing controls, deaf adults exhibited an altered modular organization, with regions of the salience network coupled with the fronto-parietal network. They showed weaker connections between auditory and somatomotor regions, stronger coupling between the fronto-parietal network and several other large-scale networks (visual, memory, cingulo-opercular and somatomotor), and an enlargement of the default mode network. Their overall functional segregation of brain networks was also lower. Our findings suggest that brain plasticity in deaf adults is not limited to changes in auditory cortex but additionally alters the coupling between other large-scale networks. These widespread functional connectivity changes may provide a mechanism for the superior behavioral performance of the deaf in visual and attentional tasks.
△ Less
Submitted 28 March, 2019;
originally announced March 2019.
-
Ferroelectric order associated with an ordered occupancy at the octahedral site of the inverse spinel structure of multiferroic NiFe2O4
Authors:
J. K. Dey,
A. Chatterjee,
S. Majumdar,
A. -C. Dippel,
O. Gutowski,
M. v. Zimmermann,
S. Giri
Abstract:
We report a ferroelectric order at ~ 98 K for NiFe2O4, which carries an inverse spinel structure with a centrosymmetric Fd3m structure at room temperature. The value of spontaneous electric polarization is considerably high as ~ 0.29 μC/cm2 for 5 kV/cm poling field. The electric polarization decreases considerably (~ 17 %) around liquid nitrogen temperature upon application of 50 kOe field, propos…
▽ More
We report a ferroelectric order at ~ 98 K for NiFe2O4, which carries an inverse spinel structure with a centrosymmetric Fd3m structure at room temperature. The value of spontaneous electric polarization is considerably high as ~ 0.29 μC/cm2 for 5 kV/cm poling field. The electric polarization decreases considerably (~ 17 %) around liquid nitrogen temperature upon application of 50 kOe field, proposing a significant magnetoelectric coupling. The synchrotron diffraction studies confirm a structural transition at ~ 98 K to a noncentrosymmetric structure of P4122 space group. The occurrence of polar order is associated with an ordered occupancy of Ni and Fe atoms at the octahedral sites of the P4122 structure, instead of random occupancies at the octahedral site of the inverse spinel structure. The results propose that NiFe2O4 is a new type-II multiferroic material.
△ Less
Submitted 5 March, 2019;
originally announced March 2019.
-
Small World with High Risks: A Study of Security Threats in the npm Ecosystem
Authors:
Markus Zimmermann,
Cristian-Alexandru Staicu,
Cam Tenny,
Michael Pradel
Abstract:
The popularity of JavaScript has lead to a large ecosystem of third-party packages available via the npm software package registry. The open nature of npm has boosted its growth, providing over 800,000 free and reusable software packages. Unfortunately, this open nature also causes security risks, as evidenced by recent incidents of single packages that broke or attacked software running on millio…
▽ More
The popularity of JavaScript has lead to a large ecosystem of third-party packages available via the npm software package registry. The open nature of npm has boosted its growth, providing over 800,000 free and reusable software packages. Unfortunately, this open nature also causes security risks, as evidenced by recent incidents of single packages that broke or attacked software running on millions of computers. This paper studies security risks for users of npm by systematically analyzing dependencies between packages, the maintainers responsible for these packages, and publicly reported security issues. Studying the potential for running vulnerable or malicious code due to third-party dependencies, we find that individual packages could impact large parts of the entire ecosystem. Moreover, a very small number of maintainer accounts could be used to inject malicious code into the majority of all packages, a problem that has been increasing over time. Studying the potential for accidentally using vulnerable code, we find that lack of maintenance causes many packages to depend on vulnerable code, even years after a vulnerability has become public. Our results provide evidence that npm suffers from single points of failure and that unmaintained packages threaten large code bases. We discuss several mitigation techniques, such as trusted maintainers and total first-party security, and analyze their potential effectiveness.
△ Less
Submitted 7 June, 2019; v1 submitted 25 February, 2019;
originally announced February 2019.