title: Robust interior penalty discontinuous Galerkin methods

abstract: Classical interior penalty discontinuous Galerkin (IPDG) methods for diffusion problems require a number of assumptions on the local variation of mesh-size, polynomial degree, and of the diffusion coefficient to determine the values of the, so-called, discontinuity-penalization parameter and/or to perform error analysis. Variants of IPDG methods involving weighted averages of the gradient of the approximate solution have been proposed in the context of high-contrast diffusion coefficients to mitigate the dependence of the contrast in the stability and in the error analysis. Here, we present a new IPDG method, involving carefully constructed weighted averages of the gradient of the approximate solution, which is shown to be robust even for the most extreme simultaneous local mesh, polynomial degree and diffusion coefficient variation scenarios, without resulting in unreasonably large penalization. The new method, henceforth termed as \emph{robust IPDG} (RIPDG), offers typically significantly better conditioning than the standard IPDG method when applied to scenarios with strong mesh/polynomial degree/diffusion local variation. On the other hand, when using uniform meshes, constant polynomial degree and for problems with constant diffusion coefficients, the RIPDG method is identical to the classical IPDG. Numerical experiments indicate the favourable performance of the new RIPDG method over the classical version in terms of conditioning and error.


title: Opinion polarisation in social networks

abstract: In this paper, we propose a Boltzmann-type kinetic description of opinion formation on social networks, which takes into account a general connectivity distribution of the individuals. We consider opinion exchange processes inspired by the Sznajd model and related simplifications but we do not assume that individuals interact on a regular lattice. Instead, we describe the structure of the social network statistically, assuming that the number of contacts of a given individual determines the probability that their opinion reaches and influences the opinion of another individual. From the kinetic description of the system, we study the evolution of the mean opinion, whence we find precise analytical conditions under which a \textit{polarisation switch} of the opinions, i.e. a change of sign between the initial and the asymptotic mean opinions, occurs. In particular, we show that a non-zero correlation between the initial opinions and the connectivity of the individuals is necessary to observe polarisation switch. Finally, we validate our analytical results through Monte Carlo simulations of the stochastic opinion exchange processes on the social network.


title: Parallel Capsule Networks for Classification of White Blood Cells

abstract: Capsule Networks (CapsNets) is a machine learning architecture proposed to overcome some of the shortcomings of convolutional neural networks (CNNs). However, CapsNets have mainly outperformed CNNs in datasets where images are small and/or the objects to identify have minimal background noise. In this work, we present a new architecture, parallel CapsNets, which exploits the concept of branching the network to isolate certain capsules, allowing each branch to identify different entities. We applied our concept to the two current types of CapsNet architectures, studying the performance for networks with different layers of capsules. We tested our design in a public, highly unbalanced dataset of acute myeloid leukaemia images (15 classes). Our experiments showed that conventional CapsNets show similar performance than our baseline CNN (ResNeXt-50) but depict instability problems. In contrast, parallel CapsNets can outperform ResNeXt-50, is more stable, and shows better rotational invariance than both, conventional CapsNets and ResNeXt-50.


title: Application of hypercomplex number system in the dynamic network model

abstract: In recent years, the direction of the study of networks in which connections correspond to the mutual influences of nodes has been developed. Many works have been devoted to the study of such complex networks, but most often they relate to the spread of one type of activity (influence). In the process of development of the newest technologies various mathematical models are developed and investigated: models with thresholds, models of independent cascades, models of distribution of epidemics, models of Markov processes. The paper proposes to use hypercomplex number systems, which are a mathematical apparatus that allows you to model some network problems and solve them at a new level, ie to consider a complex network with several properties in each node. In this paper, we consider networks where the edges correspond to the mutual influences of the nodes. It is proposed to match the number of properties in each node and the measurability of a hypercomplex number system(HNS) with the same number of basic elements. Each HNS corresponds to the Kelly table, which corresponds to the law of multiplication of these CSF. The properties of the CSF allow you to build an isomorphic transition from a filled Kelly table to a less filled one, which simplifies the calculation. To model the problem using hypercomplex number systems, we offer a specialized software package of hypercomplex computations based on the system of computer algebra Maple. All this made it easy to model a complex system with several effects.


title: A Hypothesis for the Aesthetic Appreciation in Neural Networks

abstract: This paper proposes a hypothesis for the aesthetic appreciation that aesthetic images make a neural network strengthen salient concepts and discard inessential concepts. In order to verify this hypothesis, we use multi-variate interactions to represent salient concepts and inessential concepts contained in images. Furthermore, we design a set of operations to revise images towards more beautiful ones. In experiments, we find that the revised images are more aesthetic than the original ones to some extent.


title: Resurgence and $1/N$ Expansion in Integrable Field Theories

abstract: In theories with renormalons the perturbative series is factorially divergent even after restricting to a given order in $1/N$, making the $1/N$ expansion a natural testing ground for the theory of resurgence. We study in detail the interplay between resurgent properties and the $1/N$ expansion in various integrable field theories with renormalons. We focus on the free energy in the presence of a chemical potential coupled to a conserved charge, which can be computed exactly with the thermodynamic Bethe ansatz (TBA). In some examples, like the first $1/N$ correction to the free energy in the non-linear sigma model, the terms in the $1/N$ expansion can be fully decoded in terms of a resurgent trans-series in the coupling constant. In the principal chiral field we find a new, explicit solution for the large $N$ free energy which can be written as the median resummation of a trans-series with infinitely many, analytically computable IR renormalon corrections. However, in other examples, like the Gross-Neveu model, each term in the $1/N$ expansion includes non-perturbative corrections which can not be predicted by a resurgent analysis of the corresponding perturbative series. We also study the properties of the series in $1/N$. In the Gross-Neveu model, where this is convergent, we analytically continue the series beyond its radius of convergence and show how the continuation matches with known dualities with sine-Gordon theories.


title: Optimal consumption with loss aversion and reference to past spending maximum

abstract: This paper studies an optimal consumption problem for a loss-averse agent with reference to past consumption maximum. To account for loss aversion on relative consumption, an S-shaped utility is adopted that measures the difference between the non-negative consumption rate and a fraction of the historical spending peak. We consider the concave envelope of the utility with respect to consumption, allowing us to focus on an auxiliary HJB variational inequality on the strength of concavification principle and dynamic programming arguments. By applying the dual transform and smooth-fit conditions, the auxiliary HJB variational inequality is solved in piecewise closed-form and some thresholds of the wealth variable are obtained. The optimal consumption and investment control can be derived in the piecewise feedback form. The rigorous verification proofs on optimality and concavification principle are provided. Some numerical sensitivity analysis and financial implications are also presented.


title: Gamma-ray signatures from pair cascades in recombination-line radiation fields

abstract: Beams of ultra-relativistic electrons in blazar jets develop pair cascades interacting with ambient soft photons. Employing coupled kinetic equations with escape terms, we model the unsaturated pair cascade spectrum. We assume that the gamma rays predominantly scatter off recombination-line photons from clouds photoionised by the irradiation from the accretion disk and the jet. The cascade spectrum is rather insensitive to the injection of hard electron spectra associated with the short-time variability of blazars. Adopting physical parameters representative of Markarian 501 and 3C 279, respectively, we numerically obtain spectral energy distributions showing distinct features imprinted by the recombination-line photons. The hints for a peculiar feature at ~3 TeV in the spectrum of Markarian 501, detected with the MAGIC telescopes during a strong X-ray flux activity in 2014 July, can be explained in this scenario as a result of the up-scattering of line photons by beam electrons and the low pair-creation optical depth. Inspecting a high-fidelity Fermi-LAT spectrum of 3C 279 from January 2018 reveals troughs in the spectrum that coincide with the threshold energies for gamma rays producing pairs in collisions with recombination-line photons, and the absence of exponential attenuation. Our finding implies that the gamma rays in 3C 279 escape from the edge of the broad emission line region.


title: Hard-material Adhesion: Which Scales of Roughness Matter?

abstract: Surface topography strongly modifies adhesion of hard-material contacts, yet roughness of real surfaces typically exists over many length scales. This investigation aims to determine which scales of topography have the strongest effect on macroscopic adhesion. Adhesion measurements were performed on technology-relevant diamond coatings of varying roughness using spherical ruby probes that are large enough ($0.5$-mm-diameter) to sample all length scales of topography. For each material, more than $2000$ measurements of pull-off force were performed in order to investigate the magnitude and statistical distribution of adhesion. Using sphere-contact models, the roughness-dependent effective values of work of adhesion were measured, ranging from $0.08$ to $7.15$ mJ/m$^2$ across the four surfaces. The data was more accurately fit using numerical analysis, where an interaction potential was integrated over the AFM-measured topography of all contacting surfaces. These calculations revealed that consideration of nanometer-scale plasticity in the materials was crucial for a good quantitative fit of the measurements, and the presence of such plasticity was confirmed with AFM measurements of the probe after testing. This analysis enabled the extraction of geometry-independent material parameters; the intrinsic work of adhesion between ruby and diamond was determined to be $46.3$ mJ/m$^2$. The range of adhesion was $5.6$ nm, which is longer than is typically assumed for atomic interactions, but is in agreement with other recent investigations. Finally, the numerical analysis was repeated for the same surfaces but this time with different length-scales of roughness included or filtered out. The results demonstrate a critical band of length-scales between $43$ nm and $1.8$ nm in lateral size that has the strongest effect on the total adhesive force for these hard, rough contacts.


title: Next-Gen Gas Network Simulation

abstract: To overcome many-query optimization, control, or uncertainty quantification work loads in reliable gas and energy network operations, model order reduction is the mathematical technology of choice. To this end, we enhance the model, solver and reductor components of the "morgen" platform, introduced in Himpe et al [J.~Math.~Ind. 11:13, 2021], and conclude with a mathematically, numerically and computationally favorable model-solver-reductor ensemble.


title: Real-time Eco-Driving Control in Electrified Connected and Autonomous Vehicles using Approximate Dynamic Programming

abstract: Connected and Automated Vehicles (CAVs), particularly those with a hybrid electric powertrain, have the potential to significantly improve vehicle energy savings in real-world driving conditions. In particular, the Eco-Driving problem seeks to design optimal speed and power usage profiles based on available information from connectivity and advanced mapping features to minimize the fuel consumption over an itinerary. This paper presents a hierarchical multi-layer Model Predictive Control (MPC) approach for improving the fuel economy of a 48V mild-hybrid powertrain in a connected vehicle environment. Approximate Dynamic Programming (ADP) is used to solve the Receding Horizon Optimal Control Problem (RHOCP), where the terminal cost for the RHOCP is approximated as the base-policy obtained from the long-term optimization. The controller was extensively tested virtually (using both deterministic and Monte Carlo simulations) across multiple real-world routes where energy savings of more than 20\% have been demonstrated. Further, the developed controller was deployed and tested at a proving ground in real-time on a test vehicle equipped with a rapid prototyping embedded controller. Real-time in-vehicle testing confirmed the energy savings observed in simulation and demonstrated the ability of the developed controller to be effective in real-time applications.


title: Practices of public procurement and the risk of corrupt behavior before and after the government transition in M\'exico

abstract: Corruption has a significant impact on economic growth, democracy, and inequality. It has severe consequences at the human level are incalculable. Public procurement, where public resources are used to purchase goods or services from the private sector, are particularly susceptible to corrupt practices. However, government turnover may bring significant changes in the way public contracting is done, and thus, in the levels and types of corruption involved in public procurement. In this respect, M\'exico lived a historical government transition in 2018, with the new government promising a crackdown on corruption. In this work, we analyze data from more than 1.5 million contracts corresponding from 2013 to 2020, to study to what extent this change of government affected the characteristics of public contracting, and we try to determine whether these changes affect how corruption takes place. To do this, we propose a statistical framework to compare the characteristics of the contracting practices within each administration, separating the contracts in different classes depending on whether or not they were made with companies that have now been identified as being involved in corrupt practices. We find that while the amount of resources spent with companies that turned out to be corrupt has decreased substantially, many of the patterns followed to contract these companies were maintained, and some of those in which changes did occur, are suggestive of a larger risk of corruption.


title: The Stable Matching Problem and Sudoku

abstract: Are you having trouble getting married? These days, there are lots of products on the market for dating, from apps to websites and matchmakers, but we know a simpler way! That's right -- your path to coupled life isn't through Tinder: it's through Sudoku! Read our fabulous paper where we explore the Stable Marriage Problem to help you find happiness and stability in marriage through math. As a bonus, you get two Sudoku puzzles with a new flavor.


title: Sinkless Orientation Made Simple

abstract: The sinkless orientation problem plays a key role in understanding the foundations of distributed computing. The problem can be used to separate two fundamental models of distributed graph algorithms, LOCAL and SLOCAL: the locality of sinkless orientation is $\Omega(\log n)$ in the deterministic LOCAL model and $O(\log \log n)$ in the deterministic SLOCAL model. Both of these results are known by prior work, but here we give new simple, self-contained proofs for them.


title: A Computer-Aided Diagnosis System for Breast Pathology: A Deep Learning Approach with Model Interpretability from Pathological Perspective

abstract: Objective: We develop a computer-aided diagnosis (CAD) system using deep learning approaches for lesion detection and classification on whole-slide images (WSIs) with breast cancer. The deep features being distinguishing in classification from the convolutional neural networks (CNN) are demonstrated in this study to provide comprehensive interpretability for the proposed CAD system using pathological knowledge. Methods: In the experiment, a total of 186 slides of WSIs were collected and classified into three categories: Non-Carcinoma, Ductal Carcinoma in Situ (DCIS), and Invasive Ductal Carcinoma (IDC). Instead of conducting pixel-wise classification into three classes directly, we designed a hierarchical framework with the multi-view scheme that performs lesion detection for region proposal at higher magnification first and then conducts lesion classification at lower magnification for each detected lesion. Results: The slide-level accuracy rate for three-category classification reaches 90.8% (99/109) through 5-fold cross-validation and achieves 94.8% (73/77) on the testing set. The experimental results show that the morphological characteristics and co-occurrence properties learned by the deep learning models for lesion classification are accordant with the clinical rules in diagnosis. Conclusion: The pathological interpretability of the deep features not only enhances the reliability of the proposed CAD system to gain acceptance from medical specialists, but also facilitates the development of deep learning frameworks for various tasks in pathology. Significance: This paper presents a CAD system for pathological image analysis, which fills the clinical requirements and can be accepted by medical specialists with providing its interpretability from the pathological perspective.


title: Self-Interacting Dark Matter in Cosmology: accurate numerical implementation and observational constraints

abstract: This paper presents a systematic and accurate treatment of the evolution of cosmological perturbations in self-interacting dark matter models, for particles which decoupled from the primordial plasma while relativistic. We provide a numerical implementation of the Boltzmann hierarchies developed in a previous paper [JCAP, 09 (2020) 041] in a publicly available Boltzmann code and show how it can be applied to realistic DM candidates such as sterile neutrinos either under resonant or non-resonant production mechanisms, and for different field mediators. At difference with traditional fluid approximations -- also known as a $c_{\rm eff}-c_{\rm vis}$ parametrizations -- our approach follows the evolution of phase-space perturbations under elastic DM interactions for a wide range of interaction models, including the effects of late kinetic decoupling. Finally, we analyze the imprints left by different self interacting models on linear structure formation, which can be constrained using Lyman-$\alpha$ forest and satellite counts. We find new lower bounds on the particle mass that are less restrictive than previous constraints.


title: Sparse Communication via Mixed Distributions

abstract: Neural networks and other machine learning models compute continuous representations, while humans communicate mostly through discrete symbols. Reconciling these two forms of communication is desirable for generating human-readable interpretations or learning discrete latent variable models, while maintaining end-to-end differentiability. Some existing approaches (such as the Gumbel-Softmax transformation) build continuous relaxations that are discrete approximations in the zero-temperature limit, while others (such as sparsemax transformations and the Hard Concrete distribution) produce discrete/continuous hybrids. In this paper, we build rigorous theoretical foundations for these hybrids, which we call "mixed random variables." Our starting point is a new "direct sum" base measure defined on the face lattice of the probability simplex. From this measure, we introduce new entropy and Kullback-Leibler divergence functions that subsume the discrete and differential cases and have interpretations in terms of code optimality. Our framework suggests two strategies for representing and sampling mixed random variables, an extrinsic ("sample-and-project") and an intrinsic one (based on face stratification). We experiment with both approaches on an emergent communication benchmark and on modeling MNIST and Fashion-MNIST data with variational auto-encoders with mixed latent variables.


title: Simultaneous occurrence of off-diagonal long-range order and infinite permutation cycles in systems of interacting atoms

abstract: Based on the paper "Fourier formula for quantum partition functions", arXiv:2106.10032 [math-ph], we show that in an infinite system of identical bosons interacting via a positive-type pair potential there is off-diagonal long-range order if and only if a nonzero fraction of the particles form infinite permutation cycles. In particular, there is Bose-Einstein condensation if and only if the diverging cycle lengths increase at least as fast with $N$, the number of particles, as $N^{2/d}$ in $d\geq 3$ dimensions. This extends a similar result known for the ideal Bose gas.


title: Computing and Authentication Practices in Global Oil and Gas Fields

abstract: Oil and gas fields are a critical part of our infrastructure, and vulnerable to attack by powerful adversaries. In addition, these are often difficult work environments, with constraints on space, clothing, and more. Yet there is little research on the technology practices and constraints of workers in these environments. We present what we believe is the first survey of oil- and gas-field workers located around the world. We establish the presence and status of a variety of computing devices and of the security practices that govern their use. We also determine the working conditions (such as personal protective equipment) under which these devices are used, which impacts usable security aspects like feasible forms of authentication. We extend these basic insights with additional information from a small number of in-depth interviews. Our preliminary work suggests many directions for improving security in this critical sector.


title: Mapping Quantum Circuits to Ions in Storage Ring Quantum Computer Architectures

abstract: The mapping of quantum circuits to qubits represented by ion states in a storage ring quantum computer is examined. Serial, parallel and hybrid architectures for mapping such qubits onto a storage ring quantum computer are presented. Parallelism is an important part of the SRQC architecture in terms of multiple ions, windows and lasers. A "predecessor problem" that arises in such architectures is identified and a solution is proposed. Representative numerical sizing and timing calculations are presented. The entire methodology is very general and extends to several implementation options. Open problems are identified.


title: Reducing Unintended Bias of ML Models on Tabular and Textual Data

abstract: Unintended biases in machine learning (ML) models are among the major concerns that must be addressed to maintain public trust in ML. In this paper, we address process fairness of ML models that consists in reducing the dependence of models on sensitive features, without compromising their performance. We revisit the framework FixOut that is inspired in the approach "fairness through unawareness" to build fairer models. We introduce several improvements such as automating the choice of FixOut's parameters. Also, FixOut was originally proposed to improve fairness of ML models on tabular data. We also demonstrate the feasibility of FixOut's workflow for models on textual data. We present several experimental results that illustrate the fact that FixOut improves process fairness on different classification settings.


title: Cantor sets of low density and Lipschitz functions on $C^1$ curves

abstract: We characterize the functions $f\colon [0,1] \longrightarrow [0,1]$ for which there exists a measurable set $C\subseteq [0,1]$ of positive measure satisfying $\frac{|C\cap I|}{|I|}<f(|I|)$ for any nontrivial interval $I \subseteq [0,1]$. As an application, we prove that on any $C^1$ curve it is possible to construct a Lipschitz function that cannot be approximated by Lipschitz functions attaining their Lipschitz constant.


title: A method to compute the communicability of nodes through causal paths in temporal networks

abstract: We present a method aimed to compute the communicability (broadcast and receive) of nodes through causal paths in temporal networks. The method considers all possible combinations of chronologically ordered products of adjacency matrices of the network snapshots and by means of a damping procedure favors the paths that have high communication efficiency. We apply the method to four real-world networks of face-to-face human contacts and identify the nodes with high communicability. The accuracy of the method is proved by studying the spread of an epidemic in the networks using the susceptible-infected-recovered model. We show that if a node with high broadcast is chosen as the origin of the outbreak of infection then the epidemic spreads early while it is delayed and inhibited if the origin of infection is a node with low broadcast. Receiving nodes can be treated as broadcasters if the arrow of time is reversed.


title: Deep Reinforcement Learning for Continuous Docking Control of Autonomous Underwater Vehicles: A Benchmarking Study

abstract: Docking control of an autonomous underwater vehicle (AUV) is a task that is integral to achieving persistent long term autonomy. This work explores the application of state-of-the-art model-free deep reinforcement learning (DRL) approaches to the task of AUV docking in the continuous domain. We provide a detailed formulation of the reward function, utilized to successfully dock the AUV onto a fixed docking platform. A major contribution that distinguishes our work from the previous approaches is the usage of a physics simulator to define and simulate the underwater environment as well as the DeepLeng AUV. We propose a new reward function formulation for the docking task, incorporating several components, that outperforms previous reward formulations. We evaluate proximal policy optimization (PPO), twin delayed deep deterministic policy gradients (TD3) and soft actor-critic (SAC) in combination with our reward function. Our evaluation yielded results that conclusively show the TD3 agent to be most efficient and consistent in terms of docking the AUV, over multiple evaluation runs it achieved a 100% success rate and episode return of 10667.1 +- 688.8. We also show how our reward function formulation improves over the state of the art.


title: A graphical method of cumulative differences between two subpopulations

abstract: Comparing the differences in outcomes (that is, in "dependent variables") between two subpopulations is often most informative when comparing outcomes only for individuals from the subpopulations who are similar according to "independent variables." The independent variables are generally known as "scores," as in propensity scores for matching or as in the probabilities predicted by statistical or machine-learned models, for example. If the outcomes are discrete, then some averaging is necessary to reduce the noise arising from the outcomes varying randomly over those discrete values in the observed data. The traditional method of averaging is to bin the data according to the scores and plot the average outcome in each bin against the average score in the bin. However, such binning can be rather arbitrary and yet greatly impacts the interpretation of displayed deviation between the subpopulations and assessment of its statistical significance. Fortunately, such binning is entirely unnecessary in plots of cumulative differences and in the associated scalar summary metrics that are analogous to the workhorse statistics of comparing probability distributions -- those due to Kolmogorov and Smirnov and their refinements due to Kuiper. The present paper develops such cumulative methods for the common case in which no score of any member of the subpopulations being compared is exactly equal to the score of any other member of either subpopulation.


title: Adaptive Normalized Representation Learning for Generalizable Face Anti-Spoofing

abstract: With various face presentation attacks arising under unseen scenarios, face anti-spoofing (FAS) based on domain generalization (DG) has drawn growing attention due to its robustness. Most existing methods utilize DG frameworks to align the features to seek a compact and generalized feature space. However, little attention has been paid to the feature extraction process for the FAS task, especially the influence of normalization, which also has a great impact on the generalization of the learned representation. To address this issue, we propose a novel perspective of face anti-spoofing that focuses on the normalization selection in the feature extraction process. Concretely, an Adaptive Normalized Representation Learning (ANRL) framework is devised, which adaptively selects feature normalization methods according to the inputs, aiming to learn domain-agnostic and discriminative representation. Moreover, to facilitate the representation learning, Dual Calibration Constraints are designed, including Inter-Domain Compatible loss and Inter-Class Separable loss, which provide a better optimization direction for generalizable representation. Extensive experiments and visualizations are presented to demonstrate the effectiveness of our method against the SOTA competitors.


title: Covariance Estimation and its Application in Large-Scale Online Controlled Experiments

abstract: During the last few decades, online controlled experiments (also known as A/B tests) have been adopted as a golden standard for measuring business improvements in industry. In our company, there are more than a billion users participating in thousands of experiments simultaneously, and with statistical inference and estimations conducted to thousands of online metrics in those experiments routinely, computational costs would become a large concern. In this paper we propose a novel algorithm for estimating the covariance of online metrics, which introduces more flexibility to the trade-off between computational costs and precision in covariance estimation. This covariance estimation method reduces computational cost of metric calculation in large-scale setting, which facilitates further application in both online controlled experiments and adaptive experiments scenarios like variance reduction, continuous monitoring, Bayesian optimization, etc., and it can be easily implemented in engineering practice.


title: A 2-$\mu$J, 12-class, 91% Accuracy Spiking Neural Network Approach For Radar Gesture Recognition

abstract: Radar processing via spiking neural networks (SNNs) has recently emerged as a solution in the field of ultra-low-power wireless human-computer interaction. Compared to traditional energy- and area-hungry deep learning methods, SNNs are significantly more energy efficient and can be deployed in the growing number of compact SNN accelerator chips, making them a better solution for ubiquitous IoT applications. We propose a novel SNN strategy for radar gesture recognition, achieving more than 91% of accuracy on two different radar datasets. Our work significantly differs from previous approaches as 1) we use a novel radar-SNN training strategy, 2) we use quantized weights, enabling power-efficient implementation in real-world SNN hardware, and 3) we report the SNN energy consumption per classification, clearly demonstrating the real-world feasibility and power savings induced by SNN-based radar processing. We release evaluation code to help future research.


title: Asteroseismology of evolved stars to constrain the internal transport of angular momentum. IV. Internal rotation of Kepler 56 from an MCMC analysis of the rotational splittings

abstract: The observations of global stellar oscillations of post main-sequence stars by space-based photometry missions allowed to directly determine their internal rotation. These constraints have pointed towards the existence of angular momentum transport processes unaccounted for in theoretical models. Constraining the properties of their internal rotation thus appears as the golden path to determine the physical nature of these missing dynamical processes. We wish to determine the robustness of a new approach to study the internal rotation of post main-sequence stars, using parametric rotation profiles coupled to a global optimization technique. We test our methodology on Kepler 56, a red giant observed by the Kepler mission. First, we carry out an extensive modelling of the star using global and local minimizations techniques, and seismic inversions. Then, using our best model, we study in details its internal rotation profile, we adopted a Bayesian approach to constrain stellar parametric predetermined rotation profiles using a Monte Carlo Markov Chain analysis of the rotational splittings of mixed modes. Our Monte Carlo Markov Chain analysis of the rotational splittings allows to determine the core and envelope rotation of Kepler 56 as well as give hints about the location of the transition between the slowly rotating envelope and the fast rotating core. We are able to discard a rigid rotation profile in the radiative regions followed by a power-law in the convective zone and show that the data favours a transition located in the radiative region, as predicted by processes originating from a turbulent nature. Our analysis of Kepler 56 indicates that turbulent processes whose transport efficiency is reduced by chemical gradients are favoured, while large scale fossil magnetic fields are disfavoured as a solution to the missing angular momentum transport.


title: Visual Domain Adaptation for Monocular Depth Estimation on Resource-Constrained Hardware

abstract: Real-world perception systems in many cases build on hardware with limited resources to adhere to cost and power limitations of their carrying system. Deploying deep neural networks on resource-constrained hardware became possible with model compression techniques, as well as efficient and hardware-aware architecture design. However, model adaptation is additionally required due to the diverse operation environments. In this work, we address the problem of training deep neural networks on resource-constrained hardware in the context of visual domain adaptation. We select the task of monocular depth estimation where our goal is to transform a pre-trained model to the target's domain data. While the source domain includes labels, we assume an unlabelled target domain, as it happens in real-world applications. Then, we present an adversarial learning approach that is adapted for training on the device with limited resources. Since visual domain adaptation, i.e. neural network training, has not been previously explored for resource-constrained hardware, we present the first feasibility study for image-based depth estimation. Our experiments show that visual domain adaptation is relevant only for efficient network architectures and training sets at the order of a few hundred samples. Models and code are publicly available.


title: Protocol-based Smart Contract Generation

abstract: The popularity of smart contracts is on the rise, yet breaches in reliability and security linger. Among the many facets of smart contract reliability, we concentrate on faults rooted in out-of-order interactions with contract endpoints. We propose SmartScribble, a protocol language to describe valid patterns of interaction between users and endpoints. SmartScribble not only ensures correct interactive behaviour but also simplifies smart contract coding. From a protocol description, our compiler generates a smart contract that can then be completed by the programmer with the relevant business logic. The generated contracts rely on finite state machines to control endpoint invocations. As a proof of concept, we target Plutus, the contract programming language for the Cardano blockchain. Preliminary evaluation points to a 75% decrease in the size of the code that developers must write, coupled with an increase of reliability by enforcing the specified patterns of interaction.


title: A survey of heavy-heavy hadronic molecules

abstract: The spectrum of hadronic molecules composed of heavy-antiheavy charmed hadrons has been obtained in our previous work. The potentials are constants at the leading order, which are estimated from resonance saturation. The experimental candidates of hadronic molecules, say $X(3872)$, $Y(4260)$, three $P_c$ states and $P_{cs}(4459)$, fit the spectrum well. The success in describing the pattern of heavy-antiheavy hadronic molecules stimulates us to give more predictions for the heavy-heavy cases, which are less discussed in literature than the heavy-antiheavy ones. Given that the heavy-antiheavy hadronic molecules, several of which have strong experimental evidence, emerge from the dominant constant interaction from resonance saturation, we find that the existence of many heavy-heavy hadronic molecules is natural. Among these predicted heavy-heavy states we highlight the $DD^*$ molecule and the $D^{(*)}\Sigma_c^{(*)}$ molecules, which are the partners of the famous $X(3872)$ and $P_c$ states. Quite recently, LHCb collaboration reported a doubly charmed tetraquark state, $T_{cc}$, which is in line with our results for the $DD^*$ molecule. With the first experimental signal of this new kind of exotic states, the upcoming 3pdate of the LHCb experiment as well as other experiments will provide more chances of observing the heavy-heavy hadronic molecules.


title: The spectral curve of segmented strings

abstract: I show how to compute the spectral curve of piecewise linear Nambu-Goto strings in three-dimensional anti-de Sitter spacetime in terms of `celestial' embedding variables.


title: Magnetic and magnetocaloric effect in the stuffed honeycomb antiferromagnet GdInO3 polycrystalline

abstract: The magnetic and magnetocaloric (MCE) properties were studied in a stuffed honeycomb antiferromagnet GdInO3 polycrystalline. No long-range magnetic ordering was observed with only a sharp upturn in the temperature dependent magnetization curves at TN ~ 2.1 K. The large value of frustration index value ~ 5.0 suggests short-range antiferromagnetic interactions existing between the Gd3+ moments in this frustrated magnetic system. Negligible thermal and magnetic hysteresis suggest a second-order feature of phase transition and a reversible magnetocaloric effect (MCE) in GdInO3 compound. In the magnetic field changes of 0-50 kOe and 0-70 kOe, the maximum magnetic entropy change values are 9.31 J/kg K and 17.53 J/kg K near the liquid helium temperature, with the corresponding RCP values of 106.61 and 196.38 J/kg, respectively. The relative lower MCE performance of GdInO3 polycrystalline than the other Gd-based magnetocaloric effect is understood by the high magnetic frustration in this system. Our investigation results reveal GdInO3 polycrystalline has a large reversible MCE, which not only provides another possibility of exploiting magnetocaloric refrigerants in the frustrated magnetic systems near the cryogenic temperature region, but also serves to excavate more exotic properties in the frustrated stuffed honeycomb magnetic systems.


title: Redesigning Fully Convolutional DenseUNets for Large Histopathology Images

abstract: The automated segmentation of cancer tissue in histopathology images can help clinicians to detect, diagnose, and analyze such disease. Different from other natural images used in many convolutional networks for benchmark, histopathology images can be extremely large, and the cancerous patterns can reach beyond 1000 pixels. Therefore, the well-known networks in the literature were never conceived to handle these peculiarities. In this work, we propose a Fully Convolutional DenseUNet that is particularly designed to solve histopathology problems. We evaluated our network in two public pathology datasets published as challenges in the recent MICCAI 2019: binary segmentation in colon cancer images (DigestPath2019), and multi-class segmentation in prostate cancer images (Gleason2019), achieving similar and better results than the winners of the challenges, respectively. Furthermore, we discussed some good practices in the training setup to yield the best performance and the main challenges in these histopathology datasets.


title: End extending models of set theory via power admissible covers

abstract: Motivated by problems involving end extensions of models of set theory, we develop the rudiments of the power admissible cover construction (over ill-founded models of set theory), an extension of the machinery of admissible covers invented by Barwise as a versatile tool for generalizing model-theoretic results about countable well-founded models of set theory to countable ill-founded ones. Our development of the power admissible machinery allows us to obtain new results concerning powerset-preserving end extensions and rank extensions of countable models of subsystems of $\mathsf{ZFC}$. The canonical extension $\mathsf{KP}^\mathcal{P}$ of Kripke-Platek set theory $\mathsf{KP}$ plays a key role in our work; one of our results refines a theorem of Rathjen by showing that $\Sigma_1^\mathcal{P}\text{-}\mathsf{Foundation}$ is provable in $\mathsf{KP}^\mathcal{P}$ (without invoking the axiom of choice).


title: A Global Nucleic Acid Observatory for Biodefense and Planetary Health

abstract: The spread of pandemic viruses and invasive species can be catastrophic for human societies and natural ecosystems. SARS-CoV-2 demonstrated that the speed of our response is critical, as each day of delay permitted exponential growth and dispersion of the virus. Here we propose a global Nucleic Acid Observatory (NAO) to monitor the relative frequency of everything biological through comprehensive metagenomic sequencing of waterways and wastewater. By searching for divergences from historical baseline frequencies at sites throughout the world, NAO could detect any virus or invasive organism undergoing exponential growth whose nucleic acids end up in the water, even those previously unknown to science. Continuously monitoring nucleic acid diversity would provide us with universal early warning, obviate subtle bioweapons, and generate a wealth of sequence data sufficient to transform ecology, microbiology, and conservation. We call for the immediate construction of a global NAO to defend and illuminate planetary health.


title: An Investigation of radiative proton-capture reactions in the Cd-In mass region

abstract: The reaction network in the neutron-deficient part of the nuclear chart around $A \sim 100$ contains several nuclei of importance to astrophysical processes, such as the p-process. This work reports on the results from recent experimental studies of the radiative proton-capture reactions $^{112,114}\mathrm{Cd}(p,\gamma)^{113,115}\mathrm{In}$. Experimental cross sections for the reactions have been measured for proton beam energies residing inside the respective Gamow windows for each reaction, using isotopically enriched $^{112}\mathrm{Cd}$ and $^{114}\mathrm{Cd}$ targets. Two different techniques, the in-beam $\gamma$-ray spectroscopy and the activation method have been employed, with the latter considered necessary to account for the presence of low-lying isomers in $^{113}\mathrm{In}$ ($E_{\gamma} \approx 392$~keV, $t_{1/2} \approx 100$~min), and $^{115}\mathrm{In}$ ($E_{\gamma} \approx 336$~keV, $t_{1/2} \approx 4.5$~h). Following the measurement of the total reaction cross sections, the astrophysical S factors have been additionally deduced. The experimental results are compared with Hauser-Feshbach theoretical calculations carried out with the most recent version of TALYS. The results are discussed in terms of their significance to the various parameters entering the models.


title: Limit Cycles and Chaos Induced by a Nonlinearity with Memory

abstract: Inspired by the observation of a distributed time delay in the nonlinear response of an optical resonator, we investigate the effects of a similar delay on a noise-driven mechanical oscillator. For a delay time that is commensurate with the inverse dissipation rate, we find stable limit cycles. For longer delays, we discover a regime of chaotic dynamics associated with a double scroll attractor. We also analyze the effects of time delay on the spectrum and oscillation amplitude of the oscillator. Our results point to new opportunities for nonlinear energy harvesting, provided that a nonlinearity with distributed time delay can be implemented in mechanical systems.

categories: physics.optics nlin.CD physics.app-ph physics.class-ph


title: $J/\psi$ photo-production in Pb-Pb peripheral collisions at $\sqrt{s_{\rm NN}}$ = 5 TeV

abstract: The photo-production of $J/\psi$ mesons at low transverse momentum is studied in peripheral lead-lead collisions collected by the LHCb experiment at a centre-of-mass energy per nucleon pair of 5 TeV, corresponding to an integrated luminosity of 210 $\rm{\mu b}^{-1}$. The $J/\psi$ candidates are reconstructed through the prompt decay into two muons of opposite charge in the rapidity region of $2.0<y<4.5$. The results significantly improve previous measurements and are compared to the latest theoretical prediction.


title: Maintaining supersolidity in one and two dimensions

abstract: We theoretically investigate supersolidity in three-dimensional dipolar Bose-Einstein condensates. We focus on the role of trap geometry in determining the dimensionality of the resulting droplet arrays, which range from one-dimensional to zigzag, through to two-dimensional supersolids in circular traps. Supersolidity is well established in one-dimensional arrays, and may be just as favorable in two-dimensional arrays provided that one appropriately scales the atom number to the trap volume. We develop a tractable variational model--which we benchmark against full numerical simulations--and use it to study droplet crystals and their excitations. We also outline how exotic ring and stripe states may be created with experimentally-feasible parameters. Our work paves the way for future studies of two-dimensional dipolar supersolids in realistic settings.


title: Noncommutative (A)dS and Minkowski spacetimes from quantum Lorentz subgroups

abstract: The complete classification of classical $r$-matrices generating quantum deformations of the (3+1)-dimensional (A)dS and Poincar\'e groups such that their Lorentz sector is a quantum subgroup is presented. It is found that there exists three classes of such $r$-matrices, one of them being a novel two-parametric one. The (A)dS and Minkowskian Poisson homogeneous spaces corresponding to these three deformations are explicitly constructed in both local and ambient coordinates. Their quantization is performed, thus giving rise to the associated noncommutative spacetimes, that in the Minkowski case are naturally expressed in terms of quantum null-plane coordinates, and they are always defined by homogeneous quadratic algebras. Finally, non-relativistic and ultra-relativistic limits giving rise to novel Newtonian and Carrollian noncommutative spacetimes are also presented.


title: Exploring Out-of-Distribution Generalization in Text Classifiers Trained on Tobacco-3482 and RVL-CDIP

abstract: To be robust enough for widespread adoption, document analysis systems involving machine learning models must be able to respond correctly to inputs that fall outside of the data distribution that was used to generate the data on which the models were trained. This paper explores the ability of text classifiers trained on standard document classification datasets to generalize to out-of-distribution documents at inference time. We take the Tobacco-3482 and RVL-CDIP datasets as a starting point and generate new out-of-distribution evaluation datasets in order to analyze the generalization performance of models trained on these standard datasets. We find that models trained on the smaller Tobacco-3482 dataset perform poorly on our new out-of-distribution data, while text classification models trained on the larger RVL-CDIP exhibit smaller performance drops.


title: Irregular Subgraphs

abstract: We suggest two related conjectures dealing with the existence of spanning irregular subgraphs of graphs. The first asserts that any $d$-regular graph on $n$ vertices contains a spanning subgraph in which the number of vertices of each degree between $0$ and $d$ deviates from $\frac{n}{d+1}$ by at most $2$. The second is that every graph on $n$ vertices with minimum degree $\delta$ contains a spanning subgraph in which the number of vertices of each degree does not exceed $\frac{n}{\delta+1}+2$. Both conjectures remain open, but we prove several asymptotic relaxations for graphs with a large number of vertices $n$. In particular we show that if $d^3 \log n \leq o(n)$ then every $d$-regular graph with $n$ vertices contains a spanning subgraph in which the number of vertices of each degree between $0$ and $d$ is $(1+o(1))\frac{n}{d+1}$. We also prove that any graph with $n$ vertices and minimum degree $\delta$ contains a spanning subgraph in which no degree is repeated more than $(1+o(1))\frac{n}{\delta+1}+2$ times.


title: Extending the Graph Formalism to Higher-Order Gates

abstract: We present an algorithm for efficiently simulating a quantum circuit in the graph formalism. In the graph formalism, we represent states as a linear combination of graphs with Clifford operations on their vertices. We show how a $\mathcal{C}_3$ gate such as the Toffoli gate or $\frac\pi8$ gate acting on a stabilizer state splits it into two stabilizer states. We also describe conditions for merging two stabilizer states into one. We discuss applications of our algorithm to circuit identities and finding low stabilizer rank representations of magic states.


title: An Angle Independent Depth Aware Fusion Beamforming Approach for Ultrafast Ultrasound Flow Imaging

abstract: In the case of vector flow imaging systems, the most employed flow estimation techniques are the directional beamforming based cross correlation and the triangulation-based autocorrelation. However, the directional beamforming-based techniques require an additional angle estimator and are not reliable if the flow angle is not constant throughout the region of interest. On the other hand, estimates with triangulation-based techniques are prone to large bias and variance at low imaging depths due to limited angle for left and right apertures. In view of this, a novel angle independent depth aware fusion beamforming approach is proposed and evaluated in this paper. The hypothesis behind the proposed approach is that the peripheral flows are transverse in nature, where directional beamforming can be employed without the need of an angle estimator and the deeper flows being non-transverse and directional, triangulation-based vector flow imaging can be employed. In the simulation study, an overall 67.62% and 74.71% reduction in magnitude bias along with a slight reduction in the standard deviation are observed with the proposed fusion beamforming approach when compared to triangulation-based beamforming and directional beamforming, respectively, when implemented individually. The efficacy of the proposed approach is demonstrated with in-vivo experiments.


title: A Nonlinear Beamforming for Enhanced Spatiotemporal Sensitivity in High Frame Rate Ultrasound Flow Imaging

abstract: Typically, an ultrasound flow imaging system employs the conventional delay and sum (DAS) beamformer due to its inherent low complexity. But the conventional DAS technique offers poor contrast, low imaging resolution, and limited spatiotemporal sensitivity. This article attempts to improve the spatiotemporal sensitivity of conventional flow imaging with a novel multiply and sum based nonlinear high-resolution (NLHR) beamforming approach. The major advantages of the proposed beamformer are the harmonic generation and the enhanced coherence in beamformed signals that improve the spatiotemporal sensitivity towards flow transients. We demonstrate the proposed beamformer for a directional cross-correlation as well as an autocorrelation based velocity estimator with simulated parabolic flow profiles of different velocities and flow directions, an in-vitro rotating disk dataset, and pulsatile flow experiments. The sensitivity of NLHR beamforming towards the flow transients is validated in-vitro with a sudden reversal of flow direction and air bubble tracking experiments. The comparison between the time-frequency plots of DAS and NLHR beamforming indicates that the impulsive spatiotemporal changes induced by the flow of air bubbles are clearly characterized by nonlinear beamforming than that of DAS beamforming. Furthermore, better spatiotemporal velocity tracking of a single air bubble and a clear distinguishability between the tracking of two proximal air bubbles are observed in-vitro. Preliminary studies on the in-vivo carotid data also show comparable, if not better, results than that of the DAS algorithm. Detailed results for each test case in simulation, phantom, and in-vivo studies are available as movies with the supplementary material and online.


title: Direct Construction of Optimal Z-Complementary Code Sets for all Possible Even Length by Using Pseudo-Boolean Functions

abstract: Z-complementary code set (ZCCS) are well known to be used in multicarrier code-division multiple access (MCCDMA) system to provide a interference free environment. Based on the existing literature, the direct construction of optimal ZCCSs are limited to its length. In this paper, we are interested in constructing optimal ZCCSs of all possible even lengths using Pseudo-Boolean functions. The maximum column sequence peakto-man envelop power ratio (PMEPR) of the proposed ZCCSs is upper-bounded by two, which may give an extra benefit in managing PMEPR in an ZCCS based MC-CDMA system, as well as the ability to handle a large number of users.


title: Multipath cohomology of directed graphs

abstract: This work is part of a series of papers focusing on multipath cohomology of directed graphs. Multipath cohomology is defined as the (poset) homology of the path poset -- i.e., the poset of disjoint simple paths in a graph -- with respect to a certain functor. This construction is essentially equivalent, albeit more computable, to taking the higher limits of said functor on (a certain modification of) the path poset. We investigate the functorial properties of multipath cohomology. We provide a number of sample computations, show that the multipath cohomology does not vanish on trees, and that, when evaluated at the coherently oriented polygon, it recovers Hochschild homology. Finally, we use the same techniques employed to study the functoriality to investigate the connection with the chromatic homology of (undirected) graphs introduced by L. Helme-Guizon and Y. Rong.


title: Lauricella hypergeometric function and its application to the solution of the Neumann problem for a multidimensional elliptic equation with several singular coefficients in an infinite domain

abstract: At present, the fundamental solutions of the multidimensional elliptic equation with the several singular coefficients are known and they are expressed in terms of the Lauricella hypergeometric function of many variables. In this paper we study the Neumann problem for a multidimensional elliptic equation with several singular coefficients in the infinite domain. Using the method of the integral energy the uniqueness of solution has been proved. In the course of proving the existence of the explicit solution of the Neumann problem, a differentiation formula, some adjacent and limiting relations for the Lauricella hypergeometric functions and the values of some multidimensional improper integrals are used.


title: Accelerating XOR-based Erasure Coding using Program Optimization Techniques

abstract: Erasure coding (EC) affords data redundancy for large-scale systems. XOR-based EC is an easy-to-implement method for optimizing EC. This paper addresses a significant performance gap between the state-of-the-art XOR-based EC approach (with 4.9 GB/s coding throughput) and Intel's high-performance EC library based on another approach (with 6.7 GB/s). We propose a novel approach based on our observation that XOR-based EC virtually generates programs of a Domain Specific Language for XORing byte arrays. We formalize such programs as straight-line programs (SLPs) of compiler construction and optimize SLPs using various optimization techniques. Our optimization flow is three-fold: 1) reducing operations using grammar compression algorithms; 2) reducing memory accesses using deforestation, a functional program optimization method; and 3) reducing cache misses using the (red-blue) pebble game of program analysis. We provide an experimental library, which outperforms Intel's library with 8.92 GB/s throughput.


title: Time functions on Lorentzian length spaces

abstract: In general relativity, time functions are crucial objects whose existence and properties are intimately tied to the causal structure of a spacetime and also to the initial value formulation of the Einstein equations. In this work we establish all fundamental classical existence results on time functions in the setting of Lorentzian (pre-)length spaces (including causally plain continuous spacetimes, closed cone fields and even more singular spaces). More precisely, we characterize the existence of time functions by $K$-causality, show that a modified notion of Geroch's volume functions are time functions if and only if the space is causally continuous, and lastly, characterize global hyperbolicity by the existence of Cauchy time functions, and Cauchy sets. Our results thus inevitably show that no manifold structure is needed in order to obtain suitable time functions.


title: Using Metamorphic Relations to Verify and Enhance Artcode Classification

abstract: Software testing is often hindered where it is impossible or impractical to determine the correctness of the behaviour or output of the software under test (SUT), a situation known as the oracle problem. An example of an area facing the oracle problem is automatic image classification, using machine learning to classify an input image as one of a set of predefined classes. An approach to software testing that alleviates the oracle problem is metamorphic testing (MT). While traditional software testing examines the correctness of individual test cases, MT instead examines the relations amongst multiple executions of test cases and their outputs. These relations are called metamorphic relations (MRs): if an MR is found to be violated, then a fault must exist in the SUT. This paper examines the problem of classifying images containing visually hidden markers called Artcodes, and applies MT to verify and enhance the trained classifiers. This paper further examines two MRs, Separation and Occlusion, and reports on their capability in verifying the image classification using one-way analysis of variance (ANOVA) in conjunction with three other statistical analysis methods: t-test (for unequal variances), Kruskal-Wallis test, and Dunnett's test. In addition to our previously-studied classifier, that used Random Forests, we introduce a new classifier that uses a support vector machine, and present its MR-augmented version. Experimental evaluations across a number of performance metrics show that the augmented classifiers can achieve better performance than non-augmented classifiers. This paper also analyses how the enhanced performance is obtained.


title: Elimination of a virtual impactor of 2006 QV89 via deep non-detection

abstract: As a consequence of the large (and growing) number of near-Earth objects discovered, some of them are lost before their orbit can be firmly established to ensure long-term recovery. A fraction of these present non-negligible chances of impact with the Earth. We present a method of targeted observations that allowed us to eliminate that risk by obtaining deep images of the area where the object would be, should it be on a collision orbit. 2006 QV89 was one of these objects, with a chance of impact with the Earth on 2019 September 9. Its position uncertainty (of the order of 1 degree) and faintness (below V$\sim$24) made it a difficult candidate for a traditional direct recovery. However, the position of the virtual impactors could be determined with excellent accuracy. In July 2019, the virtual impactors of 2006 QV89 were particularly well placed, with a very small uncertainty region, and an expected magnitude of V$<$26. The area was imaged using ESO's Very Large Telescope, in the context of the ESA/ESO collaboration on Near-Earth Objects, resulting in very constraining a non-detection. This resulted in the elimination of the virtual impactor, even without effectively recovering 2006 QV89, indicating that it did not represent a threat. This method of deep non-detection of virtual impactors demonstrated a large potential to eliminate the threat of other-wise difficult to recover near-Earth objects


title: A Low Rank Promoting Prior for Unsupervised Contrastive Learning

abstract: Unsupervised learning is just at a tipping point where it could really take off. Among these approaches, contrastive learning has seen tremendous progress and led to state-of-the-art performance. In this paper, we construct a novel probabilistic graphical model that effectively incorporates the low rank promoting prior into the framework of contrastive learning, referred to as LORAC. In contrast to the existing conventional self-supervised approaches that only considers independent learning, our hypothesis explicitly requires that all the samples belonging to the same instance class lie on the same subspace with small dimension. This heuristic poses particular joint learning constraints to reduce the degree of freedom of the problem during the search of the optimal network parameterization. Most importantly, we argue that the low rank prior employed here is not unique, and many different priors can be invoked in a similar probabilistic way, corresponding to different hypotheses about underlying truth behind the contrastive features. Empirical evidences show that the proposed algorithm clearly surpasses the state-of-the-art approaches on multiple benchmarks, including image classification, object detection, instance segmentation and keypoint detection.


title: A tight local algorithm for the minimum dominating set problem in outerplanar graphs

abstract: We show that there is a deterministic local algorithm (constant-time distributed graph algorithm) that finds a 5-approximation of a minimum dominating set on outerplanar graphs. We show there is no such algorithm that finds a $(5-\varepsilon)$-approximation, for any $\varepsilon>0$. Our algorithm only requires knowledge of the degree of a vertex and of its neighbors, so that large messages and unique identifiers are not needed.


title: Prediction and manipulation of hydrodynamic rogue waves via nonlinear spectral engineering

abstract: Peregrine soliton (PS) is widely regarded as a prototype nonlinear structure capturing properties of rogue waves that emerge in the nonlinear propagation of unidirectional wave trains. As an exact breather solution of the one-dimensional focusing nonlinear Schr\"odinger equation with nonzero boundary conditions, the PS can be viewed as a soliton on finite background, i.e. a nonlinear superposition of a soliton and a monochromatic wave. A recent mathematical work showed that both nonzero boundary conditions and solitonic content are not pre-requisites for the PS occurrence. Instead, it has been demonstrated that PS can emerge locally, as an asymptotic structure arising from the propagation of an arbitrary large decaying pulse, independently of its solitonic content. This mathematical discovery has changed the widely accepted paradigm of the solitonic nature of rogue waves by enabling the PS to emerge from a partially radiative or even completely solitonless initial data. In this work, we realize the mathematically predicted universal mechanism of the local PS emergence in a water tank experiment with a particular aim to control the point of the PS occurrence in space-time by imposing an appropriately chosen initial chirp. By employing the inverse scattering transform for the synthesis of the initial data, we are able to engineer a localized wave packet with a prescribed solitonic and radiative content. This enabled us to control the position of the emergence of the rogue wave by adjusting the inverse scattering spectrum. The proposed method of the nonlinear spectral engineering is found to be robust to higher-order nonlinear effects inevitable in realistic wave propagation conditions.


title: Revisiting the Spectral Features of Ellerman Bombs and UV Bursts. I. Radiative Hydrodynamic Simulations

abstract: Ellerman bombs (EBs) and UV bursts are both small-scale solar activities that occur in active regions. They are now believed to form at different heights in the lower atmosphere. In this paper, we use one-dimensional radiative hydrodynamic simulations to calculate various line profiles in response to heating in different atmospheric layers. We confirm that heating in the upper photosphere to the lower chromosphere can generate spectral features of typical EBs, while heating in the mid to upper chromosphere can generate spectral features of typical UV bursts. The intensity evolution of the H$\alpha$ line wing in EBs shows a rise--plateau pattern, while that of the Si IV 1403 \r{A} line center in UV bursts shows a rise--fall pattern. However, the predicted enhancement of FUV continuum near 1400 \r{A} for EBs is rarely reported and requires further observations to check it. With two heating sources or an extended heating source in the atmosphere, both EB and UV burst features could be reproduced simultaneously.


title: On Stringy Origin of Minimal Flavor Violation

abstract: We study the minimal flavor violation in the context of string effective field theory. Stringy selection rules indicate that $n$-point couplings among fermionic zero-modes and lightest scalar modes in the string effective action are given by a product of Yukawa couplings which are regarded as spurion fields of stringy and geometrical symmetries. Hence, Yukawa couplings determine the dynamics of flavor and CP violations. This observation strongly supports the hypothesis of minimal flavor violation in the Standard Model effective field theory.


title: Lyapunov Robust Constrained-MDPs: Soft-Constrained Robustly Stable Policy Optimization under Model Uncertainty

abstract: Safety and robustness are two desired properties for any reinforcement learning algorithm. CMDPs can handle additional safety constraints and RMDPs can perform well under model uncertainties. In this paper, we propose to unite these two frameworks resulting in robust constrained MDPs (RCMDPs). The motivation is to develop a framework that can satisfy safety constraints while also simultaneously offer robustness to model uncertainties. We develop the RCMDP objective, derive gradient update formula to optimize this objective and then propose policy gradient based algorithms. We also independently propose Lyapunov based reward shaping for RCMDPs, yielding better stability and convergence properties.


title: Improved Retrieval of Programming Solutions With Code Examples Using a Multi-featured Score

abstract: Developers often depend on code search engines to obtain solutions for their programming tasks. However, finding an expected solution containing code examples along with their explanations is challenging due to several issues. There is a vocabulary mismatch between the search keywords (the query) and the appropriate solutions. Semantic gap may increase for similar bag of words due to antonyms and negation. Moreover, documents retrieved by search engines might not contain solutions containing both code examples and their explanations. So, we propose CRAR (Crowd Answer Recommender) to circumvent those issues aiming at improving retrieval of relevant answers from Stack Overflow containing not only the expected code examples for the given task but also their explanations. Given a programming task, we investigate the effectiveness of combining information retrieval techniques along with a set of features to enhance the ranking of important threads (i.e., the units containing questions along with their answers) for the given task and then selects relevant answers contained in those threads, including semantic features, like word embeddings and sentence embeddings, for instance, a Convolutional Neural Network (CNN). CRAR also leverages social aspects of Stack Overflow discussions like popularity to select relevant answers for the tasks. Our experimental evaluation shows that the combination of the different features performs better than each one individually. We also compare the retrieval performance with the state-of-art CROKAGE (Crowd Knowledge Answer Generator), which is also a system aimed at retrieving relevant answers from Stack Overflow. We show that CRAR outperforms CROKAGE in Mean Reciprocal Rank and Mean Recall with small and medium effect sizes, respectively.


title: PI controllers for the general Saint-Venant equations

abstract: We study the exponential stability in the $H^{2}$ norm of the nonlinear Saint-Venant (or shallow water) equations with arbitrary friction and slope using a single Proportional-Integral (PI) control at one end of the channel. Using a good but simple Lyapunov function we find a simple and explicit condition on the gain the PI control to ensure the exponential stability of any steady-states. This condition is independent of the slope, the friction coefficient, the length of the river, the inflow disturbance and, more surprisingly, can be made independent of the steady-state considered. When the inflow disturbance is time-dependent and no steady-state exist, we still have the Input-to-State stability of the system, and we show that changing slightly the PI control enables to recover the exponential stability of slowly varying trajectories.


title: Rotaflip: A New CNN Layer for Regularization and Rotational Invariance in Medical Images

abstract: Regularization in convolutional neural networks (CNNs) is usually addressed with dropout layers. However, dropout is sometimes detrimental in the convolutional part of a CNN as it simply sets to zero a percentage of pixels in the feature maps, adding unrepresentative examples during training. Here, we propose a CNN layer that performs regularization by applying random rotations of reflections to a small percentage of feature maps after every convolutional layer. We prove how this concept is beneficial for images with orientational symmetries, such as in medical images, as it provides a certain degree of rotational invariance. We tested this method in two datasets, a patch-based set of histopathology images (PatchCamelyon) to perform classification using a generic DenseNet, and a set of specular microscopy images of the corneal endothelium to perform segmentation using a tailored U-net, improving the performance in both cases.


title: Boundary layer formation in the quasigeostrophic model near nonperiodic rough coasts

abstract: We study the so-called homogeneous model of wind-driven ocean circulation, also known as the single-layer quasigeostrophic model. Our attention focuses on performing a complete asymptotic analysis that highlights boundary layer formation along the coastal line. We assume rough coasts without any particular structure, resulting in the study of a nonlinear PDE system for the western boundary layer in an infinite domain. As a consequence, we look for the solution in nonlocalized Sobolev spaces. Under this hypothesis, the eastern boundary layer exhibits a singular behavior at low frequencies far from the rough boundary leading to issues with convergence. The problem is tackled by imposing ergodicity properties. We establish the well-posedness of the governing boundary layer equations and the approximate solution. Our results generalize the ones in the paper of Bresch and G\'erard-Varet (Commun. Math. Phys. (1) 253: (2005), 81-119) in the context of periodic irregularities.


title: Structure determination

abstract: While many good textbooks are available on Protein Structure, Molecular Simulations, Thermodynamics and Bioinformatics methods in general, there is no good introductory level book for the field of Structural Bioinformatics. This book aims to give an introduction into Structural Bioinformatics, which is where the previous topics meet to explore three dimensional protein structures through computational analysis. We provide an overview of existing computational techniques, to validate, simulate, predict and analyse protein structures. More importantly, it will aim to provide practical knowledge about how and when to use such techniques. We will consider proteins from three major vantage points: Protein structure quantification, Protein structure prediction, and Protein simulation & dynamics. The main emphasis of this work is to provide a background on experimental techniques for protein structure determination. The focus is set on X-ray crystallography and Nuclear Magnetic Resonance spectroscopy (NMR), which are by far the main methods used to determine the structure of soluble proteins. We will also introduce cryogenic Electron Microscopy (cryo-EM) and electron diffraction which are more suited to analyze membrane proteins and larger protein complexes. At the end, more qualitative techniques are summarized that are used to obtain insight on the overall structure and dynamics of proteins. Note that this introduction to protein structure determination aims at familiarizing the reader to different experimental techniques, their benefits and bottlenecks, but that a thorough mathematical and technical description of the concept is beyond the scope of this work.


title: Fairness Properties of Face Recognition and Obfuscation Systems

abstract: The proliferation of automated face recognition in the commercial and government sectors has caused significant privacy concerns for individuals. One approach to address these privacy concerns is to employ evasion attacks against the metric embedding networks powering face recognition systems: Face obfuscation systems generate imperceptibly perturbed images that cause face recognition systems to misidentify the user. Perturbed faces are generated on metric embedding networks, which are known to be unfair in the context of face recognition. A question of demographic fairness naturally follows: are there demographic disparities in face obfuscation system performance? We answer this question with an analytical and empirical exploration of recent face obfuscation systems. Metric embedding networks are found to be demographically aware: face embeddings are clustered by demographic. We show how this clustering behavior leads to reduced face obfuscation utility for faces in minority groups. An intuitive analytical model yields insight into these phenomena.


title: Object Wake-up: 3D Object Rigging from a Single Image

abstract: Given a single image of a general object such as a chair, could we also restore its articulated 3D shape similar to human modeling, so as to animate its plausible articulations and diverse motions? This is an interesting new question that may have numerous downstream augmented reality and virtual reality applications. Comparing with previous efforts on object manipulation, our work goes beyond 2D manipulation and rigid deformation, and involves articulated manipulation. To achieve this goal, we propose an automated approach to build such 3D generic objects from single images and embed articulated skeletons in them. Specifically, our framework starts by reconstructing the 3D object from an input image. Afterwards, to extract skeletons for generic 3D objects, we develop a novel skeleton prediction method with a multi-head structure for skeleton probability field estimation by utilizing the deep implicit functions. A dataset of generic 3D objects with ground-truth annotated skeletons is collected. Empirically our approach is demonstrated with satisfactory performance on public datasets as well as our in-house dataset; our results surpass those of the state-of-the-arts by a noticeable margin on both 3D reconstruction and skeleton prediction.


title: Two-particle scattering from finite-volume quantization conditions using the plane wave basis

abstract: We propose an alternative approach to L\"uscher's formula for extracting two-body scattering phase shifts from finite volume spectra with no reliance on the partial wave expansion. We use an effective-field-theory-based Hamiltonian method in the plane wave basis and decompose the corresponding matrix elements of operators into irreducible representations of the relevant point groups. The proposed approach allows one to benefit from the knowledge of the long-range interaction and avoids complications from partial wave mixing in a finite volume. We consider spin-singlet channels in the two-nucleon system and pion-pion scattering in the $\rho$-meson channel in the rest and moving frames to illustrate the method for non-relativistic and relativistic systems, respectively. For the two-nucleon system, the long-range interaction due to the one-pion exchange is found to make the single-channel L\"uscher formula unreliable at the physical pion mass. For S-wave dominated states, the single-channel L\"uscher method suffers from significant finite-volume artifacts for a $L=3$~fm box, but it works well for boxes with $L>5$~fm. However, for P-wave dominated states, significant partial wave mixing effects prevent the application of the single-channel L\"uscher formula regardless of the box size (except for the near-threshold region). Using a toy model to generate synthetic data for finite-volume energies, we show that our effective-field-theory-based approach in the plane wave basis is capable of a reliable extraction of the phase shifts. For pion-pion scattering, we employ a phenomenological model to fit lattice QCD results at the physical pion mass. The extracted P-wave phase shifts are found to be in a good agreement with the experimental results.


title: Syzygies of some rational homogeneous varieties

abstract: In this paper, we study syzygies of rational homogeneous varieties. We extend Manivel's result that a $p$-th power of an ample line bundle on a flag variety satisfies Propery $(N_p)$ to many rational homogeneous varieties of type $B$, $C$, $D$, and $G_2$.


title: Triple nuclear collisions - a new method to explore the matter properties under new extreme conditions

abstract: We suggest to explore an entirely new method to experimentally and theoretically study the phase diagram of strongly interacting matter based on the triple nuclear collisions (TNC). We simulated the TNC using the UrQMD 3.4 model at the beam center-of-mass collision energies $\sqrt{s_{NN}} = 200$ GeV and $\sqrt{s_{NN}} = 2.76$ TeV. It is found that in the most central and simultaneous TNC the initial baryonic charge density is about 3 times higher than the one achieved in the usual binary nuclear collisions at the same energies. As a consequence, the production of protons and $\Lambda$-hyperons is increased by a factor of 2 and 1.5, respectively. Using the MIT Bag model equation we study the evolution of the central cell in TNC and demonstrate that for the top RHIC energy of collision the baryonic chemical potential is 2-2.5 times larger than the one achieved in the binary nuclear collision at the same type of reaction. Based on these estimates, we show that TNC offers an entirely new possibility to study the QCD phase diagram at very high baryonic charge densities.


title: On Addressing Heterogeneity in Federated Learning for Autonomous Vehicles Connected to a Drone Orchestrator

abstract: In this paper we envision a federated learning (FL) scenario in service of amending the performance of autonomous road vehicles, through a drone traffic monitor (DTM), that also acts as an orchestrator. Expecting non-IID data distribution, we focus on the issue of accelerating the learning of a particular class of critical object (CO), that may harm the nominal operation of an autonomous vehicle. This can be done through proper allocation of the wireless resources for addressing learner and data heterogeneity. Thus, we propose a reactive method for the allocation of wireless resources, that happens dynamically each FL round, and is based on each learner's contribution to the general model. In addition to this, we explore the use of static methods that remain constant across all rounds. Since we expect partial work from each learner, we use the FedProx FL algorithm, in the task of computer vision. For testing, we construct a non-IID data distribution of the MNIST and FMNIST datasets among four types of learners, in scenarios that represent the quickly changing environment. The results show that proactive measures are effective and versatile at improving system accuracy, and quickly learning the CO class when underrepresented in the network. Furthermore, the experiments show a tradeoff between FedProx intensity and resource allocation efforts. Nonetheless, a well adjusted FedProx local optimizer allows for an even better overall accuracy, particularly when using deeper neural network (NN) implementations.


title: Role-based lateral movement detection with unsupervised learning

abstract: Adversarial lateral movement via compromised accounts remains difficult to discover via traditional rule-based defenses because it generally lacks explicit indicators of compromise. We propose a behavior-based, unsupervised framework comprising two methods of lateral movement detection on enterprise networks: one aimed at generic lateral movement via either exploit or authenticated connections, and one targeting the specific techniques of process injection and hijacking. The first method is based on the premise that the role of a system---the functions it performs on the network---determines the roles of the systems it should make connections with. The adversary meanwhile might move between any systems whatever, possibly seeking out systems with unusual roles that facilitate certain accesses. We use unsupervised learning to cluster systems according to role and identify connections to systems with novel roles as potentially malicious. The second method is based on the premise that the temporal patterns of inter-system processes that facilitate these connections depend on the roles of the systems involved. If a process is compromised by an attacker, these normal patterns might be disrupted in discernible ways. We apply frequent-itemset mining to process sequences to establish regular patterns of communication between systems based on role, and identify rare process sequences as signalling potentially malicious connections.


title: Remote Teaching and Learning in Applied Engineering: A Post-Pandemic Perspective

abstract: The COVID-19 pandemic significantly disrupted the educational sector. Faced with this life-threatening pandemic, educators had to swiftly pivot to an alternate form of course delivery without severely impacting the quality of the educational experience. Following the transition to online learning, educators had to grapple with a host of challenges. With interrupted face-to-face delivery, limited access to state-of-the-art labs, barriers with educational technologies, challenges of academic integrity, and obstacles with remote teamwork and student participation, creative solutions were urgently needed. In this chapter, we provide a rationale for a variety of course delivery models at different stages of the pandemic and highlight the approaches we took to overcome some of the pressing challenges of remote education. We also discuss how we ensured that hands-on learning remains an integral part of engineering curricula, and we argue that some of the applied changes during the pandemic will likely serve as a catalyst for modernizing education.


title: Q-error Bounds of Random Uniform Sampling for Cardinality Estimation

abstract: Random uniform sampling has been studied in various statistical tasks but few of them have covered the Q-error metric for cardinality estimation (CE). In this paper, we analyze the confidence intervals of random uniform sampling with and without replacement for single-table CE. Results indicate that the upper Q-error bound depends on the sample size and true cardinality. Our bound gives a rule-of-thumb for how large a sample should be kept for single-table CE.


title: Link Quality-Guaranteed Minimum-Cost Millimeter-Wave Base Station Deployment

abstract: Today's growth in the volume of wireless devices coupled with the promise of supporting data-intensive 5G-&-beyond use cases is driving the industry to deploy more millimeter-wave (mmWave) base stations (BSs). Although mmWave cellular systems can carry a larger volume of traffic, dense deployment, in turn, increases the BS installation and maintenance cost, which has been largely ignored in their utilization. In this paper, we present an approach to the problem of mmWave BS deployment in urban environments by minimizing BS deployment cost subject to BS association and user equipment (UE) outage constraints. By exploiting the macro diversity, which enables each UE to be associated with multiple BSs, we derive an expression for UE outage that integrates physical blockage, UE access-limited blockage, and signal-to-interference-plus-noise-ratio (SINR) outage into its expression. The minimum-cost BS deployment problem is then formulated as integer non-linear programming (INP). The combinatorial nature of the problem motivates the pursuit of the optimal solution by decomposing the original problem into the two separable subproblems, i.e., cell coverage optimization and minimum subset selection subproblems. We provide the optimal solution and theoretical justifications for each subproblem. The simulation results demonstrating UE outage guarantees of the proposed method are presented. Interestingly, the proposed method produces a unique distribution of the macro-diversity orders over the network that is distinct from other benchmarks.


title: Beyond No Regret: Instance-Dependent PAC Reinforcement Learning

abstract: The theory of reinforcement learning has focused on two fundamental problems: achieving low regret, and identifying $\epsilon$-optimal policies. While a simple reduction allows one to apply a low-regret algorithm to obtain an $\epsilon$-optimal policy and achieve the worst-case optimal rate, it is unknown whether low-regret algorithms can obtain the instance-optimal rate for policy identification. We show this is not possible -- there exists a fundamental tradeoff between achieving low regret and identifying an $\epsilon$-optimal policy at the instance-optimal rate. Motivated by our negative finding, we propose a new measure of instance-dependent sample complexity for PAC tabular reinforcement learning which explicitly accounts for the attainable state visitation distributions in the underlying MDP. We then propose and analyze a novel, planning-based algorithm which attains this sample complexity -- yielding a complexity which scales with the suboptimality gaps and the "reachability" of a state. We show our algorithm is nearly minimax optimal, and on several examples that our instance-dependent sample complexity offers significant improvements over worst-case bounds.


title: LIDAUS: Localization of IoT Device via Anchor UAV SLAM

abstract: We introduce LIDAUS Localization of IoT Device via Anchor UAV SLAM), an infrastructure-free, multi-stage SLAM system that utilizes an Unmanned Aerial Vehicle (UAV) to accurately localize IoT devices in a 3D indoor space where GPS signals are unavailable or weak, e.g., manufacturing factories, disaster sites, or smart buildings. The lack of GPS signals and infrastructure support makes most of the existing indoor localization systems not practical when localizing a large number of wireless IoT devices. In addition, safety concerns, access restriction, and simply the huge amount of IoT devices make it not practical for humans to manually localize and track IoT devices. To address these challenges, the UAV in our LIDAUS system conducts multi-stage 3D SLAM trips to localize devices based only on RSSIs, the most widely available measurement of the signals of almost all commodity IoT devices. The main novelties of the system include a weighted entropy-based clustering algorithm to select high quality RSSI observation locations, a 3D U-SLAM algorithm that is enhanced by deploying anchor beacons along the UAV's path, and the path planning based on Eulerian cycles on multi-layer grid graphs that model the space in exploring stage and Steiner tree paths in searching stages. Our simulations and experiments of Bluetooth IoT devices have demonstrated that the system can achieve high localization accuracy based only on RSSIs of commodity IoT devices.


title: The Arinkin-Gaitsgory temperedness conjecture

abstract: Arinkin and Gaitsgory defined a category of tempered D-modules on Bun_G that is conjecturally equivalent to the category of quasi-coherent (not ind-coherent!) sheaves on LocSys_{\check{G}}. However, their definition depends on the auxiliary data of a point of the curve; they conjectured that their definition is independent of this choice. Beraldo has outlined a proof of this conjecture that depends on some technology that is not currently available. Here we provide a short, unconditional proof of the Arinkin-Gaitsgory conjecture.


title: Generalizable Mixed-Precision Quantization via Attribution Rank Preservation

abstract: In this paper, we propose a generalizable mixed-precision quantization (GMPQ) method for efficient inference. Conventional methods require the consistency of datasets for bitwidth search and model deployment to guarantee the policy optimality, leading to heavy search cost on challenging largescale datasets in realistic applications. On the contrary, our GMPQ searches the mixed-quantization policy that can be generalized to largescale datasets with only a small amount of data, so that the search cost is significantly reduced without performance degradation. Specifically, we observe that locating network attribution correctly is general ability for accurate visual analysis across different data distribution. Therefore, despite of pursuing higher model accuracy and complexity, we preserve attribution rank consistency between the quantized models and their full-precision counterparts via efficient capacity-aware attribution imitation for generalizable mixed-precision quantization strategy search. Extensive experiments show that our method obtains competitive accuracy-complexity trade-off compared with the state-of-the-art mixed-precision networks in significantly reduced search cost. The code is available at https://github.com/ZiweiWangTHU/GMPQ.git.


title: Instance Similarity Learning for Unsupervised Feature Representation

abstract: In this paper, we propose an instance similarity learning (ISL) method for unsupervised feature representation. Conventional methods assign close instance pairs in the feature space with high similarity, which usually leads to wrong pairwise relationship for large neighborhoods because the Euclidean distance fails to depict the true semantic similarity on the feature manifold. On the contrary, our method mines the feature manifold in an unsupervised manner, through which the semantic similarity among instances is learned in order to obtain discriminative representations. Specifically, we employ the Generative Adversarial Networks (GAN) to mine the underlying feature manifold, where the generated features are applied as the proxies to progressively explore the feature manifold so that the semantic similarity among instances is acquired as reliable pseudo supervision. Extensive experiments on image classification demonstrate the superiority of our method compared with the state-of-the-art methods. The code is available at https://github.com/ZiweiWangTHU/ISL.git.


title: Video Contrastive Learning with Global Context

abstract: Contrastive learning has revolutionized self-supervised image representation learning field, and recently been adapted to video domain. One of the greatest advantages of contrastive learning is that it allows us to flexibly define powerful loss objectives as long as we can find a reasonable way to formulate positive and negative samples to contrast. However, existing approaches rely heavily on the short-range spatiotemporal salience to form clip-level contrastive signals, thus limit themselves from using global context. In this paper, we propose a new video-level contrastive learning method based on segments to formulate positive pairs. Our formulation is able to capture global context in a video, thus robust to temporal content change. We also incorporate a temporal order regularization term to enforce the inherent sequential structure of videos. Extensive experiments show that our video-level contrastive learning framework (VCLR) is able to outperform previous state-of-the-arts on five video datasets for downstream action classification, action localization and video retrieval. Code is available at https://github.com/amazon-research/video-contrastive-learning.


title: Quantum Computing: Implementing Hitting Time for Coined Quantum Walks on Regular Graphs

abstract: In recent years, quantum walks have been widely researched and have shown exciting properties. One such is a quadratic speed-up in hitting time compared to its classical counterpart. In this paper, we design a quantum circuit for the MNRS algorithm, which finds a marked node in a graph with a quantum walk, and use it to find a hitting time for the marked nodes in the walk. We do this by implementing the circuit on IBM quantum simulators and show that the execution on a noise-free simulator results in hitting times that agree with the theoretical expectations. We also run the algorithm on a mock backend that simulates the noise of the IBM Melbourne computer. As expected, the noise has an extensive impact on the output, resulting in outcomes far from the noise-free simulation.


title: Lossy Quantum Defect Theory of Ultracold Molecular Collisions

abstract: We consider losses in collisions of ultracold molecules described by a simple statistical short-range model that explicitly accounts for the limited lifetime of classically chaotic collision complexes. This confirms that thermally sampling many isolated resonances leads to a loss cross section equal to the elastic cross section derived by Mayle et al. [Phys. Rev. A 85, 062712 (2012)], and this makes precise the conditions under which this is the case. Surprisingly, we find that the loss is nonuniversal. We also consider the case that loss broadens the short-range resonances to the point that they become overlapping. The overlapping resonances can be treated statistically even if the resonances are sparse compared to $k_BT$, which may be the case for many molecules. The overlap results in Ericson fluctuations which yield a nonuniversal short-range boundary condition that is independent of energy over a range much wider than is sampled thermally. Deviations of experimental loss rates from the present theory beyond statistical fluctuations and the dependence on a background phase shift are interpreted as non-chaotic dynamics of short-range collision complexes.


title: VisualTextRank: Unsupervised Graph-based Content Extraction for Automating Ad Text to Image Search

abstract: Numerous online stock image libraries offer high quality yet copyright free images for use in marketing campaigns. To assist advertisers in navigating such third party libraries, we study the problem of automatically fetching relevant ad images given the ad text (via a short textual query for images). Motivated by our observations in logged data on ad image search queries (given ad text), we formulate a keyword extraction problem, where a keyword extracted from the ad text (or its augmented version) serves as the ad image query. In this context, we propose VisualTextRank: an unsupervised method to (i) augment input ad text using semantically similar ads, and (ii) extract the image query from the augmented ad text. VisualTextRank builds on prior work on graph based context extraction (biased TextRank in particular) by leveraging both the text and image of similar ads for better keyword extraction, and using advertiser category specific biasing with sentence-BERT embeddings. Using data collected from the Verizon Media Native (Yahoo Gemini) ad platform's stock image search feature for onboarding advertisers, we demonstrate the superiority of VisualTextRank compared to competitive keyword extraction baselines (including an $11\%$ accuracy lift over biased TextRank). For the case when the stock image library is restricted to English queries, we show the effectiveness of VisualTextRank on multilingual ads (translated to English) while leveraging semantically similar English ads. Online tests with a simplified version of VisualTextRank led to a 28.7% increase in the usage of stock image search, and a 41.6% increase in the advertiser onboarding rate in the Verizon Media Native ad platform.