title: Gapless hinge states from adiabatic pumping of axion coupling

abstract: We demonstrate that chiral hinge modes naturally emerge in insulating crystals undergoing a slow cyclic evolution that changes the Chern-Simons axion angle $\theta$ by $2\pi$. This happens when the surface (not just the bulk) returns to its initial state at the end of the cycle, in which case it must pass through a metallic state to dispose of the excess quantum of surface anomalous Hall conductivity pumped from the bulk. If two adjacent surfaces become metallic at different points along the cycle, there is an interval in which they are in topologically distinct insulating states, with chiral modes propagating along the connecting hinge. We illustrate these ideas for a tight-binding model consisting of coupled layers of the Haldane model with alternating parameters. The surface topology is determined in a slab geometry using two different markers, surface anomalous Hall conductivity and surface-localized charge pumping (flow of surface-localized Wannier bands), and we find that both correctly predict the appearance of gapless hinge modes in a rod geometry. When viewing the axion pump as a four-dimensional (4D) crystal with one synthetic dimension, the hinge modes trace Fermi arcs in the Brillouin zone of the 2D hinge connecting a pair of 3D surfaces of the 4D crystal.


title: Partition identities and application to infinite dimensional Groebner basis and viceversa

abstract: In the first part of this article, we consider a Groebner basis of the differential ideal {x_1^2} with respect to "the" weighted lexicographical monomial order and show that its computation is related with an identity involving the partitions that appear in the first Rogers-Ramanujan identity. We then prove that a Grobener basis of this ideal is not differentially finite in contrary with the case of "the" weighted reverse lexicographical order. In the second part, we give a simple and direct proof of a theorem of Nguyen Duc Tam about the Groaner basis of the differential ideal {x_1y_1}; we then obtain identities involving partitions with 2 colors.


title: The gravitational field of the SdS space-time

abstract: The goal of this paper is to study SdS space-time and its gravitational field with consideration of the canonical form and invariants of the curvature tensor. The characteristic of $\lambda$-tensor identifies the type of gravitational field. Gaussian curvature quantities enunciated in terms of curvature invariants.


title: Active manipulation of Helmholtz scalar fields: Near field synthesis with directional far field control

abstract: In this article, we propose a strategy for the active manipulation of scalar Helmholtz fields in bounded near field regions of an active source while maintaining desired radiation patterns in prescribed far field directions. This control problem is considered in two environments: free space and respectively, homogeneous ocean of constant depth. In both media, we proved the existence of and characterized the surface input, modeled as Neumann data (normal velocity) or Dirichlet data (surface pressure) such that the radiated field satisfies the control constraints. We also provide a numerical strategy to construct this predicted surface input by using a method of moments-approach with a Morozov discrepancy principle-based Tikhonov regularization. Several numerical simulations are presented to demonstrate the proposed scheme in scenarios relevant to practical applications.


title: Brittle fracture in linearly elastic plates

abstract: In this work we derive by Gamma-convergence techniques a model for brittle fracture linearly elastic plates. Precisely, we start from a brittle linearly elastic thin film with positive thickness $\rho$ and study the limit as $\rho$ tends to 0. The analysis is performed with no a priori restrictions on the admissible displacements and on the geometry of the fracture set. The limit model is characterized by a Kirchhoff-Love type of structure.


title: Lightwave Terahertz Quantum Manipulation of Non-equilibrium Superconductor Phases and their Collective Modes

abstract: We present a gauge-invariant density matrix description of non-equilibrium superconductor (SC) states with spatial and temporal correlations driven by intense terahertz (THz) lightwaves. We derive superconductor Bloch--Maxwell equations of motion that extend Anderson pseudo-spin models to include the Cooper pair center-of-mass motion and electromagnetic propagation effects. We thus describe quantum control of dynamical phases, collective modes, quasi-particle coherence, and high nonlinearities during cycles of carrier wave oscillations, which relate to our recent experiments. Coherent photogeneration of a nonlinear supercurrent with dc component via condensate acceleration by an effective lightwave field dynamically breaks the equilibrium inversion symmetry. Experimental signatures include high harmonic light emission at equilibrium-symmetry-forbidden frequencies, Rabi--Higgs collective modes and quasi-particle coherence, and non-equilibrium moving condensate states tuned by few-cycle THz fields. We use such lightwaves as an oscillating accelerating force that drives strong nonlinearities and anisotropic quasi-particle populations to control and amplify different classes of collective modes, e.g., damped oscillations, persistent oscillations, and overdamped dynamics via Rabi flopping. Recent phase-coherent nonlinear spectroscopy experiments can be modeled by solving the full nonlinear quantum dynamics including self-consistent light--matter coupling.


title: Chemical abundances of Seyfert 2 AGNs-III. Reducing the oxygen abundance discrepancy

abstract: We investigate the discrepancy between oxygen abundance estimations for narrow-line regions (NLRs) of Active Galactic Nuclei (AGNs) type Seyfert 2 derived by using direct estimations of the electron temperature (Te-method) and those derived by using photoionization models. In view of this, observational emission-line ratios in the optical range (3000 < \lambda(\AA) < 7000) of Seyfert 2 nuclei compiled from the literature were reproduced by detailed photoionization models built with the Cloudy code. We find that the derived discrepancies are mainly due to the inappropriate use of the relations between temperatures of the low (t2) and high (t3) ionization gas zones derived for H II regions in AGN chemical abundance studies. Using a photoionization model grid, we derived a new expression for t2 as a function of t3 valid for Seyfert 2 nuclei. The use of this new expression in the AGN estimation of the O/H abundances based on Te-method produces O/H abundances slightly lower (about 0.2 dex) than those derived from detailed photoionization models. We also find that the new formalism for the Te-method reduces by about 0.4 dex the O/H discrepancies between the abundances obtained from strong emission-line calibrations and those derived from direct estimations.


title: Tailoring optical pulling forces with composite microspheres

abstract: Optical pulling forces or tractor beams can pull particles against light propagation by redirecting the incident photons forward. This is typically achieved using Bessel beams with very small half-cone angles, which considerably limits its applicability. One can circumvent such issue by using a superposition of plane waves. In order to investigate optical pulling forces exerted by a pair of non-colinear plane waves, we develop a theoretical framework based on Mie theory, Debye potentials and Wigner rotation matrices. We apply this framework to calculate the optical pulling force on metallo-dielectric composite particles, which we put forward as an alternative material platform to optimize and tailor tractor beams. Indeed we demonstrate that by adding a few plasmonic inclusions to low-refractive index dielectric particles of arbitrary sizes, we are able to produce polarization dependent optical pulling forces that cannot occur in the corresponding homogeneous particles. Altogether our findings not only provide innovative theoretical methods to compute optical pulling forces, but also provide new strategies to tailor and optimize them, paving the way to increase their applicability.


title: Multifractal temporally weighted detrended partial cross-correlation analysis to quantify intrinsic power-law cross-correlation of two non-stationary time series affected by common external factors

abstract: When common factors strongly influence two cross-correlated time series recorded in complex natural and social systems, the results will be biased if we use multifractal detrended cross-correlation analysis (MF-DXA) without considering these common factors. Based on multifractal temporally weighted detrended cross-correlation analysis (MF-TWXDFA) proposed by our group and multifractal partial cross-correlation analysis (MF-DPXA) proposed by Qian et al., we propose a new method---multifractal temporally weighted detrended partial cross-correlation analysis (MF-TWDPCCA) to quantify intrinsic power-law cross-correlation of two non-stationary time series affected by common external factors in this paper. We use MF-TWDPCCA to characterize the intrinsic cross-correlations between the two simultaneously recorded time series by removing the effects of other potential time series. To test the performance of MF-TWDPCCA, we apply it, MF-TWXDFA and MF-DPXA on simulated series. Numerical tests on artificially simulated series demonstrate that MF-TWDPCCA can accurately detect the intrinsic cross-correlations for two simultaneously recorded series. To further show the utility of MF-TWDPCCA, we apply it on time series from stock markets and find that there exists significantly multifractal power-law cross-correlation between stock returns. A new partial cross-correlation coefficient is defined to quantify the level of intrinsic cross-correlation between two time series.


title: Electro-Chemo-Mechanical Properties in Nanostructured Ca-doped Ceria (CDC) by Field Assisted Sintering

abstract: Recent investigations have shown that highly oxygen defective cerium oxides generate non-classical electrostriction that is superior to lead-based ferroelectrics. In this work, we report the effect of field-assisted spark plasma sintering (SPS) on electro-chemo-mechanical properties on Ca-doped ceria (CDC). Nanometric powders of ca. 10 nm are rapidly consolidated to form polycrystalline nanostructures with a high degree of crystalline disorder. Remarkably, the resultant material demonstrates a large electromechanical strain without a frequency-related relaxation effect. We conclude that electromechanical activity in CDC materials strictly depends on the Ca-VO interaction, while disorder at the crystalline boundaries has a minor effect.


title: Using Affine Quantization to Analyze Non-renormalizable Scalar Fields and the Quantization of Einstein's Gravity

abstract: Affine quantization is a parallel procedure to canonical quantization, which is ideally suited to deal with non-renormalizable scalar models as well as quantum gravity. The basic applications of this approach lead to the common goals of any quantization, such as Schroedinger's representation and Schroedinger's equation. Careful attention is paid toward seeking favored classical variables, which are those that should be promoted to the principal quantum operators. This effort leads toward classical variables that have a constant positive, zero, or negative curvature, which typically characterize such favored variables. This focus leans heavily toward affine variables with a constant negative curvature, which leads to a surprisingly accommodating analysis of non-renormalizable scalar models as well as Einstein's general relativity.


title: Selecting Diverse Models for Scientific Insight

abstract: Model selection often aims to choose a single model, assuming that the form of the model is correct. However, there may be multiple possible underlying explanatory patterns in a set of predictors that could explain a response. Model selection without regard for model uncertainty can fail to bring these patterns to light. We explore multi-model penalized regression (MMPR) to acknowledge model uncertainty in the context of penalized regression. We examine how different penalty settings can promote either shrinkage or sparsity of coefficients in separate models. The method is tuned to explicitly limit model similarity. A choice of penalty form that enforces variable selection is applied to predict stacking fault energy (SFE) from steel alloy composition. The aim is to identify multiple models with different subsets of covariates that explain a single type of response.


title: G1020: A Benchmark Retinal Fundus Image Dataset for Computer-Aided Glaucoma Detection

abstract: Scarcity of large publicly available retinal fundus image datasets for automated glaucoma detection has been the bottleneck for successful application of artificial intelligence towards practical Computer-Aided Diagnosis (CAD). A few small datasets that are available for research community usually suffer from impractical image capturing conditions and stringent inclusion criteria. These shortcomings in already limited choice of existing datasets make it challenging to mature a CAD system so that it can perform in real-world environment. In this paper we present a large publicly available retinal fundus image dataset for glaucoma classification called G1020. The dataset is curated by conforming to standard practices in routine ophthalmology and it is expected to serve as standard benchmark dataset for glaucoma detection. This database consists of 1020 high resolution colour fundus images and provides ground truth annotations for glaucoma diagnosis, optic disc and optic cup segmentation, vertical cup-to-disc ratio, size of neuroretinal rim in inferior, superior, nasal and temporal quadrants, and bounding box location for optic disc. We also report baseline results by conducting extensive experiments for automated glaucoma diagnosis and segmentation of optic disc and optic cup.


title: From lenticulars to blue compact dwarfs: the stellar mass fraction is regulated by disc gravitational instability

abstract: The stellar-to-halo mass relation (SHMR) is not only one of the main sources of information we have on the connection between galaxies and their dark matter haloes, but also an important indicator of the performance of galaxy formation models. Here we use one of the largest sample of galaxies with both high-quality rotation curves and near-infrared surface photometry, and perform a detailed comparative analysis of the SHMR. Our analysis shows that there are significant statistical differences between popular forms of the SHMR, and illustrates the predictive power of a new physically motivated scaling relation, which connects the stellar mass fraction ($M_{\star}/M_{\mathrm{h}}$) to the stellar specific angular momentum ($j_{\star}$) and the stellar radial velocity dispersion ($\sigma_{\star}$) via disc gravitational instability. Making use of such a relation, we demonstrate (i) how challenging it is to reproduce the efficiency of galaxy formation even for state-of-the-art cosmological hydrodynamical simulations, and (ii) that the evolution of the stellar mass fraction is regulated by disc gravitational instability: when $M_{\star}/M_{\mathrm{h}}$ varies, $j_{\star}$ and $\sigma_{\star}$ also vary as predicted by our scaling relation, thus erasing the memory of such evolution. This implies that the process of disc gravitational instability is intriguingly uniform across disc galaxies of all morphological types: from lenticulars to blue compact dwarfs. In particular, the cosmic variance of Toomre's $Q$ is 0.2 dex, a universal value for both stars and atomic gas.


title: Forcing Hamiltonicity in locally finite graphs via forbidden induced subgraphs I: nets and bulls

abstract: In a series of papers, of which this is the first, we study sufficient conditions for Hamiltonicity in terms of forbidden induced subgraphs and extend such results to locally finite infinite graphs. For this we use topological circles within the Freudenthal compactification of a locally finite graph as infinite cycles. In this paper we focus on conditions involving claws, nets and bulls as induced subgraphs. We extend Hamiltonicity results for finite claw-free and net-free graphs by Shepherd to locally finite graphs. Moreover, we generalise a classification of finite claw-free and net-free graphs by Shepherd to locally finite ones. Finally, we extend to locally finite graphs a Hamiltonicity result by Ryj\'{a}\v{c}ek involving a relaxed condition of being bull-free.


title: CUHK at SemEval-2020 Task 4: CommonSense Explanation, Reasoning and Prediction with Multi-task Learning

abstract: This paper describes our system submitted to task 4 of SemEval 2020: Commonsense Validation and Explanation (ComVE) which consists of three sub-tasks. The task is to directly validate the given sentence whether or not it makes sense and require the model to explain it. Based on BERTarchitecture with a multi-task setting, we propose an effective and interpretable "Explain, Reason and Predict" (ERP) system to solve the three sub-tasks about commonsense: (a) Validation, (b)Reasoning, and (c) Explanation. Inspired by cognitive studies of common sense, our system first generates a reason or understanding of the sentences and then chooses which one statement makes sense, which is achieved by multi-task learning. During the post-evaluation, our system has reached 92.9% accuracy in subtask A (rank 11), 89.7% accuracy in subtask B (rank 9), andBLEU score of 12.9 in subtask C (rank 8)


title: Estimation of Video Streaming KQIs for Radio Access Negotiation in Network Slicing Scenarios

abstract: The use of multimedia content has hugely increased in recent times, becoming one of the most important services for the users of mobile networks. Consequently, network operators struggle to optimize their infrastructure to support the best video service-provision. As an additional challenge, 5G introduces the concept of network slicing as a new paradigm that presents a completely different view of the network configuration and optimization. A main challenge of this scheme is to establish which specific resources would provide the necessary quality of service for the users using the slice. To address this, the present work presents a complete framework for this support of the slice negotiation process through the estimation of the provided Video Streaming Key Quality Indicators (KQIs), which are calculated from network low-layer configuration parameters and metrics. The proposed estimator is then evaluated in a real cellular scenario.


title: Mapping the Design Space of Photonic Topological States via Deep Learning

abstract: Topological states in photonics offer novel prospects for guiding and manipulating photons and facilitate the development of modern optical components for a variety of applications. Over the past few years, photonic topology physics has evolved and unveiled various unconventional optical properties in these topological materials, such as silicon photonic crystals. However, the design of such topological states still poses a significant challenge. Conventional optimization schemes often fail to capture their complex high dimensional design space. In this manuscript, we develop a deep learning framework to map the design space of topological states in the photonic crystals. This framework overcomes the limitations of existing deep learning implementations. Specifically, it reconciles the dimension mismatch between the input (topological properties) and output (design parameters) vector spaces and the non-uniqueness that arises from one-to-many function mappings. We use a fully connected deep neural network (DNN) architecture for the forward model and a cyclic convolutional neural network (cCNN)for the inverse model. The inverse architecture contains the pre-trained forward model in tandem, thereby reducing the prediction error significantly.


title: Anisotropic transport and quantum oscillations in the quasi-one-dimensional TaNiTe5: Evidence for the nontrivial band topology

abstract: The past decade has witnessed the burgeoning discovery of a variety of topological states of matter with distinct nontrivial band topologies. Thus far, most of materials studied possess two-dimensional or three-dimensional electronic structures, with only a few exceptions that host quasi-one-dimensional (quasi-1D) topological electronic properties. Here we present the clear-cut evidence for Dirac fermions in the quasi-1D telluride TaNiTe5. We show that its transport behaviors are highly anisotropic and we observe nontrivial Berry phases via the quantum oscillation measurements. The nontrivial band topology is further corroborated by first-principles calculations. Our results may help to guide the future quest for topological states in this new family of quasi-1D ternary chalcogenides.


title: Holomorphic Hamiltonian $\xi$-Flow and Riemann Zeros

abstract: With a view on the formal analogy between Riemann-von-Mangoldts explicit formula and semiclassical quantum mechanics in terms of the Gutzwiller trace formula we construct a complex-valued Hamiltonian $H(q,p)=\xi(q)p$ from the holomorphic flow $\dot{q}=\xi(q)$ and its variational differential equation. The Hamiltonian phase portrait $q(p)$ is a Riemann surface equivalent to reparameterized $\xi$-Newton flow solutions in complex-time, its flow map differential is determined by all Riemann zeros and reminiscent of a 'spectral sum' in trace formulas. Canonical quantization for particle quantum mechanics on a circle leads to a Dirac-type momentum operator with discrete spectrum given by classical closed orbit periods determined by derivatives $\xi'(\rho_n)$ at Riemann zeros.


title: Forcing Hamiltonicity in locally finite graphs via forbidden induced subgraphs II: paws

abstract: In this paper we extend a result about a sufficient condition for Hamiltonicity for finite graphs by Broersma and Veldmann to locally finite graphs. In order to do this we use topological circles within the Freudenthal compactification of a locally finite graph as infinite cycles. The condition we focus on in this paper is in terms of forbidden induced subgraphs, namely being claw-free and a relaxation of being paw-free.


title: Heterogeneous Parallelization and Acceleration of Molecular Dynamics Simulations in GROMACS

abstract: The introduction of accelerator devices such as graphics processing units (GPUs) has had profound impact on molecular dynamics simulations and has enabled order-of-magnitude performance advances using commodity hardware. To fully reap these benefits, it has been necessary to reformulate some of the most fundamental algorithms, including the Verlet list, pair searching and cut-offs. Here, we present the heterogeneous parallelization and acceleration design of molecular dynamics implemented in the GROMACS codebase over the last decade. The setup involves a general cluster-based approach to pair lists and non-bonded pair interactions that utilizes both GPUs and CPU SIMD acceleration efficiently, including the ability to load-balance tasks between CPUs and GPUs. The algorithm work efficiency is tuned for each type of hardware, and to use accelerators more efficiently we introduce dual pair lists with rolling pruning updates. Combined with new direct GPU-GPU communication as well as GPU integration, this enables excellent performance from single GPU simulations through strong scaling across multiple GPUs and efficient multi-node parallelization.


title: BRICS Astronomy and the United Nations Open Universe Initiative

abstract: The almost universal availability of electronic connectivity, portable devices, and the web is bringing about a major revolution: information of all kinds is rapidly becoming accessible to everyone, transforming social, economic and cultural life practically everywhere in the world. Internet technologies represent an unprecedented and extraordinary two-way channel of communication between producers and users of data. Open Universe is an initiative proposed to the United Nations Committee on the Peaceful Uses of Outer Space (COPUOS) and currently in implementation under the leadership of the United Nations Office for Outer Space Affairs (UN-OOSA). Its primary objective is to stimulate a dramatic increase in the availability and usability of space science data, extending the potential of scientific discovery to new participants in all parts of the world. This paper describes the initiative in general, some of the activities carried out to demonstrate its feasibility, and its use in the context of the BRICS Astronomy Programme.


title: A discontinuity in the electromagnetic field of a uniformly accelerated charge

abstract: The electric field of a uniformly accelerated charge shows a plane of discontinuity, where the field extending only on one side of the plane, terminates abruptly on the plane with a finite value. This indicates a non-zero divergence of the electric field in a source-free region, implying a violation of Gauss law. In order to make the field compliant with Maxwell's equations everywhere, an additional field component, proportional to a $\delta$-function at the plane of discontinuity, is required. Such a "$\delta$-field" might be the electromagnetic field of the charge, moving with a uniform velocity approaching $c$, the speed of light, prior to the imposition of acceleration at infinity. However, some attempts to derive this $\delta$-field for such a case, have not been entirely successful. Some of the claims of the derivation involve elaborate calculations with some not-so-obvious mathematical approximations. Since the result to be derived is already known from the constraint of its compliance with Maxwell's equations, and the derivation involves the familiar text-book expressions for the field of a uniformly moving charge, one would expect an easy, simple approach, to lead to the correct result. Here, starting from the electromagnetic field of a uniformly accelerated charge in the instantaneous rest frame, in terms of the position and motion of the charge at the retarded time, we derive this $\delta$-field, consistent with Maxwell's equations, in a fairly simple manner. This is followed by a calculation of the energy in the $\delta$-field, in an analytical manner without making any approximation, where we show that this energy is exactly the one that would be lost by the charge because of the radiation reaction on the charge, proportional to its rate of change of acceleration, that was imposed on it at a distant past.


title: Balanced truncation model reduction for symmetric second order systems -- A passivity-based approach

abstract: We introduce a model reduction approach for linear time-invariant second order systems based on positive real balanced truncation. Our method guarantees asymptotic stability and passivity of the reduced order model as well as the positive definiteness of the mass and stiffness matrices. Moreover, we receive an a priori gap metric error bound. Finally, we show that our method based on positive real balanced truncation preserves the structure of overdamped second order systems.


title: A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs

abstract: Side-channel attacks, which are capable of breaking secrecy via side-channel information, pose a growing threat to the implementation of cryptographic algorithms. Masking is an effective countermeasure against side-channel attacks by removing the statistical dependence between secrecy and power consumption via randomization. However, designing efficient and effective masked implementations turns out to be an error-prone task. Current techniques for verifying whether masked programs are secure are limited in their applicability and accuracy, especially when they are applied. To bridge this gap, in this article, we first propose a sound type system, equipped with an efficient type inference algorithm, for verifying masked arithmetic programs against higher-order attacks. We then give novel model-counting based and pattern-matching based methods which are able to precisely determine whether the potential leaky observable sets detected by the type system are genuine or simply spurious. We evaluate our approach on various implementations of arithmetic cryptographicprograms.The experiments confirm that our approach out performs the state-of-the-art base lines in terms of applicability, accuracy and efficiency.


title: Thermodynamics of the viscous $f(T, B)$ gravity in the new agegraphic dark energy model

abstract: In this paper, we first obtain the energy density by the approach of the new agegraphic dark energy model, and then the $f(T,B)$ gravity model is studied as an alternative to the dark energy in a viscous fluid by flat-FRW background, in which $T$ and $B$ are torsion scalar and boundary term. The Friedmann equations will obtain in the framework of modified teleparallel gravity by tetrad components. We consider that the universe dominates with components such as matter and dark energy by an interacting model. The Hubble parameter is parameterized by the power-law for the scale factor, and then we fit the corresponding Hubble parameter with observational data constraints. The variation of the equation of state (EoS) for dark energy is plotted as a function of the redshift parameter, and the accelerated expansion of the universe is explored. In what follows, the stability of the model is also studied on the base of the sound speed parameter. Finally, the generalized second law of thermodynamics is investigated by entropies of inside and on the boundary of the apparent horizon in thermodynamics equilibrium.


title: Atomicity and Factorization of Puiseux Monoids

abstract: A Puiseux monoid is an additive submonoid of the nonnegative cone of rational numbers. Although Puiseux monoids are torsion-free rank-one monoids, their atomic structure is rich and highly complex. For this reason, they have been important objects to construct crucial examples in commutative algebra and factorization theory. In 1974 Anne Grams used a Puiseux monoid to construct the first example of an atomic domain not satisfying the ACCP, disproving Cohn's conjecture that every atomic domain satisfies the ACCP. Even recently, Jim Coykendall and Felix Gotti have used Puiseux monoids to construct the first atomic monoids with monoid algebras (over a field) that are not atomic, answering a question posed by Robert Gilmer back in the 1980s. This dissertation is focused on the investigation of the atomic structure and factorization theory of Puiseux monoids. Here we established various sufficient conditions for a Puiseux monoid to be atomic (or satisfy the ACCP). We do the same for two of the most important atomic properties: the finite-factorization property and the bounded-factorization property. Then we compare these four atomic properties in the context of Puiseux monoids. This leads us to construct and study several classes of Puiseux monoids with distinct atomic structure. Our investigation provides sufficient evidence to believe that the class of Puiseux monoids is the simplest class with enough complexity to find monoids satisfying almost every fundamental atomic behavior.


title: Results of the seventh edition of the BioASQ Challenge

abstract: The results of the seventh edition of the BioASQ challenge are presented in this paper. The aim of the BioASQ challenge is the promotion of systems and methodologies through the organization of a challenge on the tasks of large-scale biomedical semantic indexing and question answering. In total, 30 teams with more than 100 systems participated in the challenge this year. As in previous years, the best systems were able to outperform the strong baselines. This suggests that state-of-the-art systems are continuously improving, pushing the frontier of research.


title: Dirac cones and chiral selection of elastic waves in a soft strip

abstract: We study the propagation of in-plane elastic waves in a soft thin strip; a specific geometrical and mechanical hybrid framework which we expect to exhibit Dirac-like cone. We separate the low frequencies guided modes (typically 100 Hz for a centimetre wide strip) and obtain experimentally the full dispersion diagram. Dirac cones are evidenced together with other remarkable wave phenomena such as negative wave velocity or pseudo-zero group velocity (ZGV). Our measurements are convincingly supported by a model (and numerical simulation) for both Neumann and Dirichlet boundary conditions. Finally, we perform one-way chiral selection by carefully setting the source position and polarization. Therefore, we show that soft materials support atypical wave-based phenomena, which is all the more interesting as they make most of the biological tissues.


title: Searches for new heavy particles coupling to third-generation quarks at CMS

abstract: Results from searches for new particles with enhanced couplings to third-generation quarks are presented. They are based on proton-proton collision data at a center-of-mass energy of 13 TeV recorded by the CMS experiment. The signatures include single and pair production of vector-like quarks and heavy resonances decaying to third-generation quarks. A wide range of final states, from multi-leptonic to entirely hadronic is covered. Jet substructure techniques are employed to identify highly boosted heavy standard model particles in their hadronic decay modes.


title: Schur sigma-groups with abelian quotient invariants (9,3)

abstract: By the construction of suitable non-metabelian Schur sigma-groups S of type (9,3) with log order lo(S) = 21 and nilpotency class cl(S) = 9, evidence is provided of a new class of imaginary quadratic fields K with 3-class group Cl(3,K) ~ C(9) * C(3) and punctured principalization type kappa ~ (1,4,4;4) whose 3-class field tower consists of precisely three stages. In contrast, previous examples of three-stage towers were associated with kappa in { (1,1,2;2), (1,1,2;3), (1,1,4;2), (1,2,3;1) }, lo(S) = 9 and cl(S) = 5.


title: Policy Gradient-based Algorithms for Continuous-time Linear Quadratic Control

abstract: We consider the continuous-time Linear-Quadratic-Regulator (LQR) problem in terms of optimizing a real-valued matrix function over the set of feedback gains. The results developed are in parallel to those in Bu et al. [1] for discrete-time LTI systems. In this direction, we characterize several analytical properties (smoothness, coerciveness, quadratic growth) that are crucial in the analysis of gradient-based algorithms. We also point out similarities and distinctive features of the continuous time setup in comparison with its discrete time analogue. First, we examine three types of well-posed flows direct policy update for LQR: gradient flow, natural gradient flow and the quasi-Newton flow. The coercive property of the corresponding cost function suggests that these flows admit unique solutions while the gradient dominated property indicates that the underling Lyapunov functionals decay at an exponential rate; quadratic growth on the other hand guarantees that the trajectories of these flows are exponentially stable in the sense of Lyapunov. We then discuss the forward Euler discretization of these flows, realized as gradient descent, natural gradient descent and quasi-Newton iteration. We present stepsize criteria for gradient descent and natural gradient descent, guaranteeing that both algorithms converge linearly to the global optima. An optimal stepsize for the quasi-Newton iteration is also proposed, guaranteeing a $Q$-quadratic convergence rate--and in the meantime--recovering the Kleinman-Newton iteration. Lastly, we examine LQR state feedback synthesis with a sparsity pattern. In this case, we develop the necessary formalism and insights for projected gradient descent, allowing us to guarantee a sublinear rate of convergence to a first-order stationary point.


title: Reconstruction of turbulent data with deep generative models for semantic inpainting from TURB-Rot database

abstract: We study the applicability of tools developed by the computer vision community for features learning and semantic image inpainting to perform data reconstruction of fluid turbulence configurations. The aim is twofold. First, we explore on a quantitative basis, the capability of Convolutional Neural Networks embedded in a Deep Generative Adversarial Model (Deep-GAN) to generate missing data in turbulence, a paradigmatic high dimensional chaotic system. In particular, we investigate their use in reconstructing two-dimensional damaged snapshots extracted from a large database of numerical configurations of 3d turbulence in the presence of rotation, a case with multi-scale random features where both large-scale organised structures and small-scale highly intermittent and non-Gaussian fluctuations are present. Second, following a reverse engineering approach, we aim to rank the input flow properties (features) in terms of their qualitative and quantitative importance to obtain a better set of reconstructed fields. We present two approaches both based on Context Encoders. The first one infers the missing data via a minimization of the L2 pixel-wise reconstruction loss, plus a small adversarial penalisation. The second searches for the closest encoding of the corrupted flow configuration from a previously trained generator. Finally, we present a comparison with a different data assimilation tool, based on Nudging, an equation-informed unbiased protocol, well known in the numerical weather prediction community. The TURB-Rot database, http://smart-turb.roma2.infn.it, of roughly 300K 2d turbulent images is released and details on how to download it are given.

categories: physics.flu-dyn cond-mat.stat-mech cs.CV cs.LG nlin.CD


title: The development of a utopian city? Comparing land- and skyscapes in Santa Cruz de Tenerife and San Cristobal de la Laguna

abstract: We discuss the peculiar planning of the city of San Cristobal de La Laguna, in the Canary Island of Tenerife (Spain), when compared to the nearby and essentially contemporary Santa Cruz de Tenerife, which served as a maritime port of the former city. For this we review our previous study of the exact spatial orientation of twenty-one historic Christian churches currently existing in the old part of La Laguna, which we compare with the analysis of six similar buildings located in Santa Cruz, and presented here for the first time. In both cities, we take the spatial orientation of historic churches as good indicators of the original layout of the respective urban lattices. Although we find a clear orientation pattern for La Laguna, which singles out an absolute-value astronomical declination slightly below 20 degrees, pointing to a preferred date close to the July 25th feast-day of San Cristobal de Licia, in the case of Santa Cruz this trend is not followed. On the contrary, the pattern we find for Santa Cruz, within the uncertainties due to the low statistics, and apart from one equinoctial and one solstitial oriented churches, is consistent with an orographic orientation within the canonic limits of sunrise. This result highlights the uniqueness of the city of La Laguna, and supports the idea suggesting its deliberate planning in the early 16th century.


title: Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges

abstract: Autonomous systems -- such as self-driving cars, autonomous drones, and automated trains -- must come with strong safety guarantees. Over the past decade, techniques based on formal methods have enjoyed some success in providing strong correctness guarantees for large software systems including operating system kernels, cryptographic protocols, and control software for drones. These successes suggest it might be possible to ensure the safety of autonomous systems by constructing formal, computer-checked correctness proofs. This paper identifies three assumptions underlying existing formal verification techniques, explains how each of these assumptions limits the applicability of verification in autonomous systems, and summarizes preliminary work toward improving the strength of evidence provided by formal verification.


title: Distributed File System for an Edge-Based Environment

abstract: Recent developments in the industry of personal computing led to a greater number of the so-called edge devices. Such devices typically do not collaborate or foresee the possibility of collaboration to offer aggregated storage and computing capabilities. The concept of distributed file system (DFS) is not new to the field of distributed systems, in fact, it is widely used in dedicated infrastructures, for example, in cloud computing applications. In this work, we discuss reasonable assumptions for an environment composed of edge devices, the main design issues and implementation challenges of a DFS in the given environment and how they would impact this application. Thereafter we define a system model for an environment composed of edge devices while taking into consideration their high mobility and common cases of network partitioning. Next, we describe an architecture for a DFS that withstands the proposed system model while offering most capabilities that a DFS at a dedicated infrastructure would. We conclude that the development of a distributed file system is a very complex task and, given the broad assumptions of the system model, also hard to verify. Some important aspects of the development lie as future work, but we believe that the developed DFS can be used not only as a tool on it's own, but also as a reference for further development of distributed file systems and, specially, of systems for infrastructures composed of edge devices.


title: Protein folding in the modern era: a pedestrian's guide

abstract: The prediction of protein secondary and tertiary structures from the primary amino acid sequence is both an incredibly important and incredibly difficult problem. Accurate prediction of a protein's native structure can provide critical insights about its function, ultimately leading to breakthoughs in drug design and disease diagnosis. The field has a rich history, from the earliest folding experiments in the 1960's to the use of state-of-the-art algorithms today; this article reviews protein folding's history with an emphasis on how modern methods are tackling the protein folding problem. Assuming only a basic knowledge of biochemistry, we'll explore Christian Anfinsen's classical experiments with bovine RNase, the paradox of protein folding proposed by Cyrus Levinthal, the success of modern machine learning methods, and the promise of quantum computation for protein folding.


title: The Number of Confirmed Cases of Covid-19 by using Machine Learning: Methods and Challenges

abstract: Covid-19 is one of the biggest health challenges that the world has ever faced. Public health policy makers need the reliable prediction of the confirmed cases in future to plan medical facilities. Machine learning methods learn from the historical data and make a prediction about the event. Machine learning methods have been used to predict the number of confirmed cases of Covid-19. In this paper, we present a detailed review of these research papers. We present a taxonomy that groups them in four categories. We further present the challenges in this field. We provide suggestions to the machine learning practitioners to improve the performance of machine learning methods for the prediction of confirmed cases of Covid-19.


title: Cosmology with the submillimetre galaxies magnification bias: Proof of concept

abstract: Context. As recently demonstrated, high-z submillimetre galaxies (SMGs) are the perfect background sample for tracing the mass density profiles of galaxies and clusters (baryonic and dark matter) and their time-evolution through gravitational lensing. Their magnification bias, a weak gravitational lensing effect, is a powerful tool for constraining the free parameters of a halo occupation distribution (HOD) model and potentially also some of the main cosmological parameters. Aims. The aim of this work is to test the capability of the magnification bias produced on high-z SMGs as a cosmological probe. We exploit cross-correlation data to constrain not only astrophysical parameters ($M_{min}$, $M_1$, and $\alpha$), but also some of the cosmological ones ($\Omega_m$, $\sigma_8$, and $H_0$) for this proof of concept. Methods. The measured cross-correlation function between a foreground sample of GAMA galaxies with spectroscopic redshifts in the range 0.2 < z < 0.8 and a background sample of H-ATLAS galaxies with photometric redshifts >1.2 is modelled using the traditional halo model description that depends on HOD and cosmological parameters. These parameters are then estimated by performing a Markov chain Monte Carlo analysis using different sets of priors to test the robustness of the results and to study the performance of this novel observable with the current set of data Results. With our current results, $\Omega_m$ and $H_0$ cannot be well constrained. However, we can set a lower limit of >0.24 at 95\% confidence level (CL) on $\Omega_m$ and we see a slight trend towards $H_0>70$ values. For our constraints on $\sigma_8$ we obtain only a tentative peak around 0.75, but an interesting upper limit of $\sigma_8\lesssim 1$ at 95\% CL. We also study the possibility to derive better constraints by imposing more restrictive priors on the astrophysical parameters.


title: Discovering outstanding subgroup lists for numeric targets using MDL

abstract: The task of subgroup discovery (SD) is to find interpretable descriptions of subsets of a dataset that stand out with respect to a target attribute. To address the problem of mining large numbers of redundant subgroups, subgroup set discovery (SSD) has been proposed. State-of-the-art SSD methods have their limitations though, as they typically heavily rely on heuristics and/or user-chosen hyperparameters. We propose a dispersion-aware problem formulation for subgroup set discovery that is based on the minimum description length (MDL) principle and subgroup lists. We argue that the best subgroup list is the one that best summarizes the data given the overall distribution of the target. We restrict our focus to a single numeric target variable and show that our formalization coincides with an existing quality measure when finding a single subgroup, but that-in addition-it allows to trade off subgroup quality with the complexity of the subgroup. We next propose SSD++, a heuristic algorithm for which we empirically demonstrate that it returns outstanding subgroup lists: non-redundant sets of compact subgroups that stand out by having strongly deviating means and small spread.


title: Time Discretizations of Wasserstein-Hamiltonian Flows

abstract: We study discretizations of Hamiltonian systems on the probability density manifold equipped with the $L^2$-Wasserstein metric. Based on discrete optimal transport theory, several Hamiltonian systems on graph (lattice) with different weights are derived, which can be viewed as spatial discretizations to the original Hamiltonian systems. We prove the consistency and provide the approximate orders for those discretizations. By regularizing the system using Fisher information, we deduce an explicit lower bound for the density function, which guarantees that symplectic schemes can be used to discretize in time. Moreover, we show desirable long time behavior of these schemes, and demonstrate their performance on several numerical examples.


title: A Redistribution Tool for Long-Term Archive of Astronomical Observation Data

abstract: Astronomical observation data require long-term preservation, and the rapid accumulation of observation data makes it necessary to consider the cost of long-term archive storage. In addition to low-speed disk-based online storage, optical disk or tape-based offline storage can be used to save costs. However, for astronomical research that requires historical data (particularly time-domain astronomy), the performance and energy consumption of data-accessing techniques cause problems because the requested data (which are organized according to observation time) may be located across multiple storage devices. In this study, we design and develop a tool referred to as AstroLayout to redistribute the observation data using spatial aggregation. The core algorithm uses graph partitioning to generate an optimized data placement according to the original observation data statistics and the target storage system. For the given observation data, AstroLayout can copy the long-term archive in the target storage system in accordance with this placement. An efficiency evaluation shows that AstroLayout can reduce the number of devices activated when responding to data-access requests in time-domain astronomy research. In addition to improving the performance of data-accessing techniques, AstroLayout can also reduce the storage systems power consumption. For enhanced adaptability, it supports storage systems of any media, including optical disks, tapes, and hard disks.


title: Network model and analysis of the spread of Covid-19 with social distancing

abstract: The first mitigation response to the Covid-19 pandemic was to limit person-to-person interaction as much as possible. This was implemented by the temporary closing of many workplaces and people were required to follow social distancing. Networks are a great way to represent interactions among people and the temporary severing of these interactions. Here, we present a network model of human-human interactions that could be mediators of disease spread. The nodes of this network are individuals and different types of edges denote family cliques, workplace interactions, interactions arising from essential needs, and social interactions. Each individual can be in one of four states: susceptible, infected, immune, and dead. The network and the disease parameters are informed by the existing literature on Covid-19. Using this model, we simulate the spread of an infectious disease in the presence of various mitigation scenarios. For example, lockdown is implemented by deleting edges that denote non-essential interactions. We validate the simulation results with the real data by matching the basic and effective reproduction numbers during different phases of the spread. We also simulate different possibilities of the slow lifting of the lockdown by varying the transmission rate as facilities are slowly opened but people follow prevention measures like wearing masks etc. We make predictions on the probability and intensity of a second wave of infection in each of these scenarios.


title: Mean field theory of weakly-interacting Rydberg polaritons in the EIT system based on the nearest-neighbor distribution

abstract: The combination of high optical nonlinearity in the electromagnetically induced transparency (EIT) effect and strong electric dipole-dipole interaction (DDI) among the Rydberg-state atoms can lead to important applications in quantum information processing and many-body physics. One can utilize the Rydberg-EIT system in the strongly-interacting regime to mediate photon-photon interaction or qubit-qubit operation. One can also employ the Rydberg-EIT system in the weaklyinteracting regime to study the Bose-Einstein condensation of Rydberg polaritons. Most of the present theoretical models dealt with the strongly-interacting cases. Here, we consider the weaklyinteracting regime and develop a mean field model based on the nearest-neighbor distribution. Using the mean field model, we further derive the analytical formulas for the attenuation coefficient and phase shift of the output probe field. The predictions from the formulas are consistent with the experimental data in the weakly-interacting regime, verifying the validity of our model. As the DDI-induced phase shift and attenuation can be seen as the consequences of elastic and inelastic collisions among particles, this work provides a very useful tool for conceiving ideas relevant to the EIT system of weakly-interacting Rydberg polaritons, and for evaluating experimental feasibility.


title: Sample-Efficient Optimization in the Latent Space of Deep Generative Models via Weighted Retraining

abstract: Many important problems in science and engineering, such as drug design, involve optimizing an expensive black-box objective function over a complex, high-dimensional, and structured input space. Although machine learning techniques have shown promise in solving such problems, existing approaches substantially lack sample efficiency. We introduce an improved method for efficient black-box optimization, which performs the optimization in the low-dimensional, continuous latent manifold learned by a deep generative model. In contrast to previous approaches, we actively steer the generative model to maintain a latent manifold that is highly useful for efficiently optimizing the objective. We achieve this by periodically retraining the generative model on the data points queried along the optimization trajectory, as well as weighting those data points according to their objective function value. This weighted retraining can be easily implemented on top of existing methods, and is empirically shown to significantly improve their efficiency and performance on synthetic and real-world optimization problems.


title: Understanding Global Loss Landscape of One-hidden-layer ReLU Networks, Part 2: Experiments and Analysis

abstract: The existence of local minima for one-hidden-layer ReLU networks has been investigated theoretically in [8]. Based on the theory, in this paper, we first analyze how big the probability of existing local minima is for 1D Gaussian data and how it varies in the whole weight space. We show that this probability is very low in most regions. We then design and implement a linear programming based approach to judge the existence of genuine local minima, and use it to predict whether bad local minima exist for the MNIST and CIFAR-10 datasets, and find that there are no bad differentiable local minima almost everywhere in weight space once some hidden neurons are activated by samples. These theoretical predictions are verified experimentally by showing that gradient descent is not trapped in the cells from which it starts. We also perform experiments to explore the count and size of differentiable cells in the weight space.


title: Minimal gauge invariant couplings at order $\alpha'^3$: NS-NS fields

abstract: Removing the field redefinitions, the Bianchi identities and the total derivative freedoms from the general form of gauge invariant NS-NS couplings at order $\alpha'^3$, we have found that the minimum number of independent couplings is 872. We find that there are schemes in which there is no term with structures $R,\,R_{\mu\nu},\,\nabla_\mu H^{\mu\alpha\beta}$, $ \nabla_\mu\nabla^\mu\Phi$. In these schemes, there are sub-schemes in which, except one term, the couplings can have no term with more than two derivatives. In the sub-scheme that we have chosen, the 872 couplings appear in 55 different structures. We fix some of the parameters in type II supersting theory by its corresponding four-point functions. The coupling which has term with more than two derivatives is constraint to be zero by the four-point functions.


title: Finding the Homology of Manifolds using Ellipsoids

abstract: A standard problem in applied topology is how to discover topological invariants of data from a noisy point cloud that approximates it. We consider the case where a sample is drawn from a properly embedded C1-submanifold without boundary in a Euclidean space. We show that we can deformation retract the union of ellipsoids, centered at sample points and stretching in the tangent directions, to the manifold. Hence the homotopy type, and therefore also the homology type, of the manifold is the same as that of the nerve complex of the cover by ellipsoids. By thickening sample points to ellipsoids rather than balls, our results require a smaller sample density than comparable results in the literature. They also advocate using elongated shapes in the construction of barcodes in persistent homology.


title: Studying $\Lambda^*$ resonances in the $p \bar p \rightarrow \Lambda \bar\Lambda \eta$ reaction

abstract: In this work, we make a theoretical study on the $p \bar p \rightarrow \Lambda \bar\Lambda \eta$ reaction for antiproton beam energy from threshold to 4GeV within an effective Lagrangian approach and isobar model. By assuming this reaction is dominated by the excitation of $\Lambda$ and $\bar \Lambda$ resonances in intermediate states, we calculate the total cross sections and give the predictions of the angular distribution and invariant mass spectrum of final particles. In particular, we discuss the possibility to verify the existence of a narrow $\Lambda$ resonance found in the process of $K^- p\to \eta \Lambda$ in the present reaction. It shows that the $p \bar p \rightarrow \bar \Lambda \Lambda \eta$ reaction can provide us with valuable information about the $\Lambda$ resonances having significant couplings to $\bar K N$ and $\Lambda\eta$ channels. Thus the experimental data of this reaction will be a good supplement to the $\bar K N\to\eta \Lambda$ scattering data for studying $\Lambda$ resonances.


title: p-d-Separation -- A Concept for Expressing Dependence/Independence Relations in Causal Networks

abstract: Spirtes, Glymour and Scheines formulated a Conjecture that a direct dependence test and a head-to-head meeting test would suffice to construe directed acyclic graph decompositions of a joint probability distribution (Bayesian network) for which Pearl's d-separation applies. This Conjecture was later shown to be a direct consequence of a result of Pearl and Verma. This paper is intended to prove this Conjecture in a new way, by exploiting the concept of p-d-separation (partial dependency separation). While Pearl's d-separation works with Bayesian networks, p-d-separation is intended to apply to causal networks: that is partially oriented networks in which orientations are given to only to those edges, that express statistically confirmed causal influence, whereas undirected edges express existence of direct influence without possibility of determination of direction of causation. As a consequence of the particular way of proving the validity of this Conjecture, an algorithm for construction of all the directed acyclic graphs (dags) carrying the available independence information is also presented. The notion of a partially oriented graph (pog) is introduced and within this graph the notion of p-d-separation is defined. It is demonstrated that the p-d-separation within the pog is equivalent to d-separation in all derived dags.


title: Dense Non-Rigid Structure from Motion: A Manifold Viewpoint

abstract: Non-Rigid Structure-from-Motion (NRSfM) problem aims to recover 3D geometry of a deforming object from its 2D feature correspondences across multiple frames. Classical approaches to this problem assume a small number of feature points and, ignore the local non-linearities of the shape deformation, and therefore, struggles to reliably model non-linear deformations. Furthermore, available dense NRSfM algorithms are often hurdled by scalability, computations, noisy measurements and, restricted to model just global deformation. In this paper, we propose algorithms that can overcome these limitations with the previous methods and, at the same time, can recover a reliable dense 3D structure of a non-rigid object with higher accuracy. Assuming that a deforming shape is composed of a union of local linear subspace and, span a global low-rank space over multiple frames enables us to efficiently model complex non-rigid deformations. To that end, each local linear subspace is represented using Grassmannians and, the global 3D shape across multiple frames is represented using a low-rank representation. We show that our approach significantly improves accuracy, scalability, and robustness against noise. Also, our representation naturally allows for simultaneous reconstruction and clustering framework which in general is observed to be more suitable for NRSfM problems. Our method currently achieves leading performance on the standard benchmark datasets.


title: The initial step towards JOREK integration in IMAS

abstract: JOREK is being adapted to work with the Integrated Modelling & Analysis Suite (IMAS) which is being actively developed and used by the ITER Organization, the EUROfusion community and other ITER Members. The list of codes adapted to use the IMAS Data Model is gradually increasing with examples including SOLPS-ITER and JINTRAC. The main goal of the integration of JOREK with IMAS is to enable interaction with the plasma scenarios stored in the IMAS databases in the form of Interface Data Structures (IDSs): input conditions can be read from the databases and nonlinear plasma states determined by JOREK stored. IDSs provide a uniform way of representing data within the IMAS framework and allow to transfer data between codes and to storage within larger integrated modelling workflows. In order to integrate JOREK within IMAS it is therefore necessary that transformation tools are developed to facilitate the reading and writing of the relevant IDSs, including the MHD IDS, with its underlying Generalized Grid Description (GGD). For this purpose, utilities have been developed that extract JOREK simulation plasma state, namely the grid geometry and computed physical quantities for each time slice, and then transform them to the appropriate output IDSs. In this article, these initial steps towards full JOREK integration into IMAS is presented.


title: AVLnet: Learning Audio-Visual Language Representations from Instructional Videos

abstract: Current methods for learning visually grounded language from videos often rely on text annotation, such as human generated captions or machine generated automatic speech recognition (ASR) transcripts. In this work, we introduce the Audio-Video Language Network (AVLnet), a self-supervised network that learns a shared audio-visual embedding space directly from raw video inputs. To circumvent the need for text annotation, we learn audio-visual representations from randomly segmented video clips and their raw audio waveforms. We train AVLnet on HowTo100M, a large corpus of publicly available instructional videos, and evaluate on image retrieval and video retrieval tasks, achieving state-of-the-art performance. We perform analysis of AVLnet's learned representations, showing our model utilizes speech and natural sounds to learn audio-visual concepts. Further, we propose a tri-modal model that jointly processes raw audio, video, and text captions from videos to learn a multi-modal semantic embedding space useful for text-video retrieval. Our code, data, and trained models will be released at avlnet.csail.mit.edu


title: On solutions of the transport equation in the presence of singularities

abstract: We consider the transport equation on $[0,T]\times \mathbb{R}^n$ in the situation where the vector field is $BV$ off a set $S\subset [0,T]\times \mathbb{R}^n$. We demonstrate that solutions exist and are unique provided that the set of singularities has a sufficiently small anisotropic fractal dimension and the normal component of the vector field is sufficiently integrable near the singularities. This result improves upon recent results of Ambrosio who requires the vector field to be of bounded variation everywhere. In addition, we demonstrate that under these conditions almost every trajectory of the associated regular Lagrangian flow does not intersect the set $S$ of singularities. Finally, we consider the particular case of an initial set of singularities that evolve in time so the singularities consists of curves in the phase space, which is typical in applications such as vortex dynamics. We demonstrate that solutions of the transport equation exist and are unique provided that the box-counting dimension of the singularities is bounded in terms of the H\"older exponent of the curves.


title: A Hybrid Deep Learning Model for Predictive Flood Warning and Situation Awareness using Channel Network Sensors Data

abstract: The objective of this study is to create and test a hybrid deep learning model, FastGRNN-FCN (Fast, Accurate, Stable and Tiny Gated Recurrent Neural Network-Fully Convolutional Network), for urban flood prediction and situation awareness using channel network sensors data. The study used Harris County, Texas as the testbed, and obtained channel sensor data from three historical flood events (e.g., 2016 Tax Day Flood, 2016 Memorial Day flood, and 2017 Hurricane Harvey Flood) for training and validating the hybrid deep learning model. The flood data are divided into a multivariate time series and used as the model input. Each input comprises nine variables, including information of the studied channel sensor and its predecessor and successor sensors in the channel network. Precision-recall curve and F-measure are used to identify the optimal set of model parameters. The optimal model with a weight of 1 and a critical threshold of 0.59 are obtained through one hundred iterations based on examining different weights and thresholds. The test accuracy and F-measure eventually reach 97.8% and 0.792, respectively. The model is then tested in predicting the 2019 Imelda flood in Houston and the results show an excellent match with the empirical flood. The results show that the model enables accurate prediction of the spatial-temporal flood propagation and recession and provides emergency response officials with a predictive flood warning tool for prioritizing the flood response and resource allocation strategies.


title: On black holes as macroscopic quantum objects

abstract: The relative flow of the Schwarzschild vs. the proper time during the classical evolution of a collapsing shell in the Schwarzschild coordinates practically forces us to interpret black hole formation as a highly non-local quantum process in which a shell/anti-shell pair is created within the incipient horizon, thus canceling out the original collapsing shell exactly at the horizon. By studying quantum fields in the black hole background, we reveal similar non-local effects. Among other things, the outgoing member of the Hawking pair very quickly becomes entangled with the black hole geometry (and not its partner), which is in contrast with the usual assumption that the Hawking pair is maximally entangled according to the local geometry near the horizon. Also, an infalling wave affects the black hole geometry even before it crosses the horizon. Finally, we find that a particle takes a finite amount of time to tunnel in and out of the black hole horizon, and thus avoids infinite blue and redshift in processes happening exactly at the horizon. These findings strongly support the picture of a black hole as a macroscopic quantum object.


title: Quantum Coherence Resonance

abstract: It is shown that coherence resonance, a phenomenon in which regularity of noise-induced oscillations in nonlinear excitable systems is maximized at a certain optimal noise intensity, can be observed in quantum dissipative systems. We analyze a quantum van der Pol system subjected to squeezing, which exhibits bistable excitability in the classical limit, by numerical simulations of the quantum master equation. We first demonstrate that quantum coherence resonance occurs in the semiclassical regime, namely, the regularity of the system's oscillatory response is maximized at an optimal intensity of quantum fluctuations, and interpret this phenomenon by analogy with classical noisy excitable systems using semiclassical stochastic differential equations. This resonance persists under moderately strong quantum fluctuations for which the semiclassical description is invalid. Moreover, we investigate even stronger quantum regimes and demonstrate that the regularity of the system's response can exhibit the second peak as the intensity of the quantum fluctuations is further increased. We show that this second peak of resonance is a strong quantum effect that cannot be interpreted by a semiclassical picture, in which only a few energy states participate in the system dynamics.


title: PlumeNet: Large-Scale Air Quality Forecasting Using A Convolutional LSTM Network

abstract: This paper presents an engine able to forecast jointly the concentrations of the main pollutants harming people's health: nitrogen dioxyde (NO2), ozone (O3) and particulate matter (PM2.5 and PM10, which are respectively the particles whose diameters are below 2.5 um and 10 um respectively). The forecasts are performed on a regular grid (the results presented in the paper are produced with a 0.5{\deg} resolution grid over Europe and the United States) with a neural network whose architecture includes convolutional LSTM blocks. The engine is fed with the most recent air quality monitoring stations measures available, weather forecasts as well as air quality physical and chemical model (AQPCM) outputs. The engine can be used to produce air quality forecasts with long time horizons, and the experiments presented in this paper show that the 4 days forecasts beat very significantly simple benchmarks. A valuable advantage of the engine is that it does not need much computing power: the forecasts can be built in a few minutes on a standard GPU. Thus, they can be updated very frequently, as soon as new air quality measures are available (generally every hour), which is not the case of AQPCMs traditionally used for air quality forecasting. The engine described in this paper relies on the same principles as a prediction engine deployed and used by Plume Labs in several products aiming at providing air quality data to individuals and businesses.


title: Visual Identification of Individual Holstein-Friesian Cattle via Deep Metric Learning

abstract: Holstein-Friesian cattle exhibit individually-characteristic black and white coat patterns visually akin to those arising from Turing's reaction-diffusion systems. This work takes advantage of these natural markings in order to automate visual detection and biometric identification of individual Holstein-Friesians via convolutional neural networks and deep metric learning techniques. Existing approaches rely on markings, tags or wearables with a variety of maintenance requirements, whereas we present a totally hands-off method for the automated detection, localisation, and identification of individual animals from overhead imaging in an open herd setting, i.e. where new additions to the herd are identified without re-training. We propose the use of SoftMax-based reciprocal triplet loss to address the identification problem and evaluate the techniques in detail against fixed herd paradigms. We find that deep metric learning systems show strong performance even when many cattle unseen during system training are to be identified and re-identified -- achieving 93.8% accuracy when trained on just half of the population. This work paves the way for facilitating the non-intrusive monitoring of cattle applicable to precision farming and surveillance for automated productivity, health and welfare monitoring, and to veterinary research such as behavioural analysis, disease outbreak tracing, and more. Key parts of the source code, network weights and datasets are available publicly.


title: Galactic extinction laws: I. A global NIR analysis with 2MASS photometry

abstract: We have started an ambitious program to determine if the full diversity of extinction laws is real or if some of it is due to calibration or methodological issues. Here we start by analyzing the information on NIR extinction in a 2MASS stellar sample with good quality photometry and very red colours. We calculate the extinction at 1 $\mu$m, $A_1$, and the power-law exponent, $\alpha$ ($A_\lambda = A_1 \lambda^{-\alpha}$), for the 2MASS stars located in the extinction trajectory in the $H-K$ vs. $J-H$ plane expected for red giants with $A_1 > 5$ mag. We test the validity of the assumption about the nature of those stars, whether a single or multiple values of $\alpha$ are needed, and the spatial variations of the results. Most ($\sim$83%) of those stars can indeed be explained by high-extinction red giants and the rest is composed of extinguished AGB stars (mostly O-rich), blended sources, and smaller numbers of other objects, a contaminant fraction that can be reduced with the help of Gaia} DR2 data. Galactic red giants experience a NIR extinction with $\alpha\sim 2.27$ and an uncertainty of a few hundredths of a magnitude. There is no significant spread in $\alpha$ even though our sample is widely distributed and has a broad range of extinctions. Differences with previous results are ascribed to the treatment of non-linear photometric effects and/or the contaminant correction. Future research should concentrate in finding the correct functional form for the NIR extinction law. In the appendix we detail the treatment of non-linear photometric effects in the 2MASS bands.


title: Large deviations for the maximum of a branching random walk with stretched exponential tails

abstract: We prove large deviation results for the position of the rightmost particle, denoted by $M_n$, in a one-dimensional branching random walk in a case when Cram\'er's condition is not satisfied. More precisely we consider step size distributions with stretched exponential upper and lower tails, i.e.~both tails decay as $e^{-|t|^r}$ for some $r\in( 0,1)$. It is known that in this case, $M_n$ grows as $n^{1/r}$ and in particular faster than linearly in $n$. Our main result is a large deviation principle for the laws of $n^{-1/r}M_n$ . In the proof we use a comparison with the maximum of (a random number of) independent random walks, denoted by $\tilde M_n$, and we show a large deviation principle for the laws of $n^{-1/r}\tilde M_n$ as well.


title: Iterative Nadaraya-Watson Distribution Transfer for Colour Grading

abstract: We propose a new method with Nadaraya-Watson that maps one N-dimensional distribution to another taking into account available information about correspondences. We extend the 2D/3D problem to higher dimensions by encoding overlapping neighborhoods of data points and solve the high dimensional problem in 1D space using an iterative projection approach. To show potentials of this mapping, we apply it to colour transfer between two images that exhibit overlapped scene. Experiments show quantitative and qualitative improvements over previous state of the art colour transfer methods.


title: Global properties of warped solutions in General Relativity with an electromagnetic field and a cosmological constant. II

abstract: We consider general relativity with cosmological constant minimally coupled to the electromagnetic field and assume that the four-dimensional space-time manifold is a warped product of two surfaces with Lorentzian and Euclidean signature metrics. Field equations imply that at least one of the surfaces must be of constant curvature leading to the symmetry of the metric (``spontaneous symmetry emergence''). We classify all global solutions in the case when the Lorentzian surface is of constant curvature. These solutions are invariant with respect to the Lorentz SO(1,2) or Poincare IO(1,1) groups acting on the Lorentzian surface.


title: The Hom-Long dimodule category and nonlinear equations

abstract: In this paper, we construct a kind of new braided monoidal category over two Hom-Hopf algerbas $(H,\alpha)$ and $(B,\beta)$ and associate it with two nonlinear equations. We first introduce the notion of an $(H,B)$-Hom-Long dimodule and show that the Hom-Long dimodule category $^{B}_{H} \Bbb L$ is an autonomous category. Second, we prove that the category $^{B}_{H} \Bbb L$ is a braided monoidal category if $(H,\alpha)$ is quasitriangular and $(B,\beta)$ is coquasitriangular and get a solution of the quantum Yang-Baxter equation. Also, we show that the category $^{B}_{H} \Bbb L$ can be viewed as a subcategory of the Hom-Yetter-Drinfeld category $^{H\o B}_{H\o B} \Bbb {HYD}$. Finally, we obtain a solution of the Hom-Long equation from the Hom-Long dimodules.


title: A Note on the Axisymmetric Diffusion equation

abstract: We consider the explicit solution to the axisymmetric diffusion equation. We recast the solution in the form of a Mellin inversion formula, and outline a method to compute a formula for $u(r,t)$ as a series using the Cauchy residue theorem. As a consequence, we are able to represent the solution to the axisymmetric diffusion equation as rapidly converging series.


title: Impact of single string structure and multiple string interaction on strangeness production in Pb+Pb collisions at $\sqrt{S_{NN}} = 2.76$ TeV

abstract: We present a systematic study on the strange and multi-strange particles production in Pb+Pb collisions at $\sqrt{S_{NN}} = 2.76$ TeV based on the PACIAE model simulations. Two different mechanisms, namely the single string structure variations and multiple string interactions, are implemented in the simulations. These modifications give rise to an enhancement of the string tension value involved in the Lund string fragmentation framework and generate more strange particles in the hadronic final state. By comparing the simulation results with the ALICE experimental data, it turns out that the inclusion of the variable effective string tension in the PACIAE model is capable to reach an improved agreement between theory and experiment on the strangeness production in Pb+Pb collisions.


title: A Hybrid Natural Language Generation System Integrating Rules and Deep Learning Algorithms

abstract: This paper proposes an enhanced natural language generation system combining the merits of both rule-based approaches and modern deep learning algorithms, boosting its performance to the extent where the generated textual content is capable of exhibiting agile human-writing styles and the content logic of which is highly controllable. We also come up with a novel approach called HMCU to measure the performance of the natural language processing comprehensively and precisely.


title: FCOS: A simple and strong anchor-free object detector

abstract: In computer vision, object detection is one of most important tasks, which underpins a few instance-level recognition tasks and many downstream applications. Recently one-stage methods have gained much attention over two-stage approaches due to their simpler design and competitive performance. Here we propose a fully convolutional one-stage object detector (FCOS) to solve object detection in a per-pixel prediction fashion, analogue to other dense prediction problems such as semantic segmentation. Almost all state-of-the-art object detectors such as RetinaNet, SSD, YOLOv3, and Faster R-CNN rely on pre-defined anchor boxes. In contrast, our proposed detector FCOS is anchor box free, as well as proposal free. By eliminating the pre-defined set of anchor boxes, FCOS completely avoids the complicated computation related to anchor boxes such as calculating the intersection over union (IoU) scores during training. More importantly, we also avoid all hyper-parameters related to anchor boxes, which are often sensitive to the final detection performance. With the only post-processing non-maximum suppression (NMS), we demonstrate a much simpler and flexible detection framework achieving improved detection accuracy. We hope that the proposed FCOS framework can serve as a simple and strong alternative for many other instance-level tasks. Code and pre-trained models are available at: https://git.io/AdelaiDet


title: Fuzzy gyronorms on gyrogroups

abstract: The concept of gyrogroups is a generalization of groups which do not explicitly have associativity. In this paper, the notion of fuzzy gyronorms on gyrogroups is introduced. The relations of fuzzy metrics (in the sense of George and Veeramani), fuzzy gyronorms and gyronorms on gyrogroups are studied. Also, the fuzzy metric structures on fuzzy normed gyrogroups are discussed. In the last, the fuzzy metric completion of a gyrogroup with an invariant metric are studied. We mainly show that let $d$ be an invariant metric on a gyrogroup $G$ and $(\widehat{G},\widehat{d})$ is the metric completion of the metric space $(G,d)$; then for any continuous $t$-norm $\ast$, the standard fuzzy metric space $(\widehat{G},M_{\widehat{d}},\ast)$ of $(\widehat{G},\widehat{d})$ is the (up to isometry) unique fuzzy metric completion of the standard fuzzy metric space $(G,M_d,\ast)$ of $(G,d)$; furthermore, $(\widehat{G},M_{\widehat{d}},\ast)$ is a fuzzy metric gyrogroup containing $(G,M_d,\ast)$ as a dense fuzzy metric subgyrogroup and $M_{\widehat{d}}$ is invariant on $\widehat{G}$. Applying this result, we obtain that every gyrogroup $G$ with an invariant metric $d$ admits an (up to isometric) unique complete metric space $(\widehat{G},\widehat{d})$ of $(G,d)$ such that $\widehat{G}$ with the topology introduced by $\widehat{d}$ is a topology gyrogroup containing $G$ as a dense subgyrogroup and $\widehat{d}$ is invariant on $\widehat{G}$.


title: Looking for a new member of Gordon's identities

abstract: We give a commutative algebra viewpoint on Andrews recursive formula for the partitions appearing in "Gordon's identities", which are a generalization of Rogers-Ramanujan identities. Using this approach and differential ideals we conjecture a family of partition identities which extend Gordon's identities. This family is indexed by r >=2. We prove the conjecture for r=2 and r=3.


title: FFR v1.1: Fon-French Neural Machine Translation

abstract: All over the world and especially in Africa, researchers are putting efforts into building Neural Machine Translation (NMT) systems to help tackle the language barriers in Africa, a continent of over 2000 different languages. However, the low-resourceness, diacritical, and tonal complexities of African languages are major issues being faced. The FFR project is a major step towards creating a robust translation model from Fon, a very low-resource and tonal language, to French, for research and public use. In this paper, we introduce FFR Dataset, a corpus of Fon-to-French translations, describe the diacritical encoding process, and introduce our FFR v1.1 model, trained on the dataset. The dataset and model are made publicly available at https://github.com/ bonaventuredossou/ffr-v1, to promote collaboration and reproducibility.


title: Ising Percolation on Nonamenable Planar Graphs

abstract: We study infinite ``$+$'' or ``$-$'' clusters for an Ising model on an connected, transitive, non-amenable, planar, one-ended graph $G$ with finite vertex degree. If the critical percolation probability $p_c^{site}$ for the i.i.d.~Bernoulli site percolation on $G$ is less than $\frac{1}{2}$, we find an explicit region for the coupling constant of the Ising model such that there are infinitely many infinite ``$+$''-clusters and infinitely many infinite ``$-$''-clusters, while the random cluster representation of the Ising model has no infinite 1-clusters. If $p_c^{site}>\frac{1}{2}$, we obtain a lower bound for the critical probability in the random cluster representation of the Ising model in terms of $p_c^{site}$.


title: Distributional (Single) Index Models

abstract: A Distributional (Single) Index Model (DIM) is a semi-parametric model for distributional regression, that is, estimation of conditional distributions given covariates. The method is a combination of classical single index models for the estimation of the conditional mean of a response given covariates, and isotonic distributional regression. The model for the index is parametric, whereas the conditional distributions are estimated non-parametrically under a stochastic ordering constraint. We show consistency of our estimators and apply them to a highly challenging data set on the length of stay (LoS) of patients in intensive care units. We use the model to provide skillful and calibrated probabilistic predictions for the LoS of individual patients, that outperform the available methods in the literature.


title: MS-TCN++: Multi-Stage Temporal Convolutional Network for Action Segmentation

abstract: With the success of deep learning in classifying short trimmed videos, more attention has been focused on temporally segmenting and classifying activities in long untrimmed videos. State-of-the-art approaches for action segmentation utilize several layers of temporal convolution and temporal pooling. Despite the capabilities of these approaches in capturing temporal dependencies, their predictions suffer from over-segmentation errors. In this paper, we propose a multi-stage architecture for the temporal action segmentation task that overcomes the limitations of the previous approaches. The first stage generates an initial prediction that is refined by the next ones. In each stage we stack several layers of dilated temporal convolutions covering a large receptive field with few parameters. While this architecture already performs well, lower layers still suffer from a small receptive field. To address this limitation, we propose a dual dilated layer that combines both large and small receptive fields. We further decouple the design of the first stage from the refining stages to address the different requirements of these stages. Extensive evaluation shows the effectiveness of the proposed model in capturing long-range dependencies and recognizing action segments. Our models achieve state-of-the-art results on three datasets: 50Salads, Georgia Tech Egocentric Activities (GTEA), and the Breakfast dataset.


title: Testing systems of real quadratic equations for approximate solutions

abstract: Consider systems of equations $q_i(x)=0$, where $q_i: {\Bbb R}^n \longrightarrow {\Bbb R}$, $i=1, \ldots, m$, are quadratic forms. Our goal is to tell efficiently systems with many non-trivial solutions or near-solutions $x \ne 0$ from systems that are far from having a solution. For that, we pick a delta-shaped penalty function $F: {\Bbb R} \longrightarrow [0, 1]$ with $F(0)=1$ and $F(y) < 1$ for $y \ne 0$ and compute the expectation of $F(q_1(x)) \cdots F(q_m(x))$ for a random $x$ sampled from the standard Gaussian measure in ${\Bbb R}^n$. We choose $F(y)=y^{-2}\sin^2 y$ and show that the expectation can be approximated within relative error $0< \epsilon < 1$ in quasi-polynomial time $(m+n)^{O(\ln (m+n)-\ln \epsilon)}$, provided each form $q_i$ depends on not more than $r$ real variables, has common variables with at most $r-1$ other forms and satisfies $|q_i(x)| \leq \gamma \|x\|^2/r$, where $\gamma >0$ is an absolute constant. This allows us to distinguish between "easily solvable" and "badly unsolvable" systems in some non-trivial situations.


title: Towards Automated Assessment of Stuttering and Stuttering Therapy

abstract: Stuttering is a complex speech disorder that can be identified by repetitions, prolongations of sounds, syllables or words, and blocks while speaking. Severity assessment is usually done by a speech therapist. While attempts at automated assessment were made, it is rarely used in therapy. Common methods for the assessment of stuttering severity include percent stuttered syllables (% SS), the average of the three longest stuttering symptoms during a speech task, or the recently introduced Speech Efficiency Score (SES). This paper introduces the Speech Control Index (SCI), a new method to evaluate the severity of stuttering. Unlike SES, it can also be used to assess therapy success for fluency shaping. We evaluate both SES and SCI on a new comprehensively labeled dataset containing stuttered German speech of clients prior to, during, and after undergoing stuttering therapy. Phone alignments of an automatic speech recognition system are statistically evaluated in relation to their relative position to labeled stuttering events. The results indicate that phone length distributions differ with respect to their position in and around labeled stuttering events


title: Risk bounds when learning infinitely many response functions by ordinary linear regression

abstract: Consider the problem of learning a large number of response functions simultaneously based on the same input variables. The training data consist of a single independent random sample of the input variables drawn from a common distribution together with the associated responses. The input variables are mapped into a high-dimensional linear space, called the feature space, and the response functions are modelled as linear functionals of the mapped features, with coefficients calibrated via ordinary least squares. We provide convergence guarantees on the worst-case excess prediction risk by controlling the convergence rate of the excess risk uniformly in the response function. The dimension of the feature map is allowed to tend to infinity with the sample size. The collection of response functions, although potentially infinite, is supposed to have a finite Vapnik-Chervonenkis dimension. The bound derived can be applied when building multiple surrogate models in a reasonable computing time.


title: The dust and cold gas content of local star forming galaxies

abstract: We use dust masses ($M_{dust}$) derived from far-infrared data and molecular gas masses ($M_{mol}$) based on CO luminosity, to calibrate proxies based on a combination of the galaxy Balmer decrement, disk inclination and gas metallicity. We use such proxies to estimate $M_{dust}$ and $M_{mol}$ in the local SDSS sample of star-forming galaxies (SFGs). We study the distribution of $M_{dust}$ and $M_{mol}$ along and across the Main Sequence (MS) of SFGs. We find that $M_{dust}$ and $M_{mol}$ increase rapidly along the MS with increasing stellar mass ($M_*$), and more marginally across the MS with increasing SFR (or distance from the relation). The dependence on $M_*$ is sub-linear for both $M_{dust}$ and $M_{mol}$. Thus, the fraction of dust ($f_{dust}$) and molecular gas mass ($f_{mol}$) decreases monotonically towards large $M_*$. The star formation efficiency (SFE, the inverse of the molecular gas depletion time) depends strongly on the distance from the MS and it is constant along the MS. As nearly all galaxies in the sample are central galaxies, we estimate the dependence of $f_{dust}$ and $f_{gas}$ on the host halo mass and find a tight anti-correlation. As the region where the MS is bending is numerically dominated by massive halos, we conclude that the bending of the MS is due to lower availability of molecular gas mass in massive halos rather than a lower efficiency in forming stars.


title: DSDANet: Deep Siamese Domain Adaptation Convolutional Neural Network for Cross-domain Change Detection

abstract: Change detection (CD) is one of the most vital applications in remote sensing. Recently, deep learning has achieved promising performance in the CD task. However, the deep models are task-specific and CD data set bias often exists, hence it is inevitable that deep CD models would suffer degraded performance after transferring it from original CD data set to new ones, making manually label numerous samples in the new data set unavoidable, which costs a large amount of time and human labor. How to learn a transferable CD model in the data set with enough labeled data (original domain) but can well detect changes in another data set without labeled data (target domain)? This is defined as the cross-domain change detection problem. In this paper, we propose a novel deep siamese domain adaptation convolutional neural network (DSDANet) architecture for cross-domain CD. In DSDANet, a siamese convolutional neural network first extracts spatial-spectral features from multi-temporal images. Then, through multi-kernel maximum mean discrepancy (MK-MMD), the learned feature representation is embedded into a reproducing kernel Hilbert space (RKHS), in which the distribution of two domains can be explicitly matched. By optimizing the network parameters and kernel coefficients with the source labeled data and target unlabeled data, DSDANet can learn transferrable feature representation that can bridge the discrepancy between two domains. To the best of our knowledge, it is the first time that such a domain adaptation-based deep network is proposed for CD. The theoretical analysis and experimental results demonstrate the effectiveness and potential of the proposed method.


title: Parameter-Based Value Functions

abstract: Traditional off-policy actor-critic Reinforcement Learning (RL) algorithms learn value functions of a single target policy. However, when value functions are updated to track the learned policy, they forget potentially useful information about old policies. We introduce a class of value functions called Parameter-Based Value Functions (PBVFs) whose inputs include the policy parameters. They can generalize across different policies. PBVFs can evaluate the performance of any policy given a state, a state-action pair, or a distribution over the RL agent's initial states. First we show how PBVFs yield novel off-policy policy gradient theorems. Then we derive off-policy actor-critic algorithms based on PBVFs trained by Monte Carlo or Temporal Difference methods. We show how learned PBVFs can zero-shot learn new policies that outperform any policy seen during training. Finally our algorithms are evaluated on a selection of discrete and continuous control tasks using shallow policies and deep neural networks. Their performance is comparable to state-of-the-art methods.


title: Gate tunability of highly efficient spin-to-charge conversion by spin Hall effect in graphene proximitized with WSe$_2$

abstract: The proximity effect opens ways to transfer properties from one material into another and is especially important in two-dimensional materials. In van der Waals heterostructures, transition metal dichalcogenides (TMD) can be used to enhance the spin-orbit coupling of graphene leading to the prediction of gate controllable spin-to-charge conversion (SCC). Here, we report for the first time and quantify the SHE in graphene proximitized with WSe$_2$ up to room temperature. Unlike in other graphene/TMD devices, the sole SCC mechanism is the spin Hall effect and no Rashba-Edelstein effect is observed. Importantly, we are able to control the SCC by applying a gate voltage. The SCC shows a high efficiency, measured with an unprecedented SCC length larger than 20 nm. These results show the capability of two-dimensional materials to advance towards the implementation of novel spin-based devices and future applications.


title: Trackability for Discrete-Time LTI Systems: A Brief Review and New Insights

abstract: `Trackability', the ability of systems to follow arbitrary reference commands, is investigated in this work. Controllability is not useful in explaining the tracking behavior of system outputs, a gap that is often overlooked. Trackability addresses this gap by characterizing whether system dynamics permits tracking of certain reference commands, irrespective of the controller/control action used. While earlier literature has discussed closely-related ideas, lack of consistency in terminology and focus in the literature has necessitated defining trackability in a simple but rigorous manner. We present definitions for trackability based on elementary linear algebra and propose a rank test for determining trackability of systems, while posing tracking control as an existence question. We discuss in some detail the relationship of this rank test with other results in the literature. These results are then used to generate insights about trackable systems and more importantly to gain insights in to tracking behavior of systems that are not trackable. We also define three indices that indicate the expected tracking behavior of the system. Furthermore, we also present a Venn diagram explaining in detail the connections between trackability and other fundamental system properties like controllability, observability and output controllability, while discussing several facts that elaborate these connections. Specifically, we show that trackability is fundamentally different from controllability and output controllability. The presented work is expected to serve as a foundation for a deeper investigation into the topic of tracking control and provide a framework for receiving new theoretical insights on trackability.


title: Focus of Attention Improves Information Transfer in Visual Features

abstract: Unsupervised learning from continuous visual streams is a challenging problem that cannot be naturally and efficiently managed in the classic batch-mode setting of computation. The information stream must be carefully processed accordingly to an appropriate spatio-temporal distribution of the visual data, while most approaches of learning commonly assume uniform probability density. In this paper we focus on unsupervised learning for transferring visual information in a truly online setting by using a computational model that is inspired to the principle of least action in physics. The maximization of the mutual information is carried out by a temporal process which yields online estimation of the entropy terms. The model, which is based on second-order differential equations, maximizes the information transfer from the input to a discrete space of symbols related to the visual features of the input, whose computation is supported by hidden neurons. In order to better structure the input probability distribution, we use a human-like focus of attention model that, coherently with the information maximization model, is also based on second-order differential equations. We provide experimental results to support the theory by showing that the spatio-temporal filtering induced by the focus of attention allows the system to globally transfer more information from the input stream over the focused areas and, in some contexts, over the whole frames with respect to the unfiltered case that yields uniform probability distributions.