title: The Smooth Forcing Extension Method: A High-Order Technique for Solving Elliptic Equations on Complex Domains

abstract: High-order numerical methods for solving elliptic equations over arbitrary domains typically require specialized machinery, such as high-quality conforming grids for finite elements method, and quadrature rules for boundary integral methods. These tools make it difficult to apply these techniques to higher dimensions. In contrast, fixed Cartesian grid methods, such as the immersed boundary (IB) method, are easy to apply and generalize, but typically are low-order accurate. In this study, we introduce the Smooth Forcing Extension (SFE) method, a fixed Cartesian grid technique that builds on the insights of the IB method, and allows one to obtain arbitrary orders of accuracy. Our approach relies on a novel Fourier continuation method to compute extensions of the inhomogeneous terms to any desired regularity. This is combined with the highly accurate Non-Uniform Fast Fourier Transform for interpolation operations to yield a fast and robust method. Numerical tests confirm that the technique performs precisely as expected on one-dimensional test problems. In higher dimensions, the performance is even better, in some cases yielding sub-geometric convergence. We also demonstrate how this technique can be applied to solving parabolic problems and for computing the eigenvalues of elliptic operators on general domains, in the process illustrating its stability and amenability to generalization.


title: Perfectly parallel cosmological simulations using spatial comoving Lagrangian acceleration

abstract: Existing cosmological simulation methods lack a high degree of parallelism due to the long-range nature of the gravitational force, which limits the size of simulations that can be run at high resolution. To solve this problem, we propose a new, perfectly parallel approach to simulate cosmic structure formation, which is based on the spatial COmoving Lagrangian Acceleration (sCOLA) framework. Building upon a hybrid analytical and numerical description of particles' trajectories, our algorithm allows for an efficient tiling of a cosmological volume, where the dynamics within each tile is computed independently. As a consequence, the degree of parallelism is equal to the number of tiles. We optimised the accuracy of sCOLA through the use of a buffer region around tiles and of appropriate Dirichlet boundary conditions around sCOLA boxes. As a result, we show that cosmological simulations at the degree of accuracy required for the analysis of the next generation of surveys can be run in drastically reduced wall-clock times and with very low memory requirements. The perfect scalability of our algorithm unlocks profoundly new possibilities for computing larger cosmological simulations at high resolution, taking advantage of a variety of hardware architectures.


title: Unitary Signings and Induced Subgraphs of Cayley Graphs of $\mathbb{Z}_2^{n}$

abstract: Let $G$ be a Cayley graph of the elementary abelian $2$-group $\mathbb{Z}_2^{n}$ with respect to a set $S$ of size $d$. We prove that for any such $G, S$ and $d$, the maximum degree of any induced subgraph of $G$ on any set of more than half the vertices is at least $\sqrt d$. This is deduced from the recent breakthrough result of Huang who proved the above for the $n$-hypercube $Q^n$, in which the set of generators $S$ is the set of all vectors of Hamming weight $1$. Motivated by his method we define and study unitary signings of adjacency matrices of graphs, and compare them to the orthogonal signings of Huang. As a byproduct, we answer a recent question of Belardo et. al. about the spectrum of signed $5$-regular graphs.


title: Black Holes, Oscillating Instantons, and the Hawking-Moss transition

abstract: Static oscillating bounces in Schwarzschild de Sitter spacetime are investigated. The oscillating bounce with many oscillations gives a super-thick bubble wall, for which the total vacuum energy increases while the mass of the black hole decreases due to the conservation of Arnowitt-Deser-Misner (ADM) mass. We show that the transition rate of such an "up-tunneling" consuming the seed black hole is higher than that of the Hawking-Moss transition. The correspondence of analyses in the static and global coordinates in the Euclidean de Sitter space is also investigated.


title: Cosmological models with asymmetric quantum bounces

abstract: In quantum cosmology, one has to select a specific wave function solution of the quantum state equations under consideration in order to obtain concrete results. The simplest choices have been already explored, in different frameworks, yielding, in many cases, quantum bounces. As there is no consensually established boundary condition proposal in quantum cosmology, we investigate the consequences of enlarging known sets of initial wave functions of the universe, in the specific framework of the Wheeler-DeWitt equation interpreted along the lines of the de Broglie-Bohm quantum theory, on the possible quantum bounce solutions which emerge from them. In particular, we show that many asymmetric quantum bounces are obtained, which may incorporate non-trivial back-reaction mechanisms, as quantum particle production around the bounce, in the quantum background itself. In particular, the old hypothesis that our expanding universe might have arisen from quantum fluctuations of a fundamental quantum flat space-time is recovered, within a different and yet unexplored perspective.


title: An asymptotic version of the prime power conjecture for perfect difference sets

abstract: We show that the number of positive integers $n\leq N$ such that $\mathbb{Z}/(n^2+n+1)\mathbb{Z}$ contains a perfect difference set is asymptotically $N/\log{N}$.


title: TensorFlow Solver for Quantum PageRank in Large-Scale Networks

abstract: Google PageRank is a prevalent and useful algorithm for ranking the significance of nodes or websites in a network, and a recent quantum counterpart for PageRank algorithm has been raised to suggest a higher accuracy of ranking comparing to Google PageRank. The quantum PageRank algorithm is essentially based on quantum stochastic walks and can be expressed using Lindblad master equation, which, however, needs to solve the Kronecker products of an O(N^4) dimension and requires severely large memory and time when the number of nodes N in a network increases above 150. Here, we present an efficient solver for quantum PageRank by using the Runge-Kutta method to reduce the matrix dimension to O(N^2) and employing TensorFlow to conduct GPU parallel computing. We demonstrate its performance in solving quantum PageRank for the USA major airline network with up to 922 nodes. Compared with the previous quantum PageRank solver, our solver dramatically reduces the required memory and time to only 1% and 0.2%, respectively, making it practical to work in a normal computer with a memory of 4-8 GB in no more than 100 seconds. This efficient solver for large-scale quantum PageRank and quantum stochastic walks would greatly facilitate studies of quantum information in real-life applications.


title: Resonance in the K2-19 system is at odds with its high reported eccentricities

abstract: K2-19 hosts a planetary system composed of two outer planets, b and c, with size of $7.0\pm 0.2~R_\oplus$ and $4.1\pm0.2~R_\oplus$ , and an inner planet, d, with a radius of $1.11\pm 0.05 R_\oplus$. A recent analysis of Transit-Timing Variations (TTVs) suggested b and c are close to but not in 3:2 mean motion resonance (MMR) because the classical resonant angles circulate. Such an architecture challenges our understanding of planet formation. Indeed, planet migration through the protoplanetary disk should lead to a capture into the MMR. Here, we show that the planets are in fact, locked into the 3:2 resonance despite circulation of the conventional resonant angles and aligned periapses. However, we show that such an orbital configuration cannot be maintained for more than a few hundred million years due to the tidal dissipation experienced by planet d. The tidal dissipation remains efficient because of a secular forcing of the innermost planet eccentricity by planets b and c. While the observations strongly rule out an orbital solution where the three planets are on close to circular orbits, it remains possible that a fourth planet is affecting the TTVs such that the four planet system is consistent with the tidal constraints.


title: Analysis and applications of the residual varentropy of random lifetimes

abstract: In reliability theory and survival analysis, the residual entropy is known as a measure suitable to describe the dynamic information content in stochastic systems conditional on survival. Aiming to analyze the variability of such information content, in this paper we introduce the variance of the residual lifetimes, "residual varentropy" in short. After a theoretical investigation of some properties of the residual varentropy, we illustrate certain applications related to the proportional hazards model and the first-passage times of an Ornstein-Uhlenbeck jump-diffusion process.


title: Study of Silicon Photomultiplier Radiation Hardness with Proton Beam from the JULIC Cyclotron

abstract: In this work we study the performance of silicon photomultiplier (SiPM) light sensors after exposure to the JULIC cyclotron proton beam, of energy $\sim$ 39 MeV, relative to their performance before exposure. The SiPM devices used in this study show a significant change in their behavior and downward shift of their breakdown voltage by as much as $\sim$ 0.4$\pm$0.1 V. Single photon measurements appear to be no longer possible for the SiPMs under study after exposure to a dose of $\sim$ 0.2 Gy (corresponding to an integrated proton flux of $\sim$$\phi_{p}$=1.06x10$^{8}$ p/cm$^{2}$). No visible damage to the surface of the devices was caused by the exposure.


title: Automated discovery of a robust interatomic potential for aluminum

abstract: Accuracy of molecular dynamics simulations depends crucially on the interatomic potential used to generate forces. The gold standard would be first-principles quantum mechanics (QM) calculations, but these become prohibitively expensive at large simulation scales. Machine learning (ML) based potentials aim for faithful emulation of QM at drastically reduced computational cost. The accuracy and robustness of an ML potential is primarily limited by the quality and diversity of the training dataset. Using the principles of active learning (AL), we present a highly automated approach to dataset construction. The strategy is to use the ML potential under development to sample new atomic configurations and, whenever a configuration is reached for which the ML uncertainty is sufficiently large, collect new QM data. Here, we seek to push the limits of automation, removing as much expert knowledge from the AL process as possible. All sampling is performed using MD simulations starting from an initially disordered configuration, and undergoing non-equilibrium dynamics as driven by time-varying applied temperatures. We demonstrate this approach by building an ML potential for aluminum (ANI-Al). After many AL iterations, ANI-Al teaches itself to predict properties like the radial distribution function in melt, liquid-solid coexistence curve, and crystal properties such as defect energies and barriers. To demonstrate transferability, we perform a 1.3M atom shock simulation, and show that ANI-Al predictions agree very well with DFT calculations on local atomic environments sampled from the nonequilibrium dynamics. Interestingly, the configurations appearing in shock appear to have been well sampled in the AL training dataset, in a way that we illustrate visually.


title: Investigating Cosmic Discordance

abstract: We show that a combined analysis of CMB anisotropy power spectra obtained by the Planck satellite and luminosity distance data simultaneously excludes a flat universe and a cosmological constant at $99 \%$ CL. These results hold separately when combining Planck with three different datasets: the two determinations of the Hubble constant from Riess et al. 2019 and Freedman et al. 2020, and the Pantheon catalog of high redshift supernovae type-Ia. We conclude that either LCDM needs to be replaced by a different model, or else there are significant but still undetected systematics. Our result calls for new observations and stimulates the investigation of alternative theoretical models and solutions.


title: Dark matter as a heavy thermal hot relic

abstract: If, during the early Universe epoch, the dark matter particle thermalizes in a hidden sector which does not thermalize with the Standard Model thermal bath, its relativistic thermal decoupling can easily lead to the observed relic density, even if the dark matter particle mass is many orders of magnitude heavier than the usual $\sim$ eV hot relic mass scale. This straightforward scenario simply requires that the temperature of the hidden sector thermal bath is one to five orders of magnitude cooler than the temperature of the Standard Model thermal bath. In this way the resulting relic density turns out to be determined only by the dark matter mass scale and the ratio of the temperatures of both sectors. In a model independent way we determine that this can work for a dark matter mass all the way from $\sim 1$ keV to $\sim 30$ PeV. We also show how this scenario works explicitly in the framework of two illustrative models. One of them can lead to a PeV neutrino flux from dark matter decay of the order of the one needed to account for the high energy neutrinos observed by IceCube.


title: Error Estimation for Sketched SVD via the Bootstrap

abstract: In order to compute fast approximations to the singular value decompositions (SVD) of very large matrices, randomized sketching algorithms have become a leading approach. However, a key practical difficulty of sketching an SVD is that the user does not know how far the sketched singular vectors/values are from the exact ones. Indeed, the user may be forced to rely on analytical worst-case error bounds, which do not account for the unique structure of a given problem. As a result, the lack of tools for error estimation often leads to much more computation than is really necessary. To overcome these challenges, this paper develops a fully data-driven bootstrap method that numerically estimates the actual error of sketched singular vectors/values. In particular, this allows the user to inspect the quality of a rough initial sketched SVD, and then adaptively predict how much extra work is needed to reach a given error tolerance. Furthermore, the method is computationally inexpensive, because it operates only on sketched objects, and it requires no passes over the full matrix being factored. Lastly, the method is supported by theoretical guarantees and a very encouraging set of experimental results.


title: A Mean-Field Game Approach to Equilibrium Pricing in Solar Renewable Energy Certificate Markets

abstract: Solar Renewable Energy Certificate (SREC) markets are a market-based system that incentivizes solar energy generation. A regulatory body imposes a lower bound on the amount of energy each regulated firm must generate via solar means, providing them with a tradeable certificate for each MWh generated. Firms seek to navigate the market optimally by modulating their SREC generation and trading rates. As such, the SREC market can be viewed as a stochastic game, where agents interact through the SREC price. We study this stochastic game by solving the mean-field game (MFG) limit with sub-populations of heterogeneous agents. Market participants optimize costs accounting for trading frictions, cost of generation, non-linear non-compliance costs, and generation uncertainty. Moreover, we endogenize SREC price through market clearing. We characterize firms' optimal controls as the solution of McKean-Vlasov (MV) FBSDEs and determine the equilibrium SREC price. We establish the existence and uniqueness of a solution to this MV-FBSDE, and prove that the MFG strategies form an $\epsilon$-Nash equilibrium for the finite player game. Finally, we develop a numerical scheme for solving the MV-FBSDEs and conduct a simulation study.

categories: q-fin.MF cs.SY econ.TH eess.SY math.OC q-fin.TR


title: Convergence analysis of a variational data assimilation scheme for bathymetry detection from surface wave observations

abstract: Accurate mapping of ocean bathymetry is a multi-faceted process, needed for safe and efficient navigation on shipping routes and for predicting tsunami waves. Currently available bathymetry data does not always provide the resolution to capture dynamics of such nonlinear waves accurately. However collection of accurate mapping data is difficult, costly, and often a dangerous affair. As an alternative, in this study we implement a variational data assimilation scheme on the one-dimensional shallow water equations to improve estimates of bathymetry, using a finite set of observations of surface wave height to optimise predictions. We show necessary conditions on system parameters for convergence, and implement a low-pass filter for increased regularity of our reconstructed bathymetry. If our objective is to use this to model tsunami propagation, we observe that a relatively higher error in the optimal reconstruction of the bathymetry still yields a highly accurate prediction of the surface wave, suggesting low sensitivity of surface waves to small scale effects in the bathymetry. These conclusions are based on numerical experiments for both Gaussian and sandbar profile bathymetry, and with different observation operators.These extension of these results to realistic models can potentially have a significant impact, as computational cost can be minimised through a priori knowledge of sufficient error tolerances needed for accurate tsunami prediction.


title: The Chemical Nature of the Young 120-Myr-old Nearby Pisces-Eridanus Stellar Stream Flowing through the Galactic Disk

abstract: Recently, a new cylindrical-shaped stream of stars up to 700 pc long was discovered hiding in the Galactic disk using kinematic data enabled by the Gaia mission. This stream of stars, dubbed Pisces-Eridanus (Psc-Eri), was initially thought to be as old as 1 Gyr, yet its stars shared a rotation period distribution consistent with a population that was 120-Myr-old. Here, we explore the detailed chemical nature of this stellar stream. We carried out high-resolution spectroscopic follow-up of 42 Psc-Eri stars using McDonald Observatory, and combined these data with information for 40 members observed with the low-resolution LAMOST spectroscopic survey. Together, these data enabled us to measure the abundance distribution of light/odd-Z (Li, Na, Al, Sc, V), $\alpha$ (Mg, Si, Ca, Ti), Fe-peak (Cr, Mn, Fe, Co, Ni, Zn), and neutron capture (Sr, Y, Zr, Ba, La, Nd, Eu) elements along the Psc-Eri stream. We find that the stream is (1) near solar metallicity with [Fe/H] = -0.03~dex and (2) has a metallicity spread of 0.07~dex (or 0.04 dex when outliers are excluded). We also find that (3) the abundance of Li indicates that Psc-Eri is $\sim$120 Myr old, consistent with its gyrochronology age. Additionally, Psc-Eri has (4) [X/Fe] abundance spreads which are just larger than the typical uncertainty in most elements, (5) it is a cylindrical-like system whose outer edges rotate about the center and, (6) no significant abundance gradients along its major axis except a potentially weak gradient in [Si/Fe]. These results show that Psc-Eri is a uniquely close, young, chemically interesting laboratory for testing our understanding of star and planet formation.


title: Resource Efficient Zero Noise Extrapolation with Identity Insertions

abstract: In addition to readout errors, two-qubit gate noise is the main challenge for complex quantum algorithms on noisy intermediate-scale quantum (NISQ) computers. These errors are a significant challenge for making accurate calculations for quantum chemistry, nuclear physics, high energy physics, and other emerging scientific and industrial applications. There are two proposals for mitigating two-qubit gate errors: error-correcting codes and zero-noise extrapolation. This paper focuses on the latter, studying it in detail and proposing modifications to existing approaches. In particular, we propose a random identity insertion method (RIIM) that can achieve competitive asymptotic accuracy with far fewer gates than the traditional fixed identity insertion method (FIIM). For example, correcting the leading order depolarizing gate noise requires $n_\text{CNOT}+2$ gates for RIIM instead of $3n_\text{CNOT}$ gates for FIIM. This significant resource saving may enable more accurate results for state-of-the-art calculations on near term quantum hardware.


title: Tidying Deep Saliency Prediction Architectures

abstract: Learning computational models for visual attention (saliency estimation) is an effort to inch machines/robots closer to human visual cognitive abilities. Data-driven efforts have dominated the landscape since the introduction of deep neural network architectures. In deep learning research, the choices in architecture design are often empirical and frequently lead to more complex models than necessary. The complexity, in turn, hinders the application requirements. In this paper, we identify four key components of saliency models, i.e., input features, multi-level integration, readout architecture, and loss functions. We review the existing state of the art models on these four components and propose novel and simpler alternatives. As a result, we propose two novel end-to-end architectures called SimpleNet and MDNSal, which are neater, minimal, more interpretable and achieve state of the art performance on public saliency benchmarks. SimpleNet is an optimized encoder-decoder architecture and brings notable performance gains on the SALICON dataset (the largest saliency benchmark). MDNSal is a parametric model that directly predicts parameters of a GMM distribution and is aimed to bring more interpretability to the prediction maps. The proposed saliency models can be inferred at 25fps, making them suitable for real-time applications. Code and pre-trained models are available at https://github.com/samyak0210/saliency.


title: The logic of orthomodular posets of finite height

abstract: Orthomodular posets form an algebraic formalization of the logic of quantum mechanics. The question is how to introduce the connective implication in such a logic. We show that this is possible when the orthomodular poset in question is of finite height. The main point is that the corresponding algebra, called implication orthomodular poset, i.e. a poset equipped with a binary operator of implication, corresponds to the original orthomodular poset and this operator is everywhere defined. We present here the complete list of axioms for implication orthomodular posets. This enables us to derive an axiomatization in Gentzen style for the algebraizable logic of orthomodular posets of finite height.


title: Potential Vorticity Mixing in a Tangled Magnetic Field

abstract: A theory of potential vorticity (PV) mixing in a disordered (tangled) magnetic field is presented. The analysis is in the context of $\beta$-plane MHD, with a special focus on the physics of momentum transport in the stably stratified, quasi-2D solar tachocline. A physical picture of mean PV evolution by vorticity advection and tilting of magnetic fields is proposed. In the case of weak-field perturbations, quasi-linear theory predicts that the Reynolds and magnetic stresses balance as turbulence Alfv\'enizes for a larger mean magnetic field. Jet formation is explored quantitatively in the mean field-resistivity parameter space. However, since even a modest mean magnetic field leads to large magnetic perturbations for large magnetic Reynolds number, the physically relevant case is that of a strong but disordered field. We show that numerical calculations indicate that the Reynolds stress is modified well before Alfv\'enization -- i.e. before fluid and magnetic energies balance. To understand these trends, a double-average model of PV mixing in a stochastic magnetic field is developed. Calculations indicate that mean-square fields strongly modify Reynolds stress phase coherence and also induce a magnetic drag on zonal flows. The physics of transport reduction by tangled fields is elucidated and linked to the related quench of turbulent resistivity. We propose a physical picture of the system as a resisto-elastic medium threaded by a tangled magnetic network. Applications of the theory to momentum transport in the tachocline and other systems are discussed in detail.


title: Unique product groups and congruence subgroups

abstract: We prove that a uniform pro-p group with no nonabelian free subgroups has a normal series with torsion-free abelian factors. We discuss this in relation to unique product groups. We also consider generalizations of Hantzsche-Wendt groups.


title: Privacy-Cost Management in Smart Meters Using Deep Reinforcement Learning

abstract: Smart meters (SMs) play a pivotal rule in the smart grid by being able to report the electricity usage of consumers to the utility provider (UP) almost in real-time. However, this could leak sensitive information about the consumers to the UP or a third-party. Recent works have leveraged the availability of energy storage devices, e.g., a rechargeable battery (RB), in order to provide privacy to the consumers with minimal additional energy cost. In this paper, a privacy-cost management unit (PCMU) is proposed based on a model-free deep reinforcement learning algorithm, called deep double Q-learning (DDQL). Empirical results evaluated on actual SMs data are presented to compare DDQL with the state-of-the-art, i.e., classical Q-learning (CQL). Additionally, the performance of the method is investigated for two concrete cases where attackers aim to infer the actual demand load and the occupancy status of dwellings. Finally, an abstract information-theoretic characterization is provided.


title: Learning State-Dependent Losses for Inverse Dynamics Learning

abstract: Being able to quickly adapt to changes in dynamics is paramount in model-based control for object manipulation tasks. In order to influence fast adaptation of the inverse dynamics model's parameters, data efficiency is crucial. Given observed data, a key element to how an optimizer updates model parameters is the loss function. In this work, we propose to apply meta-learning to learn structured, state-dependent loss functions during a meta-training phase. We then replace standard losses with our learned losses during online adaptation tasks. We evaluate our proposed approach on inverse dynamics learning tasks, both in simulation and on real hardware data. In both settings, the structured and state-dependent learned losses improve online adaptation speed, when compared to standard, state-independent loss functions.


title: Towards Clarifying the Theory of the Deconfounder

abstract: Wang and Blei (2019) studies multiple causal inference and proposes the deconfounder algorithm. The paper discusses theoretical requirements and presents empirical studies. Several refinements have been suggested around the theory of the deconfounder. Among these, Imai and Jiang clarified the assumption of "no unobserved single-cause confounders." Using their assumption, this paper clarifies the theory. Furthermore, Ogburn et al. (2020) proposes counterexamples to the theory. But the proposed counterexamples do not satisfy the required assumptions.


title: LC-GAN: Image-to-image Translation Based on Generative Adversarial Network for Endoscopic Images

abstract: Intelligent vision is appealing in computer-assisted and robotic surgeries. Vision-based analysis with deep learning usually requires large labeled datasets, but manual data labeling is expensive and time-consuming in medical problems. We investigate a novel cross-domain strategy to reduce the need for manual data labeling by proposing an image-to-image translation model live-cadaver GAN (LC-GAN) based on generative adversarial networks (GANs). We consider a situation when a labeled cadaveric surgery dataset is available while the task is instrument segmentation on an unlabeled live surgery dataset. We train LC-GAN to learn the mappings between the cadaveric and live images. For live image segmentation, we first translate the live images to fake-cadaveric images with LC-GAN and then perform segmentation on the fake-cadaveric images with models trained on the real cadaveric dataset. The proposed method fully makes use of the labeled cadaveric dataset for live image segmentation without the need to label the live dataset. LC-GAN has two generators with different architectures that leverage the deep feature representation learned from the cadaveric image based segmentation task. Moreover, we propose the structural similarity loss and segmentation consistency loss to improve the semantic consistency during translation. Our model achieves better image-to-image translation and leads to improved segmentation performance in the proposed cross-domain segmentation task.


title: Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach

abstract: Control barrier functions are mathematical constructs used to guarantee safety for robotic systems. When integrated as constraints in a quadratic programming optimization problem, instantaneous control synthesis with real-time performance demands can be achieved for robotics applications. Prevailing use has assumed full knowledge of the safety barrier functions, however there are cases where the safe regions must be estimated online from sensor measurements. In these cases, the corresponding barrier function must be synthesized online. This paper describes a learning framework for estimating control barrier functions from sensor data. Doing so affords system operation in unknown state space regions without compromising safety. Here, a support vector machine classifier provides the barrier function specification as determined by sets of safe and unsafe states obtained from sensor measurements. Theoretical safety guarantees are provided. Experimental ROS-based simulation results for an omnidirectional robot equipped with LiDAR demonstrate safe operation.


title: Relationship between rotation curves and matter distribution in spiral galaxy discs

abstract: Feng & Gallo (2011) developed a numerical method of deriving rotation curves from the density distribution and, in particular, the inverse problem while considering just a self-gravitating disc and the thin disc approximation. Our first aim here is to reproduce the same analysis and expand it with various ideas and examples. The main obstacles to building this numerical implementation are certain singularities. We try to fix the instabilities using different methods. Moreover, we add a final chapter extending the problem and its method to a third dimension through the perpendicular to the galactic plane. The dark halo (whose density is usually represented by a nearby spherical distribution) is supposed to support the outer parts of the rotation curves of spiral galaxies. Here, however, we work only with a self-gravitation disc. To treat this topic we first calculate the disc density distribution from measured rotation curve data of the Milky Way. We then compare this distribution with the observed exponential stellar density, and the difference is attributed to a dark disc. This representation of Feng & Gallo of the Galaxy with a dark disc instead of a dark halo is controversial. When we analyse the effect of flares on rotation curves, the thin disc approximation fails, and we need to introduce a vertical dimension to measure and predict the effects of the flare through different heights. Just by spreading the mass perpendicularly to the plane -- without adding any further mass -- the flare provokes no severe changes on the rotation curve. The flare mainly provokes a faster velocity decrease in the outer part of the Galaxy ($r\gtrsim 14$ kpc). But we also have obtained a slight velocity increase in the first kiloparsecs after the starting point of the flare.


title: Interval Temporal Logic Decision Tree Learning

abstract: Decision trees are simple, yet powerful, classification models used to classify categorical and numerical data, and, despite their simplicity, they are commonly used in operations research and management, as well as in knowledge mining. From a logical point of view, a decision tree can be seen as a structured set of logical rules written in propositional logic. Since knowledge mining is rapidly evolving towards temporal knowledge mining, and since in many cases temporal information is best described by interval temporal logics, propositional logic decision trees may evolve towards interval temporal logic decision trees. In this paper, we define the problem of interval temporal logic decision tree learning, and propose a solution that generalizes classical decision tree learning.


title: Scalable Computation of Controlled Invariant Sets for Discrete-Time Linear Systems with Input Delays

abstract: In this paper, we first propose a method that can efficiently compute the maximal robust controlled invariant set for discrete-time linear systems with pure delay in input. The key to this method is to construct an auxiliary linear system (without delay) with the same state-space dimension of the original system in consideration and to relate the maximal invariant set of the auxiliary system to that of the original system. When the system is subject to disturbances, guaranteeing safety is harder for systems with input delays. Ability to incorporate any additional information about the disturbance becomes more critical in these cases. Motivated by this observation, in the second part of the paper, we generalize the proposed method to take into account additional preview information on the disturbances, while maintaining computational efficiency. Compared with the naive approach of constructing a higher dimensional system by appending the state-space with the delayed inputs and previewed disturbances, the proposed approach is demonstrated to scale much better with the increasing delay time.


title: Construction and classification of Coulomb branch geometries

abstract: We give a non-technical summary of the classification program, very dear to the hearts of both authors, of four dimensional $\mathcal{N}=2$ superconformal field theories (SCFTs) based on the study of their Coulomb branch geometries. We outline the main ideas behind this program, review the most important results thus far obtained, and the prospects for future results. This contribution will appear in the volume "the Pollica perspective on the (super)-conformal world" but we decided to also make it available separately in the hope that it could be useful to those who are interested in obtaining a quick grasp of this rapidly developing program.


title: Volatile evolution and atmospheres of Trans-Neptunian Objects

abstract: At 30-50 K, the temperatures typical for surfaces in the Kuiper Belt (e.g. Stern & Trafton 2008), only seven species have sublimation pressures higher than 1 nbar (Fray & Schmitt 2009): Ne, N$_2$, CO, Ar, O$_2$, CH$_4$, and Kr. Of these, N$_2$, CO, and CH$_4$ have been detected or inferred on the surfaces of Trans-Neptunian Objects (TNOs). The presence of tenuous atmospheres above these volatile ices depends on the sublimation pressures, which are very sensitive to the composition, temperatures, and mixing states of the volatile ices. Therefore, the retention of volatiles on a TNO is related to its formation environment and thermal history. The surface volatiles may be transported via seasonally varying atmospheres and their condensation might be responsible for the high surface albedos of some of these bodies. The most sensitive searches for tenuous atmospheres are made by the method of stellar occultation, which have been vital for the study of the atmospheres of Triton and Pluto, and has to-date placed upper limits on the atmospheres of 11 other bodies. The recent release of the Gaia astrometric catalog has led to a "golden age" in the ability to predict TNO occultations in order to increase the observational data base.


title: SQUIRL: Robust and Efficient Learning from Video Demonstration of Long-Horizon Robotic Manipulation Tasks

abstract: Recent advances in deep reinforcement learning (RL) have demonstrated its potential to learn complex robotic manipulation tasks. However, RL still requires the robot to collect a large amount of real-world experience. To address this problem, recent works have proposed learning from expert demonstrations (LfD), particularly via inverse reinforcement learning (IRL), given its ability to achieve robust performance with only a small number of expert demonstrations. Nevertheless, deploying IRL on real robots is still challenging due to the large number of robot experiences it requires. This paper aims to address this scalability challenge with a robust, sample-efficient, and general meta-IRL algorithm, SQUIRL, that performs a new but related long-horizon task robustly given only a single video demonstration. First, this algorithm bootstraps the learning of a task encoder and a task-conditioned policy using behavioral cloning (BC). It then collects real-robot experiences and bypasses reward learning by directly recovering a Q-function from the combined robot and expert trajectories. Next, this algorithm uses the Q-function to re-evaluate all cumulative experiences collected by the robot to improve the policy quickly. In the end, the policy performs more robustly (90%+ success) than BC on new tasks while requiring no trial-and-errors at test time. Finally, our real-robot and simulated experiments demonstrate our algorithm's generality across different state spaces, action spaces, and vision-based manipulation tasks, e.g., pick-pour-place and pick-carry-drop.


title: Flagged Schur polynomial duality via a lattice path bijection

abstract: This paper proves an identity between flagged Schur polynomials, giving a duality between row flags and column flags. This identity generalises both the binomial determinant duality theorem due to Gessel and Viennot and the symmetric function duality theorem due to Aitken. As corollaries we obtain the lifts of the binomial determinant duality theorem to $q$-binomial coefficients and to symmetric polynomials. Our method is a path counting argument on a novel lattice generalising that used by Gessel and Viennot.


title: Virial coefficients of trapped and un-trapped three-component fermions with three-body forces in arbitrary spatial dimensions

abstract: Using a coarse temporal lattice approximation, we calculate the first few terms of the virial expansion of a three-species fermion system with a three-body contact interaction in $d$ spatial dimensions, both in homogeneous space as well as in a harmonic trapping potential of frequency $\omega$. Using the three-body problem to renormalize, we report analytic results for the change in the fourth- and fifth-order virial coefficients $\Delta b_4$ and $\Delta b_5$ as functions of $\Delta b_3$. Additionally, we argue that in the $\omega \to 0$ limit the relationship $b_n^\text{T} = n^{-d/2} b_n$ holds between the trapped (T) and homogeneous coefficients for arbitrary temperature and coupling strength (not merely in scale-invariant regimes). Finally, we point out an exact, universal (coupling- and frequency-independent) relationship between $\Delta b_3^\text{T}$ in 1D with three-body forces and $\Delta b_2^\text{T}$ in 2D with two-body forces.


title: Delay stability of reaction systems

abstract: Delay differential equations are used as a model when the effect of past states has to be taken into account. In this work we consider delay models of chemical reaction networks with mass action kinetics. We obtain a sufficient condition for absolute delay stability of equilibrium concentrations, i.e., local asymptotic stability independent of the delay parameters. Several interesting examples on sequestration networks with delays are presented.


title: Curriculum Learning for Reinforcement Learning Domains: A Framework and Survey

abstract: Reinforcement learning (RL) is a popular paradigm for addressing sequential decision tasks in which the agent has only limited environmental feedback. Despite many advances over the past three decades, learning in many domains still requires a large amount of interaction with the environment, which can be prohibitively expensive in realistic scenarios. To address this problem, transfer learning has been applied to reinforcement learning such that experience gained in one task can be leveraged when starting to learn the next, harder task. More recently, several lines of research have explored how tasks, or data samples themselves, can be sequenced into a curriculum for the purpose of learning a problem that may otherwise be too difficult to learn from scratch. In this article, we present a framework for curriculum learning (CL) in reinforcement learning, and use it to survey and classify existing CL methods in terms of their assumptions, capabilities, and goals. Finally, we use our framework to find open problems and suggest directions for future RL curriculum learning research.


title: The destructive effect of human stupidty: a revision of Cipolla's Fundamental Laws

abstract: In this work we analyze an evolutionary game that incorporates the ideas presented by Cipolla in his work \textit{The fundamental laws of human stupidity}. The game considers four strategies, three of them are inherent to the player behavior and can evolve via an imitation dynamics, while the fourth one is associated to an eventual behavior that can be adopted by any player at any time with certain probability. This fourth strategy corresponds to what Cipolla calls a stupid person. The probability of behaving stupidly acts as a parameter that induces a phase transition in the steady the distribution of strategies among the population.


title: Science with the X-ray Imaging and Spectroscopy Mission (XRISM)

abstract: This white paper was prepared by members of the XRISM Science Team for the benefit of the general astronomical community. This paper describes the capabilities of XRISM, offers a sampling of the many science topics that the mission will address, and discusses the synergies of XRISM with the plethora of planned and existing facilities in the 2020s and beyond.


title: Individual-Level Modelling of Infectious Disease Data: EpiILM

abstract: In this article, we introduce the R package EpiILM, which provides tools for simulation from, and inference for, discrete-time individual-level models of infectious disease transmission proposed by Deardon et al. (2010). The inference is set in a Bayesian framework and is carried out via Metropolis-Hastings Markov chain Monte Carlo (MCMC). For its fast implementation, key functions are coded in Fortran. Both spatial and contact network models are implemented in the package and can be set in either susceptible-infected (SI) or susceptible-infected-removed (SIR) compartmental frameworks. The use of the package is demonstrated through examples involving both simulated and real data.


title: First-Order Concatenation Theory with Bounded Quantifiers

abstract: We study first-order concatenation theory with bounded quantifiers. We give axiomatizations with interesting properties, and we prove some normal-form results. Finally, we prove a number of decidability and undecidability results.


title: The diameter of the directed configuration model

abstract: We show that the diameter of the directed configuration model with $n$ vertices rescaled by $\log n$ converges in probability to a constant. Our assumptions are the convergence of the in- and out-degree of a uniform random vertex in distribution, first and second moment. Our result extends previous results on the diameter of the model and applies to many other random directed graphs.


title: Nonnegative controllability for a class of nonlinear degenerate parabolic equations with application to climate science

abstract: Let us consider a nonlinear degenerate reaction-diffusion equation with application to climate science. After proving that the solution remains nonnegative at any time, when the initial state is nonnegative, we prove the approximate controllability between nonnegative states at any time via multiplicative controls, that is, using as control the reaction coefficient.


title: KryptoOracle: A Real-Time Cryptocurrency Price Prediction Platform Using Twitter Sentiments

abstract: Cryptocurrencies, such as Bitcoin, are becoming increasingly popular, having been widely used as an exchange medium in areas such as financial transaction and asset transfer verification. However, there has been a lack of solutions that can support real-time price prediction to cope with high currency volatility, handle massive heterogeneous data volumes, including social media sentiments, while supporting fault tolerance and persistence in real time, and provide real-time adaptation of learning algorithms to cope with new price and sentiment data. In this paper we introduce KryptoOracle, a novel real-time and adaptive cryptocurrency price prediction platform based on Twitter sentiments. The integrative and modular platform is based on (i) a Spark-based architecture which handles the large volume of incoming data in a persistent and fault tolerant way; (ii) an approach that supports sentiment analysis which can respond to large amounts of natural language processing queries in real time; and (iii) a predictive method grounded on online learning in which a model adapts its weights to cope with new prices and sentiments. Besides providing an architectural design, the paper also describes the KryptoOracle platform implementation and experimental evaluation. Overall, the proposed platform can help accelerate decision-making, uncover new opportunities and provide more timely insights based on the available and ever-larger financial data volume and variety.


title: Aspect Term Extraction using Graph-based Semi-Supervised Learning

abstract: Aspect based Sentiment Analysis is a major subarea of sentiment analysis. Many supervised and unsupervised approaches have been proposed in the past for detecting and analyzing the sentiment of aspect terms. In this paper, a graph-based semi-supervised learning approach for aspect term extraction is proposed. In this approach, every identified token in the review document is classified as aspect or non-aspect term from a small set of labeled tokens using label spreading algorithm. The k-Nearest Neighbor (kNN) for graph sparsification is employed in the proposed approach to make it more time and memory efficient. The proposed work is further extended to determine the polarity of the opinion words associated with the identified aspect terms in review sentence to generate visual aspect-based summary of review documents. The experimental study is conducted on benchmark and crawled datasets of restaurant and laptop domains with varying value of labeled instances. The results depict that the proposed approach could achieve good result in terms of Precision, Recall and Accuracy with limited availability of labeled data.


title: IoT Expunge: Implementing Verifiable Retention of IoT Data

abstract: The growing deployment of Internet of Things (IoT) systems aims to ease the daily life of end-users by providing several value-added services. However, IoT systems may capture and store sensitive, personal data about individuals in the cloud, thereby jeopardizing user-privacy. Emerging legislation, such as California's CalOPPA and GDPR in Europe, support strong privacy laws to protect an individual's data in the cloud. One such law relates to strict enforcement of data retention policies. This paper proposes a framework, entitled IoT Expunge that allows sensor data providers to store the data in cloud platforms that will ensure enforcement of retention policies. Additionally, the cloud provider produces verifiable proofs of its adherence to the retention policies. Experimental results on a real-world smart building testbed show that IoT Expunge imposes minimal overheads to the user to verify the data against data retention policies.


title: A Dataset Independent Set of Baselines for Relation Prediction in Argument Mining

abstract: Argument Mining is the research area which aims at extracting argument components and predicting argumentative relations (i.e.,support and attack) from text. In particular, numerous approaches have been proposed in the literature to predict the relations holding between the arguments, and application-specific annotated resources were built for this purpose. Despite the fact that these resources have been created to experiment on the same task, the definition of a single relation prediction method to be successfully applied to a significant portion of these datasets is an open research problem in Argument Mining. This means that none of the methods proposed in the literature can be easily ported from one resource to another. In this paper, we address this problem by proposing a set of dataset independent strong neural baselines which obtain homogeneous results on all the datasets proposed in the literature for the argumentative relation prediction task. Thus, our baselines can be employed by the Argument Mining community to compare more effectively how well a method performs on the argumentative relation prediction task.


title: Differentiability results and sensitivity calculation for optimal control of incompressible two-phase Navier-Stokes equations with surface tension

abstract: We analyze optimal control problems for two-phase Navier-Stokes equations with surface tension. Based on $L_p$-maximal regularity of the underlying linear problem and recent well-posedness results of the problem for sufficiently small data we show the differentiability of the solution with respect to initial and distributed controls for appropriate spaces resulting form the $L_p$-maximal regularity setting. We consider first a formulation where the interface is transformed to a hyperplane. Then we deduce differentiability results for the solution in the physical coordinates. Finally, we state an equivalent Volume-of-Fluid type formulation and use the obtained differentiability results to derive rigorosly the corresponding sensitivity equations of the Volume-of-Fluid type formulation. For objective functionals involving the velocity field or the discontinuous pressure or phase indciator field we derive differentiability results with respect to controls and state formulas for the derivative. The results of the paper form an analytical foundation for stating optimality conditions, justifying the application of derivative based optimization methods and for studying the convergence of discrete sensitivity schemes based on Volume-of-Fluid discretizations for optimal control of two-phase Navier-Stokes equations.


title: A Comparative Study of Sequence Classification Models for Privacy Policy Coverage Analysis

abstract: Privacy policies are legal documents that describe how a website will collect, use, and distribute a user's data. Unfortunately, such documents are often overly complicated and filled with legal jargon; making it difficult for users to fully grasp what exactly is being collected and why. Our solution to this problem is to provide users with a coverage analysis of a given website's privacy policy using a wide range of classical machine learning and deep learning techniques. Given a website's privacy policy, the classifier identifies the associated data practice for each logical segment. These data practices/labels are taken directly from the OPP-115 corpus. For example, the data practice "Data Retention" refers to how long a website stores a user's information. The coverage analysis allows users to determine how many of the ten possible data practices are covered, along with identifying the sections that correspond to the data practices of particular interest.


title: Localized Flood DetectionWith Minimal Labeled Social Media Data Using Transfer Learning

abstract: Social media generates an enormous amount of data on a daily basis but it is very challenging to effectively utilize the data without annotating or labeling it according to the target application. We investigate the problem of localized flood detection using the social sensing model (Twitter) in order to provide an efficient, reliable and accurate flood text classification model with minimal labeled data. This study is important since it can immensely help in providing the flood-related updates and notifications to the city officials for emergency decision making, rescue operations, and early warnings, etc. We propose to perform the text classification using the inductive transfer learning method i.e pre-trained language model ULMFiT and fine-tune it in order to effectively classify the flood-related feeds in any new location. Finally, we show that using very little new labeled data in the target domain we can successfully build an efficient and high performing model for flood detection and analysis with human-generated facts and observations from Twitter.


title: Transformer++

abstract: Recent advancements in attention mechanisms have replaced recurrent neural networks and its variants for machine translation tasks. Transformer using attention mechanism solely achieved state-of-the-art results in sequence modeling. Neural machine translation based on the attention mechanism is parallelizable and addresses the problem of handling long-range dependencies among words in sentences more effectively than recurrent neural networks. One of the key concepts in attention is to learn three matrices, query, key, and value, where global dependencies among words are learned through linearly projecting word embeddings through these matrices. Multiple query, key, value matrices can be learned simultaneously focusing on a different subspace of the embedded dimension, which is called multi-head in Transformer. We argue that certain dependencies among words could be learned better through an intermediate context than directly modeling word-word dependencies. This could happen due to the nature of certain dependencies or lack of patterns that lend them difficult to be modeled globally using multi-head self-attention. In this work, we propose a new way of learning dependencies through a context in multi-head using convolution. This new form of multi-head attention along with the traditional form achieves better results than Transformer on the WMT 2014 English-to-German and English-to-French translation tasks. We also introduce a framework to learn POS tagging and NER information during the training of encoder which further improves results achieving a new state-of-the-art of 32.1 BLEU, better than existing best by 1.4 BLEU, on the WMT 2014 English-to-German and 44.6 BLEU, better than existing best by 1.1 BLEU, on the WMT 2014 English-to-French translation tasks. We call this Transformer++.


title: A Computational Investigation on Denominalization

abstract: Language has been a dynamic system and word meanings always have been changed over times. Every time a novel concept or sense is introduced, we need to assign it a word to express it. Also, some changes have happened because the result of a change can be more desirable for humans, or cognitively easier to be used by humans. Finding the patterns of these changes is interesting and can reveal some facts about human cognitive evolution. As we have enough resources for studying this problem, it is a good idea to work on the problem through computational modeling, and that can make the work easier and possible to be studied on large scale. In this work, we want to study the nouns which have been used as verbs after some years of their emergence as nouns and find some commonalities among these nouns. In other words, we are interested in finding what potential requirements are essential for this change.


title: Mask & Focus: Conversation Modelling by Learning Concepts

abstract: Sequence to sequence models attempt to capture the correlation between all the words in the input and output sequences. While this is quite useful for machine translation where the correlation among the words is indeed quite strong, it becomes problematic for conversation modelling where the correlation is often at a much abstract level. In contrast, humans tend to focus on the essential concepts discussed in the conversation context and generate responses accordingly. In this paper, we attempt to mimic this response generating mechanism by learning the essential concepts in the context and response in an unsupervised manner. The proposed model, referred to as Mask \& Focus maps the input context to a sequence of concepts which are then used to generate the response concepts. Together, the context and the response concepts generate the final response. In order to learn context concepts from the training data automatically, we \emph{mask} words in the input and observe the effect of masking on response generation. We train our model to learn those response concepts that have high mutual information with respect to the context concepts, thereby guiding the model to \emph{focus} on the context concepts. Mask \& Focus achieves significant improvement over the existing baselines in several established metrics for dialogues.


title: Holomorphic curves and continuation maps in Liouville bundles

abstract: We construct an unwrapped Floer theory for bundles of Liouville sectors. In particular, we construct a compatible collection of unwrapped Fukaya categories of fibers of a Liouville bundle, and prove that the two natural constructions of continuation maps in this setting behave compatibly. These constructions are exploited in [OT19] to construct homotopically coherent actions of Lie groups on wrapped Fukaya categories, thereby proving a conjecture from Teleman's 2014 ICM address.


title: Fake News Detection with Different Models

abstract: This is a paper for exploring various different models aiming at developing fake news detection models and we had used certain machine learning algorithms and we had used pretrained algorithms such as TFIDF and CV and W2V as features for processing textual data.


title: On primitive formulation in fluid mechanics and fluid-structure interaction with constant piecewise properties in velocity-potentials of acceleration

abstract: Discrete mechanics makes it possible to formulate any problem of fluid mechanics or fluid-structure interaction in velocity and potentials of acceleration; the equation system consists of a single vector equation and potentials updates. The scalar potential of the acceleration represents the pressure stress and the vector potential is related to the rotational-shear stress. The formulation of the equation of motion can be expressed in the form of a splitting which leads to an exact projection method; the application of the divergence operator to the discrete motion equation exhibits, without any approximation, a Poisson equation with constant coefficients on the scalar potential whatever the variations of the physical properties of the media. The a posteriori calculation of the pressure is made explicitly by introducing at this stage the local density. Two first examples show the interest of the formulation presented on classical solutions of Navier-Stokes equations; similarly as other results obtained with this formulation, the convergence is of order two in space and time for all the quantities, velocity and potentials. This formulation is then applied to a two-phase flow driven by surface tension and partial wettability. The last case corresponds to a fluid-structure interaction problem for which an analytical solution exists.


title: Improving Reliability of Latent Dirichlet Allocation by Assessing Its Stability Using Clustering Techniques on Replicated Runs

abstract: For organizing large text corpora topic modeling provides useful tools. A widely used method is Latent Dirichlet Allocation (LDA), a generative probabilistic model which models single texts in a collection of texts as mixtures of latent topics. The assignments of words to topics rely on initial values such that generally the outcome of LDA is not fully reproducible. In addition, the reassignment via Gibbs Sampling is based on conditional distributions, leading to different results in replicated runs on the same text data. This fact is often neglected in everyday practice. We aim to improve the reliability of LDA results. Therefore, we study the stability of LDA by comparing assignments from replicated runs. We propose to quantify the similarity of two generated topics by a modified Jaccard coefficient. Using such similarities, topics can be clustered. A new pruning algorithm for hierarchical clustering results based on the idea that two LDA runs create pairs of similar topics is proposed. This approach leads to the new measure S-CLOP ({\bf S}imilarity of multiple sets by {\bf C}lustering with {\bf LO}cal {\bf P}runing) for quantifying the stability of LDA models. We discuss some characteristics of this measure and illustrate it with an application to real data consisting of newspaper articles from \textit{USA Today}. Our results show that the measure S-CLOP is useful for assessing the stability of LDA models or any other topic modeling procedure that characterize its topics by word distributions. Based on the newly proposed measure for LDA stability, we propose a method to increase the reliability and hence to improve the reproducibility of empirical findings based on topic modeling. This increase in reliability is obtained by running the LDA several times and taking as prototype the most representative run, that is the LDA run with highest average similarity to all other runs.


title: SAFE: Similarity-Aware Multi-Modal Fake News Detection

abstract: Effective detection of fake news has recently attracted significant attention. Current studies have made significant contributions to predicting fake news with less focus on exploiting the relationship (similarity) between the textual and visual information in news articles. Attaching importance to such similarity helps identify fake news stories that, for example, attempt to use irrelevant images to attract readers' attention. In this work, we propose a $\mathsf{S}$imilarity-$\mathsf{A}$ware $\mathsf{F}$ak$\mathsf{E}$ news detection method ($\mathsf{SAFE}$) which investigates multi-modal (textual and visual) information of news articles. First, neural networks are adopted to separately extract textual and visual features for news representation. We further investigate the relationship between the extracted features across modalities. Such representations of news textual and visual information along with their relationship are jointly learned and used to predict fake news. The proposed method facilitates recognizing the falsity of news articles based on their text, images, or their "mismatches." We conduct extensive experiments on large-scale real-world data, which demonstrate the effectiveness of the proposed method.


title: On a hyper-singular equation

abstract: The equation $v=v_0+\int_0^t(t-s)^{\lambda -1}v(s)ds$ is considered, $\lambda\neq 0,-1,-2...$ and $v_0$ is a smooth function rapidly decaying with all its derivatives. It is proved that the solution to this equation does exist, is unique and is smoother than the singular function $t^{-\frac 5 4}$.


title: Understanding the Downstream Instability of Word Embeddings

abstract: Many industrial machine learning (ML) systems require frequent retraining to keep up-to-date with constantly changing data. This retraining exacerbates a large challenge facing ML systems today: model training is unstable, i.e., small changes in training data can cause significant changes in the model's predictions. In this paper, we work on developing a deeper understanding of this instability, with a focus on how a core building block of modern natural language processing (NLP) pipelines---pre-trained word embeddings---affects the instability of downstream NLP models. We first empirically reveal a tradeoff between stability and memory: increasing the embedding memory 2x can reduce the disagreement in predictions due to small changes in training data by 5% to 37% (relative). To theoretically explain this tradeoff, we introduce a new measure of embedding instability---the eigenspace instability measure---which we prove bounds the disagreement in downstream predictions introduced by the change in word embeddings. Practically, we show that the eigenspace instability measure can be a cost-effective way to choose embedding parameters to minimize instability without training downstream models, outperforming other embedding distance measures and performing competitively with a nearest neighbor-based measure. Finally, we demonstrate that the observed stability-memory tradeoffs extend to other types of embeddings as well, including knowledge graph and contextual word embeddings.


title: Securing of Unmanned Aerial Systems (UAS) against security threats using human immune system

abstract: UASs form a large part of the fighting ability of the advanced military forces. In particular, these systems that carry confidential information are subject to security attacks. Accordingly, an Intrusion Detection System (IDS) has been proposed in the proposed design to protect against the security problems using the human immune system (HIS). The IDSs are used to detect and respond to attempts to compromise the target system. Since the UASs operate in the real world, the testing and validation of these systems with a variety of sensors is confronted with problems. This design is inspired by HIS. In the mapping, insecure signals are equivalent to an antigen that are detected by antibody-based training patterns and removed from the operation cycle. Among the main uses of the proposed design are the quick detection of intrusive signals and quarantining their activity. Moreover, SUAS-HIS method is evaluated here via extensive simulations carried out in NS-3 environment. The simulation results indicate that the UAS network performance metrics are improved in terms of false positive rate, false negative rate, detection rate, and packet delivery rate.


title: Adv-BERT: BERT is not robust on misspellings! Generating nature adversarial samples on BERT

abstract: There is an increasing amount of literature that claims the brittleness of deep neural networks in dealing with adversarial examples that are created maliciously. It is unclear, however, how the models will perform in realistic scenarios where \textit{natural rather than malicious} adversarial instances often exist. This work systematically explores the robustness of BERT, the state-of-the-art Transformer-style model in NLP, in dealing with noisy data, particularly mistakes in typing the keyboard, that occur inadvertently. Intensive experiments on sentiment analysis and question answering benchmarks indicate that: (i) Typos in various words of a sentence do not influence equally. The typos in informative words make severer damages; (ii) Mistype is the most damaging factor, compared with inserting, deleting, etc.; (iii) Humans and machines have different focuses on recognizing adversarial attacks.


title: Investigating an approach for low resource language dataset creation, curation and classification: Setswana and Sepedi

abstract: The recent advances in Natural Language Processing have been a boon for well-represented languages in terms of available curated data and research resources. One of the challenges for low-resourced languages is clear guidelines on the collection, curation and preparation of datasets for different use-cases. In this work, we take on the task of creation of two datasets that are focused on news headlines (i.e short text) for Setswana and Sepedi and creation of a news topic classification task. We document our work and also present baselines for classification. We investigate an approach on data augmentation, better suited to low resource languages, to improve the performance of the classifiers


title: A Financial Service Chatbot based on Deep Bidirectional Transformers

abstract: We develop a chatbot using Deep Bidirectional Transformer models (BERT) to handle client questions in financial investment customer service. The bot can recognize 381 intents, and decides when to say "I don't know" and escalates irrelevant/uncertain questions to human operators. Our main novel contribution is the discussion about uncertainty measure for BERT, where three different approaches are systematically compared on real problems. We investigated two uncertainty metrics, information entropy and variance of dropout sampling in BERT, followed by mixed-integer programming to optimize decision thresholds. Another novel contribution is the usage of BERT as a language model in automatic spelling correction. Inputs with accidental spelling errors can significantly decrease intent classification performance. The proposed approach combines probabilities from masked language model and word edit distances to find the best corrections for misspelled words. The chatbot and the entire conversational AI system are developed using open-source tools, and deployed within our company's intranet. The proposed approach can be useful for industries seeking similar in-house solutions in their specific business domains. We share all our code and a sample chatbot built on a public dataset on Github.


title: ScopeIt: Scoping Task Relevant Sentences in Documents

abstract: Intelligent assistants like Cortana, Siri, Alexa, and Google Assistant are trained to parse information when the conversation is synchronous and short; however, for email-based conversational agents, the communication is asynchronous, and often contains information irrelevant to the assistant. This makes it harder for the system to accurately detect intents, extract entities relevant to those intents and thereby perform the desired action. We present a neural model for scoping relevant information for the agent from a large query. We show that when used as a preprocessing step, the model improves performance of both intent detection and entity extraction tasks. We demonstrate the model's impact on Scheduler (Cortana is the persona of the agent, while Scheduler is the name of the service. We use them interchangeably in the context of this paper.) - a virtual conversational meeting scheduling assistant that interacts asynchronously with users through email. The model helps the entity extraction and intent detection tasks requisite by Scheduler achieve an average gain of 35% in precision without any drop in recall. Additionally, we demonstrate that the same approach can be used for component level analysis in large documents, such as signature block identification.


title: Computed Tomography Reconstruction Using Deep Image Prior and Learned Reconstruction Methods

abstract: In this work, we investigate the application of deep learning methods for computed tomography in the context of having a low-data regime. As motivation, we review some of the existing approaches and obtain quantitative results after training them with different amounts of data. We find that the learned primal-dual has an outstanding performance in terms of reconstruction quality and data efficiency. However, in general, end-to-end learned methods have two issues: a) lack of classical guarantees in inverse problems and b) lack of generalization when not trained with enough data. To overcome these issues, we bring in the deep image prior approach in combination with classical regularization. The proposed methods improve the state-of-the-art results in the low data-regime.


title: Hat Guessing Numbers of Degenerate Graphs

abstract: Recently, Farnik asked whether the hat guessing number $\text{HG}(G)$ of a graph $G$ could be bounded as a function of its degeneracy $d$, and Bosek, Dudek, Farnik, Grytczuk and Mazur showed that $\text{HG}(G)\ge 2^d$ is possible. We show that for all $d\ge 1$ there exists a $d$-degenerate graph $G$ for which $\text{HG}(G) \ge 2^{2^{d-1}}$. We also give a new general method for obtaining upper bounds on $\text{HG}(G)$. The question of whether $\text{HG}(G)$ is bounded as a function of $d$ remains open.


title: Unsupervised and Interpretable Domain Adaptation to Rapidly Filter Tweets for Emergency Services

abstract: During the onset of a disaster event, filtering relevant information from the social web data is challenging due to its sparse availability and practical limitations in labeling datasets of an ongoing crisis. In this paper, we hypothesize that unsupervised domain adaptation through multi-task learning can be a useful framework to leverage data from past crisis events for training efficient information filtering models during the sudden onset of a new crisis. We present a novel method to classify relevant tweets during an ongoing crisis without seeing any new examples, using the publicly available dataset of TREC incident streams. Specifically, we construct a customized multi-task architecture with a multi-domain discriminator for crisis analytics: multi-task domain adversarial attention network. This model consists of dedicated attention layers for each task to provide model interpretability; critical for real-word applications. As deep networks struggle with sparse datasets, we show that this can be improved by sharing a base layer for multi-task learning and domain adversarial training. Evaluation of domain adaptation for crisis events is performed by choosing a target event as the test set and training on the rest. Our results show that the multi-task model outperformed its single task counterpart. For the qualitative evaluation of interpretability, we show that the attention layer can be used as a guide to explain the model predictions and empower emergency services for exploring accountability of the model, by showcasing the words in a tweet that are deemed important in the classification process. Finally, we show a practical implication of our work by providing a use-case for the COVID-19 pandemic.


title: Multi-task Learning with Multi-head Attention for Multi-choice Reading Comprehension

abstract: Multiple-choice Machine Reading Comprehension (MRC) is an important and challenging Natural Language Understanding (NLU) task, in which a machine must choose the answer to a question from a set of choices, with the question placed in context of text passages or dialog. In the last a couple of years the NLU field has been revolutionized with the advent of models based on the Transformer architecture, which are pretrained on massive amounts of unsupervised data and then fine-tuned for various supervised learning NLU tasks. Transformer models have come to dominate a wide variety of leader-boards in the NLU field; in the area of MRC, the current state-of-the-art model on the DREAM dataset (see[Sunet al., 2019]) fine tunes Albert, a large pretrained Transformer-based model, and addition-ally combines it with an extra layer of multi-head attention between context and question-answer[Zhuet al., 2020].The purpose of this note is to document a new state-of-the-art result in the DREAM task, which is accomplished by, additionally, performing multi-task learning on two MRC multi-choice reading comprehension tasks (RACE and DREAM).


title: Learning to mirror speaking styles incrementally

abstract: Mirroring is the behavior in which one person subconsciously imitates the gesture, speech pattern, or attitude of another. In conversations, mirroring often signals the speakers enjoyment and engagement in their communication. In chatbots, methods have been proposed to add personas to the chatbots and to train them to speak or to shift their dialogue style to that of the personas. However, they often require a large dataset consisting of dialogues of the target personalities to train. In this work, we explore a method that can learn to mirror the speaking styles of a person incrementally. Our method extracts ngrams that capture a persons speaking styles and uses the ngrams to create patterns for transforming sentences to the persons speaking styles. Our experiments show that our method is able to capture patterns of speaking style that can be used to transform regular sentences into sentences with the target style.


title: Masking Orchestration: Multi-task Pretraining for Multi-role Dialogue Representation Learning

abstract: Multi-role dialogue understanding comprises a wide range of diverse tasks such as question answering, act classification, dialogue summarization etc. While dialogue corpora are abundantly available, labeled data, for specific learning tasks, can be highly scarce and expensive. In this work, we investigate dialogue context representation learning with various types unsupervised pretraining tasks where the training objectives are given naturally according to the nature of the utterance and the structure of the multi-role conversation. Meanwhile, in order to locate essential information for dialogue summarization/extraction, the pretraining process enables external knowledge integration. The proposed fine-tuned pretraining mechanism is comprehensively evaluated via three different dialogue datasets along with a number of downstream dialogue-mining tasks. Result shows that the proposed pretraining mechanism significantly contributes to all the downstream tasks without discrimination to different encoders.


title: The Discrete-Time Facilitated Totally Asymmetric Simple Exclusion Process

abstract: We describe the translation invariant stationary states of the one dimensional discrete-time facilitated totally asymmetric simple exclusion process (F-TASEP). In this system a particle at site $j$ in $Z$ jumps, at integer times, to site $j+1$, provided site $j-1$ is occupied and site $j+1$ is empty. This defines a deterministic noninvertible dynamical evolution from any specified initial configuration on $\{0,1\}^{Z}$. When started with a Bernoulli product measure at density $\rho$ the system approaches a stationary state, with phase transitions at $\rho=1/2$ and $\rho=2/3$. We discuss various properties of these states in the different density regimes $0<\rho<1/2$, $1/2<\rho<2/3$, and $2/3<\rho<1$; for example, we show that the pair correlation $g(j)=\langle\eta(i)\eta(i+j)\rangle$ satisfies, for all $n\in Z$, $\sum_{j=kn+1}^{k(n+1)}g(j)=k\rho^2$, with $k=2$ when $0 \le \rho \le 1/2$ and $k=3$ when $2/3 \le \rho \le 1$, and conjecture (on the basis of simulations) that the same identity holds with $k=6$ when $1/2 \le \rho \le 2/3$. The $\rho<1/2$ stationary state referred to above is also the stationary state for the deterministic discrete-time TASEP at density $\rho$ (with Bernoulli initial state) or, after exchange of particles and holes, at density $1-\rho$.


title: GASP! Generating Abstracts of Scientific Papers from Abstracts of Cited Papers

abstract: Creativity is one of the driving forces of human kind as it allows to break current understanding to envision new ideas, which may revolutionize entire fields of knowledge. Scientific research offers a challenging environment where to learn a model for the creative process. In fact, scientific research is a creative act in the formal settings of the scientific method and this creative act is described in articles. In this paper, we dare to introduce the novel, scientifically and philosophically challenging task of Generating Abstracts of Scientific Papers from abstracts of cited papers (GASP) as a text-to-text task to investigate scientific creativity, To foster research in this novel, challenging task, we prepared a dataset by using services where that solve the problem of copyright and, hence, the dataset is public available with its standard split. Finally, we experimented with two vanilla summarization systems to start the analysis of the complexity of the GASP task.


title: Voter Verification of BMD Ballots Is a Two-Part Question: Can They? Mostly, They Can. Do They? Mostly, They Don't

abstract: The question of whether or not voters actually verify ballots produced by ballot marking devices (BMDs) is presently the subject of some controversy. Recent studies (e.g., Bernhard, et al. 2020) suggest the verification rate is low. What is not clear from previous research is whether this is more a result of voters being unable to do so accurately or whether this is because voters simply choose not to attempt verification in the first place. In order to understand this problem, we conducted an experiment in which 108 participants participated in a mock election where the BMD displayed the voters' true choices, but then changed a subset of those choices on the printed ballot. The design of the printed ballot, the length of the ballot, the number of changes that were made to the ballot, the location of those changes, and the instructions provided to the voters were manipulated as part of the experiment. Results indicated that of those voters who chose to examine the printed ballot, 76% detected anomalies, indicating that voters can reliably detect errors on their ballot if they will simply review it. This suggests that administrative remedies, rather than attempts to alter fundamental human perceptual capabilities, could be employed to encourage voters to check their ballots, which could prove as an effective countermeasure.


title: Toward Interpretability of Dual-Encoder Models for Dialogue Response Suggestions

abstract: This work shows how to improve and interpret the commonly used dual encoder model for response suggestion in dialogue. We present an attentive dual encoder model that includes an attention mechanism on top of the extracted word-level features from two encoders, one for context and one for label respectively. To improve the interpretability in the dual encoder models, we design a novel regularization loss to minimize the mutual information between unimportant words and desired labels, in addition to the original attention method, so that important words are emphasized while unimportant words are de-emphasized. This can help not only with model interpretability, but can also further improve model accuracy. We propose an approximation method that uses a neural network to calculate the mutual information. Furthermore, by adding a residual layer between raw word embeddings and the final encoded context feature, word-level interpretability is preserved at the final prediction of the model. We compare the proposed model with existing methods for the dialogue response task on two public datasets (Persona and Ubuntu). The experiments demonstrate the effectiveness of the proposed model in terms of better Recall@1 accuracy and visualized interpretability.


title: The Cauchy problem for a semilinear ordinary differential equation in the homogeneous and isotropic spacetime

abstract: A semilinear ordinary differential equation is derived from a semilinear Schr\"odinger equation in the homogeneous and isotropic spacetime by the Ehrenfest theorem. The Cauchy problem for the equation is considered. Exact solutions and nonexistence of global weak solutions of the equation are also considered in the de Sitter spacetime. The effects of spatial expansion and contraction are studied.


title: PAS: Prediction-based Adaptive Sleeping for Environment Monitoring in Sensor Networks

abstract: Energy efficiency has proven to be an important factor dominating the working period of WSN surveillance systems. Intensive studies have been done to provide energy efficient power management mechanisms. In this paper, we present PAS, a Prediction-based Adaptive Sleeping mechanism for environment monitoring sensor networks to conserve energy. PAS focuses on the diffusion stimulus (DS) scenario, which is very common and important in the application of environment monitoring. Different with most of previous works, PAS explores the features of DS spreading process to obtain higher energy efficiency. In PAS, sensors determine their sleeping schedules based on the observed emergency of DS spreading. While sensors near the DS boundary stay awake to accurately capture the possible stimulus arrival, the far away sensors turn into sleeping mode to conserve energy. Simulation experiment shows that PAS largely reduces the energy cost without decreasing system performance


title: A Hierarchical Semantic Overlay for P2P Search

abstract: In this paper, we propose a hierarchical semantic overlay network for searching heterogeneous data over wide-area networks. In this system, data are represented as RDF triples based on ontologies. Peers that have the same semantics are organized into a semantic cluster, and the semantic clusters are self-organized into a one-dimensional ring space to form the toplevel semantic overlay network. Each semantic cluster has its low-level overlay network which can be built using an unstructured overlay or a DHT-based overlay. A search is first forwarded to the appropriate semantic cluster, and then routed to the specific peers that hold the relevant data using a parallel flooding algorithm or a DHT-based routing algorithm. By combining the advantages of both unstructured and structured overlay networks, we are able to achieve a better tradeoff in terms of search efficiency, search cost and overlay maintenance cost.


title: TyDi QA: A Benchmark for Information-Seeking Question Answering in Typologically Diverse Languages

abstract: Confidently making progress on multilingual modeling requires challenging, trustworthy evaluations. We present TyDi QA---a question answering dataset covering 11 typologically diverse languages with 204K question-answer pairs. The languages of TyDi QA are diverse with regard to their typology---the set of linguistic features each language expresses---such that we expect models performing well on this set to generalize across a large number of the world's languages. We present a quantitative analysis of the data quality and example-level qualitative linguistic analyses of observed language phenomena that would not be found in English-only corpora. To provide a realistic information-seeking task and avoid priming effects, questions are written by people who want to know the answer, but don't know the answer yet, and the data is collected directly in each language without the use of translation.


title: Impact of Temperature and Relative Humidity on the Transmission of COVID-19: A Modeling Study in China and the United States

abstract: Objectives: We aim to assess the impact of temperature and relative humidity on the transmission of COVID-19 across communities after accounting for community-level factors such as demographics, socioeconomic status, and human mobility status. Design: A retrospective cross-sectional regression analysis via the Fama-MacBeth procedure is adopted. Setting: We use the data for COVID-19 daily symptom-onset cases for 100 Chinese cities and COVID-19 daily confirmed cases for 1,005 U.S. counties. Participants: A total of 69,498 cases in China and 740,843 cases in the U.S. are used for calculating the effective reproductive numbers. Primary outcome measures: Regression analysis of the impact of temperature and relative humidity on the effective reproductive number (R value). Results: Statistically significant negative correlations are found between temperature/relative humidity and the effective reproductive number (R value) in both China and the U.S. Conclusions: Higher temperature and higher relative humidity potentially suppress the transmission of COVID-19. Specifically, an increase in temperature by 1 degree Celsius is associated with a reduction in the R value of COVID-19 by 0.026 (95% CI [-0.0395,-0.0125]) in China and by 0.020 (95% CI [-0.0311, -0.0096]) in the U.S.; an increase in relative humidity by 1% is associated with a reduction in the R value by 0.0076 (95% CI [-0.0108,-0.0045]) in China and by 0.0080 (95% CI [-0.0150,-0.0010]) in the U.S. Therefore, the potential impact of temperature/relative humidity on the effective reproductive number alone is not strong enough to stop the pandemic.


title: The COVID-19 Social Media Infodemic

abstract: We address the diffusion of information about the COVID-19 with a massive data analysis on Twitter, Instagram, YouTube, Reddit and Gab. We analyze engagement and interest in the COVID-19 topic and provide a differential assessment on the evolution of the discourse on a global scale for each platform and their users. We fit information spreading with epidemic models characterizing the basic reproduction numbers $R_0$ for each social media platform. Moreover, we characterize information spreading from questionable sources, finding different volumes of misinformation in each platform. However, information from both reliable and questionable sources do not present different spreading patterns. Finally, we provide platform-dependent numerical estimates of rumors' amplification.


title: Using an ensemble color space model to tackle adversarial examples

abstract: Minute pixel changes in an image drastically change the prediction that the deep learning model makes. One of the most significant problems that could arise due to this, for instance, is autonomous driving. Many methods have been proposed to combat this with varying amounts of success. We propose a 3 step method for defending such attacks. First, we denoise the image using statistical methods. Second, we show that adopting multiple color spaces in the same model can help us to fight these adversarial attacks further as each color space detects certain features explicit to itself. Finally, the feature maps generated are enlarged and sent back as an input to obtain even smaller features. We show that the proposed model does not need to be trained to defend an particular type of attack and is inherently more robust to black-box, white-box, and grey-box adversarial attack techniques. In particular, the model is 56.12 percent more robust than compared models in case of white box attacks when the models are not subject to adversarial example training.


title: Estimation and Inference of Time-Varying Auto-Covariance under Complex Trend: A Difference-based Approach

abstract: We propose a difference-based nonparametric methodology for the estimation and inference of the time-varying auto-covariance functions of a locally stationary time series when it is contaminated by a complex trend with both abrupt and smooth changes. Simultaneous confidence bands (SCB) with asymptotically correct coverage probabilities are constructed for the auto-covariance functions under complex trend. A simulation-assisted bootstrapping method is proposed for the practical construction of the SCB. Detailed simulation and a real data example round out our presentation.


title: Subsecond Spikes in Fermi GBM X-ray Flux as a Probe for Solar Flare Particle Acceleration

abstract: Solar flares are known to release a large amount of energy into accelerating electrons. Studying small timescale ($\leq$ 2s) fluctuations in nonthermal X-ray flux offers the opportunity to probe the nature of those acceleration mechanisms. By comparing the durations, differences in timing between energy bands, and the periodicity of these spikes against the relevant timescales called for by various acceleration mechanisms, a test for each mechanism's validity can be made. This work details the analysis of fast fluctuations in Fermi Gamma-ray Burst Monitor (Fermi GBM) data from 2 M9.3 class solar flares that occurred on SOL2011-07-30 and SOL2011-08-04. This study shows the usefulness of Fermi GBM data as a means of examining these small timescale spikes and presents a rigorous method of identifying, counting, and measuring the temporal properties of these subsecond X-ray spikes. In the 2 flares examined we found spikes to primarily occur in spans of 60-100 seconds in the impulsive phase. The relative spike intensity ranged from 5% to 46% of the total counts, depending on the energy band the spike was measured in. The average spike durations were 0.96 and 0.66 seconds and the median durations were 0.79 and 0.32 seconds for the 2 flares. The spike duration distribution for the SOL2011-08-04 flare was found to follow a power law with a -1.8 $\pm$ 0.5 index. Of the 3 spiking intervals identified, only 1 was found to have a periodicity, showing significant power at the 1.7 $\pm$ 0.1 Hz frequency.


title: Investigating entanglement entropy at small-x in DIS off protons and nuclei

abstract: In this work we analyse the entanglement entropy in deep inelastic scattering off protons and nuclei. It is computed based on the formalism where the partonic state at small-x is maximally entangled with proton being constituted by large number of microstates occuring with equal probabilities. We consider analytical expressions for the number of gluons, N_{gluon}, obtained from gluon saturation models for the dipole-target amplitudes within the QCD color dipole picture. In particular, the nuclear entanglement entropy per nucleon is studied. We also study the underlying uncertainties on these calculations and compare the results to similar investigations in literature.


title: Two continua of embedded regenerative sets

abstract: Given a two-sided real-valued L\'evy process $(X_t)_{t \in \mathbb{R}}$, define processes $(L_t)_{t \in \mathbb{R}}$ and $(M_t)_{t \in \mathbb{R}}$ by $L_t := \sup\{h \in \mathbb{R} : h - \alpha(t-s) \le X_s \text{ for all } s \le t\} = \inf\{X_s + \alpha(t-s) : s \le t\}$, $t \in \mathbb{R}$, and $M_t := \sup \{ h \in \mathbb{R} : h - \alpha|t-s| \leq X_s \text{ for all } s \in \mathbb{R} \} = \inf \{X_s + \alpha |t-s| : s \in \mathbb{R}\}$, $t \in \mathbb{R}$. The corresponding contact sets are the random sets $\mathcal{H}_\alpha := \{ t \in \mathbb{R} : X_{t}\wedge X_{t-} = L_t\}$ and $\mathcal{Z}_\alpha := \{ t \in \mathbb{R} : X_{t}\wedge X_{t-} = M_t\}$. For a fixed $\alpha>\mathbb{E}[X_1]$ (resp. $\alpha>|\mathbb{E}[X_1]|$) the set $\mathcal{H}_\alpha$ (resp. $\mathcal{Z}_\alpha$) is non-empty, closed, unbounded above and below, stationary, and regenerative. The collections $(\mathcal{H}_{\alpha})_{\alpha > \mathbb{E}[X_1]}$ and $(\mathcal{Z}_{\alpha})_{\alpha > |\mathbb{E}[X_1]|}$ are increasing in $\alpha$ and the regeneration property is compatible with these inclusions in that each family is a continuum of embedded regenerative sets in the sense of Bertoin. We show that $(\sup\{t < 0 : t \in \mathcal{H}_\alpha\})_{\alpha > \mathbb{E}[X_1]}$ is a c\`adl\`ag, nondecreasing, pure jump process with independent increments and determine the intensity measure of the associated Poisson process of jumps. We obtain a similar result for $(\sup\{t < 0 : t \in \mathcal{Z}_\alpha\})_{\alpha > |\beta|}$ when $(X_t)_{t \in \mathbb{R}}$ is a (two-sided) Brownian motion with drift $\beta$.


title: Collision between Molecular Clouds I. The effect of the cloud virial ratio in head-on collisions

abstract: In a series of papers we investigate the effect of collisions between turbulent molecular clouds on their structure, evolution and star formation activity. In this paper we look into the role of the clouds' initial virial ratios. Three different scenarios were examined: both clouds initially bound, one cloud bound and one unbound, and both clouds initially unbound. Models in which one or both clouds are bound generate filamentary structures aligned along the collision axis and discernible in position-position and position--velocity space. If neither cloud is bound, no filaments result. Unlike in previous simulations of collisions between smooth clouds, owing to the substructure created in the clouds by turbulence before the collisions, dissipation of kinetic energy by the collision is very inefficient and in none of our simulations is sufficient bulk kinetic energy lost to render the clouds bound. Simulations where both clouds are bound created twice as much stellar mass than the bound-unbound model, and both these scenarios produced much more stellar mass than the simulation in which both clouds are unbound. Each simulation was also compared with a control run in which the clouds do not collide. We find the bound-bound collision increases the overall star formation efficiency by a factor of approximately two relative to the control, but that the bound-unbound collision produces a much smaller increase, and the collision has very little effect on the unbound--unbound cloud collision.


title: Sharp well-posedness for the cubic NLS and mKdV in $H^s(\mathbb R)$

abstract: We prove that the cubic nonlinear Schr\"odinger equation (both focusing and defocusing) is globally well-posed in $H^s(\mathbb R)$ for any regularity $s>-\frac12$. Well-posedness has long been known for $s\geq 0$, see [55], but not previously for any $s<0$. The scaling-critical value $s=-\frac12$ is necessarily excluded here, since instantaneous norm inflation is known to occur [11, 40, 48]. We also prove (in a parallel fashion) well-posedness of the real- and complex-valued modified Korteweg-de Vries equations in $H^s(\mathbb R)$ for any $s>-\frac12$. The best regularity achieved previously was $s\geq \frac14$; see [15, 24, 33, 39]. To overcome the failure of uniform continuity of the data-to-solution map, we employ the method of commuting flows introduced in [37]. In stark contrast with our arguments in [37], an essential ingredient in this paper is the demonstration of a local smoothing effect for both equations. Despite the non-perturbative nature of the well-posedness, the gain of derivatives matches that of the underlying linear equation. To compensate for the local nature of the smoothing estimates, we also demonstrate tightness of orbits. The proofs of both local smoothing and tightness rely on our discovery of a new one-parameter family of coercive microscopic conservation laws that remain meaningful at this low regularity.


title: Retrospective Analysis of the 2019 MineRL Competition on Sample Efficient Reinforcement Learning

abstract: To facilitate research in the direction of sample efficient reinforcement learning, we held the MineRL Competition on Sample Efficient Reinforcement Learning Using Human Priors at the Thirty-third Conference on Neural Information Processing Systems (NeurIPS 2019). The primary goal of this competition was to promote the development of algorithms that use human demonstrations alongside reinforcement learning to reduce the number of samples needed to solve complex, hierarchical, and sparse environments. We describe the competition, outlining the primary challenge, the competition design, and the resources that we provided to the participants. We provide an overview of the top solutions, each of which use deep reinforcement learning and/or imitation learning. We also discuss the impact of our organizational decisions on the competition and future directions for improvement.