Showing 51–100 of 142 results for author: Werner, S

Structured interpolation for multivariate transfer functions of quadratic-bilinear systems

Authors: Peter Benner, Serkan Gugercin, Steffen W. R. Werner

Abstract: High-dimensional/high-fidelity nonlinear dynamical systems appear naturally when the goal is to accurately model real-world phenomena. Many physical properties are thereby encoded in the internal differential structure of these resulting large-scale nonlinear systems. The high-dimensionality of the dynamics causes computational bottlenecks, especially when these large-scale systems need to be simu… ▽ More High-dimensional/high-fidelity nonlinear dynamical systems appear naturally when the goal is to accurately model real-world phenomena. Many physical properties are thereby encoded in the internal differential structure of these resulting large-scale nonlinear systems. The high-dimensionality of the dynamics causes computational bottlenecks, especially when these large-scale systems need to be simulated for a variety of situations such as different forcing terms. This motivates model reduction where the goal is to replace the full-order dynamics with accurate reduced-order surrogates. Interpolation-based model reduction has been proven to be an effective tool for the construction of cheap-to-evaluate surrogate models that preserve the internal structure in the case of weak nonlinearities. In this paper, we consider the construction of multivariate interpolants in frequency domain for structured quadratic-bilinear systems. We propose definitions for structured variants of the symmetric subsystem and generalized transfer functions of quadratic-bilinear systems and provide conditions for structure-preserving interpolation by projection. The theoretical results are illustrated using two numerical examples including the simulation of molecular dynamics in crystal structures. △ Less

Submitted 27 April, 2023; originally announced April 2023.

Comments: 29 pages, 7 figures

MSC Class: 30E05; 34K17; 65D05; 93C10; 93A15

Journal ref: Adv. Comput. Math., 50(2):18, 2024

Asynchronous Online Federated Learning with Reduced Communication Requirements

Authors: Francois Gauthier, Vinay Chakravarthi Gogineni, Stefan Werner, Yih-Fang Huang, Anthony Kuh

Abstract: Online federated learning (FL) enables geographically distributed devices to learn a global shared model from locally available streaming data. Most online FL literature considers a best-case scenario regarding the participating clients and the communication channels. However, these assumptions are often not met in real-world applications. Asynchronous settings can reflect a more realistic environ… ▽ More Online federated learning (FL) enables geographically distributed devices to learn a global shared model from locally available streaming data. Most online FL literature considers a best-case scenario regarding the participating clients and the communication channels. However, these assumptions are often not met in real-world applications. Asynchronous settings can reflect a more realistic environment, such as heterogeneous client participation due to available computational power and battery constraints, as well as delays caused by communication channels or straggler devices. Further, in most applications, energy efficiency must be taken into consideration. Using the principles of partial-sharing-based communications, we propose a communication-efficient asynchronous online federated learning (PAO-Fed) strategy. By reducing the communication overhead of the participants, the proposed method renders participation in the learning task more accessible and efficient. In addition, the proposed aggregation mechanism accounts for random participation, handles delayed updates and mitigates their effect on accuracy. We prove the first and second-order convergence of the proposed PAO-Fed method and obtain an expression for its steady-state mean square deviation. Finally, we conduct comprehensive simulations to study the performance of the proposed method on both synthetic and real-life datasets. The simulations reveal that in asynchronous settings, the proposed PAO-Fed is able to achieve the same convergence properties as that of the online federated stochastic gradient while reducing the communication overhead by 98 percent. △ Less

Submitted 11 April, 2023; v1 submitted 27 March, 2023; originally announced March 2023.

Comments: A conference precursor of this work appears in the 2022 IEEE ICC

Journal ref: IEEE Internet of Things Journal (2023)

Structured barycentric forms for interpolation-based data-driven reduced modeling of second-order systems

Authors: Ion Victor Gosea, Serkan Gugercin, Steffen W. R. Werner

Abstract: An essential tool in data-driven modeling of dynamical systems from frequency response measurements is the barycentric form of the underlying rational transfer function. In this work, we propose structured barycentric forms for modeling dynamical systems with second-order time derivatives using their frequency domain input-output data. By imposing a set of interpolation conditions, the systems' tr… ▽ More An essential tool in data-driven modeling of dynamical systems from frequency response measurements is the barycentric form of the underlying rational transfer function. In this work, we propose structured barycentric forms for modeling dynamical systems with second-order time derivatives using their frequency domain input-output data. By imposing a set of interpolation conditions, the systems' transfer functions are rewritten in different barycentric forms using different parametrizations. Loewner-like algorithms are developed for the explicit computation of second-order systems from data based on the developed barycentric forms. Numerical experiments show the performance of these new structured data driven modeling methods compared to other interpolation-based data-driven modeling techniques from the literature. △ Less

Submitted 22 March, 2023; originally announced March 2023.

Comments: 27 pages, 5 figures

MSC Class: 41A20; 65D05; 93B15; 93C05; 93C80

Journal ref: Adv. Comput. Math., 50(2):26, 2024

Low-complexity linear parameter-varying approximations of incompressible Navier-Stokes equations for truncated state-dependent Riccati feedback

Authors: Jan Heiland, Steffen W. R. Werner

Abstract: Nonlinear feedback design via state-dependent Riccati equations is well established but unfeasible for large-scale systems because of computational costs. If the system can be embedded in the class of linear parameter-varying (LPV) systems with the parameter dependency being affine-linear, then the nonlinear feedback law has a series expansion with constant and precomputable coefficients. In this… ▽ More Nonlinear feedback design via state-dependent Riccati equations is well established but unfeasible for large-scale systems because of computational costs. If the system can be embedded in the class of linear parameter-varying (LPV) systems with the parameter dependency being affine-linear, then the nonlinear feedback law has a series expansion with constant and precomputable coefficients. In this work, we propose a general method to approximating nonlinear systems such that the series expansion is possible and efficient even for high-dimensional systems. We lay out the stabilization of incompressible Navier-Stokes equations as application, discuss the numerical solution of the involved matrix-valued equations, and confirm the performance of the approach in a numerical example. △ Less

Submitted 20 March, 2023; originally announced March 2023.

Comments: 8 pages, 3 figures

Journal ref: IEEE Control Syst. Lett., 7:3012-3017, 2023

Learning a model is paramount for sample efficiency in reinforcement learning control of PDEs

Authors: Stefan Werner, Sebastian Peitz

Abstract: The goal of this paper is to make a strong point for the usage of dynamical models when using reinforcement learning (RL) for feedback control of dynamical systems governed by partial differential equations (PDEs). To breach the gap between the immense promises we see in RL and the applicability in complex engineering systems, the main challenges are the massive requirements in terms of the traini… ▽ More The goal of this paper is to make a strong point for the usage of dynamical models when using reinforcement learning (RL) for feedback control of dynamical systems governed by partial differential equations (PDEs). To breach the gap between the immense promises we see in RL and the applicability in complex engineering systems, the main challenges are the massive requirements in terms of the training data, as well as the lack of performance guarantees. We present a solution for the first issue using a data-driven surrogate model in the form of a convolutional LSTM with actuation. We demonstrate that learning an actuated model in parallel to training the RL agent significantly reduces the total amount of required data sampled from the real system. Furthermore, we show that iteratively updating the model is of major importance to avoid biases in the RL training. Detailed ablation studies reveal the most important ingredients of the modeling process. We use the chaotic Kuramoto-Sivashinsky equation do demonstarte our findings. △ Less

Submitted 13 March, 2023; v1 submitted 14 February, 2023; originally announced February 2023.

S-PLUS DR1 galaxy clusters and groups catalogue using PzWav

Authors: S. V. Werner, E. S. Cypriano, A. H. Gonzalez, C. Mendes de Oliveira, P. Araya-Araya, L. Doubrawa, R. Lopes de Oliveira, P. A. A. Lopes, A. Z. Vitorelli, D. Brambila, M. Costa-Duarte, E. Telles, A. Kanaan, T. Ribeiro, W. Schoenell, T. S. Gonçalves, K. Menéndez-Delmestre, C. R. Bom, L. Nakazono

Abstract: We present a catalogue of 4499 groups and clusters of galaxies from the first data release of the multi-filter (5 broad, 7 narrow) Southern Photometric Local Universe Survey (S-PLUS). These groups and clusters are distributed over 273 deg$^2$ in the Stripe 82 region. They are found using the PzWav algorithm, which identifies peaks in galaxy density maps that have been smoothed by a cluster scale d… ▽ More We present a catalogue of 4499 groups and clusters of galaxies from the first data release of the multi-filter (5 broad, 7 narrow) Southern Photometric Local Universe Survey (S-PLUS). These groups and clusters are distributed over 273 deg$^2$ in the Stripe 82 region. They are found using the PzWav algorithm, which identifies peaks in galaxy density maps that have been smoothed by a cluster scale difference-of-Gaussians kernel to isolate clusters and groups. Using a simulation-based mock catalogue, we estimate the purity and completeness of cluster detections: at S/N>3.3 we define a catalogue that is 80% pure and complete in the redshift range 0.1<z<0.4, for clusters with $M_{200} > 10^{14}$ M$_\odot$. We also assessed the accuracy of the catalogue in terms of central positions and redshifts, finding scatter of $σ_R=12$ kpc and $σ_z=8.8 \times 10^{-3}$, respectively. Moreover, less than 1% of the sample suffers from fragmentation or overmerging. The S-PLUS cluster catalogue recovers ~80% of all known X-ray and Sunyaev-Zel'dovich selected clusters in this field. This fraction is very close to the estimated completeness, thus validating the mock data analysis and paving an efficient way to find new groups and clusters of galaxies using data from the ongoing S-PLUS project. When complete, S-PLUS will have surveyed 9300 deg$^{2}$ of the sky, representing the widest uninterrupted areas with narrow-through-broad multi-band photometry for cluster follow-up studies. △ Less

Submitted 9 November, 2022; v1 submitted 8 November, 2022; originally announced November 2022.

Comments: 17 pages, 15 figures, paper accepted for publication by MNRAS

Decentralized Optimization with Distributed Features and Non-Smooth Objective Functions

Authors: Cristiano Gratton, Naveen K. D. Venkategowda, Reza Arablouei, Stefan Werner

Abstract: We develop a new consensus-based distributed algorithm for solving learning problems with feature partitioning and non-smooth convex objective functions. Such learning problems are not separable, i.e., the associated objective functions cannot be directly written as a summation of agent-specific objective functions. To overcome this challenge, we redefine the underlying optimization problem as a d… ▽ More We develop a new consensus-based distributed algorithm for solving learning problems with feature partitioning and non-smooth convex objective functions. Such learning problems are not separable, i.e., the associated objective functions cannot be directly written as a summation of agent-specific objective functions. To overcome this challenge, we redefine the underlying optimization problem as a dual convex problem whose structure is suitable for distributed optimization using the alternating direction method of multipliers (ADMM). Next, we propose a new method to solve the minimization problem associated with the ADMM update step that does not rely on any conjugate function. Calculating the relevant conjugate functions may be hard or even unfeasible, especially when the objective function is non-smooth. To obviate computing any conjugate function, we solve the optimization problem associated with each ADMM iteration in the dual domain utilizing the block coordinate descent algorithm. Unlike the existing related algorithms, the proposed algorithm is fully distributed and does away with the conjugate of the objective function. We prove theoretically that the proposed algorithm attains the optimal centralized solution. We also confirm its network-wide convergence via simulations. △ Less

Submitted 23 August, 2022; originally announced August 2022.

Hardless: A Generalized Serverless Compute Architecture for Hardware Processing Accelerators

Authors: Sebastian Werner, Trever Schirmer

Abstract: The increasing use of hardware processing accelerators tailored for specific applications, such as the Vision Processing Unit (VPU) for image recognition, further increases developers' configuration, development, and management overhead. Developers have successfully used fully automated elastic cloud services such as serverless computing to counter these additional efforts and shorten development… ▽ More The increasing use of hardware processing accelerators tailored for specific applications, such as the Vision Processing Unit (VPU) for image recognition, further increases developers' configuration, development, and management overhead. Developers have successfully used fully automated elastic cloud services such as serverless computing to counter these additional efforts and shorten development cycles for applications running on CPUs. Unfortunately, current cloud solutions do not yet provide these simplifications for applications that require hardware acceleration. However, as the development of specialized hardware acceleration continues to provide performance and cost improvements, it will become increasingly important to enable ease of use in the cloud. In this paper, we present an initial design and implementation of Hardless, an extensible and generalized serverless computing architecture that can support workloads for arbitrary hardware accelerators. We show how Hardless can scale across different commodity hardware accelerators and support a variety of workloads using the same execution and programming model common in serverless computing today. △ Less

Submitted 5 August, 2022; originally announced August 2022.

Comments: Preprint - will be presented at IC2E 2022

Context-aware controller inference for stabilizing dynamical systems from scarce data

Authors: Steffen W. R. Werner, Benjamin Peherstorfer

Abstract: This work introduces a data-driven control approach for stabilizing high-dimensional dynamical systems from scarce data. The proposed context-aware controller inference approach is based on the observation that controllers need to act locally only on the unstable dynamics to stabilize systems. This means it is sufficient to learn the unstable dynamics alone, which are typically confined to much lo… ▽ More This work introduces a data-driven control approach for stabilizing high-dimensional dynamical systems from scarce data. The proposed context-aware controller inference approach is based on the observation that controllers need to act locally only on the unstable dynamics to stabilize systems. This means it is sufficient to learn the unstable dynamics alone, which are typically confined to much lower dimensional spaces than the high-dimensional state spaces of all system dynamics and thus few data samples are sufficient to identify them. Numerical experiments demonstrate that context-aware controller inference learns stabilizing controllers from orders of magnitude fewer data samples than traditional data-driven control techniques and variants of reinforcement learning. The experiments further show that the low data requirements of context-aware controller inference are especially beneficial in data-scarce engineering problems with complex physics, for which learning complete system dynamics is often intractable in terms of data and training costs. △ Less

Submitted 18 January, 2023; v1 submitted 22 July, 2022; originally announced July 2022.

Comments: 27 pages, 10 figures

Journal ref: Proc. R. Soc. A: Math. Phys. Eng. Sci., 479(2270):20220506, 2023

A unifying framework for tangential interpolation of structured bilinear control systems

Authors: Peter Benner, Serkan Gugercin, Steffen W. R. Werner

Abstract: In this paper, we consider the structure-preserving model order reduction problem for multi-input/multi-output bilinear control systems by tangential interpolation. We propose a new type of tangential interpolation problem for structured bilinear systems, for which we develop a new structure-preserving interpolation framework. This new framework extends and generalizes different formulations of ta… ▽ More In this paper, we consider the structure-preserving model order reduction problem for multi-input/multi-output bilinear control systems by tangential interpolation. We propose a new type of tangential interpolation problem for structured bilinear systems, for which we develop a new structure-preserving interpolation framework. This new framework extends and generalizes different formulations of tangential interpolation for bilinear systems from the literature and also provides a unifying framework. We then derive explicit conditions on the projection spaces to enforce tangential interpolation in different settings, including conditions for tangential Hermite interpolation. The analysis is illustrated by means of three numerical examples. △ Less

Submitted 3 June, 2022; originally announced June 2022.

Comments: 33 pages, 9 figures

MSC Class: 30E05; 34K17; 65D05; 93A15; 93C10

Journal ref: Numer. Math., 155(3-4): 445-483, 2023

Synthesizing Configuration Tactics for Exercising Hidden Options in Serverless Systems

Authors: Jörn Kuhlenkamp, Sebastian Werner, Chin Hong Tran, Stefan Tai

Abstract: A proper configuration of an information system can ensure accuracy and efficiency, among other system objectives. Conversely, a poor configuration can have a significant negative impact on the system's performance, reliability, and cost. Serverless systems, which are comprised of many functions and managed services, especially risk exposure to misconfigurations, with many provider- and platform-s… ▽ More A proper configuration of an information system can ensure accuracy and efficiency, among other system objectives. Conversely, a poor configuration can have a significant negative impact on the system's performance, reliability, and cost. Serverless systems, which are comprised of many functions and managed services, especially risk exposure to misconfigurations, with many provider- and platform-specific, often intransparent and 'hidden' settings. In this paper, we argue to pay close attention to the configuration of serverless systems to exercise options with known accuracy, cost and time. Based on a literature study and long-term serverless systems development experience, we present nine tactics to unlock potentially neglected and unknown options in serverless systems. △ Less

Submitted 3 June, 2022; v1 submitted 31 May, 2022; originally announced May 2022.

Comments: updated typo in abstract

Journal ref: Intelligent Information Systems - CAiSE 2022

Multi-fidelity robust controller design with gradient sampling

Authors: Steffen W. R. Werner, Michael L. Overton, Benjamin Peherstorfer

Abstract: Robust controllers that stabilize dynamical systems even under disturbances and noise are often formulated as solutions of nonsmooth, nonconvex optimization problems. While methods such as gradient sampling can handle the nonconvexity and nonsmoothness, the costs of evaluating the objective function may be substantial, making robust control challenging for dynamical systems with high-dimensional s… ▽ More Robust controllers that stabilize dynamical systems even under disturbances and noise are often formulated as solutions of nonsmooth, nonconvex optimization problems. While methods such as gradient sampling can handle the nonconvexity and nonsmoothness, the costs of evaluating the objective function may be substantial, making robust control challenging for dynamical systems with high-dimensional state spaces. In this work, we introduce multi-fidelity variants of gradient sampling that leverage low-cost, low-fidelity models with low-dimensional state spaces for speeding up the optimization process while nonetheless providing convergence guarantees for a high-fidelity model of the system of interest, which is primarily accessed in the last phase of the optimization process. Our first multi-fidelity method initiates gradient sampling on higher fidelity models with starting points obtained from cheaper, lower fidelity models. Our second multi-fidelity method relies on ensembles of gradients that are computed from low- and high-fidelity models. Numerical experiments with controlling the cooling of a steel rail profile and laminar flow in a cylinder wake demonstrate that our new multi-fidelity gradient sampling methods achieve up to two orders of magnitude speedup compared to the single-fidelity gradient sampling method that relies on the high-fidelity model alone. △ Less

Submitted 5 December, 2022; v1 submitted 30 May, 2022; originally announced May 2022.

Comments: 28 pages, 4 figures

MSC Class: 37N35; 37N40; 65K10; 90C30; 90C59

Journal ref: SIAM J. Sci. Comput., 45(2):A933-A957, 2023

The Completeness of 2D Rubik's Shapes

Authors: Skylar Werner

Abstract: The Rubik's cube was invented in 1974 by Erno Rubik, who had no idea of the incredible popularity and mathematical fascinations his toy would bring. Through the years of study on the mathematical properties of the cube, the Rubik's Cube group was introduced to represent all possible moves one could perform on the cube. In this paper, we define a planar analogue to the Rubik's cube, which we dub th… ▽ More The Rubik's cube was invented in 1974 by Erno Rubik, who had no idea of the incredible popularity and mathematical fascinations his toy would bring. Through the years of study on the mathematical properties of the cube, the Rubik's Cube group was introduced to represent all possible moves one could perform on the cube. In this paper, we define a planar analogue to the Rubik's cube, which we dub the Rubik's Square, and prove that the Rubik's square is complete in the sense that given any two configurations there is a sequence of moves which changes one to the other. The Rubik's cube does not have this property. We then abstract the concept of the Rubik's Square to a Rubik's Shape and analyse the completeness in this more general setting. △ Less

Submitted 5 March, 2022; originally announced March 2022.

On the sample complexity of stabilizing linear dynamical systems from data

Authors: Steffen W. R. Werner, Benjamin Peherstorfer

Abstract: Learning controllers from data for stabilizing dynamical systems typically follows a two step process of first identifying a model and then constructing a controller based on the identified model. However, learning models means identifying generic descriptions of the dynamics of systems, which can require large amounts of data and extracting information that are unnecessary for the specific task o… ▽ More Learning controllers from data for stabilizing dynamical systems typically follows a two step process of first identifying a model and then constructing a controller based on the identified model. However, learning models means identifying generic descriptions of the dynamics of systems, which can require large amounts of data and extracting information that are unnecessary for the specific task of stabilization. The contribution of this work is to show that if a linear dynamical system has dimension (McMillan degree) $n$, then there always exist $n$ states from which a stabilizing feedback controller can be constructed, independent of the dimension of the representation of the observed states and the number of inputs. By building on previous work, this finding implies that any linear dynamical system can be stabilized from fewer observed states than the minimal number of states required for learning a model of the dynamics. The theoretical findings are demonstrated with numerical experiments that show the stabilization of the flow behind a cylinder from less data than necessary for learning a model. △ Less

Submitted 22 July, 2022; v1 submitted 28 February, 2022; originally announced March 2022.

Comments: 29 pages, 4 figures

MSC Class: 65F55; 65P99; 93B52; 93C57; 93D15

Journal ref: Found. Comput. Math., 24(3):955-987, 2024

Structured model order reduction for vibro-acoustic problems using interpolation and balancing methods

Authors: Quirin Aumann, Steffen W. R. Werner

Abstract: Vibration and dissipation in vibro-acoustic systems can be assessed using frequency response analysis. Evaluating a frequency sweep on a full-order model can be very costly, so model order reduction methods are employed to compute cheap-to-evaluate surrogates. This work compares structure-preserving model reduction methods based on rational interpolation and balanced truncation with a specific foc… ▽ More Vibration and dissipation in vibro-acoustic systems can be assessed using frequency response analysis. Evaluating a frequency sweep on a full-order model can be very costly, so model order reduction methods are employed to compute cheap-to-evaluate surrogates. This work compares structure-preserving model reduction methods based on rational interpolation and balanced truncation with a specific focus on their applicability to vibro-acoustic systems. Such models typically exhibit a second-order structure and their material properties as well as their excitation may be depending on the driving frequency. We show and compare the effectiveness of all considered methods by applying them to numerical models of vibro-acoustic systems depicting structural vibration, sound transmission, acoustic scattering, and poroelastic problems. △ Less

Submitted 17 January, 2022; originally announced January 2022.

Comments: 31 pages, 18 figures

Journal ref: J. Sound Vib., 543:117363, 2023

Satellite quenching was not important for z$\sim$1 clusters: most quenching occurred during infall

Authors: S. V. Werner, N. A. Hatch, A. Muzzin, R. F. J. van der Burg, M. L. Balogh, G. Rudnick, G. Wilson

Abstract: We quantify the relative importance of environmental quenching versus pre-processing in $z\sim1$ clusters by analysing the infalling galaxy population in the outskirts of 15 galaxy clusters at $0.8<z<1.4$ drawn from the GOGREEN and GCLASS surveys. We find significant differences between the infalling galaxies and a control sample; in particular, an excess of massive quiescent galaxies in the infal… ▽ More We quantify the relative importance of environmental quenching versus pre-processing in $z\sim1$ clusters by analysing the infalling galaxy population in the outskirts of 15 galaxy clusters at $0.8<z<1.4$ drawn from the GOGREEN and GCLASS surveys. We find significant differences between the infalling galaxies and a control sample; in particular, an excess of massive quiescent galaxies in the infalling region. These massive infalling galaxies likely reside in larger dark matter haloes than similar-mass control galaxies because they have twice as many satellite galaxies. Furthermore, these satellite galaxies are distributed in an NFW profile with a larger scale radius compared to the satellites of the control galaxies. Based on these findings, we conclude that it may not be appropriate to use 'field' galaxies as a substitute for infalling pre-cluster galaxies when calculating the efficiency and mass dependency of environmental quenching in high redshift clusters. By comparing the quiescent fraction of infalling galaxies at $1<R/R_{200}<3$ to the cluster sample ($R/R_{200}<1$) we find that almost all quiescent galaxies with masses $>10^{11}M_{\odot}$ were quenched prior to infall, whilst up to half of lower mass galaxies were environmentally quenched after passing the virial radius. This means most of the massive quiescent galaxies in $z\sim1$ clusters were self-quenched or pre-processed prior to infall. △ Less

Submitted 29 November, 2021; originally announced November 2021.

Comments: 13 pages, 11 figures, paper accepted for publication by MNRAS

Resource-Aware Asynchronous Online Federated Learning for Nonlinear Regression

Authors: Francois Gauthier, Vinay Chakravarthi Gogineni, Stefan Werner, Yih-Fang Huang, Anthony Kuh

Abstract: Many assumptions in the federated learning literature present a best-case scenario that can not be satisfied in most real-world applications. An asynchronous setting reflects the realistic environment in which federated learning methods must be able to operate reliably. Besides varying amounts of non-IID data at participants, the asynchronous setting models heterogeneous client participation due t… ▽ More Many assumptions in the federated learning literature present a best-case scenario that can not be satisfied in most real-world applications. An asynchronous setting reflects the realistic environment in which federated learning methods must be able to operate reliably. Besides varying amounts of non-IID data at participants, the asynchronous setting models heterogeneous client participation due to available computational power and battery constraints and also accounts for delayed communications between clients and the server. To reduce the communication overhead associated with asynchronous online federated learning (ASO-Fed), we use the principles of partial-sharing-based communication. In this manner, we reduce the communication load of the participants and, therefore, render participation in the learning task more accessible. We prove the convergence of the proposed ASO-Fed and provide simulations to analyze its behavior further. The simulations reveal that, in the asynchronous setting, it is possible to achieve the same convergence as the federated stochastic gradient (Online-FedSGD) while reducing the communication tenfold. △ Less

Submitted 27 November, 2021; originally announced November 2021.

Comments: 6 pages, 3 figures, Submitted to ICC

A low-rank solution method for Riccati equations with indefinite quadratic terms

Authors: Peter Benner, Jan Heiland, Steffen W. R. Werner

Abstract: Algebraic Riccati equations with indefinite quadratic terms play an important role in applications related to robust controller design. While there are many established approaches to solve these in case of small-scale dense coefficients, there is no approach available to compute solutions in the large-scale sparse setting. In this paper, we develop an iterative method to compute low-rank approxima… ▽ More Algebraic Riccati equations with indefinite quadratic terms play an important role in applications related to robust controller design. While there are many established approaches to solve these in case of small-scale dense coefficients, there is no approach available to compute solutions in the large-scale sparse setting. In this paper, we develop an iterative method to compute low-rank approximations of stabilizing solutions of large-scale sparse continuous-time algebraic Riccati equations with indefinite quadratic terms. We test the developed approach for dense examples in comparison to other established matrix equation solvers, and investigate the applicability and performance in large-scale sparse examples. △ Less

Submitted 11 November, 2021; originally announced November 2021.

Comments: 19 pages, 2 figures, 5 tables

Journal ref: Numer. Algorithms, 92(2):1083-1103, 2023

Application-Platform Co-Design for Serverless Data Processing

Authors: Sebastian Werner, Stefan Tai

Abstract: "Application-platform co-design" refers to the phenomenon of new platforms being created in response to changing application needs, followed by application design and development changing due to the emergence (and the specifics, limitations) of the new platforms, therefore creating, again, new application and platform requirements. This continuous process of application and platform (re-)design de… ▽ More "Application-platform co-design" refers to the phenomenon of new platforms being created in response to changing application needs, followed by application design and development changing due to the emergence (and the specifics, limitations) of the new platforms, therefore creating, again, new application and platform requirements. This continuous process of application and platform (re-)design describes an engineering and management responsibility to constantly evaluate any given platform for application fit and platform-specific application design, and to consider a new or evolutionary platform development project due to evolving and changing application needs. In this paper, we study this phenomenon in the context of serverless computing and (big) data processing needs, and thus, for application-platform co-design for serverless data processing (SDP). We present an analysis of the state-of-the-art of function-as-a-service (FaaS) platforms, which reveals several configuration, deployment, execution, and measurement differences between popular platforms happening at-speed. These differences indicate already ongoing platform (re-)design processes resulting in more specialized serverless platforms and new, platform-specific challenges for application design. We discuss data processing needs of applications using the serverless model and present common initial (and undesirable) workaround solutions on the application level, giving additional argument to the creation of new SDP platforms. We present critical SDP requirements and possible new platform augmentations, but identify the need for engineering methods and tooling to better guide application-platform co-design. We argue to pay appropriate attention to the phenomenon of continuous application-platform co-design to better anticipate and to control future platform and application developments. △ Less

Submitted 29 October, 2021; originally announced November 2021.

Comments: Preprint version to be published Proceedings of the 19th International Conference on Service-Oriented Computing

Disentangling the Complex Electronic Structure of an Adsorbed Nanographene: Cycloarene C108

Authors: Jose Martinez-Castro, Rustem Bolat, Qitang Fan, Simon Werner, Hadi H. Arefi, Taner Esat, Jörg Sundermeyer, Christian Wagner, J. Michael Gottfried, Ruslan Temirov, Markus Ternes, F. Stefan Tautz

Abstract: We combine low-temperature scanning tunneling spectroscopy, CO functionalized tips and algorithmic data analysis to investigate the electronic structure of the molecular cycloarene C108 (graphene nanoring) adsorbed on a Au(111) surface. We demonstrate that CO functionalized tips enhance the visibility of molecular resonances, both in differential conductance spectra and in real-space topographic i… ▽ More We combine low-temperature scanning tunneling spectroscopy, CO functionalized tips and algorithmic data analysis to investigate the electronic structure of the molecular cycloarene C108 (graphene nanoring) adsorbed on a Au(111) surface. We demonstrate that CO functionalized tips enhance the visibility of molecular resonances, both in differential conductance spectra and in real-space topographic images without introducing spurious artifacts. Comparing our experimental data with ab-initio density functional theory reveals a remarkably precise agreement of the molecular orbitals and enables us to disentangle close-lying molecular states only separated by 50 meV at an energy of 2 eV below the Fermi level. We propose this combination of techniques as a promising new route for a precise characterization of complex molecules and other physical entities which have electronic resonances in the tip-sample junction. △ Less

Submitted 17 May, 2022; v1 submitted 21 October, 2021; originally announced October 2021.

Comments: 20 pages, 7 figures

Journal ref: Commun. Mater. 3, 57 (2022)

Structured vector fitting framework for mechanical systems

Authors: Steffen W. R. Werner, Ion Victor Gosea, Serkan Gugercin

Abstract: In this paper, we develop a structure-preserving formulation of the data-driven vector fitting algorithm for the case of modally damped mechanical systems. Using the structured pole-residue form of the transfer function of modally damped second-order systems, we propose two possible structured extensions of the barycentric formula of system transfer functions. Integrating these new forms within th… ▽ More In this paper, we develop a structure-preserving formulation of the data-driven vector fitting algorithm for the case of modally damped mechanical systems. Using the structured pole-residue form of the transfer function of modally damped second-order systems, we propose two possible structured extensions of the barycentric formula of system transfer functions. Integrating these new forms within the classical vector fitting algorithm leads to the formulation of two new algorithms that allow the computation of modally damped mechanical systems from data in a least squares fashion. Thus, the learned model is guaranteed to have the desired structure. We test the proposed algorithms on two benchmark models. △ Less

Submitted 18 October, 2021; originally announced October 2021.

Comments: 8 pages, 2 figures

Journal ref: IFAC-Pap., 55(20):163-168, 2022

Communication-Efficient Online Federated Learning Framework for Nonlinear Regression

Authors: Vinay Chakravarthi Gogineni, Stefan Werner, Yih-Fang Huang, Anthony Kuh

Abstract: Federated learning (FL) literature typically assumes that each client has a fixed amount of data, which is unrealistic in many practical applications. Some recent works introduced a framework for online FL (Online-Fed) wherein clients perform model learning on streaming data and communicate the model to the server; however, they do not address the associated communication overhead. As a solution,… ▽ More Federated learning (FL) literature typically assumes that each client has a fixed amount of data, which is unrealistic in many practical applications. Some recent works introduced a framework for online FL (Online-Fed) wherein clients perform model learning on streaming data and communicate the model to the server; however, they do not address the associated communication overhead. As a solution, this paper presents a partial-sharing-based online federated learning framework (PSO-Fed) that enables clients to update their local models using continuous streaming data and share only portions of those updated models with the server. During a global iteration of PSO-Fed, non-participant clients have the privilege to update their local models with new data. Here, we consider a global task of kernel regression, where clients use a random Fourier features-based kernel LMS on their data for local learning. We examine the mean convergence of the PSO-Fed for kernel regression. Experimental results show that PSO-Fed can achieve competitive performance with a significantly lower communication overhead than Online-Fed. △ Less

Submitted 13 October, 2021; originally announced October 2021.

Comments: 5 pages, 2 figures, conference

FaaSter Troubleshooting -- Evaluating Distributed Tracing Approaches for Serverless Applications

Authors: Maria C. Borges, Sebastian Werner, Ahmet Kilic

Abstract: Serverless applications can be particularly difficult to troubleshoot, as these applications are often composed of various managed and partly managed services. Faults are often unpredictable and can occur at multiple points, even in simple compositions. Each additional function or service in a serverless composition introduces a new possible fault source and a new layer to obfuscate faults. Curren… ▽ More Serverless applications can be particularly difficult to troubleshoot, as these applications are often composed of various managed and partly managed services. Faults are often unpredictable and can occur at multiple points, even in simple compositions. Each additional function or service in a serverless composition introduces a new possible fault source and a new layer to obfuscate faults. Currently, serverless platforms offer only limited support for identifying runtime faults. Developers looking to observe their serverless compositions often have to rely on scattered logs and ambiguous error messages to pinpoint root causes. In this paper, we investigate the use of distributed tracing for improving the observability of faults in serverless applications. To this end, we first introduce a model for characterizing fault observability, then provide a prototypical tracing implementation - specifically, a developer-driven and a platform-supported tracing approach. We compare both approaches with our model, measure associated trade-offs (execution latency, resource utilization), and contribute new insights for troubleshooting serverless compositions. △ Less

Submitted 7 October, 2021; originally announced October 2021.

Comments: 2021 IEEE International Conference on Cloud Engineering (IC2E)

Ariel: Enabling planetary science across light-years

Authors: Giovanna Tinetti, Paul Eccleston, Carole Haswell, Pierre-Olivier Lagage, Jérémy Leconte, Theresa Lüftinger, Giusi Micela, Michel Min, Göran Pilbratt, Ludovic Puig, Mark Swain, Leonardo Testi, Diego Turrini, Bart Vandenbussche, Maria Rosa Zapatero Osorio, Anna Aret, Jean-Philippe Beaulieu, Lars Buchhave, Martin Ferus, Matt Griffin, Manuel Guedel, Paul Hartogh, Pedro Machado, Giuseppe Malaguti, Enric Pallé , et al. (293 additional authors not shown)

Abstract: Ariel, the Atmospheric Remote-sensing Infrared Exoplanet Large-survey, was adopted as the fourth medium-class mission in ESA's Cosmic Vision programme to be launched in 2029. During its 4-year mission, Ariel will study what exoplanets are made of, how they formed and how they evolve, by surveying a diverse sample of about 1000 extrasolar planets, simultaneously in visible and infrared wavelengths.… ▽ More Ariel, the Atmospheric Remote-sensing Infrared Exoplanet Large-survey, was adopted as the fourth medium-class mission in ESA's Cosmic Vision programme to be launched in 2029. During its 4-year mission, Ariel will study what exoplanets are made of, how they formed and how they evolve, by surveying a diverse sample of about 1000 extrasolar planets, simultaneously in visible and infrared wavelengths. It is the first mission dedicated to measuring the chemical composition and thermal structures of hundreds of transiting exoplanets, enabling planetary science far beyond the boundaries of the Solar System. The payload consists of an off-axis Cassegrain telescope (primary mirror 1100 mm x 730 mm ellipse) and two separate instruments (FGS and AIRS) covering simultaneously 0.5-7.8 micron spectral range. The satellite is best placed into an L2 orbit to maximise the thermal stability and the field of regard. The payload module is passively cooled via a series of V-Groove radiators; the detectors for the AIRS are the only items that require active cooling via an active Ne JT cooler. The Ariel payload is developed by a consortium of more than 50 institutes from 16 ESA countries, which include the UK, France, Italy, Belgium, Poland, Spain, Austria, Denmark, Ireland, Portugal, Czech Republic, Hungary, the Netherlands, Sweden, Norway, Estonia, and a NASA contribution. △ Less

Submitted 10 April, 2021; originally announced April 2021.

Comments: Ariel Definition Study Report, 147 pages. Reviewed by ESA Science Advisory Structure in November 2020. Original document available at: https://www.cosmos.esa.int/documents/1783156/3267291/Ariel_RedBook_Nov2020.pdf/

Report number: ESA/SCI(2020)1

Ariel Planetary Interiors White Paper

Authors: Ravit Helled, Stephanie Werner, Caroline Dorn, Tristan Guillot, Masahiro Ikoma, Yuichi Ito, Mihkel Kama, Tim Lichtenberg, Yamila Miguel, Oliver Shorttle, Paul J. Tackley, Diana Valencia, Allona Vazan

Abstract: The recently adopted Ariel ESA mission will measure the atmospheric composition of a large number of exoplanets. This information will then be used to better constrain planetary bulk compositions. While the connection between the composition of a planetary atmosphere and the bulk interior is still being investigated, the combination of the atmospheric composition with the measured mass and radius… ▽ More The recently adopted Ariel ESA mission will measure the atmospheric composition of a large number of exoplanets. This information will then be used to better constrain planetary bulk compositions. While the connection between the composition of a planetary atmosphere and the bulk interior is still being investigated, the combination of the atmospheric composition with the measured mass and radius of exoplanets will push the field of exoplanet characterisation to the next level, and provide new insights of the nature of planets in our galaxy. In this white paper, we outline the ongoing activities of the interior working group of the {\it Ariel} mission, and list the desirable theoretical developments as well as the challenges in linking planetary atmospheres, bulk composition and interior structure. △ Less

Submitted 15 March, 2021; originally announced March 2021.

Comments: Accepted for publication in Experimental Astronomy

Robust output-feedback stabilization for incompressible flows using low-dimensional $\mathcal{H}_{\infty}$-controllers

Authors: Peter Benner, Jan Heiland, Steffen W. R. Werner

Abstract: Output-based controllers are known to be fragile with respect to model uncertainties. The standard $\mathcal{H}_{\infty}$-control theory provides a general approach to robust controller design based on the solution of the $\mathcal{H}_{\infty}$-Riccati equations. In view of stabilizing incompressible flows in simulations, two major challenges have to be addressed: the high-dimensional nature of th… ▽ More Output-based controllers are known to be fragile with respect to model uncertainties. The standard $\mathcal{H}_{\infty}$-control theory provides a general approach to robust controller design based on the solution of the $\mathcal{H}_{\infty}$-Riccati equations. In view of stabilizing incompressible flows in simulations, two major challenges have to be addressed: the high-dimensional nature of the spatially discretized model and the differential-algebraic structure that comes with the incompressibility constraint. This work demonstrates the synthesis of low-dimensional robust controllers with guaranteed robustness margins for the stabilization of incompressible flow problems. The performance and the robustness of the reduced-order controller with respect to linearization and model reduction errors are investigated and illustrated in numerical examples. △ Less

Submitted 6 October, 2021; v1 submitted 2 March, 2021; originally announced March 2021.

Comments: 20 pages, 4 figures, 3 tables

Journal ref: Comput. Optim. Appl., 82(1):225-249, 2022

On Stability and Convergence of Distributed Filters

Authors: Sayed Pouria Talebi, Stefan Werner, Vijay Gupta, Yih-Fang Huang

Abstract: Recent years have bore witness to the proliferation of distributed filtering techniques, where a collection of agents communicating over an ad-hoc network aim to collaboratively estimate and track the state of a system. These techniques form the enabling technology of modern multi-agent systems and have gained great importance in the engineering community. Although most distributed filtering techn… ▽ More Recent years have bore witness to the proliferation of distributed filtering techniques, where a collection of agents communicating over an ad-hoc network aim to collaboratively estimate and track the state of a system. These techniques form the enabling technology of modern multi-agent systems and have gained great importance in the engineering community. Although most distributed filtering techniques come with a set of stability and convergence criteria, the conditions imposed are found to be unnecessarily restrictive. The paradigm of stability and convergence in distributed filtering is revised in this manuscript. Accordingly, a general distributed filter is constructed and its estimation error dynamics is formulated. The conducted analysis demonstrates that conditions for achieving stable filtering operations are the same as those required in the centralized filtering setting. Finally, the concepts are demonstrated in a Kalman filtering framework and validated using simulation examples. △ Less

Submitted 22 February, 2021; originally announced February 2021.

A new estimate for the age of highly-siderophile element retention in the lunar mantle from late accretion

Authors: R. Brasser, S. J. Mojzsis, S. C. Werner, O. Abramov

Abstract: Subsequent to the Moon's formation, late accretion to the terrestrial planets strongly modified the physical and chemical nature of silicate crusts and mantles. This alteration came in the form of melting through impacts, as well as the belated addition of volatiles and the highly siderophile elements (HSEs). Current debate centres on whether the lunar HSE record is representative of its whole lat… ▽ More Subsequent to the Moon's formation, late accretion to the terrestrial planets strongly modified the physical and chemical nature of silicate crusts and mantles. This alteration came in the form of melting through impacts, as well as the belated addition of volatiles and the highly siderophile elements (HSEs). Current debate centres on whether the lunar HSE record is representative of its whole late accretion history or alternatively that these were only retained in the mantle and crust after a particular time, and if so, when. Here we employ improved Monte Carlo impact simulations of late accretion onto the Moon and Mars and present an updated chronology based on new dynamical simulations of leftover planetesimals and the E-belt. We take into account the inefficient retention of colliding material. We compute the crater and basin densities on the Moon and Mars, the largest objects to strike these planets and the amount of material they accreted. Outputs are used to infer the mass in leftover planetesimals at a particular time period, which is then compared to the lunar HSE abundance. From this estimate we calculate a preferred lunar HSE retention age of ca. 4450 Ma which means that the modelled lunar mantle HSE abundances trace almost all of lunar late accretion. Based on our results, the surface ages of the lunar highlands are at least 4370 Ma. We find that the mass of leftover planetesimals with diameters Di<300 km at 4500 Ma that best fits the crater chronology is approximately 2x10^{-3} Earth mass (ME) while the mass of the E-belt was fixed at 4.5x10^{-4} ME. We also find that a leftover planetesimal mass in excess of 0.01 ME results in a lunar HSE retention age younger than major episodes of lunar differentiation and crust formation, which in turn violates geochemical constraints for the timing and intensity of late accretion to the Earth (Mojzsis et al., 2019). △ Less

Submitted 17 February, 2021; originally announced February 2021.

Comments: Accepted in Icarus after 5 rounds of review

SoK: Decentralized Finance (DeFi)

Authors: Sam M. Werner, Daniel Perez, Lewis Gudgeon, Ariah Klages-Mundt, Dominik Harz, William J. Knottenbelt

Abstract: Decentralized Finance (DeFi), a blockchain powered peer-to-peer financial system, is mushrooming. Two years ago the total value locked in DeFi systems was approximately 700m USD, now, as of April 2022, it stands at around 150bn USD. The frenetic evolution of the ecosystem has created challenges in understanding the basic principles of these systems and their security risks. In this Systematization… ▽ More Decentralized Finance (DeFi), a blockchain powered peer-to-peer financial system, is mushrooming. Two years ago the total value locked in DeFi systems was approximately 700m USD, now, as of April 2022, it stands at around 150bn USD. The frenetic evolution of the ecosystem has created challenges in understanding the basic principles of these systems and their security risks. In this Systematization of Knowledge (SoK) we delineate the DeFi ecosystem along the following axes: its primitives, its operational protocol types and its security. We provide a distinction between technical security, which has a healthy literature, and economic security, which is largely unexplored, connecting the latter with new models and thereby synthesizing insights from computer science, economics and finance. Finally, we outline the open research challenges in the ecosystem across these security types. △ Less

Submitted 15 September, 2022; v1 submitted 21 January, 2021; originally announced January 2021.

ExoMars Raman Laser Spectrometer RLS, a tool to semi-quantify the serpentinization degree of olivine-rich rocks on Mars

Authors: Marco Veneranda, Guillermo Lopez-Reyes, Elena Pascual Sanchez, Agata M. Krzesinska, Jose Antonio Manrique-Martinez, Aurelio Sanz-Arranz, Cateline Lantz, Emmanuel Lalla, Andoni Moral, Jesus Medina, Francois Poulet, Henning Dypvik, Stephanie C. Werner, Jorge L. Vago, Fernando Rull

Abstract: We evaluate what will be the effectiveness of the ExoMars Raman Laser Spectrometer (RLS) to determine the degree of serpentinization of olivine-rich units on Mars. We selected terrestrial analogues of martian ultramafic rocks from the Leka Ophiolite Complex (LOC) and analyzed them with both laboratory and flight-like analytical instruments. We first studied the mineralogical composition of the sam… ▽ More We evaluate what will be the effectiveness of the ExoMars Raman Laser Spectrometer (RLS) to determine the degree of serpentinization of olivine-rich units on Mars. We selected terrestrial analogues of martian ultramafic rocks from the Leka Ophiolite Complex (LOC) and analyzed them with both laboratory and flight-like analytical instruments. We first studied the mineralogical composition of the samples (mostly olivine and serpentine) with state-of-the-art diffractometric and spectroscopic laboratory systems. We compared these results with those obtained using our RLS ExoMars Simulator. Our work shows that the RLS ExoMars Simulator successfully identified all major phases. Moreover, when emulating the automatic operating mode of the flight instrument, the RLS ExoMars simulator also detected several minor compounds, some of which were not observed by NIR and XRD. Thereafter, we produced RLS dedicated calibration curves (R2 between 0.9993 and 0.9995 with an uncertainty between 3.0% and 5.2% with a confidence interval of 95%) to estimate the relative content of olivine and serpentine in the samples. Our results show that RLS can be very effective to identify serpentine, a scientific target of primary importance for the potential detection of biosignatures on Mars the main objective of the ExoMars rover mission. △ Less

Submitted 21 January, 2021; originally announced January 2021.

Journal ref: Astrobiology, 2021, Ahead of Print

ExoMars Raman Laser Spectrometer RLS, a tool for the potential recognition of wet target craters on Mars

Authors: Marco Veneranda, Guillermo Lopez-Reyes, Jose Antonio Manrique, Jesus Medina, Patricia Ruiz-Galende, Imanol Torre-Fdez, Kepa Castro, Cateline Lantz, Francois Poulet, Henning Dypvik, Stephanie C. Werner, Fernando Rull

Abstract: In the present work, NIR, LIBS, Raman and XRD techniques have been complementarily used to carry out a comprehensive characterization of a terrestrial analogue selected from the Chesapeake Bay Impact Structure (CBIS). The obtained data clearly highlight the key role of Raman spectroscopy in the detection of minor and trace compounds, through which inferences about geological processes occurred in… ▽ More In the present work, NIR, LIBS, Raman and XRD techniques have been complementarily used to carry out a comprehensive characterization of a terrestrial analogue selected from the Chesapeake Bay Impact Structure (CBIS). The obtained data clearly highlight the key role of Raman spectroscopy in the detection of minor and trace compounds, through which inferences about geological processes occurred in the CBIS can be extrapolated. Beside the use of commercial systems, further Raman analyses were performed by the Raman Laser Spectrometer (RLS) ExoMars Simulator. This instrument represents the most reliable tool to effectively predict the scientific capabilities of the ExoMars/Raman system that will be deployed on Mars in 2021. By emulating the analytical procedures and operational restrictions established by the ExoMars mission rover design, it was proved that the RLS ExoMars Simulator is able to detect the amorphization of quartz, which constitutes an analytical clue of the impact origin of craters. On the other hand, the detection of barite and siderite, compounds crystallizing under hydrothermal conditions, helps to indirectly confirm the presence of water in impact targets. Furthermore, the RLS ExoMars Simulator capability of performing smart molecular mappings was also evaluated. According to the obtained results, the algorithms developed for its operation provide a great analytical advantage over most of the automatic analysis systems employed by commercial Raman instruments, encouraging its application for many additional scientific and commercial purposes. △ Less

Submitted 21 January, 2021; originally announced January 2021.

Journal ref: Astrobiology, 2020, 20 (3), 349-363

Spectroscopic study of olivine-bearing rocks and its relevance to the ExoMars rover mission

Authors: Marco Veneranda, Jose Antonio Manrique, Guillermo Lopez-Reyes, Jesus Medina, Imanol Torre-Fdez, Kepa Castro, Juan Manuel Madariaga, Cateline Lanz, Francois Poulet, Agata M. Krzesinska, Helge Hellevang, Stephanie C. Werner, Fernando Rull

Abstract: We present the compositional analysis of three terrestrial analogues of Martian olivine-bearing rocks derived from both laboratory and flight-derived analytical instruments. In the first step, state-of-the-art spectroscopic (XRF, NIR and Raman) and diffractometric (XRD) laboratory systems were complementary used. Besides providing a detailed mineralogical and geochemical characterization of the sa… ▽ More We present the compositional analysis of three terrestrial analogues of Martian olivine-bearing rocks derived from both laboratory and flight-derived analytical instruments. In the first step, state-of-the-art spectroscopic (XRF, NIR and Raman) and diffractometric (XRD) laboratory systems were complementary used. Besides providing a detailed mineralogical and geochemical characterization of the samples, results comparison shed light on the advantages ensured by the combined use of Raman and NIR techniques, being these the spectroscopic instruments that will soon deploy (2021) on Mars as part of the ExoMars/ESA rover payload. In order to extrapolate valuable indicators of the mineralogical data that could derive from the ExoMars/Raman Laser Spectrometer (RLS), laboratory results were then compared with the molecular data gathered through the RLS ExoMars Simulator. Beside correctly identifying all major phases (feldspar, pyroxene and olivine), the RLS ExoMars Simulator confirmed the presence of additional minor compounds (i.e. hematite and apatite) that were not detected by complementary techniques. Furthermore, concerning the in-depth study of olivine grains, the RLS ExoMars simulator was able to effectively detect the shifting of the characteristic double peak around 820 and 850 cm-1, from which the Fe-Mg content of the analysed crystals can be extrapolated. Considering that olivine is one of the main mineral phases of the ExoMars landing site (Oxia Planum), this study suggests that the ExoMars/RLS system has the potential to provide detailed information about the elemental composition of olivine on Mars. △ Less

Submitted 21 January, 2021; originally announced January 2021.

Journal ref: Spectrochimica Acta Part A: Molecular and Biomolecular Spectroscopy, 2019, 223, 117360

PTAL multi-spectral database of planetary terrestrial analogues: Raman data overview

Authors: Marco Veneranda, Jesus Saiz, Aurelio Sanz-Arranz, Jose Antonio Manrique, Guillermo Lopez-Reyes, Jesus Medina, Henning Dypvik, Stephanie C. Werner, Fernando Rull

Abstract: The multi analytical study of terrestrial analogues is a useful strategy to deepen the knowledge about the geological and environmental evolution of Mars and other extraterrestrial bodies. In spite of the increasing importance that LIBS, NIR and Raman techniques are acquiring in the field of space exploration, there is a lack web-based platform providing free access to a wide multi-spectral databa… ▽ More The multi analytical study of terrestrial analogues is a useful strategy to deepen the knowledge about the geological and environmental evolution of Mars and other extraterrestrial bodies. In spite of the increasing importance that LIBS, NIR and Raman techniques are acquiring in the field of space exploration, there is a lack web-based platform providing free access to a wide multi-spectral database of terrestrial analogue materials. The Planetary Terrestrial Analogue Library (PTAL) project aims at responding to this critical need by developing and providing free web accessibility to LIBS, NIR and Raman data from more than 94 terrestrial analogues selected according to their congruence with Martian geological contexts. In this framework, the present manuscript provides the scientific community with a complete overview of the over 4500 Raman spectra collected to feed the PTAL database. Raman data, obtained through the complementary use of laboratory and spacecraft-simulator systems, confirmed the effectiveness of this spectroscopic technique for the detection of major and minor mineralogical phases of the samples, the latter being of critical importance for the recognition of geological processes that could have occurred on Mars and other planets. In light of the forthcoming missions to Mars, the results obtained through the RLS ExoMars Simulator offer a valuable insight on the scientific outcome that could derive from the RLS spectrometer that will soon land on Mars as part of the ExoMars rover payload. △ Less

Submitted 20 January, 2021; originally announced January 2021.

Journal ref: Journal of Raman Spectroscopy, 2020, 51 (9), 1731-1749

Structure-Preserving Model Reduction for Dissipative Mechanical Systems

Authors: Rebekka S. Beddig, Peter Benner, Ines Dorschky, Timo Reis, Paul Schwerdtner, Matthias Voigt, Steffen W. R. Werner

Abstract: Suppressing vibrations in mechanical systems, usually described by second-order dynamical models, is a challenging task in mechanical engineering in terms of computational resources even nowadays. One remedy is structure-preserving model order reduction to construct easy-to-evaluate surrogates for the original dynamical system having the same structure. In our work, we present an overview of recen… ▽ More Suppressing vibrations in mechanical systems, usually described by second-order dynamical models, is a challenging task in mechanical engineering in terms of computational resources even nowadays. One remedy is structure-preserving model order reduction to construct easy-to-evaluate surrogates for the original dynamical system having the same structure. In our work, we present an overview of recently developed structure-preserving model reduction methods for second-order systems. These methods are based on modal and balanced truncation in different variants, as well as on rational interpolation. Numerical examples are used to illustrate the effectiveness of all described methods. △ Less

Submitted 25 January, 2022; v1 submitted 13 October, 2020; originally announced October 2020.

Comments: 21 pages, 8 figures

Journal ref: Lect. Notes Appl. Comput. Mech., 102:209-230, 2024

Liquidations: DeFi on a Knife-edge

Authors: Daniel Perez, Sam M. Werner, Jiahua Xu, Benjamin Livshits

Abstract: The trustless nature of permissionless blockchains renders overcollateralization a key safety component relied upon by decentralized finance (DeFi) protocols. Nonetheless, factors such as price volatility may undermine this mechanism. In order to protect protocols from suffering losses, undercollateralized positions can be liquidated. In this paper, we present the first in-depth empirical analysis… ▽ More The trustless nature of permissionless blockchains renders overcollateralization a key safety component relied upon by decentralized finance (DeFi) protocols. Nonetheless, factors such as price volatility may undermine this mechanism. In order to protect protocols from suffering losses, undercollateralized positions can be liquidated. In this paper, we present the first in-depth empirical analysis of liquidations on protocols for loanable funds (PLFs). We examine Compound, one of the most widely used PLFs, for a period starting from its conception to September 2020. We analyze participants' behavior and risk-appetite in particular, to elucidate recent developments in the dynamics of the protocol. Furthermore, we assess how this has changed with a modification in Compound's incentive structure and show that variations of only 3% in an asset's dollar price can result in over 10m USD becoming liquidable. To further understand the implications of this, we investigate the efficiency of liquidators. We find that liquidators' efficiency has improved significantly over time, with currently over 70% of liquidable positions being immediately liquidated. Lastly, we provide a discussion on how a false sense of security fostered by a misconception of the stability of non-custodial stablecoins, increases the overall liquidation risk faced by Compound participants. △ Less

Submitted 11 December, 2021; v1 submitted 28 September, 2020; originally announced September 2020.

Journal ref: Financial Cryptography and Data Security (2021) 457-476

Privacy-Preserving Distributed Zeroth-Order Optimization

Authors: C. Gratton, N. K. D. Venkategowda, R. Arablouei, S. Werner

Abstract: We develop a privacy-preserving distributed algorithm to minimize a regularized empirical risk function when the first-order information is not available and data is distributed over a multi-agent network. We employ a zeroth-order method to minimize the associated augmented Lagrangian function in the primal domain using the alternating direction method of multipliers (ADMM). We show that the propo… ▽ More We develop a privacy-preserving distributed algorithm to minimize a regularized empirical risk function when the first-order information is not available and data is distributed over a multi-agent network. We employ a zeroth-order method to minimize the associated augmented Lagrangian function in the primal domain using the alternating direction method of multipliers (ADMM). We show that the proposed algorithm, named distributed zeroth-order ADMM (D-ZOA), has intrinsic privacy-preserving properties. Unlike the existing privacy-preserving methods based on the ADMM where the primal or the dual variables are perturbed with noise, the inherent randomness due to the use of a zeroth-order method endows D-ZOA with intrinsic differential privacy. By analyzing the perturbation of the primal variable, we show that the privacy leakage of the proposed D-ZOA algorithm is bounded. In addition, we employ the moments accountant method to show that the total privacy leakage grows sublinearly with the number of ADMM iterations. D-ZOA outperforms the existing differentially private approaches in terms of accuracy while yielding the same privacy guarantee. We prove that D-ZOA converges to the optimal solution at a rate of $\mathcal{O}(1/M)$ where $M$ is the number of ADMM iterations. The convergence analysis also reveals a practically important trade-off between privacy and accuracy. Simulation results verify the desirable privacy-preserving properties of D-ZOA and its superiority over a state-of-the-art algorithm as well as its network-wide convergence to the optimal solution. △ Less

Submitted 31 August, 2020; originally announced August 2020.

Structure-Preserving Interpolation for Model Reduction of Parametric Bilinear Systems

Authors: Peter Benner, Serkan Gugercin, Steffen W. R. Werner

Abstract: In this paper, we present an interpolation framework for structure-preserving model order reduction of parametric bilinear dynamical systems. We introduce a general setting, covering a broad variety of different structures for parametric bilinear systems, and then provide conditions on projection spaces for the interpolation of structured subsystem transfer functions such that the system structure… ▽ More In this paper, we present an interpolation framework for structure-preserving model order reduction of parametric bilinear dynamical systems. We introduce a general setting, covering a broad variety of different structures for parametric bilinear systems, and then provide conditions on projection spaces for the interpolation of structured subsystem transfer functions such that the system structure and parameter dependencies are preserved in the reduced-order model. Two benchmark examples with different parameter dependencies are used to demonstrate the theoretical analysis. △ Less

Submitted 22 July, 2020; originally announced July 2020.

Comments: 10 pages, 2 figures

Journal ref: Automatica J. IFAC, 132:109799, 2021

Run2Survive: A Decision-theoretic Approach to Algorithm Selection based on Survival Analysis

Authors: Alexander Tornede, Marcel Wever, Stefan Werner, Felix Mohr, Eyke Hüllermeier

Abstract: Algorithm selection (AS) deals with the automatic selection of an algorithm from a fixed set of candidate algorithms most suitable for a specific instance of an algorithmic problem class, where "suitability" often refers to an algorithm's runtime. Due to possibly extremely long runtimes of candidate algorithms, training data for algorithm selection models is usually generated under time constraint… ▽ More Algorithm selection (AS) deals with the automatic selection of an algorithm from a fixed set of candidate algorithms most suitable for a specific instance of an algorithmic problem class, where "suitability" often refers to an algorithm's runtime. Due to possibly extremely long runtimes of candidate algorithms, training data for algorithm selection models is usually generated under time constraints in the sense that not all algorithms are run to completion on all instances. Thus, training data usually comprises censored information, as the true runtime of algorithms timed out remains unknown. However, many standard AS approaches are not able to handle such information in a proper way. On the other side, survival analysis (SA) naturally supports censored data and offers appropriate ways to use such data for learning distributional models of algorithm runtime, as we demonstrate in this work. We leverage such models as a basis of a sophisticated decision-theoretic approach to algorithm selection, which we dub Run2Survive. Moreover, taking advantage of a framework of this kind, we advocate a risk-averse approach to algorithm selection, in which the avoidance of a timeout is given high priority. In an extensive experimental study with the standard benchmark ASlib, our approach is shown to be highly competitive and in many cases even superior to state-of-the-art AS approaches. △ Less

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

DeFi Protocols for Loanable Funds: Interest Rates, Liquidity and Market Efficiency

Authors: Lewis Gudgeon, Sam M. Werner, Daniel Perez, William J. Knottenbelt

Abstract: We coin the term *Protocols for Loanable Funds (PLFs)* to refer to protocols which establish distributed ledger-based markets for loanable funds. PLFs are emerging as one of the main applications within Decentralized Finance (DeFi), and use smart contract code to facilitate the intermediation of loanable funds. In doing so, these protocols allow agents to borrow and save programmatically. Within t… ▽ More We coin the term *Protocols for Loanable Funds (PLFs)* to refer to protocols which establish distributed ledger-based markets for loanable funds. PLFs are emerging as one of the main applications within Decentralized Finance (DeFi), and use smart contract code to facilitate the intermediation of loanable funds. In doing so, these protocols allow agents to borrow and save programmatically. Within these protocols, interest rate mechanisms seek to equilibrate the supply and demand for funds. In this paper, we review the methodologies used to set interest rates on three prominent DeFi PLFs, namely Compound, Aave and dYdX. We provide an empirical examination of how these interest rate rules have behaved since their inception in response to differing degrees of liquidity. We then investigate the market efficiency and inter-connectedness between multiple protocols, examining first whether Uncovered Interest Parity holds within a particular protocol and second whether the interest rates for a particular token market show dependence across protocols, developing a Vector Error Correction Model for the dynamics. △ Less

Submitted 15 October, 2020; v1 submitted 11 June, 2020; originally announced June 2020.

Functional modules from variable genes: Leveraging percolation to analyze noisy, high-dimensional data

Authors: Steffen Werner, W Mathijs Rozemuller, Annabel Ebbing, Anna Alemany, Joleen Traets, Jeroen S. van Zon, Alexander van Oudenaarden, Hendrik C. Korswagen, Greg J. Stephens, Thomas S. Shimizu

Abstract: While measurement advances now allow extensive surveys of gene activity (large numbers of genes across many samples), interpretation of these data is often confounded by noise -- expression counts can differ strongly across samples due to variation of both biological and experimental origin. Complimentary to perturbation approaches, we extract functionally related groups of genes by analyzing the… ▽ More While measurement advances now allow extensive surveys of gene activity (large numbers of genes across many samples), interpretation of these data is often confounded by noise -- expression counts can differ strongly across samples due to variation of both biological and experimental origin. Complimentary to perturbation approaches, we extract functionally related groups of genes by analyzing the standing variation within a sampled population. To distinguish biologically meaningful patterns from uninterpretable noise, we focus on correlated variation and develop a novel density-based clustering approach that takes advantage of a percolation transition generically arising in random, uncorrelated data. We apply our approach to two contrasting RNA sequencing data sets that sample individual variation -- across single cells of fission yeast and whole animals of C. elegans worms -- and demonstrate robust applicability and versatility in revealing correlated gene clusters of diverse biological origin, including cell cycle phase, development/reproduction, tissue-specific functions, and feeding history. Our technique exploits generic features of noisy high-dimensional data and is applicable, beyond gene expression, to feature-rich data that sample population-level variability in the presence of noise. △ Less

Submitted 11 June, 2020; originally announced June 2020.

Comments: 13 pages, 8 figures

Secondary Electron Emission by Plasmon Induced Symmetry Breaking in Highly Oriented Pyrolitic Graphite (HOPG)

Authors: Wolfgang S. M. Werner, Vytautas Astašauskas, Philipp Ziegler, Alessandra Bellissimo, Giovanni Stefani, Lukas Linhart, Florian Libisch

Abstract: Two-particle spectroscopy with correlated electron pairs is used to establish the causal link between the secondary electron spectrum, the $(π+σ)-$plasmon peak and the unoccupied band structure of highly oriented pyrolitic graphite. The plasmon spectrum is resolved with respect to the involved interband transitions and clearly exhibits final state effects, in particular due to the energy gap betwe… ▽ More Two-particle spectroscopy with correlated electron pairs is used to establish the causal link between the secondary electron spectrum, the $(π+σ)-$plasmon peak and the unoccupied band structure of highly oriented pyrolitic graphite. The plasmon spectrum is resolved with respect to the involved interband transitions and clearly exhibits final state effects, in particular due to the energy gap between the interlayer resonances along the $Γ$A-direction. The corresponding final state effects can also be identified in the secondary electron spectrum. Interpretation of the results is performed on the basis of density functional theory and tight binding calculations. Excitation of the plasmon perturbs the symmetry of the system and leads to hybridisation of the interlayer resonances with atom-like $σ^*$ bands along the $ΓA$-direction. These hybrid states have a high density of states as well as sufficient mobility along the graphite $c$-axis leading to the sharp $\sim$3\ eV resonance in the spectrum of emitted secondary electrons reported throughout the literature. △ Less

Submitted 9 June, 2020; originally announced June 2020.

Comments: 9 pages, 4 figures

Journal ref: Phys. Rev. Lett. 125, 196603 (2020)

Unstable Throughput: When the Difficulty Algorithm Breaks

Authors: Dragos I. Ilie, Sam M. Werner, Iain Stewart, William J. Knottenbelt

Abstract: In Proof-of-Work blockchains, difficulty algorithms serve the crucial purpose of maintaining a stable transaction throughput by dynamically adjusting the block difficulty in response to the miners' constantly changing computational power. Blockchains that may experience severe hash rate fluctuations need difficulty algorithms that quickly adapt the mining difficulty. However, without careful desig… ▽ More In Proof-of-Work blockchains, difficulty algorithms serve the crucial purpose of maintaining a stable transaction throughput by dynamically adjusting the block difficulty in response to the miners' constantly changing computational power. Blockchains that may experience severe hash rate fluctuations need difficulty algorithms that quickly adapt the mining difficulty. However, without careful design, the system could be gamed by miners using coin-hopping strategies to manipulate the block difficulty for profit. Such miner behavior results in an unreliable system due to the unstable processing of transactions. We provide an empirical analysis of how Bitcoin Cash's difficulty algorithm design leads to cyclicality in block solve times as a consequence of a positive feedback loop. In response, we mathematically derive a difficulty algorithm using a negative exponential filter which prohibits the formation of positive feedback and exhibits additional desirable properties, such as history agnosticism. We compare the described algorithm to that of Bitcoin Cash in a simulated mining environment and verify that the former would eliminate the severe oscillations in transaction throughput. △ Less

Submitted 30 April, 2021; v1 submitted 4 June, 2020; originally announced June 2020.

Structure-Preserving Interpolation of Bilinear Control Systems

Authors: Peter Benner, Serkan Gugercin, Steffen W. R. Werner

Abstract: In this paper, we extend the structure-preserving interpolatory model reduction framework, originally developed for linear systems, to structured bilinear control systems. Specifically, we give explicit construction formulae for the model reduction bases to satisfy different types of interpolation conditions. First, we establish the analysis for transfer function interpolation for single-input sin… ▽ More In this paper, we extend the structure-preserving interpolatory model reduction framework, originally developed for linear systems, to structured bilinear control systems. Specifically, we give explicit construction formulae for the model reduction bases to satisfy different types of interpolation conditions. First, we establish the analysis for transfer function interpolation for single-input single-output structured bilinear systems. Then, we extend these results to the case of multi-input multi-output structured bilinear systems by matrix interpolation. The effectiveness of our structure-preserving approach is illustrated by means of various numerical examples. △ Less

Submitted 2 May, 2020; originally announced May 2020.

Comments: 26 pages, 9 figures

Journal ref: Adv. Comput. Math., 47(3):43, 2021

Secure Boot from Non-Volatile Memory for Programmable SoC Architectures

Authors: Franz-Josef Streit, Florian Fritz, Andreas Becher, Stefan Wildermann, Stefan Werner, Martin Schmidt-Korth, Michael Pschyklenk, Jürgen Teich

Abstract: In modern embedded systems, the trust in comprehensive security standards all along the product life cycle has become an increasingly important access-to-market requirement. However, these security standards rely on mandatory immunity assumptions such as the integrity and authenticity of an initial system configuration typically loaded from Non-Volatile Memory (NVM). This applies especially to FPG… ▽ More In modern embedded systems, the trust in comprehensive security standards all along the product life cycle has become an increasingly important access-to-market requirement. However, these security standards rely on mandatory immunity assumptions such as the integrity and authenticity of an initial system configuration typically loaded from Non-Volatile Memory (NVM). This applies especially to FPGA-based Programmable System-on-Chip (PSoC) architectures, since object codes as well as configuration data easily exceed the capacity of a secure bootROM. In this context, an attacker could try to alter the content of the NVM device in order to manipulate the system. The PSoC therefore relies on the integrity of the NVM particularly at boot-time. In this paper, we propose a methodology for securely booting from an NVM in a potentially unsecure environment by exploiting the reconfigurable logic of the FPGA. Here, the FPGA serves as a secure anchor point by performing required integrity and authenticity verifications prior to the configuration and execution of any user application loaded from the NVM on the PSoC. The proposed secure boot process is based on the following assumptions and steps: 1) The boot configurationis stored on a fully encrypted Secure Digital memory card (SD card) or alternatively Flash acting as NVM. 2) At boot time, a hardware design called Trusted Memory-Interface Unit (TMIU) is loaded to verify first the authenticity of the deployed NVM and then after decryption the integrity of its content. To demonstrate the practicability of our approach, we integrated the methodology into the vendor-specific secure boot process of a Xilinx Zynq PSoC and evaluated the design objectives performance, power and resource costs. △ Less

Submitted 20 April, 2020; originally announced April 2020.

Comments: 9 pages, 5 figures

Step on the Gas? A Better Approach for Recommending the Ethereum Gas Price

Authors: Sam M. Werner, Paul J. Pritz, Daniel Perez

Abstract: In the Ethereum network, miners are incentivized to include transactions in a block depending on the gas price specified by the sender. The sender of a transaction therefore faces a trade-off between timely inclusion and cost of his transaction. Existing recommendation mechanisms aggregate recent gas price data on a per-block basis to suggest a gas price. We perform an empirical analysis of histor… ▽ More In the Ethereum network, miners are incentivized to include transactions in a block depending on the gas price specified by the sender. The sender of a transaction therefore faces a trade-off between timely inclusion and cost of his transaction. Existing recommendation mechanisms aggregate recent gas price data on a per-block basis to suggest a gas price. We perform an empirical analysis of historic block data to motivate the use of a predictive model for gas price recommendation. Subsequently, we propose a novel mechanism that combines a deep-learning based price forecasting model as well as an algorithm parameterized by a user-specific urgency value to recommend gas prices. In a comprehensive evaluation on real-world data, we show that our approach results on average in costs savings of more than 50% while only incurring an inclusion delay of 1.3 blocks, when compared to the gas price recommendation mechanism of the most widely used Ethereum client. △ Less

Submitted 20 January, 2021; v1 submitted 6 March, 2020; originally announced March 2020.

Journal ref: in proceedings of The 2nd International Conference on Mathematical Research for Blockchain Economy (MARBLE 2020)

MORLAB -- The Model Order Reduction LABoratory

Authors: Peter Benner, Steffen W. R. Werner

Abstract: For an easy use of model order reduction techniques in applications, software solutions are needed. In this paper, we describe the MORLAB, Model Order Reduction LABoratory, toolbox as an efficient implementation of model reduction techniques for dense, medium-scale linear time-invariant systems. Giving an introduction to the underlying programming principles of the toolbox, we show the basic idea… ▽ More For an easy use of model order reduction techniques in applications, software solutions are needed. In this paper, we describe the MORLAB, Model Order Reduction LABoratory, toolbox as an efficient implementation of model reduction techniques for dense, medium-scale linear time-invariant systems. Giving an introduction to the underlying programming principles of the toolbox, we show the basic idea of spectral splitting and present an overview about implemented model reduction techniques. Two numerical examples are used to illustrate different use cases of the MORLAB toolbox. △ Less

Submitted 28 February, 2020; originally announced February 2020.

Comments: 17 pages, 6 figures, 5 tables

Journal ref: International Series of Numerical Mathematics, 171:393-415, 2021

Frequency- and Time-Limited Balanced Truncation for Large-Scale Second-Order Systems

Authors: Peter Benner, Steffen W. R. Werner

Abstract: Considering the use of dynamical systems in practical applications, often only limited regions in the time or frequency domain are of interest. Therefor, it usually pays off to compute local approximations of the used dynamical systems in the frequency and time domain. In this paper, we consider a structure-preserving extension of the frequency- and time-limited balanced truncation methods to seco… ▽ More Considering the use of dynamical systems in practical applications, often only limited regions in the time or frequency domain are of interest. Therefor, it usually pays off to compute local approximations of the used dynamical systems in the frequency and time domain. In this paper, we consider a structure-preserving extension of the frequency- and time-limited balanced truncation methods to second-order dynamical systems. We give a full overview about the first-order limited balanced truncation methods and extend those methods to second-order systems by using the different second-order balanced truncation formulas from the literature. Also, we present numerical methods for solving the arising large-scale sparse matrix equations and give numerical modifications to deal with the problematic case of second-order systems. The results are then illustrated on three numerical examples. △ Less

Submitted 17 January, 2020; originally announced January 2020.

Comments: 30 pages, 10 figures, 9 tables

Journal ref: Linear Algebra Appl., 623:68-103, 2021

Metis: the Solar Orbiter visible light and ultraviolet coronal imager

Authors: Ester Antonucci, Marco Romoli, Vincenzo Andretta, Silvano Fineschi, Petr Heinzel, J. Daniel Moses, Giampiero Naletto, Gianalfredo Nicolini, Daniele Spadaro, Luca Teriaca, Arkadiusz Berlicki, Gerardo Capobianco, Giuseppe Crescenzio, Vania Da Deppo, Mauro Focardi, Fabio Frassetto, Klaus Heerlein, Federico Landini, Enrico Magli, Andrea Marco Malvezzi, Giuseppe Massone, Radek Melich, Piergiorgio Nicolosi, Giancarlo Noci, Maurizio Pancrazzi , et al. (78 additional authors not shown)

Abstract: Metis is the first solar coronagraph designed for a space mission capable of performing simultaneous imaging of the off-limb solar corona in both visible and UV light. The observations obtained with Metis aboard the Solar Orbiter ESA-NASA observatory will enable us to diagnose, with unprecedented temporal coverage and spatial resolution, the structures and dynamics of the full corona from 1.7… ▽ More Metis is the first solar coronagraph designed for a space mission capable of performing simultaneous imaging of the off-limb solar corona in both visible and UV light. The observations obtained with Metis aboard the Solar Orbiter ESA-NASA observatory will enable us to diagnose, with unprecedented temporal coverage and spatial resolution, the structures and dynamics of the full corona from 1.7 $R_\odot$ to about 9 $R_\odot$. Due to the uniqueness of the Solar Orbiter mission profile, Metis will be able to observe the solar corona from a close vantage point (down to 0.28 AU), achieving out-of-ecliptic views with the increase of the orbit inclination over time. Moreover, observations near perihelion, during the phase of lower rotational velocity of the solar surface relative to the spacecraft, will allow longer-term studies of the coronal features. Thanks to a novel occultation design and a combination of a UV interference coating of the mirrors and a spectral bandpass filter, Metis images the solar corona simultaneously in the visible light band, between 580 and 640 nm, and in the UV H I Lyman-α line at 121.6 nm. The coronal images in both the UV Lyman-α and polarised visible light are obtained at high spatial resolution with a spatial scale down to about 2000 km and 15000 km at perihelion, in the cases of the visible and UV light, respectively. A temporal resolution down to 1 second can be achieved when observing coronal fluctuations in visible light. The Metis measurements will allow for complete characterisation of the main physical parameters and dynamics of the electron and neutral hydrogen/proton plasma components of the corona in the region where the solar wind undergoes acceleration and where the onset and initial propagation of coronal mass ejections take place, thus significantly improving our understanding of the region connecting the Sun to the heliosphere. △ Less

Submitted 14 November, 2019; originally announced November 2019.

Impact bombardment chronology of the terrestrial planets from 4.5 Ga to 3.5 Ga

Authors: R. Brasser, S. C. Werner, S. J. Mojzsis

Abstract: Subsequent to the Moon's formation, late accretion to the terrestrial planets modified their silicate crusts and mantles. We combine dynamical N-body and Monte Carlo simulations to determine impact probabilities, impact velocities, and expected mass augmentation onto the terrestrial planets from three sources: planetesimals left over from primary accretion, asteroids from the E-belt, and comets ar… ▽ More Subsequent to the Moon's formation, late accretion to the terrestrial planets modified their silicate crusts and mantles. We combine dynamical N-body and Monte Carlo simulations to determine impact probabilities, impact velocities, and expected mass augmentation onto the terrestrial planets from three sources: planetesimals left over from primary accretion, asteroids from the E-belt, and comets arriving from the outer Solar System. We present estimates of the amount of cometary material striking the terrestrial planets in an early episode of planetesimal-driven giant planet migration (Mojzsis et al., 2019). The Moon and Mars suffer proportionally higher cometary accretion than Venus and Earth. The background mass addition from small leftover planetesimals to Earth and Mars is far less than independent estimates based on their mantle abundances of highly-siderophile elements. This supports the theory that both planets were struck by single large bodies that delivered most of their mass augmentation since primary accretion. We present fits to the impact chronologies valid from 4500 Ma to ca. 3700 Ma. The lunar timeline thus obtained is at odds with both the calibrated Neukum (Neukum et al., 2001) and Werner (Werner et al., 2014; Werner, 2019) chronologies. For Mars, the match with its calibrated Werner chronology is no better; by increasing the mass of the E-belt by a factor of four the dynamical lunar and martian chronologies are in line with that of Werner (2019) and match constraints from the current population of Hungaria asteroids. Yet, neither of our dynamical timelines fit well with that of Neukum. The dynamical lunar and martian chronologies are also different from each other. Consequently, the usual extrapolation of such chronologies from one planetary body to the other is technically inappropriate. △ Less

Submitted 24 October, 2019; originally announced October 2019.

Comments: Accepted in Icarus

Electro-optic eigenfrequency tuning of potassium tantalate-niobate microresonators

Authors: Jan Szabados, Christoph S. Werner, Simon J. Herr, Ingo Breunig, Karsten Buse

Abstract: Eigenfrequency tuning in microresonators is useful for a range of applications including frequency-agile optical filters and tunable optical frequency converters. In most of these applications, eigenfrequency tuning is achieved by thermal or mechanical means, while a few non-centrosymmetric crystals such as lithium niobate allow for such tuning using the linear electro-optic effect. Potassium tant… ▽ More Eigenfrequency tuning in microresonators is useful for a range of applications including frequency-agile optical filters and tunable optical frequency converters. In most of these applications, eigenfrequency tuning is achieved by thermal or mechanical means, while a few non-centrosymmetric crystals such as lithium niobate allow for such tuning using the linear electro-optic effect. Potassium tantalate-niobate ($\mathrm{KTa}_{1-x}\mathrm{Nb}_{x}\mathrm{O}_{3}$ with $0\leq x \leq1$, KTN) is a particularly attractive material for electro-optic tuning purposes. It has both non-centrosymmetric and centrosymmetric phases offering outstandingly large linear as well as quadratic electro-optic coefficients near the phase transition temperature. We demonstrate whispering-gallery resonators (WGRs) made of KTN with quality factors of $Q>10^{7}$ and electro-optic eigenfrequency tuning of more than 100 GHz at $λ=1040\,$nm for moderate field strengths of $E=250\,$V/mm. The tuning behavior near the phase transition temperature is analyzed by introducing a simple theoretical model. These results pave the way for applications such as electro-optically tunable microresonator-based Kerr frequency combs. △ Less

Submitted 21 October, 2019; originally announced October 2019.

Comments: Letter, 4 figures, 6 pages

Journal ref: APL Photonics 5 (2020) 016106