title: The Continuous Subsolution Problem for Complex Hessian Equations

abstract: Let $\Omega \subset \mathbb C^n$ be a bounded strictly $m$-pseudoconvex domain ($1\leq m\leq n$) and $\mu$ a positive Borel measure on $\Omega$. We study the Dirichlet problem for the complex Hessian equation $(dd^c u)^m \wedge \beta^{n - m} = \mu$ on $\Omega$. First we give a sufficient condition on the "modulus of diffusion" of the measure $\mu$ with respect to the $m$-Hessian capacity which guarantees the existence of a continuous solution to the associated Dirichlet problem with a continuous boundary datum. As an application, we prove that if the equation has a continuous $m$-subharmonic subsolution whose modulus of continuity satisfies a Dini type condition, then the equation has a continuous solution with an arbitrary continuous boundary datum. Moreover when the measure has a finite mass on $\Omega$, we give a precise quantitative estimate on the modulus of continuity of the solution. One of the main steps in our proof is to establish a new capacity estimate providing a precise estimate of the modulus of diffusion of the $m$-Hessian measure of a continuous $m$-subharmonic function $\varphi$ in $\Omega$ with zero boundary with respect to the $m$-Hessian capacity in terms of the modulus of continuity of $\varphi$. Another important ingredient is a new weak stability estimate for the $m$-Hessian measure of a continuous $m$-subharmonic function in $\Omega$.


title: A widely connected topological space made from diamond

abstract: We give the construction of an infinite topological space with unusual properties. The space is regular, separable, and connected, but removing any nonempty open set leaves the remainder of the space totally disconnected (in fact, totally separated). The space is also strongly Choquet (in fact, satisfies an even stronger condition) and has a basis with nice properties. The construction utilizes Jensen's diamond principle $\diamondsuit$.


title: Fast sparse grid simulations of fifth order WENO scheme for high dimensional hyperbolic PDEs

abstract: The weighted essentially non-oscillatory (WENO) schemes are a popular class of high order accurate numerical methods for solving hyperbolic partial differential equations (PDEs). However when the spatial dimensions are high, the number of spatial grid points increases significantly. It leads to large amount of operations and computational costs in the numerical simulations by using nonlinear high order accuracy WENO schemes such as a fifth order WENO scheme. How to achieve fast simulations by high order WENO methods for high spatial dimension hyperbolic PDEs is a challenging and important question. In the literature, sparse-grid technique has been developed as a very efficient approximation tool for high dimensional problems. In a recent work [Lu, Chen and Zhang, Pure and Applied Mathematics Quarterly, 14 (2018) 57-86], a third order finite difference WENO method with sparse-grid combination technique was designed to solve multidimensional hyperbolic equations including both linear advection equations and nonlinear Burgers' equations. In application problems, higher than third order WENO schemes are often preferred in order to efficiently resolve the complex solution structures. In this paper, we extend the approach to higher order WENO simulations specifically the fifth order WENO scheme. A fifth order WENO interpolation is applied in the prolongation part of the sparse-grid combination technique to deal with discontinuous solutions. Benchmark problems are first solved to show that significant CPU times are saved while both fifth order accuracy and stability of the WENO scheme are preserved for simulations on sparse grids. The fifth order sparse grid WENO method is then applied to kinetic problems modeled by high dimensional Vlasov based PDEs to further demonstrate large savings of computational costs by comparing with simulations on regular single grids.


title: Nakayama automorphisms of graded Ore extensions of Koszul Artin-Schelter regular algebras

abstract: Let $A$ be a Koszul Artin-Schelter regular algebra, $\sigma$ a graded automorphism of $A$ and $\delta$ a degree-one $\sigma$-derivation of $A$. We introduce an invariant for $\delta$ called the $\sigma$-divergence of $\delta$. We describe the Nakayama automorphism of the graded Ore extension $B=A[z;\sigma,\delta]$ explicitly using the $\sigma$-divergence of $\delta$, and construct a twisted superpotential $\hat{\omega}$ for $B$ so that it is a derivation quotient algebra defined by $\hat{\omega}$. We also determine all graded Ore extensions of noetherian Artin-Schelter regular algebras of dimension 2 and compute their Nakayama automorphisms.


title: On the validity of complex Langevin method for path integral computations

abstract: The complex Langevin (CL) method is a classical numerical strategy to alleviate the numerical sign problem in the computation of lattice field theories. Mathematically, it is a simple numerical tool to compute a wide class of high-dimensional and oscillatory integrals. However, it is often observed that the CL method converges but the limiting result is incorrect. The literature has several unclear or even conflicting statements, making the method look mysterious. By an in-depth analysis of a model problem, we reveal the mechanism of how the CL result turns biased as the parameter changes, and it is demonstrated that such a transition is difficult to capture. Our analysis also shows that the method works for any observables only if the probability density function generated by the CL process is localized. To generalize such observations to lattice field theories, we formulate the CL method on general groups using rigorous mathematical languages for the first time, and we demonstrate that such localized probability density function does not exist in the simulation of lattice field theories for general compact groups, which explains the unstable behavior of the CL method. Fortunately, we also find that the gauge cooling technique creates additional velocity that helps confine the samples, so that we can still see localized probability density functions in certain cases, as significantly broadens the application of the CL method. The limitations of gauge cooling are also discussed. In particular, we prove that gauge cooling has no effect for Abelian groups, and we provide an example showing that biased results still exist when gauge cooling is insufficient to confine the probability density function.


title: P-canonical forms and Drazin inverses

abstract: In this paper, $\mathcal{P}$-canonical forms of $(A^{k})_{k}$ (or simply of the matrix $A$) are defined and some of their properties are proved. It is also shown how we can deduce from them many interesting informations about the matrix $A$. In addition, it is proved that the $\mathcal{P}$-canonical forms of $A$ can be written as a sum of two parts, the geometric and the non-geometric parts of $A$, and that the $\mathcal{P}$-canonical form of the Drazin inverse $A_{d}$ of $A$ can be deduced by simply plugging $-k$ for $k$ in the geometric part of $A$. Finally, several examples are provided to illustrate the obtained results.


title: Sample, Quantize and Encode: Timely Estimation Over Noisy Channels

abstract: The effects of quantization and coding on the estimation quality of Gauss-Markov processes are considered, with a special attention to the Ornstein-Uhlenbeck process. Samples are acquired from the process, quantized, and then encoded for transmission using either infinite incremental redundancy (IIR) or fixed redundancy (FR) coding schemes. A fixed processing time is consumed at the receiver for decoding and sending feedback to the transmitter. Decoded messages are used to construct a minimum mean square error (MMSE) estimate of the process as a function of time. This is shown to be an increasing functional of the age-of-information (AoI), defined as the time elapsed since the sampling time pertaining to the latest successfully decoded message. Such functional depends on the quantization bits, codewords lengths and receiver processing time. The goal, for each coding scheme, is to optimize sampling times such that the long-term average MMSE is minimized. This is then characterized in the setting of general increasing functionals of AoI, not necessarily corresponding to MMSE, which may be of independent interest in other contexts. We first show that the optimal sampling policy for IIR is such that a new sample is generated only if the AoI exceeds a certain threshold, while for FR it is such that a new sample is delivered just-in-time as the receiver finishes processing the previous one. Enhanced transmissions schemes are then developed in order to exploit the processing times to make new data available at the receiver sooner. For both IIR and FR, it is shown that there exists an optimal number of quantization bits that balances AoI and quantization errors, and hence minimizes the MMSE. It is also shown that for longer receiver processing times, the relatively simpler FR scheme outperforms IIR.


title: A finite-size correction model for two-fluid Large-Eddy Simulation of particle-laden boundary layer flow

abstract: In this paper the capabilities of the turbulence-resolving Eulerian-Eulerian two-phase flow model to predict the suspension of mono-dispersed finite-sized solid particles in a boundary layer flow are investigated. For heavier-than-fluid particles, having settling velocity of the order of the bed friction velocity, the two-fluid model significantly under-estimates the turbulent dispersion of particles. It is hypothesized that finite-size effects are important and a correction model for the drag law is proposed. This model is based on the assumption that the turbulent flow scales larger than the particle diameter will contribute to the resolved relative velocity between the two phases, whereas eddies smaller than the particle diameter will have two effects: (i) they will reduce the particle response time by adding a sub-particle scale eddy viscosity to the drag coefficient, and (ii) they will contribute to increase the production of granular temperature. Integrating finite-size effects allows us to quantitatively predict the concentration profile for heavier-than-fluid particles without any tuning parameter. The proposed modification of the two-fluid model extends its range of applicability to tackle particles having a size belonging to the inertial range of turbulence and allows us to envision more complex applications in terms of flow forcing conditions, i.e. sheet flow, wave-driven transport, turbidity currents and/or flow geometries, i.e. ripples, dunes, scour.


title: Can we cover navigational perception needs of the visually impaired by panoptic segmentation?

abstract: Navigational perception for visually impaired people has been substantially promoted by both classic and deep learning based segmentation methods. In classic visual recognition methods, the segmentation models are mostly object-dependent, which means a specific algorithm has to be devised for the object of interest. In contrast, deep learning based models such as instance segmentation and semantic segmentation allow to individually recognize part of the entire scene, namely things or stuff, for blind individuals. However, both of them can not provide a holistic understanding of the surroundings for the visually impaired. Panoptic segmentation is a newly proposed visual model with the aim of unifying semantic segmentation and instance segmentation. Motivated by that, we propose to utilize panoptic segmentation as an approach to navigating visually impaired people by offering both things and stuff awareness in the proximity of the visually impaired. We demonstrate that panoptic segmentation is able to equip the visually impaired with a holistic real-world scene perception through a wearable assistive system.


title: Exact asymptotics of the stochastic wave equation with time-independent noise

abstract: In this article, we study the stochastic wave equation in all dimensions $d\leq 3$, driven by a Gaussian noise $\dot{W}$ which does not depend on time. We assume that either the noise is white, or the covariance function of the noise satisfies a scaling property similar to the Riesz kernel. The solution is interpreted in the Skorohod sense using Malliavin calculus. We obtain the exact asymptotic behaviour of the $p$-th moment of the solution either when the time is large or when $p$ is large. For the critical case, that is the case when $d=3$ and the noise is white, we obtain the exact transition time for the second moment to be finite.


title: Graph Convolutional Network-based Suspicious Communication Pair Estimation for Industrial Control Systems

abstract: Whitelisting is considered an effective security monitoring method for networks used in industrial control systems, where the whitelists consist of observed tuples of the IP address of the server, the TCP/UDP port number, and IP address of the client (communication triplets). However, this method causes frequent false detections. To reduce false positives due to a simple whitelist-based judgment, we propose a new framework for scoring communications to judge whether the communications not present in whitelists are normal or anomalous. To solve this problem, we developed a graph convolutional network-based suspicious communication pair estimation using relational graph convolution networks, and evaluated its performance. For this, we collected the network traffic of three factories owned by Panasonic Corporation, Japan. The proposed method achieved a receiver operating characteristic area under the curve of 0.957, which outperforms baseline approaches such as DistMult, a method that directly optimizes the node embeddings, and heuristics, which score the triplets using first- and second-order proximities of multigraphs. This method enables security operators to concentrate on significant alerts.


title: Solving the functional Eigen-Problem using Neural Networks

abstract: In this work, we explore the ability of NN (Neural Networks) to serve as a tool for finding eigen-pairs of ordinary differential equations. The question we aime to address is whether, given a self-adjoint operator, we can learn what are the eigenfunctions, and their matching eigenvalues. The topic of solving the eigen-problem is widely discussed in Image Processing, as many image processing algorithms can be thought of as such operators. We suggest an alternative to numeric methods of finding eigenpairs, which may potentially be more robust and have the ability to solve more complex problems. In this work, we focus on simple problems for which the analytical solution is known. This way, we are able to make initial steps in discovering the capabilities and shortcomings of DNN (Deep Neural Networks) in the given setting.


title: Maximum likelihood estimation for matrix normal models via quiver representations

abstract: In this paper, we study the log-likelihood function and Maximum Likelihood Estimate (MLE) for the matrix normal model for both real and complex models. We describe the exact number of samples needed to achieve (almost surely) three conditions, namely a bounded log-likelihood function, existence of MLEs, and uniqueness of MLEs. As a consequence, we observe that almost sure boundedness of log-likelihood function guarantees almost sure existence of an MLE, thereby proving a conjecture of Drton, Kuriki and Hoff. The main tools we use are from the theory of quiver representations, in particular, results of Kac, King and Schofield on canonical decomposition and stability.


title: Infinitesimal Torelli for elliptic surfaces revisited

abstract: In this article we give a new proof for the infinitesimal Torelli theorem for minimal elliptic surfaces without multiple fibers with Euler number at least 24 for nonconstant $j$-invariant. In the case of constant $j$-invariant we find a new proof in the case of Euler number at least 72. We also discuss several new counterexamples.


title: Precise Experimental Test of the Luttinger Theorem and Particle-Hole Symmetry for a Strongly Correlated Fermionic System

abstract: A fundamental concept in physics is the Fermi surface, the constant-energy surface in momentum space encompassing all the occupied quantum states at absolute zero temperature. In 1960, Luttinger postulated that the area enclosed by the Fermi surface should remain unaffected even when electron-electron interaction is turned on, so long as the interaction does not cause a phase transition. Understanding what determines the Fermi surface size is a crucial and yet unsolved problem in strongly interacting systems such as high-$T_{c}$ superconductors. Here we present a precise test of the Luttinger theorem for a two-dimensional Fermi liquid system where the exotic quasi-particles themselves emerge from the strong interaction, namely for the Fermi sea of composite fermions (CFs). Via direct, geometric resonance measurements of the CFs' Fermi wavevector down to very low electron densities, we show that the Luttinger theorem is obeyed over a significant range of interaction strengths, in the sense that the Fermi sea area is determined by the density of the \textit{minority carriers} in the lowest Landau level. Our data also address the ongoing debates on whether or not CFs obey particle-hole symmetry, and if they are Dirac particles. We find that particle-hole symmetry is obeyed, but the measured Fermi sea area differs quantitatively from that predicted by the Dirac model for CFs.


title: Modified log-Sobolev inequalities, Beckner inequalities and moment estimates

abstract: We prove that in the context of general Markov semigroups Beckner inequalities with constants separated from zero as $p\to 1^+$ are equivalent to the modified log Sobolev inequality (previously only one implication was known to hold in this generality). Further, by adapting an argument by Boucheron et al. we derive Sobolev type moment estimates which hold under these functional inequalities. We illustrate our results with applications to concentration of measure estimates (also of higher order, beyond the case of Lipschitz functions) for various stochastic models, including random permutations, zero-range processes, strong Rayleigh measures, exponential random graphs, and geometric functionals on the Poisson path space.


title: Towards Integrating True Random Number Generation in Coherent Optical Transceivers

abstract: The integration of quantum communication functions often requires dedicated opto-electronic components that do not bode well with the technology roadmaps of telecom systems. We investigate the capability of commercial coherent transceiver sub-systems to support quantum random number generation next to classical data transmission, and demonstrate how the quantum entropy source based on vacuum fluctuations can be potentially converted into a true random number generator for this purpose. We discuss two possible implementations, building on a receiver- and a transmitter-centric architecture. In the first scheme, balanced homodyne broadband detection in a coherent intradyne receiver is exploited to measure the vacuum state at the input of a 90-degree hybrid. In our proof-of-principle demonstration, a clearance of >2 dB between optical and electrical noise is obtained over a wide bandwidth of more than 11 GHz. In the second scheme, we propose and evaluate the re-use of monitoring photodiodes of a polarization-multiplexed inphase/quadrature modulator for the same purpose. Time-interleaved random number generation is demonstrated for 10 Gbaud polarization-multiplexed quadrature phase shift keyed data transmission. The availability of detailed models will allow to calculate the extractable entropy and we accordingly show randomness extraction for our two proof-of-principle experiments, employing a two-universal strong extractor.


title: Bottomonium suppression and elliptic flow from real-time quantum evolution

abstract: We compute the suppression and elliptic flow of bottomonium using real-time solutions to the Schr\"{o}dinger equation with a realistic in-medium complex-valued potential. To model the initial production, we assume that, in the limit of heavy quark masses, the wave-function can be described by a lattice-smeared (Gaussian) Dirac delta wave-function. The resulting final-state quantum-mechanical overlaps provide the survival probability of all bottomonium eigenstates. Our results are in good agreement with available data for $R_{AA}$ as a function of $N_{\rm part}$ and $p_T$ collected at $\sqrt{s_{\rm NN}} =$ 5.02 TeV. In the case of $v_2$ for the various states, we find that the path-length dependence of $\Upsilon(1s)$ suppression results in quite small $v_2$ for $\Upsilon(1s)$. Our prediction for the integrated elliptic flow for $\Upsilon(1s)$ in the $10{-}90$% centrality class is $v_2[\Upsilon(1s)] = 0.0026 \pm 0.0007$. We additionally find that, due to their increased suppression, excited bottomonium states have a larger elliptic flow and we make predictions for $v_2[\Upsilon(2s)]$ and $v_2[\Upsilon(3s)]$ as a function of centrality and transverse momentum. Similar to prior studies, we find that it is possible for bottomonium states to have negative $v_2$ at low transverse momentum.


title: Lyapunov exponents of the half-line SHE

abstract: We consider the half-line stochastic heat equation (SHE) with Robin boundary parameter $A = -\frac{1}{2}$. Under narrow wedge initial condition, we compute every positive (including non-integer) Lyapunov exponents of the half-line SHE. As a consequence, we prove a large deviation principle for the upper tail of the half-line KPZ equation under Neumann boundary parameter $A = -\frac{1}{2}$ with rate function $\Phi_+^{\text{hf}} (s) = \frac{2}{3} s^{\frac{3}{2}}$. This confirms the prediction of [Krajenbrink and Le Doussal 2018] and [Meerson, Vilenkin 2018] for the upper tail exponent of the half-line KPZ equation.


title: Software Development Analytics in Practice: A Systematic Literature Review

abstract: Context:Software Development Analytics is a research area concerned with providing insights to improve product deliveries and processes. Many types of studies, data sources and mining methods have been used for that purpose. Objective:This systematic literature review aims at providing an aggregate view of the relevant studies on Software Development Analytics in the past decade, with an emphasis on its application in practical settings. Method:Definition and execution of a search string upon several digital libraries, followed by a quality assessment criteria to identify the most relevant papers. On those, we extracted a set of characteristics (study type, data source, study perspective, development life-cycle activities covered, stakeholders, mining methods, and analytics scope) and classified their impact against a taxonomy. Results:Source code repositories, experimental case studies, and developers are the most common data sources, study types, and stakeholders, respectively. Product and project managers are also often present, but less than expected. Mining methods are evolving rapidly and that is reflected in the long list identified. Descriptive statistics are the most usual method followed by correlation analysis. Being software development an important process in every organization, it was unexpected to find that process mining was present in only one study. Most contributions to the software development life cycle were given in the quality dimension. Time management and costs control were lightly debated. The analysis of security aspects suggests it is an increasing topic of concern for practitioners. Risk management contributions are scarce. Conclusions:There is a wide improvement margin for software development analytics in practice. For instance, mining and analyzing the activities performed by software developers in their actual workbench, the IDE.


title: On the Existence of Logarithmic Terms in the Drag Coefficient and Nusselt Number of a Single Sphere at High Reynolds Numbers

abstract: At the beginning of the second half of the twentieth century, Proudman and Pearson (J. Fluid. Mech.,2(3), 1956, pp.237-262) suggested that the functional form of the drag coefficient ($C_D$) of a single sphere subjected to uniform fluid flow consists of a series of logarithmic and power terms of the Reynolds number ($Re$).\ In this paper, we will explore the validity of the above statement for Reynolds numbers up to $10^{6}$ by using a symbolic regression machine learning method.\ The algorithm is trained by available experimental data and data from well-known correlations from the literature for $Re$ ranging from $0.1$ to $2\times 10^5$.\ Our results show that the functional form of the $C_D$ contains powers of $\log(Re)$, plus the Stokes term, fulfilling partially the statement made above. The logarithmic $C_D$ expressions can generalize (extrapolate) beyond the training data and are the first in the literature to predict with acceptable accuracy the rapid decrease (drag crisis) of the $C_D$ at high $Re$.\ We also find a connection between the root of the $Re$-dependent terms in the $C_D$ expression and the first point of laminar separation.\ We did the same analysis for the problem of heat transfer under forced convection around a sphere and found that the logarithmic terms of $Re$ and Peclect number $Pe$ play an essential role in the variation of the Nusselt number $Nu$.\ The machine learning algorithm independently found the asymptotic solution of Acrivos and Goddard (J. Fluid. Mech., 23(2),1965, pp.273-291).


title: A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit: Technical Report

abstract: Programs for multiprocessor machines commonly perform busy-waiting for synchronisation. In this paper, we make a first step towards proving termination of such programs. We approximate (i) arbitrary waitable events by abrupt program termination and (ii) busy-waiting for events by busy-waiting to be abruptly terminated. We propose a separation logic for modularly verifying termination (under fair scheduling) of programs where some threads eventually abruptly terminate the program, and other threads busy-wait for this to happen.


title: A Control Theoretical Adaptive Human Pilot Model: Theory and Experimental Validation

abstract: This paper proposes an adaptive human pilot model that is able to mimic the crossover model in the presence of uncertainties. The proposed structure is based on the model reference adaptive control, and the adaptive laws are obtained using the Lyapunov-Krasovskii stability criteria. The model can be employed for human-in-the-loop stability and performance analyses incorporating different types of controllers and plant types. For validation purposes, an experimental setup is employed to collect data and a statistical analysis is conducted to measure the predictive power of the pilot model.


title: Regulating spin dynamics of graphene flakes

abstract: A method of regulating spin dynamics of the so-called magnetic graphene is analyzed. Magnetic moments can be incorporated into graphene flakes and graphene ribbons through defects, such as adatoms and vacancies. Local spins can also be attached to graphene at hydrogenated zigzag edges. Spin flips can be produced by transverse pulses and by connecting the sample to a resonance electric coil. The action of the resonator feedback field strongly accelerates spin reversal. The possibility of fast spin reversal is important for spintronics and for quantum information processing allowing for an efficient functioning of spin registers.


title: Colding Minicozzi Entropy in Hyperbolic Space

abstract: This note introduces a notion of entropy for submanifolds of hyperbolic space analogous to the one introduced by Colding and Minicozzi for submanifolds of Euclidean space. Several properties are proved for this quantity including monotonicity along mean curvature flow in low dimensions and a connection with the conformal volume.


title: An OpenMP translator for the GAP8 MPSoC

abstract: One of the barriers to the adoption of parallel computing is the inherent complexity of its programming. The Open Multi-Processing (OpenMP) Application Programming Interface (API) facilitates such implementations, providing high abstraction level directives. On another front, new architectures aimed at low energy consumption have been developed, such as the Greenwaves Technologies GAP8, a Multi-Processor System-on-Chip (MPSoC) based on the Parallel Ultra Low Power (PULP) Platform. The GAP8 has an 8-core cluster and a Fabric Controller(FC) master core. Parallel programming with GAP8 is very promising on the efficiency side, but its recent development and lack of a robust OS to handle threads and core scheduling complicate a simple implementation of the OpenMP APIs. This project implements a source to source translator that interprets a limited set of OpenMP directives, and is capable of generating parallel microcontroller code manipulating the cores directly. The preliminary results obtained in this work shows a reduction of the code size, if compared with the base implementation, proving the efficiency of the project to ease the programming of the GAP8. Further work is need in order to implement more OpenMP directives.


title: Roboat II: A Novel Autonomous Surface Vessel for Urban Environments

abstract: This paper presents a novel autonomous surface vessel (ASV), called Roboat II for urban transportation. Roboat II is capable of accurate simultaneous localization and mapping (SLAM), receding horizon tracking control and estimation, and path planning. Roboat II is designed to maximize the internal space for transport and can carry payloads several times of its own weight. Moreover, it is capable of holonomic motions to facilitate transporting, docking, and inter-connectivity between boats. The proposed SLAM system receives sensor data from a 3D LiDAR, an IMU, and a GPS, and utilizes a factor graph to tackle the multi-sensor fusion problem. To cope with the complex dynamics in the water, Roboat II employs an online nonlinear model predictive controller (NMPC), where we experimentally estimated the dynamical model of the vessel in order to achieve superior performance for tracking control. The states of Roboat II are simultaneously estimated using a nonlinear moving horizon estimation (NMHE) algorithm. Experiments demonstrate that Roboat II is able to successfully perform online mapping and localization, plan its path and robustly track the planned trajectory in the confined river, implying that this autonomous vessel holds the promise on potential applications in transporting humans and goods in many of the waterways nowadays.


title: Learning latent representations across multiple data domains using Lifelong VAEGAN

abstract: The problem of catastrophic forgetting occurs in deep learning models trained on multiple databases in a sequential manner. Recently, generative replay mechanisms (GRM), have been proposed to reproduce previously learned knowledge aiming to reduce the forgetting. However, such approaches lack an appropriate inference model and therefore can not provide latent representations of data. In this paper, we propose a novel lifelong learning approach, namely the Lifelong VAEGAN (L-VAEGAN), which not only induces a powerful generative replay network but also learns meaningful latent representations, benefiting representation learning. L-VAEGAN can allow to automatically embed the information associated with different domains into several clusters in the latent space, while also capturing semantically meaningful shared latent variables, across different data domains. The proposed model supports many downstream tasks that traditional generative replay methods can not, including interpolation and inference across different data domains.


title: Seismic Solar Models from Ledoux discriminant inversions

abstract: The Sun constitutes an excellent laboratory of fundamental physics. With the advent of helioseismology, we were able to probe its internal layers with unprecedented precision. However, the current state of solar modelling is still stained by tedious issues. One of these problems is related to the disagreement between models computed with recent photospheric abundances and helioseismic constraints. We use solar evolutionary models as initial conditions for reintegrations of their structure using Ledoux discriminant inversions. The resulting models are defined as seismic solar models, satisfying the equations of hydrostatic equilibrium. They will allow us to better constrain the internal structure of the Sun and provide complementary information to that of evolutionary models. These seismic models were computed using various reference models with different equations of state, abundances and opacity tables. We check the robustness of our approach by confirming the good agreement of our seismic models in terms of sound speed, density and entropy proxy inversions as well as frequency-separation ratios of low-degree pressure modes. Our method allows us to determine with an excellent accuracy the Ledoux discriminant profile of the Sun and compute full profiles of this quantity. Our models show an agreement with seismic data of ~0.1% in sound speed, density and entropy proxy as well as with the observed frequency-separation ratios. They surpass all standard and non-standard evolutionary models including ad-hoc changes aiming at reproducing helioseismic constraints. The obtained seismic Ledoux discriminant profile as well as the consistent structure obtained from our procedure paves the way for renewed attempts at constraining the solar modelling problem and the missing physical processes acting in the solar interior by breaking free from the hypotheses of evolutionary models.


title: CMC surfaces and area-charge inequality for a spheroidal ECD spacetime

abstract: We consider the spacetime presented by Bonnor \cite{Bonnor98}, whose matter content is a spheroid of electrically counterpoised dust, in the context of the geometrical inequalities between area and charge. We determine numerically the constant mean curvature surfaces that are candidates to be stable isoperimetric surfaces and analyze the relation between area and charge for them, showing that a previously proved inequality is far from being saturated. We also show that the maximal initial data has a cylindrical limit where the minimum of the area-charge relation is attained.


title: Agent-Based Software Testing: A Definition and Systematic Mapping Study

abstract: The emergence of new technologies in software testing has increased the automation and flexibility of the testing process. In this context, the adoption of agents in software testing remains an active research area in which various agent methodologies, architectures, and tools are employed to improve different test problems. Even though research that investigates agents in software testing has been growing, these agent-based techniques should be considered in a broader perspective. In order to provide a comprehensive overview of this research area, which we define as agent-based software testing (ABST), a systematic mapping study has been conducted. This mapping study aims to identify the topics studied within ABST, as well as examine the adopted research methodologies, identify the gaps in the current research and point to directions for future ABST research. Our results suggest that there is an interest in ABST after 1999 that resulted in the development of solutions using reactive, BDI, deliberative and cooperate agent architectures for software testing. In addition, most of the ABST approaches are designed using the JADE framework, have targeted the Java programming language, and are used at system-level testing for functional, non-functional and white-box testing. In regards to regression testing, our results indicate a research gap that could be addressed in future studies.


title: Model-Informed Machine Learning for Multi-component T2 Relaxometry

abstract: Recovering the T2 distribution from multi-echo T2 magnetic resonance (MR) signals is challenging but has high potential as it provides biomarkers characterizing the tissue micro-structure, such as the myelin water fraction (MWF). In this work, we propose to combine machine learning and aspects of parametric (fitting from the MRI signal using biophysical models) and non-parametric (model-free fitting of the T2 distribution from the signal) approaches to T2 relaxometry in brain tissue by using a multi-layer perceptron (MLP) for the distribution reconstruction. For training our network, we construct an extensive synthetic dataset derived from biophysical models in order to constrain the outputs with \textit{a priori} knowledge of \textit{in vivo} distributions. The proposed approach, called Model-Informed Machine Learning (MIML), takes as input the MR signal and directly outputs the associated T2 distribution. We evaluate MIML in comparison to non-parametric and parametric approaches on synthetic data, an ex vivo scan, and high-resolution scans of healthy subjects and a subject with Multiple Sclerosis. In synthetic data, MIML provides more accurate and noise-robust distributions. In real data, MWF maps derived from MIML exhibit the greatest conformity to anatomical scans, have the highest correlation to a histological map of myelin volume, and the best unambiguous lesion visualization and localization, with superior contrast between lesions and normal appearing tissue. In whole-brain analysis, MIML is 22 to 4980 times faster than non-parametric and parametric methods, respectively.


title: Macroscopic surface charges from microscopic simulations

abstract: Attaining accurate average structural properties in a molecular simulation should be considered a prerequisite if one aims to elicit meaningful insights into a system's behavior. For charged surfaces in contact with an electrolyte solution, an obvious example is the density profile of ions along the direction normal to the surface. Here we demonstrate that, in the slab geometry typically used in simulations, imposing an electric displacement field $D$ determines the integrated surface charge density of adsorbed ions at charged interfaces. This allows us to obtain macroscopic surface charge densities irrespective of the slab thickness used in our simulations. We also show that the commonly used Yeh-Berkowitz method and the 'mirrored slab' geometry both impose vanishing integrated surface charge density. We present results both for relatively simple rocksalt (111) interfaces, and the more complex case of kaolinite's basal faces in contact with aqueous electrolyte solution.


title: Nengo and low-power AI hardware for robust, embedded neurorobotics

abstract: In this paper we demonstrate how the Nengo neural modeling and simulation libraries enable users to quickly develop robotic perception and action neural networks for simulation on neuromorphic hardware using familiar tools, such as Keras and Python. We identify four primary challenges in building robust, embedded neurorobotic systems: 1) developing infrastructure for interfacing with the environment and sensors; 2) processing task specific sensory signals; 3) generating robust, explainable control signals; and 4) compiling neural networks to run on target hardware. Nengo helps to address these challenges by: 1) providing the NengoInterfaces library, which defines a simple but powerful API for users to interact with simulations and hardware; 2) providing the NengoDL library, which lets users use the Keras and TensorFlow API to develop Nengo models; 3) implementing the Neural Engineering Framework, which provides white-box methods for implementing known functions and circuits; and 4) providing multiple backend libraries, such as NengoLoihi, that enable users to compile the same model to different hardware. We present two examples using Nengo to develop neural networks that run on CPUs, GPUs, and Intel's neuromorphic chip, Loihi, to demonstrate this workflow. The first example is an end-to-end spiking neural network that controls a rover simulated in Mujoco. The network integrates a deep convolutional network that processes visual input from mounted cameras to track a target, and a control system implementing steering and drive functions to guide the rover to the target. The second example augments a force-based operational space controller with neural adaptive control to improve performance during a reaching task using a real-world Kinova Jaco2 robotic arm. Code and details are provided with the intent of enabling other researchers to build their own neurorobotic systems.


title: Punctuated equilibrium as the default mode of evolution of large populations on fitness landscapes dominated by saddle points in the weak-mutation limit

abstract: Punctuated equilibrium is a mode of evolution in which phenetic change occurs in rapid bursts that are separated by much longer intervals of stasis during which mutations accumulate but no major phenotypic change occurs. Punctuated equilibrium has been originally proposed within the framework of paleobiology, to explain the lack of transitional forms that is typical of the fossil record. Theoretically, punctuated equilibrium has been linked to self-organized criticality (SOC), a model in which the size of avalanches in an evolving system is power-law distributed, resulting in increasing rarity of major events. We show here that, under the weak-mutation limit, a large population would spend most of the time in stasis in the vicinity of saddle points in the fitness landscape. The periods of stasis are punctuated by fast transitions, in lnNe time (Ne, effective population size), when a new beneficial mutation is fixed in the evolving population, which moves to a different saddle, or on much rarer occasions, from a saddle to a local peak. Thus, punctuated equilibrium is the default mode of evolution under a simple model that does not involve SOC or other special conditions.


title: Regret Analysis of a Markov Policy Gradient Algorithm for Multi-arm Bandits

abstract: We consider a policy gradient algorithm applied to a finite-arm bandit problem with Bernoulli rewards. We allow learning rates to depend on the current state of the algorithm, rather than use a deterministic time-decreasing learning rate. The state of the algorithm forms a Markov chain on the probability simplex. We apply Foster-Lyapunov techniques to analyse the stability of this Markov chain. We prove that if learning rates are well chosen then the policy gradient algorithm is a transient Markov chain and the state of the chain converges on the optimal arm with logarithmic or poly-logarithmic regret.


title: Generating Sets of an Infinite Semigroup of Transformations Preserving a Zig-zag Order

abstract: A zig-zag order is like a directed path, only with alternating directions. A generating set of minimal size for the semigroup of all full transformations on a finite set preserving the zig-zag order was determined by Fenandes et al. in 2019. This paper deals with generating sets of the semigroup $F_{\mathbb{N}}$ of all full transformations on the set of all natural numbers preserving the zig-zag order. We prove that $F_{\mathbb{N}}$ has no minimal generating sets and present two particular infinite decreasing chains of generating sets of $F_{\mathbb{N}}$.


title: Integrating Network Embedding and Community Outlier Detection via Multiclass Graph Description

abstract: Network (or graph) embedding is the task to map the nodes of a graph to a lower dimensional vector space, such that it preserves the graph properties and facilitates the downstream network mining tasks. Real world networks often come with (community) outlier nodes, which behave differently from the regular nodes of the community. These outlier nodes can affect the embedding of the regular nodes, if not handled carefully. In this paper, we propose a novel unsupervised graph embedding approach (called DMGD) which integrates outlier and community detection with node embedding. We extend the idea of deep support vector data description to the framework of graph embedding when there are multiple communities present in the given network, and an outlier is characterized relative to its community. We also show the theoretical bounds on the number of outliers detected by DMGD. Our formulation boils down to an interesting minimax game between the outliers, community assignments and the node embedding function. We also propose an efficient algorithm to solve this optimization framework. Experimental results on both synthetic and real world networks show the merit of our approach compared to state-of-the-arts.


title: The Effect of Top-Down Attention in Occluded Object Recognition

abstract: This study is concerned with the top-down visual processing benefit in the task of occluded object recognition. To this end, a psychophysical experiment is designed and carried out which aimed at investigating the effect of consistency of contextual information on the recognition of objects which are partially occluded. The results demonstrate the facilitative impact of consistent contextual clues on the task of object recognition in presence of occlusion.


title: Unsupervised Domain Adaptation in the Absence of Source Data

abstract: Current unsupervised domain adaptation methods can address many types of distribution shift, but they assume data from the source domain is freely available. As the use of pre-trained models becomes more prevalent, it is reasonable to assume that source data is unavailable. We propose an unsupervised method for adapting a source classifier to a target domain that varies from the source domain along natural axes, such as brightness and contrast. Our method only requires access to unlabeled target instances and the source classifier. We validate our method in scenarios where the distribution shift involves brightness, contrast, and rotation and show that it outperforms fine-tuning baselines in scenarios with limited labeled data.


title: Ab-initio Structure and Thermodynamics of the RPBE-D3 Water/Vapor Interface by Neural-Network Molecular Dynamics

abstract: Aided by a neural network representation of the density functional theory (DFT) potential energy landscape of water in the RPBE approximation corrected for dispersion, we calculate several structural and thermodynamic properties of its liquid/vapor interface. The neural network speed allows us to bridge the size and time scale gaps required to sample the properties of water along its liquid/vapor coexistence line with unprecedented precision.


title: Privacy Implications of Eye Tracking in Mixed Reality

abstract: Mixed Reality (MR) devices require a world with always-on sensors and real-time processing applied to their outputs. We have grappled with some of the ethical concerns presented by this scenario, such as bystander privacy issues with smartphones and cameras. However, MR technologies demand that we define and defend privacy in this new paradigm. This paper focuses on the challenges presented by eye tracking and gaze tracking, techniques that have commonly been deployed in the HCI community for years but are now being integrated into MR devices by default.


title: Sasakian Geometry on Sphere Bundles

abstract: The purpose of this paper is to study the Sasakian geometry on odd dimensional sphere bundles over a smooth projective algebraic variety $N$ with the ultimate, but probably unachievable goal of understanding the existence and non-existence of extremal and constant scalar curvature Sasaki metrics. We apply the fiber join construction of Yamazaki \cite{Yam99} for K-contact manifolds to the Sasaki case. This construction depends on the choice of $d+1$ integral K\"ahler classes $[\omega_j]$ on $N$ that are not necessarily colinear in the K\"ahler cone. We show that the colinear case is equivalent to a subclass of a different join construction orginally described in \cite{BG00a,BGO06}, applied to the spherical case by the authors in \cite{BoTo13,BoTo14a} when $d=1$, and known as cone decomposable \cite{BHLT16}. The non-colinear case gives rise to infinite families of new inequivalent cone indecomposable Sasaki contact CR on certain sphere bundles. We prove that the Sasaki cone for some of these structures contains an open set of extremal Sasaki metrics and, for certain specialized cases, the regular ray within this cone is shown to have constant scalar curvature. We also compute the cohomology groups of all such sphere bundles over a product of Riemann surfaces.


title: Learning from Data to Speed-up Sorted Table Search Procedures: Methodology and Practical Guidelines

abstract: Sorted Table Search Procedures are the quintessential query-answering tool, with widespread usage that now includes also Web Applications, e.g, Search Engines (Google Chrome) and ad Bidding Systems (AppNexus). Speeding them up, at very little cost in space, is still a quite significant achievement. Here we study to what extend Machine Learning Techniques can contribute to obtain such a speed-up via a systematic experimental comparison of known efficient implementations of Sorted Table Search procedures, with different Data Layouts, and their Learned counterparts developed here. We characterize the scenarios in which those latter can be profitably used with respect to the former, accounting for both CPU and GPU computing. Our approach contributes also to the study of Learned Data Structures, a recent proposal to improve the time/space performance of fundamental Data Structures, e.g., B-trees, Hash Tables, Bloom Filters. Indeed, we also formalize an Algorithmic Paradigm of Learned Dichotomic Sorted Table Search procedures that naturally complements the Learned one proposed here and that characterizes most of the known Sorted Table Search Procedures as having a "learning phase" that approximates Simple Linear Regression.


title: Image reconstruction in dynamic inverse problems with temporal models

abstract: The paper surveys variational approaches for image reconstruction in dynamic inverse problems. Emphasis is on methods that rely on parametrised temporal models. These are here encoded as diffeomorphic deformations with time dependent parameters, or as motion constrained reconstruction where the motion model is given by a partial differential equation. The survey also includes recent development in integrating deep learning for solving these computationally demanding variational methods. Examples are given for 2D dynamic tomography, but methods apply to general inverse problems.


title: Structure of Quark Star: A Comparative Analysis of Bayesian Inference and Neural Network Based Modeling

abstract: In this work, we compare two powerful parameter estimation methods namely Bayesian inference and Neural Network based learning to study the quark matter equation of state with constant speed of sound parametrization and the structure of the quark stars within the two-family scenario. We use the mass and radius estimations from several X-ray sources and also the mass and tidal deformability measurements from gravitational wave events to constrain the parameters of our model. The results found from the two methods are consistent. The predicted speed of sound is compatible with the conformal limit.


title: Local Geometric Distortions Resilient Watermarking Scheme Based on Symmetry

abstract: As an efficient watermark attack method, geometric distortions destroy the synchronization between watermark encoder and decoder. And the local geometric distortion is a famous challenge in the watermark field. Although a lot of geometric distortions resilient watermarking schemes have been proposed, few of them perform well against local geometric distortion like random bending attack (RBA). To address this problem, this paper proposes a novel watermark synchronization process and the corresponding watermarking scheme. In our scheme, the watermark bits are represented by random patterns. The message is encoded to get a watermark unit, and the watermark unit is flipped to generate a symmetrical watermark. Then the symmetrical watermark is embedded into the spatial domain of the host image in an additive way. In watermark extraction, we first get the theoretically mean-square error minimized estimation of the watermark. Then the auto-convolution function is applied to this estimation to detect the symmetry and get a watermark units map. According to this map, the watermark can be accurately synchronized, and then the extraction can be done. Experimental results demonstrate the excellent robustness of the proposed watermarking scheme to local geometric distortions, global geometric distortions, common image processing operations, and some kinds of combined attacks.


title: On the dimension of points which escape to infinity at given rate under exponential iteration

abstract: We prove a number of results concerning the Hausdorff and packing dimension of sets of points which escape (at least in average) to infinity at a given rate under non-autonomous iteration of exponential maps. In particular, we generalize the results proved by Sixsmith in 2016 and answer his question on annular itineraries for exponential maps.


title: Supervised Learning Using a Dressed Quantum Network with "Super Compressed Encoding": Algorithm and Quantum-Hardware-Based Implementation

abstract: Implementation of variational Quantum Machine Learning (QML) algorithms on Noisy Intermediate-Scale Quantum (NISQ) devices is known to have issues related to the high number of qubits needed and the noise associated with multi-qubit gates. In this paper, we propose a variational QML algorithm using a dressed quantum network to address these issues. Using the "super compressed encoding" scheme that we follow here, the classical encoding layer in our dressed network drastically scales down the input-dimension, before feeding the input to the variational quantum circuit. Hence, the number of qubits needed in our quantum circuit goes down drastically. Also, unlike in most other existing QML algorithms, our quantum circuit consists only of single-qubit gates, making it robust against noise. These factors make our algorithm suitable for implementation on NISQ hardware. To support our argument, we implement our algorithm on real NISQ hardware and thereby show accurate classification using popular machine learning data-sets like Fisher's Iris, Wisconsin's Breast Cancer (WBC), and Abalone. Then, to provide an intuitive explanation for our algorithm's working, we demonstrate the clustering of quantum states, which correspond to the input-samples of different output-classes, on the Bloch sphere (using WBC and MNIST data-sets). This clustering happens as a result of the training process followed in our algorithm. Through this Bloch-sphere-based representation, we also show the distinct roles played (in training) by the adjustable parameters of the classical encoding layer and the adjustable parameters of the variational quantum circuit. These parameters are adjusted iteratively during training through loss-minimization.


title: Inter-Homines: Distance-Based Risk Estimation for Human Safety

abstract: In this document, we report our proposal for modeling the risk of possible contagiousity in a given area monitored by RGB cameras where people freely move and interact. Our system, called Inter-Homines, evaluates in real-time the contagion risk in a monitored area by analyzing video streams: it is able to locate people in 3D space, calculate interpersonal distances and predict risk levels by building dynamic maps of the monitored area. Inter-Homines works both indoor and outdoor, in public and private crowded areas. The software is applicable to already installed cameras or low-cost cameras on industrial PCs, equipped with an additional embedded edge-AI system for temporary measurements. From the AI-side, we exploit a robust pipeline for real-time people detection and localization in the ground plane by homographic transformation based on state-of-the-art computer vision algorithms; it is a combination of a people detector and a pose estimator. From the risk modeling side, we propose a parametric model for a spatio-temporal dynamic risk estimation, that, validated by epidemiologists, could be useful for safety monitoring the acceptance of social distancing prevention measures by predicting the risk level of the scene.


title: A new theory of fractional differential calculus

abstract: This paper presents a self-contained new theory of weak fractional differential calculus in one-dimension. The crux of this new theory is the introduction of a weak fractional derivative notion which is a natural generalization of integer order weak derivatives; it also helps to unify multiple existing fractional derivative definitions and characterize what functions are fractionally differentiable. Various calculus rules including a fundamental theorem calculus, product and chain rules, and integration by parts formulas are established for weak fractional derivatives. Additionally, relationships with classical fractional derivatives and detailed characterizations of weakly fractional differentiable functions are also established. Furthermore, the notion of weak fractional derivatives is also systematically extended to general distributions instead of only to some special distributions. This new theory lays down a solid theoretical foundation for systematically and rigorously developing new theories of fractional Sobolev spaces, fractional calculus of variations, and fractional PDEs as well as their numerical solutions in subsequent works. This paper is a concise presentation of the materials of Sections 1-4 and 6 of reference [9].


title: On New Families of Fractional Sobolev Spaces

abstract: This paper presents three new families of fractional Sobolev spaces and their accompanying theory in one-dimension. The new construction and theory are based on a newly developed notion of weak fractional derivatives, which are natural generalizations of the well-established integer order Sobolev spaces and theory. In particular, two new families of one-sided fractional Sobolev spaces are introduced and analyzed, they reveal more insights about another family of so-called symmetric fractional Sobolev spaces. Many key theorems/properties, such as density/approximation theorem, extension theorems, one-sided trace theorem, and various embedding theorems and Sobolev inequalities in those Sobolev spaces are established. Moreover, a few relationships with existing fractional Sobolev spaces are also discovered. The results of this paper lay down a solid theoretical foundation for systematically developing a fractional calculus of variations theory and a fractional PDE theory as well as their numerical solutions in subsequent works. This paper is a concise presentation of the materials of Sections 1, 4 and 5 of reference [7].


title: Addressing the Privacy Implications of Mixed Reality: A Regulatory Approach

abstract: Mixed reality (MR) technologies are emerging into the mainstream with affordable devices like the Oculus Quest. These devices blend the physical and virtual in novel ways that blur the lines that exist in legal precedent, like those between speech and conduct. In this paper, we discuss the challenges of regulating immersive technologies, focusing on the potential for extensive data collection, and examine the trade-offs of three potential approaches to protecting data privacy in the context of mixed reality environments.


title: Learning Joint Spatial-Temporal Transformations for Video Inpainting

abstract: High-quality video inpainting that completes missing regions in video frames is a promising yet challenging task. State-of-the-art approaches adopt attention models to complete a frame by searching missing contents from reference frames, and further complete whole videos frame by frame. However, these approaches can suffer from inconsistent attention results along spatial and temporal dimensions, which often leads to blurriness and temporal artifacts in videos. In this paper, we propose to learn a joint Spatial-Temporal Transformer Network (STTN) for video inpainting. Specifically, we simultaneously fill missing regions in all input frames by self-attention, and propose to optimize STTN by a spatial-temporal adversarial loss. To show the superiority of the proposed model, we conduct both quantitative and qualitative evaluations by using standard stationary masks and more realistic moving object masks. Demo videos are available at https://github.com/researchmm/STTN.


title: DNN Speaker Tracking with Embeddings

abstract: In multi-speaker applications is common to have pre-computed models from enrolled speakers. Using these models to identify the instances in which these speakers intervene in a recording is the task of speaker tracking. In this paper, we propose a novel embedding-based speaker tracking method. Specifically, our design is based on a convolutional neural network that mimics a typical speaker verification PLDA (probabilistic linear discriminant analysis) classifier and finds the regions uttered by the target speakers in an online fashion. The system was studied from two different perspectives: diarization and tracking; results on both show a significant improvement over the PLDA baseline under the same experimental conditions. Two standard public datasets, CALLHOME and DIHARD II single channel, were modified to create two-speaker subsets with overlapping and non-overlapping regions. We evaluate the robustness of our supervised approach with models generated from different segment lengths. A relative improvement of 17% in DER for DIHARD II single channel shows promising performance. Furthermore, to make the baseline system similar to speaker tracking, non-target speakers were added to the recordings. Even in these adverse conditions, our approach is robust enough to outperform the PLDA baseline.


title: On superorthogonality

abstract: In this survey, we explore how superorthogonality amongst functions in a sequence $f_1,f_2,f_3,\ldots$ results in direct or converse inequalities for an associated square function. We distinguish between three main types of superorthogonality, which we demonstrate arise in a wide array of settings in harmonic analysis and number theory. This perspective gives clean proofs of central results, and unifies topics including Khintchine's inequality, Walsh-Paley series, discrete operators, decoupling, counting solutions to systems of Diophantine equations, multicorrelation of trace functions, and the Burgess bound for short character sums.


title: Across-domains transferability of Deep-RED in de-noising and compressive sensing recovery of seismic data

abstract: In the past decade, deep learning algorithms gained a remarkable interest in the signal processing community. The availability of big datasets and advanced computational resources resulted in developing efficient algorithms. However, such algorithms are biased towards the training dataset. Thus, the transferability of deep-learning-based operators are challenging, especially when the goal is to apply the learned operator on a new dataset/domain. Lack of transferability of learned operator across domains hinders the applicability of deep learning algorithms in processing seismic data. Unlike camera images, the comprehensively labeled seismic datasets are not available. Moreover, from one task to another, the training parameters should be tuned. To remedy this shortcoming, we have developed a workflow that transfers the learned operator from the camera images to the seismic domain, without modifying its training parameters. The similarities in the algorithms and optimization methods in camera and seismic data processing allow us to do so. Accordingly, by incorporating feed-forward de-noising convolutional neural networks (DnCNN) in regularization by de-noising regularizer, we formulate two transferable optimization problems for de-noising and compressive sensing recovery of seismic data. Simulated and real-world data examples show the efficiency of our proposed workflow.


title: Capacitance matrix revisited

abstract: The capacitance matrix relates potentials and charges on a system of conductors. We review and rigorously generalize its properties, block-diagonal structure and inequalities, deduced from the geometry of system of conductors and analytic properties of the permittivity tensor. Furthermore, we discuss alternative choices of regularization of the capacitance matrix, which allow us to find the charge exchanged between the conductors having been brought to an equal potential. Finally, we discuss the tacit approximations used in standard treatments of the electric circuits, demonstrating how the formulae for the capacitance of capacitors connected in parallel and series may be recovered from the capacitance matrix.


title: XMixup: Efficient Transfer Learning with Auxiliary Samples by Cross-domain Mixup

abstract: Transferring knowledge from large source datasets is an effective way to fine-tune the deep neural networks of the target task with a small sample size. A great number of algorithms have been proposed to facilitate deep transfer learning, and these techniques could be generally categorized into two groups - Regularized Learning of the target task using models that have been pre-trained from source datasets, and Multitask Learning with both source and target datasets to train a shared backbone neural network. In this work, we aim to improve the multitask paradigm for deep transfer learning via Cross-domain Mixup (XMixup). While the existing multitask learning algorithms need to run backpropagation over both the source and target datasets and usually consume a higher gradient complexity, XMixup transfers the knowledge from source to target tasks more efficiently: for every class of the target task, XMixup selects the auxiliary samples from the source dataset and augments training samples via the simple mixup strategy. We evaluate XMixup over six real world transfer learning datasets. Experiment results show that XMixup improves the accuracy by 1.9% on average. Compared with other state-of-the-art transfer learning approaches, XMixup costs much less training time while still obtains higher accuracy.


title: Quantum algorithms for escaping from saddle points

abstract: We initiate the study of quantum algorithms for escaping from saddle points with provable guarantee. Given a function $f\colon\mathbb{R}^{n}\to\mathbb{R}$, our quantum algorithm outputs an $\epsilon$-approximate second-order stationary point using $\tilde{O}(\log^{2} (n)/\epsilon^{1.75})$ queries to the quantum evaluation oracle (i.e., the zeroth-order oracle). Compared to the classical state-of-the-art algorithm by Jin et al. with $\tilde{O}(\log^{6} (n)/\epsilon^{1.75})$ queries to the gradient oracle (i.e., the first-order oracle), our quantum algorithm is polynomially better in terms of $\log n$ and matches its complexity in terms of $1/\epsilon$. Technically, our main contribution is the idea of replacing the classical perturbations in gradient descent methods by simulating quantum wave equations, which constitutes the improvement in the quantum query complexity with $\log n$ factors for escaping from saddle points. We also show how to use a quantum gradient computation algorithm due to Jordan to replace the classical gradient queries by quantum evaluation queries with the same complexity. Finally, we also perform numerical experiments that support our theoretical findings.


title: Solving Sparse Linear Systems Faster than Matrix Multiplication

abstract: Can linear systems be solved faster than matrix multiplication? While there has been remarkable progress for the special cases of graph structured linear systems, in the general setting, the bit complexity of solving an $n \times n$ linear system $Ax=b$ is $\tilde{O}(n^\omega)$, where $\omega < 2.372864$ is the matrix multiplication exponent. Improving on this has been an open problem even for sparse linear systems with poly$(n)$ condition number. In this paper, we present an algorithm that solves linear systems in sparse matrices asymptotically faster than matrix multiplication for any $\omega > 2$. This speedup holds for any input matrix $A$ with $o(n^{\omega -1}/\log(\kappa(A)))$ non-zeros, where $\kappa(A)$ is the condition number of $A$. For poly$(n)$-conditioned matrices with $\tilde{O}(n)$ nonzeros, and the current value of $\omega$, the bit complexity of our algorithm to solve to within any $1/\text{poly}(n)$ error is $O(n^{2.331645})$. Our algorithm can be viewed as an efficient, randomized implementation of the block Krylov method via recursive low displacement rank factorizations. It is inspired by the algorithm of [Eberly et al. ISSAC `06 `07] for inverting matrices over finite fields. In our analysis of numerical stability, we develop matrix anti-concentration techniques to bound the smallest eigenvalue and the smallest gap in eigenvalues of semi-random matrices.


title: Strong decays with the boost-corrected wave functions

abstract: Strong decay probabilities are calculated using the Lorentz contracted wave functions of decay products, determined in the arbitrary dynamical scheme with the instantaneous interaction. It is shown that the decay width obtains an additional factor defined by the contraction coefficient $C_m(s)$, which for two-body equal mass decays is $C^2_m(s)= 4m^2/s$ , $s= E^2$. The resulting decay widths are compared to the experimental data, where in particular the $\rho(770),\rho(1450) $ decay data require an additional $1/s$ dependence of the width to fit the data. Important consequences for the dynamics of hadron decays and scattering are shortly discussed.


title: VAE-LIME: Deep Generative Model Based Approach for Local Data-Driven Model Interpretability Applied to the Ironmaking Industry

abstract: Machine learning applied to generate data-driven models are lacking of transparency leading the process engineer to lose confidence in relying on the model predictions to optimize his industrial process. Bringing processes in the industry to a certain level of autonomy using data-driven models is particularly challenging as the first user of those models, is the expert in the process with often decades of experience. It is necessary to expose to the process engineer, not solely the model predictions, but also their interpretability. To that end, several approaches have been proposed in the literature. The Local Interpretable Model-agnostic Explanations (LIME) method has gained a lot of interest from the research community recently. The principle of this method is to train a linear model that is locally approximating the black-box model, by generating randomly artificial data points locally. Model-agnostic local interpretability solutions based on LIME have recently emerged to improve the original method. We present in this paper a novel approach, VAE-LIME, for local interpretability of data-driven models forecasting the temperature of the hot metal produced by a blast furnace. Such ironmaking process data is characterized by multivariate time series with high inter-correlation representing the underlying process in a blast furnace. Our contribution is to use a Variational Autoencoder (VAE) to learn the complex blast furnace process characteristics from the data. The VAE is aiming at generating optimal artificial samples to train a local interpretable model better representing the black-box model in the neighborhood of the input sample processed by the black-box model to make a prediction. In comparison with LIME, VAE-LIME is showing a significantly improved local fidelity of the local interpretable linear model with the black-box model resulting in robust model interpretability.


title: An Autoencoder Based Approach to Simulate Sports Games

abstract: Sports data has become widely available in the recent past. With the improvement of machine learning techniques, there have been attempts to use sports data to analyze not only the outcome of individual games but also to improve insights and strategies. The outbreak of COVID-19 has interrupted sports leagues globally, giving rise to increasing questions and speculations about the outcome of this season's leagues. What if the season was not interrupted and concluded normally? Which teams would end up winning trophies? Which players would perform the best? Which team would end their season on a high and which teams would fail to keep up with the pressure? We aim to tackle this problem and develop a solution. In this paper, we proposeUCLData, which is a dataset containing detailed information of UEFA Champions League games played over the past six years. We also propose a novel autoencoder based machine learning pipeline that can come up with a story on how the rest of the season will pan out.


title: Interplay Between Stacking Order and In-plane Strain on the Electrical Properties of Bilayer Antimonene

abstract: In this work, the electrical properties of bilayer Antimonene with different stacking orders are studied. Density functional theory with van der Waals (vdW) correction is used to investigate the electrical performances. Two configurations demonstrate considerable bandgaps, whereas, the bandgaps are close to zero for other structures. The in-plane biaxial strain is applied to modify the electrical properties. The bandgap reaches a maximum at a specific strain level and then closes at more enormous compressive and tensile strains. The energy of three valleys ($\Gamma$, Q, and K) in the conduction band are explored with the strain. The conduction band minimum switches between these valleys with the strain. Two bands also contribute to the valence band maximum, and the energy of these two bands for various strains is investigated. Finally, the effective mass for the valleys of the conduction band and the valence band are obtained. The effective mass at $\Gamma$-valley demonstrates the lowest effective mass.


title: Null Geodesics and Thermodynamic Phase Transition of Four-Dimensional Gauss-Bonnet AdS Black Hole

abstract: Modified gravity theories are of great interest in both observational and theoretical studies. In this article we study the correlation between the null geodesics in the background of a four-dimensional Einstein-Maxwell-Gauss-Bonnet AdS black hole, a modification of Einstein gravity, and it's thermodynamic phase transition. We study the phase structure of the black hole, using the coexistence and spinodal curves, to understand the phase transition in a extended phase space. The imprints of this phase transition features are observed in the behaviour of photon orbit radius and minimum impact parameter with respect to the Hawking temperature and pressure. The change in these two quantities during the phase transition serve as order parameter which characterises the critical behaviour. The correlation shows that thermodynamic phase transition can be studied by observing the effects of strong gravitational field and vice versa.


title: Comment on "Comparison of optical potential for nucleons and $\Delta$ resonances" by Arie Bodek and Tejin Cai

abstract: In \cite{Bodek:2020wbk} Bodek and Cai have tried to extract the potentials for nucleons and $\Delta$ resonances from electron-nucleus inclusive scattering data. They find that the $\Delta$ potential is considerably more attractive than that of the nucleons. This result is at variance with the results of a multitude of analyses of (e,A) and ($\gamma A$) interactions, performed about 35 years ago.


title: Few-shot link prediction via graph neural networks for Covid-19 drug-repurposing

abstract: Predicting interactions among heterogenous graph structured data has numerous applications such as knowledge graph completion, recommendation systems and drug discovery. Often times, the links to be predicted belong to rare types such as the case in repurposing drugs for novel diseases. This motivates the task of few-shot link prediction. Typically, GCNs are ill-equipped in learning such rare link types since the relation embedding is not learned in an inductive fashion. This paper proposes an inductive RGCN for learning informative relation embeddings even in the few-shot learning regime. The proposed inductive model significantly outperforms the RGCN and state-of-the-art KGE models in few-shot learning tasks. Furthermore, we apply our method on the drug-repurposing knowledge graph (DRKG) for discovering drugs for Covid-19. We pose the drug discovery task as link prediction and learn embeddings for the biological entities that partake in the DRKG. Our initial results corroborate that several drugs used in clinical trials were identified as possible drug candidates. The method in this paper are implemented using the efficient deep graph learning (DGL)


title: GJ 357 b: A Super-Earth Orbiting an Extremely Inactive Host Star

abstract: In this paper we present a deep X-ray observation of the nearby M dwarf GJ 357 and use it to put constraints on the atmospheric evolution of its planet, GJ 357 b. We also analyse the systematic errors in the stellar parameters of GJ 357 in order to see how they affect the perceived planetary properties. We estimate the age of GJ 357 b by comparing the observed X-ray luminosity of its host star, derived from a recent {\em XMM-Newton} observation {($\log{L_{\rm x}}\,{\rm [erg/s]} = 25.73$), with $L_{\rm x} -$ age relations for M dwarfs. We find that GJ 357 presents one of the lowest X-ray activity levels ever measured for an M dwarf, and we put a lower limit on its age of $5$\,Gyr.} Using this age limit, we perform a backwards reconstruction of the original primordial atmospheric reservoir. Furthermore, by considering the systematic errors in the stellar parameters, we find a range of possible planetary masses, radii, and densities. From the backwards reconstruction of GJ 357 b's irradiation history we find that the upper limit of its initial primordial atmospheric mass is $\sim \rm 38M_{\oplus}$. An initial atmospheric reservoir significantly larger than this may have survived through the X-ray and ultraviolet irradiation history, hence being inconsistent with current observations that suggest a telluric composition. In spite of the unlikelihood of a currently existing primordial envelope, volcanism and outgassing may have contributed to a secondary atmosphere. Under this assumption, we present three different synthetic infrared spectra for GJ 357 b that one might expect, consisting of $100\%~\rm CO_{2}$, $100\%~\rm SO_{2}$, and $75\%~ \rm N_{2}$, $24\%~\rm CO_{2}$ and $1\%~\rm H_{2}O$.


title: A Hierarchical Approach to Scaling Batch Active Search Over Structured Data

abstract: Active search is the process of identifying high-value data points in a large and often high-dimensional parameter space that can be expensive to evaluate. Traditional active search techniques like Bayesian optimization trade off exploration and exploitation over consecutive evaluations, and have historically focused on single or small (<5) numbers of examples evaluated per round. As modern data sets grow, so does the need to scale active search to large data sets and batch sizes. In this paper, we present a general hierarchical framework based on bandit algorithms to scale active search to large batch sizes by maximizing information derived from the unique structure of each dataset. Our hierarchical framework, Hierarchical Batch Bandit Search (HBBS), strategically distributes batch selection across a learned embedding space by facilitating wide exploration of different structural elements within a dataset. We focus our application of HBBS on modern biology, where large batch experimentation is often fundamental to the research process, and demonstrate batch design of biological sequences (protein and DNA). We also present a new Gym environment to easily simulate diverse biological sequences and to enable more comprehensive evaluation of active search methods across heterogeneous data sets. The HBBS framework improves upon standard performance, wall-clock, and scalability benchmarks for batch search by using a broad exploration strategy across coarse partitions and fine-grained exploitation within each partition of structured data.


title: Nature of the $\Lambda nn$ $(J^\pi=1/2^+, I=1)$ and ${\rm ^3_\Lambda H^*} (J^\pi=3/2^+, I=0)$ states

abstract: The nature of the $\Lambda nn$ and ${\rm ^3_\Lambda H^*} (J^\pi=3/2^+,~I=0)$ states is investigated within a pionless effective field theory at leading order, constrained by the low energy $\Lambda N$ scattering data and hypernuclear 3- and 4-body data. Bound state solutions are obtained using the stochastic variational method, the continuum region is studied by employing two independent methods - the inverse analytic continuation in the coupling constant method and the complex scaling method. Our calculations yield both the $\Lambda nn$ and ${\rm ^3_\Lambda H^*}$ states unbound. We conclude that the excited state ${\rm ^3_\Lambda H^*}$ is a virtual state and the $\Lambda nn$ pole located close to the three-body threshold in a complex energy plane could convert to a true resonance with Re$(E)>0$ for some considered $\Lambda N$ interactions. Finally, the stability of resonance solutions is discussed and limits of the accuracy of performed calculations are assessed.


title: How to apply the rubber method for channels with feedback

abstract: We give an overview of applications of the rubber method. The rubber method is a coding algorithm that was developed in 2005 by Ahlswede, Deppe and Lebedev for channels with feedback. It was a big surprise that an encoding strategy that reserves one symbol exclusively as a rubber can sometimes reach the capacity of a channel. Since then, generalizations of the algorithm have been developed. These generalizations can be used for special channels. There are also other ideas for modifying the rubber method.


title: Algebras of convolution type operators with continuous data do not always contain all rank one operators

abstract: Let $X(\mathbb{R})$ be a separable Banach function space such that the Hardy-Littlewood maximal operator is bounded $X(\mathbb{R})$ and on its associate space $X'(\mathbb{R})$. The algebra $C_X(\dot{\mathbb{R}})$ of continuous Fourier multipliers on $X(\mathbb{R})$ is defined as the closure of the set of continuous functions of bounded variation on $\dot{\mathbb{R}}=\mathbb{R}\cup\{\infty\}$ with respect to the multiplier norm. It was proved by C. Fernandes, Yu. Karlovich and the first author \cite{FKK19} that if the space $X(\mathbb{R})$ is reflexive, then the ideal of compact operators is contained in the Banach algebra $\mathcal{A}_{X(\mathbb{R})}$ generated by all multiplication operators $aI$ by continuous functions $a\in C(\dot{\mathbb{R}})$ and by all Fourier convolution operators $W^0(b)$ with symbols $b\in C_X(\dot{\mathbb{R}})$. We show that there are separable and non-reflexive Banach function spaces $X(\mathbb{R})$ such that the algebra $\mathcal{A}_{X(\mathbb{R})}$ does not contain all rank one operators. In particular, this happens in the case of the Lorentz spaces $L^{p,1}(\mathbb{R})$ with $1<p<\infty$.


title: Nijenhuis Operators on 3-Hom-L-dendriform algebras

abstract: The goal of this work is to introduce the notion of $3$-Hom-Lie-dendriform algebras which is the dendriform version of $3$-Hom-Lie-algebras. They can be also regarded as the ternary analogous of Hom-Lie-dendriform algebras. We give the representation of a $3$-Hom-pre-Lie algebra. Moreover, we introduce the notion of Nijenhuis operators on a $3$-Hom-pre-Lie algebra and provide some constructions of $3$-Hom-Lie-dendriform algebras in term of Nijenhuis operators. Parallelly, we introduce the notion of a product and complex structures on a $3$-Hom-Lie-dendriform algebras and there are also four types special integrability conditions.


title: The impacts of incarceration on crime

abstract: This paper reviews the research on the impacts of incarceration on crime. Where data availability permits, reviewed studies are replicated and reanalyzed. Among three dozen studies I reviewed, I obtained or reconstructed the data and code for eight. Replication and reanalysis revealed significant methodological concerns in seven and led to major reinterpretations of four. I estimate that, at typical policy margins in the United States today, decarceration has zero net impact on crime outside of prison. That estimate is uncertain, but at least as much evidence suggests that decarceration reduces crime as increases it. The crux of the matter is that tougher sentences hardly deter crime, and that while imprisoning people temporarily stops them from committing crime outside prison walls, it also tends to increase their criminality after release. As a result, "tough-on-crime" initiatives can reduce crime in the short run but cause offsetting harm in the long run. A cost-benefit analysis finds that even under a devil's advocate reading of this evidence, in which incarceration does reduce crime in U.S., it is unlikely to increase aggregate welfare.


title: The domestic economic impacts of immigration

abstract: This paper critically reviews the research on the impact of immigration on employment and wages of natives in wealthy countries--where "natives" includes previous immigrants and their descendants. While written for a non-technical audience, the paper engages with technical issues and probes one particularly intense scholarly debate in an appendix. While the available evidence is not definitive, it paints a consistent picture. Industrial economies can generally absorb migrants quickly, in part because capital is mobile and flexible, in part because immigrants are consumers as well as producers. Thus, long-term average impacts are probably zero at worst. And the long-term may come quickly, especially if migration inflows are predictable to investors. Possibly, skilled immigration boosts productivity and wages for many others. Around the averages, there are distributional effects. Among low-income "native" workers, the ones who stand to lose the most are those who most closely resemble new arrivals, in being immigrants themselves, being low-skill, being less assimilated, and, potentially, undocumented. But native workers and earlier immigrants tend to benefit from the arrival of workers different from them, who complement more than compete with them in production. Thus skilled immigration can offset the effects of low-skill immigration on natives and earlier immigrants.


title: The impacts of alcohol taxes: A replication review

abstract: This paper reviews the research on the impacts of alcohol taxation outcomes such as heavy drinking and mortality. Where data availability permits, reviewed studies are replicated and reanalyzed. Despite weaknesses in the majority of studies, and despite seeming disagreements among the more credible one--ones based on natural experiments--we can be reasonably confident that taxing alcohol reduces drinking in general and problem drinking in particular. The larger and cleaner the underlying natural experiment, the more apt a study is to detect impacts on drinking. Estimates from the highest-powered study settings, such as in Alaska in 2002 and Finland in 2004, suggest an elasticity of mortality with respect to price of -1 to -3. A 10% price increase in the US would, according to this estimate, save 2,000-6,000 lives and 48,000-130,000 years of life each year.


title: Monotonicity Properties of Physical Network Flows and Application to Robust Optimal Allocation

abstract: We derive conditions for monotonicity properties that characterize general flows of a commodity over a network, where the flow is described by potential and flow dynamics on the edges, as well as potential continuity and Kirchhoff-Neumann mass balance requirements at nodes. The transported commodity may be injected or withdrawn at any of the network nodes, and its movement throughout the network is controlled by nodal actuators. For a class of dissipative nonlinear parabolic partial differential equation (PDE) systems on networks, we derive conditions for monotonicity properties in steady-state flow, as well as for propagation of monotone ordering of states with respect to time-varying boundary condition parameters. In the latter case, initial conditions, as well as time-varying parameters in the coupling conditions at vertices, provide an initial boundary value problem (IBVP). We prove that ordering properties of the solution to the IBVP are preserved when the initial conditions and the parameters of the time-varying coupling law are appropriately ordered. Then, we prove that when monotone ordering is not preserved, the first crossing of solutions occurs at a network node. We consider the implications for robust optimization and optimal control formulations and real-time monitoring of uncertain dynamic flows on networks, and discuss application to subsonic compressible fluid flow with energy dissipation on physical networks. The main result and monitoring policy are demonstrated for gas pipeline test networks and a case study using data corresponding to a real working system. We propose applications of this general result to the control and monitoring of natural gas transmission networks.


title: Merge trees in discrete Morse theory

abstract: In this paper, we study merge trees induced by a discrete Morse function on a tree. Given a discrete Morse function, we provide a method to constructing an induced merge tree and define a new notion of equivalence of discrete Morse functions based on the induced merge tree. We then relate the matching number of a tree to a certain invariant of the induced merge tree. Finally, we count the number of merge trees that can be induced on a star graph and characterize the induced merge tree.


title: On the Orbits of Automaton Semigroups and Groups

abstract: We investigate the orbits of automaton semigroups and groups to obtain algorithmic and structural results, both for general automata but also for some special subclasses. First, we show that a more general version of the finiteness problem for automaton groups is undecidable. This problem is equivalent to the finiteness problem for left principal ideals in automaton semigroups generated by complete and reversible automata. Then, we look at $\omega$-word (i.e. right infinite words) with a finite orbit. We show that every automaton yielding an $\omega$-word with a finite orbit already yields an ultimately periodic one, which is not periodic in general, however. On the algorithmic side, we observe that it is not possible to decide whether a given periodic $\omega$-word has an infinite orbit and that we cannot check whether a given reversible and complete automaton admits an $\omega$-word with a finite orbit, a reciprocal problem to the finiteness problem for automaton semigroups in the reversible case. Finally, we look at automaton groups generated by reversible but not bi-reversible automata and show that many words have infinite orbits under the action of such automata.


title: Ribonucleocapsid assembly/packaging signals in the genomes of the coronaviruses SARS-CoV and SARS-CoV-2: Detection, comparison and implications for therapeutic targeting

abstract: The genomic ssRNA of coronaviruses is packaged within a helical nucleocapsid. Due to transitional symmetry of a helix, weakly specific cooperative interaction between ssRNA and nucleocapsid proteins leads to the natural selection of specific quasi-periodic assembly/packaging signals in the related genomic sequence. Such signals coordinated with the nucleocapsid helical structure were detected and reconstructed in the genomes of the coronaviruses SARS-CoV and SARS-CoV-2. The main period of the signals for both viruses was about 54 nt, that implies 6.75 nt per N protein. The complete coverage of ssRNA genome of length about 30,000 nt by the nucleocapsid would need 4,400 N proteins, that makes them the most abundant among the structural proteins. The repertoires of motifs for SARS-CoV and SARS-CoV-2 were divergent but nearly coincided for different isolates of SARS-CoV-2. We obtained the distributions of assembly/packaging signals over the genomes with non-overlapping windows of width 432 nt. Finally, using the spectral entropy, we compared the load from point mutations and indels during virus age for SARS-CoV and SARS-CoV-2. We found the higher mutational load on SARS-CoV. In this sense, SARS-CoV-2 can be treated as a "newborn" virus. These observations may be helpful in practical medical applications and are of basic interest.


title: FAUST I. The hot corino at the heart of the prototypical Class I protostar L1551 IRS5

abstract: The study of hot corinos in Solar-like protostars has been so far mostly limited to the Class 0 phase, hampering our understanding of their origin and evolution. In addition, recent evidence suggests that planet formation starts already during Class I phase, which, therefore, represents a crucial step in the future planetary system chemical composition. Hence, the study of hot corinos in Class I protostars has become of paramount importance. Here we report the discovery of a hot corino towards the prototypical Class I protostar L1551 IRS5, obtained within the ALMA Large Program FAUST. We detected several lines from methanol and its isopotologues ($^{13}$CH$_{\rm 3}$OH and CH$_{\rm 2}$DOH), methyl formate and ethanol. Lines are bright toward the north component of the IRS5 binary system, and a possible second hot corino may be associated with the south component. The methanol lines non-LTE analysis constrains the gas temperature ($\sim$100 K), density ($\geq$1.5$\times$10$^{8}$ cm$^{-3}$), and emitting size ($\sim$10 au in radius). All CH$_{\rm 3}$OH and $^{13}$CH$_{\rm 3}$OH lines are optically thick, preventing a reliable measure of the deuteration. The methyl formate and ethanol relative abundances are compatible with those measured in Class 0 hot corinos. Thus, based on the present work, little chemical evolution from Class 0 to I hot corinos occurs.


title: Characterizing drug mentions in COVID-19 Twitter Chatter

abstract: Since the classification of COVID-19 as a global pandemic, there have been many attempts to treat and contain the virus. Although there is no specific antiviral treatment recommended for COVID-19, there are several drugs that can potentially help with symptoms. In this work, we mined a large twitter dataset of 424 million tweets of COVID-19 chatter to identify discourse around drug mentions. While seemingly a straightforward task, due to the informal nature of language use in Twitter, we demonstrate the need of machine learning alongside traditional automated methods to aid in this task. By applying these complementary methods, we are able to recover almost 15% additional data, making misspelling handling a needed task as a pre-processing step when dealing with social media data.


title: Representing Semilattices as Relations

abstract: We represent finite join-semilattices and join-preserving morphisms as a category whose objects and morphisms are binary relations. It is a quotient category of $\mathsf{Rel}_f$'s arrow category, where self-duality arises by taking the relational converse on both objects and morphisms. We investigate the tensor product and the "tight" tensor product using both categories. We also refine the categorical equivalence i.e. finite De Morgan algebras with bounded lattice morphisms are equivalent to a category whose objects are the symmetric relations.


title: Matroid Chern-Schwartz-MacPherson cycles and Tutte activities

abstract: Lop\'ez de Medrano-Rin\'con-Shaw defined Chern-Schwartz-MacPherson cycles for an arbitrary matroid $M$ and proved by an inductive geometric argument that the unsigned degrees of these cycles agree with the coefficients of $T(M;x,0)$, where $T(M;x,y)$ is the Tutte polynomial associated to $M$. Ardila-Denham-Huh recently utilized this interpretation of these coefficients in order to demonstrate their log-concavity. In this note we provide a direct calculation of the degree of a matroid Chern-Schwartz-MacPherson cycle by taking its stable intersection with a generic tropical linear space of the appropriate codimension and showing that the weighted point count agrees with the Gioan-Las Vergnas refined activities expansion of the Tutte polynomial.


title: Dynamics of a discrete eco-epidemiological model with disease in the prey

abstract: Using Mickens nonstandard method, we obtain a discrete family of nonautonomous eco-epidemiological models that include general functions corresponding to the predation of the infected and uninfected preys. We obtain results on the persistence and extinction of the infected preys assuming that the bi-dimensional predator-prey subsystem that describes the dynamics in the absence of the infection satisfies some assumptions. Some examples and simulations are undertaken to illustrate our results.


title: Revealing the site selective local electronic structure of Co$_{3}$O$_{4}$ using $2p3d$ resonant inelastic X-ray scattering

abstract: We investigate mixed-valence oxide Co$_3$O$_4$ using Co $2p3d$ resonant inelastic X-ray scattering (RIXS). By setting resonant edges at Co$^{2+}$ and Co$^{3+}$ ions, the $dd$ excitations on the two Co sites are probed selectively, providing detailed information on the local electronic structure of Co$_3$O$_4$. The $2p3d$ RIXS result reveals the $^4$T$_{2}$ excited state of tetrahedral Co$^{2+}$ site at 0.5 eV beyond the discriminative power of optical absorption spectroscopies. Additionally, the $^3$T$_{2g}$ excited stated at 1.3 eV is uniquely identified for the octahedral Co$^{3+}$ site. Guided by cluster multiplet simulations, the ground-state character of the Co$^{2+}$ and Co$^{3+}$ site is determined to be high-spin $^4$A$_{2}$(T$_d$) and low-spin $^1$A$_{1g}$(O$_h$), respectively. This indicates that only the Co$^{2+}$ site is magnetically active site at low-temperatures in Co$_3$O$_4$. The ligand-to-metal charge transfer analysis suggests a formation of a strong covalent bonding between Co and O ions at the Co$^{3+}$ site, while Co$^{2+}$ is rather ionic.