title: Reinforcement Learning for Optimization of COVID-19 Mitigation policies

abstract: The year 2020 has seen the COVID-19 virus lead to one of the worst global pandemics in history. As a result, governments around the world are faced with the challenge of protecting public health, while keeping the economy running to the greatest extent possible. Epidemiological models provide insight into the spread of these types of diseases and predict the effects of possible intervention policies. However, to date,the even the most data-driven intervention policies rely on heuristics. In this paper, we study how reinforcement learning (RL) can be used to optimize mitigation policies that minimize the economic impact without overwhelming the hospital capacity. Our main contributions are (1) a novel agent-based pandemic simulator which, unlike traditional models, is able to model fine-grained interactions among people at specific locations in a community; and (2) an RL-based methodology for optimizing fine-grained mitigation policies within this simulator. Our results validate both the overall simulator behavior and the learned policies under realistic conditions.


title: Growth Estimates for Generalized Harmonic Forms on Noncompact Manifolds with Geometric Applications

abstract: We introduce Condition W $\,$(1.2) for a smooth differential form $\omega$ on a complete noncompact Riemannian manifold $M$. We prove that $\omega$ is a harmonic form on $M$ if and only if $\omega$ is both closed and co-closed on $M\, ,$ where $\omega$ has $2$-balanced growth either for $q=2$, or for $1 < q(\ne 2) < 3\, $ with $\omega$ satisfying Condition W $\,$(1.2). In particular, every $L^2$ harmonic form, or every $L^q$ harmonic form, $1<q(\ne 2)<3\, $ satisfying Condition W $\,$(1.2) is both closed and co-closed (cf. Theorem 1.1). This generalizes the work of A. Andreotti and E. Vesentini [AV] for every $L^2$ harmonic form $\omega\, .$ In extending $\omega$ in $L^2$ to $L^q$, for $q \ne 2$, Condition W $\,$(1.2) has to be imposed due to counter-examples of D. Alexandru-Rugina$\big($ [AR] p. 81, Remarque 3$\big).$ We then study nonlinear partial differential inequalities for differential forms $ \langle\omega, \Delta \omega\rangle \ge 0, $ in which solutions $\omega$ can be viewed as generalized harmonic forms. We prove that under the same growth assumption on $\omega\, $ (as in Theorem 1.1, or 1.2, or 1.3), the following six statements: (i) $\langle\omega, \Delta \omega\rangle \ge 0\, ,$ (ii) $\Delta \omega = 0\, ,$ $($iii$)$$\quad d\, \omega = d^{\star}\omega = 0\, ,$ (iv) $\langle \star\, \omega, \Delta \star\, \omega\rangle \ge 0\, ,$ (v) $\Delta \star\, \omega = 0\, ,$ and (vi) $d\, \star\, \omega = d^{\star} \star\, \omega = 0\, $ are equivalent (cf. Theorem 4.1). We also study As geometric applications, we employ the theory in [DW] and [W3], solve constant Dirichlet problems for generalized harmonic $1$-forms and $F$-harmomic maps (cf. Theorems 10.3 and 10.2), derive monotonicity formulas for $2$-balanced solutions, and vanishing theorems for $2$-moderate solutions of $\langle\omega, \Delta \omega\rangle \ge 0\, $ on $M$ (cf. Theorem 8.2 and Theorem 9.3).


title: NV-Fogstore : Device-aware hybrid caching in fog computing environments

abstract: Edge caching via the placement of distributed storages throughout the network is a promising solution to reduce latency and network costs of content delivery. With the advent of the upcoming 5G future, billions of F-RAN (Fog-Radio Access Network) nodes will created and used for for the purpose of Edge Caching. Hence, the total amount of memory deployed at the edge is expected to increase 100 times. Currently, used DRAM-based caches in CDN (Content Delivery Networks) are extremely power-hungry and costly. Our purpose is to reduce the cost of ownership and recurring costs (of power consumption) in an F-RAN node while maintaining Quality of Service. For our purpose, we propose NV-FogStore, a scalable hybrid key-value storage architecture for the utilization of Non-Volatile Memories (such as RRAM, MRAM, Intel Optane) in Edge Cache. We further describe in detail a novel, hierarchical, write-damage, size and frequency aware content caching policy H-GREEDY for our architecture. We show that our policy can be tuned as per performance objectives, to lower the power, energy consumption and total cost over an only DRAM-based system for only a relatively smaller trade-off in the average access latency.


title: A Survey on Deep Learning and Explainability for Automatic Report Generation from Medical Images

abstract: Every year physicians face an increasing demand of image-based diagnosis from patients, a problem that can be addressed with recent artificial intelligence methods. In this context, we survey works in the area of automatic report generation from medical images, with emphasis on methods using deep neural networks, with respect to: (1) Datasets, (2) Architecture Design, (3) Explainability and (4) Evaluation Metrics. Our survey identifies interesting developments, but also remaining challenges. Among them, the current evaluation of generated reports is especially weak, since it mostly relies on traditional Natural Language Processing (NLP) metrics, which do not accurately capture medical correctness.


title: Implicit recurrent networks: A novel approach to stationary input processing with recurrent neural networks in deep learning

abstract: The brain cortex, which processes visual, auditory and sensory data in the brain, is known to have many recurrent connections within its layers and from higher to lower layers. But, in the case of machine learning with neural networks, it is generally assumed that strict feed-forward architectures are suitable for static input data, such as images, whereas recurrent networks are required mainly for the processing of sequential input, such as language. However, it is not clear whether also processing of static input data benefits from recurrent connectivity. In this work, we introduce and test a novel implementation of recurrent neural networks with lateral and feed-back connections into deep learning. This departure from the strict feed-forward structure prevents the use of the standard error backpropagation algorithm for training the networks. Therefore we provide an algorithm which implements the backpropagation algorithm on a implicit implementation of recurrent networks, which is different from state-of-the-art implementations of recurrent neural networks. Our method, in contrast to current recurrent neural networks, eliminates the use of long chains of derivatives due to many iterative update steps, which makes learning computationally less costly. It turns out that the presence of recurrent intra-layer connections within a one-layer implicit recurrent network enhances the performance of neural networks considerably: A single-layer implicit recurrent network is able to solve the XOR problem, while a feed-forward network with monotonically increasing activation function fails at this task. Finally, we demonstrate that a two-layer implicit recurrent architecture leads to a better performance in a regression task of physical parameters from the measured trajectory of a damped pendulum.


title: uGMRT detection of associated HI 21 cm absorption at $z \approx 3.5$

abstract: We report a uGMRT detection of HI 21-cm absorption associated with the radio source 8C 0604+728, at $z = 3.52965$. The source is at the highest redshift at which associated HI 21-cm absorption has been discovered to date, surpassing earlier known absorber at $z \approx 3.39$. We estimate ultraviolet luminosities of $\rm (3.2 \pm 0.1) \times 10^{23} W \ Hz^{-1}$ and $\rm (6.2 \pm 0.2) \times 10^{23} W \ Hz^{-1}$ , and ionising photon rates of $\rm (1.8 \pm 0.1) \times 10^{56} s^{-1}$ and $\rm (5.0 \pm 0.1) \times 10^{56} s^{-1}$, using data at different epochs; the source shows year-scale variability in both its luminosity and photon rate. The luminosity and photon rate at later epochs are $\approx 6.2$ and $\approx 1.7$ times higher than thresholds suggested in the literature above which all the neutral hydrogen in the AGN host galaxy is expected to be ionised. The detection demonstrates that neutral hydrogen can survive in the host galaxies of AGNs with high ultraviolet luminosities. We estimate a high equivalent width ratio of $15.2$ for the $\rm Ly \alpha$ and HeII emission lines detected in the optical spectrum, that is consistent with AGN photoionisation models. However, a significant contribution from young stellar populations to the excess $\rm Ly \alpha$ flux cannot be ruled out.


title: Better Highlighting: Creating Sub-Sentence Summary Highlights

abstract: Amongst the best means to summarize is highlighting. In this paper, we aim to generate summary highlights to be overlaid on the original documents to make it easier for readers to sift through a large amount of text. The method allows summaries to be understood in context to prevent a summarizer from distorting the original meaning, of which abstractive summarizers usually fall short. In particular, we present a new method to produce self-contained highlights that are understandable on their own to avoid confusion. Our method combines determinantal point processes and deep contextualized representations to identify an optimal set of sub-sentence segments that are both important and non-redundant to form summary highlights. To demonstrate the flexibility and modeling power of our method, we conduct extensive experiments on summarization datasets. Our analysis provides evidence that highlighting is a promising avenue of research towards future summarization.


title: Deep Reinforcement Learning in Lane Merge Coordination for Connected Vehicles

abstract: In this paper, a framework for lane merge coordination is presented utilising a centralised system, for connected vehicles. The delivery of trajectory recommendations to the connected vehicles on the road is based on a Traffic Orchestrator and a Data Fusion as the main components. Deep Reinforcement Learning and data analysis is used to predict trajectory recommendations for connected vehicles, taking into account unconnected vehicles for those suggestions. The results highlight the adaptability of the Traffic Orchestrator, when employing Dueling Deep Q-Network in an unseen real world merging scenario. A performance comparison of different reinforcement learning models and evaluation against Key Performance Indicator (KPI) are also presented.


title: On the diversity of asymmetries in gapped protoplanetary disks

abstract: Protoplanetary disks with large inner dust cavities are thought to host massive planetary or substellar companions. These disks show asymmetries and rings in the millimeter continuum, caused by dust trapping in pressure bumps, and potentially vortices or horseshoes. The origin of the asymmetries and their diversity remains unclear. We present a comprehensive study of 16 disks for which the gas surface density profile has been constrained by CO isotopologue data. We compare the azimuthal extents of the dust continuum profiles with the local gas surface density in each disk, and find that the asymmetries correspond to higher Stokes numbers or low gas surface density. We discuss which asymmetric structures can be explained by a horseshoe, a vortex or spiral density waves. Second, we reassess the gas gap radii from the $^{13}$CO maps, which are about a factor 2 smaller than the dust ring radii, suggesting that companions in these disks are in the brown dwarf mass regime ($\sim 15-50 M_{\rm Jup}$) or in the Super-Jovian mass regime ($\sim 3-15 M_{\rm Jup}$) on eccentric orbits. This is consistent with the estimates from contrast curves on companion mass limits. These curves rule out (sub)stellar companions ($q>$0.05) for the majority of the sample at the gap location, but it remains possible at even smaller radii. Third, we find that spiral arms in scattered light images are primarily detected around high luminosity stars with disks with wide gaps, which can be understood by the dependence of the spiral arm pitch angle on disk temperature and companion mass.


title: Bayesian Algorithms for Decentralized Stochastic Bandits

abstract: We study a decentralized cooperative multi-agent multi-armed bandit problem with $K$ arms and $N$ agents connected over a network. In our model, each arm's reward distribution is same for all agents, and rewards are drawn independently across agents and over time steps. In each round, agents choose an arm to play and subsequently send a message to their neighbors. The goal is to minimize cumulative regret averaged over the entire network. We propose a decentralized Bayesian multi-armed bandit framework that extends single-agent Bayesian bandit algorithms to the decentralized setting. Specifically, we study an information assimilation algorithm that can be combined with existing Bayesian algorithms, and using this, we propose a decentralized Thompson Sampling algorithm and decentralized Bayes-UCB algorithm. We analyze the decentralized Thompson Sampling algorithm under Bernoulli rewards and establish a problem-dependent upper bound on the cumulative regret. We show that regret incurred scales logarithmically over the time horizon with constants that match those of an optimal centralized agent with access to all observations across the network. Our analysis also characterizes the cumulative regret in terms of the network structure. Through extensive numerical studies, we show that our extensions of Thompson Sampling and Bayes-UCB incur lesser cumulative regret than the state-of-art algorithms inspired by the Upper Confidence Bound algorithm. We implement our proposed decentralized Thompson Sampling under gossip protocol, and over time-varying networks, where each communication link has a fixed probability of failure.


title: Comparison of the MSMS and NanoShaper molecular surface triangulation codes in the TABI Poisson--Boltzmann solver

abstract: The Poisson-Boltzmann (PB) implicit solvent model is a popular framework for studying the electrostatics of biomolecules immersed in water with dissolved salt. In this model the dielectric interface between the biomolecule and solvent is often taken to be the molecular surface or solvent-excluded surface (SES), and the quality of the SES triangulation is critical in boundary element simulations of the PB model. In this work we compare the MSMS and NanoShaper surface triangulation codes for a set of 38 biomolecules. While MSMS produces triangles of exceedingly small area and large aspect ratio, the two codes yield comparable values for the SES surface area and electrostatic solvation energy, where the latter calculations were performed using the treecode-accelerated boundary integral (TABI) PB solver. However we found that NanoShaper is more efficient and reliable than MSMS, especially when parameters are set to produce highly resolved triangulations.


title: Shock-induced heating and transition to turbulence in a hypersonic boundary layer

abstract: The interaction between an incident shock wave and a Mach-6 undisturbed hypersonic laminar boundary layer over a cold wall is addressed using direct numerical simulations (DNS) and wall-modeled large-eddy simulations (WMLES) at different angles of incidence. At sufficiently high shock-incidence angles, the boundary layer transitions to turbulence via breakdown of near-wall streaks shortly downstream of the shock impingement, without the need of any inflow free-stream disturbances. The transition causes a localized significant increase in the Stanton number and skin-friction coefficient, with high incidence angles augmenting the peak thermomechanical loads in an approximately linear way. Statistical analyses of the boundary layer downstream of the interaction for each case are provided that quantify streamwise spatial variations of the Reynolds analogy factors and indicate a breakdown of the Morkovin's hypothesis near the wall, where velocity and temperature become correlated. A modified strong Reynolds analogy with a fixed turbulent Prandtl number is observed to perform best. Conventional transformations fail at collapsing the mean velocity profiles on the incompressible log law. The WMLES prompts transition and peak heating, delays separation, and advances reattachment, thereby shortening the separation bubble. When the shock leads to transition, WMLES provides predictions of DNS peak thermomechanical loads within $\pm 10\%$ at a computational cost lower than DNS by two orders of magnitude. Downstream of the interaction, in the turbulent boundary layer, WMLES agrees well with DNS results for the Reynolds analogy factor, the mean profiles of velocity and temperature, including the temperature peak, and the temperature/velocity correlation.


title: Mitigating Sybil Attacks on Differential Privacy based Federated Learning

abstract: In federated learning, machine learning and deep learning models are trained globally on distributed devices. The state-of-the-art privacy-preserving technique in the context of federated learning is user-level differential privacy. However, such a mechanism is vulnerable to some specific model poisoning attacks such as Sybil attacks. A malicious adversary could create multiple fake clients or collude compromised devices in Sybil attacks to mount direct model updates manipulation. Recent works on novel defense against model poisoning attacks are difficult to detect Sybil attacks when differential privacy is utilized, as it masks clients' model updates with perturbation. In this work, we implement the first Sybil attacks on differential privacy based federated learning architectures and show their impacts on model convergence. We randomly compromise some clients by manipulating different noise levels reflected by the local privacy budget epsilon of differential privacy on the local model updates of these Sybil clients such that the global model convergence rates decrease or even leads to divergence. We apply our attacks to two recent aggregation defense mechanisms, called Krum and Trimmed Mean. Our evaluation results on the MNIST and CIFAR-10 datasets show that our attacks effectively slow down the convergence of the global models. We then propose a method to keep monitoring the average loss of all participants in each round for convergence anomaly detection and defend our Sybil attacks based on the prediction cost reported from each client. Our empirical study demonstrates that our defense approach effectively mitigates the impact of our Sybil attacks on model convergence.


title: AutoMeTS: The Autocomplete for Medical Text Simplification

abstract: The goal of text simplification (TS) is to transform difficult text into a version that is easier to understand and more broadly accessible to a wide variety of readers. In some domains, such as healthcare, fully automated approaches cannot be used since information must be accurately preserved. Instead, semi-automated approaches can be used that assist a human writer in simplifying text faster and at a higher quality. In this paper, we examine the application of autocomplete to text simplification in the medical domain. We introduce a new parallel medical data set consisting of aligned English Wikipedia with Simple English Wikipedia sentences and examine the application of pretrained neural language models (PNLMs) on this dataset. We compare four PNLMs(BERT, RoBERTa, XLNet, and GPT-2), and show how the additional context of the sentence to be simplified can be incorporated to achieve better results (6.17% absolute improvement over the best individual model). We also introduce an ensemble model that combines the four PNLMs and outperforms the best individual model by 2.1%, resulting in an overall word prediction accuracy of 64.52%.


title: Hadron-Quark Phase Transition at Finite Density in the Presence of a Magnetic Field: Anisotropic Approach

abstract: We investigate the hadron-quark phase transition at finite density in the presence of a magnetic field taking into account the anisotropy created by a uniform magnetic field in the system's equations of state. We find a new anisotropic equilibrium condition that will drive the first-order phase transition along the boundary between the two phases. Fixing the magnetic field in the hadronic phase, the phase transition is realized by increasing the baryonic chemical potential at zero temperature. It is shown that the magnetic field is mildly boosted after the system transitions from the hadronic to the quark phase. The magnetic-field discontinuity between the two phases is supported by a surface density of magnetic monopoles, which accumulate at the boundary separating the two phases. The mechanism responsible for the monopole charge density generation is discussed. Each phase is found to be paramagnetic with higher magnetic susceptibility in the quark phase. The connection with the physics of neutron stars is highlighted through out the paper.


title: Early-Stage Shear Viscosity far from Equilibrium via Holography

abstract: Shear viscosity is a crucial property of QCD matter which determines the collective behavior of the the quark-gluon plasma (QGP) in ultrarelativistic heavy-ion collisions. Extending the near-equilibrium, high-precision investigations in theory and experiment, we take into account the fact that, in a collision, the QGP is generated far from equilibrium. We use the AdS/CFT correspondence to study a strongly coupled plasma and find a significant impact on the ratio of shear viscosity to entropy density, $\eta/s$. In particular, we investigate the initial heating phase and find a decrease reaching down to below 60% followed by an overshoot to 110% of the near-equilibrium value. This finding might be highly relevant for the extraction of transport coefficients from anisotropic flow measurements at RHIC and LHC.


title: A Sharp Isoperimetric Inequality for the Second Eigenvalue of the Robin Plate

abstract: Among all $C^{\infty}$ bounded domains with equal volume, we show that the second eigenvalue of the Robin plate is uniquely maximized by an open ball, so long as the Robin parameter lies within a particular range of negative values. Our methodology combines recent techniques introduced by Freitas and Laugesen to study the second eigenvalue of the Robin membrane problem and techniques employed by Chasman to study the free plate problem. In particular, we choose eigenfunctions of the ball as trial functions in the Rayleigh quotient for a general domain; such eigenfunctions are comprised of ultraspherical Bessel and modified Bessel functions. Much of our work hinges on developing an understanding of delicate properties of these special functions, which may be of independent interest.


title: Structured Online Learning-based Control of Continuous-time Nonlinear Systems

abstract: Model-based reinforcement learning techniques accelerate the learning task by employing a transition model to make predictions. In this paper, a model-based learning approach is presented that iteratively computes the optimal value function based on the most recent update of the model. Assuming a structured continuous-time model of the system in terms of a set of bases, we formulate an infinite horizon optimal control problem addressing a given control objective. The structure of the system along with a value function parameterized in the quadratic form provides a flexibility in analytically calculating an update rule for the parameters. Hence, a matrix differential equation of the parameters is obtained, where the solution is used to characterize the optimal feedback control in terms of the bases, at any time step. Moreover, the quadratic form of the value function suggests a compact way of updating the parameters that considerably decreases the computational complexity. Considering the state-dependency of the differential equation, we exploit the obtained framework as an online learning-based algorithm. In the numerical results, the presented algorithm is implemented on four nonlinear benchmark examples, where the regulation problem is successfully solved while an identified model of the system is obtained with a bounded prediction error.


title: New upper bounds for the number of embeddings of minimally rigid graphs

abstract: By definition, a rigid graph in $\mathbb{R}^d$ (or on a sphere) has a finite number of embeddings up to rigid motions for a given set of edge length constraints. These embeddings are related to the real solutions of an algebraic system. Naturally, the complex solutions of such systems extend the notion of rigidity to $\mathbb{C}^d$. A major open problem has been to obtain tight upper bounds on the number of embeddings in $\mathbb{C}^d$, for a given number $|V|$ of vertices, which obviously also bound their number in $\mathbb{R}^d$. Moreover, in most known cases, the maximal numbers of embeddings in $\mathbb{C}^d$ and $\mathbb{R}^d$ coincide. For decades, only the trivial bound of $O(2^{d\cdot |V|})$ was known on the number of embeddings.Recently, matrix permanent bounds have led to a small improvement for $d\geq 5$. This work improves upon the existing upper bounds for the number of embeddings in $\mathbb{R}^d$ and $S^d$, by exploiting outdegree-constrained orientations on a graphical construction, where the proof iteratively eliminates vertices or vertex paths. For the most important cases of $d=2$ and $d=3$, the new bounds are $O(3.7764^{|V|})$ and $O(6.8399^{|V|})$, respectively. In general, the recent asymptotic bound mentioned above is improved by a factor of $1/ \sqrt{2}$. Besides being the first substantial improvement upon a long-standing upper bound, our method is essentially the first general approach relying on combinatorial arguments rather than algebraic root counts.


title: One Lie group to define them all

abstract: We produce a connected real Lie group that, as a first order structure in the group language, interprets the real field expanded with a predicate for the integers. Moreover, the domain of our interpretation is definable in the group.


title: Causal Understanding of Fake News Dissemination on Social Media

abstract: Recent years have witnessed remarkable progress towards computational fake news detection. To mitigate its negative impact, we argue that it is critical to understand what user attributes potentially cause users to share fake news. The key to this causal-inference problem is to identify confounders -- variables that cause spurious associations between treatments (e.g., user attributes) and outcome (e.g., user susceptibility). In fake news dissemination, confounders can be characterized by fake news sharing behavior that inherently relates to user attributes and online activities. Learning such user behavior is typically subject to selection bias in users who are susceptible to share news on social media. Drawing on causal inference theories, we first propose a principled approach to alleviating selection bias in fake news dissemination. We then consider the learned unbiased fake news sharing behavior as the surrogate confounder that can fully capture the causal links between user attributes and user susceptibility. We theoretically and empirically characterize the effectiveness of the proposed approach and find that it could be useful in protecting society from the perils of fake news.


title: A Hub-and-Spoke Model for Content-Moderation-at-Scale on an Information-Sharing Platform

abstract: One of the most expensive parts of maintaining a modern information-sharing platform (e.g., web search, social network) is the task of content-moderation-at-scale. Content moderation is the binary task of determining whether or not a given user-created message meets the editorial team's content guidelines for the site. The challenge is that the number of messages to check scales with the number of users, which is much larger than the number of moderator-employees working for the given platform. We show how content moderation can be achieved significantly more cheaply than before, in the special case where all messages are public, by effectively platformizing the task of content moderation. Our approach is to use a hub-and-spoke model. The hub is the core editorial team delegated by the management of the given platform. The spokes are the individual users. The ratings of the editorial team create the labels for a statistical learning algorithm, while the ratings of the users are used as features. We have implemented a primitive version of this algorithm into our open-source DimensionRank code base, found at "thinkdifferentagain.art".


title: Stability of stretched root systems, root posets, and shards

abstract: Inspired by the infinite families of finite and affine root systems, we consider a "stretching" operation on general crystallographic root systems which, on the level of Coxeter diagrams, replaces a vertex with a path of unlabeled edges. We embed a root system into its stretched versions using a similar operation on individual roots. For a fixed root, we study the growth of two associated structures as we lengthen the stretched path: the downset in the root poset (in the sense of Bj\"orner and Brenti [3]) and the arrangement of shards, introduced by Nathan Reading. We show that both eventually admit a uniform description, and deduce enumerative consequences: the size of the downset is eventually a polynomial, and the number of shards grows exponentially.


title: Invertible Low-Divergence Coding

abstract: Several applications in communication, control, and learning require approximating target distributions to within small informational divergence (I-divergence). The additional requirement of invertibility usually leads to using encoders that are one-to-one mappings, also known as distribution matchers. However, even the best one-to-one encoders have I-divergences that grow logarithmically with the block length in general. To improve performance, an encoder is proposed that has an invertible one-to-many mapping and a low-rate resolution code. Two algorithms are developed to design the mapping by assigning strings in either a most-likely first or least-likely first order. Both algorithms give information rates approaching the entropy of the target distribution with exponentially decreasing I-divergence and with vanishing resolution rate in the block length.


title: Incandescent Bulb and LED Brake Lights:Novel Analysis of Reaction Times

abstract: Rear-end collision accounts for around 8% of all vehicle crashes in the UK, with the failure to notice or react to a brake light signal being a major contributory cause. Meanwhile traditional incandescent brake light bulbs on vehicles are increasingly being replaced by a profusion of designs featuring LEDs. In this paper, we investigate the efficacy of brake light design using a novel approach to recording subject reaction times in a simulation setting using physical brake light assemblies. The reaction times of 22 subjects were measured for ten pairs of LED and incandescent bulb brake lights. Three events were investigated for each subject, namely the latency of brake light activation to accelerator release (BrakeAcc), the latency of accelerator release to brake pedal depression (AccPdl), and the cumulative time from light activation to brake pedal depression (BrakePdl). To our knowledge, this is the first study in which reaction times have been split into BrakeAcc and AccPdl. Results indicate that the two brake lights containing incandescent bulbs led to significantly slower reaction times compared to the tested eight LED lights. BrakeAcc results also show that experienced subjects were quicker to respond to the activation of brake lights by releasing the accelerator pedal. Interestingly, the analysis also revealed that the type of brake light influenced the AccPdl time, although experienced subjects did not always act quicker than inexperienced subjects. Overall, the study found that different designs of brake light can significantly influence driver response times.


title: Windowed multipole representation of R-matrix cross sections

abstract: Nuclear cross sections are basic inputs to any nuclear computation. Campaigns of experiments are fitted with the parametric R-matrix model of quantum nuclear interactions, and the resulting cross sections are documented - both point-wise and as resonance parameters (with uncertainties) - in standard evaluated nuclear data libraries (ENDF, JEFF, BROND, JENDL, CENDL, TENDL): these constitute our common knowledge of fundamental nuclear physics. In the past decade, a collaborative effort has been deployed to establish a new nuclear cross section library format - the Windowed Multipole Library - with the goal of considerably reducing the cost of cross section calculations in nuclear transport simulations. This article lays the theoretical foundations underpinning these efforts. From general R-matrix scattering theory, we derive the windowed multipole representation of nuclear cross sections. Though physically and mathematically equivalent, the windowed multipole representation is particularly well suited for subsequent temperature treatment of angle-integrated cross sections: we show that accurate Doppler broadening can be performed analytically up to the first reaction threshold; and we derive cross sections temperature derivatives to any order. Furthermore, we here establish a way of converting the R-matrix resonance parameters uncertainty (covariance matrices) into windowed multipole parameters uncertainty. We show that generating stochastic nuclear cross sections by sampling from the resulting windowed multipole covariance matrix can reproduce the cross section uncertainty in the original nuclear data file. Through this foundational article, we hope to make the Windowed Multipole Representation accessible, reproducible, and usable for the nuclear physics community, as well as provide the theoretical basis for future research on expanding its capabilities.


title: Translation of Tschebotarow's "The Problem of Resolvents and Critical Manifolds"

abstract: This is an English translation of "The Problem of Resolvents and Critical Manifolds" by Tschebotarow/Chebotarev. In this article, Chebotarev explains his work on resolvent problems using critical manifolds. The current ideas of resolvent degree and essential dimension arose out of the resolvent problems Chebotarev addresses here. Original abstract by Chebotarev: "This paper is devoted to the study of the problem of resolvents, i.e., the problem of finding the resolvent by a given equation, whose coefficients depend on several independent parameters, the number of parameters in the coefficients being as small as possible. The author connects the problem to the study of critical manifolds in the space of equation parameters."


title: When to Relax Social Distancing Measures? An ARIMA Based Forecasting Study

abstract: The spread of the novel coronavirus across various countries is wide and rapid. The number of confirmed cases and the reproduction number are some of the epidemiological parameters utilized in scientific studies for the analysis and prediction of the viral transmission. The positive rate, an indicator on the extent of testing the population, aids in understanding the severity of the infection in a given geographic location. The positive rate for selected countries has been considered in this study to construct ARIMA based statistical models. The goodness of fit of the models are verified by the investigation of residuals, Box-Luang test and the forecast error values. The positive rates forecasted by the ARIMA models are utilized to investigate the scope for implementation of relaxations in social distancing measures in some countries and the necessity to tighten the rules further in some other countries.


title: Introducing the treatment hierarchy question in network meta-analysis

abstract: Background: Comparative effectiveness research using network meta-analysis can present a hierarchy of competing treatments, from the least to most preferable option. However, the research question associated with the hierarchy of multiple interventions is never clearly defined in published reviews. Methods and Results: We introduce the notion of a treatment hierarchy question that describes the criterion for choosing a specific treatment over one or more competing alternatives. For example, stakeholders might ask which treatment is most likely to improve mean survival by at least 2 years or which treatment is associated with the longest mean survival. The answers to these two questions are not necessarily the same. We discuss the most commonly used ranking metrics (quantities that describe or compare the estimated treatment-specific effects), how the metrics produce a treatment hierarchy and the type of treatment hierarchy question that each metric can answer. We show that the ranking metrics encompass the uncertainty in the estimation of the treatment effects in different ways, which results in different treatment hierarchies. Conclusions: Network meta-analyses that aim to rank treatments should state in the protocol the treatment hierarchy question they aim to address and employ the appropriate ranking metric to answer it.


title: Influence of Temperature, Pressure and Humidity on the Stabilities and Transitions Kinetics of the Various Polymorphs of FAPbI$_3$

abstract: The phase transitions between the various polymorphs of FAPbI$_{3}$ (FAPI, FA = formamidinium CH(NH$_{2}$)$_{2}^+$) are studied by anelastic, dielectric and X--ray diffraction measurements on samples pressed from $\delta -$FAPI (2H phase) yellow powder. The samples become orange after application of as little as 0.2~GPa, which has been explained in terms of partial transformations to the other hexagonal polymorphs 4H and 6H. The phenomenon is discussed in the light of what is known about the stability of the various polymorphs of hybrid and inorganic perovskites ABX$_{3}$ with large A cations and hence large tolerance factor $t$. Remarkably, FAPI at room and higher temperature behaves like a perovskite with large $t$, while just below room temperature it behaves like a perovskite with small $t$. The kinetics of the transformations between the polymorphs is enhanced by small amounts of intercalated water. It seems therefore worthy to try improving the atomic diffusion and crystallization during synthesis, and hence the final photovoltaic performance, through controlled small amounts of water that should be thoroughly removed after a sufficiently homogeneous and smooth microstructure is achieved.


title: American Sign Language Identification Using Hand Trackpoint Analysis

abstract: Sign Language helps people with Speaking and Hearing Disabilities communicate with others efficiently. Sign Language identification is a challenging area in the field of computer vision and recent developments have been able to achieve near perfect results for the task, though some challenges are yet to be solved. In this paper we propose a novel machine learning based pipeline for American Sign Language identification using hand track points. We convert a hand gesture into a series of hand track point coordinates that serve as an input to our system. In order to make the solution more efficient, we experimented with 28 different combinations of pre-processing techniques, each run on three different machine learning algorithms namely k-Nearest Neighbours, Random Forests and a Neural Network. Their performance was contrasted to determine the best pre-processing scheme and algorithm pair. Our system achieved an Accuracy of 95.66% to identify American sign language gestures.


title: Knowledge Transfer for Efficient On-device False Trigger Mitigation

abstract: In this paper, we address the task of determining whether a given utterance is directed towards a voice-enabled smart-assistant device or not. An undirected utterance is termed as a "false trigger" and false trigger mitigation (FTM) is essential for designing a privacy-centric non-intrusive smart assistant. The directedness of an utterance can be identified by running automatic speech recognition (ASR) on it and determining the user intent by analyzing the ASR transcript. But in case of a false trigger, transcribing the audio using ASR itself is strongly undesirable. To alleviate this issue, we propose an LSTM-based FTM architecture which determines the user intent from acoustic features directly without explicitly generating ASR transcripts from the audio. The proposed models are small footprint and can be run on-device with limited computational resources. During training, the model parameters are optimized using a knowledge transfer approach where a more accurate self-attention graph neural network model serves as the teacher. Given the whole audio snippets, our approach mitigates 87% of false triggers at 99% true positive rate (TPR), and in a streaming audio scenario, the system listens to only 1.69s of the false trigger audio before rejecting it while achieving the same TPR.


title: Quantum information spreading in a disordered quantum walk

abstract: We design a quantum probing protocol using Quantum Walks to investigate the Quantum Information spreading pattern. We employ Quantum Fisher Information, as a figure of merit, to quantify extractable information about an unknown parameter encoded within the Quantum Walk evolution. Although the approach is universal, we focus on the coherent static and dynamic disorder to investigate anomalous and classical transport as well as Anderson localization. Our results show that a Quantum Walk can be considered as a readout device of information about defects and perturbations occurring in complex networks, both classical and quantum.


title: Cross-Modal Information Maximization for Medical Imaging: CMIM

abstract: In hospitals, data are siloed to specific information systems that make the same information available under different modalities such as the different medical imaging exams the patient undergoes (CT scans, MRI, PET, Ultrasound, etc.) and their associated radiology reports. This offers unique opportunities to obtain and use at train-time those multiple views of the same information that might not always be available at test-time. In this paper, we propose an innovative framework that makes the most of available data by learning good representations of a multi-modal input that are resilient to modality dropping at test-time, using recent advances in mutual information maximization. By maximizing cross-modal information at train time, we are able to outperform several state-of-the-art baselines in two different settings, medical image classification, and segmentation. In particular, our method is shown to have a strong impact on the inference-time performance of weaker modalities.


title: Planetesimal formation at the gas pressure bump following a migrating planet I. Basic characteristics of the new formation model

abstract: To avoid known difficulties in planetesimal formation such as the drift or fragmentation barriers, many scenarios have been proposed. However, in these scenarios, planetesimals form in general only at some specific locations in protoplanetary discs. On the other hand, it is generally assumed in planet formation models and population synthesis models, that planetesimals are broadly distributed in the protoplanetary disc. Here we propose a new scenario in which planetesimals can form in broad areas of the discs. Planetesimals form at the gas pressure bump formed by a first-generation planet (e.g. formed by pebble accretion) and the formation region spreads inward in the disc as the planet migrates. We use a simple 1D Lagrangian particle model to calculate the radial distribution of pebbles in the gas disc perturbed by a migrating embedded planet. We consider that planetesimals form by streaming instability at the points where the pebble-to-gas density ratio on the mid-plane becomes larger than unity. We also study the effect of some key parameters like the ones of the gas disc model, the pebble mass flux, the migration speed of the planet, and the strength of turbulence. We find that planetesimals form in wide areas of the discs provided the flux of pebbles is typical and the turbulence is not too strong. The planetesimal surface density depends on the pebble mass flux and the migration speed of the planet. The total mass of the planetesimals and the orbital position of the formation area depend strongly on the pebble mass flux. We also find that the profile of the planetesimal surface density and its slope can be estimated by very simple equations. We show that our new scenario can explain the formation of planetesimals in broad areas. The simple estimates we provide for the planetesimal surface density profile can be used as initial conditions for population synthesis models.


title: Some notes on the classification of shift spaces: Shifts of Finite Type; Sofic Shifts; and Finitely Defined Shifts

abstract: The aim of this article is to find appropriate definitions for shifts of finite type and sofic shifts in a general context of symbolic dynamics. We start showing that the classical definitions of shifts of finite type and sofic shifts, as they are given in the context of finite-alphabet shift spaces on the one-dimensional monoid $\mathbb{N}$ or $\mathbb{Z}$ with the usual sum, do not fit for shift spaces over infinite alphabet or on other monoids. Therefore, by examining the core features in the classical definitions of shifts of finite type and sofic shifts, we propose general definitions that can be used in any context. The alternative definition given for shifts of finite type inspires the definition of a new class of shift spaces which intersects with the class of sofic shifts and includes shifts of finite type. This new class is named finitely defined shifts, and the non-finite-type shifts in it are named shifts of variable length. For the specific case of infinite-alphabet shifts on the lattice $\mathbb{N}$ or $\mathbb{Z}$ with the usual sum, shifts of variable length can be interpreted as the topological version of variable length Markov chains.


title: Counterfactual Explanations and Algorithmic Recourses for Machine Learning: A Review

abstract: Machine learning plays a role in many deployed decision systems, often in ways that are difficult or impossible to understand by human stakeholders. Explaining, in a human-understandable way, the relationship between the input and output of machine learning models is essential to the development of trustworthy machine learning based systems. A burgeoning body of research seeks to define the goals and methods of explainability in machine learning. In this paper, we seek to review and categorize research on counterfactual explanations, a specific class of explanation that provides a link between what could have happened had input to a model been changed in a particular way. Modern approaches to counterfactual explainability in machine learning draw connections to the established legal doctrine in many countries, making them appealing to fielded systems in high-impact areas such as finance and healthcare. Thus, we design a rubric with desirable properties of counterfactual explanation algorithms and comprehensively evaluate all currently proposed algorithms against that rubric. Our rubric provides easy comparison and comprehension of the advantages and disadvantages of different approaches and serves as an introduction to major research themes in this field. We also identify gaps and discuss promising research directions in the space of counterfactual explainability.


title: SKATE: A Natural Language Interface for Encoding Structured Knowledge

abstract: In Natural Language (NL) applications, there is often a mismatch between what the NL interface is capable of interpreting and what a lay user knows how to express. This work describes a novel natural language interface that reduces this mismatch by refining natural language input through successive, automatically generated semi-structured templates. In this paper we describe how our approach, called SKATE, uses a neural semantic parser to parse NL input and suggest semi-structured templates, which are recursively filled to produce fully structured interpretations. We also show how SKATE integrates with a neural rule-generation model to interactively suggest and acquire commonsense knowledge. We provide a preliminary coverage analysis of SKATE for the task of story understanding, and then describe a current business use-case of the tool in a specific domain: COVID-19 policy design.


title: A Dynamic Taylor's Law

abstract: Taylor's power law (or fluctuation scaling) states that on comparable populations, the variance of each sample is approximately proportional to a power of the mean of the population. It has been shown to hold by empirical observations in a broad class of disciplines including demography, biology, economics, physics and mathematics. In particular, it has been observed in the problems involving population dynamics, market trading, thermodynamics and number theory. For this many authors consider panel data in order to obtain laws of large numbers and the possibility to fit those expressions; essentially we aim at considering ergodic behaviors without independence. Thus we restrict the study to stationary time series and we develop different Taylor exponents in this setting. From a theoretic point of view, there has been a growing interest on the study of the behavior of such a phenomenon. Most of these works focused on the so-called static Taylor related to independent samples. In this paper, we introduce a dynamic Taylor's law for dependent samples using self-normalised expressions involving Bernstein blocks. A central limit theorem (CLT) is proved under either weak dependence or strong mixing assumptions for the marginal process. The limit behavior of such a new index involves the series of covariances unlike the classic framework where the limit behavior involves the marginal variance. We also provide an asymptotic result for for a goodness-of-fit testing suited to check whether the corresponding dynamical Taylor's law holds in empirical studies. Moreover, we also obtain a consistent estimation of the Taylor's exponent.


title: Cohomology algebra of orbit spaces of free involutions on some Wall manifolds

abstract: In this paper, we investigate the existence of free involutions on some Wall manifolds and we compute the mod 2 cohomology algebra of the correspondent orbit space.


title: Misleading Repurposing on Twitter

abstract: We present the first in-depth and large-scale study of misleading repurposing, in which a malicious user changes the identity of their social media account via, among other things, changes to the profile attributes in order to use the account for a new purpose while retaining their followers. We propose a definition for the behavior and a methodology that uses supervised learning on data mined from the Internet Archive's Twitter Stream Grab to flag repurposed accounts. We found over 100,000 accounts that may have been repurposed. We also characterize repurposed accounts and found that they are more likely to be repurposed after a period of inactivity and deleting old tweets. We also provide evidence that adversaries target accounts with high follower counts to repurpose, and some make them have high follower counts by participating in follow-back schemes. The results we present have implications for the security and integrity of social media platforms, for data science studies in how historical data is considered, and for society at large in how users can be deceived about the popularity of an opinion.


title: Hyperbolicity of Augmented Links in the Thickened Torus

abstract: For a hyperbolic link K in the thickened torus with no bigons, we show that there is a decomposition of the complement of a link L, obtained from augmenting K, into torihedra. We further decompose the torihedra into angled pyramids and finally angled tetrahedra. These fit into an angled structure on a triangulation of the link complement, and thus by [5], this shows that L is hyperbolic.


title: Will Trump win again in the 2020 election? An answer from a sociophysics model

abstract: This paper predicting Trump victory has been submitted before the election and revised after, allowing to add a Foreword and Note Added in Revision to discuss in details the causes of the failure of the prediction. In 2016, Trump was unanimously seen as the loser in the November 8 election. In contrast, using a model of opinion dynamics I have been developing for a few decades within the framework of sociophysics, I predicted his victory against all odds. According to the model, the winning paradoxical martingale of 2016, has been Trump capability to activate frozen prejudices in many voters by provoking their real indignation. However, four year later, Trump shocking outings do not shock anymore, they became devitalized, losing their ability to generate major emotional reactions. Does this mean that this time around he will lose the 2020 election against Biden, as nearly all analysts, pundits and commentators still predict? No, because with frozen prejudices remaining frozen, the spontaneous prejudices will be activated but this time they will benefit to both Biden and Trump. The main ones are the fear of the other candidate policy and the personal stand facing a danger. In addition, Trump presidency having polarized a large part of American voters into narrow-minded anti-Trump and narrow-minded pro-Trump, those I denote in my model as inflexibles, will be driving the dynamics of choices. Both effects, prejudices and inflexibles can either compete or cooperate making their local combination within each state, decisive to determine the faith of the state election. As a result, tiny differences can make the outcome. Based on my rough estimates of associated proportions of inflexibles and prejudices, the model predicts Trump victory in the 2020 November election.


title: Equilibrium density matrices for the 2D black hole sigma models from an integrable spin chain

abstract: This work concerns the quantum Lorentzian and Euclidean black hole non-linear sigma models. For the Euclidean black hole sigma model an equilibrium density matrix is proposed, which reproduces the modular invariant partition function from the 2001 paper of Maldacena, Ooguri and Son. For the Lorentzian black hole sigma model, using its formulation as a gauged ${\rm SL}(2,\mathbb{R})$ WZW model, we describe the linear and Hermitian structure of its space of states and also propose an expression for the equilibrium density matrix. Our analysis is guided by the results of the study of a certain critical, integrable spin chain. In the scaling limit, the latter exhibits the key features of the Lorentzian black hole sigma model including the same global symmetries, the same algebra of extended conformal symmetry and a continuous spectrum of conformal dimensions.

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: Bayesian Attention Modules

abstract: Attention modules, as simple and effective tools, have not only enabled deep neural networks to achieve state-of-the-art results in many domains, but also enhanced their interpretability. Most current models use deterministic attention modules due to their simplicity and ease of optimization. Stochastic counterparts, on the other hand, are less popular despite their potential benefits. The main reason is that stochastic attention often introduces optimization issues or requires significant model changes. In this paper, we propose a scalable stochastic version of attention that is easy to implement and optimize. We construct simplex-constrained attention distributions by normalizing reparameterizable distributions, making the training process differentiable. We learn their parameters in a Bayesian framework where a data-dependent prior is introduced for regularization. We apply the proposed stochastic attention modules to various attention-based models, with applications to graph node classification, visual question answering, image captioning, machine translation, and language understanding. Our experiments show the proposed method brings consistent improvements over the corresponding baselines.


title: Addicts without Substance? Social Media Addiction when Facebook Shuts Down

abstract: In March 2018, a series of anti-social and racial riots in Sri Lanka led to a government-controlled ban of all social media use in the country for 14 days. This nation-wide ban included the use of all social media such as Facebook, Twitter and communication apps like WhatsApp, Viber and WeChat. Until the day of the sanctions, a population of 23 million in Sri Lanka had never experienced government sanctions, restrictions or interventions on social media use. This sudden ban provided a unique window of opportunity to investigate social media non-use and use and how it might lead to psychological distress. Using a longitudinal study design of two surveys, analyzing data of 476 and 205 respectively, this study makes insightful preliminary observations of social media non-use and use continuum.


title: SSUE: Simultaneous State and Uncertainty Estimation for Dynamical Systems

abstract: Parameters of the mathematical model describing many practical dynamical systems are prone to vary due to aging or renewal, wear and tear, as well as changes in environmental or service conditions. These variabilities will adversely affect the accuracy of state estimation. In this paper, we introduce SSUE: Simultaneous State and Uncertainty Estimation for quantifying parameter uncertainty while simultaneously estimating the internal state of a system. Our approach involves the development of a Bayesian framework that recursively updates the posterior joint density of the unknown state vector and parameter uncertainty. To execute the framework for practical implementation, we develop a computational algorithm based on maximum a posteriori estimation and the numerical Newton's method. Observability analysis is conducted for linear systems, and its relation with the consistency of the estimation of the uncertainty's location is unveiled. Additional simulation results are provided to demonstrate the effectiveness of the proposed SSUE approach.


title: Laboratory study of the torus instability threshold in solar-relevant, line-tied magnetic flux ropes

abstract: Coronal mass ejections (CME) occur when long-lived magnetic flux ropes (MFR) anchored to the solar surface destabilize and erupt away from the Sun. This destabilization is often described in terms of an ideal magnetohydrodynamic (MHD) instability called the torus instability. It occurs when the external magnetic field decreases sufficiently fast such that its decay index, $n=-z\,\partial\,(\ln B)/\partial z$ is larger than a critical value, $n>n_{\rm cr}$, where $n_{\rm cr}=1.5$ for a full, large aspect ratio torus. However, when this is applied to solar MFRs, a range of conflicting values for $n_{\rm cr}$ is found in the literature. To investigate this discrepancy, we have conducted laboratory experiments on arched, line-tied flux ropes and have applied a theoretical model of the torus instability. Our model describes an MFR as a partial torus with footpoints anchored in a conducting surface and numerically calculates various magnetic forces on it. This calculation yields a better prediction of $n_{\rm cr}$ which takes into account the specific parameters of the MFR. We describe a systematic methodology to properly translate laboratory results to their solar counterparts, provided that the MFRs have sufficiently small edge safety factor, or equivalently, large enough twist. After this translation, our model predicts that $n_{\rm cr}$ in solar conditions often falls near $n_{\rm cr}^{\rm Sol}\sim0.9$ and within a larger range of $n_{\rm cr}^{\rm Sol}\sim(0.7,1.2)$ depending on the parameters. The methodology of translating laboratory MFRs to their solar counterparts enables quantitative investigations of the initiation of CMEs through laboratory experiments. These experiments allow for new physics insights that are required for better predictions of space weather events but are difficult to obtain otherwise.


title: XL-Calibur -- a second-generation balloon-borne hard X-ray polarimetry mission

abstract: XL-Calibur is a hard X-ray (15-80 keV) polarimetry mission operating from a stabilised balloon-borne platform in the stratosphere. It builds on heritage from the X-Calibur mission, which observed the accreting neutron star GX 301-2 from Antarctica, between December 29th 2018 and January 1st 2019. The XL-Calibur design incorporates an X-ray mirror, which focusses X-rays onto a polarimeter comprising a beryllium rod surrounded by Cadmium Zinc Telluride (CZT) detectors. The polarimeter is housed in an anticoincidence shield to mitigate background from particles present in the stratosphere. The mirror and polarimeter-shield assembly are mounted at opposite ends of a 12 m long lightweight truss, which is pointed with arcsecond precision by WASP - the Wallops Arc Second Pointer. The XL-Calibur mission will achieve a substantially improved sensitivity over X-Calibur by using a larger effective area X-ray mirror, reducing background through thinner CZT detectors, and improved anticoincidence shielding. When observing a 1 Crab source for $t_{\rm day}$ days, the Minimum Detectable Polarisation (at 99% confidence level) is $\sim$2$\%\cdot t_{\rm day}^{-1/2}$. The energy resolution at 40 keV is $\sim$5.9 keV. The aim of this paper is to describe the design and performance of the XL-Calibur mission, as well as the foreseen science programme.


title: Absence of Luther-Emery Superconducting Phase in the Three-Band Model for Cuprate Ladders

abstract: Correlated-electron theories of superconductivity in layered cuprates often start from the premise of a gapped spin-liquid phase proximate to the superconducting state. This assumption is justified based on analytical and numerical demonstrations of a superconducting Luther-Emery phase in the doped 2-leg one-band Hubbard ladder, and the perceived analogy between coupled ladders and the two dimensional CuO2 layer. We demonstrate from accurate density matrix renormalization group studies the absence of the superconducting Luther-Emery phase in the doped 2-leg three-band ladder consisting of both copper and oxygen, even as the spin gap is large in the undoped three-band ladder. For realistic oxygen-oxygen hopping and Hubbard repulsion on the oxygen atoms, density-density rather than pairing correlations are dominant at long range. This result is equally valid whether or not the oxygens outside the ladder proper, over and above the rung and leg oxygens, are included in the computation. These results demonstrate the critical importance of oxygen orbitals, and raise disturbing questions about the applicability of many of the existing correlated-electron theories of superconductivity.


title: On branched coverings of singular $(G,X)$-manifolds

abstract: Branched covering have a long history from ramification of Riemann surfaces to realization of 3-manifolds as covering ramified over a knots; from geometrical topology to algebraic geometry. The present work investigates a notion of branched covering "\`a la Fox" which is particularly natural for (G,X)-manifolds. The work is two fold. First, we recall and enrich the current state of the art (based upon Montesinos) and develop a Galois theory for such branched covering together with a description of the fiber above branching points. As a consequence, we solve two open questions of Montesinos and construct an example related to another open question. Second, we present a theory of singular (G,X)-manifolds and apply the theory of branched covering we developped to extend the usual framework of (G,X)-manifolds to singular (G,X)-manifolds; in particular, we construct a developping map for such singular manifolds. An application to singular locally Minkowski manifolds is given.


title: Higher Order Coercive Inequalities

abstract: We study the higher order q- Poincar\'e and other coercive inequalities for a class probability measures satisfying Adam's regularity condition.


title: Convolutional 3D to 2D Patch Conversion for Pixel-wise Glioma Segmentation in MRI Scans

abstract: Structural magnetic resonance imaging (MRI) has been widely utilized for analysis and diagnosis of brain diseases. Automatic segmentation of brain tumors is a challenging task for computer-aided diagnosis due to low-tissue contrast in the tumor subregions. To overcome this, we devise a novel pixel-wise segmentation framework through a convolutional 3D to 2D MR patch conversion model to predict class labels of the central pixel in the input sliding patches. Precisely, we first extract 3D patches from each modality to calibrate slices through the squeeze and excitation (SE) block. Then, the output of the SE block is fed directly into subsequent bottleneck layers to reduce the number of channels. Finally, the calibrated 2D slices are concatenated to obtain multimodal features through a 2D convolutional neural network (CNN) for prediction of the central pixel. In our architecture, both local inter-slice and global intra-slice features are jointly exploited to predict class label of the central voxel in a given patch through the 2D CNN classifier. We implicitly apply all modalities through trainable parameters to assign weights to the contributions of each sequence for segmentation. Experimental results on the segmentation of brain tumors in multimodal MRI scans (BraTS'19) demonstrate that our proposed method can efficiently segment the tumor regions.


title: Scaling limit of the ${\cal Z}_2$ invariant inhomogeneous six-vertex model

abstract: The work contains a detailed study of the scaling limit of a certain critical, integrable inhomogeneous six-vertex model subject to twisted boundary conditions. It is based on a numerical analysis of the Bethe ansatz equations as well as the powerful analytic technique of the ODE/IQFT correspondence. The results indicate that the critical behaviour of the lattice system is described by the gauged ${\rm SL}(2)$ WZW model with certain boundary and reality conditions imposed on the fields. Our proposal revises and extends the conjectured relation between the lattice system and the Euclidean black hole non-linear sigma model that was made in the 2011 paper of Ikhlef, Jacobsen and Saleur.

categories: math-ph cond-mat.stat-mech hep-th math.MP


title: A primer on model-guided exploration of fitness landscapes for biological sequence design

abstract: Machine learning methods are increasingly employed to address challenges faced by biologists. One area that will greatly benefit from this cross-pollination is the problem of biological sequence design, which has massive potential for therapeutic applications. However, significant inefficiencies remain in communication between these fields which result in biologists finding the progress in machine learning inaccessible, and hinder machine learning scientists from contributing to impactful problems in bioengineering. Sequence design can be seen as a search process on a discrete, high-dimensional space, where each sequence is associated with a function. This sequence-to-function map is known as a "Fitness Landscape". Designing a sequence with a particular function is hence a matter of "discovering" such a (often rare) sequence within this space. Today we can build predictive models with good interpolation ability due to impressive progress in the synthesis and testing of biological sequences in large numbers, which enables model training and validation. However, it often remains a challenge to find useful sequences with the properties that we like using these models. In particular, in this primer we highlight that algorithms for experimental design, what we call "exploration strategies", are a related, yet distinct problem from building good models of sequence-to-function maps. We review advances and insights from current literature -- by no means a complete treatment -- while highlighting desirable features of optimal model-guided exploration, and cover potential pitfalls drawn from our own experience. This primer can serve as a starting point for researchers from different domains that are interested in the problem of searching a sequence space with a model, but are perhaps unaware of approaches that originate outside their field.


title: Some Algebraic Aspects of the Inhomogeneous Six-Vertex Model

abstract: The inhomogeneous six-vertex model is a 2$D$ multiparametric integrable statistical system. In the scaling limit it is expected to cover different classes of critical behaviour which, for the most part, have remained unexplored. For general values of the parameters and twisted boundary conditions the model possesses ${\rm U}(1)$ invariance. In this paper we discuss the restrictions imposed on the parameters for which additional global symmetries arise that are consistent with the integrable structure. These include the lattice counterparts of ${\cal C}$, ${\cal P}$ and ${\cal T}$ as well as translational invariance. The special properties of the lattice system that possesses an additional ${\cal Z}_r$ invariance are considered. We also describe the Hermitian structures, which are consistent with the integrable one. The analysis lays the groundwork for studying the scaling limit of the inhomogeneous six-vertex model.


title: On the Decoding Performance of Spatially Coupled LDPC Codes with Sub-block Access

abstract: We study spatially coupled LDPC codes that allow access to sub-blocks much smaller than the full code block. Sub-block access is realized by a semi-global decoder that decodes a chosen target sub-block by only accessing the target, plus a prescribed number of helper sub-blocks adjacent in the code chain. This paper develops a theoretical methodology for analyzing the semi-global decoding performance of spatially coupled LDPC codes constructed from protographs. The main result shows that semi-global decoding thresholds can be derived from certain thresholds we define for the single-sub-block graph. These characterizing thresholds are also used for deriving lower bounds on the decoder's performance over channels with variability across sub-blocks, which are motivated by applications in data-storage.


title: On symmetries of the non-stationary PIIn hierarchy and their applications

abstract: In the current paper we study auto-B\"acklund transformations of the non-stationary second Painlev\'e hierarchy $\text{P}_\text{II}^{(n)}$ depending on $n$ parameters: a parameter $\alpha_n$ and times $t_1, \dots, t_{n-1}$. Using generators $s^{(n)}$ and $r^{(n)}$ of these symmetries, we have constructed an affine Weyl group $W^{(n)}$ and its extension $\tilde{W}^{(n)}$ associated with the $n$-th member considered hierarchy. We determined $\text{P}_\text{II}^{(n)}$ rational solutions via Yablonskii-Vorobiev-type polynomials $u_m^{(n)} (z)$. We brought out a correlation between Yablonskii-Vorobiev-type polynomials and polynomial $\tau$-functions $\tau_m^{(n)} (z)$ and found their determinant representation in the Jacobi-Trudi form.


title: Runtime Safety Assurance Using Reinforcement Learning

abstract: The airworthiness and safety of a non-pedigreed autopilot must be verified, but the cost to formally do so can be prohibitive. We can bypass formal verification of non-pedigreed components by incorporating Runtime Safety Assurance (RTSA) as mechanism to ensure safety. RTSA consists of a meta-controller that observes the inputs and outputs of a non-pedigreed component and verifies formally specified behavior as the system operates. When the system is triggered, a verified recovery controller is deployed. Recovery controllers are designed to be safe but very likely disruptive to the operational objective of the system, and thus RTSA systems must balance safety and efficiency. The objective of this paper is to design a meta-controller capable of identifying unsafe situations with high accuracy. High dimensional and non-linear dynamics in which modern controllers are deployed along with the black-box nature of the nominal controllers make this a difficult problem. Current approaches rely heavily on domain expertise and human engineering. We frame the design of RTSA with the Markov decision process (MDP) framework and use reinforcement learning (RL) to solve it. Our learned meta-controller consistently exhibits superior performance in our experiments compared to our baseline, human engineered approach.


title: Tropical Dynamic Programming for Lipschitz Multistage Stochastic Programming

abstract: We present an algorithm called Tropical Dynamic Programming (TDP) which builds upper and lower approximations of the Bellman value functions in risk-neutral Multistage Stochastic Programming (MSP), with independent noises of finite supports. To tackle the curse of dimensionality, popular parametric variants of Approximate Dynamic Programming approximate the Bellman value function as linear combinations of basis functions. Here, Tropical Dynamic Programming builds upper (resp. lower) approximations of a given value function as min-plus linear (resp. max-plus linear) combinations of "basic functions". At each iteration, TDP adds a new basic function to the current combination following a deterministic criterion introduced by Baucke, Downward and Zackeri in 2018 for a variant of Stochastic Dual Dynamic Programming. We prove, for every Lipschitz MSP, the asymptotic convergence of the generated approximating functions of TDP to the Bellman value functions on sets of interest. We illustrate this result on MSP with linear dynamics and polyhedral costs.


title: Switching on surface conduction in a topological insulator

abstract: The protected surface conduction of topological insulators is in high demand for the next generation of electronic devices. What is needed to move forward are robust settings where topological surface currents can be controlled by simple means, ideally by the application of external stimuli. Surprisingly, this direction is only little explored. In this work we demonstrate that we can boost the surface conduction of a topological insulator by both light and electric field. This happens in a fully controlled way, and the additional Dirac carriers exhibit ultra-long lifetimes. We provide a comprehensive understanding, namely that carriers are injected from the bulk to the surface states across an intrinsic Schottky barrier. We expect this mechanism to be at play in a broad range of materials and experimental settings.


title: Optimising the Performance of Convolutional Neural Networks across Computing Systems using Transfer Learning

abstract: The choice of convolutional routines (primitives) to implement neural networks has a tremendous impact on their inference performance (execution speed) on a given hardware platform. To optimise a neural network by primitive selection, the optimal primitive is identified for each layer of the network. This process requires a lengthy profiling stage, iterating over all the available primitives for each layer configuration, to measure their execution time on the target platform. Because each primitive exploits the hardware in different ways, new profiling is needed to obtain the best performance when moving to another platform. In this work, we propose to replace this prohibitively expensive profiling stage with a machine learning based approach of performance modeling. Our approach speeds up the optimisation time drastically. After training, our performance model can estimate the performance of convolutional primitives in any layer configuration. The time to optimise the execution of large neural networks via primitive selection is reduced from hours to just seconds. Our performance model is easily transferable to other target platforms. We demonstrate this by training a performance model on an Intel platform and performing transfer learning to AMD and ARM processor devices with minimal profiled samples.


title: Mechanisms of self-organized quasicriticality in neuronal networks models

abstract: The critical brain hypothesis states that there are information processing advantages for neuronal networks working close to the critical region of a phase transition. If this is true, we must ask how the networks achieve and maintain this critical state. Here we review several proposed biological mechanisms that turn the critical region into an attractor of a dynamics in network parameters like synapses, neuronal gains and firing thresholds. Since neuronal networks (biological and models) are nonconservative but dissipative, we expect not exact criticality but self-organized quasicriticality (SOqC), where the system hovers around the critical point.


title: Promoting High Diversity Ensemble Learning with EnsembleBench

abstract: Ensemble learning is gaining renewed interests in recent years. This paper presents EnsembleBench, a holistic framework for evaluating and recommending high diversity and high accuracy ensembles. The design of EnsembleBench offers three novel features: (1) EnsembleBench introduces a set of quantitative metrics for assessing the quality of ensembles and for comparing alternative ensembles constructed for the same learning tasks. (2) EnsembleBench implements a suite of baseline diversity metrics and optimized diversity metrics for identifying and selecting ensembles with high diversity and high quality, making it an effective framework for benchmarking, evaluating and recommending high diversity model ensembles. (3) Four representative ensemble consensus methods are provided in the first release of EnsembleBench, enabling empirical study on the impact of consensus methods on ensemble accuracy. A comprehensive experimental evaluation on popular benchmark datasets demonstrates the utility and effectiveness of EnsembleBench for promoting high diversity ensembles and boosting the overall performance of selected ensembles.


title: Global equation of state and phase transitions of the hard disc systems

abstract: The hard disc system plays a fundamental role in the study of two-dimensional matters [1-3]. High-precision compressibility data from computer simulations have been reported for all the phases and phase transition regions [4-15]. In particular, Bernard and Krauth (Phys. Rev. Lett., 107, 155704, 2011) [10] presented a complete and accurate picture of the phase transitions of the hard disc system with simulation results. However, thorough descriptions of the system depend on analytical equations of state (EoS) over the entire density range. While majority of EoS published are for the stable fluid region only [1,16], few attempted the liquid-hexact transition region (Phys. Rev. Lett., 11, 241, 1963 [17]; Phys. Rev. E. 63, 042201, 2001 [18]; 74, 061106, 2006 [19]). All the EoS currently available are incapable of quantitative descriptions of the phase transitions. Here we construct a simple EoS to reproduce high-precision simulation data for all the stable liquid, liquid-hexatic transition region and hexatic phase. A global EoS is then obtained when the new EoS is smoothly united with a revisited EoS for the solid phase. Using this global equation, we are able to accurately identify all the phases and the phase transitions from the stable liquid to hexatic, then to solid phases. The liquid-hexatic transition is found to be of weak first-order, namely discontinuous in density and the Gibbs free energy while continuous in entropy and the Helmholtz free energy. The hexatic-solid transition is a continuous high-order phase transition.


title: Analysis of Regional Cluster Structure By Principal Components Modelling in Russian Federation

abstract: In this paper it is demonstrated that the application of principal components analysis for regional cluster modelling and analysis is essential in the situations where there is significant multicollinearity among several parameters, especially when the dimensionality of regional data is measured in tens. The proposed principal components model allows for same-quality representation of the clustering of regions. In fact, the clusters become more distinctive and the apparent outliers become either more pronounced with the component model clustering or are alleviated with the respective hierarchical cluster. Thus, a five-component model was obtained and validated upon 85 regions of Russian Federation and 19 socio-economic parameters. The principal components allowed to describe approximately 75 percent of the initial parameters variation and enable further simulations upon the studied variables. The cluster analysis upon the principal components modelling enabled better exposure of regional structure and disparity in economic development in Russian Federation, consisting of four main clusters: the few-numbered highest development regions, the clusters with mid-to-high and low economic development, and the "poorest" regions. It is observable that the development in most regions relies upon resource economy, and the industrial potential as well as inter-regional infrastructural potential are not realized to their fullest, while only the wealthiest regions show highly developed economy, while the industry in other regions shows signs of stagnation which is scaled further due to the conditions entailed by economic sanctions and the recent Covid-19 pandemic. Most Russian regions are in need of additional public support and industrial development, as their capital assets potential is hampered and, while having sufficient labor resources, their donorship will increase.


title: Data-driven Identification of 2D Partial Differential Equations using extracted physical features

abstract: Many scientific phenomena are modeled by Partial Differential Equations (PDEs). The development of data gathering tools along with the advances in machine learning (ML) techniques have raised opportunities for data-driven identification of governing equations from experimentally observed data. We propose an ML method to discover the terms involved in the equation from two-dimensional spatiotemporal data. Robust and useful physical features are extracted from data samples to represent the specific behaviors imposed by each mathematical term in the equation. Compared to the previous models, this idea provides us with the ability to discover 2D equations with time derivatives of different orders, and also to identify new underlying physics on which the model has not been trained. Moreover, the model can work with small sets of low-resolution data while avoiding numerical differentiations. The results indicate robustness of the features extracted based on prior knowledge in comparison to automatically detected features by a Three-dimensional Convolutional Neural Network (3D CNN) given the same amounts of data. Although particular PDEs are studied in this work, the idea of the proposed approach could be extended for reliable identification of various PDEs.


title: Length as a Paradigm for Understanding the Classical Limit

abstract: It is regrettable that the quantum length of an object is rarely if ever discussed, because it provides an ideal pedagogical paradigm for understanding how a physicist uses classical intuition to define quantum properties and how such quantum properties behave as one would expect in the classical limit. It also provides for a way to understand many-particle states, and leads to interesting quantum behavior that challenges our intuition of measurement.


title: Limiting Behaviors of Nonconvex-Nonconcave Minimax Optimization via Continuous-Time Systems

abstract: Unlike nonconvex optimization, where gradient descent is guaranteed to converge to a local optimizer, algorithms for nonconvex-nonconcave minimax optimization can have topologically different solution paths: sometimes converging to a solution, sometimes never converging and instead following a limit cycle, and sometimes diverging. In this paper, we study the limiting behaviors of three classic minimax algorithms: gradient descent ascent (GDA), alternating gradient descent ascent (AGDA), and the extragradient method (EGM). Numerically, we observe that all of these limiting behaviors can arise in Generative Adversarial Networks (GAN) training and are easily demonstrated for a range of GAN problems. To explain these different behaviors, we study the high-order resolution continuous-time dynamics that correspond to each algorithm, which results in the sufficient (and almost necessary) conditions for the local convergence by each method. Moreover, this ODE perspective allows us to characterize the phase transition between these different limiting behaviors caused by introducing regularization as Hopf Bifurcations.


title: Cosmic ray anisotropies from transient extragalactic sources

abstract: We study the spectrum and anisotropies of ultrahigh energy cosmic ray transient sources, accounting for the effects of their propagation through the turbulent extragalactic magnetic fields. We consider either bursting sources or sources emitting since a given initial time. We analyse in detail the transition between the diffusive and the quasi-rectilinear regimes, describing some new features that could be present


title: An Optimization-and-Simulation Framework for Redesigning University Campus Bus System with Social Distancing

abstract: The outbreak of coronavirus disease 2019 (COVID-19) has led to significant challenges for schools, workplaces and communities to return to operations during the pandemic, requiring policymakers to balance individuals' safety and operational efficiency. In this paper, we present our work using mixed-integer programming and simulation for redesigning routes and bus schedules for University of Michigan (UM)'s campus bus system during the COVID-19 pandemic. We propose a hub-and-spoke design and utilize real data of student activities to identify hub locations and bus stops to be used in the new routes. Using the same total number of buses to operate, each new bus route has 50\% or fewer seats being used and takes maximumly 15 minutes, to reduce disease transmission through expiratory aerosol. We sample a variety of scenarios that cover variations of peak demand, social-distancing requirements, and break-down buses, to demonstrate the system resiliency of the new routes and schedules via simulation. The new bus routes are implemented and used by all UM campuses during the academic year 2020-2021, to ensure social distancing and short travel time. Our approach can be generalized to redesign public transit systems with social distancing requirement during the pandemic to reduce passengers' infection risk.


title: ENSURE: A General Approach for Unsupervised Training of Deep Image Reconstruction Algorithms

abstract: Image reconstruction using deep learning algorithms offers improved reconstruction quality and lower reconstruction time than classical compressed sensing and model-based algorithms. Unfortunately, clean and fully sampled ground-truth data to train the deep networks is often unavailable in several applications, restricting the applicability of the above methods. We introduce a novel metric termed the ENsemble Stein's Unbiased Risk Estimate (ENSURE) framework, which can be used to train deep image reconstruction algorithms without fully sampled and noise-free images. The proposed framework is the generalization of the classical SURE and GSURE formulation to the setting where the images are sampled by different measurement operators, chosen randomly from a set. We evaluate the expectation of the GSURE loss functions over the sampling patterns to obtain the ENSURE loss function. We show that this loss is an unbiased estimate for the true mean-square error, which offers a better alternative to GSURE, which only offers an unbiased estimate for the projected error. Our experiments show that the networks trained with this loss function can offer reconstructions comparable to the supervised setting. While we demonstrate this framework in the context of MR image recovery, the ENSURE framework is generally applicable to arbitrary inverse problems.


title: On Consensusability of Linear Interconnected Multi-Agent Systems and Simultaneous Stabilization

abstract: Consensusability of multi-agent systems (MASs) certifies the existence of a distributed controller capable of driving the states of each subsystem to a consensus value. We study the consensusability of linear interconnected MASs (LIMASs) where, as in several real-world applications, subsystems are physically coupled. We show that consensusability is related to the simultaneous stabilizability of multiple LTI systems, and present a novel sufficient condition in form of a linear program for verifying this property. We also derive several necessary and sufficient consensusability conditions for LIMASs in terms of parameters of the subsystem matrices and the eigenvalues of the physical and communication graph Laplacians. The results show that weak physical couplings among subsystems and densely-connected physical and communication graphs are favorable for consensusability. Finally, we validate our results through simulations of networks of supercapacitors and DC microgrids.


title: Dynamical Evolution and Thermal History of Asteroids (3200) Phaethon and (155140) 2005 UD

abstract: The near-Earth objects (NEOs) (3200) Phaethon and (155140) 2005 UD are thought to share a common origin, with the former exhibiting dust activity at perihelion that is thought to directly supply the Geminid meteor stream. Both of these objects currently have very small perihelion distances, which results in them having perihelion temperatures of or exceeding 1000 K. The current activity from Phaethon is relevant to the destruction of NEOs close to the Sun, which most likely has produced meteor streams linked to asteroids in the past. We model the past thermal characteristics of Phaethon and 2005 UD using a combination of a thermophysical model (TPM) and orbital integrations of each object. Temperature characteristics such as maximum daily temperature, maximum thermal gradient, and temperature at varying depths are extracted from the model, which is run for a predefined set of a and e. Next, dynamical integrations of orbital clones of Phaethon and 2005 UD are used to estimate the past orbital elements of each object. These dynamical results are then combined with the temperature characteristics to model the past evolution of thermal characteristics such as maximum (and minimum) surface temperature and thermal gradient. We find that dwarf planet (2) Pallas is unlikely to be the parent body for Phaethon and 2005 UD, and it is more likely that the source is in the inner part of the asteroid belt. The orbital histories of Phaethon and 2005 UD are characterized by cyclic changes in, resulting in perihelia values periodically shifting between present-day values and 0.3 au. We find that the subsurface temperatures are too large over this timescale for water ice to be stable unless actively supplied somehow. The near-surface thermal gradients strongly suggest that thermal fracturing may be very effective at breaking down surface regolith.


title: Superconducting MoN thin films prepared by DC reactive magnetron sputtering for nanowire single-photon detectors

abstract: We present a comprehensive study of molybdenum nitride (MoN) thin film deposition using direct current (DC) reactive magnetron sputtering. We have investigated the effect of various deposition conditions on the superconducting and electrical properties of the films. Furthermore, we have shown that meander-shaped single-photon detectors made from 5 nm MoN films have saturated quantum detection efficiency at the telecom wavelength of 1550 nm. Our results indicate that MoN may be a material of interest for practical applications of low-temperature superconductors, including single-photon detectors and transition-edge sensors.


title: On Application of Block Kaczmarz Methods in Matrix Factorization

abstract: Matrix factorization techniques compute low-rank product approximations of high dimensional data matrices and as a result, are often employed in recommender systems and collaborative filtering applications. However, many algorithms for this task utilize an exact least-squares solver whose computation is time consuming and memory-expensive. In this paper we discuss and test a block Kaczmarz solver that replaces the least-squares subroutine in the common alternating scheme for matrix factorization. This variant trades a small increase in factorization error for significantly faster algorithmic performance. In doing so we find block sizes that produce a solution comparable to that of the least-squares solver for only a fraction of the runtime and working memory requirement.


title: A theory of 2-pro-objects, a theory of 2-model 2-categories and the 2-model structure for 2-Pro(C)

abstract: In the sixties, Grothendieck developed the theory of pro-objects over a category. The fundamental property of the category $Pro(C)$ is that there is an embedding $C \stackrel{c}{\rightarrow} Pro(C)$, $Pro(C)$ is closed under small cofiltered limits, and these are free in the sense that for any category $E$ closed under small cofiltered limits, pre-composition with $c$ determines an equivalence of categories $Cat(Pro(C),E)_+ \simeq Cat(C,E)$, (the $+$ indicates the full subcategory of the functors that preserve cofiltered limits). In this work we develop a 2-dimensional pro-object theory. Given a 2-category $\mathcal{C}$, we define the 2-category $2$-$\mathcal{P}ro(\mathcal{C})$ whose objects we call 2-pro-objects. We prove that $2\hbox{-}\mathcal{P}ro(\mathcal{C})$ has all the expected basic properties adequately relativized to the 2-categorical setting, including the corresponding universal property. We give an adecuate definition of closed 2-model 2-category and demonstrations of its basic properties. We leave for a future work the construction of its homotopy 2-category. Finally, we prove that our 2-category $2\hbox{-}\mathcal{P}ro(\mathcal{C})$ has a closed 2-model 2-category structure provided that $\mathcal{C}$ has one. Part of the motivation of this work was to develop a conceptual framework to handle the $\check{C}$ech nerve in homotopy theory, in particular in strong shape theory. The $\check{C}$ech nerve is indexed by the categories of covers and of hypercovers, with cover refinements as morphisms, which are not filtered categories, but determine 2-filtered 2-categories on which the $\check{C}$ech nerve is also defined, sends 2-cells into homotopies, and determines a 2-pro-object of simplicial sets. Usually, the $\check{C}$ech nerve has to be considered as a pro-object in the homotopy category, loosing the information encoded in the explicit homotopies.


title: Mutual Information Regularized Identity-aware Facial ExpressionRecognition in Compressed Video

abstract: How to extract effective expression representations that invariant to the identity-specific attributes is a long-lasting problem for facial expression recognition (FER). Most of the previous methods process the RGB images of a sequence, while we argue that the off-the-shelf and valuable expression-related muscle movement is already embedded in the compression format. In this paper, we target to explore the inter-subject variations eliminated facial expression representation in the compressed video domain. In the up to two orders of magnitude compressed domain, we can explicitly infer the expression from the residual frames and possibly extract identity factors from the I frame with a pre-trained face recognition network. By enforcing the marginal independence of them, the expression feature is expected to be purer for the expression and be robust to identity shifts. Specifically, we propose a novel collaborative min-min game for mutual information (MI) minimization in latent space. We do not need the identity label or multiple expression samples from the same person for identity elimination. Moreover, when the apex frame is annotated in the dataset, the complementary constraint can be further added to regularize the feature-level game. In testing, only the compressed residual frames are required to achieve expression prediction. Our solution can achieve comparable or better performance than the recent decoded image-based methods on the typical FER benchmarks with about 3 times faster inference.


title: Sparse Tucker Tensor Decomposition on a Hybrid FPGA-CPU Platform

abstract: Recommendation systems, social network analysis, medical imaging, and data mining often involve processing sparse high-dimensional data. Such high-dimensional data are naturally represented as tensors, and they cannot be efficiently processed by conventional matrix or vector computations. Sparse Tucker decomposition is an important algorithm for compressing and analyzing these sparse high-dimensional data sets. When energy efficiency and data privacy are major concerns, hardware accelerators on resource-constraint platforms become crucial for the deployment of tensor algorithms. In this work, we propose a hybrid computing framework containing CPU and FPGA to accelerate sparse Tucker factorization. This algorithm has three main modules: tensor-times-matrix (TTM), Kronecker products, and QR decomposition with column pivoting (QRP). In addition, we accelerate the former two modules on a Xilinx FPGA and the latter one on a CPU. Our hybrid platform achieves $23.6 \times \sim 1091\times$ speedup and over $93.519\% \sim 99.514 \%$ energy savings compared with CPU on the synthetic and real-world datasets.