title: Universal coacting Poisson Hopf algebras

abstract: We introduce the analogue of Manin's universal coacting (bialgebra) Hopf algebra for Poisson algebras. First, for two given Poisson algebras $P$ and $U$, where $U$ is finite dimensional, we construct a Poisson algebra $\mathcal{B}(P,\, U)$ together with a Poisson algebra homomorphism $\psi_{\mathcal{B}(P,\,U)} \colon P \to U \otimes \mathcal{B}(P,\, U)$ satisfying a suitable universal property. $\mathcal{B}(P,\, U)$ is shown to admit a Poisson bialgebra structure for any pair of Poisson algebra homomorphisms subject to certain compatibility conditions. If $P=U$ is a finite dimensional Poisson algebra then $\mathcal{B}(P) = \mathcal{B}(P,\, P)$ admits a unique Poisson bialgebra structure such that $\psi_{\mathcal{B}(P)}$ becomes a Poisson comodule algebra and, moreover, the pair $\bigl(\mathcal{B}(P),\, \psi_{\mathcal{B}(P)}\bigl)$ is the universal coacting bialgebra of $P$. The universal coacting Poisson Hopf algebra $\mathcal{H}(P)$ on $P$ is constructed as the initial object in the category of Poisson comodule algebra structures on $P$ by using the free Poisson Hopf algebra on a Poisson bialgebra (\cite{A1}).


title: A Multigrid Method for a Nitsche-based Extended Finite Element Method

abstract: We present a tailored multigrid method for linear problems stemming from a Nitsche-based extended finite element method (XFEM). Our multigrid method is robust with respect to highly varying coefficients and the number of interfaces in a domain. It shows level independent convergence rates when applied to different variants of Nitsche's method. Generally, multigrid methods require a hierarchy of finite element (FE) spaces which can be created geometrically using a hierarchy of nested meshes. However, in the XFEM framework, standard multigrid methods might demonstrate poor convergence properties if the hierarchy of FE spaces employed is not nested. We design a prolongation operator for the multigrid method in such a way that it can accommodate the discontinuities across the interfaces in the XFEM framework and recursively induces a nested FE space hierarchy. The prolongation operator is constructed using so-called pseudo-$L^2$-projections; as common, the adjoint of the prolongation operator is employed as the restriction operator. The stabilization parameter in Nitsche's method plays an important role in imposing interface conditions and also affects the condition number of the linear systems. We discuss the requirements on the stabilization parameter to ensure coercivity and review selected strategies from the literature which are used to implicitly estimate the stabilization parameter. Eventually, we compare the impact of different variations of Nitsche's method on discretization errors and condition number of the linear systems. We demonstrate the robustness of our multigrid method with respect to varying coefficients and the number of interfaces and compare it with other preconditioners.


title: Just Go with the Flow: Self-Supervised Scene Flow Estimation

abstract: When interacting with highly dynamic environments, scene flow allows autonomous systems to reason about the non-rigid motion of multiple independent objects. This is of particular interest in the field of autonomous driving, in which many cars, people, bicycles, and other objects need to be accurately tracked. Current state-of-the-art methods require annotated scene flow data from autonomous driving scenes to train scene flow networks with supervised learning. As an alternative, we present a method of training scene flow that uses two self-supervised losses, based on nearest neighbors and cycle consistency. These self-supervised losses allow us to train our method on large unlabeled autonomous driving datasets; the resulting method matches current state-of-the-art supervised performance using no real world annotations and exceeds state-of-the-art performance when combining our self-supervised approach with supervised learning on a smaller labeled dataset.


title: Optimization for Reinforcement Learning: From Single Agent to Cooperative Agents

abstract: This article reviews recent advances in multi-agent reinforcement learning algorithms for large-scale control systems and communication networks, which learn to communicate and cooperate. We provide an overview of this emerging field, with an emphasis on the decentralized setting under different coordination protocols. We highlight the evolution of reinforcement learning algorithms from single-agent to multi-agent systems, from a distributed optimization perspective, and conclude with future directions and challenges, in the hope to catalyze the growing synergy among distributed optimization, signal processing, and reinforcement learning communities.


title: Scalar Insertions in Cusped Wilson Loops in the Ladders Limit of Planar N=4 SYM

abstract: Compact expressions in terms of the Q-functions of the Quantum Spectral Curve are given for 3-cusped fundamental Wilson loops in the ladders limit of $\mathcal{N}=4$ Super Yang-Mills with additional scalars inserted at a cusp between uncoupled arcs. This gives some further credence to the already natural and evidenced view that the Quantum Spectral Curve in fact pertains to a wide class of observables beyond the spectrum, as well as providing additional nonperturbative ladders limit results.


title: Riemann-Hilbert Characterisation of Rational Functions with a General Distribution of Poles on the Extended Real Line Orthogonal with Respect to Varying Exponential Weights: Multi-Point Pad\'e Approximants and Asymptotics

abstract: Given $K$ arbitrary poles, which are neither necessarily distinct nor bounded, on the extended real line, a corresponding ordered base of rational functions orthogonal with respect to varying exponential weights is constructed: this gives rise to a $K$-fold family of orthogonal rational functions (ORFs). The ORF problem is characterised as a family of $K$ matrix Riemann-Hilbert problems (RHPs) on the extended real line, and a corresponding family of $K$ energy minimisation (variational) problems containing external fields with singular points is formulated, and the existence, uniqueness, and regularity properties of the associated family of equilibrium measures is established. The family of $K$ equilibrium measures is used to derive a family of $K$ model matrix RHPs on the extended real line that are amenable to asymptotic analysis via the Deift-Zhou non-linear steepest-descent method: this is used to derive uniform asymptotics, in a certain double-scaling limit, of the ORFs and their leading coefficients, as well as related, important objects, in the entire complex plane. A family of $K$ multi-point Pad\'e approximants (MPAs) for the Markov-Stieltjes transform is also presented, and uniform asymptotics, in a certain double-scaling limit, are obtained for the corresponding MPAs and their associated errors in approximation (MPA error terms) in the entire complex plane.


title: Interpreting Context of Images using Scene Graphs

abstract: Understanding a visual scene incorporates objects, relationships, and context. Traditional methods working on an image mostly focus on object detection and fail to capture the relationship between the objects. Relationships can give rich semantic information about the objects in a scene. The context can be conducive to comprehending an image since it will help us to perceive the relation between the objects and thus, give us a deeper insight into the image. Through this idea, our project delivers a model that focuses on finding the context present in an image by representing the image as a graph, where the nodes will the objects and edges will be the relation between them. The context is found using the visual and semantic cues which are further concatenated and given to the Support Vector Machines (SVM) to detect the relation between two objects. This presents us with the context of the image which can be further used in applications such as similar image retrieval, image captioning, or story generation.


title: Predicting solar flares with machine learning: investigating solar cycle dependence

abstract: A deep learning network, Long-Short Term Memory (LSTM) network, is used in this work to predict whether the maximum flare class an active region (AR) will produce in the next 24 hours is class $\Gamma$. We considered $\Gamma$ are $\ge M$, $\ge C$ and any flare class. The essence of using LSTM, which is a recurrent neural network, is its capability to capture temporal information of the data samples. The input features are time sequences of 20 magnetic parameters from SHARPs - Space-weather HMI Active Region Patches. We analyzed active regions from June 2010 to Dec 2018, using the Geostationary Operational Environmental Satellite (GOES) X-ray flare catalogs and label the data samples with identified ARs in the GOES X-ray flare catalogs. Our results (i) shows consistent skill scores with recently published results using LSTMs and better than the previous work using single time input (eg. DeFN) (ii) The skill scores from the model show essential differences when different years of data was chosen for training and testing.


title: Study of microwave resonances induced by bias lines of shunted Josephson junctions

abstract: Bias lines routed over a ground plane naturally form microstrip lines associated with the presence of a capacitance. This can lead to unwanted resonances when coupled to Josephson junctions. This work presents an electrical model of a shunted Josephson junction with its bias lines and pads, fabricated with the 1 kA/cm$^2$ RSFQ niobium process of the FLUXONICS Foundry. A compact LCL T-model is used to simulate the microwave behavior of the bias line, predict resonances and design resonance-free superconducting circuits. The I-V characteristics of three shunted Josephson junctions have been obtained from time-domain simulations done with JSIM and show a good match with the global behavior and experimentally observed resonance at 230 GHz, measured at 4.2 K. The influence of the position and value of a series resistor placed on bias lines is studied to damp unwanted resonances at the junction.


title: A Caputo based SIRS and SIS fractional order models with standard incidence rate and varying population

abstract: In the present work, we have introduced and studied two epidemic models that are constructed with Caputo fractional derivative. We considered standard incidence rate and varying population dynamics for SIS and SIRS mathematical models. Model equilibria, basic reproduction numbers are determined and local stability analysis are established for the two fractional dynamical models. Finally, the efficient fracPECE iterative scheme for fractional order deterministic dynamical models is applied to perform numerical simulations.


title: New inconsistency indicators for incomplete pairwise comparisons matrices

abstract: We introduce two new inconsistency measures for the incomplete pairwise comparisons matrices and show several examples of their calculation. We also carry out a comparative analysis of the new inconsistency indices with the existing ones based on the Monte Carlo simulation.


title: A generalization of combinatorial identities for stable discrete series constants

abstract: This article is concerned with the constants that appear in Harish-Chandra's character formula for stable discrete series of real reductive groups, although it does not require any knowledge about real reductive groups or discrete series. In Harish-Chandra's work the only information we have about these constants is that they are uniquely determined by an inductive property. Later Goresky-Kottwitz-MacPherson and Herb gave different formulas for these constants. In this article we generalize these formulas to the case of arbitrary finite Coxeter groups (in this setting, discrete series no longer make sense), and give a direct proof that the two formulas agree. We actually prove a slightly more general identity that also implies the combinatorial identity underlying the discrete series character identities of Morel. We deduce this identity from a general abstract theorem giving a way to calculate the alternating sum of the values of a valuation on the chambers of a Coxeter arrangement. We also introduce a ring structure on the set of valuations on polyhedral cones in Euclidean space with values in a fixed ring. This gives a theoretical framework for the valuation appearing in Appendix A of the Goresky-Kottwitz-MacPherson paper. In Appendix B we extend the notion of $2$-structures (due to Herb) to pseudo-root systems.


title: Neutralization of excited antiprotonic helium ion in collisions with helium atoms

abstract: We consider a neutralization of excited antiprotonic helium ion accompanied by antiproton transitions to lower states in collisions with helium atoms $(\bar{p}\mathrm{He}^{2+})_{nl} + \mathrm{He} \rightarrow \left[ (\bar{p}\mathrm{He}^{2+})_{n_f l_f} e\right]_{1s} + \mathrm{He}^+$ in low-temperature medium. Interactions in the input and output channels are taken similar to the potentials of $\mathrm{H}^+ - \mathrm{He}$ ($X^1\Sigma$) and $\mathrm{H} - \mathrm{He}^+$ ($A^1\Sigma$) systems, respectively. The final term is shifted down by the antiproton transition energy. Therefore initial and final terms can intersect for the suitable antiproton quantum numbers leading to an appreciable cross sections of the transitions. We have found that this process can provide an additional increase of effective annihilation rates for highly excited antiprotonic helium ion even in the low-density and temperature target corresponding to known experimental conditions.


title: Cascading Hybrid Bandits: Online Learning to Rank for Relevance and Diversity

abstract: Relevance ranking and result diversification are two core areas in modern recommender systems. Relevance ranking aims at building a ranked list sorted in decreasing order of item relevance, while result diversification focuses on generating a ranked list of items that covers a broad range of topics. In this paper, we study an online learning setting that aims to recommend a ranked list with $K$ items that maximizes the ranking utility, i.e., a list whose items are relevant and whose topics are diverse. We formulate it as the cascade hybrid bandits (CHB) problem. CHB assumes the cascading user behavior, where a user browses the displayed list from top to bottom, clicks the first attractive item, and stops browsing the rest. We propose a hybrid contextual bandit approach, called CascadeHybrid, for solving this problem. CascadeHybrid models item relevance and topical diversity using two independent functions and simultaneously learns those functions from user click feedback. We conduct experiments to evaluate CascadeHybrid on two real-world recommendation datasets: MovieLens and Yahoo music datasets. Our experimental results show that CascadeHybrid outperforms the baselines. In addition, we prove theoretical guarantees on the $n$-step performance demonstrating the soundness of CascadeHybrid.


title: Speeding up Word Mover's Distance and its variants via properties of distances between embeddings

abstract: The Word Mover's Distance (WMD) proposed by Kusner et al. is a distance between documents that takes advantage of semantic relations among words that are captured by their embeddings. This distance proved to be quite effective, obtaining state-of-art error rates for classification tasks, but is also impracticable for large collections/documents due to its computational complexity. For circumventing this problem, variants of WMD have been proposed. Among them, Relaxed Word Mover's Distance (RWMD) is one of the most successful due to its simplicity, effectiveness, and also because of its fast implementations. Relying on assumptions that are supported by empirical properties of the distances between embeddings, we propose an approach to speed up both WMD and RWMD. Experiments over 10 datasets suggest that our approach leads to a significant speed-up in document classification tasks while maintaining the same error rates.


title: Energy dissipation for hereditary and energy conservation for non-local fractional wave equations

abstract: Using the method of a priori energy estimates, energy dissipation is proved for the class of hereditary fractional wave equations, obtained through the system of equations consisting of equation of motion, strain, and fractional order constitutive models, that include the distributed-order constitutive law in which the integration is performed from zero to one generalizing all linear constitutive models of fractional and integer orders, as well as for the thermodynamically consistent fractional Burgers models, where the orders of fractional differentiation are up to the second order. In the case of non-local fractional wave equations, obtained using non-local constitutive models of Hooke- and Eringen-type in addition to the equation of motion and strain, a priori energy estimates yield the energy conservation, with the reinterpreted notion of the potential energy.


title: Some Results on Dominating Induced Matchings

abstract: Let $G$ be a graph, a dominating induced matching (DIM) of $G$ is an induced matching that dominates every edge of $G$. In this paper we show that if a graph $G$ has a DIM, then $\chi(G) \leqslant 3$. Also, it is shown that if $G$ is a connected graph whose all edges can be partitioned into DIM, then $G$ is either a regular graph or a biregular graph and indeed we characterize all graphs whose edge set can be partitioned into DIM. Also, we prove that if $G$ is an $r$-regular graph of order $n$ whose edges can be partitioned into DIM, then $n$ is divisible by $\binom{2r - 1}{r - 1}$ and $n = \binom{2r - 1}{r - 1}$ if and only if $G$ is the Kneser graph with parameters $r-1$, $2r-1$.


title: Knowledge Infused Learning (K-IL): Towards Deep Incorporation of Knowledge in Deep Learning

abstract: Learning the underlying patterns in data goes beyond instance-based generalization to external knowledge represented in structured graphs or networks. Deep learning that primarily constitutes neural computing stream in AI has shown significant advances in probabilistically learning latent patterns using a multi-layered network of computational nodes (i.e., neurons/hidden units). Structured knowledge that underlies symbolic computing approaches and often supports reasoning, has also seen significant growth in recent years, in the form of broad-based (e.g., DBPedia, Yago) and domain, industry or application specific knowledge graphs. A common substrate with careful integration of the two will raise opportunities to develop neuro-symbolic learning approaches for AI, where conceptual and probabilistic representations are combined. As the incorporation of external knowledge will aid in supervising the learning of features for the model, deep infusion of representational knowledge from knowledge graphs within hidden layers will further enhance the learning process. Although much work remains, we believe that knowledge graphs will play an increasing role in developing hybrid neuro-symbolic intelligent systems (bottom-up deep learning with top-down symbolic computing) as well as in building explainable AI systems for which knowledge graphs will provide scaffolding for punctuating neural computing. In this position paper, we describe our motivation for such a neuro-symbolic approach and framework that combines knowledge graph and neural networks.


title: A Quasi-Newton Method Based Vertical Federated Learning Framework for Logistic Regression

abstract: Data privacy and security becomes a major concern in building machine learning models from different data providers. Federated learning shows promise by leaving data at providers locally and exchanging encrypted information. This paper studies the vertical federated learning structure for logistic regression where the data sets at two parties have the same sample IDs but own disjoint subsets of features. Existing frameworks adopt the first-order stochastic gradient descent algorithm, which requires large number of communication rounds. To address the communication challenge, we propose a quasi-Newton method based vertical federated learning framework for logistic regression under the additively homomorphic encryption scheme. Our approach can considerably reduce the number of communication rounds with a little additional communication cost per round. Numerical results demonstrate the advantages of our approach over the first-order method.


title: State dependent diffusion in a bistable potential: conditional probabilities and escape rates

abstract: We consider a simple model of a bistable system under the influence of multiplicative noise. We provide a path integral representation of the overdamped Langevin dynamics and compute conditional probabilities and escape rates in the weak noise approximation. The saddle-point solution of the functional integral is given by a diluted gas of instantons and anti-instantons, similarly to the additive noise problem. However, in this case, the integration over fluctuations is more involved. We introduce a local time reparametrization that allows its computation in the form of usual Gaussian integrals. We found corrections to the Kramers' escape rate produced by the diffusion function which governs the state dependent diffusion for arbitrary values of the stochastic prescription parameter. Theoretical results are confirmed through numerical simulations.


title: Texture Hallucination for Large-Factor Painting Super-Resolution

abstract: We aim to super-resolve digital paintings, synthesizing realistic details from high-resolution reference painting materials for very large scaling factors (e.g., 8X, 16X). However, previous single image super-resolution (SISR) methods would either lose textural details or introduce unpleasing artifacts. On the other hand, reference-based SR (Ref-SR) methods can transfer textures to some extent, but is still impractical to handle very large factors and keep fidelity with original input. To solve these problems, we propose an efficient high-resolution hallucination network for very large scaling factors with an efficient network structure and feature transferring. To transfer more detailed textures, we design a wavelet texture loss, which helps to enhance more high-frequency components. At the same time, to reduce the smoothing effect brought by the image reconstruction loss, we further relax the reconstruction constraint with a degradation loss which ensures the consistency between downscaled super-resolution results and low-resolution inputs. We also collected a high-resolution (e.g., 4K resolution) painting dataset PaintHD by considering both physical size and image resolution. We demonstrate the effectiveness of our method with extensive experiments on PaintHD by comparing with SISR and Ref-SR state-of-the-art methods.


title: The (theta, wheel)-free graphs Part IV: induced paths and cycles

abstract: A hole in a graph is a chordless cycle of length at least 4. A theta is a graph formed by three internally vertex-disjoint paths of length at least 2 between the same pair of distinct vertices. A wheel is a graph formed by a hole and a node that has at least 3 neighbors in the hole. In this series of papers we study the class of graphs that do not contain as an induced subgraph a theta nor a wheel. In Part II of the series we prove a decomposition theorem for this class, that uses clique cutsets and 2-joins. In this paper we use this decomposition theorem to solve several problems related to finding induced paths and cycles in our class.


title: Standing Waves for Nonautonomous Klein-Gordon-Maxwell Systems

abstract: We study a Klein-Gordon-Maxwell system, in a bounded spatial domain, under Neumann boundary conditions on the electric potential. We allow a nonconstant coupling coefficient. For sufficiently small data, we find infinitely many standing waves.


title: Beyond classical Hamilton's Rule. State distribution asymmetry and the dynamics of altruism

abstract: This paper analyzes relationships between demographic and state-based evolutionary game framework and inclusive fitness and Hamilton's rule. It is shown that the classical Hamilton's rule (counterfactual method) combined with demographic payoff functions, leads to easily testable models. It works well in the case when the roles of donor and receiver are randomly drawn during each interaction event. This is illustrated by the alarm call example. However, we can imagine situations in which role-switching results from some external mechanism. For example, fluxes of individuals between the border and the interior of the habitat, when only border individuals may spot the threat and warn their neighbors. To cover these cases, a new model is extended to the case with explicit dynamics of the role distributions among carriers of different strategies, driven by some general mechanisms. It is thereby shown that even in the case when fluxes between roles are driven by neutral mechanisms acting in the same way on all strategies, differences in mortality in the focal interaction lead to different distributions of roles for different strategies. This leads to a more complex rule for cooperation than the classical Hamilton's rule. In addition to the classical cost and benefit, the new rule contains a third component weighted by the difference in proportions of donors among carriers of both strategies. Depending on the sign, this component can be termed the survival surplus, or the sacrifice cost, when the receiver's survival exceeds that of the donor. For the "surplus" case, cooperators can win even in the case when the assortment mechanism is inefficient (i.e probability of receiving help for noncooperators is slightly greater than for cooperators), which is impossible in the classical Hamilton's rule.


title: Location Forensics of Media Recordings Utilizing Cascaded SVM and Pole-matching Classifiers

abstract: Information regarding the location of power distribution grid can be extracted from the power signature embedded in the multimedia signals (e.g., audio, video data) recorded near electrical activities. This implicit mechanism of identifying the origin-of-recording can be a very promising tool for multimedia forensics and security applications. In this work, we have developed a novel grid-of-origin identification system from media recording that consists of a number of support vector machine (SVM) followed by pole-matching (PM) classifiers. First, we determine the nominal frequency of the grid (50 or 60 Hz) based on the spectral observation. Then an SVM classifier, trained for the detection of a grid with a particular nominal frequency, narrows down the list of possible grids on the basis of different discriminating features extracted from the electric network frequency (ENF) signal. The decision of the SVM classifier is then passed to the PM classifier that detects the final grid based on the minimum distance between the estimated poles of test and training grids. Thus, we start from the problem of classifying grids with different nominal frequencies and simplify the problem of classification in three stages based on nominal frequency, SVM and finally using PM classifier. This cascaded system of classification ensures better accuracy (15.57% higher) compared to traditional ENF-based SVM classifiers described in the literature.


title: Adaptive Divergence for Rapid Adversarial Optimization

abstract: Adversarial Optimization (AO) provides a reliable, practical way to match two implicitly defined distributions, one of which is usually represented by a sample of real data, and the other is defined by a generator. Typically, AO involves training of a high-capacity model on each step of the optimization. In this work, we consider computationally heavy generators, for which training of high-capacity models is associated with substantial computational costs. To address this problem, we introduce a novel family of divergences, which varies the capacity of the underlying model, and allows for a significant acceleration with respect to the number of samples drawn from the generator. We demonstrate the performance of the proposed divergences on several tasks, including tuning parameters of a physics simulator, namely, Pythia event generator.


title: Four Lectures on Analytic Solutions in Open String Field Theory

abstract: The following notes derive from review lectures on the subject of analytic solutions in open string field theory, given at the School for String Field Theory and String Phenomenology at the Harish-Chandra Research Institute in February 2018.


title: Replicator dynamics for the game theoretic selection models based on state

abstract: The paper contains the attempt to integration of the classical evolutionary game theory based on replicator dynamics and the state based approach of Houston and Mcnamara. In the new approach, individuals have different heritable strategies, however the individuals carrying the same strategy can differ on the state, role or situation in which they act. Thus, the classical replicator dynamics is completed by the additional subsystem of differential equations describing the dynamics of transitions between different states. In effect the interactions described by game structure, in addition to the demographic payoffs (constituted by births and deaths) can lead to the change of state of the competing individuals. The special cases of the new framework of stage structured models where the state changes describe developmental steps or aging are derived. New approach is illustrated by the example of Owner-Intruder game with explicit dynamics of the role changes. New model is the generalization of the demographic version of the Hawk-Dove game, the difference is that opponents in the game are drawn from two separate subpopulations consisting of Owners and Intruders. Intruders check random nest sites, and play the Hawk-Dove game with the Owner if they are occupied. Interesting feedback mechanism is produced by fluxes of individuals between subpopulations. Owners produce newborns which become Intruders, since they should find a free nest site to reproduce.


title: Lorentz-symmetry violating physics in a supersymmetric scenario in $(2+1)$-D

abstract: We study the dimensional reduction for a $(3+1)$-dimensional Lorentz Violating Lagrangian in the matter and gauge sectors in a Supersymmetric scenario. We thus obtain an effective model for photons induced by the effects of supersymmetry in our framework with Lorentz-symmetry violating. This model is discussed in connection with the attainment of a static potential between charged particles. Our calculation is done within the framework of the gauge-invariant, but path-dependent variable formalism. We thus find that the interaction energy displays a screening part, encoded by Bessel functions, and a linear confining potential.


title: Factor Analysis on Citation, Using a Combined Latent and Logistic Regression Model

abstract: We propose a combined model, which integrates the latent factor model and the logistic regression model, for the citation network. It is noticed that neither a latent factor model nor a logistic regression model alone is sufficient to capture the structure of the data. The proposed model has a latent (i.e., factor analysis) model to represents the main technological trends (a.k.a., factors), and adds a sparse component that captures the remaining ad-hoc dependence. Parameter estimation is carried out through the construction of a joint-likelihood function of edges and properly chosen penalty terms. The convexity of the objective function allows us to develop an efficient algorithm, while the penalty terms push towards a low-dimensional latent component and a sparse graphical structure. Simulation results show that the proposed method works well in practical situations. The proposed method has been applied to a real application, which contains a citation network of statisticians (Ji and Jin, 2016). Some interesting findings are reported.


title: Laguerre Ensemble: Correlators, Hurwitz Numbers and Hodge Integrals

abstract: We consider the Laguerre partition function, and derive explicit generating functions for connected correlators with arbitrary integer powers of traces in terms of products of Hahn polynomials. It was recently proven that correlators have a topological expansion in terms of weakly or strictly monotone Hurwitz numbers, that can be explicitly computed from our formulae. As a second result we identify the Laguerre partition function with only positive couplings and a special value of the parameter $\alpha=-1/2$ with the modified GUE partition function, which has recently been introduced as a generating function of Hodge integrals. This identification provides a direct and new link between monotone Hurwitz numbers and Hodge integrals.


title: Are Fast Radio Bursts Made By Neutron Stars?

abstract: Popular models of repeating Fast Radio Bursts (and perhaps of all Fast Radio Bursts) involve neutron stars because of their high rotational or magnetostatic energy densities. These models take one of two forms: giant but rare pulsar-like pulses like those of Rotating RAdio Transients and outbursts like those of Soft Gamma Repeaters. Here I collate the evidence, recently strengthened, against these models, including the absence of Galactic micro-FRB, and attribute the 16 day periodicity of FRB 180916.J0158+65 to the precession of a jet produced by a massive black hole's accretion disc.


title: Detecting GAN generated errors

abstract: Despite an impressive performance from the latest GAN for generating hyper-realistic images, GAN discriminators have difficulty evaluating the quality of an individual generated sample. This is because the task of evaluating the quality of a generated image differs from deciding if an image is real or fake. A generated image could be perfect except in a single area but still be detected as fake. Instead, we propose a novel approach for detecting where errors occur within a generated image. By collaging real images with generated images, we compute for each pixel, whether it belongs to the real distribution or generated distribution. Furthermore, we leverage attention to model long-range dependency; this allows detection of errors which are reasonable locally but not holistically. For evaluation, we show that our error detection can act as a quality metric for an individual image, unlike FID and IS. We leverage Improved Wasserstein, BigGAN, and StyleGAN to show a ranking based on our metric correlates impressively with FID scores. Our work opens the door for better understanding of GAN and the ability to select the best samples from a GAN model.


title: The intriguing role of module criticality in the generalization of deep networks

abstract: We study the phenomenon that some modules of deep neural networks (DNNs) are more critical than others. Meaning that rewinding their parameter values back to initialization, while keeping other modules fixed at the trained parameters, results in a large drop in the network's performance. Our analysis reveals interesting properties of the loss landscape which leads us to propose a complexity measure, called module criticality, based on the shape of the valleys that connects the initial and final values of the module parameters. We formulate how generalization relates to the module criticality, and show that this measure is able to explain the superior generalization performance of some architectures over others, whereas earlier measures fail to do so.


title: Non-additive large deviations function for the particle densities of driven systems in contact

abstract: We investigate the non-equilibrium large deviations function of the particle densities in two steady-state driven systems exchanging particles at a vanishing rate. We first derive through a systematic multi-scale analysis the coarse-grained master equation satisfied by the distribution of the numbers of particles in each system. Assuming that this distribution takes for large systems a large deviations form, we obtain the equation (similar to a Hamilton-Jacobi equation) satisfied by the large deviations function of the densities. Depending on the systems considered, this equation may satisfy or not the macroscopic detailed balance property, i.e., a time-reversibility property at large deviations level. In the absence of macroscopic detailed balance, the large deviations function can be determined as an expansion close to a solution satisfying macroscopic detailed balance. In this case, the large deviations function is generically non-additive, i.e., it cannot be split as two separate contributions from each system. In addition, the large deviations function can be interpreted as a non-equilibrium free energy, as it satisfies a generalization of the second law of thermodynamics, in the spirit of the Hatano-Sasa relation. Some of the results are illustrated on an exactly solvable driven lattice gas model.


title: A 130-MS/s 10-Bit Asynchronous SAR ADC with 55.2 dB SNDR

abstract: This paper presents a low-power 10-bit 130-MS/s successive approximation register (SAR) analog-to-digital converter (ADC) in 90 nm CMOS process. The proposed asynchronous ADC consists of a comparator, SAR logic block and two control blocks for the capacitive digital to analog converters (DAC). At a 1.2 V supply and 130 MS/s, the ADC achieves an SNDR of 55.2 dB and consumes 860 uW, resulting in a figure of merit (FOM) of 50.9 fJ/MHz. It achieves an ENOB of 8.8 bits with a differential input range of 1570 mV.


title: Tracking the Ultraviolet Photochemistry of Thiophenone During and Beyond the Initial Ultrafast Ring Opening

abstract: Photoinduced isomerization reactions, including ring-opening reactions, lie at the heart of many processes in nature. The mechanisms of such reactions are determined by a delicate interplay of coupled electronic and nuclear dynamics unfolding on the femtosecond scale, followed by the slower redistribution of energy into different vibrational degrees of freedom. Here we apply time-resolved photoelectron spectroscopy with a seeded extreme ultraviolet free electron laser to trace the ultrafast ring opening of gas phase thiophenone molecules following photoexcitation at 265 nm. When combined with cutting edge ab initio electronic structure and molecular dynamics calculations of both the excited and ground state molecules, the results provide unprecedented insights into both electronic and nuclear dynamics of this fundamental class of reactions. The initial ring opening and non-adiabatic coupling to the electronic ground state is shown to be driven by ballistic SC bond extension and to be complete within 350 femtoseconds. Theory and experiment also allow clear visualization of the rich ground-state dynamics involving formation of, and interconversion between, several ring opened isomers and the reformed cyclic structure, and fragmentation (CO loss) over much longer timescales.


title: The future of urban models in the Big Data and AI era: a bibliometric analysis (2000-2019)

abstract: This article questions the effects on urban research dynamics of the Big Data and AI turn in urban management. To identify these effects, we use two complementary materials: bibliometric data and interviews. We consider two areas in urban research: one, covering the academic research dealing with transportation systems and the other, with water systems. First, we measure the evolution of AI and Big Data keywords in these two areas. Second, we measure the evolution of the share of publications published in computer science journals about urban traffic and water quality. To guide these bibliometric analyses, we rely on the content of interviews conducted with academics and higher education officials in Paris and Edinburgh at the beginning of 2018.


title: A System-level Behavioral Detection Framework for Compromised CPS Devices: Smart-Grid Case

abstract: Cyber-Physical Systems (CPS) play a significant role in our critical infrastructure networks from power-distribution to utility networks. The emerging smart-grid concept is a compelling critical CPS infrastructure that relies on two-way communications between smart devices to increase efficiency, enhance reliability, and reduce costs. However, compromised devices in the smart grid poses several security challenges. Consequences of propagating fake data or stealing sensitive smart grid information via compromised devices are costly. Hence, early behavioral detection of compromised devices is critical for protecting the smart grid's components and data. To address these concerns, in this paper, we introduce a novel and configurable system-level framework to identify compromised smart grid devices. The framework combines system and function call tracing techniques with signal processing and statistical analysis to detect compromised devices based on their behavioral characteristics. We measure the efficacy of our framework with a realistic smart grid substation testbed that includes both resource-limited and resource-rich devices. In total, using our framework, we analyze six different types of compromised device scenarios with different resources and attack payloads. To the best of our knowledge, the proposed framework is the first in detecting compromised CPS smart grid devices with system and function-level call tracing techniques. The experimental results reveal an excellent rate for the detection of compromised devices. Specifically, performance metrics include accuracy values between 95% and 99% for the different attack scenarios. Finally, the performance analysis demonstrates that the use of the proposed framework has minimal overhead on the smart grid devices' computing resources.


title: Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs

abstract: We show exponential lower bounds on resolution proof length for pigeonhole principle (PHP) formulas and perfect matching formulas over highly unbalanced, sparse expander graphs, thus answering the challenge to establish strong lower bounds in the regime between balanced constant-degree expanders as in [Ben-Sasson and Wigderson '01] and highly unbalanced, dense graphs as in [Raz '04] and [Razborov '03, '04]. We obtain our results by revisiting Razborov's pseudo-width method for PHP formulas over dense graphs and extending it to sparse graphs. This further demonstrates the power of the pseudo-width method, and we believe it could potentially be useful for attacking also other longstanding open problems for resolution and other proof systems.


title: Deep Learning for Visual Tracking: A Comprehensive Survey

abstract: Visual target tracking is one of the most sought-after yet challenging research topics in computer vision. Given the ill-posed nature of the problem and its popularity in a broad range of real-world scenarios, a number of large-scale benchmark datasets have been established, on which considerable methods have been developed and demonstrated with significant progress in recent years -- predominantly by recent deep learning (DL)-based methods. This survey aims to systematically investigate the current DL-based visual tracking methods, benchmark datasets, and evaluation metrics. It also extensively evaluates and analyzes the leading visual tracking methods. First, the fundamental characteristics, primary motivations, and contributions of DL-based methods are summarized from nine key aspects of: network architecture, network exploitation, network training for visual tracking, network objective, network output, exploitation of correlation filter advantages, aerial-view tracking, long-term tracking, and online tracking. Second, popular visual tracking benchmarks and their respective properties are compared, and their evaluation metrics are summarized. Third, the state-of-the-art DL-based methods are comprehensively examined on a set of well-established benchmarks of OTB2013, OTB2015, VOT2018, LaSOT, UAV123, UAVDT, and VisDrone2019. Finally, by conducting critical analyses of these state-of-the-art trackers quantitatively and qualitatively, their pros and cons under various common scenarios are investigated. It may serve as a gentle use guide for practitioners to weigh when and under what conditions to choose which method(s). It also facilitates a discussion on ongoing issues and sheds light on promising research directions.


title: Gaussian Embedding of Large-scale Attributed Graphs

abstract: Graph embedding methods transform high-dimensional and complex graph contents into low-dimensional representations. They are useful for a wide range of graph analysis tasks including link prediction, node classification, recommendation and visualization. Most existing approaches represent graph nodes as point vectors in a low-dimensional embedding space, ignoring the uncertainty present in the real-world graphs. Furthermore, many real-world graphs are large-scale and rich in content (e.g. node attributes). In this work, we propose GLACE, a novel, scalable graph embedding method that preserves both graph structure and node attributes effectively and efficiently in an end-to-end manner. GLACE effectively models uncertainty through Gaussian embeddings, and supports inductive inference of new nodes based on their attributes. In our comprehensive experiments, we evaluate GLACE on real-world graphs, and the results demonstrate that GLACE significantly outperforms state-of-the-art embedding methods on multiple graph analysis tasks.


title: Risk Bounds for Low Cost Bipartite Ranking

abstract: Bipartite ranking is an important supervised learning problem; however, unlike regression or classification, it has a quadratic dependence on the number of samples. To circumvent the prohibitive sample cost, many recent work focus on stochastic gradient-based methods. In this paper we consider an alternative approach, which leverages the structure of the widely-adopted pairwise squared loss, to obtain a stochastic and low cost algorithm that does not require stochastic gradients or learning rates. Using a novel uniform risk bound---based on matrix and vector concentration inequalities---we show that the sample size required for competitive performance against the all-pairs batch algorithm does not have a quadratic dependence. Generalization bounds for both the batch and low cost stochastic algorithms are presented. Experimental results show significant speed gain against the batch algorithm, as well as competitive performance against state-of-the-art bipartite ranking algorithms on real datasets.


title: Symmetries of the space of solutions to special double confluent Heun equation of negative integer order and its applications

abstract: Three linear operators (${\mathcal L}$-operators) determining automorphisms of the space of solutions to a special double confluent Heun equation (sDCHE) of negative integer order are considered. Their composition rules involving in a natural way the monodromy transformation are given. Introducing eigenfunctions $E_{\{+\}}, E_{\{-\}}$ of one of the ${\mathcal L}$-operators (${\mathcal L}_C$) satisfying sDCHE, the four polylocal quadratic functionals playing role of the first integrals of sDCHE are derived. Their use allows to construct the explicit matrix representations of ${\mathcal L}$-operators and the monodromy operator with respect to the basis constituted by $E_{\{\pm\}}$. The composition rules of ${\mathcal L}$-operators lead to functional equations for the eigenfunctions $E_{\{\pm\}}$ which can be interpreted as analytic continuations of solutions to sDCHE from the half-plane $\Re z>0$ to their whole domain by means of algebraic transformations. Application of the above results to the theory of the first order non-linear differential equation utilized, in particular, for the modeling of overdamped Josephson junctions in superconductors and closely related to sDCHE is presented. The automorphisms of the set of its solutions induced by ${\mathcal L}$-operators and by the monodromy operator (certain shift of the solution domain in the latter case) are found which are realized by certain algebraic operations. Among them, one transformation is involutive and another one can be regarded as the square root of the transformation induced by the monodromy transformation.


title: An asynchronous incomplete block LU preconditioner for computational fluid dynamics on unstructured grids

abstract: We present a study of the effectiveness of asynchronous incomplete LU factorization preconditioners for the time-implicit solution of compressible flow problems while exploiting thread-parallelism within a compute node. A block variant of the asynchronous fine-grain parallel preconditioner adapted to a finite volume discretization of the compressible Navier-Stokes equations on unstructured grids is presented, and convergence theory is extended to the new variant. Experimental (numerical) results on the performance of these preconditioners on inviscid and viscous laminar two-dimensional steady-state test cases are reported. It is found, for these compressible flow problems, that the block variant performs much better in terms of convergence, parallel scalability and reliability than the original scalar asynchronous ILU preconditioner. For viscous flow, it is found that the ordering of unknowns may determine the success or failure of asynchronous block-ILU preconditioning, and an ordering of grid cells suitable for solving viscous problems is presented.


title: SSNdesign -- an R package for pseudo-Bayesian optimal and adaptive sampling designs on stream networks

abstract: Streams and rivers are biodiverse and provide valuable ecosystem services. Maintaining these ecosystems is an important task, so organisations often monitor the status and trends in stream condition and biodiversity using field sampling and, more recently, autonomous in-situ sensors. However, data collection is often costly and so effective and efficient survey designs are crucial to maximise information while minimising costs. Geostatistics and optimal and adaptive design theory can be used to optimise the placement of sampling sites in freshwater studies and aquatic monitoring programs. Geostatistical modelling and experimental design on stream networks pose statistical challenges due to the branching structure of the network, flow connectivity and directionality, and differences in flow volume. Thus, unique challenges of geostatistics and experimental design on stream networks necessitates the development of new open-source software for implementing the theory. We present SSNdesign, an R package for solving optimal and adaptive design problems on stream networks that integrates with existing open-source software. We demonstrate the mathematical foundations of our approach, and illustrate the functionality of SSNdesign using two case studies involving real data from Queensland, Australia. In both case studies we demonstrate that the optimal or adaptive designs outperform random and spatially balanced survey designs. The SSNdesign package has the potential to boost the efficiency of freshwater monitoring efforts and provide much-needed information for freshwater conservation and management.


title: All groups are surjunctive

abstract: We prove that for any finitely generated group $G$ and any $k\geq1$, the space of $k$-colorings of $G$ does not admit a strict self-embedding. This settles the Gottschalk surjunctivity conjecture and, consequently, Kaplansky's direct finiteness conjecture.


title: Long-time asymptotics in the modified Landau-Lifshitz equation with nonzero boundary conditions

abstract: In this work, we consider the long-time asymptotics of the modified Landau-Lifshitz equation with nonzero boundary conditions (NZBCs) at infinity. The critical technique is the deformations of the corresponding matrix Riemann-Hilbert problem via the nonlinear steepest descent method, as well as we employ the $g$-function mechanism to eliminate the exponential growths of the jump matrices. The results indicate that the solution of the modified Landau-Lifshitz equation with nonzero boundary conditions admits two different asymptotic behavior corresponding to two types of regions in the $xt$-plane. They are called the plane wave region with $x<(\beta-4\sqrt{2}q_{0})t, x>(\beta+4\sqrt{2}q_{0})t$, and the modulated elliptic wave region with $(\beta-4\sqrt{2}q_{0})t<x< (\beta+4\sqrt{2}q_{0})t$, respectively.


title: Pyramid Convolutional RNN for MRI Image Reconstruction

abstract: Fast and accurate MRI image reconstruction from undersampled data is crucial in clinical practice. Deep learning based reconstruction methods have shown promising advances in recent years. However, recovering fine details from undersampled data is still challenging. In this paper, we introduce a novel deep learning based method, Pyramid Convolutional RNN (PC-RNN), to reconstruct images from multiple scales. Based on the formulation of MRI reconstruction as an inverse problem, we design the PC-RNN model with three convolutional RNN (ConvRNN) modules to iteratively learn the features in multiple scales. Each ConvRNN module reconstructs images at different scales and the reconstructed images are combined by a final CNN module in a pyramid fashion. The multi-scale ConvRNN modules learn a coarse-to-fine image reconstruction. Unlike other common reconstruction methods for parallel imaging, PC-RNN does not employ coil sensitive maps for multi-coil data and directly model the multiple coils as multi-channel inputs. The coil compression technique is applied to standardize data with various coil numbers, leading to more efficient training. We evaluate our model on the fastMRI knee and brain datasets and the results show that the proposed model outperforms other methods and can recover more details. The proposed method is one of the winner solutions in the 2019 fastMRI competition.


title: Multi-Scale Self-Attention for Text Classification

abstract: In this paper, we introduce the prior knowledge, multi-scale structure, into self-attention modules. We propose a Multi-Scale Transformer which uses multi-scale multi-head self-attention to capture features from different scales. Based on the linguistic perspective and the analysis of pre-trained Transformer (BERT) on a huge corpus, we further design a strategy to control the scale distribution for each layer. Results of three different kinds of tasks (21 datasets) show our Multi-Scale Transformer outperforms the standard Transformer consistently and significantly on small and moderate size datasets.


title: A fully discrete curve-shortening polygonal evolution law for moving boundary problems

abstract: We consider the numerical integration of moving boundary problems with the curve-shortening property, such as the mean curvature flow and Hele-Shaw flow. We propose a fully discrete curve-shortening polygonal evolution law. The proposed evolution law is fully implicit, and the key to the derivation is to devise the definitions of tangent and normal vectors and tangential and normal velocities at each vertex in an implicit manner. Numerical experiments show that the proposed method allows the use of relatively large time step sizes and also captures the area-preserving or dissipative property in good accuracy.


title: Benchmarking Quantum Computers and the Impact of Quantum Noise

abstract: Benchmarking is how the performance of a computing system is determined. Surprisingly, even for classical computers this is not a straightforward process. One must choose the appropriate benchmark and metrics to extract meaningful results. Different benchmarks test the system in different ways and each individual metric may or may not be of interest. Choosing the appropriate approach is tricky. The situation is even more open ended for quantum computers, where there is a wider range of hardware, fewer established guidelines, and additional complicating factors. Notably, quantum noise significantly impacts performance and is difficult to model accurately. Here, we discuss benchmarking of quantum computers from a computer architecture perspective and provide numerical simulations highlighting challenges which suggest caution.


title: Large-scale text processing pipeline with Apache Spark

abstract: In this paper, we evaluate Apache Spark for a data-intensive machine learning problem. Our use case focuses on policy diffusion detection across the state legislatures in the United States over time. Previous work on policy diffusion has been unable to make an all-pairs comparison between bills due to computational intensity. As a substitute, scholars have studied single topic areas. We provide an implementation of this analysis workflow as a distributed text processing pipeline with Spark dataframes and Scala application programming interface. We discuss the challenges and strategies of unstructured data processing, data formats for storage and efficient access, and graph processing at scale.


title: Entry loci and ranks

abstract: We study entry loci of varieties and their irreducibility from the perspective of $X$-ranks with respect to a projective variety $X$. These loci are the closures of the points that appear in an $X$-rank decomposition of a general point in the ambient space. We look at entry loci of low degree normal surfaces in $\mathbb P^4$ using Segre points of curves; the smooth case was classically studied by Franchetta. We introduce a class of varieties whose generic rank coincides with the one of its general entry locus, and show that any smooth and irreducible projective variety admits an embedding with this property.


title: MORPHOSYS: Efficient Colocation of QoS-Constrained Workloads in the Cloud

abstract: In hosting environments such as IaaS clouds, desirable application performance is usually guaranteed through the use of Service Level Agreements (SLAs), which specify minimal fractions of resource capacities that must be allocated for use for proper operation. Arbitrary colocation of applications with different SLAs on a single host may result in inefficient utilization of the host's resources. In this paper, we propose that periodic resource allocation and consumption models be used for a more granular expression of SLAs. Our proposed SLA model has the salient feature that it exposes flexibilities that enable the IaaS provider to safelya transform SLAs from one form to another for the purpose of achieving more efficient colocation. Towards that goal, we present MorphoSys: a framework for a service that allows the manipulation of SLAs to enable efficient colocation of workloads. We present results from extensive trace-driven simulations of colocated Video-on-Demand servers in a cloud setting. The results show that potentially-significant reduction in wasted resources (by as much as 60%) are possible using MorphoSys.


title: Emergence of superwalking droplets

abstract: A new class of self-propelled droplets, coined superwalkers, has been shown to emerge when a bath of silicone oil is vibrated simultaneously at a given frequency and its subharmonic tone with a relative phase difference between them (Valani et al. 2019). To understand the emergence of superwalking droplets, we explore their vertical and horizontal dynamics by extending previously established theoretical models for walkers driven by a single frequency to superwalkers driven by two frequencies. Here we show that driving the bath at two frequencies with an appropriate phase difference raises every second peak and lowers the intermediate peaks in the vertical periodic motion of the fluid surface. This allows large droplets that could otherwise not walk to leap over the intermediate peaks, resulting in superwalking droplets whose vertical dynamics is qualitatively similar to normal walkers. We find that the droplet's vertical and horizontal dynamics are strongly influenced by the relative height difference between successive peaks of the bath motion, a parameter that is controlled by the phase difference. Comparison of our simulated superwalkers with the experiments of Valani et al. (2019) shows good agreement for small- to moderate-sized superwalkers.


title: Hybrid Beamforming for Active Sensing using Sparse Arrays

abstract: This paper studies hybrid beamforming for active sensing applications, such as millimeter-wave or ultrasound imaging. Hybrid beamforming can substantially lower the cost and power consumption of fully digital sensor arrays by reducing the number of active front ends. Sparse arrays can be used to further reduce hardware costs. We consider phased arrays and employ linear beamforming with possibly sparse array configurations at both the transmitter and receiver. The quality of the acquired images is improved by adding together several component images corresponding to different transmissions and receptions. In order to limit the acquisition time of an image, we formulate an optimization problem for minimizing the number of component images subject to achieving a desired point spread function. Since this problem is not convex, we propose algorithms for finding approximate solutions in the fully digital beamforming case, as well as in the more challenging hybrid and analog beamforming cases that employ quantized phase shifters. We also determine upper bounds on the number of component images needed for achieving the fully digital solution using fully analog and hybrid architectures, and derive closed-form expressions for the beamforming weights in these cases. Simulations demonstrate that a hybrid sparse array with very few elements, and even fewer front ends, can achieve the resolution of a fully digital uniform array at the expense of a longer image acquisition time.


title: Sparse Graph Attention Networks

abstract: Graph Neural Networks (GNNs) have proved to be an effective representation learning framework for graph-structured data, and have achieved state-of-the-art performance on many practical predictive tasks, such as node classification, link prediction and graph classification. Among the variants of GNNs, Graph Attention Networks (GATs) learn to assign dense attention coefficients over all neighbors of a node for feature aggregation, and improve the performance of many graph learning tasks. However, real-world graphs are often very large and noisy, and GATs are prone to overfitting if not regularized properly. Even worse, the local aggregation mechanism of GATs may fail on disassortative graphs, where nodes within local neighborhood provide more noise than useful information for feature aggregation. In this paper, we propose Sparse Graph Attention Networks (SGATs) that learn sparse attention coefficients under an $L_0$-norm regularization, and the learned sparse attentions are then used for all GNN layers, resulting in an edge-sparsified graph. By doing so, we can identify noisy/task-irrelevant edges, and thus perform feature aggregation on most informative neighbors. Extensive experiments on synthetic and real-world graph learning benchmarks demonstrate the superior performance of SGATs. In particular, SGATs can remove about 50\%-80\% edges from large assortative graphs, while retaining similar classification accuracies. On disassortative graphs, SGATs prune majority of noisy edges and outperform GATs in classification accuracies by significant margins. Furthermore, the removed edges can be interpreted intuitively and quantitatively. To the best of our knowledge, this is the first graph learning algorithm that shows significant redundancies in graphs and edge-sparsified graphs can achieve similar or sometimes higher predictive performances than original graphs.


title: Some functorial properties of Schatten classes

abstract: In this paper, we begin with the study of elements in $C^*$-algebras which are mapped to Schatten class ideals through faithful left regular representation. We further give some functorial properties of Schatten classes on the category of representations of a $C^*$-algebra and category of unitary representations of a group.


title: Road traffic reservoir computing

abstract: Reservoir computing derived from recurrent neural networks is more applicable to real world systems than deep learning because of its low computational cost and potential for physical implementation. Specifically, physical reservoir computing, which replaces the dynamics of reservoir units with physical phenomena, has recently received considerable attention. In this study, we propose a method of exploiting the dynamics of road traffic as a reservoir, and numerically confirm its feasibility by applying several prediction tasks based on a simple mathematical model of the traffic flow.


title: Some Properties and Combinatorial Implications of Weighted Small Schr\"oder Numbers

abstract: The $n^{\text{th}}$ small Schr\"oder number is $s(n) = \sum_{k \geq 0} s(n,k)$, where $s(n,k)$ denotes the number of plane rooted trees with $n$ leaves and $k$ internal nodes that each has at least two children. In this manuscript, we focus on the weighted small Schr\"oder numbers $s_d(n) = \sum_{k \geq 0} s(n,k) d^k$, where $d$ is an arbitrary fixed real number. We provide recursive and asymptotic formulas for $s_d(n)$, as well as some identities and combinatorial interpretations for these numbers. We also establish connections between $s_d(n)$ and several families of Dyck paths.


title: Waveform Design for One-Bit Radar Systems Under Uncertain Interference Statistics

abstract: An important problem in cognitive radar is to enhance the estimation performance of the system by a joint design of its probing signal and receive filter using the a priori information on interference. In such cases, the knowledge of interference statistics (particularly the covariance) plays a vital role in an effective design of the radar waveforms. In most practical scenarios, however, the received signal and interference statistics are available subject to some uncertainty. An extreme manifestation of this practical observation occurs for radars employing one-bit receivers, where only a normalized version of interference covariance matrix can be obtained. In this paper, we formulate a waveform optimization problem and devise an algorithm to design the transmit waveform and the receive filter of one-bit radars given such uncertainties in acquired interference statistics. The effectiveness of the proposed algorithm is corroborated through numerical analysis.


title: Inequalities of Holographic Entanglement of Purification from Bit Threads

abstract: There are increasing evidences that quantum information theory has come to play a fundamental role in quantum gravity especially the holography. In this paper, we show some new potential connections between holography and quantum information theory. Particularly, by utilizing the multiflow description of the holographic entanglement of purification (HEoP) defined in relative homology, we obtain several new inequalities of HEoP under a max multiflow configuration. Each inequality derived for HEoP has a corresponding inequality of the holographic entanglement entropy (HEE). This is further confirmed by geometric analysis. In addition, we conjecture that, based on flow considerations, each property of HEE that can be derived from bit threads may have a corresponding property for HEoP that can be derived from bit threads defined in relative homology.


title: Quantum curve and bilinear Fermionic form for the orbifold Gromov-Witten theory of $\mathbb{P}[r]$

abstract: We construct the quantum curve for the Baker-Akhiezer function of the orbifold Gromov-Witten theory of the weighted projective line $\mathbb P[r]$. Furthermore, we deduce the explicit bilinear Fermionic formula for the (stationary) Gromov-Witten potential via the lifting operator constructed from the Baker-Akhiezer function.


title: On the uniform accuracy of implicit-explicit backward differentiation formulas (IMEX-BDF) for stiff hyperbolic relaxation systems and kinetic equations

abstract: Many hyperbolic and kinetic equations contain a non-stiff convection/transport part and a stiff relaxation/collision part (characterized by the relaxation or mean free time $\varepsilon$). To solve this type of problems, implicit-explicit (IMEX) multistep methods have been widely used and their performance is understood well in the non-stiff regime ($\varepsilon=O(1)$) and limiting regime ($\varepsilon\rightarrow 0$). However, in the intermediate regime (say, $\varepsilon=O(\Delta t)$), uniform accuracy has been reported numerically without a complete theoretical justification (except some asymptotic or stability analysis). In this work, we prove the uniform accuracy -- an optimal {\it a priori} error bound -- of a class of IMEX multistep methods, IMEX backward differentiation formulas (IMEX-BDF), for linear hyperbolic systems with stiff relaxation. The proof is based on the energy estimate with a new multiplier technique. For nonlinear hyperbolic and kinetic equations, we numerically verify the same property using a series of examples.


title: Testing the relativistic Doppler boost hypothesis for supermassive binary black holes candidates via broad emission line profiles

abstract: Optical periodicity QSOs found by transient surveys are suggested to be sub-parsec supermassive binary black holes (BBHs). An intriguing interpretation for the periodicity of some of those QSOs is that the continuum is radiated from the accretion disk associated with the BBH secondary component and modulated by the periodical rotation of the secondary via Doppler-boost effect. Close to edge-on orbital orientation can lead to more significant Doppler-boost effect and thus are preferred for these systems, which is distinct from those normal type-1 QSOs with more or less face-on orientations. Therefore, the profiles of broad lines emitted from these Doppler-modulated systems may be significantly different from other systems that are not Doppler-modulated. We investigate the properties of the broad emission lines of optical-periodicity QSOs, including both a sample of QSOs that can be interpreted by the Doppler-modulated effects and a sample that cannot. We find that there is no obvious difference in the profiles and other properties of various (stacked) broad emission lines of these two samples, though a simple broad line region model would suggest significant differences. Our finding raises a challenge to the Doppler boost hypothesis for some of those BBHs candidates with optical periodicity.


title: Escaping spurious local minimum trajectories in online time-varying nonconvex optimization

abstract: A major limitation of online algorithms that track the optimizers of time-varying nonconvex optimization problems is that they focus on a specific local minimum trajectory, which may lead to poor spurious local solutions. In this paper, we show that the natural temporal variation may help simple online tracking methods find and track time-varying global minima. To this end, we investigate the properties of a time-varying projected gradient flow system with inertia, which can be regarded as the continuous-time limit of (1) the optimality conditions for a discretized sequential optimization problem with a proximal regularization and (2) the online tracking scheme. We introduce the notion of the dominant trajectory and show that the inherent temporal variation could re-shape the landscape of the Lagrange functional and help a proximal algorithm escape the spurious local minimum trajectories if the global minimum trajectory is dominant. For a problem with twice continuously differentiable objective function and constraints, sufficient conditions are derived to guarantee that no matter how a local search method is initialized, it will track a time-varying global solution after some time. The results are illustrated on a benchmark example with many local minima.


title: Holographic entanglement entropy in AdS$_3$$/$WCFT

abstract: In this paper, we consider AdS$_3$ with Comp$\grave{\mathrm{e}}$re-Song-Strominger (CSS) boundary conditions, under which the dual field theory is warped conformal field theory (WCFT), featuring a Virasoro-Kac-Moody algebra. We provide a holographic dual picture of the single interval entanglement entropy in WCFT in the bulk AdS$_3$. We explicitly show that the bulk object captures the entanglement entropy in WCFT is a massive spinning particle's worldline that anchored on the boundary of the interval. Given the mass and spin of the particle as functions of quantum numbers of the twist operator in WCFT, the on-shell worldline action will match the entanglement entropy in WCFT.


title: Compatibility of any pair of 2-outcome measurements characterizes the Choquet simplex

abstract: For a compact convex subset $K $ of a locally convex Hausdorff space, a measurement on $A(K)$ is a finite family of positive elements in $A(K)$ normalized to the unit constant $1_K$, where $A(K)$ denotes the set of continuous real affine functionals on $K$. It is proved that a compact convex set $K$ is a Choquet simplex if and only if any pair of $2$-outcome measurements are compatible, i.e.\ the measurements are given as the marginals of a single measurement. This generalizes the finite-dimensional result of [Pl\'avala M 2016 Phys.\ Rev.\ A \textbf{94}, 042108] obtained in the context of the foundations of quantum theory.


title: On $p$-metric spaces and the $p$-Gromov-Hausdorff distance

abstract: For each given $p\in[1,\infty]$ we investigate certain sub-family $\mathcal{M}_p$ of the collection of all compact metric spaces $\mathcal{M}$ which are characterized by the satisfaction of a strengthened form of the triangle inequality which encompasses, for example, the strong triangle inequality satisfied by ultrametric spaces. We identify a one parameter family of Gromov-Hausdorff like distances $\{d_{\mathrm{GH}}^{\scriptscriptstyle{(p)}}\}_{p\in[1,\infty]}$ on $\mathcal{M}_p$ and study geometric and topological properties of these distances as well as the stability of certain canonical projections $\mathfrak{S}_p:\mathcal{M}\rightarrow \mathcal{M}_p$. For the collection $\mathcal{U}$ of all compact ultrametric spaces, which corresponds to the case $p=\infty$ of the family $\mathcal{M}_p$, we explore a one parameter family of interleaving-type distances and reveal their relationship with $\{d_{\mathrm{GH}}^{\scriptscriptstyle{(p)}}\}_{p\in[1,\infty]}$.


title: An Integrative Data-Driven Physics-Inspired Approach to Traffic Congestion Control

abstract: This paper offers an integrative data-driven physics-inspired approach to model and control traffic congestion in a resilient and efficient manner. While existing physics-based approaches commonly assign density and flow traffic states by using the Fundamental Diagram, this paper specifies the flow-density relation using past traffic information recorded in a time sliding window with a constant horizon length. With this approach, traffic coordination trends can be consistently learned and incorporated into traffic planning. This paper also models traffic coordination as a probabilistic process and obtains traffic feasibility conditions using linear temporal logic. Model productive control (MPC) is applied to control traffic congestion through the boundary of the traffic network. Therefore, the optimal boundary inflow is assigned as the solution of a constrained quadratic programming problem.


title: Ultrasound Beam Steering with Flattened Acoustic Metamaterial Luneburg Lens

abstract: We report ultrasound beam steering based on 2D and 3D flattened acoustic metamaterial Luneburg lenses at 40 kHz. The effective properties of the lenses are obtained by using the quasi-conformal transformation (QCT) technique and solving the Laplace equation with Dirichlet and Neumann boundary conditions. A 2D lens and a 3D lens were designed and fabricated. The numerical and experimental results with these lenses demonstrate excellent beam steering performance of ultrasonic waves in both near field and far field.


title: Merging External Bilingual Pairs into Neural Machine Translation

abstract: As neural machine translation (NMT) is not easily amenable to explicit correction of errors, incorporating pre-specified translations into NMT is widely regarded as a non-trivial challenge. In this paper, we propose and explore three methods to endow NMT with pre-specified bilingual pairs. Instead, for instance, of modifying the beam search algorithm during decoding or making complex modifications to the attention mechanism --- mainstream approaches to tackling this challenge ---, we experiment with the training data being appropriately pre-processed to add information about pre-specified translations. Extra embeddings are also used to distinguish pre-specified tokens from the other tokens. Extensive experimentation and analysis indicate that over 99% of the pre-specified phrases are successfully translated (given a 85% baseline) and that there is also a substantive improvement in translation quality with the methods explored here.


title: Inference for Synthetic Control Methods with Multiple Treated Units

abstract: Although the Synthetic Control Method (SCM) is now widely applied, its most commonly-used inference method, placebo test, is often problematic, especially when the treatment is not uniquely assigned. This paper discuss the problems with the placebo test under multivariate treatment case. And, to improve the power of inferences, I further propose an Andrews-type procedure as it potentially solve some drawbacks of placebo test. Simulations are conducted to show the Andrews' test is often valid and powerful, compared with the placebo test.


title: Abstract Reasoning with Distracting Features

abstract: Abstraction reasoning is a long-standing challenge in artificial intelligence. Recent studies suggest that many of the deep architectures that have triumphed over other domains failed to work well in abstract reasoning. In this paper, we first illustrate that one of the main challenges in such a reasoning task is the presence of distracting features, which requires the learning algorithm to leverage counterevidence and to reject any of the false hypotheses in order to learn the true patterns. We later show that carefully designed learning trajectory over different categories of training data can effectively boost learning performance by mitigating the impacts of distracting features. Inspired by this fact, we propose feature robust abstract reasoning (FRAR) model, which consists of a reinforcement learning based teacher network to determine the sequence of training and a student network for predictions. Experimental results demonstrated strong improvements over baseline algorithms and we are able to beat the state-of-the-art models by 18.7% in the RAVEN dataset and 13.3% in the PGM dataset.


title: Quantum Prediction of Ultra-Low Thermal Conductivity in Lithium Intercalation Materials

abstract: Lithium-intercalated layered transition-metal oxides, LixTMO2, brought about a paradigm change in rechargeable batteries in recent decades and show promise for use in memristors, a type of device for future neural computing and on-chip storage. Thermal transport properties, although being a crucial element in limiting the charging/discharging rate, package density, energy efficiency, and safety of batteries as well as the controllability and energy consumption of memristors, are poorly managed or even understood yet. Here, for the first time, we employ quantum calculations including high-order lattice anharmonicity and find that the thermal conductivity k of LixTMO2 materials is significantly lower than hitherto believed. More specifically, the theoretical upper limit of k of LiCoO2 is 6 W/m-K, 2-6 times lower than the prior theoretical predictions. Delithiation further reduces k by 40-70% for LiCoO2 and LiNbO2. Grain boundaries, strains, and porosity are yet additional causes of thermal-conductivity reduction, while Li-ion diffusion and electrical transport are found to have only a minor effect on phonon thermal transport. The results elucidate several long-standing issues regarding the thermal transport in lithium-intercalated materials and provide guidance toward designing high-energy-density batteries and controllable memristors.


title: Frequency-tuning induced state transfer in optical microcavities

abstract: Quantum state transfer in optical microcavities plays an important role in quantum information processing, and is essential in many optical devices, such as optical frequency converter and diode. Existing schemes are effective and realized by tuning the coupling strengths between modes. However, such approaches are severely restricted due to the small amount of strength that can be tuned and the difficulty to perform the tuning in some situations, such as on-chip microcavity system. Here, we propose a novel approach that realizes the state transfer between different modes in optical microcavities by tuning the frequency of an intermediate mode. We showed that for typical functions of frequency-tuning, such as linear and periodic functions, the state transfer can be realized successfully with different features. To optimize the process, we use gradient descent technique to find an optimal tuning function for the fast and perfect state transfer. We also showed that our approach has significant nonreciprocity with appropriate tuning variables, where one can unidirectionally transfer a state from one mode to another, but the inverse direction transfer is forbidden. This work provides an effective method for controlling the multimode interactions in on-chip optical microcavities via simple operations and it has practical applications in all-optical devices.


title: BenchCouncil's View on Benchmarking AI and Other Emerging Workloads

abstract: This paper outlines BenchCouncil's view on the challenges, rules, and vision of benchmarking modern workloads like Big Data, AI or machine learning, and Internet Services. We conclude the challenges of benchmarking modern workloads as FIDSS (Fragmented, Isolated, Dynamic, Service-based, and Stochastic), and propose the PRDAERS benchmarking rules that the benchmarks should be specified in a paper-and-pencil manner, relevant, diverse, containing different levels of abstractions, specifying the evaluation metrics and methodology, repeatable, and scaleable. We believe proposing simple but elegant abstractions that help achieve both efficiency and general-purpose is the final target of benchmarking in future, which may be not pressing. In the light of this vision, we shortly discuss BenchCouncil's related projects.


title: Cartesian Products Avoiding Patterns

abstract: The pattern avoidance problem seeks to construct a set with large fractal dimension that avoids a prescribed pattern, such as three term arithmetic progressions, or more general patterns, such as finding a set whose Cartesian product avoids the zero set of a given function. Previous work on the subject has considered patterns described by polynomials, or functions satisfying certain regularity conditions. We provide an exposition of some results in this setting, as well as considering new strategies to avoid what we call `rough patterns'. This thesis contains an expanded description of a method described in a previous paper by the author and his collaborators Malabika Pramanik and Joshua Zahl, as well as new results in the rough pattern avoidance setting. There are several problems that fit into the pattern of rough pattern avoidance. For instance, we prove that for any set $X$ with lower Minkowski dimension $s$, there exists a set $Y$ with Hausdorff dimension $1-s$ such that for any rational numbers $a_1, \dots, a_N$, the set $a_1 Y + \dots + a_N Y$ is disjoint from $X$, or intersects with $X$ solely at the origin. As a second application, we construct subsets of Lipschitz curves with dimension $1/2$ not containing the vertices of any isosceles triangle.


title: Fastened CROWN: Tightened Neural Network Robustness Certificates

abstract: The rapid growth of deep learning applications in real life is accompanied by severe safety concerns. To mitigate this uneasy phenomenon, much research has been done providing reliable evaluations of the fragility level in different deep neural networks. Apart from devising adversarial attacks, quantifiers that certify safeguarded regions have also been designed in the past five years. The summarizing work of Salman et al. unifies a family of existing verifiers under a convex relaxation framework. We draw inspiration from such work and further demonstrate the optimality of deterministic CROWN (Zhang et al. 2018) solutions in a given linear programming problem under mild constraints. Given this theoretical result, the computationally expensive linear programming based method is shown to be unnecessary. We then propose an optimization-based approach \textit{FROWN} (\textbf{F}astened C\textbf{ROWN}): a general algorithm to tighten robustness certificates for neural networks. Extensive experiments on various networks trained individually verify the effectiveness of FROWN in safeguarding larger robust regions.


title: Nuclear partitions and a formula for $p(n)$

abstract: Define a "nuclear partition" to be an integer partition with no part equal to one. In this study we prove a simple formula to compute the partition function $p(n)$ by counting only the nuclear partitions of $n$, a vanishingly small subset by comparison with all partitions of $n$ as $n\to \infty$. Variations on the proof yield other formulas for $p(n)$, as well as Ramanujan-like congruences and an application to parity of the partition function.


title: Skeleton based Activity Recognition by Fusing Part-wise Spatio-temporal and Attention Driven Residues

abstract: There exist a wide range of intra class variations of the same actions and inter class similarity among the actions, at the same time, which makes the action recognition in videos very challenging. In this paper, we present a novel skeleton-based part-wise Spatiotemporal CNN RIAC Network-based 3D human action recognition framework to visualise the action dynamics in part wise manner and utilise each part for action recognition by applying weighted late fusion mechanism. Part wise skeleton based motion dynamics helps to highlight local features of the skeleton which is performed by partitioning the complete skeleton in five parts such as Head to Spine, Left Leg, Right Leg, Left Hand, Right Hand. The RIAFNet architecture is greatly inspired by the InceptionV4 architecture which unified the ResNet and Inception based Spatio-temporal feature representation concept and achieving the highest top-1 accuracy till date. To extract and learn salient features for action recognition, attention driven residues are used which enhance the performance of residual components for effective 3D skeleton-based Spatio-temporal action representation. The robustness of the proposed framework is evaluated by performing extensive experiments on three challenging datasets such as UT Kinect Action 3D, Florence 3D action Dataset, and MSR Daily Action3D datasets, which consistently demonstrate the superiority of our method


title: More on Poincare-Hopf and Gauss-Bonnet

abstract: We illustrate connections between differential geometry on finite simple graphs G=(V,E) and Riemannian manifolds (M,g). The link is that curvature can be defined integral geometrically as an expectation in a probability space of Poincare-Hopf indices of coloring or Morse functions. Regge calculus with an isometric Nash embedding links then the Gauss-Bonnet-Chern integrand of a Riemannian manifold with the graph curvature. There is also a direct nonstandard approach: if V is a finite set containing all standard points of M and E contains pairs which are infinitesimally close in the sense of internal set theory, one gets a finite simple graph (V,E) which gets a curvature which as a measure corresponds to the standard curvature. The probabilistic approach is an umbrella framework which covers discrete spaces, piecewise linear spaces, manifolds or varieties.


title: Exposing and Correcting the Gender Bias in Image Captioning Datasets and Models

abstract: The task of image captioning implicitly involves gender identification. However, due to the gender bias in data, gender identification by an image captioning model suffers. Also, the gender-activity bias, owing to the word-by-word prediction, influences other words in the caption prediction, resulting in the well-known problem of label bias. In this work, we investigate gender bias in the COCO captioning dataset and show that it engenders not only from the statistical distribution of genders with contexts but also from the flawed annotation by the human annotators. We look at the issues created by this bias in the trained models. We propose a technique to get rid of the bias by splitting the task into 2 subtasks: gender-neutral image captioning and gender classification. By this decoupling, the gender-context influence can be eradicated. We train the gender-neutral image captioning model, which gives comparable results to a gendered model even when evaluating against a dataset that possesses a similar bias as the training data. Interestingly, the predictions by this model on images with no humans, are also visibly different from the one trained on gendered captions. We train gender classifiers using the available bounding box and mask-based annotations for the person in the image. This allows us to get rid of the context and focus on the person to predict the gender. By substituting the genders into the gender-neutral captions, we get the final gendered predictions. Our predictions achieve similar performance to a model trained with gender, and at the same time are devoid of gender bias. Finally, our main result is that on an anti-stereotypical dataset, our model outperforms a popular image captioning model which is trained with gender.


title: How Should I Orchestrate Resources of My Slices for Bursty URLLC Service Provision?

abstract: Future wireless networks are convinced to provide flexible and cost-efficient services via exploiting network slicing techniques. However, it is challenging to configure network slicing systems for bursty ultra-reliable and low latency communications (URLLC) service provision due to its stringent requirements on low packet blocking probability and low codeword error decoding probability. In this paper, we propose to orchestrate network resources for a network slicing system to guarantee a more reliable bursty URLLC service provision. We re-cut physical resource blocks (PRBs) and derive the minimum upper bound of bandwidth for URLLC transmission with a low packet blocking probability. We correlate coordinated multipoint (CoMP) beamforming with channel uses and derive the minimum upper bound of channel uses for URLLC transmission with a low codeword error decoding probability. Considering the agreement on converging diverse services onto shared infrastructures, we further investigate the network slicing for URLLC and enhanced mobile broadband (eMBB) service multiplexing. Particularly, we formulate the service multiplexing as an optimization problem to maximize the long-term total slice utility. The mitigation of this problem is challenging due to the requirements of future channel information and tackling a two timescale issue. To address the challenges, we develop a joint resource optimization algorithm based on a sample average approximate (SAA) technique and a distributed optimization method with provable performance guarantees.


title: Multi-version Indexing in Flash-based Key-Value Stores

abstract: Maintaining multiple versions of data is popular in key-value stores since it increases concurrency and improves performance. However, designing a multi-version key-value store entails several challenges, such as additional capacity for storing extra versions and an indexing mechanism for mapping versions of a key to their values. We present SkimpyFTL, a FTL-integrated multi-version key-value store that exploits the remap-on-write property of flash-based SSDs for multi-versioning and provides a tradeoff between memory capacity and lookup latency for indexing.


title: Optimality and limitations of audio-visual integration for cognitive systems

abstract: Multimodal integration is an important process in perceptual decision-making. In humans, this process has often been shown to be statistically optimal, or near optimal: sensory information is combined in a fashion that minimises the average error in perceptual representation of stimuli. However, sometimes there are costs that come with the optimization, manifesting as illusory percepts. We review audio-visual facilitations and illusions that are products of multisensory integration, and the computational models that account for these phenomena. In particular, the same optimal computational model can lead to illusory percepts, and we suggest that more studies should be needed to detect and mitigate these illusions, as artefacts in artificial cognitive systems. We provide cautionary considerations when designing artificial cognitive systems with the view of avoiding such artefacts. Finally, we suggest avenues of research towards solutions to potential pitfalls in system design. We conclude that detailed understanding of multisensory integration and the mechanisms behind audio-visual illusions can benefit the design of artificial cognitive systems.


title: BLiMP: The Benchmark of Linguistic Minimal Pairs for English

abstract: We introduce The Benchmark of Linguistic Minimal Pairs (shortened to BLiMP), a challenge set for evaluating what language models (LMs) know about major grammatical phenomena in English. BLiMP consists of 67 sub-datasets, each containing 1000 minimal pairs isolating specific contrasts in syntax, morphology, or semantics. The data is automatically generated according to expert-crafted grammars, and aggregate human agreement with the labels is 96.4%. We use it to evaluate n-gram, LSTM, and Transformer (GPT-2 and Transformer-XL) LMs. We find that state-of-the-art models identify morphological contrasts reliably, but they struggle with semantic restrictions on the distribution of quantifiers and negative polarity items and subtle syntactic phenomena such as extraction islands.


title: Anomaly Detection in Particulate Matter Sensor using Hypothesis Pruning Generative Adversarial Network

abstract: World Health Organization (WHO) provides the guideline for managing the Particulate Matter (PM) level because when the PM level is higher, it threats the human health. For managing PM level, the procedure for measuring PM value is needed firstly. We use Tapered Element Oscillating Microbalance (TEOM)-based PM measuring sensors because it shows higher cost-effectiveness than Beta Attenuation Monitor (BAM)-based sensor. However, TEOM-based sensor has higher probability of malfunctioning than BAM-based sensor. In this paper, we call the overall malfunction as an anomaly, and we aim to detect anomalies for the maintenance of PM measuring sensors. We propose a novel architecture for solving the above aim that named as Hypothesis Pruning Generative Adversarial Network (HP-GAN). We experimentally compare the several anomaly detection architectures to certify ours performing better.


title: Beneficial Investigation of Extended-Range Electric Powertrains with Dual-Motor Inputs and Multi-Speed Transmission

abstract: This paper comparatively investigates the performance of extended-range electric powertrains composed by integrating dual-motor inputs, multi-speed transmission, and engine in either series or parallel connection. Two configurations, namely dual-motor series powertrain (DMSP) and dual-motor parallel powertrain (DMPP), feature the same electric drivetrain of two downsized motors and a four-speed transmission, but their range extenders are fundamentally different. While the DMSP consists of a range extender formed by an engine-generator unit, the DMPP connects the engine through a frictional clutch. This study starts with the parameter selection that guarantees the equivalent dynamics ability of all configurations. Mathematic models are second established in detail. A model predictive control-based energy management strategy is third presented. Since the recommended configurations aim for bus application, the driving cycle CBDC and ECE15x5 are chosen for simulation. Performance indexes used for comparison include electric consumption, fuel consumption, and emissions (hydrocarbon, carbon monoxide, nitrogen oxides, and particulate matter). Compared to the conventional single-motor series powertrain, the DMSP improves all the indexes significantly, while the DMPP decreases fuel consumption further but increases most noxious exhaust emissions.


title: A stochastic heat engine using an active particle

abstract: The topic of microscopic heat engine has undergone intensive research in recent years. Microscopic heat engines can exploit thermal as well as active fluctuations to extract thermodynamic work. We investigate the properties of a microscopic Stirling's engine that uses an active (self-propelling) particle as a working substance, in contact with two thermal baths. It is shown that the presence of activity leads to an enhanced performance of the engine. The efficiency can be improved by increasing the activity strength for all cycle time, including the non-quasistatic regime. We verify that the analytical results agree very well with our simulations. The variation of efficiency with the temperature difference between the two thermal baths has also been explored. The optimum region of operation of the engine has been deduced, by using its efficient power as a quantifier. Finally, a simple model is provided that emulates the behaviour of a flywheel driven by this engine.


title: $L_\infty$-derivations and the argument shift method for deformation quantization algebras

abstract: The argument shift method is a well-known method for generating commutative families of functions in Poisson algebras from central elements and a vector field, verifying a special condition with respect to the Poisson bracket. In this notice we give an analogous construction, which gives one a way to create commutative subalgebras of a deformed algebra from its center (which is as it is well known describable in the terms of the center of the Poisson algebra) and an $L_\infty$-differentiation of the algebra of Hochschild cochains, verifying some additional conditions with respect to the Poisson structure.