Showing 1–50 of 249 results for author: Schmid, S

GermanPartiesQA: Benchmarking Commercial Large Language Models for Political Bias and Sycophancy

Authors: Jan Batzner, Volker Stocker, Stefan Schmid, Gjergji Kasneci

Abstract: LLMs are changing the way humans create and interact with content, potentially affecting citizens' political opinions and voting decisions. As LLMs increasingly shape our digital information ecosystems, auditing to evaluate biases, sycophancy, or steerability has emerged as an active field of research. In this paper, we evaluate and compare the alignment of six LLMs by OpenAI, Anthropic, and Coher… ▽ More LLMs are changing the way humans create and interact with content, potentially affecting citizens' political opinions and voting decisions. As LLMs increasingly shape our digital information ecosystems, auditing to evaluate biases, sycophancy, or steerability has emerged as an active field of research. In this paper, we evaluate and compare the alignment of six LLMs by OpenAI, Anthropic, and Cohere with German party positions and evaluate sycophancy based on a prompt experiment. We contribute to evaluating political bias and sycophancy in multi-party systems across major commercial LLMs. First, we develop the benchmark dataset GermanPartiesQA based on the Voting Advice Application Wahl-o-Mat covering 10 state and 1 national elections between 2021 and 2023. In our study, we find a left-green tendency across all examined LLMs. We then conduct our prompt experiment for which we use the benchmark and sociodemographic data of leading German parliamentarians to evaluate changes in LLMs responses. To differentiate between sycophancy and steerabilty, we use 'I am [politician X], ...' and 'You are [politician X], ...' prompts. Against our expectations, we do not observe notable differences between prompting 'I am' and 'You are'. While our findings underscore that LLM responses can be ideologically steered with political personas, they suggest that observed changes in LLM outputs could be better described as personalization to the given context rather than sycophancy. △ Less

Submitted 25 July, 2024; originally announced July 2024.

Comments: 12 pages

ACM Class: K.4

Everyday electromechanics: Capacitive strong coupling to mechanical motion

Authors: Denise Puglia, Rachel Odessey, Peter S. Burns, Niklas Luhmann, Silvan Schmid, Andrew P. Higginbotham

Abstract: We demonstrate a room temperature, all-electric device that reaches a strong coupling regime where external environmental coupling dominates over internal mechanical dissipation. The device has four orders of magnitude lower insertion loss than a comparable commercial quartz crystal, and achieves a position imprecision rivaling an optical interferometer. With the help of a back-action isolation sc… ▽ More We demonstrate a room temperature, all-electric device that reaches a strong coupling regime where external environmental coupling dominates over internal mechanical dissipation. The device has four orders of magnitude lower insertion loss than a comparable commercial quartz crystal, and achieves a position imprecision rivaling an optical interferometer. With the help of a back-action isolation scheme, we observe radiative cooling of mechanical motion by a remote cryogenic load. △ Less

Submitted 22 July, 2024; v1 submitted 21 July, 2024; originally announced July 2024.

Comments: 8+13 pages, 5+2 figures

Stress-Dependent Optical Extinction in LPCVD Silicon Nitride Measured by Nanomechanical Photothermal Sensing

Authors: Kostas Kanellopulos, Robert G. West, Stefan Emminger, Paolo Martini, Markus Sauer, Annette Foelske, Silvan Schmid

Abstract: Understanding optical absorption in silicon nitride is crucial for cutting-edge technologies like photonic integrated circuits, nanomechanical photothermal infrared sensing and spectroscopy, and cavity optomechanics. Yet, the origin of its strong dependence on film deposition and fabrication process is not fully understood. This Letter leverages nanomechanical photothermal sensing to investigate o… ▽ More Understanding optical absorption in silicon nitride is crucial for cutting-edge technologies like photonic integrated circuits, nanomechanical photothermal infrared sensing and spectroscopy, and cavity optomechanics. Yet, the origin of its strong dependence on film deposition and fabrication process is not fully understood. This Letter leverages nanomechanical photothermal sensing to investigate optical extinction $κ_{\mathrm{ext}}$ at 632.8 nm wavelength in LPCVD SiN strings across a wide range of deposition-related tensile stresses ($200-850$ MPa). Measurements reveal a reduction in $κ_{\mathrm{ext}}$ from 10$^3$ to 10$^1$ ppm with increasing stress, correlated to variations in Si/N content ratio. Within the band-fluctuations framework, this trend indicates an increase of the energy bandgap with the stress, ultimately reducing absorption. Overall, this study showcases the power and simplicity of nanomechanical photothermal sensing for low absorption measurements, offering a sensitive, scattering-free platform for material analysis in nanophotonics and nanomechanics. △ Less

Submitted 20 June, 2024; originally announced June 2024.

Comments: Main text: 7 pages, 3 figures, 1 table Supporting Information: 4 pages, 4 figures, 1 table

D3: An Adaptive Reconfigurable Datacenter Network

Authors: Johannes Zerwas, Chen Griner, Stefan Schmid, Chen Avin

Abstract: The explosively growing communication traffic in datacenters imposes increasingly stringent performance requirements on the underlying networks. Over the last years, researchers have developed innovative optical switching technologies that enable reconfigurable datacenter networks (RCDNs) which support very fast topology reconfigurations. This paper presents D3, a novel and feasible RDCN architect… ▽ More The explosively growing communication traffic in datacenters imposes increasingly stringent performance requirements on the underlying networks. Over the last years, researchers have developed innovative optical switching technologies that enable reconfigurable datacenter networks (RCDNs) which support very fast topology reconfigurations. This paper presents D3, a novel and feasible RDCN architecture that improves throughput and flow completion time. D3 quickly and jointly adapts its links and packet scheduling toward the evolving demand, combining both demand-oblivious and demand-aware behaviors when needed. D3 relies on a decentralized network control plane supporting greedy, integrated-multihop, IP-based routing, allowing to react, quickly and locally, to topological changes without overheads. A rack-local synchronization and transport layer further support fast network adjustments. Moreover, we argue that D3 can be implemented using the recently proposed Sirius architecture (SIGCOMM 2020). We report on an extensive empirical evaluation using packet-level simulations. We find that D3 improves throughput by up to 15% and preserves competitive flow completion times compared to the state of the art. We further provide an analytical explanation of the superiority of D3, introducing an extension of the well-known Birkhoff-von Neumann decomposition, which may be of independent interest. △ Less

Submitted 19 June, 2024; originally announced June 2024.

Comparative Analysis of Nanomechanical Resonators: Sensitivity, Response Time, and Practical Considerations in Photothermal Sensing

Authors: Kostas Kanellopulos, Friedrich Ladinig, Stefan Emminger, Paolo Martini, Robert G. West, Silvan Schmid

Abstract: Nanomechanical photothermal sensing has significantly advanced single-molecule/particle microscopy and spectroscopy, and infrared detection through the use of nanomechanical resonators that detect shifts in resonant frequency due to photothermal heating. However, the relationship between resonator design, photothermal sensitivity, and response time remains unclear. This paper compares three resona… ▽ More Nanomechanical photothermal sensing has significantly advanced single-molecule/particle microscopy and spectroscopy, and infrared detection through the use of nanomechanical resonators that detect shifts in resonant frequency due to photothermal heating. However, the relationship between resonator design, photothermal sensitivity, and response time remains unclear. This paper compares three resonator types - strings, drumheads, and trampolines - to explore this relationship. Through theoretical modeling, experimental validation, and finite element method simulations, we find that strings offer the highest sensitivity (with a noise equivalent power of 280 fW/Hz$^{1/2}$ for strings made of silicon nitride), while drumheads exhibit the fastest thermal response. The study reveals that photothermal sensitivity correlates with the average temperature rise and not the peak temperature. Finally, the impact of photothermal back-action is discussed, which can be a major source of frequency instability. This work clarifies the performance differences and limits among resonator designs and guides the development of advanced nanomechanical photothermal sensors, benefiting a wide range of applications. △ Less

Submitted 18 June, 2024; v1 submitted 5 June, 2024; originally announced June 2024.

Comments: Main text 28 pages, 7 figures. Supplementary Information: 11 pages, 10 figures

Understanding the Throughput Bounds of Reconfigurable Datacenter Networks

Authors: Vamsi Addanki, Chen Avin, Stefan Schmid

Abstract: The increasing gap between the growth of datacenter traffic volume and the capacity of electrical switches led to the emergence of reconfigurable datacenter network designs based on optical circuit switching. A multitude of research works, ranging from demand-oblivious (e.g., RotorNet, Sirius) to demand-aware (e.g., Helios, ProjecToR) reconfigurable networks, demonstrate significant performance be… ▽ More The increasing gap between the growth of datacenter traffic volume and the capacity of electrical switches led to the emergence of reconfigurable datacenter network designs based on optical circuit switching. A multitude of research works, ranging from demand-oblivious (e.g., RotorNet, Sirius) to demand-aware (e.g., Helios, ProjecToR) reconfigurable networks, demonstrate significant performance benefits. Unfortunately, little is formally known about the achievable throughput of such networks. Only recently have the throughput bounds of demand-oblivious networks been studied. In this paper, we tackle a fundamental question: Whether and to what extent can demand-aware reconfigurable networks improve the throughput of datacenters? This paper attempts to understand the landscape of the throughput bounds of reconfigurable datacenter networks. Given the rise of machine learning workloads and collective communication in modern datacenters, we specifically focus on their typical communication patterns, namely uniform-residual demand matrices. We formally establish a separation bound of demand-aware networks over demand-oblivious networks, proving analytically that the former can provide at least $16\%$ higher throughput. Our analysis further uncovers new design opportunities based on periodic, fixed-duration reconfigurations that can harness the throughput benefits of demand-aware networks while inheriting the simplicity and low reconfiguration overheads of demand-oblivious networks. Finally, our evaluations corroborate the theoretical results of this paper, demonstrating that demand-aware networks significantly outperform oblivious networks in terms of throughput. This work barely scratches the surface and unveils several intriguing open questions, which we discuss at the end of this paper. △ Less

Submitted 31 May, 2024; originally announced May 2024.

Learning Minimum Linear Arrangement of Cliques and Lines

Authors: Julien Dallot, Maciej Pacut, Marcin Bienkowski, Darya Melnyk, Stefan Schmid

Abstract: In the well-known Minimum Linear Arrangement problem (MinLA), the goal is to arrange the nodes of an undirected graph into a permutation so that the total stretch of the edges is minimized. This paper studies an online (learning) variant of MinLA where the graph is not given at the beginning, but rather revealed piece-by-piece. The algorithm starts in a fixed initial permutation, and after a piece… ▽ More In the well-known Minimum Linear Arrangement problem (MinLA), the goal is to arrange the nodes of an undirected graph into a permutation so that the total stretch of the edges is minimized. This paper studies an online (learning) variant of MinLA where the graph is not given at the beginning, but rather revealed piece-by-piece. The algorithm starts in a fixed initial permutation, and after a piece of the graph is revealed, the algorithm must update its current permutation to be a MinLA of the subgraph revealed so far. The objective is to minimize the total number of swaps of adjacent nodes as the algorithm updates the permutation. The main result of this paper is an online randomized algorithm that solves this online variant for the restricted cases where the revealed graph is either a collection of cliques or a collection of lines. We show that the algorithm is $8 \ln n$-competitive, where $n$ is the number of nodes of the graph. We complement this result by constructing an asymptotically matching lower bound of $Ω(\ln n)$. △ Less

Submitted 24 May, 2024; originally announced May 2024.

Comments: ICDCS 2024

Journal ref: ICDCS 2024

Optimized Signal Estimation in Nanomechanical Photothermal Sensing via Thermal Response Modelling and Kalman Filtering

Authors: Hajrudin Bešić, Andreas Deutschmann-Olek, Kenan Mešić, Kostas Kanellopulos, Silvan Schmid

Abstract: We present an advanced thermal response model for micro- and nanomechanical systems in photothermal sensing, designed to balance speed and precision. Our model considers the two time constants of the nanomechanical element and the supporting chip, triggered by photothermal heating, enabling precise photothermal input signal estimation through Kalman filtering. By integrating heat transfer and nois… ▽ More We present an advanced thermal response model for micro- and nanomechanical systems in photothermal sensing, designed to balance speed and precision. Our model considers the two time constants of the nanomechanical element and the supporting chip, triggered by photothermal heating, enabling precise photothermal input signal estimation through Kalman filtering. By integrating heat transfer and noise models, we apply an adaptive Kalman filter optimized for FPGA systems in real-time or offline. This method, used for photothermal infrared (IR) spectroscopy with nanomechanical resonators and a quantum cascade laser (QCL) in step-scan mode, enhances response speed beyond standard low-pass filters, reducing the effects of drift and random walk. Analytical calculations show the significant impact of the thermal expansion coefficients' ratio on the frequency response. The adaptive Kalman filter, informed by the QCL's input characteristics, accelerates the system's response, allowing rapid and precise IR spectrum generation. The use of the Levenberg-Marquardt algorithm and PSD analysis for system identification further refines our approach, promising fast and accurate nanomechanical photothermal sensing. △ Less

Submitted 28 May, 2024; v1 submitted 24 May, 2024; originally announced May 2024.

Energy-based Hopfield Boosting for Out-of-Distribution Detection

Authors: Claus Hofmann, Simon Schmid, Bernhard Lehner, Daniel Klotz, Sepp Hochreiter

Abstract: Out-of-distribution (OOD) detection is critical when deploying machine learning models in the real world. Outlier exposure methods, which incorporate auxiliary outlier data in the training process, can drastically improve OOD detection performance compared to approaches without advanced training strategies. We introduce Hopfield Boosting, a boosting approach, which leverages modern Hopfield energy… ▽ More Out-of-distribution (OOD) detection is critical when deploying machine learning models in the real world. Outlier exposure methods, which incorporate auxiliary outlier data in the training process, can drastically improve OOD detection performance compared to approaches without advanced training strategies. We introduce Hopfield Boosting, a boosting approach, which leverages modern Hopfield energy (MHE) to sharpen the decision boundary between the in-distribution and OOD data. Hopfield Boosting encourages the model to concentrate on hard-to-distinguish auxiliary outlier examples that lie close to the decision boundary between in-distribution and auxiliary outlier data. Our method achieves a new state-of-the-art in OOD detection with outlier exposure, improving the FPR95 metric from 2.28 to 0.92 on CIFAR-10 and from 11.76 to 7.94 on CIFAR-100. △ Less

Submitted 14 May, 2024; originally announced May 2024.

Picosecond Femtojoule Resistive Switching in Nanoscale VO$_{2}$ Memristors

Authors: S. W. Schmid, L. Pósa, T. N. Török, B. Sánta, Z. Pollner, G. Molnár, Y. Horst, J. Volk, J. Leuthold, A. Halbritter, M. Csontos

Abstract: Beyond-Moore computing technologies are expected to provide a sustainable alternative to the von Neumann approach not only due to their down-scaling potential but also via exploiting device-level functional complexity at the lowest possible energy consumption. The dynamics of the Mott transition in correlated electron oxides, such as vanadium dioxide, has been identified as a rich and reliable sou… ▽ More Beyond-Moore computing technologies are expected to provide a sustainable alternative to the von Neumann approach not only due to their down-scaling potential but also via exploiting device-level functional complexity at the lowest possible energy consumption. The dynamics of the Mott transition in correlated electron oxides, such as vanadium dioxide, has been identified as a rich and reliable source of such functional complexity. However, its full potential in high-speed and low-power operation has been largely unexplored. We fabricated nanoscale VO$_{2}$ devices embedded in a broad-band test circuit to study the speed and energy limitations of their resistive switching operation. Our picosecond time-resolution, real-time resistive switching experiments and numerical simulations demonstrate that tunable low-resistance states can be set by the application of 20~ps long, $<$1.7~V amplitude voltage pulses at 15~ps incubation times and switching energies starting from a few femtojoule. Moreover, we demonstrate that at nanometer-scale device sizes not only the electric field induced insulator-to-metal transition, but also the thermal conduction limited metal-to-insulator transition can take place at timescales of 100's of picoseconds. These orders of magnitude breakthroughs open the route to the design of high-speed and low-power dynamical circuits for a plethora of neuromorphic computing applications from pattern recognition to numerical optimization. △ Less

Submitted 20 March, 2024; originally announced March 2024.

In the Search of Optimal Tree Networks: Hardness and Heuristics

Authors: Maxim Buzdalov, Pavel Martynov, Sergey Pankratov, Vitaly Aksenov, Stefan Schmid

Abstract: Demand-aware communication networks are networks whose topology is optimized toward the traffic they need to serve. These networks have recently been enabled by novel optical communication technologies and are investigated intensively in the context of datacenters. In this work, we consider networks with one of the most common topologies~ -- a binary tree. We show that finding an optimal demand-… ▽ More Demand-aware communication networks are networks whose topology is optimized toward the traffic they need to serve. These networks have recently been enabled by novel optical communication technologies and are investigated intensively in the context of datacenters. In this work, we consider networks with one of the most common topologies~ -- a binary tree. We show that finding an optimal demand-aware binary tree network is NP-hard. Then, we propose optimization algorithms that generate efficient binary tree networks on real-life and synthetic workloads. △ Less

Submitted 6 March, 2024; originally announced March 2024.

I DPID It My Way! A Covert Timing Channel in Software-Defined Networks

Authors: Robert Krösche, Kashyap Thimmaraju, Liron Schiff, Stefan Schmid

Abstract: Software-defined networking is considered a promising new paradigm, enabling more reliable and formally verifiable communication networks. However, this paper shows that the separation of the control plane from the data plane, which lies at the heart of Software-Defined Networks (SDNs), can be exploited for covert channels based on SDN Teleportation, even when the data planes are physically discon… ▽ More Software-defined networking is considered a promising new paradigm, enabling more reliable and formally verifiable communication networks. However, this paper shows that the separation of the control plane from the data plane, which lies at the heart of Software-Defined Networks (SDNs), can be exploited for covert channels based on SDN Teleportation, even when the data planes are physically disconnected. This paper describes the theoretical model and design of our covert timing channel based on SDN Teleportation. We implement our covert channel using a popular SDN switch, Open vSwitch, and a popular SDN controller, ONOS. Our evaluation of the prototype shows that even under load at the controller, throughput rates of 20 bits per second are possible, with a communication accuracy of approximately 90\%. We also discuss techniques to increase the throughput further. △ Less

Submitted 4 March, 2024; originally announced March 2024.

Journal ref: IFIP Networking 2018

MTS: Bringing Multi-Tenancy to Virtual Networking

Authors: Kashyap Thimmaraju, Saad Hermak, Gábor Rétvári, Stefan Schmid

Abstract: Multi-tenant cloud computing provides great benefits in terms of resource sharing, elastic pricing, and scalability, however, it also changes the security landscape and introduces the need for strong isolation between the tenants, also inside the network. This paper is motivated by the observation that while multi-tenancy is widely used in cloud computing, the virtual switch designs currently used… ▽ More Multi-tenant cloud computing provides great benefits in terms of resource sharing, elastic pricing, and scalability, however, it also changes the security landscape and introduces the need for strong isolation between the tenants, also inside the network. This paper is motivated by the observation that while multi-tenancy is widely used in cloud computing, the virtual switch designs currently used for network virtualization lack sufficient support for tenant isolation. Hence, we present, implement, and evaluate a virtual switch architecture, MTS, which brings secure design best-practice to the context of multi-tenant virtual networking: compartmentalization of virtual switches, least-privilege execution, complete mediation of all network communication, and reducing the trusted computing base shared between tenants. We build MTS from commodity components, providing an incrementally deployable and inexpensive upgrade path to cloud operators. Our extensive experiments, extending to both micro-benchmarks and cloud applications, show that, depending on the way it is deployed, MTS may produce 1.5-2x the throughput compared to state-of-the-art, with similar or better latency and modest resource overhead (1 extra CPU). MTS is available as open source software. △ Less

Submitted 4 March, 2024; originally announced March 2024.

Journal ref: USENIX ATC 2019

Universal Physics Transformers: A Framework For Efficiently Scaling Neural Operators

Authors: Benedikt Alkin, Andreas Fürst, Simon Schmid, Lukas Gruber, Markus Holzleitner, Johannes Brandstetter

Abstract: Neural operators, serving as physics surrogate models, have recently gained increased interest. With ever increasing problem complexity, the natural question arises: what is an efficient way to scale neural operators to larger and more complex simulations - most importantly by taking into account different types of simulation datasets. This is of special interest since, akin to their numerical cou… ▽ More Neural operators, serving as physics surrogate models, have recently gained increased interest. With ever increasing problem complexity, the natural question arises: what is an efficient way to scale neural operators to larger and more complex simulations - most importantly by taking into account different types of simulation datasets. This is of special interest since, akin to their numerical counterparts, different techniques are used across applications, even if the underlying dynamics of the systems are similar. Whereas the flexibility of transformers has enabled unified architectures across domains, neural operators mostly follow a problem specific design, where GNNs are commonly used for Lagrangian simulations and grid-based models predominate Eulerian simulations. We introduce Universal Physics Transformers (UPTs), an efficient and unified learning paradigm for a wide range of spatio-temporal problems. UPTs operate without grid- or particle-based latent structures, enabling flexibility and scalability across meshes and particles. UPTs efficiently propagate dynamics in the latent space, emphasized by inverse encoding and decoding techniques. Finally, UPTs allow for queries of the latent space representation at any point in space-time. We demonstrate diverse applicability and efficacy of UPTs in mesh-based fluid simulations, and steady-state Reynolds averaged Navier-Stokes simulations, and Lagrangian-based dynamics. △ Less

Submitted 30 April, 2024; v1 submitted 19 February, 2024; originally announced February 2024.

Can smartphone apps reveal fishing catch rates and durations?

Authors: Azar T. Tayebi, Julia S. Schmid, Sean Simmons, Mark S. Poesch, Mark A. Lewis, Pouria Ramazi

Abstract: Data on angler behaviour are conventionally collected by creel surveys. An innovative, cost-effective method is the use of smartphone applications for recreational anglers. Correlations were found between these citizen-reported data and the data from creel surveys. It is, however, unclear whether angler behaviour measured from the two sources is directly related, or the citizen-reported informatio… ▽ More Data on angler behaviour are conventionally collected by creel surveys. An innovative, cost-effective method is the use of smartphone applications for recreational anglers. Correlations were found between these citizen-reported data and the data from creel surveys. It is, however, unclear whether angler behaviour measured from the two sources is directly related, or the citizen-reported information can be obtained mainly from other "intermediate" variables. We used Bayesian networks to investigate this question for two management-related quantities, daily catch rate, and fishing duration, sourced from creel surveys and the MyCatch smartphone application in two river systems in Alberta, Canada. Environmental variables and website views of the waterbodies were included as possible intermediate variables. We found direct relationships between mean catch rates from creel surveys and smartphone applications. In contrast, the daily mean fishing durations were only indirectly related to intermediate variables "wind speed", "degree days" and "solar radiation". The study provides insight into the potential use of citizen-reported data to understand angler behaviour on a large scale. △ Less

Submitted 12 February, 2024; originally announced February 2024.

Comments: 10 pages, 1 table, and 1 figure

Can machine learning predict citizen-reported angler behavior?

Authors: Julia S. Schmid, Sean Simmons, Mark A. Lewis, Mark S. Poesch, Pouria Ramazi

Abstract: Prediction of angler behaviors, such as catch rates and angler pressure, is essential to maintaining fish populations and ensuring angler satisfaction. Angler behavior can partly be tracked by online platforms and mobile phone applications that provide fishing activities reported by recreational anglers. Moreover, angler behavior is known to be driven by local site attributes. Here, the prediction… ▽ More Prediction of angler behaviors, such as catch rates and angler pressure, is essential to maintaining fish populations and ensuring angler satisfaction. Angler behavior can partly be tracked by online platforms and mobile phone applications that provide fishing activities reported by recreational anglers. Moreover, angler behavior is known to be driven by local site attributes. Here, the prediction of citizen-reported angler behavior was investigated by machine-learning methods using auxiliary data on the environment, socioeconomics, fisheries management objectives, and events at a freshwater body. The goal was to determine whether auxiliary data alone could predict the reported behavior. Different spatial and temporal extents and temporal resolutions were considered. Accuracy scores averaged 88% for monthly predictions at single water bodies and 86% for spatial predictions on a day in a specific region across Canada. At other resolutions and scales, the models only achieved low prediction accuracy of around 60%. The study represents a first attempt at predicting angler behavior in time and space at a large scale and establishes a foundation for potential future expansions in various directions. △ Less

Submitted 7 February, 2024; originally announced February 2024.

Comments: 36 pages, 10 figures, 4 tables (including supplementary information)

Dependency-Aware Online Caching

Authors: Julien Dallot, Amirmehdi Jafari Fesharaki, Maciej Pacut, Stefan Schmid

Abstract: We consider a variant of the online caching problem where the items exhibit dependencies among each other: an item can reside in the cache only if all its dependent items are also in the cache. The dependency relations can form any directed acyclic graph. These requirements arise e.g., in systems such as CacheFlow (SOSR 2016) that cache forwarding rules for packet classification in IP-based commun… ▽ More We consider a variant of the online caching problem where the items exhibit dependencies among each other: an item can reside in the cache only if all its dependent items are also in the cache. The dependency relations can form any directed acyclic graph. These requirements arise e.g., in systems such as CacheFlow (SOSR 2016) that cache forwarding rules for packet classification in IP-based communication networks. First, we present an optimal randomized online caching algorithm which accounts for dependencies among the items. Our randomized algorithm is $O( \log k)$-competitive, where $k$ is the size of the cache, meaning that our algorithm never incurs the cost of $O(\log k)$ times higher than even an optimal algorithm that knows the future input sequence. Second, we consider the bypassing model, where requests can be served at a fixed price without fetching the item and its dependencies into the cache -- a variant of caching with dependencies introduced by Bienkowski et al. at SPAA 2017. For this setting, we give an $O( \sqrt{k \cdot \log k})$-competitive algorithm, which significantly improves the best known competitiveness. We conduct a small case study, to find out that our algorithm incurs on average 2x lower cost. △ Less

Submitted 30 January, 2024; originally announced January 2024.

Comments: INFOCOM 2024

Coexistence of Topological and Normal Insulating Phases in Electro-Optically Tuned InAs/GaSb Bilayer Quantum Wells

Authors: Manuel Meyer, Tobias Fähndrich, Sebastian Schmid, Adriana Wolf, Sergey Krishtopenko, Benoit Jouault, Gerald Bastard, Frederic Teppe, Fabian Hartmann, Sven Höfling

Abstract: We report on the coexistence of both normal and topological insulating phases in InAs/GaSb bilayer quantum well induced by the built-in electric field tuned optically and electrically. The emergence of topological and normal insulating phases is assessed based on the evolution of the charge carrier densities, the resistivity dependence of the gap via in-plane magnetic fields and the thermal activa… ▽ More We report on the coexistence of both normal and topological insulating phases in InAs/GaSb bilayer quantum well induced by the built-in electric field tuned optically and electrically. The emergence of topological and normal insulating phases is assessed based on the evolution of the charge carrier densities, the resistivity dependence of the gap via in-plane magnetic fields and the thermal activation of carriers. For the Hall bar device tuned optically, we observe the fingerprints associated with the presence of only the topological insulating phase. For another Hall bar processed identically but with an additional top gate, the coexistence of normal and topological insulating phases is found by electrical tuning. Our finding paves the way for utilizing a new electro-optical tuning scheme to manipulate InAs/GaSb bilayer quantum wells to obtain trivial-topological insulating interfaces in the bulk rather than at the physical edge of the device. △ Less

Submitted 22 January, 2024; originally announced January 2024.

A numerical approach for calculating exact non-adiabatic terms in quantum dynamics

Authors: Ewen D C Lawrence, Sebastian F J Schmid, Ieva Čepaitė, Peter Kirton, Callum W Duncan

Abstract: Understanding how non-adiabatic terms affect quantum dynamics is fundamental to improving various protocols for quantum technologies. We present a novel approach to computing the Adiabatic Gauge Potential (AGP), which gives information on the non-adiabatic terms that arise from time dependence in the Hamiltonian. Our approach uses commutators of the Hamiltonian to build up an appropriate basis of… ▽ More Understanding how non-adiabatic terms affect quantum dynamics is fundamental to improving various protocols for quantum technologies. We present a novel approach to computing the Adiabatic Gauge Potential (AGP), which gives information on the non-adiabatic terms that arise from time dependence in the Hamiltonian. Our approach uses commutators of the Hamiltonian to build up an appropriate basis of the AGP, which can be easily truncated to give an approximate form when the exact result is intractable. We use this approach to study the AGP obtained for the transverse field Ising model on a variety of graphs, showing how the different underlying graph structures can give rise to very different scaling for the number of terms required in the AGP. △ Less

Submitted 19 January, 2024; originally announced January 2024.

Comments: 28 pages, 6 figures, comments welcome

Approximation Algorithms for Minimizing Congestion in Demand-Aware Networks

Authors: Wenkai Dai, Michael Dinitz, Klaus-Tycho Foerster, Long Luo, Stefan Schmid

Abstract: Emerging reconfigurable optical communication technologies allow to enhance datacenter topologies with demand-aware links optimized towards traffic patterns. This paper studies the algorithmic problem of jointly optimizing topology and routing in such demand-aware networks to minimize congestion, along two dimensions: (1) splittable or unsplittable flows, and (2) whether routing is segregated, i.e… ▽ More Emerging reconfigurable optical communication technologies allow to enhance datacenter topologies with demand-aware links optimized towards traffic patterns. This paper studies the algorithmic problem of jointly optimizing topology and routing in such demand-aware networks to minimize congestion, along two dimensions: (1) splittable or unsplittable flows, and (2) whether routing is segregated, i.e., whether routes can or cannot combine both demand-aware and demand-oblivious (static) links. For splittable and segregated routing, we show that the problem is generally $2$-approximable, but APX-hard even for uniform demands induced by a bipartite demand graph. For unsplittable and segregated routing, we establish upper and lower bounds of $O\left(\log m/ \log\log m \right)$ and $Ω\left(\log m/ \log\log m \right)$, respectively, for polynomial-time approximation algorithms, where $m$ is the number of static links. We further reveal that under un-/splittable and non-segregated routing, even for demands of a single source (resp., destination), the problem cannot be approximated better than $Ω\left(\frac{c_{\max}}{c_{\min}} \right)$ unless P=NP, where $c_{\max}$ (resp., $c_{\min}$) denotes the maximum (resp., minimum) capacity. It remains NP-hard for uniform capacities, but is tractable for a single commodity and uniform capacities. Our trace-driven simulations show a significant reduction in network congestion compared to existing solutions. △ Less

Submitted 9 January, 2024; originally announced January 2024.

Comments: 10 pages

Credence: Augmenting Datacenter Switch Buffer Sharing with ML Predictions

Authors: Vamsi Addanki, Maciej Pacut, Stefan Schmid

Abstract: Packet buffers in datacenter switches are shared across all the switch ports in order to improve the overall throughput. The trend of shrinking buffer sizes in datacenter switches makes buffer sharing extremely challenging and a critical performance issue. Literature suggests that push-out buffer sharing algorithms have significantly better performance guarantees compared to drop-tail algorithms.… ▽ More Packet buffers in datacenter switches are shared across all the switch ports in order to improve the overall throughput. The trend of shrinking buffer sizes in datacenter switches makes buffer sharing extremely challenging and a critical performance issue. Literature suggests that push-out buffer sharing algorithms have significantly better performance guarantees compared to drop-tail algorithms. Unfortunately, switches are unable to benefit from these algorithms due to lack of support for push-out operations in hardware. Our key observation is that drop-tail buffers can emulate push-out buffers if the future packet arrivals are known ahead of time. This suggests that augmenting drop-tail algorithms with predictions about the future arrivals has the potential to significantly improve performance. This paper is the first research attempt in this direction. We propose Credence, a drop-tail buffer sharing algorithm augmented with machine-learned predictions. Credence can unlock the performance only attainable by push-out algorithms so far. Its performance hinges on the accuracy of predictions. Specifically, Credence achieves near-optimal performance of the best known push-out algorithm LQD (Longest Queue Drop) with perfect predictions, but gracefully degrades to the performance of the simplest drop-tail algorithm Complete Sharing when the prediction error gets arbitrarily worse. Our evaluations show that Credence improves throughput by $1.5$x compared to traditional approaches. In terms of flow completion times, we show that Credence improves upon the state-of-the-art approaches by up to $95\%$ using off-the-shelf machine learning techniques that are also practical in today's hardware. We believe this work opens several interesting future work opportunities both in systems and theory that we discuss at the end of this paper. △ Less

Submitted 5 January, 2024; originally announced January 2024.

Heterogeneous Graph-based Trajectory Prediction using Local Map Context and Social Interactions

Authors: Daniel Grimm, Maximilian Zipfl, Felix Hertlein, Alexander Naumann, Jürgen Lüttin, Steffen Thoma, Stefan Schmid, Lavdim Halilaj, Achim Rettinger, J. Marius Zöllner

Abstract: Precisely predicting the future trajectories of surrounding traffic participants is a crucial but challenging problem in autonomous driving, due to complex interactions between traffic agents, map context and traffic rules. Vector-based approaches have recently shown to achieve among the best performances on trajectory prediction benchmarks. These methods model simple interactions between traffic… ▽ More Precisely predicting the future trajectories of surrounding traffic participants is a crucial but challenging problem in autonomous driving, due to complex interactions between traffic agents, map context and traffic rules. Vector-based approaches have recently shown to achieve among the best performances on trajectory prediction benchmarks. These methods model simple interactions between traffic agents but don't distinguish between relation-type and attributes like their distance along the road. Furthermore, they represent lanes only by sequences of vectors representing center lines and ignore context information like lane dividers and other road elements. We present a novel approach for vector-based trajectory prediction that addresses these shortcomings by leveraging three crucial sources of information: First, we model interactions between traffic agents by a semantic scene graph, that accounts for the nature and important features of their relation. Second, we extract agent-centric image-based map features to model the local map context. Finally, we generate anchor paths to enforce the policy in multi-modal prediction to permitted trajectories only. Each of these three enhancements shows advantages over the baseline model HoliGraph. △ Less

Submitted 30 November, 2023; originally announced November 2023.

Comments: Accepted on IEEE ITSC 2023

On the Complexity of the Virtual Network Embedding in Specific Tree Topologies

Authors: Sergey Pankratov, Vitaly Aksenov, Stefan Schmid

Abstract: Virtual networks are an innovative abstraction that extends cloud computing concepts to the network: by supporting bandwidth reservations between compute nodes (e.g., virtual machines), virtual networks can provide a predictable performance to distributed and communication-intensive cloud applications. However, in order to make the most efficient use of the shared resources, the Virtual Network Em… ▽ More Virtual networks are an innovative abstraction that extends cloud computing concepts to the network: by supporting bandwidth reservations between compute nodes (e.g., virtual machines), virtual networks can provide a predictable performance to distributed and communication-intensive cloud applications. However, in order to make the most efficient use of the shared resources, the Virtual Network Embedding (VNE) problem has to be solved: a virtual network should be mapped onto the given physical network so that resource reservations are minimized. The problem has been studied intensively already and is known to be NP-hard in general. In this paper, we revisit this problem and consider it on specific topologies, as they often arise in practice. To be more precise, we study the weighted version of the VNE problem: we consider a virtual weighted network of a specific topology which we want to embed onto a weighted network with capacities and specific topology. As for topologies, we consider most fundamental and commonly used ones: line, star, $2$-tiered star, oversubscribed $2$-tiered star, and tree, in addition to also considering arbitrary topologies. We show that typically the VNE problem is NP-hard even in more specialized cases, however, sometimes there exists a polynomial algorithm: for example, an embedding of the oversubscribed $2$-tiered star onto the tree is polynomial while an embedding of an arbitrary $2$-tiered star is not. △ Less

Submitted 9 November, 2023; originally announced November 2023.

Slow and Non-Equilibrium Dynamics due to Electronic Ferroelectricity in a Strongly-Correlated Molecular Conductor

Authors: Tatjana Thomas, Yassine Agarmani, Steffi Hartmann, Mark Kartsovnik, Natalia Kushch, Stephen M. Winter, Sebastian Schmid, Peter Lunkenheimer, Michael Lang, Jens Mueller

Abstract: Using a combination of resistance fluctuation (noise) and dielectric spectroscopy we investigate the nature of relaxor-type electronic ferroelectricity in the organic conductor $κ$-(BETS)$_2$Mn[N(CN)$_2$]$_3$, a system representative for a wider class of materials, where strong correlations of electrons on a lattice of dimerized molecules results in an insulating ground state. The two complementar… ▽ More Using a combination of resistance fluctuation (noise) and dielectric spectroscopy we investigate the nature of relaxor-type electronic ferroelectricity in the organic conductor $κ$-(BETS)$_2$Mn[N(CN)$_2$]$_3$, a system representative for a wider class of materials, where strong correlations of electrons on a lattice of dimerized molecules results in an insulating ground state. The two complementary spectroscopies reveal a distinct low-frequency dynamics. By dielectric spectroscopy we detect an intrinsic relaxation that is typical for relaxor ferroelectrics below the metal-to-insulator transition at $T_{\rm{MI}}\sim 25\,$K. Resistance noise spectroscopy reveals fluctuating two-level processes above $T_{\rm MI}$ which strongly couple to the applied electric field, a signature of fluctuating polar nanoregions (PNR), i.e. clusters of quantum electric dipoles fluctuating collectively. The PNR preform above the metal insulator transition. Upon cooling through $T_{\rm MI}$, a drastic increase of the low-frequency $1/f$-type fluctuations and slowing down of the charge carrier dynamics is accompanied by the onset of strong non-equilibrium dynamics indicating a glassy transition of interacting dipolar clusters, the scaling properties of which are consistent with a droplet model. The freezing of nano-scale polar clusters and non-equilibrium dynamics is suggested to be a common feature of organic relaxor-type electronic ferroelectrics and needs to be considered in theoretical models describing these materials. △ Less

Submitted 3 November, 2023; v1 submitted 26 October, 2023; originally announced October 2023.

Self-Sustaining Oscillator with Frequency Counter for Resonance Frequency Tracking in Micro- and Nanomechanical Sensing

Authors: Hajrudin Bešić, Alper Demir, Veljko Vukićević, Johannes Steurer, Silvan Schmid

Abstract: Nanomechanical sensors based on detecting and tracking resonance frequency shifts are to be used in many applications. Various open- and closed-loop tracking schemes, all offering a trade-off between speed and precision, have been studied both theoretically and experimentally. In this work, we advocate the use of a frequency counter as a frequency shift monitor in conjunction with a self-sustainin… ▽ More Nanomechanical sensors based on detecting and tracking resonance frequency shifts are to be used in many applications. Various open- and closed-loop tracking schemes, all offering a trade-off between speed and precision, have been studied both theoretically and experimentally. In this work, we advocate the use of a frequency counter as a frequency shift monitor in conjunction with a self-sustaining oscillator (SSO) nanoelectromechanical system (NEMS) configuration. We derive a theoretical model for characterizing the speed and precision of frequency measurements with state-of-the-art frequency counters. Based on the understanding provided by this model, we introduce novel enhancements to frequency counters that result in a trade-off characteristics which is on a par with the other tracking schemes. We describe a low-cost field-programmable-gate array (FPGA) based implementation for the proposed frequency counter and use it with the SSO-NEMS device in order to study its frequency tracking performance. We compare the proposed approach with the phase-locked-loop based scheme both in theory and experimentally. Our results show that similar or better performance can be achieved at a substantially lower cost and improved ease-of-use. We obtain almost perfect correspondence between the theoretical model predictions and the experimental measurements. △ Less

Submitted 20 September, 2023; originally announced September 2023.

The known unknowns of the Hsp90 chaperone

Authors: Laura-Marie Silbermann, Benjamin Vermeer, Sonja Schmid, Katarzyna, Tych

Abstract: Molecular chaperones are vital proteins that maintain protein homeostasis by assisting in protein folding, activation, degradation, and stress protection. Among them, heat-shock protein 90 (Hsp90) stands out as an essential proteostasis hub in eukaryotes, chaperoning hundreds of "clients" (substrates). After decades of research, several "known unknowns" about the molecular function of Hsp90 remain… ▽ More Molecular chaperones are vital proteins that maintain protein homeostasis by assisting in protein folding, activation, degradation, and stress protection. Among them, heat-shock protein 90 (Hsp90) stands out as an essential proteostasis hub in eukaryotes, chaperoning hundreds of "clients" (substrates). After decades of research, several "known unknowns" about the molecular function of Hsp90 remain unanswered, hampering rational drug design for the treatment of cancers, neurodegenerative and other diseases. We highlight three fundamental open questions, reviewing the current state of the field for each, and discuss new opportunities, including single-molecule technologies, to answer the known unknowns of the Hsp90 chaperone. △ Less

Submitted 31 August, 2023; originally announced August 2023.

Comments: 29 pages, 4 figures

Demand-Aware Network Design with Steiner Nodes and a Connection to Virtual Network Embedding

Authors: Aleksander Figiel, Janne H. Korhonen, Neil Olver, Stefan Schmid

Abstract: Emerging optical and virtualization technologies enable the design of more flexible and demand-aware networked systems, in which resources can be optimized toward the actual workload they serve. For example, in a demand-aware datacenter network, frequently communicating nodes (e.g., two virtual machines or a pair of racks in a datacenter) can be placed topologically closer, reducing communication… ▽ More Emerging optical and virtualization technologies enable the design of more flexible and demand-aware networked systems, in which resources can be optimized toward the actual workload they serve. For example, in a demand-aware datacenter network, frequently communicating nodes (e.g., two virtual machines or a pair of racks in a datacenter) can be placed topologically closer, reducing communication costs and hence improving the overall network performance. This paper revisits the bounded-degree network design problem underlying such demand-aware networks. Namely, given a distribution over communicating server pairs, we want to design a network with bounded maximum degree that minimizes expected communication distance. In addition to this known problem, we introduce and study a variant where we allow Steiner nodes (i.e., additional routers) to be added to augment the network. We improve the understanding of this problem domain in several ways. First, we shed light on the complexity and hardness of the aforementioned problems, and study a connection between them and the virtual networking embedding problem. We then provide a constant-factor approximation algorithm for the Steiner node version of the problem, and use it to improve over prior state-of-the-art algorithms for the original version of the problem with sparse communication distributions. Finally, we investigate various heuristic approaches to bounded-degree network design problem, in particular providing a reliable heuristic algorithm with good experimental performance. We report on an extensive empirical evaluation, using several real-world traffic traces from datacenters, and find that our approach results in improved demand-aware network designs. △ Less

Submitted 21 August, 2023; originally announced August 2023.

RIFO: Pushing the Efficiency of Programmable Packet Schedulers

Authors: Habib Mostafaei, Maciej Pacut, Stefan Schmid

Abstract: Packet scheduling is a fundamental networking task that recently received renewed attention in the context of programmable data planes. Programmable packet scheduling systems such as those based on Push-In First-Out (PIFO) abstraction enabled flexible scheduling policies, but are too resource-expensive for large-scale line rate operation. This prompted research into practical programmable schedule… ▽ More Packet scheduling is a fundamental networking task that recently received renewed attention in the context of programmable data planes. Programmable packet scheduling systems such as those based on Push-In First-Out (PIFO) abstraction enabled flexible scheduling policies, but are too resource-expensive for large-scale line rate operation. This prompted research into practical programmable schedulers (e.g., SP-PIFO, AIFO) approximating PIFO behavior on regular hardware. Yet, their scalability remains limited due to extensive number of memory operations. To address this, we design an effective yet resource-efficient packet scheduler, Range-In First-Out (RIFO), which uses only three mutable memory cells and one FIFO queue per PIFO queue. RIFO is based on multi-criteria decision-making principles and uses small guaranteed admission buffers. Our large-scale simulations in Netbench demonstrate that despite using fewer resources, RIFO generally achieves competitive flow completion times across all studied workloads, and is especially effective in workloads with a significant share of large flows, reducing flow completion time up to 4.91x in datamining workload compared to state-of-the-art solutions. Our prototype implementation using P4 on Tofino switches requires only 650 lines of code, is scalable, and runs at line rate. △ Less

Submitted 21 July, 2024; v1 submitted 14 August, 2023; originally announced August 2023.

Robust Routing Made Easy: Reinforcing Networks Against Non-Benign Faults

Authors: Christoph Lenzen, Moti Medina, Mehrdad Saberi, Stefan Schmid

Abstract: With the increasing scale of communication networks, the likelihood of failures grows as well. Since these networks form a critical backbone of our digital society, it is important that they rely on robust routing algorithms which ensure connectivity despite such failures. While most modern communication networks feature robust routing mechanisms, these mechanisms are often fairly complex to desig… ▽ More With the increasing scale of communication networks, the likelihood of failures grows as well. Since these networks form a critical backbone of our digital society, it is important that they rely on robust routing algorithms which ensure connectivity despite such failures. While most modern communication networks feature robust routing mechanisms, these mechanisms are often fairly complex to design and verify, as they need to account for the effects of failures and rerouting on communication. This paper conceptualizes the design of robust routing mechanisms, with the aim to avoid such complexity. In particular, we showcase \emph{simple} and generic blackbox transformations that increase resilience of routing against independently distributed failures, which allows to simulate the routing scheme on the original network, even in the presence of non-benign node failures (henceforth called faults). This is attractive as the system specification and routing policy can simply be preserved. We present a scheme for constructing such a reinforced network, given an existing (synchronous) network and a routing scheme. We prove that this algorithm comes with small constant overheads, and only requires a minimal amount of additional node and edge resources; in fact, if the failure probability is smaller than $1/n$, the algorithm can come without any overhead at all. At the same time, it allows to tolerate a large number of independent random (node) faults, asymptotically almost surely. We complement our analytical results with simulations on different real-world topologies. △ Less

Submitted 9 July, 2023; originally announced July 2023.

Comments: published in IEEE/ACM Transactions on Networking, reposted here to meet archival requirements of grant agencies 15 pages, 7 figures. arXiv admin note: substantial text overlap with arXiv:1705.04042

MCQUIC -- A Multicast Extension for QUIC

Authors: Max Franke, Jake Holland, Stefan Schmid

Abstract: Mass live content, such as world cups, the Superbowl or the Olympics, attract audiences of hundreds of millions of viewers. While such events were predominantly consumed on TV, more and more viewers follow big events on the Internet, which poses a scalability challenge: current unicast delivery over the web comes with large overheads and is inefficient. An attractive alternative are multicast-base… ▽ More Mass live content, such as world cups, the Superbowl or the Olympics, attract audiences of hundreds of millions of viewers. While such events were predominantly consumed on TV, more and more viewers follow big events on the Internet, which poses a scalability challenge: current unicast delivery over the web comes with large overheads and is inefficient. An attractive alternative are multicast-based transmissions, however, current solutions have several drawbacks, mostly related to security and privacy, which prevent them from being implemented in browsers. In this paper we introduce a multicast extension to QUIC, a widely popular transport protocol standardized by the IETF, that solves several of these problems. It enables multicast delivery by offering encryption as well as integrity verification of packets distributed over multicast and automatic unicast fallback, which solves one of multicasts major obstacles to large scale deployment. It is transparent to applications and can be easily utilized by simply enabling an option in QUIC. This extension is soley focused on the transport layer and uses already existing multicast mechanisms on the network layer. △ Less

Submitted 30 June, 2023; originally announced June 2023.

Photothermal Microscopy & Spectroscopy with Nanomechanical Resonators

Authors: Robert G. West, Kostas Kanellopulos, Silvan Schmid

Abstract: In nanomechanical photothermal absorption spectroscopy and microscopy, the measured substance becomes a part of the detection system itself, inducing a nanomechanical resonance frequency shift upon thermal relaxation. Suspended, nanometer-thin ceramic or 2D material resonators are innately highly-sensitive thermal detectors of localized heat exchanges from substances on their surface or integrated… ▽ More In nanomechanical photothermal absorption spectroscopy and microscopy, the measured substance becomes a part of the detection system itself, inducing a nanomechanical resonance frequency shift upon thermal relaxation. Suspended, nanometer-thin ceramic or 2D material resonators are innately highly-sensitive thermal detectors of localized heat exchanges from substances on their surface or integrated into the resonator itself. Consequently, the combined nanoresonator-analyte system is a self-measuring spectrometer and microscope: responding to a substances transfer of heat over the entire spectrum for which it absorbs, according to the intensity it experiences. Limited by their own thermostatistical fluctuation phenomena, nanoresonators have demonstrated sufficient sensitivity for measuring trace analyte as well as single particles and molecules with incoherent light or focused and unfocused coherent light. They are versatile in their design, support various sampling methods and hyphenation with other spectroscopic methods, and are capable in a wide range of applications including fingerprinting, separation science, and surface sciences. △ Less

Submitted 29 June, 2023; v1 submitted 28 June, 2023; originally announced June 2023.

Comments: perspective article, 23 pages with references, 7 figures

Dynamic Probabilistic Reliable Broadcast

Authors: Veronika Anikina, João Paulo Bezerra, Petr Kuznetsov, Liron Schiff, Stefan Schmid

Abstract: Byzantine reliable broadcast is a primitive that allows a set of processes to agree on a message broadcast by a dedicated source process, even when some of them are malicious (Byzantine). It guarantees that no two correct processes deliver different messages, and if a message is delivered by a correct process, every correct process eventually delivers one. The primitive is known not to scale, as i… ▽ More Byzantine reliable broadcast is a primitive that allows a set of processes to agree on a message broadcast by a dedicated source process, even when some of them are malicious (Byzantine). It guarantees that no two correct processes deliver different messages, and if a message is delivered by a correct process, every correct process eventually delivers one. The primitive is known not to scale, as it requires $Ω(n^2)$ message exchanges, where $n$ is the number of system members. The quadratic cost can be explained by the inherent need for every process to relay a message to every other process. In this paper, we explore ways to overcome this limitation, by casting the problem to the probabilistic setting. We propose a solution in which every broadcast message is validated by a small set of witnesses, which allows us to maintain low latency and small communication complexity. In order to tolerate a slow adaptive adversary, we dynamically select witnesses through a novel use of locality-preserving hash functions. Our simulations demonstrate significant scalability gains of our solution with respect to existing protocols. △ Less

Submitted 7 June, 2023; originally announced June 2023.

Nanomechanical Photothermal Near Infrared Spectromicroscopy of Individual Nanorods

Authors: Kostas Kanellopulos, Robert G. West, Silvan Schmid

Abstract: Understanding light-matter interaction at the nanoscale requires probing the optical properties of matter at the individual nano-absorber level. To this end, we have developed a nanomechanical photothermal sensing platform that can be used as a full spectromicroscopy tool for single molecule and single particle analysis. As a demonstration, the absorption cross-section of individual gold nanorods… ▽ More Understanding light-matter interaction at the nanoscale requires probing the optical properties of matter at the individual nano-absorber level. To this end, we have developed a nanomechanical photothermal sensing platform that can be used as a full spectromicroscopy tool for single molecule and single particle analysis. As a demonstration, the absorption cross-section of individual gold nanorods is resolved from the spectroscopic and polarization standpoint. By exploiting the capabilities of nanomechanical photothermal spectromicroscopy, the longitudinal localized surface plasmon resonance (LSPR) in the NIR range is unravelled and quantitatively characterized. The polarization features of the transversal surface plasmon resonance (TSPR) in the VIS range are also analyzed. The measurements are compared with the finite element method (FEM), elucidating the role played by electron-surface and bulk scattering in these plasmonic nanostructures, as well as the interaction between the nano-absorber and the nanoresonator, ultimately resulting in absorption strength modulation. Finally, a comprehensive comparison is conducted, evaluating the signal-to-noise ratio of nanomechanical photothermal spectromicroscopy against other cutting-edge single molecule and particle spectroscopy techniques. This analysis highlights the remarkable potential of nanomechanical photothermal spectromicroscopy due to its exceptional sensitivity. △ Less

Submitted 5 July, 2023; v1 submitted 9 May, 2023; originally announced May 2023.

A Subquadratic Bound for Online Bisection

Authors: Marcin Bienkowski, Stefan Schmid

Abstract: The online bisection problem is a natural dynamic variant of the classic optimization problem, where one has to dynamically maintain a partition of $n$ elements into two clusters of cardinality $n/2$. During runtime, an online algorithm is given a sequence of requests, each being a pair of elements: an inter-cluster request costs one unit while an intra-cluster one is free. The algorithm may chang… ▽ More The online bisection problem is a natural dynamic variant of the classic optimization problem, where one has to dynamically maintain a partition of $n$ elements into two clusters of cardinality $n/2$. During runtime, an online algorithm is given a sequence of requests, each being a pair of elements: an inter-cluster request costs one unit while an intra-cluster one is free. The algorithm may change the partition, paying a unit cost for each element that changes its cluster. This natural problem admits a simple deterministic $O(n^2)$-competitive algorithm [Avin et al., DISC 2016]. While several significant improvements over this result have been obtained since the original work, all of them either limit the generality of the input or assume some form of resource augmentation (e.g., larger clusters). Moreover, the algorithm of Avin et al. achieves the best known competitive ratio even if randomization is allowed. In this paper, we present the first randomized online algorithm that breaks this natural quadratic barrier and achieves a competitive ratio of $\tilde{O}(n^{23/12})$ without resource augmentation and for an arbitrary sequence of requests. △ Less

Submitted 15 March, 2024; v1 submitted 2 May, 2023; originally announced May 2023.

Comments: Published in STACS 2024

Resonance frequency tracking schemes for micro- and nanomechanical resonators

Authors: Hajrudin Bešić, Alper Demir, Johannes Steurer, Niklas Luhmann, Silvan Schmid

Abstract: Nanomechanical resonators can serve as high performance detectors and have potential to be widely used in the industry for a variety of applications. Most nanomechanical sensing applications rely on detecting changes of resonance frequency. In commonly used frequency tracking schemes, the resonator is driven at or close to its resonance frequency. Closed-loop systems can continually check whether… ▽ More Nanomechanical resonators can serve as high performance detectors and have potential to be widely used in the industry for a variety of applications. Most nanomechanical sensing applications rely on detecting changes of resonance frequency. In commonly used frequency tracking schemes, the resonator is driven at or close to its resonance frequency. Closed-loop systems can continually check whether the resonator is at resonance and accordingly adjust the frequency of the driving signal. In this work, we study three resonance frequency tracking schemes, a feedback-free (FF), a self-sustaining oscillator (SSO), and a phase-locked loop oscillator (PLLO) scheme. We improve and extend the theoretical models for the FF and the SSO tracking schemes, and test the models experimentally with a nanoelectromechanical system (NEMS) resonator. We employ a SSO architecture with a pulsed positive feedback topology and compare it to the commonly used PLLO and FF schemes. We show that all tracking schemes are theoretically equivalent and that they all are subject to the same speed versus accuracy trade-off characteristics. In order to verify the theoretical models, we present experimental steady-state measurements for all tracking schemes. Frequency stability is characterized by computing the Allan deviation. We obtain almost perfect correspondence between the theoretical models and the experimental measurements. These results show that the choice of the tracking scheme is dictated by cost, robustness and usability in practice as opposed to fundamental theoretical differences in performance. △ Less

Submitted 20 September, 2023; v1 submitted 24 April, 2023; originally announced April 2023.

Polylog-Competitive Algorithms for Dynamic Balanced Graph Partitioning for Ring Demands

Authors: Harald Räcke, Stefan Schmid, Ruslan Zabrodin

Abstract: The performance of many large-scale and data-intensive distributed systems critically depends on the capacity of the interconnecting network. This paper is motivated by the vision of self-adjusting infrastructures whose resources can be adjusted according to the workload they currently serve, in a demand-aware manner. Such dynamic adjustments can be exploited to improve network utilization and hen… ▽ More The performance of many large-scale and data-intensive distributed systems critically depends on the capacity of the interconnecting network. This paper is motivated by the vision of self-adjusting infrastructures whose resources can be adjusted according to the workload they currently serve, in a demand-aware manner. Such dynamic adjustments can be exploited to improve network utilization and hence performance, by dynamically moving frequently interacting communication partners closer, e.g., collocating them in the same server or datacenter rack. In particular, we revisit the online balanced graph partitioning problem which captures the fundamental tradeoff between the benefits and costs of dynamically collocating communication partners. The demand is modelled as a sequence $σ$ (revealed in an online manner) of communication requests between $n$ processes, each of which is running on one of the $\ell$ servers. Each server has capacity $k=n/\ell$, hence, the processes have to be scheduled in a balanced manner across the servers. A request incurs cost $1$, if the requested processes are located on different servers, otherwise the cost is 0. A process can be migrated to a different server at cost $1$. This paper presents the first online algorithm for online balanced graph partitioning achieving a polylogarithmic competitive ratio for the fundamental case of ring communication patterns. Specifically, our main contribution is a $O(\log^3 n)$-competitive randomized online algorithm for this problem. We further present a randomized online algorithm which is $O(\log^2 n)$-competitive when compared to a static optimal solution. Our two results rely on different algorithms and techniques and hence are of independent interest. △ Less

Submitted 20 April, 2023; originally announced April 2023.

Topological Characterization of Consensus Solvability in Directed Dynamic Networks

Authors: Hugo Rincon Galeana, Ulrich Schmid, Kyrill Winkler, Ami Paz, Stefan Schmid

Abstract: Consensus is one of the most fundamental problems in distributed computing. This paper studies the consensus problem in a synchronous dynamic directed network, in which communication is controlled by an oblivious message adversary. The question when consensus is possible in this model has already been studied thoroughly in the literature from a combinatorial perspective, and is known to be challen… ▽ More Consensus is one of the most fundamental problems in distributed computing. This paper studies the consensus problem in a synchronous dynamic directed network, in which communication is controlled by an oblivious message adversary. The question when consensus is possible in this model has already been studied thoroughly in the literature from a combinatorial perspective, and is known to be challenging. This paper presents a topological perspective on consensus solvability under oblivious message adversaries, which provides interesting new insights. Our main contribution is a topological characterization of consensus solvability, which also leads to explicit decision procedures. Our approach is based on the novel notion of a communication pseudosphere, which can be seen as the message-passing analog of the well-known standard chromatic subdivision for wait-free shared memory systems. We further push the elegance and expressiveness of the "geometric" reasoning enabled by the topological approach by dealing with uninterpreted complexes, which considerably reduce the size of the protocol complex, and by labeling facets with information flow arrows, which give an intuitive meaning to the implicit epistemic status of the faces in a protocol complex. △ Less

Submitted 5 April, 2023; originally announced April 2023.

MSC Class: C.2.4; G.2.2

Towards practical mass spectrometry with nanomechanical pillar resonators by surface acoustic wave transduction

Authors: Hendrik Kähler, Robert Winkler, Holger Arthaber, Harald Plank, Silvan Schmid

Abstract: Nanoelectromechanical systems (NEMS) have proven outstanding performance in the detection of small masses down to single proton sensitivity. To obtain a high enough throughput for the application in practical mass spectrometry, NEMS resonators have to be arranged in two-dimensional (2D) arrays. However, all state-of-the-art electromechanical transduction methods rely on electrical lines placed clo… ▽ More Nanoelectromechanical systems (NEMS) have proven outstanding performance in the detection of small masses down to single proton sensitivity. To obtain a high enough throughput for the application in practical mass spectrometry, NEMS resonators have to be arranged in two-dimensional (2D) arrays. However, all state-of-the-art electromechanical transduction methods rely on electrical lines placed close to the mechanical resonators, which drastically restricts the density of 2D resonator arrays. An exception is the transduction by surface acoustic waves (SAWs), which has so far only been shown for the transduction of single nanomechanical pillar resonators. Here, we demonstrate the transduction of pillar pairs by surface acoustic waves. The pillars have a diameter of 700 nm and show a mass responsivity of -588$\pm$98 ng$^{-1}$. The distances between the pillar pairs are 70 nm and 14.3 $μ$m. SAW transduction enabled us to measure both pillars of each pair with electrical lines no closer than 300 $μ$m, illustrating the potential of SAWs to transduce dense arrays of pillar resonators, a crucial step towards practical mass spectrometry with NEMS. △ Less

Submitted 12 March, 2023; originally announced March 2023.

Comments: 6 pages, 4 figures

Toward Self-Adjusting k-ary Search Tree Networks

Authors: Evgenii Feder, Anton Paramonov, Pavel Mavrin, Iosif Salem, Stefan Schmid, Vitaly Aksenov

Abstract: Datacenter networks are becoming increasingly flexible with the incorporation of new networking technologies, such as optical circuit switches. These technologies allow for programmable network topologies that can be reconfigured to better serve network traffic, thus enabling a trade-off between the benefits (i.e., shorter routes) and costs of reconfigurations (i.e., overhead). Self-Adjusting Netw… ▽ More Datacenter networks are becoming increasingly flexible with the incorporation of new networking technologies, such as optical circuit switches. These technologies allow for programmable network topologies that can be reconfigured to better serve network traffic, thus enabling a trade-off between the benefits (i.e., shorter routes) and costs of reconfigurations (i.e., overhead). Self-Adjusting Networks (SANs) aim at addressing this trade-off by exploiting patterns in network traffic, both when it is revealed piecewise (online dynamic topologies) or known in advance (offline static topologies). In this paper, we take the first steps toward Self-Adjusting k-ary tree networks. These are more powerful generalizations of existing binary search tree networks (like SplayNets), which have been at the core of SAN designs. k-ary search tree networks are a natural generalization offering nodes of higher degrees, reduced route lengths for a fixed number of nodes, and local routing in spite of reconfigurations. We first compute an offline (optimal) static network for arbitrary traffic patterns in $O(n^3 \cdot k)$ time via dynamic programming, and also improve the bound to $O(n^2 \cdot k)$ for the special case of uniformly distributed traffic. Then, we present a centroid-based topology of the network that can be used both in the offline static and the online setting. In the offline uniform-workload case, we construct this quasi-optimal network in linear time $O(n)$ and, finally, we present online self-adjusting k-ary search tree versions of SplayNet. We evaluate experimentally our new structure for $k=2$ (allowing for a comparison with existing SplayNets) on real and synthetic network traces. Our results show that this approach works better than SplayNet in most of the real network traces and in average to low locality synthetic traces, and is only little inferior to SplayNet in all remaining traces. △ Less

Submitted 26 June, 2024; v1 submitted 25 February, 2023; originally announced February 2023.

Time Complexity of Broadcast and Consensus for Randomized Oblivious Message Adversaries

Authors: Antoine El-Hayek, Monika Henzinger, Stefan Schmid

Abstract: Broadcast and consensus are most fundamental tasks in distributed computing. These tasks are particularly challenging in dynamic networks where communication across the network links may be unreliable, e.g., due to mobility or failures. Indeed, over the last years, researchers have derived several impossibility results and high time complexity lower bounds (i.e., linear in the number of nodes $n$)… ▽ More Broadcast and consensus are most fundamental tasks in distributed computing. These tasks are particularly challenging in dynamic networks where communication across the network links may be unreliable, e.g., due to mobility or failures. Indeed, over the last years, researchers have derived several impossibility results and high time complexity lower bounds (i.e., linear in the number of nodes $n$) for these tasks, even for oblivious message adversaries where communication networks are rooted trees. However, such deterministic adversarial models may be overly conservative, as many processes in real-world settings are stochastic in nature rather than worst case. This paper initiates the study of broadcast and consensus on stochastic dynamic networks, introducing a randomized oblivious message adversary. Our model is reminiscent of the SI model in epidemics, however, revolving around trees (which renders the analysis harder due to the apparent lack of independence). In particular, we show that if information dissemination occurs along random rooted trees, broadcast and consensus complete fast with high probability, namely in logarithmic time. Our analysis proves the independence of a key variable, which enables a formal understanding of the dissemination process. More formally, for a network with $n$ nodes, we first consider the completely random case where in each round the communication network is chosen uniformly at random among rooted trees. We then introduce the notion of randomized oblivious message adversary, where in each round, an adversary can choose $k$ edges to appear in the communication network, and then a rooted tree is chosen uniformly at random among the set of all rooted trees that include these edges. We show that broadcast completes in $O(k+\log n)$ rounds, and that this it is also the case for consensus as long as $k \le 0.1n$. △ Less

Submitted 23 February, 2023; originally announced February 2023.

Comments: 24 pages + 13 pages of appendix

Online Algorithms with Randomly Infused Advice

Authors: Yuval Emek, Yuval Gil, Maciej Pacut, Stefan Schmid

Abstract: We introduce a novel method for the rigorous quantitative evaluation of online algorithms that relaxes the "radical worst-case" perspective of classic competitive analysis. In contrast to prior work, our method, referred to as randomly infused advice (RIA), does not make any probabilistic assumptions about the input sequence and does not rely on the development of designated online algorithms. Rat… ▽ More We introduce a novel method for the rigorous quantitative evaluation of online algorithms that relaxes the "radical worst-case" perspective of classic competitive analysis. In contrast to prior work, our method, referred to as randomly infused advice (RIA), does not make any probabilistic assumptions about the input sequence and does not rely on the development of designated online algorithms. Rather, it can be applied to existing online randomized algorithms, introducing a means to evaluate their performance in scenarios that lie outside the radical worst-case regime. More concretely, an online algorithm ALG with RIA benefits from pieces of advice generated by an omniscient but not entirely reliable oracle. The crux of the new method is that the advice is provided to ALG by writing it into the buffer B from which ALG normally reads its random bits, hence allowing us to augment it through a very simple and non-intrusive interface. The (un)reliability of the oracle is captured via a parameter 0 {\le} α {\le} 1 that determines the probability (per round) that the advice is successfully infused by the oracle; if the advice is not infused, which occurs with probability 1 - α, then the buffer B contains fresh random bits (as in the classic online setting). The applicability of the new RIA method is demonstrated by applying it to three extensively studied online problems: paging, uniform metrical task systems, and online set cover. For these problems, we establish new upper bounds on the competitive ratio of classic online algorithms that improve as the infusion parameter α increases. These are complemented with (often tight) lower bounds on the competitive ratio of online algorithms with RIA for the three problems. △ Less

Submitted 5 August, 2023; v1 submitted 10 February, 2023; originally announced February 2023.

Comments: Appeared at ESA 2023

Performance Analysis of Machine Learning Centered Workload Prediction Models for Cloud

Authors: Deepika Saxena, Jitendra Kumar, Ashutosh Kumar Singh, Stefan Schmid

Abstract: The precise estimation of resource usage is a complex and challenging issue due to the high variability and dimensionality of heterogeneous service types and dynamic workloads. Over the last few years, the prediction of resource usage and traffic has received ample attention from the research community. Many machine learning-based workload forecasting models have been developed by exploiting their… ▽ More The precise estimation of resource usage is a complex and challenging issue due to the high variability and dimensionality of heterogeneous service types and dynamic workloads. Over the last few years, the prediction of resource usage and traffic has received ample attention from the research community. Many machine learning-based workload forecasting models have been developed by exploiting their computational power and learning capabilities. This paper presents the first systematic survey cum performance analysis-based comparative study of diversified machine learning-driven cloud workload prediction models. The discussion initiates with the significance of predictive resource management followed by a schematic description, operational design, motivation, and challenges concerning these workload prediction models. Classification and taxonomy of different prediction approaches into five distinct categories are presented focusing on the theoretical concepts and mathematical functioning of the existing state-of-the-art workload prediction methods. The most prominent prediction approaches belonging to a distinct class of machine learning models are thoroughly surveyed and compared. All five classified machine learning-based workload prediction models are implemented on a common platform for systematic investigation and comparison using three distinct benchmark cloud workload traces via experimental analysis. The essential key performance indicators of state-of-the-art approaches are evaluated for comparison and the paper is concluded by discussing the trade-offs and notable remarks. △ Less

Submitted 5 February, 2023; originally announced February 2023.

Nanomechanical absorption spectroscopy of 2D materials with femtowatt sensitivity

Authors: Jan N. Kirchhof, Yuefeng Yu, Denis Yagodkin, Nele Stetzuhn, Daniel B. de Araújo, Kostas Kanellopulos, Samuel Manas-Valero, Eugenio Coronado, Herre van der Zant, Stephanie Reich, Silvan Schmid, Kirill I. Bolotin

Abstract: Nanomechanical spectroscopy (NMS) is a recently developed approach to determine optical absorption spectra of nanoscale materials via mechanical measurements. It is based on measuring changes in the resonance frequency of a membrane resonator vs. the photon energy of incoming light. This method is a direct measurement of absorption, which has practical advantages compared to common optical spectro… ▽ More Nanomechanical spectroscopy (NMS) is a recently developed approach to determine optical absorption spectra of nanoscale materials via mechanical measurements. It is based on measuring changes in the resonance frequency of a membrane resonator vs. the photon energy of incoming light. This method is a direct measurement of absorption, which has practical advantages compared to common optical spectroscopy approaches. In the case of two-dimensional (2D) materials, NMS overcomes limitations inherent to conventional optical methods, such as the complications associated with measurements at high magnetic fields and low temperatures. In this work, we develop a protocol for NMS of 2D materials that yields two orders of magnitude improved sensitivity compared to previous approaches, while being simpler to use. To this end, we use electrical sample actuation, which simplifies the experiment and provides a reliable calibration for greater accuracy. Additionally, the use of low-stress silicon nitride membranes as our substrate reduces the noise-equivalent power to $NEP = 890 fW/\sqrt{Hz}$, comparable to commercial semiconductor photodetectors. We use our approach to spectroscopically characterize a two-dimensional transition metal dichalcogenide (WS$_2$), a layered magnetic semiconductor (CrPS$_4$), and a plasmonic supercrystal consisting of gold nanoparticles. △ Less

Submitted 28 January, 2023; originally announced January 2023.

Dynamic Demand-Aware Link Scheduling for Reconfigurable Datacenters

Authors: Kathrin Hanauer, Monika Henzinger, Lara Ost, Stefan Schmid

Abstract: Emerging reconfigurable datacenters allow to dynamically adjust the network topology in a demand-aware manner. These datacenters rely on optical switches which can be reconfigured to provide direct connectivity between racks, in the form of edge-disjoint matchings. While state-of-the-art optical switches in principle support microsecond reconfigurations, the demand-aware topology optimization cons… ▽ More Emerging reconfigurable datacenters allow to dynamically adjust the network topology in a demand-aware manner. These datacenters rely on optical switches which can be reconfigured to provide direct connectivity between racks, in the form of edge-disjoint matchings. While state-of-the-art optical switches in principle support microsecond reconfigurations, the demand-aware topology optimization constitutes a bottleneck. This paper proposes a dynamic algorithms approach to improve the performance of reconfigurable datacenter networks, by supporting faster reactions to changes in the traffic demand. This approach leverages the temporal locality of traffic patterns in order to update the interconnecting matchings incrementally, rather than recomputing them from scratch. In particular, we present six (batch-)dynamic algorithms and compare them to static ones. We conduct an extensive empirical evaluation on 176 synthetic and 39 real-world traces, and find that dynamic algorithms can both significantly improve the running time and reduce the number of changes to the configuration, especially in networks with high temporal locality, while retaining matching weight. △ Less

Submitted 13 January, 2023; originally announced January 2023.

Comments: 10 pages. To appear at INFOCOM 2023

SeedTree: A Dynamically Optimal and Local Self-Adjusting Tree

Authors: Arash Pourdamghani, Chen Avin, Robert Sama, Stefan Schmid

Abstract: We consider the fundamental problem of designing a self-adjusting tree, which efficiently and locally adapts itself towards the demand it serves (namely accesses to the items stored by the tree nodes), striking a balance between the benefits of such adjustments (enabling faster access) and their costs (reconfigurations). This problem finds applications, among others, in the context of emerging dem… ▽ More We consider the fundamental problem of designing a self-adjusting tree, which efficiently and locally adapts itself towards the demand it serves (namely accesses to the items stored by the tree nodes), striking a balance between the benefits of such adjustments (enabling faster access) and their costs (reconfigurations). This problem finds applications, among others, in the context of emerging demand-aware and reconfigurable datacenter networks and features connections to self-adjusting data structures. Our main contribution is SeedTree, a dynamically optimal self-adjusting tree which supports local (i.e., greedy) routing, which is particularly attractive under highly dynamic demands. SeedTree relies on an innovative approach which defines a set of unique paths based on randomized item addresses, and uses a small constant number of items per node. We complement our analytical results by showing the benefits of SeedTree empirically, evaluating it on various synthetic and real-world communication traces. △ Less

Submitted 8 January, 2023; originally announced January 2023.

Comments: 10 pages

Dynamic Maintenance of Monotone Dynamic Programs and Applications

Authors: Monika Henzinger, Stefan Neumann, Harald Räcke, Stefan Schmid

Abstract: Dynamic programming (DP) is one of the fundamental paradigms in algorithm design. However, many DP algorithms have to fill in large DP tables, represented by two-dimensional arrays, which causes at least quadratic running times and space usages. This has led to the development of improved algorithms for special cases when the DPs satisfy additional properties like, e.g., the Monge property or tota… ▽ More Dynamic programming (DP) is one of the fundamental paradigms in algorithm design. However, many DP algorithms have to fill in large DP tables, represented by two-dimensional arrays, which causes at least quadratic running times and space usages. This has led to the development of improved algorithms for special cases when the DPs satisfy additional properties like, e.g., the Monge property or total monotonicity. In this paper, we consider a new condition which assumes (among some other technical assumptions) that the rows of the DP table are monotone. Under this assumption, we introduce a novel data structure for computing $(1+\varepsilon)$-approximate DP solutions in near-linear time and space in the static setting, and with polylogarithmic update times when the DP entries change dynamically. To the best of our knowledge, our new condition is incomparable to previous conditions and is the first which allows to derive dynamic algorithms based on existing DPs. Instead of using two-dimensional arrays to store the DP tables, we store the rows of the DP tables using monotone piecewise constant functions. This allows us to store length-$n$ DP table rows with entries in $[0,W]$ using only polylog$(n,W)$ bits, and to perform operations, such as $(\min,+)$-convolution or rounding, on these functions in polylogarithmic time. We further present several applications of our data structure. For bicriteria versions of $k$-balanced graph partitioning and simultaneous source location, we obtain the first dynamic algorithms with subpolynomial update times, as well as the first static algorithms using only near-linear time and space. Additionally, we obtain the currently fastest algorithm for fully dynamic knapsack. △ Less

Submitted 4 January, 2023; originally announced January 2023.

Comments: Abstract shortened to comply with arxiv formatting rules. To appear at STACS'23

Relation-based Motion Prediction using Traffic Scene Graphs

Authors: Maximilian Zipfl, Felix Hertlein, Achim Rettinger, Steffen Thoma, Lavdim Halilaj, Juergen Luettin, Stefan Schmid, Cory Henson

Abstract: Representing relevant information of a traffic scene and understanding its environment is crucial for the success of autonomous driving. Modeling the surrounding of an autonomous car using semantic relations, i.e., how different traffic participants relate in the context of traffic rule based behaviors, is hardly been considered in previous work. This stems from the fact that these relations are h… ▽ More Representing relevant information of a traffic scene and understanding its environment is crucial for the success of autonomous driving. Modeling the surrounding of an autonomous car using semantic relations, i.e., how different traffic participants relate in the context of traffic rule based behaviors, is hardly been considered in previous work. This stems from the fact that these relations are hard to extract from real-world traffic scenes. In this work, we model traffic scenes in a form of spatial semantic scene graphs for various different predictions about the traffic participants, e.g., acceleration and deceleration. Our learning and inference approach uses Graph Neural Networks (GNNs) and shows that incorporating explicit information about the spatial semantic relations between traffic participants improves the predicdtion results. Specifically, the acceleration prediction of traffic participants is improved by up to 12% compared to the baselines, which do not exploit this explicit information. Furthermore, by including additional information about previous scenes, we achieve 73% improvements. △ Less

Submitted 24 November, 2022; originally announced December 2022.

Brief Announcement: Broadcasting Time in Dynamic Rooted Trees is Linear

Authors: Antoine El-Hayek, Monika Henzinger, Stefan Schmid

Abstract: We study the broadcast problem on dynamic networks with $n$ processes. The processes communicate in synchronous rounds along an arbitrary rooted tree. The sequence of trees is given by an adversary whose goal is to maximize the number of rounds until at least one process reaches all other processes. Previous research has shown a $\lceil{\frac{3n-1}{2}}\rceil-2$ lower bound and an $O(n\log\log n)$… ▽ More We study the broadcast problem on dynamic networks with $n$ processes. The processes communicate in synchronous rounds along an arbitrary rooted tree. The sequence of trees is given by an adversary whose goal is to maximize the number of rounds until at least one process reaches all other processes. Previous research has shown a $\lceil{\frac{3n-1}{2}}\rceil-2$ lower bound and an $O(n\log\log n)$ upper bound. We show the first linear upper bound for this problem, namely $\lceil{(1 + \sqrt 2) n-1}\rceil \approx 2.4n$. Our result follows from a detailed analysis of the evolution of the adjacency matrix of the network over time. △ Less

Submitted 30 January, 2023; v1 submitted 21 November, 2022; originally announced November 2022.

Comments: 5 pages, 1 figure, published in PODC'22, further work: arXiv:2211.10151

Asymptotically Tight Bounds on the Time Complexity of Broadcast and its Variants in Dynamic Networks

Authors: Antoine El-Hayek, Monika Henzinger, Stefan Schmid

Abstract: Data dissemination is a fundamental task in distributed computing. This paper studies broadcast problems in various innovative models where the communication network connecting $n$ processes is dynamic (e.g., due to mobility or failures) and controlled by an adversary. In the first model, the processes transitively communicate their ids in synchronous rounds along a rooted tree given in each rou… ▽ More Data dissemination is a fundamental task in distributed computing. This paper studies broadcast problems in various innovative models where the communication network connecting $n$ processes is dynamic (e.g., due to mobility or failures) and controlled by an adversary. In the first model, the processes transitively communicate their ids in synchronous rounds along a rooted tree given in each round by the adversary whose goal is to maximize the number of rounds until at least one id is known by all processes. Previous research has shown a $\lceil{\frac{3n-1}{2}}\rceil-2$ lower bound and an $O(n\log\log n)$ upper bound. We show the first linear upper bound for this problem, namely $\lceil{(1 + \sqrt 2) n-1}\rceil \approx 2.4n$. We extend these results to the setting where the adversary gives in each round $k$-disjoint forests and their goal is to maximize the number of rounds until there is a set of $k$ ids such that each process knows of at least one of them. We give a $\left\lceil{\frac{3(n-k)}{2}}\right\rceil-1$ lower bound and a $\frac{π^2+6}{6}n+1 \approx 2.6n$ upper bound for this problem. Finally, we study the setting where the adversary gives in each round a directed graph with $k$ roots and their goal is to maximize the number of rounds until there exist $k$ ids that are known by all processes. We give a $\left\lceil{\frac{3(n-3k)}{2}}\right\rceil+2$ lower bound and a $\lceil { (1+\sqrt{2})n}\rceil+k-1 \approx 2.4n+k$ upper bound for this problem. For the two latter problems no upper or lower bounds were previously known. △ Less

Submitted 27 January, 2023; v1 submitted 18 November, 2022; originally announced November 2022.

Comments: 25 pages, 8 figures, to be published in ITCS'23

Chopin: Combining Distributed and Centralized Schedulers for Self-Adjusting Datacenter Networks

Authors: Neta Rozen Schiff, Klaus-Tycho Foerster, Stefan Schmid, David Hay

Abstract: The performance of distributed and data-centric applications often critically depends on the interconnecting network. Emerging reconfigurable datacenter networks (RDCNs) are a particularly innovative approach to improve datacenter throughput. Relying on a dynamic optical topology which can be adjusted towards the workload in a demand-aware manner, RDCNs allow to exploit temporal and spatial locali… ▽ More The performance of distributed and data-centric applications often critically depends on the interconnecting network. Emerging reconfigurable datacenter networks (RDCNs) are a particularly innovative approach to improve datacenter throughput. Relying on a dynamic optical topology which can be adjusted towards the workload in a demand-aware manner, RDCNs allow to exploit temporal and spatial locality in the communication pattern, and to provide topological shortcuts for frequently communicating racks. The key challenge, however, concerns how to realize demand-awareness in RDCNs in a scalable fashion. This paper presents and evaluates Chopin, a hybrid scheduler for self-adjusting networks that provides demand-awareness at low overhead, by combining centralized and distributed approaches. Chopin allocates optical circuits to elephant flows, through its slower centralized scheduler, utilizing global information. Chopin's distributed scheduler is orders of magnitude faster and can swiftly react to changes in the traffic and adjust the optical circuits accordingly, by using only local information and running at each rack separately. △ Less

Submitted 11 November, 2022; originally announced November 2022.

Comments: To appear at OPODIS 2022