title: A kinetic model for qualitative understanding and analysis of the effect of complete lockdown imposed by India for controlling the COVID-19 disease spread by the SARS-CoV-2 virus

abstract: The present ongoing global pandemic caused by SARS-CoV-2 virus is creating havoc across the world. The absence of any vaccine as well as any definitive drug to cure, has made the situation very grave. Therefore only few effective tools are available to contain the rapid pace of spread of this disease, named as COVID-19. On 24th March, 2020, the the Union Government of India made an announcement of unprecedented complete lockdown of the entire country effective from the next day. No exercise of similar scale and magnitude has been ever undertaken anywhere on the globe in the history of entire mankind. This study aims to scientifically analyze the implications of this decision using a kinetic model covering more than 96% of Indian territory. This model was further constrained by large sets of realistic parameters pertinent to India in order to capture the ground realities prevailing in India, such as: (i) true state wise population density distribution, (ii) accurate state wise infection distribution for the zeroth day of simulation (20th March, 2020), (iii) realistic movements of average clusters, (iv) rich diversity in movements patterns across different states, (v) migration patterns across different geographies, (vi) different migration patterns for pre- and post-COVID-19 outbreak, (vii) Indian demographic data based on the 2011 census, (viii) World Health Organization (WHO) report on demography wise infection rate and (ix) incubation period as per WHO report. This model does not attempt to make a long-term prediction about the disease spread on a standalone basis; but to compare between two different scenarios (complete lockdown vs. no lockdown). In the framework of model assumptions, our model conclusively shows significant success of the lockdown in containing the disease within a tiny fraction of the population and in the absence of it, it would have led to a very grave situation.


title: Low-Resolution Overhead Thermal Tripwire for Occupancy Estimation

abstract: Smart buildings use occupancy sensing for various tasks ranging from energy-efficient HVAC and lighting to space-utilization analysis and emergency response. We propose a people counting system which uses a low-resolution thermal sensor. Unlike previous people-counting systems based on thermal sensors, we use an overhead tripwire configuration at entryways to detect and track transient entries or exits. We develop two distinct people counting algorithms for this configuration. To evaluate our algorithms, we have collected and labeled a low-resolution thermal video dataset using the proposed system. The dataset, the first of its kind, is public and available for download. We also propose new evaluation metrics that are more suitable for systems that are subject to drift and jitter.


title: XtremeDistil: Multi-stage Distillation for Massive Multilingual Models

abstract: Deep and large pre-trained language models are the state-of-the-art for various natural language processing tasks. However, the huge size of these models could be a deterrent to use them in practice. Some recent and concurrent works use knowledge distillation to compress these huge models into shallow ones. In this work we study knowledge distillation with a focus on multi-lingual Named Entity Recognition (NER). In particular, we study several distillation strategies and propose a stage-wise optimization scheme leveraging teacher internal representations that is agnostic of teacher architecture and show that it outperforms strategies employed in prior works. Additionally, we investigate the role of several factors like the amount of unlabeled data, annotation resources, model architecture and inference latency to name a few. We show that our approach leads to massive compression of MBERT-like teacher models by upto 35x in terms of parameters and 51x in terms of latency for batch inference while retaining 95% of its F1-score for NER over 41 languages.


title: Sampling of Stochastic Differential Equations using the Karhunen-Lo\`eve Expansion and Matrix Functions

abstract: We consider linearizations of stochastic differential equations with additive noise using the Karhunen-Lo\`eve expansion. We obtain our linearizations by truncating the expansion and writing the solution as a series of matrix-vector products using the theory of matrix functions. Moreover, we restate the solution as the solution of a system of linear differential equations. We obtain strong and weak error bounds for the truncation procedure and show that, under suitable conditions, the mean square error has order of convergence $\mathcal{O}(\frac{1}{m})$ and the second moment has a weak order of convergence $\mathcal{O}(\frac{1}{m})$, where $m$ denotes the size of the expansion. We also discuss efficient numerical linear algebraic techniques to approximate the series of matrix functions and the linearized system of differential equations. These theoretical results are supported by experiments showing the effectiveness of our algorithms when compared to standard methods such as the Euler-Maruyama scheme.


title: The Topological and Logical Structure of Concurrency and Dependency via Distributive Lattices

abstract: This paper is motivated by the desire to study package management using the toolkit of the semantics of functional languages. As it transpires, this is deeply related to the semantics of concurrent computation. The models we produce are not solely of theoretical interest, but amenable to analysis and computation. This work makes a number of related contributions. First, it relates the specification of branching dependency structures, which exist in fields from knowledge-representation to package management, to the specification of semantics of concurrent computation. Second, it relates dependency structures to lattices in a precise way, establishing a full correspondence with a particular subclass of lattices. It then makes use of this as a key ingredient, coupled with the underappreciated Bruns-Lakser completion, in relating dependency structures to locales -- objects equipped with both topological and logical properties. It then provides an example of how this interplay of properties can be of use -- using topological properties of the dependency structure to equip internal logics of associated locales with a modality representing contraction relations (i.e. "versioning"). This approach lets us see linking (or rather, the choice of what to link against, i.e. "solving") as an effect. Finally, it discusses how such constructions may relate to important questions in complexity theory, including solutions of satisfiability problems. Along the way, we will see how this approach relates to familiar objects such as package version policies, Merkle-trees, the nix operating system, and distributed version control tooling like git.


title: Ping-pong quantum key distribution with trusted noise: non-Markovian advantage

abstract: The ping-pong protocol adapted for quantum key distribution is studied in the trusted quantum noise scenario, wherein the legitimate parties can add noise locally. For a well-studied attack model, we show how non-unital quantum non-Markovianity of the added noise can improve the key rate. We also point out that this noise-induced advantage cannot be obtained by Alice and Bob by adding local classical noise to their post-measurement data.


title: Dynamic response functions of two-dimensional Dirac fermions with screened Coulomb and short-range interactions

abstract: We consider a screened Coulomb interaction between electrons in graphene and determine their dynamic response functions, such as a longitudinal and a transverse electric conductivity and a polarization function and compare them to the corresponding quantities in the short-range interaction model. The calculations are performed to all orders for short-range interaction by taking into account the self-energy renormalization of the electron velocity and using a ladder approximation to account for the vertex corrections, ensuring that the Ward identity (charge conservation law) is satisfied. Our findings predict a resonant response of interacting electron-hole pairs at a particular frequency below the threshold $qv=\omega$ and further predict an instability for sufficiently strong interactions.


title: Active Sampling for Pairwise Comparisons via Approximate Message Passing and Information Gain Maximization

abstract: Pairwise comparison data arise in many domains with subjective assessment experiments, for example in image and video quality assessment. In these experiments observers are asked to express a preference between two conditions. However, many pairwise comparison protocols require a large number of comparisons to infer accurate scores, which may be unfeasible when each comparison is time-consuming (e.g. videos) or expensive (e.g. medical imaging). This motivates the use of an active sampling algorithm that chooses only the most informative pairs for comparison. In this paper we propose ASAP, an active sampling algorithm based on approximate message passing and expected information gain maximization. Unlike most existing methods, which rely on partial updates of the posterior distribution, we are able to perform full updates and therefore much improve the accuracy of the inferred scores. The algorithm relies on three techniques for reducing computational cost: inference based on approximate message passing, selective evaluations of the information gain, and selecting pairs in a batch that forms a minimum spanning tree of the inverse of information gain. We demonstrate, with real and synthetic data, that ASAP offers the highest accuracy of inferred scores compared to the existing methods. We also provide an open-source GPU implementation of ASAP for large-scale experiments.


title: Measuring spatial uniformity with the hypersphere chord length distribution

abstract: Data uniformity is a concept associated with several semantic data characteristics such as lack of features, correlation and sample bias. This article introduces a novel measure to assess data uniformity and detect uniform pointsets on high-dimensional Euclidean spaces. Spatial uniformity measure builds upon the isomorphism between hyperspherical chords and L2-normalised data Euclidean distances, which is implied by the fact that, in Euclidean spaces, L2-normalised data can be geometrically defined as points on a hypersphere. The imposed connection between the distance distribution of uniformly selected points and the hyperspherical chord length distribution is employed to quantify uniformity. More specifically,, the closed-form expression of hypersphere chord length distribution is revisited extended, before examining a few qualitative and quantitative characteristics of this distribution that can be rather straightforwardly linked to data uniformity. The experimental section includes validation in four distinct setups, thus substantiating the potential of the new uniformity measure on practical data-science applications.


title: SFE-GACN: A Novel Unknown Attack Detection Method Using Intra Categories Generation in Embedding Space

abstract: In the encrypted network traffic intrusion detection, deep learning based schemes have attracted lots of attention. However, in real-world scenarios, data is often insufficient (few-shot), which leads to various deviations between the models prediction and the ground truth. Consequently, downstream tasks such as unknown attack detection based on few-shot will be limited by insufficient data. In this paper, we propose a novel unknown attack detection method based on Intra Categories Generation in Embedding Space, namely SFE-GACN, which might be the solution of few-shot problem. Concretely, we first proposed Session Feature Embedding (SFE) to summarize the context of sessions (session is the basic granularity of network traffic), bring the insufficient data to the pre-trained embedding space. In this way, we achieve the goal of preliminary information extension in the few-shot case. Second, we further propose the Generative Adversarial Cooperative Network (GACN), which improves the conventional Generative Adversarial Network by supervising the generated sample to avoid falling into similar categories, and thus enables samples to generate intra categories. Our proposed SFE-GACN can accurately generate session samples in the case of few-shot, and ensure the difference between categories during data augmentation. The detection results show that, compared to the state-of-the-art method, the average TPR is 8.38% higher, and the average FPR is 12.77% lower. In addition, we evaluated the graphics generation capabilities of GACN on the graphics dataset, the result shows our proposed GACN can be popularized for generating easy-confused multi-categories graphics.


title: Tuning upstream swimming of micro-robots by shape and cargo size

abstract: The navigation of micro-robots in complex flow environments is controlled by rheotaxis, the reorientation with respect to flow gradients. Here we demonstrate how payloads can be exploited to enhance the motion against flows. Using fully resolved hydrodynamic simulations, the mechanisms are described that allow micro-robots of different shapes to reorient upstream. We find that cargo pullers are the fastest at most flow strengths, but pushers feature a non-trivial optimum as a function of the counter flow strength. Moreover, the rheotactic performance can be maximised by tuning the micro-robot shape or cargo size. These results may be used to control micro-swimmer navigation, but they also apply to rheotaxis in microbial ecology and the prevention of bacterial contamination dynamics.

categories: cond-mat.soft physics.bio-ph physics.flu-dyn physics.med-ph


title: QoS-Driven Job Scheduling: Multi-Tier Dependency Considerations

abstract: For a cloud service provider, delivering optimal system performance while fulfilling Quality of Service (QoS) obligations is critical for maintaining a viably profitable business. This goal is often hard to attain given the irregular nature of cloud computing jobs. These jobs expect high QoS on an on-demand fashion, that is on random arrival. To optimize the response to such client demands, cloud service providers organize the cloud computing environment as a multi-tier architecture. Each tier executes its designated tasks and passes the job to the next tier; in a fashion similar, but not identical, to the traditional job-shop environments. An optimization process must take place to schedule the appropriate tasks of the job on the resources of the tier, so as to meet the QoS expectations of the job. Existing approaches employ scheduling strategies that consider the performance optimization at the individual resource level and produce optimal single-tier driven schedules. Due to the sequential nature of the multi-tier environment, the impact of such schedules on the performance of other resources and tiers tend to be ignored, resulting in a less than optimal performance when measured at the multi-tier level. In this paper, we propose a multi-tier-oriented job scheduling and allocation technique. The scheduling and allocation process is formulated as a problem of assigning jobs to the resource queues of the cloud computing environment, where each resource of the environment employs a queue to hold the jobs assigned to it. The scheduling problem is NP-hard, as such a biologically inspired genetic algorithm is proposed. The computing resources across all tiers of the environment are virtualized in one resource by means of a single queue virtualization. A chromosome that mimics the sequencing and allocation of the tasks in the proposed virtual queue is proposed.


title: Service Level Driven Job Scheduling in Multi-Tier Cloud Computing: A Biologically Inspired Approach

abstract: Cloud computing environments often have to deal with random-arrival computational workloads that vary in resource requirements and demand high Quality of Service (QoS) obligations. It is typical that a Service-Level-Agreement (SLA) is employed to govern the QoS obligations of the cloud computing service provider to the client. A typical challenge service-providers face every day is maintaining a balance between the limited resources available for computing and the high QoS requirements of varying random demands. Any imbalance in managing these conflicting objectives may result in either dissatisfied clients and potentially significant commercial penalties, or an over-resourced cloud computing environment that can be significantly costly to acquire and operate. Thus, scheduling the clients' workloads as they arrive at the environment to ensure their timely execution has been a central issue in cloud computing. Various approaches have been reported in the literature to address this problem: Shortest-Queue, Join-Idle-Queue, Round Robin, MinMin, MaxMin, and Least Connection, to name a few. However, optimization strategies of such approaches fail to capture QoS obligations and their associated commercial penalties. This paper presents an approach for service-level driven load scheduling and balancing in multi-tier environments. Joint scheduling and balancing operations are employed to distribute and schedule jobs among the resources, such that the total waiting time of client jobs is minimized, and thus the potential of a penalty to be incurred by the service provider is mitigated. A penalty model is used to quantify the penalty the service provider incurs as a function of the jobs' total waiting time. A Virtual-Queue abstraction is proposed to facilitate optimal job scheduling at the tier level. This problem is NP-complete, a genetic algorithm is proposed for computing job schedules.


title: Weyl Prior and Bayesian Statistics

abstract: When using Bayesian inference, one needs to choose a prior distribution for parameters. The well-known Jeffreys prior is based on the Riemann metric tensor on a statistical manifold. Takeuchi and Amari defined the $\alpha$-parallel prior,, which generalized the Jeffreys prior by exploiting higher-order geometric object, known as Chentsov-Amari tensor. In this paper, we propose a new prior based on the Weyl structure on a statistical manifold. It turns out that our prior is a special case of the $\alpha$-parallel prior with the parameter $\alpha$ equals $-n$, where $n$ is the dimension of the underlying statistical manifold and the minus sign is a result of conventions used in the definition of $\alpha$-connections. This makes the choice for the parameter $\alpha$ more canonical. We calculated the Weyl prior for univariate Gaussian and multivariate Gaussian distribution. The Weyl prior of the univariate Gaussian turns out to be the uniform prior.


title: Y-net: Biomedical Image Segmentation and Clustering

abstract: We propose a deep clustering architecture alongside image segmentation for medical image analysis. The main idea is based on unsupervised learning to cluster images on severity of the disease in the subject's sample, and this image is then segmented to highlight and outline regions of interest. We start with training an autoencoder on the images for segmentation. The encoder part from the autoencoder branches out to a clustering node and segmentation node. Deep clustering using Kmeans clustering is performed at the clustering branch and a lightweight model is used for segmentation. Each of the branches use extracted features from the autoencoder. We demonstrate our results on ISIC 2018 Skin Lesion Analysis Towards Melanoma Detection and Cityscapes datasets for segmentation and clustering. The proposed architecture beats UNet and DeepLab results on the two datasets, and has less than half the number of parameters. We use the deep clustering branch for clustering images into four clusters. Our approach can be applied to work with high complexity datasets of medical imaging for analyzing survival prediction for severe diseases or customizing treatment based on how far the disease has propagated. Clustering patients can help understand how binning should be done on real valued features to reduce feature sparsity and improve accuracy on classification tasks. The proposed architecture can provide an early diagnosis and reduce human intervention on labeling as it can become quite costly as the datasets grow larger. The main idea is to propose a one shot approach to segmentation with deep clustering.


title: COVID-19 in air suspensions

abstract: We analyse the stability of virus-carrying particles in air at equilibrium after the dissipation of the initial turbulent process produced by sneezing, coughing, breathing or speaking. Because the viruses are expelled mainly attached to small droplets, with diverse sizes and weights, and the external environmental conditions can also be diverse, the subsequent motion spannes different spatial and temporal scales. For droplet sizes larger than $100\,\mu m$, computing the time of decay to the ground and the distance travelled with a simple free fall model with empirical data extracted from the literature, we obtain distances in the range between $1$ to $3$ meters from the emitter, with a falling time of less than $1\,s$, similar to known recommendations for safe social distancing. For droplets sizes less than $100\,\mu m$ a simple model of motion in a viscous medium predicts that isolated viruses could remain suspended in quiet air for more than a month, while small droplets of $1\,\mu m$ in size can remain suspended for several hours, in agreement with recent experimental results on virus stability in aerosols. These results give solid background for the discussion of prevention strategies, like the use of masks in closed environments.


title: Thermal intermodulation noise in cavity-based measurements

abstract: Thermal frequency fluctuations in optical cavities limit the sensitivity of precision experiments ranging from gravitational wave observatories to optical atomic clocks. Conventional modeling of these noises assumes a linear response of the optical field to the fluctuations of cavity frequency. Fundamentally, however, this response is nonlinear. Here we show that nonlinearly transduced thermal fluctuations of cavity frequency can dominate the broadband noise in photodetection, even when the magnitude of fluctuations is much smaller than the cavity linewidth. We term this noise "thermal intermodulation noise" and show that for a resonant laser probe it manifests as intensity fluctuations. We report and characterize thermal intermodulation noise in an optomechanical cavity, where the frequency fluctuations are caused by mechanical Brownian motion, and find excellent agreement with our developed theoretical model. We demonstrate that the effect is particularly relevant to quantum optomechanics: using a phononic crystal $Si_3N_4$ membrane with a low mass, soft-clamped mechanical mode we are able to operate in the regime where measurement quantum backaction contributes as much force noise as the thermal environment does. However, in the presence of intermodulation noise, quantum signatures of measurement are not revealed in direct photodetectors. The reported noise mechanism, while studied for an optomechanical system, can exist in any optical cavity.


title: Using the Modified Lognormal Power Law Distribution to Model the Mass Function of NGC 1711

abstract: A determination of the mass function (MF) of stellar clusters can be quite dependent on the range of measured masses, the fitting technique, and the analytic function that is being fit to the data. Here, we use HST/WFPC2 data of NGC 1711, a stellar cluster in the Large Magellanic Cloud, as a test case to explore a range of possible determinations of the MF from a single dataset. We employ the analytic modified lognormal power-law (MLP) distribution, a hybrid function that has a peaked lognormal-like body and a power-law tail at intermediate and high masses. A fit with the MLP has the advantage that the resulting best-fit function can be either a hybrid function, a pure lognormal, or a pure power law, in different limits of the function. The completeness limit for the observations means that the data contains masses above $\sim 0.90\,M_{\odot}$. In this case, the MLP fits yield essentially a pure power-law MF. We demonstrate that the nonlinear regression/least-squares approach is not justified since the underlying assumptions are not satisfied. By using maximum likelihood estimation, which is independent of binning, we find a best-fit functional form $dN/d\ln m \propto m^{-\alpha}$, where $\alpha = 1.72 \pm 0.05$ or $1.75 \pm 0.05$ for two different theoretical isochrone models, respectively. Furthermore, we explore the possibility of systematic errors in the determination of the power-law index due to the depth of the observations. When we combine the observational data with artificially generated data from the lognormal Chabrier IMF for masses below $0.90\, M_{\odot}$, the best fit MLP is a hybrid function but with a steeper asymptotic slope i.e., $\alpha = 2.04 \pm 0.07$. This illustrates the systematic uncertainties in commonly used MF parameters that can depend on the range of data that is fitted.


title: A Mosquito Pick-and-Place System for PfSPZ-based Malaria Vaccine Production

abstract: The treatment of malaria is a global health challenge that stands to benefit from the widespread introduction of a vaccine for the disease. A method has been developed to create a live organism vaccine using the sporozoites (SPZ) of the parasite Plasmodium falciparum (Pf), which are concentrated in the salivary glands of infected mosquitoes. Current manual dissection methods to obtain these PfSPZ are not optimally efficient for large-scale vaccine production. We propose an improved dissection procedure and a mechanical fixture that increases the rate of mosquito dissection and helps to deskill this stage of the production process. We further demonstrate the automation of a key step in this production process, the picking and placing of mosquitoes from a staging apparatus into a dissection assembly. This unit test of a robotic mosquito pick-and-place system is performed using a custom-designed micro-gripper attached to a four degree of freedom (4-DOF) robot under the guidance of a computer vision system. Mosquitoes are autonomously grasped and pulled to a pair of notched dissection blades to remove the head of the mosquito, allowing access to the salivary glands. Placement into these blades is adapted based on output from computer vision to accommodate for the unique anatomy and orientation of each grasped mosquito. In this pilot test of the system on 50 mosquitoes, we demonstrate a 100% grasping accuracy and a 90% accuracy in placing the mosquito with its neck within the blade notches such that the head can be removed. This is a promising result for this difficult and non-standard pick-and-place task.


title: DarkneTZ: Towards Model Privacy at the Edge using Trusted Execution Environments

abstract: We present DarkneTZ, a framework that uses an edge device's Trusted Execution Environment (TEE) in conjunction with model partitioning to limit the attack surface against Deep Neural Networks (DNNs). Increasingly, edge devices (smartphones and consumer IoT devices) are equipped with pre-trained DNNs for a variety of applications. This trend comes with privacy risks as models can leak information about their training data through effective membership inference attacks (MIAs). We evaluate the performance of DarkneTZ, including CPU execution time, memory usage, and accurate power consumption, using two small and six large image classification models. Due to the limited memory of the edge device's TEE, we partition model layers into more sensitive layers (to be executed inside the device TEE), and a set of layers to be executed in the untrusted part of the operating system. Our results show that even if a single layer is hidden, we can provide reliable model privacy and defend against state of the art MIAs, with only 3% performance overhead. When fully utilizing the TEE, DarkneTZ provides model protections with up to 10% overhead.


title: Visual Grounding Methods for VQA are Working for the Wrong Reasons!

abstract: Existing Visual Question Answering (VQA) methods tend to exploit dataset biases and spurious statistical correlations, instead of producing right answers for the right reasons. To address this issue, recent bias mitigation methods for VQA propose to incorporate visual cues (e.g., human attention maps) to better ground the VQA models, showcasing impressive gains. However, we show that the performance improvements are not a result of improved visual grounding, but a regularization effect which prevents over-fitting to linguistic priors. For instance, we find that it is not actually necessary to provide proper, human-based cues; random, insensible cues also result in similar improvements. Based on this observation, we propose a simpler regularization scheme that does not require any external annotations and yet achieves near state-of-the-art performance on VQA-CPv2.


title: Are Game Engines Software Frameworks? A Three-perspective Study

abstract: Game engines help developers create video games and avoid duplication of code and effort, like frameworks for traditional software systems. In this paper, we explore open-source game engines along three perspectives: literature, code, and human. First, we explore and summarise the academic literature on game engines. Second, we compare the characteristics of the 282 most popular engines and the 282 most popular frameworks in GitHub. Finally, we survey 124 engine developers about their experience with the development of their engines. We report that: (1) Game engines are not well-studied in software-engineering research with few studies having engines as object of research. (2) Open-source game engines are slightly larger in terms of size and complexity and less popular and engaging than traditional frameworks. Their programming languages differ greatly from frameworks. Engine projects have shorter histories with less releases. (3) Developers perceive game engines as different from traditional frameworks. Generally, they build game engines to (a) better control the environment and source code, (b) learn about game engines, and (c) develop specific games. We conclude that open-source game engines have differences compared to traditional open-source frameworks although this differences do not demand special treatments.


title: From Holant to Quantum Entanglement and Back

abstract: Holant problems are intimately connected with quantum theory as tensor networks. We first use techniques from Holant theory to derive new and improved results for quantum entanglement theory. We discover two particular entangled states $|{\Psi_6}\rangle$ of 6 qubits and $|{\Psi_8}\rangle$ of 8 qubits respectively, that have extraordinary and unique closure properties in terms of the Bell property. Then we use entanglement properties of constraint functions to derive a new complexity dichotomy for all real-valued Holant problems containing an odd-arity signature. The signatures need not be symmetric, and no auxiliary signatures are assumed.


title: VGCN-BERT: Augmenting BERT with Graph Embedding for Text Classification

abstract: Much progress has been made recently on text classification with methods based on neural networks. In particular, models using attention mechanism such as BERT have shown to have the capability of capturing the contextual information within a sentence or document. However, their ability of capturing the global information about the vocabulary of a language is more limited. This latter is the strength of Graph Convolutional Networks (GCN). In this paper, we propose VGCN-BERT model which combines the capability of BERT with a Vocabulary Graph Convolutional Network (VGCN). Local information and global information interact through different layers of BERT, allowing them to influence mutually and to build together a final representation for classification. In our experiments on several text classification datasets, our approach outperforms BERT and GCN alone, and achieve higher effectiveness than that reported in previous studies.


title: Community Structures in Information Networks for a Discrete Agent Population

abstract: Communities are an important feature of social networks. The goal of this paper is to propose a mathematical model to study the community structure in social networks. For this, we consider a particular case of a social network, namely information networks. We assume that there is a population of agents who are interested in obtaining content. Agents differ in the type of content they are interested in. The goal of agents is to form communities in order to maximize their utility for obtaining and producing content. We use this model to characterize the structure of communities that emerge as a Nash equilibrium in this setting. The work presented in this paper generalizes results in the literature that were obtained for the case of a continuous agent model, to the case of a discrete agent population model. We note that a discrete agent set reflects more accurately real-life information networks, and are needed in order to get additional insights into the community structure, such as for example the connectivity (graph structure) within in a community, as well as information dissemination within a community.


title: Elementary exposition of realizing phase space structures relevant to chemical reaction dynamics

abstract: In this article, we review the analytical and numerical approaches for computing the phase space structures in two degrees-of-freedom Hamiltonian systems that arise in chemical reactions. In particular, these phase space structures are the unstable periodic orbit associated with an index-1 saddle, the periodic orbit dividing surface, and the stable and unstable invariant manifolds of the unstable periodic orbit. We review the approaches in the context of a two degrees-of-freedom Hamiltonian with a quartic potential coupled with a quadratic potential. We derive the analytical form of the phase space structures for the integrable case and visualize their geometry on the three dimensional energy surface. We then investigate the bifurcation of the dividing surface due to the changes in the parameters of the potential energy. We also review the numerical method of \emph{turning point} and present its new modification called the \emph{turning point based on configuration difference} for computing the unstable periodic orbit in two degrees-of-freedom systems. These methods are implemented in the open-source python package, UPOsHam~\cite{Lyu2020}.

categories: nlin.CD cs.NA math.DS math.NA physics.chem-ph


title: On a generalization of the topological Brauer group

abstract: In the present paper we propose some generalization of the topological Brauer group that includes higher homotopical information and contains the classical one as a direct summand. Our approach is based on some kind of bundle-like objects called ``lax algebra bundles'' that occupy an intermediate position between ``Morita bundle gerbes'' and matrix algebra bundles. The main results of the paper include the descripion of the homotopy type of their classifying space. The obtained results can be applied to the twisted $K$-theory because the lax algebra bundles are geometric representatives of the ``higher'' twists of topological $K$-theory that have finite order. v.2: major changes, especially in the second half of the paper v.3: to clarify the presentation the significant part of the text has been rewritten v.4: major changes, completely different methods comparing with previous versions v.5: major changes and corrections v.6: section 3 added v.7: the definition of equivalence of LABs fixed v.8: section 3 has been rewritten v.9: remark 3.2 and some explanation in subsection 3.3 have been added v.10 in this version we omit the UHF algebra approach; otherwise, correction and clarifications have been made, in subsection 4.3 an outline of the theory of modules over LABs has been added


title: On the high-low method for NLS on the hyperbolic space

abstract: In this paper, we first prove that the cubic, defocusing nonlinear Schr\"odinger equation on the two dimensional hyperbolic space with radial initial data in $H^s(\mathbb{H}^2)$ is globally well-posed and scatters when $s > \frac{3}{4}$. Then we extend the result to nonlineraities of order $p>3$. The result is proved by extending the high-low method of Bourgain in the hyperbolic setting and by using a Morawetz type estimate proved by the first author and Ionescu.


title: A1: A Distributed In-Memory Graph Database

abstract: A1 is an in-memory distributed database used by the Bing search engine to support complex queries over structured data. The key enablers for A1 are availability of cheap DRAM and high speed RDMA (Remote Direct Memory Access) networking in commodity hardware. A1 uses FaRM as its underlying storage layer and builds the graph abstraction and query engine on top. The combination of in-memory storage and RDMA access requires rethinking how data is allocated, organized and queried in a large distributed system. A single A1 cluster can store tens of billions of vertices and edges and support a throughput of 350+ million of vertex reads per second with end to end query latency in single digit milliseconds. In this paper we describe the A1 data model, RDMA optimized data structures and query execution.


title: Learning Spatial Relationships between Samples of Patent Image Shapes

abstract: Binary image based classification and retrieval of documents of an intellectual nature is a very challenging problem. Variations in the binary image generation mechanisms which are subject to the document artisan designer including drawing style, view-point, inclusion of multiple image components are plausible causes for increasing the complexity of the problem. In this work, we propose a method suitable to binary images which bridges some of the successes of deep learning (DL) to alleviate the problems introduced by the aforementioned variations. The method consists on extracting the shape of interest from the binary image and applying a non-Euclidean geometric neural-net architecture to learn the local and global spatial relationships of the shape. Empirical results show that our method is in some sense invariant to the image generation mechanism variations and achieves results outperforming existing methods in a patent image dataset benchmark.


title: General Rearrangement Lemma for Heat Trace Asymptotic on Noncommutative Tori

abstract: We study a technical problem arising from the spectral geometry of noncommutative tori: the small time heat trace asymptotic associated to a general second order elliptic operator. We extend the rearrangement operators in the conformal case to the general setting using hypergeometric integrals over Grassmannians. The main result is the explicit formula of the second heat coefficient in terms of the coefficients. When specializing to examples in conformal case, we not only recover results in previous works but also obtain some extra functional relations whose validation provides experimental support to the main results. At last, we verify the relations based on combinatorial properties derived from the hypergeometric features.


title: Modeling the transmission of new coronavirus in S\~ao Paulo State, Brazil -- Assessing epidemiological impacts of isolating young and elder persons

abstract: We developed a mathematical model to describe the transmission of new coronavirus in the S\~ao Paulo State, Brazil. The model divided a community in subpopulations comprised by young and elder persons, in order to take into account higher risk of fatality among elder persons with severe CoViD-19. From data collected in the S\~ao Paulo State, we estimated the transmission and additional mortality rates, from which we calculated the basic reproduction number R0. From estimated parameters, estimation of the deaths due to CoViD-19 was three times lower than those found in literature. Considering isolation as a control mechanism, we varied isolation rates of young and elder persons in order to assess their epidemiological impacts. The epidemiological scenarios focused mainly on evaluating the number of severe CoViD-19 cases and deaths due to this disease when isolation is introduced in a population.


title: Large-scale Real-time Personalized Similar Product Recommendations

abstract: Similar product recommendation is one of the most common scenes in e-commerce. Many recommendation algorithms such as item-to-item Collaborative Filtering are working on measuring item similarities. In this paper, we introduce our real-time personalized algorithm to model product similarity and real-time user interests. We also introduce several other baseline algorithms including an image-similarity-based method, item-to-item collaborative filtering, and item2vec, and compare them on our large-scale real-world e-commerce dataset. The algorithms which achieve good offline results are also tested on the online e-commerce website. Our personalized method achieves a 10% improvement on the add-cart number in the real-world e-commerce scenario.


title: Towards an Effective and Efficient Deep Learning Model for COVID-19 Patterns Detection in X-ray Images

abstract: Confronting the pandemic of COVID-19, is nowadays one of the most prominent challenges of the human species. A key factor in slowing down the virus propagation is the rapid diagnosis and isolation of infected patients. The standard method for COVID-19 identification, the Reverse transcription polymerase chain reaction method, is time-consuming and in short supply due to the pandemic. Thus, researchers have been looking for alternative screening methods and deep learning applied to chest X-rays of patients has been showing promising results. Despite their success, the computational cost of these methods remains high, which imposes difficulties to their accessibility and availability. Thus, the main goal of this work is to propose an accurate yet efficient method in terms of memory and processing time for the problem of COVID-19 screening in chest X-rays. Methods: To achieve the defined objective we exploit and extend the EfficientNet family of deep artificial neural networks which are known for their high accuracy and low footprints in other applications. We also exploit the underlying taxonomy of the problem with a hierarchical classifier. A dataset of 13,569 X-ray images divided into healthy, non-COVID-19 pneumonia, and COVID-19 patients is used to train the proposed approaches and other 5 competing architectures. Finally, 231 images of the three classes were used to assess the quality of the methods. Results: The results show that the proposed approach was able to produce a high-quality model, with an overall accuracy of 93.9%, COVID-19, sensitivity of 96.8% and positive prediction of 100%, while having from 5 to 30 times fewer parameters than other than the other tested architectures. Larger and more heterogeneous databases are still needed for validation before claiming that deep learning can assist physicians in the task of detecting COVID-19 in X-ray images.


title: Principal Neighbourhood Aggregation for Graph Nets

abstract: Graph Neural Networks (GNNs) have been shown to be effective models for different predictive tasks on graph-structured data. Recent work on their expressive power has focused on isomorphism tasks and countable feature spaces. We extend this theoretical framework to include continuous features - which occur regularly in real-world input domains and within the hidden layers of GNNs - and we demonstrate the requirement for multiple aggregation functions in this context. Accordingly, we propose Principal Neighbourhood Aggregation (PNA), a novel architecture combining multiple aggregators with degree-scalers (which generalize the sum aggregator). Finally, we compare the capacity of different models to capture and exploit the graph structure via a novel benchmark containing multiple tasks taken from classical graph theory, alongside existing benchmarks from real-world domains, all of which demonstrate the strength of our model. With this work, we hope to steer some of the GNN research towards new aggregation methods which we believe are essential in the search for powerful and robust models.


title: Riemannian metric representatives of the Stiefel-Whitney classes

abstract: If $M$ is a closed manifold, and $K$ is a smooth triangulation of $M$, Whitney proved that all of the Stiefel-Whitney classes are specified as cochains on the dual cell complex $(K')^*$ assigning the value $1$ mod $2$ to each dual cell. We provide the pair $(M,K)$ with an arbitrary Riemannian metric $g$, and use Whitney's criteria to show that there are associated representatives of all the Stiefel-Whitney classes $w_1(M), \ldots , w_n(M)$. The representative of $w_1(M)$ is determined by $\det{g_{ij}}$, the $g_{ij}$s computed in a frame that is locally defined at each dual $1$-cell; the representatives of the even classes $w_{2k}(M)$ are determined by the Chern-Gauss-Bonnet density $2k$-form of locally defined totally geodesic oriented $2k$ manifolds with boundary associated to each dual $2k$-cell; and the representatives of the odd classes $w_{2k+1}(M)$ are determined by the hypersurface area form of the boundary sphere of a locally defined totally geodesic oriented $(2k+1)$ manifold with boundary associated to each dual $(2k+1)$-cell. If $(M,J,g)$ is Hermitian, we prove that the metric representative of $w_{2k}(M)$ so obtained is the $\mathbb{Z}/2$ reduction of the $k$-th Chern class $c_k(M,J)$ induced by the coefficient homomorphism, and that the metric representative of any odd degree class $w_{2k+1}(M)$ so obtained is trivial in cohomology.


title: RaSSteR: Random Sparse Step-Frequency Radar

abstract: We propose a method for synthesizing high range resolution profiles (HRRP) using stepped frequency waveform (SFW) processing. Conventional SFW radars sweep over the available spectrum linearly to achieve high resolution from their instantaneous bandwidth. However, they suffer from strong range-Doppler coupling and coexisting spectral interference. Prior works are able to mitigate only one of these drawbacks. We present a new \textit{ra}ndom \textit{s}parse \textit{ste}p-frequency \textit{r}adar (RaSSteR) waveform that consumes less spectral resources without loss of range resolution and estimates both high-resolution range and Doppler by exploiting sparse recovery techniques. In the presence of interference, the operation with the new waveform is made cognitive by focusing available transmit power only in the few transmit bands. Our theoretical analyses show that, even while using fewer carriers in the available bandwidth, RaSSteR has identical recovery guarantees as the standard random stepped frequency (RSF) waveform. Numerical experiments demonstrate performance enhancements with RaSSteR over state-of-the-art such as SFW, RSF, conventional pulse-compression-based pulse Doppler radar, and sub-Nyquist radar. In addition, the target hit rate of RaSSteR in the presence of strong interference is 30% more than conventional RSF.


title: A Fast Algorithm for Source-wise Round-trip Spanners

abstract: In this paper, we study the problem of fast constructions of source-wise round-trip spanners in weighted directed graphs. For a source vertex set $S\subseteq V$ in a graph $G(V,E)$, an $S$-sourcewise round-trip spanner of $G$ of stretch $k$ is a subgraph $H$ of $G$ such that for every pair of vertices $u,v\in S\times V$, their round-trip distance in $H$ is at most $k$ times of their round-trip distance in $G$. We show that for a graph $G(V,E)$ with $n$ vertices and $m$ edges, an $s$-sized source vertex set $S\subseteq V$ and an integer $k>1$, there exists an algorithm that in time $O(ms^{1/k}\log^5n)$ constructs an $S$-sourcewise round-trip spanner of stretch $O(k\log n)$ and $O(ns^{1/k}\log^2n)$ edges with high probability. Compared to the fast algorithms for constructing all-pairs round-trip spanners \cite{PRS+18,CLR+20}, our algorithm improve the running time and the number of edges in the spanner when $k$ is super-constant. Compared with the existing algorithm for constructing source-wise round-trip spanners \cite{ZL17}, our algorithm significantly improves their construction time $\Omega(\min\{ms,n^\omega\})$ (where $\omega \in [2,2.373)$ and 2.373 is the matrix multiplication exponent) to nearly linear $O(ms^{1/k}\log^5n)$, at the expense of paying an extra $O(\log n)$ in the stretch. As an important building block of the algorithm, we develop a graph partitioning algorithm to partition $G$ into clusters of bounded radius and prove that for every $u,v\in S\times V$ at small round-trip distance, the probability of separating them in different clusters is small. The algorithm takes the size of $S$ as input and does not need the knowledge of $S$. With the algorithm and a reachability vertex size estimation algorithm, we show that the recursive algorithm for constructing standard round-trip spanners \cite{PRS+18} can be adapted to the source-wise setting.


title: Complaint-driven Training Data Debugging for Query 2.0

abstract: As the need for machine learning (ML) increases rapidly across all industry sectors, there is a significant interest among commercial database providers to support "Query 2.0", which integrates model inference into SQL queries. Debugging Query 2.0 is very challenging since an unexpected query result may be caused by the bugs in training data (e.g., wrong labels, corrupted features). In response, we propose Rain, a complaint-driven training data debugging system. Rain allows users to specify complaints over the query's intermediate or final output, and aims to return a minimum set of training examples so that if they were removed, the complaints would be resolved. To the best of our knowledge, we are the first to study this problem. A naive solution requires retraining an exponential number of ML models. We propose two novel heuristic approaches based on influence functions which both require linear retraining steps. We provide an in-depth analytical and empirical analysis of the two approaches and conduct extensive experiments to evaluate their effectiveness using four real-world datasets. Results show that Rain achieves the highest recall@k among all the baselines while still returns results interactively.


title: Trua: Efficient Task Replication for Flexible User-defined Availability in Scientific Grids

abstract: Failure is inevitable in scientific computing. As scientific applications and facilities increase their scales over the last decades, finding the root cause of a failure can be very complex or at times nearly impossible. Different scientific computing customers have varying availability demands as well as a diverse willingness to pay for availability. In contrast to existing solutions that try to provide higher and higher availability in scientific grids, we propose a model called Task Replication for User-defined Availability (Trua). Trua provides flexible, user-defined, availability in scientific grids, allowing customers to express their desire for availability to computational providers. Trua differs from existing task replication approaches in two folds. First, it relies on the historic failure information collected from the virtual layer of the scientific grids. The reliability model for the failures can be represented with a bimodal Johnson distribution which is different from any existing distributions. Second, it adopts an anomaly detector to filter out anomalous failures; it additionally adopts novel selection algorithms to mitigate the effects of temporary and spatial correlations of the failures without knowing the root cause of the failures. We apply the Trua on real-world traces collected from the Open Science Grid (OSG). Our results show that the Trua can successfully meet user-defined availability demands.


title: Discovery of Radio Jets in Phoenix Galaxy Cluster Center

abstract: We report the results of the Australia Telescope Compact Array (ATCA) 15 mm observation of the Phoenix galaxy cluster possessing an extreme star-burst brightest cluster galaxy (BCG) at the cluster center. We spatially resolved radio emission around the BCG, and found diffuse bipolar and bar-shape structures extending from the active galactic nucleus (AGN) of the BCG. They are likely radio jets/lobes, whose sizes are ~10-20 kpc and locations are aligned with X-ray cavities. If we assume that the radio jets/lobes expand with the sound velocity, their ages are estimated to be ~10 Myr. We also found compact radio emissions near the center and suggest that they are another young bipolar jets with ~1 Myr of age. Moreover, we found extended radio emission surrounding the AGN and discussed the possibility that the component is a product of the cooling flow, by considering synchrotron radiation partially absorbed by molecular clumps, free-free emission from the warm ionized gas, and the spinning dust emission from dusty circum-galactic medium.


title: Vaccination strategies on dynamic networks with indirect transmission links and limited contact information

abstract: Infectious diseases are still a major global burden for modern society causing 13 million deaths annually. One way to reduce the morbidity and mortality rates from infectious diseases is through preventative or targeted vaccinations. Current vaccination strategies, however, rely on the highly specific individual contact information that is difficult and costly to obtain, in order to identify influential spreading individuals. Current approaches also focus only on direct contacts between individuals for spreading, and disregard indirect transmission where a pathogen can spread between one infected individual and one susceptible individual that visit the same location within a short time-frame without meeting. This paper presents a novel vaccination strategy that relies on coarse-grained contact information, both direct and indirect, that can be easily and efficiently collected. Rather than tracking exact contact degrees of individuals, our strategy uses the types of places people visit to estimate a range of contact degrees for individuals, considering both direct and indirect contacts. We conduct extensive simulations to evaluate the performance of our strategy in comparison to the state of the art's vaccination strategies. Results show that our strategy achieves comparable performance to the oracle approach and outperforms all existing strategies when considering indirect links.


title: Linear rather than exponential decay: a mathematical model and underlying mechanisms

abstract: Some populations, such as red blood cells (RBCs), exhibit a pattern of population decline that is closer to linear rather than exponential, which has proven to be unexpectedly challenging to describe with a single simple mathematical model. Here we show that a sub-exponential model of population extinction can approximate very well the experimental curves of RBC extinction, and that one possible mechanism underlying sub-exponential decay is population heterogeneity with respect to death rates of individuals. We further show that a sub-exponential model of population decline can be derived within the frameworks of frequency-dependent model of population extinction if there exists heterogeneity with respect to mortality rates such that their initial distribution is the Gamma distribution. Notably, specific biological mechanisms that may result in linear pattern of population decay may be different depending on the specific biological system; however, in the end they must converge to individual death rates being different within the population, since uniform death rates would result in exponential population decline. As such, the proposed model is not intended to describe the complex dynamics of RBC biology but instead can provide a way to phenomenologically describe linear decay of population size. We briefly discuss the potential utility of this model for describing effects of drugs that may cause RBC depletion and conclude with a suggestion that this tool can provide a lens for discovering linear extinction patterns in other populations, which may have previously been overlooked.


title: Multiscale Model Predictive Control of Battery Systems for Frequency Regulation Markets using Physics-Based Models

abstract: We propose a multiscale model predictive control (MPC) framework for stationary battery systems that exploits high-fidelity models to trade-off short-term economic incentives provided by energy and frequency regulation (FR) markets and long-term degradation effects. We find that the MPC framework can drastically reduce long-term degradation while properly responding to FR and energy market signals (compared to MPC formulations that use low-fidelity models). Our results also provide evidence that sophisticated battery models can be embedded within closedloop MPC simulations by using modern nonlinear programming solvers (we provide an efficient and easy-to-use implementation in Julia). We use insights obtained with our simulations to design a low-complexity MPC formulation that matches the behavior obtained with high-fidelity models. This is done by designing a suitable terminal penalty term that implicitly captures longterm degradation. The results suggest that complex degradation behavior can be accounted for in low-complexity MPC formulations by properly designing the cost function. We believe that our proof-of-concept results can be of industrial relevance, as battery vendors are seeking to participate in fast-changing electricity markets while maintaining asset integrity.


title: Task Scheduling for Simultaneous IoT Sensing and Energy Harvesting: A Survey and Critical Analysis

abstract: The Internet of Things (IoT) has important applications in our daily lives including health and fitness tracking, environmental monitoring and transportation. However, sensor nodes in IoT suffer from the limited lifetime of batteries resulting from their finite energy availability. A promising solution is to harvest energy from environmental sources, such as solar, kinetic, thermal and radio frequency, for perpetual and continuous operation of IoT sensor nodes. In addition to energy generation, recently energy harvesters have been used for context detection, eliminating the need for additional activity sensors (e.g. accelerometers), saving space, cost, and energy consumption. Using energy harvesters for simultaneous sensing and energy harvesting enables energy positive sensing -- an important and emerging class of sensors, which harvest higher energy than required for signal acquisition and the additional energy can be used to power other components of the system. Although simultaneous sensing and energy harvesting is an important step forward towards autonomous self-powered sensor nodes, the energy and information availability can be still intermittent, unpredictable and temporally misaligned with various computational tasks on the sensor node. This paper provides a comprehensive survey on task scheduling algorithms for the emerging class of energy harvesting-based sensors (i.e., energy positive sensors) to achieve the sustainable operation of IoT. We discuss inherent differences between conventional sensing and energy positive sensing and provide an extensive critical analysis for devising new task scheduling algorithms incorporating this new class of sensors. Finally, we outline future research directions towards the implementation of autonomous and self-powered IoT.


title: Exploring Erasure Coding Techniques for High Availability of Intermediate Data

abstract: Scientific computing workflows generate enormous distributed data that is short-lived, yet critical for job completion time. This class of data is called intermediate data. A common way to achieve high data availability is to replicate data. However, an increasing scale of intermediate data generated in modern scientific applications demands new storage techniques to improve storage efficiency. Erasure Codes, as an alternative, can use less storage space while maintaining similar data availability. In this paper, we adopt erasure codes for storing intermediate data and compare its performance with replication. We also use the metric of Mean-Time-To-Data-Loss (MTTDL) to estimate the lifetime of intermediate data. We propose an algorithm to proactively relocate data redundancy from vulnerable machines to reliable ones to improve data availability with some extra network overhead. Furthermore, we propose an algorithm to assign redundancy units of data physically close to each other on the network to reduce the network bandwidth for reconstructing data when it is being accessed.


title: Estimation of time-varying reproduction numbers underlying epidemiological processes: a new statistical tool for the COVID-19 pandemic

abstract: The coronavirus pandemic has rapidly evolved into an unprecedented crisis. The susceptible-infectious-removed (SIR) model and its variants have been used for modeling the pandemic. However, time-independent parameters in the classical models may not capture the dynamic transmission and removal processes, governed by virus containment strategies taken at various phases of the epidemic. Moreover, very few models account for possible inaccuracies of the reported cases. We propose a Poisson model with time-dependent transmission and removal rates to account for possible random errors in reporting and estimate a time-dependent disease reproduction number, which may be used to assess the effectiveness of virus control strategies. We apply our method to study the pandemic in several severely impacted countries, and analyze and forecast the evolving spread of the coronavirus. We have developed an interactive web application to facilitate readers' use of our method.


title: A Comparison of Deep Learning Convolution Neural Networks for Liver Segmentation in Radial Turbo Spin Echo Images

abstract: Motion-robust 2D Radial Turbo Spin Echo (RADTSE) pulse sequence can provide a high-resolution composite image, T2-weighted images at multiple echo times (TEs), and a quantitative T2 map, all from a single k-space acquisition. In this work, we use a deep-learning convolutional neural network (CNN) for the segmentation of liver in abdominal RADTSE images. A modified UNET architecture with generalized dice loss objective function was implemented. Three 2D CNNs were trained, one for each image type obtained from the RADTSE sequence. On evaluating the performance of the CNNs on the validation set, we found that CNNs trained on TE images or the T2 maps had higher average dice scores than the composite images. This, in turn, implies that the information regarding T2 variation in tissues aids in improving the segmentation performance.


title: Normal Approximation and Fourth Moment Theorems for Monochromatic Triangles

abstract: Given a graph sequence $\{G_n\}_{n \geq 1}$ denote by $T_3(G_n)$ the number of monochromatic triangles in a uniformly random coloring of the vertices of $G_n$ with $c \geq 2$ colors. This arises as a generalization of the birthday paradox, where $G_n$ corresponds to a friendship network and $T_3(G_n)$ counts the number of triples of friends with matching birthdays. In this paper we prove a central limit theorem (CLT) for $T_3(G_n)$ with explicit error rates. The proof involves constructing a martingale difference sequence by carefully ordering the vertices of $G_n$, based on a certain combinatorial score function, and using a quantitive version of the martingale CLT. We then relate this error term to the well-known fourth moment phenomenon, which, interestingly, holds only when the number of colors $c \geq 5$. We also show that the convergence of the fourth moment is necessary to obtain a Gaussian limit for any $c \geq 2$, which, together with the above result, implies that the fourth-moment condition characterizes the limiting normal distribution of $T_3(G_n)$, whenever $c \geq 5$. Finally, to illustrate the promise of our approach, we include an alternative proof of the CLT for the number of monochromatic edges, which provides quantitative rates for the results obtained in Bhattacharya et al. (2017).


title: Exponential Upper Bounds for the Runtime of Randomized Search Heuristics

abstract: We argue that proven exponential upper bounds on runtimes, an established area in classic algorithms, are interesting also in heuristic search and we prove several such results. We show that any of the algorithms randomized local search, Metropolis algorithm, simulated annealing, and (1+1) evolutionary algorithm can optimize any pseudo-Boolean weakly monotonic function under a large set of noise assumptions in a runtime that is at most exponential in the problem dimension~$n$. This drastically extends a previous such result, limited to the (1+1) EA, the LeadingOnes function, and one-bit or bit-wise prior noise with noise probability at most $1/2$, and at the same time simplifies its proof. With the same general argument, among others, we also derive a sub-exponential upper bound for the runtime of the $(1,\lambda)$ evolutionary algorithm on the OneMax problem when the offspring population size $\lambda$ is logarithmic, but below the efficiency threshold. To show that our approach can also deal with non-trivial parent population sizes, we prove an exponential upper bound for the runtime of the mutation-based version of the simple genetic algorithm on the OneMax benchmark, matching a known exponential lower bound.


title: PT-symmetric non-Hermitian quantum many-body system using ultracold atoms in an optical lattice with controlled dissipation

abstract: We report our realization of a parity-time (PT) symmetric non-Hermitian many-body system using cold atoms with dissipation. After developing a theoretical framework on PT-symmetric many-body systems using ultracold atoms in an optical lattice with controlled dissipation, we describe our experimental setup utilizing one-body atom loss as dissipation with special emphasis on calibration of important system parameters. We discuss loss dynamics observed experimentally.


title: Metric approximations of unrestricted wreath products when the acting group is amenable

abstract: We give a simple and unified proof showing that the unrestricted wreath product of a weakly sofic, sofic, linear sofic, or hyperlinear group by an amenable group is weakly sofic, sofic, linear sofic, or hyperlinear, respectively. By means of the Kaloujnine-Krasner theorem, this implies that group extensions with amenable quotients preserve the four aforementioned metric approximation properties. We also discuss the case of co-amenable groups.


title: The enumeration of extreme rigid honeycombs

abstract: Rigid tree honeycombs were introduced by Knutson, Tao, and Woodward and they were shown by Dykema, Collins, Timotin, and the authors to be sums of extreme rigid honeycombs, with uniquely determined summands up to permutations. Two extreme rigid honeycombs are essentially the same if they have proportional exit multiplicities and, up to this identification, there are countably many equivalence classes of such honeycombs. We describe two ways to approach the enumeration of these equivalence classes. The first method produces a (finite) list of all rigid tree honeycombs of fixed weight by looking at the locking patterns that can be obtained from a certain quadratic Diophantine equation. The second method constructs arbitrary rigid tree honeycombs from rigid overlays of two rigid tree honeycombs with strictly smaller weights. This allows, in principle, for an inductive construction of all rigid tree honeycombs starting with those of unit weight. We also show that some rigid overlays of two rigid tree honeycombs give rise to an infinite sequence of rigid tree honeycombs of increasing complexity but with a fixed number of nonzero exit multiplicities. This last result involves a new inflation/deflation construction that also produces other infinite sequences of rigid tree honeycombs.


title: Quantum droplet in a mixture of Bose-Fermi superfluids

abstract: We study the formation of quantum droplets in the mixture of a single-component Bose-Einstein condensate (BEC), and a two-species Fermi superfluid across a wide Feshbach resonance. With repulsive boson-boson and attractive boson-fermion interactions, we show that quantum droplets can be stabilized by attractive fermion-fermion interactions in the Bardeen-Cooper-Schieffer (BCS) side of the resonance, and can also exist in deep BEC regime under weak boson-fermion interactions. We map out the phase diagram for stable droplets with respect to the boson-boson and boson-fermion interactions, and discuss the role of different types of quantum fluctuations in the relevant regions of the BCS-BEC crossover. Our work reveals the impact of fermion pairing on the formation of quantum droplets in Bose-Fermi mixtures, and provides a useful guide for future experiments.


title: Lower Bound for Succinct Range Minimum Query

abstract: Given an integer array $A[1..n]$, the Range Minimum Query problem (RMQ) asks to preprocess $A$ into a data structure, supporting RMQ queries: given $a,b\in [1,n]$, return the index $i\in[a,b]$ that minimizes $A[i]$, i.e., $\mathrm{argmin}_{i\in[a,b]} A[i]$. This problem has a classic solution using $O(n)$ space and $O(1)$ query time by Gabow, Bentley, Tarjan (STOC, 1984) and Harel, Tarjan (SICOMP, 1984). The best known data structure by Fischer, Heun (SICOMP, 2011) and Navarro, Sadakane (TALG, 2014) uses $2n+n/(\frac{\log n}{t})^t+\tilde{O}(n^{3/4})$ bits and answers queries in $O(t)$ time, assuming the word-size is $w=\Theta(\log n)$. In particular, it uses $2n+n/\mathrm{poly}\log n$ bits of space as long as the query time is a constant. In this paper, we prove the first lower bound for this problem, showing that $2n+n/\mathrm{poly}\log n$ space is necessary for constant query time. In general, we show that if the data structure has query time $O(t)$, then it must use at least $2n+n/(\log n)^{\tilde{O}(t^2)}$ space, in the cell-probe model with word-size $w=\Theta(\log n)$.


title: Practical numerical integration on NISQ devices

abstract: This paper addresses the practical aspects of quantum algorithms used in numerical integration, specifically their implementation on Noisy Intermediate-Scale Quantum (NISQ) devices. Quantum algorithms for numerical integration utilize Quantum Amplitude Estimation (QAE) (Brassard et al., 2002) in conjunction with Grovers algorithm. However, QAE is daunting to implement on NISQ devices since it typically relies on Quantum Phase Estimation (QPE), which requires many ancilla qubits and controlled operations. To mitigate these challenges, a recently published QAE algorithm (Suzuki et al., 2020), which does not rely on QPE, requires a much smaller number of controlled operations and does not require ancilla qubits. We implement this new algorithm for numerical integration on IBM quantum devices using Qiskit and optimize the circuit on each target device. We discuss the application of this algorithm on two qubits and its scalability to more than two qubits on NISQ devices.


title: Deep-Edge: An Efficient Framework for Deep Learning Model Update on Heterogeneous Edge

abstract: Deep Learning (DL) model-based AI services are increasingly offered in a variety of predictive analytics services such as computer vision, natural language processing, speech recognition. However, the quality of the DL models can degrade over time due to changes in the input data distribution, thereby requiring periodic model updates. Although cloud data-centers can meet the computational requirements of the resource-intensive and time-consuming model update task, transferring data from the edge devices to the cloud incurs a significant cost in terms of network bandwidth and are prone to data privacy issues. With the advent of GPU-enabled edge devices, the DL model update can be performed at the edge in a distributed manner using multiple connected edge devices. However, efficiently utilizing the edge resources for the model update is a hard problem due to the heterogeneity among the edge devices and the resource interference caused by the co-location of the DL model update task with latency-critical tasks running in the background. To overcome these challenges, we present Deep-Edge, a load- and interference-aware, fault-tolerant resource management framework for performing model update at the edge that uses distributed training. This paper makes the following contributions. First, it provides a unified framework for monitoring, profiling, and deploying the DL model update tasks on heterogeneous edge devices. Second, it presents a scheduler that reduces the total re-training time by appropriately selecting the edge devices and distributing data among them such that no latency-critical applications experience deadline violations. Finally, we present empirical results to validate the efficacy of the framework using a real-world DL model update case-study based on the Caltech dataset and an edge AI cluster testbed.


title: Model-Free State Estimation Using Low-Rank Canonical Polyadic Decomposition

abstract: As electric grids experience high penetration levels of renewable generation, fundamental changes are required to address real-time situational awareness. This paper uses unique traits of tensors to devise a model-free situational awareness and energy forecasting framework for distribution networks. This work formulates the state of the network at multiple time instants as a three-way tensor; hence, recovering full state information of the network is tantamount to estimating all the values of the tensor. Given measurements received from $\mu$phasor measurement units and/or smart meters, the recovery of unobserved quantities is carried out using the low-rank canonical polyadic decomposition of the state tensor---that is, the state estimation task is posed as a tensor imputation problem utilizing observed patterns in measured quantities. Two structured sampling schemes are considered: slab sampling and fiber sampling. For both schemes, we present sufficient conditions on the number of sampled slabs and fibers that guarantee identifiability of the factors of the state tensor. Numerical results demonstrate the ability of the proposed framework to achieve high estimation accuracy in multiple sampling scenarios.


title: Non-Compact SCFT and Mock Modular Forms

abstract: One of interesting issues in two-dimensional superconformal field theories is the existence of anomalous modular transformation properties appearing in some non-compact superconformal models, corresponding to the `mock modularity' in mathematical literature. I review a series of my studies on this issue in collaboration with T. Eguchi, mainly focusing on the papers [arXiv:1012.5721 [hep-th]], [arXiv:1407.7721 [hep-th]], [arXiv:1603.02903 [hep-th]].


title: Experimental realization of three-dimensional elastic phononic topological insulator

abstract: Three-dimensional (3D) elastic phononic topological insulator, featuring two-dimensional (2D) surface states, which support the high-efficient and robust elastic wave propagation without backscattering in all spatial dimensions, remains a challenge due to the nature of multiple polarized elastic modes and their complex hybridization in 3D. Here, a 3D elastic phononic topological insulator is designed and observed experimentally by emulating the quantum valley Hall effects. The spatial inversion of adjacent atoms gives rise to a valley topological phase to an insulating regime with complete 3D topological phononic bandgap. The 2D surface states protected by valley topology are unveiled numerically, which are confirmed experimentally to have a great robustness against the straight channel and sharp bends. Further engineering the elastic valley layer with appropriate interlayer coupling, we also demonstrate that layer pseudospin can be created in 3D elastic system which leads to 2D topological layer-dependent surface states and layer-selective transport. Our work will be a key step for the manipulation of elastic wave in 2D topological plane and the applications of 3D elastic topological-insulator-based devices with layer-selective functionality.


title: Integrated Eojeol Embedding for Erroneous Sentence Classification in Korean Chatbots

abstract: This paper attempts to analyze the Korean sentence classification system for a chatbot. Sentence classification is the task of classifying an input sentence based on predefined categories. However, spelling or space error contained in the input sentence causes problems in morphological analysis and tokenization. This paper proposes a novel approach of Integrated Eojeol (Korean syntactic word separated by space) Embedding to reduce the effect that poorly analyzed morphemes may make on sentence classification. It also proposes two noise insertion methods that further improve classification performance. Our evaluation results indicate that the proposed system classifies erroneous sentences more accurately than the baseline system by 17%p.0


title: Deep Siamese Domain Adaptation Convolutional Neural Network for Cross-domain Change Detection in Multispectral Images

abstract: Recently, deep learning has achieved promising performance in the change detection task. However, the deep models are task-specific and data set bias often exists, thus it is difficult to transfer a network trained on one multi-temporal data set (source domain) to another multi-temporal data set with very limited (even no) labeled data (target domain). In this paper, we propose a novel deep siamese domain adaptation convolutional neural network (DSDANet) architecture for cross-domain change detection. In DSDANet, a siamese convolutional neural network first extracts spatial-spectral features from multi-temporal images. Then, through multiple kernel maximum mean discrepancy (MK-MMD), the learned feature representation is embedded into a reproducing kernel Hilbert space (RKHS), in which the distribution of two domains can be explicitly matched. By optimizing the network parameters and kernel coefficients with the source labeled data and target unlabeled data, the DSDANet can learn transferrable feature representation that can bridge the discrepancy between two domains. To the best of our knowledge, it is the first time that such a domain adaptation-based deep network is proposed for change detection. The theoretical analysis and experimental results demonstrate the effectiveness and potential of the proposed method.


title: Enabling Incremental Knowledge Transfer for Object Detection at the Edge

abstract: Object detection using deep neural networks (DNNs) involves a huge amount of computation which impedes its implementation on resource/energy-limited user-end devices. The reason for the success of DNNs is due to having knowledge over all different domains of observed environments. However, we need a limited knowledge of the observed environment at inference time which can be learned using a shallow neural network (SHNN). In this paper, a system-level design is proposed to improve the energy consumption of object detection on the user-end device. An SHNN is deployed on the user-end device to detect objects in the observing environment. Also, a knowledge transfer mechanism is implemented to update the SHNN model using the DNN knowledge when there is a change in the object domain. DNN knowledge can be obtained from a powerful edge device connected to the user-end device through LAN or Wi-Fi. Experiments demonstrate that the energy consumption of the user-end device and the inference time can be improved by 78% and 71% compared with running the deep model on the user-end device.


title: Energy Shaping Control of a CyberOctopus Soft Arm

abstract: This paper entails application of the energy shaping methodology to control a flexible, elastic Cosserat rod model. Recent interest in such continuum models stems from applications in soft robotics, and from the growing recognition of the role of mechanics and embodiment in biological control strategies: octopuses are often regarded as iconic examples of this interplay. Here, the dynamics of the Cosserat rod, modeling a single octopus arm, are treated as a Hamiltonian system and the internal muscle actuators are modeled as distributed forces and couples. The proposed energy shaping control design procedure involves two steps: (1) a potential energy is designed such that its minimizer is the desired equilibrium configuration; (2) an energy shaping control law is implemented to reach the desired equilibrium. By interpreting the controlled Hamiltonian as a Lyapunov function, asymptotic stability of the equilibrium configuration is deduced. The energy shaping control law is shown to require only the deformations of the equilibrium configuration. A forward-backward algorithm is proposed to compute these deformations in an online iterative manner. The overall control design methodology is implemented and demonstrated in a dynamic simulation environment. Results of several bio-inspired numerical experiments involving the control of octopus arms are reported.


title: Chemical Migration and Dipole Formation at van der Waals Interfaces between Magnetic Transition Metal Chalcogenides and Topological Insulators

abstract: Metal and magnetic overlayers alter the surface of the topological insulator (TI) bismuth selenide (Bi$_2$Se$_3$) through proximity effects but also by changing the composition and chemical structure of the Bi$_2$Se$_3$ sub-surface. The interface between Bi$_2$Se$_3$ and Mn metal or manganese selenide was explored using x-ray photoelectron spectroscopy (XPS) revealing chemical and electronic changes at the interface. Depositing Mn metal on Bi$_2$Se$_3$ without an external source of Se shows unexpected bonding within the Mn layer due to Mn-Se bonding as Se diffuses out of the Bi$_2$Se$_3$ layer into the growing Mn film. The Se out-diffusion is further evidenced by changes in Bi core levels within the Bi$_2$Se$_3$ layers indicating primarily Bi-Bi bonding over Bi-Se bonding. No out-diffusion of Se occurred when excess Se is supplied with Mn, indicating the importance of supplying enough chalcogen atoms with deposited metals. However, Bi$_2$Se$_3$ core level photoelectrons exhibited a rigid chemical shift toward higher binding energy after depositing a monolayer of MnSe$_{2-x}$, indicating a dipole within the overlayer. Stoichiometry calculations indicated that the monolayer forms MnSe preferentially over the transition metal dichalcogenide (TMD) phase MnSe$_2$, providing a consistent picture of the dipole formation in which a plane of Se anions sits above Mn cations. This study shows that chemical diffusion and dipole formation are important for Mn-Bi$_2$Se$_3$ and MnSe$_{2-x}$-Bi$_2$Se$_3$ and should be considered carefully for TMD/TI interfaces more generally.


title: Self-supervised Feature Learning by Cross-modality and Cross-view Correspondences

abstract: The success of supervised learning requires large-scale ground truth labels which are very expensive, time-consuming, or may need special skills to annotate. To address this issue, many self- or un-supervised methods are developed. Unlike most existing self-supervised methods to learn only 2D image features or only 3D point cloud features, this paper presents a novel and effective self-supervised learning approach to jointly learn both 2D image features and 3D point cloud features by exploiting cross-modality and cross-view correspondences without using any human annotated labels. Specifically, 2D image features of rendered images from different views are extracted by a 2D convolutional neural network, and 3D point cloud features are extracted by a graph convolution neural network. Two types of features are fed into a two-layer fully connected neural network to estimate the cross-modality correspondence. The three networks are jointly trained (i.e. cross-modality) by verifying whether two sampled data of different modalities belong to the same object, meanwhile, the 2D convolutional neural network is additionally optimized through minimizing intra-object distance while maximizing inter-object distance of rendered images in different views (i.e. cross-view). The effectiveness of the learned 2D and 3D features is evaluated by transferring them on five different tasks including multi-view 2D shape recognition, 3D shape recognition, multi-view 2D shape retrieval, 3D shape retrieval, and 3D part-segmentation. Extensive evaluations on all the five different tasks across different datasets demonstrate strong generalization and effectiveness of the learned 2D and 3D features by the proposed self-supervised method.


title: Temporal-mode continuous-variable 3-dimensional cluster state for topologically-protected measurement-based quantum computation

abstract: Measurement-based quantum computation with continuous variables in an optical setup shows the great promise towards implementation of large-scale quantum computation, where the time-domain multiplexing approach enables us to generate the large-scale cluster state used to perform measurement-based quantum computation. To make effective use of the advantage of the time-domain multiplexing approach, in this paper, we propose the method to generate the large-scale 3-dimensional cluster state which is a platform for topologically protected measurement-based quantum computation. Our method combines a time-domain multiplexing approach with a divide-and-conquer approach, and has the two advantages for implementing large-scale quantum computation. First, the squeezing level for verification of the entanglement of the 3-dimensional cluster states is experimentally feasible. The second advantage is the robustness against analog errors derived from the finite squeezing of continuous variables during topologically-protected measurement-based quantum computation. Therefore, our method is a promising approach to implement large-scale quantum computation with continuous variables.


title: Approximating percentage of academic traffic in the World Wide Web and rankings of countries based on academic traffic

abstract: The paper introduces a novel mechanism for approximating traffic of the academic sites (universities and research institutes) in the World Wide Web based on Alexa rankings. Firstly we introduce and discuss new method for calculating score (weight) of each site based on its Alexa rank. Secondly we calculate percentage of academic traffic in the World Wide Web. Thirdly we introduce and discuss two new rankings of countries based on academic traffic. Finally we discuss about three indicators and effects of them in traffic of the academic sites. Results indicate that the methodology can be useful for approximating traffic of the academic sites and producing rankings of countries in practice


title: Electron Chirality in Amino Acid Molecules

abstract: We evaluated the total electron chirality in alanine, serine, and valine, which are molecules that have chiral structures. Previously, it has been considered that the total electron chirality of molecules composed of only light elements cannot be computed within usual computational conditions of relativistic four-component wave functions. In this work, it is shown that the total electron chirality can be calculated if some diffuse functions are added to Gaussian basis sets. This is demonstrated for the H$_2$O$_2$ molecule. By adding diffuse Gaussian functions to basis sets, the total electron chirality of L-alanine, L-serine, and L-valine are evaluated. It is also shown that the total electron chirality is derived by the cancellation between large contributions from each orbital, and the total electron chirality in excited and ionized states is expected to be much larger than that of the ground state.


title: The Schur multiplier of an $n$-Lie superalgebra

abstract: In the present paper, we study the notion of the Schur multiplier $\mathcal{M}(L)$ of an $n$-Lie superalgebra $L$, and prove that $\dim \mathcal{M}(L) \leq \sum_{i=0}^{n} {m\choose{i}} \mathcal{L}(n-i,k)$, where $\dim L=(m|k)$, $\mathcal{L}(0,k)=1$ and $\mathcal{L}(t,k) = \sum_{j=1}^{t}{{t-1}\choose{j-1}} {k\choose j}$, for $1\leq t\leq n$. Moreover, we obtain an upper bound for the dimension of $\mathcal{M}(L)$ in which $L$ is a nilpotent $n$-Lie superalgebra with one-dimensional derived superalgebra. It is also provided several inequalities on $\dim\mathcal{M}(L)$ as well as an $n$-Lie superalgebra analogue of the converse of Schur's theorem.


title: The QCD critical point from the Nambu-Jona-Lasino model with a scalar-vector interaction

abstract: We study the critical point in the QCD phase diagram in the Nambu-Jona-Lasino (NJL) model by including a scalar-vector coupled interaction. We find that varying the strength of this interaction, which has no effect on the vacuum properties of QCD, can significantly affect the location of the critical point in the QCD phase diagram, particularly the value of the cirtical temperature. This provides a convenient way to use the NJL-based transport or hydrodynamic model to extract information about the QCD phase diagram from relativistic heavy-ion collisions.


title: Aspect and Opinion Aware Abstractive Review Summarization with Reinforced Hard Typed Decoder

abstract: In this paper, we study abstractive review summarization.Observing that review summaries often consist of aspect words, opinion words and context words, we propose a two-stage reinforcement learning approach, which first predicts the output word type from the three types, and then leverages the predicted word type to generate the final word distribution.Experimental results on two Amazon product review datasets demonstrate that our method can consistently outperform several strong baseline approaches based on ROUGE scores.


title: A globally convergent method to accelerate topology optimization using on-the-fly model reduction

abstract: We present a globally convergent method to accelerate density-based topology optimization using projection-based reduced-order models (ROMs) and trust-region methods. To accelerate topology optimization, we replace the large-scale finite element simulation, which dominates the computational cost, with ROMs that reduce the cost of objective function and gradient evaluations by orders of magnitude. To guarantee convergence, we first introduce a trust-region method that employs generalized trust-region constraints and prove it is globally convergent. We then devise a class of globally convergent ROM-accelerated topology optimization methods informed by two theories: the aforementioned trust-region theory, which identifies the ROM accuracy conditions required to guarantee the method converges to a critical point of the original topology optimization problem; a posteriori error estimation theory for projection-based ROMs, which informs ROM construction procedure to meet the accuracy conditions. This leads to trust-region methods that construct and update the ROM on-the-fly during optimization; the methods are guaranteed to converge to a critical point of the original, unreduced topology optimization problem, regardless of starting point. Numerical experiments on three different structural topology optimization problems demonstrate the proposed reduced topology optimization methods accelerate convergence to the optimal design by up to an order of magnitude.


title: Reinforced Curriculum Learning on Pre-trained Neural Machine Translation Models

abstract: The competitive performance of neural machine translation (NMT) critically relies on large amounts of training data. However, acquiring high-quality translation pairs requires expert knowledge and is costly. Therefore, how to best utilize a given dataset of samples with diverse quality and characteristics becomes an important yet understudied question in NMT. Curriculum learning methods have been introduced to NMT to optimize a model's performance by prescribing the data input order, based on heuristics such as the assessment of noise and difficulty levels. However, existing methods require training from scratch, while in practice most NMT models are pre-trained on big data already. Moreover, as heuristics, they do not generalize well. In this paper, we aim to learn a curriculum for improving a pre-trained NMT model by re-selecting influential data samples from the original training set and formulate this task as a reinforcement learning problem. Specifically, we propose a data selection framework based on Deterministic Actor-Critic, in which a critic network predicts the expected change of model performance due to a certain sample, while an actor network learns to select the best sample out of a random batch of samples presented to it. Experiments on several translation datasets show that our method can further improve the performance of NMT when original batch training reaches its ceiling, without using additional new training data, and significantly outperforms several strong baseline methods.


title: Deep Learning COVID-19 Features on CXR using Limited Training Data Sets

abstract: Under the global pandemic of COVID-19, the use of artificial intelligence to analyze chest X-ray (CXR) image for COVID-19 diagnosis and patient triage is becoming important. Unfortunately, due to the emergent nature of the COVID-19 pandemic, a systematic collection of the CXR data set for deep neural network training is difficult. To address this problem, here we propose a patch-based convolutional neural network approach with a relatively small number of trainable parameters for COVID-19 diagnosis. The proposed method is inspired by our statistical analysis of the potential imaging biomarkers of the CXR radiographs. Experimental results show that our method achieves state-of-the-art performance and provides clinically interpretable saliency maps, which are useful for COVID-19 diagnosis and patient triage.


title: Low-Cost and High-Throughput Testing of COVID-19 Viruses and Antibodies via Compressed Sensing: System Concepts and Computational Experiments

abstract: Coronavirus disease 2019 (COVID-19) is an ongoing pandemic infectious disease outbreak that has significantly harmed and threatened the health and lives of millions or even billions of people. COVID-19 has also negatively impacted the social and economic activities of many countries significantly. With no approved vaccine available at this moment, extensive testing of COVID-19 viruses in people are essential for disease diagnosis, virus spread confinement, contact tracing, and determining right conditions for people to return to normal economic activities. Identifying people who have antibodies for COVID-19 can also help select persons who are suitable for undertaking certain essential activities or returning to workforce. However, the throughputs of current testing technologies for COVID-19 viruses and antibodies are often quite limited, which are not sufficient for dealing with COVID-19 viruses' anticipated fast oscillating waves of spread affecting a significant portion of the earth's population. In this paper, we propose to use compressed sensing (group testing can be seen as a special case of compressed sensing when it is applied to COVID-19 detection) to achieve high-throughput rapid testing of COVID-19 viruses and antibodies, which can potentially provide tens or even more folds of speedup compared with current testing technologies. The proposed compressed sensing system for high-throughput testing can utilize expander graph based compressed sensing matrices developed by us \cite{Weiyuexpander2007}.


title: Quiver matrix model of ADHM type and BPS state counting in diverse dimensions

abstract: We review the problem of BPS state counting described by the generalized quiver matrix model of ADHM type. In four dimensions the generating function of the counting gives the Nekrasov partition function and we obtain generalization in higher dimensions. By the localization theorem, the partition function is given by the sum of contributions from the fixed points of the torus action, which are labeled by partitions, plane partitions and solid partitions. The measure or the Boltzmann weight of the path integral can take the form of the plethystic exponential. Remarkably after integration the partition function or the vacuum expectation value is again expressed in plethystic form. We regard it as a characteristic property of the BPS state counting problem, which is closely related to the integrability.


title: Automatic Generation of Hierarchical Contracts for Resilience in Cyber-Physical Systems

abstract: With the growing scale of Cyber-Physical Systems (CPSs), it is challenging to maintain their stability under all operating conditions. How to reduce the downtime and locate the failures becomes a core issue in system design. In this paper, we employ a hierarchical contract-based resilience framework to guarantee the stability of CPS. In this framework, we use Assume Guarantee (A-G) contracts to monitor the non-functional properties of individual components (e.g., power and latency), and hierarchically compose such contracts to deduce information about faults at the system level. The hierarchical contracts enable rapid fault detection in large-scale CPS. However, due to the vast number of components in CPS, manually designing numerous contracts and the hierarchy becomes challenging. To address this issue, we propose a technique to automatically decompose a root contract into multiple lower-level contracts depending on I/O dependencies between components. We then formulate a multi-objective optimization problem to search the optimal parameters of each lower-level contract. This enables automatic contract refinement taking into consideration the communication overhead between components. Finally, we use a case study from the manufacturing domain to experimentally demonstrate the benefits of the proposed framework.