title: Strong spin-exchange recombination of three weakly interacting $^7$Li atoms

abstract: We reveal a significant spin-exchange pathway in the three-body recombination process for ultracold lithium-7 atoms near a zero-crossing of the two-body scattering length. This newly discovered recombination pathway involves the exchange of spin between all three atoms, which is not included in many theoretical approaches with restricted spin structure. Taking it into account, our calculation is in excellent agreement with experimental observations. To contrast our findings, we predict the recombination rate around a different zero-crossing without strong spin-exchange effects to be two orders of magnitude smaller, which gives a clear advantage to future many-body experiments in this regime. This work opens new avenues to study elementary reaction processes governed by the spin degree of freedom in ultracold gases.


title: Bootstrapping Whittle Estimators

abstract: Fitting parametric models by optimizing frequency domain objective functions is an attractive approach of parameter estimation in time series analysis. Whittle estimators are a prominent example in this context. Under weak conditions and the (realistic) assumption that the true spectral density of the underlying process does not necessarily belong to the parametric class of spectral densities fitted, the distribution of Whittle estimators typically depends on difficult to estimate characteristics of the underlying process. This makes the implementation of asymptotic results for the construction of confidence intervals or for assessing the variability of estimators, difficult in practice. This paper proposes a frequency domain bootstrap method to estimate the distribution of Whittle estimators which is asymptotically valid under assumptions that not only allow for (possible) model misspecification but also for weak dependence conditions which are satisfied by a wide range of stationary stochastic processes. Adaptions of the bootstrap procedure developed to incorporate different modifications of Whittle estimators proposed in the literature, like for instance, tapered, de-biased or boundary extended Whittle estimators, are also considered. Simulations demonstrate the capabilities of the bootstrap method proposed and its good finite sample performance. A real-life data analysis also is presented.


title: Computational approximations of compact metric spaces

abstract: Given a compact metric space $X$, we associate to it an inverse sequence of finite $T_0$ topological spaces. The inverse limit of this inverse sequence contains a homeomorphic copy of $X$ that is a strong deformation retract. We provide a method to approximate the homology groups of $X$ and other algebraic invariants. Finally, we study computational aspects and the implementation of this method.


title: Graphical Nonlinear System Analysis

abstract: We use the recently introduced concept of a Scaled Relative Graph (SRG) to develop a graphical analysis of input-output properties of feedback systems. The SRG of a nonlinear operator generalizes the Nyquist diagram of an LTI system. In the spirit of classical control theory, important robustness indicators of nonlinear feedback systems are measured as distances between SRGs.


title: Towards a Human Values Dashboard for Software Development: An Exploratory Study

abstract: Background: There is a growing awareness of the importance of human values (e.g., inclusiveness, privacy) in software systems. However, there are no practical tools to support the integration of human values during software development. We argue that a tool that can identify human values from software development artefacts and present them to varying software development roles can (partially) address this gap. We refer to such a tool as human values dashboard. Further to this, our understanding of such a tool is limited. Aims: This study aims to (1) investigate the possibility of using a human values dashboard to help address human values during software development, (2) identify possible benefits of using a human values dashboard, and (3) elicit practitioners' needs from a human values dashboard. Method: We conducted an exploratory study by interviewing 15 software practitioners. A dashboard prototype was developed to support the interview process. We applied thematic analysis to analyse the collected data. Results: Our study finds that a human values dashboard would be useful for the development team (e.g., project manager, developer, tester). Our participants acknowledge that development artefacts, especially requirements documents and issue discussions, are the most suitable source for identifying values for the dashboard. Our study also yields a set of high-level user requirements for a human values dashboard (e.g., it shall allow determining values priority of a project). Conclusions: Our study suggests that a values dashboard is potentially used to raise awareness of values and support values-based decision-making in software development. Future work will focus on addressing the requirements and using issue discussions as potential artefacts for the dashboard.


title: Mass ratios of long-period binary stars resolved in precision astrometry catalogs of two epochs

abstract: Mass ratios of widely separated, long-period, resolved binary stars can be directly estimated from the available data in major space astrometry catalogs, such as the ESA's Hipparcos and Gaia mission results. The method is based on the universal principle of inertial motion of the system's center of mass in the absence of external forces, and is independent of any assumptions about the physical parameters or stellar models. The application is limited by the precision of input astrometric data, the orbital period and distance to the system, and possible presence of other attractors in the vicinity, such as in triple systems. A generalization of this technique to triples is proposed, as well as approaches to estimation of uncertainties. The known long-period binary HIP 473 AB is discussed as an application example, for which a $m_2/m_1=0.996^{+0.026}_{-0.026}$ is obtained.


title: A Differentiable Language Model Adversarial Attack on Text Classifiers

abstract: Robustness of huge Transformer-based models for natural language processing is an important issue due to their capabilities and wide adoption. One way to understand and improve robustness of these models is an exploration of an adversarial attack scenario: check if a small perturbation of an input can fool a model. Due to the discrete nature of textual data, gradient-based adversarial methods, widely used in computer vision, are not applicable per~se. The standard strategy to overcome this issue is to develop token-level transformations, which do not take the whole sentence into account. In this paper, we propose a new black-box sentence-level attack. Our method fine-tunes a pre-trained language model to generate adversarial examples. A proposed differentiable loss function depends on a substitute classifier score and an approximate edit distance computed via a deep learning model. We show that the proposed attack outperforms competitors on a diverse set of NLP problems for both computed metrics and human evaluation. Moreover, due to the usage of the fine-tuned language model, the generated adversarial examples are hard to detect, thus current models are not robust. Hence, it is difficult to defend from the proposed attack, which is not the case for other attacks.


title: Neutron detection efficiency of the Neutron dEtector with Xn Tracking (NEXT)

abstract: An efficient neutron detection system with good energy resolution is required to correctly characterize decays of neutron-rich nuclei where $\beta-$delayed neutron emission is a dominant decay mode. The Neutron dEtector with Xn Tracking (NEXT) has been designed to measure $\beta$-delayed neutron emitters. By segmenting the detector along the neutron flight path, NEXT reduces the associated uncertainties in neutron time-of-flight measurements, improving energy resolution while maintaining detection efficiency. Detector prototypes are comprised of optically separated segments of a neutron-gamma discriminating plastic scintillator coupled to position-sensitive photomultiplier tubes. The first performance studies of this detector showed that high intrinsic neutron detection efficiency could be achieved while retaining good energy resolution. The results from the efficiency measurements using neutrons from direct reactions are presented.


title: Machine Learning with a Reject Option: A survey

abstract: Machine learning models always make a prediction, even when it is likely to be inaccurate. This behavior should be avoided in many decision support applications, where mistakes can have severe consequences. Albeit already studied in 1970, machine learning with rejection recently gained interest. This machine learning subfield enables machine learning models to abstain from making a prediction when likely to make a mistake. This survey aims to provide an overview on machine learning with rejection. We introduce the conditions leading to two types of rejection, ambiguity and novelty rejection, which we carefully formalize. Moreover, we review and categorize strategies to evaluate a model's predictive and rejective quality. Additionally, we define the existing architectures for models with rejection and describe the standard techniques for learning such models. Finally, we provide examples of relevant application domains and show how machine learning with rejection relates to other machine learning research areas.


title: A new method to extract the valence transversity distributions

abstract: A new method is suggested for the extraction of $u$-quark and $d$-quark transversity distributions, using single spin asymmetry (SSA) data in semi-inclusive deep inelastic scattering (SIDIS) processes, where they couple to the Collins or the di-hadron fragmentation functions. We discuss a recent suggestion to extract the transversity distribution using the concept of difference asymmetries and their ratios, which avoids the requirement of Collins function. We suggest new measurements, involving ratios of polarized cross-sections, that would directly probe the ratio $h_1^{d_v}/h_1^{u_v}$. We also show some numerical estimates.


title: Re-distributing Biased Pseudo Labels for Semi-supervised Semantic Segmentation: A Baseline Investigation

abstract: While self-training has advanced semi-supervised semantic segmentation, it severely suffers from the long-tailed class distribution on real-world semantic segmentation datasets that make the pseudo-labeled data bias toward majority classes. In this paper, we present a simple and yet effective Distribution Alignment and Random Sampling (DARS) method to produce unbiased pseudo labels that match the true class distribution estimated from the labeled data. Besides, we also contribute a progressive data augmentation and labeling strategy to facilitate model training with pseudo-labeled data. Experiments on both Cityscapes and PASCAL VOC 2012 datasets demonstrate the effectiveness of our approach. Albeit simple, our method performs favorably in comparison with state-of-the-art approaches. Code will be available at https://github.com/CVMI-Lab/DARS.


title: Type-based Enforcement of Infinitary Trace Properties for Java

abstract: A common approach to improve software quality is to use programming guidelines to avoid common kinds of errors. In this paper, we consider the problem of enforcing guidelines for Featherweight Java (FJ). We formalize guidelines as sets of finite or infinite execution traces and develop a region-based type and effect system for FJ that can enforce such guidelines. We build on the work by Erbatur, Hofmann and Z\u{a}linescu, who presented a type system for verifying the finite event traces of terminating FJ programs. We refine this type system, separating region typing from FJ typing, and use ideas of Hofmann and Chen to extend it to capture also infinite traces produced by non-terminating programs. Our type and effect system can express properties of both finite and infinite traces and can compute information about the possible infinite traces of FJ programs. Specifically, the set of infinite traces of a method is constructed as the greatest fixed point of the operator which calculates the possible traces of method bodies. Our type inference algorithm is realized by working with the finitary abstraction of the system based on B\"uchi automata.


title: The geometry of non-additive stabiliser codes

abstract: We present a geometric framework for constructing additive and non-additive stabiliser codes which encompasses stabiliser codes and graphical non-additive stabiliser codes.


title: Generalising Holographic Superconductors

abstract: In this paper we propose a generalised holographic framework to describe superconductors. We first unify the description of s-, p- and d-wave superconductors in a way that can be easily promoted to higher spin. Using a semi-analytical procedure to compute the superconductor properties, we are able to further generalise the geometric description of the hologram beyond the AdS-Schwarzschild Black Hole paradigm, and propose a set of higher-dimensional metrics which exhibit the same universal behaviour. We then study the properties of the condensate and the scaling of the critical temperature with the parameters of the higher-dimensional theory, reproducing existing results in the literature and extending them to include a possible description of the newly observed f-wave superconducting systems.


title: Limiter-based entropy stabilization of semi-discrete and fully discrete schemes for nonlinear hyperbolic problems

abstract: The algebraic flux correction (AFC) schemes presented in this work constrain a standard continuous finite element discretization of a nonlinear hyperbolic problem to satisfy relevant maximum principles and entropy stability conditions. The desired properties are enforced by applying a limiter to antidiffusive fluxes that represent the difference between the high-order baseline scheme and a property-preserving approximation of Lax--Friedrichs type. In the first step of the limiting procedure, the given target fluxes are adjusted in a way that guarantees preservation of local and/or global bounds. In the second step, additional limiting is performed, if necessary,to ensure the validity of fully discrete and/or semi-discrete entropy inequalities. The limiter-based entropy fixes considered in this work are applicable to finite element discretizations of scalar hyperbolic equations and systems alike. The underlying inequality constraints are formulated using Tadmor's entropy stability theory. The proposed limiters impose entropy-conservative or entropy-dissipative bounds on the rate of entropy production by antidiffusive fluxes and Runge--Kutta (RK) time discretizations. Two versions of the fully discrete entropy fix are developed for this purpose. To motivate the use of limiter-based entropy fixes, we prove a finite element version of the Lax--Wendroff theorem and perform numerical studies for standard test problems. In our numerical experiments, entropy-dissipative schemes converge to correct weak solutions of scalar conservation laws, of the Euler equations, and of the shallow water equations.


title: Determinantal Quantum Monte Carlo solver for Cluster Perturbation Theory

abstract: Cluster Perturbation Theory (CPT) is a technique for computing the spectral function of fermionic models with local interactions. By combining the solution of the model on a finite cluster with perturbation theory on intra-cluster hoppings, CPT provides access to single-particle properties with arbitrary momentum resolution while incurring low computational cost. Here, we introduce Determinantal Quantum Monte Carlo (DQMC) as a solver for CPT. Compared to the standard solver, exact diagonalization (ED), the DQMC solver reduces finite size effects through utilizing larger clusters, allows study of temperature dependence, and enables large-scale simulations of a greater set of models. We discuss the implementation of the DQMC solver for CPT and benchmark the CPT+DQMC method for the attractive and repulsive Hubbard models, showcasing its advantages over standard DQMC and CPT+ED simulations.


title: Gravitational Wave Follow-Up Using Low Energy Neutrinos in IceCube DeepCore

abstract: The IceCube DeepCore is a dense infill array of the IceCube Neutrino Observatory at the South Pole. While IceCube is best suited for detecting neutrinos with energies of several 100 GeV and above, DeepCore allows to probe neutrinos with lower energies. We focus on a sample of neutrinos with energies above approximately 10 GeV, which was originally optimised for oscillation experiments. Recently, it has been adapted to enable searches for transient sources of astrophysical neutrinos in the sky. In particular, this low-energy dataset can be used to conduct follow-up searches of gravitational wave transients detected by the LIGO-Virgo instruments. A study of this, which complements IceCube's follow-up of gravitational wave events using high-energy neutrino samples, will be discussed here.


title: The Diagonal Distance of CWS Codes

abstract: Quantum degeneracy in error correction is a feature unique to quantum error correcting codes, unlike their classical counterpart. It allows a quantum error correcting code to correct errors even when they can not uniquely pinpoint the error. The diagonal distance of a quantum code is an important parameter that characterizes if the quantum code is degenerate or not. If code has a distance more than the diagonal distance, then it is degenerate, whereas if it is below the diagonal distance, then it is nondegenerate. We show that most of the CWS codes without a cycle of length four attain the upper bound of diagonal distance d+1, where d is the minimum vertex degree of the associated graph. Addressing the question of degeneracy, we give necessary conditions on CWS codes to be degenerate. We show that any degenerate CWS code with graph $G$ and classical code C will either have a short cycle in the graph $G$ or will be such that the classical code C has one of the coordinates trivially zero for all codewords.


title: Adaptive Event Detection for Representative Load Signature Extraction

abstract: Event detection is the first step in event-based non-intrusive load monitoring (NILM) and it can provide useful transient information to identify appliances. However, existing event detection methods with fixed parameters may fail in case of unpredictable and complicated residential load changes such as high fluctuation, long transition, and near simultaneity. This paper proposes a dynamic time-window approach to deal with these highly complex load variations. Specifically, a window with adaptive margins, multi-timescale window screening, and adaptive threshold (WAMMA) method is proposed to detect events in aggregated home appliance load data with high sampling rate (>1Hz). The proposed method accurately captures the transient process by adaptively tuning parameters including window width, margin width, and change threshold. Furthermore, representative transient and steady-state load signatures are extracted and, for the first time, quantified from transient and steady periods segmented by detected events. Case studies on a 20Hz dataset, the 50Hz LIFTED dataset, and the 60Hz BLUED dataset show that the proposed method can robustly outperform other state-of-art event detection methods. This paper also shows that the extracted load signatures can improve NILM accuracy and help develop other applications such as load reconstruction to generate realistic load data for NILM research.


title: DronePaint: Swarm Light Painting with DNN-based Gesture Recognition

abstract: We propose a novel human-swarm interaction system, allowing the user to directly control a swarm of drones in a complex environment through trajectory drawing with a hand gesture interface based on the DNN-based gesture recognition. The developed CV-based system allows the user to control the swarm behavior without additional devices through human gestures and motions in real-time, providing convenient tools to change the swarm's shape and formation. The two types of interaction were proposed and implemented to adjust the swarm hierarchy: trajectory drawing and free-form trajectory generation control. The experimental results revealed a high accuracy of the gesture recognition system (99.75%), allowing the user to achieve relatively high precision of the trajectory drawing (mean error of 5.6 cm in comparison to 3.1 cm by mouse drawing) over the three evaluated trajectory patterns. The proposed system can be potentially applied in complex environment exploration, spray painting using drones, and interactive drone shows, allowing users to create their own art objects by drone swarms.


title: Nonlocal cross-interaction systems on graphs: Nonquadratic Finslerian structure and nonlinear mobilities

abstract: We study the evolution of a system of two species with nonlinear mobility and nonlocal interactions on a graph whose vertices are given by an arbitrary, positive measure. To this end, we extend a recently introduced $2$-Wasserstein-type quasi-metric on generalized graphs, which is based on an upwind-interpolation, to the case of two-species systems, concave, nonlinear mobilities, and $p\ne 2$. We provide a rigorous interpretation of the interaction system as a gradient flow in the Finslerian setting, arising from the new quasi-metric.


title: On the Existence of Uncountable Hopfian and co-Hopfian Abelian Groups

abstract: We deal with the problem of existence of uncountable co-Hopfian abelian groups and (absolute) Hopfian abelian groups. Firstly, we prove that there are no co-Hopfian reduced abelian groups $G$ of size $< \mathfrak{p}$ with infinite $\mathrm{Tor}_p(G)$, and that in particular there are no infinite reduced abelian $p$-groups of size $< \mathfrak{p}$. Secondly, we prove that if $2^{\aleph_0} < \lambda < \lambda^{\aleph_0}$, and $G$ is abelian of size $\lambda$, then $G$ is not co-Hopfian. Finally, we prove that for every cardinal $\lambda$ there is a torsion-free abelian group $G$ of size $\lambda$ which is absolutely Hopfian, i.e., $G$ is Hopfian and $G$ remains Hopfian in every forcing extensions of the universe.


title: Human Pose Regression with Residual Log-likelihood Estimation

abstract: Heatmap-based methods dominate in the field of human pose estimation by modelling the output distribution through likelihood heatmaps. In contrast, regression-based methods are more efficient but suffer from inferior performance. In this work, we explore maximum likelihood estimation (MLE) to develop an efficient and effective regression-based methods. From the perspective of MLE, adopting different regression losses is making different assumptions about the output density function. A density function closer to the true distribution leads to a better regression performance. In light of this, we propose a novel regression paradigm with Residual Log-likelihood Estimation (RLE) to capture the underlying output distribution. Concretely, RLE learns the change of the distribution instead of the unreferenced underlying distribution to facilitate the training process. With the proposed reparameterization design, our method is compatible with off-the-shelf flow models. The proposed method is effective, efficient and flexible. We show its potential in various human pose estimation tasks with comprehensive experiments. Compared to the conventional regression paradigm, regression with RLE bring 12.4 mAP improvement on MSCOCO without any test-time overhead. Moreover, for the first time, especially on multi-person pose estimation, our regression method is superior to the heatmap-based methods. Our code is available at https://github.com/Jeff-sjtu/res-loglikelihood-regression


title: Fechnerian Scaling: Dissimilarity Cumulation Theory

abstract: This is a chapter for the third volume of the New Handbook of Mathematical Psychology. It presented mathematical foundations of Fechnerian Scaling, a method of metrizing stimulus spaces based on subjective measures of dissimilarity.


title: Discrimination of muons for mass composition studies of inclined air showers detected with IceTop

abstract: IceTop, the surface array of IceCube, measures air showers from cosmic rays within the energy range of 1 PeV to a few EeV and a zenith angle range of up to $\approx$ 36$^\circ$. This detector array can also measure air showers arriving at larger zenith angles at energies above 20 PeV. Air showers from lighter primaries arriving at the array will produce fewer muons when compared to heavier cosmic-ray primaries. A discrimination of these muons from the electromagnetic component in the shower can therefore allow a measurement of the primary mass. A study to discriminate muons using Monte-Carlo air showers of energies 20-100 PeV and within the zenith angular range of 45$^\circ$-60$^\circ$ will be presented. The discrimination is done using charge and time-based cuts which allows us to select muon-like signals in each shower. The methodology of this analysis, which aims at categorizing the measured air showers as light or heavy on an event-by-event basis, will be discussed.


title: Controlled oxygen plasma treatment of single-walled carbon nanotube films improves osteoblast cells attachment and enhances their proliferation

abstract: The effects of oxidative treatment of single-walled carbon nanotubes (SWCNTs) on the adhesion and proliferation of human osteoblasts (SAOS-2) were investigated. The surface properties of SWCNTs after oxygen plasma treatment were characterised by contact angle measurement, scanning electron microscopy and Raman spectroscopy. The immunofluorescent staining of vinculin, actin filaments and nuclei was used to probe cell adhesion and growth on SWCNT films. Our results show that adhesion and proliferation of human osteoblasts cultivated on SWCNT films indeed depends on the degree of an oxidative treatment. As an optimal procedure was found the treatment with oxygen plasma for 5 min. In the latter case the osteoblasts form a confluent layer with pronounced focal adhesions throughout the entire cell body. The optimal conditions compromise the effect of hydrophilic character of SWCNT films and the level of damage of SWCNT surface.


title: Meridional variations of C$_2$H$_2$ in Jupiter's stratosphere from Juno UVS observations

abstract: The UVS instrument on the Juno mission records far-ultraviolet reflected sunlight from Jupiter. These spectra are sensitive to the abundances of chemical species in the upper atmosphere and to the distribution of the stratospheric haze layer. We combine observations from the first 30 perijoves of the mission in order to study the meridional distribution of acetylene (C$_2$H$_2$) in Jupiter's stratosphere. We find that the abundance of C$_2$H$_2$ decreases towards the poles by a factor of 2-4, in agreement with previous analyses of mid-infrared spectra. This result is expected from insolation rates: near the equator, the UV solar flux is higher, allowing more C$_2$H$_2$ to be generated from the UV photolysis of CH$_4$. The decrease in abundance towards the poles suggests that horizontal mixing rates are not rapid enough to homogenize the latitudinal distribution.


title: Effect of the density of pillar-patterned substrates on the contact mechanics: Transition from top to mixed contact with a detailed pressure-field description

abstract: Different contact regimes between a spherical lens and a periodically patterned substrate are observed, when they are pressed against each other. Top contact occurs when only the highest substrate sections touch the lens, whereas mixed contact implies that both the highest and the lowest substrate sections come into contact with the lens. In this paper, we study how the pattern density of the substrate, along with its physical properties and those of the lens, determine the transition from top contact to mixed contact. Experiments and numerical simulations had been performed, as complementary approaches to obtain data, and a theoretical analysis has been developed to gain insight on the effect of the physical parameters on the contact transition. As a result, a phase diagram is presented, in terms of the load and the contact radius, that combines the observations of the three approaches (experimental, numerical, and theoretical), unveiling the boundaries of three contact regimes: (1) deterministic-driven contact, (2) top contact, and (3) mixed contact.


title: Controlled Doping of Double Walled Carbon Nanotubes and Conducting Polymers in a Composite: An in situ Raman Spectroelectrochemical Study

abstract: The interaction of double wall carbon nanotubes (DWCNTs) and the conducting polymer poly(3,4-ethylenedioxythiphene/polystyrenesulfonate (PEDOT/PSS) was studied by in-situ Raman spectroelectrochemistry. The mixing of DWCNTs with PEDOT/PSS caused a partial doping of the outer tube of DWCNTs, which was indicated by the relative change of the Raman intensity of the DWCNTs features. On the other hand, the bands corresponding to inner tubes of DWCNTs and to the polymer were almost untouched by assembling both species into a composite. The in situ Raman spectroelectrochemical experiments have shown that the changes in electronic structure of inner tubes of DWCNTs embedded in PEDOT/PSS matrix are dependent on the doping level. While at the low doping level of the composite, the Raman features of inner tubes of DWCNTs do not change significantly, at high doping level they reflect the changes caused by the applied electrochemical potential similar to that observed in the polymer-free DWCNTs.


title: SurfaceNet: Adversarial SVBRDF Estimation from a Single Image

abstract: In this paper we present SurfaceNet, an approach for estimating spatially-varying bidirectional reflectance distribution function (SVBRDF) material properties from a single image. We pose the problem as an image translation task and propose a novel patch-based generative adversarial network (GAN) that is able to produce high-quality, high-resolution surface reflectance maps. The employment of the GAN paradigm has a twofold objective: 1) allowing the model to recover finer details than standard translation models; 2) reducing the domain shift between synthetic and real data distributions in an unsupervised way. An extensive evaluation, carried out on a public benchmark of synthetic and real images under different illumination conditions, shows that SurfaceNet largely outperforms existing SVBRDF reconstruction methods, both quantitatively and qualitatively. Furthermore, SurfaceNet exhibits a remarkable ability in generating high-quality maps from real samples without any supervision at training time.


title: On the slice genus of generalized algebraic knots

abstract: We give examples of a linear combination of algebraic knots and their mirrors that are algebraically slice, but whose topological and smooth four-genus is two. Our examples generalize an example of non-slice algebraically slice linear combination of iterated torus knots obtained by Hedden, Kirk and Livingston. Our main tool is a genus bound from Casson--Gordon invariants and a cabling formula that allows us to compute effectively these invariants.


title: Applying Evolutionary Algorithms Successfully: A Guide Gained from Real-world Applications

abstract: Metaheuristics (MHs) in general and Evolutionary Algorithms (EAs) in particular are well known tools for successful optimization of difficult problems. But when is their application meaningful and how does one approach such a project as a novice? How do you avoid beginner's mistakes or use the design possibilities of a metaheuristic search as efficiently as possible? This paper tries to give answers to these questions based on 30 years of research and application of the Evolutionary Algorithm GLEAM and its memetic extension HyGLEAM. Most of the experience gathered and discussed here can also be applied to the use of other metaheuristics such as ant algorithms or particle swarm optimization. This paper addresses users with basic knowledge of MHs in general and EAs in particular who want to apply them in an optimization project. For this purpose, a number of questions that arise in the course of such a project are addressed. At the end, some non-technical project management issues are discussed, whose importance for project success is often underestimated.


title: Each closure operator induces a topology and vice-versa ("version for children")

abstract: One of the main prerequisites for understanding sheaves on elementary toposes is the proof that a (Lawvere-Tierney) topology on a topos induces a closure operator on it, and vice-versa. That standard theorem is usually presented in a relatively brief way, with most details being left to the reader and with no hints on how to visualize some of the hardest axioms and proofs. These notes are, on a first level, an attempt to present that standard theorem in all details and in a visual way, following the conventions in "On my favorite conventions for drawing the missing diagrams in Category Theory" [Ochs2020]; in particular, some properties, like stability by pullbacks, are always drawn in the same "shape". On a second level these notes are also an experiment on doing these proofs on "archetypal cases" in ways that makes all the proofs easy to lift to the "general case". Our first archetypal case is a "topos with inclusions". This is a variant of the "toposes with canonical subobjects" from [Lambek/Scott 1986]; all toposes of the form $\mathbf{Set}^\mathbf{C}$, where $\mathbf{C}$ is a small category, are toposes with inclusions, and when we work with toposes with inclusions concepts like subsets and intersections are very easy to formalize. We do all our proofs on the correspondence between closure operators and topologies in toposes with inclusions, and then we show how to lift all our proofs to proofs that work on any topos. Our second archetypal case is toposes of the form $\mathbf{Set}^\mathbf{D}$, where $\mathbf{D}$ is a finite two-column graph. We show a way to visualize all the LT-topologies on toposes of the form $\mathbf{Set}^\mathbf{D}$, and we define formally a way to "add visual intuition to a proof about toposes"; this is related to the several techniques for doing "Category Theory for children" that are explained in "On my favorite conventions...".


title: Provident Vehicle Detection at Night for Advanced Driver Assistance Systems

abstract: In recent years, computer vision algorithms have become more powerful. However, current algorithms mainly share one limitation: They rely on directly visible objects. This is a significant drawback compared to human behavior, where visual cues caused by objects (e.g., shadows) are already used intuitively to retrieve information or anticipate occurring objects. While driving at night, this performance deficit becomes even more obvious: Humans already process the light artifacts caused by the headlamps of oncoming vehicles to estimate where they appear, whereas current object detection systems require that the oncoming vehicle is directly visible before it can be detected. Based on previous work on this subject, in this paper, we present a complete system that can detect light artifacts caused by the headlights of oncoming vehicles so that it detects that a vehicle is approaching providently. For that, an entire algorithm architecture is investigated, including the detection in the image space, the three-dimensional localization, and the tracking of light artifacts. To demonstrate the usefulness of such an algorithm, the proposed algorithm is deployed in a test vehicle to use the detected light artifacts to control the glare-free high beam system proactively. Using this experimental setting, the provident vehicle detection system's time benefit compared to an in-production computer vision system is quantified. Additionally, the glare-free high beam use case provides a real-time and real-world visualization interface of the detection results by considering the adaptive headlamps as projectors. With this investigation of provident vehicle detection, we want to put awareness on the unconventional sensing task of detecting objects providently and further close the performance gap between human behavior and computer vision algorithms to bring autonomous and automated driving a step forward.


title: Measurements of the groomed and ungroomed jet angularities in pp collisions at $\sqrt{s} = 5.02$ TeV

abstract: The jet angularities are a class of jet substructure observables which characterize the angular and momentum distribution of particles within jets. These observables are sensitive to momentum scales ranging from perturbative hard scatterings to nonperturbative fragmentation into final-state hadrons. We report measurements of several groomed and ungroomed jet angularities in pp collisions at $\sqrt{s}=5.02$ TeV with the ALICE detector. Jets are reconstructed using charged particle tracks at midrapidity ($|\eta| < 0.9$). The anti-$k_{\rm T}$ algorithm is used with jet resolution parameters $R=0.2$ and $R=0.4$ for several transverse momentum $p_{\rm T}^{\text{ch jet}}$ intervals in the 20$-$100 GeV/$c$ range. Using the jet grooming algorithm Soft Drop, the sensitivity to softer, wide-angle processes, as well as the underlying event, can be reduced in a way which is well-controlled in theoretical calculations. We report the ungroomed jet angularities, $\lambda_{\alpha}$, and groomed jet angularities, $\lambda_{\alpha\text{,g}}$, to investigate the interplay between perturbative and nonperturbative effects at low jet momenta. Various angular exponent parameters $\alpha = 1$, 1.5, 2, and 3 are used to systematically vary the sensitivity of the observable to collinear and soft radiation. Results are compared to analytical predictions at next-to-leading-logarithmic accuracy, which provide a generally good description of the data in the perturbative regime but exhibit discrepancies in the nonperturbative regime. Moreover, these measurements serve as a baseline for future ones in heavy-ion collisions by providing new insight into the interplay between perturbative and nonperturbative effects in the angular and momentum substructure of jets. They supply crucial guidance on the selection of jet resolution parameter, jet transverse momentum, and angular scaling variable for jet quenching studies.


title: Finite-Bit Quantization For Distributed Algorithms With Linear Convergence

abstract: This paper studies distributed algorithms for (strongly convex) composite optimization problems over mesh networks, subject to quantized communications. Instead of focusing on a specific algorithmic design, a black-box model is proposed, casting linearly convergent distributed algorithms in the form of fixed-point iterates. The algorithmic model is equipped with a novel random or deterministic Biased Compression (BC) rule on the quantizer design, and a new Adaptive encoding Nonuniform Quantizer (ANQ) coupled with a communication-efficient encoding scheme, which implements the BC-rule using a finite number of bits (below machine precision). This fills a gap existing in most state-of-the-art quantization schemes, such as those based on the popular compression rule, which rely on communication of some scalar signals with negligible quantization error (in practice quantized at the machine precision). A unified communication complexity analysis is developed for the black-box model, determining the average number of bits required to reach a solution of the optimization problem within a target accuracy. It is shown that the proposed BC-rule preserves linear convergence of the unquantized algorithms, and a trade-off between convergence rate and communication cost under ANQ-based quantization is characterized. Numerical results validate our theoretical findings and show that distributed algorithms equipped with the proposed ANQ have more favorable communication cost than algorithms using state-of-the-art quantization rules.


title: High-Mass X-Ray Binaries with Be Donors as Ultraluminous X-Ray Sources

abstract: Since the detection of X-ray pulses from ultraluminous X-ray sources (ULXs) in 2014, neutron stars have been considered as their central objects. However, it remains unclear how neutron stars can be brighter than the Eddington luminosity, and no unified view exists on the magnetic field of neutron stars and the degree of beaming. Recent observations suggest that some X-ray pulsating ULXs have Be-type donors, and some of them occupy the same region as Be-type high-mass X-ray binaries (Be-HMXBs) on the Corbet diagram, which reveals the relation between spin and orbital periods. This suggests that at least some ULXs are special cases of Be-HMXBs. In this study, we use the framework of mass-accretion models for Be-HMXBs to investigate the conditions under which neutron stars achieve mass-accretion rates beyond the Eddington limit and become observable as ULXs. We show that a Be-HMXB may become a ULX if the magnetic field of the neutron star and the density of the Be disc meet certain conditions. We also show that, although a stronger magnetic field increases the brightness of a neutron star ULX with a Be donor, its brightness cannot exceed the Eddington limit by a more than a factor of ${\approx} 50$. Finally, we propose a scenario whereby some normal Be-HMXBs may evolve into ULXs as the donor evolves into a giant.


title: Optical photometry of two transitional millisecond pulsars in the radio pulsar state

abstract: We present ULTRACAM multiband optical photometry of two transitional millisecond pulsars, PSR J1023+0038 and PSR J1227$-$4853, taken while both were in their radio pulsar states. The light curves show significant asymmetry about the flux maxima in all observed bands, suggesting an asymmetric source of heating in the system. We model the light curves using the Icarus binary code, using models with an additional "hot spot" heating contribution and an anisotropic heat redistribution model to treat the asymmetry. Our modelling reveals companion stars with under-filled Roche lobes in both PSRs J1023+0038 and J1227$-$4853, with Roche lobe filling factors in the range $f \sim 0.82-0.92$. While the volume-averaged filling factors are closer to unity, significant under-filling is unexpected from tMSPs as they must rapidly over-fill their Roche lobes to start transferring mass, which occurs on timescale of weeks or months. We discuss the motivation and validity of our extensions to the models and the implications of the under-filled Roche lobe, and suggest future work to further investigate the role of the filling factor in the tMSP cycle.


title: Radio signals from early direct collapse black holes

abstract: We explore the possibility to detect the continuum radio signal from direct collapse black holes (DCBHs) by upcoming radio telescopes such as the SKA and ngVLA, assuming that after formation they can launch and sustain powerful jets at the accretion stage. We assume that the high-$z$ DCBHs have similar jet properties as the observed radio-loud AGNs, then use a jet model to predict their radio flux detectability. If the jet power $P_{\rm jet}\gtrsim10^{42-43}$ erg s$^{-1}$, it can be detectable by SKA/ngVLA, depending on the jet inclination angle. Considering the relation between jet power and black hole mass and spin, generally, jetted DCBHs with mass $\gtrsim10^5~M_\odot$ can be detected. For a total jetted DCBH number density of $\sim2.5\times10^{-3}$ Mpc$^{-3}$ at $z=10$, about 100 deg$^{-2}z^{-1}$ DCBHs are expected to be above the detection threshold of SKA1-mid (100 hours integration). If the jet "blob" emitting most of the radio signal is dense and highly relativistic, then the DCBH would only feebly emit in the SKA-low band, because of self-synchrotron absorption (SSA) and blueshift. Moreover, the free-free absorption in the DCBH envelope may further reduce the signal in the SKA-low band. Thus, combining SKA-low and SKA-mid observations might provide a potential tool to distinguish a DCBH from a normal star-forming galaxy.


title: Tuneable homogeneous kG magnetic field production using permanent magnets

abstract: We present a permanent magnet arrangement that can achieve a tuneable axial magnetic field from 1.80(8)-2.67(2) kG along the z-axis, where (x,y) = (0,0), with a rms field variation of less than 1% over a length of 25 mm. The instrument consists of an arrangement of off-the-shelf N42 neodymium-iron-boron (NdFeB) axially magnetized ring magnets, of varying outer and inner diameters. The magnets are organized into four cylindrical brass holders, whose relative separation can be manipulated to achieve the desired magnetic field strength and homogeneity over the region of interest. We present magnetic field computations and Marquardt-Levenberg fits to experimental data and demonstrate excellent agreement between theory and experiment. The apparatus has been designed to accommodate a cylindrical atomic vapor cell of length 25 mm and diameter 25 mm to lie within the bore of the ring magnets. The design has a clear aperture of 20 mm in the x-y plane along the z-axis, which opens up new avenues for imaging exploration in atomic spectroscopy.


title: WebGraph: Capturing Advertising and Tracking Information Flows for Robust Blocking

abstract: Millions of web users directly depend on ad and tracker blocking tools to protect their privacy. However, existing ad and tracker blockers fall short because of their reliance on trivially susceptible advertising and tracking content. In this paper, we first demonstrate that the state-of-the-art machine learning based ad and tracker blockers, such as AdGraph, are susceptible to adversarial evasions deployed in real-world. Second, we introduce WebGraph, the first graph-based machine learning blocker that detects ads and trackers based on their action rather than their content. By building features around the actions that are fundamental to advertising and tracking - storing an identifier in the browser, or sharing an identifier with another tracker - WebGraph performs nearly as well as prior approaches, but is significantly more robust to adversarial evasions. In particular, we show that WebGraph achieves comparable accuracy to AdGraph, while significantly decreasing the success rate of an adversary from near-perfect under AdGraph to around 8% under WebGraph. Finally, we show that WebGraph remains robust to a more sophisticated adversary that uses evasion techniques beyond those currently deployed on the web.


title: Electron-phonon coupling of Fe-adatom electron states on MgO/Ag(100)

abstract: We study the strength of the electron-phonon interaction on Fe single adatoms on MgO/Ag(100) based on many-body \textit{ab-initio} spin collinear calculations. In particular, we analyze the relative importance of the substrate and, among other results, we conclude that the interface electron state of Ag(100) plays a prominent role in determining the electron-phonon coupling of localized Fe electron states. The analysis of the hybridization of the adatom with the substrate reveals qualitative differences for even or odd coverages of MgO, affecting significantly the spectral structure and strength of the electron-phonon coupling. Our calculations indicate that the electron-phonon interaction is very strong for $\le$~1 layers of MgO, while it is sharply suppressed for larger coverages, a trend that is consistent with recent experimental findings.


title: AENET-LAMMPS and AENET-TINKER: Interfaces for Accurate and Efficient Molecular Dynamics Simulations with Machine Learning Potentials

abstract: Machine learning potentials (MLPs) trained on data from quantum-mechanics based first-principles methods can approach the accuracy of the reference method at a fraction of the computational cost. To facilitate efficient MLP-based molecular dynamics (MD) and Monte Carlo (MC) simulations, an integration of the MLPs with sampling software is needed. Here we develop two interfaces that link the Atomic Energy Network ({\ae}net) MLP package with the popular sampling packages TINKER and LAMMPS. The three packages, {\ae}net, TINKER, and LAMMPS, are free and open-source software that enable, in combination, accurate simulations of large and complex systems with low computational cost that scales linearly with the number of atoms. Scaling tests show that the parallel efficiency of the {\ae}net-TINKER interface is nearly optimal but is limited to shared-memory systems. The {\ae}net-LAMMPS interface achieves excellent parallel efficiency on highly parallel distributed memory systems and benefits from the highly optimized neighbor list implemented in LAMMPS. We demonstrate the utility of the two MLP interfaces for two relevant example applications, the investigation of diffusion phenomena in liquid water and the equilibration of nanostructured amorphous battery materials.

categories: cond-mat.mtrl-sci cond-mat.dis-nn cond-mat.stat-mech physics.chem-ph


title: Shadow generalized parton distributions: a practical approach to the deconvolution problem of DVCS

abstract: Deeply virtual Compton scattering (DVCS) attracts a lot of interest due to its sensitivity to generalized parton distributions (GPDs) which provide a rich access to the partonic structure of hadrons. However, the practical extraction of GPDs for this channel requires a deconvolution procedure, whose feasibility has been disputed. We provide a practical approach to this problem based on a next-to-leading order analysis and a careful study of evolution effects, by exhibiting shadow GPDs with arbitrarily small imprints on DVCS observables at current and future experimental facilities. This shows that DVCS alone will not allow for a model independent extraction of GPDs and a multi-channel analysis is required for this purpose.


title: A novel in vivo approach to assess strains of the human abdominal wall under known intraabdominal pressure

abstract: The study concerns mechanical behaviour of a living human abdominal wall. A better mechanical understanding of a human abdominal wall and recognition of its material properties is required to find mechanically compatible surgical meshes to significantly improve the treatment of ventral hernias. A non-invasive methodology, based on in vivo optical measurements is proposed to determine strains of abdominal wall corresponding to a known intraabdominal pressure. The measurement is performed in the course of a standard procedure of peritoneal dialysis. A dedicated experimental stand is designed for the experiment. The photogrammetric technique is employed to recover the three-dimensional surface geometry of the anterior abdominal wall at the initial and terminal instants of the dialysis. This corresponds to two deformation states, before and after filling the abdominal cavity with dialysis fluid. The study provides information on strain fields of living human abdominal wall. The inquiry is aimed at principal strains and their directions, observed at the level from -10% to 17%. The intraabdominal pressure related to the amount of introduced dialysis fluid measured within the medical procedure covers the range 11-18.5 cmH$_2$O. The methodology leads to the deformation state of the abdominal wall according to the corresponding loading conditions. Therefore, the study is a step towards an identification of mechanical properties of living human abdominal wall.


title: Dealing with Uncertainty: The Value of Reputation in the Absence of Legal Institutions

abstract: This paper studies reputation in the online market for illegal drugs in which no legal institutions exist to alleviate uncertainty. Trade takes place on platforms that offer rating systems for sellers, thereby providing an observable measure of reputation. The analysis exploits the fact that one of the two dominant platforms unexpectedly disappeared. Re-entering sellers reset their rating. The results show that on average prices decreased by up to 9% and that a 1% increase in rating causes a price increase of 1%. Ratings and prices recover after about three months. We calculate that identified good types earn 1,650 USD more per week.


title: Norms of inclusions between some spaces of analytic functions

abstract: The inclusions between the Besov spaces $B^q$, the Bloch space $\mathcal{B}$ and the standard weighted Bergman spaces $A^p_\alpha$ are completely understood, but the norms of the corresponding inclusion operators are in general unknown. In this work, we compute or estimate asymptotically the norms of these inclusions.


title: Bayesian Scalable Precision Factor Analysis for Massive Sparse Gaussian Graphical Models

abstract: We propose a novel approach to estimating the precision matrix of multivariate Gaussian data that relies on decomposing them into a low-rank and a diagonal component. Such decompositions are very popular for modeling large covariance matrices as they admit a latent factor based representation that allows easy inference. The same is however not true for precision matrices due to the lack of computationally convenient representations which restricts inference to low-to-moderate dimensional problems. We address this remarkable gap in the literature by building on a latent variable representation for such decomposition for precision matrices. The construction leads to an efficient Gibbs sampler that scales very well to high-dimensional problems far beyond the limits of the current state-of-the-art. The ability to efficiently explore the full posterior space also allows the model uncertainty to be easily assessed. The decomposition crucially additionally allows us to adapt sparsity inducing priors to shrink the insignificant entries of the precision matrix toward zero, making the approach adaptable to high-dimensional small-sample-size sparse settings. Exact zeros in the matrix encoding the underlying conditional independence graph are then determined via a novel posterior false discovery rate control procedure. A near minimax optimal posterior concentration rate for estimating precision matrices is attained by our method under mild regularity assumptions. We evaluate the method's empirical performance through synthetic experiments and illustrate its practical utility in data sets from two different application domains.


title: Mixed SIGNals: Sign Language Production via a Mixture of Motion Primitives

abstract: It is common practice to represent spoken languages at their phonetic level. However, for sign languages, this implies breaking motion into its constituent motion primitives. Avatar based Sign Language Production (SLP) has traditionally done just this, building up animation from sequences of hand motions, shapes and facial expressions. However, more recent deep learning based solutions to SLP have tackled the problem using a single network that estimates the full skeletal structure. We propose splitting the SLP task into two distinct jointly-trained sub-tasks. The first translation sub-task translates from spoken language to a latent sign language representation, with gloss supervision. Subsequently, the animation sub-task aims to produce expressive sign language sequences that closely resemble the learnt spatio-temporal representation. Using a progressive transformer for the translation sub-task, we propose a novel Mixture of Motion Primitives (MoMP) architecture for sign language animation. A set of distinct motion primitives are learnt during training, that can be temporally combined at inference to animate continuous sign language sequences. We evaluate on the challenging RWTH-PHOENIX-Weather-2014T(PHOENIX14T) dataset, presenting extensive ablation studies and showing that MoMP outperforms baselines in user evaluations. We achieve state-of-the-art back translation performance with an 11% improvement over competing results. Importantly, and for the first time, we showcase stronger performance for a full translation pipeline going from spoken language to sign, than from gloss to sign.


title: Heuristics for Customer-focused Ride-pooling Assignment

abstract: Ride-pooling has become an important service option offered by ride-hailing platforms as it serves multiple trip requests in a single ride. By leveraging customer data, connected vehicles, and efficient assignment algorithms, ride-pooling can be a critical instrument to address driver shortages and mitigate the negative externalities of ride-hailing operations. Recent literature has focused on computationally intensive optimization-based methods that maximize system throughput or minimize vehicle miles. However, individual customers may experience substantial service quality degradation due to the consequent waiting and detour time. In contrast, this paper examines heuristic methods for real-time ride-pooling assignments that are highly scalable and easily computable. We propose a restricted subgraph method and compare it with other existing heuristic and optimization-based matching algorithms using a variety of metrics. By fusing multiple sources of trip and network data in New York City, we develop a flexible, agent-based simulation platform to test these strategies on different demand levels and examine how they affect both the customer experience and the ride-hailing platform. Our results find a trade-off among heuristics between throughput and customer matching time. We show that our proposed ride-pooling strategy maintains system performance while limiting trip delays and improving customer experience. This work provides insight for policymakers and ride-hailing operators about the performance of simpler heuristics and raises concerns about prioritizing only specific platform metrics without considering service quality.


title: Detection of Lyman Continuum from 3.0 < z < 3.5 Galaxies in the HETDEX Survey

abstract: Questions as to what drove the bulk reionization of the Universe, how that reionization proceeded, and how the hard ionizing radiation reached the intergalactic medium remain open and debated. Observations probing that epoch are severely hampered by the increasing amounts of neutral gas with increasing redshift, so a small, but growing number of experiments are targeting star forming galaxies ($z\sim3$) as proxies. However, these studies, while providing fantastic detail, are time intensive, contain relatively few targets, and can suffer from selection biases. As a complementary alternative, we investigate whether stacking the already vast (and growing) numbers of low-resolution ($\Delta \lambda / \lambda = 800$) Lyman-$\alpha$ Emitting (LAE) galaxy spectra from the Hobby-Eberly Telescope Dark Energy Experiment (HETDEX) can be used to measure ionizing photons (restframe 880-910\AA) escaping their galaxy hosts. As a blind survey, HETDEX avoids the biases from continuum selected galaxies and its planned 540 square degree coverage promotes the statistical power of large numbers. In this paper, we confirm the feasibility of Lyman continuum detection by carefully selecting a sample of \lyccount\ high redshift ($z\sim$3) LAEs from a subset of HETDEX observations, stacking their spectra and measuring a $\gtrsim$3$\sigma$ detection of $0.10 \mu$Jy restframe Lyman continuum emission, uncorrected for attenuation in the intergalactic medium, over the full sample stack ($3.0 < z < 3.5$ and $-22.0 \lesssim M_{\text{UV}} \lesssim -19.0$).


title: Tackling the Overestimation of Forest Carbon with Deep Learning and Aerial Imagery

abstract: Forest carbon offsets are increasingly popular and can play a significant role in financing climate mitigation, forest conservation, and reforestation. Measuring how much carbon is stored in forests is, however, still largely done via expensive, time-consuming, and sometimes unaccountable field measurements. To overcome these limitations, many verification bodies are leveraging machine learning (ML) algorithms to estimate forest carbon from satellite or aerial imagery. Aerial imagery allows for tree species or family classification, which improves the satellite imagery-based forest type classification. However, aerial imagery is significantly more expensive to collect and it is unclear by how much the higher resolution improves the forest carbon estimation. This proposal paper describes the first systematic comparison of forest carbon estimation from aerial imagery, satellite imagery, and ground-truth field measurements via deep learning-based algorithms for a tropical reforestation project. Our initial results show that forest carbon estimates from satellite imagery can overestimate above-ground biomass by up to 10-times for tropical reforestation projects. The significant difference between aerial and satellite-derived forest carbon measurements shows the potential for aerial imagery-based ML algorithms and raises the importance to extend this study to a global benchmark between options for carbon measurements.


title: A Decentralized Primal-Dual Framework for Non-convex Smooth Consensus Optimization

abstract: In this work, we introduce ADAPD, $\textbf{A}$ $\textbf{D}$ecentr$\textbf{A}$lized $\textbf{P}$rimal-$\textbf{D}$ual algorithmic framework for solving non-convex and smooth consensus optimization problems over a network of distributed agents. The proposed framework relies on a novel problem formulation that elicits ADMM-type updates, where each agent first inexactly solves a local strongly convex subproblem with any method of its choice and then performs a neighbor communication to update a set of dual variables. We present two variants that allow for a single gradient step for the primal updates or multiple communications for the dual updates, to exploit the tradeoff between the per-iteration cost and the number of iterations. When multiple communications are performed, ADAPD can achieve theoretically optimal communication complexity results for non-convex and smooth consensus problems. Numerical experiments on several applications, including a deep-learning one, demonstrate the superiority of ADAPD over several popularly used decentralized methods.


title: Sojourn Ruin of a Two-Dimensional Fractional Brownian Motion Risk Process

abstract: This paper derives the asymptotic behavior of $$\mathbb{P} \{ \int\limits_0^\infty \mathbb{I}\Big(B_H(s)-c_1s>q_1u, B_H(s)-c_2s>q_2u\Big)ds>T_u\},\quad u \to \infty,$$ where $B_H$ is a fractional Brownian motion, $c_1,c_2,q_1,q_2>0,\ H \in (0,1), \ T_u \ge 0$ is a measurable function and $\mathbb{I}(\cdot)$ is the indicator function.


title: RiLACS: Risk-Limiting Audits via Confidence Sequences

abstract: Accurately determining the outcome of an election is a complex task with many potential sources of error, ranging from software glitches in voting machines to procedural lapses to outright fraud. Risk-limiting audits (RLA) are statistically principled "incremental" hand counts that provide statistical assurance that reported outcomes accurately reflect the validly cast votes. We present a suite of tools for conducting RLAs using confidence sequences -- sequences of confidence sets which uniformly capture an electoral parameter of interest from the start of an audit to the point of an exhaustive recount with high probability. Adopting the SHANGRLA framework, we design nonnegative martingales which yield computationally and statistically efficient confidence sequences and RLAs for a wide variety of election types.


title: The imprint of protons on the emission of extended blazar jets

abstract: Blazars - active galaxies with the jet pointing at Earth - emit across all electromagnetic wavelengths. The so-called one-zone model has described well both quiescent and flaring states, however it cannot explain the radio emission. In order to self-consistently describe the entire electromagnetic spectrum, extended jet models are necessary. Notably, kinetic descriptions of extended jets can provide the temporal and spatial evolution of the particle species and the full electromagnetic output. Here, we present the initial results of a recently developed hadronic extended-jet code. As protons take much longer than electrons to lose their energy, they can transport energy over much larger distances than electrons and are therefore essential for the energy transport in the jet. Furthermore, protons can inject additional leptons through pion and Bethe-Heitler pair production, which can explain a dominant leptonic radiation signal while still producing neutrinos. We will present a detailed parameter study and provide insights into the different blazar sub-classes.


title: Tate's thesis in the de Rham Setting

abstract: We calculate the category of D-modules on the loop space of the affine line in coherent terms. Specifically, we find that this category is derived equivalent to the category of ind-coherent sheaves on the moduli space of rank one de Rham local systems with a flat section. Our result establishes a conjecture coming out of the 3d mirror symmetry program, which obtains new compatibilities for the geometric Langlands program from rich dualities of QFTs that are themselves obtained from string theory conjectures.


title: No observation of chiral flux current in the topological kagome metal CsV$_{3}$Sb$_{5}$

abstract: Compounds with kagome lattice usually host many exotic quantum states, including the quantum spin liquid, non-trivial topological Dirac bands and a strongly renormalized flat band, etc. Recently an interesting vanadium based kagome family $A$V$_{3}$Sb$_{5}$ ($A$ = K, Rb, or Cs) was discovered, and these materials exhibit multiple interesting properties, including unconventional saddle-point driving charge density wave (CDW) state, superconductivity, etc. Furthermore, some experiments show anomalous Hall effect which inspires that there might be some chiral flux current states. Here we report scanning tunneling measurements by using spin-polarized tips. Although we have observed clearly the $2a_0\times2a_0$ CDW and $4a_0$ stripe orders, the well-designed experiments with refined spin-polarized tips do not reveal any trace of the chiral flux current phase in CsV$_3$Sb$_5$ within the limits of experimental accuracy. No observation of the local magnetic moment in our experiments may put an upper bound constraint on the magnitude of magnetic moments induced by the possible chiral loop current which has a time-reversal symmetry breaking along $c$-axis in CsV$_{3}$Sb$_{5}$.


title: Structack: Structure-based Adversarial Attacks on Graph Neural Networks

abstract: Recent work has shown that graph neural networks (GNNs) are vulnerable to adversarial attacks on graph data. Common attack approaches are typically informed, i.e. they have access to information about node attributes such as labels and feature vectors. In this work, we study adversarial attacks that are uninformed, where an attacker only has access to the graph structure, but no information about node attributes. Here the attacker aims to exploit structural knowledge and assumptions, which GNN models make about graph data. In particular, literature has shown that structural node centrality and similarity have a strong influence on learning with GNNs. Therefore, we study the impact of centrality and similarity on adversarial attacks on GNNs. We demonstrate that attackers can exploit this information to decrease the performance of GNNs by focusing on injecting links between nodes of low similarity and, surprisingly, low centrality. We show that structure-based uninformed attacks can approach the performance of informed attacks, while being computationally more efficient. With our paper, we present a new attack strategy on GNNs that we refer to as Structack. Structack can successfully manipulate the performance of GNNs with very limited information while operating under tight computational constraints. Our work contributes towards building more robust machine learning approaches on graphs.


title: Complexity and efficiency of minimum entropy production probability paths from quantum dynamical evolutions

abstract: We present an information geometric characterization of quantum driving schemes specified by su(2;C) time-dependent Hamiltonians in terms of both complexity and efficiency concepts. By employing a minimum action principle, the optimum path connecting initial and final states on the manifold in finite-time is the geodesic path between the two states. In particular, the total entropy production that occurs during the transfer is minimized along these optimum paths. For each optimum path that emerges from the given quantum driving scheme, we evaluate the so-called information geometric complexity (IGC) and our newly proposed measure of entropic efficiency constructed in terms of the constant entropy production rates that specify the entropy minimizing paths being compared. From our analytical estimates of complexity and efficiency, we provide a relative ranking among the driving schemes being investigated. Finally, we conclude by commenting on the fact that an higher entropic speed in quantum transfer processes seems to necessarily go along with a lower entropic efficiency together with a higher information geometric complexity.


title: Graph Pseudometrics from a Topological Point of View

abstract: We explore pseudometrics for directed graphs in order to better understand their topological properties. The directed flag complex associated to a directed graph provides a useful bridge between network science and topology. Indeed, it has often been observed that phenomena exhibited by real-world networks reflect the topology of their flag complexes, as measured, for example, by Betti numbers or simplex counts. As it is often computationally expensive (or even unfeasible) to determine such topological features exactly, it would be extremely valuable to have pseudometrics on the set of directed graphs that can both detect the topological differences and be computed efficiently. To facilitate work in this direction, we introduce methods to measure how well a graph pseudometric captures the topology of a directed graph. We then use these methods to evaluate some well-established pseudometrics, using test data drawn from several families of random graphs.


title: A new entire factorial function

abstract: We introduce a new factorial function which agrees with the usual Euler gamma function at both the positive integers and at all half-integers, but which is also entire. We describe the basic features of this function.


title: How to Trust Strangers: Composition of Byzantine Quorum Systems

abstract: Trust is the basis of any distributed, fault-tolerant, or secure system. A trust assumption specifies the failures that a system, such as a blockchain network, can tolerate and determines the conditions under which it operates correctly. In systems subject to Byzantine faults, the trust assumption is usually specified through sets of processes that may fail together. Trust has traditionally been symmetric, such that all processes in the system adhere to the same, global assumption about potential faults. Recently, asymmetric trust models have also been considered, especially in the context of blockchains, where every participant is free to choose who to trust. In both cases, it is an open question how to compose trust assumptions. Consider two or more systems, run by different and possibly disjoint sets of participants, with different assumptions about faults: how can they work together? This work answers this question for the first time and offers composition rules for symmetric and for asymmetric quorum systems. These rules are static and do not require interaction or agreement on the new trust assumption among the participants. Moreover, they ensure that if the original systems allow for running a particular protocol (guaranteeing consistency and availability), then so will the joint system. At the same time, the composed system tolerates as many faults as possible, subject to the underlying consistency and availability properties. Reaching consensus with asymmetric trust in the model of personal Byzantine quorum systems (Losa et al., DISC 2019) was shown to be impossible, if the trust assumptions of the processes diverge from each other. With asymmetric quorum systems, and by applying our composition rule, we show how consensus is actually possible, even with the combination of disjoint sets of processes.


title: Leggett Modes Accompanying Crystallographic Phase Transitions

abstract: Higgs and Goldstone modes, well known in high energy physics, have been realized in a number of condensed matter physics contexts, including superconductivity and magnetism. The Goldstone-Higgs concept is also applicable to and gives rise to new insights on structural phase transitions. Here, we show that the Leggett mode, a collective mode observed in multi-band superconductors, also has an analog in crystallographic phase transitions. Such structural Leggett modes can occur in the phase channel as in the original work of Leggett, \href{https://doi.org/10.1143/PTP.36.901}{Prog.\ Theor.\ Phys.\ \textbf{36}, 901 (1966)}. That is, they are antiphase Goldstone modes (anti-phasons). In addition, a new collective mode can also occur in the amplitude channel, an out-of phase (antiphase) Higgs mode, that should be observable in multi-band superconductors as well. We illustrate the existence and properties of these structural Leggett modes using the example of the pyrochlore relaxor ferroelectric, Cd$_2$Nb$_2$O$_7$.


title: Robust Adaptive Submodular Maximization

abstract: The goal of a sequential decision making problem is to design an interactive policy that adaptively selects a group of items, each selection is based on the feedback from the past, in order to maximize the expected utility of selected items. It has been shown that the utility functions of many real-world applications are adaptive submodular. However, most of existing studies on adaptive submodular optimization focus on the average-case. Unfortunately, a policy that has a good average-case performance may have very poor performance under the worst-case realization. In this study, we propose to study two variants of adaptive submodular optimization problems, namely, worst-case adaptive submodular maximization and robust submodular maximization. The first problem aims to find a policy that maximizes the worst-case utility and the latter one aims to find a policy, if any, that achieves both near optimal average-case utility and worst-case utility simultaneously. We introduce a new class of stochastic functions, called \emph{worst-case submodular function}. For the worst-case adaptive submodular maximization problem subject to a $p$-system constraint, we develop an adaptive worst-case greedy policy that achieves a $\frac{1}{p+1}$ approximation ratio against the optimal worst-case utility if the utility function is worst-case submodular. For the robust adaptive submodular maximization problem subject to cardinality constraints (resp. partition matroid constraints), if the utility function is both worst-case submodular and adaptive submodular, we develop a hybrid adaptive policy that achieves an approximation close to $1-e^{-\frac{1}{2}}$ (resp. $1/3$) under both worst- and average-case settings simultaneously. We also describe several applications of our theoretical results, including pool-base active learning, stochastic submodular set cover and adaptive viral marketing.


title: Measuring interstellar turbulence in fast radio burst host galaxies

abstract: Turbulence is a vital part of the interstellar medium (ISM) of galaxies, contributing significantly to galaxy energy budgets and acting as a regulator of star formation. Despite this, little is understood about ISM turbulence empirically. In the Milky Way, multiple tracers are used to reconstruct the density- and velocity-fluctuation power spectra over an enormous range of scales, but questions remain on the nature of these fluctuations at the smallest scales. Even less is known about the ISM of distant galaxies, where only a few tracers of turbulence, such as non-thermal broadening of optical recombination lines, are accessible. We explore the use of radio-wave scattering of fast radio bursts (FRBs) to add a second probe of turbulence in extragalactic galaxies on scales many orders of magnitude smaller than those probed by emission-line widths. We first develop the formalism to compare the scattering measures of FRBs to alternative probes of density and velocity fluctuations in the host-galaxy ISM. We then apply this formalism to three FRBs with detailed host-galaxy analyses in the literature, with the primary motivation of determining whether FRB scattering within the host galaxy probes the same turbulent cascade as the gas seen in H${\rm \alpha}$ emission. In all cases we consider, we find such an association plausible, although in one of these sources, FRB 20121102A, the radio-scattering limit on the turbulent energy is much less constraining than the H${\rm \alpha}$ line width. We anticipate that future FRB surveys, especially those at frequencies below 1 GHz, will find many FRBs that illuminate the small-scale properties of extragalactic ISM.


title: Von Neumann equivalence and group approximation properties

abstract: The notion of von Neumann equivalence (vNE), which encapsulates both measure equivalence and $W^*$-equivalence, was introduced recently by Jesse Peterson, Lauren Ruth and the author. They showed that many analytic properties, such as amenability, property (T), the Haagerup property, and proper proximality are preserved under von Neumann equivalence. In this article, we expand on the list of properties that are stable under von Neumann equivalence, and prove that weak amenability, weak Haagerup property, and the approximation property (AP) are von Neumann equivalence invariants. In particular, we get that (AP) is stable under measure equivalence. Furthermore, our techniques give an alternate proof for vNE-invariance of the Haagerup property.


title: Mitigating Power Attacks through Fine-Grained Instruction Reordering

abstract: Side-channel attacks are a security exploit that take advantage of information leakage. They use measurement and analysis of physical parameters to reverse engineer and extract secrets from a system. Power analysis attacks in particular, collect a set of power traces from a computing device and use statistical techniques to correlate this information with the attacked application data and source code. Counter measures like just-in-time compilation, random code injection and instruction descheduling obfuscate the execution of instructions to reduce the security risk. Unfortunately, due to the randomness and excess instructions executed by these solutions, they introduce large overheads in performance, power and area. In this work we propose a scheduling algorithm that dynamically reorders instructions in an out-of-order processor to provide obfuscated execution and mitigate power analysis attacks with little-to-no effect on the performance, power or area of the processor. We exploit the time between operand availability of critical instructions (slack) to create high-performance random schedules without requiring additional instructions or static prescheduling. Further, we perform an extended security analysis using different attacks. We highlight the dangers of using incorrect adversarial assumptions, which can often lead to a false sense of security. In that regard, our advanced security metric demonstrates improvements of 34$\times$, while our basic security evaluation shows results up to 261$\times$. Moreover, our system achieves performance within 96% on average, of the baseline unprotected processor.


title: Three-Dimensional Localization of Active Aerial Targets Using a Single Terrestrial Receiver Site

abstract: This paper proposes a method for the three-dimensional localization of an active aerial target by a single ground based sensor. The proposed method employs the time and frequency differences of arrival of the signal received directly from the aerial target and the signals received after being reflected from some large auxiliary terrestrial targets (pseudo-sensors) with known positions on the ground. Due to the terrestrial nature of the main and the pseudo sensors, it is impossible to solve for the target's altitude using traditional methods. The proposed method employs target motion analysis to obtain target position including its altitude with acceptable accuracy and low computational complexity. Presented simulations confirm acceptable accuracy of the proposed method in determining three dimensional position of the target despite limited number of the pseudo sensors and its low computational complexity.


title: Tight SDP relaxations for cardinality-constrained problems

abstract: We model the cardinality-constrained portfolio problem using semidefinite matrices and investigate a relaxation using semidefinite programming. Experimental results show that this relaxation generates tight lower bounds and even achieves optimality on many instances from the literature. This underlines the modeling power of semidefinite programming for mixed-integer quadratic problems.


title: Local complementation under free constructions

abstract: We study how local complementation behaves under certain free constructions in Functional Analysis, including free Lipschitz spaces and free Banach lattices.


title: Deep equal risk pricing of financial derivatives with non-translation invariant risk measures

abstract: The use of non-translation invariant risk measures within the equal risk pricing (ERP) methodology for the valuation of financial derivatives is investigated. The ability to move beyond the class of convex risk measures considered in several prior studies provides more flexibility within the pricing scheme. In particular, suitable choices for the risk measure embedded in the ERP framework such as the semi-mean-square-error (SMSE) are shown herein to alleviate the price inflation phenomenon observed under Tail Value-at-Risk based ERP as documented for instance in Carbonneau and Godin (2021b). The numerical implementation of non-translation invariant ERP is performed through deep reinforcement learning, where a slight modification is applied to the conventional deep hedging training algorithm (see Buehler et al., 2019) so as to enable obtaining a price through a single training run for the two neural networks associated with the respective long and short hedging strategies. The accuracy of the neural network training procedure is shown in simulation experiments not to be materially impacted by such modification of the training algorithm.


title: New Features of P3$\delta$ software: Partial Pole Placement via Delay Action

abstract: This paper presents the software Partial Pole Placement via Delay Action, or P3$\delta$ for short. P3$\delta$ is a Python software with a friendly user interface for the design of parametric stabilizing feedback laws with time-delays, thanks to two properties of the distribution of quasipolynomials' zeros, called multiplicity-induced-dominancy and coexisting real roots-induced-dominancy. After recalling recent theoretical results on these properties and their use for the feedback stabilization of control systems operating under time delays, the paper presents the main features of the current version of P3$\delta$. We detail, in particular, the assignable admissible region (the set of allowable dominant roots and the corresponding delay), which helps the user in the choice of input information, allowing a reliable stabilizing delayed feedback. We also present the newly set online version of P3$\delta$.


title: Optimizing Thermodynamic Cycles with Two Finite-Sized Reservoirs

abstract: We study the non-equilibrium thermodynamics of a heat engine operating between two finite-sized reservoirs with well-defined temperatures. Within the linear response regime, it is found that the uniform temperature of the two reservoirs at final time $\tau$ is bounded from below by the entropy production $\sigma_{\mathrm{min}}\propto1/\tau$. We discover a general power-efficiency trade-off depending on the ratio of heat capacities ($\gamma$) of the reservoirs for the engine. And a universal efficiency at maximum average power of the engine for arbitrary $\gamma$ is obtained. For practical purposes, the operation protocol of an ideal gas heat engine to achieve the optimal performance associated with $\sigma_{\mathrm{min}}$ is demonstrated. Our findings can be used to develop an general optimization scenario for thermodynamic cycles with finite-sized reservoirs in real-world circumstances.

categories: cond-mat.stat-mech physics.app-ph physics.class-ph quant-ph


title: Rough Cauchy Sequences in a Cone Metric Space

abstract: Here we have introduced the idea of rough Cauchyness of sequences in a cone metric space. Also here we have discussed several basic properties of rough Cauchy sequences in a cone metric space using the idea of Phu.


title: Local Plaquette Physics as Key Ingredient of High-Temperature Superconductivity in Cuprates

abstract: A major pathway towards understanding complex systems is given by exactly solvable reference systems that contain the essential physics of the system. For the $t-t'-U$ Hubbard model, the four-site plaquette is known to have a quantum critical point in the $U-\mu$ space where states with electron occupations $N=2, 3, 4$ per plaquette are degenerate [Phys. Rev. B {\bf 94}, 125133 (2016)]. We show that such a critical point in the lattice causes an instability in the particle-particle singlet d-wave channel and manifests some of the essential elements of the cuprate superconductivity. For this purpose we design an efficient superperturbation theory -- based on the dual fermion approach -- with the critical plaquette as the reference system. Thus, the perturbation theory already contains the relevant d-wave fluctuations from the beginning via the two-particle correlations of the plaquette. We find that d-wave superconductivity remains a leading instability channel under reasonably broad range of parameters. The next-nearest-neighbour hopping $t'$ is shown to play a crucial role in a formation of strongly bound electronic bipolarons whose coherence at lower temperature results in superconductivity. The physics of the pseudogap within the developed picture is also discussed.


title: A quantum computational approach to the open-pit mining problem

abstract: The determination of optimal open-pit profiles is a well-studied combinatorial optimization problem, with profound technical and conceptual relevance in computational mining. The ongoing evolution of quantum computing hardware and the recent advances of heuristic quantum algorithms make it worthwhile to explore the solution of the open-pit mining problem on quantum computers. In this work, we cast the open-pit mining problem as a Hamiltonian ground-state search problem, which in turn we solve with a dedicated implementation of the variational quantum eigensolver algorithm, and we propose a domain decomposition approach to extend the reach of today's small scale quantum hardware. The procedure is demonstrated on IBMQ devices using four qubits. This is the first example, to the best of our knowledge, of open-pit profile calculations being performed on quantum hardware.


title: A Quantum Dot Plot Generation Algorithm for Pairwise Sequence Alignment

abstract: The Quantum Pairwise Sequence Alignment (QPSA) algorithm offers exponential speedups in data alignment tasks. However, it relies on an open problem of efficiently encoding the classical data being aligned into quantum superposition. Previous works suggest the use of specialized nonlinear Kerr media to implement a black-box oracle that achieves the superposition. We provide an alternative, explicit construction of this oracle called the Quantum Dot Plot (QDP), which is compatible with universal gate machines. We evaluate QDP's operational complexity via analysis of the quantum machine instructions generated by the Q# and Qiskit software frameworks for various sample circuits. Our analysis confirms that the data encoding scheme is exponentially difficult, precluding QDP's (and thus, QPSA's) employment on general-purpose quantum computers. Nevertheless, we find utility in estimating the circuit depth and run time of both QDP and QPSA for IBM's superconducting architecture and AQT's trapped ion architecture for direct comparison and overall practicality purposes.


title: Comprehending nulls

abstract: The Nested Relational Calculus (NRC) has been an influential high-level query language, providing power and flexibility while still allowing translation to standard SQL queries. It has also been used as a basis for language-integrated query in programming languages such as F#, Scala, and Links. However, SQL's treatment of incomplete information, using nulls and three-valued logic, is not compatible with `standard' NRC based on two-valued logic. Nulls are widely used in practice for incomplete data, but the question of how to accommodate SQL-style nulls and incomplete information in NRC, or integrate such queries into a typed programming language, appears not to have been studied thoroughly. In this paper we consider two approaches: an explicit approach in which option types are used to represent (possibly) nullable primitive types, and an implicit approach in which types are treated as possibly-null by default. We give translations relating the implicit and explicit approaches, discuss handling nulls in language integration, and sketch extensions of normalization and conservativity results.


title: Insights into the multiplicity-induced-dominancy for scalar delay-differential equations with two delays

abstract: It has been observed in recent works that, for several classes of linear time-invariant time-delay systems of retarded or neutral type with a single delay, if a root of its characteristic equation attains its maximal multiplicity, then this root is the rightmost spectral value, and hence it determines the exponential behavior of the system, a property usually referred to as multiplicity-induced-dominancy (MID). In this paper, we investigate the MID property for one of the simplest cases of systems with two delays, a scalar delay-differential equation of first order with two delayed terms of order zero. We discuss the standard approach based on the argument principle for establishing the MID property for single-delay systems and some of its limitations in the case of our simple system with two delays, before proposing a technique based on crossing imaginary roots that allows to conclude that the MID property holds in our setting.


title: Decentralized Design of Fast Iterative Receivers for Massive and Extreme-Large MIMO Systems

abstract: Despite the extensive use of a centralized approach to design receivers at the base station for massive multiple-input multiple-output (M-MIMO) systems, their actual implementation is a major challenge due to several bottlenecks imposed by the large number of antennas. One way to deal with this problem is by fully decentralizing the classic zero-forcing receiver across multiple processing nodes based on the gradient descent method. In this paper, we first explicitly relate this decentralized receiver to a distributed version of the Kaczmarz algorithm and to the use of the successive interference cancellation (SIC) philosophy to mitigate the residual across nodes. In addition, we propose two methods to further accelerate the initial convergence of these iterative decentralized receivers by exploring the connection with the Kaczmarz algorithm: 1) a new Bayesian distributed receiver, which can eliminate noise on an iteration basis; 2) a more practical method for choosing the relaxation parameter. The discussion also consider spatial non-stationarities that arise when the antenna arrays are extremely large (XL-MIMO). We were able to improve the numerical results for both spatially stationary and non-stationary channels, but mainly the non-stationary performance can still be improved compared to the centralized ZF receiver. Future research directions are provided with the aim of further improving the applicability of the receiver based on the principle of successive residual cancellation (SRC).


title: Heteroscedastic Temporal Variational Autoencoder For Irregularly Sampled Time Series

abstract: Irregularly sampled time series commonly occur in several domains where they present a significant challenge to standard deep learning models. In this paper, we propose a new deep learning framework for probabilistic interpolation of irregularly sampled time series that we call the Heteroscedastic Temporal Variational Autoencoder (HeTVAE). HeTVAE includes a novel input layer to encode information about input observation sparsity, a temporal VAE architecture to propagate uncertainty due to input sparsity, and a heteroscedastic output layer to enable variable uncertainty in output interpolations. Our results show that the proposed architecture is better able to reflect variable uncertainty through time due to sparse and irregular sampling than a range of baseline and traditional models, as well as recently proposed deep latent variable models that use homoscedastic output layers.


title: Powering Effective Climate Communication with a Climate Knowledge Base

abstract: While many accept climate change and its growing impacts, few converse about it well, limiting the adoption speed of societal changes necessary to address it. In order to make effective climate communication easier, we aim to build a system that presents to any individual the climate information predicted to best motivate and inspire them to take action given their unique set of personal values. To alleviate the cold-start problem, the system relies on a knowledge base (ClimateKB) of causes and effects of climate change, and their associations to personal values. Since no such comprehensive ClimateKB exists, we revisit knowledge base construction techniques and build a ClimateKB from free text. We plan to open source the ClimateKB and associated code to encourage future research and applications.


title: Phase Transitions in 4D Gauss-Bonnet-de Sitter Black Holes

abstract: We investigate thermodynamic aspects of black holes in the recently formulated four dimensional Gauss-Bonnet theory of gravity, focusing on its asymptotically de Sitter ($\Lambda>0$) solutions. We take a Euclidean path integral approach, where thermodynamic data is fixed at a finite radius `cavity' outside the black hole to achieve equilibrium in the presence of the cosmological horizon. Working in the extended phase space where the cosmological constant is treated as a thermodynamic pressure, we study the phase structure of both uncharged and charged solutions, uncovering a wealth of phenomena. In the uncharged case, black holes are found to undergo either the standard Hawking-Page-like transition to empty de Sitter space or a small-large transition (akin to those seen in charged AdS black holes in pure Einstein gravity) depending on the pressure. We also find a triple point where the radiation, small, and large black hole phases coexist, and a zeroth-order phase transition within a narrow range of Gauss-Bonnet coupling parameter. Reentrant phase transitions between radiation and a small black hole also exist inside a certain parameter range. Similar phenomena are found in the charged case, with the charge parameter playing a role analogous to the Gauss-Bonnet coupling parameter in determining the phase structure.


title: Modelling Latent Translations for Cross-Lingual Transfer

abstract: While achieving state-of-the-art results in multiple tasks and languages, translation-based cross-lingual transfer is often overlooked in favour of massively multilingual pre-trained encoders. Arguably, this is due to its main limitations: 1) translation errors percolating to the classification phase and 2) the insufficient expressiveness of the maximum-likelihood translation. To remedy this, we propose a new technique that integrates both steps of the traditional pipeline (translation and classification) into a single model, by treating the intermediate translations as a latent random variable. As a result, 1) the neural machine translation system can be fine-tuned with a variant of Minimum Risk Training where the reward is the accuracy of the downstream task classifier. Moreover, 2) multiple samples can be drawn to approximate the expected loss across all possible translations during inference. We evaluate our novel latent translation-based model on a series of multilingual NLU tasks, including commonsense reasoning, paraphrase identification, and natural language inference. We report gains for both zero-shot and few-shot learning setups, up to 2.7 accuracy points on average, which are even more prominent for low-resource languages (e.g., Haitian Creole). Finally, we carry out in-depth analyses comparing different underlying NMT models and assessing the impact of alternative translations on the downstream performance.


title: Diagnosing entanglement dynamics in noisy and disordered spin chains via the measurement-induced steady-state entanglement transition

abstract: We utilize the concept of a measurement-induced entanglement transition to analyze the interplay and competition of processes that generate and destroy entanglement in a one-dimensional quantum spin chain evolving under a locally noisy and disordered Hamiltonian. We employ continuous measurements of variable strength to induce a transition from volume to area-law scaling of the steady-state entanglement entropy. While static background disorder systematically reduces the critical measurement strength, this critical value depends non-monotonically on the strength of non-static noise. According to the extracted fine-size scaling exponents, the universality class of the transition is independent of the noise and disorder strength. We interpret the results in terms of the effect of static and non-static disorder on the intricate dynamics of the entanglement generation rate due to the Hamiltonian in the absence of measurement, which is fully reflected in the behavior of the critical measurement strength. Our results establish a firm connection between this entanglement growth and the steady-state behavior of the measurement-controlled systems, which therefore can serve as a tool to quantify and investigate features of transient entanglement dynamics in complex many-body systems via a steady-state phase transition.

categories: quant-ph cond-mat.dis-nn cond-mat.mes-hall cond-mat.stat-mech cond-mat.str-el