Showing 1–50 of 146 results for author: Baumann, D

Safe reinforcement learning in uncertain contexts

Authors: Dominik Baumann, Thomas B. Schön

Abstract: When deploying machine learning algorithms in the real world, guaranteeing safety is an essential asset. Existing safe learning approaches typically consider continuous variables, i.e., regression tasks. However, in practice, robotic systems are also subject to discrete, external environmental changes, e.g., having to carry objects of certain weights or operating on frozen, wet, or dry surfaces. S… ▽ More When deploying machine learning algorithms in the real world, guaranteeing safety is an essential asset. Existing safe learning approaches typically consider continuous variables, i.e., regression tasks. However, in practice, robotic systems are also subject to discrete, external environmental changes, e.g., having to carry objects of certain weights or operating on frozen, wet, or dry surfaces. Such influences can be modeled as discrete context variables. In the existing literature, such contexts are, if considered, mostly assumed to be known. In this work, we drop this assumption and show how we can perform safe learning when we cannot directly measure the context variables. To achieve this, we derive frequentist guarantees for multi-class classification, allowing us to estimate the current context from measurements. Further, we propose an approach for identifying contexts through experiments. We discuss under which conditions we can retain theoretical guarantees and demonstrate the applicability of our algorithm on a Furuta pendulum with camera measurements of different weights that serve as contexts. △ Less

Submitted 11 January, 2024; originally announced January 2024.

Comments: Accepted final version to appear in the IEEE Transactions on Robotics

Differential Equations for Cosmological Correlators

Authors: Nima Arkani-Hamed, Daniel Baumann, Aaron Hillman, Austin Joyce, Hayden Lee, Guilherme L. Pimentel

Abstract: Cosmological fluctuations retain a memory of the physics that generated them in their spatial correlations. The strength of correlations varies smoothly as a function of external kinematics, which is encoded in differential equations satisfied by cosmological correlation functions. In this work, we provide a broader perspective on the origin and structure of these differential equations. As a conc… ▽ More Cosmological fluctuations retain a memory of the physics that generated them in their spatial correlations. The strength of correlations varies smoothly as a function of external kinematics, which is encoded in differential equations satisfied by cosmological correlation functions. In this work, we provide a broader perspective on the origin and structure of these differential equations. As a concrete example, we study conformally coupled scalar fields in a power-law cosmology. The wavefunction coefficients in this model have integral representations, with the integrands being the product of the corresponding flat-space results and "twist factors" that depend on the cosmological evolution. These integrals are part of a finite-dimensional basis of master integrals, which satisfy a system of first-order differential equations. We develop a formalism to derive these differential equations for arbitrary tree graphs. The results can be represented in graphical form by associating the singularities of the differential equations with a set of graph tubings. Upon differentiation, these tubings grow in a local and predictive fashion. In fact, a few remarkably simple rules allow us to predict -- by hand -- the equations for all tree graphs. While the rules of this "kinematic flow" are defined purely in terms of data on the boundary of the spacetime, they reflect the physics of bulk time evolution. We also study the analogous structures in ${\rm tr}\,φ^3$ theory, and see some glimpses of hidden structure in the sum over planar graphs. This suggests that there is an autonomous combinatorial or geometric construction from which cosmological correlations, and the associated spacetime, emerge. △ Less

Submitted 3 July, 2024; v1 submitted 8 December, 2023; originally announced December 2023.

Comments: 135 pages, 9 figures and many diagrams; V2: minor corrections and references added

Kinematic Flow and the Emergence of Time

Authors: Nima Arkani-Hamed, Daniel Baumann, Aaron Hillman, Austin Joyce, Hayden Lee, Guilherme L. Pimentel

Abstract: Perhaps the most basic question we can ask about cosmological correlations is how their strength changes as we smoothly vary kinematic parameters. The answer is encoded in differential equations that govern this evolution in kinematic space. In this Letter, we introduce a new perspective on these differential equations. We show that, in the simplified setting of conformally coupled scalars in a ge… ▽ More Perhaps the most basic question we can ask about cosmological correlations is how their strength changes as we smoothly vary kinematic parameters. The answer is encoded in differential equations that govern this evolution in kinematic space. In this Letter, we introduce a new perspective on these differential equations. We show that, in the simplified setting of conformally coupled scalars in a general FRW spacetime, the equations for arbitrary tree-level processes can be obtained from a small number of simple combinatorial rules. While this "kinematic flow" is defined purely in terms of boundary data, it reflects the physics of bulk time evolution. The unexpected regularity of the equations suggests the existence of an autonomously defined mathematical structure from which cosmological correlations, and the time evolution of the associated spacetime, emerge. △ Less

Submitted 8 December, 2023; originally announced December 2023.

Comments: 8 pages

Non-ergodicity in reinforcement learning: robustness via ergodicity transformations

Authors: Dominik Baumann, Erfaun Noorani, James Price, Ole Peters, Colm Connaughton, Thomas B. Schön

Abstract: Envisioned application areas for reinforcement learning (RL) include autonomous driving, precision agriculture, and finance, which all require RL agents to make decisions in the real world. A significant challenge hindering the adoption of RL methods in these domains is the non-robustness of conventional algorithms. In this paper, we argue that a fundamental issue contributing to this lack of robu… ▽ More Envisioned application areas for reinforcement learning (RL) include autonomous driving, precision agriculture, and finance, which all require RL agents to make decisions in the real world. A significant challenge hindering the adoption of RL methods in these domains is the non-robustness of conventional algorithms. In this paper, we argue that a fundamental issue contributing to this lack of robustness lies in the focus on the expected value of the return as the sole ``correct'' optimization objective. The expected value is the average over the statistical ensemble of infinitely many trajectories. For non-ergodic returns, this average differs from the average over a single but infinitely long trajectory. Consequently, optimizing the expected value can lead to policies that yield exceptionally high returns with probability zero but almost surely result in catastrophic outcomes. This problem can be circumvented by transforming the time series of collected returns into one with ergodic increments. This transformation enables learning robust policies by optimizing the long-term return for individual agents rather than the average across infinitely many trajectories. We propose an algorithm for learning ergodicity transformations from data and demonstrate its effectiveness in an instructive, non-ergodic environment and on standard RL benchmarks. △ Less

Submitted 10 April, 2024; v1 submitted 17 October, 2023; originally announced October 2023.

Positivity from Cosmological Correlators

Authors: Daniel Green, Yiwen Huang, Chia-Hsien Shen, Daniel Baumann

Abstract: Effective field theories in flat space and in anti-de Sitter space are constrained by causality and unitarity, often in the form of positivity bounds. Similar bounds have been harder to demonstrate in cosmological backgrounds, where the roles of unitarity and causality are more obscure. Fortunately, the expansion of the universe ensures that late-time cosmological correlators are effectively class… ▽ More Effective field theories in flat space and in anti-de Sitter space are constrained by causality and unitarity, often in the form of positivity bounds. Similar bounds have been harder to demonstrate in cosmological backgrounds, where the roles of unitarity and causality are more obscure. Fortunately, the expansion of the universe ensures that late-time cosmological correlators are effectively classical and the role of unitarity is played by classical statistical inequalities. For multi-field inflation, the resulting positivity constraints have long been known in terms of the Suyama-Yamaguchi inequality. In this paper, we demonstrate that similar statistical bounds imply nontrivial constraints for massive fields in the early universe. We show that any real anomalous dimensions for principal series fields in de Sitter space must be positive. We also derive a limit on the amplitude of oscillatory signals from inflation, including those arising in cosmological collider physics. Finally, we demonstrate that these constraints manifest themselves directly in the two-point statistics of matter and galaxies that will be measured in upcoming surveys. △ Less

Submitted 21 October, 2023; v1 submitted 3 October, 2023; originally announced October 2023.

Comments: 36 pages; v2: Minor corrections

A computationally lightweight safe learning algorithm

Authors: Dominik Baumann, Krzysztof Kowalczyk, Koen Tiels, Paweł Wachel

Abstract: Safety is an essential asset when learning control policies for physical systems, as violating safety constraints during training can lead to expensive hardware damage. In response to this need, the field of safe learning has emerged with algorithms that can provide probabilistic safety guarantees without knowledge of the underlying system dynamics. Those algorithms often rely on Gaussian process… ▽ More Safety is an essential asset when learning control policies for physical systems, as violating safety constraints during training can lead to expensive hardware damage. In response to this need, the field of safe learning has emerged with algorithms that can provide probabilistic safety guarantees without knowledge of the underlying system dynamics. Those algorithms often rely on Gaussian process inference. Unfortunately, Gaussian process inference scales cubically with the number of data points, limiting applicability to high-dimensional and embedded systems. In this paper, we propose a safe learning algorithm that provides probabilistic safety guarantees but leverages the Nadaraya-Watson estimator instead of Gaussian processes. For the Nadaraya-Watson estimator, we can reach logarithmic scaling with the number of data points. We provide theoretical guarantees for the estimates, embed them into a safe learning algorithm, and show numerical experiments on a simulated seven-degrees-of-freedom robot manipulator. △ Less

Submitted 7 September, 2023; originally announced September 2023.

Comments: Accepted final version to appear in: Proc. of the IEEE Conference on Decision and Control

Video object detection for privacy-preserving patient monitoring in intensive care

Authors: Raphael Emberger, Jens Michael Boss, Daniel Baumann, Marko Seric, Shufan Huo, Lukas Tuggener, Emanuela Keller, Thilo Stadelmann

Abstract: Patient monitoring in intensive care units, although assisted by biosensors, needs continuous supervision of staff. To reduce the burden on staff members, IT infrastructures are built to record monitoring data and develop clinical decision support systems. These systems, however, are vulnerable to artifacts (e.g. muscle movement due to ongoing treatment), which are often indistinguishable from rea… ▽ More Patient monitoring in intensive care units, although assisted by biosensors, needs continuous supervision of staff. To reduce the burden on staff members, IT infrastructures are built to record monitoring data and develop clinical decision support systems. These systems, however, are vulnerable to artifacts (e.g. muscle movement due to ongoing treatment), which are often indistinguishable from real and potentially dangerous signals. Video recordings could facilitate the reliable classification of biosignals using object detection (OD) methods to find sources of unwanted artifacts. Due to privacy restrictions, only blurred videos can be stored, which severely impairs the possibility to detect clinically relevant events such as interventions or changes in patient status with standard OD methods. Hence, new kinds of approaches are necessary that exploit every kind of available information due to the reduced information content of blurred footage and that are at the same time easily implementable within the IT infrastructure of a normal hospital. In this paper, we propose a new method for exploiting information in the temporal succession of video frames. To be efficiently implementable using off-the-shelf object detectors that comply with given hardware constraints, we repurpose the image color channels to account for temporal consistency, leading to an improved detection rate of the object classes. Our method outperforms a standard YOLOv5 baseline model by +1.7% mAP@.5 while also training over ten times faster on our proprietary dataset. We conclude that this approach has shown effectiveness in the preliminary experiments and holds potential for more general video OD in the future. △ Less

Submitted 26 June, 2023; originally announced June 2023.

Comments: 4 pages, 3 figures, 2023 10th Swiss Conference on Data Science (SDS), code available at https://github.com/raember/yolov5r_autodidact and https://github.com/raember/VideoProc

ACM Class: I.2.10

Toward Multi-Agent Reinforcement Learning for Distributed Event-Triggered Control

Authors: Lukas Kesper, Sebastian Trimpe, Dominik Baumann

Abstract: Event-triggered communication and control provide high control performance in networked control systems without overloading the communication network. However, most approaches require precise mathematical models of the system dynamics, which may not always be available. Model-free learning of communication and control policies provides an alternative. Nevertheless, existing methods typically consi… ▽ More Event-triggered communication and control provide high control performance in networked control systems without overloading the communication network. However, most approaches require precise mathematical models of the system dynamics, which may not always be available. Model-free learning of communication and control policies provides an alternative. Nevertheless, existing methods typically consider single-agent settings. This paper proposes a model-free reinforcement learning algorithm that jointly learns resource-aware communication and control policies for distributed multi-agent systems from data. We evaluate the algorithm in a high-dimensional and nonlinear simulation example and discuss promising avenues for further research. △ Less

Submitted 15 May, 2023; originally announced May 2023.

Comments: Accepted final version to appear in Proc. of the Conference on Learning for Dynamics and Control, 2023

On the trade-off between event-based and periodic state estimation under bandwidth constraints

Authors: Dominik Baumann, Thomas B. Schön

Abstract: Event-based methods carefully select when to transmit information to enable high-performance control and estimation over resource-constrained communication networks. However, they come at a cost. For instance, event-based communication induces a higher computational load and increases the complexity of the scheduling problem. Thus, in some cases, allocating available slots to agents periodically i… ▽ More Event-based methods carefully select when to transmit information to enable high-performance control and estimation over resource-constrained communication networks. However, they come at a cost. For instance, event-based communication induces a higher computational load and increases the complexity of the scheduling problem. Thus, in some cases, allocating available slots to agents periodically in circular order may be superior. In this article, we discuss, for a specific example, when the additional complexity of event-based methods is beneficial. We evaluate our analysis in a synthetical example and on 20 simulated cart-pole systems. △ Less

Submitted 2 April, 2023; originally announced April 2023.

Comments: 6 pages

High-TC surface superconductivity in topological Weyl semimetal t-PtBi2

Authors: Sebastian Schimmel, Yanina Fasano, Sven Hoffmann, Joaquín Puig, Grigory Shipunov, Danny Baumann, Saicharan Aswartham, Bernd Büchner, Christian Hess

Abstract: Topological superconductivity is a very promising concept for generating fault tolerant qubits in quantum computation[1-3]. Early experimental achievements study hybrid systems[4-5] as well as doped intrinsic topological or superconducting materials[6-8]. These pioneering results concern either inconclusive phenomenology or very-low temperatures. In a very recent work intrinsic two-dimensional low… ▽ More Topological superconductivity is a very promising concept for generating fault tolerant qubits in quantum computation[1-3]. Early experimental achievements study hybrid systems[4-5] as well as doped intrinsic topological or superconducting materials[6-8]. These pioneering results concern either inconclusive phenomenology or very-low temperatures. In a very recent work intrinsic two-dimensional low-temperature superconductivity has been reported in the type-I Weyl semimetal trigonal PtBi2[9]. However, larger critical temperatures are indispensable for technological exploitation. Here we show that trigonal PtBi2 possesses high-temperature surface superconductivity. By means of scanning tunnelling spectroscopy, we reveal that the superconducting gap can be as large as 20 meV, suggesting a critical temperature in the 100 K range, like in cuprate high-temperature superconductors. To our knowledge, this is the largest superconducting gap that has been observed so far in a topological material. The superconducting state at 5 K persists up to Tesla-range applied fields and the upper critical field at this temperature is of roughly 12 Tesla. Our results therefore render trigonal PtBi2 a prime candidate for topological superconductivity at technologically relevant temperatures. △ Less

Submitted 17 February, 2023; originally announced February 2023.

Towards remote fault detection by analyzing communication priorities

Authors: Alexander Gräfe, Dominik Baumann, Sebastian Trimpe

Abstract: The ability to detect faults is an important safety feature for event-based multi-agent systems. In most existing algorithms, each agent tries to detect faults by checking its own behavior. But what if one agent becomes unable to recognize misbehavior, for example due to failure in its onboard fault detection? To improve resilience and avoid propagation of individual errors to the multi-agent syst… ▽ More The ability to detect faults is an important safety feature for event-based multi-agent systems. In most existing algorithms, each agent tries to detect faults by checking its own behavior. But what if one agent becomes unable to recognize misbehavior, for example due to failure in its onboard fault detection? To improve resilience and avoid propagation of individual errors to the multi-agent system, agents should check each other remotely for malfunction or misbehavior. In this paper, we build upon a recently proposed predictive triggering architecture that involves communication priorities shared throughout the network to manage limited bandwidth. We propose a fault detection method that uses these priorities to detect errors in other agents. The resulting algorithms is not only able to detect faults, but can also run on a low-power microcontroller in real-time, as we demonstrate in hardware experiments. △ Less

Submitted 30 September, 2022; originally announced September 2022.

Snowmass Theory Frontier: Astrophysics and Cosmology

Authors: Daniel Green, Joshua T. Ruderman, Benjamin R. Safdi, Jessie Shelton, Ana Achúcarro, Peter Adshead, Yashar Akrami, Masha Baryakhtar, Daniel Baumann, Asher Berlin, Nikita Blinov, Kimberly K. Boddy, Malte Buschmann, Giovanni Cabass, Robert Caldwell, Emanuele Castorina, Thomas Y. Chen, Xingang Chen, William Coulton, Djuna Croon, Yanou Cui, David Curtin, Francis-Yan Cyr-Racine, Christopher Dessert, Keith R. Dienes , et al. (62 additional authors not shown)

Abstract: We summarize progress made in theoretical astrophysics and cosmology over the past decade and areas of interest for the coming decade. This Report is prepared as the TF09 "Astrophysics and Cosmology" topical group summary for the Theory Frontier as part of the Snowmass 2021 process. We summarize progress made in theoretical astrophysics and cosmology over the past decade and areas of interest for the coming decade. This Report is prepared as the TF09 "Astrophysics and Cosmology" topical group summary for the Theory Frontier as part of the Snowmass 2021 process. △ Less

Submitted 14 September, 2022; originally announced September 2022.

Comments: 57 pages

Sharp Signals of Boson Clouds in Black Hole Binary Inspirals

Authors: Daniel Baumann, Gianfranco Bertone, John Stout, Giovanni Maria Tomaselli

Abstract: Gravitational waves (GWs) are an exciting new probe of physics beyond the standard models of gravity and particle physics. One interesting possibility is provided by the so-called "gravitational atom," wherein a superradiant instability spontaneously forms a cloud of ultralight bosons around a rotating black hole. The presence of these boson clouds affects the dynamics of black hole binary inspira… ▽ More Gravitational waves (GWs) are an exciting new probe of physics beyond the standard models of gravity and particle physics. One interesting possibility is provided by the so-called "gravitational atom," wherein a superradiant instability spontaneously forms a cloud of ultralight bosons around a rotating black hole. The presence of these boson clouds affects the dynamics of black hole binary inspirals and their associated GW signals. In this Letter, we show that the binary companion can induce transitions between bound and unbound states of the cloud, effectively "ionizing" it, analogous to the photoelectric effect in atomic physics. The orbital energy lost in this process can overwhelm the losses due to GW emission, so that ionization drives the inspiral rather than merely perturbing it. We show that the ionization power contains sharp features that lead to distinctive "kinks" in the evolution of the emitted GW frequency. These discontinuities are a unique signature of the boson cloud and observing them would not only constitute a detection of the ultralight boson itself, but also provide direct information about its mass and the state of the cloud. △ Less

Submitted 2 June, 2022; originally announced June 2022.

Comments: 6 pages, 4 figures

Journal ref: Phys. Rev. Lett. 128, 221102 (2022)

Snowmass White Paper: The Cosmological Bootstrap

Authors: Daniel Baumann, Daniel Green, Austin Joyce, Enrico Pajer, Guilherme L. Pimentel, Charlotte Sleight, Massimo Taronna

Abstract: This white paper summarizes recent progress in the cosmological bootstrap, an approach to the study of the statistics of primordial fluctuations from consistency with unitarity, locality and symmetry assumptions. We review the key ideas of the bootstrap method, with an eye towards future directions and ambitions of the program. Focusing on recent progress involving de Sitter and quasi-de Sitter ba… ▽ More This white paper summarizes recent progress in the cosmological bootstrap, an approach to the study of the statistics of primordial fluctuations from consistency with unitarity, locality and symmetry assumptions. We review the key ideas of the bootstrap method, with an eye towards future directions and ambitions of the program. Focusing on recent progress involving de Sitter and quasi-de Sitter backgrounds, we highlight the role of singularities and unitarity in constraining the form of the correlators. We also discuss nonperturbative formulations of the bootstrap, connections to anti-de Sitter space, and potential implications for holography. △ Less

Submitted 15 March, 2022; originally announced March 2022.

Comments: 52 pages, 7 figures; Contribution to Snowmass 2021

Learning by Doing: Controlling a Dynamical System using Causality, Control, and Reinforcement Learning

Authors: Sebastian Weichwald, Søren Wengel Mogensen, Tabitha Edith Lee, Dominik Baumann, Oliver Kroemer, Isabelle Guyon, Sebastian Trimpe, Jonas Peters, Niklas Pfister

Abstract: Questions in causality, control, and reinforcement learning go beyond the classical machine learning task of prediction under i.i.d. observations. Instead, these fields consider the problem of learning how to actively perturb a system to achieve a certain effect on a response variable. Arguably, they have complementary views on the problem: In control, one usually aims to first identify the system… ▽ More Questions in causality, control, and reinforcement learning go beyond the classical machine learning task of prediction under i.i.d. observations. Instead, these fields consider the problem of learning how to actively perturb a system to achieve a certain effect on a response variable. Arguably, they have complementary views on the problem: In control, one usually aims to first identify the system by excitation strategies to then apply model-based design techniques to control the system. In (non-model-based) reinforcement learning, one directly optimizes a reward. In causality, one focus is on identifiability of causal structure. We believe that combining the different views might create synergies and this competition is meant as a first step toward such synergies. The participants had access to observational and (offline) interventional data generated by dynamical systems. Track CHEM considers an open-loop problem in which a single impulse at the beginning of the dynamics can be set, while Track ROBO considers a closed-loop problem in which control variables can be set at each time step. The goal in both tracks is to infer controls that drive the system to a desired state. Code is open-sourced ( https://github.com/LearningByDoingCompetition/learningbydoing-comp ) to reproduce the winning solutions of the competition and to facilitate trying out new methods on the competition tasks. △ Less

Submitted 12 February, 2022; originally announced February 2022.

Comments: https://learningbydoingcompetition.github.io/

GoSafeOpt: Scalable Safe Exploration for Global Optimization of Dynamical Systems

Authors: Bhavya Sukhija, Matteo Turchetta, David Lindner, Andreas Krause, Sebastian Trimpe, Dominik Baumann

Abstract: Learning optimal control policies directly on physical systems is challenging since even a single failure can lead to costly hardware damage. Most existing model-free learning methods that guarantee safety, i.e., no failures, during exploration are limited to local optima. A notable exception is the GoSafe algorithm, which, unfortunately, cannot handle high-dimensional systems and hence cannot be… ▽ More Learning optimal control policies directly on physical systems is challenging since even a single failure can lead to costly hardware damage. Most existing model-free learning methods that guarantee safety, i.e., no failures, during exploration are limited to local optima. A notable exception is the GoSafe algorithm, which, unfortunately, cannot handle high-dimensional systems and hence cannot be applied to most real-world dynamical systems. This work proposes GoSafeOpt as the first algorithm that can safely discover globally optimal policies for high-dimensional systems while giving safety and optimality guarantees. We demonstrate the superiority of GoSafeOpt over competing model-free safe learning methods on a robot arm that would be prohibitive for GoSafe. △ Less

Submitted 12 June, 2023; v1 submitted 24 January, 2022; originally announced January 2022.

Journal ref: Artificial Intelligence, Volume 320, Year 2023

Ionization of Gravitational Atoms

Authors: Daniel Baumann, Gianfranco Bertone, John Stout, Giovanni Maria Tomaselli

Abstract: Superradiant instabilities may create clouds of ultralight bosons around rotating black holes, forming so-called "gravitational atoms." It was recently shown that the presence of a binary companion can induce resonant transitions between bound states of these clouds, whose backreaction on the binary's orbit leads to characteristic signatures in the emitted gravitational waves. In this work, we sho… ▽ More Superradiant instabilities may create clouds of ultralight bosons around rotating black holes, forming so-called "gravitational atoms." It was recently shown that the presence of a binary companion can induce resonant transitions between bound states of these clouds, whose backreaction on the binary's orbit leads to characteristic signatures in the emitted gravitational waves. In this work, we show that the interaction with the companion can also trigger transitions from bound to unbound states of the cloud -- a process that we refer to as "ionization" in analogy with the photoelectric effect in atomic physics. The orbital energy lost in the process overwhelms the losses due to gravitational wave emission and contains sharp features carrying information about the energy spectrum of the cloud. Moreover, we also show that if the companion is a black hole, then the part of the cloud impinging on the event horizon will be absorbed. This "accretion" leads to a significant increase of the companion's mass, which alters the dynamical evolution and ensuing waveform of the binary. We argue that a combined treatment of resonances, ionization, and accretion is crucial to discover and characterize gravitational atoms with upcoming gravitational wave detectors. △ Less

Submitted 6 June, 2022; v1 submitted 29 December, 2021; originally announced December 2021.

Comments: 34+21 pages, 16 figures

The Power of Locality: Primordial Non-Gaussianity at the Map Level

Authors: Daniel Baumann, Daniel Green

Abstract: Primordial non-Gaussianity is a sensitive probe of the inflationary era, with a number of important theoretical targets living an order of magnitude beyond the reach of current CMB constraints. Maps of the large-scale structure of the universe, in principle, have the raw statistical power to reach these targets, but the complications of nonlinear evolution are thought to present serious, if not in… ▽ More Primordial non-Gaussianity is a sensitive probe of the inflationary era, with a number of important theoretical targets living an order of magnitude beyond the reach of current CMB constraints. Maps of the large-scale structure of the universe, in principle, have the raw statistical power to reach these targets, but the complications of nonlinear evolution are thought to present serious, if not insurmountable, obstacles to reaching these goals. In this paper, we will argue that the challenge presented by nonlinear structure formation has been overstated. The information encoded in primordial non-Gaussianity resides in nonlocal correlations of the density field at three or more points separated by cosmological distances. In contrast, nonlinear evolution only alters the density field locally and cannot create or destroy these long-range correlations. This locality property of the late-time non-Gaussianity is obscured in Fourier space and in the standard bispectrum searches for primordial non-Gaussianity. We therefore propose to measure non-Gaussianity in the position space maps of the large-scale structure. As a proof of concept, we study the case of equilateral non-Gaussianity, for which the degeneracy with late-time nonlinearities is the most severe. We show that a map-level analysis is capable of breaking this degeneracy and thereby significantly improve the constraining power over previous estimates. Our findings suggest that "simulation-based inference" involving the forward modeling of large-scale structure maps has the potential to dramatically impact the search for primordial non-Gaussianity. △ Less

Submitted 29 December, 2021; originally announced December 2021.

Comments: 44 pages, 8 figures

EuCAPT White Paper: Opportunities and Challenges for Theoretical Astroparticle Physics in the Next Decade

Authors: R. Alves Batista, M. A. Amin, G. Barenboim, N. Bartolo, D. Baumann, A. Bauswein, E. Bellini, D. Benisty, G. Bertone, P. Blasi, C. G. Böhmer, Ž. Bošnjak, T. Bringmann, C. Burrage, M. Bustamante, J. Calderón Bustillo, C. T. Byrnes, F. Calore, R. Catena, D. G. Cerdeño, S. S. Cerri, M. Chianese, K. Clough, A. Cole, P. Coloma , et al. (112 additional authors not shown)

Abstract: Astroparticle physics is undergoing a profound transformation, due to a series of extraordinary new results, such as the discovery of high-energy cosmic neutrinos with IceCube, the direct detection of gravitational waves with LIGO and Virgo, and many others. This white paper is the result of a collaborative effort that involved hundreds of theoretical astroparticle physicists and cosmologists, und… ▽ More Astroparticle physics is undergoing a profound transformation, due to a series of extraordinary new results, such as the discovery of high-energy cosmic neutrinos with IceCube, the direct detection of gravitational waves with LIGO and Virgo, and many others. This white paper is the result of a collaborative effort that involved hundreds of theoretical astroparticle physicists and cosmologists, under the coordination of the European Consortium for Astroparticle Theory (EuCAPT). Addressed to the whole astroparticle physics community, it explores upcoming theoretical opportunities and challenges for our field of research, with particular emphasis on the possible synergies among different subfields, and the prospects for solving the most fundamental open questions with multi-messenger observations. △ Less

Submitted 19 October, 2021; originally announced October 2021.

Comments: White paper of the European Consortium for Astroparticle Theory (EuCAPT). 135 authors, 400 endorsers, 133 pages, 1382 references

Linking the Singularities of Cosmological Correlators

Authors: Daniel Baumann, Wei-Ming Chen, Carlos Duaso Pueyo, Austin Joyce, Hayden Lee, Guilherme L. Pimentel

Abstract: Much of the structure of cosmological correlators is controlled by their singularities, which in turn are fixed in terms of flat-space scattering amplitudes. An important challenge is to interpolate between the singular limits to determine the full correlators at arbitrary kinematics. This is particularly relevant because the singularities of correlators are not directly observable, but can only b… ▽ More Much of the structure of cosmological correlators is controlled by their singularities, which in turn are fixed in terms of flat-space scattering amplitudes. An important challenge is to interpolate between the singular limits to determine the full correlators at arbitrary kinematics. This is particularly relevant because the singularities of correlators are not directly observable, but can only be accessed by analytic continuation. In this paper, we study rational correlators, including those of gauge fields, gravitons, and the inflaton, whose only singularities at tree level are poles and whose behavior away from these poles is strongly constrained by unitarity and locality. We describe how unitarity translates into a set of cutting rules that consistent correlators must satisfy, and explain how this can be used to bootstrap correlators given information about their singularities. We also derive recursion relations that allow the iterative construction of more complicated correlators from simpler building blocks. In flat space, all energy singularities are simple poles, so that the combination of unitarity constraints and recursion relations provides an efficient way to bootstrap the full correlators. In many cases, these flat-space correlators can then be transformed into their more complex de Sitter counterparts. As an example of this procedure, we derive the correlator associated to graviton Compton scattering in de Sitter space, though the methods are much more widely applicable. △ Less

Submitted 11 February, 2022; v1 submitted 9 June, 2021; originally announced June 2021.

Comments: 69+29 pages, 6 figures; v2: final version for submission, graviton Compton correlator is now fully derived

GoSafe: Globally Optimal Safe Robot Learning

Authors: Dominik Baumann, Alonso Marco, Matteo Turchetta, Sebastian Trimpe

Abstract: When learning policies for robotic systems from data, safety is a major concern, as violation of safety constraints may cause hardware damage. SafeOpt is an efficient Bayesian optimization (BO) algorithm that can learn policies while guaranteeing safety with high probability. However, its search space is limited to an initially given safe region. We extend this method by exploring outside the init… ▽ More When learning policies for robotic systems from data, safety is a major concern, as violation of safety constraints may cause hardware damage. SafeOpt is an efficient Bayesian optimization (BO) algorithm that can learn policies while guaranteeing safety with high probability. However, its search space is limited to an initially given safe region. We extend this method by exploring outside the initial safe area while still guaranteeing safety with high probability. This is achieved by learning a set of initial conditions from which we can recover safely using a learned backup controller in case of a potential failure. We derive conditions for guaranteed convergence to the global optimum and validate GoSafe in hardware experiments. △ Less

Submitted 27 May, 2021; originally announced May 2021.

Scaling Beyond Bandwidth Limitations: Wireless Control With Stability Guarantees Under Overload

Authors: Fabian Mager, Dominik Baumann, Carsten Herrmann, Sebastian Trimpe, Marco Zimmerling

Abstract: An important class of cyber-physical systems relies on multiple agents that jointly perform a task by coordinating their actions over a wireless network. Examples include self-driving cars in intelligent transportation and production robots in smart manufacturing. However, the scalability of existing control-over-wireless solutions is limited as they cannot resolve overload situations in which the… ▽ More An important class of cyber-physical systems relies on multiple agents that jointly perform a task by coordinating their actions over a wireless network. Examples include self-driving cars in intelligent transportation and production robots in smart manufacturing. However, the scalability of existing control-over-wireless solutions is limited as they cannot resolve overload situations in which the communication demand exceeds the available bandwidth. This paper presents a novel co-design of distributed control and wireless communication that overcomes this limitation by dynamically allocating the available bandwidth to agents with the greatest need to communicate. Experiments on a real cyber-physical testbed with 20 agents, each consisting of a low-power wireless embedded device and a cart-pole system, demonstrate that our solution achieves significantly better control performance under overload than the state of the art. We further prove that our co-design guarantees closed-loop stability for physical systems with stochastic linear time-invariant dynamics. △ Less

Submitted 25 January, 2022; v1 submitted 16 April, 2021; originally announced April 2021.

Comments: Accepted article to appear in ACM Transactions on Cyber-Physical Systems

Unusual heat transport of the Kitaev material Na$_2$Co$_2$TeO$_6$: putative quantum spin liquid and low-energy spin excitations

Authors: Xiaochen Hong, Matthias Gillig, Richard Hentrich, Weiliang Yao, Vilmos Kocsis, Arthur R. Witte, Tino Schreiner, Danny Baumann, Nicolás Pérez, Anja U. B. Wolter, Yuan Li, Bernd Büchner, Christian Hess

Abstract: We studied the field dependent thermal conductivity ($κ$) of Na$_2$Co$_2$TeO$_6$, a compound considered as the manifestation of the Kitaev model based on the high-spin $d^7$ Co$^{2+}$ ions. We found that in-plane magnetic fields beyond a critical value $B_c \approx$~10 T are able to drastically enhance $κ$ at low temperatures, resulting in a double-peak structure of $κ(T)$ that closely resembles t… ▽ More We studied the field dependent thermal conductivity ($κ$) of Na$_2$Co$_2$TeO$_6$, a compound considered as the manifestation of the Kitaev model based on the high-spin $d^7$ Co$^{2+}$ ions. We found that in-plane magnetic fields beyond a critical value $B_c \approx$~10 T are able to drastically enhance $κ$ at low temperatures, resulting in a double-peak structure of $κ(T)$ that closely resembles the behavior of $α$-RuCl$_3$. This result suggests that heat transport in Na$_2$Co$_2$TeO$_6$ is primarily phononic, and it is strongly affected by scattering from magnetic excitations that are highly tunable by external fields. Interestingly, for magnetic fields $B // a$ (i.e., along the zigzag direction of the Co-Co bonds), there is an extended field range which separates the long-range magnetic order for $B\leq B_c\approx10$ T and the partially spin-polarized gapped high-field phase for $B\gtrsim 12$ T. The low-energy phonon scattering is particularly strong in this field range, consistent with the notion that the system becomes a quantum spin liquid with prominent spin fluctuations down to energies of no more than 2 meV. △ Less

Submitted 28 January, 2021; originally announced January 2021.

Journal ref: Phys. Rev. B 104, 144426 (2021)

Wireless Control for Smart Manufacturing: Recent Approaches and Open Challenges

Authors: Dominik Baumann, Fabian Mager, Ulf Wetzker, Lothar Thiele, Marco Zimmerling, Sebastian Trimpe

Abstract: Smart manufacturing aims to overcome the limitations of today's rigid assembly lines by making the material flow and manufacturing process more flexible, versatile, and scalable. The main economic drivers are higher resource and cost efficiency as the manufacturers can more quickly adapt to changing market needs and also increase the lifespan of their production sites. The ability to close feedbac… ▽ More Smart manufacturing aims to overcome the limitations of today's rigid assembly lines by making the material flow and manufacturing process more flexible, versatile, and scalable. The main economic drivers are higher resource and cost efficiency as the manufacturers can more quickly adapt to changing market needs and also increase the lifespan of their production sites. The ability to close feedback loops fast and reliably over long distances among mobile robots, remote sensors, and human operators is a key enabler for smart manufacturing. Thus, this article provides a perspective on control and coordination over wireless networks. Based on an analysis of real-world use cases, we identify the main technical challenges that need to be solved to close the large gap between the current state of the art in industry and the vision of smart manufacturing. We discuss to what extent existing control-over-wireless solutions in the literature address those challenges, including our own approach toward a tight integration of control and wireless communication. In addition to a theoretical analysis of closed-loop stability, practical experiments on a cyber-physical testbed demonstrate that our approach supports relevant smart manufacturing scenarios. The article concludes with a discussion of open challenges and future research directions. △ Less

Submitted 18 October, 2020; originally announced October 2020.

Comments: Accepted article to appear in Proceedings of the IEEE

Robot Learning with Crash Constraints

Authors: Alonso Marco, Dominik Baumann, Majid Khadiv, Philipp Hennig, Ludovic Righetti, Sebastian Trimpe

Abstract: In the past decade, numerous machine learning algorithms have been shown to successfully learn optimal policies to control real robotic systems. However, it is common to encounter failing behaviors as the learning loop progresses. Specifically, in robot applications where failing is undesired but not catastrophic, many algorithms struggle with leveraging data obtained from failures. This is usuall… ▽ More In the past decade, numerous machine learning algorithms have been shown to successfully learn optimal policies to control real robotic systems. However, it is common to encounter failing behaviors as the learning loop progresses. Specifically, in robot applications where failing is undesired but not catastrophic, many algorithms struggle with leveraging data obtained from failures. This is usually caused by (i) the failed experiment ending prematurely, or (ii) the acquired data being scarce or corrupted. Both complicate the design of proper reward functions to penalize failures. In this paper, we propose a framework that addresses those issues. We consider failing behaviors as those that violate a constraint and address the problem of learning with crash constraints, where no data is obtained upon constraint violation. The no-data case is addressed by a novel GP model (GPCR) for the constraint that combines discrete events (failure/success) with continuous observations (only obtained upon success). We demonstrate the effectiveness of our framework on simulated benchmarks and on a real jumping quadruped, where the constraint threshold is unknown a priori. Experimental data is collected, by means of constrained Bayesian optimization, directly on the real robot. Our results outperform manual tuning and GPCR proves useful on estimating the constraint threshold. △ Less

Submitted 27 January, 2021; v1 submitted 16 October, 2020; originally announced October 2020.

Comments: 8 pages, 4 figures, 1 table, 1 algorithm. Accepted for publication in IEEE Robotics and Automation Letters (RA-L). Video demonstration of the experiments available at https://youtu.be/RAiIo0l6_rE . Algorithm implementation available at https://github.com/alonrot/classified_regression.git

Journal ref: IEEE Robotics and Automation Letters, Vol 6(2), pp. 1439-1446, 2021

Learning Event-triggered Control from Data through Joint Optimization

Authors: Niklas Funk, Dominik Baumann, Vincent Berenz, Sebastian Trimpe

Abstract: We present a framework for model-free learning of event-triggered control strategies. Event-triggered methods aim to achieve high control performance while only closing the feedback loop when needed. This enables resource savings, e.g., network bandwidth if control commands are sent via communication networks, as in networked control systems. Event-triggered controllers consist of a communication… ▽ More We present a framework for model-free learning of event-triggered control strategies. Event-triggered methods aim to achieve high control performance while only closing the feedback loop when needed. This enables resource savings, e.g., network bandwidth if control commands are sent via communication networks, as in networked control systems. Event-triggered controllers consist of a communication policy, determining when to communicate, and a control policy, deciding what to communicate. It is essential to jointly optimize the two policies since individual optimization does not necessarily yield the overall optimal solution. To address this need for joint optimization, we propose a novel algorithm based on hierarchical reinforcement learning. The resulting algorithm is shown to accomplish high-performance control in line with resource savings and scales seamlessly to nonlinear and high-dimensional systems. The method's applicability to real-world scenarios is demonstrated through experiments on a six degrees of freedom real-time controlled manipulator. Further, we propose an approach towards evaluating the stability of the learned neural network policies. △ Less

Submitted 23 April, 2021; v1 submitted 11 August, 2020; originally announced August 2020.

Identifying Causal Structure in Dynamical Systems

Authors: Dominik Baumann, Friedrich Solowjow, Karl H. Johansson, Sebastian Trimpe

Abstract: Mathematical models are fundamental building blocks in the design of dynamical control systems. As control systems are becoming increasingly complex and networked, approaches for obtaining such models based on first principles reach their limits. Data-driven methods provide an alternative. However, without structural knowledge, these methods are prone to finding spurious correlations in the traini… ▽ More Mathematical models are fundamental building blocks in the design of dynamical control systems. As control systems are becoming increasingly complex and networked, approaches for obtaining such models based on first principles reach their limits. Data-driven methods provide an alternative. However, without structural knowledge, these methods are prone to finding spurious correlations in the training data, which can hamper generalization capabilities of the obtained models. This can significantly lower control and prediction performance when the system is exposed to unknown situations. A preceding causal identification can prevent this pitfall. In this paper, we propose a method that identifies the causal structure of control systems. We design experiments based on the concept of controllability, which provides a systematic way to compute input trajectories that steer the system to specific regions in its state space. We then analyze the resulting data leveraging powerful techniques from causal inference and extend them to control systems. Further, we derive conditions that guarantee the discovery of the true causal structure of the system. Experiments on a robot arm demonstrate reliable causal identification from real-world data and enhanced generalization capabilities. △ Less

Submitted 18 July, 2022; v1 submitted 6 June, 2020; originally announced June 2020.

Comments: Accepted final versions to appear in the Transactions on Machine Learning Research

Excursion Search for Constrained Bayesian Optimization under a Limited Budget of Failures

Authors: Alonso Marco, Alexander von Rohr, Dominik Baumann, José Miguel Hernández-Lobato, Sebastian Trimpe

Abstract: When learning to ride a bike, a child falls down a number of times before achieving the first success. As falling down usually has only mild consequences, it can be seen as a tolerable failure in exchange for a faster learning process, as it provides rich information about an undesired behavior. In the context of Bayesian optimization under unknown constraints (BOC), typical strategies for safe le… ▽ More When learning to ride a bike, a child falls down a number of times before achieving the first success. As falling down usually has only mild consequences, it can be seen as a tolerable failure in exchange for a faster learning process, as it provides rich information about an undesired behavior. In the context of Bayesian optimization under unknown constraints (BOC), typical strategies for safe learning explore conservatively and avoid failures by all means. On the other side of the spectrum, non conservative BOC algorithms that allow failing may fail an unbounded number of times before reaching the optimum. In this work, we propose a novel decision maker grounded in control theory that controls the amount of risk we allow in the search as a function of a given budget of failures. Empirical validation shows that our algorithm uses the failures budget more efficiently in a variety of optimization experiments, and generally achieves lower regret, than state-of-the-art methods. In addition, we propose an original algorithm for unconstrained Bayesian optimization inspired by the notion of excursion sets in stochastic processes, upon which the failures-aware algorithm is built. △ Less

Submitted 15 May, 2020; originally announced May 2020.

Comments: 14 pages, 4 figures, submitted

The Cosmological Bootstrap: Spinning Correlators from Symmetries and Factorization

Authors: Daniel Baumann, Carlos Duaso Pueyo, Austin Joyce, Hayden Lee, Guilherme L. Pimentel

Abstract: We extend the cosmological bootstrap to correlators involving massless particles with spin. In de Sitter space, these correlators are constrained both by symmetries and by locality. In particular, the de Sitter isometries become conformal symmetries on the future boundary of the spacetime, which are reflected in a set of Ward identities that the boundary correlators must satisfy. We solve these Wa… ▽ More We extend the cosmological bootstrap to correlators involving massless particles with spin. In de Sitter space, these correlators are constrained both by symmetries and by locality. In particular, the de Sitter isometries become conformal symmetries on the future boundary of the spacetime, which are reflected in a set of Ward identities that the boundary correlators must satisfy. We solve these Ward identities by acting with weight-shifting operators on scalar seed solutions. Using this weight-shifting approach, we derive three- and four-point correlators of massless spin-1 and spin-2 fields with conformally coupled scalars. Four-point functions arising from tree-level exchange are singular in particular kinematic configurations, and the coefficients of these singularities satisfy certain factorization properties. We show that in many cases these factorization limits fix the structure of the correlators uniquely, without having to solve the conformal Ward identities. The additional constraint of locality for massless spinning particles manifests itself as current conservation on the boundary. We find that the four-point functions only satisfy current conservation if the s, t, and u-channels are related to each other, leading to nontrivial constraints on the couplings between the conserved currents and other operators in the theory. For spin-1 currents this implies charge conservation, while for spin-2 currents we recover the equivalence principle from a purely boundary perspective. For multiple spin-1 fields, we recover the structure of Yang-Mills theory. Finally, we apply our methods to slow-roll inflation and derive a few phenomenologically relevant scalar-tensor three-point functions. △ Less

Submitted 21 July, 2021; v1 submitted 8 May, 2020; originally announced May 2020.

Comments: 128 pages, 15 figures; V3: minor corrections and references added

Journal ref: SciPost Phys. 11, 071 (2021)

A Kernel Two-sample Test for Dynamical Systems

Authors: Friedrich Solowjow, Dominik Baumann, Christian Fiedler, Andreas Jocham, Thomas Seel, Sebastian Trimpe

Abstract: Evaluating whether data streams are drawn from the same distribution is at the heart of various machine learning problems. This is particularly relevant for data generated by dynamical systems since such systems are essential for many real-world processes in biomedical, economic, or engineering systems. While kernel two-sample tests are powerful for comparing independent and identically distribute… ▽ More Evaluating whether data streams are drawn from the same distribution is at the heart of various machine learning problems. This is particularly relevant for data generated by dynamical systems since such systems are essential for many real-world processes in biomedical, economic, or engineering systems. While kernel two-sample tests are powerful for comparing independent and identically distributed random variables, no established method exists for comparing dynamical systems. The main problem is the inherently violated independence assumption. We propose a two-sample test for dynamical systems by addressing three core challenges: we (i) introduce a novel notion of mixing that captures autocorrelations in a relevant metric, (ii) propose an efficient way to estimate the speed of mixing relying purely on data, and (iii) integrate these into established kernel two-sample tests. The result is a data-driven method that is straightforward to use in practice and comes with sound theoretical guarantees. In an example application to anomaly detection from human walking data, we show that the test is readily applicable without any human expert knowledge and feature engineering. △ Less

Submitted 4 September, 2022; v1 submitted 23 April, 2020; originally announced April 2020.

Prospects for Fundamental Physics with LISA

Authors: Enrico Barausse, Emanuele Berti, Thomas Hertog, Scott A. Hughes, Philippe Jetzer, Paolo Pani, Thomas P. Sotiriou, Nicola Tamanini, Helvi Witek, Kent Yagi, Nicolas Yunes, T. Abdelsalhin, A. Achucarro, K. V. Aelst, N. Afshordi, S. Akcay, L. Annulli, K. G. Arun, I. Ayuso, V. Baibhav, T. Baker, H. Bantilan, T. Barreiro, C. Barrera-Hinojosa, N. Bartolo , et al. (296 additional authors not shown)

Abstract: In this paper, which is of programmatic rather than quantitative nature, we aim to further delineate and sharpen the future potential of the LISA mission in the area of fundamental physics. Given the very broad range of topics that might be relevant to LISA, we present here a sample of what we view as particularly promising directions, based in part on the current research interests of the LISA sc… ▽ More In this paper, which is of programmatic rather than quantitative nature, we aim to further delineate and sharpen the future potential of the LISA mission in the area of fundamental physics. Given the very broad range of topics that might be relevant to LISA, we present here a sample of what we view as particularly promising directions, based in part on the current research interests of the LISA scientific community in the area of fundamental physics. We organize these directions through a "science-first" approach that allows us to classify how LISA data can inform theoretical physics in a variety of areas. For each of these theoretical physics classes, we identify the sources that are currently expected to provide the principal contribution to our knowledge, and the areas that need further development. The classification presented here should not be thought of as cast in stone, but rather as a fluid framework that is amenable to change with the flow of new insights in theoretical physics. △ Less

Submitted 27 April, 2020; v1 submitted 27 January, 2020; originally announced January 2020.

Comments: 22 pages, 1 figure, to appear in General Relativity and Gravitation

Journal ref: Gen.Rel.Grav. 52 (2020) 8, 81

Gravitational Collider Physics

Authors: Daniel Baumann, Horng Sheng Chia, Rafael A. Porto, John Stout

Abstract: We study the imprints of new ultralight particles on the gravitational-wave signals emitted by binary black holes. Superradiant instabilities may create large clouds of scalar or vector fields around rotating black holes. The presence of a binary companion then induces transitions between different states of the cloud, which become resonantly enhanced when the orbital frequency matches the energy… ▽ More We study the imprints of new ultralight particles on the gravitational-wave signals emitted by binary black holes. Superradiant instabilities may create large clouds of scalar or vector fields around rotating black holes. The presence of a binary companion then induces transitions between different states of the cloud, which become resonantly enhanced when the orbital frequency matches the energy gap between the states. We find that the time dependence of the orbit significantly impacts the cloud's dynamics during a transition. Following an analogy with particle colliders, we introduce an S-matrix formalism to describe the evolution through multiple resonances. We show that the state of the cloud, as it approaches the merger, carries vital information about its spectrum via time-dependent finite-size effects. Moreover, due to the transfer of energy and angular momentum between the cloud and the orbit, a dephasing of the gravitational-wave signal can occur which is correlated with the positions of the resonances. Notably, for intermediate and extreme mass ratio inspirals, long-lived floating orbits are possible, as well as kicks that yield large eccentricities. Observing these effects, through the precise reconstruction of waveforms, has the potential to unravel the internal structure of the boson clouds, ultimately probing the masses and spins of new particles. △ Less

Submitted 10 December, 2019; originally announced December 2019.

Comments: 49+14 pages, 19 Figures

Report number: DESY 19-221

Journal ref: Phys. Rev. D 101, 083019 (2020)

The Cosmological Bootstrap: Weight-Shifting Operators and Scalar Seeds

Authors: Daniel Baumann, Carlos Duaso Pueyo, Austin Joyce, Hayden Lee, Guilherme L. Pimentel

Abstract: A key insight of the bootstrap approach to cosmological correlations is the fact that all correlators of slow-roll inflation can be reduced to a unique building block---the four-point function of conformally coupled scalars, arising from the exchange of a massive scalar. Correlators corresponding to the exchange of particles with spin are then obtained by applying a spin-raising operator to the sc… ▽ More A key insight of the bootstrap approach to cosmological correlations is the fact that all correlators of slow-roll inflation can be reduced to a unique building block---the four-point function of conformally coupled scalars, arising from the exchange of a massive scalar. Correlators corresponding to the exchange of particles with spin are then obtained by applying a spin-raising operator to the scalar-exchange solution. Similarly, the correlators of massless external fields can be derived by acting with a suitable weight-raising operator. In this paper, we present a systematic and highly streamlined derivation of these operators (and their generalizations) using tools of conformal field theory. Our results greatly simplify the theoretical foundations of the cosmological bootstrap program. △ Less

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

Comments: 53 pages, 5 figures; V2: minor corrections and references added

Fast Feedback Control over Multi-hop Wireless Networks with Mode Changes and Stability Guarantees

Authors: Dominik Baumann, Fabian Mager, Romain Jacob, Lothar Thiele, Marco Zimmerling, Sebastian Trimpe

Abstract: Closing feedback loops fast and over long distances is key to emerging cyber-physical applications; for example, robot motion control and swarm coordination require update intervals of tens of milliseconds. Low-power wireless communication technology is preferred for its low cost, small form factor, and flexibility, especially if the devices support multi-hop communication. Thus far, however, feed… ▽ More Closing feedback loops fast and over long distances is key to emerging cyber-physical applications; for example, robot motion control and swarm coordination require update intervals of tens of milliseconds. Low-power wireless communication technology is preferred for its low cost, small form factor, and flexibility, especially if the devices support multi-hop communication. Thus far, however, feedback control over multi-hop low-power wireless networks has only been demonstrated for update intervals on the order of seconds. To fill this gap, this paper presents a wireless embedded system that supports dynamic mode changes and tames imperfections impairing control performance (e.g., jitter and message loss), and a control design that exploits the essential properties of this system to provably guarantee closed-loop stability for physical processes with linear time-invariant dynamics in the presence of mode changes. Using experiments on a cyber-physical testbed with 20 wireless devices and multiple cart-pole systems, we are the first to demonstrate and evaluate feedback control and coordination with mode changes over multi-hop networks for update intervals of 20 to 50 milliseconds. △ Less

Submitted 19 September, 2019; originally announced September 2019.

Comments: Accepted for publication in ACM Transactions on Cyber-Physical Systems. arXiv admin note: text overlap with arXiv:1804.08986

The Spectra of Gravitational Atoms

Authors: Daniel Baumann, Horng Sheng Chia, John Stout, Lotte ter Haar

Abstract: We compute the quasi-bound state spectra of ultralight scalar and vector fields around rotating black holes. These spectra are determined by the gravitational fine structure constant $α$, which is the ratio of the size of the black hole to the Compton wavelength of the field. When $α$ is small, the energy eigenvalues and instability rates can be computed analytically. Since the solutions vary rapi… ▽ More We compute the quasi-bound state spectra of ultralight scalar and vector fields around rotating black holes. These spectra are determined by the gravitational fine structure constant $α$, which is the ratio of the size of the black hole to the Compton wavelength of the field. When $α$ is small, the energy eigenvalues and instability rates can be computed analytically. Since the solutions vary rapidly near the black hole horizon, ordinary perturbative approximations fail and we must use matched asymptotic expansions to determine the spectra. Our analytical treatment relies on the separability of the equations of motion, and is therefore only applicable to the scalar field and the electric modes of the vector field. However, for slowly-rotating black holes, the equations for the magnetic modes can be written in a separable form, which we exploit to derive their energy eigenvalues and conjecture an analytic form for their instability rates. To check our conjecture, and to extend all results to large values of $α$, we solve for the spectra numerically. We explain how to accurately and efficiently compute these spectra, without relying on separability. This allows us to obtain reliable results for any $α\gtrsim 0.001$ and black holes of arbitrary spin. Our results provide an essential input to the phenomenology of boson clouds around black holes, especially when these are part of binary systems. △ Less

Submitted 27 August, 2019; originally announced August 2019.

Comments: 47+25 pages, 16 figures

Predictive Triggering for Distributed Control of Resource Constrained Multi-agent Systems

Authors: José Mario Mastrangelo, Dominik Baumann, Sebastian Trimpe

Abstract: A predictive triggering (PT) framework for the distributed control of resource constrained multi-agent systems is proposed. By predicting future communication demands and deriving a probabilistic priority measure, the PT framework is able to allocate limited communication resources in advance. The framework is evaluated through simulations of a cooperative adaptive cruise control system and experi… ▽ More A predictive triggering (PT) framework for the distributed control of resource constrained multi-agent systems is proposed. By predicting future communication demands and deriving a probabilistic priority measure, the PT framework is able to allocate limited communication resources in advance. The framework is evaluated through simulations of a cooperative adaptive cruise control system and experiments on multi-agent cart-pole systems. The results of these studies show its effectiveness over other event-triggered designs at reducing network utilization, while also improving the control error of the system. △ Less

Submitted 29 July, 2019; originally announced July 2019.

Comments: 6 pages, 3 figures, to appear in Proc. of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems, 2019

Classified Regression for Bayesian Optimization: Robot Learning with Unknown Penalties

Authors: Alonso Marco, Dominik Baumann, Philipp Hennig, Sebastian Trimpe

Abstract: Learning robot controllers by minimizing a black-box objective cost using Bayesian optimization (BO) can be time-consuming and challenging. It is very often the case that some roll-outs result in failure behaviors, causing premature experiment detention. In such cases, the designer is forced to decide on heuristic cost penalties because the acquired data is often scarce, or not comparable with tha… ▽ More Learning robot controllers by minimizing a black-box objective cost using Bayesian optimization (BO) can be time-consuming and challenging. It is very often the case that some roll-outs result in failure behaviors, causing premature experiment detention. In such cases, the designer is forced to decide on heuristic cost penalties because the acquired data is often scarce, or not comparable with that of the stable policies. To overcome this, we propose a Bayesian model that captures exactly what we know about the cost of unstable controllers prior to data collection: Nothing, except that it should be a somewhat large number. The resulting Bayesian model, approximated with a Gaussian process, predicts high cost values in regions where failures are likely to occur. In this way, the model guides the BO exploration toward regions of stability. We demonstrate the benefits of the proposed model in several illustrative and statistical synthetic benchmarks, and also in experiments on a real robotic platform. In addition, we propose and experimentally validate a new BO method to account for unknown constraints. Such method is an extension of Max-Value Entropy Search, a recent information-theoretic method, to solve unconstrained global optimization problems. △ Less

Submitted 9 November, 2020; v1 submitted 24 July, 2019; originally announced July 2019.

Comments: This paper was submitted to JMLR in 2018 and rejected. Currently, it is not published, nor under review in any conference or journal venue

Dynamical Constraints on RG Flows and Cosmology

Authors: Daniel Baumann, Daniel Green, Thomas Hartman

Abstract: Sum rules connecting low-energy observables to high-energy physics are an interesting way to probe the mechanism of inflation and its ultraviolet origin. Unfortunately, such sum rules have proven difficult to study in a cosmological setting. Motivated by this problem, we investigate a precise analogue of inflation in anti-de Sitter spacetime, where it becomes dual to a slow renormalization group f… ▽ More Sum rules connecting low-energy observables to high-energy physics are an interesting way to probe the mechanism of inflation and its ultraviolet origin. Unfortunately, such sum rules have proven difficult to study in a cosmological setting. Motivated by this problem, we investigate a precise analogue of inflation in anti-de Sitter spacetime, where it becomes dual to a slow renormalization group flow in the boundary quantum field theory. This dual description provides a firm footing for exploring the constraints of unitarity, analyticity, and causality on the bulk effective field theory. We derive a sum rule that constrains the bulk coupling constants in this theory. In the bulk, the sum rule is related to the speed of radial propagation, while on the boundary, it governs the spreading of nonlocal operators. When the spreading speed approaches the speed of light, the sum rule is saturated, suggesting that the theory becomes free in this limit. We also discuss whether similar results apply to inflation, where an analogous sum rule exists for the propagation speed of inflationary fluctuations. △ Less

Submitted 24 June, 2019; originally announced June 2019.

Comments: 37 pages, 6 figures

Demo Abstract: Fast Feedback Control and Coordination with Mode Changes for Wireless Cyber-Physical Systems

Authors: Fabian Mager, Dominik Baumann, Romain Jacob, Lothar Thiele, Sebastian Trimpe, Marco Zimmerling

Abstract: This abstract describes the first public demonstration of feedback control and coordination of multiple physical systems over a dynamic multi-hop low-power wireless network with update intervals of tens of milliseconds. Our running system can dynamically change between different sets of application tasks (e.g., sensing, actuation, control) executing on the spatially distributed embedded devices, w… ▽ More This abstract describes the first public demonstration of feedback control and coordination of multiple physical systems over a dynamic multi-hop low-power wireless network with update intervals of tens of milliseconds. Our running system can dynamically change between different sets of application tasks (e.g., sensing, actuation, control) executing on the spatially distributed embedded devices, while closed-loop stability is provably guaranteed even across those so-called mode changes. Moreover, any subset of the devices can move freely, which does not affect closed-loop stability and control performance as long as the wireless network remains connected. △ Less

Submitted 13 June, 2019; originally announced June 2019.

Comments: Proceedings of the 18th International Conference on Information Processing in Sensor Networks (IPSN'19), April 16--18, 2019, Montreal, QC, Canada

Control-guided Communication: Efficient Resource Arbitration and Allocation in Multi-hop Wireless Control Systems

Authors: Dominik Baumann, Fabian Mager, Marco Zimmerling, Sebastian Trimpe

Abstract: In future autonomous systems, wireless multi-hop communication is key to enable collaboration among distributed agents at low cost and high flexibility. When many agents need to transmit information over the same wireless network, communication becomes a shared and contested resource. Event-triggered and self-triggered control account for this by transmitting data only when needed, enabling signif… ▽ More In future autonomous systems, wireless multi-hop communication is key to enable collaboration among distributed agents at low cost and high flexibility. When many agents need to transmit information over the same wireless network, communication becomes a shared and contested resource. Event-triggered and self-triggered control account for this by transmitting data only when needed, enabling significant energy savings. However, a solution that brings those benefits to multi-hop networks and can reallocate freed up bandwidth to additional agents or data sources is still missing. To fill this gap, we propose control-guided communication, a novel co-design approach for distributed self-triggered control over wireless multi-hop networks. The control system informs the communication system of its transmission demands ahead of time, and the communication system allocates resources accordingly. Experiments on a cyber-physical testbed show that multiple cart-poles can be synchronized over wireless, while serving other traffic when resources are available, or saving energy. These experiments are the first to demonstrate and evaluate distributed self-triggered control over low-power multi-hop wireless networks at update rates of tens of milliseconds. △ Less

Submitted 8 June, 2019; originally announced June 2019.

Comments: Accepted final version to appear in: IEEE Control Systems Letters

Event-triggered Pulse Control with Model Learning (if Necessary)

Authors: Dominik Baumann, Friedrich Solowjow, Karl Henrik Johansson, Sebastian Trimpe

Abstract: In networked control systems, communication is a shared and therefore scarce resource. Event-triggered control (ETC) can achieve high performance control with a significantly reduced amount of samples compared to classical, periodic control schemes. However, ETC methods usually rely on the availability of an accurate dynamics model, which is oftentimes not readily available. In this paper, we prop… ▽ More In networked control systems, communication is a shared and therefore scarce resource. Event-triggered control (ETC) can achieve high performance control with a significantly reduced amount of samples compared to classical, periodic control schemes. However, ETC methods usually rely on the availability of an accurate dynamics model, which is oftentimes not readily available. In this paper, we propose a novel event-triggered pulse control strategy that learns dynamics models if necessary. In addition to adapting to changing dynamics, the method also represents a suitable replacement for the integral part typically used in periodic control. △ Less

Submitted 19 March, 2019; originally announced March 2019.

Comments: Accepted final version to appear in: Proc. of the American Control Conference, 2019

Messengers from the Early Universe: Cosmic Neutrinos and Other Light Relics

Authors: Daniel Green, Mustafa A. Amin, Joel Meyers, Benjamin Wallisch, Kevork N. Abazajian, Muntazir Abidi, Peter Adshead, Zeeshan Ahmed, Behzad Ansarinejad, Robert Armstrong, Carlo Baccigalupi, Kevin Bandura, Darcy Barron, Nicholas Battaglia, Daniel Baumann, Keith Bechtol, Charles Bennett, Bradford Benson, Florian Beutler, Colin Bischoff, Lindsey Bleem, J. Richard Bond, Julian Borrill, Elizabeth Buckley-Geer, Cliff Burgess , et al. (114 additional authors not shown)

Abstract: The hot dense environment of the early universe is known to have produced large numbers of baryons, photons, and neutrinos. These extreme conditions may have also produced other long-lived species, including new light particles (such as axions or sterile neutrinos) or gravitational waves. The gravitational effects of any such light relics can be observed through their unique imprint in the cosmic… ▽ More The hot dense environment of the early universe is known to have produced large numbers of baryons, photons, and neutrinos. These extreme conditions may have also produced other long-lived species, including new light particles (such as axions or sterile neutrinos) or gravitational waves. The gravitational effects of any such light relics can be observed through their unique imprint in the cosmic microwave background (CMB), the large-scale structure, and the primordial light element abundances, and are important in determining the initial conditions of the universe. We argue that future cosmological observations, in particular improved maps of the CMB on small angular scales, can be orders of magnitude more sensitive for probing the thermal history of the early universe than current experiments. These observations offer a unique and broad discovery space for new physics in the dark sector and beyond, even when its effects would not be visible in terrestrial experiments or in astrophysical environments. A detection of an excess light relic abundance would be a clear indication of new physics and would provide the first direct information about the universe between the times of reheating and neutrino decoupling one second later. △ Less

Submitted 12 March, 2019; originally announced March 2019.

Comments: 5 pages + references; 1 figure; science white paper submitted to the Astro2020 decadal survey

Primordial Non-Gaussianity

Authors: P. Daniel Meerburg, Daniel Green, Muntazir Abidi, Mustafa A. Amin, Peter Adshead, Zeeshan Ahmed, David Alonso, Behzad Ansarinejad, Robert Armstrong, Santiago Avila, Carlo Baccigalupi, Tobias Baldauf, Mario Ballardini, Kevin Bandura, Nicola Bartolo, Nicholas Battaglia, Daniel Baumann, Chetan Bavdhankar, José Luis Bernal, Florian Beutler, Matteo Biagetti, Colin Bischoff, Jonathan Blazek, J. Richard Bond, Julian Borrill , et al. (153 additional authors not shown)

Abstract: Our current understanding of the Universe is established through the pristine measurements of structure in the cosmic microwave background (CMB) and the distribution and shapes of galaxies tracing the large scale structure (LSS) of the Universe. One key ingredient that underlies cosmological observables is that the field that sources the observed structure is assumed to be initially Gaussian with… ▽ More Our current understanding of the Universe is established through the pristine measurements of structure in the cosmic microwave background (CMB) and the distribution and shapes of galaxies tracing the large scale structure (LSS) of the Universe. One key ingredient that underlies cosmological observables is that the field that sources the observed structure is assumed to be initially Gaussian with high precision. Nevertheless, a minimal deviation from Gaussianityis perhaps the most robust theoretical prediction of models that explain the observed Universe; itis necessarily present even in the simplest scenarios. In addition, most inflationary models produce far higher levels of non-Gaussianity. Since non-Gaussianity directly probes the dynamics in the early Universe, a detection would present a monumental discovery in cosmology, providing clues about physics at energy scales as high as the GUT scale. △ Less

Submitted 14 March, 2019; v1 submitted 11 March, 2019; originally announced March 2019.

Comments: 5 pages + references; Submitted to the Astro2020 call for science white papers. This version: fixed author list

Spectral Distortions of the CMB as a Probe of Inflation, Recombination, Structure Formation and Particle Physics

Authors: J. Chluba, A. Kogut, S. P. Patil, M. H. Abitbol, N. Aghanim, Y. Ali-Haimoud, M. A. Amin, J. Aumont, N. Bartolo, K. Basu, E. S. Battistelli, R. Battye, D. Baumann, I. Ben-Dayan, B. Bolliet, J. R. Bond, F. R. Bouchet, C. P. Burgess, C. Burigana, C. T. Byrnes, G. Cabass, D. T. Chuss, S. Clesse, P. S. Cole, L. Dai , et al. (76 additional authors not shown)

Abstract: Following the pioneering observations with COBE in the early 1990s, studies of the cosmic microwave background (CMB) have focused on temperature and polarization anisotropies. CMB spectral distortions - tiny departures of the CMB energy spectrum from that of a perfect blackbody - provide a second, independent probe of fundamental physics, with a reach deep into the primordial Universe. The theoret… ▽ More Following the pioneering observations with COBE in the early 1990s, studies of the cosmic microwave background (CMB) have focused on temperature and polarization anisotropies. CMB spectral distortions - tiny departures of the CMB energy spectrum from that of a perfect blackbody - provide a second, independent probe of fundamental physics, with a reach deep into the primordial Universe. The theoretical foundation of spectral distortions has seen major advances in recent years, which highlight the immense potential of this emerging field. Spectral distortions probe a fundamental property of the Universe - its thermal history - thereby providing additional insight into processes within the cosmological standard model (CSM) as well as new physics beyond. Spectral distortions are an important tool for understanding inflation and the nature of dark matter. They shed new light on the physics of recombination and reionization, both prominent stages in the evolution of our Universe, and furnish critical information on baryonic feedback processes, in addition to probing primordial correlation functions at scales inaccessible to other tracers. In principle the range of signals is vast: many orders of magnitude of discovery space could be explored by detailed observations of the CMB energy spectrum. Several CSM signals are predicted and provide clear experimental targets, some of which are already observable with present-day technology. Confirmation of these signals would extend the reach of the CSM by orders of magnitude in physical scale as the Universe evolves from the initial stages to its present form. The absence of these signals would pose a huge theoretical challenge, immediately pointing to new physics. △ Less

Submitted 25 April, 2019; v1 submitted 11 March, 2019; originally announced March 2019.

Comments: Astro2020 Science White Paper, 5 pages text, 13 pages in total, 3 Figures, minor update to references

Resource-aware IoT Control: Saving Communication through Predictive Triggering

Authors: Sebastian Trimpe, Dominik Baumann

Abstract: The Internet of Things (IoT) interconnects multiple physical devices in large-scale networks. When the 'things' coordinate decisions and act collectively on shared information, feedback is introduced between them. Multiple feedback loops are thus closed over a shared, general-purpose network. Traditional feedback control is unsuitable for design of IoT control because it relies on high-rate period… ▽ More The Internet of Things (IoT) interconnects multiple physical devices in large-scale networks. When the 'things' coordinate decisions and act collectively on shared information, feedback is introduced between them. Multiple feedback loops are thus closed over a shared, general-purpose network. Traditional feedback control is unsuitable for design of IoT control because it relies on high-rate periodic communication and is ignorant of the shared network resource. Therefore, recent event-based estimation methods are applied herein for resource-aware IoT control allowing agents to decide online whether communication with other agents is needed, or not. While this can reduce network traffic significantly, a severe limitation of typical event-based approaches is the need for instantaneous triggering decisions that leave no time to reallocate freed resources (e.g., communication slots), which hence remain unused. To address this problem, novel predictive and self triggering protocols are proposed herein. From a unified Bayesian decision framework, two schemes are developed: self triggers that predict, at the current triggering instant, the next one; and predictive triggers that check at every time step, whether communication will be needed at a given prediction horizon. The suitability of these triggers for feedback control is demonstrated in hardware experiments on a cart-pole, and scalability is discussed with a multi-vehicle simulation. △ Less

Submitted 19 January, 2019; originally announced January 2019.

Comments: 16 pages, 15 figures, accepted article to appear in IEEE Internet of Things Journal. arXiv admin note: text overlap with arXiv:1609.07534

The Cosmological Bootstrap: Inflationary Correlators from Symmetries and Singularities

Authors: Nima Arkani-Hamed, Daniel Baumann, Hayden Lee, Guilherme L. Pimentel

Abstract: Scattering amplitudes at weak coupling are highly constrained by Lorentz invariance, locality and unitarity, and depend on model details only through coupling constants and particle content. In this paper, we develop an understanding of inflationary correlators which parallels that of flat-space scattering amplitudes. Specifically, we study slow-roll inflation with weak couplings to extra massive… ▽ More Scattering amplitudes at weak coupling are highly constrained by Lorentz invariance, locality and unitarity, and depend on model details only through coupling constants and particle content. In this paper, we develop an understanding of inflationary correlators which parallels that of flat-space scattering amplitudes. Specifically, we study slow-roll inflation with weak couplings to extra massive particles, for which all correlators are controlled by an approximate conformal symmetry on the boundary of the spacetime. After classifying all possible contact terms in de Sitter space, we derive an analytic expression for the four-point function of conformally coupled scalars mediated by the tree-level exchange of massive scalars. Conformal symmetry implies that the correlator satisfies a pair of differential equations with respect to spatial momenta, encoding bulk time evolution in purely boundary terms. The absence of unphysical singularities completely fixes this correlator. A spin-raising operator relates it to the correlators associated with the exchange of particles with spin, while weight-shifting operators map it to the four-point function of massless scalars. We explain how these de Sitter four-point functions can be perturbed to obtain inflationary three-point functions. We reproduce many classic results in the literature and provide a complete classification of all inflationary three- and four-point functions arising from weakly broken conformal symmetry. The inflationary bispectrum associated with the exchange of particles with arbitrary spin is completely characterized by the soft limit of the simplest scalar-exchange four-point function of conformally coupled scalars and a series of contact terms. Finally, we demonstrate that the inflationary correlators contain flat-space scattering amplitudes via a suitable analytic continuation of the external momenta. △ Less

Submitted 30 October, 2019; v1 submitted 31 October, 2018; originally announced November 2018.

Comments: 110 pages, 13 figures, 1 table; V3: minor corrections and references added

Deep Reinforcement Learning for Event-Triggered Control

Authors: Dominik Baumann, Jia-Jie Zhu, Georg Martius, Sebastian Trimpe

Abstract: Event-triggered control (ETC) methods can achieve high-performance control with a significantly lower number of samples compared to usual, time-triggered methods. These frameworks are often based on a mathematical model of the system and specific designs of controller and event trigger. In this paper, we show how deep reinforcement learning (DRL) algorithms can be leveraged to simultaneously learn… ▽ More Event-triggered control (ETC) methods can achieve high-performance control with a significantly lower number of samples compared to usual, time-triggered methods. These frameworks are often based on a mathematical model of the system and specific designs of controller and event trigger. In this paper, we show how deep reinforcement learning (DRL) algorithms can be leveraged to simultaneously learn control and communication behavior from scratch, and present a DRL approach that is particularly suitable for ETC. To our knowledge, this is the first work to apply DRL to ETC. We validate the approach on multiple control tasks and compare it to model-based event-triggering frameworks. In particular, we demonstrate that it can, other than many model-based ETC designs, be straightforwardly applied to nonlinear systems. △ Less

Submitted 13 September, 2018; originally announced September 2018.

TASI Lectures on Primordial Cosmology

Authors: Daniel Baumann

Abstract: These lectures cover aspects of primordial cosmology with a focus on observational tests of physics beyond the Standard Model. The presentation is divided into two parts: In Part I, we study the production of new light particles in the hot big bang and describe their effects on the anisotropies of the cosmic microwave background. In Part II, we investigate the possibility of very massive particles… ▽ More These lectures cover aspects of primordial cosmology with a focus on observational tests of physics beyond the Standard Model. The presentation is divided into two parts: In Part I, we study the production of new light particles in the hot big bang and describe their effects on the anisotropies of the cosmic microwave background. In Part II, we investigate the possibility of very massive particles being created during inflation and determine their imprints in higher-order cosmological correlations. △ Less

Submitted 9 July, 2018; originally announced July 2018.

Comments: 77 pages, 31 figures. This is an extended write up of lectures given at TASI 2017

An ultra-high vacuum scanning tunneling microscope operating at sub-Kelvin temperatures and high magnetic fields for spin-resolved measurements

Authors: C. Salazar, D. Baumann, T. Hänke, M. Scheffler, T. Kühne, M. Kaiser, R. Voigtländer, D. Lindackers, B. Büchner, C. Hess

Abstract: We present the construction and performance of an ultra-low temperature scanning tunneling microscope (STM), working in ultra-high vacuum conditions (UHV) and in high magnetic fields up to 9 T. The cryogenic environment of the STM is generated by a single shot $^3$He magnet cryostat in combination with a $^4$He dewar system. At base temperature (300~mK), the cryostat has an operation time of appro… ▽ More We present the construction and performance of an ultra-low temperature scanning tunneling microscope (STM), working in ultra-high vacuum conditions (UHV) and in high magnetic fields up to 9 T. The cryogenic environment of the STM is generated by a single shot $^3$He magnet cryostat in combination with a $^4$He dewar system. At base temperature (300~mK), the cryostat has an operation time of approximately 80 hours. The special design of the microscope allows the transfer of the STM head from the cryostat to a UHV-chamber system, where samples and STM-tips can be easily exchanged. The UHV chambers are equipped with specific surface science treatment tools for the functionalization of samples and tips, including high-temperature treatments and thin film deposition. This, particularly, enables spin-resolved tunneling measurements. We present test measurements using well known samples and tips based on superconductor and metallic materials such as LiFeAs, Nb, Fe and W, respectively. The measurements demonstrate the outstanding performance of the STM with high spatial and energy resolution as well as the spin-resolved capability. △ Less

Submitted 16 May, 2018; originally announced May 2018.

Comments: 12 pages, 16 figures

Journal ref: Rev. Sci. Inst. 89, 065104 (2018)

Evaluating Low-Power Wireless Cyber-Physical Systems

Authors: Dominik Baumann, Fabian Mager, Harsoveet Singh, Marco Zimmerling, Sebastian Trimpe

Abstract: Simulation tools and testbeds have been proposed to assess the performance of control designs and wireless protocols in isolation. A cyber-physical system (CPS), however, integrates control with network elements, which must be evaluated together under real-world conditions to assess control performance, stability, and associated costs. We present an approach to evaluate CPS relying on embedded dev… ▽ More Simulation tools and testbeds have been proposed to assess the performance of control designs and wireless protocols in isolation. A cyber-physical system (CPS), however, integrates control with network elements, which must be evaluated together under real-world conditions to assess control performance, stability, and associated costs. We present an approach to evaluate CPS relying on embedded devices and low-power wireless technology. Using one or multiple inverted pendulums as physical system, our approach supports a spectrum of realistic CPS scenarios that impose different requirements onto the control and networking elements. Moreover, our approach allows one to flexibly combine simulated and real pendulums, promoting adoption, scalability, repeatability, and integration with existing wireless testbed infrastructures. A case study demonstrates implementation, execution, and measurements using the proposed evaluation approach. △ Less

Submitted 25 April, 2018; originally announced April 2018.

Comments: Accepted final version to appear in: Proceedings of the 1st Workshop on Benchmarking Cyber-Physical Networks and Systems