Showing 1–50 of 138 results for author: Werner, S

The S-PLUS Fornax Project (S+FP): Mapping H$α$+[NII] emission in 77 Fornax galaxy members reaching $\sim$4 Rvir

Authors: A. R. Lopes, A. V. Smith Castelli, A. C. Krabbe, J. A. Hernandez-Jimenez, D. Pallero, S. Torres-Flores, E. Telles, M. Sarzi, A. Cortesi, J. Thainá-Batista, R. Cid Fernandes, E. A. D. Lacerda, M. Sampaio, V. H. Sasse, F. R. Herpich, I. Andruchow, R. Demarco, L. A. Gutiérrez-Soto, M. Grossi, R. F. Haack, P. K. Humire, C. Lima-Dias, G. Limberg, C. Lobo, L. Lomelí-Núñez , et al. (9 additional authors not shown)

Abstract: The Fornax cluster, the second-largest galaxy cluster within 20 Mpc, presents an ideal environment for studying environmental effects on galaxy evolution. Utilizing data from the Southern Photometric Local Universe Survey (S-PLUS), this study explores the H$α$+[NII] emission maps across an area of approximately 208 square degrees around NGC 1399. For such, a dedicated semi-automated pipeline, Pixe… ▽ More The Fornax cluster, the second-largest galaxy cluster within 20 Mpc, presents an ideal environment for studying environmental effects on galaxy evolution. Utilizing data from the Southern Photometric Local Universe Survey (S-PLUS), this study explores the H$α$+[NII] emission maps across an area of approximately 208 square degrees around NGC 1399. For such, a dedicated semi-automated pipeline, Pixel-to-Pixel Emission Line Estimate (PELE), was developed to generate emission line maps by processing S-PLUS images using the Three Filter Method. A morphological analysis was conducted using the ASTROMORPHLIB package to determine whether H$α$+[NII] emitters exhibit perturbed features. The study successfully detected 77 H$α$+[NII] emitters with $r<18$ mag, extending to four times the virial radius of the Fornax cluster. PELE demonstrated its ability to recover flux down to 2e-17 erg s$^{-1}$ cm$^{-2}$ when compared to H$α$ maps from MUSE/VLT. Among the emitters, 25% are early-type galaxies (ETG) and 75% late-type galaxies (LTG). Signs of morphological perturbation or merger activity are observed in 44% of the LTG and in three ETG located beyond the cluster's virial radius. A significant fraction (91%) of the emitters are identified as recent infallers, primarily located in the northwestern region of the cluster, while others are associated with the infalling group Fornax A in the southwest. Disturbed, low-mass galaxies at larger cluster-centric distances provide evidence of galaxies begin transforming before entering the main cluster. This study demonstrates S-PLUS's effectiveness in detecting emitters, whose distribution reflects the Fornax cluster's assembly history, with LTG linked to recent infall from the field, possibly along a Fornax-Eridanus filament, and ETG may have evolved prior to entry. △ Less

Submitted 22 May, 2025; originally announced May 2025.

Comments: Accepted for publication in Astronomy & Astrophysics on 19/05/2025

Trusted Compute Units: A Framework for Chained Verifiable Computations

Authors: Fernando Castillo, Jonathan Heiss, Sebastian Werner, Stefan Tai

Abstract: Blockchain and distributed ledger technologies (DLTs) facilitate decentralized computations across trust boundaries. However, ensuring complex computations with low gas fees and confidentiality remains challenging. Recent advances in Confidential Computing -- leveraging hardware-based Trusted Execution Environments (TEEs) -- and Proof-carrying Data -- employing cryptographic Zero-Knowledge Virtual… ▽ More Blockchain and distributed ledger technologies (DLTs) facilitate decentralized computations across trust boundaries. However, ensuring complex computations with low gas fees and confidentiality remains challenging. Recent advances in Confidential Computing -- leveraging hardware-based Trusted Execution Environments (TEEs) -- and Proof-carrying Data -- employing cryptographic Zero-Knowledge Virtual Machines (zkVMs) -- hold promise for secure, privacy-preserving off-chain and layer-2 computations. On the other side, a homogeneous reliance on a single technology, such as TEEs or zkVMs, is impractical for decentralized environments with heterogeneous computational requirements. This paper introduces the Trusted Compute Unit (TCU), a unifying framework that enables composable and interoperable verifiable computations across heterogeneous technologies. Our approach allows decentralized applications (dApps) to flexibly offload complex computations to TCUs, obtaining proof of correctness. These proofs can be anchored on-chain for automated dApp interactions, while ensuring confidentiality of input data, and integrity of output data. We demonstrate how TCUs can support a prominent blockchain use case, such as federated learning. By enabling secure off-chain interactions without incurring on-chain confirmation delays or gas fees, TCUs significantly improve system performance and scalability. Experimental insights and performance evaluations confirm the feasibility and practicality of this unified approach, advancing the state of the art in verifiable off-chain services for the blockchain ecosystem. △ Less

Submitted 28 April, 2025; v1 submitted 22 April, 2025; originally announced April 2025.

Comments: To be published in 2025 IEEE International Conference on Blockchain and Cryptocurrency (ICBC'25). 9 pages. 4 figures

Fully Adaptive Stepsizes: Which System Benefit More -- Centralized or Decentralized?

Authors: Diyako Ghaderyan, Stefan Werner

Abstract: In decentralized optimization, the choice of stepsize plays a critical role in algorithm performance. A common approach is to use a shared stepsize across all agents to ensure convergence. However, selecting an optimal stepsize often requires careful tuning, which can be time-consuming and may lead to slow convergence, especially when there is significant variation in the smoothness (L-smoothness)… ▽ More In decentralized optimization, the choice of stepsize plays a critical role in algorithm performance. A common approach is to use a shared stepsize across all agents to ensure convergence. However, selecting an optimal stepsize often requires careful tuning, which can be time-consuming and may lead to slow convergence, especially when there is significant variation in the smoothness (L-smoothness) of local objective functions across agents. Individually tuning stepsizes per agent is also impractical, particularly in large-scale networks. To address these limitations, we propose AdGT, an adaptive gradient tracking method that enables each agent to adjust its stepsize based on the smoothness of its local objective. We prove that AdGT generates a sequence of iterates that converges to the optimal consensus solution. Through numerical experiments, we compare AdGT with fixed-stepsize gradient tracking methods and demonstrate its superior performance. Additionally, we compare AdGT with adaptive gradient descent (AdGD) in a centralized setting and observe that fully adaptive stepsizes offer greater benefits in decentralized networks than in centralized ones. △ Less

Submitted 21 April, 2025; originally announced April 2025.

The Sunrise Ultraviolet Spectropolarimeter and Imager: Instrument description

Authors: A. Feller, A. Gandorfer, B. Grauf, J. Hölken, F. A. Iglesias, A. Korpi-Lagg, T. L. Riethmüller, J. Staub, G. Fernandez-Rico, J. S. Castellanos Durán, S. K. Solanki, H. N. Smitha, K. Sant, P. Barthol, M. Bayon Laguna, M. Bergmann, J. Bischoff, J. Bochmann, S. Bruns, W. Deutsch, M. Eberhardt, R. Enge, S. Goodyear, K. Heerlein, J. Heinrichs , et al. (24 additional authors not shown)

Abstract: The third science flight of the balloon-borne solar observatory Sunrise carries three entirely new post-focus science instruments with spectropolarimetric capabilities, concurrently covering an extended spectral range from the near ultraviolet to the near infrared. Sampling a larger height range, from the low photosphere to the chromosphere, with the sub-arcsecond resolution provided by the 1-m Su… ▽ More The third science flight of the balloon-borne solar observatory Sunrise carries three entirely new post-focus science instruments with spectropolarimetric capabilities, concurrently covering an extended spectral range from the near ultraviolet to the near infrared. Sampling a larger height range, from the low photosphere to the chromosphere, with the sub-arcsecond resolution provided by the 1-m Sunrise telescope, is key in understanding critical small-scale phenomena which energetically couple different layers of the solar atmosphere. The Sunrise Ultraviolet Spectropolarimeter and Imager (SUSI) operates between 309 nm and 417 nm. A key feature of SUSI is its capability to record up to several hundred spectral lines simultaneously without the harmful effects of the Earth's atmosphere. The rich SUSI spectra can be exploited in terms of many-line inversions. Another important innovation of the instrument is the synchronized 2D context imaging which allows to numerically correct the spectrograph scans for residual optical aberrations. In this work we describe the main design aspects of SUSI, the instrument characterization and testing, and finally its operation, expected performance and data products. △ Less

Submitted 7 April, 2025; originally announced April 2025.

Comments: 46 pages, 18 figures; to be published in Solar Physics Topical Collection "The Sunrise III Solar Observatory" (https://link.springer.com/collections/jegdciedig)

Strong LensIng and Cluster Evolution (SLICE) with JWST: Early Results, Lens Models, and High-Redshift Detections

Authors: Catherine Cerny, Guillaume Mahler, Keren Sharon, Mathilde Jauzac, Gourav Khullar, Benjamin Beauchesne, Jose M. Diego, David J. Lagattuta, Marceau Limousin, Nency R. Patel, Johan Richard, Carla Cornil-Baiotto, Michael D. Gladders, Stephane Werner, Jessica E. Doppel, Benjamin Floyd, Anthony H. Gonzalez, Richard J. Massey, Mireia Montes, Matthew B. Bayliss, Lindsey E. Bleem, Rebecca E. A. Canning, Alastair C. Edge, Michael McDonald, Priyamvada Natarjan , et al. (2 additional authors not shown)

Abstract: We leverage JWST's superb resolution to derive strong lensing mass maps of 14 clusters, spanning a redshift range of $z\sim0.25 - 1.06$ and a mass range of $M_{500}\sim2-12 \times 10^{14}M_\odot$, from the Strong LensIng and Cluster Evolution (SLICE) JWST program. These clusters represent a small subsample of the first clusters observed in the SLICE program that are chosen based on the detection o… ▽ More We leverage JWST's superb resolution to derive strong lensing mass maps of 14 clusters, spanning a redshift range of $z\sim0.25 - 1.06$ and a mass range of $M_{500}\sim2-12 \times 10^{14}M_\odot$, from the Strong LensIng and Cluster Evolution (SLICE) JWST program. These clusters represent a small subsample of the first clusters observed in the SLICE program that are chosen based on the detection of new multiple image constraints in the SLICE-JWST NIRCam/F150W2 and F322W2 imaging. These constraints include new lensed dusty galaxies and new substructures in previously identified lensed background galaxies. Four clusters have never been modeled before. For the remaining 10 clusters, we present updated models based on JWST and HST imaging and, where available, ground-based spectroscopy. We model the global mass profile for each cluster and report the mass enclosed within 200 and 500 kpc. We report the number of new systems identified in the JWST imaging, which in one cluster is as high as 19 new systems. The addition of new lensing systems and constraints from substructure clumps in lensed galaxies improves the ability of strong lensing models to accurately reproduce the interior mass distribution of each cluster. We also report the discovery of a candidate transient in a lensed image of the galaxy cluster SPT-CL J0516-5755. All lens models and their associated products are available for download at the Strong Lensing Cluster Atlas Data Base, which is hosted at Laboratoire d'Astrophysique de Marseille. △ Less

Submitted 21 March, 2025; originally announced March 2025.

Comments: Lens model products will be posted to the Strong Lensing Cluster Atlas Data Base upon the paper's acceptance to ApJ (https://data.lam.fr/sl-cluster-atlas)

The S-PLUS Fornax Project (S+FP): Mapping globular clusters systems within 5 virial radii around NGC 1399

Authors: Luis Lomelí-Núñez, A. Cortesi, A. V. Smith Castelli, M. L. Buzzo, Y. D. Mayya, Vasiliki Fragkou, J. A. Alzate-Trujillo, R. F. Haack, J. P. Calderón, A. R. Lopes, Michael Hilker, M. Grossi, Karín Menéndez-Delmestre, Thiago S. Gonçalves, Ana L. Chies-Santos, L. A. Gutiérrez-Soto, Ciria Lima-Dias, S. V. Werner, Pedro K. Humire, R. C. Thom de Souza, A. Alvarez-Candal, Swayamtrupta Panda, Avinash Chaturvedi, E. Telles, C. Mendes de Oliveira , et al. (3 additional authors not shown)

Abstract: We present the largest sample ($\sim$13,000 candidates, $\sim$3000 of wich are bona-fide candidates) of globular cluster (GCs) candidates reported in the Fornax Cluster so far. The survey is centered on the NGC 1399 galaxy, extending out to 5 virial radii (\rv) of the cluster. We carried out a photometric study using images observed in the 12-bands system of the Southern Photometric Local Universe… ▽ More We present the largest sample ($\sim$13,000 candidates, $\sim$3000 of wich are bona-fide candidates) of globular cluster (GCs) candidates reported in the Fornax Cluster so far. The survey is centered on the NGC 1399 galaxy, extending out to 5 virial radii (\rv) of the cluster. We carried out a photometric study using images observed in the 12-bands system of the Southern Photometric Local Universe Survey (S-PLUS), corresponding to 106 pointings, covering a sky area of $\sim$208 square degrees. Studying the properties of spectroscopically confirmed GCs, we have designed a method to select GC candidates using structural and photometric parameters. We found evidence of color bimodality in 2 broad bands colors, namely $(g-i)_{0}$ and $(g-z)_{0}$, while, in the narrow bands, we did not find strong statistical evidence to confirm bimodality in any color. We analyzed the GCs luminosity functions (GCLF) in the 12-bands of S-PLUS, and we can highlight two points: a) due to the relatively shallow depth of S-PLUS, it is only possible to observe the bright end of the GCLF and, b) at that level, in all the bands it can be appreciated the log-normal distribution typical for GC systems. With the spatial coverage reached in this study, we are able for the first time explore the large scale distribution of GCs within and around a galaxy cluster. In particular, we noted that the GCs might be clustered along substructures, which traces the current cluster build up. △ Less

Submitted 19 March, 2025; originally announced March 2025.

Comments: 30 pages, 18 figures

Federated Smoothing ADMM for Localization

Authors: Reza Mirzaeifard, Ashkan Moradi, Masahiro Yukawa, Stefan Werner

Abstract: This paper addresses the challenge of localization in federated settings, which are characterized by distributed data, non-convexity, and non-smoothness. To tackle the scalability and outlier issues inherent in such environments, we propose a robust algorithm that employs an $\ell_1$-norm formulation within a novel federated ADMM framework. This approach addresses the problem by integrating an ite… ▽ More This paper addresses the challenge of localization in federated settings, which are characterized by distributed data, non-convexity, and non-smoothness. To tackle the scalability and outlier issues inherent in such environments, we propose a robust algorithm that employs an $\ell_1$-norm formulation within a novel federated ADMM framework. This approach addresses the problem by integrating an iterative smooth approximation for the total variation consensus term and employing a Moreau envelope approximation for the convex function that appears in a subtracted form. This transformation ensures that the problem is smooth and weakly convex in each iteration, which results in enhanced computational efficiency and improved estimation accuracy. The proposed algorithm supports asynchronous updates and multiple client updates per iteration, which ensures its adaptability to real-world federated systems. To validate the reliability of the proposed algorithm, we show that the method converges to a stationary point, and numerical simulations highlight its superior performance in convergence speed and outlier resilience compared to existing state-of-the-art localization methods. △ Less

Submitted 12 March, 2025; originally announced March 2025.

Smoothing ADMM for Non-convex and Non-smooth Hierarchical Federated Learning

Authors: Reza Mirzaeifard, Stefan Werner

Abstract: This paper presents a hierarchical federated learning (FL) framework that extends the alternating direction method of multipliers (ADMM) with smoothing techniques, tailored for non-convex and non-smooth objectives. Unlike traditional hierarchical FL methods, our approach supports asynchronous updates and multiple updates per iteration, enhancing adaptability to heterogeneous data and system settin… ▽ More This paper presents a hierarchical federated learning (FL) framework that extends the alternating direction method of multipliers (ADMM) with smoothing techniques, tailored for non-convex and non-smooth objectives. Unlike traditional hierarchical FL methods, our approach supports asynchronous updates and multiple updates per iteration, enhancing adaptability to heterogeneous data and system settings. Additionally, we introduce a flexible mechanism to leverage diverse regularization functions at each layer, allowing customization to the specific prior information within each cluster and accommodating (possibly) non-smooth penalty objectives. Depending on the learning goal, the framework supports both consensus and personalization: the total variation norm can be used to enforce consensus across layers, while non-convex penalties such as minimax concave penalty (MCP) or smoothly clipped absolute deviation (SCAD) enable personalized learning. Experimental results demonstrate the superior convergence rates and accuracy of our method compared to conventional approaches, underscoring its robustness and versatility for a wide range of FL scenarios. △ Less

Submitted 11 March, 2025; originally announced March 2025.

A Comprehensive Experimentation Framework for Energy-Efficient Design of Cloud-Native Applications

Authors: Sebastian Werner, Maria C. Borges, Karl Wolf, Stefan Tai

Abstract: Current approaches to designing energy-efficient applications typically rely on measuring individual components using readily available local metrics, like CPU utilization. However, these metrics fall short when applied to cloud-native applications, which operate within the multi-tenant, shared environments of distributed cloud providers. Assessing and optimizing the energy efficiency of cloud-nat… ▽ More Current approaches to designing energy-efficient applications typically rely on measuring individual components using readily available local metrics, like CPU utilization. However, these metrics fall short when applied to cloud-native applications, which operate within the multi-tenant, shared environments of distributed cloud providers. Assessing and optimizing the energy efficiency of cloud-native applications requires consideration of the complex, layered nature of modern cloud stacks. To address this need, we present a comprehensive, automated, and extensible experimentation framework that enables developers to measure energy efficiency across all relevant layers of a cloud-based application and evaluate associated quality trade-offs. Our framework integrates a suite of service quality and sustainability metrics, providing compatibility with any Kubernetes-based application. We demonstrate the feasibility and effectiveness of this approach through initial experimental results, comparing architectural design alternatives for a widely used open-source cloud-native application. △ Less

Submitted 11 March, 2025; originally announced March 2025.

Comments: This work has been accepted to the 22nd IEEE International Conference on Software Architecture (ICSA'25)

Continuous Observability Assurance in Cloud-Native Applications

Authors: Maria C. Borges, Sebastian Werner

Abstract: When faults occur in microservice applications -- as they inevitably do -- developers depend on observability data to quickly identify and diagnose the issue. To collect such data, microservices need to be instrumented and the respective infrastructure configured. This task is often underestimated and error-prone, typically relying on many ad-hoc decisions. However, some of these decisions can sig… ▽ More When faults occur in microservice applications -- as they inevitably do -- developers depend on observability data to quickly identify and diagnose the issue. To collect such data, microservices need to be instrumented and the respective infrastructure configured. This task is often underestimated and error-prone, typically relying on many ad-hoc decisions. However, some of these decisions can significantly affect how quickly faults are detected and also impact the cost and performance of the application. Given its importance, we emphasize the need for a method to guide the observability design process. In this paper, we build on previous work and integrate our observability experiment tool OXN into a novel method for continuous observability assurance. We demonstrate its use and discuss future directions. △ Less

Submitted 11 March, 2025; originally announced March 2025.

Comments: 22nd IEEE International Conference on Software Architecture (ICSA'25) - Poster Track

Sunrise III: Overview of Observatory and Instruments

Authors: Andreas Korpi-Lagg, Achim Gandorfer, Sami K. Solanki, Jose Carlos del Toro Iniesta, Yukio Katsukawa, Pietro Bernasconi, Thomas Berkefeld, Alex Feller, Tino L. Riethmüller, Alberto Álvarez-Herrero, Masahito Kubo, Valentín Martínez Pillet, H. N. Smitha, David Orozco Suárez, Bianca Grauf, Michael Carpenter, Alexander Bell, María-Teresa Álvarez-Alonso, Daniel Álvarez García, Beatriz Aparicio del Moral, Daniel Ayoub, Francisco Javier Bailén, Eduardo Bailón Martínez, Maria Balaguer Jiménez, Peter Barthol , et al. (95 additional authors not shown)

Abstract: In July 2024, Sunrise completed its third successful science flight. The Sunrise III observatory had been upgraded significantly after the two previous successful flights in 2009 and 2013. Three completely new instruments focus on the small-scale physical processes and their complex interaction from the deepest observable layers in the photosphere up to chromospheric heights. Previously poorly exp… ▽ More In July 2024, Sunrise completed its third successful science flight. The Sunrise III observatory had been upgraded significantly after the two previous successful flights in 2009 and 2013. Three completely new instruments focus on the small-scale physical processes and their complex interaction from the deepest observable layers in the photosphere up to chromospheric heights. Previously poorly explored spectral regions and lines are exploited to paint a three-dimensional picture of the solar atmosphere with unprecedented completeness and level of detail. The full polarimetric information is captured by all three instruments to reveal the interaction between the magnetic fields and the hydrodynamic processes. Two slit-based spectropolarimeters, the Sunrise UV Spectropolarimeter and Imager (SUSI) and the Sunrise Chromospheric Infrared spectro-Polarimeter (SCIP), focus on the near-ultraviolet and the near-infrared regions respectively, and the imaging spectropolarimeter Tunable Magnetograph (TuMag) simultaneously obtains maps of the full field-of-view of $46 \times 46$ Mm$^2$ in the photosphere and the chromosphere in the visible. The instruments are operated in an orchestrated mode, benefiting from a new Image Stabilization and Light Distribution unit (ISLiD), with the Correlating Wavefront Sensor (CWS) providing the autofocus control and an image stability with a root-mean-square value smaller than 0.005''. A new gondola was constructed to significantly improve the telescope pointing stability, required to achieve uninterrupted observations over many hours. Sunrise III was launched successfully on July 10, 2024, from the Esrange Space Center near Kiruna (Sweden). It reached the landing site between the Mackenzie River and the Great Bear Lake in Canada after a flight duration of 6.5 days. In this paper, we give an overview of the Sunrise III observatory and its instruments. △ Less

Submitted 10 February, 2025; originally announced February 2025.

Comments: 67 pages, 25 figures; to be published in Solar Physics Topical Collection "The Sunrise III Solar Observatory" (https://link.springer.com/collections/jegdciedig)

On Scaling Neurosymbolic Programming through Guided Logical Inference

Authors: Thomas Jean-Michel Valentin, Luisa Sophie Werner, Pierre Genevès, Nabil Layaïda

Abstract: Probabilistic neurosymbolic learning seeks to integrate neural networks with symbolic programming. Many state-of-the-art systems rely on a reduction to the Probabilistic Weighted Model Counting Problem (PWMC), which requires computing a Boolean formula called the logical provenance.However, PWMC is \\#P-hard, and the number of clauses in the logical provenance formula can grow exponentially, creat… ▽ More Probabilistic neurosymbolic learning seeks to integrate neural networks with symbolic programming. Many state-of-the-art systems rely on a reduction to the Probabilistic Weighted Model Counting Problem (PWMC), which requires computing a Boolean formula called the logical provenance.However, PWMC is \\#P-hard, and the number of clauses in the logical provenance formula can grow exponentially, creating a major bottleneck that significantly limits the applicability of PNL solutions in practice.We propose a new approach centered around an exact algorithm DPNL, that enables bypassing the computation of the logical provenance.The DPNL approach relies on the principles of an oracle and a recursive DPLL-like decomposition in order to guide and speed up logical inference.Furthermore, we show that this approach can be adapted for approximate reasoning with $ε$ or $(ε, δ)$ guarantees, called ApproxDPNL.Experiments show significant performance gains.DPNL enables scaling exact inference further, resulting in more accurate models.Further, ApproxDPNL shows potential for advancing the scalability of neurosymbolic programming by incorporating approximations even further, while simultaneously ensuring guarantees for the reasoning process. △ Less

Submitted 30 January, 2025; originally announced January 2025.

The current cratering rate on the regular satellites of Jupiter, Saturn, and Uranus

Authors: R. Brasser, E. W. Wong, S. C. Werner

Abstract: We aim to compute the impact rates for objects with a diameter of 1 km onto the regular satellites of Jupiter, Saturn and Uranus using our latest dynamical simulations of the evolution of outer solar system coupled with the best estimates of the current population of objects beyond Neptune and their size-frequency distribution. We use the outcome of the last 3.5~Gyr of evolution of the outer solar… ▽ More We aim to compute the impact rates for objects with a diameter of 1 km onto the regular satellites of Jupiter, Saturn and Uranus using our latest dynamical simulations of the evolution of outer solar system coupled with the best estimates of the current population of objects beyond Neptune and their size-frequency distribution. We use the outcome of the last 3.5~Gyr of evolution of the outer solar system from our database of simulations and combine this with observational constraints of the population beyond Neptune to compute the flux of objects entering the Centaur region, with uncertainties. The initial conditions resemble the current population rather than a near-circular, near-planar disc usually assumed just before the onset of giant planet migration. We obtain a better estimate of the impact probability of a Centaur with the satellites from enacting simulations of planetesimals flying past the satellites on hyperbolic orbits, which agree with literature precedents. We find that our impact rate of objects greater than 1 km in diameter with Jupiter is 0.0012/yr, which is a factor of 3--6 lower than previous estimates of 0.0044/yr from Nesvorny et al. (2023) and 0.0075/yr from Zahnle et al. (2003). On the other hand our impact probabilities with the satellites scaled to the giant planets are consistent with these earlier literature estimates, as is the leakage rate of objects from beyond Neptune into the Centaur region. However, our absolute impact probabilities with the giant planets are lower. We attribute this to our choice of initial conditions. △ Less

Submitted 29 January, 2025; originally announced January 2025.

Comments: In revision with Astronomy and Astrophysics

Journal ref: A&A 695, A276 (2025)

Identifying Electronic Doorway States in the Secondary Electron Emission from Layered Materials

Authors: Anna Niggas, Maosheng Hao, Peter Richter, Florian Simperl, Felix Blödorn, Melvin Cap, Johannes Kero, D Hofmann, Alessandra Bellissimo, Joachim Burgdörfer, Thomas Seyller, Richard A Wilhelm, Florian Libisch, Wolfgang S M Werner

Abstract: We investigate the secondary low-energy electron emission induced by inelastic electron scattering from graphene and layered materials thereof. By applying a coincidence detection of the primary scattered and the emitted secondary electron we unravel pronounced resonance features otherwise overshadowed by the largely structureless secondary electron energy distribution. Supported by density functi… ▽ More We investigate the secondary low-energy electron emission induced by inelastic electron scattering from graphene and layered materials thereof. By applying a coincidence detection of the primary scattered and the emitted secondary electron we unravel pronounced resonance features otherwise overshadowed by the largely structureless secondary electron energy distribution. Supported by density functional theory calculations we show that these structures are the signature of prominent Feshbach resonances above the vacuum threshold which originate from interlayer states acting as a doorway state for electron emission. Remarkably, some of these doorway states open up only for samples with more than 5 layers. △ Less

Submitted 14 April, 2025; v1 submitted 7 January, 2025; originally announced January 2025.

TrustOps: Continuously Building Trustworthy Software

Authors: Eduardo Brito, Fernando Castillo, Pille Pullonen-Raudvere, Sebastian Werner

Abstract: Software services play a crucial role in daily life, with automated actions determining access to resources and information. Trusting service providers to perform these actions fairly and accurately is essential, yet challenging for users to verify. Even with publicly available codebases, the rapid pace of development and the complexity of modern deployments hinder the understanding and evaluation… ▽ More Software services play a crucial role in daily life, with automated actions determining access to resources and information. Trusting service providers to perform these actions fairly and accurately is essential, yet challenging for users to verify. Even with publicly available codebases, the rapid pace of development and the complexity of modern deployments hinder the understanding and evaluation of service actions, including for experts. Hence, current trust models rely heavily on the assumption that service providers follow best practices and adhere to laws and regulations, which is increasingly impractical and risky, leading to undetected flaws and data leaks. In this paper, we argue that gathering verifiable evidence during software development and operations is needed for creating a new trust model. Therefore, we present TrustOps, an approach for continuously collecting verifiable evidence in all phases of the software life cycle, relying on and combining already existing tools and trust-enhancing technologies to do so. For this, we introduce the adaptable core principles of TrustOps and provide a roadmap for future research and development. △ Less

Submitted 4 December, 2024; originally announced December 2024.

Comments: To be published in International Conference on Enterprise Design, Operations, and Computing 2024 (EDOC 2024), 15 pages, 3 figures

The Kernel of the Gysin Homomorphism for Positive characteristic

Authors: Claudia Schoemann, Skylar Werner

Abstract: Let $k$ be an uncountable algebraically closed filed of positive characteristic and let $S_0$ be a connected smooth projective surface over $k$. We extend the theorem on the Gysin kernel from [28, Theorem 5.1] to also be true over $k$, where it was proved over $\mathbb{C}$. This is done by showing that almost all results still hold true over $k$ via the same argument or by using étale base argumen… ▽ More Let $k$ be an uncountable algebraically closed filed of positive characteristic and let $S_0$ be a connected smooth projective surface over $k$. We extend the theorem on the Gysin kernel from [28, Theorem 5.1] to also be true over $k$, where it was proved over $\mathbb{C}$. This is done by showing that almost all results still hold true over $k$ via the same argument or by using étale base arguments and then use a lift with the Comparison theorem [22, Theorems 21.1 & 20.5] as needed. △ Less

Submitted 18 November, 2024; originally announced November 2024.

Comments: 39 pages. arXiv admin note: text overlap with arXiv:1405.6430 by other authors

Advocate -- Trustworthy Evidence in Cloud Systems

Authors: Sebastian Werner, Sepideh Masoudi, Fernando Castillo, Fabian Piper, Jonathan Heiss

Abstract: The rapid evolution of cloud-native applications, characterized by dynamic, interconnected services, presents significant challenges for maintaining trustworthy and auditable systems, especially in sensitive contexts, such as finance or healthcare. Traditional methods of verification and certification are often inadequate due to the fast-past and dynamic development practices common in cloud compu… ▽ More The rapid evolution of cloud-native applications, characterized by dynamic, interconnected services, presents significant challenges for maintaining trustworthy and auditable systems, especially in sensitive contexts, such as finance or healthcare. Traditional methods of verification and certification are often inadequate due to the fast-past and dynamic development practices common in cloud computing. This paper introduces Advocate, a novel agent-based system designed to generate verifiable evidence of cloud-native application operations. By integrating with existing infrastructure tools, such as Kubernetes and distributed tracing systems, Advocate captures, authenticates, and stores evidence trails in a tamper-resistant manner. This approach not only supports the auditing process but also allows for privacy-preserving evidence aggregation. Advocate's extensible architecture facilitates its deployment in diverse environments, enabling the verification and adherence to policies and enhance trust in cloud services. △ Less

Submitted 17 October, 2024; originally announced October 2024.

Comments: Preprint version of the paper at 6th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS'24)

ACM Class: C.2.4; D.2

Noise-Robust and Resource-Efficient ADMM-based Federated Learning

Authors: Ehsan Lari, Reza Arablouei, Vinay Chakravarthi Gogineni, Stefan Werner

Abstract: Federated learning (FL) leverages client-server communications to train global models on decentralized data. However, communication noise or errors can impair model accuracy. To address this problem, we propose a novel FL algorithm that enhances robustness against communication noise while also reducing communication load. We derive the proposed algorithm through solving the weighted least-squares… ▽ More Federated learning (FL) leverages client-server communications to train global models on decentralized data. However, communication noise or errors can impair model accuracy. To address this problem, we propose a novel FL algorithm that enhances robustness against communication noise while also reducing communication load. We derive the proposed algorithm through solving the weighted least-squares (WLS) regression problem as an illustrative example. We first frame WLS regression as a distributed convex optimization problem over a federated network employing random scheduling for improved communication efficiency. We then apply the alternating direction method of multipliers (ADMM) to iteratively solve this problem. To counteract the detrimental effects of cumulative communication noise, we introduce a key modification by eliminating the dual variable and implementing a new local model update at each participating client. This subtle yet effective change results in using a single noisy global model update at each client instead of two, improving robustness against additive communication noise. Furthermore, we incorporate another modification enabling clients to continue local updates even when not selected by the server, leading to substantial performance improvements. Our theoretical analysis confirms the convergence of our algorithm in both mean and the mean-square senses, even when the server communicates with a random subset of clients over noisy links at each iteration. Numerical results validate the effectiveness of our proposed algorithm and corroborate our theoretical findings. △ Less

Submitted 20 September, 2024; originally announced September 2024.

Comments: 13 pages, 10 figures, Submitted to IEEE Open Journal of Signal Processing

Federated Smoothing Proximal Gradient for Quantile Regression with Non-Convex Penalties

Authors: Reza Mirzaeifard, Diyako Ghaderyan, Stefan Werner

Abstract: Distributed sensors in the internet-of-things (IoT) generate vast amounts of sparse data. Analyzing this high-dimensional data and identifying relevant predictors pose substantial challenges, especially when data is preferred to remain on the device where it was collected for reasons such as data integrity, communication bandwidth, and privacy. This paper introduces a federated quantile regression… ▽ More Distributed sensors in the internet-of-things (IoT) generate vast amounts of sparse data. Analyzing this high-dimensional data and identifying relevant predictors pose substantial challenges, especially when data is preferred to remain on the device where it was collected for reasons such as data integrity, communication bandwidth, and privacy. This paper introduces a federated quantile regression algorithm to address these challenges. Quantile regression provides a more comprehensive view of the relationship between variables than mean regression models. However, traditional approaches face difficulties when dealing with nonconvex sparse penalties and the inherent non-smoothness of the loss function. For this purpose, we propose a federated smoothing proximal gradient (FSPG) algorithm that integrates a smoothing mechanism with the proximal gradient framework, thereby enhancing both precision and computational speed. This integration adeptly handles optimization over a network of devices, each holding local data samples, making it particularly effective in federated learning scenarios. The FSPG algorithm ensures steady progress and reliable convergence in each iteration by maintaining or reducing the value of the objective function. By leveraging nonconvex penalties, such as the minimax concave penalty (MCP) and smoothly clipped absolute deviation (SCAD), the proposed method can identify and preserve key predictors within sparse models. Comprehensive simulations validate the robust theoretical foundations of the proposed algorithm and demonstrate improved estimation precision and reliable convergence. △ Less

Submitted 13 August, 2024; v1 submitted 10 August, 2024; originally announced August 2024.

Decentralized Smoothing ADMM for Quantile Regression with Non-Convex Sparse Penalties

Authors: Reza Mirzaeifard, Diyako Ghaderyan, Stefan Werner

Abstract: In the rapidly evolving internet-of-things (IoT) ecosystem, effective data analysis techniques are crucial for handling distributed data generated by sensors. Addressing the limitations of existing methods, such as the sub-gradient approach, which fails to distinguish between active and non-active coefficients effectively, this paper introduces the decentralized smoothing alternating direction met… ▽ More In the rapidly evolving internet-of-things (IoT) ecosystem, effective data analysis techniques are crucial for handling distributed data generated by sensors. Addressing the limitations of existing methods, such as the sub-gradient approach, which fails to distinguish between active and non-active coefficients effectively, this paper introduces the decentralized smoothing alternating direction method of multipliers (DSAD) for penalized quantile regression. Our method leverages non-convex sparse penalties like the minimax concave penalty (MCP) and smoothly clipped absolute deviation (SCAD), improving the identification and retention of significant predictors. DSAD incorporates a total variation norm within a smoothing ADMM framework, achieving consensus among distributed nodes and ensuring uniform model performance across disparate data sources. This approach overcomes traditional convergence challenges associated with non-convex penalties in decentralized settings. We present theoretical proofs and extensive simulation results to validate the effectiveness of the DSAD, demonstrating its superiority in achieving reliable convergence and enhancing estimation accuracy compared with prior methods. △ Less

Submitted 8 August, 2024; v1 submitted 2 August, 2024; originally announced August 2024.

OXN -- Automated Observability Assessments for Cloud-Native Applications

Authors: Maria C. Borges, Joshua Bauer, Sebastian Werner

Abstract: Observability is important to ensure the reliability of microservice applications. These applications are often prone to failures, since they have many independent services deployed on heterogeneous environments. When employed "correctly", observability can help developers identify and troubleshoot faults quickly. However, instrumenting and configuring the observability of a microservice applicati… ▽ More Observability is important to ensure the reliability of microservice applications. These applications are often prone to failures, since they have many independent services deployed on heterogeneous environments. When employed "correctly", observability can help developers identify and troubleshoot faults quickly. However, instrumenting and configuring the observability of a microservice application is not trivial but tool-dependent and tied to costs. Practitioners need to understand observability-related trade-offs in order to weigh between different observability design alternatives. Still, these architectural design decisions are not supported by systematic methods and typically just rely on "professional intuition". To assess observability design trade-offs with concrete evidence, we advocate for conducting experiments that compare various design alternatives. Achieving a systematic and repeatable experiment process necessitates automation. We present a proof-of-concept implementation of an experiment tool - Observability eXperiment eNgine (OXN). OXN is able to inject arbitrary faults into an application, similar to Chaos Engineering, but also possesses the unique capability to modify the observability configuration, allowing for the straightforward assessment of design decisions that were previously left unexplored. △ Less

Submitted 12 July, 2024; originally announced July 2024.

Comments: 21st IEEE International Conference on Software Architecture (ICSA'24) - Poster Track

System stabilization with policy optimization on unstable latent manifolds

Authors: Steffen W. R. Werner, Benjamin Peherstorfer

Abstract: Stability is a basic requirement when studying the behavior of dynamical systems. However, stabilizing dynamical systems via reinforcement learning is challenging because only little data can be collected over short time horizons before instabilities are triggered and data become meaningless. This work introduces a reinforcement learning approach that is formulated over latent manifolds of unstabl… ▽ More Stability is a basic requirement when studying the behavior of dynamical systems. However, stabilizing dynamical systems via reinforcement learning is challenging because only little data can be collected over short time horizons before instabilities are triggered and data become meaningless. This work introduces a reinforcement learning approach that is formulated over latent manifolds of unstable dynamics so that stabilizing policies can be trained from few data samples. The unstable manifolds are minimal in the sense that they contain the lowest dimensional dynamics that are necessary for learning policies that guarantee stabilization. This is in stark contrast to generic latent manifolds that aim to approximate all -- stable and unstable -- system dynamics and thus are higher dimensional and often require higher amounts of data. Experiments demonstrate that the proposed approach stabilizes even complex physical systems from few data samples for which other methods that operate either directly in the system state space or on generic latent manifolds fail. △ Less

Submitted 8 July, 2024; originally announced July 2024.

Comments: 29 pages, 10 figures, 1 table

MSC Class: 37N35; 68T07; 90C30; 93C57; 93D15

Journal ref: Comput. Methods Appl. Mech. Eng., 433, Part A: 117483, 2025

The PLATO Mission

Authors: Heike Rauer, Conny Aerts, Juan Cabrera, Magali Deleuil, Anders Erikson, Laurent Gizon, Mariejo Goupil, Ana Heras, Jose Lorenzo-Alvarez, Filippo Marliani, César Martin-Garcia, J. Miguel Mas-Hesse, Laurence O'Rourke, Hugh Osborn, Isabella Pagano, Giampaolo Piotto, Don Pollacco, Roberto Ragazzoni, Gavin Ramsay, Stéphane Udry, Thierry Appourchaux, Willy Benz, Alexis Brandeker, Manuel Güdel, Eduardo Janot-Pacheco , et al. (820 additional authors not shown)

Abstract: PLATO (PLAnetary Transits and Oscillations of stars) is ESA's M3 mission designed to detect and characterise extrasolar planets and perform asteroseismic monitoring of a large number of stars. PLATO will detect small planets (down to <2 R_(Earth)) around bright stars (<11 mag), including terrestrial planets in the habitable zone of solar-like stars. With the complement of radial velocity observati… ▽ More PLATO (PLAnetary Transits and Oscillations of stars) is ESA's M3 mission designed to detect and characterise extrasolar planets and perform asteroseismic monitoring of a large number of stars. PLATO will detect small planets (down to <2 R_(Earth)) around bright stars (<11 mag), including terrestrial planets in the habitable zone of solar-like stars. With the complement of radial velocity observations from the ground, planets will be characterised for their radius, mass, and age with high accuracy (5 %, 10 %, 10 % for an Earth-Sun combination respectively). PLATO will provide us with a large-scale catalogue of well-characterised small planets up to intermediate orbital periods, relevant for a meaningful comparison to planet formation theories and to better understand planet evolution. It will make possible comparative exoplanetology to place our Solar System planets in a broader context. In parallel, PLATO will study (host) stars using asteroseismology, allowing us to determine the stellar properties with high accuracy, substantially enhancing our knowledge of stellar structure and evolution. The payload instrument consists of 26 cameras with 12cm aperture each. For at least four years, the mission will perform high-precision photometric measurements. Here we review the science objectives, present PLATO's target samples and fields, provide an overview of expected core science performance as well as a description of the instrument and the mission profile at the beginning of the serial production of the flight cameras. PLATO is scheduled for a launch date end 2026. This overview therefore provides a summary of the mission to the community in preparation of the upcoming operational phases. △ Less

Submitted 18 November, 2024; v1 submitted 8 June, 2024; originally announced June 2024.

POV Learning: Individual Alignment of Multimodal Models using Human Perception

Authors: Simon Werner, Katharina Christ, Laura Bernardy, Marion G. Müller, Achim Rettinger

Abstract: Aligning machine learning systems with human expectations is mostly attempted by training with manually vetted human behavioral samples, typically explicit feedback. This is done on a population level since the context that is capturing the subjective Point-Of-View (POV) of a concrete person in a specific situational context is not retained in the data. However, we argue that alignment on an indiv… ▽ More Aligning machine learning systems with human expectations is mostly attempted by training with manually vetted human behavioral samples, typically explicit feedback. This is done on a population level since the context that is capturing the subjective Point-Of-View (POV) of a concrete person in a specific situational context is not retained in the data. However, we argue that alignment on an individual level can boost the subjective predictive performance for the individual user interacting with the system considerably. Since perception differs for each person, the same situation is observed differently. Consequently, the basis for decision making and the subsequent reasoning processes and observable reactions differ. We hypothesize that individual perception patterns can be used for improving the alignment on an individual level. We test this, by integrating perception information into machine learning systems and measuring their predictive performance wrt.~individual subjective assessments. For our empirical study, we collect a novel data set of multimodal stimuli and corresponding eye tracking sequences for the novel task of Perception-Guided Crossmodal Entailment and tackle it with our Perception-Guided Multimodal Transformer. Our findings suggest that exploiting individual perception signals for the machine learning of subjective human assessments provides a valuable cue for individual alignment. It does not only improve the overall predictive performance from the point-of-view of the individual user but might also contribute to steering AI systems towards every person's individual expectations and values. △ Less

Submitted 7 May, 2024; originally announced May 2024.

Distributed Maximum Consensus over Noisy Links

Authors: Ehsan Lari, Reza Arablouei, Naveen K. D. Venkategowda, Stefan Werner

Abstract: We introduce a distributed algorithm, termed noise-robust distributed maximum consensus (RD-MC), for estimating the maximum value within a multi-agent network in the presence of noisy communication links. Our approach entails redefining the maximum consensus problem as a distributed optimization problem, allowing a solution using the alternating direction method of multipliers. Unlike existing alg… ▽ More We introduce a distributed algorithm, termed noise-robust distributed maximum consensus (RD-MC), for estimating the maximum value within a multi-agent network in the presence of noisy communication links. Our approach entails redefining the maximum consensus problem as a distributed optimization problem, allowing a solution using the alternating direction method of multipliers. Unlike existing algorithms that rely on multiple sets of noise-corrupted estimates, RD-MC employs a single set, enhancing both robustness and efficiency. To further mitigate the effects of link noise and improve robustness, we apply moving averaging to the local estimates. Through extensive simulations, we demonstrate that RD-MC is significantly more robust to communication link noise compared to existing maximum-consensus algorithms. △ Less

Submitted 17 June, 2024; v1 submitted 27 March, 2024; originally announced March 2024.

Comments: 5 pages, 7 figures, Presented to EUSIPCO 2024 conference

Privacy-Preserving Distributed Nonnegative Matrix Factorization

Authors: Ehsan Lari, Reza Arablouei, Stefan Werner

Abstract: Nonnegative matrix factorization (NMF) is an effective data representation tool with numerous applications in signal processing and machine learning. However, deploying NMF in a decentralized manner over ad-hoc networks introduces privacy concerns due to the conventional approach of sharing raw data among network agents. To address this, we propose a privacy-preserving algorithm for fully-distribu… ▽ More Nonnegative matrix factorization (NMF) is an effective data representation tool with numerous applications in signal processing and machine learning. However, deploying NMF in a decentralized manner over ad-hoc networks introduces privacy concerns due to the conventional approach of sharing raw data among network agents. To address this, we propose a privacy-preserving algorithm for fully-distributed NMF that decomposes a distributed large data matrix into left and right matrix factors while safeguarding each agent's local data privacy. It facilitates collaborative estimation of the left matrix factor among agents and enables them to estimate their respective right factors without exposing raw data. To ensure data privacy, we secure information exchanges between neighboring agents utilizing the Paillier cryptosystem, a probabilistic asymmetric algorithm for public-key cryptography that allows computations on encrypted data without decryption. Simulation results conducted on synthetic and real-world datasets demonstrate the effectiveness of the proposed algorithm in achieving privacy-preserving distributed NMF over ad-hoc networks. △ Less

Submitted 27 March, 2024; originally announced March 2024.

Comments: 5 pages, 1 figure, submitted to EUSIPCO 2024 conference

Deep polytopic autoencoders for low-dimensional linear parameter-varying approximations and nonlinear feedback design

Authors: Jan Heiland, Yongho Kim, Steffen W. R. Werner

Abstract: Polytopic autoencoders provide low-di\-men\-sion\-al parametrizations of states in a polytope. For nonlinear PDEs, this is readily applied to low-dimensional linear parameter-varying (LPV) approximations as they have been exploited for efficient nonlinear controller design via series expansions of the solution to the state-dependent Riccati equation. In this work, we develop a polytopic autoencode… ▽ More Polytopic autoencoders provide low-di\-men\-sion\-al parametrizations of states in a polytope. For nonlinear PDEs, this is readily applied to low-dimensional linear parameter-varying (LPV) approximations as they have been exploited for efficient nonlinear controller design via series expansions of the solution to the state-dependent Riccati equation. In this work, we develop a polytopic autoencoder for control applications and show how it improves on standard linear approaches in view of LPV approximations of nonlinear systems. We discuss how the particular architecture enables exact representation of target states and higher order series expansions of the nonlinear feedback law at little extra computational effort in the online phase and how the linear though high-dimensional and nonstandard Lyapunov equations are efficiently computed during the offline phase. In a numerical study, we illustrate the procedure and how this approach can reliably outperform the standard linear-quadratic regulator design. △ Less

Submitted 22 January, 2025; v1 submitted 26 March, 2024; originally announced March 2024.

Comments: 20 pages, 6 figures, 2 tables

MSC Class: 34H05; 37N35; 65F45; 76D55; 93B52

Resilience in Online Federated Learning: Mitigating Model-Poisoning Attacks via Partial Sharing

Authors: Ehsan Lari, Reza Arablouei, Vinay Chakravarthi Gogineni, Stefan Werner

Abstract: Federated learning (FL) allows training machine learning models on distributed data without compromising privacy. However, FL is vulnerable to model-poisoning attacks where malicious clients tamper with their local models to manipulate the global model. In this work, we investigate the resilience of the partial-sharing online FL (PSO-Fed) algorithm against such attacks. PSO-Fed reduces communicati… ▽ More Federated learning (FL) allows training machine learning models on distributed data without compromising privacy. However, FL is vulnerable to model-poisoning attacks where malicious clients tamper with their local models to manipulate the global model. In this work, we investigate the resilience of the partial-sharing online FL (PSO-Fed) algorithm against such attacks. PSO-Fed reduces communication overhead by allowing clients to share only a fraction of their model updates with the server. We demonstrate that this partial sharing mechanism has the added advantage of enhancing PSO-Fed's robustness to model-poisoning attacks. Through theoretical analysis, we show that PSO-Fed maintains convergence even under Byzantine attacks, where malicious clients inject noise into their updates. Furthermore, we derive a formula for PSO-Fed's mean square error, considering factors like stepsize, attack probability, and the number of malicious clients. Interestingly, we find a non-trivial optimal stepsize that maximizes PSO-Fed's resistance to these attacks. Extensive numerical experiments confirm our theoretical findings and showcase PSO-Fed's superior performance against model-poisoning attacks compared to other leading FL algorithms. △ Less

Submitted 16 August, 2024; v1 submitted 19 March, 2024; originally announced March 2024.

Comments: 13 pages, 9 figures, Submitted to TSIPN

Interpolatory model reduction of dynamical systems with root mean squared error

Authors: Sean Reiter, Steffen W. R. Werner

Abstract: The root mean squared error is an important measure used in a variety of applications such as structural dynamics and acoustics to model averaged deviations from standard behavior. For large-scale systems, simulations of this quantity quickly become computationally prohibitive. Classical model order reduction techniques attempt to resolve this issue via the construction of surrogate models that em… ▽ More The root mean squared error is an important measure used in a variety of applications such as structural dynamics and acoustics to model averaged deviations from standard behavior. For large-scale systems, simulations of this quantity quickly become computationally prohibitive. Classical model order reduction techniques attempt to resolve this issue via the construction of surrogate models that emulate the root mean squared error measure using an intermediate linear system. However, this approach requires a potentially large number of linear outputs, which can be disadvantageous in the design of reduced-order models. In this work, we consider directly the root mean squared error as the quantity of interest using the concept of quadratic-output models and propose several new model reduction techniques for the construction of appropriate surrogates. We test the proposed methods on a model for the vibrational response of a plate with tuned vibration absorbers. △ Less

Submitted 18 April, 2025; v1 submitted 13 March, 2024; originally announced March 2024.

Comments: 9 pages, 2 figures, 2 tables

Journal ref: IFAC-Pap., 59(1):385-390, 2025

Informed and Assessable Observability Design Decisions in Cloud-native Microservice Applications

Authors: Maria C. Borges, Joshua Bauer, Sebastian Werner, Michael Gebauer, Stefan Tai

Abstract: Observability is important to ensure the reliability of microservice applications. These applications are often prone to failures, since they have many independent services deployed on heterogeneous environments. When employed "correctly", observability can help developers identify and troubleshoot faults quickly. However, instrumenting and configuring the observability of a microservice applicati… ▽ More Observability is important to ensure the reliability of microservice applications. These applications are often prone to failures, since they have many independent services deployed on heterogeneous environments. When employed "correctly", observability can help developers identify and troubleshoot faults quickly. However, instrumenting and configuring the observability of a microservice application is not trivial but tool-dependent and tied to costs. Architects need to understand observability-related trade-offs in order to weigh between different observability design alternatives. Still, these architectural design decisions are not supported by systematic methods and typically just rely on "professional intuition". In this paper, we argue for a systematic method to arrive at informed and continuously assessable observability design decisions. Specifically, we focus on fault observability of cloud-native microservice applications, and turn this into a testable and quantifiable property. Towards our goal, we first model the scale and scope of observability design decisions across the cloud-native stack. Then, we propose observability metrics which can be determined for any microservice application through so-called observability experiments. We present a proof-of-concept implementation of our experiment tool OXN. OXN is able to inject arbitrary faults into an application, similar to Chaos Engineering, but also possesses the unique capability to modify the observability configuration, allowing for the assessment of design decisions that were previously left unexplored. We demonstrate our approach using a popular open source microservice application and show the trade-offs involved in different observability design decisions. △ Less

Submitted 12 July, 2024; v1 submitted 1 March, 2024; originally announced March 2024.

Comments: 21st IEEE International Conference on Software Architecture (ICSA'24)

Using $LDL^{T}$ factorizations in Newton's method for solving general large-scale algebraic Riccati equations

Authors: Jens Saak, Steffen W. R. Werner

Abstract: Continuous-time algebraic Riccati equations can be found in many disciplines in different forms. In the case of small-scale dense coefficient matrices, stabilizing solutions can be computed to all possible formulations of the Riccati equation. This is not the case when it comes to large-scale sparse coefficient matrices. In this paper, we provide a reformulation of the Newton-Kleinman iteration sc… ▽ More Continuous-time algebraic Riccati equations can be found in many disciplines in different forms. In the case of small-scale dense coefficient matrices, stabilizing solutions can be computed to all possible formulations of the Riccati equation. This is not the case when it comes to large-scale sparse coefficient matrices. In this paper, we provide a reformulation of the Newton-Kleinman iteration scheme for continuous-time algebraic Riccati equations using indefinite symmetric low-rank factorizations. This allows the application of the method to the case of general large-scale sparse coefficient matrices. We provide convergence results for several prominent realizations of the equation and show in numerical examples the effectiveness of the approach. △ Less

Submitted 30 August, 2024; v1 submitted 9 February, 2024; originally announced February 2024.

Comments: 29 pages, 1 figure, 10 tables

MSC Class: 15A24; 49M15; 65F45; 65H10; 93A15

Journal ref: Electron. Trans. Numer. Anal., 62:95-118, 2024

Automatic characterization of boulders on planetary surfaces from high-resolution satellite images

Authors: Nils C. Prieur, Brian Amaro, Emiliano Gonzalez, Hannah Kerner, Sergei Medvedev, Lior Rubanenko, Stephanie C. Werner, Zhiyong Xiao8, Dmitry Zastrozhnov, Mathieu G. A. Lapôtre

Abstract: Boulders form from a variety of geological processes, which their size, shape, and orientation may help us better understand. Furthermore, they represent potential hazards to spacecraft landing that need to be characterized. However, mapping individual boulders across vast areas is extremely labor-intensive, often limiting the extent over which they are characterized and the statistical robustness… ▽ More Boulders form from a variety of geological processes, which their size, shape, and orientation may help us better understand. Furthermore, they represent potential hazards to spacecraft landing that need to be characterized. However, mapping individual boulders across vast areas is extremely labor-intensive, often limiting the extent over which they are characterized and the statistical robustness of obtained boulder morphometrics. To automate boulder characterization, we use an instance segmentation neural network, Mask R-CNN, to detect and outline boulders in high-resolution satellite images. Our neural network, BoulderNet, was trained from a dataset of > 33,000 boulders in > 750 image tiles from Earth, the Moon, and Mars. BoulderNet not only correctly detects the majority of boulders in images, but it identifies the outline of boulders with high fidelity, achieving average precision and recall values of 72% and 64% relative to manually digitized boulders from the test dataset, when only detections with intersection-over-union ratios > 50% are considered valid. These values are similar to those obtained by human mappers. On Earth, equivalent boulder diameters, aspect ratios, and orientations extracted from predictions were benchmarked against ground measurements and yield values within 15%, 0.20, and 20 degrees of their ground-truth values, respectively. BoulderNet achieves better boulder detection and characterization performance relative to existing methods, providing a versatile open-source tool to characterize entire boulder fields on planetary surfaces. △ Less

Submitted 15 January, 2024; originally announced January 2024.

Energy Dissipation of Fast Electrons in Polymethylmetacrylate (PMMA): Towards a Universal Curve for Electron Beam Attenuation in Solids for Energies between ~0 eV and 100 keV

Authors: Wolfgang S. M. Werner, Florian Simperl, Felix Bloedorn, Julian Brunner, Johannes Kero, Alessandra Bellissimo, Olga Ridzel

Abstract: Wolfgang S.M. Werner, Florian Simperl, Felix Bloedorn, Julian Brunner, Johannes Kero, Alessandra Bellissimo and Olga Ridzel Spectroscopy of correlated electron pairs was employed to investigate the energy dissipation process as well as the transport and the emission of low energy electrons on a polymethylmetracylate (PMMA) surface, providing secondary electron (SE) spectra causally related to th… ▽ More Wolfgang S.M. Werner, Florian Simperl, Felix Bloedorn, Julian Brunner, Johannes Kero, Alessandra Bellissimo and Olga Ridzel Spectroscopy of correlated electron pairs was employed to investigate the energy dissipation process as well as the transport and the emission of low energy electrons on a polymethylmetracylate (PMMA) surface, providing secondary electron (SE) spectra causally related to the energy loss of the primary electron. Two groups of electrons are identified in the cascade of slow electrons, corresponding to different stages in the energy dissipation process. For both groups, the characteristic lengths for attenuation due to collective excitations and momentum relaxation are quantified and are found to be distinctly different: l1=(12.0+/-2) Angstroem and l2=(61.5+/-11) Angstroem. The results strongly contradict the commonly employed model of exponential attenuation with the electron inelastic mean free path (IMFP) as characteristic length, but essentially agree with a theory used for decades in astrophysics and neutron transport, albeit with characteristic lengths expressed in units of Angstroems rather than lightyears. △ Less

Submitted 27 November, 2023; originally announced November 2023.

Comments: 6 pages 5 figures

Statistics of C. elegans turning behavior reveals optimality under biasing constraints

Authors: W. Mathijs Rozemuller, Steffen Werner, Antonio Carlos Costa, Liam O'Shaughnessy, Greg J. Stephens, Thomas S. Shimizu

Abstract: Animal locomotion is often subject to constraints arising from anatomical/physiological asymmetries. We use the nematode C.~elegans as a minimal model system to ask whether such constraints might shape locomotion patterns optimized during evolution. We focus on turning behaviours in two contrasting environmental contexts: (i) random exploration in the absence of strong stimuli and (ii) acute avoid… ▽ More Animal locomotion is often subject to constraints arising from anatomical/physiological asymmetries. We use the nematode C.~elegans as a minimal model system to ask whether such constraints might shape locomotion patterns optimized during evolution. We focus on turning behaviours in two contrasting environmental contexts: (i) random exploration in the absence of strong stimuli and (ii) acute avoidance (escape) navigation upon encountering a strong aversive stimulus. We characterise the full repertoire of reorientation behaviours, including gradual reorientations and various posturally distinct sharp turns. During exploration, our measurements and theoretical modelling indicate that orientation fluctuations on short timescales are, on average, optimized to compensate the constraining gradual turn bias on long timescales. During escape, our data suggests that the reorientation is controlled not by an analog logic of continuous turn-amplitude modulations, but rather through the digital logic of selecting discrete turn types, leading to a symmetric escape performance despite strongly asymmetric turning biases. △ Less

Submitted 15 January, 2024; v1 submitted 1 November, 2023; originally announced November 2023.

Comments: 32 pages, 17 figures

Saturn's ancient regular satellites

Authors: Emily. W. Wong, Ramon Brasser, Stephanie. C. Werner, Michelle. R. Kirchoff

Abstract: Are Saturn's regular satellites young or old? And how old are Enceladus' cratered plains? To answer these questions we computed model surface ages of the most heavily cratered terrains on Saturn's regular icy satellites using new high-resolution outer Solar System evolution simulations, and coupled with improved estimates of the trans-Neptunian objects populations. The output of the simulations al… ▽ More Are Saturn's regular satellites young or old? And how old are Enceladus' cratered plains? To answer these questions we computed model surface ages of the most heavily cratered terrains on Saturn's regular icy satellites using new high-resolution outer Solar System evolution simulations, and coupled with improved estimates of the trans-Neptunian objects populations. The output of the simulations allowed us to construct a model impact chronology onto Saturn which automatically applies to its regular satellites. We used crater densities and our impact chronology onto Saturn to construct model impact-crater isochrons, i.e., the scaling of the satellite crater production function with time. The surface ages derived for the cratered plains on Mimas, Enceladus, Tethys, Dione and Rhea range from 4.1 Ga to 4.4 Ga, with the surfaces of Mimas and Enceladus roughly 200 Myr younger than those of the outer three satellites. Uncertainties in these ages are less than 300 Myr. The calculated model surface ages of these satellites are consistent over as much as two orders of magnitude in the observed crater diameter. The similarity of the crater production function amongst all satellites suggests that they were bombarded by a single impactor source. This work supports the idea that Saturn's regular satellites are ancient, and has implications for their formation and their tidal evolution. △ Less

Submitted 7 September, 2023; originally announced September 2023.

Comments: Accepted for publication in Icarus. 30 pages, 11 figures; including Appendix and Appendix Figures

Smoothing ADMM for Sparse-Penalized Quantile Regression with Non-Convex Penalties

Authors: Reza Mirzaeifard, Naveen K. D. Venkategowda, Vinay Chakravarthi Gogineni, Stefan Werner

Abstract: This paper investigates quantile regression in the presence of non-convex and non-smooth sparse penalties, such as the minimax concave penalty (MCP) and smoothly clipped absolute deviation (SCAD). The non-smooth and non-convex nature of these problems often leads to convergence difficulties for many algorithms. While iterative techniques like coordinate descent and local linear approximation can f… ▽ More This paper investigates quantile regression in the presence of non-convex and non-smooth sparse penalties, such as the minimax concave penalty (MCP) and smoothly clipped absolute deviation (SCAD). The non-smooth and non-convex nature of these problems often leads to convergence difficulties for many algorithms. While iterative techniques like coordinate descent and local linear approximation can facilitate convergence, the process is often slow. This sluggish pace is primarily due to the need to run these approximation techniques until full convergence at each step, a requirement we term as a \emph{secondary convergence iteration}. To accelerate the convergence speed, we employ the alternating direction method of multipliers (ADMM) and introduce a novel single-loop smoothing ADMM algorithm with an increasing penalty parameter, named SIAD, specifically tailored for sparse-penalized quantile regression. We first delve into the convergence properties of the proposed SIAD algorithm and establish the necessary conditions for convergence. Theoretically, we confirm a convergence rate of $o\big({k^{-\frac{1}{4}}}\big)$ for the sub-gradient bound of augmented Lagrangian. Subsequently, we provide numerical results to showcase the effectiveness of the SIAD algorithm. Our findings highlight that the SIAD method outperforms existing approaches, providing a faster and more stable solution for sparse-penalized quantile regression. △ Less

Submitted 4 September, 2023; originally announced September 2023.

Moreau Envelope ADMM for Decentralized Weakly Convex Optimization

Authors: Reza Mirzaeifard, Naveen K. D. Venkategowda, Alexander Jung, Stefan Werner

Abstract: This paper proposes a proximal variant of the alternating direction method of multipliers (ADMM) for distributed optimization. Although the current versions of ADMM algorithm provide promising numerical results in producing solutions that are close to optimal for many convex and non-convex optimization problems, it remains unclear if they can converge to a stationary point for weakly convex and lo… ▽ More This paper proposes a proximal variant of the alternating direction method of multipliers (ADMM) for distributed optimization. Although the current versions of ADMM algorithm provide promising numerical results in producing solutions that are close to optimal for many convex and non-convex optimization problems, it remains unclear if they can converge to a stationary point for weakly convex and locally non-smooth functions. Through our analysis using the Moreau envelope function, we demonstrate that MADM can indeed converge to a stationary point under mild conditions. Our analysis also includes computing the bounds on the amount of change in the dual variable update step by relating the gradient of the Moreau envelope function to the proximal function. Furthermore, the results of our numerical experiments indicate that our method is faster and more robust than widely-used approaches. △ Less

Submitted 31 August, 2023; originally announced August 2023.

Robust Networked Federated Learning for Localization

Authors: Reza Mirzaeifard, Naveen K. D. Venkategowda, Stefan Werner

Abstract: This paper addresses the problem of localization, which is inherently non-convex and non-smooth in a federated setting where the data is distributed across a multitude of devices. Due to the decentralized nature of federated environments, distributed learning becomes essential for scalability and adaptability. Moreover, these environments are often plagued by outlier data, which presents substanti… ▽ More This paper addresses the problem of localization, which is inherently non-convex and non-smooth in a federated setting where the data is distributed across a multitude of devices. Due to the decentralized nature of federated environments, distributed learning becomes essential for scalability and adaptability. Moreover, these environments are often plagued by outlier data, which presents substantial challenges to conventional methods, particularly in maintaining estimation accuracy and ensuring algorithm convergence. To mitigate these challenges, we propose a method that adopts an $L_1$-norm robust formulation within a distributed sub-gradient framework, explicitly designed to handle these obstacles. Our approach addresses the problem in its original form, without resorting to iterative simplifications or approximations, resulting in enhanced computational efficiency and improved estimation accuracy. We demonstrate that our method converges to a stationary point, highlighting its effectiveness and reliability. Through numerical simulations, we confirm the superior performance of our approach, notably in outlier-rich environments, which surpasses existing state-of-the-art localization methods. △ Less

Submitted 1 September, 2023; v1 submitted 31 August, 2023; originally announced August 2023.

Forming rocky exoplanets around K-dwarf stars

Authors: P. Hatalova, R. Brasser, E. Mamonova, S. C. Werner

Abstract: How multiple close-in super-Earths form around stars with masses lower than that of the Sun is still an open issue. Several recent modeling studies have focused on planet formation around M-dwarf stars, but so far no studies have focused specifically on K dwarfs, which are of particular interest in the search for extraterrestrial life. We aim to reproduce the currently known population of close-in… ▽ More How multiple close-in super-Earths form around stars with masses lower than that of the Sun is still an open issue. Several recent modeling studies have focused on planet formation around M-dwarf stars, but so far no studies have focused specifically on K dwarfs, which are of particular interest in the search for extraterrestrial life. We aim to reproduce the currently known population of close-in super-Earths observed around K-dwarf stars and their system characteristics. We performed 48 high-resolution N-body simulations of planet formation via planetesimal accretion using the existing GENGA software running on GPUs. In the simulations we varied the initial disk mass and the solid and gas surface density profiles. Each simulation began with 12000 bodies with radii of between 200 and 2000 km around two different stars, with masses of 0.6 and 0.8 $M_{\odot}$. Most simulations ran for 20 Myr, with several simulations extended to 40 or 100 Myr. The mass distributions for the planets with masses between 2 and 12 $M_\oplus$ show a strong preference for planets with masses $M_p<6$ $M_\oplus$ and a lesser preference for planets with larger masses, whereas the mass distribution for the observed sample increases almost linearly. However, we managed to reproduce the main characteristics and architectures of the known planetary systems and produce mostly long-term angular-momentum-deficit-stable, nonresonant systems, but we require an initial disk mass of 15 $M_\oplus$ or higher and a gas surface density value at 1 AU of 1500 g cm$^{-2}$ or higher. Our simulations also produce many low-mass planets with $M<2$ $M_\oplus$, which are not yet found in the observed population, probably due to the observational biases. The final systems contain only a small number of planets, which could possibly accrete substantial amounts of gas, and these formed after the gas had mostly dissipated. △ Less

Submitted 11 August, 2023; originally announced August 2023.

Comments: 27 pages, 29 figures, to be published in Astronomy & Astrophysics

Journal ref: A&A 676, A131 (2023)

Distributed Filtering Design with Enhanced Resilience to Coordinated Byzantine Attacks

Authors: Ashkan Moradi, Vinay Chakravarthi Gogineni, Naveen K. D. Venkategowda, Stefan Werner

Abstract: This paper proposes a Byzantine-resilient consensus-based distributed filter (BR-CDF) wherein network agents employ partial sharing of state parameters. We characterize the performance and convergence of the BR-CDF and study the impact of a coordinated data falsification attack. Our analysis shows that sharing merely a fraction of the states improves robustness against coordinated Byzantine attack… ▽ More This paper proposes a Byzantine-resilient consensus-based distributed filter (BR-CDF) wherein network agents employ partial sharing of state parameters. We characterize the performance and convergence of the BR-CDF and study the impact of a coordinated data falsification attack. Our analysis shows that sharing merely a fraction of the states improves robustness against coordinated Byzantine attacks. In addition, we model the optimal attack strategy as an optimization problem where Byzantine agents design their attack covariance or the sequence of shared fractions to maximize the network-wide mean squared error (MSE). Numerical results demonstrate the accuracy of the proposed BR-CDF and its robustness against Byzantine attacks. Furthermore, the simulation results show that the influence of the covariance design is more pronounced when agents exchange larger portions of their states with neighbors. In contrast, the performance is more sensitive to the sequence of shared fractions when smaller portions are exchanged. △ Less

Submitted 25 July, 2023; originally announced July 2023.

Comments: Including 10 pages and containing 10 figures

Private Networked Federated Learning for Nonsmooth Objectives

Authors: François Gauthier, Cristiano Gratton, Naveen K. D. Venkategowda, Stefan Werner

Abstract: This paper develops a networked federated learning algorithm to solve nonsmooth objective functions. To guarantee the confidentiality of the participants with respect to each other and potential eavesdroppers, we use the zero-concentrated differential privacy notion (zCDP). Privacy is achieved by perturbing the outcome of the computation at each client with a variance-decreasing Gaussian noise. ZC… ▽ More This paper develops a networked federated learning algorithm to solve nonsmooth objective functions. To guarantee the confidentiality of the participants with respect to each other and potential eavesdroppers, we use the zero-concentrated differential privacy notion (zCDP). Privacy is achieved by perturbing the outcome of the computation at each client with a variance-decreasing Gaussian noise. ZCDP allows for better accuracy than the conventional $(ε, δ)$-DP and stronger guarantees than the more recent Rényi-DP by assuming adversaries aggregate all the exchanged messages. The proposed algorithm relies on the distributed Alternating Direction Method of Multipliers (ADMM) and uses the approximation of the augmented Lagrangian to handle nonsmooth objective functions. The developed private networked federated learning algorithm has a competitive privacy accuracy trade-off and handles nonsmooth and non-strongly convex problems. We provide complete theoretical proof for the privacy guarantees and the algorithm's convergence to the exact solution. We also prove under additional assumptions that the algorithm converges in $O(1/n)$ ADMM iterations. Finally, we observe the performance of the algorithm in a series of numerical simulations. △ Less

Submitted 21 February, 2024; v1 submitted 24 June, 2023; originally announced June 2023.

Comments: 30 pages

An Extended Catalogue of galaxy morphology using Deep Learning in Southern Photometric Local Universe Survey Data Release 3

Authors: C. R. Bom, A. Cortesi, U. Ribeiro, L. O. Dias, K. Kelkar, A. V. Smith Castelli, L. Santana-Silva, V. Silva, T. S. Gonçalves, L. R. Abramo, E. V. R. Lima, F. Almeida-Fernandes, L. Espinosa, L. Li, M. L. Buzzo, C. Mendes de Oliveira, L. Sodré Jr., A. Alvarez-Candal, M. Grossi, E. Telles, S. Torres-Flores, S. V. Werner, A. Kanaan, T. Ribeiro, W. Schoenell

Abstract: The morphological diversity of galaxies is a relevant probe of galaxy evolution and cosmological structure formation. However, in large sky surveys, even the morphological classification of galaxies into two classes, like late-type (LT) and early-type (ET), still represents a significant challenge. In this work we present a Deep Learning (DL) based morphological catalog built from images obtained… ▽ More The morphological diversity of galaxies is a relevant probe of galaxy evolution and cosmological structure formation. However, in large sky surveys, even the morphological classification of galaxies into two classes, like late-type (LT) and early-type (ET), still represents a significant challenge. In this work we present a Deep Learning (DL) based morphological catalog built from images obtained by the Southern Photometric Local Universe Survey (S-PLUS) Data Release 3 (DR3). Our DL method achieves an precision rate of 98.5$\%$ in accurately distinguishing between spiral, as part of the larger category of late type (LT) galaxies, and elliptical, belonging to early type (ET) galaxies. Additionally, we have implemented a secondary classifier that evaluates the quality of each galaxy stamp, which allows to select only high-quality images when studying properties of galaxies on the basis of their DL morphology. From our LT/ET catalog of galaxies, we recover the expected color--magnitude diagram in which LT galaxies display bluer colors than ET ones. Furthermore, we also investigate the clustering of galaxies based on their morphology, along with their relationship to the surrounding environment. As a result, we deliver a full morphological catalog with $164314$ objects complete up to $r_{petro}<18$, covering $\sim 1800$ deg$^2$, including a significant area of the Southern hemisphere that was not covered by previous morphology catalogues. △ Less

Submitted 14 June, 2023; originally announced June 2023.

Comments: 22 pages, 24 figures

Personalized Graph Federated Learning with Differential Privacy

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

Abstract: This paper presents a personalized graph federated learning (PGFL) framework in which distributedly connected servers and their respective edge devices collaboratively learn device or cluster-specific models while maintaining the privacy of every individual device. The proposed approach exploits similarities among different models to provide a more relevant experience for each device, even in situ… ▽ More This paper presents a personalized graph federated learning (PGFL) framework in which distributedly connected servers and their respective edge devices collaboratively learn device or cluster-specific models while maintaining the privacy of every individual device. The proposed approach exploits similarities among different models to provide a more relevant experience for each device, even in situations with diverse data distributions and disproportionate datasets. Furthermore, to ensure a secure and efficient approach to collaborative personalized learning, we study a variant of the PGFL implementation that utilizes differential privacy, specifically zero-concentrated differential privacy, where a noise sequence perturbs model exchanges. Our mathematical analysis shows that the proposed privacy-preserving PGFL algorithm converges to the optimal cluster-specific solution for each cluster in linear time. It also shows that exploiting similarities among clusters leads to an alternative output whose distance to the original solution is bounded, and that this bound can be adjusted by modifying the algorithm's hyperparameters. Further, our analysis shows that the algorithm ensures local differential privacy for all clients in terms of zero-concentrated differential privacy. Finally, the performance of the proposed PGFL algorithm is examined by performing numerical experiments in the context of regression and classification using synthetic data and the MNIST dataset. △ Less

Submitted 10 June, 2023; originally announced June 2023.

Journal ref: IEEE Transactions on Signal and Information Processing over Networks (2023) 1-14

Mass Derivation of planets K2-21b and K2-21c from Transit Timing Variations

Authors: Maryame El Moutamid, Kevin B. Stevenson, Billy Quarles, Nikole K. Lewis, Erik Petigura Daniel Fabrycky, Jacob L. Bean, Diana Dragomir, Kristin S. Sotzenvand Michael W. Werner

Abstract: While various indirect methods are used to detect exoplanets, one of the most effective and accurate methods is the transit method, which measures the brightness of a given star for periodic dips when an exoplanet is passing in front of the parent star. For systems with multiple transiting planets, the gravitational perturbations between planets affect their transit times. The difference in transi… ▽ More While various indirect methods are used to detect exoplanets, one of the most effective and accurate methods is the transit method, which measures the brightness of a given star for periodic dips when an exoplanet is passing in front of the parent star. For systems with multiple transiting planets, the gravitational perturbations between planets affect their transit times. The difference in transit times allows a measurement of the planet masses and orbital eccentricities. These parameters help speculating on the formation, evolution and stability of the system. Using Transit Timing Variations (TTVs), we measure the masses and eccentricities of two planets orbiting K2-21, a relatively bright K7 dwarf star. These two planets exhibit measurable TTVs, have orbital periods of about 9.32 days and 15.50 days, respectively, and a period ratio of about 1.66, which is relatively near to the 5:3 mean motion resonance. We report that the inner and outer planets in the K2-21 system have properties consistent with the presence of a hydrogen and helium dominated atmospheres, as we estimate their masses to be 1.59^{+0.52}_{-0.44} M_E and 3.88^{+1.22}_{-1.07} M_E and densities of 0.22^{+0.05}_{-0.04} rho_E and 0.34^{+0.08}_{-0.06} rho_E, respectively (M_E and rho_E are the mass and density of Earth, respectively). Our results show that the inner planet is less dense than the outer planet; one more counter-intuitive exoplanetary system such as Kepler-105, LTT 1445, TOI-175 and Kepler-279 systems. △ Less

Submitted 18 May, 2023; originally announced May 2023.

Adaptive choice of near-optimal expansion points for interpolation-based structure-preserving model reduction

Authors: Quirin Aumann, Steffen W. R. Werner

Abstract: Interpolation-based methods are well-established and effective approaches for the efficient generation of accurate reduced-order surrogate models. Common challenges for such methods are the automatic selection of good or even optimal interpolation points and the appropriate size of the reduced-order model. An approach that addresses the first problem for linear, unstructured systems is the Iterati… ▽ More Interpolation-based methods are well-established and effective approaches for the efficient generation of accurate reduced-order surrogate models. Common challenges for such methods are the automatic selection of good or even optimal interpolation points and the appropriate size of the reduced-order model. An approach that addresses the first problem for linear, unstructured systems is the Iterative Rational Krylov Algorithm (IRKA), which computes optimal interpolation points through iterative updates by solving linear eigenvalue problems. However, in the case of preserving internal system structures, optimal interpolation points are unknown, and heuristics based on nonlinear eigenvalue problems result in numbers of potential interpolation points that typically exceed the reasonable size of reduced-order systems. In our work, we propose a projection-based iterative interpolation method inspired by IRKA for generally structured systems to adaptively compute near-optimal interpolation points as well as an appropriate size for the reduced-order system. Additionally, the iterative updates of the interpolation points can be chosen such that the reduced-order model provides an accurate approximation in specified frequency ranges of interest. For such applications, our new approach outperforms the established methods in terms of accuracy and computational effort. We show this in numerical examples with different structures. △ Less

Submitted 18 May, 2023; originally announced May 2023.

Comments: 24 pages, 5 figures, 4 tables

MSC Class: 30E05; 41A30; 65D05; 93A15; 93C80

Journal ref: Adv. Comput. Math., 50(4):79, 2024

Intracluster light in the core of z~2 galaxy proto-clusters

Authors: S. V. Werner, N. A. Hatch, J. Matharu, A. H. Gonzalez, Y. M. Bahé, S. Mei, G. Noirot, D. Wylezalek

Abstract: Intracluster light is thought to originate from stars that were ripped away from their parent galaxies by gravitational tides and galaxy interactions during the build up of the cluster. The stars from such interactions will accumulate over time, so semi-analytic models suggest that the abundance of intracluster stars is negligible in young proto-clusters at z~2 and grows to around a quarter of the… ▽ More Intracluster light is thought to originate from stars that were ripped away from their parent galaxies by gravitational tides and galaxy interactions during the build up of the cluster. The stars from such interactions will accumulate over time, so semi-analytic models suggest that the abundance of intracluster stars is negligible in young proto-clusters at z~2 and grows to around a quarter of the stellar mass in the oldest, most mature clusters. In contrast to these theoretical expectations, we report on the detection of intracluster light within two proto-clusters at z=2 using deep HST images. We use the colour of the intracluster light to estimate its mass-to-light ratio in annuli around the brightest cluster galaxies (BCG), up to a radius of 100 kpc. We find that $54\pm5$% and $71\pm3$% of the stellar mass in these regions is located more than 10 kpc away from the BCGs in the two proto-clusters. This low concentration is similar to BCGs in lower redshift clusters, and distinct from other massive proto-cluster galaxies. This suggests that intracluster stars are already present within the core 100 kpc of proto-clusters. We compare these observations to the Hydrangea hydrodynamical galaxy cluster simulations and find that intracluster stars are predicted to be a generic feature of group-sized halos at z=2. These intracluster stars will gradually move further away from the BCG as the proto-cluster assembles into a cluster. △ Less

Submitted 12 May, 2023; v1 submitted 10 May, 2023; originally announced May 2023.

Comments: 14 pages, 9 figures, accepted for publication in MNRAS

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