Showing 101–150 of 605 results for author: Mueller, C

Phase Analysis for a family of Stochastic Reaction-Diffusion Equations

Authors: Davar Khoshnevisan, Kunwoo Kim, Carl Mueller, Shang-Yuan Shiu

Abstract: We consider a reaction-diffusion equation of the type \[ \partial_tψ= \partial^2_xψ+ V(ψ) + λσ(ψ)\dot{W} \qquad\text{on $(0\,,\infty)\times\mathbb{T}$}, \] subject to a "nice" initial value and periodic boundary, where $\mathbb{T}=[-1\,,1]$ and $\dot{W}$ denotes space-time white noise. The reaction term $V:\mathbb{R}\to\mathbb{R}$ belongs to a large family of functions that includes Fisher--KP… ▽ More We consider a reaction-diffusion equation of the type \[ \partial_tψ= \partial^2_xψ+ V(ψ) + λσ(ψ)\dot{W} \qquad\text{on $(0\,,\infty)\times\mathbb{T}$}, \] subject to a "nice" initial value and periodic boundary, where $\mathbb{T}=[-1\,,1]$ and $\dot{W}$ denotes space-time white noise. The reaction term $V:\mathbb{R}\to\mathbb{R}$ belongs to a large family of functions that includes Fisher--KPP nonlinearities [$V(x)=x(1-x)$] as well as Allen-Cahn potentials [$V(x)=x(1-x)(1+x)$], the multiplicative nonlinearity $σ:\mathbb{R}\to\mathbb{R}$ is non random and Lipschitz continuous, and $λ>0$ is a non-random number that measures the strength of the effect of the noise $\dot{W}$. The principal finding of this paper is that: (i) When $λ$ is sufficiently large, the above equation has a unique invariant measure; and (ii) When $λ$ is sufficiently small, the collection of all invariant measures is a non-trivial line segment, in particular infinite. This proves an earlier prediction of Zimmerman et al. (2000). Our methods also say a great deal about the structure of these invariant measures. △ Less

Submitted 23 December, 2020; originally announced December 2020.

Comments: 69 pages

MSC Class: Primary: 60H15; Secondary: 35R60

Learning physically consistent mathematical models from data using group sparsity

Authors: Suryanarayana Maddu, Bevan L. Cheeseman, Christian L. Müller, Ivo F. Sbalzarini

Abstract: We propose a statistical learning framework based on group-sparse regression that can be used to 1) enforce conservation laws, 2) ensure model equivalence, and 3) guarantee symmetries when learning or inferring differential-equation models from measurement data. Directly learning $\textit{interpretable}$ mathematical models from data has emerged as a valuable modeling approach. However, in areas l… ▽ More We propose a statistical learning framework based on group-sparse regression that can be used to 1) enforce conservation laws, 2) ensure model equivalence, and 3) guarantee symmetries when learning or inferring differential-equation models from measurement data. Directly learning $\textit{interpretable}$ mathematical models from data has emerged as a valuable modeling approach. However, in areas like biology, high noise levels, sensor-induced correlations, and strong inter-system variability can render data-driven models nonsensical or physically inconsistent without additional constraints on the model structure. Hence, it is important to leverage $\textit{prior}$ knowledge from physical principles to learn "biologically plausible and physically consistent" models rather than models that simply fit the data best. We present a novel group Iterative Hard Thresholding (gIHT) algorithm and use stability selection to infer physically consistent models with minimal parameter tuning. We show several applications from systems biology that demonstrate the benefits of enforcing $\textit{priors}$ in data-driven modeling. △ Less

Submitted 11 December, 2020; originally announced December 2020.

Journal ref: Phys. Rev. E 103, 042310 (2021)

Phase Transitions in Germanium Telluride Nanoparticle Phase-Change Materials Studied by Time-Resolved X-Ray Diffraction

Authors: Ann-Katrin U. Michel, Felix Donat, Aurelia Siegfried, Olesya Yarema, Hanbing Fang, Maksym Yarema, Vanessa Wood, Christoph R. Müller, David J. Norris

Abstract: Germanium telluride (GeTe), a phase-change material, is known to exhibit four different structural phases: three at room temperature (one amorphous and two crystalline, $α$ and $γ$) and one at high temperature (crystalline $β$). Because transitions between the amorphous and crystalline phases lead to significant changes in material properties (e.g., refractive index and resistivity), GeTe has been… ▽ More Germanium telluride (GeTe), a phase-change material, is known to exhibit four different structural phases: three at room temperature (one amorphous and two crystalline, $α$ and $γ$) and one at high temperature (crystalline $β$). Because transitions between the amorphous and crystalline phases lead to significant changes in material properties (e.g., refractive index and resistivity), GeTe has been investigated as a phase-change material for photonics, thermoelectrics, ferroelectrics, and spintronics. Consequently, the temperature-dependent phase transitions in GeTe have been studied for bulk and thin-film GeTe, both fabricated by sputtering. Colloidal synthesis of nanoparticles offers a more flexible fabrication approach for amorphous and crystalline GeTe. These nanoparticles are known to exhibit size-dependent properties, such as an increased crystallization temperature for the amorphous-to-$α$ transition in sub-10\,nm GeTe particles. The $α$-to-$β$ phase transition is also expected to vary with size, but this effect has not yet been investigated for GeTe. Here, we report time-resolved X-ray diffraction of GeTe nanoparticles with different diameters and from different synthetic protocols. We observe a non-volatile amorphous-to-$α$ transition between 210$^{\circ}$C and 240$^{\circ}$C and a volatile $α$-to-$β$ transition between 370$^{\circ}$C and 420$^{\circ}$C. The latter transition was reversible and repeatable. While the transition temperatures are shifted relative to the values known for bulk GeTe, the nanoparticle-based samples still exhibit the same structural phases reported for sputtered GeTe. Thus, colloidal GeTe maintains the same general phase behavior as bulk GeTe while allowing for more flexible and accessible fabrication. Therefore, nanoparticle-based GeTe films show great potential for applications, such as in active photonics. △ Less

Submitted 20 November, 2020; originally announced November 2020.

Direct observation of the particle exchange phase of photons

Authors: Konrad Tschernig, Chris Müller, Malte Smoor, Tim Kroh, Janik Wolters, Oliver Benson, Kurt Busch, Armando Pérez-Leija

Abstract: Quantum theory stipulates that if two particles are identical in all physical aspects, the allowed states of the system are either symmetric or antisymmetric with respect to permutations of the particle labels. Experimentally, the symmetry of the states can be inferred indirectly from the fact that neglecting the correct exchange symmetry in the theoretical analysis leads to dramatic discrepancies… ▽ More Quantum theory stipulates that if two particles are identical in all physical aspects, the allowed states of the system are either symmetric or antisymmetric with respect to permutations of the particle labels. Experimentally, the symmetry of the states can be inferred indirectly from the fact that neglecting the correct exchange symmetry in the theoretical analysis leads to dramatic discrepancies with the observations. The only way to directly unveil the symmetry of the states for, say, two identical particles is through the interference of the original state and the physically permuted one, and measure the phase associated with the permutation process, the so-called particle exchange phase. Following this idea, we have measured the exchange phase of indistinguishable photons, providing direct evidence of the bosonic character of photons. △ Less

Submitted 17 November, 2020; originally announced November 2020.

Comments: 16 pages, 7 figures

c-lasso -- a Python package for constrained sparse and robust regression and classification

Authors: Léo Simpson, Patrick L. Combettes, Christian L. Müller

Abstract: We introduce c-lasso, a Python package that enables sparse and robust linear regression and classification with linear equality constraints. The underlying statistical forward model is assumed to be of the following form: \[ y = X β+ σε\qquad \textrm{subject to} \qquad Cβ=0 \] Here, $X \in \mathbb{R}^{n\times d}$is a given design matrix and the vector $y \in \mathbb{R}^{n}$ is a continuous or bina… ▽ More We introduce c-lasso, a Python package that enables sparse and robust linear regression and classification with linear equality constraints. The underlying statistical forward model is assumed to be of the following form: \[ y = X β+ σε\qquad \textrm{subject to} \qquad Cβ=0 \] Here, $X \in \mathbb{R}^{n\times d}$is a given design matrix and the vector $y \in \mathbb{R}^{n}$ is a continuous or binary response vector. The matrix $C$ is a general constraint matrix. The vector $β\in \mathbb{R}^{d}$ contains the unknown coefficients and $σ$ an unknown scale. Prominent use cases are (sparse) log-contrast regression with compositional data $X$, requiring the constraint $1_d^T β= 0$ (Aitchion and Bacon-Shone 1984) and the Generalized Lasso which is a special case of the described problem (see, e.g, (James, Paulson, and Rusmevichientong 2020), Example 3). The c-lasso package provides estimators for inferring unknown coefficients and scale (i.e., perspective M-estimators (Combettes and Müller 2020a)) of the form \[ \min_{β\in \mathbb{R}^d, σ\in \mathbb{R}_{0}} f\left(Xβ- y,σ \right) + λ\left\lVert β\right\rVert_1 \qquad \textrm{subject to} \qquad Cβ= 0 \] for several convex loss functions $f(\cdot,\cdot)$. This includes the constrained Lasso, the constrained scaled Lasso, and sparse Huber M-estimators with linear equality constraints. △ Less

Submitted 2 November, 2020; originally announced November 2020.

Ultrahigh Vacuum Packaging and Surface Cleaning for Quantum Devices

Authors: M. Mergenthaler, S. Paredes, P. Müller, C. Müller, S. Filipp, M. Sandberg, J. Hertzberg, V. P. Adiga, M. Brink, A. Fuhrer

Abstract: We describe design, implementation and performance of an ultra-high vacuum (UHV) package for superconducting qubit chips or other surface sensitive quantum devices. The UHV loading procedure allows for annealing, ultra-violet light irradiation, ion milling and surface passivation of quantum devices before sealing them into a measurement package. The package retains vacuum during the transfer to cr… ▽ More We describe design, implementation and performance of an ultra-high vacuum (UHV) package for superconducting qubit chips or other surface sensitive quantum devices. The UHV loading procedure allows for annealing, ultra-violet light irradiation, ion milling and surface passivation of quantum devices before sealing them into a measurement package. The package retains vacuum during the transfer to cryogenic temperatures by active pum** with a titanium getter layer. We characterize the treatment capabilities of the system and present measurements of flux tunable qubits with an average T$_1=84~μ$s and T$^{echo}_2=134~μ$s after vacuum-loading these samples into a bottom loading dilution refrigerator in the UHV-package. △ Less

Submitted 22 October, 2020; originally announced October 2020.

Comments: 5 pages, 6 figures

Journal ref: Review of Scientific Instruments 92, 025121 (2021)

Quantum measurement induces a many-body transition

Authors: Michael S. Ferguson, Leon C. Camenzind, Clemens Müller, Daniel E. F. Biesinger, Christian P. Scheller, Bernd Braunecker, Dominik M. Zumbühl, Oded Zilberberg

Abstract: The current revolution in quantum technologies relies on the ability to isolate, coherently control, and measure the state of quantum systems. The act of measurement in quantum mechanics, however, is naturally invasive as the measurement apparatus becomes entangled with the system that it observes. Even for ideal detectors, the measurement outcome always leads to a disturbance in the observed syst… ▽ More The current revolution in quantum technologies relies on the ability to isolate, coherently control, and measure the state of quantum systems. The act of measurement in quantum mechanics, however, is naturally invasive as the measurement apparatus becomes entangled with the system that it observes. Even for ideal detectors, the measurement outcome always leads to a disturbance in the observed system, a phenomenon called quantum measurement backaction. Here we report a profound change in the many-body properties of the measured system due to quantum measurements. We observe this backaction-induced transition in a mesoscopic double quantum-dot in the Coulomb-blockade regime, where we switch the electron population through measurement with a charge sensor dot. Our finding showcases the important changes in behaviour that can arise due to quantum detectors, which are ubiquitous in quantum technologies. △ Less

Submitted 9 October, 2020; originally announced October 2020.

Comments: 6 pages with 4 figures, supplementary: 8 pages with 8 figures. Comments welcome

Linear Breit-Wheeler pair production by high-energy bremsstrahlung photons colliding with an intense X-ray laser pulse

Authors: Alina Golub, Selym Villalba-Chávez, Hartmut Ruhl, Carsten Müller

Abstract: A possible setup for the experimental verification of linear Breit-Wheeler pair creation of electrons and positrons in photon-photon collisions is studied theoretically. It combines highly energetic bremsstrahlung photons, which are assumed to be generated by an incident beam of GeV electrons penetrating through a high-$Z$ target, with keV photons from an X-ray laser field, which is described as a… ▽ More A possible setup for the experimental verification of linear Breit-Wheeler pair creation of electrons and positrons in photon-photon collisions is studied theoretically. It combines highly energetic bremsstrahlung photons, which are assumed to be generated by an incident beam of GeV electrons penetrating through a high-$Z$ target, with keV photons from an X-ray laser field, which is described as a focused Gaussian pulse. We discuss the dependencies of the pair yields on the incident electron energy, target thickness, laser parameters, and collision geometry. It is shown that, for suitable conditions which are nowadays in reach at X-ray laser facilities, the resulting number of created particles seems to be well accessible for enabling the first experimental observation of the linear Breit-Wheeler process $γγ\to e^+e^-$. △ Less

Submitted 8 October, 2020; originally announced October 2020.

Comments: 8 pages, 5 figures

Journal ref: Phys. Rev. D 103, 016009 (2021)

Gravitational Test Beyond the First Post-Newtonian Order with the Shadow of the M87 Black Hole

Authors: Dimitrios Psaltis, Lia Medeiros, Pierre Christian, Feryal Ozel, Kazunori Akiyama, Antxon Alberdi, Walter Alef, Keiichi Asada, Rebecca Azulay, David Ball, Mislav Balokovic, John Barrett, Dan Bintley, Lindy Blackburn, Wilfred Boland, Geoffrey C. Bower, Michael Bremer, Christiaan D. Brinkerink, Roger Brissenden, Silke Britzen, Dominique Broguiere, Thomas Bronzwaer, Do-Young Byun, John E. Carlstrom, Andrew Chael , et al. (163 additional authors not shown)

Abstract: The 2017 Event Horizon Telescope (EHT) observations of the central source in M87 have led to the first measurement of the size of a black-hole shadow. This observation offers a new and clean gravitational test of the black-hole metric in the strong-field regime. We show analytically that spacetimes that deviate from the Kerr metric but satisfy weak-field tests can lead to large deviations in the p… ▽ More The 2017 Event Horizon Telescope (EHT) observations of the central source in M87 have led to the first measurement of the size of a black-hole shadow. This observation offers a new and clean gravitational test of the black-hole metric in the strong-field regime. We show analytically that spacetimes that deviate from the Kerr metric but satisfy weak-field tests can lead to large deviations in the predicted black-hole shadows that are inconsistent with even the current EHT measurements. We use numerical calculations of regular, parametric, non-Kerr metrics to identify the common characteristic among these different parametrizations that control the predicted shadow size. We show that the shadow-size measurements place significant constraints on deviation parameters that control the second post-Newtonian and higher orders of each metric and are, therefore, inaccessible to weak-field tests. The new constraints are complementary to those imposed by observations of gravitational waves from stellar-mass sources. △ Less

Submitted 2 October, 2020; originally announced October 2020.

Comments: Physical Review Letters

Equilibrium stressability of multidimensional frameworks

Authors: Oleg Karpenkov, Christian Müller, Gaiane Panina, Brigitte Servatius, Herman Servatius, Dirk Siersma

Abstract: We prove an equilibrium stressability criterium for trivalent multidimensional tensegrities. The criterium appears in different languages: (1) in terms of stress monodromies, (2) in terms of surgeries, (3) in terms of exact discrete 1-forms, and (4) in Cayley algebra terms. We prove an equilibrium stressability criterium for trivalent multidimensional tensegrities. The criterium appears in different languages: (1) in terms of stress monodromies, (2) in terms of surgeries, (3) in terms of exact discrete 1-forms, and (4) in Cayley algebra terms. △ Less

Submitted 11 September, 2020; originally announced September 2020.

Comments: 30 pages, 13 figures

MSC Class: 52C25; 57Q99

Discrete Curvature and Torsion from Cross-Ratios

Authors: Christian Müller, Amir Vaxman

Abstract: Motivated by a Möbius invariant subdivision scheme for polygons, we study a curvature notion for discrete curves where the cross-ratio plays an important role in all our key definitions. Using a particular Möbius invariant point-insertion-rule, comparable to the classical four-point-scheme, we construct circles along discrete curves. Asymptotic analysis shows that these circles defined on a sample… ▽ More Motivated by a Möbius invariant subdivision scheme for polygons, we study a curvature notion for discrete curves where the cross-ratio plays an important role in all our key definitions. Using a particular Möbius invariant point-insertion-rule, comparable to the classical four-point-scheme, we construct circles along discrete curves. Asymptotic analysis shows that these circles defined on a sampled curve converge to the smooth curvature circles as the sampling density increases. We express our discrete torsion for space curves, which is not a Möbius invariant notion, using the cross-ratio and show its asymptotic behavior in analogy to the curvature. △ Less

Submitted 30 August, 2020; originally announced August 2020.

TZ4Fabric: Executing Smart Contracts with ARM TrustZone

Authors: Christina Müller, Marcus Brandenburger, Christian Cachin, Pascal Felber, Christian Göttel, Valerio Schiavoni

Abstract: Blockchain technology promises to revolutionize manufacturing industries. For example, several supply-chain use-cases may benefit from transparent asset tracking and automated processes using smart contracts. Several real-world deployments exist where the transparency aspect of a blockchain is both an advantage and a disadvantage at the same time. The exposure of assets and business interaction re… ▽ More Blockchain technology promises to revolutionize manufacturing industries. For example, several supply-chain use-cases may benefit from transparent asset tracking and automated processes using smart contracts. Several real-world deployments exist where the transparency aspect of a blockchain is both an advantage and a disadvantage at the same time. The exposure of assets and business interaction represent critical risks. However, there are typically no confidentiality guarantees to protect the smart contract logic as well as the processed data. Trusted execution environments (TEE) are an emerging technology available in both edge or mobile-grade processors (e.g., Arm TrustZone) and server-grade processors (e.g., Intel SGX). TEEs shield both code and data from malicious attackers. This practical experience report presents TZ4Fabric, an extension of Hyperledger Fabric to leverage Arm TrustZone for the secure execution of smart contracts. Our design minimizes the trusted computing base executed by avoiding the execution of a whole Hyperledger Fabric node inside the TEE, which continues to run in untrusted environment. Instead, we restrict it to the execution of only the smart contract. The TZ4Fabric prototype exploits the open-source OP-TEE framework, as it supports deployments on cheap low-end devices (e.g., Raspberry Pis). Our experimental results highlight the performance trade-off due to the additional security guarantees provided by Arm TrustZone. TZ4Fabric will be released as open-source. △ Less

Submitted 23 November, 2020; v1 submitted 26 August, 2020; originally announced August 2020.

Comments: European Commission Projet: LEGaTO - Low Energy Toolset for Heterogeneous Computing (EC-H2020-780681)

Journal ref: 2020 International Symposium on Reliable Distributed Systems (SRDS), Shanghai, China, 2020, pp. 31-40

The Link Between Packing Morphology and the Distribution of Contact Forces and Stresses in Packings of Highly Non-Convex Particles

Authors: Nicholas A. Conzelmann, Alexander Penn, Manfred N. Partl, Frank J. Clemens, Lily D. Poulikakos, Christoph R. Müller

Abstract: An external load on a particle packing is distributed internally through a heterogeneous network of particle contacts. This contact force distribution determines the stability of the particle packing and the resulting structure. Here, we investigate the homogeneity of the contact force distribution in packings of highly non-convex particles both in two-dimensional (2D) and three-dimensional (3D) p… ▽ More An external load on a particle packing is distributed internally through a heterogeneous network of particle contacts. This contact force distribution determines the stability of the particle packing and the resulting structure. Here, we investigate the homogeneity of the contact force distribution in packings of highly non-convex particles both in two-dimensional (2D) and three-dimensional (3D) packings. A newly developed discrete element method is used to model packings of non-convex particles of varying sphericity. Our results establish that in 3D packings the distribution of the contact forces in the normal direction becomes increasingly heterogeneous with decreasing particle sphericity. However, in 2D packings the contact force distribution is independent of particle sphericity, indicating that results obtained in 2D packings cannot be extrapolated readily to 3D packings. Radial distribution functions (RDFs) show that the crystallinity in 3D packings decreases with decreasing particle sphericity. We link the decreasing homogeneity of the contact force distributions to the decreasing crystallinity of 3D packings. These findings are complementary to the previously observed link between the heterogeneity of the contact force distribution and a decreasing packing crystallinity due to an increasing polydispersity of spherical particles. △ Less

Submitted 21 December, 2020; v1 submitted 23 August, 2020; originally announced August 2020.

Comments: 28 pages, 13 figures. This version of the manuscript has been accepted for publication in Physical Review E

Journal ref: Phys. Rev. E 102, 062902 (2020)

General and complete description of temporal photon correlations in cavity-enhanced spontaneous parametric down-conversion

Authors: Chris Müller, Andreas Ahlrichs, Oliver Benson

Abstract: Heralded single photon sources are the most commonly used sources for optical quantum technology applications. There is strong demand for accurate prediction of their spectral features and temporal correlations with ever increasing precision. This is particularly important in connection with the intrinsically stochastic photon-pair generation process in heralded sources. Here we present a complete… ▽ More Heralded single photon sources are the most commonly used sources for optical quantum technology applications. There is strong demand for accurate prediction of their spectral features and temporal correlations with ever increasing precision. This is particularly important in connection with the intrinsically stochastic photon-pair generation process in heralded sources. Here we present a complete theoretical description of the temporal correlation of a signal-idler, signal-signal and signal-signal-idler coincidences of photons generated by continuous wave pumped cavity-enhanced spontaneous parametric down-conversion. The theory excellently predicts the measurements, which has been experimentally confirmed in our setup utilizing single photon detectors with high temporal resolution. This enables us to resolve and analyze the multi-photon correlation functions in great detail. △ Less

Submitted 23 July, 2020; originally announced July 2020.

Journal ref: Phys. Rev. A 102, 053504 (2020)

Scaling Polyhedral Neural Network Verification on GPUs

Authors: Christoph Müller, François Serre, Gagandeep Singh, Markus Püschel, Martin Vechev

Abstract: Certifying the robustness of neural networks against adversarial attacks is essential to their reliable adoption in safety-critical systems such as autonomous driving and medical diagnosis. Unfortunately, state-of-the-art verifiers either do not scale to bigger networks or are too imprecise to prove robustness, limiting their practical adoption. In this work, we introduce GPUPoly, a scalable verif… ▽ More Certifying the robustness of neural networks against adversarial attacks is essential to their reliable adoption in safety-critical systems such as autonomous driving and medical diagnosis. Unfortunately, state-of-the-art verifiers either do not scale to bigger networks or are too imprecise to prove robustness, limiting their practical adoption. In this work, we introduce GPUPoly, a scalable verifier that can prove the robustness of significantly larger deep neural networks than previously possible. The key technical insight behind GPUPoly is the design of custom, sound polyhedra algorithms for neural network verification on a GPU. Our algorithms leverage the available GPU parallelism and inherent sparsity of the underlying verification task. GPUPoly scales to large networks: for example, it can prove the robustness of a 1M neuron, 34-layer deep residual network in approximately 34.5 ms. We believe GPUPoly is a promising step towards practical verification of real-world neural networks. △ Less

Submitted 18 May, 2021; v1 submitted 20 July, 2020; originally announced July 2020.

Comments: Müller and Serre contributed equally to this work

Journal ref: Proc. MLSys, 2021

Gamma-ray emission in radio galaxies under the VLBI scope -- II. The relationship between gamma-ray emission and parsec-scale jets in radio galaxies

Authors: R. Angioni, E. Ros, M. Kadler, R. Ojha, C. Müller, P. G. Edwards, P. R. Burd, B. Carpenter, M. S. Dutka, S. Gulyaev, H. Hase, S. Horiuchi, F. Krauß, J. E. J. Lovell, T. Natusch, C. Phillips, C. Plötz, J. F. H. Quick, F. Rösch, R. Schulz, J. Stevens, A. K. Tzioumis, S. Weston, J. Wilms, J. A. Zensus

Abstract: Following our study of the radio and high-energy properties of $γ$-ray-emitting radio galaxies, here we investigate the kinematic and spectral properties of the parsec-scale jets of radio galaxies that have not yet been detected by Fermi-LAT. We take advantage of the regular VLBI observations provided by the TANAMI monitoring program, and explore the kinematic properties of six $γ$-ray-faint radio… ▽ More Following our study of the radio and high-energy properties of $γ$-ray-emitting radio galaxies, here we investigate the kinematic and spectral properties of the parsec-scale jets of radio galaxies that have not yet been detected by Fermi-LAT. We take advantage of the regular VLBI observations provided by the TANAMI monitoring program, and explore the kinematic properties of six $γ$-ray-faint radio galaxies. We include publicly available VLBI kinematics of $γ$-ray-quiet radio galaxies monitored by the MOJAVE program and perform a Fermi-LAT analysis, deriving upper limits. We combine these results with those from our previous paper to construct the largest sample of radio galaxies with combined VLBI and $γ$-ray measurements to date. We find superluminal motion up to $β_\mathrm{app}=3.6$ in the jet of PKS 2153$-$69. We find a clear trend of higher apparent speed as a function of distance from the jet core on scales of $\sim10^5\,R_s$, corresponding to the end of the collimation and acceleration zone in nearby radio galaxies. We find evidence of subluminal apparent motion in the jets of PKS 1258$-$321 and IC 4296, and no measurable motion for PKS 1549$-$79, PKS 1733$-$565 and PKS 2027$-$308. We compare the VLBI properties of $γ$-ray-detected and undetected radio galaxies, and find significantly different distributions of median core flux density, and, possibly, of median core brightness temperature. We find a significant correlation between median core flux density and $γ$-ray flux, but no correlation with typical Doppler boosting indicators such as median core brightness temperature and core dominance. Our study suggests that high-energy emission from radio galaxies is related to parsec-scale radio emission from the inner jet, but is not driven by Doppler boosting effects, in contrast to the situation in their blazar counterparts. △ Less

Submitted 20 July, 2020; originally announced July 2020.

Comments: Main text: 15 pages, 12 figures, 6 tables. Appendix: 14 pages, 20 figures, 13 tables. Accepted for publication in Astronomy and Astrophysics

Journal ref: A&A 641, A152 (2020)

Importance of Tuning Hyperparameters of Machine Learning Algorithms

Authors: Hilde J. P. Weerts, Andreas C. Mueller, Joaquin Vanschoren

Abstract: The performance of many machine learning algorithms depends on their hyperparameter settings. The goal of this study is to determine whether it is important to tune a hyperparameter or whether it can be safely set to a default value. We present a methodology to determine the importance of tuning a hyperparameter based on a non-inferiority test and tuning risk: the performance loss that is incurred… ▽ More The performance of many machine learning algorithms depends on their hyperparameter settings. The goal of this study is to determine whether it is important to tune a hyperparameter or whether it can be safely set to a default value. We present a methodology to determine the importance of tuning a hyperparameter based on a non-inferiority test and tuning risk: the performance loss that is incurred when a hyperparameter is not tuned, but set to a default value. Because our methods require the notion of a default parameter, we present a simple procedure that can be used to determine reasonable default parameters. We apply our methods in a benchmark study using 59 datasets from OpenML. Our results show that leaving particular hyperparameters at their default value is non-inferior to tuning these hyperparameters. In some cases, leaving the hyperparameter at its default value even outperforms tuning it using a search procedure with a limited number of iterations. △ Less

Submitted 15 July, 2020; originally announced July 2020.

A novel regularization strategy for the local discontinuous Galerkin method for level-set reinitialization

Authors: Fabian Föll, Christoph Müller, Jonas Zeifang, Claus-Dieter Munz

Abstract: In this paper we propose a novel regularization strategy for the local discontinuous Galerkin method to solve the Hamilton-Jacobi equation in the context of level-set reinitialization. The novel regularization idea works in analogy to shock-capturing schemes for discontinuous Galerkin methods, which are based on finite volume sub-cells. In this spirit, the local discontinuous Galerkin method is co… ▽ More In this paper we propose a novel regularization strategy for the local discontinuous Galerkin method to solve the Hamilton-Jacobi equation in the context of level-set reinitialization. The novel regularization idea works in analogy to shock-capturing schemes for discontinuous Galerkin methods, which are based on finite volume sub-cells. In this spirit, the local discontinuous Galerkin method is combined with an upwind/downwind finite volume sub-cell discretization, which is applied in areas of low regularity. To ensure the applicability on unstructured meshes, the finite volume discretization is based on a least squares approach. △ Less

Submitted 14 July, 2020; originally announced July 2020.

Comments: 31 pages, 6 figures

MSC Class: 65M70; 65N35; 35Q35 ACM Class: G.1.0; G.1.8

Aharonov-Bohm interference as a probe of Majorana fermions

Authors: T. C. Bartolo, J. S. Smith, B. Muralidharan, C. Müller, T. M. Stace, J. H. Cole

Abstract: Majorana fermions act as their own antiparticle, and they have long been thought to be confined to the realm of pure theory. However, interest in them has recently resurfaced, as it was realized through the work of Kitaev that some experimentally accessible condensed matter systems can host these exotic excitations as bound states on the boundaries of 1D chains, and that their topological and non-… ▽ More Majorana fermions act as their own antiparticle, and they have long been thought to be confined to the realm of pure theory. However, interest in them has recently resurfaced, as it was realized through the work of Kitaev that some experimentally accessible condensed matter systems can host these exotic excitations as bound states on the boundaries of 1D chains, and that their topological and non-abelian nature holds promise for quantum computation. Unambiguously detecting the experimental signatures of Majorana bound states has turned out to be challenging, as many other phenomena lead to similar experimental behaviour. Here, we computationally study a ring comprised of two Kitaev model chains with tunnel coupling between them, where an applied magnetic field allows for Aharonov-Bohm interference in transport through the resulting ring structure. We use a non-equilibrium Green's function technique to analyse the transport properties of the ring in both the presence and absence of Majorana zero modes. Further, we show that these results are robust against weak disorder in the presence of an applied magnetic field. This computational model suggests another signature for the presence of these topologically protected bound states can be found in the magnetic field dependence of devices with loop geometries. △ Less

Submitted 13 August, 2021; v1 submitted 28 June, 2020; originally announced June 2020.

Comments: 12 pages, 10 figures. Included new section about disorder in the nanowires and the effect of this on our results

Journal ref: Phys. Rev. Research 2, 043430 (2020)

Fast computation of latent correlations

Authors: Grace Yoon, Christian L. Müller, Irina Gaynanova

Abstract: Latent Gaussian copula models provide a powerful means to perform multi-view data integration since these models can seamlessly express dependencies between mixed variable types (binary, continuous, zero-inflated) via latent Gaussian correlations. The estimation of these latent correlations, however, comes at considerable computational cost, having prevented the routine use of these models on high… ▽ More Latent Gaussian copula models provide a powerful means to perform multi-view data integration since these models can seamlessly express dependencies between mixed variable types (binary, continuous, zero-inflated) via latent Gaussian correlations. The estimation of these latent correlations, however, comes at considerable computational cost, having prevented the routine use of these models on high-dimensional data. Here, we propose a new computational approach for estimating latent correlations via a hybrid multi-linear interpolation and optimization scheme. Our approach speeds up the current state of the art computation by several orders of magnitude, thus allowing fast computation of latent Gaussian copula models even when the number of variables $p$ is large. We provide theoretical guarantees for the approximation error of our numerical scheme and support its excellent performance on simulated and real-world data. We illustrate the practical advantages of our method on high-dimensional sparse quantitative and relative abundance microbiome data as well as multi-view data from The Cancer Genome Atlas Project. Our method is implemented in the R package mixedCCA, available at https://github.com/irinagain/mixedCCA. △ Less

Submitted 3 November, 2020; v1 submitted 24 June, 2020; originally announced June 2020.

Comments: Main text: 21 pages and 4 figures. Supplementary material: 24 pages and 5 figures

Journal ref: Journal of Computational and Graphical Statistics, 30(4), 1249-1256, 2021

Uniqueness of a three-dimensional stochastic differential equation

Authors: Carl Mueller, Giang Truong

Abstract: In order to extend the study of uniqueness property of multi-dimensional systems of stochastic differential equations, in this paper, we look at the following three-dimensional system of equations, of which the two-dimensional case was well-studied before: $dX_t=Y_tdt\quad, dY_t=Z_tdt,\quad dZ_t=|X_t|^αdB_t$. We proved that if $(X_0,Y_0,Z_0)\neq(0,0,0)$, and $\frac{3}{4}<α<1$, then the system of e… ▽ More In order to extend the study of uniqueness property of multi-dimensional systems of stochastic differential equations, in this paper, we look at the following three-dimensional system of equations, of which the two-dimensional case was well-studied before: $dX_t=Y_tdt\quad, dY_t=Z_tdt,\quad dZ_t=|X_t|^αdB_t$. We proved that if $(X_0,Y_0,Z_0)\neq(0,0,0)$, and $\frac{3}{4}<α<1$, then the system of equations has a unique solution in the strong sense. △ Less

Submitted 16 June, 2020; originally announced June 2020.

Small ball probabilities and a support theorem for the stochastic heat equation

Authors: Siva Athreya, Mathew Joseph, Carl Mueller

Abstract: We consider the following stochastic partial differential equation on $t \geq 0, x\in[0,J], J \geq 1$ where we consider $[0,J]$ to be the circle with end points identified: \begin{equation*} \partial_t{\mathbf u}(t,x) =\frac{1}{2}\,\partial_x^2 {\mathbf u}(t,x) + {\mathbf g}(t,x,\mathbf u) + {\mathbf σ}(t,x, {\mathbf u})\dot {\mathbf W}(t,x) , \end{equation*} and $\dot {\mathbf W }(t,x)$ is 2-para… ▽ More We consider the following stochastic partial differential equation on $t \geq 0, x\in[0,J], J \geq 1$ where we consider $[0,J]$ to be the circle with end points identified: \begin{equation*} \partial_t{\mathbf u}(t,x) =\frac{1}{2}\,\partial_x^2 {\mathbf u}(t,x) + {\mathbf g}(t,x,\mathbf u) + {\mathbf σ}(t,x, {\mathbf u})\dot {\mathbf W}(t,x) , \end{equation*} and $\dot {\mathbf W }(t,x)$ is 2-parameter $d$-dimensional vector valued white noise and ${\mathbf σ}$ is function from ${\mathbb R}_+\times {\mathbb R} \times {\mathbb R}^d \rightarrow {\mathbb R}^d$ to space of symmetric $d\times d$ matrices which is Lipschitz in $\mathbf u$. We assume that $σ$ is uniformly elliptic and that $\mathbf g$ is uniformly bounded. Assuming that ${\mathbf u}(0,x) \equiv \mathbf 0$, we prove small-ball probabilities for the solution $\mathbf u$. We also prove a support theorem for solutions, when ${\mathbf u}(0,x)$ is not necessarily zero. △ Less

Submitted 14 February, 2021; v1 submitted 14 June, 2020; originally announced June 2020.

MSC Class: 60H15; 60G17; 60G60

Scaling Properties of a Moving Polymer

Authors: Carl Mueller, Eyal Neuman

Abstract: We set up an SPDE model for a moving, weakly self-avoiding polymer with intrinsic length $J$ taking values in $(0,\infty)$. Our main result states that the effective radius of the polymer is approximately $J^{5/3}$; evidently for large $J$ the polymer undergoes stretching. This contrasts with the equilibrium situation without the time variable, where many earlier results show that the effective ra… ▽ More We set up an SPDE model for a moving, weakly self-avoiding polymer with intrinsic length $J$ taking values in $(0,\infty)$. Our main result states that the effective radius of the polymer is approximately $J^{5/3}$; evidently for large $J$ the polymer undergoes stretching. This contrasts with the equilibrium situation without the time variable, where many earlier results show that the effective radius is approximately $J$. For such a moving polymer taking values in $\mathbf{R}^2$, we offer a conjecture that the effective radius is approximately $J^{5/4}$. △ Less

Submitted 30 October, 2020; v1 submitted 12 June, 2020; originally announced June 2020.

Comments: 37 pages

MSC Class: 60H15; 82D60

Domain-Specific Multi-Level IR Rewriting for GPU

Authors: Tobias Gysi, Christoph Müller, Oleksandr Zinenko, Stephan Herhut, Eddie Davis, Tobias Wicky, Oliver Fuhrer, Torsten Hoefler, Tobias Grosser

Abstract: Traditional compilers operate on a single generic intermediate representation (IR). These IRs are usually low-level and close to machine instructions. As a result, optimizations relying on domain-specific information are either not possible or require complex analysis to recover the missing information. In contrast, multi-level rewriting instantiates a hierarchy of dialects (IRs), lowers programs… ▽ More Traditional compilers operate on a single generic intermediate representation (IR). These IRs are usually low-level and close to machine instructions. As a result, optimizations relying on domain-specific information are either not possible or require complex analysis to recover the missing information. In contrast, multi-level rewriting instantiates a hierarchy of dialects (IRs), lowers programs level-by-level, and performs code transformations at the most suitable level. We demonstrate the effectiveness of this approach for the weather and climate domain. In particular, we develop a prototype compiler and design stencil- and GPU-specific dialects based on a set of newly introduced design principles. We find that two domain-specific optimizations (500 lines of code) realized on top of LLVM's extensible MLIR compiler infrastructure suffice to outperform state-of-the-art solutions. In essence, multi-level rewriting promises to herald the age of specialized compilers composed from domain- and target-specific dialects implemented on top of a shared infrastructure. △ Less

Submitted 27 July, 2020; v1 submitted 26 May, 2020; originally announced May 2020.

Comments: 12 pages, 16 figures

Benchmarking the noise sensitivity of different parametric two-qubit gates in a single superconducting quantum computing platform

Authors: M. Ganzhorn, G. Salis, D. J. Egger, A. Fuhrer, M. Mergenthaler, C. Müller, P. Müller, S. Paredes, M. Pechal, M. Werninghaus, S. Filipp

Abstract: The possibility to utilize different types of two-qubit gates on a single quantum computing platform adds flexibility in the decomposition of quantum algorithms. A larger hardware-native gate set may decrease the number of required gates, provided that all gates are realized with high fidelity. Here, we benchmark both controlled-Z (CZ) and exchange-type (iSWAP) gates using a parametrically driven… ▽ More The possibility to utilize different types of two-qubit gates on a single quantum computing platform adds flexibility in the decomposition of quantum algorithms. A larger hardware-native gate set may decrease the number of required gates, provided that all gates are realized with high fidelity. Here, we benchmark both controlled-Z (CZ) and exchange-type (iSWAP) gates using a parametrically driven tunable coupler that mediates the interaction between two superconducting qubits. Using randomized benchmarking protocols we estimate an error per gate of $0.9\pm0.03\%$ and $1.3\pm0.4\%$ fidelity for the CZ and the iSWAP gate, respectively. We argue that spurious $ZZ$-type couplings are the dominant error source for the iSWAP gate, and that phase stability of all microwave drives is of utmost importance. Such differences in the achievable fidelities for different two-qubit gates have to be taken into account when map** quantum algorithms to real hardware. △ Less

Submitted 14 May, 2020; v1 submitted 12 May, 2020; originally announced May 2020.

Comments: 24 pages, including supplementary information

Journal ref: Phys. Rev. Research 2, 033447 (2020)

Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs

Authors: Alberto Martin-Lopez, Sergio Segura, Carlos Müller, Antonio Ruiz-Cortés

Abstract: Web services often impose inter-parameter dependencies that restrict the way in which two or more input parameters can be combined to form valid calls to the service. Unfortunately, current specification languages for web services like the OpenAPI Specification (OAS) provide no support for the formal description of such dependencies, which makes it hardly possible to automatically discover and int… ▽ More Web services often impose inter-parameter dependencies that restrict the way in which two or more input parameters can be combined to form valid calls to the service. Unfortunately, current specification languages for web services like the OpenAPI Specification (OAS) provide no support for the formal description of such dependencies, which makes it hardly possible to automatically discover and interact with services without human intervention. In this article, we present an approach for the specification and automated analysis of inter-parameter dependencies in web APIs. We first present a domain-specific language, called Inter-parameter Dependency Language (IDL), for the specification of dependencies among input parameters in web services. Then, we propose a map** to translate an IDL document into a constraint satisfaction problem (CSP), enabling the automated analysis of IDL specifications using standard CSP-based reasoning operations. Specifically, we present a catalogue of nine analysis operations on IDL documents allowing to compute, for example, whether a given request satisfies all the dependencies of the service. Finally, we present a tool suite including an editor, a parser, an OAS extension, a constraint programming-aided library, and a test suite supporting IDL specifications and their analyses. Together, these contributions pave the way for a new range of specification-driven applications in areas such as code generation and testing. △ Less

Submitted 7 May, 2020; originally announced May 2020.

ACM Class: H.0; D.2

Interatomic distance dependence of resonant energy-transfer phenomena

Authors: F. Grüll, A. B. Voitkiv, C. Müller

Abstract: It is well known that interatomic or intermolecular interactions driven by two-center electronic dipole-dipole correlations fall off rapidly with the inter-site distance. We show, however, that the effective strength of interatomic reaction channels, which are triggered by a resonant field, can exhibit a nonmonotonous distance dependence, being strongly reduced when the atoms come closer. This sur… ▽ More It is well known that interatomic or intermolecular interactions driven by two-center electronic dipole-dipole correlations fall off rapidly with the inter-site distance. We show, however, that the effective strength of interatomic reaction channels, which are triggered by a resonant field, can exhibit a nonmonotonous distance dependence, being strongly reduced when the atoms come closer. This surprising result is demonstrated by considering resonant two-center photoionization as an example. Our findings are supported by available experimental data. △ Less

Submitted 7 April, 2020; originally announced April 2020.

Comments: 5 pages, 1 figure

Journal ref: Phys. Rev. Research 2, 033303 (2020)

Dissipative Rabi model in the dispersive regime

Authors: Clemens Müller

Abstract: The dispersive regime of circuit QED is the main workhorse for todays quantum computing prototypes based on superconducting qubits. Analytic descriptions of this model typically rely on the rotating wave approximation of the interaction between the qubits and resonators, using the Jaynes-Cummings model as starting point for the dispersive transformation. Here we present analytic results on the dis… ▽ More The dispersive regime of circuit QED is the main workhorse for todays quantum computing prototypes based on superconducting qubits. Analytic descriptions of this model typically rely on the rotating wave approximation of the interaction between the qubits and resonators, using the Jaynes-Cummings model as starting point for the dispersive transformation. Here we present analytic results on the dispersive regime of the dissipative Rabi model, without taking the rotating wave approximation of the underlying Hamiltonian. Using a recently developed hybrid perturbation theory based on the expansion of the time evolution on the Keldysh contour [Phys. Rev. A 95, 013847 (2017)], we derive simple analytic expressions for all experimentally relevant dynamical parameters like dispersive shift and resonator induced Purcell decay rate, focussing our analysis on a generic multi-level qubit. The analytical equations are easily tractable and reduce to the known Jaynes-Cummings results in the relevant limit. They however show qualitative differences at intermediate and large detuning, allowing for more accurate modelling of the interaction between superconducting qubits and resonators. In the limit of strong resonator driving, our results additionally predict new types of drive induced qubit dissipation and dephasing, not present in previous theories. △ Less

Submitted 6 July, 2020; v1 submitted 6 April, 2020; originally announced April 2020.

Comments: 10 pages, 6 Figures

Journal ref: Phys. Rev. Research 2, 033046 (2020)

Influence of nuclear motion on resonant two-center photoionization

Authors: F. Grüll, A. B. Voitkiv, C. Müller

Abstract: Photoionization of an atom in the presence of a neighboring atom of different species is studied. The latter first undergoes resonant photoexcitation, leading to an autoionizing state of the diatomic system. Afterwards, the excitation energy is transferred radiationlessly via a two-center Auger process to the other atom, causing its ionization. Assuming a fixed internuclear distance, it has been p… ▽ More Photoionization of an atom in the presence of a neighboring atom of different species is studied. The latter first undergoes resonant photoexcitation, leading to an autoionizing state of the diatomic system. Afterwards, the excitation energy is transferred radiationlessly via a two-center Auger process to the other atom, causing its ionization. Assuming a fixed internuclear distance, it has been predicted theoretically that this indirect ionization pathway can strongly dominate over the direct photoionization. Here, we extend the theory of resonant two-center photoionization by including the nuclear motion in van-der-Waals molecules. An analytical formula is derived reflecting the influence of molecular vibrational dynamics on the relative strength of the two-center channel. For the specific example of Li-He dimers we show that the two-center autoionizing resonances are split by the nuclear motion into multiplets, with the resonance lines reaching a comparable level of enhancement over direct photoionization as is obtained in a model based on spatially fixed nuclei. △ Less

Submitted 10 August, 2020; v1 submitted 6 April, 2020; originally announced April 2020.

Journal ref: Phys. Rev. A 102, 012818 (2020)

SYMBA: An end-to-end VLBI synthetic data generation pipeline

Authors: F. Roelofs, M. Janssen, I. Natarajan, R. Deane, J. Davelaar, H. Olivares, O. Porth, S. N. Paine, K. L. Bouman, R. P. J. Tilanus, I. M. van Bemmel, H. Falcke, K. Akiyama, A. Alberdi, W. Alef, K. Asada, R. Azulay, A. Baczko, D. Ball, M. Baloković, J. Barrett, D. Bintley, L. Blackburn, W. Boland, G. C. Bower , et al. (183 additional authors not shown)

Abstract: Realistic synthetic observations of theoretical source models are essential for our understanding of real observational data. In using synthetic data, one can verify the extent to which source parameters can be recovered and evaluate how various data corruption effects can be calibrated. These studies are important when proposing observations of new sources, in the characterization of the capabili… ▽ More Realistic synthetic observations of theoretical source models are essential for our understanding of real observational data. In using synthetic data, one can verify the extent to which source parameters can be recovered and evaluate how various data corruption effects can be calibrated. These studies are important when proposing observations of new sources, in the characterization of the capabilities of new or upgraded instruments, and when verifying model-based theoretical predictions in a comparison with observational data. We present the SYnthetic Measurement creator for long Baseline Arrays (SYMBA), a novel synthetic data generation pipeline for Very Long Baseline Interferometry (VLBI) observations. SYMBA takes into account several realistic atmospheric, instrumental, and calibration effects. We used SYMBA to create synthetic observations for the Event Horizon Telescope (EHT), a mm VLBI array, which has recently captured the first image of a black hole shadow. After testing SYMBA with simple source and corruption models, we study the importance of including all corruption and calibration effects. Based on two example general relativistic magnetohydrodynamics (GRMHD) model images of M87, we performed case studies to assess the attainable image quality with the current and future EHT array for different weather conditions. The results show that the effects of atmospheric and instrumental corruptions on the measured visibilities are significant. Despite these effects, we demonstrate how the overall structure of the input models can be recovered robustly after performing calibration steps. With the planned addition of new stations to the EHT array, images could be reconstructed with higher angular resolution and dynamic range. In our case study, these improvements allowed for a distinction between a thermal and a non-thermal GRMHD model based on salient features in reconstructed images. △ Less

Submitted 2 April, 2020; originally announced April 2020.

Comments: 20 pages, 15 figures, accepted for publication in A&A

Phase Sensitivity and Phase Noise of Cantilever-Type Magnetoelastic Sensors Based on the $Δ$E Effect

Authors: Phillip Durdaut, Enrico Rubiola, Jean-Michel Friedt, Cai Müller, Benjamin Spetzler, Christine Kirchhof, Dirk Meyners, Eckhard Quandt, Franz Faupel, Jeffrey McCord, Reinhard Knöchel, Michael Höft

Abstract: Magnetoelastic sensors for the detection of low-frequency and low-amplitude magnetic fields are in the focus of research since more than 30 years. In order to minimize the limit of detection (LOD) of such sensor systems, it is of high importance to understand and to be able to quantify the relevant noise sources. In this contribution, cantilever-type electromechanic and magnetoelastic resonators,… ▽ More Magnetoelastic sensors for the detection of low-frequency and low-amplitude magnetic fields are in the focus of research since more than 30 years. In order to minimize the limit of detection (LOD) of such sensor systems, it is of high importance to understand and to be able to quantify the relevant noise sources. In this contribution, cantilever-type electromechanic and magnetoelastic resonators, respectively, are comprehensively investigated and mathematically described not only with regard to their phase sensitivity but especially to the extent of the sensor-intrinsic phase noise. Both measurements and calculations reveal that the fundamental LOD is limited by additive phase noise due to thermal-mechanical noise of the resonator, i.e. by thermally induced random vibrations of the cantilever, and by thermal-electrical noise of the piezoelectric material. However, due to losses in the magnetic material parametric flicker phase noise arises, limiting the overall performance. In particular it is shown that the LOD is virtually independent of the magnetic sensitivity but is solely determined by the magnetic losses. Instead of the sensitivity, the magnetic losses, represented by the material's effective complex permeability, should be considered as the most important parameter for the further improvement of such sensors in the future. This implication is not only valid for magnetoelastic cantilevers but also applies to any type of magnetoelastic resonator. △ Less

Submitted 2 March, 2020; originally announced March 2020.

SplineLib: A Modern Multi-Purpose C++ Spline Library

Authors: Markus Frings, Norbert Hosters, Corinna Müller, Max Spahn, Christoph Susen, Konstantin Key, Stefanie Elgeti

Abstract: This paper provides the description of a novel, multi-purpose spline library. In accordance with the increasingly diverse modes of usage of splines, it is multi-purpose in the sense that it supports geometry representation, finite element analysis, and optimization. The library features reading and writing for various file formats and a wide range of spline manipulation algorithms. Further, a new… ▽ More This paper provides the description of a novel, multi-purpose spline library. In accordance with the increasingly diverse modes of usage of splines, it is multi-purpose in the sense that it supports geometry representation, finite element analysis, and optimization. The library features reading and writing for various file formats and a wide range of spline manipulation algorithms. Further, a new efficient and objective-oriented algorithm for B-spline basis function evaluation is included. All features are available by a spline-type independent interface. The library is written in modern C++ with CMake as build system. This enables it for usage in typical scientific applications. It is provided as open-source library. △ Less

Submitted 27 February, 2020; originally announced February 2020.

Comments: 16 pages, 4 figures, submitted to Advances in Engineering Software

ACM Class: G.1.1; D.1.5; D.3.3; J.6

A solver for stiff finite-rate relaxation in Baer-Nunziato two-phase flow models

Authors: Simone Chiocchetti, Christoph Müller

Abstract: In this paper we present a technique for constructing robust solvers for stiff algebraic source terms, such as those typically used for modelling relaxation processes in hyperbolic systems of partial differential equations describing two-phase flows, namely models of the Baer-Nunziato family. The method is based on an exponential integrator which employs an approximate linearised source term opera… ▽ More In this paper we present a technique for constructing robust solvers for stiff algebraic source terms, such as those typically used for modelling relaxation processes in hyperbolic systems of partial differential equations describing two-phase flows, namely models of the Baer-Nunziato family. The method is based on an exponential integrator which employs an approximate linearised source term operator that is constructed in such a way that one can compute solutions to the linearised equations avoiding any delicate matrix inversion operations. △ Less

Submitted 21 February, 2020; originally announced February 2020.

Polarity of almost all points for systems of non-linear stochastic heat equations in the critical dimension

Authors: Robert C. Dalang, Carl Mueller, Yimin Xiao

Abstract: We study vector-valued solutions $u(t,x)\in\mathbb{R}^d$ to systems of nonlinear stochastic heat equations with multiplicative noise: \begin{equation*} \frac{\partial}{\partial t} u(t,x)=\frac{\partial^2}{\partial x^2} u(t,x)+σ(u(t,x))\dot{W}(t,x). \end{equation*} Here $t\geq 0$, $x\in\mathbb{R}$ and $\dot{W}(t,x)$ is an $\mathbb{R}^d$-valued space-time white noise. We say that a point… ▽ More We study vector-valued solutions $u(t,x)\in\mathbb{R}^d$ to systems of nonlinear stochastic heat equations with multiplicative noise: \begin{equation*} \frac{\partial}{\partial t} u(t,x)=\frac{\partial^2}{\partial x^2} u(t,x)+σ(u(t,x))\dot{W}(t,x). \end{equation*} Here $t\geq 0$, $x\in\mathbb{R}$ and $\dot{W}(t,x)$ is an $\mathbb{R}^d$-valued space-time white noise. We say that a point $z\in\mathbb{R}^d$ is polar if \begin{equation*} P\{u(t,x)=z\text{ for some $t>0$ and $x\in\mathbb{R}$}\}=0. \end{equation*} We show that in the critical dimension $d=6$, almost all points in $\mathbb{R}^d$ are polar. △ Less

Submitted 19 February, 2020; originally announced February 2020.

Comments: 30 pages

MSC Class: 60G15 (Primary) 60J45; 60G60 (Secondary)

Determination of the Fermi surface and field-induced quasi-particle tunneling around the Dirac nodal-loop in ZrSiS

Authors: C. S. A. Müller, T. Khouri, M. R. van Delft, S. Pezzini, Y. -T. Hsu, J. Ayres, M. Breitkreiz, L. M. Schoop, A. Carrington, N. E. Hussey, S. Wiedmann

Abstract: Unambiguous and complete determination of the Fermi surface is a primary step in understanding the electronic properties of topical metals and semi-metals, but only in a relatively few cases has this goal been realized. In this work, we present a systematic high-field quantum oscillation study up to 35 T on ZrSiS, a textbook example of a nodal-line semimetal with only linearly dispersive bands cro… ▽ More Unambiguous and complete determination of the Fermi surface is a primary step in understanding the electronic properties of topical metals and semi-metals, but only in a relatively few cases has this goal been realized. In this work, we present a systematic high-field quantum oscillation study up to 35 T on ZrSiS, a textbook example of a nodal-line semimetal with only linearly dispersive bands crossing the Fermi energy. The topology of the Fermi surface is determined with unprecedented precision and all pockets are identified by comparing the measured angle dependence of the quantum oscillations to density functional theory calculations. Comparison of the Shubnikov-de Haas and de Haas-van Alphen oscillations at low temperatures and analysis of the respective Dingle plots reveal the presence of significantly enhanced scattering on the electron pocket. Above a threshold field that is aligned along the c-axis of the crystal, the specific cage-like Fermi surface of ZrSiS allows for electron-hole tunneling to occur across finite gaps in momentum space leading to quantum oscillations with a complex frequency spectrum. Additional high-frequency quantum oscillations signify magnetic breakdown orbits that encircle the entire Dirac nodal loop. We suggest that the persistence of quantum oscillations in the resistivity to high temperatures is caused by Stark interference between orbits of nearly equal masses. △ Less

Submitted 11 February, 2020; originally announced February 2020.

Comments: 14 pages, 13 figures

Journal ref: Phys. Rev. Research 2, 023217 (2020)

Scalable and Probabilistically Complete Planning for Robotic Spatial Extrusion

Authors: Caelan Reed Garrett, Yijiang Huang, Tomás Lozano-Pérez, Caitlin Tobin Mueller

Abstract: There is increasing demand for automated systems that can fabricate 3D structures. Robotic spatial extrusion has become an attractive alternative to traditional layer-based 3D printing due to a manipulator's flexibility to print large, directionally-dependent structures. However, existing extrusion planning algorithms require a substantial amount of human input, do not scale to large instances, an… ▽ More There is increasing demand for automated systems that can fabricate 3D structures. Robotic spatial extrusion has become an attractive alternative to traditional layer-based 3D printing due to a manipulator's flexibility to print large, directionally-dependent structures. However, existing extrusion planning algorithms require a substantial amount of human input, do not scale to large instances, and lack theoretical guarantees. In this work, we present a rigorous formalization of robotic spatial extrusion planning and provide several efficient and probabilistically complete planning algorithms. The key planning challenge is, throughout the printing process, satisfying both stiffness constraints that limit the deformation of the structure and geometric constraints that ensure the robot does not collide with the structure. We show that, although these constraints often conflict with each other, a greedy backward state-space search guided by a stiffness-aware heuristic is able to successfully balance both constraints. We empirically compare our methods on a benchmark of over 40 simulated extrusion problems. Finally, we apply our approach to 3 real-world extrusion problems. △ Less

Submitted 6 February, 2020; originally announced February 2020.

Packing and covering balls in graphs excluding a minor

Authors: Nicolas Bousquet, Wouter Cames van Batenburg, Louis Esperet, Gwenaël Joret, William Lochet, Carole Muller, François Pirot

Abstract: We prove that for every integer $t\ge 1$ there exists a constant $c_t$ such that for every $K_t$-minor-free graph $G$, and every set $S$ of balls in $G$, the minimum size of a set of vertices of $G$ intersecting all the balls of $S$ is at most $c_t$ times the maximum number of vertex-disjoint balls in $S$. This was conjectured by Chepoi, Estellon, and Vaxès in 2007 in the special case of planar gr… ▽ More We prove that for every integer $t\ge 1$ there exists a constant $c_t$ such that for every $K_t$-minor-free graph $G$, and every set $S$ of balls in $G$, the minimum size of a set of vertices of $G$ intersecting all the balls of $S$ is at most $c_t$ times the maximum number of vertex-disjoint balls in $S$. This was conjectured by Chepoi, Estellon, and Vaxès in 2007 in the special case of planar graphs and of balls having the same radius. △ Less

Submitted 28 July, 2020; v1 submitted 13 January, 2020; originally announced January 2020.

Comments: v3: final version

Journal ref: Combinatorica 41(3) (2021), 299-318

Dimensionality-driven photoproduction of massive Dirac pairs near threshold in gapped graphene monolayers

Authors: A. Golub, R. Egger, C. Müller, S. Villalba-Chávez

Abstract: Generation of quasi-particle--hole pairs in gapped graphene monolayers in the combined field of two counterpropagating light waves is studied. The process represents an analogue of electron-positron pair production from the QED vacuum by the Breit-Wheeler effect. We show, however, that the two-dimensional structure of graphene causes some striking differences between both scenarios. In particular,… ▽ More Generation of quasi-particle--hole pairs in gapped graphene monolayers in the combined field of two counterpropagating light waves is studied. The process represents an analogue of electron-positron pair production from the QED vacuum by the Breit-Wheeler effect. We show, however, that the two-dimensional structure of graphene causes some striking differences between both scenarios. In particular, contrary to the QED case, it allows for non-zero pair production rates at the energy threshold when the Breit-Wheeler reaction proceeds nonlinearly with absorption of three photons. △ Less

Submitted 21 December, 2019; originally announced December 2019.

Comments: 6 pages, 2 figures

Journal ref: Phys. Rev. Lett. 124, 110403 (2020)

Two-color phase-of-the-phase spectroscopy applied to nonperturbative electron-positron pair production in strong oscillating electric fields

Authors: J. Braß, R. Milbradt, S. Villalba-Chávez, G. G. Paulus, C. Müller

Abstract: Production of electron-positron pairs from vacuum in strong bichromatic electric fields, oscillating in time with a fundamental frequency and its second harmonic, is studied. Strong-field processes occuring in such field configurations are generally known to be sensitive to the relative phase between the field modes. Phase-of-the-phase spectroscopy has recently been introduced in the context of st… ▽ More Production of electron-positron pairs from vacuum in strong bichromatic electric fields, oscillating in time with a fundamental frequency and its second harmonic, is studied. Strong-field processes occuring in such field configurations are generally known to be sensitive to the relative phase between the field modes. Phase-of-the-phase spectroscopy has recently been introduced in the context of strong-field photoionization as a systematic means to analyze these coherence effects. We apply this method to field-induced pair production by calculating the phase dependence of the momentum-resolved particle yields. We show that asymmetric checkerboard patterns arise in the phase-of-the-phase spectra, similarly to those found in strong-field photoionization. The physical origin of these characteristic structures, which differ between the created electron and positron, are discussed. △ Less

Submitted 10 December, 2019; originally announced December 2019.

Comments: 8 pages, 6 figures

Journal ref: Phys. Rev. A 101, 043401 (2020)

Multiple Points of Gaussian Random Fields

Authors: Robert C. Dalang, Cheuk Yin Lee, Carl Mueller, Yimin Xiao

Abstract: This paper is concerned with the existence of multiple points of Gaussian random fields. Under the framework of Dalang et al. (2017), we prove that, for a wide class of Gaussian random fields, multiple points do not exist in critical dimensions. The result is applicable to fractional Brownian sheets and the solutions of systems of stochastic heat and wave equations. This paper is concerned with the existence of multiple points of Gaussian random fields. Under the framework of Dalang et al. (2017), we prove that, for a wide class of Gaussian random fields, multiple points do not exist in critical dimensions. The result is applicable to fractional Brownian sheets and the solutions of systems of stochastic heat and wave equations. △ Less

Submitted 2 February, 2021; v1 submitted 21 November, 2019; originally announced November 2019.

Comments: to appear in EJP

Full distribution of the superfluid fraction and extreme value statistics in a one dimensional disordered Bose gas

Authors: M. Albert, C. A. Müller

Abstract: The full statistical distribution of the superfluid fraction characterizing one-dimensional Bose gases in random potentials is discussed. Rare configurations with extreme fluctuations of the disorder potential can fragment the condensate and reduce the superfluid fraction to zero. The resulting bimodal probability distribution for the superfluid fraction is calculated numerically in the quasi-1D m… ▽ More The full statistical distribution of the superfluid fraction characterizing one-dimensional Bose gases in random potentials is discussed. Rare configurations with extreme fluctuations of the disorder potential can fragment the condensate and reduce the superfluid fraction to zero. The resulting bimodal probability distribution for the superfluid fraction is calculated numerically in the quasi-1D mean-field regime of ultracold atoms in laser speckle potentials. Using extreme-value statistics, an analytical scaling of the zero-superfluid probability as function of disorder strength, disorder correlation length and system size is presented. It is argued that similar results can be expected for point-like impurities, and that these findings are in reach for present-day experiments. △ Less

Submitted 8 November, 2019; originally announced November 2019.

Comments: 7 pages, 5 figures

Journal ref: Phys. Rev. A 101, 023605 (2020)

An improved uniqueness result for a system of stochastic differential equations related to the stochastic wave equation

Authors: C. Mueller, E. Neuman, M. Salins, G. Truong

Abstract: We improve on the strong uniqueness results of [GLM+17], which deal with the following system of SDE. \begin{align*} dX_t&=Y_tdt \\ dY_t&=|X_{t}|^αdB_t \end{align*} and $X_0=x_0,Y_0=y_0$. For $(x_0,y_0)\ne(0,0)$, we show that short-time uniqueness holds for $α>-1/2$. We improve on the strong uniqueness results of [GLM+17], which deal with the following system of SDE. \begin{align*} dX_t&=Y_tdt \\ dY_t&=|X_{t}|^αdB_t \end{align*} and $X_0=x_0,Y_0=y_0$. For $(x_0,y_0)\ne(0,0)$, we show that short-time uniqueness holds for $α>-1/2$. △ Less

Submitted 12 September, 2019; originally announced September 2019.

Comments: 8 pages

MSC Class: 60H10 (Primary); 60H15 (Secondary)

Automated Generation of Explicit Port-Hamiltonian Models from Multi-Bond Graphs

Authors: Martin Pfeifer, Sven Caspart, Silja Pfeiffer, Charles Muller, Stefan Krebs, Soeren Hohmann

Abstract: Port-Hamiltonian system theory is a well-known framework for the control of complex physical systems. The majority of port-Hamiltonian control design methods base on an explicit input-state-output port-Hamiltonian model for the system under consideration. However in the literature, little effort has been made towards a systematic, automatable derivation of such explicit models. In this paper, we p… ▽ More Port-Hamiltonian system theory is a well-known framework for the control of complex physical systems. The majority of port-Hamiltonian control design methods base on an explicit input-state-output port-Hamiltonian model for the system under consideration. However in the literature, little effort has been made towards a systematic, automatable derivation of such explicit models. In this paper, we present a constructive, formally rigorous method for an explicit port-Hamiltonian formulation of multi-bond graphs. Two conditions, one necessary and one sufficient, for the existence of an explicit port-Hamiltonian formulation of a multi-bond graph are given. We summarise our approach in a fully automated algorithm of which we provide an exemplary implementation along with this publication. The theoretical and practical results are illustrated through an academic example. △ Less

Submitted 6 September, 2019; originally announced September 2019.

Comments: 15 pages, 1 figure

How to Win First-Order Safety Games

Authors: Helmut Seidl, Christian Müller, Bernd Finkbeiner

Abstract: First-order (FO) transition systems have recently attracted attention for the verification of parametric systems such as network protocols, software-defined networks or multi-agent workflows like conference management systems. Desirable properties of these systems such as functional correctness or noninterference have conveniently been formulated as safety properties. In order to automatically syn… ▽ More First-order (FO) transition systems have recently attracted attention for the verification of parametric systems such as network protocols, software-defined networks or multi-agent workflows like conference management systems. Desirable properties of these systems such as functional correctness or noninterference have conveniently been formulated as safety properties. In order to automatically synthesize strategies that enforce safety or noninterference, we generalize FO transition systems to FO safety games. We prove that the existence of a winning strategy of safety player in finite games is in fact, equivalent to second-order quantifier elimination. For the important case of FO games with monadic predicates only, we provide a complete classification into decidable and undecidable cases. For games with non-monadic predicates, we concentrate on universal first-order invariants, since these are sufficient to express a large class of noninterference properties. Based on general techniques for second-order quantifier elimination, we provide abstraction and refinement techniques in order to synthesize FO strategies that enforce safety. We demonstrate the usefulness of our approach by inferring nontrivial FO specifications in a leader election protocol as well as for paper assignment in a conference mangagement system to exclude unappreciated disclosure of reports. △ Less

Submitted 13 November, 2019; v1 submitted 16 August, 2019; originally announced August 2019.

ACM Class: F.4

Brightening of Long, Polymer-Wrapped Carbon Nanotubes by sp$^{3}$ Functionalization in Organic Solvents

Authors: Felix J. Berger, Jan Lüttgens, Tim Nowack, Tobias Kutsch, Sebastian Lindenthal, Lucas Kistner, Christine C. Müller, Lukas M. Bongartz, Victoria A. Lumsargis, Yuriy Zakharko, Jana Zaumseil

Abstract: The functionalization of semiconducting single-walled carbon nanotubes (SWNTs) with sp$^{3}$ defects that act as luminescent exciton traps is a powerful means to enhance their photoluminescence quantum yield (PLQY) and to add optical properties. However, the synthetic methods employed to introduce these defects are so far limited to aqueous dispersions of surfactant-coated SWNTs, often with short… ▽ More The functionalization of semiconducting single-walled carbon nanotubes (SWNTs) with sp$^{3}$ defects that act as luminescent exciton traps is a powerful means to enhance their photoluminescence quantum yield (PLQY) and to add optical properties. However, the synthetic methods employed to introduce these defects are so far limited to aqueous dispersions of surfactant-coated SWNTs, often with short tube lengths, residual metallic nanotubes and poor film formation properties. In contrast to that, dispersions of polymer-wrapped SWNTs in organic solvents feature unrivaled purity, higher PLQY and are easily processed into thin films for device applications. Here, we introduce a simple and scalable phase-transfer method to solubilize diazonium salts in organic nonhalogenated solvents for the controlled reaction with polymer-wrapped SWNTs to create luminescent aryl defects. Absolute PLQY measurements are applied to reliably quantify the defect-induced brightening. The optimization of defect density and trap depth results in PLQYs of up to 4 % with 90 % of photons emitted through the defect channel. We further reveal the strong impact of initial SWNT quality and length on the relative brightening by sp$^{3}$ defects. The efficient and simple production of large quantities of defect-tailored polymer-sorted SWNTs enables aerosol-jet printing and spin-coating of thin films with bright and nearly reabsorption-free defect emission, which are desired for carbon nanotube-based near-infrared light-emitting devices. △ Less

Submitted 6 August, 2019; originally announced August 2019.

Journal ref: published ACS Nano 2019

Quantum-limited measurements of intensity noise levels in Yb-doped fiber amplifiers

Authors: Alexandra Popp, Victor Distler, Kevin Jaksch, Florian Sedlmeir, Christian R. Müller, Nicoletta Haarlammert, Thomas Schreiber, Christoph Marquardt, Andreas Tünnermann, Gerd Leuchs

Abstract: We investigate the frequency-resolved intensity noise spectrum of an Yb-doped fiber amplifier down to the fundamental limit of quantum noise. We focus on the kHz and low MHz frequency regime with special interest in the region between 1 and 10 kHz. Intensity noise levels up to >60 dB above the shot noise limit are found, revealing great optimization potential. Additionally, two seed lasers with di… ▽ More We investigate the frequency-resolved intensity noise spectrum of an Yb-doped fiber amplifier down to the fundamental limit of quantum noise. We focus on the kHz and low MHz frequency regime with special interest in the region between 1 and 10 kHz. Intensity noise levels up to >60 dB above the shot noise limit are found, revealing great optimization potential. Additionally, two seed lasers with different noise characteristics were amplified, showing that the seed source has a significant impact and should be considered in the design of high power fiber amplifiers. △ Less

Submitted 2 August, 2019; originally announced August 2019.

Journal ref: Appl. Phys. B 126, 130 (2020)

An efficient, tunable, and robust source of narrow-band photon pairs at the $^{87}$Rb D1 line

Authors: Roberto Mottola, Gianni Buser, Chris Müller, Tim Kroh, Andreas Ahlrichs, Sven Ramelow, Oliver Benson, Philipp Treutlein, Janik Wolters

Abstract: We present an efficient and robust source of photons at the $^{87}$Rb D1-line (795 nm) with a narrow bandwidth of $δ=226(1)$ MHz. The source is based on non-degenerate, cavity-enhanced spontaneous parametric down-conversion in a monolithic optical parametric oscillator far below threshold. The setup allows for efficient coupling to single mode fibers. A heralding efficiency of… ▽ More We present an efficient and robust source of photons at the $^{87}$Rb D1-line (795 nm) with a narrow bandwidth of $δ=226(1)$ MHz. The source is based on non-degenerate, cavity-enhanced spontaneous parametric down-conversion in a monolithic optical parametric oscillator far below threshold. The setup allows for efficient coupling to single mode fibers. A heralding efficiency of $η_{\mathrm{heralded}}=45(5)$ % is achieved, and the uncorrected number of detected photon pairs is $3.8 \times 10^{3}/(\textrm{s mW})$. For pair generation rates up to $5\times 10^{5}/$s, the source emits heralded single photons with a normalized, heralded, second-order correlation function $g^{(2)}_{c}<0.01$. The source is intrinsically stable due to the monolithic configuration. Frequency drifts are on the order of $δ/20$ per hour without active feedback on the emission frequency. We achieved fine-tuning of the source frequency within a range of $ > 2$ GHz by applying mechanical strain. △ Less

Submitted 23 January, 2020; v1 submitted 1 August, 2019; originally announced August 2019.

Comments: 6 pages, 4 figures

Journal ref: Opt. Express 28, 3159 (2020)

Distillation of Squeezing using a pulsed engineered PDC source

Authors: Thomas Dirmeier, Johannes Tiedau, Imran Khan, Vahid Ansari, Christian R. Müller, Christine Silberhorn, Christoph Marquardt, Gerd Leuchs

Abstract: Hybrid quantum information processing combines the advantages of discrete and continues variable protocols by realizing protocols consisting of photon counting and homodyne measurements. However, the mode structure of pulsed sources and the properties of the detection schemes often require the use optical filters in order to combine both detection methods in a common experiment. This limits the ef… ▽ More Hybrid quantum information processing combines the advantages of discrete and continues variable protocols by realizing protocols consisting of photon counting and homodyne measurements. However, the mode structure of pulsed sources and the properties of the detection schemes often require the use optical filters in order to combine both detection methods in a common experiment. This limits the efficiency and the overall achievable squeezing of the experiment. In our work, we use photon subtraction to implement the distillation of pulsed squeezed states originating from a genuinely spatially and temporally single-mode parametric down-conversion source in non-linear waveguides. Due to the distillation, we witness an improvement of $0.17~\mathrm{dB}$ from an initial squeezing value of $-1.648 \pm 0.002~\mathrm{dB}$, while achieving a purity of $0.58$, and confirm the non-Gaussianity of the distilled state via the higher-order cumulants. With this, we demonstrate the source's suitability for scalable hybrid quantum network applications with pulsed quantum light. △ Less

Submitted 6 October, 2020; v1 submitted 18 July, 2019; originally announced July 2019.

Comments: $©$ 2020 Optical Society of America. Users may use, reuse, and build upon the article, or use the article for text or data mining, so long as such uses are for non-commercial purposes and appropriate attribution is maintained. All other rights are reserved

Journal ref: Optics Express Vol. 28, Issue 21, pp. 30784-30796 (2020)

Stability selection enables robust learning of partial differential equations from limited noisy data

Authors: Suryanarayana Maddu, Bevan L. Cheeseman, Ivo F. Sbalzarini, Christian L. Müller

Abstract: We present a statistical learning framework for robust identification of partial differential equations from noisy spatiotemporal data. Extending previous sparse regression approaches for inferring PDE models from simulated data, we address key issues that have thus far limited the application of these methods to noisy experimental data, namely their robustness against noise and the need for manua… ▽ More We present a statistical learning framework for robust identification of partial differential equations from noisy spatiotemporal data. Extending previous sparse regression approaches for inferring PDE models from simulated data, we address key issues that have thus far limited the application of these methods to noisy experimental data, namely their robustness against noise and the need for manual parameter tuning. We address both points by proposing a stability-based model selection scheme to determine the level of regularization required for reproducible recovery of the underlying PDE. This avoids manual parameter tuning and provides a principled way to improve the method's robustness against noise in the data. Our stability selection approach, termed PDE-STRIDE, can be combined with any sparsity-promoting penalized regression model and provides an interpretable criterion for model component importance. We show that in particular the combination of stability selection with the iterative hard-thresholding algorithm from compressed sensing provides a fast, parameter-free, and robust computational framework for PDE inference that outperforms previous algorithmic approaches with respect to recovery accuracy, amount of data required, and robustness to noise. We illustrate the performance of our approach on a wide range of noise-corrupted simulated benchmark problems, including 1D Burgers, 2D vorticity-transport, and 3D reaction-diffusion problems. We demonstrate the practical applicability of our method on real-world data by considering a purely data-driven re-evaluation of the advective triggering hypothesis for an embryonic polarization system in C.~elegans. Using fluorescence microscopy images of C.~elegans zygotes as input data, our framework is able to recover the PDE model for the regulatory reaction-diffusion-flow network of the associated proteins. △ Less

Submitted 17 July, 2019; originally announced July 2019.

Comments: 20 pages, 10 figures and supplementary material included

Signatures of the Schwinger mechanism assisted by a fast-oscillating electric field

Authors: Selym Villalba-Chávez, Carsten Müller

Abstract: The spontaneous production of electron-positron pairs from the vacuum--in a field configuration composed of a high-frequency electric mode of weak intensity and a strong constant electric field--is investigated. Asymptotic expressions for the single-particle distribution function ruling this nonperturbative process are established by considering the low-density approximation in the Boltzmann-Vlaso… ▽ More The spontaneous production of electron-positron pairs from the vacuum--in a field configuration composed of a high-frequency electric mode of weak intensity and a strong constant electric field--is investigated. Asymptotic expressions for the single-particle distribution function ruling this nonperturbative process are established by considering the low-density approximation in the Boltzmann-Vlasov equation. An analytical formula for the density rate of yielded particles is established which is shown to manifest a nonperturbative dependence on both the strong and weak electric fields and to interpolate between the tunneling and multi-photon regimes. It is shown that--under appropriate circumstances--the produced plasma of electrons and positrons might reach densities for which their recombinations into high-energy photons occurs copiously. On the basis of this feature, an experimental setup for observing the dynamically-assisted Schwinger effect is put forward. △ Less

Submitted 15 July, 2019; originally announced July 2019.

Comments: 17 pages, 11 figures

Journal ref: Phys. Rev. D 100, 116018 (2019)