title: Guaranteed Conformance of Neurosymbolic Models to Natural Constraints

abstract: Deep neural networks have emerged as the workhorse for a large section of robotics and control applications, especially as models for dynamical systems. Such data-driven models are in turn used for designing and verifying autonomous systems. They are particularly useful in modeling medical systems where data can be leveraged to individualize treatment. In safety-critical applications, it is important that the data-driven model is conformant to established knowledge from the natural sciences. Such knowledge is often available or can often be distilled into a (possibly black-box) model. For instance, an F1 racing car should conform to Newton's laws (which are encoded within a unicycle model). In this light, we consider the following problem - given a model $M$ and a state transition dataset, we wish to best approximate the system model while being a bounded distance away from $M$. We propose a method to guarantee this conformance. Our first step is to distill the dataset into a few representative samples called memories, using the idea of a growing neural gas. Next, using these memories we partition the state space into disjoint subsets and compute bounds that should be respected by the neural network in each subset. This serves as a symbolic wrapper for guaranteed conformance. We argue theoretically that this only leads to a bounded increase in approximation error; which can be controlled by increasing the number of memories. We experimentally show that on three case studies (Car Model, Drones, and Artificial Pancreas), our constrained neurosymbolic models conform to specified models (each encoding various constraints) with order-of-magnitude improvements compared to the augmented Lagrangian and vanilla training methods. Our code can be found at: https://github.com/kaustubhsridhar/Constrained_Models


title: Comparison of Conformational Phase Behavior for Flexible and Semiflexible Polymers

abstract: We employ the recently introduced generalized microcanonical inflection point method for the statistical analysis of phase transitions in flexible and semiflexible polymers and study the impact of the bending stiffness upon the character and order of transitions between random-coil, globules, and pseudocrystalline conformations. The high-accuracy estimates of the microcanonical entropy and its derivatives required for this study were obtained by extensive replica-exchange Monte Carlo simulations. We observe that the transition behavior into the compact phases changes qualitatively with increasing bending stiffness. Whereas the $\Theta$ collapse transition is less affected, the first-order liquid-solid transition characteristic for flexible polymers ceases to exist once bending effects dominate over attractive monomer-monomer interactions.


title: Predict-and-Critic: Accelerated End-to-End Predictive Control for Cloud Computing through Reinforcement Learning

abstract: Cloud computing holds the promise of reduced costs through economies of scale. To realize this promise, cloud computing vendors typically solve sequential resource allocation problems, where customer workloads are packed on shared hardware. Virtual machines (VM) form the foundation of modern cloud computing as they help logically abstract user compute from shared physical infrastructure. Traditionally, VM packing problems are solved by predicting demand, followed by a Model Predictive Control (MPC) optimization over a future horizon. We introduce an approximate formulation of an industrial VM packing problem as an MILP with soft-constraints parameterized by the predictions. Recently, predict-and-optimize (PnO) was proposed for end-to-end training of prediction models by back-propagating the cost of decisions through the optimization problem. But, PnO is unable to scale to the large prediction horizons prevalent in cloud computing. To tackle this issue, we propose the Predict-and-Critic (PnC) framework that outperforms PnO with just a two-step horizon by leveraging reinforcement learning. PnC jointly trains a prediction model and a terminal Q function that approximates cost-to-go over a long horizon, by back-propagating the cost of decisions through the optimization problem \emph{and from the future}. The terminal Q function allows us to solve a much smaller two-step horizon optimization problem than the multi-step horizon necessary in PnO. We evaluate PnO and the PnC framework on two datasets, three workloads, and with disturbances not modeled in the optimization problem. We find that PnC significantly improves decision quality over PnO, even when the optimization problem is not a perfect representation of reality. We also find that hardening the soft constraints of the MILP and back-propagating through the constraints improves decision quality for both PnO and PnC.


title: Nonparametric Masked Language Modeling

abstract: Existing language models (LMs) predict tokens with a softmax over a finite vocabulary, which can make it difficult to predict rare tokens or phrases. We introduce NPM, the first nonparametric masked language model that replaces this softmax with a nonparametric distribution over every phrase in a reference corpus. NPM fills in the [MASK] solely from retrieving a token from a text corpus. We show that NPM can be efficiently trained with a contrastive objective and an in-batch approximation to full corpus retrieval. Zero-shot evaluation on 16 tasks including classification, fact probing and question answering demonstrates that NPM outperforms significantly larger parametric models, either with or without a retrieve-and-generate approach. It is particularly better at dealing with rare patterns (word senses or facts) and predicting rare or nearly unseen words (e.g., non-Latin script). We release the model and code at github.com/facebookresearch/NPM.


title: Improving Iterative Text Revision by Learning Where to Edit from Other Revision Tasks

abstract: Iterative text revision improves text quality by fixing grammatical errors, rephrasing for better readability or contextual appropriateness, or reorganizing sentence structures throughout a document. Most recent research has focused on understanding and classifying different types of edits in the iterative revision process from human-written text instead of building accurate and robust systems for iterative text revision. In this work, we aim to build an end-to-end text revision system that can iteratively generate helpful edits by explicitly detecting editable spans (where-to-edit) with their corresponding edit intents and then instructing a revision model to revise the detected edit spans. Leveraging datasets from other related text editing NLP tasks, combined with the specification of editable spans, leads our system to more accurately model the process of iterative text refinement, as evidenced by empirical results and human evaluations. Our system significantly outperforms previous baselines on our text revision tasks and other standard text revision tasks, including grammatical error correction, text simplification, sentence fusion, and style transfer. Through extensive qualitative and quantitative analysis, we make vital connections between edit intentions and writing quality, and better computational modeling of iterative text revisions.


title: A Bayesian Framework for Digital Twin-Based Control, Monitoring, and Data Collection in Wireless Systems

abstract: Commonly adopted in the manufacturing and aerospace sectors, digital twin (DT) platforms are increasingly seen as a promising paradigm to control, monitor, and analyze software-based, "open", communication systems. Notably, DT platforms provide a sandbox in which to test artificial intelligence (AI) solutions for communication systems, potentially reducing the need to collect data and test algorithms in the field, i.e., on the physical twin (PT). A key challenge in the deployment of DT systems is to ensure that virtual control optimization, monitoring, and analysis at the DT are safe and reliable, avoiding incorrect decisions caused by "model exploitation". To address this challenge, this paper presents a general Bayesian framework with the aim of quantifying and accounting for model uncertainty at the DT that is caused by limitations in the amount and quality of data available at the DT from the PT. In the proposed framework, the DT builds a Bayesian model of the communication system, which is leveraged to enable core DT functionalities such as control via multi-agent reinforcement learning (MARL), monitoring of the PT for anomaly detection, prediction, data-collection optimization, and counterfactual analysis. To exemplify the application of the proposed framework, we specifically investigate a case-study system encompassing multiple sensing devices that report to a common receiver. Experimental results validate the effectiveness of the proposed Bayesian framework as compared to standard frequentist model-based solutions.


title: The SDSS-HET Survey of Kepler Eclipsing Binaries. A Sample of Four Benchmark Binaries

abstract: The purpose of this work is to extend a sample of accurately modeled, benchmark-grade eclipsing binaries with accurately determined masses and radii. We select four "well-behaved" Kepler binaries, KIC2306740, KIC4076952, KIC5193386 and KIC5288543, each with at least 8 double-lined spectra from the apogee instrument that is part of the Sloan Digital Sky Surveys III and IV, and from the Hobby-Eberly High Resolution Spectrograph. We obtain masses and radii with uncertainties of 2.5% or less for all four systems. Three of these systems have orbital periods longer than 9 days, and thus populate an under-sampled region of the parameter space for extremely well-characterized detached eclipsing binaries. We compare the derived masses and radii against MESA MIST isochrones to determine the ages of the systems. All systems were found to be coeval, showing that the results are consistent across MESA MIST and PHOEBE.


title: Video-based Pose-Estimation Data as Source for Transfer Learning in Human Activity Recognition

abstract: Human Activity Recognition (HAR) using on-body devices identifies specific human actions in unconstrained environments. HAR is challenging due to the inter and intra-variance of human movements; moreover, annotated datasets from on-body devices are scarce. This problem is mainly due to the difficulty of data creation, i.e., recording, expensive annotation, and lack of standard definitions of human activities. Previous works demonstrated that transfer learning is a good strategy for addressing scenarios with scarce data. However, the scarcity of annotated on-body device datasets remains. This paper proposes using datasets intended for human-pose estimation as a source for transfer learning; specifically, it deploys sequences of annotated pixel coordinates of human joints from video datasets for HAR and human pose estimation. We pre-train a deep architecture on four benchmark video-based source datasets. Finally, an evaluation is carried out on three on-body device datasets improving HAR performance.


title: Designing Ecosystems of Intelligence from First Principles

abstract: This white paper lays out a vision of research and development in the field of artificial intelligence for the next decade (and beyond). Its denouement is a cyber-physical ecosystem of natural and synthetic sense-making, in which humans are integral participants -- what we call ''shared intelligence''. This vision is premised on active inference, a formulation of adaptive behavior that can be read as a physics of intelligence, and which inherits from the physics of self-organization. In this context, we understand intelligence as the capacity to accumulate evidence for a generative model of one's sensed world -- also known as self-evidencing. Formally, this corresponds to maximizing (Bayesian) model evidence, via belief updating over several scales: i.e., inference, learning, and model selection. Operationally, this self-evidencing can be realized via (variational) message passing or belief propagation on a factor graph. Crucially, active inference foregrounds an existential imperative of intelligent systems; namely, curiosity or the resolution of uncertainty. This same imperative underwrites belief sharing in ensembles of agents, in which certain aspects (i.e., factors) of each agent's generative world model provide a common ground or frame of reference. Active inference plays a foundational role in this ecology of belief sharing -- leading to a formal account of collective intelligence that rests on shared narratives and goals. We also consider the kinds of communication protocols that must be developed to enable such an ecosystem of intelligences and motivate the development of a shared hyper-spatial modeling language and transaction protocol, as a first -- and key -- step towards such an ecology.


title: Fermion production at the boundary of an expanding universe: a cold-atom gravitational analogue

abstract: We study the phenomenon of cosmological particle production of Dirac fermions in a Friedman-Robertson-Walker spacetime, focusing on a (1+1)-dimensional case in which the evolution of the scale factor is set by the equations of Jackiw-Teitelboim gravity. As a first step towards a quantum simulation of this phenomenon, we consider two possible lattice regularizations, which allow us to explore the interplay of particle production and topological phenomena in spacetimes with a boundary. In particular, for a Wilson-type discretization of the Dirac field, the asymptotic Minkowski vacua connected by the intermediate expansion corresponds to symmetry-protected topological groundstates, and have a boundary manifestation in the form of zero-modes exponentially localized to the spatial boundaries. We show that particle production can also populate these zero modes, which contrasts with the situation with a na\"ive-fermion discretization, in which conformal zero-mass fields exhibit no particle production. We present a scheme for the quantum simulation of this gravitational analogue by means of ultra-cold atoms in Raman optical lattices, which requires real-time control of the Raman-beam detuning according to the scale factor of the simulated spacetime, as well as band-mapping measurements.


title: Sequential Anomaly Detection Against Demodulation Reference Signal Spoofing in 5G NR

abstract: In fifth generation (5G) new radio (NR), the demodulation reference signal (DMRS) is employed for channel estimation as part of coherent demodulation of the physical uplink shared channel. However, DMRS spoofing poses a serious threat to 5G NR since inaccurate channel estimation will severely degrade the decoding performance. In this correspondence, we propose to exploit the spatial sparsity structure of the channel to detect the DMRS spoofing, which is motivated by the fact that the spatial sparsity structure of the channel will be significantly impacted if the DMRS spoofing happens. We first extract the spatial sparsity structure of the channel by solving a sparse feature retrieval problem, then propose a sequential sparsity structure anomaly detection method to detect DMRS spoofing. In simulation experiments, we exploit clustered delay line based channel model from 3GPP standards for verifications. Numerical results show that our method outperforms both the subspace dimension based and energy detector based methods.


title: Comparative analysis of Forman-Ricci curvature versions applied to the persistent homology of networks

abstract: We provide an overview of Forman-Ricci curvature and persistent homology, and how their combination can be applied to the study of networks. We discuss how the usually employed augmented Forman-Ricci curvature formula, only valid for quasiconvex augmented networks, can be extended to the non-quasiconvex case. We apply three versions of quasiconvex Forman-Ricci curvature (plain, triangle-augmented, and pentagon-augmented) to build time filtrations on non-quasiconvex networks, both model and real-world. Our results suggest that triangle-augmented curvature should be used until the non-quasiconvex formula is further studied, as plain curvature omits too much information, and quasiconvex pentagon-augmented curvature is too rough of an approximation and significantly distorts the results.


title: Regarding Equitable Colorability Defect of Hypergraphs

abstract: \noindent Azarpendar and Jafari in 2020 proved the following inequality $$\chi \left( {\rm KG} ^r ({\cal F} , s) \right) \geq \left\lceil \frac{ {\rm ecd}^r \left( {\cal F} , \left\lfloor \frac{s}{2} \right\rfloor \right) }{r-1} \right\rceil ,$$ and noted that it is plausible that the above inequality remains true if one replaces $\left\lfloor \frac{s}{2} \right\rfloor$ with $s$. \noindent In this paper, considering the relation ${\rm ecd}^r \left( {\cal F} , x \right) \geq {\rm cd}^r \left( {\cal F} , x \right)$ which always holds, we show that even in the weaker inequality $$\chi \left( {\rm KG} ^r ({\cal F} , s) \right) \geq \left\lceil \frac{ {\rm cd}^r \left( {\cal F} , \left\lfloor \frac{s}{2} \right\rfloor \right) }{r-1} \right\rceil ,$$ no number $x$ greater than $\left\lfloor \frac{s}{2} \right\rfloor$ could be replaced by $\left\lfloor \frac{s}{2} \right\rfloor$.


title: Intersection theory of the complex quartic Kontsevich model

abstract: We expand correlation functions of the Langmann-Szabo-Zarembo (LSZ) model in terms of intersection numbers on the moduli space of complex curves. This provides an explicit, physically motivated example for the expansion of correlation functions generated by Chekhov-Eynard-Orantin topological recursion. To this end, we unify notation as well as different conventions present in the literature and use a set of moduli of the spectral curve adapted to the physically motivated model. The presentation focuses on an illustrative, step-by-step comprehension of the work.


title: Ueda's lemma via uniform H\"ormander estimates for flat line bundles

abstract: We establish H\"ormander-type $L^2$-estimates for the $\overline{\partial}$-operators that hold uniformly for all nontrivial flat holomorphic line bundles on compact K\"ahler manifolds. Our result can be regarded as a $\overline{\partial}$-version of Ueda's lemma on the operator norm of \v{C}ech coboundaries for flat line bundles and indeed recovers the original version of Ueda's lemma for compact K\"ahler manifolds. A partial generalisation for $(p,0)$-forms on Ricci-flat manifolds is also given.


title: Entropy-rate as prediction method for newspapers and information diffusion

abstract: This paper aims to show how some popular topics on social networks can be used to predict online newspaper views, related to the topics. Newspapers site and many social networks, become a good source of data to analyse and explain complex phenomena. Understanding the entropy of a topic, could help all organizations that need to share information like government, institution, newspaper or company, to expect an higher activity over their channels, and in some cases predict what the receiver expect from the senders or what is wrong about the communication. For some organization such political party, leaders, company and many others, the reputation and the communication are (for most of them) the key part of a more and complex huge system. To reach our goal, we use gathering tools and information theory to detect and analyse trends topic on social networks, with the purpose of proved a method that helps organization, newspapers to predict how many articles or communication they will have to do on a topic, and how much flow of views they will have in a given period, starting with the entropy-article ratio. Our work address the issue to explore in which entropy-rate, and through which dynamics, a suitable information diffusion performance is expected on social network and then on newspaper. We have identified some cross-cutting dynamics that, associated with the contexts, might explain how people discuss about a topic, can move on to argue and informs on newspapers sites.


title: Fast Detection of Burst Jamming for Delay-Sensitive Internet-of-Things Applications

abstract: In this paper, we investigate the design of a burst jamming detection method for delay-sensitive Internet-of-Things (IoT) applications. In order to obtain a timely detection of burst jamming, we propose an online principal direction anomaly detection (OPDAD) method. We consider the one-ring scatter channel model, where the base station equipped with a large number of antennas is elevated at a high altitude. In this case, since the angular spread of the legitimate IoT transmitter or the jammer is restricted within a narrow region, there is a distinct difference of the principal direction of the signal space between the jamming attack and the normal state. Unlike existing statistical features based batching methods, the proposed OPDAD method adopts an online iterative processing mode, which can quickly detect the exact attack time block instance by analyzing the newly coming signal. In addition, our detection method does not rely on the prior knowledge of the attacker, because it only cares the abrupt change in the principal direction of the signal space. Moreover, based on the high spatial resolution and the narrow angular spread, we provide the convergence rate estimate and derive a nearly optimal finite sample error bound for the proposed OPDAD method. Numerical results show the excellent real time capability and detection performance of our proposed method.


title: Managing Activities at the Lunar Poles for Science

abstract: The lunar poles are unique environments of both great scientific and, increasingly, commercial interest. Consequently, a tension exists between the twin objectives of (a) Exploring the lunar poles for both scientific and commercial purposes and ultimately supporting a lunar economy; and (b) Minimising the environmental impacts on the lunar polar regions so as to preserve them for future scientific investigations. We suggest that the best compromise between these equally valuable objectives would be to restrict scientific and commercial activities to the lunar South Pole, while placing a moratorium on activities at the North Pole until the full consequences of human activities at the South Pole are fully understood and mitigation protocols established. Depending on the pace at which lunar exploration proceeds, such a moratorium might last for several decades in order to properly assess the effects of exploration and commercial activities in regions surrounding the South Pole. A longer term possibility might be to consider designating the lunar North Polar region as a (possibly temporary) Planetary Park. Similar protected status might also be desirable for other unique lunar environments, and, by extension, other scientifically important localities elsewhere in the Solar System.


title: A New Component from the Quiet Sun: Synchrotron Radiation from Galactic Cosmic-Ray Electrons

abstract: The quiet Sun, i.e. in its non-flaring state or non-flaring regions, emits thermal radiation from radio to ultraviolet. The quiet Sun produces also non-thermal radiation observed in gamma rays due to interactions of Galactic Cosmic Rays (GCR) with the solar gas and photons. We report on a new component: the synchrotron emission by GCR electrons in the solar magnetic field. To the best of our knowledge this is the first time this emission has been theoretically claimed and modeled. We find that the measured GCR electrons with energies from tens of GeV to a few TeV produce synchrotron emission in X-rays, which is a few orders of magnitude lower than current upper limits of the quiet Sun set by RHESSI and FOXSI. For a radially decreasing solar magnetic field we find the expected synchrotron intensity to be almost constant in the solar disk, to peak in the close proximity of the Sun, and to quickly drop away from the Sun. We also estimate the synchrotron emission from radio to gamma rays and we compare it with current observations, especially with LOFAR. While it is negligible from radio to UV compared to the solar thermal radiation, this emission can potentially be observed at high energies with NuSTAR and more promising future FOXSI observations. This could potentially allow for constraining CR densities and magnetic-field intensities at the Sun. This study provides a more complete description and a possible new way for understanding the quite Sun and its environment.


title: An Information-Theoretic Analysis of Compute-Optimal Neural Scaling Laws

abstract: We study the compute-optimal trade-off between model and training data set sizes for large neural networks. Our result suggests a linear relation similar to that supported by the empirical analysis of chinchilla. While that work studies transformer-based large language models trained on the MassiveText corpus gopher, as a starting point for development of a mathematical theory, we focus on a simpler learning model and data generating process, each based on a neural network with a sigmoidal output unit and single hidden layer of ReLU activation units. We introduce general error upper bounds for a class of algorithms which incrementally update a statistic (for example gradient descent). For a particular learning model inspired by barron 1993, we establish an upper bound on the minimal information-theoretically achievable expected error as a function of model and data set sizes. We then derive allocations of computation that minimize this bound. We present empirical results which suggest that this approximation correctly identifies an asymptotic linear compute-optimal scaling. This approximation also generates new insights. Among other things, it suggests that, as the input dimension or latent space complexity grows, as might be the case for example if a longer history of tokens is taken as input to a language model, a larger fraction of the compute budget should be allocated to growing the learning model rather than training data.


title: Optical fields spanning the 4D space of nonparaxial polarization

abstract: We present simple mathematical solutions for optical fields that span all nonparaxial polarization ellipses. These fields, given by a superposition of five plane waves with non-coplanar polarizations, are experimentally realizable. By slowly varying in time the relative amplitude between two groups of plane waves, the resulting fields take the form of a periodic polarization lattice, where all possible nonparaxial polarization ellipses are localized in a 4D spatio-temporal cell. The field distributions in these cells can be regarded as 4D skyrmionic textures.


title: Probing correlated states with plasmonic origami

abstract: Understanding the nature of strongly correlated states in flat-band materials (such as moir\'e heterostructures) is at the forefront of both experimental and theoretical pursuits. While magnetotransport, scanning probe, and optical techniques are often very successful in investigating the properties of the underlying order, the exact nature of the ground state often remains unknown. Here we propose to leverage strong light-matter coupling present in the flat-band systems to gain insight through dynamical dielectric response into the structure of the many-body ground state. We argue that due to the enlargement of the effective lattice of the system arising from correlations, conventional long-range plasmon becomes ``folded'' to yield a multiband plasmon spectrum. We detail several mechanisms through which the structure of the plasmon spectrum and that of the dynamical dielectric response is susceptible to the underlying order revealing valued insights such as the interaction-driven band gaps, spin-structure, and the order periodicity.


title: Fast Non-Rigid Radiance Fields from Monocularized Data

abstract: The reconstruction and novel view synthesis of dynamic scenes recently gained increased attention. As reconstruction from large-scale multi-view data involves immense memory and computational requirements, recent benchmark datasets provide collections of single monocular views per timestamp sampled from multiple (virtual) cameras. We refer to this form of inputs as "monocularized" data. Existing work shows impressive results for synthetic setups and forward-facing real-world data, but is often limited in the training speed and angular range for generating novel views. This paper addresses these limitations and proposes a new method for full 360{\deg} inward-facing novel view synthesis of non-rigidly deforming scenes. At the core of our method are: 1) An efficient deformation module that decouples the processing of spatial and temporal information for accelerated training and inference; and 2) A static module representing the canonical scene as a fast hash-encoded neural radiance field. In addition to existing synthetic monocularized data, we systematically analyze the performance on real-world inward-facing scenes using a newly recorded challenging dataset sampled from a synchronized large-scale multi-view rig. In both cases, our method is significantly faster than previous methods, converging in less than 7 minutes and achieving real-time framerates at 1K resolution, while obtaining a higher visual accuracy for generated novel views. Our source code and data is available at our project page https://graphics.tu-bs.de/publications/kappel2022fast.


title: Primordial Black Holes Place the Universe in Stasis

abstract: A variety of scenarios for early-universe cosmology give rise to a population of primordial black holes (PBHs) with a broad spectrum of masses. The evaporation of PBHs in such scenarios has the potential to place the universe into an extended period of "stasis" during which the abundances of matter and radiation remain absolutely constant despite cosmological expansion. This surprising phenomenon can give rise to new possibilities for early-universe dynamics and lead to distinctive signatures of the evaporation of such PBHs. In this paper, we discuss how this stasis epoch arises and explore a number of its phenomenological consequences, including implications for inflationary observables, the stochastic gravitational-wave background, baryogenesis, and the production of dark matter and dark radiation.


title: Characterization of Low-noise Backshort-Under-Grid Kilopixel Transition Edge Sensor Arrays for PIPER

abstract: We present laboratory characterization of kilo-pixel, filled backshort-under-grid (BUG) transition-edge sensor (TES) arrays developed for the Primordial Inflation Polarization ExploreR (PIPER) balloon-borne instrument. PIPER is designed to map the polarization of the CMB on the largest angular scales and characterize dust foregrounds by observing a large fraction of the sky in four frequency bands in the range 200 to 600 GHz. The BUG TES arrays are read out by planar SQUID-based time division multiplexer chips (2dMUX) of matching form factor and hybridized directly with the detector arrays through indium bump bonding. Here, we discuss the performance of the 2dMUX and present measurements of the TES transition temperature, thermal conductance, saturation power, and preliminary noise performance. The detectors achieve saturation power below 1 pW and phonon noise equivalent power (NEP) on the order of a few aW/rtHz. Detector performance is further verified through pre-flight tests in the integrated PIPER receiver, performed in an environment simulating balloon float conditions.


title: Adaptive Robust Model Predictive Control via Uncertainty Cancellation

abstract: We propose a learning-based robust predictive control algorithm that compensates for significant uncertainty in the dynamics for a class of discrete-time systems that are nominally linear with an additive nonlinear component. Such systems commonly model the nonlinear effects of an unknown environment on a nominal system. We optimize over a class of nonlinear feedback policies inspired by certainty equivalent "estimate-and-cancel" control laws pioneered in classical adaptive control to achieve significant performance improvements in the presence of uncertainties of large magnitude, a setting in which existing learning-based predictive control algorithms often struggle to guarantee safety. In contrast to previous work in robust adaptive MPC, our approach allows us to take advantage of structure (i.e., the numerical predictions) in the a priori unknown dynamics learned online through function approximation. Our approach also extends typical nonlinear adaptive control methods to systems with state and input constraints even when we cannot directly cancel the additive uncertain function from the dynamics. We apply contemporary statistical estimation techniques to certify the system's safety through persistent constraint satisfaction with high probability. Moreover, we propose using Bayesian meta-learning algorithms that learn calibrated model priors to help satisfy the assumptions of the control design in challenging settings. Finally, we show in simulation that our method can accommodate more significant unknown dynamics terms than existing methods and that the use of Bayesian meta-learning allows us to adapt to the test environments more rapidly.


title: Refined Bitcoin Security-Latency Under Network Delay

abstract: We study security-latency bounds for Nakamoto consensus, i.e., how secure a block is after it becomes $k$-deep in the chain. We improve the state-of-the-art bounds by analyzing the race between adversarial and honest chains in three different phases. We find the probability distribution of the growth of the adversarial chains under models similar to those in [Guo, Ren; AFT 2022] when a target block becomes $k$-deep in the chain. We analyze certain properties of this race to model each phase with random walks that provide tighter bounds than the existing results. Combining all three phases provides novel upper and lower bounds for blockchains with small $\lambda\Delta$.


title: From fermionic spin-Calogero-Sutherland models to the Haldane-Shastry chain by freezing

abstract: The Haldane-Shastry spin chain has a myriad of remarkable properties, including Yangian symmetry and, for spin $1/2$, explicit highest-weight eigenvectors featuring (the case $\alpha = 1/2$ of) Jack polynomials. This stems from the spin-Calogero-Sutherland model, which reduces to Haldane-Shastry in a special `freezing' limit. In this work we clarify various points that, to the best of our knowledge, were missing in the literature. We have two main results. First, we show that freezing the $\mathit{fermionic}$ spin-1/2 Calogero-Sutherland model naturally accounts for the precise form of the Haldane-Shastry wave functions, including the Vandermonde factor squared. Second, we use the fermionic framework to prove the claim of Bernard-Gaudin-Haldane-Pasquier that the Yangian highest-weight eigenvectors of the $SU(r)$-version of the Haldane-Shastry chain arise by freezing $SU(r-1)$ spin-Calogero-Sutherland eigenvectors at $\alpha = 1/2$.

categories: math-ph cond-mat.str-el hep-th math.MP nlin.SI


title: Universal chiral Luttinger liquid behavior in a graphene fractional quantum Hall point contact

abstract: One dimensional conductors are described by Luttinger liquid theory, which predicts a power-law suppression of the density of states near the Fermi level. The scaling exponent is non-universal in the general case, but is predicted to be quantized for the chiral edge states of the fractional quantum Hall effect. Here, we report conductance measurements across a point contact linking integer and fractional quantum Hall edge states. At weak coupling, we observe the predicted universal quadratic scaling with temperature and voltage. At strong coupling, the conductance saturates to e^2/2h, arising from perfect Andreev reflection of fractionalized quasi-particles at the point contact. We use the strong coupling physics to realize a nearly dissipationless DC voltage step-up transformer, whose gain of 3/2 arises directly from topological fractionalization of electrical charge.


title: Embedding Synthetic Off-Policy Experience for Autonomous Driving via Zero-Shot Curricula

abstract: ML-based motion planning is a promising approach to produce agents that exhibit complex behaviors, and automatically adapt to novel environments. In the context of autonomous driving, it is common to treat all available training data equally. However, this approach produces agents that do not perform robustly in safety-critical settings, an issue that cannot be addressed by simply adding more data to the training set - we show that an agent trained using only a 10% subset of the data performs just as well as an agent trained on the entire dataset. We present a method to predict the inherent difficulty of a driving situation given data collected from a fleet of autonomous vehicles deployed on public roads. We then demonstrate that this difficulty score can be used in a zero-shot transfer to generate curricula for an imitation-learning based planning agent. Compared to training on the entire unbiased training dataset, we show that prioritizing difficult driving scenarios both reduces collisions by 15% and increases route adherence by 14% in closed-loop evaluation, all while using only 10% of the training data.


title: D2DF2WOD: Learning Object Proposals for Weakly-Supervised Object Detection via Progressive Domain Adaptation

abstract: Weakly-supervised object detection (WSOD) models attempt to leverage image-level annotations in lieu of accurate but costly-to-obtain object localization labels. This oftentimes leads to substandard object detection and localization at inference time. To tackle this issue, we propose D2DF2WOD, a Dual-Domain Fully-to-Weakly Supervised Object Detection framework that leverages synthetic data, annotated with precise object localization, to supplement a natural image target domain, where only image-level labels are available. In its warm-up domain adaptation stage, the model learns a fully-supervised object detector (FSOD) to improve the precision of the object proposals in the target domain, and at the same time learns target-domain-specific and detection-aware proposal features. In its main WSOD stage, a WSOD model is specifically tuned to the target domain. The feature extractor and the object proposal generator of the WSOD model are built upon the fine-tuned FSOD model. We test D2DF2WOD on five dual-domain image benchmarks. The results show that our method results in consistently improved object detection and localization compared with state-of-the-art methods.


title: Requirements Development for IoT Systems with UCM4IoT

abstract: The engineering of IoT (Internet of Things) systems brings about various challenges due to the inherent complexities associated with such adaptive systems. Addressing the adaptive nature of IoT systems in the early stages of the development life cycle is essential for developing a complete and precise system specification. In this paper, we propose a use case-based modelling language, UCM4IoT, to support requirements elicitation and specification of IoT systems. UCM4IoT takes into account the heterogeneity of IoT systems and provides domain-specific language constructs to model the different facets of IoT systems. The language also incorporates the notion of exceptional situations and adaptive system behaviour. Our language is supported with a textual modelling environment to assist modellers in writing use cases. The environment supports syntax-directed editing, validation of use case models, and requirements analysis. The proposed language and tool is demonstrated and evaluated with two case studies: smart store system and smart fire alarm system.


title: ColD Fusion: Collaborative Descent for Distributed Multitask Finetuning

abstract: We propose a new paradigm to continually evolve pretrained models, denoted ColD Fusion. It provides the benefits of multitask learning but leverages distributed computation with limited communication and eliminates the need for shared data. Consequentially, ColD Fusion can give rise to a synergistic loop, where finetuned models can be recycled to continually improve the pretrained model they are based upon. We show that ColD Fusion yields comparable benefits to multitask training by producing a model that (a) attains strong performance on all of the datasets it was trained on; and (b) is a better starting point for finetuning on unseen datasets. We show that ColD Fusion outperforms RoBERTa and even previous multitask models. Specifically, when training and testing on 35 diverse datasets, ColD Fusion-based model outperforms RoBERTa by 2.33 points on average without any changes to the architecture.


title: Rimmed and Rippled Accretion Disc Models to Explain AGN Continuum Lags

abstract: We propose a solution to the problem of accretion disc sizes in active galactic nuclei being larger when measured by reverberation mapping than predicted by theory. Considering blackbody reprocessing on a disc with thickness profile $H(r)$, our solution invokes a steep rim or rippled structures irradiated by the central lamp-post. We model the continuum lags and the faint and bright disc spectral energy distribution (SED) in the best-studied case NGC 5548 (black hole mass $M = 7\times10^{7} M_\odot$, disc inclination $i=45^\circ$). With the lamp-post off, the observed disc SED requires a low accretion rate ($\dot{M} \sim 0.0014 M_\odot$/yr) and high prograde black hole spin ($a \sim 0.93$). Reprocessing on the thin disc gives time lags increasing with wavelength but 3 times smaller than observed. Introducing a steep $H(r)$ rim, or multiple crests, near $r = 5$ light days, reprocessing on their steep centre-facing slopes increases temperatures from $\sim1500$ K to $\sim6000$ K and this increases optical lags to match the lag data. Most of the disc surface maintains the cooler $T\propto r^{-3/4}$ temperature profile that matches the SED. The bright lamp-post may be powered by magnetic links tapping the black hole spin. The steep rim occurs near the sublimation radius for dust in the disc, as in the "failed disc wind model" for broad-line clouds. Lens-Thirring torques aligning the disc and black hole spin may also raise a warp and associated waves. In both scenarios, the small density scale height implied by the inferred value of $H(r)$ suggests possible marginal gravitational instability in the disc.


title: A Survey for C II Emission-Line Stars in the Large Magellanic Cloud. II. Final Results and the Origin of C II Emission in [WC] Spectra

abstract: We present the final results of an imaging and spectroscopic search for stars in the Large Magellanic Cloud (LMC) with C II 7231, 7236 emission lines. The goal is to identify and study [WC11] stars, the coolest of the low-mass Wolf-Rayet sequence, and a subset of central stars of planetary nebulae where the C II lines are known to be especially prominent. A recent serendipitous discovery of an LMC [WC11] raised the possibility that these objects, although difficult to identify, might in fact be more common than previously believed. Several new members of this rare class have been found in this survey. It now seems clear, however, that a significant number of these stars are not hiding amongst the general [WC] population. We point out that the C II doublet intensity ratio observed in our spectra proves to neatly divide the objects into two distinct groups, with the C II emission likely originating from either the stellar wind or a surrounding nebula. The physics of the C II emission mechanism correctly explains this bifurcation. Spectral subtypes are suggested for most of the objects. The numerous spectroscopic clues now available for these objects should facilitate future detailed modeling.


title: LatentSwap3D: Semantic Edits on 3D Image GANs

abstract: 3D GANs have the ability to generate latent codes for entire 3D volumes rather than only 2D images. These models offer desirable features like high-quality geometry and multi-view consistency, but, unlike their 2D counterparts, complex semantic image editing tasks for 3D GANs have only been partially explored. To address this problem, we propose LatentSwap3D, a semantic edit approach based on latent space discovery that can be used with any off-the-shelf 3D or 2D GAN model and on any dataset. LatentSwap3D relies on identifying the latent code dimensions corresponding to specific attributes by feature ranking using a random forest classifier. It then performs the edit by swapping the selected dimensions of the image being edited with the ones from an automatically selected reference image. Compared to other latent space control-based edit methods, which were mainly designed for 2D GANs, our method on 3D GANs provides remarkably consistent semantic edits in a disentangled manner and outperforms others both qualitatively and quantitatively. We show results on seven 3D GANs (pi-GAN, GIRAFFE, StyleSDF, MVCGAN, EG3D, StyleNeRF, and VolumeGAN) and on five datasets (FFHQ, AFHQ, Cats, MetFaces, and CompCars).


title: Welfare and Fairness in Multi-objective Reinforcement Learning

abstract: We study fair multi-objective reinforcement learning in which an agent must learn a policy that simultaneously achieves high reward on multiple dimensions of a vector-valued reward. Motivated by the fair resource allocation literature, we model this as an expected welfare maximization problem, for some nonlinear fair welfare function of the vector of long-term cumulative rewards. One canonical example of such a function is the Nash Social Welfare, or geometric mean, the log transform of which is also known as the Proportional Fairness objective. We show that even approximately optimal optimization of the expected Nash Social Welfare is computationally intractable even in the tabular case. Nevertheless, we provide a novel adaptation of Q-learning that combines nonlinear scalarized learning updates and non-stationary action selection to learn effective policies for optimizing nonlinear welfare functions. We show that our algorithm is provably convergent, and we demonstrate experimentally that our approach outperforms techniques based on linear scalarization, mixtures of optimal linear scalarizations, or stationary action selection for the Nash Social Welfare Objective.


title: Augmenting Basis Sets by Normalizing Flows

abstract: Approximating functions by a linear span of truncated basis sets is a standard procedure for the numerical solution of differential and integral equations. Commonly used concepts of approximation methods are well-posed and convergent, by provable approximation orders. On the down side, however, these methods often suffer from the curse of dimensionality, which limits their approximation behavior, especially in situations of highly oscillatory target functions. Nonlinear approximation methods, such as neural networks, were shown to be very efficient in approximating high-dimensional functions. We investigate nonlinear approximation methods that are constructed by composing standard basis sets with normalizing flows. Such models yield richer approximation spaces while maintaining the density properties of the initial basis set, as we show. Simulations to approximate eigenfunctions of a perturbed quantum harmonic oscillator indicate convergence with respect to the size of the basis set.


title: KGML-xDTD: A Knowledge Graph-based Machine Learning Framework for Drug Treatment Prediction and Mechanism Description

abstract: Background: Computational drug repurposing is a cost- and time-efficient approach that aims to identify new therapeutic targets or diseases (indications) of existing drugs/compounds. It is especially critical for emerging and/or orphan diseases due to its cheaper investment and shorter research cycle compared with traditional wet-lab drug discovery approaches. However, the underlying mechanisms of action (MOAs) between repurposed drugs and their target diseases remain largely unknown, which is still a main obstacle for computational drug repurposing methods to be widely adopted in clinical settings. Results: In this work, we propose KGML-xDTD: a Knowledge Graph-based Machine Learning framework for explainably predicting Drugs Treating Diseases. It is a two-module framework that not only predicts the treatment probabilities between drugs/compounds and diseases but also biologically explains them via knowledge graph (KG) path-based, testable mechanisms of action (MOAs). We leverage knowledge-and-publication based information to extract biologically meaningful "demonstration paths" as the intermediate guidance in the Graph-based Reinforcement Learning (GRL) path-finding process. Comprehensive experiments and case study analyses show that the proposed framework can achieve state-of-the-art performance in both predictions of drug repurposing and recapitulation of human-curated drug MOA paths. Conclusions: KGML-xDTD is the first model framework that can offer KG-path explanations for drug repurposing predictions by leveraging the combination of prediction outcomes and existing biological knowledge and publications. We believe it can effectively reduce "black-box" concerns and increase prediction confidence for drug repurposing based on predicted path-based explanations, and further accelerate the process of drug discovery for emerging diseases.


title: Re-evaluating sample efficiency in de novo molecule generation

abstract: De novo molecule generation can suffer from data inefficiency; requiring large amounts of training data or many sampled data points to conduct objective optimization. The latter is a particular disadvantage when combining deep generative models with computationally expensive molecule scoring functions (a.k.a. oracles) commonly used in computer-aided drug design. Recent works have therefore focused on methods to improve sample efficiency in the context of de novo molecule drug design, or to benchmark it. In this work, we discuss and adapt a recent sample efficiency benchmark to better reflect realistic goals also with respect to the quality of chemistry generated, which must always be considered in the context of small-molecule drug design; we then re-evaluate all benchmarked generative models. We find that accounting for molecular weight and LogP with respect to the training data, and the diversity of chemistry proposed, re-orders the ranking of generative models. In addition, we benchmark a recently proposed method to improve sample efficiency (Augmented Hill-Climb) and found it ranked top when considering both the sample efficiency and chemistry of molecules generated. Continual improvements in sample efficiency and chemical desirability enable more routine integration of computationally expensive scoring functions on a more realistic timescale.


title: Convolution, aggregation and attention based deep neural networks for accelerating simulations in mechanics

abstract: Deep learning surrogate models are being increasingly used in accelerating scientific simulations as a replacement for costly conventional numerical techniques. However, their use remains a significant challenge when dealing with real-world complex examples. In this work, we demonstrate three types of neural network architectures for efficient learning of highly non-linear deformations of solid bodies. The first two architectures are based on the recently proposed CNN U-NET and MAgNET (graph U-NET) frameworks which have shown promising performance for learning on mesh-based data. The third architecture is Perceiver IO, a very recent architecture that belongs to the family of attention-based neural networks--a class that has revolutionised diverse engineering fields and is still unexplored in computational mechanics. We study and compare the performance of all three networks on two benchmark examples, and show their capabilities to accurately predict the non-linear mechanical responses of soft bodies.


title: FullBrain: a Social E-learning Platform

abstract: We present FullBrain, a social e-learning platform where students share and track their knowledge. FullBrain users can post notes, ask questions and share learning resources in dedicated course and concept spaces. We detail two components of FullBrain: a SIR system equipped with query autocomplete and query autosuggestion, and a Leaderboard module to improve user experience. We analyzed the day-to-day users' usage of the SIR system, measuring a time-to-complete a request below 0.11s, matching or exceeding our UX targets. Moreover, we performed stress tests which lead the way for more detailed analysis. Through a preliminary user study and log data analysis, we observe that 97% of the users' activity is directed to the top 4 positions in the leaderboard.


title: Path Planning Problem under non-probabilistic Uncertainty

abstract: This paper considers theoretical solutions for path planning problems under non-probabilistic uncertainty used in the travel salesman problems under uncertainty. The uncertainty is on the paths between the cities as nodes in a travelling salesman problem. There is at least one path between two nodes/stations where the travelling time between the nodes is not precisely known. This could be due to environmental effects like crowdedness (rush period) in the path, the state of the charge of batteries, weather conditions, or considering the safety of the route while travelling. In this work, we consider two different advanced uncertainty models (i) probabilistic-precise uncertain model: Probability distributions and (ii) non-probabilistic--imprecise uncertain model: Intervals. We investigate what theoretical results can be obtained for two different optimality criteria: maximinity and maximality in the travelling salesman problem.


title: Dynamics of the Great Oxidation Event from a 3D photochemical-climate model

abstract: From the Archean toward the Proterozoic, the Earth's atmosphere underwent a major shift from anoxic to oxic conditions, around 2.4 to 2.1 Gyr, known as the Great Oxidation Event (GOE). This rapid transition may be related to an atmospheric instability caused by the formation of the ozone layer. Previous works were all based on 1D photochemical models. Here, we revisit the GOE with a 3D photochemical-climate model to investigate the possible impact of the atmospheric circulation and the coupling between the climate and the dynamics of the oxidation. We show that the diurnal, seasonal and transport variations do not bring significant changes compared to 1D models. Nevertheless, we highlight a temperature dependence for atmospheric photochemical losses. A cooling during the late Archean could then have favored the triggering of the oxygenation. In addition, we show that the Huronian glaciations, which took place during the GOE, could have introduced a fluctuation in the evolution of the oxygen level. Finally, we show that the oxygen overshoot which is expected to have occurred just after the GOE, was likely accompanied by a methane overshoot. Such high methane concentrations could have had climatic consequences and could have played a role in the dynamics of the Huronian glaciations.


title: A Lambert's Problem Solution via the Koopman Operator with Orthogonal Polynomials

abstract: Lambert's problem has been long studied in the context of space operations; its solution enables accurate orbit determination and spacecraft guidance. This work offers an analytical solution to Lambert's problem using the Koopman Operator (KO). In contrast to previous methods in the literature, the KO provides the analysis of a nonlinear system by seeking a transformation that embeds the nonlinear dynamics into a global linear representation. Our new methodology to solve for Lambert solutions considers the position of the system's eigenvalues on the phase plane, evaluating accurate state transition polynomial maps for a computationally efficient propagation of the dynamics. The methodology used and multiple-revolution solutions found are compared in accuracy and performance with other techniques found in the literature, highlighting the benefits of the newly developed analytical approach over classical numerical methodologies.

categories: math.NA astro-ph.EP cs.NA math.DS physics.space-ph


title: Analysis and mitigation of pulse-pile-up tail artifacts in warm-plasma pulse-height X-ray spectra

abstract: Pulse pile-up in pulse-height energy analyzers increases when the incident rate of pulses increases relative to the inverse of the dead time per pulse of the detection system. Changes in the observed energy distributions with incident rate and detector-electronics-formed pulse shape then occur. We focus on weak high energy tails in X-ray spectra, important for measurements on partially ionized, warm, pure-hydrogen plasma. A first-principles two-photon pulse-pile-up model is derived specific to trapezoidal-shaped pulses; quantitative agreement is found between the measurements and the model predictions. The modeling is then used to diagnose pulse-pile-up tail artifacts and mitigate them in relatively low count-rate spectra.


title: Why am I Waiting? Data-Driven Analysis of Waiting Times in Business Processes

abstract: Waiting times in a business process often arise when a case transitions from one activity to another. Accordingly, analyzing the causes of waiting times of activity transitions can help analysts to identify opportunities for reducing the cycle time of a process. This paper proposes a process mining approach to decompose the waiting time observed in each activity transition in a process into multiple direct causes and to analyze the impact of each identified cause on the cycle time efficiency of the process. An empirical evaluation shows that the proposed approach is able to discover different direct causes of waiting times. The applicability of the proposed approach is demonstrated on a real-life process.


title: Continual Learning for On-Device Speech Recognition using Disentangled Conformers

abstract: Automatic speech recognition research focuses on training and evaluating on static datasets. Yet, as speech models are increasingly deployed on personal devices, such models encounter user-specific distributional shifts. To simulate this real-world scenario, we introduce LibriContinual, a continual learning benchmark for speaker-specific domain adaptation derived from LibriVox audiobooks, with data corresponding to 118 individual speakers and 6 train splits per speaker of different sizes. Additionally, current speech recognition models and continual learning algorithms are not optimized to be compute-efficient. We adapt a general-purpose training algorithm NetAug for ASR and create a novel Conformer variant called the DisConformer (Disentangled Conformer). This algorithm produces ASR models consisting of a frozen 'core' network for general-purpose use and several tunable 'augment' networks for speaker-specific tuning. Using such models, we propose a novel compute-efficient continual learning algorithm called DisentangledCL. Our experiments show that the DisConformer models significantly outperform baselines on general ASR i.e. LibriSpeech (15.58% rel. WER on test-other). On speaker-specific LibriContinual they significantly outperform trainable-parameter-matched baselines (by 20.65% rel. WER on test) and even match fully finetuned baselines in some settings.


title: Late-Time Correlators and Complex Geodesics in de Sitter Space

abstract: We study two-point correlation functions of a massive free scalar field in de Sitter space using the heat kernel formalism. Focusing on two operators in conjugate static patches we derive a geodesic approximation to the two-point correlator valid for large mass and at late times. This expression involves a sum over two complex conjugate geodesics that correctly reproduces the large-mass, late-time limit of the exact two-point function in the Bunch-Davies vacuum. The exponential decay of the late-time correlator is associated to the timelike part of the complex geodesics. We emphasize that the late-time exponential decay is in tension with the finite maximal entropy of empty de Sitter space, and we briefly discuss how non-perturbative corrections might resolve this paradox.


title: MUSE-ALMA Haloes VIII: Statistical Study of Circumgalactic Medium Gas

abstract: The distribution of gas and metals in the circumgalactic medium (CGM) plays a critical role in how galaxies evolve. The MUSE-ALMA Halos survey combines MUSE, ALMA and HST observations to constrain the properties of the multi-phase gas in the CGM and the galaxies associated with the gas probed in absorption. In this paper, we analyse the properties of galaxies associated with 32 strong \ion{H}{i} Ly-$\alpha$ absorbers at redshift $0.2 \lesssim z \lesssim 1.4$. We detect 79 galaxies within $\pm 500$ \kms \!of the absorbers in our 19 MUSE fields. These associated galaxies are found at physical distances from 5.7 kpc and reach star-formation rates as low as $0.1$ \Moyr. The significant number of associated galaxies allows us to map their physical distribution on the $\Delta v$ and $b$ plane. Building on previous studies, we examine the physical and nebular properties of these associated galaxies and find the following: i) 27/32 absorbers have galaxy counterparts and more than 50 per cent of the absorbers have two or more associated galaxies, ii) the \ion{H}{i} column density of absorbers is anti-correlated with the impact parameter (scaled by virial radius) of the nearest galaxy as expected from simulations, iii) the metallicity of associated galaxies is typically larger than the absorber metallicity which decreases at larger impact parameters. It becomes clear that while strong \ion{H}{i} absorbers are typically associated with more than a single galaxy, we can use them to statistically map the gas and metal distribution in the CGM.


title: Building the molecular cloud population: the role of cloud mergers

abstract: We study the physical drivers of slow molecular cloud mergers within a simulation of a Milky Way-like galaxy in the moving-mesh code Arepo, and determine the influence of these mergers on the mass distribution and star formation efficiency of the galactic cloud population. We find that 83 per cent of these mergers occur at a relative velocity below 5 km/s, and are associated with large-scale atomic gas flows, driven primarily by (1) expanding bubbles of hot, ionised gas caused by supernova explosions and (2) galactic rotation. The major effect of these mergers is to aggregate molecular mass into higher-mass clouds: mergers account for over 50 per cent of the molecular mass contained in clouds of mass M > 2 x 10^6 Msun. These high-mass clouds have higher densities, internal velocity dispersions and instantaneous star formation efficiencies than their unmerged, lower-mass precursors. As such, the mean instantaneous star formation efficiency in our simulated galaxy, with its merger rate of just 1 per cent of clouds per Myr, is 25 per cent higher than in a similar population of clouds containing no mergers.


title: The Star Formation History of the Milky Way's Nuclear Star Cluster

abstract: We report the first star formation history study of the Milky Way's nuclear star cluster (NSC) that includes observational constraints from a large sample of stellar metallicity measurements. These metallicity measurements were obtained from recent surveys from Gemini and VLT of 770 late-type stars within the central 1.5 pc. These metallicity measurements, along with photometry and spectroscopically derived temperatures, are forward modeled with a Bayesian inference approach. Including metallicity measurements improves the overall fit quality, as the low-temperature red giants that were previously difficult to constrain are now accounted for, and the best fit favors a two-component model. The dominant component contains 93%$\pm$3% of the mass, is metal-rich ($\overline{[M/H]}\sim$0.45), and has an age of 5$^{+3}_{-2}$ Gyr, which is $\sim$3 Gyr younger than earlier studies with fixed (solar) metallicity; this younger age challenges co-evolutionary models in which the NSC and supermassive black holes formed simultaneously at early times. The minor population component has low metallicity ($\overline{[M/H]}\sim$ -1.1) and contains $\sim$7% of the stellar mass. The age of the minor component is uncertain (0.1 - 5 Gyr old). Using the estimated parameters, we infer the following NSC stellar remnant population (with $\sim$18% uncertainty): 1.5$\times$10$^5$ neutron stars, 2.5$\times$10$^5$ stellar mass black holes (BHs) and 2.2$\times$10$^4$ BH-BH binaries. These predictions result in 2-4 times fewer neutron stars compared to earlier predictions that assume solar metallicity, introducing a possible new path to understand the so-called "missing pulsar problem". Finally, we present updated predictions for the BH-BH merger rates (0.01-3 Gpc$^{-3}$yr$^{-1}$).


title: Complex geodesics in de Sitter space

abstract: The two-point function of a free massive scalar field on a fixed background can be evaluated in the large mass limit by using a semiclassical geodesic approximation. In de Sitter space, however, this poses a puzzle. Certain spacelike separated points are not connected by real geodesics despite the corresponding two-point function in the Bunch-Davies state being non-vanishing. We resolve this puzzle by considering complex geodesics after analytically continuing to the sphere. We compute one-loop corrections to the correlator and discuss the implications of our results to de Sitter holography.


title: Time Evolving Photo Ionisation Device (TEPID): a novel code for out-of-equilibrium gas ionisation

abstract: Photoionisation is one of the main mechanisms at work in the gaseous environment of bright astrophysical sources. Many information on the gas physics, chemistry and kinematics, as well as on the ionising source itself, can be gathered through optical to X-ray spectroscopy. While several public time equilibrium photoionisation codes are readily available and can be used to infer average gas properties at equilibrium, time-evolving photoionisation models have only very recently started to become available. They are needed when the ionising source varies faster than the typical gas equilibration timescale. Indeed, using equilibrium models to analyse spectra of non-equilibrium gas may lead to inaccurate results and prevents a solid assessment of the gas density, physics and geometry. We present our novel Time-Evolving PhotoIonisation Device (TEPID), which self-consistently solves time evolving photoionisation equations (thermal and ionisation balance) and follows the response of the gas to changes of the ionising source. The code can be applied to a variety of astrophysical scenarios and produces time-resolved gas absorption spectra to fit the data. To describe the main features of TEPID, we apply it to two dramatically different astrophysical scenarios: a typical ionised absorber observed in the X-ray spectra of Active Galactic Nuclei (e.g. Warm Absorbers and UFOs) and the circumburst environment of a Gamma-Ray Burst. In both cases, the gas energy and ionisation balances vary as a function of time, gas density and distance from the ionising source. Time evolving ionisation leads to unique ionisation patterns which cannot be reproduced by stationary codes when the gas is out of equilibrium. This demonstrates the need for codes such as TEPID in view of the up-coming high-resolution X-ray spectrometers onboard missions like XRISM or Athena.


title: Gregory-Laflamme and Superradiance encounter Black Resonator Strings

abstract: We construct novel black strings that are neither time-translation invariant, nor axisymmetric, nor translationally invariant in the string direction, but nevertheless have a helical Killing vector field. These solutions branch from the superradiant instability of $D=6$ Myers-Perry black strings with equal angular momenta. We coin these solutions as {\it black resonator strings} and we find that they have more entropy than Myers-Perry black strings for the energies and angular momenta where both solutions coexist. We also construct Kaluza-Klein geons, which share the symmetries of black resonator strings, but are horizonless. Unlike in other superradiant systems, Kaluza-Klein geons are not the horizonless limit of black resonator strings and are instead entirely separate solutions.


title: Thread With Caution: Proactively Helping Users Assess and Deescalate Tension in Their Online Discussions

abstract: Incivility remains a major challenge for online discussion platforms, to such an extent that even conversations between well-intentioned users can often derail into uncivil behavior. Traditionally, platforms have relied on moderators to -- with or without algorithmic assistance -- take corrective actions such as removing comments or banning users. In this work we propose a complementary paradigm that directly empowers users by proactively enhancing their awareness about existing tension in the conversation they are engaging in and actively guides them as they are drafting their replies to avoid further escalation. As a proof of concept for this paradigm, we design an algorithmic tool that provides such proactive information directly to users, and conduct a user study in a popular discussion platform. Through a mixed methods approach combining surveys with a randomized controlled experiment, we uncover qualitative and quantitative insights regarding how the participants utilize and react to this information. Most participants report finding this proactive paradigm valuable, noting that it helps them to identify tension that they may have otherwise missed and prompts them to further reflect on their own replies and to revise them. These effects are corroborated by a comparison of how the participants draft their reply when our tool warns them that their conversation is at risk of derailing into uncivil behavior versus in a control condition where the tool is disabled. These preliminary findings highlight the potential of this user-centered paradigm and point to concrete directions for future implementations.


title: Constraints on galactic outflows from the metallicity-stellar mass-SFR relation of EAGLE simulation and SDSS galaxies

abstract: Stellar feedback-driven outflows regulate the stellar formation and chemical enrichment of galaxies, yet the underlying dependence of mass outflow rate on galaxy properties remains largely unknown. We develop a simple yet comprehensive non-equilibrium chemical evolution model~(NE-CEM) to constrain the mass-loading factor $\eta$ of outflows using the metallicity-stellar mass-SFR relation observed by SDSS at $z{=}0$. Our NE-CEM predicts the chemical enrichment by explicitly tracking both the histories of star formation and mass-loading. After exploring the EAGLE simulation, we discover a compact yet flexible model that accurately describes the average star formation histories of galaxies. Applying a novel method of chemically measuring $\eta$ to EAGLE, we find $\eta$ can be parametrised by its dependence on stellar mass and specific SFR as $\log\eta\propto M_*^{\alpha}s{\mathrm{SFR}}^{\beta}$, with $\alpha{=}{-}0.12$ and $\beta{=}0.32$ in EAGLE. Our chemically-inferred $\eta$ agrees remarkably well with the kinematic measurements by Mitchell et al. After extensive tests with EAGLE, we apply an NE-CEM Bayesian analysis to the SDSS data, yielding a tight constraint of $\log(\eta/0.631)=0.731{\pm}0.002\times(M_*/10^{9.5}M_{\odot})^{-0.222\pm0.004} (s{\mathrm{SFR}}/10^{-9.5}yr^{-1})^{0.078\pm0.003}$, in good agreement with the down-the-barrel measurements. Our best-fitting NE-CEM not only accurately describes the metallicity-stellar mass-SFR relation at $z{=}0$, but also successfully reproduce the so-called "fundamental metallicity relation'' at higher redshifts. Our results reveal that different galaxies form stars and enrich their gas in a non-equilibrium but strikingly coherent fashion across cosmic time.


title: Properties and observables of massive galaxies in self-interacting dark matter cosmologies

abstract: We use hydrodynamical cosmological simulations to test the differences between cold and self-interacting dark matter models (CDM and SIDM) in the mass range of massive galaxies ($10^{12}M_{\odot}h^{-1}<M<10^{13.5}M_{\odot}h^{-1}$). We consider two SIDM models: one with constant cross section $\sigma/m_{\chi}=1\mathrm{cm^2g^{-1}}$ and one where the cross section is velocity-dependent. We analyse the halo density profiles and concentrations, comparing the predictions of dark-matter-only and hydrodynamical simulations in all scenarios. We calculate the best-fit Einasto profiles and compare the resulting parameters with previous studies and define the best-fit concentration-mass relations. We find that the inclusion of baryons reduces the differences between different dark matter models with respect to the DM-only case. In SIDM hydro runs, deviations from the CDM density profiles weakly depend on mass: the most massive systems ($M>10^{13}M_{\odot}h^{-1}$) show cored profiles, while the least massive ones ($M<10^{12.5}M_{\odot}h^{-1}$) have cuspier profiles. Finally, we compare the predictions of our simulations to observational results, by looking at the dark matter fractions and the distribution of strong lensing Einstein radii. We find that in SIDM the DM-fractions decrease more rapidly with increasing stellar mass than in CDM, leading to lower fractions at $M_{*}>10^{11}M_{\odot}$, a distinctive signature of SIDM. At the same time, the distribution of Einstein radii, derived from both CDM and SIDM hydro runs, is comparable to observed samples of strong lenses with $M>10^{13}M_{\odot}h^{-1}$. We conclude that the interplay between self-interaction and baryons can greatly reduce the expected differences between CDM and SIDM models at this mass scale, and that techniques able to separate the dark and luminous mass in the inner regions of galaxies are needed to constrain self-interactions.


title: Gravitational wave from extreme mass-ratio inspirals as a probe of extra dimensions

abstract: The field of gravitational waves is rapidly progressing due to the noticeable advancements in the sensitivity of gravitational-wave detectors that has enabled the detection prospects of binary black hole mergers. Extreme mass ratio inspiral (EMRI) is one of the most compelling and captivating binary systems in this direction, with the detection possibility by the future space-based gravitational wave detector. In this article, we consider an EMRI system where the primary or the central object is a spherically symmetric static braneworld black hole that carries a \textit{tidal charge} $Q$. We estimate the effect of the tidal charge on total gravitational wave flux and orbital phase due to a non-spinning secondary inspiralling the primary. We further highlight the observational implications of the tidal charge in EMRI waveforms. We show that LISA (Laser Interferometer Space Antenna) observations can put a much stronger constraint on this parameter than black hole shadow and ground-based gravitational wave observations, which can potentially probe the existence of extra dimensions.


title: A 3D View of Orion: I. Barnard's Loop

abstract: Barnard's Loop is a famous arc of H$\alpha$ emission located in the Orion star-forming region. Here, we provide evidence of a possible formation mechanism for Barnard's Loop and compare our results with recent work suggesting a major feedback event occurred in the region around 6 Myr ago. We present a 3D model of the large-scale Orion region, indicating coherent, radial, 3D expansion of the OBP-Near/Brice\~{n}o-1 (OBP-B1) cluster in the middle of a large dust cavity. The large-scale gas in the region also appears to be expanding from a central point, originally proposed to be Orion X. OBP-B1 appears to serve as another possible center, and we evaluate whether Orion X or OBP-B1 is more likely to be the cause of the expansion. We find that neither cluster served as the single expansion center, but rather a combination of feedback from both likely propelled the expansion. Recent 3D dust maps are used to characterize the 3D topology of the entire region, which shows Barnard's Loop's correspondence with a large dust cavity around the OPB-B1 cluster. The molecular clouds Orion A, Orion B, and Orion $\lambda$ reside on the shell of this cavity. Simple estimates of gravitational effects from both stars and gas indicate that the expansion of this asymmetric cavity likely induced anisotropy in the kinematics of OBP-B1. We conclude that feedback from OBP-B1 has affected the structure of the Orion A, Orion B, and Orion $\lambda$ molecular clouds and may have played a major role in the formation of Barnard's Loop.


title: ClipFace: Text-guided Editing of Textured 3D Morphable Models

abstract: We propose ClipFace, a novel self-supervised approach for text-guided editing of textured 3D morphable model of faces. Specifically, we employ user-friendly language prompts to enable control of the expressions as well as appearance of 3D faces. We leverage the geometric expressiveness of 3D morphable models, which inherently possess limited controllability and texture expressivity, and develop a self-supervised generative model to jointly synthesize expressive, textured, and articulated faces in 3D. We enable high-quality texture generation for 3D faces by adversarial self-supervised training, guided by differentiable rendering against collections of real RGB images. Controllable editing and manipulation are given by language prompts to adapt texture and expression of the 3D morphable model. To this end, we propose a neural network that predicts both texture and expression latent codes of the morphable model. Our model is trained in a self-supervised fashion by exploiting differentiable rendering and losses based on a pre-trained CLIP model. Once trained, our model jointly predicts face textures in UV-space, along with expression parameters to capture both geometry and texture changes in facial expressions in a single forward pass. We further show the applicability of our method to generate temporally changing textures for a given animation sequence.


title: Nanosecond time-resolved dual-comb absorption spectroscopy

abstract: Frequency combs have revolutionized the field of optical spectroscopy, enabling researchers to probe molecular systems with a multitude of accurate and precise optical frequencies. While there have been tremendous strides in direct frequency comb spectroscopy, these approaches have been unable to record high resolution spectra on the nanosecond timescale characteristic of many physiochemical processes. Here we demonstrate a new approach to optical frequency comb generation in which a pair of electro-optic combs is produced in the near-infrared and subsequently transferred with high mutual coherence and efficiency into the mid-infrared within a single optical parametric oscillator. The high power, mutual coherence, and agile repetition rates of these combs as well as the large mid-infrared absorption of many molecular species enable fully resolved spectral transitions to be recorded in timescales as short as 20 ns. We have applied this approach to study the rapid dynamics occurring within a supersonic pulsed jet, however we note that this method is widely applicable to fields such as chemical and quantum physics, atmospheric chemistry, combustion science, and biology.


title: Coherent magnon-induced domain wall motion in a magnetic insulator channel

abstract: Advancing the development of spin-wave devices requires high-quality low-damping magnetic materials where magnon spin currents can propagate efficiently and interact effectively with local magnetic textures. We show that magnetic domain walls (DW) can modulate spin-wave transport in perpendicularly magnetized channels of Bi-doped yttrium-iron-garnet (BiYIG). Conversely, we demonstrate that the magnon spin current can drive DW motion in the BiYIG channel device by means of magnon spin-transfer torque. The DW can be reliably moved over 15 um distances at zero applied magnetic field by a magnon spin current excited by an RF pulse as short as 1 ns. The required energy for driving DW motion is orders of magnitude smaller than those reported for metallic systems. These results facilitate low-switching-energy magnonic devices and circuits where magnetic domains can be efficiently reconfigured by magnon spin currents flowing within magnetic channels.


title: A Finite Element Method for Angular Discretization of the Radiation Transport Equation on Spherical Geodesic Grids

abstract: Discrete ordinate ($S_N$) and filtered spherical harmonics ($FP_N$) based schemes have been proven to be robust and accurate in solving the Boltzmann transport equation but they have their own strengths and weaknesses in different physical scenarios. We present a new method based on a finite element approach in angle that combines the strengths of both methods and mitigates their disadvantages. The angular variables are specified on a spherical geodesic grid with functions on the sphere being represented using a finite element basis. A positivity-preserving limiting strategy is employed to prevent non-physical values from appearing in the solutions. The resulting method is then compared with both $S_N$ and $FP_N$ schemes using four test problems and is found to perform well when one of the other methods fail.

categories: math.NA astro-ph.HE cs.NA gr-qc physics.comp-ph


title: Polarized Maser Emission with In-Source Faraday Rotation

abstract: We discuss studies of polarization in astrophysical masers with particular emphasis on the case where the Zeeman splitting is small compared to the Doppler profile, resulting in a blend of the transitions between magnetic substates. A semi-classical theory of the molecular response is derived, and coupled to radiative transfer solutions for 1 and 2-beam linear masers, resulting in a set of non-linear, algebraic equations for elements of the molecular density matrix. The new code, PRISM, implements numerical methods to compute these solutions. Using PRISM, we demonstrate a smooth transfer between this case and that of wider splitting. For a J=1-0 system, with parameters based on the $v=1, J=1-0$ transition of SiO, we investigate the behaviour of linear and circular polarization as a function of the angle between the propagation axis and the magnetic field, and with the optical depth, or saturation state, of the model. We demonstrate how solutions are modified by the presence of Faraday rotation, generated by various abundances of free electrons, and that strong Faraday rotation leads to additional angles where Stokes-Q changes sign. We compare our results to a number of previous models, from the analytical limits derived by Goldreich, Keeley and Kwan in 1973, through computational results by W. Watson and co-authors, to the recent work by Lankhaar and Vlemmings in 2019. We find that our results are generally consistent with those of other authors given the differences of approach and the approximations made.


title: The Multivariate Rate of Convergence for Selberg's Central Limit Theorem

abstract: In this paper we quantify the rate of convergence in Selberg's central limit theorem for $\log|\zeta(1/2+it)|$ based on the method of proof given by Radziwill and Soundararajan. We achieve the same rate of convergence of $(\log\log\log T)^2/\sqrt{\log\log T}$ as Selberg in the Kolmogorov distance by using the Dudley distance instead. We also prove the theorem for the multivariate case given by Bourgade with the same rate of convergence as in the single variable case.


title: Expected Value of Matrix Quadratic Forms with Wishart distributed Random Matrices

abstract: To explore the limits of a stochastic gradient method, it may be useful to consider an example consisting of an infinite number of quadratic functions. In this context, it is appropriate to determine the expected value and the covariance matrix of the stochastic noise, i.e. the difference of the true gradient and the approximated gradient generated from a finite sample. When specifying the covariance matrix, the expected value of a quadratic form QBQ is needed, where Q is a Wishart distributed random matrix and B is an arbitrary fixed symmetric matrix. After deriving an expression for E(QBQ) and considering some special cases, a numerical example is used to show how these results can support the comparison of two stochastic methods.


title: Hamiltonian systems of Jordan block type: delta-functional reductions of the kinetic equation for soliton gas

abstract: We demonstrate that linear degeneracy is a necessary condition for quasilinear systems of Jordan block type to possess first-order Hamiltonian structures. Multi-Hamiltonian formulation of linearly degenerate systems governing delta-functional reductions of the kinetic equation for dense soliton gas is established (for KdV, sinh-Gordon, hard-rod, Lieb-Liniger, DNLS, and separable cases).


title: Meta-Shop: Improving Item Advertisement For Small Businesses

abstract: In this paper, we study item advertisements for small businesses. This application recommends prospective customers to specific items requested by businesses. From analysis, we found that the existing Recommender Systems (RS) were ineffective for small/new businesses with a few sales history. Training samples in RS can be highly biased toward popular businesses with sufficient sales and can decrease advertising performance for small businesses. We propose a meta-learning-based RS to improve advertising performance for small/new businesses and shops: Meta-Shop. Meta-Shop leverages an advanced meta-learning optimization framework and builds a model for a shop-level recommendation. It also integrates and transfers knowledge between large and small shops, consequently learning better features in small shops. We conducted experiments on a real-world E-commerce dataset and a public benchmark dataset. Meta-Shop outperformed a production baseline and the state-of-the-art RS models. Specifically, it achieved up to 16.6% relative improvement of Recall@1M and 40.4% relative improvement of nDCG@3 for user recommendations to new shops compared to the other RS models.


title: Measuring Competency of Machine Learning Systems and Enforcing Reliability

abstract: We explore the impact of environmental conditions on the competency of machine learning agents and how real-time competency assessments improve the reliability of ML agents. We learn a representation of conditions which impact the strategies and performance of the ML agent enabling determination of actions the agent can make to maintain operator expectations in the case of a convolutional neural network that leverages visual imagery to aid in the obstacle avoidance task of a simulated self-driving vehicle.


title: Sums of Independent Circular Random Variables and Maximum Likelihood Circular Uniformity Tests Based on Nonnegative Trigonometric Sums Distributions

abstract: The circular uniform distribution on the unit circle is closed under summation, that is, the sum of independent circular uniformly distributed random variables is also circular uniformly distributed. In this study, it is shown that a family of circular distributions based on nonnegative trigonometric sums (NNTS) is also closed under summation. Given the flexibility of NNTS circular distributions to model multimodality and skewness, these are good candidates for use as alternative models to test for circular uniformity to detect different deviations from the null hypothesis of circular uniformity. The circular uniform distribution is a member of the NNTS family, but in the NNTS parameter space, it corresponds to a point on the boundary of the parameter space, implying that the regularity conditions are not satisfied when the parameters are estimated by using the maximum likelihood method. Two NNTS tests for circular uniformity were developed by considering the standardised maximum likelihood estimator and the generalised likelihood ratio. Given the nonregularity condition, the critical values of the proposed NNTS circular uniformity tests were obtained via simulation and interpolated for any sample size by the fitting of regression models. The validity of the proposed NNTS circular uniformity tests was evaluated by generating NNTS models close to the circular uniformity null hypothesis.


title: High Resolution VLBI Astrometry of pulsar scintillation screens with the $\theta-\theta$ Transform

abstract: The recent development of $\theta\mhyphen\theta$ techniques in pulsar scintillometry has opened the door for new high resolution imaging techniques of the scattering medium. By solving the phase retrieval problem and recovering the wavefield from a pulsar dynamic spectrum, the Doppler shift, time delay, and phase offset of individual images can be determined. However, the results of phase retrieval from a single dish are only known up to a constant phase rotation, which introduces extra parameters when doing astrometry using Very Long Baseline Interferometry. We present an extension to previous $\theta\mhyphen\theta$ methods using the interferometric visibilities between multiple stations to calibrate the wavefields. When applied to existing data for PSR B0834+06 we measure the effective screen distance and lens orientation with five times greater precision than previous works.


title: Operator inference with roll outs for learning reduced models from scarce and low-quality data

abstract: Data-driven modeling has become a key building block in computational science and engineering. However, data that are available in science and engineering are typically scarce, often polluted with noise and affected by measurement errors and other perturbations, which makes learning the dynamics of systems challenging. In this work, we propose to combine data-driven modeling via operator inference with the dynamic training via roll outs of neural ordinary differential equations. Operator inference with roll outs inherits interpretability, scalability, and structure preservation of traditional operator inference while leveraging the dynamic training via roll outs over multiple time steps to increase stability and robustness for learning from low-quality and noisy data. Numerical experiments with data describing shallow water waves and surface quasi-geostrophic dynamics demonstrate that operator inference with roll outs provides predictive models from training trajectories even if data are sampled sparsely in time and polluted with noise of up to 10%.


title: Testing Linear Operator Constraints in Functional Response Regression with Incomplete Response Functions

abstract: Hypothesis testing procedures are developed to assess linear operator constraints in function-on-scalar regression when incomplete functional responses are observed. The approach enables statistical inferences about the shape and other aspects of the functional regression coefficients within a unified framework encompassing three incomplete sampling scenarios: (i) partially observed response functions as curve segments over random sub-intervals of the domain; (ii) discretely observed functional responses with additive measurement errors; and (iii) the composition of former two scenarios, where partially observed response segments are observed discretely with measurement error. The latter scenario has been little explored to date, although such structured data is increasingly common in applications. For statistical inference, deviations from the constraint space are measured via integrated $L^2$-distance between the model estimates from the constrained and unconstrained model spaces. Large sample properties of the proposed test procedure are established, including the consistency, asymptotic distribution and local power of the test statistic. Finite sample power and level of the proposed test are investigated in a simulation study covering a variety of scenarios. The proposed methodologies are illustrated by applications to U.S. obesity prevalence data, analyzing the functional shape of its trends over time, and motion analysis in a study of automotive ergonomics.


title: Obtaining transferable chemical insight from solving machine-learning classification problems: Thermodynamical properties prediction, atomic composition as good as Coulomb matrix

abstract: Machine learning (ML) can be used to construct surrogate models for the fast prediction of a property of interest. ML can thus be applied to chemical projects, where the usual experimentation or calculation techniques can take hours or days for just one sample. In this manner, the most promising candidate samples could be extracted from an extensive database and subjected to further in-depth analysis. Despite their broad applicability, it can be challenging to apply ML methods to a given chemical problem since a multitude of design decisions must be made, such as the molecular descriptor to use or the optimizer to train the model. Here we present a methodology for the meaningful exploration of a given molecular problem through classification experiments. This conceptually simple methodology results in transferable insight on the selected problem and can be used as a platform from which prediction difficulty is estimated, molecular representations are tested and refined, and more precise or ambitious projects can be undertaken. Physicochemical insight can also be obtained. This methodology is illustrated through the use of multiple molecular descriptors for the prediction of enthalpy, Gibbs' free energy, zero-point vibrational energy, and constant-volume calorific capacity of the molecules from the public database QM9 [Ramakrishnan2014] with 133,885 organic molecules. A noteworthy result is that for the classification problem we propose, the low-resolution descriptor `atomic composition' [Tchagang2019] can reach a classification rate almost on par with the high-resolution `sorted Coulomb matrix' [Rupp2012,Montavon2012,Hansen2013] ($>90\%$), provided that an appropriate optimizer is used during training.


title: Signal enhancement for two-dimensional cryo-EM data processing

abstract: Different tasks in the computational pipeline of single-particle cryo-electron microscopy (cryo-EM) require enhancing the quality of the highly noisy raw images. To this end, we develop an efficient algorithm for signal enhancement of cryo-EM images. The enhanced images can be used for a variety of downstream tasks, such as 2-D classification, removing uninformative images, constructing {ab initio} models, generating templates for particle picking, providing a quick assessment of the data set, dimensionality reduction, and symmetry detection. The algorithm includes built-in quality measures to assess its performance and alleviate the risk of model bias. We demonstrate the effectiveness of the proposed algorithm on several experimental data sets. In particular, we show that the quality of the resulting images is high enough to produce ab initio models of $\sim 10$ \AA resolution. The algorithm is accompanied by a publicly available, documented and easy-to-use code.


title: A Workflow Management System Guide

abstract: A workflow describes the entirety of processing steps in an analysis, such as employed in many fields of physics. Workflow management makes the dependencies between individual steps of a workflow and their computational requirements explicit, such that entire workflows can be executed in a stand-alone manner. Though the use of workflow management is widely recommended in the interest of transparency, reproducibility and data preservation, choosing among the large variety of available workflow management tools can be overwhelming. We compare selected workflow management tools concerning all relevant criteria and make recommendations for different use cases.


title: The theory of homogeneity of nonlinear structural systems -- A general basis for structural safety assessment

abstract: The paper develops a novel and general methodology to characterize the nonlinearity of structural systems and to provide a mathematically proven basis for applying partial safety factors to nonlinear structural systems. It establishes, for the first time since the development of limit-state theory, the necessary key relationship between the partial safety factor concept and the reliability theory of nonlinear structural systems. The degree of homogeneity has been introduced as a nonlinearity measure at the design point, allowing an efficient mathematical decoupling of the reliability index into nonlinearity-invariant partial reliability indexes. With this formulation, critical safety situations in extreme cases of nonlinearities have been identified in complex nonlinear structural systems. The theory resulted in two main outcomes based on the asymptotic behaviour of the reliability index. First, the reliability index of any nonlinear structural system remains always bounded between an upper and lower bound, which can be determined by the concept of nonlinearity-invariant partial reliability indexes. The second is nonlinearity-invariant critical partial safety factors, a concept that assures a reliability index greater than the target reliability index in any nonlinear structural system. Homogeneity analysis has been suggested to assess the safety of complex nonlinear structural systems. While it can be coupled with advanced computational methods available in structural mechanics, it is not specifically designed for engineering practice. The proposed theory is designed primarily to provide code writers with the necessary procedure for calibrating partial safety factors for nonlinear structural systems, and to identify the over-safe or under-safe cases in the codes of practice.