title: Modelling and Simulating the Noisy Behaviour of Near-term Quantum Computers

abstract: Noise dominates every aspect of near-term quantum computers, rendering it exceedingly difficult to carry out even small computations. In this paper we are concerned with the modelling of noise in Noisy Intermediate-Scale Quantum (NISQ) computers. We focus on three error groups that represent the main sources of noise during a computation and present quantum channels that model each source. We engineer a noise model that combines all three noise channels and simulates the evolution of the quantum computer using its calibrated error rates. We run various experiments of our model, showcasing its behaviour compared to other noise models and an IBM quantum computer. We find that our model provides a better approximation of the quantum computer's behaviour than the other models. Following this, we use a genetic algorithm to optimize the parameters used by our noise model, bringing the behaviour of the model even closer to the quantum computer. Finally, a comparison between the pre and postoptimization parameters reveals that, according to our model, certain operations can be more or less erroneous than the hardware-calibrated parameters show.


title: Liquidity Stress Testing in Asset Management -- Part 1. Modeling the Liability Liquidity Risk

abstract: This article is part of a comprehensive research project on liquidity risk in asset management, which can be divided into three dimensions. The first dimension covers liability liquidity risk (or funding liquidity) modeling, the second dimension focuses on asset liquidity risk (or market liquidity) modeling, and the third dimension considers asset-liability liquidity risk management (or asset-liability matching). The purpose of this research is to propose a methodological and practical framework in order to perform liquidity stress testing programs, which comply with regulatory guidelines (ESMA, 2019) and are useful for fund managers. The review of the academic literature and professional research studies shows that there is a lack of standardized and analytical models. The aim of this research project is then to fill the gap with the goal to develop mathematical and statistical approaches, and provide appropriate answers. In this first part that focuses on liability liquidity risk modeling, we propose several statistical models for estimating redemption shocks. The historical approach must be complemented by an analytical approach based on zero-inflated models if we want to understand the true parameters that influence the redemption shocks. Moreover, we must also distinguish aggregate population models and individual-based models if we want to develop behavioral approaches. Once these different statistical models are calibrated, the second big issue is the risk measure to assess normal and stressed redemption shocks. Finally, the last issue is to develop a factor model that can translate stress scenarios on market risk factors into stress scenarios on fund liabilities.


title: Turbulence suppression by streamwise-varying wall rotation in pipe flow

abstract: Direct numerical simulations (DNSs) of turbulent pipe flow subjected to streamwise-varying wall rotation are performed. This control method is able to achieve drag reduction and even relaminarize the flow under certain control parameters at low Reynolds number. Two control parameters, which are velocity amplitude and wavelength, are considered. An annular boundary layer, called Spatial Stokes Layer (SSL), is formed by the wall rotation. Based on the thickness of SSL, two types of drag reduction scenarios are identified. When the thickness is low, the SSL acts as a spacer layer, obstructing the impact of fluids against the wall and hence reducing the shear stress. The flow structures in the outer layer are less affected and are stretched in streamwise direction due to the increased velocity gradient. Within the SSL, the turbulence intensity diminishes dramatically. When the thickness is large, a streamwise wavy pattern of near-wall low-speed streaks is formed. The orientation of streaks is found to lag behind the direction of local mean velocity in phase and conform to the direction of local resultant shear stress. The streamwise scale of near-wall flow structures is significantly reduced, resulting in the disruption of downstream development of flow structures and hence leading to the drag reduction. Besides, it is found that it requires both large enough thickness of SSL and velocity amplitude to relaminarize the turbulence. The relaminarization mechanism is that the annular SSL can continuously absorb energy from wall-normal stress due to the rotation effect, thereby the turbulence self-sustaining process could not be maintained. For the relaminarization cases, the laminar state is stable to even extremely large perturbations, which possibly makes laminar state the only fixed point for the whole system.


title: Bayesian inference of 1D activity profiles from segmented gamma scanning of a heterogeneous radioactive waste drum

abstract: We present a Bayesian approach to probabilistically infer vertical activity profiles within a radioactive waste drum from segmented gamma scanning (SGS) measurements. Our approach resorts to Markov chain Monte Carlo (MCMC) sampling using the state-of-the-art Hamiltonian Monte Carlo (HMC) technique and accounts for two important sources of uncertainty: the measurement uncertainty and the uncertainty in the source distribution within the drum. In addition, our efficiency model simulates the contributions of all considered segments to each count measurement. Our approach is first demonstrated with a synthetic example, after which it is used to resolve the vertical activity distribution of 5 nuclides in a real waste package.


title: The Interplay of Demographic Variables and Social Distancing Scores in Deep Prediction of U.S. COVID-19 Cases

abstract: With the severity of the COVID-19 outbreak, we characterize the nature of the growth trajectories of counties in the United States using a novel combination of spectral clustering and the correlation matrix. As the U.S. and the rest of the world are experiencing a severe second wave of infections, the importance of assigning growth membership to counties and understanding the determinants of the growth are increasingly evident. Subsequently, we select the demographic features that are most statistically significant in distinguishing the communities. Lastly, we effectively predict the future growth of a given county with an LSTM using three social distancing scores. This comprehensive study captures the nature of counties' growth in cases at a very micro-level using growth communities, demographic factors, and social distancing performance to help government agencies utilize known information to make appropriate decisions regarding which potential counties to target resources and funding to.

categories: cs.SI cs.LG physics.soc-ph stat.AP stat.ML


title: Chiral Soliton Models and Nucleon Structure Functions

abstract: We outline and review the computations of polarized and unpolarized nucleon structure functions within the bosonized Nambu-Jona-Lasinio chiral soliton model. We focus on a consistent regularization prescription for the Dirac sea contribution and present numerical results from that formulation. We also reflect on previous calculations on quark distributions in chiral quark soliton models and attempt to put them into perspective.


title: Adversarial Robustness by Design through Analog Computing and Synthetic Gradients

abstract: We propose a new defense mechanism against adversarial attacks inspired by an optical co-processor, providing robustness without compromising natural accuracy in both white-box and black-box settings. This hardware co-processor performs a nonlinear fixed random transformation, where the parameters are unknown and impossible to retrieve with sufficient precision for large enough dimensions. In the white-box setting, our defense works by obfuscating the parameters of the random projection. Unlike other defenses relying on obfuscated gradients, we find we are unable to build a reliable backward differentiable approximation for obfuscated parameters. Moreover, while our model reaches a good natural accuracy with a hybrid backpropagation - synthetic gradient method, the same approach is suboptimal if employed to generate adversarial examples. We find the combination of a random projection and binarization in the optical system also improves robustness against various types of black-box attacks. Finally, our hybrid training method builds robust features against transfer attacks. We demonstrate our approach on a VGG-like architecture, placing the defense on top of the convolutional features, on CIFAR-10 and CIFAR-100. Code is available at https://github.com/lightonai/adversarial-robustness-by-design.


title: Eigenvalues of the truncated Helmholtz solution operator under strong trapping

abstract: For the Helmholtz equation posed in the exterior of a Dirichlet obstacle, we prove that if there exists a family of quasimodes (as is the case when the exterior of the obstacle has stable trapped rays), then there exist near-zero eigenvalues of the standard variational formulation of the exterior Dirichlet problem (recall that this formulation involves truncating the exterior domain and applying the exterior Dirichlet-to-Neumann map on the truncation boundary). Our motivation for proving this result is that a) the finite-element method for computing approximations to solutions of the Helmholtz equation is based on the standard variational formulation, and b) the location of eigenvalues, and especially near-zero ones, plays a key role in understanding how iterative solvers such as the generalised minimum residual method (GMRES) behave when used to solve linear systems, in particular those arising from the finite-element method. The result proved in this paper is thus the first step towards rigorously understanding how GMRES behaves when applied to discretisations of high-frequency Helmholtz problems under strong trapping (the subject of the companion paper [Marchand, Galkowski, Spence, Spence, 2021]).


title: Heralded hybrid CV-DV entanglement generation by quantum interference between CV state and DV delocalized photon

abstract: Hybrid entangled states prove to be necessary for quantum information processing within heterogeneous quantum networks. A method with irreducible number of consumed resources that firmly provides hybrid CV-DV entanglement for any input conditions of the experimental setup is proposed. Namely, a family of CV states is introduced. Each of such CV states is first superimposed on a beam-splitter with a delocalized photon and then detected by a photo-detector behind the beam-splitter. Detection of any photon number heralds generation of a hybrid CV-DV entangled state in the outputs, independent of transmission/reflection coefficients of the beam-splitter and size of the input CV state. Nonclassical properties of the generated state are studied and their entanglement degree in terms of negativity is calculated. There are wide domains of values of input parameters of the experimental setup that can be chosen to make the generated state maximally entangled. The proposed method is also applicable to truncated versions of the input CV states. We also propose a simple method to produce even/odd CV states.


title: Do We Really Need Deep Learning Models for Time Series Forecasting?

abstract: Time series forecasting is a crucial task in machine learning, as it has a wide range of applications including but not limited to forecasting electricity consumption, traffic, and air quality. Traditional forecasting models rely on rolling averages, vector auto-regression and auto-regressive integrated moving averages. On the other hand, deep learning and matrix factorization models have been recently proposed to tackle the same problem with more competitive performance. However, one major drawback of such models is that they tend to be overly complex in comparison to traditional techniques. In this paper, we report the results of prominent deep learning models with respect to a well-known machine learning baseline, a Gradient Boosting Regression Tree (GBRT) model. Similar to the deep neural network (DNN) models, we transform the time series forecasting task into a window-based regression problem. Furthermore, we feature-engineered the input and output structure of the GBRT model, such that, for each training window, the target values are concatenated with external features, and then flattened to form one input instance for a multi-output GBRT model. We conducted a comparative study on nine datasets for eight state-of-the-art deep-learning models that were presented at top-level conferences in the last years. The results demonstrate that the window-based input transformation boosts the performance of a simple GBRT model to levels that outperform all state-of-the-art DNN models evaluated in this paper.


title: Time-lens Photon Doppler Velocimetry (TL-PDV)

abstract: We describe a time lens to expand the dynamic range of photon Doppler velocimetry (PDV) systems. The principle and preliminary design of a time-lens PDV (TL-PDV) are explained and shown to be feasible through simulations. In a PDV system, an interferometer is used for measuring frequency shifts due to the Doppler effect from the target motion. However, the sampling rate of the electronics could limit the velocity range of a PDV system. A four-wave-mixing (FWM) time lens applies a quadratic temporal phase to an optical signal within a nonlinear FWM medium (such as an integrated photonic waveguide or highly nonlinear optical fiber). By spectrally isolating the mixing product, termed the idler, and with appropriate lengths of dispersion prior and after to this FWM time lens, a temporally magnified version of the input signal is generated. Therefore, the frequency shifts of PDV can be "slowed down" with the magnification factor $M$ of the time lens. $M=1$ corresponds to a regular PDV without a TL. $M=10$ has been shown to be feasible for a TL-PDV. Use of this effect for PDV can expand the velocity measurement range and allow the use of lower bandwidth electronics. TL-PDV will open up new avenues for various dynamic materials experiments.


title: Ludii Game Logic Guide

abstract: This technical report outlines the fundamental workings of the game logic behind Ludii, a general game system, that can be used to play a wide variety of games. Ludii is a program developed for the ERC-funded Digital Ludeme Project, in which mathematical and computational approaches are used to study how games were played, and spread, throughout history. This report explains how general game states and equipment are represented in Ludii, and how the rule ludemes dictating play are implemented behind the scenes, giving some insight into the core game logic behind the Ludii general game player. This guide is intended to help game designers using the Ludii game description language to understand it more completely and make fuller use of its features when describing their games.


title: Attention-based Convolutional Autoencoders for 3D-Variational Data Assimilation

abstract: We propose a new 'Bi-Reduced Space' approach to solving 3D Variational Data Assimilation using Convolutional Autoencoders. We prove that our approach has the same solution as previous methods but has significantly lower computational complexity; in other words, we reduce the computational cost without affecting the data assimilation accuracy. We tested the new method with data from a real-world application: a pollution model of a site in Elephant and Castle, London and found that we could reduce the size of the background covariance matrix representation by O(10^3) and, at the same time, increase our data assimilation accuracy with respect to existing reduced space methods.


title: Data-Driven Modeling of Nonlinear Traveling Waves

abstract: Presented is a data-driven Machine Learning (ML) framework for the identification and modeling of traveling wave spatiotemporal dynamics. The presented framework is based on the steadily-propagating traveling wave ansatz, $u(x,t) = U(\xi=x - ct + a)$. For known evolution equations, this coordinate transformation reduces governing partial differential equations (PDEs) to a set of coupled ordinary differential equations (ODEs) in the traveling wave coordinate $\xi$. Although traveling waves are readily observed in many physical systems, the underlying governing equations may be unknown. For these instances, the traveling wave ODEs can be (i) identified in an interpretable manner through an implementation of sparse regression techniques or (ii) modeled empirically with neural ODEs. Presented are these methods applied to several physical systems that admit traveling waves. Examples include traveling wave fronts, pulses, and wavetrains restricted to one-wave wave propagation in a single spatial dimension.

categories: physics.flu-dyn math.DS nlin.PS physics.comp-ph


title: Off-Diagonal Two Weight Bumps for Fractional Sparse Operators

abstract: In this paper, we continue some recent work on two weight boundedness of sparse operators to the "off-diagonal" setting. We use the new "entropy bumps" introduced in by Treil-Volberg ([21]) and improved by Lacey-Spencer ([9]) and the "direct comparison bumps" introduced by Rahm-Spencer ([19]) and improved by Lerner ([10]). Our results are "sharp" in the sense that they are sharp in various particular cases. A feature is that given the current machinery, the proofs are almost trivial.


title: QCD pressure: renormalization group optimized perturbation theory confronts lattice

abstract: The quark contribution to the QCD pressure, $P_q$, is evaluated up to next-to-leading order (NLO) within the renormalization group optimized perturbation theory (RGOPT) resummation approach. To evaluate the complete QCD pressure we simply add the perturbative NLO contribution from massless gluons to the resummed $P_q$. Despite of this unsophisticated approximation our results for $P = P_q +P_g$ at the central scale $M\sim 2\pi T$ show a remarkable agreement with ab initio lattice predictions for $0.25 \lesssim T \lesssim 1 \, {\rm GeV}$. We also show that by being imbued with RG properties, the RGOPT produces a drastic reduction of the embarrassing remnant scale dependence that plagues both standard thermal perturbative QCD and hard thermal loop perturbation theory (HTLpt) applications.


title: Symplectic quantization I: dynamics of quantum fluctuations in a relativistic field theory

abstract: We propose here a new symplectic quantization scheme, where quantum fluctuations of a scalar field theory stem from two main assumptions: relativistic invariance and equiprobability of the field configurations with identical value of the action. In this approach the fictitious time of stochastic quantization becomes a genuine additional time variable, with respect to the coordinate time of relativity. This proper time is associated to a symplectic evolution in the action space, which allows one to investigate not only asymptotic, i.e. equilibrium, properties of the theory, but also its non-equilibrium transient evolution. In this paper, which is the first one in a series of two, we introduce a formalism which will be applied to general relativity in the companion work "Symplectic quantization II".


title: Universal ringed spaces

abstract: We construct affine spaces, projective spaces and grassmannians in the ca\-te\-gory of ringed spaces. We show how finite posets and sheaves of rings on them appear in a natural way.


title: RethNet: Object-by-Object Learning for Detecting Facial Skin Problems

abstract: Semantic segmentation is a hot topic in computer vision where the most challenging tasks of object detection and recognition have been handling by the success of semantic segmentation approaches. We propose a concept of object-by-object learning technique to detect 11 types of facial skin lesions using semantic segmentation methods. Detecting individual skin lesion in a dense group is a challenging task, because of ambiguities in the appearance of the visual data. We observe that there exist co-occurrent visual relations between object classes (e.g., wrinkle and age spot, or papule and whitehead, etc.). In fact, rich contextual information significantly helps to handle the issue. Therefore, we propose REthinker blocks that are composed of the locally constructed convLSTM/Conv3D layers and SE module as a one-shot attention mechanism whose responsibility is to increase network's sensitivity in the local and global contextual representation that supports to capture ambiguously appeared objects and co-occurrence interactions between object classes. Experiments show that our proposed model reached MIoU of 79.46% on the test of a prepared dataset, representing a 15.34% improvement over Deeplab v3+ (MIoU of 64.12%).


title: Charge-neutral nonlocal response in superconductor-InAs nanowire hybrid devices

abstract: Nonlocal quasiparticle transport in normal-superconductor-normal (NSN) hybrid structures probes sub-gap states in the proximity region and is especially attractive in the context of Majorana research. Conductance measurement provides only partial information about nonlocal response composed from both electron-like and hole-like quasiparticle excitations. In this work, we show how a nonlocal shot noise measurement delivers a missing puzzle piece in NSN InAs nanowire-based devices. We demonstrate that in a trivial superconducting phase quasiparticle response is practically charge-neutral, dominated by the heat transport component with a thermal conductance being on the order of conductance quantum. This is qualitatively explained by numerous Andreev reflections of a diffusing quasiparticle, that makes its charge completely uncertain. Consistently, strong fluctuations and sign reversal are observed in the sub-gap nonlocal conductance, including occasional Andreev rectification signals. Our results prove conductance and noise as complementary measurements to characterize quasiparticle transport in superconducting proximity devices.


title: Hirschman-Widder densities

abstract: Hirschman and Widder introduced a class of P\'olya frequency functions given by linear combinations of one-sided exponential functions. The members of this class are probability densities, and the class is closed under convolution but not under pointwise multiplication. We show that, generically, a polynomial function of such a density is a P\'olya frequency function only if the polynomial is a homothety, and also identify a subclass for which each positive-integer power is a P\'olya frequency function. We further demonstrate connections between the Maclaurin coefficients, the moments of these densities, and the recovery of the density from finitely many moments, via Schur polynomials.


title: Collision-induced torque mediates transition of chiral dynamic patterns formed by active particles

abstract: It is still challenging to control dynamic self-organization patterns of self-propelled particles. Although varieties of patterns associated with chirality have been observed, essential control factors determining patterns remain unclear. Here, we explore numerically how torque upon particle collision affects dynamic self-organization. Based on the particle-based model with both collision-induced torque and torque in self-propulsion, we find that introducing collision-induced torque turns homogeneous bi-polar orientation templated by bi-directional alignment into rotating mono-polar flocks.


title: Theorems and Conjectures on Some Rational Generating Functions

abstract: Let $I_n(x)=\prod_{i=1}^n \left( 1+x^{F_{i+1}}\right)$, where $F_{i+1}$ denotes a Fibonacci number. Let $v_r(n)$ denote the sum of the $r$th powers of the coefficients of $I_n(x)$. Our prototypical result is that $\sum_{n\geq 0} v_2(n)x^n= (1-2x^2)/(1-2x-2x^2+2x^3)$. We give many related results and conjectures. A certain infinite poset $\mathfrak{F}$ is naturally associated with $I_n(x)$. We discuss some combinatorial properties of $\mathfrak{F}$ and a natural generalization, including a symmetric function that encodes the flag $h$-vector of $\mathfrak{F}$.


title: Probing nuclear forces beyond the nuclear drip line: The cases of $^{16}$F and $^{15}$F

abstract: The unbound proton-rich nuclei $^{16}$F and $^{15}$F are investigated experimentally and theoretically. Several experiments using the resonant elastic scattering method were performed at GANIL with radioactive beams to determine the properties of the low lying states of these nuclei. Strong asymmetry between $^{16}$F-$^{16}$N and $^{15}$F-$^{15}$C mirror nuclei is observed. The strength of the $nucleon-nucleon$ effective interaction involving the loosely bound proton in the $s_{1/2}$ orbit is significantly modified with respect to their mirror nuclei $^{16}$N and $^{15}$C. The reduction of the effective interaction is estimated by calculating the interaction energies with a schematic zero-range force. It is found that, after correcting for the effects due to changes in the radial distribution of the single-particle wave functions, the mirror symmetry of the $n-p$ interaction is preserved between $^{16}$F and $^{16}$N, while a difference of 63\% is measured between the $p-p$ versus $n-n$ interactions in the second excited state of $^{15}$F and $^{15}$C nuclei. Several explanations are proposed.


title: Some remarks on traces on the infinite-dimensional Iwahori--Hecke algebra

abstract: The infinite-dimensional Iwahori--Hecke algebras $\mathcal{H}_\infty(q)$ are direct limits of the usual finite-dimensional Iwahori--Hecke algebras. They arise in a natural way as convolution algebras of bi-invariant functions on groups $\mathrm{GLB}(\mathbb{F}_q)$ of infinite-dimensional matrices over finite-fields having only finite number of non-zero matrix elements under the diagonal. In 1988 Vershik and Kerov classified all indecomposable positive traces on $\mathcal{H}_\infty(q)$. Any such trace generates a representation of the double $\mathcal{H}_\infty(q)\otimes \mathcal{H}_\infty(q)$ and of the double $\mathrm{GLB}(\mathbb{F}_q)\times \mathrm{GLB}(\mathbb{F}_q)$. We present constructions of such representations; the traces are some distinguished matrix elements. We also obtain some (simple) general statements on relations between unitary representations of groups and representations of convolution algebras of measures bi-invariant with respect to compact subgroups.


title: PHANGS-HST: Star Cluster Spectral Energy Distribution Fitting with CIGALE

abstract: The sensitivity and angular resolution of photometric surveys executed by the Hubble Space Telescope (HST) enable studies of individual star clusters in galaxies out to a few tens of megaparsecs. The fitting of spectral energy distributions (SEDs) of star clusters is essential for measuring their physical properties and studying their evolution. We report on the use of the publicly available Code Investigating GALaxy Emission (CIGALE) SED fitting package to derive ages, stellar masses, and reddenings for star clusters identified in the Physics at High Angular resolution in Nearby GalaxieS-HST (PHANGS-HST) survey. Using samples of star clusters in the galaxy NGC 3351, we present results of benchmark analyses performed to validate the code and a comparison to SED fitting results from the Legacy ExtraGalactic Ultraviolet Survey (LEGUS). We consider procedures for the PHANGS-HST SED fitting pipeline, e.g., the choice of single stellar population models, the treatment of nebular emission and dust, and the use of fluxes versus magnitudes for the SED fitting. We report on the properties of clusters in NGC 3351 and find, on average, the clusters residing in the inner star-forming ring of NGC 3351 are young ($< 10$ Myr) and massive ($10^{5} M_{\odot}$) while clusters in the stellar bulge are significantly older. Cluster mass function fits yield $\beta$ values around -2, consistent with prior results with a tendency to be shallower at the youngest ages. Finally, we explore a Bayesian analysis with additional physically-motivated priors for the distribution of ages and masses and analyze the resulting cluster distributions.


title: Dimerization and spin-decoupling in two-leg Heisenberg ladder with frustrated trimer rungs

abstract: We study the antiferromagnetic spin-half Heisenberg ladder in the presence of an additional frustrating rung spin which is motivated and relevant also for the description of real two-dimensional materials such as the two-dimensional trimer magnet Ba$_4$Ir$_3$O$_{10}$. We study the zero-temperature phase diagram, where we combine numerical and analytical methods into an overall consistent description. All numerical simulations are also accompanied by studies of the dynamical spin structure factor obtained via the density matrix renormalization group. Overall, we find in the regime of strong rung coupling a gapped dimerized phase related to competing symmetry sectors in Hilbert space that ultimately results in frustration-driven spin-Peierls transition. In the weak rung-coupling regime, the system is uniform, yet shows a gapped spinon continuum together with a sharp coherent low-energy branch which renders the system critical overall. In either case, the additional rung spin quickly get sidelined and nearly decouple once their bare coupling to the ladder drops somewhat below the direct Heisenberg coupling of the legs.


title: LAEO-Net++: revisiting people Looking At Each Other in videos

abstract: Capturing the 'mutual gaze' of people is essential for understanding and interpreting the social interactions between them. To this end, this paper addresses the problem of detecting people Looking At Each Other (LAEO) in video sequences. For this purpose, we propose LAEO-Net++, a new deep CNN for determining LAEO in videos. In contrast to previous works, LAEO-Net++ takes spatio-temporal tracks as input and reasons about the whole track. It consists of three branches, one for each character's tracked head and one for their relative position. Moreover, we introduce two new LAEO datasets: UCO-LAEO and AVA-LAEO. A thorough experimental evaluation demonstrates the ability of LAEO-Net++ to successfully determine if two people are LAEO and the temporal window where it happens. Our model achieves state-of-the-art results on the existing TVHID-LAEO video dataset, significantly outperforming previous approaches. Finally, we apply LAEO-Net++ to a social network, where we automatically infer the social relationship between pairs of people based on the frequency and duration that they LAEO, and show that LAEO can be a useful tool for guided search of human interactions in videos. The code is available at https://github.com/AVAuco/laeonetplus.


title: Smoothed functional-based gradient algorithms for off-policy reinforcement learning: A non-asymptotic viewpoint

abstract: We propose two policy gradient algorithms for solving the problem of control in an off-policy reinforcement learning (RL) context. Both algorithms incorporate a smoothed functional (SF) based gradient estimation scheme. The first algorithm is a straightforward combination of importance sampling-based off-policy evaluation with SF-based gradient estimation. The second algorithm, inspired by the stochastic variance-reduced gradient (SVRG) algorithm, incorporates variance reduction in the update iteration. For both algorithms, we derive non-asymptotic bounds that establish convergence to an approximate stationary point. From these results, we infer that the first algorithm converges at a rate that is comparable to the well-known REINFORCE algorithm in an off-policy RL context, while the second algorithm exhibits an improved rate of convergence.


title: Connecting ansatz expressibility to gradient magnitudes and barren plateaus

abstract: Parameterized quantum circuits serve as ans\"{a}tze for solving variational problems and provide a flexible paradigm for programming near-term quantum computers. Ideally, such ans\"{a}tze should be highly expressive so that a close approximation of the desired solution can be accessed. On the other hand, the ansatz must also have sufficiently large gradients to allow for training. Here, we derive a fundamental relationship between these two essential properties: expressibility and trainability. This is done by extending the well established barren plateau phenomenon, which holds for ans\"{a}tze that form exact 2-designs, to arbitrary ans\"{a}tze. Specifically, we calculate the variance in the cost gradient in terms of the expressibility of the ansatz, as measured by its distance from being a 2-design. Our resulting bounds indicate that highly expressive ans\"{a}tze exhibit flatter cost landscapes and therefore will be harder to train. Furthermore, we provide numerics illustrating the effect of expressiblity on gradient scalings, and we discuss the implications for designing strategies to avoid barren plateaus.


title: Shocks and Molecules in Diffuse Interstellar Cloud Pairs

abstract: The diffuse interstellar medium is dynamic, and its chemistry and evolution is determined by shock fronts as well as photodissociation. Shocks are implied by the supersonic motions and velocity dispersion often statistically called "turbulence". We compare models of magnetohydrodynamic (MHD) shocks, with speeds typical of cloud motions through the ISM (3-25 km/s) and densities typical of cold neutral gas (~ 100 cm-3), to archival observations of the atomic hydrogen 21-cm line for gas kinematics, far-infrared emission for dust mass, and mid-infrared emission for high-resolution morphology, to identify shock fronts in three high-latitude clouds pairs with masses of order 50 suns. The clouds have `heads' with extended `tails', and high-resolution images show arcs on the leading edges of the "heads" that could be individual shocks. The HI shows higher-velocity gas at the leading edges due to shock-accelerated material. For two cloud pairs, one cloud has an active shock indicated by broad and offset HI, while the other cloud has already been shocked and is predominantly `CO-dark' molecular hydrogen. Two-dimensional MHD simulations for shocks parallel to the magnetic field for pairs of clouds show a remarkable similarity to observed cloud features, including merged "tails" due to aligned flow and magnetic field, which leads to lateral confinement downstream. A parallel alignment between magnetic field and gas flow may lead to formation of small molecular clouds.


title: Spin-transport in an organic semiconductor without free charge carrier involvement

abstract: We have experimentally tested the hypothesis of free charge carrier mediated spin-transport in the small molecule organic semiconductor Alq3 at room temperature. A spin current was pumped into this material by pulsed ferromagnetic resonance of an adjacent NiFe layer, while a charge current resulting from this spin current via the inverse spin-Hall effect (ISHE) was detected in a Pt layer adjacent on the other side of the Alq3 layer, confirming a pure spin current through the Alq3 layer. Charge carrier spin states in Alq3, were then randomized by simultaneous application of electron paramagnetic resonance (EPR). No influence of the EPR excitation on the ISHE current was found, implying that spin-transport is not mediated by free charge-carriers in Alq3.


title: Integrated Generalized Zero-Shot Learning for Fine-Grained Classification

abstract: Embedding learning (EL) and feature synthesizing (FS) are two of the popular categories of fine-grained GZSL methods. EL or FS using global features cannot discriminate fine details in the absence of local features. On the other hand, EL or FS methods exploiting local features either neglect direct attribute guidance or global information. Consequently, neither method performs well. In this paper, we propose to explore global and direct attribute-supervised local visual features for both EL and FS categories in an integrated manner for fine-grained GZSL. The proposed integrated network has an EL sub-network and a FS sub-network. Consequently, the proposed integrated network can be tested in two ways. We propose a novel two-step dense attention mechanism to discover attribute-guided local visual features. We introduce new mutual learning between the sub-networks to exploit mutually beneficial information for optimization. Moreover, we propose to compute source-target class similarity based on mutual information and transfer-learn the target classes to reduce bias towards the source domain during testing. We demonstrate that our proposed method outperforms contemporary methods on benchmark datasets.


title: Polynomial modular product verification and its implications

abstract: Polynomial multiplication is known to have quasi-linear complexity in both the dense and the sparse cases. Yet no truly linear algorithm has been given in any case for the problem, and it is not clear whether it is even possible. This leaves room for a better algorithm for the simpler problem of verifying a polynomial product. While finding deterministic methods seems out of reach, there exist probabilistic algorithms for the problem that are optimal in number of algebraic operations. We study the generalization of the problem to the verification of a polynomial product modulo a sparse divisor. We investigate its bit complexity for both dense and sparse multiplicands. In particular, we are able to show the primacy of the verification over modular multiplication when the divisor has a constant sparsity and a second highest-degree monomial that is not too large. We use these results to obtain new bounds on the bit complexity of the standard polynomial multiplication verification. In particular, we provide optimal algorithms in the bit complexity model in the dense case by improving a result of Kaminski and develop the first quasi-optimal algorithm for verifying sparse polynomial product.


title: Transformer Guided Geometry Model for Flow-Based Unsupervised Visual Odometry

abstract: Existing unsupervised visual odometry (VO) methods either match pairwise images or integrate the temporal information using recurrent neural networks over a long sequence of images. They are either not accurate, time-consuming in training or error accumulative. In this paper, we propose a method consisting of two camera pose estimators that deal with the information from pairwise images and a short sequence of images respectively. For image sequences, a Transformer-like structure is adopted to build a geometry model over a local temporal window, referred to as Transformer-based Auxiliary Pose Estimator (TAPE). Meanwhile, a Flow-to-Flow Pose Estimator (F2FPE) is proposed to exploit the relationship between pairwise images. The two estimators are constrained through a simple yet effective consistency loss in training. Empirical evaluation has shown that the proposed method outperforms the state-of-the-art unsupervised learning-based methods by a large margin and performs comparably to supervised and traditional ones on the KITTI and Malaga dataset.


title: Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation

abstract: The digitization of historical maps enables the study of ancient, fragile, unique, and hardly accessible information sources. Main map features can be retrieved and tracked through the time for subsequent thematic analysis. The goal of this work is the vectorization step, i.e., the extraction of vector shapes of the objects of interest from raster images of maps. We are particularly interested in closed shape detection such as buildings, building blocks, gardens, rivers, etc. in order to monitor their temporal evolution. Historical map images present significant pattern recognition challenges. The extraction of closed shapes by using traditional Mathematical Morphology (MM) is highly challenging due to the overlapping of multiple map features and texts. Moreover, state-of-the-art Convolutional Neural Networks (CNN) are perfectly designed for content image filtering but provide no guarantee about closed shape detection. Also, the lack of textural and color information of historical maps makes it hard for CNN to detect shapes that are represented by only their boundaries. Our contribution is a pipeline that combines the strengths of CNN (efficient edge detection and filtering) and MM (guaranteed extraction of closed shapes) in order to achieve such a task. The evaluation of our approach on a public dataset shows its effectiveness for extracting the closed boundaries of objects in historical maps.


title: Numerical investigation of the wave force on a partially immersed rectangular structure: Long waves over a flat bottom

abstract: This paper describes the results from a numerical estimation of the force exerted by long surface waves on a fixed and partially immersed rectangular structure. The topic is connected with the need of making decisions on the design, placement and operation of hydrotechnical structures of this kind. The wave-structure interaction is simulated in the framework of a nonlinear potential flow model. The results obtained allow to determine the dependence of the hydrodynamic force on the length and amplitude of a single wave, the length and submergence of the structure. We compare the results obtained for different initial wave shapes, and consider the differences between the forces acting on a vertical wall and a partially immersed structure. In particular, it is shown that at relatively small submergence of the structure, longer waves affect it less, while at large submergence and in the case of wave-wall interaction, the opposite behaviour is observed.


title: Cooling process of brown dwarfs in Palatini f(R) gravity

abstract: We present an analytical model for the evolution of brown dwarfs in quadratic Palatini f(R) gravity. We improve previous studies by adopting a more realistic description of the partially-degenerate state that characterizes brown dwarfs. Furthermore, we take into account the hydrogen metallic-molecular phase transition between the interior of the brown dwarf and its photosphere. For such improved model, we revise the cooling process of sub-stellar objects.


title: A Threat Modelling Approach to Analyze and Mitigate Botnet Attacks in Smart Home Use Case

abstract: Despite the surging development and utilization of IoT devices, the security of IoT devices is still in infancy. The security pitfalls of IoT devices have made it easy for hackers to take over IoT devices and use them for malicious activities like botnet attacks. With the rampant emergence of IoT devices, botnet attacks are surging. The botnet attacks are not only catastrophic for IoT device users but also for the rest of the world. Therefore, there is a crucial need to identify and mitigate the possible threats in IoT devices during the design phase. Threat modelling is a technique that is used to identify the threats in the earlier stages of the system design activity. In this paper, we propose a threat modelling approach to analyze and mitigate the botnet attacks in an IoT smart home use case. The proposed methodology identifies the development-level and application-level threats in smart home use case using STRIDE and VAST threat modelling methods. Moreover, we reticulate the identified threats with botnet attacks. Finally, we propose the mitigation techniques for all identified threats including the botnet threats.


title: Graphical Elastic Net and Target Matrices: Fast Algorithms and Software for Sparse Precision Matrix Estimation

abstract: We consider estimation of undirected Gaussian graphical models and inverse covariances in high-dimensional scenarios by penalizing the corresponding precision matrix. While single $L_1$ (Graphical Lasso) and $L_2$ (Graphical Ridge) penalties for the precision matrix have already been studied, we propose the combination of both, yielding an Elastic Net type penalty. We enable additional flexibility by allowing to include diagonal target matrices for the precision matrix. We generalize existing algorithms for the Graphical Lasso and provide corresponding software with an efficient implementation to facilitate usage for practitioners. Our software borrows computationally favorable parts from a number of existing packages for the Graphical Lasso, leading to an overall fast(er) implementation and at the same time yielding also much more methodological flexibility.


title: Cauchy-Schwarz Regularized Autoencoder

abstract: Recent work in unsupervised learning has focused on efficient inference and learning in latent variables models. Training these models by maximizing the evidence (marginal likelihood) is typically intractable. Thus, a common approximation is to maximize the Evidence Lower BOund (ELBO) instead. Variational autoencoders (VAE) are a powerful and widely-used class of generative models that optimize the ELBO efficiently for large datasets. However, the VAE's default Gaussian choice for the prior imposes a strong constraint on its ability to represent the true posterior, thereby degrading overall performance. A Gaussian mixture model (GMM) would be a richer prior, but cannot be handled efficiently within the VAE framework because of the intractability of the Kullback-Leibler divergence for GMMs. We deviate from the common VAE framework in favor of one with an analytical solution for Gaussian mixture prior. To perform efficient inference for GMM priors, we introduce a new constrained objective based on the Cauchy-Schwarz divergence, which can be computed analytically for GMMs. This new objective allows us to incorporate richer, multi-modal priors into the autoencoding framework. We provide empirical studies on a range of datasets and show that our objective improves upon variational auto-encoding models in density estimation, unsupervised clustering, semi-supervised learning, and face analysis.


title: On some freeness-type properties for line arrangements

abstract: By way of Ziegler restrictions we study the relation between nearly free plane arrangements and combinatorics and we give a Yoshinaga-type criterion for plus-one generated plane arrangements.


title: Deformations of $\mathrm{G}_2$-instantons on nearly $\mathrm{G}_2$ manifolds

abstract: We study the deformation theory of $\mathrm{G}_2$-instantons on nearly $\mathrm{G}_2$ manifolds. There is a one-to-one correspondence between nearly parallel $\mathrm{G}_2$ structures and real Killing spinors, thus the deformation theory can be formulated in terms of spinors and Dirac operators. We prove that the space of infinitesimal deformations of an instanton is isomorphic to the kernel of an elliptic operator. Using this formulation we prove that abelian instantons are rigid. Then we apply our results to describe the deformation space of the canonical connection on the four normal homogeneous nearly $\mathrm{G}_2$ manifolds.


title: Experimental demonstration of the violation of the temporal Peres-Mermin inequality using contextual temporal correlations and noninvasive measurements

abstract: We present a generalized quantum scattering circuit which can be used to perform non-invasive quantum measurements, and implement it on NMR qubits. Such a measurement is a key requirement for testing temporal non-contextual inequalities. We use this circuit to experimentally demonstrate the violation of the Peres-Mermin inequality (which is the temporal analog of a Klyachko-Can- Binicioglu-Shumovsky (KCBS) inequality), on a three-qubit NMR quantum information processor. Further, we experimentally demonstrate the violation of a transformed Bell-type inequality (the spatial equivalent of the temporal KCBS inequality) and show that its Tsirelson bound is the same as that for the temporal KCBS inequality. In the temporal KCBS scenario, the contextual bound is strictly lower than the quantum temporal and nonlocal bounds.


title: The Shapley Value of Classifiers in Ensemble Games

abstract: What is the value of an individual model in an ensemble of binary classifiers? We answer this question by introducing a class of transferable utility cooperative games called \textit{ensemble games}. In machine learning ensembles, pre-trained models cooperate to make classification decisions. To quantify the importance of models in these ensemble games, we define \textit{Troupe} -- an efficient algorithm which allocates payoffs based on approximate Shapley values of the classifiers. We argue that the Shapley value of models in these games is an effective decision metric for choosing a high performing subset of models from the ensemble. Our analytical findings prove that our Shapley value estimation scheme is precise and scalable; its performance increases with size of the dataset and ensemble. Empirical results on real world graph classification tasks demonstrate that our algorithm produces high quality estimates of the Shapley value. We find that Shapley values can be utilized for ensemble pruning, and that adversarial models receive a low valuation. Complex classifiers are frequently found to be responsible for both correct and incorrect classification decisions.


title: Local absorbing boundary conditions on fixed domains give order-one errors for high-frequency waves

abstract: We consider approximating the solution of the Helmholtz exterior Dirichlet problem for a nontrapping obstacle, with boundary data coming from plane-wave incidence, by the solution of the corresponding boundary value problem where the exterior domain is truncated and a local absorbing boundary condition coming from a Pad\'e approximation (of arbitrary order) of the Dirichlet-to-Neumann map is imposed on the artificial boundary (recall that the simplest such boundary condition is the impedance boundary condition). We prove upper- and lower-bounds on the relative error incurred by this approximation, both in the whole domain and in a fixed neighbourhood of the obstacle (i.e. away from the artificial boundary). Our bounds are valid for arbitrarily-high frequency, with the artificial boundary fixed, and show that the relative error is bounded away from zero, independent of the frequency, and regardless of the geometry of the artificial boundary.


title: A Revised 27-day Recurrence Index

abstract: The original 110 year long 27-day Recurrence Index (original R27) was published more than forty years ago. That index, based on the autocorrelation of consecutive 27-day sets of the geomagnetic aa-index, is a measure of the cycle-to-cycle stability of high speed solar wind structure. During an effort to extend the index, it was discovered that the index could be significantly strengthened by pre-smoothing the geomagnetic aa-index listing used as input. A revised index (revised R27) is presented which clearly shows periods of long term stable solar wind structure toward the end of every sunspot cycle over the last 150 years. The extension of R27 over an interval including the greater part of the space age enables the updating of various studies of long-term solar wind variability based on R27, as well as comparison of R27 with more recently-developed solar-terrestrial parameters.


title: Complex Scalar Field Reheating and Primordial Black Hole production

abstract: We study perturbations of a complex scalar field during reheating with no self-interaction in the regime $ \mu \gg H$, when the scalar field has a fast oscillatory behaviour (close to a pressure-less fluid). We focus on the precise determination of the instability scale and find it differs from that associated with a real scalar field. We further look at the probability that unstable fluctuations form Primordial Black Holes (PBHs) obtaining a significant production of tiny PBHs which quickly evaporate and may subsequently leave a population of Planck-mass relics. We finally impose restrictions on the duration and energy scale of the fast oscillations period by considering that such relics constitute, at most, the totality of dark matter in the Universe.


title: EfficientQA : a RoBERTa Based Phrase-Indexed Question-Answering System

abstract: State-of-the-art extractive question answering models achieve superhuman performances on the SQuAD benchmark. Yet, they are unreasonably heavy and need expensive GPU computing to answer questions in a reasonable time. Thus, they cannot be used for real-world queries on hundreds of thousands of documents in the open-domain question answering paradigm. In this paper, we explore the possibility to transfer the natural language understanding of language models into dense vectors representing questions and answer candidates, in order to make the task of question-answering compatible with a simple nearest neighbor search task. This new model, that we call EfficientQA, takes advantage from the pair of sequences kind of input of BERT-based models to build meaningful dense representations of candidate answers. These latter are extracted from the context in a question-agnostic fashion. Our model achieves state-of-the-art results in Phrase-Indexed Question Answering (PIQA) beating the previous state-of-art by 1.3 points in exact-match and 1.4 points in f1-score. These results show that dense vectors are able to embed very rich semantic representations of sequences, although these ones were built from language models not originally trained for the use-case. Thus, in order to build more resource efficient NLP systems in the future, training language models that are better adapted to build dense representations of phrases is one of the possibilities.


title: Order Embeddings from Merged Ontologies using Sketching

abstract: We give a simple, low resource method to produce order embeddings from ontologies. Such embeddings map words to vectors so that order relations on the words, such as hypernymy/hyponymy, are represented in a direct way. Our method uses sketching techniques, in particular countsketch, for dimensionality reduction. We also study methods to merge ontologies, in particular those in medical domains, so that order relations are preserved. We give computational results for medical ontologies and for wordnet, showing that our merging techniques are effective and our embedding yields an accurate representation in both generic and specialised domains.


title: Highway: Efficient Consensus with Flexible Finality

abstract: There has been recently a lot of progress in designing efficient partially synchronous BFT consensus protocols that are meant to serve as core consensus engines for Proof of Stake blockchain systems. While the state-of-the-art solutions attain virtually optimal performance under this theoretical model, there is still room for improvement, as several practical aspects of such systems are not captured by this model. Most notably, during regular execution, due to financial incentives in such systems, one expects an overwhelming fraction of nodes to honestly follow the protocol rules and only few of them to be faulty, most likely due to temporary network issues. Intuitively, the fact that almost all nodes behave honestly should result in stronger confidence in blocks finalized in such periods, however it is not the case under the classical model, where finality is binary. We propose Highway, a new consensus protocol that is safe and live in the classical partially synchronous BFT model, while at the same time offering practical improvements over existing solutions. Specifically, block finality in Highway is not binary but is expressed by fraction of nodes that would need to break the protocol rules in order for a block to be reverted. During periods of honest participation finality of blocks might reach well beyond 1/3 (as what would be the maximum for classical protocols), up to even 1 (complete certainty). Having finality defined this way, Highway offers flexibility with respect to the configuration of security thresholds among nodes running the protocol, allowing nodes with lower thresholds to reach finality faster than the ones requiring higher levels of confidence.


title: The physics of diamagnetic levitation

abstract: We formulate a problem on diamagnetic levitation, which may be suitable for specialized high-school or first-year students in physical sciences. We guide the students, step-by-step, through the physics of diamagnetic levitation. The calculations are simplified by assuming a ring-shaped geometry of the diamagnetic object residing above a magnetic dipole. This problem was originally intended for the International Physics Olympiad 2016 (IPHO 2016), but was finally deemed surplus and therefore not set.


title: Investigating properties of Cl$^-$ and Au$^-$ ions using relativistic many-body methods

abstract: We investigate ground state properties of singly charged chlorine (Cl$^-$) and gold (Au$^-$) negative ions by employing four-component relativistic many-body methods. In our approach, we attach an electron to the respective outer orbitals of chlorine (Cl) and gold (Au) atoms to determine the Dirac-Fock (DF) wave functions of the ground state configurations of Cl$^-$ and Au$^-$, respectively. As a result, all the single-particle orbitals see the correlation effects due to the appended electron of the negative ion. After obtaining the DF wave functions, lower-order many-body perturbation methods, random-phase approximation, and coupled-cluster (CC) theory in the singles and doubles approximation are applied to obtain the ground state wave functions of both Cl$^-$ and Au$^-$ ions. Then, we adopt two different approaches to the CC theory -- a perturbative approach due to the dipole operator to determine electric dipole polarizability and an electron detachment approach in the Fock-space framework to estimate ionization potential. Our calculations are compared with the available experimental and other theoretical results.


title: Two-dimensional honeycomb-kagome V2O3: a robust room-temperature magnetic Chern insulator interfaced with graphene

abstract: The possibility of dissipationless chiral edge states without the need of an external magnetic field in the quantum anomalous Hall effect (QAHE) offers a great potential in electronic/spintronic applications. The biggest hurdle for the realization of a room-temperature magnetic Chern insulator is to find a structurally stable material with a sufficiently large energy gap and Curie temperature that can be easily implemented in electronic devices. This work based on first-principle methods shows that a single atomic layer of V2O3 with honeycomb-kagome (HK) lattice is structurally stable with a spin-polarized Dirac cone which gives rise to a room-temperature QAHE by the existence of an atomic on-site spin-orbit coupling (SOC). Moreover, by a strain and substrate study, it was found that the quantum anomalous Hall system is robust against small deformations and can be supported by a graphene substrate.


title: Existence and nonexistence in the liquid drop model

abstract: We revisit the liquid drop model with a general Riesz potential. Our new result is the existence of minimizers for the conjectured optimal range of parameters. We also prove a conditional uniqueness of minimizers and a nonexistence result for heavy nuclei.


title: A Julia implementation of Algorithm NCL for constrained optimization

abstract: Algorithm NCL is designed for general smooth optimization problems where first and second derivatives are available, including problems whose constraints may not be linearly independent at a solution (i.e., do not satisfy the LICQ). It is equivalent to the LANCELOT augmented Lagrangian method, reformulated as a short sequence of nonlinearly constrained subproblems that can be solved efficiently by IPOPT and KNITRO, with warm starts on each subproblem. We give numerical results from a Julia implementation of Algorithm NCL on tax policy models that do not satisfy the LICQ, and on nonlinear least-squares problems and general problems from the CUTEst test set.


title: Relic density of dark matter in the inert doublet model beyond leading order for the low mass region: 1. Renormalisation and constraints

abstract: The present paper is the first in a series that addresses the calculation of the full one-loop corrections of dark matter (DM) annihilation cross-sections in the low mass region of the inert doublet model (IDM). We first review the renormalisation of the model both in a fully on-shell (OS) scheme and a mixed scheme combining on-shell (for the masses) and a $\overline{{\rm MS}}$ approach when the partial invisible width is closed and does not allow the use of a full OS scheme. The scale dependence introduced by the mixed scheme is shown to be tracked through an analysis of a parametrisation of the tree-level cross-section and the $\beta$ constant of a specific coupling. We discuss how to minimise the scale dependence. The theoretical uncertainty brought by the scale dependence leads us to introduce a new criterion on the perturbativity of the IDM. This criterion further delimits the allowed parameter space which we investigate carefully by including a host of constraints, both theoretical and experimental, including in particular, new data from the LHC. We come up with a set of benchmark points that cover three different mechanisms for a viable relic density of DM: {\it i)} a dominance of co-annihilation into a fermion pair, { \it ii)} annihilation into 2 vector bosons of which one is off-shell that requires the calculation of a $2 \to 3$ process at one-loop, {\it iii)} annihilation that proceeds through the very narrow standard model Higgs resonance. Since the $2 \to 3$ vector boson channel features in all three channels and is essentially a build up on the simpler annihilation to OS vector bosons, we study the latter in detail in the present paper. We confirm again that the corrected cross-sections involve a parameter that represents rescattering in the dark sector that a tree-level computation in not sensitive to.


title: Relic density of dark matter in the inert doublet model beyond leading order for the low mass region: 2. Co-annihilation

abstract: We examine the relic density of the light mass dark matter region in the inert doublet model (IDM) when the dominant process is due to co-annihilation between the lightest neutral scalars of the model. The full one-loop electroweak corrections are computed in an on-shell scheme and are found to be well approximated as an effective cross-section expressed in terms of $Z$-observables. The electroweak corrections to the subdominant process which consists of an annihilation into an on-shell $W$ and an off-shell $W$, that is calculated as a annihilation into a 3-body final state, is also performed. The latter reveals an important dependence on a parameter that describes the self-interaction of the new scalars (solely within the dark sector), a parameter which is not accessible in tree-level calculations of standard model (SM)-IDM interactions.


title: Relic density of dark matter in the inert doublet model beyond leading order for the low mass region: 3. Annihilation in 3-body final state

abstract: We perform the first one-loop electroweak corrections for $2 \to 3$ processes for dark matter annihilation. These are the dominant processes that enter the computation of the relic density for the low mass region of the inert doublet model (IDM) when annihilations to two on-shell vector bosons are closed. The impact of the one-loop corrections are important as they involve, through rescattering effects, not only a dependence on the parameter controlling the dark sector, not present if a calculation at tree-level is conducted, but also on the renormalisation scale. These combined effects should be taken into account in analyses based on tree-level cross-sections of the relic density calculations, as a theoretical uncertainty which we find to be much larger than the cursory $\pm 10\%$ uncertainty that is routinely assumed, independently of the model parameters.


title: Dynamical dark energy after Planck CMB final release and $H_0$ tension

abstract: In this article we compare a variety of well known dynamical dark energy models using the cosmic microwave background measurements from the 2018 Planck legacy and 2015 Planck data releases, the baryon acoustic oscillations measurements and the local measurements of $H_0$ obtained by the SH0ES (Supernovae, $H_0$, for the Equation of State of Dark energy) collaboration analysing the Hubble Space Telescope data. We discuss the alleviation of $H_0$ tension, that is obtained at the price of a phantom-like dark energy equation of state. We perform a Bayesian evidence analysis to quantify the improvement of the fit, finding that all the dark energy models considered in this work are preferred against the $\Lambda$CDM scenario. Finally, among all the possibilities analyzed, the CPL model is the best one in fitting the data and solving the $H_0$ tension at the same time. However, unfortunately, this dynamical dark energy solution is not supported by the baryon acoustic oscillations (BAO) data, and the tension is restored when BAO data are included for all the models.


title: Determination of the dipole polarizability of the alkali-metal negative ions

abstract: We present electric dipole polarizabilities ($\alpha_d$) of the alkali-metal negative ions, from H$^-$ to Fr$^-$, by employing four-component relativistic many-body methods. Differences in the results are shown by considering Dirac-Coulomb (DC) Hamiltonian, DC Hamiltonian with the Breit interaction, and DC Hamiltonian with the lower-order quantum electrodynamics interactions. At first, these interactions are included self-consistently in the Dirac-Hartree-Fock (DHF) method, and then electron correlation effects are incorporated over the DHF wave functions in the second-order many-body perturbation theory, random phase approximation and coupled-cluster (CC) theory. Roles of electron correlation effects and relativistic corrections are analyzed using the above many-body methods with size of the ions. We finally quote precise values of $\alpha_d$ of the above negative ions by estimating uncertainties to the CC results, and compare them with other calculations wherever available.


title: Relic density of dark matter in the inert doublet model beyond leading order for the low mass region: 4. The Higgs resonance region

abstract: One-loop electroweak corrections to the annihilation cross-sections of dark matter in the Higgs resonance region of the inert doublet model (IDM) are investigated. The procedure of how to implement the width of the Higgs in order to regularise the amplitude both at tree-level and at one-loop together with the renormalisation of a key parameter of the model, are thoroughly scrutinised. The discussions go beyond the application to the relic density calculation and also beyond the IDM so that addressing these technical issues can help in a wider context. We look in particular at the dominant channels with the $b \bar b$ final state and the more involved 3-body final state, $W f \bar f^\prime$, where both a resonance and an anti-resonance, due to interference effects, are present. We also discuss how to integrate over such configurations when converting the cross-sections into a calculation of the relic density.


title: Universal Statistics of Vortices in a Newborn Holographic Superconductor: Beyond the Kibble-Zurek Mechanism

abstract: Traversing a continuous phase transition at a finite rate leads to the breakdown of adiabatic dynamics and the formation of topological defects, as predicted by the celebrated Kibble-Zurek mechanism (KZM). We investigate universal signatures beyond the KZM, by characterizing the distribution of vortices generated in a thermal quench leading to the formation of a holographic superconductor. The full counting statistics of vortices is described by a binomial distribution, in which the mean value is dictated by the KZM and higher-order cumulants share the universal power-law scaling with the quench time. Extreme events associated with large fluctuations no longer exhibit a power-law behavior with the quench time and are characterized by a universal form of the Weibull distribution for different quench rates.


title: Affine connections on complex compact surfaces and Riccati distributions

abstract: Let $M$ be a complex surface. We show that there is a one-to-one correspondence between torsion-free affine connections on $M$ and Riccati distributions on $\mathbb{P}(TM)$. Furthermore, if $M$ is compact, then this correspondence induces a one-to-one correspondence between affine structures on $M$ and Riccati foliations on $\mathbb{P}(TM)$.


title: Unstable kink and anti-kink profile for the sine-Gordon equation on a $\mathcal{Y}$-junction graph with $\delta'$-interaction at the vertex

abstract: The sine-Gordon equation on a metric graph with a structure represented by a $\mathcal{Y}$-junction, is considered. The model is endowed with boundary conditions at the graph-vertex of $\delta'$-interaction type, expressing continuity of the derivatives of the wave functions plus a Kirchhoff-type rule for the self-induced magnetic flux. It is shown that particular stationary, kink and kink/anti-kink soliton profile solutions to the model are linearly (and nonlinearly) unstable. To that end, a recently developed linear instability criterion for evolution models on metric graphs by Angulo and Cavalcante (2020), which provides the sufficient conditions on the linearized operator around the wave to have a pair of real positive/negative eigenvalues, is applied. This leads to the spectral study to the linearize operator and of its Morse index. The analysis is based on analytic perturbation theory, Sturm-Liouville oscillation results and the extension theory of symmetric operators. The methods presented in this manuscript have prospect for the study of the dynamic of solutions for the sine-Gordon model on metric graphs with finite bounds or on metric tree graphs and/or loop graphs.


title: Efficient Discovery of Approximate Order Dependencies

abstract: Order dependencies (ODs) capture relationships between ordered domains of attributes. Approximate ODs (AODs) capture such relationships even when there exist exceptions in the data. During automated discovery of ODs, validation is the process of verifying whether an OD holds. We present an algorithm for validating approximate ODs with significantly improved runtime performance over existing methods for AODs, and prove that it is correct and has optimal runtime. By replacing the validation step in a leading algorithm for approximate OD discovery with ours, we achieve orders-of-magnitude improvements in performance.


title: Remarks on generating realistic synthetic meteoroid orbits

abstract: Context. To identify the real associations of small bodies, we can use synthetic sets of orbits generated by various methods. These are not perfect methods, therefore the assessment of their quality is an essential task. Aims. In this study, we compared five methods for generating synthetic meteoroid orbits. Three of them (ME0, KD10, and KDns) had already been proposed in the literature, while two additional ones (ME1 and ME4) are new methods. Methods. As far as possible, the synthetic orbits were compared with the orbits of the observed meteoroids. For quantitative comparison, we applied a few tests: the chi-square distance and the nearest neighbor NN_N tests used in previous works, and one-dimensional chi-square and Kolmogorov-Smirnov (K-S) tests, as well as a two-dimensional K-S test implemented in this study. To estimate a general property of the orbital sample, we proposed the use of the entropy H_N of the data set based on the nearest neighbor distances. Finally, we did a cluster analysis of the synthetic orbits. We calculated and compared the values of the orbital similarity thresholds. Results. We showed that generating 'realistic' meteoroid orbits and testing their quality is a complex issue. An assessment of the quality of the generated orbits depends on the type of test applied, and it refers to the sample of the observed orbits used. Different tests give different assessments. However, in practice, the investigated methods produced similar results if they were applied correspondingly.


title: Combinatorial approach to spreading processes on networks

abstract: Stochastic spreading models defined on complex network topologies are used to mimic the diffusion of diseases, information, and opinions in real-world systems. Existing theoretical approaches to the characterization of the models in terms of microscopic configurations rely on some approximation of independence among dynamical variables, thus introducing a systematic bias in the prediction of the ground-truth dynamics. Here, we develop a combinatorial framework based on the approximation that spreading may occur only along the shortest paths connecting pairs of nodes. The approximation overestimates dynamical correlations among node states and leads to biased predictions. Systematic bias is, however, pointing in the opposite direction of existing approximations. We show that the combination of the two biased approaches generates predictions of the ground-truth dynamics that are more accurate than the ones given by the two approximations if used in isolation. We further take advantage of the combinatorial approximation to characterize theoretical properties of some inference problems, and show that the reconstruction of microscopic configurations is very sensitive to both the place where and the time when partial knowledge of the system is acquired.


title: Trajectory and orbit of the unique carbonaceous meteorite Flensburg

abstract: The C1-ungrouped carbonaceous chondrite Flensburg fell in Germany on September 12, 2019, in the daytime. We determined the atmospheric trajectory, velocity, and heliocentric orbit using one dedicated AllSky6 meteor camera and three casual video records of the bolide. It was found that the meteorite originated in the vicinity of the 5:2 resonance with Jupiter at heliocentric distance of 2.82 AU. When combined with the bolide energy reported by the U.S. Government sensors (USGS), the pre-atmospheric diameter of the meteoroid was estimated to 2 - 3 meters and the mass to 10,000 - 20,000 kg. The meteoroid fragmented heavily in the atmosphere at heights of 46 - 37 km, under dynamic pressures of 0.7 - 2 MPa. The recovery of just one meteorite suggests that only a very small part of the original mass reached the ground. The bolide velocity vector was compared with that reported by the USGS. There is good agreement in the radiant but the velocity value has been underestimated by the USGS by almost 1 km/s.


title: Improving Training Result of Partially Observable Markov Decision Process by Filtering Beliefs

abstract: In this study I proposed a filtering beliefs method for improving performance of Partially Observable Markov Decision Processes(POMDPs), which is a method wildly used in autonomous robot and many other domains concerning control policy. My method search and compare every similar belief pair. Because a similar belief have insignificant influence on control policy, the belief is filtered out for reducing training time. The empirical results show that the proposed method outperforms the point-based approximate POMDPs in terms of the quality of training results as well as the efficiency of the method.


title: The case for psychometric artificial general intelligence

abstract: A short review of the literature on measurement and detection of artificial general intelligence is made. Proposed benchmarks and tests for artificial general intelligence are critically evaluated against multiple criteria. Based on the findings, the most promising approaches are identified and some useful directions for future work are proposed.


title: Maximum a Posteriori Inference of Random Dot Product Graphs via Conic Programming

abstract: We present a convex cone program to infer the latent probability matrix of a random dot product graph (RDPG). The optimization problem maximizes the Bernoulli maximum likelihood function with an added nuclear norm regularization term. The dual problem has a particularly nice form, related to the well-known semidefinite program relaxation of the MaxCut problem. Using the primal-dual optimality conditions, we bound the entries and rank of the primal and dual solutions. Furthermore, we bound the optimal objective value and prove asymptotic consistency of the probability estimates of a slightly modified model under mild technical assumptions. Our experiments on synthetic RDPGs not only recover natural clusters, but also reveal the underlying low-dimensional geometry of the original data. We also demonstrate that the method recovers latent structure in the Karate Club Graph and synthetic U.S. Senate vote graphs and is scalable to graphs with up to a few hundred nodes.


title: Non-equilibrium Flux Rope Formation by Confined Flares Preceding a Solar Coronal Mass Ejection

abstract: We present evidence that a magnetic flux rope was formed before a coronal mass ejection (CME) and its associated long-duration flare during a pair of preceding confined eruptions and associated impulsive flares in a compound event in NOAA Active Region 12371. Extreme-ultraviolet images and the extrapolated nonlinear force-free field show that the first two, impulsive flares, SOL2015-06-21T01:42, result from the confined eruption of highly sheared low-lying flux, presumably a seed flux rope. The eruption spawns a vertical current sheet, where magnetic reconnection creates flare ribbons and loops, a nonthermal microwave source, and a sigmoidal hot channel which can only be interpreted as a magnetic flux rope. Until the subsequent long-duration flare, SOL2015-06-21T02:36, the sigmoid's elbows expand, while its center remains stationary, suggesting non-equilibrium but not yet instability. The "flare reconnection" during the confined eruptions acts like "tether-cutting reconnection" whose flux feeding of the rope leads to instability. The subsequent full eruption is seen as an accelerated rise of the entire hot channel, seamlessly evolving into the fast halo CME. Both the confined and ejective eruptions are consistent with the onset of the torus instability in the dipped decay index profile which results from the region's two-scale magnetic structure. We suggest that the formation or enhancement of a non-equilibrium but stable flux rope by confined eruptions is a generic process occurring prior to many CMEs.


title: Efficiency corrections for factorial moments and cumulants of overlapping sets of particles

abstract: In this note we discuss subtleties associated with the efficiency corrections for measurements of off-diagonal cumulants and factorial moments for a situation when one deals with overlapping sets of particles, such as correlations between numbers of protons and positively charged particles. In particular, we discuss the situation commonly encountered in heavy-ion experiments, where first all charges are reconstructed and then protons are selected from these charges by an additional particle identification procedure. We present the efficiency correction formulas for the case when the detection efficiencies follow a binomial distribution.


title: Quick Annotator: an open-source digital pathology based rapid image annotation tool

abstract: Image based biomarker discovery typically requires an accurate segmentation of histologic structures (e.g., cell nuclei, tubules, epithelial regions) in digital pathology Whole Slide Images (WSI). Unfortunately, annotating each structure of interest is laborious and often intractable even in moderately sized cohorts. Here, we present an open-source tool, Quick Annotator (QA), designed to improve annotation efficiency of histologic structures by orders of magnitude. While the user annotates regions of interest (ROI) via an intuitive web interface, a deep learning (DL) model is concurrently optimized using these annotations and applied to the ROI. The user iteratively reviews DL results to either (a) accept accurately annotated regions, or (b) correct erroneously segmented structures to improve subsequent model suggestions, before transitioning to other ROIs. We demonstrate the effectiveness of QA over comparable manual efforts via three use cases. These include annotating (a) 337,386 nuclei in 5 pancreatic WSIs, (b) 5,692 tubules in 10 colorectal WSIs, and (c) 14,187 regions of epithelium in 10 breast WSIs. Efficiency gains in terms of annotations per second of 102x, 9x, and 39x were respectively witnessed while retaining f-scores >.95, suggesting QA may be a valuable tool for efficiently fully annotating WSIs employed in downstream biomarker studies.


title: VFSIE -- Development and Testing Framework for Federated Science Instruments

abstract: Recent developments in softwarization of networked infrastructures combined with containerization of computing workflows promise unprecedented compute anywhere and everywhere capabilities for federations of edge and remote computing systems and science instruments. The development and testing of software stacks that implement these capabilities over physical production federations, however, is not very practical nor cost-effective. In response, we develop a digital twin of the physical infrastructure, called the Virtual Federated Science Instrument Environment (VFSIE). This framework emulates the federation using containers and hosts connected over an emulated network, and supports the development and testing of federation stacks and workflows. We illustrate its use in a case study involving Jupiter Notebook computations and instrument control.


title: Adaptive Synthetic Characters for Military Training

abstract: Behaviors of the synthetic characters in current military simulations are limited since they are generally generated by rule-based and reactive computational models with minimal intelligence. Such computational models cannot adapt to reflect the experience of the characters, resulting in brittle intelligence for even the most effective behavior models devised via costly and labor-intensive processes. Observation-based behavior model adaptation that leverages machine learning and the experience of synthetic entities in combination with appropriate prior knowledge can address the issues in the existing computational behavior models to create a better training experience in military training simulations. In this paper, we introduce a framework that aims to create autonomous synthetic characters that can perform coherent sequences of believable behavior while being aware of human trainees and their needs within a training simulation. This framework brings together three mutually complementary components. The first component is a Unity-based simulation environment - Rapid Integration and Development Environment (RIDE) - supporting One World Terrain (OWT) models and capable of running and supporting machine learning experiments. The second is Shiva, a novel multi-agent reinforcement and imitation learning framework that can interface with a variety of simulation environments, and that can additionally utilize a variety of learning algorithms. The final component is the Sigma Cognitive Architecture that will augment the behavior models with symbolic and probabilistic reasoning capabilities. We have successfully created proof-of-concept behavior models leveraging this framework on realistic terrain as an essential step towards bringing machine learning into military simulations.


title: Computability of magnetic Schr\"odinger and Hartree equations on unbounded domains

abstract: We study the computability of global solutions to linear Schr\"odinger equations with magnetic fields and the Hartree equation on $\mathbb R^3$. We show that the solution can always be globally computed with error control on the entire space if there exist a priori decay estimates in generalized Sobolev norms on the initial state. Using weighted Sobolev norm estimates, we show that the solution can be computed with uniform computational runtime with respect to initial states and potentials. We finally study applications in optimal control theory and provide numerical examples.


title: A curious identity that implies Faber's conjecture

abstract: We prove that a curious generating series identity implies Faber's intersection number conjecture (by showing that it implies a combinatorial identity already given in arXiv:1902.02742) and give a new proof of Faber's conjecture by directly proving this identity.


title: Predicting Illness for a Sustainable Dairy Agriculture: Predicting and Explaining the Onset of Mastitis in Dairy Cows

abstract: Mastitis is a billion dollar health problem for the modern dairy industry, with implications for antibiotic resistance. The use of AI techniques to identify the early onset of this disease, thus has significant implications for the sustainability of this agricultural sector. Current approaches to treating mastitis involve antibiotics and this practice is coming under ever increasing scrutiny. Using machine learning models to identify cows at risk of developing mastitis and applying targeted treatment regimes to only those animals promotes a more sustainable approach. Incorrect predictions from such models, however, can lead to monetary losses, unnecessary use of antibiotics, and even the premature death of animals, so it is important to generate compelling explanations for predictions to build trust with users and to better support their decision making. In this paper we demonstrate a system developed to predict mastitis infections in cows and provide explanations of these predictions using counterfactuals. We demonstrate the system and describe the engagement with farmers undertaken to build it.


title: Lifting trianguline Galois representations along isogenies

abstract: Given a central isogeny $\pi\colon G\to H$ of connected reductive $\overline{\mathbb Q}_p$-groups, and a local Galois representation $\rho$ valued in $H(\overline{\mathbb Q}_p)$ that is trianguline in the sense of Daruvar, we study whether a lift of $\rho$ along $\pi$ is still trianguline. We give a positive answer under weak conditions on the Hodge--Tate--Sen weights of $\rho$, and the assumption that the trianguline parameter of $\rho$ can be lifted along $\pi$. This is an analogue of the results proved by Wintenberger, Conrad, Patrikis, and Hoang Duc for $p$-adic Hodge-theoretic properties of $\rho$. We describe a Tannakian framework for all such lifting problems, and we reinterpret the existence of a lift with prescribed local properties in terms of the simple connectedness of a certain pro-semisimple group. While applying this formalism to the case of trianguline representations, we extend a result of Berger and Di Matteo on triangulable tensor products of $B$-pairs.


title: A Robust Illumination-Invariant Camera System for Agricultural Applications

abstract: Object detection and semantic segmentation are two of the most widely adopted deep learning algorithms in agricultural applications. One of the major sources of variability in image quality acquired in the outdoors for such tasks is changing lighting condition that can alter the appearance of the objects or the contents of the entire image. While transfer learning and data augmentation to some extent reduce the need for large amount of data to train deep neural networks, the large variety of cultivars and the lack of shared datasets in agriculture makes wide-scale field deployments difficult. In this paper, we present a high throughput robust active lighting-based camera system that generates consistent images in all lighting conditions. We detail experiments that show the consistency in images quality leading to relatively fewer images to train deep neural networks for the task of object detection. We further present results from field experiment under extreme lighting conditions where images without active lighting significantly lack to provide consistent results. The experimental results show that on average, deep nets for object detection trained on consistent data required nearly four times less data to achieve similar level of accuracy. This proposed work could potentially provide pragmatic solutions to computer vision needs in agriculture.


title: Photoionized Herbig-Haro objects in the Orion Nebula through deep high-spectral resolution spectroscopy I: HH529II and III

abstract: We present the analysis of physical conditions, chemical composition and kinematic properties of two bow shocks -HH529 II and HH529 III- of the fully photoionized Herbig-Haro object HH 529 in the Orion Nebula. The data were obtained with the Ultraviolet and Visual Echelle Spectrograph at the 8.2m Very Large Telescope and 20 years of Hubble Space Telescope imaging. We separate the emission of the high-velocity components of HH529 II and III from the nebular one, determining $n_{\rm e}$ and $T_{\rm e}$ in all components through multiple diagnostics, including some based on recombination lines (RLs). We derive ionic abundances of several ions, based on collisionally excited lines (CELs) and RLs. We find a good agreement between the predictions of the temperature fluctuation paradigm ($t^2$) and the abundance discrepancy factor (ADF) in the main emission of the Orion Nebula. However, $t^2$ can not account for the higher ADF found in HH 529 II and III. We estimate a 6% of Fe in the gas-phase of the Orion Nebula, while this value increases to 14% in HH 529 II and between 10% and 25% in HH 529 III. We find that such increase is probably due to the destruction of dust grains in the bow shocks. We find an overabundance of C, O, Ne, S, Cl and Ar of about 0.1 dex in HH 529 II-III that might be related to the inclusion of H-deficient material from the source of the HH 529 flow. We determine the proper motions of HH 529 finding multiple discrete features. We estimate a flow angle with respect to the sky plane of $58\pm 4^{\circ}$ for HH 529.


title: A perpendicular field electromagnet with a 250mm access bore

abstract: We present a laboratory electromagnet capable of generating magnetic fields up to $\pm$0.48T, specifically designed as a perpendicular flux source for thin film samples in an ambient environment. The magnet features a 250mm diameter clear access bore above the sample plane, thus offering compatibility with a wide variety of experimental apparatus. Despite its generous size, the magnet thermally dissipates less than 1kW at maximum field. A shaped ferromagnetic core is used to amplify and homogenize the field $\mathbf{B}$, leading to an estimated uniformity of $\pm$1.5mT ($\lesssim$0.3%) in $\left|\mathbf{B}\right|$ within a 28mm$^2$ zone at maximum field. The sample stage is thermally regulated and isolated from the magnet, enabling temperature control with $\pm$5mK precision even at elevated magnetic fields.


title: JSJ decompositions and polytopes for two-generator one-relator groups

abstract: We provide a direct connection between the $\mathcal{Z}_{\max}$ (or essential) JSJ decomposition and the Friedl--Tillmann polytope of a hyperbolic two-generator one-relator group with abelianisation of rank $2$. We deduce various structural and algorithmic properties, like the existence of a quadratic-time algorithm computing the $\mathcal{Z}_{\max}$-JSJ decomposition of such groups.


title: Regularization-Agnostic Compressed Sensing MRI Reconstruction with Hypernetworks

abstract: Reconstructing under-sampled k-space measurements in Compressed Sensing MRI (CS-MRI) is classically solved with regularized least-squares. Recently, deep learning has been used to amortize this optimization by training reconstruction networks on a dataset of under-sampled measurements. Here, a crucial design choice is the regularization function(s) and corresponding weight(s). In this paper, we explore a novel strategy of using a hypernetwork to generate the parameters of a separate reconstruction network as a function of the regularization weight(s), resulting in a regularization-agnostic reconstruction model. At test time, for a given under-sampled image, our model can rapidly compute reconstructions with different amounts of regularization. We analyze the variability of these reconstructions, especially in situations when the overall quality is similar. Finally, we propose and empirically demonstrate an efficient and data-driven way of maximizing reconstruction performance given limited hypernetwork capacity. Our code is publicly available at https://github.com/alanqrwang/RegAgnosticCSMRI.


title: Provably Efficient Reinforcement Learning with Linear Function Approximation Under Adaptivity Constraints

abstract: We study reinforcement learning (RL) with linear function approximation under the adaptivity constraint. We consider two popular limited adaptivity models: the batch learning model and the rare policy switch model, and propose two efficient online RL algorithms for episodic linear Markov decision processes, where the transition probability and the reward function can be represented as a linear function of some known feature mapping. In specific, for the batch learning model, our proposed LSVI-UCB-Batch algorithm achieves an $\tilde O(\sqrt{d^3H^3T} + dHT/B)$ regret, where $d$ is the dimension of the feature mapping, $H$ is the episode length, $T$ is the number of interactions and $B$ is the number of batches. Our result suggests that it suffices to use only $\sqrt{T/dH}$ batches to obtain $\tilde O(\sqrt{d^3H^3T})$ regret. For the rare policy switch model, our proposed LSVI-UCB-RareSwitch algorithm enjoys an $\tilde O(\sqrt{d^3H^3T[1+T/(dH)]^{dH/B}})$ regret, which implies that $dH\log T$ policy switches suffice to obtain the $\tilde O(\sqrt{d^3H^3T})$ regret. Our algorithms achieve the same regret as the LSVI-UCB algorithm (Jin et al., 2019), yet with a substantially smaller amount of adaptivity. We also establish a lower bound for the batch learning model, which suggests that the dependency on $B$ in our regret bound is tight.


title: Generating Masks from Boxes by Mining Spatio-Temporal Consistencies in Videos

abstract: Segmenting objects in videos is a fundamental computer vision task. The current deep learning based paradigm offers a powerful, but data-hungry solution. However, current datasets are limited by the cost and human effort of annotating object masks in videos. This effectively limits the performance and generalization capabilities of existing video segmentation methods. To address this issue, we explore weaker form of bounding box annotations. We introduce a method for generating segmentation masks from per-frame bounding box annotations in videos. To this end, we propose a spatio-temporal aggregation module that effectively mines consistencies in the object and background appearance across multiple frames. We use our resulting accurate masks for weakly supervised training of video object segmentation (VOS) networks. We generate segmentation masks for large scale tracking datasets, using only their bounding box annotations. The additional data provides substantially better generalization performance leading to state-of-the-art results in both the VOS and more challenging tracking domain.


title: Bose-Luttinger Liquids

abstract: We study systems of bosons whose low-energy excitations are located along a spherical submanifold of momentum space. We argue for the existence of gapless phases which we dub "Bose-Luttinger liquids", which in some respects can be regarded as bosonic versions of Fermi liquids, while in other respects exhibit striking differences. These phases have bosonic analogues of Fermi surfaces, and like Fermi liquids they possess a large number of emergent conservation laws. Unlike Fermi liquids however these phases lack quasiparticles, possess different RG flows, and have correlation functions controlled by a continuously varying exponent $\eta$, which characterizes the anomalous dimension of the bosonic field. We show that when $\eta>1$, these phases are stable with respect to all symmetric perturbations. These theories may be of relevance to several physical situations, including frustrated quantum magnets, rotons in superfluid He, and superconductors with finite-momentum pairing. As a concrete application, we show that coupling a Bose-Luttinger liquid to a conventional Fermi liquid produces a resistivity scaling with temperature as $T^\eta$. We argue that this may provide an explanation for the non-Fermi liquid resistivity observed in the paramagnetic phase of MnSi.


title: Federated Learning over Noisy Channels: Convergence Analysis and Design Examples

abstract: Does Federated Learning (FL) work when both uplink and downlink communications have errors? How much communication noise can FL handle and what is its impact to the learning performance? This work is devoted to answering these practically important questions by explicitly incorporating both uplink and downlink noisy channels in the FL pipeline. We present several novel convergence analyses of FL over simultaneous uplink and downlink noisy communication channels, which encompass full and partial clients participation, direct model and model differential transmissions, and non-independent and identically distributed (IID) local datasets. These analyses characterize the sufficient conditions for FL over noisy channels to have the same convergence behavior as the ideal case of no communication error. More specifically, in order to maintain the O(1/T) convergence rate of FedAvg with perfect communications, the uplink and downlink signal-to-noise ratio (SNR) for direct model transmissions should be controlled such that they scale as O(t^2) where t is the index of communication rounds, but can stay constant for model differential transmissions. The key insight of these theoretical results is a "flying under the radar" principle - stochastic gradient descent (SGD) is an inherent noisy process and uplink/downlink communication noises can be tolerated as long as they do not dominate the time-varying SGD noise. We exemplify these theoretical findings with two widely adopted communication techniques - transmit power control and diversity combining - and further validating their performance advantages over the standard methods via extensive numerical experiments using several real-world FL tasks.