title: A Geometric Perspective on Self-Supervised Policy Adaptation

abstract: One of the most challenging aspects of real-world reinforcement learning (RL) is the multitude of unpredictable and ever-changing distractions that could divert an agent from what was tasked to do in its training environment. While an agent could learn from reward signals to ignore them, the complexity of the real-world can make rewards hard to acquire, or, at best, extremely sparse. A recent class of self-supervised methods have shown promise that reward-free adaptation under challenging distractions is possible. However, previous work focused on a short one-episode adaptation setting. In this paper, we consider a long-term adaptation setup that is more akin to the specifics of the real-world and propose a geometric perspective on self-supervised adaptation. We empirically describe the processes that take place in the embedding space during this adaptation process, reveal some of its undesirable effects on performance and show how they can be eliminated. Moreover, we theoretically study how actor-based and actor-free agents can further generalise to the target environment by manipulating the geometry of the manifolds described by the actor and critic functions.


title: Application of deep quantum neural networks to finance

abstract: The recent development of quantum computing gives us an opportunity to explore its potential applications to many fields, with the field of finance being no exception. In this paper, we apply the deep quantum neural network proposed by Beer et al. (2020) and discuss such potential in the context of simple experiments such as learning implied volatilities and option prices. Furthermore, Greeks such as delta and gamma, which are important measures in risk management, can be computed analytically with the neural network, and our numerical experiments show that the deep quantum neural network is a promising technique for solving such numerical problems arising in finance efficiently.


title: Co-optimisation and Settlement of Power-Gas Coupled System in Day-ahead Market under Multiple Uncertainties

abstract: The interdependency of power systems and natural gas systems is being reinforced by the emerging power-to-gas facilities (PtGs), and the existing gas-fired generators. To jointly improve the efficiency and security under diverse uncertainties from renewable energy resources and load demands, it is essential to co-optimise these two energy systems for day-ahead market clearance. In this paper, a data-driven integrated electricity-gas system stochastic co-optimisation model is proposed. The model is accurately approximated by sequential mixed integer second-order cone programming, which can then be solved in parallel and decentralised manners by leveraging generalised Benders decomposition. Since the price formation and settlement issues have rarely been investigated for integrated electricity-gas systems in an uncertainty setting, a novel concept of expected locational marginal value is proposed to credit the flexibility of PtGs that helps hedging uncertainties. By comparing with a deterministic model and a distributionally robust model, the advantage of the proposed stochastic model and the efficiency of the proposed solution method are validated. Detailed results of pricing and settlement for PtGs are presented, showing that the expected locational marginal value can fairly credit the contribution of PtGs and reflect the system deficiency of capturing uncertainties.


title: Compatibility between the scalar field models of tachyon, $k$-essence and quintessence in $f(R, T)$ gravity

abstract: We investigate the behavior of the scalar field in $f (R, T )$ gravity (Harko et al., Phys. Rev. D 84, 024020, 2011) inside the structure of a flat FRW cosmological model, where $R$ and $T$ have their usual meaning. The deterministic solution of FEs has been settled by considering the scale factor $S(t) = t^{m}e^{kt}$, where $m$ and $k$ are positive constant. Here we utilize three ongoing imperatives ($H_{0}=73.8$ and $ q_{0}=-0.73$) from SNe Ia Union observation (Cunha, Phys. Rev. D 79, 047301, 2009); ($H_{0}=73.8$ and $ q_{0}=-0.55$) from Type Ia Supernova (SNIa) observation in joined with (BAO) and (CMB) observation (Giostri et al., J. Cosmol. Astropart. Phys. 03, 027, 2012); and ($H_{0}=69.2$ and $q_{0}=-0.52)$ from (OHD+JLA) observation (Yu et al., Astrophys. J. 856, 3, 2018). We have measured and graphed several cosmological parameters and found that these findings are appropriate in comparison with the universe's physical and kinematic properties and also compatible with ongoing observations. The correspondence between the scalar field models of tachyon, k-essence, and quintessence is investigated by us. Our model explains the potentials and the dynamics of the scalar fields in the FRW universe. The reconstructed potential is very sensible and has a scaling arrangement. Subsequently, our study supports recent observations.


title: Irreversibility Field and Upper Critical Field in YBa2Cu3O7-{\delta} thin film

abstract: We present a detailed study of the electrical transport properties of YBa2Cu3O7-{\delta} thin film. The irreversibility fields ({\mu}_0 H_irr), upper critical fields ({\mu}_0 H_C2), penetration depths ({\lambda}) and coherence lengths ({\xi} ) of the YBa2Cu3O7-{\delta} materials are deduced from the resistivity curves. Itis observed that {\mu}_0 H_irr, {\mu}_0 H_C2 and {\Delta}Tc of the film strongly depend on the direction and strength of the field. The coherence length {\xi} (0) and penetration depth {\lambda} (0) values at T = 0 K has been calculated from the irreversibility fields ({\mu}_0 H_irr) and upper critical fields ({\mu}_0 H_C2) respectively. Based on all the results, the change of the superconducting properties as a function of the magnetic field direction presents the anisotropy of the sample produced.


title: Brief Report on QoSec, Context Aware Security and the Role of Physical Layer Security in 6G Wireless

abstract: While the security literature predominantly focuses on the core network, the enhancement of the security of the beyond fifth generation (B5G) access network becomes of critical importance. Despite the strengthening of 5G security protocols with respect to LTE, there are still open issues that have not yet been fully addressed. In parallel as we move gradually away from the standard client-server networking paradigm and enter a new era of truly E2E quality of service (QoS), service level agreements (SLAs) in the near future will be expected to include guarantees about the quality of security (QoSec) as well. Incorporating context awareness in QoSec is projected to allow handle more efficiently aspects related to identifying the risk or threat level and the required security level. Finally, as novel sensing and intelligence capabilities are envisioned in 6G, security solutions from the palette of physical layer security can emerge, particularly for massive machine type communications involving large scale low-end IoT devices.


title: A simple proof of the L\'evy--Khintchine formula for subordinators

abstract: We present a relatively simple and mostly elementary proof of the L\'evy--Khintchine formula for subordinators. The main idea is to study the Poisson process time-changed by the subordinator. The technical tools used are conditional expectations, probability generating function and convergence of discrete random variables.


title: Sparsity-Inducing Optimal Control via Differential Dynamic Programming

abstract: Optimal control is a popular approach to synthesize highly dynamic motion. Commonly, $L_2$ regularization is used on the control inputs in order to minimize energy used and to ensure smoothness of the control inputs. However, for some systems, such as satellites, the control needs to be applied in sparse bursts due to how the propulsion system operates. In this paper, we study approaches to induce sparsity in optimal control solutions -- namely via smooth $L_1$ and Huber regularization penalties. We apply these loss terms to state-of-the-art DDP-based solvers to create a family of sparsity-inducing optimal control methods. We analyze and compare the effect of the different losses on inducing sparsity, their numerical conditioning, their impact on convergence, and discuss hyperparameter settings. We demonstrate our method in simulation and hardware experiments on canonical dynamics systems, control of satellites, and the NASA Valkyrie humanoid robot. We provide an implementation of our method and all examples for reproducibility on GitHub.


title: Impact of crop diversification on socio-economic life of tribal farmers: A case study from Eastern ghats of India

abstract: In this study we investigated impact of crop diversification on socio-economic life of tribal people from eastern ghats of India. We have adopted linear regression formalism to check impact of cross diversification. We observe a positive intercept for almost all factors. Coefficient of correlation is calculated to examine the inter dependence of CDI and our various individually measured dependent variables. A positive correlation is observed in almost all factors. This study shows that a positive change occurred in their social, economic life in the post diversification era.


title: Ultrametric preserving functions and weak similarities of ultrametric spaces

abstract: Let $WS(X, d)$ be the class of ultrametric spaces which are weakly similar to ultrametric space $(X, d)$. The main results of the paper completely describe the ultrametric spaces $(X, d)$ for which the equality $$ \rho(x, y) = f(d(\Phi(x), \Phi(y))) $$ holds for every $(Y, \rho) \in WS(X, d)$, every weak similarity $\Phi \colon Y \to X$, and all $x$, $y \in Y$ with some ultrametric (pseudoultrametric) preserving function $f$ depending on $\Phi$.


title: Applications of phase field fracture in modelling hydrogen assisted failures

abstract: The phase field fracture method has emerged as a promising computational tool for modelling a variety of problems including, since recently, hydrogen embrittlement and stress corrosion cracking. In this work, we demonstrate the potential of phase field-based multi-physics models in transforming the engineering assessment and design of structural components in hydrogen-containing environments. First, we present a theoretical and numerical framework coupling deformation, diffusion and fracture, which accounts for inertia effects.Several constitutive choices are considered for the crack density function, including choices with and without an elastic phase in the damage response. The material toughness is defined as a function of the hydrogen content using an atomistically-informed hydrogen degradation law. The model is numerically implemented in 2D and 3D using the finite element method. The resulting computational framework is used to address a number of case studies of particular engineering interest. These are intended to showcase the model capabilities in: (i) capturing complex fracture phenomena, such as dynamic crack branching or void-crack interactions, (ii) simulating standardised tests for critical components, such as bolts, and (iii) enabling simulation-based paradigms such as Virtual Testing or Digital Twins by coupling model predictions with inspection data of large-scale engineering components. The evolution of defects under in-service conditions can be predicted, up to the ultimate failure. By reproducing the precise geometry of the defects, as opposed to re-characterising them as sharp cracks, phase field modelling enables more realistic and effective structural integrity assessments.


title: How Intellectual Communities Progress

abstract: Recent work takes both philosophical and scientific progress to consist in acquiring factive epistemic states such as knowledge. However, much of this work leaves unclear what entity is the subject of these epistemic states. Furthermore, by focusing only on states like knowledge, we overlook progress in intermediate cases between ignorance and knowledge -- for example, many now celebrated theories were initially so controversial that they were not known. This paper develops an improved framework for thinking about intellectual progress. Firstly, I argue that we should think of progress relative to the epistemic position of an intellectual community rather than individual inquirers. Secondly, I show how focusing on the extended process of inquiry (rather than the mere presence or absence of states like knowledge) provides a better evaluation of different types of progress. This includes progress through formulating worthwhile questions, acquiring new evidence, and increasing credence on the right answers to these questions. I close by considering the ramifications for philosophical progress, suggesting that my account supports rejecting the most negative views while allowing us to articulate different varieties of optimism and pessimism.


title: Holographic p-wave superconductivity from higher derivative theory

abstract: We construct a holographic SU(2) p-wave superconductor model with Weyl corrections. The high derivative (HD) terms do not seem to spoil the generation of the p-wave superconducting phase. We mainly study the properties of AC conductivity, which is absent in holographic SU(2) p-wave superconductor with Weyl corrections. The conductivities in superconducting phase exhibit obvious anisotropic behaviors. Along $y$ direction, the conductivity $\sigma_{yy}$ is similar to that of holographic s-wave superconductor. The superconducting energy gap exhibits a wide extension. For the conductivity $\sigma_{xx}$ along $x$ direction, the behaviors of the real part in the normal state are closely similar to that of $\sigma_{yy}$. However, the anisotropy of the conductivity obviously shows up in the superconducting phase. A Drude-like peak at low frequency emerges in $Re\sigma_{xx}$ once the system enters into the superconducting phase, regardless of the behaviors in normal state.


title: Black hole inner horizon evaporation in semiclassical gravity

abstract: In this work we analyse the backreaction of a quantum field on a spherically symmetric black hole geometry with an inner horizon, i.e. an internal boundary of the trapped region. We start with a black hole background with an inner horizon which remains static after its formation. We quantise a massless scalar field on it and calculate its renormalised stress-energy tensor in the Polyakov approximation. We use this tensor as a source of perturbation on top of the background spacetime. We find that the inner horizon has a tendency to evaporate outward much more quickly than the outer one evaporates inward through the Hawking effect. This suggests a revised picture of a semiclassically self-consistent evaporation in which the dominant dynamical effect comes from the inner horizon. We also look at backreaction on backgrounds which resemble gravitational collapse, where the inner horizon moves toward the origin. There we find that, depending on the nature of the background dynamics, horizon-related semiclassical effects can become dominant and invert the collapse.


title: Classification based on invisible features and thereby finding the effect of tuberculosis vaccine on COVID-19

abstract: In the case of clustered data, an artificial neural network with logcosh loss function learns the bigger cluster rather than the mean of the two. Even more so, the ANN when used for regression of a set-valued function, will learn a value close to one of the choices, in other words, it learns one branch of the set-valued function with high accuracy. This work suggests a method that uses artificial neural networks with logcosh loss to find the branches of set-valued mappings in parameter-outcome sample sets and classifies the samples according to those branches. The method not only classifies the data based on these branches but also provides an accurate prediction for the majority cluster. The method successfully classifies the data based on an invisible feature. A neural network was successfully established to predict the total number of cases, the logarithmic total number of cases, deaths, active cases and other relevant data of the coronavirus for each German district from a number of input variables. As it has been speculated that the Tuberculosis vaccine provides protection against the virus and since East Germany was vaccinated before reunification, an attempt was made to classify the Eastern and Western German districts by considering the vaccine information as an invisible feature.


title: What is a reduced boundary in general relativity?

abstract: The concept of boundary plays an important role in several branches of general relativity, e.g., the variational principle for the Einstein equations, the event horizon and the apparent horizon of black holes, the formation of trapped surfaces. On the other hand, in a branch of mathematics known as geometric measure theory, the usefulness has been discovered long ago of yet another concept, i.e., the reduced boundary of a finite-perimeter set. This paper proposes therefore a definition of finite-perimeter sets and their reduced boundary in general relativity. Moreover, a basic integral formula of geometric measure theory is evaluated explicitly in the relevant case of Euclidean Schwarzschild geometry, for the first time in the literature. This research prepares the ground for a measure-theoretic approach to several concepts in gravitational physics, supplemented by geometric insight. Moreover, such an investigation suggests considering the possibility that the in-out amplitude for Euclidean quantum gravity should be evaluated over finite-perimeter Riemannian geometries that match the assigned data on their reduced boundary. As a possible application, an analysis is performed of the basic formulae leading eventually to the corrections of the intrinsic quantum mechanical entropy of a black hole.


title: Using noise to probe recurrent neural network structure and prune synapses

abstract: Many networks in the brain are sparsely connected, and the brain eliminates synapses during development and learning. How could the brain decide which synapses to prune? In a recurrent network, determining the importance of a synapse between two neurons is a difficult computational problem, depending on the role that both neurons play and on all possible pathways of information flow between them. Noise is ubiquitous in neural systems, and often considered an irritant to be overcome. Here we suggest that noise could play a functional role in synaptic pruning, allowing the brain to probe network structure and determine which synapses are redundant. We construct a simple, local, unsupervised plasticity rule that either strengthens or prunes synapses using only synaptic weight and the noise-driven covariance of the neighboring neurons. For a subset of linear and rectified-linear networks, we prove that this rule preserves the spectrum of the original matrix and hence preserves network dynamics even when the fraction of pruned synapses asymptotically approaches 1. The plasticity rule is biologically-plausible and may suggest a new role for noise in neural computation.


title: From Plato's Rational Diameter to Proclus' Elegant Theorem

abstract: We debate, departing from 2-3 readings of a single sentence in Proclus' Commentary to Plato's Republic, the plausibility of a rigorous (inductive) arithmetical derivation of an infinite sequence of pairs of side and diameter numbers by Proclus.


title: Observation of multi-skyrmion objects created by size and density control in Ta/CoFeB/MgO films

abstract: Magnetic skyrmions are chiral spin textures with a nontrivial topology that offer a potential for future magnetic memory and storage devices. The controlled formation and adjustment of size and density of magnetic skyrmions in Ta/CoFeB/MgO trilayers is demonstrated. It is the ideal candidate for the use as a bottom electrode integration into CoFeB/MgO/CoFeB magnetic tunnel junctions. Varying the CoFeB thickness close to the out-of-plane to in-plane magnetic phase transition, we find that subtle energy contributions enable the skyrmion formation in a narrow thickness window, corresponding to only around 10 pm variation in CoFeB thickness. Using magneto-optical imaging with quantitative image processing, variations in skyrmion diameter and distribution below the Abbe limit can be analyzed. We demonstrate a high degree of diameter and density control. Zero-field stable skyrmions can be set with proper magnetic field initialization. This demonstrated tunability and degree of comprehension of skyrmion formation, paves the way for future skyrmion based magnetic memory. Moreover, we demonstrate a controlled merging of individual skyrmions to complex topological objects. We compare our results with the baby-Skyrme model, developed to describe the soliton nature, for any topological charge n, and demonstrate the ability to form multi-skyrmion objects. These objects will be interesting for fundamental mathematical studies of the topological behavior of solitons in the future.


title: A study of holographic dark energy models using configuration entropy

abstract: The holographic dark energy models provide an alternative description of the dark energy. These models are motivated by the possible application of holographic principle to the dark energy problem. We study the one parameter Li holographic dark energy and the two parameter Barrow holographic dark energy models using configuration entropy of the matter distribution in the Universe. The configuration entropy rate exhibits a distinct minimum at a specific scale factor that corresponds to the epoch, beyond which the dark energy takes a driving role in the accelerated expansion of the Universe. We find that the location of the minimum and magnitude of the entropy rate at the minimum are sensitive to the parameters of the models. We find the best fit relations between these quantities and the parameters of each model. We propose that these relations can be used to constrain the parameters of the holographic dark energy models from the future measurements of the configuration entropy at multiple redshifts. Further, the Barrow holographic dark energy model is based on Barrow entropy which modifies the standard Bekenstein-Hawking entropy, to capture the deformation of the black-hole surface due to quantum gravitational effects. We find that the location and amplitude of the minimum of the configuration entropy rate is strongly sensitive to the deformation exponent $\Delta$ in the Barrow model. Our study suggests that signatures of the quantum gravitational effects on the future event horizon may be detected from the study of the configuration entropy of the matter distribution on large-scales.


title: Distortion-controlled Training for End-to-end Reverberant Speech Separation with Auxiliary Autoencoding Loss

abstract: The performance of speech enhancement and separation systems in anechoic environments has been significantly advanced with the recent progress in end-to-end neural network architectures. However, the performance of such systems in reverberant environments is yet to be explored. A core problem in reverberant speech separation is about the training and evaluation metrics. Standard time-domain metrics may introduce unexpected distortions during training and fail to properly evaluate the separation performance due to the presence of the reverberations. In this paper, we first introduce the "equal-valued contour" problem in reverberant separation where multiple outputs can lead to the same performance measured by the common metrics. We then investigate how "better" outputs with lower target-specific distortions can be selected by auxiliary autoencoding training (A2T). A2T assumes that the separation is done by a linear operation on the mixture signal, and it adds an loss term on the autoencoding of the direct-path target signals to ensure that the distortion introduced on the direct-path signals is controlled during separation. Evaluations on separation signal quality and speech recognition accuracy show that A2T is able to control the distortion on the direct-path signals and improve the recognition accuracy.


title: Defining relations and Gr\"obner--Shirshov bases of Poisson algebras as of conformal modules

abstract: We study the relation between Poisson algebras and representations of Lie conformal algebras. We establish a setting for the calculation of a Gr\"obner--Shirshov basis in a module over an associative conformal algebra and apply this technique to Poisson algebras considered as conformal modules over appropriate associative envelopes of current Lie conformal algebras. As a result, we obtain a setting for the calculation of a Gr\"obner--Shirshov basis in a Poisson algebra.


title: Speech Prediction in Silent Videos using Variational Autoencoders

abstract: Understanding the relationship between the auditory and visual signals is crucial for many different applications ranging from computer-generated imagery (CGI) and video editing automation to assisting people with hearing or visual impairments. However, this is challenging since the distribution of both audio and visual modality is inherently multimodal. Therefore, most of the existing methods ignore the multimodal aspect and assume that there only exists a deterministic one-to-one mapping between the two modalities. It can lead to low-quality predictions as the model collapses to optimizing the average behavior rather than learning the full data distributions. In this paper, we present a stochastic model for generating speech in a silent video. The proposed model combines recurrent neural networks and variational deep generative models to learn the auditory signal's conditional distribution given the visual signal. We demonstrate the performance of our model on the GRID dataset based on standard benchmarks.


title: Stochastic Volterra equations with time-changed L\'evy noise and maximum principles

abstract: Motivated by a problem of optimal harvesting of natural resources, we study a control problem for Volterra type dynamics driven by time-changed L\'evy noises, which are in general not Markovian. To exploit the nature of the noise, we make use of different kind of information flows within a maximum principle approach. For this we work with backward stochastic differential equations (BSDE) with time-change and exploit the non-anticipating stochastic derivative introduced in [15]. We prove both a sufficient and necessary stochastic maximum principle.


title: Multicriticality and quantum fluctuation in generalized Dicke model

abstract: We consider an important generalization of the Dicke model in which multi-level atoms, instead of two-level atoms as in conventional Dicke model, interact with a single photonic mode. We explore the phase diagram of a broad class of atom-photon coupling schemes and show that, under this generalization, the Dicke model can become multicritical. For a subclass of experimentally realizable schemes, multicritical conditions of arbitrary order can be expressed analytically in compact forms. We also calculate the atom-photon entanglement entropy for both critical and non-critical cases. We find that the order of the criticality strongly affects the critical entanglement entropy: higher order yields stronger entanglement. Our work provides deep insight into quantum phase transitions and multicriticality.


title: Representing Deep Neural Networks Latent Space Geometries with Graphs

abstract: Deep Learning (DL) has attracted a lot of attention for its ability to reach state-of-the-art performance in many machine learning tasks. The core principle of DL methods consists in training composite architectures in an end-to-end fashion, where inputs are associated with outputs trained to optimize an objective function. Because of their compositional nature, DL architectures naturally exhibit several intermediate representations of the inputs, which belong to so-called latent spaces. When treated individually, these intermediate representations are most of the time unconstrained during the learning process, as it is unclear which properties should be favored. However, when processing a batch of inputs concurrently, the corresponding set of intermediate representations exhibit relations (what we call a geometry) on which desired properties can be sought. In this work, we show that it is possible to introduce constraints on these latent geometries to address various problems. In more details, we propose to represent geometries by constructing similarity graphs from the intermediate representations obtained when processing a batch of inputs. By constraining these Latent Geometry Graphs (LGGs), we address the three following problems: i) Reproducing the behavior of a teacher architecture is achieved by mimicking its geometry, ii) Designing efficient embeddings for classification is achieved by targeting specific geometries, and iii) Robustness to deviations on inputs is achieved via enforcing smooth variation of geometry between consecutive latent spaces. Using standard vision benchmarks, we demonstrate the ability of the proposed geometry-based methods in solving the considered problems.


title: High-magnification shadowgraphy for the study of drop breakup in a high-speed gas flow

abstract: Direct observation of the droplet breakup process in high-speed gas flows is a critical challenge that needs to be addressed to elucidate the physical mechanisms underlying the fragmentation phenomenon. Here, we present a high-magnification and high-speed shadowdograph technique that allows the visualization of this process over its whole evolution and resolves detailed features of the breakup zone. The developed experimental method uses a high-speed camera equipped with a long-distance microscope. The backlight illumination source is provided by the laser-induced fluorescence of a dye solution that delivers short pulses at a high-repetition rate. Artefacts resulting from the laser coherence are therefore reduced.


title: Femtosecond currents in transition metal dichalcogenides monolayers

abstract: We theoretically study the interaction of an ultrafast intense linearly polarized optical pulse with monolayers of transition metal dichalcogenides (TMDCs). Such a strong pulse redistributes electrons between the bands and generates femtosecond currents during the pulse. Due to the large bandwidth of the incident pulse, this process is completely off-resonant. While in TMDCs the time-reversal symmetry is conserved, the inversion symmetry is broken and these monolayers have the axial symmetry along armchair direction but not along the zigzag one. Therefore, the pulse polarized along the asymmetric direction of TMDC monolayer generates both longitudinal, i.e., along the direction of polarization, and transverse, i.e., in the perpendicular direction, currents. Such currents result in charge transfer through the system. We study different TMDC materials and show how the femtosecond transport in TMDC monolayers depend on their parameters, such as lattice constant and bandgap.


title: Learning a Reduced Basis of Dynamical Systems using an Autoencoder

abstract: Machine learning models have emerged as powerful tools in physics and engineering. Although flexible, a fundamental challenge remains on how to connect new machine learning models with known physics. In this work, we present an autoencoder with latent space penalization, which discovers finite dimensional manifolds underlying the partial differential equations of physics. We test this method on the Kuramoto-Sivashinsky (K-S), Korteweg-de Vries (KdV), and damped KdV equations. We show that the resulting optimal latent space of the K-S equation is consistent with the dimension of the inertial manifold. The results for the KdV equation imply that there is no reduced latent space, which is consistent with the truly infinite dimensional dynamics of the KdV equation. In the case of the damped KdV equation, we find that the number of active dimensions decreases with increasing damping coefficient. We then uncover a nonlinear basis representing the manifold of the latent space for the K-S equation.


title: Conditioned Natural Language Generation using only Unconditioned Language Model: An Exploration

abstract: Transformer-based language models have shown to be very powerful for natural language generation (NLG). However, text generation conditioned on some user inputs, such as topics or attributes, is non-trivial. Past approach relies on either modifying the original LM architecture, re-training the LM on corpora with attribute labels, or having separately trained `guidance models' to guide text generation in decoding. We argued that the above approaches are not necessary, and the original unconditioned LM is sufficient for conditioned NLG. We evaluated our approaches by the samples' fluency and diversity with automated and human evaluation.


title: Communication-Cost Aware Microphone Selection For Neural Speech Enhancement with Ad-hoc Microphone Arrays

abstract: In this paper, we present a method for jointly-learning a microphone selection mechanism and a speech enhancement network for multi-channel speech enhancement with an ad-hoc microphone array. The attention-based microphone selection mechanism is trained to reduce communication-costs through a penalty term which represents a task-performance/ communication-cost trade-off. While working within the trade-off, our method can intelligently stream from more microphones in lower SNR scenes and fewer microphones in higher SNR scenes. We evaluate the model in complex echoic acoustic scenes with moving sources and show that it matches the performance of models that stream from a fixed number of microphones while reducing communication costs.


title: Supercuspidal representations of $\mathrm{GL}_{n}(F)$ distinguished by an orthogonal involution

abstract: Let $F$ be a non-archimedean locally compact field of residue characteristic $p\neq2$, let $G=\mathrm{GL}_{n}(F)$ and let $H$ be an orthogonal subgroup of $G$. For $\pi$ a complex smooth supercuspidal representation of $G$, we give a full characterization for the distinguished space $\mathrm{Hom}_{H}(\pi,1)$ being non-zero and we further study its dimension as a complex vector space, which generalizes a similar result of Hakim for tame supercuspidal representations. As a corollary, the embeddings of $\pi$ in the space of smooth functions on the set of symmetric matrices in $G$, as a complex vector space, is non-zero and of dimension four, if and only if the central character of $\pi$ evaluating at $-1$ is $1$.


title: Atomic basis of quantum cluster algebra of type $\widetilde{A}_{2n-1,1}$

abstract: Let $Q$ be the affine quiver of type $\widetilde{A}_{2n-1,1}$ and $\mathcal{A}_{q}(Q)$ be the quantum cluster algebra associated to the valued quiver $(Q,(2,2,\dots,2))$. We prove some cluster multiplication formulas, and deduce that the cluster variables associated with vertices of $Q$ satisfy a quantum analogue of the constant coefficient linear relations. We then construct two bar-invariant $\mathbb{Z}[q^{\pm\frac{1}{2}}]$-bases $\mathcal{B}$ and $\mathcal{S}$ of $\mathcal{A}_{q}(Q)$ consisting of positive elements, and prove that $\mathcal{B}$ is an atomic basis.


title: Lie brackets of nonsmooth vector fields and commutation of their flows

abstract: It is well-known that the flows generated by two smooth vector fields commute, if the Lie bracket of these vector fields vanishes. This assertion is known to extend to Lipschitz continuous vector fields, up to interpreting the vanishing of their Lie bracket in the sense of almost everywhere equality. We show that this cannot be extended to general a.e. differentiable vector fields admitting a.e. unique flows. We show however that the extension holds when one field is Lipschitz continuous and the other one is merely Sobolev regular (but admitting a regular Lagrangian flow).


title: Between reduced powers and ultrapowers, II

abstract: We prove that, consistently with ZFC, no ultraproduct of countably infinite (or separable metric, non-compact) structures is isomorphic to a reduced product of countable (or separable metric) structures associated to the Fr\'echet filter. Since such structures are countably saturated, the Continuum Hypothesis implies that they are isomorphic when elementarily equivalent.


title: Pneumothorax and chest tube classification on chest x-rays for detection of missed pneumothorax

abstract: Chest x-ray imaging is widely used for the diagnosis of pneumothorax and there has been significant interest in developing automated methods to assist in image interpretation. We present an image classification pipeline which detects pneumothorax as well as the various types of chest tubes that are commonly used to treat pneumothorax. Our multi-stage algorithm is based on lung segmentation followed by pneumothorax classification, including classification of patches that are most likely to contain pneumothorax. This algorithm achieves state of the art performance for pneumothorax classification on an open-source benchmark dataset. Unlike previous work, this algorithm shows comparable performance on data with and without chest tubes and thus has an improved clinical utility. To evaluate these algorithms in a realistic clinical scenario, we demonstrate the ability to identify real cases of missed pneumothorax in a large dataset of chest x-ray studies.


title: On refinements of rank one Gallagherian prime geodesic theorems

abstract: In his recent research, the author improved the error term in the prime geodesic theorem for compact, even-dimensional, rank one locally symmetric spaces. It turned out that the obtained estimate $O(x^{2\rho-\frac{\rho}{n}}(\log x)^{-1})$ coincides with the best known results for compact Riemann surfaces, three manifolds, and manifolds with cusps, where $n$ stands for the dimension of the space, and $\rho$ is the half-sum of positive roots. The above bound was then reduced to $O(x^{2\rho-\rho\frac{2\cdot(2n)+1}{2n\cdot(2n)+1}}(\log x)^{\frac{n-1}{2n\cdot(2n)+1}-1}(\log\log x)^{\frac{n-1}{2n\cdot(2n)+1}+\varepsilon})$ in the Gallagherian sense, with $\varepsilon$ $>$ $0$, and the key role played by the counting function $\psi_{2n}(x)$. The purpose of this research is to prove that the latter $O$-term can be further reduced. To do so, we derive new explicit formulas for the functions $\psi_{j}(x)$, $j$ $\geq$ $n$, and conditional formula for $\psi_{n-1}(x)$. Applying the Gallagher-Koyama techniques, we deduce the asymptotics for $\psi_{0}(x)$, and the Gallagherian prime geodesic theorems. The obtained error terms $O(x^{2\rho-\rho\frac{2j+1}{2nj+1}}(\log x)^{\frac{n-1}{2nj+1}-1}(\log\log x)^{\frac{n-1}{2nj+1}+\varepsilon})$, $n-1$ $\leq$ $j$ $<$ $2n$, improve the $O$-term given above, with the optimal unconditional (conditional) size achieved for $j$ $=$ $n$ ($j$ $=$ $n-1$). If $j$ $=$ $n$ $\geq$ $4$, our new bound coincides with the best known estimate in the manifolds with cusps case. If $j$ $=$ $n-1$, the $O$-term fully agrees with the results in the Riemann surface case ($n$ $=$ $2$, $\rho$ $=$ $\frac{1}{2}(n-1)$ $=$ $\frac{1}{2}$), and the three manifolds case ($n$ $=$ $2$, $\rho$ $=$ $1$). Finally, for $j$ $=$ $n-1$, $n$ $\geq$ $4$, our result improves the best known bound in the manifolds with cusps case.


title: Towards transformation-resilient provenance detection of digital media

abstract: Advancements in deep generative models have made it possible to synthesize images, videos and audio signals that are difficult to distinguish from natural signals, creating opportunities for potential abuse of these capabilities. This motivates the problem of tracking the provenance of signals, i.e., being able to determine the original source of a signal. Watermarking the signal at the time of signal creation is a potential solution, but current techniques are brittle and watermark detection mechanisms can easily be bypassed by applying post-processing transformations (cropping images, shifting pitch in the audio etc.). In this paper, we introduce ReSWAT (Resilient Signal Watermarking via Adversarial Training), a framework for learning transformation-resilient watermark detectors that are able to detect a watermark even after a signal has been through several post-processing transformations. Our detection method can be applied to domains with continuous data representations such as images, videos or sound signals. Experiments on watermarking image and audio signals show that our method can reliably detect the provenance of a signal, even if it has been through several post-processing transformations, and improve upon related work in this setting. Furthermore, we show that for specific kinds of transformations (perturbations bounded in the L2 norm), we can even get formal guarantees on the ability of our model to detect the watermark. We provide qualitative examples of watermarked image and audio samples in https://drive.google.com/open?id=1-yZ0WIGNu2Iez7UpXBjtjVgZu3jJjFga.


title: Dip-coating flow in the presence of two immiscible liquids

abstract: Dip-coating is a common technique used to cover a solid surface with a thin liquid film, the thickness of which was successfully predicted by the theory developed by Landau & Levich and Derjaguin in the 1940's. In this work, we present an extension of their theory to the case where the dipping bath contains two immiscible liquids, one lighter than the other, resulting in the entrainment of two thin films on the substrate. We report how the thicknesses of the coated films depend on the capillary number, on the ratios of the properties of the two liquids and on the relative thickness of the upper fluid layer in the bath. We also show that the liquid/liquid and liquid/gas interfaces evolve independently from each other as if only one liquid was coated, except for a very small region where their separation falls quickly to its asymptotic value and the shear stresses at the two interfaces peak. Interestingly, we find that the final coated thicknesses are determined by the values of these maximum shear stresses.


title: Solving Physics Puzzles by Reasoning about Paths

abstract: We propose a new deep learning model for goal-driven tasks that require intuitive physical reasoning and intervention in the scene to achieve a desired end goal. Its modular structure is motivated by hypothesizing a sequence of intuitive steps that humans apply when trying to solve such a task. The model first predicts the path the target object would follow without intervention and the path the target object should follow in order to solve the task. Next, it predicts the desired path of the action object and generates the placement of the action object. All components of the model are trained jointly in a supervised way; each component receives its own learning signal but learning signals are also backpropagated through the entire architecture. To evaluate the model we use PHYRE - a benchmark test for goal-driven physical reasoning in 2D mechanics puzzles.


title: Subdiffusive-Brownian crossover in membrane proteins: a Generalized Langevin Equation-based approach

abstract: In this paper, we propose a Generalized Langevin Equation (GLE)-based model to describe the lateral diffusion of a protein in a lipid bilayer. The memory kernel is represented in terms of a viscous (instantaneous) and an elastic (non instantaneous) component modeled respectively through a Dirac delta function and a three-parameter Mittag-Leffler type function. By imposing a specific relationship between the parameters of the three-parameters Mittag-Leffler function, the different dynamical regimes, namely ballistic, subdiffusive and Brownian, as well as the crossover from one regime to another, are retrieved. Within this approach, the transition time from the ballistic to the subdiffusive regime and the distribution of relaxation times underlying the transition from the subdiffusive to the Brownian regime are given. The reliability of the model is tested by comparing the Mean Squared Displacement (MSD) derived in the framework of this model and the MSD of a protein diffusing in a membrane calculated through molecular dynamics (MD) simulations.


title: Analyzing 'Near Me' Services: Potential for Exposure Bias in Location-based Retrieval

abstract: The proliferation of smartphones has led to the increased popularity of location-based search and recommendation systems. Online platforms like Google and Yelp allow location-based search in the form of nearby feature to query for hotels or restaurants in the vicinity. Moreover, hotel booking platforms like Booking[dot]com, Expedia, or Trivago allow travelers searching for accommodations using either their desired location as a search query or near a particular landmark. Since the popularity of different locations in a city varies, certain locations may get more queries than other locations. Thus, the exposure received by different establishments at these locations may be very different from their intrinsic quality as captured in their ratings. Today, many small businesses (shops, hotels, or restaurants) rely on such online platforms for attracting customers. Thus, receiving less exposure than that is expected can be unfavorable for businesses. It could have a negative impact on their revenue and potentially lead to economic starvation or even shutdown. By gathering and analyzing data from three popular platforms, we observe that many top-rated hotels and restaurants get less exposure vis-a-vis their quality, which could be detrimental for them. Following a meritocratic notion, we define and quantify such exposure disparity due to location-based searches on these platforms. We attribute this exposure disparity mainly to two kinds of biases -- Popularity Bias and Position Bias. Our experimental evaluation on multiple datasets reveals that although the platforms are doing well in delivering distance-based results, exposure disparity exists for individual businesses and needs to be reduced for business sustainability.


title: Parabolic approximation of quasilinear wave equations with applications in nonlinear acoustics

abstract: This work deals with the convergence analysis of parabolic perturbations to quasilinear wave equations on smooth bounded domains. In particular, we consider wave equations with nonlinearities of quadratic type, which cover the two classical models of nonlinear acoustics, the Westervelt and Kuznetsov equations. By employing a high-order energy analysis, we obtain convergence of their solutions to the corresponding inviscid equations' solutions in the standard energy norm with a linear rate, assuming small data and a sufficiently short time. The smallness of initial data can, however, be imposed in a lower-order norm than the one needed in the energy analysis. It arises only from ensuring the non-degeneracy of the studied wave equations. In addition, we address the open questions of local well-posedness of the two classical models on bounded domains with a non-negative, possibly vanishing sound diffusivity.


title: Uniqueness theorem for Fourier transformable measures on LCA groups

abstract: We show that if points of supports of two discrete "not very thick" Fourier transformable measures on LCA groups tend to one another at infinity and the same is true for the masses at these points, then these measures coincide. The result is valid for discrete almost periodic measures on LCA groups too. Also, we show that the result is false for some discrete "thick" measures. To do this, we construct a discrete almost periodic measure on the real axis, whose masses at the points of support tend to zero as these points approach infinity.


title: Spectral statistics for the difference of two Wishart matrices

abstract: In this work, we consider the weighted difference of two independent complex Wishart matrices and derive the joint probability density function of the corresponding eigenvalues in a finite-dimension scenario using two distinct approaches. The first derivation involves the use of unitary group integral, while the second one relies on applying the derivative principle. The latter relates the joint probability density of eigenvalues of a matrix drawn from a unitarily invariant ensemble to the joint probability density of its diagonal elements. Exact closed form expressions for an arbitrary order correlation function are also obtained and spectral densities are contrasted with Monte Carlo simulation results. Analytical results for moments as well as probabilities quantifying positivity aspects of the spectrum are also derived. Additionally, we provide a large-dimension asymptotic result for the spectral density using the Stieltjes transform approach for algebraic random matrices. Finally, we point out the relationship of these results with the corresponding results for difference of two random density matrices and obtain some explicit and closed form expressions for the spectral density and absolute mean.

categories: math-ph math.MP physics.data-an quant-ph stat.AP


title: RecTen: A Recursive Hierarchical Low Rank Tensor Factorization Method to Discover Hierarchical Patterns in Multi-modal Data

abstract: How can we expand the tensor decomposition to reveal a hierarchical structure of the multi-modal data in a self-adaptive way? Current tensor decomposition provides only a single layer of clusters. We argue that with the abundance of multimodal data and time-evolving networks nowadays, the ability to identify emerging hierarchies is important. To this effect, we propose RecTen, a recursive hierarchical soft clustering approach based on tensor decomposition. Our approach enables us to: (a) recursively decompose clusters identified in the previous step, and (b) identify the right conditions for terminating this process. In the absence of proper ground truth, we evaluate our approach with synthetic data and test its sensitivity to different parameters. We also apply RecTen on five real datasets which involve the activities of users in online discussion platforms, such as security forums. This analysis helps us reveal clusters of users with interesting behaviors, including but not limited to early detection of some real events like ransomware outbreaks, the emergence of a blackmarket of decryption tools, and romance scamming. To maximize the usefulness of our approach, we develop a tool which can help the data analysts and overall research community by identifying hierarchical structures. RecTen is an unsupervised approach which can be used to take the pulse of the large multi-modal data and let the data discover its own hidden structures by itself.


title: Derived tame quadratic string algebras

abstract: In this paper we determine the derived representation type of quadratic string algebras and we prove that every derived tame quadratic string algebra whose quiver has cycles is derived equivalent to some skewed-gentle algebra.


title: Bayesian recurrent state space model for rs-fMRI

abstract: We propose a hierarchical Bayesian recurrent state space model for modeling switching network connectivity in resting state fMRI data. Our model allows us to uncover shared network patterns across disease conditions. We evaluate our method on the ADNI2 dataset by inferring latent state patterns corresponding to altered neural circuits in individuals with Mild Cognitive Impairment (MCI). In addition to states shared across healthy and individuals with MCI, we discover latent states that are predominantly observed in individuals with MCI. Our model outperforms current state of the art deep learning method on ADNI2 dataset.


title: Factorization of $e^+e^- \to H \, X$ cross section, differential in $z_h$, $P_T$ and thrust, in the $2$-jet limit

abstract: Factorizing the cross section for single hadron production in $e^+e^-$ annihilations is a highly non trivial task when the transverse momentum of the outgoing hadron with respect to the thrust axis is taken into account. We work in a scheme that allows to factorize the $e^+e^- \to HX$ cross section as a convolution of a calculable hard coefficient and a Transverse Momentum Dependent (TMD) fragmentation function. The result, differential in $z_h$, $P_T$ and thrust, will be given to all orders in perturbation theory and explicitly computed to Next to Leading Order (NLO) and Next to Leading Log (NLL) accuracy. The predictions obtained from our computation, applying the simplest and most natural ansatz to model the non-perturbative part of the TMD, are in exceptional agreement with the experimental measurements of the BELLE Collaboration. The factorization scheme we propose relates the TMD parton densities defined in 1-hadron and 2-hadron processes, restoring the possibility to perform global phenomenological studies of TMD physics including experimental data from semi-inclusive deep inelastic scattering, Drell-Yan processes, $e^+e^- \to H_1 H_2 X$ and $e^+e^- \to HX$ annihilations.


title: SM EFT effects in Vector-Boson Scattering at the LHC

abstract: The assumption that the Standard Model is an Effective Field Theory (SM EFT) of a more fundamental theory at a higher, than electroweak, energy scale, implies a growth of cross-sections for electroweak Vector Boson Scattering (VBS) processes signalling the appearance of a resonance (or resonances) nearby that scale. In this article, we investigate in detail SM EFT effects from dimension-6 operators in VBS with like-sign-$W$ production in fully leptonic decay modes at the High Luminosity LHC (HL-LHC). We find that these effects are important for a handful of operators, most notably for the operator composed of three $SU(2)$ field strength tensors responsible for strong transversely polarized vector boson interactions. Current global fits on Wilson-coefficients allow for a signal immediately permissive at the HL-LHC if not accessible at the current LHC-dataset.


title: Conformer-Kernel with Query Term Independence at TREC 2020 Deep Learning Track

abstract: We benchmark Conformer-Kernel models under the strict blind evaluation setting of the TREC 2020 Deep Learning track. In particular, we study the impact of incorporating: (i) Explicit term matching to complement matching based on learned representations (i.e., the "Duet principle"), (ii) query term independence (i.e., the "QTI assumption") to scale the model to the full retrieval setting, and (iii) the ORCAS click data as an additional document description field. We find evidence which supports that all three aforementioned strategies can lead to improved retrieval quality.


title: Counting Cows: Tracking Illegal Cattle Ranching From High-Resolution Satellite Imagery

abstract: Cattle farming is responsible for 8.8\% of greenhouse gas emissions worldwide. In addition to the methane emitted due to their digestive process, the growing need for grazing areas is an important driver of deforestation. While some regulations are in place for preserving the Amazon against deforestation, these are being flouted in various ways, hence the need to scale and automate the monitoring of cattle ranching activities. Through a partnership with \textit{Global Witness}, we explore the feasibility of tracking and counting cattle at the continental scale from satellite imagery. With a license from Maxar Technologies, we obtained satellite imagery of the Amazon at 40cm resolution, and compiled a dataset of 903 images containing a total of 28498 cattle. Our experiments show promising results and highlight important directions for the next steps on both counting algorithms and the data collection process for solving such challenges. The code is available at \url{https://github.com/IssamLaradji/cownter_strike}.


title: Locomotion and Control of a Friction-Driven Tripedal Robot

abstract: This letter considers control of a radially symmetric tripedal friction-driven robot. The robot features 3 servo motors mounted on a 3-D printed chassis 7 cm from the center of mass and separated 120 degrees. These motors drive limbs, which impart frictional reactive forces on the body. Experimental observations performed on a uniform friction surface validated a mathematical model for robot motion. This model was used to create a gait map, which features instantaneous omni-directional control. We demonstrated line following using live feedback from an overhead tracking camera. Proportional-Integral error compensation performance was compared to a basic position update procedure on a rectangular course. The controller reduced path error by approximately $46\%$. The error compensator is also able to correct for aerodynamic disturbances generated by a high-volume industrial fan with a mean flow speed of $5.5ms^{-1}$, reducing path error by $65\%$ relative to the basic position update procedure.


title: Real-time Artificial Intelligence for Accelerator Control: A Study at the Fermilab Booster

abstract: We describe a method for precisely regulating the gradient magnet power supply at the Fermilab Booster accelerator complex using a neural network trained via reinforcement learning. We demonstrate preliminary results by training a surrogate machine-learning model on real accelerator data to emulate the Booster environment, and using this surrogate model in turn to train the neural network for its regulation task. We additionally show how the neural networks to be deployed for control purposes may be compiled to execute on field-programmable gate arrays. This capability is important for operational stability in complicated environments such as an accelerator facility.


title: Mobility Map Inference from Thermal Modeling of a Building

abstract: We consider the problem of inferring the mobility map, which is the distribution of the building occupants at each timestamp, from the temperatures of the rooms. We also want to explore the effects of noise in the temperature measurement, room layout, etc. in the reconstruction of the movement of people within the building. Our proposed algorithm tackles down the aforementioned challenges leveraging a parameter learner, the modified Least Square Estimator. In the absence of a complete data set with mobility map, room and ambient temperatures, and HVAC data in the public domain, we simulate a physics-based thermal model of the rooms in a building and evaluate the performance of our inference algorithm on this simulated data. We find an upper bound of the noise standard deviation (<= 1F) in the input temperature data of our model. Within this bound, our algorithm can reconstruct the mobility map with a reasonable reconstruction error. Our work can be used in a wide range of applications, for example, ensuring the physical security of office buildings, elderly and infant monitoring, building resources management, emergency building evacuation, and vulnerability assessment of HVAC data. Our work brings together multiple research areas, Thermal Modeling and Parameter Estimation, towards achieving a common goal of inferring the distribution of people within a large office building.


title: Microscopic shell-model counterpart of the Bohr-Mottelson model

abstract: In the present paper we demonstrate that there exists a fully microscopic shell-model counterpart of the Bohr-Mottelson model by embedding the latter in the microscopic shell-model theory of atomic nucleus within the framework of the recently proposed fully microscopic proton-neutron symplectic model (PNSM). For this purpose, another shell-model coupling scheme of the PNSM is considered in which the basis states are classified by the algebraic structure $SU(1,1) \otimes SO(6)$. It is shown that the configuration space of the PNSM contains a six-dimensional subspace that is closely related to the configuration space of the generalized quadrupole-monopole Bohr-Mottelson model and its dynamics splits into radial and orbital motions. The group $SO(6)$ acting in this space, in contrast, e.g., to popular IBM, contains an $SU(3)$ subgroup which allows to introduce microscopic shell-model counterparts of the exactly solvable limits of the Bohr-Mottelson model that closely parallel the relationship of the original Wilets-Jean and rotor models. The Wilets-Jean-type dynamics in the present approach, in contrast to the original collective model formulation, is governed by the microscopic shell-model intrinsic structure of the symplectic bandhead which defines the relevant Pauli allowed $SO(6)$, and hence $SU(3)$, subrepresentations. The original Wilets-Jean dynamics of the generalized Bohr-Mottelson model is recovered for the case of closed-shell nuclei, for which the symplectic bandhead structure is trivially reduced to the scalar or equivalent to it irreducible representation.


title: Designing Human-Robot Coexistence Space

abstract: When the human-robot interactions become ubiquitous, the environment surrounding these interactions will have significant impact on the safety and comfort of the human and the effectiveness and efficiency of the robot. Although most robots are designed to work in the spaces created for humans, many environments, such as living rooms and offices, can be and should be redesigned to enhance and improve human-robot collaboration and interactions. This work uses autonomous wheelchair as an example and investigates the computational design in the human-robot coexistence spaces. Given the room size and the objects $O$ in the room, the proposed framework computes the optimal layouts of $O$ that satisfy both human preferences and navigation constraints of the wheelchair. The key enabling technique is a motion planner that can efficiently evaluate hundreds of similar motion planning problems. Our implementation shows that the proposed framework can produce a design around three to five minutes on average comparing to 10 to 20 minutes without the proposed motion planner. Our results also show that the proposed method produces reasonable designs even for tight spaces and for users with different preferences.


title: An Autonomous Approach to Measure Social Distances and Hygienic Practices during COVID-19 Pandemic in Public Open Spaces

abstract: Coronavirus has been spreading around the world since the end of 2019. The virus can cause acute respiratory syndrome, which can be lethal, and is easily transmitted between hosts. Most states have issued state-at-home executive orders, however, parks and other public open spaces have largely remained open and are seeing sharp increases in public use. Therefore, in order to ensure public safety, it is imperative for patrons of public open spaces to practice safe hygiene and take preventative measures. This work provides a scalable sensing approach to detect physical activities within public open spaces and monitor adherence to social distancing guidelines suggested by the US Centers for Disease Control and Prevention (CDC). A deep learning-based computer vision sensing framework is designed to investigate the careful and proper utilization of parks and park facilities with hard surfaces (e.g. benches, fence poles, and trash cans) using video feeds from a pre-installed surveillance camera network. The sensing framework consists of a CNN-based object detector, a multi-target tracker, a mapping module, and a group reasoning module. The experiments are carried out during the COVID-19 pandemic between March 2020 and May 2020 across several key locations at the Detroit Riverfront Parks in Detroit, Michigan. The sensing framework is validated by comparing automatic sensing results with manually labeled ground-truth results. The proposed approach significantly improves the efficiency of providing spatial and temporal statistics of users in public open spaces by creating straightforward data visualizations for federal and state agencies. The results can also provide on-time triggering information for an alarming or actuator system which can later be added to intervene inappropriate behavior during this pandemic.


title: Synthesis of SQL Queries from South African Local Language Narrations

abstract: English remains the language of choice for database courses and widely used for instruction in nearly all South African universities, and also in many countries. Novice programmers of native origins are mostly taught Structured Query Language (SQL) through English as the medium of instruction. Consequently, this creates a myriad of problems in understanding the syntax of SQL as most native learners are not too proficient in English. This could affect a learner's ability in comprehending SQL syntaxes. To resolve this problem, this work proposes a tool called local language narrations (Local-Nar-SQL) to SQL that uses a type of Finite Machine, such as a Jumping Finite Automaton to translate local language narratives into SQL queries. Further, the generated query extracts information from a sample database and presents output to the learner. This paper is an extension of work originally presented in a previous study in this field. A survey involving 145 participants concluded that the majority found Local-Nar-SQL to be helpful in understanding SQL queries from local languages. If the proposed tool is used as a learning aid, native learners will find it easier to work with SQL, which will eliminate many of the barriers faced with English proficiencies in programming pedagogies.


title: Refining pulsar radio emission due to streaming instabilities: Linear theory and PIC simulations in a wide parameter range

abstract: Several important mechanisms that explain the coherent pulsar radio emission rely on streaming (or beam) instabilities of the relativistic pair plasma in a pulsar magnetosphere. However, it is still not clear whether a streaming instability by itself is sufficient to explain the observed coherent radio emission. Due to the relativistic conditions that are present in the pulsar magnetosphere, kinetic instabilities could be quenched. Moreover, uncertainties regarding specific model-dependent parameters impede conclusions concerning this question. We aim to constrain the possible parameter range for which a streaming instability could lead to pulsar radio emission, focusing on the transition between strong and weak beam models, beam drift speed, and temperature dependence of the beam and background plasma components. We solve a linear relativistic kinetic dispersion relation appropriate for pulsar conditions in a more general way than in previous studies, considering a wider parameter range. The analytical results are validated by comparison with relativistic kinetic particle-in-cell (PIC) numerical simulations. We obtain growth rates as a function of background and beam densities, temperatures, and streaming velocities while finding a remarkable agreement of the linear dispersion predictions and numerical simulation results in a wide parameter range. Monotonous growth is found when increasing the beam-to-background density ratio. With growing beam velocity, the growth rates firstly increase, reach a maximum and decrease again for higher beam velocities. A monotonous dependence on the plasma temperatures is found, manifesting in an asymptotic behaviour when reaching colder temperatures. We show that the generated waves are phase-coherent by calculating the fractional bandwidth. We provide an explicit parameter range of plasma conditions for efficient pulsar radio emission.


title: Reconfiguration of Connected Graph Partitions via Recombination

abstract: Motivated by applications in gerrymandering detection, we study a reconfiguration problem on connected partitions of a connected graph $G$. A partition of $V(G)$ is \emph{connected} if every part induces a connected subgraph. In many applications, it is desirable to obtain parts of roughly the same size, possibly with some slack $s$. A \emph{Balanced Connected $k$-Partition with slack $s$}, denoted \emph{$(k,s)$-BCP}, is a partition of $V(G)$ into $k$ nonempty subsets, of sizes $n_1,\ldots , n_k$ with $|n_i-n/k|\leq s$, each of which induces a connected subgraph (when $s=0$, the $k$ parts are perfectly balanced, and we call it \emph{$k$-BCP} for short). A \emph{recombination} is an operation that takes a $(k,s)$-BCP of a graph $G$ and produces another by merging two adjacent subgraphs and repartitioning them. Given two $k$-BCPs, $A$ and $B$, of $G$ and a slack $s\geq 0$, we wish to determine whether there exists a sequence of recombinations that transform $A$ into $B$ via $(k,s)$-BCPs. We obtain four results related to this problem: (1) When $s$ is unbounded, the transformation is always possible using at most $6(k-1)$ recombinations. (2) If $G$ is Hamiltonian, the transformation is possible using $O(kn)$ recombinations for any $s \ge n/k$, and (3) we provide negative instances for $s \leq n/(3k)$. (4) We show that the problem is PSPACE-complete when $k \in O(n^{\varepsilon})$ and $s \in O(n^{1-\varepsilon})$, for any constant $0 < \varepsilon \le 1$, even for restricted settings such as when $G$ is an edge-maximal planar graph or when $k=3$ and $G$ is planar.


title: Smart Close-out Netting

abstract: Smart Close-out Netting aims to standardise and automate specific operational aspects of the legal and regulatory processes of close-out netting for prudentially regulated financial institutions. This article provides a review, analysis and perspective of these operational processes, their benefits for prudentially regulated trading institutions, their current inefficiencies, and the extent to which they are amenable to standardisation and automation. The main concepts of Smart Close-out Netting are introduced, including the use of a controlled natural language in legal opinions and the use of a data-driven framework during netting determination.


title: A systematic study of the dynamics of chain formation in electrorheological fluids

abstract: We report a systematic study of the dynamics of chain formation in electrorheological (ER) fluids using Brownian Dynamics simulations. The parameters of the system such as applied electric field, polarizability, dipole moment, friction coefficient, and number density are expressed in reduced units and changed in a wide range in order to map the system's behavior as a function of them. We define time constants obtained from bi-exponential fits to time dependence of various physical quantities such as dipolar energy, diffusion constant, and average chain length. The smaller time constant is associated with the formation of shorter chains (pairs, triplets, and so on), while the larger time constant is associated with the formation of longer chains in the regime of those that overarch the simulation cell. We use the approximation that the dipole moments are induced by the applied electric field only, as usual in the literature. However, we report preliminary results for the case when particle-particle polarization is also possible.


title: Fibering flat manifolds of diagonal type and their fundamental groups

abstract: An $n$-dimensional closed flat manifold is said to be of diagonal type if the standard representation of its holonomy group $G$ is diagonal. An $n$-dimensional Bieberbach group of diagonal type is the fundamental group of such a manifold. We introduce the diagonal Vasquez invariant of $G$ as the least integer $n_d(G)$ such that every flat manifold of diagonal type with holonomy $G$ fibers over a flat manifold of dimension at most $n_d(G)$ with flat torus fibers. Using a combinatorial description of Bieberbach groups of diagonal type, we give both upper and lower bounds for this invariant. We show that the lower bounds are exact when $G$ has low rank. We apply this to analyse diffuseness properties of Bieberbach groups of diagonal type. This leads to a complete classification of Bieberbach groups of diagonal type with Klein four-group holonomy and to an application to Kaplansky's Unit Conjecture.


title: Geometric Structures and Differential Operators on Manifolds Having Super tangent Bundle

abstract: In this paper, we introduce the notion of a super tangent bundle of a manifold, and extend the basic notions of differential geometry such as differential forms, exterior derivation, connection, metric and divergence on manifolds that equipped with a super tangent bundle.


title: Search-based Planning for Active Sensing in Goal-Directed Coverage Tasks

abstract: Path planning for robotic coverage is the task of determining a collision-free robot trajectory that observes all points of interest in an environment. Robots employed for such tasks are often capable of exercising active control over onboard observational sensors during navigation. In this paper, we tackle the problem of planning robot and sensor trajectories that maximize information gain in such tasks where the robot needs to cover points of interest with its sensor footprint. Search-based planners in general guarantee completeness and provable bounds on suboptimality with respect to an underlying graph discretization. However, searching for kinodynamically feasible paths in the joint space of robot and sensor state variables with standard search is computationally expensive. We propose two alternative search-based approaches to this problem. The first solves for robot and sensor trajectories independently in decoupled state spaces while maintaining a history of sensor headings during the search. The second is a two-step approach that first quickly computes a solution in decoupled state spaces and then refines it by searching its local neighborhood in the joint space for a better solution. We evaluate our approaches in simulation with a kinodynamically constrained unmanned aerial vehicle performing coverage over a 2D environment and show their benefits.


title: Few-shot Object Grounding and Mapping for Natural Language Robot Instruction Following

abstract: We study the problem of learning a robot policy to follow natural language instructions that can be easily extended to reason about new objects. We introduce a few-shot language-conditioned object grounding method trained from augmented reality data that uses exemplars to identify objects and align them to their mentions in instructions. We present a learned map representation that encodes object locations and their instructed use, and construct it from our few-shot grounding output. We integrate this mapping approach into an instruction-following policy, thereby allowing it to reason about previously unseen objects at test-time by simply adding exemplars. We evaluate on the task of learning to map raw observations and instructions to continuous control of a physical quadcopter. Our approach significantly outperforms the prior state of the art in the presence of new objects, even when the prior approach observes all objects during training.


title: Learning-Augmented Query Policies

abstract: We study how to utilize (possibly machine-learned) predictions in a model for computing under uncertainty in which an algorithm can query unknown data. The goal is to minimize the number of queries needed to solve the problem. We consider fundamental problems such as finding the minima of intersecting sets of elements or sorting them (these problems can also be phrased as (hyper)graph orientation problems), as well as the minimum spanning tree problem. We discuss different measures for the prediction accuracy and design algorithms with performance guarantees that improve with the accuracy of predictions and that are robust with respect to very poor prediction quality. These measures are intuitive and might be of general interest for inputs involving uncertainty intervals. We show that our predictions are PAC learnable. We also provide new structural insights for the minimum spanning tree problem that might be useful in the context of explorable uncertainty regardless of predictions. Our results prove that untrusted predictions can circumvent known lower bounds in the model of explorable uncertainty. We complement our results by experiments that empirically confirm the performance of our algorithms.


title: Modeling Random Walks to Infinity on Primes in $\mathbb{Z}[\sqrt{2}]$

abstract: An interesting question, known as the Gaussian moat problem, asks whether it is possible to walk to infinity on Gaussian primes with steps of bounded length. Our work examines a similar situation in the real quadratic integer ring $\mathbb{Z}[\sqrt{2}]$ whose primes cluster near the asymptotes $y = \pm x/\sqrt{2}$ as compared to Gaussian primes, which cluster near the origin. We construct a probabilistic model of primes in $\mathbb{Z}[\sqrt{2}]$ by applying the prime number theorem and a combinatorial theorem for counting the number of lattice points whose absolute values of their norms are at most $r^2$. We then prove that it is impossible to walk to infinity if the walk remains within some bounded distance from the asymptotes. Lastly, we perform a few moat calculations to show that the longest walk is likely to stay close to the asymptotes; hence, we conjecture that there is no walk to infinity on $\mathbb{Z}[\sqrt{2}]$ primes with steps of bounded length.


title: Privacy-Preserving Pose Estimation for Human-Robot Interaction

abstract: Pose estimation is an important technique for nonverbal human-robot interaction. That said, the presence of a camera in a person's space raises privacy concerns and could lead to distrust of the robot. In this paper, we propose a privacy-preserving camera-based pose estimation method. The proposed system consists of a user-controlled translucent filter that covers the camera and an image enhancement module designed to facilitate pose estimation from the filtered (shadow) images, while never capturing clear images of the user. We evaluate the system's performance on a new filtered image dataset, considering the effects of distance from the camera, background clutter, and film thickness. Based on our findings, we conclude that our system can protect humans' privacy while detecting humans' pose information effectively.


title: Discovery of the Hidden State in Ionic Models Using a Domain-Specific Recurrent Neural Network

abstract: Ionic models, the set of ordinary differential equations (ODEs) describing the time evolution of the state of excitable cells, are the cornerstone of modeling in neuro- and cardiac electrophysiology. Modern ionic models can have tens of state variables and hundreds of tunable parameters. Fitting ionic models to experimental data, which usually covers only a limited subset of state variables, remains a challenging problem. In this paper, we describe a recurrent neural network architecture designed specifically to encode ionic models. The core of the model is a Gating Neural Network (GNN) layer, capturing the dynamics of classic (Hodgkin-Huxley) gating variables. The network is trained in two steps: first, it learns the theoretical model coded in a set of ODEs, and second, it is retrained on experimental data. The retrained network is interpretable, such that its results can be incorporated back into the model ODEs. We tested the GNN networks using simulated ventricular action potential signals and showed that it could deduce physiologically-feasible alterations of ionic currents. Such domain-specific neural networks can be employed in the exploratory phase of data assimilation before further fine-tuning using standard optimization techniques.


title: Words are the Window to the Soul: Language-based User Representations for Fake News Detection

abstract: Cognitive and social traits of individuals are reflected in language use. Moreover, individuals who are prone to spread fake news online often share common traits. Building on these ideas, we introduce a model that creates representations of individuals on social media based only on the language they produce, and use them to detect fake news. We show that language-based user representations are beneficial for this task. We also present an extended analysis of the language of fake news spreaders, showing that its main features are mostly domain independent and consistent across two English datasets. Finally, we exploit the relation between language use and connections in the social graph to assess the presence of the Echo Chamber effect in our data.


title: Long-term X-ray Variability of the Symbiotic System RT Cru based on Chandra Spectroscopy

abstract: RT Cru belongs to the rare class of hard X-ray emitting symbiotics, whose origin is not yet fully understood. In this work, we have conducted a detailed spectroscopic analysis of X-ray emission from RT Cru based on observations taken by the Chandra Observatory using the Low Energy Transmission Grating (LETG) on the High-Resolution Camera Spectrometer (HRC-S) in 2015 and the High Energy Transmission Grating (HETG) on the Advanced CCD Imaging Spectrometer S-array (ACIS-S) in 2005. Our thermal plasma modeling of the time-averaged HRC-S/LETG spectrum suggests a mean temperature of $kT \sim 1.3$ keV, whereas $kT \sim 9.6$ keV according to the time-averaged ACIS-S/HETG. The soft thermal plasma emission component ($\sim1.3$ keV) found in the HRC-S is heavily obscured by dense materials ($> 5 \times 10^{23}$ cm$^{-2}$). The aperiodic variability seen in its light curves could be due to changes in either absorbing material covering the hard X-ray source or intrinsic emission mechanism in the inner layers of the accretion disk. To understand the variability, we extracted the spectra in the "low/hard" and "high/soft" spectral states, which indicated higher plasma temperatures in the low/hard states of both the ACIS-S and HRC-S. The source also has a fluorescent iron emission line at 6.4 keV, likely emitted from reflection off an accretion disk or dense absorber, which was twice as bright in the HRC-S epoch compared to the ACIS-S. The soft thermal component identified in the HRC-S might be an indication of a jet that deserves further evaluations using high-resolution imaging observations.


title: Channel Tiling for Improved Performance and Accuracy of Optical Neural Network Accelerators

abstract: Low latency, high throughput inference on Convolution Neural Networks (CNNs) remains a challenge, especially for applications requiring large input or large kernel sizes. 4F optics provides a solution to accelerate CNNs by converting convolutions into Fourier-domain point-wise multiplications that are computationally 'free' in optical domain. However, existing 4F CNN systems suffer from the all-positive sensor readout issue which makes the implementation of a multi-channel, multi-layer CNN not scalable or even impractical. In this paper we propose a simple channel tiling scheme for 4F CNN systems that utilizes the high resolution of 4F system to perform channel summation inherently in optical domain before sensor detection, so the outputs of different channels can be correctly accumulated. Compared to state of the art, channel tiling gives similar accuracy, significantly better robustness to sensing quantization (33\% improvement in required sensing precision) error and noise (10dB reduction in tolerable sensing noise), 0.5X total filters required, 10-50X+ throughput improvement and as much as 3X reduction in required output camera resolution/bandwidth. Not requiring any additional optical hardware, the proposed channel tiling approach addresses an important throughput and precision bottleneck of high-speed, massively-parallel optical 4F computing systems.


title: Time and Space Optimal Exact Majority Population Protocols

abstract: In this paper we study population protocols governed by the {\em random scheduler}, which uniformly at random selects pairwise interactions between $n$ agents. The main result of this paper is the first time and space optimal {\em exact majority population protocol} which also works with high probability. The new protocol operates in the optimal {\em parallel time} $O(\log n),$ which is equivalent to $O(n\log n)$ sequential {\em pairwise interactions}, where each agent utilises the optimal number of $O(\log n)$ states. The time optimality of the new majority protocol is possible thanks to the novel concept of fixed-resolution phase clocks introduced and analysed in this paper. The new phase clock allows to count approximately constant parallel time in population protocols.


title: 11 TeraFLOPs per second photonic convolutional accelerator for deep learning optical neural networks

abstract: Convolutional neural networks (CNNs), inspired by biological visual cortex systems, are a powerful category of artificial neural networks that can extract the hierarchical features of raw data to greatly reduce the network parametric complexity and enhance the predicting accuracy. They are of significant interest for machine learning tasks such as computer vision, speech recognition, playing board games and medical diagnosis. Optical neural networks offer the promise of dramatically accelerating computing speed to overcome the inherent bandwidth bottleneck of electronics. Here, we demonstrate a universal optical vector convolutional accelerator operating beyond 10 TeraFLOPS (floating point operations per second), generating convolutions of images of 250,000 pixels with 8 bit resolution for 10 kernels simultaneously, enough for facial image recognition. We then use the same hardware to sequentially form a deep optical CNN with ten output neurons, achieving successful recognition of full 10 digits with 900 pixel handwritten digit images with 88% accuracy. Our results are based on simultaneously interleaving temporal, wavelength and spatial dimensions enabled by an integrated microcomb source. This approach is scalable and trainable to much more complex networks for demanding applications such as unmanned vehicle and real-time video recognition.


title: Automatic classification of multiple catheters in neonatal radiographs with deep learning

abstract: We develop and evaluate a deep learning algorithm to classify multiple catheters on neonatal chest and abdominal radiographs. A convolutional neural network (CNN) was trained using a dataset of 777 neonatal chest and abdominal radiographs, with a split of 81%-9%-10% for training-validation-testing, respectively. We employed ResNet-50 (a CNN), pre-trained on ImageNet. Ground truth labelling was limited to tagging each image to indicate the presence or absence of endotracheal tubes (ETTs), nasogastric tubes (NGTs), and umbilical arterial and venous catheters (UACs, UVCs). The data set included 561 images containing 2 or more catheters, 167 images with only one, and 49 with none. Performance was measured with average precision (AP), calculated from the area under the precision-recall curve. On our test data, the algorithm achieved an overall AP (95% confidence interval) of 0.977 (0.679-0.999) for NGTs, 0.989 (0.751-1.000) for ETTs, 0.979 (0.873-0.997) for UACs, and 0.937 (0.785-0.984) for UVCs. Performance was similar for the set of 58 test images consisting of 2 or more catheters, with an AP of 0.975 (0.255-1.000) for NGTs, 0.997 (0.009-1.000) for ETTs, 0.981 (0.797-0.998) for UACs, and 0.937 (0.689-0.990) for UVCs. Our network thus achieves strong performance in the simultaneous detection of these four catheter types. Radiologists may use such an algorithm as a time-saving mechanism to automate reporting of catheters on radiographs.


title: Dynamic Asymptotic Dimension of Translation Actions on Compact Lie Groups

abstract: We develop a method to bound the dynamic asymptotic dimension of isometric group actions $\Gamma\curvearrowright X$ in terms of the asymptotic dimension of a space of graphs similar to a box space of $\Gamma$ (which also determines finite-dimensionality), and a geometric property of $X$ related to the doubling dimension. We apply this method to describe the DAD of translation actions by finitely generated subgroups of compact Lie groups, characterize finite dimensionality of such actions, and consequently bound the nuclear dimension of $C^*$-algebras arising from such actions by amenable groups.


title: Cost-Sensitive Machine Learning Classification for Mass Tuberculosis Verbal Screening

abstract: Score-based algorithms for tuberculosis (TB) verbal screening perform poorly, causing misclassification that leads to missed cases and unnecessary costly laboratory tests for false positives. We compared score-based classification defined by clinicians to machine learning classification such as SVM-RBF, logistic regression, and XGBoost. We restricted our analyses to data from adults, the population most affected by TB, and investigated the difference between untuned and unweighted classifiers to the cost-sensitive ones. Predictions were compared with the corresponding GeneXpert MTB/Rif results. After adjusting the weight of the positive class to 40 for XGBoost, we achieved 96.64% sensitivity and 35.06% specificity. As such, the sensitivity of our identifier increased by 1.26% while specificity increased by 13.19% in absolute value compared to the traditional score-based method defined by our clinicians. Our approach further demonstrated that only 2000 data points were sufficient to enable the model to converge. The results indicate that even with limited data we can actually devise a better method to identify TB suspects from verbal screening.


title: Quantum communication capacity transition of complex quantum networks

abstract: Quantum network is the key to enable distributed quantum information processing. As the single-link communication rate decays exponentially with the distance, to enable reliable end-to-end quantum communication, the number of nodes needs to grow with the network scale. For highly connected networks, we identify a threshold transition in the capacity as the density of network nodes increases---below a critical density, the rate is almost zero, while above the threshold the rate increases linearly with the density. Surprisingly, above the threshold the typical communication capacity between two nodes is independent of the distance between them, due to multi-path routing enabled by the quantum network. In contrast, for less connected networks such as scale-free networks, the end-to-end capacity saturates to constants as the number of nodes increases, and always decays with the distance. Our results are based on capacity evaluations, therefore the minimum density requirement for an appreciable capacity applies to any general protocols of quantum networks.


title: Lessons from Computational Modelling of Reference Production in Mandarin and English

abstract: Referring expression generation (REG) algorithms offer computational models of the production of referring expressions. In earlier work, a corpus of referring expressions (REs) in Mandarin was introduced. In the present paper, we annotate this corpus, evaluate classic REG algorithms on it, and compare the results with earlier results on the evaluation of REG for English referring expressions. Next, we offer an in-depth analysis of the corpus, focusing on issues that arise from the grammar of Mandarin. We discuss shortcomings of previous REG evaluations that came to light during our investigation and we highlight some surprising results. Perhaps most strikingly, we found a much higher proportion of under-specified expressions than previous studies had suggested, not just in Mandarin but in English as well.


title: A type of algebraic structure related to sets of intervals

abstract:
F. Wehrung has asked: Given a family $\mathcal{C}$ of subsets of a set $\Omega$, under what conditions will there exist a total ordering on $\Omega$ under which every member of $\mathcal{C}$ is convex?
 Note that if $A$ and $B$ are nondisjoint convex subsets of a totally ordered set, neither of which contains the other, then $A\cup B$, $A\cap B$, and $A\setminus B$ are also convex. So let $\mathcal{C}$ be an arbitrary set of subsets of a set $\Omega$, and form its closure $\mathcal{P}$ under forming, whenever $A$ and $B$ are nondisjoint and neither contains the other, the sets $A\cup B$, $A\cap B$, and $A\setminus B$. We determine the form $\mathcal{P}$ can take when $\mathcal{C}$, and hence $\mathcal{P}$, is finite, and for this case get necessary and sufficient conditions for there to exist an ordering of $\Omega$ of the desired sort. From this we obtain a condition which works without the finiteness hypothesis.
 We establish bounds on the cardinality of the subset $\mathcal{P}$ generated as above by an $n$-element set $\mathcal{C}$.
 We note connections with the theory of interval graphs and hypergraphs, which lead to other ways of answering Wehrung's question.


title: Tiny-CFA: A Minimalistic Approach for Control-Flow Attestation Using Verified Proofs of Execution

abstract: The design of tiny trust anchors has received significant attention over the past decade, to secure low-end MCU-s that cannot afford expensive security mechanisms. In particular, hardware/software (hybrid) co-designs offer low hardware cost, while retaining similar security guarantees as (more expensive) hardware-based techniques. Hybrid trust anchors support security services, such as remote attestation, proofs of software update/erasure/reset, proofs of remote software execution, in resource-constrained MCU-s, e.g., MSP430 and AVR AtMega32. Despite these advances, detection of control-flow attacks in low-end MCU-s remains a challenge, since hardware requirements of the cheapest related architectures are often more expensive than the MCU-s themselves. In this work, we tackle this challenge by designing Tiny-CFA - a control-flow attestation (CFA) technique with a single hardware requirement - the ability to generate proofs of remote software execution (PoX). In turn, PoX can be implemented very efficiently and securely in low-end MCU-s. Consequently, our design achieves the lowest hardware overhead of any CFA architecture (i.e., two orders of magnitude cheaper), while relying on a formally verified PoX architecture as its sole hardware requirement. With respect to runtime overhead, Tiny-CFA also achieves better performance than prior CFA techniques based on code instrumentation. We implement and evaluate Tiny-CFA, analyze its security, and demonstrate its practicality using real-world publicly available applications.


title: RL-QN: A Reinforcement Learning Framework for Optimal Control of Queueing Systems

abstract: With the rapid advance of information technology, network systems have become increasingly complex and hence the underlying system dynamics are often unknown or difficult to characterize. Finding a good network control policy is of significant importance to achieve desirable network performance (e.g., high throughput or low delay). In this work, we consider using model-based reinforcement learning (RL) to learn the optimal control policy for queueing networks so that the average job delay (or equivalently the average queue backlog) is minimized. Traditional approaches in RL, however, cannot handle the unbounded state spaces of the network control problem. To overcome this difficulty, we propose a new algorithm, called Reinforcement Learning for Queueing Networks (RL-QN), which applies model-based RL methods over a finite subset of the state space, while applying a known stabilizing policy for the rest of the states. We establish that the average queue backlog under RL-QN with an appropriately constructed subset can be arbitrarily close to the optimal result. We evaluate RL-QN in dynamic server allocation, routing and switching problems. Simulation results show that RL-QN minimizes the average queue backlog effectively.


title: Oscillatory attraction and repulsion from a subset of the unit sphere or hyperplane for isotropic stable L\'evy processes

abstract: Suppose that $\mathsf{S}$ is a closed set of the unit sphere $\mathbb{S}^{d-1} = \{x\in \mathbb{R}^d: |x| =1\}$ in dimension $d\geq2$, which has positive surface measure. We construct the law of absorption of an isotropic stable L\'evy process in dimension $d\geq2$ conditioned to approach $\mathsf{S}$ continuously, allowing for the interior and exterior of $\mathbb{S}^{d-1}$ to be visited infinitely often. Additionally, we show that this process is in duality with the underlying stable L\'evy process. We can replicate the aforementioned results by similar ones in the setting that $\mathsf{S}$ is replaced by $\mathsf{D}$, a closed bounded subset of the hyperplane $\{x\in\mathbb{R}^d : (x, v) = 0\}$ with positive surface measure, where $v$ is the unit orthogonal vector and where $(\cdot,\cdot )$ is the usual Euclidean inner product. Our results complement similar results of the authors Kyprianou, Palau and Saizmaa (2020) in which the stable process was further constrained to attract to and repel from $\mathsf{S}$ from either the exterior or the interior of the unit sphere.


title: A Hybrid Approach for Improved Low Resource Neural Machine Translation using Monolingual Data

abstract: Many language pairs are low resource, meaning the amount and/or quality of available parallel data is not sufficient to train a neural machine translation (NMT) model which can reach an acceptable standard of accuracy. Many works have explored using the readily available monolingual data in either or both of the languages to improve the standard of translation models in low, and even high, resource languages. One of the most successful of such works is the back-translation that utilizes the translations of the target language monolingual data to increase the amount of the training data. The quality of the backward model which is trained on the available parallel data has been shown to determine the performance of the back-translation approach. Despite this, only the forward model is improved on the monolingual target data in standard back-translation. A previous study proposed an iterative back-translation approach for improving both models over several iterations. But unlike in the traditional back-translation, it relied on both the target and source monolingual data. This work, therefore, proposes a novel approach that enables both the backward and forward models to benefit from the monolingual target data through a hybrid of self-learning and back-translation respectively. Experimental results have shown the superiority of the proposed approach over the traditional back-translation method on English-German low resource neural machine translation. We also proposed an iterative self-learning approach that outperforms the iterative back-translation while also relying only on the monolingual target data and require the training of less models.