title: Mathematical Foundation of Sparsity-based Multi-snapshot Spectral Estimation

abstract: In this paper, we study the spectral estimation problem of estimating the locations of a fixed number of point sources given multiple snapshots of Fourier measurements in a bounded domain. We aim to provide a mathematical foundation for sparsity-based super-resolution in such spectral estimation problems in both one- and multi-dimensional spaces. In particular, we estimate the resolution and stability of the location recovery when considering the sparsest solution under the measurement constraint, and characterize their dependence on the cut-off frequency, the noise level, the sparsity of point sources, and the incoherence of the amplitude vectors of point sources. Our estimate emphasizes the importance of the high incoherence of amplitude vectors in enhancing the resolution of multi-snapshot spectral estimation. Moreover, to the best of our knowledge, it also provides the first stability result in the super-resolution regime for the well-known sparse MMV problem in DOA estimation.


title: Neural Network based Successor Representations of Space and Language

abstract: How does the mind organize thoughts? The hippocampal-entorhinal complex is thought to support domain-general representation and processing of structural knowledge of arbitrary state, feature and concept spaces. In particular, it enables the formation of cognitive maps, and navigation on these maps, thereby broadly contributing to cognition. It has been proposed that the concept of multi-scale successor representations provides an explanation of the underlying computations performed by place and grid cells. Here, we present a neural network based approach to learn such representations, and its application to different scenarios: a spatial exploration task based on supervised learning, a spatial navigation task based on reinforcement learning, and a non-spatial task where linguistic constructions have to be inferred by observing sample sentences. In all scenarios, the neural network correctly learns and approximates the underlying structure by building successor representations. Furthermore, the resulting neural firing patterns are strikingly similar to experimentally observed place and grid cell firing patterns. We conclude that cognitive maps and neural network-based successor representations of structured knowledge provide a promising way to overcome some of the short comings of deep learning towards artificial general intelligence.


title: Real Time Adaptive Estimation of Li-ion Battery Bank Parameters

abstract: This paper proposes an accurate and efficient Universal Adaptive Stabilizer (UAS) based online parameters estimation technique for a 400 V Li-ion battery bank. The battery open circuit voltage, parameters modeling the transient response, and series resistance are all estimated in a single real-time test. In contrast to earlier UAS based work on individual battery packs, this work does not require prior offline experimentation or any post-processing. Real time fast convergence of parameters' estimates with minimal experimental effort enables self-update of battery parameters in run-time. The proposed strategy is mathematically validated and its performance is demonstrated on a 400 V, 6.6 Ah Li-ion battery bank powering the induction motor driven prototype electric vehicle (EV) traction system.


title: Modal Estimation on a Warped Frequency Axis for Linear System Modeling

abstract: Linear systems such as room acoustics and string oscillations may be modeled as the sum of mode responses, each characterized by a frequency, damping and amplitude. Here, we consider finding the mode parameters from impulse response measurements, and estimate the mode frequencies and decay rates as the generalized eigenvalues of Hankel matrices of system response samples, similar to ESPRIT. For greater resolution at low frequencies, such as desired in room acoustics and musical instrument modeling, the estimation is done on a warped frequency axis. The approach has the benefit of selecting the number of modes to achieve a desired fidelity to the measured impulse response. An optimization to further refine the frequency and damping parameters is presented. The method is used to model coupled piano strings and room impulse responses, with its performance comparing favorably to FZ-ARMA.


title: On Gaussian decay rates of harmonic oscillators and equivalences of related Fourier uncertainty principles

abstract: We make progress on a question by Vemuri on the optimal Gaussian decay of harmonic oscillators, proving the original conjecture up to an arithmetic progression of times. The techniques used are a suitable translation of the problem at hand in terms of the free Schr\"odinger equation, the machinery developed in the work of Cowling, Escauriaza, Kenig, Ponce and Vega , and a lemma which relates decay on average to pointwise decay. Such a lemma produces many more consequences in terms of equivalences of uncertainty principles. Complementing such results, we provide endpoint results in particular classes induced by certain Laplace transforms, both to the decay Lemma and to the remaining cases of Vemuri's conjecture, shedding light on the full endpoint question.


title: r-G2P: Evaluating and Enhancing Robustness of Grapheme to Phoneme Conversion by Controlled noise introducing and Contextual information incorporation

abstract: Grapheme-to-phoneme (G2P) conversion is the process of converting the written form of words to their pronunciations. It has an important role for text-to-speech (TTS) synthesis and automatic speech recognition (ASR) systems. In this paper, we aim to evaluate and enhance the robustness of G2P models. We show that neural G2P models are extremely sensitive to orthographical variations in graphemes like spelling mistakes. To solve this problem, we propose three controlled noise introducing methods to synthesize noisy training data. Moreover, we incorporate the contextual information with the baseline and propose a robust training strategy to stabilize the training process. The experimental results demonstrate that our proposed robust G2P model (r-G2P) outperforms the baseline significantly (-2.73\% WER on Dict-based benchmarks and -9.09\% WER on Real-world sources).


title: Recommendations to Develop, Distribute and Market Sonification Apps

abstract: After decades of research, sonification is still rarely adopted in consumer electronics, software and user interfaces. Outside the science and arts scenes the term sonification seems not well known to the public. As a means of science communication, and in order to make software developers, producers of consumer electronics and end users aware of sonification, we developed, distributed, and promoted Tiltification. This smartphone app utilizes sonification to inform users about the tilt angle of their phone, so that they can use it as a torpedo level. In this paper we report on our app development, distribution and promotion strategies and reflect on their success in making the app in particular, and sonification in general, better known to the public. Finally, we give recommendations on how to develop, distribute and market sonification apps. This article is dedicated to research institutions without commercial interests.


title: Backdoor Defense in Federated Learning Using Differential Testing and Outlier Detection

abstract: The goal of federated learning (FL) is to train one global model by aggregating model parameters updated independently on edge devices without accessing users' private data. However, FL is susceptible to backdoor attacks where a small fraction of malicious agents inject a targeted misclassification behavior in the global model by uploading polluted model updates to the server. In this work, we propose DifFense, an automated defense framework to protect an FL system from backdoor attacks by leveraging differential testing and two-step MAD outlier detection, without requiring any previous knowledge of attack scenarios or direct access to local model parameters. We empirically show that our detection method prevents a various number of potential attackers while consistently achieving the convergence of the global model comparable to that trained under federated averaging (FedAvg). We further corroborate the effectiveness and generalizability of our method against prior defense techniques, such as Multi-Krum and coordinate-wise median aggregation. Our detection method reduces the average backdoor accuracy of the global model to below 4% and achieves a false negative rate of zero.


title: Real-time Over-the-air Adversarial Perturbations for Digital Communications using Deep Neural Networks

abstract: Deep neural networks (DNNs) are increasingly being used in a variety of traditional radiofrequency (RF) problems. Previous work has shown that while DNN classifiers are typically more accurate than traditional signal processing algorithms, they are vulnerable to intentionally crafted adversarial perturbations which can deceive the DNN classifiers and significantly reduce their accuracy. Such intentional adversarial perturbations can be used by RF communications systems to avoid reactive-jammers and interception systems which rely on DNN classifiers to identify their target modulation scheme. While previous research on RF adversarial perturbations has established the theoretical feasibility of such attacks using simulation studies, critical questions concerning real-world implementation and viability remain unanswered. This work attempts to bridge this gap by defining class-specific and sample-independent adversarial perturbations which are shown to be effective yet computationally feasible in real-time and time-invariant. We demonstrate the effectiveness of these attacks over-the-air across a physical channel using software-defined radios (SDRs). Finally, we demonstrate that these adversarial perturbations can be emitted from a source other than the communications device, making these attacks practical for devices that cannot manipulate their transmitted signals at the physical layer.


title: The anomalous process in singlet fission kinetic model with time-dependent coefficient

abstract: In the third generation photovoltaic device, the main physical mechanism that the photoelectric conversion efficiency is enhanced is the singlet fission (SF). In order to accurately describe the SF and reveal physical process in theoretically, we introduce the anomalous process (AP) in SF dynamics based on previous model, including anomalous fission, anomalous fusion, anomalous dissociation and combination of triplet pair states, anomalous decay and diffusion of single triplet exciton. The effects of the AP on SF are investigated by the kinetic model with time-dependent coefficient. Further, according to the results we make the optimal simulations for the experimental data [G. B. Piland et al., J. Phys. Chem. C, 2013, 117, 1224] by adjusting the rate coefficients and exponents in the mended kinetic equations. The results show that the model considered AP is more accurate than previous that to describe SF dynamics, demonstrating that the AP do exist in SF. The model also provides the theoretical foundation for how varies experimentally physical factors to make SF occur to tend to required direction.


title: Differentially Private Regression with Unbounded Covariates

abstract: We provide computationally efficient, differentially private algorithms for the classical regression settings of Least Squares Fitting, Binary Regression and Linear Regression with unbounded covariates. Prior to our work, privacy constraints in such regression settings were studied under strong a priori bounds on covariates. We consider the case of Gaussian marginals and extend recent differentially private techniques on mean and covariance estimation (Kamath et al., 2019; Karwa and Vadhan, 2018) to the sub-gaussian regime. We provide a novel technical analysis yielding differentially private algorithms for the above classical regression settings. Through the case of Binary Regression, we capture the fundamental and widely-studied models of logistic regression and linearly-separable SVMs, learning an unbiased estimate of the true regression vector, up to a scaling factor.


title: Quantum Distributed Deep Learning Architectures: Models, Discussions, and Applications

abstract: Although deep learning (DL) has already become a state-of-the-art technology for various data processing tasks, data security and computational overload problems often arise due to their high data and computational power dependency. To solve this problem, quantum deep learning (QDL) and distributed deep learning (DDL) has emerged to complement existing DL methods. Furthermore, a quantum distributed deep learning (QDDL) technique that combines and maximizes these advantages is getting attention. This paper compares several model structures for QDDL and discusses their possibilities and limitations to leverage QDDL for some representative application scenarios.


title: Unravelling Token Ecosystem of EOSIO Blockchain

abstract: Being the largest Initial Coin Offering project, EOSIO has attracted great interest in cryptocurrency markets. Despite its popularity and prosperity (e.g., 26,311,585,008 token transactions occurred from June 8, 2018 to Aug. 5, 2020), there is almost no work investigating the EOSIO token ecosystem. To fill this gap, we are the first to conduct a systematic investigation on the EOSIO token ecosystem by conducting a comprehensive graph analysis on the entire on-chain EOSIO data (nearly 135 million blocks). We construct token creator graphs, token-contract creator graphs, token holder graphs, and token transfer graphs to characterize token creators, holders, and transfer activities. Through graph analysis, we have obtained many insightful findings and observed some abnormal trading patterns. Moreover, we propose a fake-token detection algorithm to identify tokens generated by fake users or fake transactions and analyze their corresponding manipulation behaviors. Evaluation results also demonstrate the effectiveness of our algorithm.


title: Indiscriminate Poisoning Attacks on Unsupervised Contrastive Learning

abstract: Indiscriminate data poisoning attacks are quite effective against supervised learning. However, not much is known about their impact on unsupervised contrastive learning (CL). This paper is the first to consider indiscriminate poisoning attacks of contrastive learning. We propose Contrastive Poisoning (CP), the first effective such attack on CL. We empirically show that Contrastive Poisoning, not only drastically reduces the performance of CL algorithms, but also attacks supervised learning models, making it the most generalizable indiscriminate poisoning attack. We also show that CL algorithms with a momentum encoder are more robust to indiscriminate poisoning, and propose a new countermeasure based on matrix completion. Code is available at: https://github.com/kaiwenzha/contrastive-poisoning.


title: Label-Smoothed Backdoor Attack

abstract: By injecting a small number of poisoned samples into the training set, backdoor attacks aim to make the victim model produce designed outputs on any input injected with pre-designed backdoors. In order to achieve a high attack success rate using as few poisoned training samples as possible, most existing attack methods change the labels of the poisoned samples to the target class. This practice often results in severe over-fitting of the victim model over the backdoors, making the attack quite effective in output control but easier to be identified by human inspection or automatic defense algorithms. In this work, we proposed a label-smoothing strategy to overcome the over-fitting problem of these attack methods, obtaining a \textit{Label-Smoothed Backdoor Attack} (LSBA). In the LSBA, the label of the poisoned sample $\bm{x}$ will be changed to the target class with a probability of $p_n(\bm{x})$ instead of 100\%, and the value of $p_n(\bm{x})$ is specifically designed to make the prediction probability the target class be only slightly greater than those of the other classes. Empirical studies on several existing backdoor attacks show that our strategy can considerably improve the stealthiness of these attacks and, at the same time, achieve a high attack success rate. In addition, our strategy makes it able to manually control the prediction probability of the design output through manipulating the applied and activated number of LSBAs\footnote{Source code will be published at \url{https://github.com/v-mipeng/LabelSmoothedAttack.git}}.


title: Study of Feature Importance for Quantum Machine Learning Models

abstract: Predictor importance is a crucial part of data preprocessing pipelines in classical and quantum machine learning (QML). This work presents the first study of its kind in which feature importance for QML models has been explored and contrasted against their classical machine learning (CML) equivalents. We developed a hybrid quantum-classical architecture where QML models are trained and feature importance values are calculated from classical algorithms on a real-world dataset. This architecture has been implemented on ESPN Fantasy Football data using Qiskit statevector simulators and IBM quantum hardware such as the IBMQ Mumbai and IBMQ Montreal systems. Even though we are in the Noisy Intermediate-Scale Quantum (NISQ) era, the physical quantum computing results are promising. To facilitate current quantum scale, we created a data tiering, model aggregation, and novel validation methods. Notably, the feature importance magnitudes from the quantum models had a much higher variation when contrasted to classical models. We can show that equivalent QML and CML models are complementary through diversity measurements. The diversity between QML and CML demonstrates that both approaches can contribute to a solution in different ways. Within this paper we focus on Quantum Support Vector Classifiers (QSVC), Variational Quantum Circuit (VQC), and their classical counterparts. The ESPN and IBM fantasy football Trade Assistant combines advanced statistical analysis with the natural language processing of Watson Discovery to serve up personalized trade recommendations that are fair. Here, player valuation data of each player has been considered and this work can be extended to calculate the feature importance of other QML models such as Quantum Boltzmann machines.


title: Constant matters: Fine-grained Complexity of Differentially Private Continual Observation

abstract: We study fine-grained error bounds for differentially private algorithms for counting under continual observation. Our main insight is that the matrix mechanism when using lower-triangular matrices can be used in the continual observation model. More specifically, we give an explicit factorization for the counting matrix $M_\mathsf{count}$ and upper bound the error explicitly. We also give a fine-grained analysis, specifying the exact constant in the upper bound. Our analysis is based on upper and lower bounds of the {\em completely bounded norm} (cb-norm) of $M_\mathsf{count}$. Along the way, we improve the best-known bound of 28 years by Mathias (SIAM Journal on Matrix Analysis and Applications, 1993) on the cb-norm of $M_\mathsf{count}$ for a large range of the dimension of $M_\mathsf{count}$. Furthermore, we are the first to give concrete error bounds for various problems under continual observation such as binary counting, maintaining a histogram, releasing an approximately cut-preserving synthetic graph, many graph-based statistics, and substring and episode counting. Finally, we note that our result can be used to get a fine-grained error bound for non-interactive local learning {and the first lower bounds on the additive error for $(\epsilon,\delta)$-differentially-private counting under continual observation.} Subsequent to this work, Henzinger et al. (SODA2023) showed that our factorization also achieves fine-grained mean-squared error.


title: Functional Parcellation of fMRI data using multistage k-means clustering

abstract: Purpose: Functional Magnetic Resonance Imaging (fMRI) data acquired through resting-state studies have been used to obtain information about the spontaneous activations inside the brain. One of the approaches for analysis and interpretation of resting-state fMRI data require spatially and functionally homogenous parcellation of the whole brain based on underlying temporal fluctuations. Clustering is often used to generate functional parcellation. However, major clustering algorithms, when used for fMRI data, have their limitations. Among commonly used parcellation schemes, a tradeoff exists between intra-cluster functional similarity and alignment with anatomical regions. Approach: In this work, we present a clustering algorithm for resting state and task fMRI data which is developed to obtain brain parcellations that show high structural and functional homogeneity. The clustering is performed by multistage binary k-means clustering algorithm designed specifically for the 4D fMRI data. The results from this multistage k-means algorithm show that by modifying and combining different algorithms, we can take advantage of the strengths of different techniques while overcoming their limitations. Results: The clustering output for resting state fMRI data using the multistage k-means approach is shown to be better than simple k-means or functional atlas in terms of spatial and functional homogeneity. The clusters also correspond to commonly identifiable brain networks. For task fMRI, the clustering output can identify primary and secondary activation regions and provide information about the varying hemodynamic response across different brain regions. Conclusion: The multistage k-means approach can provide functional parcellations of the brain using resting state fMRI data. The method is model-free and is data driven which can be applied to both resting state and task fMRI.


title: Reconstruction and Normalization of Anselin's Local Indicators of Spatial Association (LISA)

abstract: The local indicators of spatial association (LISA) are significant measures for spatial autocorrelation analysis. However, there is an inadvertent fault in Anselin's mathematical processes so that the local Moran and Geary indicators do not satisfy his second basic requirement, i.e., the sum of the local indicators is proportional to a global indicator. Based on Anselin's original intention, this paper is devoted to reconstructing the calculation formulae of the local Moran indexes and Geary coefficients through mathematical derivation and empirical evidence. Two sets of LISAs were clarified by mathematical reasoning. One set of LISAs is based on no normalized weights and centralized variable (MI1 and GC1), and the other set is but the second the set cannot. Then, the third set of LISA was proposed, treated as canonical forms (MI3 and GC3). The local Moran indexes are based on global normalized weights and standardized variable based on population standard deviation, while the local Geary coefficients are based on global normalized weights and standardized variable based on sample standard deviation. This set of LISAs satisfies the second requirement of based on row normalized weights and standardized variable (MI2 and GC2). The results show that the first set of LISAs satisfy Anselin's second requirement,Anselin's. The observational data of city population and traffic mileage in Beijing-Tianjin-Hebei region of China were employed to verify the theoretical results. This study helps to clarify the misunderstandings about LISAs in the field of geospatial analysis.


title: Democratizing Aviation Emissions Estimation: Development of an Open-Source, Data-Driven Methodology

abstract: Through an aviation emissions estimation tool that is both publicly-accessible and comprehensive, researchers, planners, and community advocates can help shape a more sustainable and equitable U.S. air transportation system. To this end, we develop an open-source, data-driven methodology to calculate the system-wide emissions of the U.S. domestic civil aviation industry. This process utilizes and integrates six different public datasets provided by the Bureau of Transportation Statistics (BTS), the Federal Aviation Agency (FAA), EUROCONTROL, and the International Civil Aviation Organization (ICAO). At the individual flight level, our approach examines the specific aircraft type, equipped engine, and time in stage of flight to produce a more granular estimate than competing approaches. Enabled by our methodology, we then calculate system-wide emissions, considering four different greenhouse gases (CO2, NOx, CO, HC) during the Landing, Take-off (LTO) and Climb, Cruise, and Descent (CCD) flight cycles. Our results elucidate that emissions on a particular route can vary significantly due to aircraft and engine choice, and that emission rates differ significantly from airline to airline. We also find that CO2 alone is not a sufficient proxy for emissions, as NOx, when converted to its CO2-equivalency, exceeds CO2 during both LTO and CCD.


title: Inertial focusing of spherical particles in curved microfluidic ducts at moderate Dean numbers

abstract: We examine the effect of Dean number on the inertial focusing of spherical particles suspended in flow through curved microfluidic ducts. Previous modelling of particle migration in curved ducts assumed the flow rate was small enough that a leading order approximation of the background flow with respect to the Dean number produces a reasonable model. Herein, we extend our model to situations having a moderate Dean number (in the microfluidics context) while the particle Reynolds number remains small. This extension allows us to capture changes in the background flow that occur with increasing flow rate, namely a shift in local extrema towards the outside wall. The change in the axial velocity profile of the background flow has an effect on the inertial lift force, while the change in the cross-sectional components directly affects the secondary flow drag. In keeping the particle Reynolds number small we approximate the inertial lift force in a similar manner to previous studies while capturing subtle effects do to the modified background flow profile. Capturing and understanding these effects is an important step towards accurately modelling inertial migration across a wide range of practical applications. Our results reveal how the changing background flow profile modifies the inertial focusing of particles. We illustrate enhanced lateral separation of particles by size in a number of scenarios and find that focusing times can be roughly separated into two regimes. These results suggest our model might aid with parameter choices for separation of particles by size.


title: Pointwise convergence of the heat and subordinates of the heat semigroups associated with the Laplace operator on homogeneous trees and two weighted $L^p$ maximal inequalities

abstract: In this paper we consider the heat semigroup $\{W_t\}_{t>0}$ defined by the combinatorial Laplacian and two subordinated families of $\{W_t\}_{t>0}$ on homogeneous trees $X$. We characterize the weights $u$ on $X$ for which the pointwise convergence to initial data of the above families holds for every $f\in L^{p}(X,\mu,u)$ with $1\le p<\infty$, where $\mu$ represents the counting measure in $X$ . We prove that this convergence property in $X$ is equivalent to the fact that the maximal operator on $t\in (0,R)$, for some $R>0$, defined by the semigroup is bounded from $L^{p}(X,\mu,u)$ into $L^{p}(X,\mu,v)$ for some weight $v$ on $X$.


title: Max/Min Puzzles in Geometry III

abstract: The first two installments of this series of papers dealt with the maximum area polygons: Parallelogram, Rectangle, Square or Equilateral Triangle, in given triangles. Minimum area polygons were also considered in the second paper on Equilateral Triangles. In this paper the puzzle will be turned the other way around. Given the regular unit polygons, a Square, Pentagon, or Hexagon, we searched for the smallest area triangle(s) which contains it. The Dynamic Software Sketchpad v5.10 BETA was used for all examples and figures throughout the work.


title: Metrical properties for the weighted products of multiple partial quotients in continued fractions

abstract: The classical Khintchine and Jarn\'ik theorems, generalizations of a consequence of Dirichlet's theorem, are fundamental results in the theory of Diophantine approximation. These theorems are concerned with the size of the set of real numbers for which the partial quotients in their continued fraction expansions grows with a certain rate. Recently it was observed that the growth of product of pairs of consecutive partial quotients in the continued fraction expansion of a real number is associated with improvements to Dirichlet's theorem. In this paper we consider the products of several consecutive partial quotients raised to different powers. Namely, we find the Lebesgue measure and the Hausdorff dimension of the following set: $$ {\D_{\mathbf t}}(\psi):=\left\{x\in[0, 1): \prod\limits_{i=0}^{m-1}{a^{t_i}_{n+i}(x)} \ge \Psi(n)\ {\text{for infinitely many}} \ n\in \N \right\}, $$ where $t_i\in\mathbb R_+$ for all ${0\leq i\leq m-1}$, and $\Psi:\N\to\R_{\ge 1}$ is a positive function.


title: From Resource Auction to Service Auction: An Auction Paradigm Shift in Wireless Networks

abstract: In 5G and beyond, the newly emerging services, such as edge computing/intelligence services, may demand the provision of heterogeneous communications, computing, and storage (CCS) resources on and across network entities multihop apart. In such cases, traditional resource-oriented auction schemes, where buyers place bids on resources, may not be effective in providing end-to-end (E2E) quality-of-service (QoS) guarantees. To overcome these limitations, in this article, we coin the concept of E2E service auction where the auction commodities are E2E services rather than certain resource. Under this framework, buyers simply bid for services with E2E QoS requirements without having to know the inner working (which resources are behind). To guarantee E2E QoS for winning bids while ensuring essential economic properties, E2E service auction requires addressing the joint problem of network optimization and auction design with both economical and QoS constraints. To substantiate the mechanism design, we illustrate how to devise E2E service auctions for edge computing systems under various scenarios. We also identify the research opportunities on E2E service auction mechanism design for other critical use cases, including edge intelligence.


title: FourCastNet: A Global Data-driven High-resolution Weather Model using Adaptive Fourier Neural Operators

abstract: FourCastNet, short for Fourier Forecasting Neural Network, is a global data-driven weather forecasting model that provides accurate short to medium-range global predictions at $0.25^{\circ}$ resolution. FourCastNet accurately forecasts high-resolution, fast-timescale variables such as the surface wind speed, precipitation, and atmospheric water vapor. It has important implications for planning wind energy resources, predicting extreme weather events such as tropical cyclones, extra-tropical cyclones, and atmospheric rivers. FourCastNet matches the forecasting accuracy of the ECMWF Integrated Forecasting System (IFS), a state-of-the-art Numerical Weather Prediction (NWP) model, at short lead times for large-scale variables, while outperforming IFS for variables with complex fine-scale structure, including precipitation. FourCastNet generates a week-long forecast in less than 2 seconds, orders of magnitude faster than IFS. The speed of FourCastNet enables the creation of rapid and inexpensive large-ensemble forecasts with thousands of ensemble-members for improving probabilistic forecasting. We discuss how data-driven deep learning models such as FourCastNet are a valuable addition to the meteorology toolkit to aid and augment NWP models.


title: Nuclear Excitation by Muon Capture

abstract: Efficient excitation of nuclei via exchange of a real or virtual photon has a fundamental importance for nuclear science and technology development. Here, we present a new mechanism of nuclear excitation based on the capture of a free muon into the atomic orbits (NE$\mu$C). The cross section of such a new process is evaluated using the Feshbach projection operator formalism and compared to other known excitation phenomena, i.e. photo-excitation and nuclear excitation by electron capture (NEEC), showing up to ten orders of magnitude increase in cross section. NE$\mu$C is particularly interesting for MeV excitations that become accessible thanks to the stronger binding of muons to the nucleus. The binding energies of muonic atoms have been calculated introducing a state of the art modification to the Flexible Atomic Code (FAC). An analysis of an experimental scenarios in the context of modern muon production facilities shows that the effect can be detectable for selected isotopes. The total probability of NE$\mu$C is predicted to be $ P \approx 10^{-6}$ per incident muon in a beam-based scenario. Given the high transition energy provided by muons, NE$\mu$C can have important consequences for isomer feeding and particle-induced fission.


title: Early Stage Diabetes Prediction via Extreme Learning Machine

abstract: Diabetes is one of the chronic diseases that has been discovered for decades. However, several cases are diagnosed in their late stages. Every one in eleven of the world's adult population has diabetes. Forty-six percent of people with diabetes have not been diagnosed. Diabetes can develop several other severe diseases that can lead to patient death. Developing and rural areas suffer the most due to the limited medical providers and financial situations. This paper proposed a novel approach based on an extreme learning machine for diabetes prediction based on a data questionnaire that can early alert the users to seek medical assistance and prevent late diagnoses and severe illness development.


title: Differentiable and Learnable Robot Models

abstract: Building differentiable simulations of physical processes has recently received an increasing amount of attention. Specifically, some efforts develop differentiable robotic physics engines motivated by the computational benefits of merging rigid body simulations with modern differentiable machine learning libraries. Here, we present a library that focuses on the ability to combine data driven methods with analytical rigid body computations. More concretely, our library \emph{Differentiable Robot Models} implements both \emph{differentiable} and \emph{learnable} models of the kinematics and dynamics of robots in Pytorch. The source-code is available at \url{https://github.com/facebookresearch/differentiable-robot-model}


title: Homeostatic Mechanisms in Biological Systems

abstract: In this paper we investigate the homeostatic mechanism in two biologically motivated models: intracellular copper regulation and self immune recognition. The analysis is based on the notions of infinitesimal homeostasis and near-perfect homeostasis. We introduce a theoretical background that makes it possible to consider points of infinitesimal homeostasis that lie at the boundary of the domain of definition of the input-output function. We show that the two models display near-perfect homeostasis. Moreover, we show that, unlike the examples of [M. Reed, J. Best, M. Golubitsky, I. Stewart, and H. F. Nijhout. Analysis of homeostatic mechanisms in biochemical networks. Bull. Math. Biol., 79(11):2534-2557, 2017], the obstruction of occurrence of infinitesimal homeostasis in both of them is caused by the modeling assumptions that force the point of infinitesimal homeostasis to lie at the boundary of domain of definition of the respective input-output functions.


title: No-Regret Learning with Unbounded Losses: The Case of Logarithmic Pooling

abstract: For each of $T$ time steps, $m$ experts report probability distributions over $n$ outcomes; we wish to learn to aggregate these forecasts in a way that attains a no-regret guarantee. We focus on the fundamental and practical aggregation method known as logarithmic pooling -- a weighted average of log odds -- which is in a certain sense the optimal choice of pooling method if one is interested in minimizing log loss (as we take to be our loss function). We consider the problem of learning the best set of parameters (i.e. expert weights) in an online adversarial setting. We assume (by necessity) that the adversarial choices of outcomes and forecasts are consistent, in the sense that experts report calibrated forecasts. Imposing this constraint creates a (to our knowledge) novel semi-adversarial setting in which the adversary retains a large amount of flexibility. In this setting, we present an algorithm based on online mirror descent that learns expert weights in a way that attains $O(\sqrt{T} \log T)$ expected regret as compared with the best weights in hindsight.


title: Type II supernovae from the Carnegie Supernova Project-I. III. Understanding SN II diversity through correlations between physical and observed properties

abstract: SNe II show great photometric and spectroscopic diversity which is attributed to the varied physical characteristics of their progenitor and explosion properties. In this study, the third of a series of papers where we analyse a sample of SNe II observed by the Carnegie Supernova Project-I, we present correlations between their observed and physical properties. Our analysis shows that explosion energy is the physical property that correlates with the highest number of parameters. We recover previously suggested relationships between the hydrogen-rich envelope mass and the plateau duration, and find that more luminous SNe II with higher expansion velocities, faster declining light curves, and higher Ni masses are consistent with higher energy explosions. In addition, faster declining SNe II are also compatible with more concentrated Ni in the inner regions of the ejecta. Positive trends are found between the initial mass, explosion energy, and Ni mass. While the explosion energy spans the full range explored with our models, the initial mass generally arises from a relatively narrow range. Observable properties were measured from our grid of models to determine the effect of each physical parameter on the observed SN II diversity. We argue that explosion energy is the physical parameter causing the greatest impact on SN II diversity, when assuming standard single-star evolution as in the models used in this study. The inclusion of pre-SN models assuming higher mass loss produces a significant increase in the strength of some correlations, particularly those between the progenitor hydrogen-rich envelope mass and the plateau and optically thick phase durations. These differences clearly show the impact of having different treatments of stellar evolution, implying that changes in the assumption of standard single-star evolution are necessary for a complete understanding of SN II diversity.


title: Arbitrary Shape Text Detection using Transformers

abstract: Recent text detection frameworks require several handcrafted components such as anchor generation, non-maximum suppression (NMS), or multiple processing stages (e.g. label generation) to detect arbitrarily shaped text images. In contrast, we propose an end-to-end trainable architecture based on Detection using Transformers (DETR), that outperforms previous state-of-the-art methods in arbitrary-shaped text detection. At its core, our proposed method leverages a bounding box loss function that accurately measures the arbitrary detected text regions' changes in scale and aspect ratio. This is possible due to a hybrid shape representation made from Bezier curves, that are further split into piece-wise polygons. The proposed loss function is then a combination of a generalized-split-intersection-over-union loss defined over the piece-wise polygons and regularized by a Smooth-$\ln$ regression over the Bezier curve's control points. We evaluate our proposed model using Total-Text and CTW-1500 datasets for curved text, and MSRA-TD500 and ICDAR15 datasets for multi-oriented text, and show that the proposed method outperforms the previous state-of-the-art methods in arbitrary-shape text detection tasks.


title: A modeling approach for estimating dynamic measles case detection rates

abstract: The main idea in this paper is that the age associated with reported measles cases can be used to estimate the number of undetected measles infections. Somewhat surprisingly, even with age only to the nearest year, estimates of underreporting can be generated at the much faster, 2 week time-scale associated with measles transmission. I describe this idea by focusing on the well-studied, 60 city United Kingdom data set, which covers the transition to universal healthcare in 1948, and is, as a result, an interesting case study in infectious disease surveillance. Finally, at the end of the paper, I comment briefly on how the approach can be modified for application to modern contexts.


title: Correlation function of a random scalar field evolving with a rapidly fluctuating Gaussian process

abstract: We consider a scalar field governed by an advection-diffusion equation (or a more general evolution equation) with rapidly fluctuating, Gaussian distributed random coefficients. In the white noise limit, we derive the closed evolution equation for the ensemble average of the random scalar field by three different strategies, i.e., Feynman-Kac formula, the limit of Ornstein-Uhlenbeck process, and evaluating the cluster expansion of the propagator on an $n$-simplex. With the evolution equation of ensemble average, we study the passive scalar transport problem with two different types of flows, a random periodic flow, and a random strain flow. For periodic flows, by utilizing the homogenization method, we show that the $N$-point correlation function of the random scalar field satisfies an effective diffusion equation at long times. For the strain flow, we explicit compute the mean of the random scalar field and show that the statistics of the random scalar field have a connection to the time integral of geometric Brownian motion. Interestingly, all normalized moment (e.g., skewness, kurtosis) of this random scalar field diverges at long times, meaning that the scalar becomes more and more intermittent during its decay.


title: Ballistic deposition with memory: a new universality class of surface growth with a new scaling law

abstract: Motivated by recent experimental studies in microbiology, we suggest a modification of the classic ballistic deposition model of surface growth, where the memory of a deposition at a site induces more depositions at that site or its neighbors. By studying the statistics of surfaces in this model, we obtain three independent critical exponents: the growth exponent $\beta =5/4$, the roughening exponent $\alpha = 2$, and the new (size) exponent $\gamma = 1/2$. The model requires a modification to the Family-Vicsek scaling, resulting in the dynamical exponent $z = \frac{\alpha+\gamma}{\beta} = 2$. This modified scaling collapses the surface width vs time curves for various lattice sizes. This is a previously unobserved universality class of surface growth that could describe surface properties of a wide range of natural systems.


title: Deterministic and Stochastic Fixed-time Stability of Discrete-time Autonomous Systems

abstract: This paper studies deterministic and stochastic fixed-time stability of autonomous nonlinear discrete-time (DT) systems. Lyapunov conditions are first presented under which the fixed-time stability of deterministic DT system is certified. Extensions to systems under deterministic perturbations as well as stochastic noise are then considered. For the former, the sensitivity to perturbations for fixed-time stable DT systems is analyzed, and it is shown that fixed-time attractiveness is resulted from the presented Lyapunov conditions. For the latter, sufficient Lyapunov conditions for fixed-time stability in probability of nonlinear stochastic DT systems are presented. The fixed upper bound of the settling-time function is derived for both fixed-time stable and fixed-time attractive systems, and the stochastic settling-time function fixed upper bound is derived for stochastic DT systems. Illustrative examples are given along with simulation results to verify the introduced results.


title: Model2Detector: Widening the Information Bottleneck for Out-of-Distribution Detection using a Handful of Gradient Steps

abstract: Out-of-distribution detection is an important capability that has long eluded vanilla neural networks. Deep Neural networks (DNNs) tend to generate over-confident predictions when presented with inputs that are significantly out-of-distribution (OOD). This can be dangerous when employing machine learning systems in the wild as detecting attacks can thus be difficult. Recent advances inference-time out-of-distribution detection help mitigate some of these problems. However, existing methods can be restrictive as they are often computationally expensive. Additionally, these methods require training of a downstream detector model which learns to detect OOD inputs from in-distribution ones. This, therefore, adds latency during inference. Here, we offer an information theoretic perspective on why neural networks are inherently incapable of OOD detection. We attempt to mitigate these flaws by converting a trained model into a an OOD detector using a handful of steps of gradient descent. Our work can be employed as a post-processing method whereby an inference-time ML system can convert a trained model into an OOD detector. Experimentally, we show how our method consistently outperforms the state-of-the-art in detection accuracy on popular image datasets while also reducing computational complexity.


title: Unsteady cavitation dynamics and frequency lock-in of a freely vibrating hydrofoil at high Reynolds number

abstract: We investigate the influence of unsteady partial cavitation on the fluid-structure interaction of a freely vibrating hydrofoil section at high Reynolds numbers. We consider an elastically-mounted NACA66 hydrofoil section that is free to vibrate in the transverse flow direction. Cavitating flow dynamics coupled with the transverse vibration are studied at low angles of attack. For the numerical study, we employ a recently developed unified variational fluid-structure interaction framework based on homogeneous mixture-based cavitation with hybrid URANS-LES turbulence modeling. We first validate the numerical implementation against experimental data for turbulent cavitating flow. For freely oscillating hydrofoil, we observe large-amplitude vibrations during unsteady partial cavitating conditions that are absent in the non-cavitating flow. We identify a frequency lock-in phenomenon as the main source of sustained large-amplitude vibration whereby the unsteady lift forces lock into a sub-harmonic of the hydrofoil natural frequency. During cavity collapse and shedding, we find a periodic generation of clockwise vorticity, leading to unsteady lift generation. We determine the origin of this flow unsteadiness near the trailing edge of the hydrofoil via the interplay between the growing cavity and adverse pressure gradient. The flow-induced structural vibration is observed to have a consequent impact on the cavity dynamics. In the frequency lock-in regime, large coherent cavitating structures are seen over the hydrofoil suction surface undergoing a full cavity growth-detachment-collapse cycle. For the post-lock-in regime, cavity length is shorter and the attached cavity is observed to undergo high frequency spatially localized oscillations. In this regime, cavity shedding is primarily limited to the cavity trailing end and frequency of a complete cavity detachment and shedding event is reduced.


title: Hierarchical MPC for coupled subsystems using adjustable tubes

abstract: A hierarchical Model Predictive Control (MPC) formulation is presented for coupled discrete-time linear systems with state and input constraints. Compared to a centralized approach, a two-level hierarchical controller, with one controller in the upper-level and one controller per subsystem in the lower-level, can significantly reduce the computational cost associated with MPC. Hierarchical coordination is achieved using adjustable tubes, which are optimized by the upper-level controller and bound permissible lower-level controller deviations from the system trajectories determined by the upper-level controller. The size of these adjustable tubes determines the degree of uncertainty between subsystems and directly affects the required constraint tightening under a tube-based robust MPC framework. Sets are represented as zonotopes to enable the ability to optimize the size of these adjustable tubes and perform the necessary constraint tightening online as part of the MPC optimization problems. State and input constraint satisfaction is proven for the two-level hierarchical controller with an arbitrary number of controllers at the lower-level and a numerical example demonstrates the key features and performance of the approach.


title: Direct Serendipity and Mixed Finite Elements on Convex Polygons

abstract: We construct new families of direct serendipity and direct mixed finite elements on general planer convex polygons that are $H^1$ and $H(div)$ conforming, respectively, and possess optimal order of accuracy for any order. They have a minimal number of degrees of freedom subject to the conformity and accuracy constraints. The name arises because the shape functions are defined directly on the physical elements, i.e., without using a mapping from a reference element. The finite element shape functions are defined to be the full spaces of scalar or vector polynomials plus a space of supplemental functions. The direct serendipity elements are the precursors of the direct mixed elements in a de Rham complex. The convergence properties of the finite elements are shown under a regularity assumption on the shapes of the polygons in the mesh, as well as some mild restrictions on the choices one can make in the construction of the supplemental functions. Numerical experiments on various meshes exhibit the performance of these new families of finite elements.


title: Mode mapping Q > 500 000 photonic crystal nanocavities using free carrier absorption

abstract: We demonstrate a nonlinear photomodulation spectroscopy method to image the mode profile of a high-Q photonic crystal resonator (PhCR). This far-field imaging method is suitable for ultrahigh-Q cavities which we demonstrate on a Q = 619000 PhCR. We scan the PhCR surface with a 405 nm pump beam that modulates the refractive index by local thermal tuning, while probing the response of the resonance. We enhance resolution by probing at high power, using the thermo-optical nonlinearity of the PhCR. Spatial resolution of the thermo-optical effect is typically constrained by the broad thermal profile of the optical pump. Here we go beyond the thermal limit and show that we can approach the diffraction limit of the pump light. This is due to free carrier absorption that heats up the PhCR only when there is overlap between the optical pump spot and the optical mode profile. This is supported with a thermo-optical model that reproduces the high-resolution mode mapping. Results reveal that the observed enhanced resolution is reached for surprisingly low carrier density.


title: Enabling Efficient Deep Convolutional Neural Network-based Sensor Fusion for Autonomous Driving

abstract: Autonomous driving demands accurate perception and safe decision-making. To achieve this, automated vehicles are now equipped with multiple sensors (e.g., camera, Lidar, etc.), enabling them to exploit complementary environmental context by fusing data from different sensing modalities. With the success of Deep Convolutional Neural Network(DCNN), the fusion between DCNNs has been proved as a promising strategy to achieve satisfactory perception accuracy. However, mainstream existing DCNN fusion schemes conduct fusion by directly element-wisely adding feature maps extracted from different modalities together at various stages, failing to consider whether the features being fused are matched or not. Therefore, we first propose a feature disparity metric to quantitatively measure the degree of feature disparity between the feature maps being fused. We then propose Fusion-filter as a feature-matching techniques to tackle the feature-mismatching issue. We also propose a Layer-sharing technique in the deep layer that can achieve better accuracy with less computational overhead. Together with the help of the feature disparity to be an additional loss, our proposed technologies enable DCNN to learn corresponding feature maps with similar characteristics and complementary visual context from different modalities to achieve better accuracy. Experimental results demonstrate that our proposed fusion technique can achieve better accuracy on KITTI dataset with less computational resources demand.


title: Chemical potential influence on the condensation energy from a Boson-Fermion model of superconductivity

abstract: Influence of the temperature dependent chemical potential on the condensation energy from a ternary Boson-Fermion model of superconductivity is reported, it consist of unbound electrons/holes which are fermions plus two-electron and two-hole Cooper pairs which are bosons. When solving simultaneously the set of equations of the mixture (two gap-like equations, one for electron pairs and another one for hole pairs, plus the particle number conservation equation) within the weak-coupling (BCS regime), the resulting superconducting chemical potential shows a shift from its normal state counterpart, which is related to both the magnitude of the temperature-dependent superconducting gap and to the Fermi energy of the superconductor. As predicted by van der Marel in the early 1990s we also find that the superconducting chemical potential has a prominent kink at critical temperature $T_c$, which in turn coincides with the normal state chemical potential. Also there is discontinuity in its first derivative which directly affects the magnitude in the specific heat jump. We show that the difference between the superconducting and normal state chemical potentials is of the same order of magnitude as the corresponding difference between the thermodynamic potentials for the mixture, and must therefore be accounted for in the condensation energy calculations instead of ignoring it as is done often. The condensation energy obtained here shows very good agreement with experimental data for elemental superconductors.


title: Retrieval Augmented Classification for Long-Tail Visual Recognition

abstract: We introduce Retrieval Augmented Classification (RAC), a generic approach to augmenting standard image classification pipelines with an explicit retrieval module. RAC consists of a standard base image encoder fused with a parallel retrieval branch that queries a non-parametric external memory of pre-encoded images and associated text snippets. We apply RAC to the problem of long-tail classification and demonstrate a significant improvement over previous state-of-the-art on Places365-LT and iNaturalist-2018 (14.5% and 6.7% respectively), despite using only the training datasets themselves as the external information source. We demonstrate that RAC's retrieval module, without prompting, learns a high level of accuracy on tail classes. This, in turn, frees the base encoder to focus on common classes, and improve its performance thereon. RAC represents an alternative approach to utilizing large, pretrained models without requiring fine-tuning, as well as a first step towards more effectively making use of external memory within common computer vision architectures.


title: A QUBO formulation for the Tree Containment problem

abstract: Phylogenetic (evolutionary) trees and networks are leaf-labeled graphs that are widely used to represent the evolutionary relationships between entities such as species, languages, cancer cells, and viruses. To reconstruct and analyze phylogenetic networks, the problem of deciding whether or not a given rooted phylogenetic network embeds a given rooted phylogenetic tree is of recurring interest. This problem, formally know as Tree Containment, is NP-complete in general and polynomial-time solvable for certain classes of phylogenetic networks. In this paper, we connect ideas from quantum computing and phylogenetics to present an efficient Quadratic Unconstrained Binary Optimization formulation for Tree Containment in the general setting. For an instance (N,T) of Tree Containment, where N is a phylogenetic network with n_N vertices and T is a phylogenetic tree with n_T vertices, the number of logical qubits that are required for our formulation is O(n_N n_T).


title: Soliton Motion in Skyrmion Chains

abstract: Using a particle-based model we examine the depinning motion of solitons in skyrmion chains in quasi-one dimensional (1D) and two-dimensional (2D) systems containing embedded 1D interfaces. The solitons take the form of a particle or hole in a commensurate chain of skyrmions. Under an applied drive, just above a critical depinning threshold the soliton moves with a skyrmion Hall angle of zero. For higher drives, the entire chain depins, and in a 2D system we observe that both the solitons and chain move at zero skyrmion Hall angle and then transition to a finite skyrmion Hall angle as the drive increases. In a 2D system with a 1D interface that is at an angle to the driving direction, there can be a reversal of the sign of the skyrmion Hall angle from positive to negative. Our results suggest that solitons in skyrmion systems could be used as information carriers in racetrack geometries that would avoid the drawbacks of finite skyrmion Hall angles. The soliton states become mobile at significantly lower drives than the depinning transition of the skyrmion chains themselves.


title: On Strengthening of the Solar f-mode Prior to Active Region Emergence Using the Fourier-Hankel Analysis

abstract: Recent results of Singh et al. (2016) show that the emergence of an active region (AR) can be seen in a strengthening of the f-mode power up to two days prior of the region's formation. In the original work, ring diagram analysis was used to estimate the power evolution. In this study, we make use of the Fourier-Hankel method, essentially testing the aforementioned results with an independent method. The data is acquired from SDO/HMI, studying the ARs 11158, 11072, 11105, 11130, 11242 and 11768. Investigating the total power as a function of time, we find a similar behavior to the original work, which is an enhancement of f-mode power about one to three days prior to AR emergence. Analysis of the absorption coefficient $\alpha$, yielded by a Fourier-Hankel analysis, shows neither absorption ($\alpha > 0$) nor emission ($\alpha < 0$) of power during the enhancement. Finding no changes of the absorption coefficient (i.e. $\alpha = 0$) is an important result, as it narrows down the possible physical interpretation of the original f-mode power enhancement, showing that no directional dependence (in the sense of inward and outward moving waves) is present.


title: Circuit and System Technologies for Energy-Efficient Edge Robotics

abstract: As we march towards the age of ubiquitous intelligence, we note that AI and intelligence are progressively moving from the cloud to the edge. The success of Edge-AI is pivoted on innovative circuits and hardware that can enable inference and limited learning in resource-constrained edge autonomous systems. This paper introduces a series of ultra-low-power accelerator and system designs on enabling the intelligence in edge robotic platforms, including reinforcement learning neuromorphic control, swarm intelligence, and simultaneous mapping and localization. We put an emphasis on the impact of the mixed-signal circuit, neuro-inspired computing system, benchmarking and software infrastructure, as well as algorithm-hardware co-design to realize the most energy-efficient Edge-AI ASICs for the next-generation intelligent and autonomous systems.


title: Lattices from Linear Codes: Source and Channel Networks

abstract: In this paper, we consider the information-theoretic characterization of the set of achievable rates and distortions in a broad class of multiterminal communication scenarios with general continuous-valued sources and channels. A framework is presented which involves fine discretization of the source and channel variables followed by communication over the resulting discretized network. In order to evaluate fundamental performance limits, convergence results for information measures are provided under the proposed discretization process. Using this framework, we consider point-to-point source coding and channel coding with side-information, distributed source coding with distortion constraints, the function reconstruction problems (two-help-one), computation over multiple access channel, the interference channel, and the multiple-descriptions source coding problem. We construct lattice-like codes for general sources and channels, and derive inner-bounds to set of achievable rates and distortions in these communication scenarios.


title: A Modified MWPM Decoding Algorithm for Quantum Surface Codes Over Depolarizing Channels

abstract: Quantum Surface codes are a kind of quantum topological stabilizer codes whose stabilizers and qubits are geometrically related. Due to their special structures, surface codes have great potential to lead people to large-scale quantum computation. In the minimum weight perfect matching (MWPM) decoding of surface codes, the bit-flip errors and phase-flip errors are assumed to be independent for simplicity. However, these two kinds of errors are likely to be correlated in the real world. In this paper, we propose a modification to MWPM decoding for surface codes to deal with the noises in depolarizing channels where bit-flip errors and phase-flip errors are correlated. With this modification, we obtain thresholds of 17% and 15.3% for the surface codes with mixed boundaries and the surface codes with a hole, respectively


title: Homeostatic behavioural response to COVID-19 infections returns R to a set-point of 1

abstract: One clear aspect of behaviour in the COVID-19 pandemic has been people's focus on, and response to, reported or observed infection numbers in their community. We describe a simple model of infectious disease spread in a pandemic situation where people's behaviour is influenced by the current risk of infection and where this behavioural response acts homeostatically to return infection risk to a certain preferred level. This model predicts that the reproduction rate $R$ will be centered around a median value of 1, and that a related measure of relative change in the number of new infections will follow the standard Cauchy distribution. Analysis of worldwide COVID-19 data shows that the estimated reproduction rate has a median of 1, and that this measure of relative change calculated from reported numbers of new infections closely follows the standard Cauchy distribution at both an overall and an individual country level.


title: FUNQUE: Fusion of Unified Quality Evaluators

abstract: Fusion-based quality assessment has emerged as a powerful method for developing high-performance quality models from quality models that individually achieve lower performances. A prominent example of such an algorithm is VMAF, which has been widely adopted as an industry standard for video quality prediction along with SSIM. In addition to advancing the state-of-the-art, it is imperative to alleviate the computational burden presented by the use of a heterogeneous set of quality models. In this paper, we unify "atom" quality models by computing them on a common transform domain that accounts for the Human Visual System, and we propose FUNQUE, a quality model that fuses unified quality evaluators. We demonstrate that in comparison to the state-of-the-art, FUNQUE offers significant improvements in both correlation against subjective scores and efficiency, due to computation sharing.


title: Iterative weak approximation and hard bounds for switching diffusion

abstract: We establish a novel convergent iteration framework for a weak approximation of general switching diffusion. The key theoretical basis of the proposed approach is a restriction of the maximum number of switching so as to untangle and compensate a challenging system of weakly coupled partial differential equations to a collection of independent partial differential equations, for which a variety of accurate and efficient numerical methods are available. Upper and lower bounding functions for the solutions are constructed using the iterative approximate solutions. We provide a rigorous convergence analysis for the iterative approximate solutions, as well as for the upper and lower bounding functions. Numerical results are provided to examine our theoretical findings and the effectiveness of the proposed framework.


title: MLProxy: SLA-Aware Reverse Proxy for Machine Learning Inference Serving on Serverless Computing Platforms

abstract: Serving machine learning inference workloads on the cloud is still a challenging task on the production level. Optimal configuration of the inference workload to meet SLA requirements while optimizing the infrastructure costs is highly complicated due to the complex interaction between batch configuration, resource configurations, and variable arrival process. Serverless computing has emerged in recent years to automate most infrastructure management tasks. Workload batching has revealed the potential to improve the response time and cost-effectiveness of machine learning serving workloads. However, it has not yet been supported out of the box by serverless computing platforms. Our experiments have shown that for various machine learning workloads, batching can hugely improve the system's efficiency by reducing the processing overhead per request. In this work, we present MLProxy, an adaptive reverse proxy to support efficient machine learning serving workloads on serverless computing systems. MLProxy supports adaptive batching to ensure SLA compliance while optimizing serverless costs. We performed rigorous experiments on Knative to demonstrate the effectiveness of MLProxy. We showed that MLProxy could reduce the cost of serverless deployment by up to 92% while reducing SLA violations by up to 99% that can be generalized across state-of-the-art model serving frameworks.


title: A Bayesian Deep Learning Approach to Near-Term Climate Prediction

abstract: Since model bias and associated initialization shock are serious shortcomings that reduce prediction skills in state-of-the-art decadal climate prediction efforts, we pursue a complementary machine-learning-based approach to climate prediction. The example problem setting we consider consists of predicting natural variability of the North Atlantic sea surface temperature on the interannual timescale in the pre-industrial control simulation of the Community Earth System Model (CESM2). While previous works have considered the use of recurrent networks such as convolutional LSTMs and reservoir computing networks in this and other similar problem settings, we currently focus on the use of feedforward convolutional networks. In particular, we find that a feedforward convolutional network with a Densenet architecture is able to outperform a convolutional LSTM in terms of predictive skill. Next, we go on to consider a probabilistic formulation of the same network based on Stein variational gradient descent and find that in addition to providing useful measures of predictive uncertainty, the probabilistic (Bayesian) version improves on its deterministic counterpart in terms of predictive skill. Finally, we characterize the reliability of the ensemble of ML models obtained in the probabilistic setting by using analysis tools developed in the context of ensemble numerical weather prediction.


title: Exploring Edge Disentanglement for Node Classification

abstract: Edges in real-world graphs are typically formed by a variety of factors and carry diverse relation semantics. For example, connections in a social network could indicate friendship, being colleagues, or living in the same neighborhood. However, these latent factors are usually concealed behind mere edge existence due to the data collection and graph formation processes. Despite rapid developments in graph learning over these years, most models take a holistic approach and treat all edges as equal. One major difficulty in disentangling edges is the lack of explicit supervisions. In this work, with close examination of edge patterns, we propose three heuristics and design three corresponding pretext tasks to guide the automatic edge disentanglement. Concretely, these self-supervision tasks are enforced on a designed edge disentanglement module to be trained jointly with the downstream node classification task to encourage automatic edge disentanglement. Channels of the disentanglement module are expected to capture distinguishable relations and neighborhood interactions, and outputs from them are aggregated as node representations. The proposed DisGNN is easy to be incorporated with various neural architectures, and we conduct experiments on $6$ real-world datasets. Empirical results show that it can achieve significant performance gains.


title: Learning Neural Networks under Input-Output Specifications

abstract: In this paper, we examine an important problem of learning neural networks that certifiably meet certain specifications on input-output behaviors. Our strategy is to find an inner approximation of the set of admissible policy parameters, which is convex in a transformed space. To this end, we address the key technical challenge of convexifying the verification condition for neural networks, which is derived by abstracting the nonlinear specifications and activation functions with quadratic constraints. In particular, we propose a reparametrization scheme of the original neural network based on loop transformation, which leads to a convex condition that can be enforced during learning. This theoretical construction is validated in an experiment that specifies reachable sets for different regions of inputs.


title: Performance Modeling of Metric-Based Serverless Computing Platforms

abstract: Analytical performance models are very effective in ensuring the quality of service and cost of service deployment remain desirable under different conditions and workloads. While various analytical performance models have been proposed for previous paradigms in cloud computing, serverless computing lacks such models that can provide developers with performance guarantees. Besides, most serverless computing platforms still require developers' input to specify the configuration for their deployment that could affect both the performance and cost of their deployment, without providing them with any direct and immediate feedback. In previous studies, we built such performance models for steady-state and transient analysis of scale-per-request serverless computing platforms (e.g., AWS Lambda, Azure Functions, Google Cloud Functions) that could give developers immediate feedback about the quality of service and cost of their deployments. In this work, we aim to develop analytical performance models for the latest trend in serverless computing platforms that use concurrency value and the rate of requests per second for autoscaling decisions. Examples of such serverless computing platforms are Knative and Google Cloud Run (a managed Knative service by Google). The proposed performance model can help developers and providers predict the performance and cost of deployments with different configurations which could help them tune the configuration toward the best outcome. We validate the applicability and accuracy of the proposed performance model by extensive real-world experimentation on Knative and show that our performance model is able to accurately predict the steady-state characteristics of a given workload with minimal amount of data collection.


title: Controlling conservation laws II: compressible Navier-Stokes equations

abstract: We propose, study, and compute solutions to a class of optimal control problems for hyperbolic systems of conservation laws and their viscous regularization. We take barotropic compressible Navier--Stokes equations (BNS) as a canonical example. We first apply the entropy--entropy flux--metric condition for BNS. We select an entropy function and rewrite BNS to a summation of flux and metric gradient of entropy. We then develop a metric variational problem for BNS, whose critical points form a primal-dual BNS system. We design a finite difference scheme for the variational system. The numerical approximations of conservation laws are implicit in time. We solve the variational problem with an algorithm inspired by the primal-dual hybrid gradient method. This includes a new method for solving implicit time approximations for conservation laws, which seems to be unconditionally stable. Several numerical examples are presented to demonstrate the effectiveness of the proposed algorithm.


title: Virtual, Augmented, and Mixed Reality for Human-Robot Interaction: A Survey and Virtual Design Element Taxonomy

abstract: Virtual, Augmented, and Mixed Reality for Human-Robot Interaction (VAM-HRI) has been gaining considerable attention in research in recent years. However, the HRI community lacks a set of shared terminology and framework for characterizing aspects of mixed reality interfaces, presenting serious problems for future research. Therefore, it is important to have a common set of terms and concepts that can be used to precisely describe and organize the diverse array of work being done within the field. In this paper, we present a novel taxonomic framework for different types of VAM-HRI interfaces, composed of four main categories of virtual design elements (VDEs). We present and justify our taxonomy and explain how its elements have been developed over the last 30 years as well as the current directions VAM-HRI is headed in the coming decade.


title: Tight Dynamic Problem Lower Bounds from Generalized BMM and OMv

abstract: The main theme of this paper is using $k$-dimensional generalizations of the combinatorial Boolean Matrix Multiplication (BMM) hypothesis and the closely-related Online Matrix Vector Multiplication (OMv) hypothesis to prove new tight conditional lower bounds for dynamic problems. The combinatorial $k$-Clique hypothesis, which is a standard hypothesis in the literature, naturally generalizes the combinatorial BMM hypothesis. In this paper, we prove tight lower bounds for several dynamic problems under the combinatorial $k$-Clique hypothesis. For instance, we show that: * The Dynamic Range Mode problem has no combinatorial algorithms with $\mathrm{poly}(n)$ pre-processing time, $O(n^{2/3-\epsilon})$ update time and $O(n^{2/3-\epsilon})$ query time for any $\epsilon > 0$, matching the known upper bounds for this problem. Previous lower bounds only ruled out algorithms with $O(n^{1/2-\epsilon})$ update and query time under the OMv hypothesis. Other examples include tight combinatorial lower bounds for Dynamic Subgraph Connectivity, Dynamic 2D Orthogonal Range Color Counting, Dynamic 2-Pattern Document Retrieval, and Dynamic Range Mode in higher dimensions. Furthermore, we propose the OuMv$_k$ hypothesis as a natural generalization of the OMv hypothesis. Under this hypothesis, we prove tight lower bounds for various dynamic problems. For instance, we show that: * The Dynamic Skyline Points Counting problem in $(2k-1)$-dimensional space has no algorithm with $\mathrm{poly}(n)$ pre-processing time and $O(n^{1-1/k-\epsilon})$ update and query time for $\epsilon > 0$, even if the updates are semi-online. Other examples include tight conditional lower bounds for (semi-online) Dynamic Klee's measure for unit cubes, and high-dimensional generalizations of Erickson's problem and Langerman's problem.


title: Low-memory Krylov subspace methods for optimal rational matrix function approximation

abstract: We describe a Lanczos-based algorithm for approximating the product of a rational matrix function with a vector. This algorithm, which we call the Lanczos method for optimal rational matrix function approximation (Lanczos-OR), returns the optimal approximation from a given Krylov subspace in a norm depending on the rational function's denominator, and can be computed using the information from a slightly larger Krylov subspace. We also provide a low-memory implementation which only requires storing a number of vectors proportional to the denominator degree of the rational function. Finally, we show that Lanczos-OR can be used to derive algorithms for computing other matrix functions, including the matrix sign function and quadrature based rational function approximations. In many cases, it improves on the approximation quality of prior approaches, including the standard Lanczos method, with little additional computational overhead.


title: Thermodynamics of non-linearly charged Anti-de Sitter black holes in four-dimensional Critical Gravity

abstract: In this work, we provide new examples of Anti-de Sitter black holes with a planar base manifold in four-dimensional Critical Gravity by considering nonlinear electrodynamics as a matter source. We find a general solution characterized by the presence of only one integration constant where, for a suitable election of coupling constants, we can show the existence of one or more horizons. Additionally, we compute its non-null thermodynamical quantities through a variety of techniques, testing the validity of the first law of thermodynamics as well as a Smarr formula. Finally, we analyze the local thermodynamical stability of the solutions. To our knowledge, these charged configurations are the first example with Critical Gravity where their thermodynamical quantities are not zero.


title: Branching Brownian motion in a periodic environment and existence of pulsating travelling waves

abstract: We study the limits of the additive and derivative martingales of one-dimensional branching Brownian motion in a periodic environment. Then we prove the existence of pulsating travelling wave solutions of the corresponding F-KPP equation in the supercritical and critical cases by representing the solutions probabilistically in terms of the limits of the additive and derivative martingales. We also prove that there is no pulsating travelling wave solution in the subcritical case. Our main tools are the spine decomposition and martingale change of measures.


title: Graph Partitioning in Connected Components with Minimum Size Constraints via Mixed Integer Programming

abstract: In this work, a graph partitioning problem in a fixed number of connected components is considered. Given an undirected graph with costs on the edges, the problem consists on partitioning the set of nodes into a fixed number of subsets with minimum size, where each subset induces a connected subgraph with minimal edge cost. Mixed Integer Programming formulations together with a variety of valid inequalities are demonstrated and implemented in a Branch & Cut framework. A column generation approach is also proposed for this problem with additional cuts. Finally, the methods are tested for several simulated instances and computational results are discussed.


title: Branching Brownian motion in a periodic environment and uniqueness of pulsating travelling waves

abstract: Using one-dimensional branching Brownian motion in a periodic environment, we give probabilistic proofs of the asymptotics and uniqueness of pulsating travelling waves of the F-KPP equation in a periodic environment. This paper is a sequel to [Ren et al. Branching Brownian motion in a periodic environment and existence of pulsating travelling waves], in which we proved the existence of the pulsating travelling waves in the supercritical and critical cases using the limits of the additive and derivative martingales of branching Brownian motion in a periodic environment.


title: On generalized lc pairs with $\mathrm{\textbf b}$-log abundant nef part

abstract: We study the behavior of generalized lc pairs with $\mathrm{\textbf b}$-log abundant nef part, a meticulously designed structure on algebraic varieties. We show that this structure is preserved under the canonical bundle formula and sub-adjunction formulas, and is also compatible with the non-vanishing conjecture and the abundance conjecture in the classical minimal model program.


title: ML-Aided Collision Recovery for UHF-RFID Systems

abstract: We propose a collision recovery algorithm with the aid of machine learning (ML-aided) for passive Ultra High Frequency (UHF) Radio Frequency Identification (RFID) systems. The proposed method aims at recovering the tags under collision to improve the system performance. We first estimate the number of tags from the collided signal by utilizing machine learning tools and show that the number of colliding tags can be estimated with high accuracy. Second, we employ a simple yet effective deep learning model to find the experienced channel coefficients. The proposed method allows the reader to separate each tag's signal from the received one by applying maximum likelihood decoding. We perform simulations to illustrate that the use of deep learning is highly beneficial and demonstrate that the proposed approach boosts the throughput performance of the standard framed slotted ALOHA (FSA) protocol from 0.368 to 1.837, where the receiver is equipped with a single antenna and capable of decoding up to 4 tags.


title: Many processors, little time: MCMC for partitions via optimal transport couplings

abstract: Markov chain Monte Carlo (MCMC) methods are often used in clustering since they guarantee asymptotically exact expectations in the infinite-time limit. In finite time, though, slow mixing often leads to poor performance. Modern computing environments offer massive parallelism, but naive implementations of parallel MCMC can exhibit substantial bias. In MCMC samplers of continuous random variables, Markov chain couplings can overcome bias. But these approaches depend crucially on paired chains meetings after a small number of transitions. We show that straightforward applications of existing coupling ideas to discrete clustering variables fail to meet quickly. This failure arises from the "label-switching problem": semantically equivalent cluster relabelings impede fast meeting of coupled chains. We instead consider chains as exploring the space of partitions rather than partitions' (arbitrary) labelings. Using a metric on the partition space, we formulate a practical algorithm using optimal transport couplings. Our theory confirms our method is accurate and efficient. In experiments ranging from clustering of genes or seeds to graph colorings, we show the benefits of our coupling in the highly parallel, time-limited regime.


title: Reformulating Scalar-Tensor Field Theories as Scalar-Scalar Field Theories Using a Novel Geometry

abstract: In this paper I shall show how the notions of Finsler geometry can be used to construct a similar geometry using a scalar field, f, on the cotangent bundle of a differentiable manifold M. This will enable me to use the second vertical derivatives of f, along with the differential of a scalar field phi on M, to construct a Lorentzian metric on M that depends upon phi. I refer to a field theory based upon a manifold with such a Lorentzian structure as a scalar-scalar field theory. We shall study such a field theory when f is chosen so that the resultant metric on M has the form of a Friedmann-Lemaitre-Robertson-Walker metric, and the Lagrangian has a particularly simple form. It will be shown that the scalar-scalar theory determined by this Lagrangian can generate self-inflating universes, which can be pieced together to form multiverses with non-Hausdorff topologies, in which the global time function multifurcates at t=0. Some of the universes in these multiverses begin explosively, and then settle down to a period of much quieter accelerated expansion, which can be followed by a collapse to its original pre-expansion state. I conclude the paper with a discussion of how probabilities can be assigned to the various universes of a multiverse. This is accomplished by using the action of the universes, with universes having action closer to zero being more likely than universes with large positive values for their action. In order to assure that universe models similar to our own universe are likely to exist I found it necessary to introduce a second scalar field on M, and to modify the original Lagrangian. In the end my theory has three scalar fields, two on the manifold M and one on the cotangent bundle of M.


title: On the fixed part of pluricanonical systems for surfaces

abstract: We show that $|mK_X|$ defines a birational map and has no fixed part for some bounded positive integer $m$ for any $\frac{1}{2}$-lc surface $X$ such that $K_X$ is big and nef. For every positive integer $n\geq 3$, we construct a sequence of projective surfaces $X_{n,i}$, such that $K_{X_{n,i}}$ is ample, ${\rm{mld}}(X_{n,i})>\frac{1}{n}$ for every $i$, $\lim_{i\rightarrow+\infty}{\rm{mld}}(X_{n,i})=\frac{1}{n}$, and for any positive integer $m$, there exists $i$ such that $|mK_{X_{n,i}}|$ has non-zero fixed part. These results answer the surface case of a question of Xu.


title: Extending the baseline for SMC X-1's spin and orbital behavior with NuSTAR stray light

abstract: StrayCats, the catalog of NuSTAR stray light observations, contains data from bright X-ray sources that fall within crowded source regions. These observations offer unique additional data with which to monitor sources like X-ray binaries that show variable timing behavior. In this work, we present a timing analysis of stray light data of the high mass X-ray binary SMC X-1, the first scientific analysis of a single source from the StrayCats project. We describe the process of screening stray light data for scientific analysis, verify the orbital ephemeris, and create both time and energy resolved pulse profiles. We find that the orbital ephemeris of SMC X-1 is unchanged and confirm a long-term spin up rate of $\dot{\nu}=(2.52\pm0.03)\times10^{-11}$ Hz s$^{-1}$. We also note that the shape of SMC X-1's pulse profile, while remaining double-peaked, varies significantly with time and only slightly with energy.


title: Exposure theory for learning complex networks with random walks

abstract: Random walks are a common model for exploration and discovery of complex networks. While numerous algorithms have been proposed to map out an unknown network, a complementary question arises: in a known network, which nodes and edges are most likely to be discovered by a random walker in finite time? Here we introduce exposure theory, a statistical mechanics framework that predicts the learning of nodes and edges across several types of networks, including weighted and temporal, and show that edge learning follows a universal trajectory. While the learning of individual nodes and edges is noisy, exposure theory produces a highly accurate prediction of aggregate exploration statistics.


title: Recurrence relations for the generalized Laguerre and Charlier orthogonal polynomials and discrete Painlev\'e equations on the $D_{6}^{(1)}$ Sakai surface

abstract: In this paper we consider two examples of certain recurrence relations, or nonlinear discrete dynamical systems, that appear in the theory of orthogonal polynomials, from the point of view of Sakai's geometric theory of Painlev\'e equations. On one hand, this gives us new examples of the appearance of discrete Painlev\'e equations in the theory of orthogonal polynomials. On the other hand, it serves as a good illustration of the effectiveness of a recently proposed procedure on how to reduce such recurrences to some canonical discrete Painlev\'e equations. Of particular interest is the fact that both recurrences are regularized on the same family of rational algebraic surfaces, but at the same time their dynamics are non-equivalent.


title: Blockchain Framework for Artificial Intelligence Computation

abstract: Blockchain is an essentially distributed database recording all transactions or digital events among participating parties. Each transaction in the records is approved and verified by consensus of the participants in the system that requires solving a hard mathematical puzzle, which is known as proof-of-work. To make the approved records immutable, the mathematical puzzle is not trivial to solve and therefore consumes substantial computing resources. However, it is energy-wasteful to have many computational nodes installed in the blockchain competing to approve the records by just solving a meaningless puzzle. Here, we pose proof-of-work as a reinforcement-learning problem by modeling the blockchain growing as a Markov decision process, in which a learning agent makes an optimal decision over the environment's state, whereas a new block is added and verified. Specifically, we design the block verification and consensus mechanism as a deep reinforcement-learning iteration process. As a result, our method utilizes the determination of state transition and the randomness of action selection of a Markov decision process, as well as the computational complexity of a deep neural network, collectively to make the blocks not easy to recompute and to preserve the order of transactions, while the blockchain nodes are exploited to train the same deep neural network with different data samples (state-action pairs) in parallel, allowing the model to experience multiple episodes across computing nodes but at one time. Our method is used to design the next generation of public blockchain networks, which has the potential not only to spare computational resources for industrial applications but also to encourage data sharing and AI model design for common problems.


title: Central black hole mass in the distant tidal disruption event candidate of {\it Swift} J2058.4+0516

abstract: In the manuscript, central black hole (BH) mass is estimated in the distant TDE (tidal disruption event) of {\it Swift} J2058.4+0516 as the second candidate of relativistic jet birth related to TDE. {\it Swift} J2058.4+0516 have quite different BH masses estimated through different indirect methods in the literature. Therefore, it is necessary and interesting to determine the central BH mass in {\it Swift} J2058.4+0516 by one another independent method. Here, based on the theoretical TDE model applied to describe the long-term time-dependent X-ray variabilities of {\it Swift} J2058.4+0516, the central BH mass can be well determined to be around $1.05_{-0.29}^{+0.39}\times10^5{\rm M_\odot}$, after kind considerations of suggested intrinsic beaming effects from such relativistic jet tightly related to TDE. Moreover, the {\it Swift} J2058.4+0516 is an unique object in the space of BH masses versus energy transfer efficiencies of the reported TDE candidates, providing interesting clues to detect and/or anticipate candidates of relativistic TDE to make the birth of relativistic jets.


title: Margin-distancing for safe model explanation

abstract: The growing use of machine learning models in consequential settings has highlighted an important and seemingly irreconcilable tension between transparency and vulnerability to gaming. While this has sparked sizable debate in legal literature, there has been comparatively less technical study of this contention. In this work, we propose a clean-cut formulation of this tension and a way to make the tradeoff between transparency and gaming. We identify the source of gaming as being points close to the \emph{decision boundary} of the model. And we initiate an investigation on how to provide example-based explanations that are expansive and yet consistent with a version space that is sufficiently uncertain with respect to the boundary points' labels. Finally, we furnish our theoretical results with empirical investigations of this tradeoff on real-world datasets.


title: Odd coloring of sparse graphs and planar graphs

abstract: An {\it odd $c$-coloring} of a graph is a proper $c$-coloring such that each non-isolated vertex has a color appearing an odd number of times on its neighborhood. This concept was introduced very recently by Petru\v sevski and \v Skrekovski and has attracted considerable attention. Cranston investigated odd colorings of graphs with bounded maximum average degree, and conjectured that every graph $G$ with $mad(G)\leq \frac{4c-4}{c+1}$ has an odd $c$-coloring for $c\geq 4$, and proved the conjecture for $c\in\{5, 6\}$. In particular, planar graphs with girth at least $7$ and $6$ have an odd $5$-coloring and an odd $6$-coloring, respectively. We completely resolve Cranston's conjecture. For $c\geq 7$, we show that the conjecture is true, in a stronger form that was implicitly suggested by Cranston, but for $c=4$, we construct counterexamples, which all contain $5$-cycles. On the other hand, we show that a graph $G$ with $mad(G)<\frac{22}{9}$ and no induced $5$-cycles has an odd $4$-coloring. This implies that a planar graph with girth at least 11 has an odd $4$-coloring. We also prove that a planar graph with girth at least 5 has an odd $6$-coloring.


title: Designing Decision Support Systems for Emergency Response: Challenges and Opportunities

abstract: Designing effective emergency response management (ERM) systems to respond to incidents such as road accidents is a major problem faced by communities. In addition to responding to frequent incidents each day (about 240 million emergency medical services calls and over 5 million road accidents in the US each year), these systems also support response during natural hazards. Recently, there has been a consistent interest in building decision support and optimization tools that can help emergency responders provide more efficient and effective response. This includes a number of principled subsystems that implement early incident detection, incident likelihood forecasting and strategic resource allocation and dispatch policies. In this paper, we highlight the key challenges and provide an overview of the approach developed by our team in collaboration with our community partners.


title: NetRCA: An Effective Network Fault Cause Localization Algorithm

abstract: Localizing the root cause of network faults is crucial to network operation and maintenance. However, due to the complicated network architectures and wireless environments, as well as limited labeled data, accurately localizing the true root cause is challenging. In this paper, we propose a novel algorithm named NetRCA to deal with this problem. Firstly, we extract effective derived features from the original raw data by considering temporal, directional, attribution, and interaction characteristics. Secondly, we adopt multivariate time series similarity and label propagation to generate new training data from both labeled and unlabeled data to overcome the lack of labeled samples. Thirdly, we design an ensemble model which combines XGBoost, rule set learning, attribution model, and graph algorithm, to fully utilize all data information and enhance performance. Finally, experiments and analysis are conducted on the real-world dataset from ICASSP 2022 AIOps Challenge to demonstrate the superiority and effectiveness of our approach.


title: Spontaneous magnetic skyrmions in single-layer CrInX3(X=Te, Se)

abstract: The realization of magnetic skyrmions in nanostructures holds great promise for both fundamental research and device applications. Despite recent progress, intrinsic magnetic skyrmions in two-dimensional lattice are still rarely explored. Here, using first-principles calculations and Monte-Carlo simulations, we report the identification of spontaneous magnetic skyrmions in single-layer CrInX3 (X = Te, Se). Due to the joint effect of broken inversion symmetry and strong spin-orbit coupling, inherent large Dzyaloshinskii-Moriya interaction occurs in both systems, endowing the intriguing Neel-type skyrmions in the absence of magnetic field. By further imposing moderate magnetic field, the skyrmion phase can be obtained and is stable within a wide temperature range. Particularly for single-layer CrInTe3, the size of skyrmions is sub-10 nm and the skyrmion phase can be maintained at an elevated temperature of 180 K. In addition, the phase diagrams of their topological spin textures under the variation of magnetic parameters of D, J, and K are mapped out. Our results greatly enrich the research of 2D skyrmionics physics.