title: Turbulent, pinned superfluids in neutron stars and pulsar glitch recoveries

abstract: Pulsar glitches offer an insight into the dynamics of superfluids in the high density interior of a neutron star. To model these phenomena, however, one needs to have an understanding of the dynamics of a turbulent array of superfluid vortices moving through a pinning lattice. In this paper we develop a theoretical approach to describe vortex mediated mutual friction in a pinned, turbulent and rotating superfluid. Our model is then applied to the study of the post glitch rotational evolution in the Vela pulsar and in PSR J0537-6910. We show that in both cases a turbulent model fits the evolution of the spin frequency derivative better than a laminar one. We also predict that the second derivative of the frequency after a glitch should be correlated with the waiting time since the previous glitch, which we find to be consistent with observational data for these pulsars. The main conclusion of this paper is that in the post-glitch rotational evolution of these two pulsars we are most likely observing the response to the glitch of a pinned turbulent region of the star (possibly the crust) and not the laminar response of a regular straight vortex array.


title: Multi-Objective Neural Architecture Search Based on Diverse Structures and Adaptive Recommendation

abstract: The search space of neural architecture search (NAS) for convolutional neural network (CNN) is huge. To reduce searching cost, most NAS algorithms use fixed outer network level structure, and search the repeatable cell structure only. Such kind of fixed architecture performs well when enough cells and channels are used. However, when the architecture becomes more lightweight, the performance decreases significantly. To obtain better lightweight architectures, more flexible and diversified neural architectures are in demand, and more efficient methods should be designed for larger search space. Motivated by this, we propose MoARR algorithm, which utilizes the existing research results and historical information to quickly find architectures that are both lightweight and accurate. We use the discovered high-performance cells to construct network architectures. This method increases the network architecture diversity while also reduces the search space of cell structure design. In addition, we designs a novel multi-objective method to effectively analyze the historical evaluation information, so as to efficiently search for the Pareto optimal architectures with high accuracy and small parameter number. Experimental results show that our MoARR can achieve a powerful and lightweight model (with 1.9% error rate and 2.3M parameters) on CIFAR-10 in 6 GPU hours, which is better than the state-of-the-arts. The explored architecture is transferable to ImageNet and achieves 76.0% top-1 accuracy with 4.9M parameters.


title: On the design of a CST system and its extension to a bi-imaging modality

abstract: In material testing applications, Computed Tomography is a well established imaging technique that allows the recovery of the attenuation map of an object. Conventional modalities exploit only primary radiation and although in the energy ranges used in industrial applications Compton scatter radiation is significant, it is removed from the measured data. On the contrary, Compton Scattering Tomography not only accounts for the Compton effect but also uses it to image material electronic density. Despite its promising applications, some aspects of Compton scattering tomography have not been studied so far and, since they are necessary for the design of a operational system, they need to be addressed. In this paper we analyze the effect of some physical influences regarding real detectors for the Circular Compton Scattering tomography, a system recently introduced by the authors. This is accomplished through the formulation of a new weighted Radon transform. In addition, we propose to adapt the acquired data with pre-processing steps so that they are suitable for reconstruction with a filtered back-projection type reconstruction algorithm, and thus, properly deal with missing data of real measurements. Finally, we introduce a bi-imaging configuration that allows recovering simultaneously the electronic density map of the object as well as its attenuation map.


title: Non-Gaussian component analysis: testing the dimension of the signal subspace

abstract: Dimension reduction is a common strategy in multivariate data analysis which seeks a subspace which contains all interesting features needed for the subsequent analysis. Non-Gaussian component analysis attempts for this purpose to divide the data into a non-Gaussian part, the signal, and a Gaussian part, the noise. We will show that the simultaneous use of two scatter functionals can be used for this purpose and suggest a bootstrap test to test the dimension of the non-Gaussian subspace. Sequential application of the test can then for example be used to estimate the signal dimension.


title: $\alpha$-In$_2$Se$_3$ based Ferroelectric-Semiconductor Metal Junction for Non-Volatile Memories

abstract: In this work, we theoretically and experimentally investigate the working principle and non-volatile memory (NVM) functionality of 2D $\alpha$-In$_2$Se$_3$ based ferroelectric-semiconductor-metal-junction (FeSMJ). First, we analyze the semiconducting and ferroelectric properties of $\alpha$-In$_2$Se$_3$ van-der-Waals (vdW) stack via experimental characterization and first-principle simulations. Then, we develop a FeSMJ device simulation framework by self-consistently solving Landau-Ginzburg-Devonshire (LGD) equation, Poisson's equation, and charge-transport equations. Based on the extracted FeS parameters, our simulation results show good agreement with the experimental characteristics of our fabricated $\alpha$-In$_2$Se$_3$ based FeSMJ. Our analysis suggests that the vdW gap between the metal and FeS plays a key role to provide FeS polarization-dependent modulation of Schottky barrier heights. Further, we show that the thickness scaling of FeS leads to a reduction in read/write voltage and an increase in distinguishability. Array-level analysis of FeSMJ NVM suggests a 5.47x increase in sense margin, 18.18x reduction in area and lower read-write power with respect to Fe insulator tunnel junction (FTJ).


title: robo-gym -- An Open Source Toolkit for Distributed Deep Reinforcement Learning on Real and Simulated Robots

abstract: Applying Deep Reinforcement Learning (DRL) to complex tasks in the field of robotics has proven to be very successful in the recent years. However, most of the publications focus either on applying it to a task in simulation or to a task in a real world setup. Although there are great examples of combining the two worlds with the help of transfer learning, it often requires a lot of additional work and fine-tuning to make the setup work effectively. In order to increase the use of DRL with real robots and reduce the gap between simulation and real world robotics, we propose an open source toolkit: robo-gym. We demonstrate a unified setup for simulation and real environments which enables a seamless transfer from training in simulation to application on the robot. We showcase the capabilities and the effectiveness of the framework with two real world applications featuring industrial robots: a mobile robot and a robot arm. The distributed capabilities of the framework enable several advantages like using distributed algorithms, separating the workload of simulation and training on different physical machines as well as enabling the future opportunity to train in simulation and real world at the same time. Finally we offer an overview and comparison of robo-gym with other frequently used state-of-the-art DRL frameworks.


title: GossipSub: Attack-Resilient Message Propagation in the Filecoin and ETH2.0 Networks

abstract: Permissionless blockchain environments necessitate the use of a fast and attack-resilient message propagation protocol for Block and Transaction messages to keep nodes synchronised and avoid forks. We present GossipSub, a gossip-based pubsub protocol, which, in contrast to past pubsub protocols, incorporates resilience against a wide spectrum of attacks. Firstly, GossipSub's mesh construction implements an eager push model keeps the fan-out of the pubsub delivery low and balances excessive bandwidth consumption and fast message propagation throughout the mesh. Secondly, through gossip dissemination, GossipSub realises a lazy-pull model to reach nodes far-away or outside the mesh. Thirdly, through constant observation, nodes maintain a score profile for the peers they are connected to, allowing them to choose the most well-behaved nodes to include in the mesh. Finally, and most importantly, a number of tailor-made mitigation strategies designed specifically for these three components make GossipSub resilient against the most challenging Sybil-based attacks. We test GossipSub in a testbed environment involving more than 5000 VM nodes deployed on AWS and show that it stays immune to all considered attacks. GossipSub is currently being integrated as the main messaging layer protocol in the Filecoin and the Ethereum 2.0 (ETH2.0) blockchains.


title: On $B_1$-EPG and EPT graphs

abstract: This research contains as a main result the prove that every Chordal $B_1$-EPG graph is simultaneously in the graph classes VPT and EPT. In addition, we describe structures that must be present in any $B_1$-EPG graph which does not admit a Helly-$B_1$-EPG representation. In particular, this paper presents some features of non-trivial families of graphs properly contained in Helly-$B_1$ EPG, namely Bipartite, Block, Cactus and Line of Bipartite graphs.


title: First application of the failure forecast method to the GPS horizontal displacement data collected in the Campi Flegrei caldera (Italy) in 2011-2020

abstract: Using the failure forecast method we describe a first assessment of failure time on present-day unrest signals at Campi Flegrei caldera (Italy) based on the horizontal deformation data collected in [2011, 2020] at eleven GPS stations.


title: Signatures of Long-Range Spin-Triplet Component in Andreev Interferometer

abstract: We analyze the Josephson,$I_{J}$, and dissipative,$I_{V}$, currents in a magnetic Andreev interferometer in the presence of the long-range spin triplet component (LRSTC). Andreev interferometer has a cross-like geometry and consists of a SF$_{l}$ - F - F$_{r}$S circuit and perpendicular to it a N - F - N circuit, where S, F$_{l,r}$ are superconductors and weak ferromagnets with non-collinear magnetisations $\mathbf{M}_{l,r}$, F is a strong ferromagnet with a high exchange energy. The ferromagnetic wire F can be replaced with a non-magnetic wire n. In the limit of a weak proximity effect (PE), we obtain simple analytical expressions for the currents $I_{J}$ and $I_{V}$. In particular, the critical Josephson current in a long Josephson junction (JJ) is $I_{c}(\alpha ,\beta )=I_{0c}\chi (\alpha ,\beta )$, where the function $% \chi (\alpha ,\beta )$ is a function of angles $(\alpha ,\beta )_{l,r}$ that characterize the orientations of $\mathbf{M}_{l,r}$. The oscillating part of the dissipative current $I_{osc}(V)=\chi (\alpha ,\beta )\cos \varphi I_{0}(V)$ in the N - F(n)- N circuit depends on the angles $(\alpha ,\beta )_{l,r}$ in the same way as the critical Josephson current $I_{c}(\alpha ,\beta )$, but can be much greater than the $I_{c}(\alpha ,\beta )$. At some angles the current $I_{c}(\alpha ,\beta )$ changes sign. We briefly discuss a relation between the negative current $I_{c}$ and paramagnetic response. We argue that the measurements of the conductance in N - F(n) - N circuit can be used as another complementary method to identify the LRSTC in S/F heterostructures.


title: Sentiment Polarity Detection on Bengali Book Reviews Using Multinomial Naive Bayes

abstract: Recently, sentiment polarity detection has increased attention to NLP researchers due to the massive availability of customer's opinions or reviews in the online platform. Due to the continued expansion of e-commerce sites, the rate of purchase of various products, including books, are growing enormously among the people. Reader's opinions/reviews affect the buying decision of a customer in most cases. This work introduces a machine learning-based technique to determine sentiment polarities (either positive or negative category) from Bengali book reviews. To assess the effectiveness of the proposed technique, a corpus with 2000 reviews on Bengali books is developed. A comparative analysis with various approaches (such as logistic regression, naive Bayes, SVM, and SGD) also performed by taking into consideration of the unigram, bigram, and trigram features, respectively. Experimental result reveals that the multinomial Naive Bayes with unigram feature outperforms the other techniques with 84% accuracy on the test set.


title: Intelligent Reflecting Surface Aided Wireless Communications: A Tutorial

abstract: Intelligent reflecting surface (IRS) is an enabling technology to engineer the radio signal prorogation in wireless networks. By smartly tuning the signal reflection via a large number of low-cost passive reflecting elements, IRS is capable of dynamically altering wireless channels to enhance the communication performance. It is thus expected that the new IRS-aided hybrid wireless network comprising both active and passive components will be highly promising to achieve a sustainable capacity growth cost-effectively in the future. Despite its great potential, IRS faces new challenges to be efficiently integrated into wireless networks, such as reflection optimization, channel estimation, and deployment from communication design perspectives. In this paper, we provide a tutorial overview of IRS-aided wireless communication to address the above issues, and elaborate its reflection and channel models, hardware architecture and practical constraints, as well as various appealing applications in wireless networks. Moreover, we highlight important directions worthy of further investigation in future work.


title: Efficient excitations and spectra within a perturbative renormalization approach

abstract: We present a self-consistent approach for computing the correlated quasiparticle spectrum of charged excitations in iterative $\mathcal{O}[N^5]$ computational time. This is based on the auxiliary second-order Green's function approach [O. Backhouse \textit{et al.}, JCTC (2020)], in which a self-consistent effective Hamiltonian is constructed by systematically renormalizing the dynamical effects of the self-energy at second-order perturbation theory. From extensive benchmarking across the W4-11 molecular test set, we show that the iterative renormalization and truncation of the effective dynamical resolution arising from the $2h1p$ and $1h2p$ spaces can substantially improve the quality of the resulting ionization potential and electron affinity predictions compared to benchmark values. The resulting method is shown to be superior in accuracy to similarly scaling quantum chemical methods for charged excitations in EOM-CC2 and ADC(2), across this test set, while the self-consistency also removes the dependence on the underlying mean-field reference. The approach also allows for single-shot computation of the entire quasiparticle spectrum, which is applied to the benzoquinone molecule and demonstrates the reduction in the single-particle gap due to the correlated physics, and gives direct access to the localization of the Dyson orbitals.


title: A New Model-Free Method for MIMO Systems and Discussion on Model-Free or Model-Based

abstract: Current model-free adaptive control (MFAC) can hardly deal with the time delay problem in multiple-input multiple-output (MIMO) systems. To solve this problem, a novel model-free adaptive predictive control (MFAPC) method is proposed. Compared to the current MFAC, i) the proposed method is based on a kind of prediction model which derives from the equivalent-dynamic-linearization model (EDLM); ii) the previous assumptions are relaxed and the application range of MFAPC are extended. The leading coefficient of the control input vector in system description is no more restricted to the diagonally dominant square matrix and the permissible ranges of pseudo orders Ly and Lu are extended; iii) the performance analysis and the issue of how to choose the matrix {\lambda} are completed by an easy manner of analyzing the function of the closed-loop poles, however, both problems may not be realized by the previous contraction mapping method.


title: Self-consistent electron-THF cross sections derived using data-driven swarm analysis with a neural network model

abstract: We present a set of self-consistent cross sections for electron transport in gaseous tetrahydrofuran (THF), that refines the set published in our previous study [J. de Urquijo et al., J. Chem. Phys. 151, 054309 (2019)] by proposing modifications to the quasielastic momentum transfer, neutral dissociation, ionisation and electron attachment cross sections. These adjustments are made through the analysis of pulsed-Townsend swarm transport coefficients, for electron transport in pure THF and in mixtures of THF with argon. To automate this analysis, we employ a neural network model that is trained to solve this inverse swarm problem for realistic cross sections from the LXCat project. The accuracy, completeness and self-consistency of the proposed refined THF cross section set is assessed by comparing the analysed swarm transport coefficient measurements to those simulated via the numerical solution of Boltzmann's equation.


title: Yield curve and macroeconomy interaction: evidence from the non-parametric functional lagged regression approach

abstract: Viewing a yield curve as a sparse collection of measurements on a latent continuous random function allows us to model it statistically as a sparsely observed functional time series. Doing so, we use the state-of-the-art methods in non-parametric statistical inference for sparsely observed functional time series to analyse the lagged regression dependence of the US Treasury yield curve on US macroeconomic variables. Our non-parametric analysis confirms previous findings established under parametric assumptions, namely a strong impact of the federal funds rate on the short end of the yield curve and a moderate effect of the annual inflation on the longer end of the yield curve.


title: Information Theoretic Data Injection Attacks with Sparsity Constraints

abstract: Information theoretic sparse attacks that minimize simultaneously the information obtained by the operator and the probability of detection are studied in a Bayesian state estimation setting. The attack construction is formulated as an optimization problem that aims to minimize the mutual information between the state variables and the observations while guaranteeing the stealth of the attack. Stealth is described in terms of the Kullback-Leibler (KL) divergence between the distributions of the observations under attack and without attack. To overcome the difficulty posed by the combinatorial nature of a sparse attack construction, the attack case in which only one sensor is compromised is analytically solved first. The insight generated in this case is then used to propose a greedy algorithm that constructs random sparse attacks. The performance of the proposed attack is evaluated in the IEEE 30 Bus Test Case.


title: Approximation of partial differential equations on compact resistance spaces

abstract: We consider linear partial differential equations on resistance spaces that are uniformly elliptic and parabolic in the sense of quadratic forms and involve abstract gradient and divergence terms. Our main interest is to provide graph and metric graph approximations for their unique solutions. For families of equations with different coefficients on a single compact resistance space we prove that solutions have accumulation points with respect to the uniform convergence in space, provided that the coefficients remain bounded. If in a sequence of equations the coefficients converge suitably, the solutions converge uniformly along a subsequence. For the special case of local resistance forms on finitely ramified sets we also consider sequences of resistance spaces approximating the finitely ramified set from within. Under suitable assumptions on the coefficients (extensions of) linearizations of the solutions of equations on the approximating spaces accumulate or even converge uniformly along a subsequence to the solution of the target equation on the finitely ramified set. The results cover discrete and metric graph approximations, and both are discussed.


title: Building Reservoir Computing Hardware Using Low Energy-Barrier Magnetics

abstract: Biologically inspired recurrent neural networks, such as reservoir computers are of interest in designing spatio-temporal data processors from a hardware point of view due to the simple learning scheme and deep connections to Kalman filters. In this work we discuss using in-depth simulation studies a way to construct hardware reservoir computers using an analog stochastic neuron cell built from a low energy-barrier magnet based magnetic tunnel junction and a few transistors. This allows us to implement a physical embodiment of the mathematical model of reservoir computers. Compact implementation of reservoir computers using such devices may enable building compact, energy-efficient signal processors for standalone or in-situ machine cognition in edge devices.


title: Spatio-temporal representation of long-delayed systems: an alternative approach

abstract: Dynamical systems with long delay feedback can exhibit complicated temporal phenomena, which once re-organized in a two-dimensional space are reminiscent of spatio-temporal behavior. In this framework, normal forms description have been developed to reproduce the dynamics and the opportunity to treat the corresponding variables as true space and time has been since established. However, recently an alternative approach has been proposed in Ref. \cite{Marino2018} with a different interpretation of the variables involved, which takes better into account their physical character and allows for an easier determination of the normal forms. In this paper, we extend such idea and apply it to a number of paradigmatic examples, paving the way to a re-thinking of the concept of spatio-temporal representation of long-delayed systems.


title: Convex hulls of several multidimensional Gaussian random walks

abstract: We derive explicit formulae for the expected volume and the expected number of facets of the convex hull of several multidimensional Gaussian random walks in terms of the Gaussian persistence probabilities. Special cases include the already known results about the convex hull of a single Gaussian random walk and the $d$-dimensional Gaussian polytope with or without the origin.


title: Practical security analysis of a continuous-variable quantum random number generator with a noisy local oscillator

abstract: A quantum random-number generator (QRNG) can theoretically generate unpredictable random numbers with perfect devices and is an ideal and secure source of random numbers for cryptography. However, the practical implementations always contain imperfections, which will greatly influence the randomness of the final output and even open loopholes to eavesdroppers. Recently, Thewes et al. experimentally demonstrated a continuous-variable eavesdropping attack, based on heterodyne detection, on a trusted continuous-variable QRNG in Phys. Rev. A 100, 052318 (2019), yet like in many other practical continuous-variable QRNG studies, they always supposed the local oscillator was stable and ignored its fluctuation which might lead to security threats such as wavelength attack. In this work, based on the theory of the conditional min-entropy, imperfections of the practical security of continuous-variable QRNGs are systematically analyzed, especially the local oscillator fluctuation under imbalanced homodyne detection. Experiments of a practical QRNG based on vacuum fluctuation are demonstrated to show the influence of local oscillator fluctuation on the total measurement noise variances and the practical conditional min-entropy with beam splitters of different transmittances. Moreover, a local oscillator monitoring method is proposed for the practical continuous-variable QRNG, which can be used to calibrate the practical conditional min-entropy.


title: Piecewise semi-ellipsoidal control invariant sets

abstract: Computing control invariant sets is paramount in many applications. The families of sets commonly used for computations are ellipsoids and polyhedra. However, searching for a control invariant set over the family of ellipsoids is conservative for systems more complex than unconstrained linear time invariant systems. Moreover, even if the control invariant set may be approximated arbitrarily closely by polyhedra, the complexity of the polyhedra may grow rapidly in certain directions. An attractive generalization of these two families are piecewise semi-ellipsoids. We provide in this paper a convex programming approach for computing control invariant sets of this family.


title: Certifying Decision Trees Against Evasion Attacks by Program Analysis

abstract: Machine learning has proved invaluable for a range of different tasks, yet it also proved vulnerable to evasion attacks, i.e., maliciously crafted perturbations of input data designed to force mispredictions. In this paper we propose a novel technique to verify the security of decision tree models against evasion attacks with respect to an expressive threat model, where the attacker can be represented by an arbitrary imperative program. Our approach exploits the interpretability property of decision trees to transform them into imperative programs, which are amenable for traditional program analysis techniques. By leveraging the abstract interpretation framework, we are able to soundly verify the security guarantees of decision tree models trained over publicly available datasets. Our experiments show that our technique is both precise and efficient, yielding only a minimal number of false positives and scaling up to cases which are intractable for a competitor approach.


title: On Lagrange multiplier theorems for non-smooth optimization for a large class of variational models in Banach spaces

abstract: This article develops optimality conditions for a large class of non-smooth variational models. The main results are based on standard tools of functional analysis and calculus of variations. Firstly we address a model with equality constraints and, in a second step, a more general model with equality and inequality constraints, always in a general Banach space context. We highlight the results in general are well known, however, some novelties are introduced related to the proof procedures, which are in general softer than those concerning the present literature.


title: Bridging nano-optics and condensed matter formalisms in a unified description of inelastic scattering of relativistic electron beams

abstract: In the last decades, the blossoming of experimental breakthroughs in the domain of electron energy loss spectroscopy (EELS) has triggered a variety of theoretical developments. Those have to deal with completely different situations, from atomically resolved phonon mapping to electron circular dichroism passing by surface plasmon mapping. All of them rely on very different physical approximations and have not yet been reconciled, despite early attempts to do so. As an effort in that direction, we report on the development of a scalar relativistic quantum electrodynamic (QED) approach of the inelastic scattering of fast electrons. This theory can be adapted to describe all modern EELS experiments, and under the relevant approximations, can be reduced to any of the last EELS theories. In that aim, we present in this paper the state of the art and the basics of scalar relativistic QED relevant to the electron inelastic scattering. We then give a clear relation between the two once antagonist descriptions of the EELS, the retarded green Dyadic, usually applied to describe photonic excitations and the quasi-static mixed dynamic form factor (MDFF), more adapted to describe core electronic excitations of material. We then use this theory to establish two important EELS-related equations. The first one relates the spatially resolved EELS to the imaginary part of the photon propagator and the incoming and outgoing electron beam wavefunction, synthesizing the most common theories developed for analyzing spatially resolved EELS experiments. The second one shows that the evolution of the electron beam density matrix is proportional to the mutual coherence tensor, proving that quite universally, the electromagnetic correlations in the target are imprinted in the coherence properties of the probing electron beam.


title: The role of time scale in the spreading of asymmetrically interacting diseases

abstract: Diseases and other contagion phenomena in nature and society can interact asymmetrically, such that one can benefit from the other, which in turn impairs the first, in analogy with predator-prey systems. Here, we consider two models for interacting disease-like dynamics with asymmetric interactions and different associated time scales. Using rate equations for homogeneously mixed populations, we show that the stationary prevalences and phase diagrams of each model behave differently with respect to variations of the relative time scales. We also characterize in detail the regime where transient oscillations are observed, a pattern that is inherent to asymmetrical interactions but often ignored in the literature. Our results contribute to a better understanding of disease dynamics in particular, and interacting processes in general, and could provide interesting insights for real-world applications, most notably, the interplay between the dynamics of fact-checked and fake news.


title: Limit Theorems and Wrapping Transforms in Bi-free Probability Theory

abstract: In this paper, we characterize idempotent distributions with respect to the bi-free multiplicative convolution on the bi-torus. Also, the bi-free analogous Levy triplet of an infinitely divisible distribution on the bi-torus without non-trivial idempotent factors is obtained. This triplet is unique and generates a homomorphism from the bi-free multiplicative semigroup of infinitely divisible distributions to the classical one. The relevances of the limit theorems associated with four convolutions, classical and bi-free additive convolutions and classical and bi-free multiplicative convolutions, are analyzed. The analysis relies on the convergence criteria for limit theorems and the use of push-forward measures induced by the wrapping map from the plane to the bi-torus. Different from the bi-free circumstance, the classical multiplicative L\'{e}vy triplet is not always unique. Due to this, some conditions are furnished to ensure uniqueness.


title: Reduction of a nonlinear system and its numerical solution using a fractional iterative method

abstract: A nonlinear algebraic equation system of 5 variables is numerically solved, which is derived from the application of the Fourier transform to a differential equation system that allows modeling the behavior of the temperatures and the efficiencies of a hybrid solar receiver, which in simple terms is the combination of a photovoltaic system with a thermoelectric system. In addition, a way to reduce the previous system to a nonlinear system of only 2 variables is presented. Naturally, reducing algebraic equation systems of dimension N to systems of smaller dimensions has the main advantage of reducing the number of variables involved in a problem, but the analytical expressions of the systems become more complicated. However, to minimize this disadvantage, an iterative method that does not explicitly depend on the analytical complexity of the system to be solved is used. A fractional iterative method, valid for one and several variables, that uses the properties of fractional calculus, in particular the fact that the fractional derivatives of constants are not always zero, to find solutions of nonlinear systems is presented.


title: Parametric machines: a fresh approach to architecture search

abstract: Using tools from topology and functional analysis, we provide a framework where artificial neural networks, and their architectures, can be formally described. We define the notion of machine in a general topological context and show how simple machines can be combined into more complex ones. We explore finite- and infinite-depth machines, which generalize neural networks and neural ordinary differential equations. Borrowing ideas from functional analysis and kernel methods, we build complete, normed, infinite-dimensional spaces of machines, and we discuss how to find optimal architectures and parameters -- within those spaces -- to solve a given computational problem. In our numerical experiments, these kernel-inspired networks can outperform classical neural networks when the training dataset is small.


title: A Search for Supernova Light Echoes in NGC 6946 with SITELLE

abstract: We present the analysis of four hours of spectroscopic observations of NGC 6946 with the SITELLE Imaging Fourier Transform Spectrometer on the Canada-France-Hawaii Telescope, acquired to search for supernova light echoes from its ten modern supernovae. We develop a novel spectroscopic search method: identifying negatively sloped continua in the narrow-band SN3 filter as candidate highly-broadened P-Cygni profiles in the H$\alpha$ line, which would be characteristic of the spectra of supernovae ejecta. We test our methodology by looking for light echoes from any of the ten supernovae observed in NGC 6946 in the past 100 years. We find no evidence of light echoes above the survey surface brightness limit of 1$\times$10$^{-15}$erg/s/cm$^2$/arcsec$^2$.


title: Some virtually poly-free Artin groups

abstract: In this short note we prove that a class of Artin groups of affine and complex types are virtually poly-free, answering partially the question if all Artin groups are virtually poly-free.


title: Revisiting Representation Learning for Singing Voice Separation with Sinkhorn Distances

abstract: In this work we present a method for unsupervised learning of audio representations, focused on the task of singing voice separation. We build upon a previously proposed method for learning representations of time-domain music signals with a re-parameterized denoising autoencoder, extending it by using the family of Sinkhorn distances with entropic regularization. We evaluate our method on the freely available MUSDB18 dataset of professionally produced music recordings, and our results show that Sinkhorn distances with small strength of entropic regularization are marginally improving the performance of informed singing voice separation. By increasing the strength of the entropic regularization, the learned representations of the mixture signal consists of almost perfectly additive and distinctly structured sources.


title: Bounds on Pachner moves and systoles of cusped 3-manifolds

abstract: Any two geometric ideal triangulations of a cusped complete hyperbolic $3$-manifold $M$ are related by a sequence of Pachner moves through topological triangulations. We give a bound on the length of this sequence in terms of the total number of tetrahedra and a lower bound on dihedral angles. This leads to a naive but effective algorithm to check if two hyperbolic knots are equivalent, given geometric ideal triangulations of their complements. Given a geometric ideal triangulation of $M$, we also give a lower bound on the systole length of $M$ in terms of the number of tetrahedra and a lower bound on dihedral angles.


abstract: Synchronous linear constraint system games are nonlocal games that verify whether or not two players share a solution to a given system of equations. Two algebraic objects associated to these games encode information about the existence of perfect strategies. They are called the game algebra and the solution group. Here we show that these objects are essentially the same, i.e., that the game algebra is a suitable quotient of the group algebra of the solution group. We also demonstrate that linear constraint system games are equivalent to graph isomorphism games on a pair of graphs parameterized by the linear system.


title: Phenomenological Mesoscopic Models for Seizure Activity

abstract: In this chapter we review phenomenological models of seizure like activity. We discuss dynamical mechanisms for seizure onset and offset, preictal spikes, spike and wave complexes and status epilepticus, highlighting the role played by the bifurcation structure of the model, the presence of noise and the emergence of multiple interacting time-scales. These models can be used to build large-scale patient specific brain network models serving as in-silico platforms to test clinical hypothesis and perform virtual surgeries. They suggest innovative treatment strategies, such as minimally invasive ablations or stimulations that fully exploit the network and dynamical properties of the system, or even modulation of variables and parameters to force the system in safer regions of the bifurcation diagram. We discuss insights from phenomenological models that can help to foster our understanding of the mechanisms underlying epileptic seizures.


title: A Novel Regularization Based on the Error Function for Sparse Recovery

abstract: Regularization plays an important role in solving ill-posed problems by adding extra information about the desired solution, such as sparsity. Many regularization terms usually involve some vector norm, e.g., $L_1$ and $L_2$ norms. In this paper, we propose a novel regularization framework that uses the error function to approximate the unit step function. It can be considered as a surrogate function for the $L_0$ norm. The asymptotic behavior of the error function with respect to its intrinsic parameter indicates that the proposed regularization can approximate the standard $L_0$, $L_1$ norms as the parameter approaches to $0$ and $\infty,$ respectively. Statistically, it is also less biased than the $L_1$ approach. We then incorporate the error function into either a constrained or an unconstrained model when recovering a sparse signal from an under-determined linear system. Computationally, both problems can be solved via an iterative reweighted $L_1$ (IRL1) algorithm with guaranteed convergence. A large number of experimental results demonstrate that the proposed approach outperforms the state-of-the-art methods in various sparse recovery scenarios.


title: Spline Moment Models for the one-dimensional Boltzmann-BGK equation

abstract: We introduce Spline Moment Equations (SME) for kinetic equations using a new weighted spline ansatz of the distribution function and investigate the ansatz, the model, and its performance by simulating the one-dimensional Boltzmann-BGK equation. The new basis is composed of weighted constrained splines for the approximation of distribution functions that preserves mass, momentum, and energy. This basis is then used to derive moment equations using a Galerkin approach for a shifted and scaled Boltzmann-BGK equation, to allow for an accurate and efficient discretization in velocity space with an adaptive grid. The equations are given in compact analytical form and we show that the hyperbolicity properties are similar to the well-known Grad moment model. The model is investigated numerically using the shock tube, the symmetric two-beam test and a stationary shock structure test case. All tests reveal the good approximation properties of the new SME model when the parameters of the spline basis functions are chosen properly. The new SME model outperforms existing moment models and results in a smaller error while using a small number of variables for efficient computations.


title: TDprop: Does Jacobi Preconditioning Help Temporal Difference Learning?

abstract: We investigate whether Jacobi preconditioning, accounting for the bootstrap term in temporal difference (TD) learning, can help boost performance of adaptive optimizers. Our method, TDprop, computes a per parameter learning rate based on the diagonal preconditioning of the TD update rule. We show how this can be used in both $n$-step returns and TD($\lambda$). Our theoretical findings demonstrate that including this additional preconditioning information is, surprisingly, comparable to normal semi-gradient TD if the optimal learning rate is found for both via a hyperparameter search. In Deep RL experiments using Expected SARSA, TDprop meets or exceeds the performance of Adam in all tested games under near-optimal learning rates, but a well-tuned SGD can yield similar improvements -- matching our theory. Our findings suggest that Jacobi preconditioning may improve upon typical adaptive optimization methods in Deep RL, but despite incorporating additional information from the TD bootstrap term, may not always be better than SGD.


title: Model-based Exploration of the Frontier of Behaviours for Deep Learning System Testing

abstract: With the increasing adoption of Deep Learning (DL) for critical tasks, such as autonomous driving, the evaluation of the quality of systems that rely on DL has become crucial. Once trained, DL systems produce an output for any arbitrary numeric vector provided as input, regardless of whether it is within or outside the validity domain of the system under test. Hence, the quality of such systems is determined by the intersection between their validity domain and the regions where their outputs exhibit a misbehaviour. In this paper, we introduce the notion of frontier of behaviours, i.e., the inputs at which the DL system starts to misbehave. If the frontier of misbehaviours is outside the validity domain of the system, the quality check is passed. Otherwise, the inputs at the intersection represent quality deficiencies of the system. We developed DeepJanus, a search-based tool that generates frontier inputs for DL systems. The experimental results obtained for the lane keeping component of a self-driving car show that the frontier of a well trained system contains almost exclusively unrealistic roads that violate the best practices of civil engineering, while the frontier of a poorly trained one includes many valid inputs that point to serious deficiencies of the system.


title: Quantum speed limit for robust state characterization and engineering

abstract: In this paper, we propose a concept to use a quantum speed limit (QSL) as a measure of robustness of states, defining that a state with bigger QSL is more robust. In this perspective, it is important to have an explicitly-computable QSL, because then we can formulate an engineering problem of Hamiltonian that makes a target state robust against decoherence. Hence we derive a new explicitly-computable QSL that is applicable to general Markovian open quantum systems. This QSL is tighter than another explicitly-computable QSL, in an important setup such that decoherence is small. Also the Hamiltonian engineering problem with this QSL is a quadratic convex optimization problem, and thus it is efficiently solvable. The idea of robust state characterization and the Hamiltonian engineering, in terms of QSL, is demonstrated with several examples.


title: Comparing representational geometries using whitened unbiased-distance-matrix similarity

abstract: Representational similarity analysis (RSA) tests models of brain computation by investigating how neural activity patterns reflect experimental conditions. Instead of predicting activity patterns directly, the models predict the geometry of the representation, as defined by the representational dissimilarity matrix (RDM), which captures to what extent experimental conditions are associated with similar or dissimilar activity patterns. RSA therefore first quantifies the representational geometry by calculating a dissimilarity measure for each pair of conditions, and then compares the estimated representational dissimilarities to those predicted by each model. Here we address two central challenges of RSA: First, dissimilarity measures such as the Euclidean, Mahalanobis, and correlation distance, are biased by measurement noise, which can lead to incorrect inferences. Unbiased dissimilarity estimates can be obtained by crossvalidation, at the price of increased variance. Second, the pairwise dissimilarity estimates are not statistically independent, and ignoring this dependency makes model comparison statistically suboptimal. We present an analytical expression for the mean and (co)variance of both biased and unbiased estimators of the squared Euclidean and Mahalanobis distance, allowing us to quantify the bias-variance trade-off. We also use the analytical expression of the covariance of the dissimilarity estimates to whiten the RDM estimation errors. This results in a new criterion for RDM similarity, the whitened unbiased RDM cosine similarity (WUC), which allows for near-optimal model selection combined with robustness to correlated measurement noise.


title: Adversarial Uni- and Multi-modal Stream Networks for Multimodal Image Registration

abstract: Deformable image registration between Computed Tomography (CT) images and Magnetic Resonance (MR) imaging is essential for many image-guided therapies. In this paper, we propose a novel translation-based unsupervised deformable image registration method. Distinct from other translation-based methods that attempt to convert the multimodal problem (e.g., CT-to-MR) into a unimodal problem (e.g., MR-to-MR) via image-to-image translation, our method leverages the deformation fields estimated from both: (i) the translated MR image and (ii) the original CT image in a dual-stream fashion, and automatically learns how to fuse them to achieve better registration performance. The multimodal registration network can be effectively trained by computationally efficient similarity metrics without any ground-truth deformation. Our method has been evaluated on two clinical datasets and demonstrates promising results compared to state-of-the-art traditional and learning-based methods.


title: Studying complex manifolds by using groups $G_{n}^{k}$ and $\Gamma_{n}^{k}$

abstract: In the present paper, we study several complex manifolds by using the following idea. First, we construct a certain moduli space and study the fundamental group of this space. This fundamental group is naturally mapped to the groups $G_{n}^{k}$ and $\Gamma_{n}^{k}$. This is the step towards "complexification" of the $G_{n}^{k}$ and $\Gamma_{n}^{k}$ approach first developed in \cite{2019arXiv190508049M}.


title: Invariant means on Abelian groups capture complementability of Banach spaces in their second duals

abstract: Let $X$ be a Banach space. Then $X$ is complemented in the bidual $X^{**}$ if and only if there exists an invariant mean $\ell_\infty(G, X)\to X$ with respect to a free Abelian group $G$ of rank equal to the cardinality of $X^{**}$, and this happens if and only if there exists an invariant mean with respect to the additive group of $X^{**}$. This improves upon previous results due to Bustos Domecq =and the second-named author, where certain idempotent semigroups of cardinality equal to the cardinality of $X^{**}$ were considered, and answers a question of J.M.F. Castillo (private communication). En route to the proof of the main result, we endow the family of all finite-dimensional subspaces of an infinite-dimensional vector space with a structure of a free commutative monoid with the property that the product of two subspaces contains the respective subspaces, which is possibly of interest in itself.


title: Enhanced Majorana bound states in magnetic chains on superconducting topological insulator edges

abstract: The most promising mechanisms for the formation of Majorana bound states (MBSs) in condensed matter systems involve one-dimensional systems (such as semiconductor nanowires, magnetic chains, and quantum spin Hall insulator (QSHI) edges) proximitized to superconducting materials. The choice between each of these options involves trade-offs between several factors such as reproducibility of results, system tunability, and robustness of the resulting MBS. In this article, we propose that a combination of two of these systems, namely a magnetic chain deposited on a QSHI edge in contact with a superconducting surface, offers a better choice of tunability and MBS robustness compared to magnetic chain deposited on bulk. We study how the QSHI edge interacts with the magnetic chain, and see how the topological phase is affected by edge proximity. We show that MBSs near the edge can be realized with lower chemical potential and Zeeman field than the ones inside the bulk, independently of the chain's magnetic order (ferromagnetic or spiral order). Different magnetic orderings in the chain modify the overall phase diagram, even suppressing the boundless topological phase found in the bulk for chains located at the QSHI edge. Moreover, we quantify the "quality" of MBSs by calculating the Majorana Polarization (MP) for different configurations. For chains located at the edge, the MP is close to its maximum value already for short chains. For chains located away from the edge, longer chains are needed to attain the same quality as chains located at the edge. The MP also oscillates in phase with the in-gap states, which is relatively unexpected as peaks in the energy spectrum corresponds to stronger overlap of MBSs.


title: Efficient Connected and Automated Driving System with Multi-agent Graph Reinforcement Learning

abstract: Connected and automated vehicles (CAVs) have attracted more and more attention recently. The fast actuation time allows them having the potential to promote the efficiency and safety of the whole transportation system. Due to technical challenges, there will be a proportion of vehicles that can be equipped with automation while other vehicles are without automation. Instead of learning a reliable behavior for ego automated vehicle, we focus on how to improve the outcomes of the total transportation system by allowing each automated vehicle to learn cooperation with each other and regulate human-driven traffic flow. One of state of the art method is using reinforcement learning to learn intelligent decision making policy. However, direct reinforcement learning framework cannot improve the performance of the whole system. In this article, we demonstrate that considering the problem in multi-agent setting with shared policy can help achieve better system performance than non-shared policy in single-agent setting. Furthermore, we find that utilization of attention mechanism on interaction features can capture the interplay between each agent in order to boost cooperation. To the best of our knowledge, while previous automated driving studies mainly focus on enhancing individual's driving performance, this work serves as a starting point for research on system-level multi-agent cooperation performance using graph information sharing. We conduct extensive experiments in car-following and unsignalized intersection settings. The results demonstrate that CAVs controlled by our method can achieve the best performance against several state of the art baselines.


title: Scalable Gaussian Processes for Predicting the Properties of Inorganic Glasses with Large Datasets

abstract: Gaussian process regression (GPR) is a useful technique to predict composition--property relationships in glasses as the method inherently provides the standard deviation of the predictions. However, the technique remains restricted to small datasets due to the substantial computational cost associated with it. Here, using a scalable GPR algorithm, namely, kernel interpolation for scalable structured Gaussian processes (KISS-GP) along with massively scalable GP (MSGP), we develop composition--property models for inorganic glasses based on a large dataset with more than 100,000 glass compositions, 37 components, and nine important properties, namely, density, Young's, shear, and bulk moduli, thermal expansion coefficient, Vickers' hardness, refractive index, glass transition temperature, and liquidus temperature. Finally, to accelerate glass design, the models developed here are shared publicly as part of a package, namely, Python for Glass Genomics (PyGGi).


title: Phase tracking for sub-shot-noise-limited receivers

abstract: Non-conventional receivers for phase-coherent states based on non-Gaussian measurements such as photon counting surpass the sensitivity limits of shot-noise-limited coherent receivers, the quantum noise limit (QNL). These non-Gaussian receivers can have a significant impact in future coherent communication technologies. However, random phase changes in realistic communication channels, such as optical fibers, present serious challenges for extracting the information encoded in coherent states. While there are methods for correcting random phase noise with conventional heterodyne detection, phase-tracking for non-Gaussian receivers surpassing the QNL is still an open problem. Here we demonstrate phase tracking for non-Gaussian receivers to correct for time-varying phase noise while allowing for decoding beyond the QNL. The phase-tracking method performs real-time parameter estimation and correction of phase drifts using the data from the non-Gaussian discrimination measurement, without relying on phase reference pilot fields. This method enables non-Gaussian receivers to achieve higher sensitivities and rates of information transfer than ideal coherent receivers in realistic channels with time-varying phase noise. This demonstration makes sub-QNL receivers a more robust, feasible, and practical quantum technology for classical and quantum communications.


title: Massive Galaxies Impede Massive Outflows

abstract: A set of 66 3D hydrodynamical simulations explores how galactic stellar mass affects three-phase, starburst-driven outflows. Simulated velocities are compared to two basic analytic models: with (Johnson \& Axford 1971) and without (Chevalier \& Clegg 1985) a gravitational potential. For stellar mass $<10^{10}$ solar masses, simulated velocities match those of both analytical models and are unaffected by the potential; above they reduce significantly as expected from the analytic model with gravity. Gravity also affects total outflow mass and each of the three phases differently. Outflow mass in the hot, warm, and cold phases each scale with stellar mass as $\log M_*=$ -0.25, -0.97, and -1.70, respectively. Thus, the commonly used Chevalier \& Clegg analytic model should be modified to include gravity when applied to higher mass galaxies. In particular, using M82 as the canonical galaxy to interpret hydrodynamical simulations of starburst-driven outflows from higher mass galaxies will underestimate the retarding effect of gravity. Using the analytic model of Johnson \& Axford with realistic thermalization efficiency and mass loading I find that only galaxy masses that are less than $\sim10^{11.5}$ solar masses can outflow.


title: Gradient Origin Networks

abstract: This paper proposes a new type of generative model that is able to quickly learn a latent representation without an encoder. This is achieved using empirical Bayes to calculate the expectation of the posterior, which is implemented by initialising a latent vector with zeros, then using the gradient of the log-likelihood of the data with respect to this zero vector as new latent points. The approach has similar characteristics to autoencoders, but with a simpler architecture, and is demonstrated in a variational autoencoder equivalent that permits sampling. This also allows implicit representation networks to learn a space of implicit functions without requiring a hypernetwork, retaining their representation advantages across datasets. The experiments show that the proposed method converges faster, with significantly lower reconstruction error than autoencoders, while requiring half the parameters.


title: Interactions between function theory and holomorphic dynamics

abstract: This is a survey talk on the ICMS conference "Resonances of complex dynamics", 9-13 July 2018. Three examples which show how dynamical considerations lead to new results in complex function theory are discussed. These examples are: a) a refinement of of the Wiman-Valiron method, b) the proof of Hayman's conjecture on the value distribution of derivatives of meromorphic functions, and c) a new simplified proof of the result of Lin and Wang on the number of critical points of the Green function on a torus.


title: Characterizing BigBench queries, Hive, and Spark in multi-cloud environments

abstract: BigBench is the new standard (TPCx-BB) for benchmarking and testing Big Data systems. The TPCx-BB specification describes several business use cases -- queries -- which require a broad combination of data extraction techniques including SQL, Map/Reduce (M/R), user code (UDF), and Machine Learning to fulfill them. However, currently, there is no widespread knowledge of the different resource requirements and expected performance of each query, as is the case to more established benchmarks. At the same time, cloud providers currently offer convenient on-demand managed big data clusters (PaaS) with a pay-as-you-go model. In PaaS, analytical engines such as Hive and Spark come ready to use, with a general-purpose configuration and upgrade management. The study characterizes both the BigBench queries and the out-of-the-box performance of Spark and Hive versions in the cloud. At the same time, comparing popular PaaS offerings in terms of reliability, data scalability (1GB to 10TB), versions, and settings from Azure HDinsight, Amazon Web Services EMR, and Google Cloud Dataproc. The query characterization highlights the similarities and differences in Hive an Spark frameworks, and which queries are the most resource consuming according to CPU, memory, and I/O. Scalability results show how there is a need for configuration tuning in most cloud providers as data scale grows, especially with Sparks memory usage. These results can help practitioners to quickly test systems by picking a subset of the queries which stresses each of the categories. At the same time, results show how Hive and Spark compare and what performance can be expected of each in PaaS.


title: Online Learning of Facility Locations

abstract: In this paper, we provide a rigorous theoretical investigation of an online learning version of the Facility Location problem which is motivated by emerging problems in real-world applications. In our formulation, we are given a set of sites and an online sequence of user requests. At each trial, the learner selects a subset of sites and then incurs a cost for each selected site and an additional cost which is the price of the user's connection to the nearest site in the selected subset. The problem may be solved by an application of the well-known Hedge algorithm. This would, however, require time and space exponential in the number of the given sites, which motivates our design of a novel quasi-linear time algorithm for this problem, with good theoretical guarantees on its performance.


title: Multi-tenant Pub/Sub Processing for Real-time Data Streams

abstract: Devices and sensors generate streams of data across a diversity of locations and protocols. That data usually reaches a central platform that is used to store and process the streams. Processing can be done in real time, with transformations and enrichment happening on-the-fly, but it can also happen after data is stored and organized in repositories. In the former case, stream processing technologies are required to operate on the data; in the latter batch analytics and queries are of common use. This paper introduces a runtime to dynamically construct data stream processing topologies based on user-supplied code. These dynamic topologies are built on-the-fly using a data subscription model defined by the applications that consume data. Each user-defined processing unit is called a Service Object. Every Service Object consumes input data streams and may produce output streams that others can consume. The subscription-based programing model enables multiple users to deploy their own data-processing services. The runtime does the dynamic forwarding of data and execution of Service Objects from different users. Data streams can originate in real-world devices or they can be the outputs of Service Objects.


title: Electro-mechanically guided growth and patterns

abstract: Several experiments have demonstrated the existence of an electro-mechanical effect in many biological tissues and hydrogels, and its actual influence on growth, migration, and pattern formation. Here, to model these interactions and capture some growth phenomena found in Nature, we extend volume growth theory to account for an electro-elasticity coupling. Based on the multiplicative decomposition, we present a general analysis of isotropic growth and pattern formation of electro-elastic solids under external mechanical and electrical fields. As an example, we treat the case of a tubular structure to illustrate an electro-mechanically guided growth affected by axial strain and radial voltage. Our numerical results show that a high voltage can enhance the non-uniformity of the residual stress distribution and induce extensional buckling, while a low voltage can delay the onset of wrinkling shapes and can also generate more complex morphologies. Within a controllable range, axial tensile stretching shows the ability to stabilise the tube and help form more complex 3D patterns, while compressive stretching promotes instability. Both the applied voltage and external axial strain have a significant impact on guiding growth and pattern formation. Our modelling provides a basic tool for analysing the growth of electro-elastic materials, which can be useful for designing a pattern prescription strategy or growth self-assembly in Engineering.


title: Spectral properties of heterostructures containing half-metallic ferromagnets in the presence of local many-body correlations

abstract: In this work, we investigate models for bulk, bi- and multilayers containing half-metallic ferromagnets (HMFs), at zero and at finite temperature, in order to elucidate the effects of strong electronic correlations on the spectral properties (density of states). Our focus is on the evolution of the finite-temperature many-body induced tails in the half-metallic gap. To this end, the dynamical mean-field theory (DMFT) is employed. For the bulk, a Bethe lattice model is solved using a matrix product states based impurity solver at zero temperature and a continuous-time quantum Monte Carlo (CT-QMC) solver at finite temperature. We demonstrate numerically, in agreement with the analytical result, that the tails vanish at the Fermi level at zero temperature. In order to study multilayers, taken to be square lattices within the layers, we use the real-space DMFT extension with the CT-QMC impurity solver. For bilayers formed by the HMF with a band or correlated insulator, we find that charge fluctuations between the layers enhance the finite temperature tails. In addition, in the presence of inter-layer hopping, a coherent quasiparticle peak forms in the otherwise correlated insulator. In the multilayer heterostructure setup, we find that by suitably choosing the model parameters, the tails at the HMF/Mott insulator interface can be reduced significantly, and that a high spin polarization is conceivable, even in the presence of long-ranged electrostatic interactions.


title: The interplay of dormancy and transfer in bacterial populations: Invasion, fixation and coexistence regimes

abstract: We investigate the interplay between two fundamental mechanisms of microbial population dynamics and evolution called dormancy and horizontal gene transfer. The corresponding traits come in many guises and are ubiquitous in microbial communities, affecting their dynamics in important ways. Recently, they have each moved (separately) into the focus of stochastic individual-based modelling (Billiard et al. 2016, 2018; Champagnat, M\'el\'eard and Tran, 2021; Blath and T\'obi\'as 2020). Here, we examine their combined effects in a unified model. Indeed, we consider the (idealized) scenario of two sub-populations, respectively carrying 'trait 1' and 'trait 2', where trait 1 individuals are able to switch (under competitive pressure) into a dormant state, and trait 2 individuals are able to execute horizontal gene transfer, turning trait 1 individuals into trait 2 ones, at a rate depending on the frequency of individuals. In the large-population limit, we examine the fate of a single trait i individual (a 'mutant') arriving in a trait j resident population living in equilibrium, for $i,j=1,2,i \neq j$. We provide a complete analysis of the invasion dynamics in all cases where the resident population is individually fit and the initial behaviour of the mutant population is non-critical. We identify parameter regimes for the invasion and fixation of the new trait, stable coexistence of the two traits, and 'founder control' (where the initial resident always dominates, irrespective of its trait). The most striking result is that stable coexistence occurs in certain scenarios even if trait 2 (which benefits from transfer at the cost of trait 1) would be unfit when being merely on its own. In the case of founder control, the limiting dynamical system has an unstable coexistence equilibrium. In all cases, we observe the classical (up to 3) phases of invasion dynamics \`a la Champagnat (2006).


title: Contact Tracing: An Overview of Technologies and Cyber Risks

abstract: The 2020 COVID-19 pandemic has led to a global lockdown with severe health and economical consequences. As a result, authorities around the globe have expressed their needs for better tools to monitor the spread of the virus and to support human labor. Researchers and technology companies such as Google and Apple have offered to develop such tools in the form of contact tracing applications. The goal of these applications is to continuously track people's proximity and to make the smartphone users aware if they have ever been in contact with positively diagnosed people, so that they could self-quarantine and possibly have an infection test. A fundamental challenge with these smartphone-based contact tracing technologies is to ensure the security and privacy of their users. Moving from manual to smartphone-based contact tracing creates new cyber risks that could suddenly affect the entire population. Major risks include for example the abuse of the people's private data by companies and/or authorities, or the spreading of wrong alerts by malicious users in order to force individuals to go into quarantine. In April 2020, the Pan-European Privacy-Preserving Proximity Tracing (PEPP-PT) was announced with the goal to develop and evaluate secure solutions for European countries. However, after a while, several team members left this consortium and created DP-3T which has led to an international debate among the experts. At this time, it is confusing for the non-expert to follow this debate; this report aims to shed light on the various proposed technologies by providing an objective assessment of the cybersecurity and privacy risks. We first review the state-of-the-art in digital contact tracing technologies and then explore the risk-utility trade-offs of the techniques proposed for COVID-19. We focus specifically on the technologies that are already adopted by certain countries.


title: Quantum fluids of light in all-optical scatterer lattices

abstract: One of the recently established paradigms in condensed matter physics is examining a system's behaviour in artificially constructed potentials, giving insight into physical phenomena of quantum fluids in hard-to-reach settings. A prominent example is the matter-wave scatterer lattice, also known as the barrier lattice or repulsive Dirac comb. There, high energy matter waves undergo transmission and reflection through narrow width barriers leading to stringent phase matching conditions with subsequent lattice band formation. It is one of the most well taught system in quantum mechanics but its realisation for macroscopic matter-wave fluids has remained elusive, in contrast to evanescently coupled lattice sites or waveguides. Here, we implement and study a system of exciton-polariton condensates in a non-Hermitian Lieb lattice of scatterer potentials by optically injecting incoherent exciton clouds which both emit, and interact with traveling polariton waves. By fine tuning the lattice parameters, we reveal a nonequilibrium phase transition between two distinct regimes of polariton condensation: a scatterer lattice of gain guided polaritons condensing on the lattice potential maxima, and trapped polaritons condensing in the lattice potential minima. The transition is characterised by multimodal condensation due to gain competition between the two regimes. Energy tomography on the polariton emission enables us to measure the intricate band structure of the optically induced lattices. Our results pave the way towards unexplored physics of non-Hermitian fluids in non-stationary mixtures of confined and freely expanding waves.


title: Novel-View Human Action Synthesis

abstract: Novel-View Human Action Synthesis aims to synthesize the movement of a body from a virtual viewpoint, given a video from a real viewpoint. We present a novel 3D reasoning to synthesize the target viewpoint. We first estimate the 3D mesh of the target body and transfer the rough textures from the 2D images to the mesh. As this transfer may generate sparse textures on the mesh due to frame resolution or occlusions. We produce a semi-dense textured mesh by propagating the transferred textures both locally, within local geodesic neighborhoods, and globally, across symmetric semantic parts. Next, we introduce a context-based generator to learn how to correct and complete the residual appearance information. This allows the network to independently focus on learning the foreground and background synthesis tasks. We validate the proposed solution on the public NTU RGB+D dataset. The code and resources are available at https://bit.ly/36u3h4K.


title: Meta Learning for Causal Direction

abstract: The inaccessibility of controlled randomized trials due to inherent constraints in many fields of science has been a fundamental issue in causal inference. In this paper, we focus on distinguishing the cause from effect in the bivariate setting under limited observational data. Based on recent developments in meta learning as well as in causal inference, we introduce a novel generative model that allows distinguishing cause and effect in the small data setting. Using a learnt task variable that contains distributional information of each dataset, we propose an end-to-end algorithm that makes use of similar training datasets at test time. We demonstrate our method on various synthetic as well as real-world data and show that it is able to maintain high accuracy in detecting directions across varying dataset sizes.


title: On the Chemical Abundance of HR 8799 and the Planet c

abstract: Comparing chemical abundances of a planet and the host star reveals the origin and formation path. Stellar abundance is measured with high-resolution spectroscopy. Planet abundance, on the other hand, is usually inferred from low-resolution data. For directly imaged exoplanets, the data are available from a slew of high-contrast imaging/spectroscopy instruments. Here, we study the chemical abundance of HR 8799 and its planet c. We measure stellar abundance using LBT/PEPSI (R=120,000) and archival HARPS data: stellar [C/H], [O/H], and C/O are 0.11$\pm$0.12, 0.12$\pm$0.14, and 0.54$^{+0.12}_{-0.09}$, all consistent with solar values. We conduct atmospheric retrieval using newly obtained Subaru/CHARIS data together with archival Gemini/GPI and Keck/OSIRIS data. We model the planet spectrum with petitRADTRANS and conduct retrieval using PyMultiNest. Retrieved planetary abundance can vary by $\sim$0.5 dex, from sub-stellar to stellar C and O abundances. The variation depends on whether strong priors are chosen to ensure a reasonable planet mass. Moreover, comparison with previous works also reveals inconsistency in abundance measurements. We discuss potential issues that can cause the inconsistency, e.g., systematics in individual data sets and different assumptions in the physics and chemistry in retrieval. We conclude that no robust retrieval can be obtained unless the issues are fully resolved.


title: Complex Human Action Recognition in Live Videos Using Hybrid FR-DL Method

abstract: Automated human action recognition is one of the most attractive and practical research fields in computer vision, in spite of its high computational costs. In such systems, the human action labelling is based on the appearance and patterns of the motions in the video sequences; however, the conventional methodologies and classic neural networks cannot use temporal information for action recognition prediction in the upcoming frames in a video sequence. On the other hand, the computational cost of the preprocessing stage is high. In this paper, we address challenges of the preprocessing phase, by an automated selection of representative frames among the input sequences. Furthermore, we extract the key features of the representative frame rather than the entire features. We propose a hybrid technique using background subtraction and HOG, followed by application of a deep neural network and skeletal modelling method. The combination of a CNN and the LSTM recursive network is considered for feature selection and maintaining the previous information, and finally, a Softmax-KNN classifier is used for labelling human activities. We name our model as Feature Reduction & Deep Learning based action recognition method, or FR-DL in short. To evaluate the proposed method, we use the UCF dataset for the benchmarking which is widely-used among researchers in action recognition research. The dataset includes 101 complicated activities in the wild. Experimental results show a significant improvement in terms of accuracy and speed in comparison with six state-of-the-art articles.


title: Sub-picosecond all-optical switching in a hybrid VO2:silicon waveguide at 1550 nm

abstract: Achieving ultrafast all-optical switching in a silicon waveguide geometry is a key milestone on the way to an integrated platform capable of handling the increasing demands for higher speed and higher capacity for information transfer. Given the weak electro-optic and thermo-optic effects in silicon, there has been intense interest in hybrid structures in which that switching could be accomplished by integrating another material into the waveguide, including the phase-changing material, vanadium dioxide (VO2). It has long been known that the phase transition in VO2 can be triggered by ultrafast laser pulses, and that pump-laser fluence is a critical parameter governing the recovery time of thin films irradiated by femtosecond laser pulses near 800 nm. However, thin-film experiments are not a priori reliable guides to using VO2 for all-optical switching in on-chip silicon photonics because of the large changes in VO2 optical constants in the telecommunications band, the requirement of low insertion loss, and the limits on switching energy permissible in integrated photonic systems. Here we report the first measurements to show that the reversible, ultrafast photo-induced phase transition in VO2 can be harnessed to achieve sub-picosecond switching when small VO2 volumes are integrated in a silicon waveguide as a modulating element. Switching energies above threshold are of order 600 fJ/switch. These results suggest that VO2 can now be pursued as a strong candidate for all-optical switching with sub-picosecond on-off times.


title: Disaggregating Non-Volatile Memory for Throughput-Oriented Genomics Workloads

abstract: Massive exploitation of next-generation sequencing technologies requires dealing with both: huge amounts of data and complex bioinformatics pipelines. Computing architectures have evolved to deal with these problems, enabling approaches that were unfeasible years ago: accelerators and Non-Volatile Memories (NVM) are becoming widely used to enhance the most demanding workloads. However, bioinformatics workloads are usually part of bigger pipelines with different and dynamic needs in terms of resources. The introduction of Software Defined Infrastructures (SDI) for data centers provides roots to dramatically increase the efficiency in the management of infrastructures. SDI enables new ways to structure hardware resources through disaggregation, and provides new hardware composability and sharing mechanisms to deploy workloads in more flexible ways. In this paper we study a state-of-the-art genomics application, SMUFIN, aiming to address the challenges of future HPC facilities.


title: Multiparametric geometry of numbers and its application to splitting transference theorems

abstract: In this paper we consider a multiparametric version of Wolfgang Schmidt and Leonard Summerer's parametric geometry of numbers. We apply this approach in two settings: the first one concerns weighted Diophantine approximation, the second one concerns Diophantine exponents of lattices. In both settings we use multiparametric approach to define intermediate exponents. Then we split the weighted version of Dyson's transference theorem and an analogue of Khintchine's transference theorem for Diophantine exponents of lattices into chains of inequalities between the intermediate exponents we define basing on the intuition provided by the parametric approach.


title: Spectral heat content for {\alpha}-stable processes in C1,1 open sets

abstract: In this paper we study the asymptotic behavior, as $t\downarrow 0$, of the spectral heat content $Q^{(\alpha)}_{D}(t)$ for isotropic $\alpha$-stable processes, $\alpha\in [1,2)$, in bounded $C^{1,1}$ open sets $D\subset \R^{d}$, $d\geq 2$. Together with the results from \cite{Val2017} for $d=1$ and \cite{GPS19} for $\alpha\in (0,1)$, the main theorem of this paper establishes the asymptotic behavior of the spectral heat content up to the second term for all $\alpha\in (0,2)$ and $d\geq1$, and resolves the conjecture raised in \cite{Val2017}.


title: Run2Survive: A Decision-theoretic Approach to Algorithm Selection based on Survival Analysis

abstract: Algorithm selection (AS) deals with the automatic selection of an algorithm from a fixed set of candidate algorithms most suitable for a specific instance of an algorithmic problem class, where "suitability" often refers to an algorithm's runtime. Due to possibly extremely long runtimes of candidate algorithms, training data for algorithm selection models is usually generated under time constraints in the sense that not all algorithms are run to completion on all instances. Thus, training data usually comprises censored information, as the true runtime of algorithms timed out remains unknown. However, many standard AS approaches are not able to handle such information in a proper way. On the other side, survival analysis (SA) naturally supports censored data and offers appropriate ways to use such data for learning distributional models of algorithm runtime, as we demonstrate in this work. We leverage such models as a basis of a sophisticated decision-theoretic approach to algorithm selection, which we dub Run2Survive. Moreover, taking advantage of a framework of this kind, we advocate a risk-averse approach to algorithm selection, in which the avoidance of a timeout is given high priority. In an extensive experimental study with the standard benchmark ASlib, our approach is shown to be highly competitive and in many cases even superior to state-of-the-art AS approaches.


title: Faster Graph Embeddings via Coarsening

abstract: Graph embeddings are a ubiquitous tool for machine learning tasks, such as node classification and link prediction, on graph-structured data. However, computing the embeddings for large-scale graphs is prohibitively inefficient even if we are interested only in a small subset of relevant vertices. To address this, we present an efficient graph coarsening approach, based on Schur complements, for computing the embedding of the relevant vertices. We prove that these embeddings are preserved exactly by the Schur complement graph that is obtained via Gaussian elimination on the non-relevant vertices. As computing Schur complements is expensive, we give a nearly-linear time algorithm that generates a coarsened graph on the relevant vertices that provably matches the Schur complement in expectation in each iteration. Our experiments involving prediction tasks on graphs demonstrate that computing embeddings on the coarsened graph, rather than the entire graph, leads to significant time savings without sacrificing accuracy.


title: Framework for Studying Stability of Switching Max-Plus Linear Systems

abstract: We propose a framework for studying the stability of discrete-event systems modelled as switching max-plus linear systems. In this framework, we propose a set of notions of stability for generic discrete-event systems in the max-plus algebra. Then we show the loss of equivalence of these notions for switching max-plus linear systems due to the lack of global monotonicity and the accompanying difficulty in rigorous analysis. This serves as a motivation to relax the assumption on monotonicity of the dynamics to positive invariance of max-plus cones. Then we proceed to generalise the notions of stability when the dynamics is restricted to such cones. The stability analysis approach presented in this paper serves as a first step to study the stability of a general class of switching max-plus linear systems.


title: The number of oriented rational links with a given deficiency number

abstract: Let $U_n$ be the set of un-oriented and rational links with crossing number $n$, a precise formula for $|U_n|$ was obtained by Ernst and Sumners in 1987. In this paper, we study the enumeration problem of oriented rational links. Let $\Lambda_n$ be the set of oriented rational links with crossing number $n$ and let $\Lambda_n(d)$ be the set of oriented rational links with crossing number $n$ ($n\ge 2$) and deficiency $d$. In this paper, we derive precise formulas for $|\Lambda_n|$ and $|\Lambda_n(d)|$ for any given $n$ and $d$ and show that $$ \Lambda_n(d)=F_{n-d-1}^{(d)}+\frac{1+(-1)^{nd}}{2}F^{(\lfloor \frac{d}{2}\rfloor)}_{\lfloor \frac{n}{2}\rfloor -\lfloor \frac{d+1}{2}\rfloor}, $$ where $F_n^{(d)}$ is the convolved Fibonacci sequence.


title: Predicting Porosity, Permeability, and Tortuosity of Porous Media from Images by Deep Learning

abstract: Convolutional neural networks (CNN) are utilized to encode the relation between initial configurations of obstacles and three fundamental quantities in porous media: porosity ($\varphi$), permeability $k$, and tortuosity ($T$). The two-dimensional systems with obstacles are considered. The fluid flow through a porous medium is simulated with the lattice Boltzmann method. It is demonstrated that the CNNs are able to predict the porosity, permeability, and tortuosity with good accuracy. With the usage of the CNN models, the relation between $T$ and $\varphi$ has been reproduced and compared with the empirical estimate. The analysis has been performed for the systems with $\varphi \in (0.37,0.99)$ which covers five orders of magnitude span for permeability $k \in (0.78, 2.1\times 10^5)$ and tortuosity $T \in (1.03,2.74)$.

categories: physics.comp-ph cond-mat.dis-nn cs.LG physics.flu-dyn stat.ML


title: Online NEAT for Credit Evaluation -- a Dynamic Problem with Sequential Data

abstract: In this paper, we describe application of Neuroevolution to a P2P lending problem in which a credit evaluation model is updated based on streaming data. We apply the algorithm Neuroevolution of Augmenting Topologies (NEAT) which has not been widely applied generally in the credit evaluation domain. In addition to comparing the methodology with other widely applied machine learning techniques, we develop and evaluate several enhancements to the algorithm which make it suitable for the particular aspects of online learning that are relevant in the problem. These include handling unbalanced streaming data, high computation costs, and maintaining model similarity over time, that is training the stochastic learning algorithm with new data but minimizing model change except where there is a clear benefit for model performance


title: Probing topological order of QCD at Electron Ion Collider

abstract: The idea that the nuclear matter may posses long range topological order is supported by the theory and the lattice calculations. At high temperature this order is instrumental in producing anomalous phenomena such as the Chiral Magnetic Effect. In the cold nuclear matter it affects the gluon distribution in the nuclear wave function at low $x$. The effect of the topological order is encapsulated in the unintegrated gluon distribution functions which are proportional, at the leading order, to the square of the gluon propagator at finite topological charge density. It is argued that the Electron Ion Collider is well suited to study the topological order of the cold nuclear matter.


title: Dynamic Awareness

abstract: We investigate how to model the beliefs of an agent who becomes more aware. We use the framework of Halpern and Rego (2013) by adding probability, and define a notion of a model transition that describes constraints on how, if an agent becomes aware of a new formula $\phi$ in state $s$ of a model $M$, she transitions to state $s^*$ in a model $M^*$. We then discuss how such a model can be applied to information disclosure.


title: Training atomic neural networks using fragment-based data generated in virtual reality

abstract: The ability to understand and engineer molecular structures relies on having accurate descriptions of the energy as a function of atomic coordinates. Here we outline a new paradigm for deriving energy functions of hyperdimensional molecular systems, which involves generating data for low-dimensional systems in virtual reality (VR) to then efficiently train atomic neural networks (ANNs). This generates high quality data for specific areas of interest within the hyperdimensional space that characterizes a molecule's potential energy surface (PES). We demonstrate the utility of this approach by gathering data within VR to train ANNs on chemical reactions involving fewer than 8 heavy atoms. This strategy enables us to predict the energies of much higher-dimensional systems, e.g. containing nearly 100 atoms. Training on datasets containing only 15K geometries, this approach generates mean absolute errors around 2 kcal/mol. This represents one of the first times that an ANN-PES for a large reactive radical has been generated using such a small dataset. Our results suggest VR enables the intelligent curation of high-quality data, which accelerates the learning process.


title: The effect of Prandtl number on turbulent sheared thermal convection

abstract: In turbulent wall sheared thermal convection, there are three different flow regimes, depending on the relative relevance of thermal forcing and wall shear. In this paper we report the results of direct numerical simulations of such sheared Rayleigh-B\'enard convection, at fixed Rayleigh number $Ra=10^6$, varying the wall Reynolds number in the range $0 \leq Re_w \leq 4000$ and Prandtl number $0.22 \leq Pr \leq 4.6$, extending our prior work by Blass et al. (2020), where $Pr$ was kept constant at unity and the thermal forcing ($Ra$) varied. We cover a wide span of bulk Richardson numbers $0.014 \leq Ri \leq 100$ and show that the Prandtl number strongly influences the morphology and dynamics of the flow structures. In particular, at fixed $Ra$ and $Re_w$, a high Prandtl number causes stronger momentum transport from the walls and therefore yields a greater impact of the wall shear on the flow structures, resulting in an increased effect of $Re_w$ on the Nusselt number. Furthermore, we analyse the thermal and kinetic boundary layer thicknesses and relate their behaviour to the resulting flow regimes. For the largest shear rates and $Pr$ numbers, we observe the emergence of a Prandtl-von Karman log-layer, signalling the onset of turbulent dynamics in the boundary layer. Finally, our results allow to extend the Grossmann-Lohse theory for heat transport in Rayleigh-B\'enard convection to the sheared case, universally describing $Nu(Ra,Pr,Re_w)$.


title: Evidence for ammonia-bearing species on the Uranian satellite Ariel supports recent geologic activity

abstract: We investigated whether ammonia-rich constituents are present on the surface of the Uranian moon Ariel by analyzing 32 near-infrared reflectance spectra collected over a wide range of sub-observer longitudes and latitudes. We measured the band areas and depths of a 2.2-{\micron} feature in these spectra, which has been attributed to ammonia-bearing species on other icy bodies. Ten spectra display prominent 2.2-{\micron} features with band areas and depths > 2{\sigma}. We determined the longitudinal distribution of the 2.2-{\micron} band, finding no statistically meaningful differences between Ariel's leading and trailing hemispheres, indicating that this band is distributed across Ariel's surface. We compared the band centers and shapes of the five Ariel spectra displaying the strongest 2.2-{\micron} bands to laboratory spectra of various ammonia-bearing and ammonium-bearing species, finding that the spectral signatures of the Ariel spectra are best matched by ammonia-hydrates and flash frozen ammonia-water solutions. Our analysis also revealed that four Ariel spectra display 2.24-{\micron} bands (> 2{\sigma} band areas and depths), with band centers and shapes that are best matched by ammonia ice. Because ammonia should be efficiently removed over short timescales by ultraviolet photons, cosmic rays, and charged particles trapped in Uranus' magnetosphere, the possible presence of this constituent supports geologic activity in the recent past, such as emplacement of ammonia-rich cryolavas and exposure of ammonia-rich deposits by tectonism, impact events, and mass wasting.


title: Spin-flip excitations and Stoner ferromagnetism in a strongly correlated quantum Hall system

abstract: Spin-flip excitations in a quantum Hall electron system at fixed filling factor nu=2 are modelled and studied under conditions of a strong Coulomb interaction when the `Landau level mixing' is a dominant factor determining the excitation energy. The `one-exciton' approach used for the purely electronic excitations in question allows us to describe the Stoner transition from the unpolarized/paramgnet state to the polarized/ferromagnet one. The theoretical results are compared with the available experimental data.


title: Long-range enhanced mutual information from inflation

abstract: The quantum origin of cosmological primordial perturbations is a cornerstone framework in the interplay between gravity and quantum physics. In this paper we study the mutual information between two spatial regions in a radiation-dominated universe filled by a curvature perturbation field in a squeezed state. We find an enhancement with respect to the usual mutual information of the Minkowski vacuum due to momentum modes affected by particle production during inflation. This result supports our previous claim of the existence of long-range correlations between Primordial Black Holes (PBH) at formation during the radiation era.


title: Solving Bayesian Network Structure Learning Problem with Integer Linear Programming

abstract: This dissertation investigates integer linear programming (ILP) formulation of Bayesian Network structure learning problem. We review the definition and key properties of Bayesian network and explain score metrics used to measure how well certain Bayesian network structure fits the dataset. We outline the integer linear programming formulation based on the decomposability of score metrics. In order to ensure acyclicity of the structure, we add ``cluster constraints'' developed specifically for Bayesian network, in addition to cycle constraints applicable to directed acyclic graphs in general. Since there would be exponential number of these constraints if we specify them fully, we explain the methods to add them as cutting planes without declaring them all in the initial model. Also, we develop a heuristic algorithm that finds a feasible solution based on the idea of sink node on directed acyclic graphs. We implemented the ILP formulation and cutting planes as a \textsf{Python} package, and present the results of experiments with different settings on reference datasets.


title: Designing metachronal waves of cilia

abstract: On surfaces with many motile cilia, beats of the individual cilia coordinate to form metachronal waves. We present a theoretical framework that connects the dynamics of an individual cilium to the collective dynamics of a ciliary carpet via systematic coarse-graining. We uncover the criteria that control the selection of frequency and wavevector of stable metchacronal waves of the cilia and examine how they depend on the geometric and dynamical characteristics of single cilia, as well as the geometric properties of the array. We perform agent-based numerical simulations of arrays of cilia with hydrodynamic interactions and find quantitative agreement with the predictions of the analytical framework. Our work sheds light on the question of how the collective properties of beating cilia can be determined using information about the individual units, and as such exemplifies a bottom-up study of a rich active matter system.


title: Symmetries of a two-dimensional continued fraction

abstract: In this paper we describe the group of symmetries of a two-dimensional continued fraction. As a multidimensional generalization of continued fractions we consider Klein polyhedra. We distinguish two types of symmetries: the Dirichlet-type ones, that correspond to the multiplication by units of the corresponding number field, and so called palindromic ones. The main result of the paper is a criterion for a two-dimensional continued fraction to have a palindromic symmetry. This criterion is analogous to the criterion for the period of a quadratic irrationality to be symmetric.


title: Maximum Entropy Gain Exploration for Long Horizon Multi-goal Reinforcement Learning

abstract: What goals should a multi-goal reinforcement learning agent pursue during training in long-horizon tasks? When the desired (test time) goal distribution is too distant to offer a useful learning signal, we argue that the agent should not pursue unobtainable goals. Instead, it should set its own intrinsic goals that maximize the entropy of the historical achieved goal distribution. We propose to optimize this objective by having the agent pursue past achieved goals in sparsely explored areas of the goal space, which focuses exploration on the frontier of the achievable goal set. We show that our strategy achieves an order of magnitude better sample efficiency than the prior state of the art on long-horizon multi-goal tasks including maze navigation and block stacking.


title: Eliminating Catastrophic Interference with Biased Competition

abstract: We present here a model to take advantage of the multi-task nature of complex datasets by learning to separate tasks and subtasks in and end to end manner by biasing competitive interactions in the network. This method does not require additional labelling or reformatting of data in a dataset. We propose an alternate view to the monolithic one-task-fits-all learning of multi-task problems, and describe a model based on a theory of neuronal attention from neuroscience, proposed by Desimone. We create and exhibit a new toy dataset, based on the MNIST dataset, which we call MNIST-QA, for testing Visual Question Answering architectures in a low-dimensional environment while preserving the more difficult components of the Visual Question Answering task, and demonstrate the proposed network architecture on this new dataset, as well as on COCO-QA and DAQUAR-FULL. We then demonstrate that this model eliminates catastrophic interference between tasks on a newly created toy dataset and provides competitive results in the Visual Question Answering space. We provide further evidence that Visual Question Answering can be approached as a multi-task problem, and demonstrate that this new architecture based on the Biased Competition model is capable of learning to separate and learn the tasks in an end-to-end fashion without the need for task labels.


title: Non-separating spanning trees and out-branchings in digraphsof independence number 2

abstract: A subgraph H= (V, F) of a graph G= (V,E) is non-separating if G-F, that is, the graph obtained from G by deleting the edges in F, is connected. Analogously we say that a subdigraph X= (V,B) of a digraph D= (V,A) is non-separating if D-B is strongly connected. We study non-separating spanning trees and out-branchings in digraphs of independence number 2. Our main results are that every 2-arc-strong digraph D of independence number alpha(D) = 2 and minimum in-degree at least 5 and every 2-arc-strong oriented graph with alpha(D) = 2 and minimum in-degree at least 3 has a non-separating out-branching and minimum in-degree 2 is not enough. We also prove a number of other results, including that every 2-arc-strong digraph D with alpha(D)<=2 and at least 14 vertices has a non-separating spanning tree and that every graph G with delta(G)>=4 and alpha(G) = 2 has a non-separating hamiltonian path.