Showing 1–50 of 98 results for author: Schreiber, A

Do You Know the Way? Human-in-the-Loop Understanding for Fast Traversability Estimation in Mobile Robotics

Authors: Andre Schreiber, Katherine Driggs-Campbell

Abstract: The increasing use of robots in unstructured environments necessitates the development of effective perception and navigation strategies to enable field robots to successfully perform their tasks. In particular, it is key for such robots to understand where in their environment they can and cannot travel -- a task known as traversability estimation. However, existing geometric approaches to traver… ▽ More The increasing use of robots in unstructured environments necessitates the development of effective perception and navigation strategies to enable field robots to successfully perform their tasks. In particular, it is key for such robots to understand where in their environment they can and cannot travel -- a task known as traversability estimation. However, existing geometric approaches to traversability estimation may fail to capture nuanced representations of traversability, whereas vision-based approaches typically either involve manually annotating a large number of images or require robot experience. In addition, existing methods can struggle to address domain shifts as they typically do not learn during deployment. To this end, we propose a human-in-the-loop (HiL) method for traversability estimation that prompts a human for annotations as-needed. Our method uses a foundation model to enable rapid learning on new annotations and to provide accurate predictions even when trained on a small number of quickly-provided HiL annotations. We extensively validate our method in simulation and on real-world data, and demonstrate that it can provide state-of-the-art traversability prediction performance. △ Less

Submitted 28 April, 2025; originally announced April 2025.

Comments: Accepted by RA-L. Code is available at https://github.com/andreschreiber/CHUNGUS

An Expert Ensemble for Detecting Anomalous Scenes, Interactions, and Behaviors in Autonomous Driving

Authors: Tianchen Ji, Neeloy Chakraborty, Andre Schreiber, Katherine Driggs-Campbell

Abstract: As automated vehicles enter public roads, safety in a near-infinite number of driving scenarios becomes one of the major concerns for the widespread adoption of fully autonomous driving. The ability to detect anomalous situations outside of the operational design domain is a key component in self-driving cars, enabling us to mitigate the impact of abnormal ego behaviors and to realize trustworthy… ▽ More As automated vehicles enter public roads, safety in a near-infinite number of driving scenarios becomes one of the major concerns for the widespread adoption of fully autonomous driving. The ability to detect anomalous situations outside of the operational design domain is a key component in self-driving cars, enabling us to mitigate the impact of abnormal ego behaviors and to realize trustworthy driving systems. On-road anomaly detection in egocentric videos remains a challenging problem due to the difficulties introduced by complex and interactive scenarios. We conduct a holistic analysis of common on-road anomaly patterns, from which we propose three unsupervised anomaly detection experts: a scene expert that focuses on frame-level appearances to detect abnormal scenes and unexpected scene motions; an interaction expert that models normal relative motions between two road participants and raises alarms whenever anomalous interactions emerge; and a behavior expert which monitors abnormal behaviors of individual objects by future trajectory prediction. To combine the strengths of all the modules, we propose an expert ensemble (Xen) using a Kalman filter, in which the final anomaly score is absorbed as one of the states and the observations are generated by the experts. Our experiments employ a novel evaluation protocol for realistic model performance, demonstrate superior anomaly detection performance than previous methods, and show that our framework has potential in classifying anomaly types using unsupervised learning on a large-scale on-road anomaly dataset. △ Less

Submitted 22 February, 2025; originally announced February 2025.

Comments: Accepted by International Journal of Robotics Research (IJRR)

Two-loop four-point amplitudes on the Coulomb branch of ${\mathcal{N}}=4$ super Yang-Mills

Authors: Wojciech Flieger, Johannes Henn, Anders Schreiber, Jaroslav Trnka

Abstract: We explore scattering amplitudes on the Coulomb branch of maximally supersymmetric Yang-Mills theory. We introduce a particular pattern of scalar vacuum expectation values that allow us to define amplitudes with a different mass pattern compared to what was studied previously. This is motivated by an extension of the Amplituhedron that leads to infrared-finite four-particle amplitudes involving ma… ▽ More We explore scattering amplitudes on the Coulomb branch of maximally supersymmetric Yang-Mills theory. We introduce a particular pattern of scalar vacuum expectation values that allow us to define amplitudes with a different mass pattern compared to what was studied previously. This is motivated by an extension of the Amplituhedron that leads to infrared-finite four-particle amplitudes involving massive particles. We work out the Feynman rules on the Coulomb branch and use them, together with generalized unitarity techniques, to perform consistency checks on the Amplituhedron expectations for the one- and two-loop integrands for the four-particle amplitude. We present details of the computation of the required two-loop four-point integrals via a four-dimensional version of the differential equations method. Finally, we study the Regge limit of the four-point amplitude, including the first power suppressed terms. We find that when organized in terms of a suitable expansion parameter, the subleading power term exponentiates, with the exponent matching the anomalous dimension of a cusped Wilson line with a local operator insertion. The latter is known from integrability, which leads to a prediction at higher loop orders in the Regge limit. △ Less

Submitted 4 February, 2025; v1 submitted 16 January, 2025; originally announced January 2025.

Comments: 36 pages, 4 figures, 4 ancillary files + readme

Continuously tunable coherent pulse generation in semiconductor lasers

Authors: Urban Senica, Michael A. Schreiber, Paolo Micheletti, Mattias Beck, Christian Jirauschek, Jérôme Faist, Giacomo Scalari

Abstract: In a laser, the control of its spectral emission depends on the physical dimensions of the optical resonator, limiting it to a set of discrete cavity modes at specific frequencies. Here, we overcome this fundamental limit by demonstrating a monolithic semiconductor laser with a continuously tunable repetition rate from 4 up to 16 GHz, by employing a microwave driving signal that induces a spatiote… ▽ More In a laser, the control of its spectral emission depends on the physical dimensions of the optical resonator, limiting it to a set of discrete cavity modes at specific frequencies. Here, we overcome this fundamental limit by demonstrating a monolithic semiconductor laser with a continuously tunable repetition rate from 4 up to 16 GHz, by employing a microwave driving signal that induces a spatiotemporal gain modulation along the entire laser cavity, generating intracavity mode-locked pulses with a continuously tunable group velocity. At the output, frequency combs with continuously tunable mode spacings are generated in the frequency domain, and coherent pulse trains with continuously tunable repetition rates are generated in the time domain. Our results pave the way for fully tunable chip-scale lasers and frequency combs, advantageous for use in a diverse variety of fields, from fundamental studies to applications such as high-resolution and dual-comb spectroscopy. △ Less

Submitted 17 November, 2024; originally announced November 2024.

Comments: 9 pages, 5 figures

Observation of the Yamaji effect in a cuprate superconductor

Authors: Mun K. Chan, Katherine A. Schreiber, Oscar E. Ayala-Valenzuela, Eric D. Bauer, Arkady Shekhter, Neil Harrison

Abstract: The pseudogap state of high-$T_{\rm c}$ cuprates, known for its partial gapping of the Fermi surface above the superconducting transition temperature $T_{\rm c}$, is believed to hold the key to understanding the origin of Planckian relaxation and quantum criticality. However, the nature of the Fermi surface in the pseudogap state has remained a fundamental open question. Here, we report the observ… ▽ More The pseudogap state of high-$T_{\rm c}$ cuprates, known for its partial gapping of the Fermi surface above the superconducting transition temperature $T_{\rm c}$, is believed to hold the key to understanding the origin of Planckian relaxation and quantum criticality. However, the nature of the Fermi surface in the pseudogap state has remained a fundamental open question. Here, we report the observation of the Yamaji effect above $T_{\rm c}$ in the single layer cuprate HgBa$_2$CuO$_{4+δ}$. This observation is direct evidence of closed Fermi surface pockets in the normal state of the pseudogap phase. The small size of the pockets determined from the Yamaji effect (occupying approximately $1.3\%$ of the Brillouin zone area) is all the more surprising given the absence of evidence for long-range broken translational symmetry that can reconstruct the Fermi-surface. △ Less

Submitted 15 November, 2024; originally announced November 2024.

Comments: 26 pages including supplements

To What Extent Does the Perceived Obesity Level of Humanoid Robots Affect People's Trust in Them?

Authors: Yoav Yoscovich, Amir Schreiber, Nir Hadar, Reuth Mirsky

Abstract: Despite obesity being widely discussed in the social sciences, the effect of a robot's perceived obesity level on trust is not covered by the field of HRI. While in research regarding humans, Body Mass Index (BMI) is commonly used as an indicator of obesity, this scale is completely irrelevant in the context of robots, so it is challenging to operationalize the perceived obesity level of robots; i… ▽ More Despite obesity being widely discussed in the social sciences, the effect of a robot's perceived obesity level on trust is not covered by the field of HRI. While in research regarding humans, Body Mass Index (BMI) is commonly used as an indicator of obesity, this scale is completely irrelevant in the context of robots, so it is challenging to operationalize the perceived obesity level of robots; indeed, while the effect of robot's size (or height) on people's trust in it was addressed in previous HRI papers, the perceived obesity level factor has not been addressed. This work examines to what extent the perceived obesity level of humanoid robots affects people's trust in them. To test this hypothesis, we conducted a within-subjects study where, using an online pre-validated questionnaire, the subjects were asked questions while being presented with two pictures of humanoids, one with a regular obesity level and the other with a high obesity level. The results show that humanoid robots with lower perceived obesity levels are significantly more likely to be trusted. △ Less

Submitted 8 November, 2024; originally announced November 2024.

Comments: Accepted to "Designing Interactive Humanoids: Learning Tasks through Interaction with Humans'' workshop on Humanoids 2025

Knowledge Graph Based Visual Search Application

Authors: Pawandeep Kaur Betz, Tobias Hecking, Andreas Schreiber, Andreas Gerndt

Abstract: The FAIR data principles advocate for making scientific and research datasets 'Findable' and 'Accessible'. Yet, the sheer volume and diversity of these datasets present significant challenges. Despite advancements in data search technologies, techniques for representing search results are still traditional and inadequate, often returning extraneous results. To address these issues, we developed a… ▽ More The FAIR data principles advocate for making scientific and research datasets 'Findable' and 'Accessible'. Yet, the sheer volume and diversity of these datasets present significant challenges. Despite advancements in data search technologies, techniques for representing search results are still traditional and inadequate, often returning extraneous results. To address these issues, we developed a knowledge graph based visual search application designed to enhance data search for Earth System Scientists. This application utilizes various chart widgets and a knowledge graph at the backend, connecting two disparate data repositories. △ Less

Submitted 30 October, 2024; originally announced October 2024.

Towards Real-Time Generation of Delay-Compensated Video Feeds for Outdoor Mobile Robot Teleoperation

Authors: Neeloy Chakraborty, Yixiao Fang, Andre Schreiber, Tianchen Ji, Zhe Huang, Aganze Mihigo, Cassidy Wall, Abdulrahman Almana, Katherine Driggs-Campbell

Abstract: Teleoperation is an important technology to enable supervisors to control agricultural robots remotely. However, environmental factors in dense crop rows and limitations in network infrastructure hinder the reliability of data streamed to teleoperators. These issues result in delayed and variable frame rate video feeds that often deviate significantly from the robot's actual viewpoint. We propose… ▽ More Teleoperation is an important technology to enable supervisors to control agricultural robots remotely. However, environmental factors in dense crop rows and limitations in network infrastructure hinder the reliability of data streamed to teleoperators. These issues result in delayed and variable frame rate video feeds that often deviate significantly from the robot's actual viewpoint. We propose a modular learning-based vision pipeline to generate delay-compensated images in real-time for supervisors. Our extensive offline evaluations demonstrate that our method generates more accurate images compared to state-of-the-art approaches in our setting. Additionally, ours is one of the few works to evaluate a delay-compensation method in outdoor field environments with complex terrain on data from a real robot in real-time. Resulting videos and code are provided at https://sites.google.com/illinois.edu/comp-teleop. △ Less

Submitted 16 February, 2025; v1 submitted 15 September, 2024; originally announced September 2024.

Comments: Accepted to IEEE ICRA 2025; 8 pages, 4 figures, 3 tables

W-RIZZ: A Weakly-Supervised Framework for Relative Traversability Estimation in Mobile Robotics

Authors: Andre Schreiber, Arun N. Sivakumar, Peter Du, Mateus V. Gasparino, Girish Chowdhary, Katherine Driggs-Campbell

Abstract: Successful deployment of mobile robots in unstructured domains requires an understanding of the environment and terrain to avoid hazardous areas, getting stuck, and colliding with obstacles. Traversability estimation--which predicts where in the environment a robot can travel--is one prominent approach that tackles this problem. Existing geometric methods may ignore important semantic consideratio… ▽ More Successful deployment of mobile robots in unstructured domains requires an understanding of the environment and terrain to avoid hazardous areas, getting stuck, and colliding with obstacles. Traversability estimation--which predicts where in the environment a robot can travel--is one prominent approach that tackles this problem. Existing geometric methods may ignore important semantic considerations, while semantic segmentation approaches involve a tedious labeling process. Recent self-supervised methods reduce labeling tedium, but require additional data or models and tend to struggle to explicitly label untraversable areas. To address these limitations, we introduce a weakly-supervised method for relative traversability estimation. Our method involves manually annotating the relative traversability of a small number of point pairs, which significantly reduces labeling effort compared to traditional segmentation-based methods and avoids the limitations of self-supervised methods. We further improve the performance of our method through a novel cross-image labeling strategy and loss function. We demonstrate the viability and performance of our method through deployment on a mobile robot in outdoor environments. △ Less

Submitted 4 June, 2024; originally announced June 2024.

Comments: Accepted by RA-L. Code is available at https://github.com/andreschreiber/W-RIZZ

Stochastic correction to the Maxwell-Bloch equations via the positive $P$ representation

Authors: Johannes Stowasser, Felix Hitzelhammer, Michael A. Schreiber, Ulrich Hohenester, Gabriela Slavcheva, Michael Haider, Christian Jirauschek

Abstract: Focusing on two-level atoms, we apply the positive $P$ representation to a full-wave mixed bosonic and fermionic system of Jaynes-Cummings type and identify an advantageous degree of freedom in the choice of the involved nonorthogonal fermionic basis states. On this basis, we propose a stochastic correction to the Maxwell-Bloch equations by relating them to a stochastic differential equation on a… ▽ More Focusing on two-level atoms, we apply the positive $P$ representation to a full-wave mixed bosonic and fermionic system of Jaynes-Cummings type and identify an advantageous degree of freedom in the choice of the involved nonorthogonal fermionic basis states. On this basis, we propose a stochastic correction to the Maxwell-Bloch equations by relating them to a stochastic differential equation on a nonclassical phase space, which captures the full second quantization dynamics of the system. This approach explores the connection between semiclassical and field-quantized treatments of light-matter interaction and can potentially be used for the simulation of nonclassical light sources while retaining the main advantages of a semiclassical model. △ Less

Submitted 10 July, 2024; v1 submitted 30 March, 2024; originally announced April 2024.

Comments: 15 pages, 4 figures

Journal ref: Phys. Rev. A 110, 013704 (2024)

Coulomb Branch Amplitudes from a Deformed Amplituhedron Geometry

Authors: Nima Arkani-Hamed, Wojciech Flieger, Johannes M. Henn, Anders Schreiber, Jaroslav Trnka

Abstract: The Amplituhedron provides, via geometric means, the all-loop integrand of scattering amplitudes in maximally supersymmetric Yang-Mills theory. Unfortunately, dimensional regularization, used conventionally for integration, breaks the beautiful geometric picture. This motivates us to propose a 'deformed' Amplituhedron. Focusing on the four-particle amplitude, we introduce two deformation parameter… ▽ More The Amplituhedron provides, via geometric means, the all-loop integrand of scattering amplitudes in maximally supersymmetric Yang-Mills theory. Unfortunately, dimensional regularization, used conventionally for integration, breaks the beautiful geometric picture. This motivates us to propose a 'deformed' Amplituhedron. Focusing on the four-particle amplitude, we introduce two deformation parameters, which can be interpreted as particle masses. We provide evidence that the mass pattern corresponds to a specific choice of vacuum expectation values on the Coulomb branch. The deformed amplitude is infrared finite, making the answer well-defined in four dimensions. Leveraging four-dimensional integration techniques based on differential equations, we compute the amplitude up to two loops. In the limit where the deformation parameters are taken to zero, we recover the known Bern-Dixon-Smirnov amplitude. In the limit where only one deformation parameter is taken to zero, we find a connection to the angle-dependent cusp anomalous dimension. △ Less

Submitted 17 November, 2023; originally announced November 2023.

Comments: 6 pages, 2 figures

Modeling of Fluctuations in Dynamical Optoelectronic Device Simulations within a Maxwell-Density Matrix Langevin Approach

Authors: Johannes Popp, Johannes Stowasser, Michael A. Schreiber, Lukas Seitner, Felix Hitzelhammer, Michael Haider, Gabriela Slavcheva, Christian Jirauschek

Abstract: We present a full-wave Maxwell-density matrix simulation tool including c-number stochastic noise terms for the modeling of the spatiotemporal dynamics in active photonic devices, such as quantum cascade lasers (QCLs) and quantum dot (QD) structures. The coherent light-matter interaction in such devices plays an important role in the generation of frequency combs and other nonlinear and nonclassic… ▽ More We present a full-wave Maxwell-density matrix simulation tool including c-number stochastic noise terms for the modeling of the spatiotemporal dynamics in active photonic devices, such as quantum cascade lasers (QCLs) and quantum dot (QD) structures. The coherent light-matter interaction in such devices plays an important role in the generation of frequency combs and other nonlinear and nonclassical optical phenomena. Since the emergence of nonlinear and nonclassical features is directly linked to the noise properties, detailed simulations of the noise characteristics are required for the development of low-noise quantum optoelectronic sources. Our semiclassical simulation framework is based on the Lindblad equation for the electron dynamics, coupled with Maxwell's equations for the optical propagation in the laser waveguide. Fluctuations arising from interactions of the optical field and quantum system with their reservoirs are treated within the quantum Langevin theory. Here, the fluctuations are included by adding stochastic c-number terms to the Maxwell-density matrix equations. The implementation in the mbsolve dynamic simulation framework is publicly available. △ Less

Submitted 31 January, 2024; v1 submitted 24 October, 2023; originally announced October 2023.

Comments: 20 pages, 5 figures, accepted for publication in APL Quantum

An Attentional Recurrent Neural Network for Occlusion-Aware Proactive Anomaly Detection in Field Robot Navigation

Authors: Andre Schreiber, Tianchen Ji, D. Livingston McPherson, Katherine Driggs-Campbell

Abstract: The use of mobile robots in unstructured environments like the agricultural field is becoming increasingly common. The ability for such field robots to proactively identify and avoid failures is thus crucial for ensuring efficiency and avoiding damage. However, the cluttered field environment introduces various sources of noise (such as sensor occlusions) that make proactive anomaly detection diff… ▽ More The use of mobile robots in unstructured environments like the agricultural field is becoming increasingly common. The ability for such field robots to proactively identify and avoid failures is thus crucial for ensuring efficiency and avoiding damage. However, the cluttered field environment introduces various sources of noise (such as sensor occlusions) that make proactive anomaly detection difficult. Existing approaches can show poor performance in sensor occlusion scenarios as they typically do not explicitly model occlusions and only leverage current sensory inputs. In this work, we present an attention-based recurrent neural network architecture for proactive anomaly detection that fuses current sensory inputs and planned control actions with a latent representation of prior robot state. We enhance our model with an explicitly-learned model of sensor occlusion that is used to modulate the use of our latent representation of prior robot state. Our method shows improved anomaly detection performance and enables mobile field robots to display increased resilience to predicting false positives regarding navigation failure during periods of sensor occlusion, particularly in cases where all sensors are briefly occluded. Our code is available at: https://github.com/andreschreiber/roar △ Less

Submitted 28 September, 2023; originally announced September 2023.

Comments: Accepted at IROS 2023. Code available at https://github.com/andreschreiber/ROAR

Rapid Artefact Removal and H&E-Stained Tissue Segmentation

Authors: B. A. Schreiber, J. Denholm, F. Jaeckle, M. J. Arends, K. M. Branson, C. -B. Schönlieb, E. J. Soilleux

Abstract: We present an innovative method for rapidly segmenting hematoxylin and eosin (H&E)-stained tissue in whole-slide images (WSIs) that eliminates a wide range of undesirable artefacts such as pen marks and scanning artefacts. Our method involves taking a single-channel representation of a lowmagnification RGB overview of the WSI in which the pixel values are bimodally distributed such that H&E-staine… ▽ More We present an innovative method for rapidly segmenting hematoxylin and eosin (H&E)-stained tissue in whole-slide images (WSIs) that eliminates a wide range of undesirable artefacts such as pen marks and scanning artefacts. Our method involves taking a single-channel representation of a lowmagnification RGB overview of the WSI in which the pixel values are bimodally distributed such that H&E-stained tissue is easily distinguished from both background and a wide variety of artefacts. We demonstrate our method on 30 WSIs prepared from a wide range of institutions and WSI digital scanners, each containing substantial artefacts, and compare it to segmentations provided by Otsu thresholding and Histolab tissue segmentation and pen filtering tools. We found that our method segmented the tissue and fully removed all artefacts in 29 out of 30 WSIs, whereas Otsu thresholding failed to remove any artefacts, and the Histolab pen filtering tools only partially removed the pen marks. The beauty of our approach lies in its simplicity: manipulating RGB colour space and using Otsu thresholding allows for the segmentation of H&E-stained tissue and the rapid removal of artefacts without the need for machine learning or parameter tuning. △ Less

Submitted 19 December, 2023; v1 submitted 25 August, 2023; originally announced August 2023.

Comments: 7 pages, 3 figures

On the power series of involutory functions

Authors: Alfred Schreiber

Abstract: It is shown that the coefficients of any involutory function $f$ represented as a power series can be expressed in terms of multivariable Lah polynomials. This result is based on the fact that any such $f~(\neq\text{identity})$ can be regarded as a (compositional) conjugate of negative identity. Moreover, a constructive proof of this statement is given. It is shown that the coefficients of any involutory function $f$ represented as a power series can be expressed in terms of multivariable Lah polynomials. This result is based on the fact that any such $f~(\neq\text{identity})$ can be regarded as a (compositional) conjugate of negative identity. Moreover, a constructive proof of this statement is given. △ Less

Submitted 6 October, 2023; v1 submitted 5 August, 2023; originally announced August 2023.

Comments: 9 pages

MSC Class: 13F25; 11B83; 11B73; 05A19; 11C08

Journal ref: Enumer. Combin. Appl. 4:2 (2024), Article S2R10

Note on expanding implicit functions into formal power series by means of multivariable Stirling polynomials

Authors: Alfred Schreiber

Abstract: Starting from the representation of a function $f(x,y)$ as a formal power series with Taylor coefficients $f_{m,n}$, we establish a formal series for the implicit function $y=y(x)$ such that $f(x,y)=0$ and the coefficients of the series for $y$ depend exclusively on the $f_{m,n}$. The solution to this problem provided here relies on using partial Bell polynomials and their orthogonal companions. Starting from the representation of a function $f(x,y)$ as a formal power series with Taylor coefficients $f_{m,n}$, we establish a formal series for the implicit function $y=y(x)$ such that $f(x,y)=0$ and the coefficients of the series for $y$ depend exclusively on the $f_{m,n}$. The solution to this problem provided here relies on using partial Bell polynomials and their orthogonal companions. △ Less

Submitted 5 August, 2023; v1 submitted 5 July, 2023; originally announced July 2023.

Comments: 5 pages; some minor corrections and improvements were made

MSC Class: Primary: 13F25; 11B83; Secondary: 05A19; 11C08

Factorial Polynomials and Associated Number Families

Authors: Alfred Schreiber

Abstract: Two doubly indexed families of polynomials in several indeterminates are considered. They are related to the falling and rising factorials in a similar way as the potential polynomials (introduced by L. Comtet) are related to the ordinary power function. We study the inversion relations valid for these factorial polynomials as well as the number families associated with them. Two doubly indexed families of polynomials in several indeterminates are considered. They are related to the falling and rising factorials in a similar way as the potential polynomials (introduced by L. Comtet) are related to the ordinary power function. We study the inversion relations valid for these factorial polynomials as well as the number families associated with them. △ Less

Submitted 9 December, 2023; v1 submitted 26 June, 2023; originally announced June 2023.

Comments: 10 pages

MSC Class: 11B83 11C08 (Primary) 05A10 11B65 11B73 (Secondary)

All-order celestial OPE from on-shell recursion

Authors: Lecheng Ren, Anders Schreiber, Atul Sharma, Diandian Wang

Abstract: We determine tree level, all-order celestial operator product expansions (OPEs) of gluons and gravitons in the maximally helicity violating (MHV) sector. We start by obtaining the all-order collinear expansions of MHV amplitudes using the inverse soft recursion relations that they satisfy. These collinear expansions are recast as celestial OPE expansions in bases of momentum as well as boost eigen… ▽ More We determine tree level, all-order celestial operator product expansions (OPEs) of gluons and gravitons in the maximally helicity violating (MHV) sector. We start by obtaining the all-order collinear expansions of MHV amplitudes using the inverse soft recursion relations that they satisfy. These collinear expansions are recast as celestial OPE expansions in bases of momentum as well as boost eigenstates. This shows that inverse soft recursion for MHV amplitudes is dual to OPE recursion in celestial conformal field theory. △ Less

Submitted 14 October, 2023; v1 submitted 19 May, 2023; originally announced May 2023.

Comments: 26 pages, no figures; v2: matches published version

Journal ref: J. High Energ. Phys. 2023, 80 (2023)

Heterogeneous Noise and Stable Miscoordination

Authors: Srinivas Arigapudi, Yuval Heller, Amnon Schreiber

Abstract: Coordination games admit two types of equilibria: pure equilibria, where all players successfully coordinate their actions, and mixed equilibria, where players frequently experience miscoordination. The existing literature shows that under many evolutionary dynamics, populations converge to a pure equilibrium from almost any initial distribution of actions. By contrast, we show that under plausibl… ▽ More Coordination games admit two types of equilibria: pure equilibria, where all players successfully coordinate their actions, and mixed equilibria, where players frequently experience miscoordination. The existing literature shows that under many evolutionary dynamics, populations converge to a pure equilibrium from almost any initial distribution of actions. By contrast, we show that under plausible learning dynamics, where agents observe the actions of a random sample of their opponents and adjust their strategies accordingly, stable miscoordination can arise when there is heterogeneity in the sample sizes. This occurs when some agents make decisions based on small samples (anecdotal evidence) while others rely on large samples. Finally, we demonstrate the empirical relevance of our results in a bargaining application. Final pre-print of a manuscript accepted for publication in American Economic Journal: Microeconomics. △ Less

Submitted 25 January, 2025; v1 submitted 17 May, 2023; originally announced May 2023.

A Static Analysis Platform for Investigating Security Trends in Repositories

Authors: Tim Sonnekalb, Christopher-Tobias Knaust, Bernd Gruner, Clemens-Alexander Brust, Lynn von Kurnatowski, Andreas Schreiber, Thomas S. Heinze, Patrick Mäder

Abstract: Static analysis tools come in many forms andconfigurations, allowing them to handle various tasks in a (secure) development process: code style linting, bug/vulnerability detection, verification, etc., and adapt to the specific requirements of a software project, thus reducing the number of false positives.The wide range of configuration options poses a hurdle in their use for software developers,… ▽ More Static analysis tools come in many forms andconfigurations, allowing them to handle various tasks in a (secure) development process: code style linting, bug/vulnerability detection, verification, etc., and adapt to the specific requirements of a software project, thus reducing the number of false positives.The wide range of configuration options poses a hurdle in their use for software developers, as the tools cannot be deployed out-of-the-box. However, static analysis tools only develop their full benefit if they are integrated into the software development workflow and used on regular. Vulnerability management should be integrated via version history to identify hotspots, for example. We present an analysis platform that integrates several static analysis tools that enable Git-based repositories to continuously monitor warnings across their version history. The framework is easily extensible with other tools and programming languages. We provide a visualization component in the form of a dashboard to display security trends and hotspots. Our tool can also be used to create a database of security alerts at a scale well-suited for machine learning applications such as bug or vulnerability detection. △ Less

Submitted 4 April, 2023; originally announced April 2023.

Mobility Analysis of Screw-Based Locomotion and Propulsion in Various Media

Authors: Jason Lim, Calvin Joyce, Elizabeth Peiros, Mingwei Yeoh, Peter V. Gavrilov, Sara G. Wickenhiser, Dimitri A. Schreiber, Florian Richter, Michael C. Yip

Abstract: Robots "in-the-wild" encounter and must traverse widely varying terrain, ranging from solid ground to granular materials like sand to full liquids. Numerous approaches exist, including wheeled and legged robots, each excelling in specific domains. Screw-based locomotion is a promising approach for multi-domain mobility, leveraged in exploratory robotic designs, including amphibious vehicles and sn… ▽ More Robots "in-the-wild" encounter and must traverse widely varying terrain, ranging from solid ground to granular materials like sand to full liquids. Numerous approaches exist, including wheeled and legged robots, each excelling in specific domains. Screw-based locomotion is a promising approach for multi-domain mobility, leveraged in exploratory robotic designs, including amphibious vehicles and snake robotics. However, unlike other forms of locomotion, there is a limited exploration of the models, parameter effects, and efficiency for multi-terrain Archimedes screw locomotion. In this work, we present work towards this missing component in understanding screw-based locomotion: comprehensive experimental results and performance analysis across different media. We designed a mobile test bed for indoor and outdoor experimentation to collect this data. Beyond quantitatively showing the multi-domain mobility of screw-based locomotion, we envision future researchers and engineers using the presented results to design effective screw-based locomotion systems. △ Less

Submitted 7 March, 2023; v1 submitted 25 January, 2023; originally announced January 2023.

Comments: 7 pages, 22 figures, ICRA 2023

Multiparameter Persistent Homology-Generic Structures and Quantum Computing

Authors: Amelie Schreiber

Abstract: The following article is an application of commutative algebra to the study of multiparameter persistent homology in topological data analysis. In particular, the theory of finite free resolutions of modules over polynomial rings is applied to multiparameter persistent modules. The generic structure of such resolutions and the classifying spaces involved are studied using results spanning several… ▽ More The following article is an application of commutative algebra to the study of multiparameter persistent homology in topological data analysis. In particular, the theory of finite free resolutions of modules over polynomial rings is applied to multiparameter persistent modules. The generic structure of such resolutions and the classifying spaces involved are studied using results spanning several decades of research in commutative algebra, beginning with the study of generic structural properties of free resolutions popularized by Buchsbaum and Eisenbud. Many explicit computations are presented using the computer algebra package Macaulay2, along with the code used for computations. This paper serves as a collection of theoretical results from commutative algebra which will be necessary as a foundation in the future use of computational methods using Gröbner bases, standard monomial theories, Young tableaux, Schur functors and Schur polynomials, and the classical representation theory and invariant theory involved in linear algebraic group actions. The methods used are in general characteristic free and are designed to work over the ring of integers in order to be useful for applications and computations in data science. As an applications we explain how one could apply 2-parameter persistent homology to study time-varying interactions graphs associated to quadratic Hamiltonians such as those in the Ising model or Kitaev's torus code and other surface codes. △ Less

Submitted 20 October, 2022; originally announced October 2022.

Comments: 40 pages, 1 figure

MSC Class: 13P25; 13P10; 13P20 ACM Class: E.1; E.4

Quantification of 242Pu with a Microcalorimeter Gamma Spectrometer

Authors: David J. Mercer, Ryan Winkler, Katrina E. Koehler, Daniel T. Becker, Douglas A. Bennett, Matthew H. Carpenter, Mark P. Croce, Krystal I. de Castro, Eric A. Feissle, Joseph W. Fowler, Johnathon D. Gard, John A. B. Mates, Daniel G. McNeel, Nathan J. Ortiz, Daniel Schmidt, Katherine A. Schreiber, Daniel S. Swetz, Joel N. Ullom, Leila R. Vale, Sophie L. Weidenbenner, Abigail L. Wessels

Abstract: We report measurements of the 103-keV and 159-keV gamma ray signatures of 242Pu using microcalorimetry. This is the first observation of these gamma rays in a non-destructive measurement of an unprepared sample, and so represents an important advance in nuclear material accountancy. The measurement campaign also serves as the first demonstration of a field campaign with a portable microcalorimeter… ▽ More We report measurements of the 103-keV and 159-keV gamma ray signatures of 242Pu using microcalorimetry. This is the first observation of these gamma rays in a non-destructive measurement of an unprepared sample, and so represents an important advance in nuclear material accountancy. The measurement campaign also serves as the first demonstration of a field campaign with a portable microcalorimeter gamma-ray spectrometer. For the 103-keV gamma ray we report an improved centroid energy and emission probability. △ Less

Submitted 8 July, 2022; v1 submitted 6 February, 2022; originally announced February 2022.

Comments: 6 pages, 7 figures

Report number: LA-UR-22-20077

CRANE: a 10 Degree-of-Freedom, Tele-surgical System for Dexterous Manipulation within Imaging Bores

Authors: Dimitri A. Schreiber, Zhaowei Yu, Hanpeng Jiang, Taylor Henderson, Guosong Li, Julie Yu, Renjie Zhu, Alexander M. Norbash, Michael C. Yip

Abstract: Physicians perform minimally invasive percutaneous procedures under Computed Tomography (CT) image guidance both for the diagnosis and treatment of numerous diseases. For these procedures performed within Computed Tomography Scanners, robots can enable physicians to more accurately target sub-dermal lesions while increasing safety. However, existing robots for this application have limited dexteri… ▽ More Physicians perform minimally invasive percutaneous procedures under Computed Tomography (CT) image guidance both for the diagnosis and treatment of numerous diseases. For these procedures performed within Computed Tomography Scanners, robots can enable physicians to more accurately target sub-dermal lesions while increasing safety. However, existing robots for this application have limited dexterity, workspace, or accuracy. This paper describes the design, manufacture, and performance of a highly dexterous, low-profile, 8+2 Degree-ofFreedom (DoF) robotic arm for CT guided percutaneous needle biopsy. In this article, we propose CRANE: CT Robot and Needle Emplacer. The design focuses on system dexterity with high accuracy: extending physicians' ability to manipulate and insert needles within the scanner bore while providing the high accuracy possible with a robot. We also propose and validate a system architecture and control scheme for low profile and highly accurate image-guided robotics, that meets the clinical requirements for target accuracy during an in-situ evaluation. The accuracy is additionally evaluated through a trajectory tracking evaluation resulting in <0.2mm and <0.71degree tracking error. Finally, we present a novel needle driving and grasping mechanism with controlling electronics that provides simple manufacturing, sterilization, and adaptability to accommodate different sizes and types of needles. △ Less

Submitted 17 March, 2022; v1 submitted 27 September, 2021; originally announced September 2021.

Comments: 6+2 pages, 8 figures, ICRA 2022

Sampling dynamics and stable mixing in hawk-dove games

Authors: Srinivas Arigapudi, Yuval Heller, Amnon Schreiber

Abstract: The hawk-dove game admits two types of equilibria: an asymmetric pure equilibrium in which players in one population play hawk and players in the other population play dove, and an inefficient symmetric mixed equilibrium, in which hawks are frequently matched against each other. The existing literature shows that populations will converge to playing one of the pure equilibria from almost any initi… ▽ More The hawk-dove game admits two types of equilibria: an asymmetric pure equilibrium in which players in one population play hawk and players in the other population play dove, and an inefficient symmetric mixed equilibrium, in which hawks are frequently matched against each other. The existing literature shows that populations will converge to playing one of the pure equilibria from almost any initial state. By contrast, we show that plausible sampling dynamics, in which agents occasionally revise their actions by observing either opponents' behavior or payoffs in a few past interactions, can induce the opposite result: global convergence to one of the inefficient mixed stationary states. △ Less

Submitted 16 June, 2022; v1 submitted 18 July, 2021; originally announced July 2021.

Implicit Gender Bias in Computer Science -- A Qualitative Study

Authors: Aurélie Breidenbach, Caroline Mahlow, Andreas Schreiber

Abstract: Gender diversity in the tech sector is - not yet? - sufficient to create a balanced ratio of men and women. For many women, access to computer science is hampered by socialization-related, social, cultural and structural obstacles. The so-called implicit gender bias has a great influence in this respect. The lack of contact in areas of computer science makes it difficult to develop or expand poten… ▽ More Gender diversity in the tech sector is - not yet? - sufficient to create a balanced ratio of men and women. For many women, access to computer science is hampered by socialization-related, social, cultural and structural obstacles. The so-called implicit gender bias has a great influence in this respect. The lack of contact in areas of computer science makes it difficult to develop or expand potential interests. Female role models as well as more transparency of the job description should help women to promote their - possible - interest in the job description. However, gender diversity can also be promoted and fostered through adapted measures by leaders. △ Less

Submitted 4 July, 2021; originally announced July 2021.

ACM Class: K.4.2; K.7.0

Symbol Alphabets from Plabic Graphs III: n=9

Authors: Jorge Mago, Anders Schreiber, Marcus Spradlin, Akshay Yelleshpur Srikant, Anastasia Volovich

Abstract: Symbol alphabets of n-particle amplitudes in N=4 super-Yang-Mills theory are known to contain certain cluster variables of Gr(4,n) as well as certain algebraic functions of cluster variables. In this paper we solve the C Z = 0 matrix equations associated to several cells of the totally non-negative Grassmannian, combining methods of arXiv:2012.15812 for rational letters and arXiv:2007.00646 for al… ▽ More Symbol alphabets of n-particle amplitudes in N=4 super-Yang-Mills theory are known to contain certain cluster variables of Gr(4,n) as well as certain algebraic functions of cluster variables. In this paper we solve the C Z = 0 matrix equations associated to several cells of the totally non-negative Grassmannian, combining methods of arXiv:2012.15812 for rational letters and arXiv:2007.00646 for algebraic letters. We identify sets of parameterizations of the top cell of Gr_+(5,9) for which the solutions produce all of (and only) the cluster variable letters of the 2-loop nine-particle NMHV amplitude, and identify plabic graphs from which all of its algebraic letters originate. △ Less

Submitted 2 June, 2021; originally announced June 2021.

Comments: 14 pages, 4 figures

Symbol Alphabets from Plabic Graphs II: Rational Letters

Authors: Jorge Mago, Anders Schreiber, Marcus Spradlin, Akshay Yelleshpur Srikant, Anastasia Volovich

Abstract: Symbol alphabets of n-particle amplitudes in N=4 super-Yang-Mills theory are known to contain certain cluster variables of Gr(4,n) as well as certain algebraic functions of cluster variables. The first paper arXiv:2007.00646 in this series focused on n=8 algebraic letters. In this paper we show that it is possible to obtain all rational symbol letters (in fact all cluster variables) by solving mat… ▽ More Symbol alphabets of n-particle amplitudes in N=4 super-Yang-Mills theory are known to contain certain cluster variables of Gr(4,n) as well as certain algebraic functions of cluster variables. The first paper arXiv:2007.00646 in this series focused on n=8 algebraic letters. In this paper we show that it is possible to obtain all rational symbol letters (in fact all cluster variables) by solving matrix equations of the form C Z = 0 if one allows C to be an arbitrary cluster parameterization of the top cell of Gr_+(n-4,n). △ Less

Submitted 21 September, 2021; v1 submitted 31 December, 2020; originally announced December 2020.

Comments: 10 pages, 2 figures; v2: minor typos corrected

Testing the Jeans, Toomre and Bonnor-Ebert concepts for planetesimal formation: 3D streaming instability simulations of diffusion regulated formation of planetesimals

Authors: Hubert Klahr, Andreas Schreiber

Abstract: We perform streaming instability simulations at Hill density and beyond, to demonstrate that Planetesimal formation is not completed when pebble accumulations exceed the local Hill density. We find that Hill density is not a sufficient criterion for further gravitational collapse of a pebble cloud into a planetesimal, but that additionally the accumulated mass has to be large enough to overcome tu… ▽ More We perform streaming instability simulations at Hill density and beyond, to demonstrate that Planetesimal formation is not completed when pebble accumulations exceed the local Hill density. We find that Hill density is not a sufficient criterion for further gravitational collapse of a pebble cloud into a planetesimal, but that additionally the accumulated mass has to be large enough to overcome turbulent diffusion. A Toomre analysis of the system indicates that linear self-gravity modes play no role on the scale of our numerical simulation. We nevertheless find that self-gravity, by vertically contracting the pebble layer, increases the strength of turbulence, which is either an indication of Kelvin Helmholtz Instability or a boost of the streaming-instability. We furthermore determine the Bonnor-Ebert central density to which a pebble cloud of given mass has to be compressed before it would be able to continue contraction against internal diffusion. As the equivalent "solid body" size of the pebble cloud scales with the central density to the power of -1/6, it is much easier to have a pebble cloud of 100 km equivalent size to collapse than one of 10 km for the same level of turbulent diffusion. This can explain the lack of small bodies in the solar system and predicts to have small objects formed by gravitational collapse at large pebble to gas ratios, in the outskirts of the solar nebula and at late times of generally reduced gas mass. △ Less

Submitted 19 November, 2020; v1 submitted 16 November, 2020; originally announced November 2020.

Comments: 28 pages, 7 figures, ApJ in press (updated citation list and minus some typos)

Visualization of Contributions to Open-Source Projects

Authors: Andreas Schreiber

Abstract: We want to analyze visually, to what extend team members and external developers contribute to open-source projects. This gives a high-level impression about collaboration in that projects. We achieve this by recording provenance of the development process and use graph drawing on the resulting provenance graph. Our graph drawings show, which developers are jointly changed the same files -- and to… ▽ More We want to analyze visually, to what extend team members and external developers contribute to open-source projects. This gives a high-level impression about collaboration in that projects. We achieve this by recording provenance of the development process and use graph drawing on the resulting provenance graph. Our graph drawings show, which developers are jointly changed the same files -- and to what extent -- which we show at Germany's COVID-19 exposure notification app 'Corona-Warn-App'. △ Less

Submitted 17 October, 2020; originally announced October 2020.

MSC Class: 68R10

Anisotropic 3D Multi-Stream CNN for Accurate Prostate Segmentation from Multi-Planar MRI

Authors: Anneke Meyer, Grzegorz Chlebus, Marko Rak, Daniel Schindele, Martin Schostak, Bram van Ginneken, Andrea Schenk, Hans Meine, Horst K. Hahn, Andreas Schreiber, Christian Hansen

Abstract: Background and Objective: Accurate and reliable segmentation of the prostate gland in MR images can support the clinical assessment of prostate cancer, as well as the planning and monitoring of focal and loco-regional therapeutic interventions. Despite the availability of multi-planar MR scans due to standardized protocols, the majority of segmentation approaches presented in the literature consid… ▽ More Background and Objective: Accurate and reliable segmentation of the prostate gland in MR images can support the clinical assessment of prostate cancer, as well as the planning and monitoring of focal and loco-regional therapeutic interventions. Despite the availability of multi-planar MR scans due to standardized protocols, the majority of segmentation approaches presented in the literature consider the axial scans only. Methods: We propose an anisotropic 3D multi-stream CNN architecture, which processes additional scan directions to produce a higher-resolution isotropic prostate segmentation. We investigate two variants of our architecture, which work on two (dual-plane) and three (triple-plane) image orientations, respectively. We compare them with the standard baseline (single-plane) used in literature, i.e., plain axial segmentation. To realize a fair comparison, we employ a hyperparameter optimization strategy to select optimal configurations for the individual approaches. Results: Training and evaluation on two datasets spanning multiple sites obtain statistical significant improvement over the plain axial segmentation ($p<0.05$ on the Dice similarity coefficient). The improvement can be observed especially at the base ($0.898$ single-plane vs. $0.906$ triple-plane) and apex ($0.888$ single-plane vs. $0.901$ dual-plane). Conclusion: This study indicates that models employing two or three scan directions are superior to plain axial segmentation. The knowledge of precise boundaries of the prostate is crucial for the conservation of risk structures. Thus, the proposed models have the potential to improve the outcome of prostate cancer diagnosis and therapies. △ Less

Submitted 2 December, 2020; v1 submitted 23 September, 2020; originally announced September 2020.

Comments: Accepted manuscript in Elsevier Computer Methods and Programs in Biomedicine. Anneke Meyer and Grzegorz Chlebus contributed equally to this work. Sourcecode available at https://github.com/AnnekeMeyer/AnisotropicMultiStreamCNN. Data available at https://doi.org/10.7937/TCIA.2019.DEG7ZG1U

Inverse relations and reciprocity laws involving partial Bell polynomials and related extensions

Authors: Alfred Schreiber

Abstract: The objective of this paper is, in the main, twofold: Firstly, to develop an algebraic setting for dealing with Bell polynomials and related extensions. Secondly, based on the author's previous work on multivariate Stirling polynomials (2015), to present a number of new results related to different types of inverse relationships, among these (1) the use of multivariable Lah polynomials for charact… ▽ More The objective of this paper is, in the main, twofold: Firstly, to develop an algebraic setting for dealing with Bell polynomials and related extensions. Secondly, based on the author's previous work on multivariate Stirling polynomials (2015), to present a number of new results related to different types of inverse relationships, among these (1) the use of multivariable Lah polynomials for characterizing self-orthogonal families of polynomials that can be represented by Bell polynomials, (2) the introduction of `generalized Lagrange inversion polynomials' that invert functions characterized in a specific way by sequences of constants, (3) a general reciprocity theorem according to which, in particular, the partial Bell polynomials $B_{n,k}$ and their orthogonal companions $A_{n,k}$ belong to one single class of Stirling polynomials: $A_{n,k}=(-1)^{n-k}B_{-k,-n}$. Moreover, of some numerical statements (such as Stirling inversion, Schlömilch-Schläfli formulas) generalized polynomial versions are established. A number of well-known theorems (Jabotinsky, Mullin-Rota, Melzak, Comtet) are given new proofs. △ Less

Submitted 27 January, 2021; v1 submitted 19 September, 2020; originally announced September 2020.

Comments: 73 pages. The article continues the research reported by the author in his paper "Multivariate Stirling polynomials of the first and second kind", Discrete Mathematics 338 (2015), 2462-2484. Preprint version: arXiv:1311.5067

MSC Class: 05A19; 11B73; 11B83 (Primary); 05A15; 05E99; 11C08; 13F25; 13N15; 40E99; 46E25 (Secondary)

Journal ref: Enumer. Combin. Appl. 1:1 (2021) Article S2R3

The Pencil Code, a modular MPI code for partial differential equations and particles: multipurpose and multiuser-maintained

Authors: A. Brandenburg, A. Johansen, P. A. Bourdin, W. Dobler, W. Lyra, M. Rheinhardt, S. Bingert, N. E. L. Haugen, A. Mee, F. Gent, N. Babkovskaia, C. -C. Yang, T. Heinemann, B. Dintrans, D. Mitra, S. Candelaresi, J. Warnecke, P. J. Käpylä, A. Schreiber, P. Chatterjee, M. J. Käpylä, X. -Y. Li, J. Krüger, J. R. Aarnes, G. R. Sarson , et al. (12 additional authors not shown)

Abstract: The Pencil Code is a highly modular physics-oriented simulation code that can be adapted to a wide range of applications. It is primarily designed to solve partial differential equations (PDEs) of compressible hydrodynamics and has lots of add-ons ranging from astrophysical magnetohydrodynamics (MHD) to meteorological cloud microphysics and engineering applications in combustion. Nevertheless, the… ▽ More The Pencil Code is a highly modular physics-oriented simulation code that can be adapted to a wide range of applications. It is primarily designed to solve partial differential equations (PDEs) of compressible hydrodynamics and has lots of add-ons ranging from astrophysical magnetohydrodynamics (MHD) to meteorological cloud microphysics and engineering applications in combustion. Nevertheless, the framework is general and can also be applied to situations not related to hydrodynamics or even PDEs, for example when just the message passing interface or input/output strategies of the code are to be used. The code can also evolve Lagrangian (inertial and noninertial) particles, their coagulation and condensation, as well as their interaction with the fluid. △ Less

Submitted 17 September, 2020; originally announced September 2020.

Comments: 7 pages, submitted to the Journal for Open Source Software (JOSS)

Report number: NORDITA-2020-087

Journal ref: Journal of Open Source Software 6, 2807 (2021)

Turbulence sets the length scale for planetesimal formation: Local 2D simulations of streaming instability and planetesimal formation

Authors: Hubert Klahr, Andreas Schreiber

Abstract: The trans-Neptunian object 2014 MU69, named Arrokoth, is the most recent evidence that planetesimals did not form by successive collisions of smaller objects, but by the direct gravitational collapse of a pebble cloud. But what process sets the physical scales on which this collapse may occur? Star formation has the Jeans mass, that is when gravity is stronger than thermal pressure, helping us to… ▽ More The trans-Neptunian object 2014 MU69, named Arrokoth, is the most recent evidence that planetesimals did not form by successive collisions of smaller objects, but by the direct gravitational collapse of a pebble cloud. But what process sets the physical scales on which this collapse may occur? Star formation has the Jeans mass, that is when gravity is stronger than thermal pressure, helping us to understand the mass of our sun. But what controls mass and size in the case of planetesimal formation? Both asteroids and Kuiper belt objects show a kink in their size distribution at 100 km. Here we derive a gravitational collapse criterion for a pebble cloud to fragment to planetesimals, showing that a critical mass is needed for the clump to overcome turbulent diffusion. We successfully tested the validity of this criterion in direct numerical simulations of planetesimal formation triggered by the streaming instability. Our result can, therefore, explain the sizes for planetesimals found forming in streaming instability simulations in the literature, while not addressing the detailed size distribution. We find that the observed characteristic diameters of $\sim$ 100 km correspond to the critical mass of a pebble cloud set by the strength of turbulent diffusion stemming from streaming instability for a wide region of a solar nebula model from 2 - 60 au, with a tendency to allow for smaller objects at distances beyond and at late times, when the nebula gas gets depleted. △ Less

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

Comments: 30 pages, 16 figures, 3 movies, ApJ in press

A Boolean Control Network Approach to the Formal Verification of Feedback Context-Aware Pervasive Systems

Authors: Fabio A. Schreiber, Maria Elena Valcher

Abstract: The emergence of Context-aware systems in the domains of autonomic, monitoring, and safety-critical applications asks for the definition of methods to formally assess their correctness and dependability properties. Many of these properties are common to Automatic Control systems, a field that developed well established analysis and design techniques to formalize and investigate them. In this paper… ▽ More The emergence of Context-aware systems in the domains of autonomic, monitoring, and safety-critical applications asks for the definition of methods to formally assess their correctness and dependability properties. Many of these properties are common to Automatic Control systems, a field that developed well established analysis and design techniques to formalize and investigate them. In this paper, we use Boolean Control Networks, to discuss some properties of a feedback Context-aware system in a case study based on a healthcare management example. △ Less

Submitted 6 July, 2020; originally announced July 2020.

Symbol Alphabets from Plabic Graphs

Authors: Jorge Mago, Anders Schreiber, Marcus Spradlin, Anastasia Volovich

Abstract: Symbol alphabets of n-particle amplitudes in N=4 super-Yang-Mills theory are known to contain certain cluster variables of Gr(4,n) as well as certain algebraic functions of cluster variables. In this paper we suggest an algorithm for computing these symbol alphabets from plabic graphs by solving matrix equations of the form C Z = 0 to associate functions on Gr(m,n) to parameterizations of certain… ▽ More Symbol alphabets of n-particle amplitudes in N=4 super-Yang-Mills theory are known to contain certain cluster variables of Gr(4,n) as well as certain algebraic functions of cluster variables. In this paper we suggest an algorithm for computing these symbol alphabets from plabic graphs by solving matrix equations of the form C Z = 0 to associate functions on Gr(m,n) to parameterizations of certain cells of Gr(k,n) indexed by plabic graphs. For m=4 and n=8 we show that this association precisely reproduces the 18 algebraic symbol letters of the two-loop NMHV eight-point amplitude from four plabic graphs. △ Less

Submitted 19 October, 2020; v1 submitted 1 July, 2020; originally announced July 2020.

Comments: 19 pages; v2: minor corrections and improvements

Social Welfare in Search Games with Asymmetric Information

Authors: Gilad Bavly, Yuval Heller, Amnon Schreiber

Abstract: We consider games in which players search for a hidden prize, and they have asymmetric information about the prize location. We study the social payoff in equilibria of these games. We present sufficient conditions for the existence of an equilibrium that yields the first-best payoff (i.e., the highest social payoff under any strategy profile), and we characterize the first-best payoff. The result… ▽ More We consider games in which players search for a hidden prize, and they have asymmetric information about the prize location. We study the social payoff in equilibria of these games. We present sufficient conditions for the existence of an equilibrium that yields the first-best payoff (i.e., the highest social payoff under any strategy profile), and we characterize the first-best payoff. The results have interesting implications for innovation contests and R&D races. △ Less

Submitted 16 April, 2022; v1 submitted 26 June, 2020; originally announced June 2020.

Comments: 34 pages main text (including 9 figures) + 14 pages of appendices + bibliography

Journal ref: Journal of Economic Theory, 2022

A Note on One-loop Cluster Adjacency in N = 4 SYM

Authors: Jorge Mago, Anders Schreiber, Marcus Spradlin, Anastasia Volovich

Abstract: We study cluster adjacency conjectures for amplitudes in maximally supersymmetric Yang-Mills theory. We show that the n-point one-loop NMHV ratio function satisfies Steinmann cluster adjacency. We also show that the one-loop BDS-like normalized NMHV amplitude satisfies cluster adjacency between Yangian invariants and final symbol entries up to 9-points. We present conjectures for cluster adjacency… ▽ More We study cluster adjacency conjectures for amplitudes in maximally supersymmetric Yang-Mills theory. We show that the n-point one-loop NMHV ratio function satisfies Steinmann cluster adjacency. We also show that the one-loop BDS-like normalized NMHV amplitude satisfies cluster adjacency between Yangian invariants and final symbol entries up to 9-points. We present conjectures for cluster adjacency properties of Plücker coordinates, quadratic cluster variables, and NMHV Yangian invariants that generalize the notion of weak separation. △ Less

Submitted 1 December, 2020; v1 submitted 14 May, 2020; originally announced May 2020.

Comments: 14 pages, 2 figures; v2: minor typos corrected

Short-Term Investments and Indices of Risk

Authors: Yuval Heller, Amnon Schreiber

Abstract: We study various decision problems regarding short-term investments in risky assets whose returns evolve continuously in time. We show that in each problem, all risk-averse decision makers have the same (problem-dependent) ranking over short-term risky assets. Moreover, in each problem, the ranking is represented by the same risk index as in the case of CARA utility agents and normally distributed… ▽ More We study various decision problems regarding short-term investments in risky assets whose returns evolve continuously in time. We show that in each problem, all risk-averse decision makers have the same (problem-dependent) ranking over short-term risky assets. Moreover, in each problem, the ranking is represented by the same risk index as in the case of CARA utility agents and normally distributed risky assets. △ Less

Submitted 13 May, 2020; originally announced May 2020.

Comments: 20 pages main text + 19 pages of appendices and reference list

Formal assessment of some properties of Context-Aware Systems

Authors: Fabio A. Schreiber, Maria Elena Valcher

Abstract: Context-Aware systems are becoming useful components in autonomic and monitoring applications and the assessment of their properties is an important step towards reliable implementation, especially in safety-critical applications. In this paper, using an avalanche/landslide alert system as a running example, we propose a technique, based on Boolean Control Networks, to verify that the system dynam… ▽ More Context-Aware systems are becoming useful components in autonomic and monitoring applications and the assessment of their properties is an important step towards reliable implementation, especially in safety-critical applications. In this paper, using an avalanche/landslide alert system as a running example, we propose a technique, based on Boolean Control Networks, to verify that the system dynamics has stable equilibrium states, corresponding to constant inputs, and hence it does not exhibit oscillatory behaviors, and to establish other useful properties in order to implement a precise and timely alarm system. △ Less

Submitted 1 May, 2020; originally announced May 2020.

The Lipschitz Constant of Perturbed Anonymous Games

Authors: Ron Peretz, Amnon Schreiber, Ernst Schulte-Geers

Abstract: The worst-case Lipschitz constant of an $n$-player $k$-action $δ$-perturbed game, $λ(n,k,δ)$, is given an explicit probabilistic description. In the case of $k\geq 3$, $λ(n,k,δ)$ is identified with the passage probability of a certain symmetric random walk on $\mathbb Z$. In the case of $k=2$ and $n$ even, $λ(n,2,δ)$ is identified with the probability that two two i.i.d.\ Binomial random variables… ▽ More The worst-case Lipschitz constant of an $n$-player $k$-action $δ$-perturbed game, $λ(n,k,δ)$, is given an explicit probabilistic description. In the case of $k\geq 3$, $λ(n,k,δ)$ is identified with the passage probability of a certain symmetric random walk on $\mathbb Z$. In the case of $k=2$ and $n$ even, $λ(n,2,δ)$ is identified with the probability that two two i.i.d.\ Binomial random variables are equal. The remaining case, $k=2$ and $n$ odd, is bounded through the adjacent (even) values of $n$. Our characterisation implies a sharp closed form asymptotic estimate of $λ(n,k,δ)$ as $δn /k\to\infty$. △ Less

Submitted 21 May, 2020; v1 submitted 30 April, 2020; originally announced April 2020.

Comments: earlier version was submitted to EC20

Competition of Pairing and Nematicity in the Two-Dimensional Electron Gas

Authors: Katherine A. Schreiber, Gábor A. Csáthy

Abstract: Due to its extremely rich phase diagram, the two-dimensional electron gas exposed to perpendicular magnetic field has been the subject of intense and sustained study. One particularly interesting problem in this system is that of the half-filled Landau level, where the Fermi sea of composite fermions, a fractional quantum Hall state arising from a pairing instability of the composite fermions, and… ▽ More Due to its extremely rich phase diagram, the two-dimensional electron gas exposed to perpendicular magnetic field has been the subject of intense and sustained study. One particularly interesting problem in this system is that of the half-filled Landau level, where the Fermi sea of composite fermions, a fractional quantum Hall state arising from a pairing instability of the composite fermions, and the quantum Hall nematic were observed in the half-filled $N=0$, $N=1$, and $N \geq 2$ Landau levels, respectively. Thus different ground states developed in different half-filled Landau levels. This situation has recently changed, when evidence for both the paired fractional quantum Hall state and the quantum Hall nematic was reported in the half-filled $N=1$ Landau level. Furthermore, a direct quantum phase transition between these two ordered states was found. These results highlight an intimate connection between pairing and nematicity, a topic of current interest in several strongly correlated systems, in a well-understood and low disorder environment. △ Less

Submitted 21 March, 2020; originally announced March 2020.

Journal ref: Annu. Rev. Cond. Mat. Phys. 11, 17 (2020)

Strain Wave Pathway to Semiconductor-to-Metal Transition revealed by time resolved X-ray powder diffraction

Authors: C. Mariette, M. Lorenc, H. Cailleau, E. Collet, L. Guérin, A. Volte, E. Trzop, R. Bertoni, X. Dong, B. Lépine, O Hernandez, E. Janod, L. Cario, V. Ta Phuoc, S. Ohkoshi, H. Tokoro, L. Patthey, A. Babic, I. Usov, D. Ozerov, L. Sala, S. Ebner, P. Böhler, A Keller, A. Oggenfuss , et al. (20 additional authors not shown)

Abstract: Thanks to the remarkable developments of ultrafast science, one of today's challenges is to modify material state by controlling with a light pulse the coherent motions that connect two different phases. Here we show how strain waves, launched by electronic and structural precursor phenomena, determine a macroscopic transformation pathway for the semiconducting-to-metal transition with large volum… ▽ More Thanks to the remarkable developments of ultrafast science, one of today's challenges is to modify material state by controlling with a light pulse the coherent motions that connect two different phases. Here we show how strain waves, launched by electronic and structural precursor phenomena, determine a macroscopic transformation pathway for the semiconducting-to-metal transition with large volume change in bistable Ti$_3$O$_5$ nanocrystals. Femtosecond powder X-ray diffraction allowed us to quantify the structural deformations associated with the photoinduced phase transition on relevant time scales. We monitored the early intra-cell distortions around absorbing metal dimers, but also long range crystalline deformations dynamically governed by acoustic waves launched at the laser-exposed Ti$_3$O$_5$ surface. We rationalize these observations with a simplified elastic model, demonstrating that a macroscopic transformation occurs concomitantly with the propagating acoustic wavefront on the picosecond timescale, several decades earlier than the subsequent thermal processes governed by heat diffusion. △ Less

Submitted 20 February, 2020; v1 submitted 19 February, 2020; originally announced February 2020.

Comments: 30 pages (including supplementary text), 5 main figures, 9 supplementary figures; corrected author list

Blocked radiative heat transport in the hot pyrolitic lower mantle

Authors: Sergey S. Lobanov, Nicholas Holtgrewe, Gen Ito, James Badro, Helene Piet, Farhang Nabiei, Jung-Fu Lin, Lkhamsuren Bayarjargal, Richard Wirth, Anja Schreiber, Alexander F. Goncharov

Abstract: The heat flux across the core-mantle boundary (QCMB) is the key parameter to understand the Earth/s thermal history and evolution. Mineralogical constraints of the QCMB require deciphering contributions of the lattice and radiative components to the thermal conductivity at high pressure and temperature in lower mantle phases with depth-dependent composition. Here we determine the radiative conduct… ▽ More The heat flux across the core-mantle boundary (QCMB) is the key parameter to understand the Earth/s thermal history and evolution. Mineralogical constraints of the QCMB require deciphering contributions of the lattice and radiative components to the thermal conductivity at high pressure and temperature in lower mantle phases with depth-dependent composition. Here we determine the radiative conductivity (krad) of a realistic lower mantle (pyrolite) in situ using an ultra-bright light probe and fast time-resolved spectroscopic techniques in laser-heated diamond anvil cells. We find that the mantle opacity increases critically upon heating to ~3000 K at 40-135 GPa, resulting in an unexpectedly low radiative conductivity decreasing with depth from ~0.8 W/m/K at 1000 km to ~0.35 W/m/K at the CMB, the latter being ~30 times smaller than the estimated lattice thermal conductivity at such conditions. Thus, radiative heat transport is blocked due to an increased optical absorption in the hot lower mantle resulting in a moderate CMB heat flow of ~8.5 TW, at odds with present estimates based on the mantle and core dynamics. This moderate rate of core cooling implies an inner core age of about 1 Gy and is compatible with both thermally- and compositionally-driven ancient geodynamo. △ Less

Submitted 11 November, 2019; originally announced November 2019.

CRANE: A highly dexterous needle placement robot for evaluation of interventional radiology procedures

Authors: Dimitri A. Schreiber, Hanpeng Jiang, Guosong Li, Julie Yu, Zhaowei Yu, Renjie Zhu, Alexander M. Norbash, Michael C. Yip

Abstract: Interventional Radiology (IR) enables earlier diagnosis and less invasive treatment of numerous ailments. Here we present our ongoing development of CRANE: CT RoboticArm and Needle Emplacer, a robotic needle positioning system for CT guided procedures. The robot has 8 active Degrees-of-Freedom (DoF) and a novel infinite travel needle insertion mechanism. The control system is distributed using the… ▽ More Interventional Radiology (IR) enables earlier diagnosis and less invasive treatment of numerous ailments. Here we present our ongoing development of CRANE: CT RoboticArm and Needle Emplacer, a robotic needle positioning system for CT guided procedures. The robot has 8 active Degrees-of-Freedom (DoF) and a novel infinite travel needle insertion mechanism. The control system is distributed using the RobotOperating System (ROS) across a low latency network that interconnects a real-time low-jitter controller, with a desktop computer which hosts the User Interface (UI) and high-level control. This platform can serve to evaluate limitations in the current procedures and to prototype potential solutions to these challenges in-situ. △ Less

Submitted 7 October, 2019; originally announced October 2019.

Comments: 2 pages, 3 figures, extended abstract for IROS 2019 Workshop on Surgical Robotics

ARCSnake: An Archimedes' Screw-Propelled, Reconfigurable Robot Snake for Complex Environments

Authors: Dimitri A. Schreiber, Florian Richter, Andrew Bilan, Peter V. Gavrilov, Hoi Lam Man, Casey H. Price, Kalind C. Carpenter, Michael C. Yip

Abstract: This paper presents the design and performance of a screw-propelled redundant serpentine robot. This robot comprises serially linked, identical modules, each incorporating an Archimedes' screw for propulsion and a universal joint (U-Joint) for orientation control. When serially chained, these modules form a versatile snake robot platform which enables the robot to reshape its body configuration fo… ▽ More This paper presents the design and performance of a screw-propelled redundant serpentine robot. This robot comprises serially linked, identical modules, each incorporating an Archimedes' screw for propulsion and a universal joint (U-Joint) for orientation control. When serially chained, these modules form a versatile snake robot platform which enables the robot to reshape its body configuration for varying environments and gait patterns that would be typical of snake movement. Furthermore, the Archimedes' screws allow for novel omni-wheel drive-like motions by speed controlling their screw threads. This paper considers the mechanical and electrical design, as well as the software architecture for realizing a fully integrated system. The system includes 3$N$ actuators for $N$ segments, each controlled using a BeagleBone Black with a customized power-electronics cape, a 9 Degrees of Freedom (DoF) Inertial Measurement Unit (IMU), and a scalable communication channel over ROS. The intended application for this robot is its use as an instrumentation mobility platform on terrestrial planets where the terrain may involve vents, caves, ice, and rocky surfaces. Additional experiments are shown on our website. △ Less

Submitted 3 June, 2020; v1 submitted 25 September, 2019; originally announced September 2019.

Comments: 6 pages, 8 figures, presented at ICRA 2020

RCE: An Integration Environment for Engineering and Science

Authors: Brigitte Boden, Jan Flink, Niklas Först, Robert Mischke, Kathrin Schaffert, Alexander Weinert, Annika Wohlan, Andreas Schreiber

Abstract: We present RCE (Remote Component Environment), an open-source framework developed primarily at DLR (German Aerospace Center) that enables its users to construct and execute multidisciplinary engineering workflows comprising multiple disciplinary tools. To this end, RCE supplies users with an easy-to-use graphical interface that allows for the intuitive integration of disciplinary tools. Users can… ▽ More We present RCE (Remote Component Environment), an open-source framework developed primarily at DLR (German Aerospace Center) that enables its users to construct and execute multidisciplinary engineering workflows comprising multiple disciplinary tools. To this end, RCE supplies users with an easy-to-use graphical interface that allows for the intuitive integration of disciplinary tools. Users can execute the individual tools on arbitrary nodes present in the network and all data accrued during the execution of the workflow are collected and stored centrally. Hence, RCE makes it easy for collaborating engineers to contribute their individual disciplinary tools to a multidisciplinary design or analysis, and simplifies the subsequent analysis of the workflow's results. △ Less

Submitted 25 June, 2020; v1 submitted 9 August, 2019; originally announced August 2019.

Yangian Invariants and Cluster Adjacency in N=4 Yang-Mills

Authors: Jorge Mago, Anders Schreiber, Marcus Spradlin, Anastasia Volovich

Abstract: We conjecture that every rational Yangian invariant in N=4 SYM theory satisfies a recently introduced notion of cluster adjacency. We provide evidence for this conjecture by using the Sklyanin Poisson bracket on Gr(4,n) to check numerous examples. We conjecture that every rational Yangian invariant in N=4 SYM theory satisfies a recently introduced notion of cluster adjacency. We provide evidence for this conjecture by using the Sklyanin Poisson bracket on Gr(4,n) to check numerous examples. △ Less

Submitted 8 October, 2019; v1 submitted 25 June, 2019; originally announced June 2019.

Comments: 14 pages; v2: minor changes

Celestial Amplitudes: Conformal Partial Waves and Soft Limits

Authors: Dhritiman Nandan, Anders Schreiber, Anastasia Volovich, Michael Zlotnikov

Abstract: Massless scattering amplitudes in four-dimensional Minkowski spacetime can be Mellin transformed to correlation functions on the celestial sphere at null infinity called celestial amplitudes. We study various properties of massless four-point scalar and gluon celestial amplitudes such as conformal partial wave decomposition, crossing relations and optical theorem. As a byproduct, we derive the ana… ▽ More Massless scattering amplitudes in four-dimensional Minkowski spacetime can be Mellin transformed to correlation functions on the celestial sphere at null infinity called celestial amplitudes. We study various properties of massless four-point scalar and gluon celestial amplitudes such as conformal partial wave decomposition, crossing relations and optical theorem. As a byproduct, we derive the analog of the single and double soft limits for all gluon celestial amplitudes. △ Less

Submitted 24 April, 2019; originally announced April 2019.

Comments: 13 pages, 1 figure

An Open-Source 7-Axis, Robotic Platform to Enable Dexterous Procedures within CT Scanners

Authors: Dimitri A. Schreiber, Daniel B. Shak, Alexander M. Norbash, Michael C. Yip

Abstract: This paper describes the design, manufacture, and performance of a highly dexterous, low-profile, 7 Degree-of-Freedom (DOF) robotic arm for CT-guided percutaneous needle biopsy. Direct CT guidance allows physicians to localize tumours quickly; however, needle insertion is still performed by hand. This system is mounted to a fully active gantry superior to the patient's head and teleoperated by a r… ▽ More This paper describes the design, manufacture, and performance of a highly dexterous, low-profile, 7 Degree-of-Freedom (DOF) robotic arm for CT-guided percutaneous needle biopsy. Direct CT guidance allows physicians to localize tumours quickly; however, needle insertion is still performed by hand. This system is mounted to a fully active gantry superior to the patient's head and teleoperated by a radiologist. Unlike other similar robots, this robot's fully serial-link approach uses a unique combination of belt and cable drives for high-transparency and minimal-backlash, allowing for an expansive working area and numerous approach angles to targets all while maintaining a small in-bore cross-section of less than $16cm^2$. Simulations verified the system's expansive collision free work-space and ability to hit targets across the entire chest, as required for lung cancer biopsy. Targeting error is on average $<1mm$ on a teleoperated accuracy task, illustrating the system's sufficient accuracy to perform biopsy procedures. The system is designed for lung biopsies due to the large working volume that is required for reaching peripheral lung lesions, though, with its large working volume and small in-bore cross-sectional area, the robotic system is effectively a general-purpose CT-compatible manipulation device for percutaneous procedures. Finally, with the considerable development time undertaken in designing a precise and flexible-use system and with the desire to reduce the burden of other researchers in developing algorithms for image-guided surgery, this system provides open-access, and to the best of our knowledge, is the first open-hardware image-guided biopsy robot of its kind. △ Less

Submitted 16 August, 2019; v1 submitted 11 March, 2019; originally announced March 2019.

Comments: 8 pages, 9 figures, final submission to IROS 2019